Trace number 2693086

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.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.58 1800.55

General information on the benchmark

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

Verifier Data 

OK	10698

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693086-1277915445/watcher-2693086-1277915445 -o /tmp/evaluation-result-2693086-1277915445/solver-2693086-1277915445 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693086-1277915445.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: 2.08 2.04 2.04 4/196 13709
/proc/meminfo: memFree=31242736/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=10872 CPUtime=0
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 1644 0 0 0 0 0 0 0 25 0 1 0 132841149 11132928 1564 4089446400 4194304 9819077 140734972111872 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13709/statm: 2718 1564 392 1374 0 1339 0

[startup+0.035366 s]
/proc/loadavg: 2.08 2.04 2.04 4/196 13709
/proc/meminfo: memFree=31242736/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=17336 CPUtime=0.03
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 3281 0 0 0 3 0 0 0 25 0 1 0 132841149 17752064 3201 4089446400 4194304 9819077 140734972111872 18446744073709551615 8081536 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13709/statm: 4334 3201 392 1374 0 2955 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17336

[startup+0.100355 s]
/proc/loadavg: 2.08 2.04 2.04 4/196 13709
/proc/meminfo: memFree=31242736/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=34028 CPUtime=0.09
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 7869 0 0 0 8 1 0 0 25 0 1 0 132841149 34844672 7435 4089446400 4194304 9819077 140734972111872 18446744073709551615 6181510 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13709/statm: 8507 7435 435 1374 0 7128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34028

[startup+0.30033 s]
/proc/loadavg: 2.08 2.04 2.04 4/196 13709
/proc/meminfo: memFree=31242736/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=56268 CPUtime=0.28
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 15891 0 0 0 26 2 0 0 25 0 1 0 132841149 57618432 12683 4089446400 4194304 9819077 140734972111872 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13709/statm: 14067 12683 529 1374 0 12688 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56268

[startup+0.700336 s]
/proc/loadavg: 2.08 2.04 2.04 4/196 13709
/proc/meminfo: memFree=31242736/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=57480 CPUtime=0.69
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 16194 0 0 0 66 3 0 0 25 0 1 0 132841149 58859520 12986 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13709/statm: 14370 12986 529 1374 0 12991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57480

[startup+1.50117 s]
/proc/loadavg: 2.08 2.04 2.04 3/197 13711
/proc/meminfo: memFree=31192560/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=75368 CPUtime=1.48
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 21936 0 0 0 143 5 0 0 25 0 1 0 132841149 77176832 16630 4089446400 4194304 9819077 140734972111872 18446744073709551615 5736198 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 18842 16630 684 1374 0 17463 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 75368

[startup+3.10088 s]
/proc/loadavg: 2.08 2.04 2.04 3/197 13711
/proc/meminfo: memFree=31174456/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=82868 CPUtime=3.08
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 25039 0 0 0 301 7 0 0 25 0 1 0 132841149 84856832 17929 4089446400 4194304 9819077 140734972111872 18446744073709551615 8674816 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 20717 17929 698 1374 0 19338 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 82868

[startup+6.30026 s]
/proc/loadavg: 2.07 2.04 2.04 3/197 13711
/proc/meminfo: memFree=31171356/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=126068 CPUtime=6.29
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 43835 0 0 0 618 11 0 0 25 0 1 0 132841149 129093632 27896 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 31517 27896 701 1374 0 30138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126068

[startup+12.7001 s]
/proc/loadavg: 2.06 2.04 2.04 3/197 13711
/proc/meminfo: memFree=31157896/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=99532 CPUtime=12.69
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 77659 0 0 0 1253 16 0 0 25 0 1 0 132841149 101920768 21652 4089446400 4194304 9819077 140734972111872 18446744073709551615 6697183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 24883 21652 723 1374 0 23504 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99532

[startup+25.5009 s]
/proc/loadavg: 2.56 2.15 2.07 3/197 13711
/proc/meminfo: memFree=31154152/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=97872 CPUtime=25.49
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 97092 0 0 0 2527 22 0 0 25 0 1 0 132841149 100220928 21452 4089446400 4194304 9819077 140734972111872 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 24468 21452 725 1374 0 23089 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97872

[startup+51.1004 s]
/proc/loadavg: 2.37 2.14 2.07 3/197 13714
/proc/meminfo: memFree=31154116/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=98988 CPUtime=51.09
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 191001 0 0 0 5067 42 0 0 25 0 1 0 132841149 101363712 21942 4089446400 4194304 9819077 140734972111872 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 24747 21942 728 1374 0 23368 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98988

[startup+102.306 s]
/proc/loadavg: 2.16 2.12 2.06 3/197 13716
/proc/meminfo: memFree=31144308/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=95452 CPUtime=102.29
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 368557 0 0 0 10137 92 0 0 25 0 1 0 132841149 97742848 21936 4089446400 4194304 9819077 140734972111872 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 23863 21936 729 1374 0 22484 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 95452

[startup+162.301 s]
/proc/loadavg: 2.10 2.11 2.06 3/197 13718
/proc/meminfo: memFree=31126172/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=117036 CPUtime=162.29
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 937569 0 0 0 16035 194 0 0 25 0 1 0 132841149 119844864 25263 4089446400 4194304 9819077 140734972111872 18446744073709551615 7301834 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13709/statm: 29259 25263 730 1374 0 27880 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 117036

[startup+222.3 s]
/proc/loadavg: 2.03 2.08 2.06 2/177 13722
/proc/meminfo: memFree=31610788/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=150020 CPUtime=222.28
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 1628851 0 0 0 21910 318 0 0 25 0 1 0 132841149 153620480 34517 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13709/statm: 37505 34517 730 1374 0 36126 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 150020

[startup+282.301 s]
/proc/loadavg: 2.01 2.07 2.05 3/179 13842
/proc/meminfo: memFree=31442340/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=188964 CPUtime=282.28
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 2124994 0 0 0 27776 452 0 0 25 0 1 0 132841149 193499136 44429 4089446400 4194304 9819077 140734972111872 18446744073709551615 6591421 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 47241 44429 730 1374 0 45862 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 188964

[startup+342.301 s]
/proc/loadavg: 2.00 2.05 2.05 3/179 13844
/proc/meminfo: memFree=31412044/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=214656 CPUtime=342.28
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 2886436 0 0 0 33620 608 0 0 25 0 1 0 132841149 219807744 50828 4089446400 4194304 9819077 140734972111872 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 53664 50832 730 1374 0 52285 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 214656

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/179 13846
/proc/meminfo: memFree=31378772/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=245104 CPUtime=402.29
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 3376659 0 0 0 39499 730 0 0 25 0 1 0 132841149 250986496 58506 4089446400 4194304 9819077 140734972111872 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 61276 58506 730 1374 0 59897 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 245104

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.04 3/179 13848
/proc/meminfo: memFree=31341040/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=281420 CPUtime=462.29
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 3778288 0 0 0 45387 842 0 0 25 0 1 0 132841149 288174080 67583 4089446400 4194304 9819077 140734972111872 18446744073709551615 4830934 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 70355 67583 730 1374 0 68976 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 281420

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 13849
/proc/meminfo: memFree=31299968/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=317552 CPUtime=522.28
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 4074525 0 0 0 51282 946 0 0 25 0 1 0 132841149 325173248 76645 4089446400 4194304 9819077 140734972111872 18446744073709551615 6589058 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 79388 76645 730 1374 0 78009 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 317552

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.03 3/179 13850
/proc/meminfo: memFree=31234084/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=349992 CPUtime=582.29
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 4591230 0 0 0 57142 1087 0 0 25 0 1 0 132841149 358391808 84867 4089446400 4194304 9819077 140734972111872 18446744073709551615 6361616 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 87498 84867 730 1374 0 86119 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 349992

[startup+642.301 s]
/proc/loadavg: 2.03 2.03 2.03 3/179 13852
/proc/meminfo: memFree=31174900/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=381716 CPUtime=642.3
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 5255665 0 0 0 62998 1232 0 0 25 0 1 0 132841149 390877184 92815 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 95429 92815 730 1374 0 94050 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 381716

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13862
/proc/meminfo: memFree=30846580/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=575488 CPUtime=1002.3
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 8052635 0 0 0 98215 2015 0 0 25 0 1 0 132841149 589299712 140791 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 143872 140791 730 1374 0 142493 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 575488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13864
/proc/meminfo: memFree=30795092/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=605204 CPUtime=1062.3
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 8656982 0 0 0 104061 2169 0 0 25 0 1 0 132841149 619728896 148261 4089446400 4194304 9819077 140734972111872 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 151301 148261 730 1374 0 149922 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 605204

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13865
/proc/meminfo: memFree=30725864/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=634872 CPUtime=1122.3
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 9179236 0 0 0 109923 2307 0 0 25 0 1 0 132841149 650108928 155820 4089446400 4194304 9819077 140734972111872 18446744073709551615 6568794 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 158718 155820 730 1374 0 157339 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 634872

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13866
/proc/meminfo: memFree=30665804/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=666376 CPUtime=1182.3
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 9604191 0 0 0 115798 2432 0 0 25 0 1 0 132841149 682369024 163516 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 166594 163516 730 1374 0 165215 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 666376

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13868
/proc/meminfo: memFree=30598568/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=699032 CPUtime=1242.31
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 10033644 0 0 0 121669 2562 0 0 25 0 1 0 132841149 715808768 171777 4089446400 4194304 9819077 140734972111872 18446744073709551615 7296045 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 174758 171777 730 1374 0 173379 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 699032

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13870
/proc/meminfo: memFree=30539112/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=732348 CPUtime=1302.31
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 10589192 0 0 0 127519 2712 0 0 25 0 1 0 132841149 749924352 180141 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 183087 180141 730 1374 0 181708 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 732348

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13872
/proc/meminfo: memFree=30474848/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=765108 CPUtime=1362.31
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 11103908 0 0 0 133380 2851 0 0 25 0 1 0 132841149 783470592 188450 4089446400 4194304 9819077 140734972111872 18446744073709551615 7317330 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 191277 188450 730 1374 0 189898 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 765108

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13873
/proc/meminfo: memFree=30413188/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=798864 CPUtime=1422.31
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 11526538 0 0 0 139257 2974 0 0 25 0 1 0 132841149 818036736 196916 4089446400 4194304 9819077 140734972111872 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 199716 196916 730 1374 0 198337 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 798864

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13874
/proc/meminfo: memFree=30358976/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=832820 CPUtime=1482.31
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 12040204 0 0 0 145115 3116 0 0 25 0 1 0 132841149 852807680 205448 4089446400 4194304 9819077 140734972111872 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 208205 205448 730 1374 0 206826 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 832820

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13876
/proc/meminfo: memFree=30294952/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=864500 CPUtime=1542.31
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 12609195 0 0 0 150961 3270 0 0 25 0 1 0 132841149 885248000 213376 4089446400 4194304 9819077 140734972111872 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 216125 213376 730 1374 0 214746 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 864500

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13878
/proc/meminfo: memFree=30232044/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=900480 CPUtime=1602.32
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 12969333 0 0 0 156849 3383 0 0 25 0 1 0 132841149 922091520 222399 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 225120 222399 730 1374 0 223741 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 900480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13880
/proc/meminfo: memFree=30167528/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=931732 CPUtime=1662.32
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 13331844 0 0 0 162729 3503 0 0 25 0 1 0 132841149 954093568 230185 4089446400 4194304 9819077 140734972111872 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 232933 230185 730 1374 0 231554 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 931732

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13881
/proc/meminfo: memFree=30104368/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=964032 CPUtime=1722.32
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 13761171 0 0 0 168602 3630 0 0 25 0 1 0 132841149 987168768 238249 4089446400 4194304 9819077 140734972111872 18446744073709551615 4966043 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 241008 238249 730 1374 0 239629 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 964032

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13882
/proc/meminfo: memFree=30048300/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=1000656 CPUtime=1782.32
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 14017570 0 0 0 174505 3727 0 0 25 0 1 0 132841149 1024671744 247435 4089446400 4194304 9819077 140734972111872 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 250164 247435 730 1374 0 248785 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1000656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13883
/proc/meminfo: memFree=30032424/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=1007896 CPUtime=1800.03
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 14126020 0 0 0 176240 3763 0 0 25 0 1 0 132841149 1032085504 249252 4089446400 4194304 9819077 140734972111872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13709/statm: 251974 249252 730 1374 0 250595 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1007896

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13883
/proc/meminfo: memFree=30032424/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=1007540 CPUtime=1800.22
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 14126053 0 0 0 176259 3763 0 0 18 0 1 0 132841149 1031720960 249173 4089446400 4194304 9819077 140734972111872 18446744073709551615 6027720 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13709/statm: 251885 249173 731 1374 0 250506 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 1007540

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13883
/proc/meminfo: memFree=30032424/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=562448 CPUtime=1800.42
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 14126053 0 0 0 176277 3765 0 0 18 0 1 0 132841149 575946752 137900 4089446400 4194304 9819077 140734972111872 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13709/statm: 140612 137900 731 1374 0 139233 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 562448

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13883
/proc/meminfo: memFree=30032424/32950928 swapFree=67111528/67111528
[pid=13709] ppid=13707 vsize=235404 CPUtime=1800.52
/proc/13709/stat : 13709 (pbscip.linux.x8) R 13707 13709 13477 0 -1 4202496 14126053 0 0 0 176285 3767 0 0 18 0 1 0 132841149 241053696 56144 4089446400 4194304 9819077 140734972111872 18446744073709551615 5956512 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13709/statm: 58851 56144 731 1374 0 57472 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 235404

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.58
CPU user time (s): 1762.89
CPU system time (s): 37.6883
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1012824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.89
system time used= 37.6883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14126057
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= 3
involuntary context switches= 5695

runsolver used 2.98255 second user time and 6.78097 second system time

The end

Launcher Data 

Begin job on node125 at 2010-06-30 18:30:45
IDJOB=2693086
IDBENCH=79053
IDSOLVER=1205
FILE ID=node125/2693086-1277915445
PBS_JOBID= 11197320
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 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-66-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-2693086-1277915445/watcher-2693086-1277915445 -o /tmp/evaluation-result-2693086-1277915445/solver-2693086-1277915445 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693086-1277915445.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fbaddd9625623c5e0a4f0ddddf2cf090
RANDOM SEED=1468677577

node125.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.822
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.64
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.822
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	: 5226.07
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.822
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.75
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.822
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.77
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.822
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.822
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.74
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.822
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.822
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31243264 kB
Buffers:        199632 kB
Cached:         797168 kB
SwapCached:          0 kB
Active:        1004616 kB
Inactive:       560504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31243264 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6612 kB
Writeback:           0 kB
AnonPages:      568180 kB
Mapped:          20372 kB
Slab:            78208 kB
PageTables:       6336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1656404 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= 74192 MiB
End job on node125 at 2010-06-30 19:00:47