Trace number 1869655

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT25 43.6774 43.7086

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
MD5SUM6e9753dce198ef5ddba763a137b390c4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark185.968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3973
Total number of constraints11097
Number of constraints which are clauses11097
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1906
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1906
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1906
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.09/0.17	c SCIP version 1.1.0.7
0.09/0.17	c LP-Solver Clp 1.8.2
0.09/0.17	c user parameter file <scip.set> not found - using default parameters
0.09/0.17	c read problem <HOME/instance-1869655-1245182159.opb>
0.09/0.17	c original problem has 3973 variables (3973 bin, 0 int, 0 impl, 0 cont) and 11097 constraints
0.19/0.23	c start presolving problem
0.19/0.23	c presolving:
0.29/0.32	c (round 1) 2013 del vars, 3916 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20670 impls, 0 clqs
0.29/0.33	c (round 2) 2013 del vars, 4839 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20670 impls, 0 clqs
0.39/0.41	c (round 3) 2013 del vars, 4839 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6199 upgd conss, 20670 impls, 0 clqs
0.39/0.43	c (round 4) 2013 del vars, 4839 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6258 upgd conss, 20670 impls, 0 clqs
0.49/0.50	c    (0.3s) probing: 101/1960 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.50	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.50	c presolving (5 rounds):
0.49/0.50	c  2013 deleted vars, 4839 deleted constraints, 109 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50	c  20670 implications, 0 cliques
0.49/0.50	c presolved problem has 1960 variables (1960 bin, 0 int, 0 impl, 0 cont) and 6258 constraints
0.49/0.50	c    6258 constraints of type <logicor>
0.49/0.50	c transformed objective value is always integral (scale: 1)
0.49/0.50	c Presolving Time: 0.25
0.49/0.50	c strange?!, PURESAT with obj
0.49/0.50	c -----------------------------------------------------------------------------------------------
0.49/0.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50	c limits/memory = c 1620
0.49/0.50	c # maximal time in seconds to run
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50	c limits/time = c 1791
0.49/0.50	c # frequency for displaying node information lines
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50	c display/freq = c 10000
0.49/0.50	c -----------------------------------------------------------------------------------------------
0.49/0.50	c start solving problem
0.49/0.50	c 
0.59/0.67	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.67	c   0.5s|     1 |     0 |   578 |  17M|   0 | 226 |1960 |6258 |6258 |1960 |6258 |   0 |   0 |   0 | 2.325000e+01 |      --      |    Inf 
0.59/0.68	o 61
0.59/0.68	c R 0.5s|     1 |     0 |   578 |  17M|   0 | 226 |1960 |6258 |6258 |1960 |6258 |   0 |   0 |   0 | 2.325000e+01 | 6.100000e+01 | 162.37%
1.39/1.47	c   1.2s|     1 |     0 |   726 |  18M|   0 | 242 |1960 |6258 |6258 |1960 |6264 |   6 |   0 |   0 | 2.334067e+01 | 6.100000e+01 | 161.35%
2.69/2.75	c   2.5s|     1 |     0 |   844 |  18M|   0 | 245 |1960 |6258 |6258 |1960 |6268 |  10 |   0 |   0 | 2.342980e+01 | 6.100000e+01 | 160.35%
3.99/4.02	c   3.8s|     1 |     0 |   949 |  19M|   0 | 218 |1960 |6258 |6258 |1960 |6272 |  14 |   0 |   0 | 2.345405e+01 | 6.100000e+01 | 160.08%
5.19/5.28	c   5.0s|     1 |     0 |  1149 |  19M|   0 | 247 |1960 |6258 |6258 |1960 |6276 |  18 |   0 |   0 | 2.352362e+01 | 6.100000e+01 | 159.31%
6.59/6.68	c   6.4s|     1 |     0 |  1261 |  19M|   0 | 228 |1960 |6258 |6258 |1960 |6281 |  23 |   0 |   0 | 2.353410e+01 | 6.100000e+01 | 159.20%
8.09/8.17	c   7.9s|     1 |     0 |  1445 |  19M|   0 | 270 |1960 |6258 |6258 |1960 |6285 |  27 |   0 |   0 | 2.355227e+01 | 6.100000e+01 | 159.00%
9.78/9.84	c   9.5s|     1 |     0 |  1513 |  19M|   0 | 270 |1960 |6258 |6258 |1960 |6291 |  33 |   0 |   0 | 2.355521e+01 | 6.100000e+01 | 158.97%
11.49/11.58	c  11.3s|     1 |     0 |  1670 |  19M|   0 | 246 |1960 |6258 |6258 |1960 |6295 |  37 |   0 |   0 | 2.356181e+01 | 6.100000e+01 | 158.89%
13.19/13.24	c  12.9s|     1 |     0 |  1711 |  19M|   0 | 227 |1960 |6258 |6258 |1960 |6299 |  41 |   0 |   0 | 2.356383e+01 | 6.100000e+01 | 158.87%
15.08/15.17	c  14.8s|     1 |     0 |  1910 |  19M|   0 | 218 |1960 |6258 |6258 |1960 |6302 |  44 |   0 |   0 | 2.357019e+01 | 6.100000e+01 | 158.80%
17.08/17.16	c  16.8s|     1 |     0 |  1911 |  19M|   0 | 218 |1960 |6258 |6258 |1960 |6302 |  45 |   0 |   0 | 2.357019e+01 | 6.100000e+01 | 158.80%
19.38/19.43	o 26
19.38/19.43	c F19.1s|     1 |     0 |  2430 |  19M|   0 |   0 |1960 |6258 |6258 |1960 |6302 |  45 |   0 |   0 | 2.357019e+01 | 2.600000e+01 |  10.31%
19.89/19.96	o 26
19.89/19.96	c E19.6s|     1 |     0 |  2430 |  19M|   0 | 218 |1960 |6258 |6258 |1960 |6302 |  45 |   0 |   0 | 2.357019e+01 | 2.600000e+01 |  10.31%
19.89/19.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.89/19.97	c  19.6s|     1 |     0 |  2430 |  19M|   0 | 218 |1960 |6258 |6258 |1960 |6302 |  45 |   0 |   0 | 2.357019e+01 | 2.600000e+01 |  10.31%
26.08/26.16	c  25.8s|     1 |     2 |  2430 |  19M|   0 | 218 |1960 |6258 |6258 |1960 |6302 |  45 |   0 |  27 | 2.357019e+01 | 2.600000e+01 |  10.31%
42.47/42.51	o 25
42.47/42.51	c *42.0s|     4 |     1 |  4359 |  20M|   2 |   - |1960 |6258 |4614 |1960 |6284 |  45 |   0 | 209 | 2.368102e+01 | 2.500000e+01 |   5.57%
43.56/43.63	c 
43.56/43.63	c SCIP Status        : problem is solved [optimal solution found]
43.56/43.63	c Solving Time (sec) : 43.11
43.56/43.63	c Solving Nodes      : 5
43.56/43.63	c Primal Bound       : +2.50000000000000e+01 (4 solutions)
43.56/43.63	c Dual Bound         : +2.50000000000000e+01
43.56/43.63	c Gap                : 0.00 %
43.56/43.65	c NODE         5
43.56/43.65	c DUAL BOUND   25
43.56/43.65	c PRIMAL BOUND 25
43.56/43.65	c GAP          0
43.56/43.65	s OPTIMUM FOUND
43.56/43.65	v x170 x169 x3972 -x168 -x3970 -x3968 -x167 -x3966 x166 x3964 -x3962 -x3960 -x165 -x3958 -x3956 x3954 -x3952 -x3950 -x3948 -x3946 
43.56/43.65	v -x3944 -x3942 -x164 -x3940 x3938 x3936 -x3934 -x3932 -x3930 -x163 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 x3914 -x3912 
43.56/43.65	v -x3910 -x162 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x161 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x160 
43.56/43.65	v -x3880 x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x159 -x3852 -x3850 -x3848 
43.56/43.65	v -x158 -x3846 -x3844 -x3842 -x157 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x156 -x3826 -x3824 -x3822 -x155 -x3820 -x3818 
43.56/43.65	v -x3816 -x3814 -x3812 -x3810 -x3808 -x154 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x153 -x3792 x3790 -x3788 -x3786 
43.56/43.65	v -x3784 -x3782 -x3780 -x3778 -x3775 -x152 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x151 -x3759 -x3757 -x3755 -x3753 
43.56/43.65	v -x3751 -x3749 -x3747 -x150 -x3745 -x149 -x3743 -x3741 -x3739 -x148 -x3737 -x3735 -x3733 -x147 -x3731 -x3729 -x3727 -x3725 -x3723 
43.56/43.65	v -x3721 -x3719 -x146 -x3717 -x3715 -x145 -x3713 -x3711 -x3709 x3707 -x3705 -x3703 -x3701 x144 -x3699 -x3697 -x3695 -x3693 
43.56/43.65	v -x3691 -x3689 -x3687 -x143 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 
43.56/43.65	v -x3657 -x142 -x3655 -x3653 -x3651 -x141 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x140 -x3635 -x3633 -x3631 -x3629 
43.56/43.65	v -x3626 -x139 -x3624 -x3622 -x3620 -x138 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x137 -x3604 -x3602 -x3600 -x3598 -x3596 
43.56/43.65	v -x3594 -x3592 -x136 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 
43.56/43.65	v -x135 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x134 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 
43.56/43.65	v -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x133 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x132 -x3502 -x3500 -x3498 
43.56/43.65	v -x3496 -x3494 -x3492 -x3490 -x3488 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x131 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 
43.56/43.65	v -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x130 -x3444 x129 x3442 -x3440 -x3438 -x128 -x3436 -x3434 -x3432 -x127 
43.56/43.65	v -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x126 -x3416 -x3414 -x3412 -x125 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 
43.56/43.65	v -x3398 -x124 -x3396 -x3394 -x3392 -x123 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x122 -x3376 -x3374 -x3372 -x3370 
43.56/43.65	v -x3368 -x3366 -x3364 -x121 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x120 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 
43.56/43.65	v -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3318 -x3316 -x119 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 
43.56/43.65	v -x118 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x117 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 
43.56/43.65	v -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x116 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x115 -x3242 -x3240 -x3238 -x3236 
43.56/43.65	v -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x114 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 
43.56/43.65	v -x3200 -x113 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x112 
43.56/43.65	v -x3168 -x3166 -x3164 -x111 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x110 -x3148 x3146 -x3144 -x3142 -x3140 -x3138 
43.56/43.65	v -x3136 x109 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x108 
43.56/43.65	v -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x107 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 
43.56/43.65	v -x3070 -x3068 -x3066 -x3064 -x3062 -x106 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x105 -x3046 -x3044 -x3042 -x3040 
43.56/43.65	v -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x104 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 
43.56/43.65	v -x103 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x102 -x2973 -x2971 
43.56/43.65	v -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x101 -x2943 x2941 -x2939 -x2937 
43.56/43.65	v -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 
43.56/43.65	v -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 
43.56/43.65	v -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x100 -x2851 -x2849 -x2847 -x99 -x2845 -x2843 -x2841 -x98 -x2839 -x2837 -x2835 
43.56/43.65	v -x2833 -x2831 -x2829 -x2827 -x97 -x2825 -x2823 -x2821 -x96 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x95 -x2805 -x2803 
43.56/43.65	v -x94 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x93 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x92 -x2773 -x2771 
43.56/43.65	v -x2769 -x91 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x90 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x89 
43.56/43.65	v -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x88 -x2709 -x2707 
43.56/43.65	v -x2705 -x2703 -x2701 -x2699 -x2697 -x87 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 
43.56/43.65	v -x2669 -x2667 -x86 -x2665 -x2663 -x2661 -x85 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x84 -x2645 -x2643 -x2641 
43.56/43.65	v -x2639 -x2637 -x2635 -x2633 -x83 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x82 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 
43.56/43.65	v -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x81 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x80 
43.56/43.65	v -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x79 -x2543 -x2541 
43.56/43.65	v -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x78 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 
43.56/43.65	v -x2505 -x77 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x76 -x2473 
43.56/43.65	v -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x75 -x2443 -x2441 -x2439 
43.56/43.65	v -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 
43.56/43.65	v -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x74 -x2375 -x2373 -x2371 -x2369 
43.56/43.65	v -x2367 -x2365 -x2363 -x73 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x72 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 
43.56/43.65	v -x71 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x70 -x2303 
43.56/43.65	v -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x69 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 
43.56/43.65	v -x2267 -x2265 -x2263 -x2261 -x68 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x67 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 
43.56/43.65	v -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x66 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 
43.56/43.65	v -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x65 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 
43.56/43.65	v -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 
43.56/43.65	v -x2129 -x2127 -x2125 -x64 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x63 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 
43.56/43.65	v -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x62 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 
43.56/43.65	v -x2063 -x2061 -x2059 x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 
43.56/43.65	v -x2027 -x2025 -x2023 -x2021 -x61 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 x1997 -x1995 -x1993 
43.56/43.65	v -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 
43.56/43.65	v -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x60 -x1927 -x1925 -x1923 
43.56/43.65	v -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 
43.56/43.65	v -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x59 -x1865 -x58 -x1863 -x1861 -x1859 -x57 -x1857 
43.56/43.65	v -x1855 -x1853 -x56 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x55 -x1837 -x1835 -x1833 -x54 -x1831 -x1829 -x1827 -x1825 
43.56/43.65	v -x1823 -x1821 -x1819 -x53 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x52 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 
43.56/43.65	v -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x51 -x1773 -x1771 -x1769 -x50 -x1767 -x1765 -x1763 -x1761 -x1759 
43.56/43.65	v -x1757 -x1755 -x49 -x1753 -x1751 x1749 x48 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x47 -x1733 -x1731 -x1729 -x1727 
43.56/43.65	v -x1725 -x1723 -x1721 -x46 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x45 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 
43.56/43.65	v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x44 -x1675 -x1673 -x1671 -x43 -x1669 -x1667 -x1665 -x1663 -x1661 
43.56/43.65	v -x1659 -x1657 -x42 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x41 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 
43.56/43.65	v -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x40 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x39 -x1599 -x1597 
43.56/43.65	v -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x38 -x1569 -x1567 -x1565 -x1563 -x1561 
43.56/43.65	v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 
43.56/43.65	v x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 
43.56/43.65	v -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x37 -x1463 -x1461 -x1459 -x1457 -x1455 
43.56/43.65	v -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x36 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 
43.56/43.65	v -x35 -x1419 -x1417 -x1415 x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 
43.56/43.65	v -x1385 -x34 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x33 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x32 -x1355 
43.56/43.65	v -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x31 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 
43.56/43.65	v -x1319 -x1317 -x1315 -x1313 -x30 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x29 -x1297 -x1295 -x1293 -x1291 -x1289 
43.56/43.65	v -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x28 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 
43.56/43.65	v -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x27 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 
43.56/43.65	v -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 
43.56/43.65	v -x1181 -x1179 -x1177 -x26 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x25 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 
43.56/43.65	v -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x24 -x1131 -x1129 -x1127 -x23 -x1125 -x1123 -x1121 -x1119 
43.56/43.65	v -x1117 -x1115 -x1113 -x22 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x21 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 
43.56/43.65	v -x20 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x19 -x1053 
43.56/43.65	v -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x18 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 
43.56/43.65	v -x1017 -x1015 -x1013 -x1011 -x17 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x16 -x995 -x993 -x991 -x989 -x987 -x985 -x983 
43.56/43.65	v -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x15 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 
43.56/43.65	v -x941 -x939 -x937 -x14 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 
43.56/43.65	v -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x13 -x873 -x871 -x869 -x867 -x865 -x863 
43.56/43.65	v -x861 -x12 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 
43.56/43.65	v -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x11 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 
43.56/43.65	v -x781 -x779 -x777 -x775 -x772 -x10 -x770 -x768 -x766 -x764 -x762 -x760 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 
43.56/43.65	v -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 
43.56/43.65	v -x697 -x9 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x8 -x665 -x663 -x661 -x659 
43.56/43.65	v -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x7 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 
43.56/43.65	v -x617 -x615 -x613 -x611 -x609 -x607 -x6 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 
43.56/43.65	v -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x5 -x543 -x541 -x539 
43.56/43.65	v -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x4 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 
43.56/43.65	v -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 
43.56/43.65	v -x455 -x453 -x3 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 
43.56/43.65	v -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x2 -x389 -x387 x385 -x383 -x381 -x379 -x377 -x375 
43.56/43.65	v -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 
43.56/43.65	v -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 
43.56/43.65	v -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 
43.56/43.65	v -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x1 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 
43.56/43.65	v -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 x3973 
43.56/43.65	v -x3971 -x3969 -x3967 x3965 -x3963 -x3961 -x3959 -x3957 x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 x3939 x3937 -x3935 
43.56/43.65	v -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 
43.56/43.65	v -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 
43.56/43.65	v -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 
43.56/43.65	v -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 
43.56/43.65	v x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 
43.56/43.65	v -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 
43.56/43.65	v -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 
43.56/43.65	v -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 
43.56/43.65	v -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 
43.56/43.65	v -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 
43.56/43.65	v -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 
43.56/43.65	v -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 
43.56/43.65	v -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 
43.56/43.65	v -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3445 x3443 -x3441 -x3439 
43.56/43.65	v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 
43.56/43.65	v -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 
43.56/43.65	v -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 
43.56/43.65	v -x3330 -x3328 -x3326 -x3324 -x3322 x3320 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 
43.56/43.65	v -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 
43.56/43.65	v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 
43.56/43.65	v -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 
43.56/43.65	v -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 
43.56/43.65	v -x3153 -x3151 -x3149 x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 
43.56/43.65	v -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 
43.56/43.65	v -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 
43.56/43.65	v -x3045 -x3043 -x3041 -x3039 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 
43.56/43.65	v -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 
43.56/43.65	v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 x2942 -x2940 
43.56/43.65	v -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 
43.56/43.65	v -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 
43.56/43.65	v -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 
43.56/43.65	v -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 
43.56/43.65	v -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 
43.56/43.65	v -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 
43.56/43.65	v -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 
43.56/43.65	v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 
43.56/43.65	v -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 
43.56/43.65	v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 
43.56/43.65	v -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 
43.56/43.65	v -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 
43.56/43.65	v -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 
43.56/43.65	v -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 
43.56/43.65	v -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 
43.56/43.65	v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 
43.56/43.65	v -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 
43.56/43.65	v -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 
43.56/43.65	v -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 
43.56/43.65	v -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 
43.56/43.65	v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 
43.56/43.65	v -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 
43.56/43.65	v -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 
43.56/43.65	v -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 
43.56/43.65	v -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 
43.56/43.65	v -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 
43.56/43.65	v -x2008 -x2006 -x2004 -x2002 -x2000 x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 
43.56/43.65	v -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 
43.56/43.65	v -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 
43.56/43.65	v -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 
43.56/43.65	v -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 
43.56/43.65	v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 
43.56/43.65	v -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 
43.56/43.65	v -x1758 -x1756 -x1754 -x1752 x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 
43.56/43.65	v -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 
43.56/43.65	v -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 
43.56/43.65	v -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 
43.56/43.65	v -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 
43.56/43.65	v -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 x1548 -x1546 
43.56/43.65	v -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 
43.56/43.65	v -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 
43.56/43.65	v -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 
43.56/43.65	v -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 
43.56/43.65	v -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 
43.56/43.65	v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 
43.56/43.65	v -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 
43.56/43.65	v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 
43.56/43.65	v -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 
43.56/43.65	v -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 
43.56/43.65	v -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 
43.56/43.65	v -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 
43.56/43.65	v -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 
43.56/43.65	v -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 
43.56/43.65	v -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 
43.56/43.65	v -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 
43.56/43.65	v -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 
43.56/43.65	v -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 
43.56/43.65	v -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 
43.56/43.65	v x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 
43.56/43.65	v -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x773 -x771 -x769 -x767 -x765 -x763 -x761 
43.56/43.65	v x759 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 
43.56/43.65	v -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 
43.56/43.65	v -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 
43.56/43.65	v -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 
43.56/43.65	v -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 
43.56/43.65	v -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 
43.56/43.65	v -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 
43.56/43.65	v -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 
43.56/43.65	v -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 
43.56/43.65	v x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 
43.56/43.65	v -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 
43.56/43.65	v -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 
43.56/43.65	v -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 
43.56/43.65	v -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 x190 -x188 -x186 -x184 -x182 -x180 -x178 
43.56/43.65	v -x176 -x174 -x172 
43.56/43.65	c SCIP Status        : problem is solved [optimal solution found]
43.56/43.65	c Solving Time       :      43.11
43.56/43.65	c Original Problem   :
43.56/43.65	c   Problem name     : HOME/instance-1869655-1245182159.opb
43.56/43.65	c   Variables        : 3973 (3973 binary, 0 integer, 0 implicit integer, 0 continuous)
43.56/43.65	c   Constraints      : 11097 initial, 11097 maximal
43.56/43.65	c Presolved Problem  :
43.56/43.65	c   Problem name     : t_HOME/instance-1869655-1245182159.opb
43.56/43.65	c   Variables        : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
43.56/43.65	c   Constraints      : 6258 initial, 6258 maximal
43.56/43.65	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
43.56/43.65	c   trivial          :       0.00          0          0          0          0          0          0          0          0
43.56/43.65	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
43.56/43.65	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
43.56/43.65	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
43.56/43.65	c   implics          :       0.00          0          8          0          0          0          0          0          0
43.56/43.65	c   probing          :       0.05          0          0          0          0          0          0          0          0
43.56/43.65	c   linear           :       0.11        109       1896          0        109          0       4839          0          0
43.56/43.65	c   logicor          :       0.06          0          0          0          0          0          0          0          0
43.56/43.65	c   root node        :          -       1445          -          -       1445          -          -          -          -
43.56/43.65	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
43.56/43.65	c   integral         :          0          0          0         28          0          1        117          0          0          4
43.56/43.65	c   logicor          :       6258         13        260          1          0          0        990          0          0          0
43.56/43.65	c   countsols        :          0          0          0          1          0          0          0          0          0          0
43.56/43.65	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
43.56/43.65	c   integral         :      20.13       0.00       0.00      20.13       0.00
43.56/43.65	c   logicor          :       0.04       0.02       0.02       0.00       0.00
43.56/43.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00
43.56/43.65	c Propagators        :       Time      Calls    Cutoffs    DomReds
43.56/43.65	c   rootredcost      :       0.00          1          0       1026
43.56/43.65	c   pseudoobj        :       0.00         80          0          0
43.56/43.65	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
43.56/43.65	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
43.56/43.65	c   infeasible LP    :       0.00          1          0          0        0.0          0        0.0          0
43.56/43.65	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
43.56/43.65	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
43.56/43.65	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
43.56/43.65	c   applied globally :          -          -          -          0        0.0          -          -          -
43.56/43.65	c   applied locally  :          -          -          -          0        0.0          -          -          -
43.56/43.65	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
43.56/43.65	c   cut pool         :       0.02         12          -          -         68          -    (maximal pool size: 229)
43.56/43.65	c   redcost          :       0.01         27          0       1847          0          0
43.56/43.65	c   impliedbounds    :       0.00         13          0          0          0          0
43.56/43.65	c   intobj           :       0.00          0          0          0          0          0
43.56/43.65	c   gomory           :       9.42         13          0          0       1503          0
43.56/43.65	c   strongcg         :       8.24         13          0          0       2933          0
43.56/43.65	c   cmir             :       0.63         10          0          0          0          0
43.56/43.65	c   flowcover        :       0.60         10          0          0          0          0
43.56/43.65	c   clique           :       0.01         13          0          0         59          0
43.56/43.65	c   zerohalf         :       0.00          0          0          0          0          0
43.56/43.65	c   mcf              :       0.01          1          0          0          0          0
43.56/43.65	c Pricers            :       Time      Calls       Vars
43.56/43.65	c   problem variables:       0.00          0          0
43.56/43.65	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
43.56/43.65	c   relpscost        :      20.13         27          1        117          0          0          4
43.56/43.65	c   pscost           :       0.00          0          0          0          0          0          0
43.56/43.65	c   inference        :       0.00          0          0          0          0          0          0
43.56/43.65	c   mostinf          :       0.00          0          0          0          0          0          0
43.56/43.65	c   leastinf         :       0.00          0          0          0          0          0          0
43.56/43.65	c   fullstrong       :       0.00          0          0          0          0          0          0
43.56/43.65	c   allfullstrong    :       0.00          0          0          0          0          0          0
43.56/43.65	c   random           :       0.00          0          0          0          0          0          0
43.56/43.65	c Primal Heuristics  :       Time      Calls      Found
43.56/43.65	c   LP solutions     :       0.00          -          1
43.56/43.65	c   pseudo solutions :       0.00          -          0
43.56/43.65	c   coefdiving       :       0.00          0          0
43.56/43.65	c   pscostdiving     :       0.00          0          0
43.56/43.65	c   simplerounding   :       0.00          0          0
43.56/43.65	c   rounding         :       0.13         39          1
43.56/43.65	c   shifting         :       0.04         13          0
43.56/43.65	c   intshifting      :       0.00          0          0
43.56/43.65	c   oneopt           :       0.00          2          0
43.56/43.65	c   fixandinfer      :       0.00          0          0
43.56/43.65	c   feaspump         :       0.41          1          1
43.56/43.65	c   fracdiving       :       0.00          0          0
43.56/43.65	c   veclendiving     :       0.00          0          0
43.56/43.65	c   intdiving        :       0.00          0          0
43.56/43.65	c   actconsdiving    :       0.00          0          0
43.56/43.65	c   objpscostdiving  :       0.00          0          0
43.56/43.65	c   rootsoldiving    :       0.00          0          0
43.56/43.65	c   linesearchdiving :       0.00          0          0
43.56/43.65	c   guideddiving     :       0.00          0          0
43.56/43.65	c   octane           :       0.00          0          0
43.56/43.65	c   rens             :       0.49          1          1
43.56/43.65	c   rins             :       0.00          0          0
43.56/43.65	c   localbranching   :       0.00          0          0
43.56/43.65	c   mutation         :       0.00          0          0
43.56/43.65	c   crossover        :       0.00          0          0
43.56/43.65	c   dins             :       0.00          0          0
43.56/43.65	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
43.56/43.65	c   primal LP        :       0.22          0          0       0.00       0.00
43.56/43.65	c   dual LP          :       2.25         40       4427     110.67    1967.56
43.56/43.65	c   barrier LP       :       0.00          0          0       0.00          -
43.56/43.65	c   diving/probing LP:       0.40          7        519      74.14    1297.50
43.56/43.65	c   strong branching :      20.13        215      40560     188.65    2014.90
43.56/43.65	c     (at root node) :          -         27       7399     274.04          -
43.56/43.65	c   conflict analysis:       0.00          0          0       0.00          -
43.56/43.65	c B&B Tree           :
43.56/43.65	c   number of runs   :          1
43.56/43.65	c   nodes            :          5
43.56/43.65	c   nodes (total)    :          5
43.56/43.65	c   nodes left       :          0
43.56/43.65	c   max depth        :          2
43.56/43.65	c   max depth (total):          2
43.56/43.65	c   backtracks       :          1 (20.0%)
43.56/43.65	c   delayed cutoffs  :          0
43.56/43.65	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
43.56/43.65	c   avg switch length:       2.00
43.56/43.65	c   switching time   :       0.14
43.56/43.65	c Solution           :
43.56/43.65	c   Solutions found  :          4 (4 improvements)
43.56/43.65	c   Primal Bound     : +2.50000000000000e+01   (in run 1, after 4 nodes, 41.99 seconds, depth 2, found by <relaxation>)
43.56/43.65	c   Dual Bound       : +2.50000000000000e+01
43.56/43.65	c   Gap              :       0.00 %
43.56/43.65	c   Root Dual Bound  : +2.35701902889683e+01
43.66/43.70	c Time complete: 43.66.

Verifier Data 

OK	25

Watcher Data 

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

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

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8948
/proc/meminfo: memFree=1888888/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=5812 CPUtime=0
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 185816551 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8948/statm: 1453 513 342 1256 0 192 0

[startup+0.102823 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8948
/proc/meminfo: memFree=1888888/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=16912 CPUtime=0.09
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 3208 0 0 0 8 1 0 0 18 0 1 0 185816551 17317888 3192 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/8948/statm: 4228 3192 378 1256 0 2967 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16912

[startup+0.20184 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8948
/proc/meminfo: memFree=1888888/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=27840 CPUtime=0.19
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 6155 0 0 0 17 2 0 0 18 0 1 0 185816551 28508160 5785 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 6960 5795 411 1256 0 5699 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27840

[startup+0.301859 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8948
/proc/meminfo: memFree=1888888/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=33956 CPUtime=0.29
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 7661 0 0 0 26 3 0 0 19 0 1 0 185816551 34770944 7291 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 8489 7291 474 1256 0 7228 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33956

[startup+0.70193 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8948
/proc/meminfo: memFree=1888888/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=47748 CPUtime=0.69
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 10738 0 0 0 63 6 0 0 22 0 1 0 185816551 48893952 10347 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 11937 10347 636 1256 0 10676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47748

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1840496/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=60536 CPUtime=1.49
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 14090 0 0 0 140 9 0 0 25 0 1 0 185816551 61988864 13698 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 15134 13698 658 1256 0 13873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60536

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1836144/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=62104 CPUtime=3.08
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 14514 0 0 0 299 9 0 0 25 0 1 0 185816551 63594496 14122 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 15526 14122 658 1256 0 14265 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62104

[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824624/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=72016 CPUtime=6.29
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 17044 0 0 0 617 12 0 0 25 0 1 0 185816551 73744384 16619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18004 16619 658 1256 0 16743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72016

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824176/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=73448 CPUtime=12.68
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 17183 0 0 0 1254 14 0 0 25 0 1 0 185816551 75210752 16758 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18362 16758 659 1256 0 17101 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73448

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1823664/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75876 CPUtime=25.48
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 22493 0 0 0 2526 22 0 0 25 0 1 0 185816551 77697024 16899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18969 16899 696 1256 0 17708 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75876

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

[startup+25.6014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1823664/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75876 CPUtime=25.58
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 22519 0 0 0 2536 22 0 0 25 0 1 0 185816551 77697024 16899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18969 16899 696 1256 0 17708 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 75876

[startup+32.0055 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824176/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75600 CPUtime=31.98
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 27404 0 0 0 3173 25 0 0 25 0 1 0 185816551 77414400 16832 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18900 16832 699 1256 0 17639 0
Current children cumulated CPU time (s) 31.98
Current children cumulated vsize (KiB) 75600

[startup+38.4017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824112/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75716 CPUtime=38.37
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 32633 0 0 0 3809 28 0 0 25 0 1 0 185816551 77533184 16871 1992294400 4194304 9342243 548682068736 18446744073709551615 5991269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18929 16871 699 1256 0 17668 0
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (KiB) 75716

[startup+41.6013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824176/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75540 CPUtime=41.56
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 37366 0 0 0 4125 31 0 0 25 0 1 0 185816551 77352960 16902 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18885 16902 699 1256 0 17624 0
Current children cumulated CPU time (s) 41.56
Current children cumulated vsize (KiB) 75540

[startup+42.4014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824072/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75472 CPUtime=42.36
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 39234 0 0 0 4204 32 0 0 25 0 1 0 185816551 77283328 16888 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18868 16888 699 1256 0 17607 0
Current children cumulated CPU time (s) 42.36
Current children cumulated vsize (KiB) 75472

[startup+43.2015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824176/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=76024 CPUtime=43.16
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 39449 0 0 0 4283 33 0 0 25 0 1 0 185816551 77848576 16815 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 19006 16815 699 1256 0 17745 0
Current children cumulated CPU time (s) 43.16
Current children cumulated vsize (KiB) 76024

[startup+43.6016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824176/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=75904 CPUtime=43.56
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 39606 0 0 0 4323 33 0 0 25 0 1 0 185816551 77725696 16930 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8948/statm: 18976 16930 699 1256 0 17715 0
Current children cumulated CPU time (s) 43.56
Current children cumulated vsize (KiB) 75904

[startup+43.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8949
/proc/meminfo: memFree=1824176/2055920 swapFree=4180860/4192956
[pid=8948] ppid=8946 vsize=55440 CPUtime=43.66
/proc/8948/stat : 8948 (pbscip.linux.x8) R 8946 8948 8198 0 -1 4194304 39607 0 0 0 4332 34 0 0 17 0 1 0 185816551 56770560 12917 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/8948/statm: 13860 12917 4242 1256 0 12599 0
Current children cumulated CPU time (s) 43.66
Current children cumulated vsize (KiB) 55440

Child status: 0
Real time (s): 43.7086
CPU time (s): 43.6774
CPU user time (s): 43.3294
CPU system time (s): 0.347947
CPU usage (%): 99.9286
Max. virtual memory (cumulated for all children) (KiB): 92092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.3294
system time used= 0.347947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39610
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= 31
involuntary context switches= 64

runsolver used 0.035994 second user time and 0.108983 second system time

The end

Launcher Data 

Begin job on node12 at 2009-06-16 21:55:59
IDJOB=1869655
IDBENCH=24990
IDSOLVER=684
FILE ID=node12/1869655-1245182159
PBS_JOBID= 9363884
Free space on /tmp= 66236 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869655-1245182159/watcher-1869655-1245182159 -o /tmp/evaluation-result-1869655-1245182159/solver-1869655-1245182159 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869655-1245182159.opb

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

MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4
RANDOM SEED=1913097758

node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1889368 kB
Buffers:         38524 kB
Cached:          78700 kB
SwapCached:       6264 kB
Active:          60660 kB
Inactive:        64924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1889368 kB
SwapTotal:     4192956 kB
SwapFree:      4180860 kB
Dirty:           12052 kB
Writeback:           0 kB
Mapped:          13500 kB
Slab:            27076 kB
Committed_AS:   177280 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66224 MiB
End job on node12 at 2009-06-16 21:56:43