Trace number 1869387

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.2OPT136 174.456 174.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark180.025
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
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 constraint386
Number of terms in the objective function 3098
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 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
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.39/0.45	c SCIP version 1.1.0.7
0.39/0.45	c LP-Solver Clp 1.8.2
0.39/0.45	c user parameter file <scip.set> not found - using default parameters
0.39/0.45	c read problem <HOME/instance-1869387-1245172287.opb>
0.39/0.45	c original problem has 3098 variables (3098 bin, 0 int, 0 impl, 0 cont) and 6012 constraints
0.59/0.61	c start presolving problem
0.59/0.61	c presolving:
0.70/0.76	c (round 1) 26 del vars, 291 del conss, 26 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 24 impls, 0 clqs
1.29/1.33	c (round 2) 26 del vars, 1056 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5531 upgd conss, 24 impls, 0 clqs
1.49/1.59	c (round 3) 31 del vars, 1209 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5531 upgd conss, 24 impls, 0 clqs
1.59/1.60	c (round 4) 34 del vars, 1242 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5531 upgd conss, 24 impls, 0 clqs
1.59/1.62	c (round 5) 36 del vars, 1243 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5556 upgd conss, 24 impls, 0 clqs
1.69/1.74	c (round 6) 36 del vars, 1267 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5569 upgd conss, 24 impls, 0 clqs
1.79/1.81	c    (1.3s) probing: 101/3062 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.79/1.81	c    (1.3s) probing aborted: 100/100 successive totally useless probings
1.79/1.81	c presolving (7 rounds):
1.79/1.81	c  36 deleted vars, 1267 deleted constraints, 26 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
1.79/1.81	c  24 implications, 0 cliques
1.79/1.81	c presolved problem has 3062 variables (3062 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
1.79/1.81	c    4745 constraints of type <logicor>
1.79/1.81	c transformed objective value is always integral (scale: 1)
1.79/1.81	c Presolving Time: 1.16
1.79/1.82	c strange?!, PURESAT with obj
1.79/1.82	c -----------------------------------------------------------------------------------------------
1.79/1.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.82	c limits/memory = c 1620
1.79/1.82	c # maximal time in seconds to run
1.79/1.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.82	c limits/time = c 1791
1.79/1.82	c # frequency for displaying node information lines
1.79/1.82	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.82	c display/freq = c 10000
1.79/1.82	c -----------------------------------------------------------------------------------------------
1.79/1.82	c start solving problem
1.79/1.82	c 
2.29/2.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.29/2.32	c   1.8s|     1 |     0 |  1044 |  36M|   0 | 563 |3062 |4745 |4745 |3062 |4745 |   0 |   0 |   0 | 1.328978e+02 |      --      |    Inf 
2.29/2.35	o 560
2.29/2.35	c R 1.8s|     1 |     0 |  1044 |  36M|   0 | 563 |3062 |4745 |4745 |3062 |4745 |   0 |   0 |   0 | 1.328978e+02 | 5.600000e+02 | 321.38%
3.19/3.28	c   2.7s|     1 |     0 |  1239 |  37M|   0 | 525 |3062 |4745 |4745 |3062 |4751 |   6 |   0 |   0 | 1.339154e+02 | 5.600000e+02 | 318.17%
3.29/3.31	o 546
3.29/3.31	c R 2.7s|     1 |     0 |  1239 |  37M|   0 | 525 |3062 |4745 |4745 |3062 |4751 |   6 |   0 |   0 | 1.339154e+02 | 5.460000e+02 | 307.72%
3.29/3.35	o 545
3.29/3.35	c s 2.8s|     1 |     0 |  1239 |  37M|   0 | 525 |3062 |4745 |4745 |3062 |4751 |   6 |   0 |   0 | 1.339154e+02 | 5.450000e+02 | 306.97%
4.09/4.15	c   3.6s|     1 |     0 |  1644 |  38M|   0 | 298 |3062 |4745 |4745 |3062 |4755 |  10 |   0 |   0 | 1.340982e+02 | 5.450000e+02 | 306.42%
4.09/4.17	o 348
4.09/4.17	c R 3.6s|     1 |     0 |  1644 |  38M|   0 | 298 |3062 |4745 |4745 |3062 |4755 |  10 |   0 |   0 | 1.340982e+02 | 3.480000e+02 | 159.51%
4.09/4.19	o 347
4.09/4.19	c s 3.6s|     1 |     0 |  1644 |  38M|   0 | 298 |3062 |4745 |4745 |3062 |4755 |  10 |   0 |   0 | 1.340982e+02 | 3.470000e+02 | 158.77%
5.49/5.51	c   4.9s|     1 |     0 |  1818 |  38M|   0 | 278 |3062 |4745 |4745 |3062 |4759 |  14 |   0 |   0 | 1.342398e+02 | 3.470000e+02 | 158.49%
5.49/5.53	o 337
5.49/5.53	c R 4.9s|     1 |     0 |  1818 |  38M|   0 | 278 |3062 |4745 |4745 |3062 |4759 |  14 |   0 |   0 | 1.342398e+02 | 3.370000e+02 | 151.04%
5.49/5.54	o 336
5.49/5.54	c s 4.9s|     1 |     0 |  1818 |  38M|   0 | 278 |3062 |4745 |4745 |3062 |4759 |  14 |   0 |   0 | 1.342398e+02 | 3.360000e+02 | 150.30%
6.99/7.03	c   6.4s|     1 |     0 |  1969 |  38M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |   0 | 1.342414e+02 | 3.360000e+02 | 150.30%
6.99/7.05	o 335
6.99/7.05	c R 6.4s|     1 |     0 |  1969 |  38M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |   0 | 1.342414e+02 | 3.350000e+02 | 149.55%
6.99/7.06	o 334
6.99/7.06	c s 6.4s|     1 |     0 |  1969 |  38M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |   0 | 1.342414e+02 | 3.340000e+02 | 148.81%
8.29/8.38	o 142
8.29/8.38	c k 7.8s|     1 |     0 |  1969 |  39M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |   0 | 1.342414e+02 | 1.420000e+02 |   5.78%
10.49/10.54	o 137
10.49/10.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.49/10.54	c E 9.8s|     1 |     0 |  1969 |  39M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |   0 | 1.342414e+02 | 1.370000e+02 |   2.05%
10.49/10.56	c   9.9s|     1 |     0 |  1969 |  39M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |   0 | 1.342414e+02 | 1.370000e+02 |   2.05%
16.29/16.30	c  15.6s|     1 |     2 |  1969 |  39M|   0 | 276 |3062 |4745 |4745 |3062 |4764 |  19 |   0 |  55 | 1.342414e+02 | 1.370000e+02 |   2.05%
155.34/155.45	o 136
155.34/155.45	c R 155s|   410 |    17 | 42086 |  40M|  28 |   - |3062 |4745 |4213 |3062 |4758 |  19 |   0 | 933 | 1.347518e+02 | 1.360000e+02 |   0.93%
174.23/174.35	c 
174.23/174.35	c SCIP Status        : problem is solved [optimal solution found]
174.23/174.35	c Solving Time (sec) : 173.38
174.23/174.35	c Solving Nodes      : 523
174.23/174.35	c Primal Bound       : +1.36000000000000e+02 (14 solutions)
174.23/174.35	c Dual Bound         : +1.36000000000000e+02
174.23/174.35	c Gap                : 0.00 %
174.23/174.39	c NODE         523
174.23/174.39	c DUAL BOUND   136
174.23/174.39	c PRIMAL BOUND 136
174.23/174.39	c GAP          0
174.23/174.39	s OPTIMUM FOUND
174.23/174.39	v x3098 -x3097 -x3096 -x3095 x3094 -x3093 -x3092 -x3091 x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 
174.23/174.39	v -x3079 -x3078 -x3077 -x3076 -x3075 x3074 -x3073 -x3072 -x3071 -x3070 -x3069 x3068 -x3067 x3066 -x3065 -x3064 -x3063 -x3062 
174.23/174.39	v -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 
174.23/174.39	v -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 
174.23/174.39	v -x3025 -x3024 -x3023 -x3022 x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 x3013 -x3012 -x3011 -x3010 -x3009 -x3008 
174.23/174.39	v -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 x3000 -x2999 x2998 -x2997 -x2996 -x2995 -x2994 -x2993 x2992 -x2991 -x2990 -x2989 
174.23/174.39	v -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 
174.23/174.39	v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 
174.23/174.39	v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 
174.23/174.39	v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 
174.23/174.39	v x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 
174.23/174.39	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 
174.23/174.39	v -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 x2866 -x2865 -x2864 -x2863 
174.23/174.39	v -x2862 x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
174.23/174.39	v x2844 -x2843 x2842 -x2841 -x2840 x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
174.23/174.39	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
174.23/174.39	v -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
174.23/174.39	v -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 
174.23/174.39	v -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
174.23/174.39	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 
174.23/174.39	v -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 
174.23/174.39	v -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 
174.23/174.39	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 x2686 -x2685 x2684 -x2683 
174.23/174.39	v x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
174.23/174.39	v -x2664 -x2663 -x2662 x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
174.23/174.39	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 
174.23/174.39	v -x2629 -x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 
174.23/174.39	v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 
174.23/174.39	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
174.23/174.39	v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 
174.23/174.39	v -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
174.23/174.39	v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 x2523 -x2522 
174.23/174.39	v x2521 -x2520 x2519 -x2518 x2517 -x2516 x2515 -x2514 x2513 -x2512 x2511 -x2510 x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 
174.23/174.39	v -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 
174.23/174.39	v -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 
174.23/174.39	v -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 
174.23/174.39	v -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 
174.23/174.39	v -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 
174.23/174.39	v -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 
174.23/174.39	v -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 
174.23/174.39	v -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 
174.23/174.39	v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
174.23/174.39	v x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 
174.23/174.39	v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 
174.23/174.39	v -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 x2291 -x2290 -x2289 
174.23/174.39	v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 
174.23/174.39	v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 x2253 
174.23/174.39	v x2252 x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 
174.23/174.39	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 
174.23/174.39	v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 
174.23/174.39	v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 
174.23/174.39	v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
174.23/174.39	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
174.23/174.39	v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
174.23/174.39	v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 
174.23/174.39	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 
174.23/174.39	v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
174.23/174.39	v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 
174.23/174.39	v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
174.23/174.39	v x2037 -x2036 x2035 -x2034 x2033 -x2032 -x2031 -x2030 x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 
174.23/174.39	v -x2018 -x2017 -x2016 x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 x2003 -x2002 x2001 
174.23/174.39	v -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 
174.23/174.39	v -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 
174.23/174.39	v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
174.23/174.39	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
174.23/174.39	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 
174.23/174.39	v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
174.23/174.39	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
174.23/174.39	v -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 
174.23/174.39	v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
174.23/174.39	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
174.23/174.39	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
174.23/174.39	v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
174.23/174.39	v -x1785 -x1784 -x1783 -x1782 -x1781 x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 
174.23/174.39	v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 
174.23/174.39	v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 
174.23/174.39	v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 
174.23/174.39	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
174.23/174.39	v -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
174.23/174.39	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 
174.23/174.39	v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 
174.23/174.39	v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 
174.23/174.39	v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 
174.23/174.39	v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 
174.23/174.39	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 
174.23/174.39	v -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 
174.23/174.39	v -x1553 x1552 -x1551 -x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 
174.23/174.39	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 
174.23/174.39	v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 
174.23/174.39	v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 
174.23/174.39	v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 
174.23/174.39	v -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 
174.23/174.39	v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 x1436 -x1435 x1434 -x1433 -x1432 -x1431 x1430 x1429 -x1428 -x1427 
174.23/174.39	v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 
174.23/174.39	v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 
174.23/174.39	v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 
174.23/174.39	v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 
174.23/174.39	v -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 
174.23/174.39	v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 
174.23/174.39	v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 
174.23/174.39	v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 
174.23/174.39	v -x1283 -x1282 -x1281 -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
174.23/174.39	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 
174.23/174.39	v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 
174.23/174.39	v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 
174.23/174.39	v -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 
174.23/174.39	v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 
174.23/174.39	v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 x1163 -x1162 x1161 -x1160 x1159 -x1158 
174.23/174.39	v x1157 -x1156 x1155 -x1154 x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 
174.23/174.39	v -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 
174.23/174.39	v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 
174.23/174.39	v x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 
174.23/174.39	v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
174.23/174.39	v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 
174.23/174.39	v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 
174.23/174.39	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 
174.23/174.39	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 
174.23/174.39	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 
174.23/174.39	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 
174.23/174.39	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 
174.23/174.39	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 
174.23/174.39	v x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 
174.23/174.39	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 
174.23/174.39	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 
174.23/174.39	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
174.23/174.39	v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
174.23/174.39	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 
174.23/174.39	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 
174.23/174.39	v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 
174.23/174.39	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 
174.23/174.39	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 
174.23/174.39	v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 
174.23/174.39	v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 
174.23/174.39	v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 
174.23/174.39	v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 
174.23/174.39	v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 
174.23/174.39	v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 
174.23/174.39	v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 
174.23/174.39	v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 
174.23/174.39	v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 
174.23/174.39	v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
174.23/174.39	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
174.23/174.39	v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
174.23/174.39	v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 
174.23/174.39	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 
174.23/174.39	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
174.23/174.39	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
174.23/174.39	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 
174.23/174.39	v -x348 x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 
174.23/174.39	v x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 
174.23/174.39	v -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 
174.23/174.39	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
174.23/174.39	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
174.23/174.39	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 
174.23/174.39	v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 
174.23/174.39	v -x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
174.23/174.39	v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 x160 -x159 
174.23/174.39	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 
174.23/174.39	v -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 
174.23/174.39	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 
174.23/174.39	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 
174.23/174.39	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 x49 -x48 x47 x46 x45 x44 x43 
174.23/174.39	v x42 x41 x40 -x39 x38 x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 
174.23/174.39	v x15 x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
174.23/174.39	c SCIP Status        : problem is solved [optimal solution found]
174.23/174.39	c Solving Time       :     173.38
174.23/174.39	c Original Problem   :
174.23/174.39	c   Problem name     : HOME/instance-1869387-1245172287.opb
174.23/174.39	c   Variables        : 3098 (3098 binary, 0 integer, 0 implicit integer, 0 continuous)
174.23/174.39	c   Constraints      : 6012 initial, 6012 maximal
174.23/174.39	c Presolved Problem  :
174.23/174.39	c   Problem name     : t_HOME/instance-1869387-1245172287.opb
174.23/174.39	c   Variables        : 3062 (3062 binary, 0 integer, 0 implicit integer, 0 continuous)
174.23/174.39	c   Constraints      : 4745 initial, 4745 maximal
174.23/174.39	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
174.23/174.39	c   trivial          :       0.00          0          0          0          0          0          0          0          0
174.23/174.39	c   dualfix          :       0.00          6          0          0          0          0          0          0          0
174.23/174.39	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
174.23/174.39	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
174.23/174.39	c   implics          :       0.00          0          0          0          0          0          0          0          0
174.23/174.39	c   probing          :       0.03          0          0          0          0          0          0          0          0
174.23/174.39	c   linear           :       0.29         26          4          0         26          0        443          9          0
174.23/174.39	c   logicor          :       0.78          0          0          0          0          0        824          0          0
174.23/174.39	c   root node        :          -        539          -          -        539          -          -          -          -
174.23/174.39	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
174.23/174.39	c   integral         :          0          0          0        396          0         10        255          0          0        650
174.23/174.39	c   logicor          :       4745          5        693          0          0          1       1647          0          0          0
174.23/174.39	c   countsols        :          0          0          0          0          0          0          0          0          0          0
174.23/174.39	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
174.23/174.39	c   integral         :      90.94       0.00       0.00      90.94       0.00
174.23/174.39	c   logicor          :       0.14       0.00       0.14       0.00       0.00
174.23/174.39	c   countsols        :       0.00       0.00       0.00       0.00       0.00
174.23/174.39	c Propagators        :       Time      Calls    Cutoffs    DomReds
174.23/174.39	c   rootredcost      :       0.03          1          0        513
174.23/174.39	c   pseudoobj        :       0.54       2116          0          0
174.23/174.39	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
174.23/174.39	c   propagation      :       0.00          1          0          0        0.0          0        0.0          -
174.23/174.39	c   infeasible LP    :       0.26        305          0          0        0.0          0        0.0          0
174.23/174.39	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
174.23/174.39	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
174.23/174.39	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
174.23/174.39	c   applied globally :          -          -          -          0        0.0          -          -          -
174.23/174.39	c   applied locally  :          -          -          -          0        0.0          -          -          -
174.23/174.39	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
174.23/174.39	c   cut pool         :       0.00          4          -          -          4          -    (maximal pool size: 178)
174.23/174.39	c   redcost          :       0.24        484          0      62380          0          0
174.23/174.39	c   impliedbounds    :       0.01          6          0          0          0          0
174.23/174.39	c   intobj           :       0.00          0          0          0          0          0
174.23/174.39	c   gomory           :       2.91          6          0          0       2000          0
174.23/174.39	c   strongcg         :       2.38          6          0          0       2000          0
174.23/174.39	c   cmir             :       0.40          6          0          0          1          0
174.23/174.39	c   flowcover        :       0.51          6          0          0          1          0
174.23/174.39	c   clique           :       0.00          1          0          0          0          0
174.23/174.39	c   zerohalf         :       0.00          0          0          0          0          0
174.23/174.39	c   mcf              :       0.04          1          0          0          0          0
174.23/174.39	c Pricers            :       Time      Calls       Vars
174.23/174.39	c   problem variables:       0.00          0          0
174.23/174.39	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
174.23/174.39	c   relpscost        :      90.94        396         10        255          0          0        650
174.23/174.39	c   pscost           :       0.00          0          0          0          0          0          0
174.23/174.39	c   inference        :       0.00          0          0          0          0          0          0
174.23/174.39	c   mostinf          :       0.00          0          0          0          0          0          0
174.23/174.39	c   leastinf         :       0.00          0          0          0          0          0          0
174.23/174.39	c   fullstrong       :       0.00          0          0          0          0          0          0
174.23/174.39	c   allfullstrong    :       0.00          0          0          0          0          0          0
174.23/174.39	c   random           :       0.00          0          0          0          0          0          0
174.23/174.39	c Primal Heuristics  :       Time      Calls      Found
174.23/174.39	c   LP solutions     :       0.00          -          0
174.23/174.39	c   pseudo solutions :       0.00          -          0
174.23/174.39	c   oneopt           :       0.03          2          1
174.23/174.39	c   guideddiving     :       6.67          1          0
174.23/174.39	c   coefdiving       :       9.58          1          0
174.23/174.39	c   objpscostdiving  :       0.83          1          0
174.23/174.39	c   rootsoldiving    :       1.01          1          1
174.23/174.39	c   pscostdiving     :      11.78          2          0
174.23/174.39	c   fracdiving       :       8.98          2          0
174.23/174.39	c   linesearchdiving :       0.52          2          0
174.23/174.39	c   veclendiving     :       0.88          2          0
174.23/174.39	c   crossover        :       0.28          1          0
174.23/174.39	c   simplerounding   :       0.00        399          0
174.23/174.39	c   rounding         :       0.81        401          6
174.23/174.39	c   shifting         :       0.23         38          5
174.23/174.39	c   intshifting      :       0.00          0          0
174.23/174.39	c   fixandinfer      :       0.00          0          0
174.23/174.39	c   feaspump         :       0.00          0          0
174.23/174.39	c   intdiving        :       0.00          0          0
174.23/174.39	c   actconsdiving    :       0.00          0          0
174.23/174.39	c   octane           :       0.00          0          0
174.23/174.39	c   rens             :       2.11          1          1
174.23/174.39	c   rins             :       0.00          0          0
174.23/174.39	c   localbranching   :       0.00          0          0
174.23/174.39	c   mutation         :       0.00          0          0
174.23/174.39	c   dins             :       0.00          0          0
174.23/174.39	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
174.23/174.39	c   primal LP        :       0.40          0          0       0.00       0.00
174.23/174.39	c   dual LP          :      28.24        587      27904      47.54     988.10
174.23/174.39	c   barrier LP       :       0.00          0          0       0.00          -
174.23/174.39	c   diving/probing LP:      37.77       1241      24122      19.44     638.66
174.23/174.39	c   strong branching :      90.89        967     120873     125.00    1329.88
174.23/174.39	c     (at root node) :          -         55       7092     128.95          -
174.23/174.39	c   conflict analysis:       0.00          0          0       0.00          -
174.23/174.39	c B&B Tree           :
174.23/174.39	c   number of runs   :          1
174.23/174.39	c   nodes            :        523
174.23/174.39	c   nodes (total)    :        523
174.23/174.39	c   nodes left       :          0
174.23/174.39	c   max depth        :         28
174.23/174.39	c   max depth (total):         28
174.23/174.39	c   backtracks       :         54 (10.3%)
174.23/174.39	c   delayed cutoffs  :          0
174.23/174.39	c   repropagations   :         47 (25 domain reductions, 0 cutoffs)
174.23/174.39	c   avg switch length:       2.79
174.23/174.39	c   switching time   :       0.57
174.23/174.39	c Solution           :
174.23/174.39	c   Solutions found  :         14 (12 improvements)
174.23/174.39	c   Primal Bound     : +1.36000000000000e+02   (in run 1, after 410 nodes, 154.49 seconds, depth 14, found by <rounding>)
174.23/174.39	c   Dual Bound       : +1.36000000000000e+02
174.23/174.39	c   Gap              :       0.00 %
174.23/174.39	c   Root Dual Bound  : +1.34241351355918e+02
174.43/174.51	c Time complete: 174.44.

Verifier Data 

OK	136

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869387-1245172287/watcher-1869387-1245172287 -o /tmp/evaluation-result-1869387-1245172287/solver-1869387-1245172287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869387-1245172287.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 3147
/proc/meminfo: memFree=1907944/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=5812 CPUtime=0
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 184828857 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3147/statm: 1453 502 332 1256 0 192 0

[startup+0.0581979 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3147
/proc/meminfo: memFree=1907944/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=13168 CPUtime=0.05
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 2298 0 0 0 4 1 0 0 18 0 1 0 184828857 13484032 2282 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3147/statm: 3292 2282 378 1256 0 2031 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13168

[startup+0.101201 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3147
/proc/meminfo: memFree=1907944/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=13996 CPUtime=0.09
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 2481 0 0 0 8 1 0 0 18 0 1 0 184828857 14331904 2465 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3147/statm: 3499 2465 378 1256 0 2238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13996

[startup+0.30122 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3147
/proc/meminfo: memFree=1907944/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=17756 CPUtime=0.29
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 3431 0 0 0 28 1 0 0 19 0 1 0 184828857 18182144 3415 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3147/statm: 4439 3415 378 1256 0 3178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17756

[startup+0.701259 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3147
/proc/meminfo: memFree=1907944/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=58944 CPUtime=0.7
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 13893 0 0 0 64 6 0 0 22 0 1 0 184828857 60358656 13523 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 14736 13523 469 1256 0 13475 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 58944

[startup+1.50234 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1846880/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=67656 CPUtime=1.49
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 16081 0 0 0 141 8 0 0 25 0 1 0 184828857 69279744 15711 1992294400 4194304 9342243 548682068736 18446744073709551615 5112143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 16914 15711 480 1256 0 15653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67656

[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1818336/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=115748 CPUtime=3.09
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 28784 0 0 0 295 14 0 0 25 0 1 0 184828857 118525952 26654 1992294400 4194304 9342243 548682068736 18446744073709551615 6086996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 28937 26654 654 1256 0 27676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115748

[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1787552/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=132940 CPUtime=6.29
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 35679 0 0 0 611 18 0 0 25 0 1 0 184828857 136130560 31659 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 33235 31659 655 1256 0 31974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132940

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1731424/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=186876 CPUtime=12.69
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 50162 0 0 0 1242 27 0 0 25 0 1 0 184828857 191361024 44664 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46719 44664 696 1256 0 45458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 186876

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1731424/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=186876 CPUtime=25.49
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 50208 0 0 0 2521 28 0 0 25 0 1 0 184828857 191361024 44710 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46719 44710 696 1256 0 45458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 186876

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1731040/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=186876 CPUtime=51.06
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 50295 0 0 0 5074 32 0 0 25 0 1 0 184828857 191361024 44797 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46719 44797 699 1256 0 45458 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 186876

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1730208/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=186876 CPUtime=102.25
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 50511 0 0 0 10186 39 0 0 25 0 1 0 184828857 191361024 45013 1992294400 4194304 9342243 548682068736 18446744073709551615 5990792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46719 45013 702 1256 0 45458 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 186876

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=187916 CPUtime=162.23
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51173 0 0 0 16177 46 0 0 25 0 1 0 184828857 192425984 45675 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46979 45675 702 1256 0 45718 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 187916

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=187916 CPUtime=166.23
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51173 0 0 0 16576 47 0 0 25 0 1 0 184828857 192425984 45675 1992294400 4194304 9342243 548682068736 18446744073709551615 6039489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46979 45675 702 1256 0 45718 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 187916

[startup+169.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=187916 CPUtime=169.43
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51173 0 0 0 16896 47 0 0 25 0 1 0 184828857 192425984 45675 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46979 45675 702 1256 0 45718 0
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (KiB) 187916

[startup+172.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=187916 CPUtime=172.63
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51173 0 0 0 17216 47 0 0 25 0 1 0 184828857 192425984 45675 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46979 45675 702 1256 0 45718 0
Current children cumulated CPU time (s) 172.63
Current children cumulated vsize (KiB) 187916

[startup+173.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=187916 CPUtime=173.42
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51173 0 0 0 17295 47 0 0 25 0 1 0 184828857 192425984 45675 1992294400 4194304 9342243 548682068736 18446744073709551615 6018122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46979 45675 702 1256 0 45718 0
Current children cumulated CPU time (s) 173.42
Current children cumulated vsize (KiB) 187916

[startup+174.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=187916 CPUtime=174.23
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51173 0 0 0 17375 48 0 0 25 0 1 0 184828857 192425984 45675 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3147/statm: 46979 45675 702 1256 0 45718 0
Current children cumulated CPU time (s) 174.23
Current children cumulated vsize (KiB) 187916

[startup+174.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3148
/proc/meminfo: memFree=1727584/2055920 swapFree=4181652/4192956
[pid=3147] ppid=3145 vsize=108520 CPUtime=174.43
/proc/3147/stat : 3147 (pbscip.linux.x8) R 3145 3147 2588 0 -1 4194304 51174 0 0 0 17394 49 0 0 17 0 1 0 184828857 111124480 26079 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/3147/statm: 27130 26079 1126 1256 0 25869 0
Current children cumulated CPU time (s) 174.43
Current children cumulated vsize (KiB) 108520

Child status: 0
Real time (s): 174.52
CPU time (s): 174.456
CPU user time (s): 173.948
CPU system time (s): 0.508922
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 188796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.948
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51177
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= 26
involuntary context switches= 209

runsolver used 0.149977 second user time and 0.410937 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-16 19:11:27
IDJOB=1869387
IDBENCH=2848
IDSOLVER=684
FILE ID=node18/1869387-1245172287
PBS_JOBID= 9363849
Free space on /tmp= 66172 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.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-1869387-1245172287/watcher-1869387-1245172287 -o /tmp/evaluation-result-1869387-1245172287/solver-1869387-1245172287 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869387-1245172287.opb

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=120193053

node18.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.236
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.236
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:       1908360 kB
Buffers:         33076 kB
Cached:          69980 kB
SwapCached:       5540 kB
Active:          58560 kB
Inactive:        52360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1908360 kB
SwapTotal:     4192956 kB
SwapFree:      4181652 kB
Dirty:           14056 kB
Writeback:           0 kB
Mapped:          12940 kB
Slab:            22616 kB
Committed_AS:   149944 kB
PageTables:       1376 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= 66160 MiB
End job on node18 at 2009-06-16 19:14:22