Trace number 2705129

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.92 1790.88

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-33-100-0.wbo
MD5SUM2e5305672cd925feb8447ea4f265e9b4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.35779
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3249
Total number of constraints8983
Number of soft constraints6015
Number of constraints which are clauses8599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 304920
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 304919
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705129-1278574759.wbo>
0.01/0.09	c original problem has 15279 variables (9264 bin, 0 int, 6015 impl, 0 cont) and 14999 constraints
0.01/0.09	c problem read
0.01/0.09	c presolving settings loaded
0.09/0.17	c presolving:
0.09/0.19	c (round 1) 22 del vars, 3 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 7614 impls, 0 clqs
0.19/0.20	c (round 2) 23 del vars, 46 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 7614 impls, 0 clqs
0.19/0.22	c (round 3) 24 del vars, 46 del conss, 6014 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 7614 impls, 0 clqs
0.19/0.26	c (round 4) 24 del vars, 46 del conss, 6014 chg bounds, 192 chg sides, 384 chg coeffs, 2926 upgd conss, 19380 impls, 0 clqs
0.29/0.39	c    (0.3s) probing: 101/9241 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.39	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.39	c presolving (5 rounds):
0.29/0.39	c  24 deleted vars, 46 deleted constraints, 6014 tightened bounds, 0 added holes, 192 changed sides, 384 changed coefficients
0.29/0.39	c  19384 implications, 0 cliques
0.29/0.39	c presolved problem has 15255 variables (9241 bin, 0 int, 6014 impl, 0 cont) and 14953 constraints
0.29/0.39	c       1 constraints of type <varbound>
0.29/0.39	c     122 constraints of type <knapsack>
0.29/0.39	c    1921 constraints of type <setppc>
0.29/0.39	c    6013 constraints of type <linear>
0.29/0.39	c    6014 constraints of type <indicator>
0.29/0.39	c     882 constraints of type <logicor>
0.29/0.39	c transformed objective value is always integral (scale: 1)
0.29/0.39	c Presolving Time: 0.25
0.29/0.39	c - non default parameters ----------------------------------------------------------------------
0.29/0.39	c # SCIP version 1.2.1.3
0.29/0.39	c 
0.29/0.39	c # frequency for displaying node information lines
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39	c display/freq = 10000
0.29/0.39	c 
0.29/0.39	c # maximal time in seconds to run
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39	c limits/time = 1789.92
0.29/0.39	c 
0.29/0.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39	c limits/memory = 3420
0.29/0.39	c 
0.29/0.39	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.39	c # [type: int, range: [1,2], default: 1]
0.29/0.39	c timing/clocktype = 2
0.29/0.39	c 
0.29/0.39	c # should presolving try to simplify inequalities
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c constraints/linear/simplifyinequalities = TRUE
0.29/0.39	c 
0.29/0.39	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c constraints/indicator/addCouplingCons = TRUE
0.29/0.39	c 
0.29/0.39	c # should presolving try to simplify knapsacks
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.39	c 
0.29/0.39	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39	c separating/rapidlearning/freq = 0
0.29/0.39	c 
0.29/0.39	c -----------------------------------------------------------------------------------------------
0.29/0.39	c start solving
0.29/0.39	c 
0.39/0.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.42	c   0.3s|     1 |     0 |   129 |     - |  52M|   0 |  60 |  15k|  14k|  15k|2925 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.79	c   0.7s|     1 |     0 |   379 |     - |  52M|   0 | 172 |  15k|  14k|  15k|3159 | 234 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.00/1.05	c   1.0s|     1 |     0 |   772 |     - |  53M|   0 | 356 |  15k|  14k|  15k|3454 | 529 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.39/1.40	c   1.3s|     1 |     0 |  1315 |     - |  53M|   0 | 544 |  15k|  14k|  15k|3746 | 821 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.87	c   1.8s|     1 |     0 |  2001 |     - |  54M|   0 | 636 |  15k|  14k|  15k|3981 |1056 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.49/2.52	c   2.4s|     1 |     0 |  2789 |     - |  54M|   0 | 751 |  15k|  14k|  15k|4217 |1292 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.26	c   3.2s|     1 |     0 |  3447 |     - |  55M|   0 | 616 |  15k|  14k|  15k|4432 |1507 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.89/3.90	c   3.8s|     1 |     2 |  3447 |     - |  55M|   0 | 616 |  15k|  14k|  15k|4432 |1507 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
82.29/82.39	o 304803
82.29/82.39	c y82.3s|  2072 |  2066 | 63410 |  29.0 |  67M| 185 |   - |  15k|  15k|   0 |   0 |2747 |  52 |1842 | 0.000000e+00 | 3.048030e+05 |    Inf 
183.30/183.32	c   183s| 10000 | 10014 |120742 |  11.7 | 123M| 313 |   0 |  15k|  15k|  15k|4402 |  18k|  56 |3209 | 0.000000e+00 | 3.048030e+05 |    Inf 
308.70/308.76	c   309s| 20000 | 20015 |173741 |   8.5 | 188M| 315 |   0 |  15k|  15k|  15k|4523 |  35k|  60 |4280 | 0.000000e+00 | 3.048030e+05 |    Inf 
432.60/432.68	c   433s| 30000 | 30005 |227907 |   7.5 | 244M| 315 |   0 |  15k|  15k|  15k|4497 |  52k|  65 |5128 | 0.000000e+00 | 3.048030e+05 |    Inf 
554.51/554.58	c   554s| 40000 | 40003 |282008 |   7.0 | 300M| 325 |   0 |  15k|  15k|  15k|4438 |  68k|  67 |5701 | 0.000000e+00 | 3.048030e+05 |    Inf 
681.41/681.44	c   681s| 50000 | 50003 |337413 |   6.7 | 355M| 325 |  19 |  15k|  15k|  15k|4290 |  84k|  67 |6895 | 0.000000e+00 | 3.048030e+05 |    Inf 
801.11/801.10	c   801s| 60000 | 59997 |390030 |   6.4 | 411M| 325 |   0 |  15k|  15k|  15k|4452 | 101k|  71 |7275 | 0.000000e+00 | 3.048030e+05 |    Inf 
925.51/925.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
925.51/925.50	c   925s| 70000 | 69997 |440945 |   6.3 | 466M| 325 |   0 |  15k|  15k|  15k|4546 | 118k|  71 |8255 | 0.000000e+00 | 3.048030e+05 |    Inf 
1045.81/1045.84	c  1046s| 80000 | 79997 |487749 |   6.1 | 521M| 333 |  25 |  15k|  15k|  15k|4182 | 134k|  71 |8769 | 0.000000e+00 | 3.048030e+05 |    Inf 
1164.12/1164.18	c  1164s| 90000 | 89993 |534534 |   5.9 | 577M| 333 |   2 |  15k|  15k|  15k|4290 | 150k|  73 |9006 | 0.000000e+00 | 3.048030e+05 |    Inf 
1289.63/1289.64	c  1290s|100000 | 99993 |581019 |   5.8 | 632M| 333 |   0 |  15k|  15k|  15k|4455 | 167k|  73 |  10k| 0.000000e+00 | 3.048030e+05 |    Inf 
1409.03/1409.09	c  1409s|110000 |109989 |629417 |   5.7 | 688M| 333 |   0 |  15k|  15k|  15k|4435 | 184k|  75 |  10k| 0.000000e+00 | 3.048030e+05 |    Inf 
1527.13/1527.15	c  1527s|120000 |119987 |678697 |   5.6 | 743M| 335 |   2 |  15k|  15k|  15k|4292 | 201k|  77 |  10k| 0.000000e+00 | 3.048030e+05 |    Inf 
1656.53/1656.56	c  1656s|130000 |129985 |730572 |   5.6 | 798M| 335 | 220 |  15k|  15k|  15k|4445 | 218k|  78 |  12k| 0.000000e+00 | 3.048030e+05 |    Inf 
1777.93/1777.91	c  1778s|140000 |139985 |782432 |   5.6 | 854M| 335 |   0 |  15k|  15k|  15k|4541 | 235k|  78 |  12k| 0.000000e+00 | 3.048030e+05 |    Inf 
1790.03/1790.02	c 
1790.03/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.02	c Solving Time (sec) : 1789.93
1790.03/1790.02	c Solving Nodes      : 141023
1790.03/1790.02	c Primal Bound       : +3.04803000000000e+05 (100 solutions)
1790.03/1790.02	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.02	c Gap                : infinite
1790.53/1790.58	s SATISFIABLE
1790.53/1790.58	v -x3249 -x3248 x3247 -x3246 x3245 -x3244 -x3243 -x3242 x3241 x3240 x3239 x3238 -x3237 -x3236 x3235 -x3234 -x3233 x3232 -x3231 x3230 
1790.53/1790.58	v -x3229 x3228 x3227 x3226 x3225 -x3224 -x3223 x3222 x3221 x3220 x3219 x3218 x3217 x3216 -x3215 x3214 x3213 x3212 x3211 -x3210 
1790.53/1790.58	v -x3209 x3208 -x3207 x3206 -x3205 -x3204 -x3203 -x3202 -x3201 x3200 -x3199 x3198 x3197 x3196 x3195 x3194 x3193 x3192 x3191 
1790.53/1790.58	v x3190 x3189 x3188 x3187 x3186 x3185 x3184 x3183 x3182 -x3181 x3180 x3179 x3178 -x3177 -x3176 x3175 -x3174 x3173 -x3172 -x3171 
1790.53/1790.58	v x3170 x3169 x3168 -x3167 -x3166 -x3165 x3164 -x3163 x3162 x3161 -x3160 x3159 -x3158 x3157 x3156 -x3155 -x3154 x3153 -x3152 
1790.53/1790.58	v -x3151 -x3150 x3149 x3148 x3147 x3146 x3145 -x3144 x3143 -x3142 -x3141 x3140 x3139 -x3138 -x3137 x3136 x3135 -x3134 -x3133 x3132 
1790.53/1790.58	v -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 x3125 -x3124 x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 
1790.53/1790.58	v -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 
1790.53/1790.58	v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 x3079 -x3078 
1790.53/1790.58	v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 x3066 -x3065 x3064 x3063 -x3062 -x3061 -x3060 
1790.53/1790.58	v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 x3050 x3049 -x3048 x3047 -x3046 -x3045 -x3044 -x3043 -x3042 
1790.53/1790.58	v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
1790.53/1790.58	v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 
1790.53/1790.58	v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 
1790.53/1790.58	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 x2975 -x2974 -x2973 -x2972 -x2971 -x2970 
1790.53/1790.58	v -x2969 -x2968 x2967 x2966 -x2965 -x2964 -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
1790.53/1790.58	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
1790.53/1790.58	v x2933 x2932 x2931 x2930 -x2929 -x2928 -x2927 x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 x2915 
1790.53/1790.58	v x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 x2898 x2897 
1790.53/1790.58	v x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 x2884 -x2883 -x2882 x2881 x2880 x2879 x2878 
1790.53/1790.58	v -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 
1790.53/1790.58	v x2859 x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 
1790.53/1790.58	v -x2841 -x2840 x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 x2831 -x2830 x2829 -x2828 x2827 x2826 -x2825 -x2824 
1790.53/1790.58	v -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 x2813 x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 
1790.53/1790.58	v -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 
1790.53/1790.58	v -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
1790.53/1790.58	v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 x2758 -x2757 x2756 x2755 -x2754 x2753 x2752 x2751 
1790.53/1790.58	v -x2750 -x2749 -x2748 x2747 -x2746 x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 x2733 
1790.53/1790.58	v -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 
1790.53/1790.58	v -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 
1790.53/1790.58	v -x2696 -x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 
1790.53/1790.58	v -x2678 -x2677 -x2676 x2675 x2674 -x2673 -x2672 -x2671 -x2670 x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 
1790.53/1790.58	v -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 
1790.53/1790.58	v -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 
1790.53/1790.58	v -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 x2617 x2616 x2615 -x2614 -x2613 -x2612 x2611 x2610 x2609 -x2608 -x2607 -x2606 
1790.53/1790.58	v -x2605 -x2604 -x2603 x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 x2592 x2591 x2590 x2589 x2588 x2587 
1790.53/1790.58	v -x2586 x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 x2573 -x2572 -x2571 -x2570 -x2569 
1790.53/1790.58	v -x2568 -x2567 -x2566 -x2565 -x2564 x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 
1790.53/1790.58	v -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 
1790.53/1790.58	v -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 
1790.53/1790.58	v -x2514 -x2513 -x2512 -x2511 -x2510 x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 
1790.53/1790.58	v -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 
1790.53/1790.58	v -x2478 x2477 x2476 x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 
1790.53/1790.58	v -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 x2450 x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 
1790.53/1790.58	v -x2442 x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 
1790.53/1790.58	v -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 x2418 x2417 x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 
1790.53/1790.58	v -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 
1790.53/1790.58	v -x2388 x2387 -x2386 x2385 x2384 x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 x2373 x2372 x2371 x2370 
1790.53/1790.58	v -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 
1790.53/1790.58	v -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 x2337 x2336 -x2335 x2334 
1790.53/1790.58	v x2333 x2332 x2331 x2330 x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 x2317 -x2316 x2315 
1790.53/1790.58	v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 x2305 -x2304 -x2303 -x2302 -x2301 -x2300 x2299 -x2298 -x2297 
1790.53/1790.58	v -x2296 -x2295 -x2294 -x2293 x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286 -x2285 -x2284 -x2283 x2282 -x2281 -x2280 -x2279 -x2278 
1790.53/1790.58	v x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 
1790.53/1790.58	v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 
1790.53/1790.58	v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 
1790.53/1790.58	v -x2223 -x2222 -x2221 -x2220 x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 
1790.53/1790.58	v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 
1790.53/1790.58	v -x2187 -x2186 x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 -x2171 -x2170 
1790.53/1790.58	v -x2169 -x2168 -x2167 x2166 -x2165 -x2164 -x2163 x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 x2154 -x2153 x2152 -x2151 
1790.53/1790.58	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
1790.53/1790.58	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
1790.53/1790.58	v -x2114 -x2113 -x2112 -x2111 -x2110 x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 
1790.53/1790.58	v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 
1790.53/1790.58	v -x2079 x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 x2068 x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
1790.53/1790.58	v -x2060 x2059 -x2058 -x2057 -x2056 -x2055 -x2054 x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 
1790.53/1790.58	v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 
1790.53/1790.58	v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 x2011 x2010 x2009 x2008 x2007 
1790.53/1790.58	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
1790.53/1790.58	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 
1790.53/1790.58	v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 
1790.53/1790.58	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 
1790.53/1790.58	v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 
1790.53/1790.58	v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 
1790.53/1790.58	v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 
1790.53/1790.58	v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 
1790.53/1790.58	v x1862 -x1861 -x1860 -x1859 -x1858 -x1857 x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 
1790.53/1790.58	v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830 -x1829 x1828 -x1827 
1790.53/1790.58	v -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 x1819 x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 x1808 
1790.53/1790.58	v -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798 x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
1790.53/1790.58	v x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
1790.53/1790.58	v -x1771 -x1770 -x1769 -x1768 x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 
1790.53/1790.58	v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737 x1736 -x1735 
1790.53/1790.58	v x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
1790.53/1790.58	v -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 x1703 x1702 -x1701 -x1700 x1699 
1790.53/1790.58	v -x1698 -x1697 -x1696 x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x1682 -x1681 -x1680 
1790.53/1790.58	v -x1679 -x1678 -x1677 x1676 -x1675 x1674 -x1673 -x1672 -x1671 -x1670 -x1669 x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 
1790.53/1790.58	v -x1661 -x1660 -x1659 x1658 x1657 -x1656 -x1655 -x1654 -x1653 -x1652 x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 
1790.53/1790.58	v -x1643 -x1642 x1641 x1640 -x1639 -x1638 x1637 -x1636 -x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 x1627 -x1626 -x1625 
1790.53/1790.58	v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 
1790.53/1790.58	v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 x1589 
1790.53/1790.58	v -x1588 -x1587 -x1586 -x1585 x1584 -x1583 -x1582 x1581 x1580 -x1579 x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 
1790.53/1790.58	v -x1569 -x1568 -x1567 -x1566 -x1565 x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 
1790.53/1790.58	v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 
1790.53/1790.58	v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 
1790.53/1790.58	v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 
1790.53/1790.58	v -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 x1485 -x1484 -x1483 -x1482 -x1481 -x1480 
1790.53/1790.58	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 x1468 x1467 x1466 x1465 -x1464 -x1463 -x1462 
1790.53/1790.58	v -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 x1447 -x1446 -x1445 -x1444 
1790.53/1790.58	v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 
1790.53/1790.58	v -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 x1410 x1409 -x1408 x1407 
1790.53/1790.58	v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 
1790.53/1790.58	v -x1388 x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 
1790.53/1790.58	v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
1790.53/1790.58	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
1790.53/1790.58	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
1790.53/1790.58	v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 -x1302 x1301 -x1300 
1790.53/1790.58	v x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
1790.53/1790.58	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 x1264 -x1263 
1790.53/1790.58	v -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 
1790.53/1790.58	v -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 x1227 
1790.53/1790.58	v -x1226 x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 
1790.53/1790.58	v x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 
1790.53/1790.58	v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 
1790.53/1790.58	v x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 x1164 x1163 x1162 x1161 x1160 x1159 -x1158 -x1157 x1156 -x1155 -x1154 
1790.53/1790.58	v -x1153 -x1152 x1151 x1150 -x1149 -x1148 -x1147 x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 x1136 -x1135 
1790.53/1790.58	v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 
1790.53/1790.58	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 x1099 
1790.53/1790.58	v x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 
1790.53/1790.58	v x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 
1790.53/1790.58	v -x1061 x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 x1046 x1045 x1044 -x1043 
1790.53/1790.58	v -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 
1790.53/1790.58	v -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 
1790.53/1790.58	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 
1790.53/1790.58	v x986 x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 
1790.53/1790.58	v -x964 -x963 -x962 -x961 -x960 -x959 x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 
1790.53/1790.58	v -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 
1790.53/1790.58	v -x922 -x921 -x920 -x919 x918 x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 
1790.53/1790.58	v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 
1790.53/1790.58	v -x880 -x879 -x878 -x877 -x876 -x875 x874 x873 x872 -x871 -x870 -x869 -x868 -x867 x866 x865 x864 -x863 -x862 -x861 -x860 x859 
1790.53/1790.58	v -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 
1790.53/1790.58	v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 
1790.53/1790.58	v -x816 x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 x798 -x797 -x796 -x795 
1790.53/1790.58	v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 
1790.53/1790.58	v x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 
1790.53/1790.58	v -x752 -x751 -x750 -x749 -x748 -x747 x746 x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 
1790.53/1790.58	v -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 
1790.53/1790.58	v -x710 -x709 -x708 -x707 x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 
1790.53/1790.58	v -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 
1790.53/1790.58	v -x667 x666 x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 
1790.53/1790.58	v -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 
1790.53/1790.58	v -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 
1790.53/1790.58	v -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 
1790.53/1790.58	v -x583 -x582 -x581 -x580 x579 -x578 x577 x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
1790.53/1790.58	v -x562 -x561 -x560 -x559 -x558 x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 x543 -x542 x541 
1790.53/1790.58	v -x540 -x539 -x538 x537 -x536 -x535 x534 x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
1790.53/1790.58	v -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 x499 -x498 
1790.53/1790.58	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 x479 -x478 -x477 
1790.53/1790.58	v -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 x468 x467 x466 -x465 -x464 -x463 x462 -x461 -x460 x459 x458 -x457 -x456 -x455 
1790.53/1790.58	v -x454 -x453 -x452 -x451 -x450 -x449 x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 x436 -x435 x434 -x433 
1790.53/1790.58	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 x417 x416 -x415 -x414 -x413 -x412 
1790.53/1790.58	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 
1790.53/1790.58	v -x389 -x388 x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 
1790.53/1790.58	v -x368 -x367 x366 x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 
1790.53/1790.58	v -x347 -x346 -x345 x344 -x343 -x342 x341 x340 -x339 -x338 -x337 x336 -x335 x334 -x333 x332 x331 x330 -x329 -x328 x327 -x326 -x325 
1790.53/1790.58	v -x324 -x323 x322 x321 x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 
1790.53/1790.58	v -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 x295 x294 -x293 x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 
1790.53/1790.58	v x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 x261 
1790.53/1790.58	v x260 -x259 x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 
1790.53/1790.58	v -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 
1790.53/1790.58	v -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 x196 
1790.53/1790.58	v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 
1790.53/1790.58	v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 x153 
1790.53/1790.58	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 x135 x134 -x133 -x132 
1790.53/1790.58	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 
1790.53/1790.58	v x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 
1790.53/1790.58	v x86 x85 -x84 -x83 -x82 x81 x80 x79 x78 x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 
1790.53/1790.58	v -x59 -x58 -x57 -x56 x55 x54 -x53 -x52 -x51 x50 -x49 x48 x47 x46 x45 x44 -x43 -x42 x41 -x40 -x39 x38 -x37 -x36 x35 -x34 -x33 
1790.53/1790.58	v -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 x24 x23 -x22 -x21 x20 x19 x18 -x17 -x16 x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 x5 
1790.53/1790.58	v x4 -x3 x2 -x1 
1790.53/1790.58	c SCIP Status        : solving was interrupted [time limit reached]
1790.53/1790.58	c Solving Time       :    1789.93
1790.53/1790.58	c Original Problem   :
1790.53/1790.58	c   Problem name     : HOME/instance-2705129-1278574759.wbo
1790.53/1790.58	c   Variables        : 15279 (9264 binary, 0 integer, 6015 implicit integer, 0 continuous)
1790.53/1790.58	c   Constraints      : 14999 initial, 14999 maximal
1790.53/1790.58	c Presolved Problem  :
1790.53/1790.58	c   Problem name     : t_HOME/instance-2705129-1278574759.wbo
1790.53/1790.58	c   Variables        : 15255 (9241 binary, 0 integer, 6014 implicit integer, 0 continuous)
1790.53/1790.58	c   Constraints      : 14953 initial, 15020 maximal
1790.53/1790.58	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.53/1790.58	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.58	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1790.53/1790.58	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.58	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.58	c   implics          :       0.00          0         21          0          0          0          0          0          0
1790.53/1790.58	c   probing          :       0.11          0          0          0          0          0          0          0          0
1790.53/1790.58	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.58	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.58	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1790.53/1790.58	c   linear           :       0.07          0          1          0       6014          0         45        192        384
1790.53/1790.58	c   indicator        :       0.01          0          0          0          0          0          1          0          0
1790.53/1790.58	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.53/1790.58	c   root node        :          -          0          -          -          0          -          -          -          -
1790.53/1790.58	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.53/1790.58	c   integral         :          0          0          0     147853          0          0          3          0          0      67736
1790.53/1790.58	c   varbound         :          1          6     332225     113963          0          0          1          1          0          0
1790.53/1790.58	c   knapsack         :        122          6     332261     113984          0         36      18529        487          0          0
1790.53/1790.58	c   setppc           :       1921          6     332225     113984          0          0     354945          0          0          0
1790.53/1790.58	c   linear           :       6013          6     332225     113984          0          0      39648     236532          0          0
1790.53/1790.58	c   indicator        :       6014          0     332225     113984          0          0      36188          0          0          0
1790.53/1790.58	c   logicor          :        882+         6      87456     107132          0          0      35966          0          0          0
1790.53/1790.58	c   countsols        :          0          0          0     107132          0          0          0          0          0          0
1790.53/1790.58	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.53/1790.58	c   integral         :     128.64       0.00       0.00     128.64       0.00
1790.53/1790.58	c   varbound         :       0.25       0.00       0.16       0.09       0.00
1790.53/1790.58	c   knapsack         :       2.01       0.01       1.29       0.72       0.00
1790.53/1790.58	c   setppc           :      24.43       0.00      14.34      10.09       0.00
1790.53/1790.58	c   linear           :     207.93       0.01      29.50     178.42       0.00
1790.53/1790.58	c   indicator        :     187.31       0.01      69.23     118.07       0.00
1790.53/1790.58	c   logicor          :       6.65       0.00       0.34       6.30       0.00
1790.53/1790.58	c   countsols        :       0.03       0.00       0.00       0.03       0.00
1790.53/1790.58	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.53/1790.58	c   vbounds          :       0.71      12902          0          0
1790.53/1790.58	c   rootredcost      :       0.12          1          0          0
1790.53/1790.58	c   pseudoobj        :      59.06     332061          0          0
1790.53/1790.58	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.53/1790.58	c   propagation      :       0.00         36         36         51        7.7          0        0.0          -
1790.53/1790.58	c   infeasible LP    :       0.04         33         33         37        5.6          1        5.0          0
1790.53/1790.58	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.53/1790.58	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.53/1790.58	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.53/1790.58	c   applied globally :          -          -          -         78        6.5          -          -          -
1790.53/1790.58	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.53/1790.58	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.53/1790.58	c   cut pool         :       0.00          5          -          -        503          -    (maximal pool size: 1669)
1790.53/1790.58	c   redcost          :      83.91     147756          0          0          0          0
1790.53/1790.58	c   impliedbounds    :       0.00          6          0          0          0          0
1790.53/1790.58	c   intobj           :       0.00          0          0          0          0          0
1790.53/1790.58	c   cgmip            :       0.00          0          0          0          0          0
1790.53/1790.58	c   gomory           :       0.43          6          0          0       1719          0
1790.53/1790.58	c   strongcg         :       0.28          6          0          0       2145          0
1790.53/1790.58	c   cmir             :       0.38          6          0          0        219          0
1790.53/1790.58	c   flowcover        :       0.97          6          0          0       1100          0
1790.53/1790.58	c   clique           :       0.01          1          0          0          0          0
1790.53/1790.58	c   zerohalf         :       0.00          0          0          0          0          0
1790.53/1790.58	c   mcf              :       0.00          1          0          0          0          0
1790.53/1790.58	c   rapidlearning    :       0.00          0          0          0          0          0
1790.53/1790.58	c Pricers            :       Time      Calls       Vars
1790.53/1790.58	c   problem variables:       0.00          0          0
1790.53/1790.58	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.53/1790.58	c   relpscost        :     128.49      33869          0          3          0          0      67736
1790.53/1790.58	c   pscost           :       0.00          0          0          0          0          0          0
1790.53/1790.58	c   inference        :     270.31     107132          0          0          0          0     214295
1790.53/1790.58	c   mostinf          :       0.00          0          0          0          0          0          0
1790.53/1790.58	c   leastinf         :       0.00          0          0          0          0          0          0
1790.53/1790.58	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.53/1790.58	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.53/1790.58	c   random           :       0.00          0          0          0          0          0          0
1790.53/1790.58	c Primal Heuristics  :       Time      Calls      Found
1790.53/1790.58	c   LP solutions     :       0.00          -          0
1790.53/1790.58	c   pseudo solutions :       0.00          -          0
1790.53/1790.58	c   intshifting      :       0.00          0          0
1790.53/1790.58	c   oneopt           :       0.15          1          0
1790.53/1790.58	c   feaspump         :       0.20          3          0
1790.53/1790.58	c   crossover        :       1.14          9          0
1790.53/1790.58	c   guideddiving     :       7.67        837          0
1790.53/1790.58	c   linesearchdiving :       9.37        840          0
1790.53/1790.58	c   fracdiving       :       9.77        840          0
1790.53/1790.58	c   veclendiving     :      10.25        840          0
1790.53/1790.58	c   coefdiving       :      10.65        841          0
1790.53/1790.58	c   pscostdiving     :       9.81        841          0
1790.53/1790.58	c   objpscostdiving  :       7.09        617          0
1790.53/1790.58	c   rootsoldiving    :       7.27        631          0
1790.53/1790.58	c   trivial          :       0.02          2          0
1790.53/1790.58	c   simplerounding   :       0.23      31662          0
1790.53/1790.58	c   zirounding       :       0.28       1000          0
1790.53/1790.58	c   rounding         :       0.61       2471          0
1790.53/1790.58	c   shifting         :       1.09        772          0
1790.53/1790.58	c   twoopt           :       0.00          0          0
1790.53/1790.58	c   fixandinfer      :       0.00          0          0
1790.53/1790.58	c   intdiving        :       0.00          0          0
1790.53/1790.58	c   actconsdiving    :       0.00          0          0
1790.53/1790.58	c   octane           :       0.00          0          0
1790.53/1790.58	c   rens             :       0.12          1          0
1790.53/1790.58	c   rins             :       0.00          0          0
1790.53/1790.58	c   localbranching   :       0.00          0          0
1790.53/1790.58	c   mutation         :       0.00          0          0
1790.53/1790.58	c   dins             :       0.00          0          0
1790.53/1790.58	c   undercover       :       0.00          0          0
1790.53/1790.58	c   nlp              :       0.05          0          0
1790.53/1790.58	c   trysol           :       0.89        835        100
1790.53/1790.58	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.53/1790.58	c   primal LP        :       0.01          0          0       0.00          -
1790.53/1790.58	c   dual LP          :     470.39      39142     762481      19.48    1620.97
1790.53/1790.58	c   lex dual LP      :       0.00          0          0       0.00          -
1790.53/1790.58	c   barrier LP       :       0.00          0          0       0.00          -
1790.53/1790.58	c   diving/probing LP:      12.07       2390      23996      10.04    1987.69
1790.53/1790.58	c   strong branching :     127.32      12585     285720      22.70    2244.17
1790.53/1790.58	c     (at root node) :          -         18       1266      70.33          -
1790.53/1790.58	c   conflict analysis:       0.00          0          0       0.00          -
1790.53/1790.58	c B&B Tree           :
1790.53/1790.58	c   number of runs   :          1
1790.53/1790.58	c   nodes            :     141023
1790.53/1790.58	c   nodes (total)    :     141023
1790.53/1790.58	c   nodes left       :     141008
1790.53/1790.58	c   max depth        :        335
1790.53/1790.58	c   max depth (total):        335
1790.53/1790.58	c   backtracks       :        884 (0.6%)
1790.53/1790.58	c   delayed cutoffs  :          1
1790.53/1790.58	c   repropagations   :        654 (39 domain reductions, 0 cutoffs)
1790.53/1790.58	c   avg switch length:       2.16
1790.53/1790.58	c   switching time   :      22.77
1790.53/1790.58	c Solution           :
1790.53/1790.58	c   Solutions found  :        100 (1 improvements)
1790.53/1790.58	c   First Solution   : +3.04803000000000e+05   (in run 1, after 2071 nodes, 82.25 seconds, depth 183, found by <trysol>)
1790.53/1790.58	c   Primal Bound     : +3.04803000000000e+05   (in run 1, after 2071 nodes, 82.25 seconds, depth 183, found by <trysol>)
1790.53/1790.58	c   Dual Bound       : +0.00000000000000e+00
1790.53/1790.58	c   Gap              :   infinite
1790.53/1790.58	c   Root Dual Bound  : +0.00000000000000e+00
1790.53/1790.58	c   Root Iterations  :       3447
1790.84/1790.88	c Time complete: 1790.91.

Verifier Data 

OK	12241

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705129-1278574759/watcher-2705129-1278574759 -o /tmp/evaluation-result-2705129-1278574759/solver-2705129-1278574759 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705129-1278574759.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.88 1.96 1.67 4/178 25061
/proc/meminfo: memFree=29658044/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=12344 CPUtime=0
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 1927 0 0 0 0 0 0 0 22 0 1 0 25688785 12640256 1845 4089446400 4194304 10345943 140735866114448 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25061/statm: 3086 1845 429 1502 0 1579 0

[startup+0.0196561 s]
/proc/loadavg: 1.88 1.96 1.67 4/178 25061
/proc/meminfo: memFree=29658044/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=16180 CPUtime=0.01
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 2878 0 0 0 1 0 0 0 22 0 1 0 25688785 16568320 2796 4089446400 4194304 10345943 140735866114448 18446744073709551615 9027791 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25061/statm: 4045 2796 429 1502 0 2538 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16180

[startup+0.100659 s]
/proc/loadavg: 1.88 1.96 1.67 4/178 25061
/proc/meminfo: memFree=29658044/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=34588 CPUtime=0.09
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 7902 0 0 0 8 1 0 0 22 0 1 0 25688785 35418112 7463 4089446400 4194304 10345943 140735866114448 18446744073709551615 9085872 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 8647 7482 507 1502 0 7140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34588

[startup+0.300619 s]
/proc/loadavg: 1.88 1.96 1.67 4/178 25061
/proc/meminfo: memFree=29658044/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=75216 CPUtime=0.29
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 17793 0 0 0 27 2 0 0 22 0 1 0 25688785 77021184 17304 4089446400 4194304 10345943 140735866114448 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 18804 17304 613 1502 0 17297 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75216

[startup+0.700538 s]
/proc/loadavg: 1.88 1.96 1.67 4/178 25061
/proc/meminfo: memFree=29658044/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=92624 CPUtime=0.69
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 21410 0 0 0 67 2 0 0 23 0 1 0 25688785 94846976 20895 4089446400 4194304 10345943 140735866114448 18446744073709551615 5852527 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 23156 20895 752 1502 0 21649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92624

[startup+1.5004 s]
/proc/loadavg: 1.88 1.96 1.67 3/179 25062
/proc/meminfo: memFree=29554868/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=95608 CPUtime=1.49
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 22431 0 0 0 147 2 0 0 25 0 1 0 25688785 97902592 21908 4089446400 4194304 10345943 140735866114448 18446744073709551615 5931086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 23902 21908 761 1502 0 22395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95608

[startup+3.10013 s]
/proc/loadavg: 1.89 1.96 1.67 3/179 25062
/proc/meminfo: memFree=29552068/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=100348 CPUtime=3.08
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 23446 0 0 0 306 2 0 0 25 0 1 0 25688785 102756352 22923 4089446400 4194304 10345943 140735866114448 18446744073709551615 7570056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 25087 22923 761 1502 0 23580 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100348

[startup+6.30056 s]
/proc/loadavg: 1.89 1.96 1.67 3/179 25062
/proc/meminfo: memFree=29546736/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=104876 CPUtime=6.29
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 39136 0 0 0 623 6 0 0 25 0 1 0 25688785 107393024 23349 4089446400 4194304 10345943 140735866114448 18446744073709551615 7569736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 26219 23349 788 1502 0 24712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104876

[startup+12.7004 s]
/proc/loadavg: 1.89 1.96 1.68 3/179 25062
/proc/meminfo: memFree=29547128/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=106140 CPUtime=12.69
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 45484 0 0 0 1261 8 0 0 25 0 1 0 25688785 108687360 23419 4089446400 4194304 10345943 140735866114448 18446744073709551615 7569564 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 26535 23419 788 1502 0 25028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106140

[startup+25.5002 s]
/proc/loadavg: 1.92 1.96 1.68 3/179 25063
/proc/meminfo: memFree=29545312/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=107372 CPUtime=25.49
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 55698 0 0 0 2537 12 0 0 25 0 1 0 25688785 109948928 24064 4089446400 4194304 10345943 140735866114448 18446744073709551615 7569474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 26843 24064 792 1502 0 25336 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 107372

[startup+51.1007 s]
/proc/loadavg: 1.94 1.96 1.69 3/179 25064
/proc/meminfo: memFree=29545164/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=102876 CPUtime=51.09
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 74414 0 0 0 5089 20 0 0 25 0 1 0 25688785 105345024 23889 4089446400 4194304 10345943 140735866114448 18446744073709551615 6518612 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 25719 23889 792 1502 0 24212 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102876

[startup+102.307 s]
/proc/loadavg: 2.03 1.98 1.71 3/179 25065
/proc/meminfo: memFree=29520856/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=126580 CPUtime=102.29
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 216642 0 0 0 10187 42 0 0 25 0 1 0 25688785 129617920 29472 4089446400 4194304 10345943 140735866114448 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 31645 29472 794 1502 0 30138 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 126580

[startup+162.3 s]
/proc/loadavg: 2.01 1.98 1.72 3/179 25066
/proc/meminfo: memFree=29454472/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=160656 CPUtime=162.29
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 270937 0 0 0 16173 56 0 0 25 0 1 0 25688785 164511744 38281 4089446400 4194304 10345943 140735866114448 18446744073709551615 4227554 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 40164 38281 794 1502 0 38657 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 160656

[startup+222.301 s]
/proc/loadavg: 2.00 1.98 1.74 3/179 25068
/proc/meminfo: memFree=29365028/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=196204 CPUtime=222.3
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 299324 0 0 0 22166 64 0 0 25 0 1 0 25688785 200912896 46881 4089446400 4194304 10345943 140735866114448 18446744073709551615 4871631 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 49051 46881 794 1502 0 47544 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196204

[startup+282.301 s]
/proc/loadavg: 2.04 2.00 1.75 4/179 25070
/proc/meminfo: memFree=29292208/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=227032 CPUtime=282.3
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 323901 0 0 0 28158 72 0 0 25 0 1 0 25688785 232480768 54502 4089446400 4194304 10345943 140735866114448 18446744073709551615 5926581 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 56758 54502 794 1502 0 55251 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 227032

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.77 3/179 25072
/proc/meminfo: memFree=29217260/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=253780 CPUtime=342.3
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 357138 0 0 0 34150 80 0 0 25 0 1 0 25688785 259870720 61822 4089446400 4194304 10345943 140735866114448 18446744073709551615 4469762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 63445 61822 794 1502 0 61938 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 253780

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 25073
/proc/meminfo: memFree=29144936/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=282192 CPUtime=402.3
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 384734 0 0 0 40140 90 0 0 25 0 1 0 25688785 288964608 68708 4089446400 4194304 10345943 140735866114448 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 70548 68708 794 1502 0 69041 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 282192

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 25074
/proc/meminfo: memFree=29073720/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=309196 CPUtime=462.3
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 407196 0 0 0 46134 96 0 0 25 0 1 0 25688785 316616704 75163 4089446400 4194304 10345943 140735866114448 18446744073709551615 6528251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 77299 75163 794 1502 0 75792 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 309196

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 25076
/proc/meminfo: memFree=28998792/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=335112 CPUtime=522.3
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 422551 0 0 0 52126 104 0 0 25 0 1 0 25688785 343154688 82163 4089446400 4194304 10345943 140735866114448 18446744073709551615 7546854 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 83778 82163 794 1502 0 82271 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 335112

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 25078
/proc/meminfo: memFree=28933272/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=358688 CPUtime=582.31
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 483434 0 0 0 58114 117 0 0 25 0 1 0 25688785 367296512 87843 4089446400 4194304 10345943 140735866114448 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 89672 87843 794 1502 0 88165 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 358688

[startup+642.301 s]
/proc/loadavg: 2.08 2.02 1.83 3/179 25080
/proc/meminfo: memFree=28856220/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=390284 CPUtime=642.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 533462 0 0 0 64105 127 0 0 25 0 1 0 25688785 399650816 95516 4089446400 4194304 10345943 140735866114448 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 97571 95516 794 1502 0 96064 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 390284

[startup+702.3 s]

################
# More data... #
################

/proc/meminfo: memFree=28358544/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=583296 CPUtime=1062.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 639357 0 0 0 106066 166 0 0 25 0 1 0 25688785 597295104 143223 4089446400 4194304 10345943 140735866114448 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 145824 143223 794 1502 0 144317 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 583296

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 25092
/proc/meminfo: memFree=28286828/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=613412 CPUtime=1122.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 646570 0 0 0 112062 170 0 0 25 0 1 0 25688785 628133888 150116 4089446400 4194304 10345943 140735866114448 18446744073709551615 6785508 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 153353 150116 794 1502 0 151846 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 613412

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 25094
/proc/meminfo: memFree=28213136/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=640468 CPUtime=1182.31
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 657324 0 0 0 118058 173 0 0 25 0 1 0 25688785 655839232 156917 4089446400 4194304 10345943 140735866114448 18446744073709551615 6002316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 160117 156917 794 1502 0 158610 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 640468

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 25096
/proc/meminfo: memFree=28143660/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=665996 CPUtime=1242.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 665848 0 0 0 124054 178 0 0 25 0 1 0 25688785 681979904 163297 4089446400 4194304 10345943 140735866114448 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 166499 163297 794 1502 0 164992 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 665996

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 25106
/proc/meminfo: memFree=28069700/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=694312 CPUtime=1302.33
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 679052 0 0 0 130048 185 0 0 25 0 1 0 25688785 710975488 170291 4089446400 4194304 10345943 140735866114448 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 173578 170291 794 1502 0 172071 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 694312

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 25107
/proc/meminfo: memFree=27993340/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=723380 CPUtime=1362.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 700113 0 0 0 136040 192 0 0 25 0 1 0 25688785 740741120 178574 4089446400 4194304 10345943 140735866114448 18446744073709551615 6519205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 180845 178574 794 1502 0 179338 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 723380

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 25109
/proc/meminfo: memFree=27926576/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=747904 CPUtime=1422.33
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 707041 0 0 0 142038 195 0 0 25 0 1 0 25688785 765853696 184735 4089446400 4194304 10345943 140735866114448 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 186976 184735 794 1502 0 185469 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 747904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25111
/proc/meminfo: memFree=27855228/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=775804 CPUtime=1482.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 714036 0 0 0 148033 199 0 0 25 0 1 0 25688785 794423296 191515 4089446400 4194304 10345943 140735866114448 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 193951 191515 794 1502 0 192444 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 775804

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25113
/proc/meminfo: memFree=27782152/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=804240 CPUtime=1542.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 721804 0 0 0 154029 203 0 0 25 0 1 0 25688785 823541760 198898 4089446400 4194304 10345943 140735866114448 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 201060 198898 794 1502 0 199553 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 804240

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25114
/proc/meminfo: memFree=27711664/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=830672 CPUtime=1602.33
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 730924 0 0 0 160024 209 0 0 25 0 1 0 25688785 850608128 205764 4089446400 4194304 10345943 140735866114448 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 207668 205764 794 1502 0 206161 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 830672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25115
/proc/meminfo: memFree=27643792/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=856372 CPUtime=1662.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 750122 0 0 0 166016 216 0 0 25 0 1 0 25688785 876924928 212269 4089446400 4194304 10345943 140735866114448 18446744073709551615 6003107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 214093 212269 794 1502 0 212586 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 856372

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25117
/proc/meminfo: memFree=27577784/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=881736 CPUtime=1722.32
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 760578 0 0 0 172010 222 0 0 25 0 1 0 25688785 902897664 218438 4089446400 4194304 10345943 140735866114448 18446744073709551615 5614829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 220434 218438 794 1502 0 218927 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 881736

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25119
/proc/meminfo: memFree=27508180/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=909780 CPUtime=1782.33
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 769957 0 0 0 178006 227 0 0 25 0 1 0 25688785 931614720 225557 4089446400 4194304 10345943 140735866114448 18446744073709551615 7568915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 227445 225557 794 1502 0 225938 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 909780

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25119
/proc/meminfo: memFree=27503832/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=910800 CPUtime=1785.53
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 770213 0 0 0 178326 227 0 0 25 0 1 0 25688785 932659200 225813 4089446400 4194304 10345943 140735866114448 18446744073709551615 6865907 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 227700 225813 794 1502 0 226193 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 910800

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25119
/proc/meminfo: memFree=27498624/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=911820 CPUtime=1788.74
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 770468 0 0 0 178646 228 0 0 25 0 1 0 25688785 933703680 226068 4089446400 4194304 10345943 140735866114448 18446744073709551615 6802864 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 227955 226068 794 1502 0 226448 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 911820

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25119
/proc/meminfo: memFree=27498624/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=911820 CPUtime=1789.53
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 770493 0 0 0 178725 228 0 0 25 0 1 0 25688785 933703680 226093 4089446400 4194304 10345943 140735866114448 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25061/statm: 227955 226093 794 1502 0 226448 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 911820

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 25136
/proc/meminfo: memFree=28812792/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=911820 CPUtime=1790.33
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 770493 0 0 0 178805 228 0 0 25 0 1 0 25688785 933703680 226093 4089446400 4194304 10345943 140735866114448 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25061/statm: 227955 226093 794 1502 0 226448 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 911820

[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 25136
/proc/meminfo: memFree=28812792/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=911820 CPUtime=1790.74
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 770494 0 0 0 178846 228 0 0 25 0 1 0 25688785 933703680 226094 4089446400 4194304 10345943 140735866114448 18446744073709551615 6325579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25061/statm: 227955 226094 795 1502 0 226448 0
Current children cumulated CPU time (s) 1790.74
Current children cumulated vsize (KiB) 911820

[startup+1790.81 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 25136
/proc/meminfo: memFree=28812792/32951124 swapFree=67111528/67111528
[pid=25061] ppid=25059 vsize=911820 CPUtime=1790.84
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 24685 0 -1 4202496 770494 0 0 0 178856 228 0 0 25 0 1 0 25688785 933703680 226094 4089446400 4194304 10345943 140735866114448 18446744073709551615 4720816 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25061/statm: 227955 226094 795 1502 0 226448 0
Current children cumulated CPU time (s) 1790.84
Current children cumulated vsize (KiB) 911820

Child status: 0
Real time (s): 1790.88
CPU time (s): 1790.92
CPU user time (s): 1788.6
CPU system time (s): 2.31865
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 911820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.6
system time used= 2.31865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 770497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3109

runsolver used 2.86656 second user time and 6.89395 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-08 09:39:19
IDJOB=2705129
IDBENCH=79047
IDSOLVER=1214
FILE ID=node144/2705129-1278574759
PBS_JOBID= 11240166
Free space on /tmp= 73728 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705129-1278574759/watcher-2705129-1278574759 -o /tmp/evaluation-result-2705129-1278574759/solver-2705129-1278574759 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705129-1278574759.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2e5305672cd925feb8447ea4f265e9b4
RANDOM SEED=1071258226

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5269.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29658448 kB
Buffers:        166776 kB
Cached:        2854556 kB
SwapCached:          0 kB
Active:         914000 kB
Inactive:      2216288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29658448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25868 kB
Writeback:           0 kB
AnonPages:      108444 kB
Mapped:          17560 kB
Slab:            98544 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   256356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73728 MiB
End job on node144 at 2010-07-08 10:09:10