PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
MD5SUM	4f5f6e30a602f3968daa9ca41c7da043
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2058
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	9334
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1024
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	9334
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05284
Number of variables	133
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	81
Trace number 30124

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 15:06:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21529 boxname=wulflinc18 idbench=1517 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4f5f6e30a602f3968daa9ca41c7da043  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-neos5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-neos5.opb
IDLAUNCH: 21529
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        752208 kB
Buffers:         37800 kB
Cached:         216612 kB
SwapCached:        588 kB
Active:          65628 kB
Inactive:       194172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751956 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            16912 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:27:46 (client local time) WITH STATUS 143 IN 1245.3 SECONDS
stats: 21529 0 1245.3 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/wulflinc18/normalized-mps-v2-13-7-neos5.opb
c reading problem ... done. Time 1.497 ms.
c #vars     133
c #constraints  73
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                3072 		Current CPU time: 1.90 ms
c CURRENT OPTIMUM=                3071 		Current CPU time: 2.24 ms
c CURRENT OPTIMUM=                3070 		Current CPU time: 2.57 ms
c CURRENT OPTIMUM=                3069 		Current CPU time: 2.84 ms
c CURRENT OPTIMUM=                3068 		Current CPU time: 2.93 ms
c CURRENT OPTIMUM=                3067 		Current CPU time: 3.29 ms
c CURRENT OPTIMUM=                3066 		Current CPU time: 3.41 ms
c CURRENT OPTIMUM=                3065 		Current CPU time: 3.64 ms
c CURRENT OPTIMUM=                3064 		Current CPU time: 3.92 ms
c CURRENT OPTIMUM=                3063 		Current CPU time: 4.18 ms
c CURRENT OPTIMUM=                3062 		Current CPU time: 4.37 ms
c CURRENT OPTIMUM=                3061 		Current CPU time: 4.50 ms
c CURRENT OPTIMUM=                3060 		Current CPU time: 4.95 ms
c CURRENT OPTIMUM=                3059 		Current CPU time: 5.17 ms
c CURRENT OPTIMUM=                3058 		Current CPU time: 5.30 ms
c CURRENT OPTIMUM=                3057 		Current CPU time: 5.42 ms
c CURRENT OPTIMUM=                3056 		Current CPU time: 5.55 ms
c CURRENT OPTIMUM=                3055 		Current CPU time: 5.74 ms
c CURRENT OPTIMUM=                3054 		Current CPU time: 5.91 ms
c CURRENT OPTIMUM=                3053 		Current CPU time: 6.64 ms
c CURRENT OPTIMUM=                3052 		Current CPU time: 6.80 ms
c CURRENT OPTIMUM=                3051 		Current CPU time: 7.33 ms
c CURRENT OPTIMUM=                3050 		Current CPU time: 7.57 ms
c CURRENT OPTIMUM=                3049 		Current CPU time: 7.75 ms
c CURRENT OPTIMUM=                3048 		Current CPU time: 8.17 ms
c CURRENT OPTIMUM=                3047 		Current CPU time: 8.45 ms
c CURRENT OPTIMUM=                3046 		Current CPU time: 8.70 ms
c CURRENT OPTIMUM=                3045 		Current CPU time: 9.04 ms
c CURRENT OPTIMUM=                3044 		Current CPU time: 9.21 ms
c CURRENT OPTIMUM=                3043 		Current CPU time: 9.41 ms
c CURRENT OPTIMUM=                3042 		Current CPU time: 9.58 ms
c CURRENT OPTIMUM=                3041 		Current CPU time: 9.78 ms
c CURRENT OPTIMUM=                3040 		Current CPU time: 9.91 ms
c CURRENT OPTIMUM=                3039 		Current CPU time: 10.23 ms
c CURRENT OPTIMUM=                3038 		Current CPU time: 10.52 ms
c CURRENT OPTIMUM=                3037 		Current CPU time: 10.97 ms
c CURRENT OPTIMUM=                3036 		Current CPU time: 11.18 ms
c CURRENT OPTIMUM=                3035 		Current CPU time: 11.42 ms
c CURRENT OPTIMUM=                3034 		Current CPU time: 11.63 ms
c CURRENT OPTIMUM=                3033 		Current CPU time: 11.88 ms
c CURRENT OPTIMUM=                3032 		Current CPU time: 12.08 ms
c CURRENT OPTIMUM=                3031 		Current CPU time: 12.38 ms
c CURRENT OPTIMUM=                3030 		Current CPU time: 12.58 ms
c CURRENT OPTIMUM=                3029 		Current CPU time: 12.83 ms
c CURRENT OPTIMUM=                3028 		Current CPU time: 13.02 ms
c CURRENT OPTIMUM=                3027 		Current CPU time: 13.24 ms
c CURRENT OPTIMUM=                3026 		Current CPU time: 13.43 ms
c CURRENT OPTIMUM=                3025 		Current CPU time: 13.53 ms
c CURRENT OPTIMUM=                3024 		Current CPU time: 13.60 ms
c CURRENT OPTIMUM=                3023 		Current CPU time: 13.76 ms
c CURRENT OPTIMUM=                3022 		Current CPU time: 13.87 ms
c CURRENT OPTIMUM=                3021 		Current CPU time: 13.99 ms
c CURRENT OPTIMUM=                3020 		Current CPU time: 14.08 ms
c CURRENT OPTIMUM=                3019 		Current CPU time: 14.20 ms
c CURRENT OPTIMUM=                3018 		Current CPU time: 14.30 ms
c CURRENT OPTIMUM=                3017 		Current CPU time: 14.40 ms
c CURRENT OPTIMUM=                3016 		Current CPU time: 14.48 ms
c CURRENT OPTIMUM=                3015 		Current CPU time: 14.60 ms
c CURRENT OPTIMUM=                3014 		Current CPU time: 14.74 ms
c CURRENT OPTIMUM=                3013 		Current CPU time: 14.85 ms
c CURRENT OPTIMUM=                3012 		Current CPU time: 14.94 ms
c CURRENT OPTIMUM=                3011 		Current CPU time: 15.05 ms
c CURRENT OPTIMUM=                3010 		Current CPU time: 15.14 ms
c CURRENT OPTIMUM=                3009 		Current CPU time: 15.23 ms
c CURRENT OPTIMUM=                3008 		Current CPU time: 15.29 ms
c CURRENT OPTIMUM=                3007 		Current CPU time: 15.49 ms
c CURRENT OPTIMUM=                3006 		Current CPU time: 15.66 ms
c CURRENT OPTIMUM=                3005 		Current CPU time: 15.87 ms
c CURRENT OPTIMUM=                3004 		Current CPU time: 16.02 ms
c CURRENT OPTIMUM=                3003 		Current CPU time: 16.20 ms
c CURRENT OPTIMUM=                3002 		Current CPU time: 16.35 ms
c CURRENT OPTIMUM=                3001 		Current CPU time: 16.50 ms
c CURRENT OPTIMUM=                3000 		Current CPU time: 16.63 ms
c CURRENT OPTIMUM=                2999 		Current CPU time: 16.86 ms
c CURRENT OPTIMUM=                2998 		Current CPU time: 17.02 ms
c CURRENT OPTIMUM=                2997 		Current CPU time: 17.20 ms
c CURRENT OPTIMUM=                2996 		Current CPU time: 17.33 ms
c CURRENT OPTIMUM=                2995 		Current CPU time: 17.50 ms
c CURRENT OPTIMUM=                2994 		Current CPU time: 17.63 ms
c CURRENT OPTIMUM=                2993 		Current CPU time: 17.81 ms
c CURRENT OPTIMUM=                2992 		Current CPU time: 17.92 ms
c CURRENT OPTIMUM=                2991 		Current CPU time: 18.12 ms
c CURRENT OPTIMUM=                2990 		Current CPU time: 18.30 ms
c CURRENT OPTIMUM=                2989 		Current CPU time: 18.48 ms
c CURRENT OPTIMUM=                2988 		Current CPU time: 18.62 ms
c CURRENT OPTIMUM=                2987 		Current CPU time: 18.85 ms
c CURRENT OPTIMUM=                2986 		Current CPU time: 19.00 ms
c CURRENT OPTIMUM=                2985 		Current CPU time: 19.16 ms
c CURRENT OPTIMUM=                2984 		Current CPU time: 19.28 ms
c CURRENT OPTIMUM=                2983 		Current CPU time: 19.47 ms
c CURRENT OPTIMUM=                2982 		Current CPU time: 19.63 ms
c CURRENT OPTIMUM=                2981 		Current CPU time: 19.83 ms
c CURRENT OPTIMUM=                2980 		Current CPU time: 19.95 ms
c CURRENT OPTIMUM=                2979 		Current CPU time: 20.11 ms
c CURRENT OPTIMUM=                2978 		Current CPU time: 20.23 ms
c CURRENT OPTIMUM=                2977 		Current CPU time: 20.36 ms
c CURRENT OPTIMUM=                2976 		Current CPU time: 20.45 ms
c CURRENT OPTIMUM=                2975 		Current CPU time: 20.74 ms
c CURRENT OPTIMUM=                2974 		Current CPU time: 20.95 ms
c CURRENT OPTIMUM=                2973 		Current CPU time: 21.17 ms
c CURRENT OPTIMUM=                2972 		Current CPU time: 21.34 ms
c CURRENT OPTIMUM=                2971 		Current CPU time: 21.56 ms
c CURRENT OPTIMUM=                2970 		Current CPU time: 21.78 ms
c CURRENT OPTIMUM=                2969 		Current CPU time: 21.96 ms
c CURRENT OPTIMUM=                2968 		Current CPU time: 22.10 ms
c CURRENT OPTIMUM=                2967 		Current CPU time: 22.32 ms
c CURRENT OPTIMUM=                2966 		Current CPU time: 22.50 ms
c CURRENT OPTIMUM=                2965 		Current CPU time: 22.73 ms
c CURRENT OPTIMUM=                2964 		Current CPU time: 22.87 ms
c CURRENT OPTIMUM=                2963 		Current CPU time: 23.06 ms
c CURRENT OPTIMUM=                2962 		Current CPU time: 23.20 ms
c CURRENT OPTIMUM=                2961 		Current CPU time: 23.35 ms
c CURRENT OPTIMUM=                2960 		Current CPU time: 23.45 ms
c CURRENT OPTIMUM=                2959 		Current CPU time: 23.74 ms
c CURRENT OPTIMUM=                2958 		Current CPU time: 23.93 ms
c CURRENT OPTIMUM=                2957 		Current CPU time: 24.13 ms
c CURRENT OPTIMUM=                2956 		Current CPU time: 24.28 ms
c CURRENT OPTIMUM=                2955 		Current CPU time: 24.48 ms
c CURRENT OPTIMUM=                2954 		Current CPU time: 24.68 ms
c CURRENT OPTIMUM=                2953 		Current CPU time: 24.84 ms
c CURRENT OPTIMUM=                2952 		Current CPU time: 24.95 ms
c CURRENT OPTIMUM=                2951 		Current CPU time: 25.15 ms
c CURRENT OPTIMUM=                2950 		Current CPU time: 25.31 ms
c CURRENT OPTIMUM=                2949 		Current CPU time: 25.47 ms
c CURRENT OPTIMUM=                2948 		Current CPU time: 25.63 ms
c CURRENT OPTIMUM=                2947 		Current CPU time: 25.79 ms
c CURRENT OPTIMUM=                2946 		Current CPU time: 25.91 ms
c CURRENT OPTIMUM=                2945 		Current CPU time: 26.02 ms
c CURRENT OPTIMUM=                2944 		Current CPU time: 26.08 ms
c CURRENT OPTIMUM=                2943 		Current CPU time: 26.42 ms
c CURRENT OPTIMUM=                2942 		Current CPU time: 26.75 ms
c CURRENT OPTIMUM=                2941 		Current CPU time: 27.02 ms
c CURRENT OPTIMUM=                2940 		Current CPU time: 27.25 ms
c CURRENT OPTIMUM=                2939 		Current CPU time: 27.54 ms
c CURRENT OPTIMUM=                2938 		Current CPU time: 27.82 ms
c CURRENT OPTIMUM=                2937 		Current CPU time: 28.06 ms
c CURRENT OPTIMUM=                2936 		Current CPU time: 28.25 ms
c CURRENT OPTIMUM=                2935 		Current CPU time: 28.59 ms
c CURRENT OPTIMUM=                2934 		Current CPU time: 28.83 ms
c CURRENT OPTIMUM=                2933 		Current CPU time: 29.08 ms
c CURRENT OPTIMUM=                2932 		Current CPU time: 29.27 ms
c CURRENT OPTIMUM=                2931 		Current CPU time: 29.57 ms
c CURRENT OPTIMUM=                2930 		Current CPU time: 29.77 ms
c CURRENT OPTIMUM=                2929 		Current CPU time: 29.97 ms
c CURRENT OPTIMUM=                2928 		Current CPU time: 30.11 ms
c CURRENT OPTIMUM=                2927 		Current CPU time: 30.41 ms
c CURRENT OPTIMUM=                2926 		Current CPU time: 30.72 ms
c CURRENT OPTIMUM=                2925 		Current CPU time: 30.98 ms
c CURRENT OPTIMUM=                2924 		Current CPU time: 31.18 ms
c CURRENT OPTIMUM=                2923 		Current CPU time: 31.44 ms
c CURRENT OPTIMUM=                2922 		Current CPU time: 31.70 ms
c CURRENT OPTIMUM=                2921 		Current CPU time: 31.91 ms
c CURRENT OPTIMUM=                2920 		Current CPU time: 32.07 ms
c CURRENT OPTIMUM=                2919 		Current CPU time: 32.33 ms
c CURRENT OPTIMUM=                2918 		Current CPU time: 32.60 ms
c CURRENT OPTIMUM=                2917 		Current CPU time: 32.81 ms
c CURRENT OPTIMUM=                2916 		Current CPU time: 32.97 ms
c CURRENT OPTIMUM=                2915 		Current CPU time: 33.19 ms
c CURRENT OPTIMUM=                2914 		Current CPU time: 33.35 ms
c CURRENT OPTIMUM=                2913 		Current CPU time: 33.58 ms
c CURRENT OPTIMUM=                2912 		Current CPU time: 33.70 ms
c CURRENT OPTIMUM=                2911 		Current CPU time: 34.02 ms
c CURRENT OPTIMUM=                2910 		Current CPU time: 34.28 ms
c CURRENT OPTIMUM=                2909 		Current CPU time: 34.61 ms
c CURRENT OPTIMUM=                2908 		Current CPU time: 34.83 ms
c CURRENT OPTIMUM=                2907 		Current CPU time: 35.10 ms
c CURRENT OPTIMUM=                2906 		Current CPU time: 35.31 ms
c CURRENT OPTIMUM=                2905 		Current CPU time: 35.59 ms
c CURRENT OPTIMUM=                2904 		Current CPU time: 35.76 ms
c CURRENT OPTIMUM=                2903 		Current CPU time: 36.04 ms
c CURRENT OPTIMUM=                2902 		Current CPU time: 36.26 ms
c CURRENT OPTIMUM=                2901 		Current CPU time: 36.54 ms
c CURRENT OPTIMUM=                2900 		Current CPU time: 36.72 ms
c CURRENT OPTIMUM=                2899 		Current CPU time: 36.95 ms
c CURRENT OPTIMUM=                2898 		Current CPU time: 37.13 ms
c CURRENT OPTIMUM=                2897 		Current CPU time: 37.30 ms
c CURRENT OPTIMUM=                2896 		Current CPU time: 37.43 ms
c CURRENT OPTIMUM=                2895 		Current CPU time: 37.78 ms
c CURRENT OPTIMUM=                2894 		Current CPU time: 38.01 ms
c CURRENT OPTIMUM=                2893 		Current CPU time: 38.24 ms
c CURRENT OPTIMUM=                2892 		Current CPU time: 38.42 ms
c CURRENT OPTIMUM=                2891 		Current CPU time: 38.72 ms
c CURRENT OPTIMUM=                2890 		Current CPU time: 38.91 ms
c CURRENT OPTIMUM=                2889 		Current CPU time: 39.10 ms
c CURRENT OPTIMUM=                2888 		Current CPU time: 39.23 ms
c CURRENT OPTIMUM=                2887 		Current CPU time: 39.53 ms
c CURRENT OPTIMUM=                2886 		Current CPU time: 39.72 ms
c CURRENT OPTIMUM=                2885 		Current CPU time: 39.91 ms
c CURRENT OPTIMUM=                2884 		Current CPU time: 40.04 ms
c CURRENT OPTIMUM=                2883 		Current CPU time: 40.23 ms
c CURRENT OPTIMUM=                2882 		Current CPU time: 40.37 ms
c CURRENT OPTIMUM=                2881 		Current CPU time: 40.58 ms
c CURRENT OPTIMUM=                2880 		Current CPU time: 40.67 ms
c CURRENT OPTIMUM=                2879 		Current CPU time: 41.01 ms
c CURRENT OPTIMUM=                2878 		Current CPU time: 41.29 ms
c CURRENT OPTIMUM=                2877 		Current CPU time: 41.63 ms
c CURRENT OPTIMUM=                2876 		Current CPU time: 41.86 ms
c CURRENT OPTIMUM=                2875 		Current CPU time: 42.14 ms
c CURRENT OPTIMUM=                2874 		Current CPU time: 42.38 ms
c CURRENT OPTIMUM=                2873 		Current CPU time: 42.68 ms
c CURRENT OPTIMUM=                2872 		Current CPU time: 42.86 ms
c CURRENT OPTIMUM=                2871 		Current CPU time: 43.15 ms
c CURRENT OPTIMUM=                2870 		Current CPU time: 43.39 ms
c CURRENT OPTIMUM=                2869 		Current CPU time: 43.68 ms
c CURRENT OPTIMUM=                2868 		Current CPU time: 43.86 ms
c CURRENT OPTIMUM=                2867 		Current CPU time: 44.11 ms
c CURRENT OPTIMUM=                2866 		Current CPU time: 44.30 ms
c CURRENT OPTIMUM=                2865 		Current CPU time: 44.54 ms
c CURRENT OPTIMUM=                2864 		Current CPU time: 44.68 ms
c CURRENT OPTIMUM=                2863 		Current CPU time: 44.98 ms
c CURRENT OPTIMUM=                2862 		Current CPU time: 45.22 ms
c CURRENT OPTIMUM=                2861 		Current CPU time: 45.51 ms
c CURRENT OPTIMUM=                2860 		Current CPU time: 45.70 ms
c CURRENT OPTIMUM=                2859 		Current CPU time: 45.95 ms
c CURRENT OPTIMUM=                2858 		Current CPU time: 46.15 ms
c CURRENT OPTIMUM=                2857 		Current CPU time: 46.35 ms
c CURRENT OPTIMUM=                2856 		Current CPU time: 46.54 ms
c CURRENT OPTIMUM=                2855 		Current CPU time: 46.79 ms
c CURRENT OPTIMUM=                2854 		Current CPU time: 46.99 ms
c CURRENT OPTIMUM=                2853 		Current CPU time: 47.19 ms
c CURRENT OPTIMUM=                2852 		Current CPU time: 47.35 ms
c CURRENT OPTIMUM=                2851 		Current CPU time: 47.59 ms
c CURRENT OPTIMUM=                2850 		Current CPU time: 47.74 ms
c CURRENT OPTIMUM=                2849 		Current CPU time: 47.90 ms
c CURRENT OPTIMUM=                2848 		Current CPU time: 48.00 ms
c CURRENT OPTIMUM=                2847 		Current CPU time: 48.31 ms
c CURRENT OPTIMUM=                2846 		Current CPU time: 48.60 ms
c CURRENT OPTIMUM=                2845 		Current CPU time: 48.85 ms
c CURRENT OPTIMUM=                2844 		Current CPU time: 49.06 ms
c CURRENT OPTIMUM=                2843 		Current CPU time: 49.31 ms
c CURRENT OPTIMUM=                2842 		Current CPU time: 49.56 ms
c CURRENT OPTIMUM=                2841 		Current CPU time: 49.76 ms
c CURRENT OPTIMUM=                2840 		Current CPU time: 49.92 ms
c CURRENT OPTIMUM=                2839 		Current CPU time: 50.17 ms
c CURRENT OPTIMUM=                2838 		Current CPU time: 50.43 ms
c CURRENT OPTIMUM=                2837 		Current CPU time: 50.64 ms
c CURRENT OPTIMUM=                2836 		Current CPU time: 50.80 ms
c CURRENT OPTIMUM=                2835 		Current CPU time: 51.01 ms
c CURRENT OPTIMUM=                2834 		Current CPU time: 51.17 ms
c CURRENT OPTIMUM=                2833 		Current CPU time: 51.38 ms
c CURRENT OPTIMUM=                2832 		Current CPU time: 51.49 ms
c CURRENT OPTIMUM=                2831 		Current CPU time: 51.75 ms
c CURRENT OPTIMUM=                2830 		Current CPU time: 51.96 ms
c CURRENT OPTIMUM=                2829 		Current CPU time: 52.18 ms
c CURRENT OPTIMUM=                2828 		Current CPU time: 52.38 ms
c CURRENT OPTIMUM=                2827 		Current CPU time: 52.60 ms
c CURRENT OPTIMUM=                2826 		Current CPU time: 52.76 ms
c CURRENT OPTIMUM=                2825 		Current CPU time: 52.93 ms
c CURRENT OPTIMUM=                2824 		Current CPU time: 53.04 ms
c CURRENT OPTIMUM=                2823 		Current CPU time: 53.26 ms
c CURRENT OPTIMUM=                2822 		Current CPU time: 53.47 ms
c CURRENT OPTIMUM=                2821 		Current CPU time: 53.64 ms
c CURRENT OPTIMUM=                2820 		Current CPU time: 53.76 ms
c CURRENT OPTIMUM=                2819 		Current CPU time: 53.93 ms
c CURRENT OPTIMUM=                2818 		Current CPU time: 54.04 ms
c CURRENT OPTIMUM=                2817 		Current CPU time: 54.16 ms
c CURRENT OPTIMUM=                2816 		Current CPU time: 54.22 ms
c CURRENT OPTIMUM=                2815 		Current CPU time: 54.63 ms
c CURRENT OPTIMUM=                2814 		Current CPU time: 54.91 ms
c CURRENT OPTIMUM=                2813 		Current CPU time: 55.19 ms
c CURRENT OPTIMUM=                2812 		Current CPU time: 55.47 ms
c CURRENT OPTIMUM=                2811 		Current CPU time: 55.76 ms
c CURRENT OPTIMUM=                2810 		Current CPU time: 56.00 ms
c CURRENT OPTIMUM=                2809 		Current CPU time: 56.24 ms
c CURRENT OPTIMUM=                2808 		Current CPU time: 56.47 ms
c CURRENT OPTIMUM=                2807 		Current CPU time: 56.77 ms
c CURRENT OPTIMUM=                2806 		Current CPU time: 57.01 ms
c CURRENT OPTIMUM=                2805 		Current CPU time: 57.26 ms
c CURRENT OPTIMUM=                2804 		Current CPU time: 57.50 ms
c CURRENT OPTIMUM=                2803 		Current CPU time: 57.75 ms
c CURRENT OPTIMUM=                2802 		Current CPU time: 57.94 ms
c CURRENT OPTIMUM=                2801 		Current CPU time: 58.14 ms
c CURRENT OPTIMUM=                2800 		Current CPU time: 58.33 ms
c CURRENT OPTIMUM=                2799 		Current CPU time: 58.64 ms
c CURRENT OPTIMUM=                2798 		Current CPU time: 58.89 ms
c CURRENT OPTIMUM=                2797 		Current CPU time: 59.15 ms
c CURRENT OPTIMUM=                2796 		Current CPU time: 59.40 ms
c CURRENT OPTIMUM=                2795 		Current CPU time: 59.66 ms
c CURRENT OPTIMUM=                2794 		Current CPU time: 59.87 ms
c CURRENT OPTIMUM=                2793 		Current CPU time: 60.08 ms
c CURRENT OPTIMUM=                2792 		Current CPU time: 60.28 ms
c CURRENT OPTIMUM=                2791 		Current CPU time: 60.55 ms
c CURRENT OPTIMUM=                2790 		Current CPU time: 60.77 ms
c CURRENT OPTIMUM=                2789 		Current CPU time: 60.98 ms
c CURRENT OPTIMUM=                2788 		Current CPU time: 61.15 ms
c CURRENT OPTIMUM=                2787 		Current CPU time: 61.41 ms
c CURRENT OPTIMUM=                2786 		Current CPU time: 61.58 ms
c CURRENT OPTIMUM=                2785 		Current CPU time: 61.75 ms
c CURRENT OPTIMUM=                2784 		Current CPU time: 61.87 ms
c CURRENT OPTIMUM=                2783 		Current CPU time: 62.19 ms
c CURRENT OPTIMUM=                2782 		Current CPU time: 62.51 ms
c CURRENT OPTIMUM=                2781 		Current CPU time: 62.78 ms
c CURRENT OPTIMUM=                2780 		Current CPU time: 63.00 ms
c CURRENT OPTIMUM=                2779 		Current CPU time: 63.31 ms
c CURRENT OPTIMUM=                2778 		Current CPU time: 63.54 ms
c CURRENT OPTIMUM=                2777 		Current CPU time: 63.76 ms
c CURRENT OPTIMUM=                2776 		Current CPU time: 63.94 ms
c CURRENT OPTIMUM=                2775 		Current CPU time: 64.26 ms
c CURRENT OPTIMUM=                2774 		Current CPU time: 64.49 ms
c CURRENT OPTIMUM=                2773 		Current CPU time: 64.72 ms
c CURRENT OPTIMUM=                2772 		Current CPU time: 64.90 ms
c CURRENT OPTIMUM=                2771 		Current CPU time: 65.13 ms
c CURRENT OPTIMUM=                2770 		Current CPU time: 65.36 ms
c CURRENT OPTIMUM=                2769 		Current CPU time: 65.54 ms
c CURRENT OPTIMUM=                2768 		Current CPU time: 65.67 ms
c CURRENT OPTIMUM=                2767 		Current CPU time: 65.96 ms
c CURRENT OPTIMUM=                2766 		Current CPU time: 66.19 ms
c CURRENT OPTIMUM=                2765 		Current CPU time: 66.48 ms
c CURRENT OPTIMUM=                2764 		Current CPU time: 66.66 ms
c CURRENT OPTIMUM=                2763 		Current CPU time: 66.90 ms
c CURRENT OPTIMUM=                2762 		Current CPU time: 67.09 ms
c CURRENT OPTIMUM=                2761 		Current CPU time: 67.32 ms
c CURRENT OPTIMUM=                2760 		Current CPU time: 67.46 ms
c CURRENT OPTIMUM=                2759 		Current CPU time: 67.71 ms
c CURRENT OPTIMUM=                2758 		Current CPU time: 67.90 ms
c CURRENT OPTIMUM=                2757 		Current CPU time: 68.09 ms
c CURRENT OPTIMUM=                2756 		Current CPU time: 68.28 ms
c CURRENT OPTIMUM=                2755 		Current CPU time: 68.47 ms
c CURRENT OPTIMUM=                2754 		Current CPU time: 68.62 ms
c CURRENT OPTIMUM=                2753 		Current CPU time: 68.76 ms
c CURRENT OPTIMUM=                2752 		Current CPU time: 68.85 ms
c CURRENT OPTIMUM=                2751 		Current CPU time: 69.20 ms
c CURRENT OPTIMUM=                2750 		Current CPU time: 69.53 ms
c CURRENT OPTIMUM=                2749 		Current CPU time: 69.81 ms
c CURRENT OPTIMUM=                2748 		Current CPU time: 70.04 ms
c CURRENT OPTIMUM=                2747 		Current CPU time: 70.37 ms
c CURRENT OPTIMUM=                2746 		Current CPU time: 70.61 ms
c CURRENT OPTIMUM=                2745 		Current CPU time: 70.85 ms
c CURRENT OPTIMUM=                2744 		Current CPU time: 71.04 ms
c CURRENT OPTIMUM=                2743 		Current CPU time: 71.38 ms
c CURRENT OPTIMUM=                2742 		Current CPU time: 71.62 ms
c CURRENT OPTIMUM=                2741 		Current CPU time: 71.87 ms
c CURRENT OPTIMUM=                2740 		Current CPU time: 72.06 ms
c CURRENT OPTIMUM=                2739 		Current CPU time: 72.35 ms
c CURRENT OPTIMUM=                2738 		Current CPU time: 72.54 ms
c CURRENT OPTIMUM=                2737 		Current CPU time: 72.74 ms
c CURRENT OPTIMUM=                2736 		Current CPU time: 72.89 ms
c CURRENT OPTIMUM=                2735 		Current CPU time: 73.23 ms
c CURRENT OPTIMUM=                2734 		Current CPU time: 73.48 ms
c CURRENT OPTIMUM=                2733 		Current CPU time: 73.73 ms
c CURRENT OPTIMUM=                2732 		Current CPU time: 73.93 ms
c CURRENT OPTIMUM=                2731 		Current CPU time: 74.22 ms
c CURRENT OPTIMUM=                2730 		Current CPU time: 74.43 ms
c CURRENT OPTIMUM=                2729 		Current CPU time: 74.63 ms
c CURRENT OPTIMUM=                2728 		Current CPU time: 74.78 ms
c CURRENT OPTIMUM=                2727 		Current CPU time: 75.04 ms
c CURRENT OPTIMUM=                2726 		Current CPU time: 75.29 ms
c CURRENT OPTIMUM=                2725 		Current CPU time: 75.49 ms
c CURRENT OPTIMUM=                2724 		Current CPU time: 75.65 ms
c CURRENT OPTIMUM=                2723 		Current CPU time: 75.86 ms
c CURRENT OPTIMUM=                2722 		Current CPU time: 76.02 ms
c CURRENT OPTIMUM=                2721 		Current CPU time: 76.22 ms
c CURRENT OPTIMUM=                2720 		Current CPU time: 76.32 ms
c CURRENT OPTIMUM=                2719 		Current CPU time: 76.64 ms
c CURRENT OPTIMUM=                2718 		Current CPU time: 76.89 ms
c CURRENT OPTIMUM=                2717 		Current CPU time: 77.15 ms
c CURRENT OPTIMUM=                2716 		Current CPU time: 77.40 ms
c CURRENT OPTIMUM=                2715 		Current CPU time: 77.66 ms
c CURRENT OPTIMUM=                2714 		Current CPU time: 77.87 ms
c CURRENT OPTIMUM=                2713 		Current CPU time: 78.08 ms
c CURRENT OPTIMUM=                2712 		Current CPU time: 78.28 ms
c CURRENT OPTIMUM=                2711 		Current CPU time: 78.55 ms
c CURRENT OPTIMUM=                2710 		Current CPU time: 78.76 ms
c CURRENT OPTIMUM=                2709 		Current CPU time: 78.97 ms
c CURRENT OPTIMUM=                2708 		Current CPU time: 79.14 ms
c CURRENT OPTIMUM=                2707 		Current CPU time: 79.39 ms
c CURRENT OPTIMUM=                2706 		Current CPU time: 79.56 ms
c CURRENT OPTIMUM=                2705 		Current CPU time: 79.72 ms
c CURRENT OPTIMUM=                2704 		Current CPU time: 79.83 ms
c CURRENT OPTIMUM=                2703 		Current CPU time: 80.11 ms
c CURRENT OPTIMUM=                2702 		Current CPU time: 80.36 ms
c CURRENT OPTIMUM=                2701 		Current CPU time: 80.58 ms
c CURRENT OPTIMUM=                2700 		Current CPU time: 80.75 ms
c CURRENT OPTIMUM=                2699 		Current CPU time: 80.97 ms
c CURRENT OPTIMUM=                2698 		Current CPU time: 81.14 ms
c CURRENT OPTIMUM=                2697 		Current CPU time: 81.35 ms
c CURRENT OPTIMUM=                2696 		Current CPU time: 81.47 ms
c CURRENT OPTIMUM=                2695 		Current CPU time: 81.69 ms
c CURRENT OPTIMUM=                2694 		Current CPU time: 81.86 ms
c CURRENT OPTIMUM=                2693 		Current CPU time: 82.03 ms
c CURRENT OPTIMUM=                2692 		Current CPU time: 82.15 ms
c CURRENT OPTIMUM=                2691 		Current CPU time: 82.36 ms
c CURRENT OPTIMUM=                2690 		Current CPU time: 82.48 ms
c CURRENT OPTIMUM=                2689 		Current CPU time: 82.60 ms
c CURRENT OPTIMUM=                2688 		Current CPU time: 82.67 ms
c CURRENT OPTIMUM=                2687 		Current CPU time: 83.03 ms
c CURRENT OPTIMUM=                2686 		Current CPU time: 83.37 ms
c CURRENT OPTIMUM=                2685 		Current CPU time: 83.66 ms
c CURRENT OPTIMUM=                2684 		Current CPU time: 83.90 ms
c CURRENT OPTIMUM=                2683 		Current CPU time: 84.20 ms
c CURRENT OPTIMUM=                2682 		Current CPU time: 84.49 ms
c CURRENT OPTIMUM=                2681 		Current CPU time: 84.74 ms
c CURRENT OPTIMUM=                2680 		Current CPU time: 84.94 ms
c CURRENT OPTIMUM=                2679 		Current CPU time: 85.29 ms
c CURRENT OPTIMUM=                2678 		Current CPU time: 85.54 ms
c CURRENT OPTIMUM=                2677 		Current CPU time: 85.80 ms
c CURRENT OPTIMUM=                2676 		Current CPU time: 86.00 ms
c CURRENT OPTIMUM=                2675 		Current CPU time: 86.31 ms
c CURRENT OPTIMUM=                2674 		Current CPU time: 86.51 ms
c CURRENT OPTIMUM=                2673 		Current CPU time: 86.72 ms
c CURRENT OPTIMUM=                2672 		Current CPU time: 86.88 ms
c CURRENT OPTIMUM=                2671 		Current CPU time: 87.20 ms
c CURRENT OPTIMUM=                2670 		Current CPU time: 87.51 ms
c CURRENT OPTIMUM=                2669 		Current CPU time: 87.77 ms
c CURRENT OPTIMUM=                2668 		Current CPU time: 87.99 ms
c CURRENT OPTIMUM=                2667 		Current CPU time: 88.30 ms
c CURRENT OPTIMUM=                2666 		Current CPU time: 88.52 ms
c CURRENT OPTIMUM=                2665 		Current CPU time: 88.74 ms
c CURRENT OPTIMUM=                2664 		Current CPU time: 88.91 ms
c CURRENT OPTIMUM=                2663 		Current CPU time: 89.18 ms
c CURRENT OPTIMUM=                2662 		Current CPU time: 89.45 ms
c CURRENT OPTIMUM=                2661 		Current CPU time: 89.68 ms
c CURRENT OPTIMUM=                2660 		Current CPU time: 89.85 ms
c CURRENT OPTIMUM=                2659 		Current CPU time: 90.08 ms
c CURRENT OPTIMUM=                2658 		Current CPU time: 90.30 ms
c CURRENT OPTIMUM=                2657 		Current CPU time: 90.48 ms
c CURRENT OPTIMUM=                2656 		Current CPU time: 90.60 ms
c CURRENT OPTIMUM=                2655 		Current CPU time: 90.94 ms
c CURRENT OPTIMUM=                2654 		Current CPU time: 91.22 ms
c CURRENT OPTIMUM=                2653 		Current CPU time: 91.54 ms
c CURRENT OPTIMUM=                2652 		Current CPU time: 91.77 ms
c CURRENT OPTIMUM=                2651 		Current CPU time: 92.05 ms
c CURRENT OPTIMUM=                2650 		Current CPU time: 92.33 ms
c CURRENT OPTIMUM=                2649 		Current CPU time: 92.56 ms
c CURRENT OPTIMUM=                2648 		Current CPU time: 92.74 ms
c CURRENT OPTIMUM=                2647 		Current CPU time: 93.03 ms
c CURRENT OPTIMUM=                2646 		Current CPU time: 93.31 ms
c CURRENT OPTIMUM=                2645 		Current CPU time: 93.55 ms
c CURRENT OPTIMUM=                2644 		Current CPU time: 93.74 ms
c CURRENT OPTIMUM=                2643 		Current CPU time: 93.98 ms
c CURRENT OPTIMUM=                2642 		Current CPU time: 94.17 ms
c CURRENT OPTIMUM=                2641 		Current CPU time: 94.41 ms
c CURRENT OPTIMUM=                2640 		Current CPU time: 94.55 ms
c CURRENT OPTIMUM=                2639 		Current CPU time: 94.85 ms
c CURRENT OPTIMUM=                2638 		Current CPU time: 95.09 ms
c CURRENT OPTIMUM=                2637 		Current CPU time: 95.38 ms
c CURRENT OPTIMUM=                2636 		Current CPU time: 95.58 ms
c CURRENT OPTIMUM=                2635 		Current CPU time: 95.83 ms
c CURRENT OPTIMUM=                2634 		Current CPU time: 96.03 ms
c CURRENT OPTIMUM=                2633 		Current CPU time: 96.23 ms
c CURRENT OPTIMUM=                2632 		Current CPU time: 96.42 ms
c CURRENT OPTIMUM=                2631 		Current CPU time: 96.67 ms
c CURRENT OPTIMUM=                2630 		Current CPU time: 96.87 ms
c CURRENT OPTIMUM=                2629 		Current CPU time: 97.07 ms
c CURRENT OPTIMUM=                2628 		Current CPU time: 97.22 ms
c CURRENT OPTIMUM=                2627 		Current CPU time: 97.46 ms
c CURRENT OPTIMUM=                2626 		Current CPU time: 97.62 ms
c CURRENT OPTIMUM=                2625 		Current CPU time: 97.77 ms
c CURRENT OPTIMUM=                2624 		Current CPU time: 97.87 ms
c CURRENT OPTIMUM=                2623 		Current CPU time: 98.23 ms
c CURRENT OPTIMUM=                2622 		Current CPU time: 98.56 ms
c CURRENT OPTIMUM=                2621 		Current CPU time: 98.86 ms
c CURRENT OPTIMUM=                2620 		Current CPU time: 99.10 ms
c CURRENT OPTIMUM=                2619 		Current CPU time: 99.45 ms
c CURRENT OPTIMUM=                2618 		Current CPU time: 99.69 ms
c CURRENT OPTIMUM=                2617 		Current CPU time: 99.94 ms
c CURRENT OPTIMUM=                2616 		Current CPU time: 100.14 ms
c CURRENT OPTIMUM=                2615 		Current CPU time: 100.49 ms
c CURRENT OPTIMUM=                2614 		Current CPU time: 100.74 ms
c CURRENT OPTIMUM=                2613 		Current CPU time: 100.99 ms
c CURRENT OPTIMUM=                2612 		Current CPU time: 101.20 ms
c CURRENT OPTIMUM=                2611 		Current CPU time: 101.50 ms
c CURRENT OPTIMUM=                2610 		Current CPU time: 101.70 ms
c CURRENT OPTIMUM=                2609 		Current CPU time: 101.90 ms
c CURRENT OPTIMUM=                2608 		Current CPU time: 102.06 ms
c CURRENT OPTIMUM=                2607 		Current CPU time: 102.42 ms
c CURRENT OPTIMUM=                2606 		Current CPU time: 102.68 ms
c CURRENT OPTIMUM=                2605 		Current CPU time: 102.94 ms
c CURRENT OPTIMUM=                2604 		Current CPU time: 103.15 ms
c CURRENT OPTIMUM=                2603 		Current CPU time: 103.45 ms
c CURRENT OPTIMUM=                2602 		Current CPU time: 103.67 ms
c CURRENT OPTIMUM=                2601 		Current CPU time: 103.88 ms
c CURRENT OPTIMUM=                2600 		Current CPU time: 104.04 ms
c CURRENT OPTIMUM=                2599 		Current CPU time: 104.35 ms
c CURRENT OPTIMUM=                2598 		Current CPU time: 104.57 ms
c CURRENT OPTIMUM=                2597 		Current CPU time: 104.79 ms
c CURRENT OPTIMUM=                2596 		Current CPU time: 104.95 ms
c CURRENT OPTIMUM=                2595 		Current CPU time: 105.17 ms
c CURRENT OPTIMUM=                2594 		Current CPU time: 105.38 ms
c CURRENT OPTIMUM=                2593 		Current CPU time: 105.55 ms
c CURRENT OPTIMUM=                2592 		Current CPU time: 105.66 ms
c CURRENT OPTIMUM=                2591 		Current CPU time: 105.99 ms
c CURRENT OPTIMUM=                2590 		Current CPU time: 106.25 ms
c CURRENT OPTIMUM=                2589 		Current CPU time: 106.57 ms
c CURRENT OPTIMUM=                2588 		Current CPU time: 106.78 ms
c CURRENT OPTIMUM=                2587 		Current CPU time: 107.06 ms
c CURRENT OPTIMUM=                2586 		Current CPU time: 107.27 ms
c CURRENT OPTIMUM=                2585 		Current CPU time: 107.54 ms
c CURRENT OPTIMUM=                2584 		Current CPU time: 107.71 ms
c CURRENT OPTIMUM=                2583 		Current CPU time: 107.98 ms
c CURRENT OPTIMUM=                2582 		Current CPU time: 108.20 ms
c CURRENT OPTIMUM=                2581 		Current CPU time: 108.47 ms
c CURRENT OPTIMUM=                2580 		Current CPU time: 108.64 ms
c CURRENT OPTIMUM=                2579 		Current CPU time: 108.87 ms
c CURRENT OPTIMUM=                2578 		Current CPU time: 109.04 ms
c CURRENT OPTIMUM=                2577 		Current CPU time: 109.22 ms
c CURRENT OPTIMUM=                2576 		Current CPU time: 109.38 ms
c CURRENT OPTIMUM=                2575 		Current CPU time: 109.66 ms
c CURRENT OPTIMUM=                2574 		Current CPU time: 109.89 ms
c CURRENT OPTIMUM=                2573 		Current CPU time: 110.12 ms
c CURRENT OPTIMUM=                2572 		Current CPU time: 110.29 ms
c CURRENT OPTIMUM=                2571 		Current CPU time: 110.57 ms
c CURRENT OPTIMUM=                2570 		Current CPU time: 110.75 ms
c CURRENT OPTIMUM=                2569 		Current CPU time: 110.92 ms
c CURRENT OPTIMUM=                2568 		Current CPU time: 111.05 ms
c CURRENT OPTIMUM=                2567 		Current CPU time: 111.29 ms
c CURRENT OPTIMUM=                2566 		Current CPU time: 111.51 ms
c CURRENT OPTIMUM=                2565 		Current CPU time: 111.69 ms
c CURRENT OPTIMUM=                2564 		Current CPU time: 111.82 ms
c CURRENT OPTIMUM=                2563 		Current CPU time: 112.00 ms
c CURRENT OPTIMUM=                2562 		Current CPU time: 112.13 ms
c CURRENT OPTIMUM=                2561 		Current CPU time: 112.26 ms
c CURRENT OPTIMUM=                2560 		Current CPU time: 112.33 ms
c CURRENT OPTIMUM=                2511 		Current CPU time: 158.21 ms
c CURRENT OPTIMUM=                2480 		Current CPU time: 159.48 ms
c CURRENT OPTIMUM=                2353 		Current CPU time: 160.09 ms
c CURRENT OPTIMUM=                2317 		Current CPU time: 163.07 ms
c CURRENT OPTIMUM=                2304 		Current CPU time: 311.32 ms
c CURRENT OPTIMUM=                2300 		Current CPU time: 381.19 ms
c CURRENT OPTIMUM=                2279 		Current CPU time: 404.64 ms
c CURRENT OPTIMUM=                2220 		Current CPU time: 458.35 ms
c CURRENT OPTIMUM=                2176 		Current CPU time: 826.78 ms
c CURRENT OPTIMUM=                2175 		Current CPU time: 921.37 ms
c starts	: 548
c conflicts	: 6149
c decisions	: 32715
c propagations	: 120773
c inspects	: 5196902
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6149
c root simplifications	: 548
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 d4_bit0 -d5_bit0 -d6_bit0 d7_bit0 -d8_bit0 d9_bit0 -d10_bit0 -d11_bit0 d12_bit0 d13_bit0 d14_bit0 d15_bit0 -d16_bit0 d17_bit0 -d18_bit0 -d19_bit0 d20_bit0 -d21_bit0 d22_bit0 -d23_bit0 -d24_bit0 -d25_bit0 -d26_bit0 -d27_bit0 -d28_bit0 -d29_bit0 -d30_bit0 -d31_bit0 -d32_bit0 -d33_bit0 -d34_bit0 -d35_bit0 -d36_bit0 -d37_bit0 d38_bit0 d39_bit0 -d40_bit0 -d41_bit0 -d42_bit0 d43_bit0 d44_bit0 -d45_bit0 d46_bit0 -d47_bit0 -d48_bit0 d49_bit0 -d50_bit0 -d51_bit0 -d52_bit0 -d53_bit0 -d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 -d55_bit0 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 -d57_bit_7 d57_bit_6 d57_bit_5 d57_bit_4 d57_bit_3 d57_bit_2 d57_bit_1 -d57_bit0 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 -d60_bit0 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
c objectif function=2175
c Total CPU time (ms) : 1249.142
#### 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 2878
Raw data (stat): 2878 (runsolver) R 2877 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839817278 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 1.03 1.00 1.00 3/64 2915
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18186 7 1 0 567 43 1 0 25 0 11 0 839817278 891068416 27092 4294967295 134512640 134569956 3221224368 3221214760 1130908193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217546 27092 13086 16 0 217530 0
vsize: 870184
[startup+20.0022 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 2975
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18186 7 1 0 1486 44 2 1 25 0 11 0 839817278 867586048 22282 4294967295 134512640 134569956 3221224368 3221214664 1131534399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 22282 13086 16 0 211797 0
vsize: 847252
[startup+30.0043 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 3027
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18187 7 1 0 2436 45 3 2 25 0 11 0 839817278 867586048 22584 4294967295 134512640 134569956 3221224368 3221214664 1131533285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 22584 13086 16 0 211797 0
vsize: 847252
[startup+40.0046 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 3071
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18187 7 1 0 3374 47 4 3 25 0 11 0 839817278 867586048 22792 4294967295 134512640 134569956 3221224368 3221214544 1131243715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 22792 13086 16 0 211797 0
vsize: 847252
[startup+50.0049 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 3116
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18187 7 1 0 4318 47 5 3 25 0 11 0 839817278 867586048 23207 4294967295 134512640 134569956 3221224368 3221214544 1131243389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 23207 13086 16 0 211797 0
vsize: 847252
[startup+60.0058 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 3163
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18187 7 1 0 5275 48 7 3 25 0 11 0 839817278 867586048 23336 4294967295 134512640 134569956 3221224368 3221214544 1131244066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 23336 13086 16 0 211797 0
vsize: 847252
[startup+70.0062 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 3209
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18188 7 1 0 6233 49 7 4 25 0 11 0 839817278 867586048 23437 4294967295 134512640 134569956 3221224368 3221214648 1131529781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 23437 13086 16 0 211797 0
vsize: 847252
[startup+80.0076 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 3252
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18188 7 1 0 7191 50 9 4 25 0 11 0 839817278 867586048 23578 4294967295 134512640 134569956 3221224368 3221214544 1131244066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 23578 13086 16 0 211797 0
vsize: 847252
[startup+90.0088 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 3297
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18188 7 1 0 8146 51 10 5 25 0 11 0 839817278 867586048 23759 4294967295 134512640 134569956 3221224368 3221214592 1131244024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 23759 13086 16 0 211797 0
vsize: 847252
[startup+100.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 3340
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18188 7 1 0 9100 52 11 6 25 0 11 0 839817278 867586048 23858 4294967295 134512640 134569956 3221224368 3221214696 1131534389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 23858 13086 16 0 211797 0
vsize: 847252
[startup+110.01 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 3382
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18188 7 1 0 10054 53 12 6 25 0 11 0 839817278 867586048 23963 4294967295 134512640 134569956 3221224368 3221214752 1131482778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 23963 13086 16 0 211797 0
vsize: 847252
[startup+120.011 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 3401
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18191 7 1 0 10973 54 13 7 25 0 11 0 839817278 867586048 24158 4294967295 134512640 134569956 3221224368 3221214592 1131244101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24158 13086 16 0 211797 0
vsize: 847252
[startup+130.012 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 3401
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18191 7 1 0 11935 55 13 7 25 0 11 0 839817278 867586048 24232 4294967295 134512640 134569956 3221224368 3221214592 1131243565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24232 13086 16 0 211797 0
vsize: 847252
[startup+140.013 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 3401
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18191 7 1 0 12903 55 13 7 25 0 11 0 839817278 867586048 24293 4294967295 134512640 134569956 3221224368 3221214496 1131466099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24293 13086 16 0 211797 0
vsize: 847252
[startup+150.014 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 3401
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18191 7 1 0 13868 55 13 7 25 0 11 0 839817278 867586048 24348 4294967295 134512640 134569956 3221224368 3221214592 1131243565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24348 13086 16 0 211797 0
vsize: 847252
[startup+160.015 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 3402
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18191 7 1 0 14832 55 13 7 25 0 11 0 839817278 867586048 24411 4294967295 134512640 134569956 3221224368 3221214592 1131243565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 24411 13086 16 0 211797 0
vsize: 847252
[startup+170.022 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 3405
Raw data (stat): 2878 (java) S 2877 24172 24171 0 -1 0 18192 7 1 0 15799 56 13 7 25 0 11 0 839817278 867586048 24640 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24640 13086 16 0 211797 0
vsize: 847252
[startup+180.023 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 16771 56 13 7 25 0 11 0 839817278 867586048 24731 4294967295 134512640 134569956 3221224368 3221214696 1131529523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24731 13086 16 0 211797 0
vsize: 847252
[startup+190.023 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 17731 56 13 7 25 0 11 0 839817278 867586048 24825 4294967295 134512640 134569956 3221224368 3221214696 1131534556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24825 13086 16 0 211797 0
vsize: 847252
[startup+200.024 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 18693 56 13 7 25 0 11 0 839817278 867586048 24920 4294967295 134512640 134569956 3221224368 3221214592 1131243565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 24920 13086 16 0 211797 0
vsize: 847252
[startup+210.025 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 19652 57 13 7 24 0 11 0 839817278 867586048 25118 4294967295 134512640 134569956 3221224368 3221214592 1131244104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 25118 13086 16 0 211797 0
vsize: 847252
[startup+220.025 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) S 2877 24172 24171 0 -1 0 18192 7 1 0 20604 57 13 7 25 0 11 0 839817278 867586048 25350 4294967295 134512640 134569956 3221224368 3221213192 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 25350 13086 16 0 211797 0
vsize: 847252
[startup+230.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 21556 57 13 7 25 0 11 0 839817278 867586048 25672 4294967295 134512640 134569956 3221224368 3221214696 1131529749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 25672 13086 16 0 211797 0
vsize: 847252
[startup+240.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 22511 57 13 7 25 0 11 0 839817278 867586048 25960 4294967295 134512640 134569956 3221224368 3221214368 1131697393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 25960 13086 16 0 211797 0
vsize: 847252
[startup+250.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 23446 58 13 7 25 0 11 0 839817278 867586048 26169 4294967295 134512640 134569956 3221224368 3221214696 1131529660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 26169 13086 16 0 211797 0
vsize: 847252
[startup+260.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 24414 58 13 7 25 0 11 0 839817278 867586048 26279 4294967295 134512640 134569956 3221224368 3221214192 1131707434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 26279 13086 16 0 211797 0
vsize: 847252
[startup+270.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 25371 58 13 7 25 0 11 0 839817278 867586048 26412 4294967295 134512640 134569956 3221224368 3221214652 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 26412 13086 16 0 211797 0
vsize: 847252
[startup+280.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 26326 59 13 7 25 0 11 0 839817278 867586048 26614 4294967295 134512640 134569956 3221224368 3221214672 1131580132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 26614 13086 16 0 211797 0
vsize: 847252
[startup+290.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 27295 59 13 7 25 0 11 0 839817278 867586048 26691 4294967295 134512640 134569956 3221224368 3221214592 1131243804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 26691 13086 16 0 211797 0
vsize: 847252
[startup+300.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 28252 59 13 7 25 0 11 0 839817278 867586048 26823 4294967295 134512640 134569956 3221224368 3221214672 1131579881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 26823 13086 16 0 211797 0
vsize: 847252
[startup+310.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3405
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 29218 60 13 7 25 0 11 0 839817278 867586048 26960 4294967295 134512640 134569956 3221224368 3221214592 1131243229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 26960 13086 16 0 211797 0
vsize: 847252
[startup+320.033 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 30186 60 13 7 25 0 11 0 839817278 867586048 27060 4294967295 134512640 134569956 3221224368 3221214552 1131638643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 27060 13086 16 0 211797 0
vsize: 847252
[startup+330.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 31154 60 13 7 25 0 11 0 839817278 867586048 27160 4294967295 134512640 134569956 3221224368 3221214168 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 27160 13086 16 0 211797 0
vsize: 847252
[startup+340.034 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 32121 60 13 7 25 0 11 0 839817278 867586048 27265 4294967295 134512640 134569956 3221224368 3221214696 1131529892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 27265 13086 16 0 211797 0
vsize: 847252
[startup+350.035 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 33088 60 13 7 25 0 11 0 839817278 867586048 27441 4294967295 134512640 134569956 3221224368 3221214860 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 27441 13086 16 0 211797 0
vsize: 847252
[startup+360.036 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 34054 61 13 7 25 0 11 0 839817278 867586048 27604 4294967295 134512640 134569956 3221224368 3221214192 1131707434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 27604 13086 16 0 211797 0
vsize: 847252
[startup+370.036 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 35019 61 13 7 25 0 11 0 839817278 867586048 27858 4294967295 134512640 134569956 3221224368 3221214628 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 27858 13086 16 0 211797 0
vsize: 847252
[startup+380.037 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 3406
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 35976 61 13 7 25 0 11 0 839817278 867586048 28004 4294967295 134512640 134569956 3221224368 3221214592 1131243180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 28004 13086 16 0 211797 0
vsize: 847252
[startup+390.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3407
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 36934 61 13 7 25 0 11 0 839817278 867586048 28116 4294967295 134512640 134569956 3221224368 3221214696 1131529702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28116 13086 16 0 211797 0
vsize: 847252
[startup+400.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3407
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 37913 62 13 7 25 0 11 0 839817278 867586048 28148 4294967295 134512640 134569956 3221224368 3221214592 1131244027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28148 13086 16 0 211797 0
vsize: 847252
[startup+410.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3408
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 38881 62 13 7 25 0 11 0 839817278 867586048 28217 4294967295 134512640 134569956 3221224368 3221214248 1131707602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 28217 13086 16 0 211797 0
vsize: 847252
[startup+420.04 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 3408
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 39851 62 13 7 25 0 11 0 839817278 867586048 28276 4294967295 134512640 134569956 3221224368 3221214144 1131697418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28276 13086 16 0 211797 0
vsize: 847252
[startup+430.041 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 3408
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 40817 63 13 7 25 0 11 0 839817278 867586048 28473 4294967295 134512640 134569956 3221224368 3221214312 1131697482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28473 13086 16 0 211797 0
vsize: 847252
[startup+440.041 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 3408
Raw data (stat): 2878 (java) S 2877 24172 24171 0 -1 0 18192 7 1 0 41785 63 13 7 25 0 11 0 839817278 867586048 28473 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28473 13086 16 0 211797 0
vsize: 847252
[startup+450.042 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 3408
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 42746 63 13 7 25 0 11 0 839817278 867586048 28559 4294967295 134512640 134569956 3221224368 3221214672 1131580115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28559 13086 16 0 211797 0
vsize: 847252
[startup+460.044 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 43714 63 13 7 25 0 11 0 839817278 867586048 28647 4294967295 134512640 134569956 3221224368 3221214088 1131697269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28647 13086 16 0 211797 0
vsize: 847252
[startup+470.044 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18192 7 1 0 44683 63 13 7 25 0 11 0 839817278 867586048 28789 4294967295 134512640 134569956 3221224368 3221214144 1131697425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 28789 13086 16 0 211797 0
vsize: 847252
[startup+480.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 45655 63 13 7 25 0 11 0 839817278 867586048 28904 4294967295 134512640 134569956 3221224368 3221214928 1131554903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28904 13086 16 0 211797 0
vsize: 847252
[startup+490.047 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 46628 64 13 7 25 0 11 0 839817278 867586048 28978 4294967295 134512640 134569956 3221224368 3221214696 1131529749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 28978 13086 16 0 211797 0
vsize: 847252
[startup+500.047 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 47609 64 13 7 25 0 11 0 839817278 867586048 29022 4294967295 134512640 134569956 3221224368 3221214592 1131243105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 29022 13086 16 0 211797 0
vsize: 847252
[startup+510.048 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 48581 64 13 7 25 0 11 0 839817278 867586048 29076 4294967295 134512640 134569956 3221224368 3221213860 1131704844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29076 13086 16 0 211797 0
vsize: 847252
[startup+520.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 49561 64 13 7 25 0 11 0 839817278 867586048 29108 4294967295 134512640 134569956 3221224368 3221214024 1131707598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29108 13086 16 0 211797 0
vsize: 847252
[startup+530.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 50532 65 13 7 25 0 11 0 839817278 867586048 29222 4294967295 134512640 134569956 3221224368 3221214696 1131529749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29222 13086 16 0 211797 0
vsize: 847252
[startup+540.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 51494 65 13 7 25 0 11 0 839817278 867586048 29321 4294967295 134512640 134569956 3221224368 3221214168 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29321 13086 16 0 211797 0
vsize: 847252
[startup+550.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 52444 65 13 7 25 0 11 0 839817278 867586048 29430 4294967295 134512640 134569956 3221224368 3221214248 1131707644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29430 13086 16 0 211797 0
vsize: 847252
[startup+560.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) S 2877 24172 24171 0 -1 0 18193 7 1 0 53413 65 13 7 25 0 11 0 839817278 867586048 29515 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29515 13086 16 0 211797 0
vsize: 847252
[startup+570.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) S 2877 24172 24171 0 -1 0 18193 7 1 0 54375 66 13 7 25 0 11 0 839817278 867586048 29562 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29562 13086 16 0 211797 0
vsize: 847252
[startup+580.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 55338 66 13 7 25 0 11 0 839817278 867586048 29684 4294967295 134512640 134569956 3221224368 3221214592 1131243116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29684 13086 16 0 211797 0
vsize: 847252
[startup+590.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 56294 66 13 7 25 0 11 0 839817278 867586048 29853 4294967295 134512640 134569956 3221224368 3221214336 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29853 13086 16 0 211797 0
vsize: 847252
[startup+600.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 57261 67 13 7 25 0 11 0 839817278 867586048 29982 4294967295 134512640 134569956 3221224368 3221214696 1131529729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 29982 13086 16 0 211797 0
vsize: 847252
[startup+610.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 58239 67 13 7 25 0 11 0 839817278 867586048 30050 4294967295 134512640 134569956 3221224368 3221213912 1131707497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30050 13086 16 0 211797 0
vsize: 847252
[startup+620.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 59207 68 13 7 25 0 11 0 839817278 867586048 30114 4294967295 134512640 134569956 3221224368 3221214016 1131705929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30114 13086 16 0 211797 0
vsize: 847252
[startup+630.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 60196 68 13 7 25 0 11 0 839817278 867586048 30151 4294967295 134512640 134569956 3221224368 3221214144 1131697425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30151 13086 16 0 211797 0
vsize: 847252
[startup+640.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 61152 68 13 7 25 0 11 0 839817278 867586048 30301 4294967295 134512640 134569956 3221224368 3221214592 1131243565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30301 13086 16 0 211797 0
vsize: 847252
[startup+650.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 62109 69 13 7 25 0 11 0 839817278 867586048 30406 4294967295 134512640 134569956 3221224368 3221214584 1131591557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30406 13086 16 0 211797 0
vsize: 847252
[startup+660.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 63065 69 13 7 25 0 11 0 839817278 867586048 30542 4294967295 134512640 134569956 3221224368 3221214592 1131243679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30542 13086 16 0 211797 0
vsize: 847252
[startup+670.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 64020 69 13 7 25 0 11 0 839817278 867586048 30666 4294967295 134512640 134569956 3221224368 3221214584 1131591593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30666 13086 16 0 211797 0
vsize: 847252
[startup+680.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 64977 70 13 7 25 0 11 0 839817278 867586048 30796 4294967295 134512640 134569956 3221224368 3221214312 1131697292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30796 13086 16 0 211797 0
vsize: 847252
[startup+690.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 65933 70 13 7 25 0 11 0 839817278 867586048 30907 4294967295 134512640 134569956 3221224368 3221214600 1131574441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30907 13086 16 0 211797 0
vsize: 847252
[startup+700.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 66912 70 13 7 25 0 11 0 839817278 867586048 30932 4294967295 134512640 134569956 3221224368 3221213728 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30932 13086 16 0 211797 0
vsize: 847252
[startup+710.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 67879 71 13 7 25 0 11 0 839817278 867586048 30994 4294967295 134512640 134569956 3221224368 3221214364 1131697424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 30994 13086 16 0 211797 0
vsize: 847252
[startup+720.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 68835 71 13 7 25 0 11 0 839817278 867586048 31115 4294967295 134512640 134569956 3221224368 3221214808 1131698659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31115 13086 16 0 211797 0
vsize: 847252
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 69802 71 13 7 25 0 11 0 839817278 867586048 31206 4294967295 134512640 134569956 3221224368 3221214336 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31206 13086 16 0 211797 0
vsize: 847252
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) S 2877 24172 24171 0 -1 0 18193 7 1 0 70753 72 13 7 25 0 11 0 839817278 867586048 31329 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31329 13086 16 0 211797 0
vsize: 847252
[startup+750.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 71704 72 13 7 25 0 11 0 839817278 867586048 31475 4294967295 134512640 134569956 3221224368 3221214032 1131697431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31475 13086 16 0 211797 0
vsize: 847252
[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 72661 72 13 7 25 0 11 0 839817278 867586048 31593 4294967295 134512640 134569956 3221224368 3221213976 1131697329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31593 13086 16 0 211797 0
vsize: 847252
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 73617 72 13 7 25 0 11 0 839817278 867586048 31701 4294967295 134512640 134569956 3221224368 3221214416 1131707644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31701 13086 16 0 211797 0
vsize: 847252
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 74573 73 13 7 25 0 11 0 839817278 867586048 31814 4294967295 134512640 134569956 3221224368 3221214464 1131704853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31814 13086 16 0 211797 0
vsize: 847252
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 75539 73 13 7 25 0 11 0 839817278 867586048 31902 4294967295 134512640 134569956 3221224368 3221214696 1131529894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 31902 13086 16 0 211797 0
vsize: 847252
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 76495 73 13 7 25 0 11 0 839817278 867586048 32014 4294967295 134512640 134569956 3221224368 3221214680 1131577504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32014 13086 16 0 211797 0
vsize: 847252
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 77450 74 13 7 25 0 11 0 839817278 867586048 32158 4294967295 134512640 134569956 3221224368 3221213912 1131721664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32158 13086 16 0 211797 0
vsize: 847252
[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3409
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 78407 74 13 7 25 0 11 0 839817278 867586048 32271 4294967295 134512640 134569956 3221224368 3221214168 1085679753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 32271 13086 16 0 211797 0
vsize: 847252
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 79396 74 13 7 25 0 11 0 839817278 867586048 32299 4294967295 134512640 134569956 3221224368 3221213756 1131697424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32299 13086 16 0 211797 0
vsize: 847252
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 80384 74 13 7 25 0 11 0 839817278 867586048 32326 4294967295 134512640 134569956 3221224368 3221214592 1131243626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32326 13086 16 0 211797 0
vsize: 847252
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 81351 75 13 7 25 0 11 0 839817278 867586048 32419 4294967295 134512640 134569956 3221224368 3221214248 1131707437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 32419 13086 16 0 211797 0
vsize: 847252
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 82328 75 13 7 25 0 11 0 839817278 867586048 32481 4294967295 134512640 134569956 3221224368 3221214000 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 32481 13086 16 0 211797 0
vsize: 847252
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 83305 75 13 7 25 0 11 0 839817278 867586048 32559 4294967295 134512640 134569956 3221224368 3221214672 1131579605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32559 13086 16 0 211797 0
vsize: 847252
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 84294 75 13 7 25 0 11 0 839817278 867586048 32614 4294967295 134512640 134569956 3221224368 3221214696 1131529702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32614 13086 16 0 211797 0
vsize: 847252
[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 85272 75 13 7 25 0 11 0 839817278 867586048 32641 4294967295 134512640 134569956 3221224368 3221214808 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32641 13086 16 0 211797 0
vsize: 847252
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 86260 75 13 7 25 0 11 0 839817278 867586048 32670 4294967295 134512640 134569956 3221224368 3221214696 1131529951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32670 13086 16 0 211797 0
vsize: 847252
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 87237 76 13 7 25 0 11 0 839817278 867586048 32760 4294967295 134512640 134569956 3221224368 3221213976 1131707644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32760 13086 16 0 211797 0
vsize: 847252
[startup+920.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3410
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 88215 76 13 7 25 0 11 0 839817278 867586048 32817 4294967295 134512640 134569956 3221224368 3221213984 1131697499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32817 13086 16 0 211797 0
vsize: 847252
[startup+930.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 89204 76 13 7 25 0 11 0 839817278 867586048 32848 4294967295 134512640 134569956 3221224368 3221213896 1131710388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32848 13086 16 0 211797 0
vsize: 847252
[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 90170 77 13 7 25 0 11 0 839817278 867586048 32931 4294967295 134512640 134569956 3221224368 3221214592 1131243109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32931 13086 16 0 211797 0
vsize: 847252
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 91158 77 13 7 25 0 11 0 839817278 867586048 32993 4294967295 134512640 134569956 3221224368 3221214368 1131697487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 32993 13086 16 0 211797 0
vsize: 847252
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 92137 77 13 7 25 0 11 0 839817278 867586048 33031 4294967295 134512640 134569956 3221224368 3221214592 1131243656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33031 13086 16 0 211797 0
vsize: 847252
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 93104 77 13 7 25 0 11 0 839817278 867586048 33113 4294967295 134512640 134569956 3221224368 3221214672 1131579691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33113 13086 16 0 211797 0
vsize: 847252
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 94081 78 13 7 25 0 11 0 839817278 867586048 33178 4294967295 134512640 134569956 3221224368 3221214672 1131579481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33178 13086 16 0 211797 0
vsize: 847252
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 95047 78 13 7 25 0 11 0 839817278 867586048 33291 4294967295 134512640 134569956 3221224368 3221213944 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33291 13086 16 0 211797 0
vsize: 847252
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 96036 78 13 7 25 0 11 0 839817278 867586048 33334 4294967295 134512640 134569956 3221224368 3221213780 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33334 13086 16 0 211797 0
vsize: 847252
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 97003 79 13 7 25 0 11 0 839817278 867586048 33372 4294967295 134512640 134569956 3221224368 3221213768 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33372 13086 16 0 211797 0
vsize: 847252
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 97970 79 13 7 25 0 11 0 839817278 867586048 33439 4294967295 134512640 134569956 3221224368 3221214696 1131529727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33439 13086 16 0 211797 0
vsize: 847252
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 98936 79 13 7 25 0 11 0 839817278 867586048 33556 4294967295 134512640 134569956 3221224368 3221214000 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33556 13086 16 0 211797 0
vsize: 847252
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 99904 80 13 7 25 0 11 0 839817278 867586048 33601 4294967295 134512640 134569956 3221224368 3221214220 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33601 13086 16 0 211797 0
vsize: 847252
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 100871 80 13 7 25 0 11 0 839817278 867586048 33663 4294967295 134512640 134569956 3221224368 3221214696 1131531804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33663 13086 16 0 211797 0
vsize: 847252
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 101849 80 13 7 25 0 11 0 839817278 867586048 33733 4294967295 134512640 134569956 3221224368 3221214296 1131707656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33733 13086 16 0 211797 0
vsize: 847252
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 102816 81 13 7 25 0 11 0 839817278 867586048 33847 4294967295 134512640 134569956 3221224368 3221214112 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33847 13086 16 0 211797 0
vsize: 847252
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 103805 81 13 7 25 0 11 0 839817278 867586048 33872 4294967295 134512640 134569956 3221224368 3221214424 1131697425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33872 13086 16 0 211797 0
vsize: 847252
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 104783 82 13 7 25 0 11 0 839817278 867586048 33906 4294967295 134512640 134569956 3221224368 3221214300 1131707620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33906 13086 16 0 211797 0
vsize: 847252
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 105761 82 13 7 25 0 11 0 839817278 867586048 33973 4294967295 134512640 134569956 3221224368 3221213864 1131707623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 33973 13086 16 0 211797 0
vsize: 847252
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 106740 82 13 7 25 0 11 0 839817278 867586048 34030 4294967295 134512640 134569956 3221224368 3221214584 1131591677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34030 13086 16 0 211797 0
vsize: 847252
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 107719 83 13 7 25 0 11 0 839817278 867586048 34105 4294967295 134512640 134569956 3221224368 3221214592 1131243176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34105 13086 16 0 211797 0
vsize: 847252
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 108708 83 13 7 25 0 11 0 839817278 867586048 34142 4294967295 134512640 134569956 3221224368 3221214184 1131704853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34142 13086 16 0 211797 0
vsize: 847252
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 109697 83 13 7 25 0 11 0 839817278 867586048 34168 4294967295 134512640 134569956 3221224368 3221214416 1076460785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 34168 13086 16 0 211797 0
vsize: 847252
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 110687 83 13 7 25 0 11 0 839817278 867586048 34177 4294967295 134512640 134569956 3221224368 3221213844 1131707392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211813 34177 13086 16 0 211797 0
vsize: 847252
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 111676 84 13 7 25 0 11 0 839817278 867586048 34188 4294967295 134512640 134569956 3221224368 3221213808 1131707437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34188 13086 16 0 211797 0
vsize: 847252
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 112655 84 13 7 25 0 11 0 839817278 867586048 34250 4294967295 134512640 134569956 3221224368 3221214584 1131592381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34250 13086 16 0 211797 0
vsize: 847252
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 113633 85 13 7 25 0 11 0 839817278 867586048 34312 4294967295 134512640 134569956 3221224368 3221214256 1131697400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34312 13086 16 0 211797 0
vsize: 847252
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 114612 85 13 7 25 0 11 0 839817278 867586048 34364 4294967295 134512640 134569956 3221224368 3221214528 1131707644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34364 13086 16 0 211797 0
vsize: 847252
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 115602 86 13 7 25 0 11 0 839817278 867586048 34392 4294967295 134512640 134569956 3221224368 3221214368 1131697400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34392 13086 16 0 211797 0
vsize: 847252
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 116591 86 13 7 25 0 11 0 839817278 867586048 34415 4294967295 134512640 134569956 3221224368 3221214576 1131465943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34415 13086 16 0 211797 0
vsize: 847252
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 117568 87 13 7 25 0 11 0 839817278 867586048 34444 4294967295 134512640 134569956 3221224368 3221213648 1131697364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34444 13086 16 0 211797 0
vsize: 847252
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 118556 88 13 7 25 0 11 0 839817278 867586048 34456 4294967295 134512640 134569956 3221224368 3221213760 1131697482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34456 13086 16 0 211797 0
vsize: 847252
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 119522 88 13 7 25 0 11 0 839817278 867586048 34535 4294967295 134512640 134569956 3221224368 3221214592 1131243105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34535 13086 16 0 211797 0
vsize: 847252
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3411
Raw data (stat): 2878 (java) R 2877 24172 24171 0 -1 0 18193 7 1 0 120498 89 13 7 25 0 11 0 839817278 867586048 34592 4294967295 134512640 134569956 3221224368 3221213972 1131697248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211813 34592 13086 16 0 211797 0
vsize: 847252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3413
Raw data (stat): 2878 (java) Z 2877 24172 24171 0 -1 1036 18193 13016 1 0 120500 89 3901 38 25 0 1 0 839817278 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.18
CPU time (s): 1245.3
CPU user time (s): 1244.02
CPU system time (s): 1.27581
CPU usage (%): 99.609
Max. virtual memory (Kb): 870184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2175
#### END VERIFIER DATA ####