Trace number 3741496

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 NameAnswerobjective functionCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)OPT0 1596.46 1596.72

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-bnatt350.opb
MD5SUM9054782dbdf385ef080d3f3a34a113d2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.177972
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3150
Total number of constraints4923
Number of constraints which are clauses1773
Number of constraints which are cardinality constraints (but not clauses)1377
Number of constraints which are nor clauses,nor cardinality constraints1773
Minimum length of a constraint1
Maximum length of a constraint9
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1099
Number of bits of the biggest number in a constraint 11
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

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741496-1338776089/watcher-3741496-1338776089 -o /tmp/evaluation-result-3741496-1338776089/solver-3741496-1338776089 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741496-1338776089.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.94 1.99 1.98 3/176 3300
/proc/meminfo: memFree=28089292/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=9456 CPUtime=0 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 1495 0 0 0 0 0 0 0 20 0 1 0 343734755 9682944 1450 33554432000 4194304 9016284 140735497525136 140736643139064 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 2364 1451 311 1178 0 1182 0

[startup+0.100922 s]
/proc/loadavg: 1.94 1.99 1.98 3/176 3300
/proc/meminfo: memFree=28089292/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=32704 CPUtime=0.09 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 7220 0 0 0 8 1 0 0 20 0 1 0 343734755 33488896 6918 33554432000 4194304 9016284 140735497525136 140736643139064 4919493 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 8176 6918 516 1178 0 6994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32704

[startup+0.200869 s]
/proc/loadavg: 1.94 1.99 1.98 3/176 3300
/proc/meminfo: memFree=28089292/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=37084 CPUtime=0.19 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 8345 0 0 0 18 1 0 0 20 0 1 0 343734755 37974016 8043 33554432000 4194304 9016284 140735497525136 140735497520808 6469440 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 9271 8043 533 1178 0 8089 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37084

[startup+0.301121 s]
/proc/loadavg: 1.94 1.99 1.98 3/176 3300
/proc/meminfo: memFree=28089292/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=37472 CPUtime=0.29 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 8423 0 0 0 28 1 0 0 20 0 1 0 343734755 38371328 8121 33554432000 4194304 9016284 140735497525136 140735497520808 6817804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 9368 8121 533 1178 0 8186 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37472

[startup+0.701055 s]
/proc/loadavg: 1.94 1.99 1.98 3/176 3300
/proc/meminfo: memFree=28089292/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=37652 CPUtime=0.69 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 8505 0 0 0 68 1 0 0 20 0 1 0 343734755 38555648 8203 33554432000 4194304 9016284 140735497525136 140735497520808 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 9413 8203 538 1178 0 8231 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37652

[startup+1.50016 s]
/proc/loadavg: 1.94 1.99 1.98 3/177 3301
/proc/meminfo: memFree=28045140/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=50572 CPUtime=1.49 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 12206 0 0 0 147 2 0 0 20 0 1 0 343734755 51785728 11626 33554432000 4194304 9016284 140735497525136 140735497516920 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 12643 11626 659 1178 0 11461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50572

[startup+3.10105 s]
/proc/loadavg: 1.94 1.99 1.98 3/177 3301
/proc/meminfo: memFree=28043396/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=50572 CPUtime=3.08 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 12206 0 0 0 306 2 0 0 20 0 1 0 343734755 51785728 11626 33554432000 4194304 9016284 140735497525136 140735497516920 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 12643 11626 659 1178 0 11461 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50572

[startup+6.30023 s]
/proc/loadavg: 1.86 1.98 1.98 3/173 3331
/proc/meminfo: memFree=30084192/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=50572 CPUtime=6.28 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 12244 0 0 0 625 3 0 0 20 0 1 0 343734755 51785728 11661 33554432000 4194304 9016284 140735497525136 140735497516968 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 12643 11661 660 1178 0 11461 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50572

[startup+12.7002 s]
/proc/loadavg: 1.87 1.98 1.98 3/177 3340
/proc/meminfo: memFree=29985600/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83404 CPUtime=12.68 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 21233 0 0 0 1260 8 0 0 20 0 1 0 343734755 85405696 19948 33554432000 4194304 9016284 140735497525136 140735497520248 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20851 19948 703 1178 0 19669 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83404

[startup+25.5005 s]
/proc/loadavg: 1.98 1.99 1.98 3/177 3340
/proc/meminfo: memFree=29981672/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=25.47 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22844 0 0 0 2531 16 0 0 20 0 1 0 343734755 85475328 20069 33554432000 4194304 9016284 140735497525136 140735497519096 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20069 706 1178 0 19686 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 83472

[startup+51.1002 s]
/proc/loadavg: 1.99 1.99 1.98 3/177 3340
/proc/meminfo: memFree=29971820/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=51.07 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22848 0 0 0 5075 32 0 0 20 0 1 0 343734755 85475328 20233 33554432000 4194304 9016284 140735497525136 140735497518888 7081839 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20233 708 1178 0 19686 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83472

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 3340
/proc/meminfo: memFree=29965920/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=102.27 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22849 0 0 0 10160 67 0 0 20 0 1 0 343734755 85475328 20234 33554432000 4194304 9016284 140735497525136 140735497519048 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20234 708 1178 0 19686 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83472

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 3341
/proc/meminfo: memFree=29963068/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=162.25 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22850 0 0 0 16123 102 0 0 20 0 1 0 343734755 85475328 20235 33554432000 4194304 9016284 140735497525136 140735497519096 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20235 709 1178 0 19686 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 83472

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 3341
/proc/meminfo: memFree=29962688/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=222.25 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22850 0 0 0 22087 138 0 0 20 0 1 0 343734755 85475328 20235 33554432000 4194304 9016284 140735497525136 140735497519000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20235 709 1178 0 19686 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 83472

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 3341
/proc/meminfo: memFree=29962812/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=282.24 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22850 0 0 0 28049 175 0 0 20 0 1 0 343734755 85475328 20235 33554432000 4194304 9016284 140735497525136 140735497519192 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20235 709 1178 0 19686 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 83472

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 3344
/proc/meminfo: memFree=29963428/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=342.22 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22850 0 0 0 34015 207 0 0 20 0 1 0 343734755 85475328 20235 33554432000 4194304 9016284 140735497525136 140735497518920 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20235 709 1178 0 19686 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 83472

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 3344
/proc/meminfo: memFree=29963312/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=402.22 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22857 0 0 0 39982 240 0 0 20 0 1 0 343734755 85475328 20242 33554432000 4194304 9016284 140735497525136 140735497519192 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20242 709 1178 0 19686 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 83472

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 3345
/proc/meminfo: memFree=29974488/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=462.21 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22857 0 0 0 45946 275 0 0 20 0 1 0 343734755 85475328 20242 33554432000 4194304 9016284 140735497525136 140735497519048 7180528 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20242 709 1178 0 19686 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 83472

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 3345
/proc/meminfo: memFree=29973116/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=522.2 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22857 0 0 0 51912 308 0 0 20 0 1 0 343734755 85475328 20242 33554432000 4194304 9016284 140735497525136 140735497519000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20242 709 1178 0 19686 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 83472

[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3345
/proc/meminfo: memFree=29969456/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=83472 CPUtime=582.19 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 22857 0 0 0 57875 344 0 0 20 0 1 0 343734755 85475328 20242 33554432000 4194304 9016284 140735497525136 140735497519192 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 20868 20242 709 1178 0 19686 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 83472

[startup+642.3 s]

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

/proc/meminfo: memFree=29959032/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=91604 CPUtime=1002.13 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 24862 0 0 0 99585 628 0 0 20 0 1 0 343734755 93802496 22244 33554432000 4194304 9016284 140735497525136 140735497518056 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 22901 22244 709 1178 0 21719 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 91604

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3351
/proc/meminfo: memFree=29956240/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=93712 CPUtime=1062.11 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 25389 0 0 0 105549 662 0 0 20 0 1 0 343734755 95961088 22770 33554432000 4194304 9016284 140735497525136 140735497518888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 23428 22770 709 1178 0 22246 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 93712

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3351
/proc/meminfo: memFree=29957120/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=94724 CPUtime=1122.11 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 25552 0 0 0 111506 705 0 0 20 0 1 0 343734755 96997376 22933 33554432000 4194304 9016284 140735497525136 140735497517784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 23681 22933 709 1178 0 22499 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 94724

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3352
/proc/meminfo: memFree=29954832/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=95544 CPUtime=1182.1 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 26411 0 0 0 117458 752 0 0 20 0 1 0 343734755 97837056 23228 33554432000 4194304 9016284 140735497525136 140735497519096 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 23886 23228 709 1178 0 22704 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 95544

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3352
/proc/meminfo: memFree=29954668/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=96048 CPUtime=1242.08 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 26537 0 0 0 123414 794 0 0 20 0 1 0 343734755 98353152 23354 33554432000 4194304 9016284 140735497525136 140735497518888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 24012 23354 709 1178 0 22830 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 96048

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3352
/proc/meminfo: memFree=29958768/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=97272 CPUtime=1302.07 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 26844 0 0 0 129375 832 0 0 20 0 1 0 343734755 99606528 23660 33554432000 4194304 9016284 140735497525136 140735497518760 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 24318 23660 709 1178 0 23136 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 97272

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3353
/proc/meminfo: memFree=29958896/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=97868 CPUtime=1362.07 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 26980 0 0 0 135334 873 0 0 20 0 1 0 343734755 100216832 23796 33554432000 4194304 9016284 140735497525136 140735497519304 6863408 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 24467 23796 709 1178 0 23285 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 97868

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3353
/proc/meminfo: memFree=29953560/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=100192 CPUtime=1422.06 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 27507 0 0 0 141298 908 0 0 20 0 1 0 343734755 102596608 24322 33554432000 4194304 9016284 140735497525136 140735497519096 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25048 24322 709 1178 0 23866 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 100192

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3353
/proc/meminfo: memFree=29953684/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=100812 CPUtime=1482.05 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28350 0 0 0 147256 949 0 0 20 0 1 0 343734755 103231488 24515 33554432000 4194304 9016284 140735497525136 140735497518936 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25203 24515 709 1178 0 24021 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 100812

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3356
/proc/meminfo: memFree=29950908/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102140 CPUtime=1542.05 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28714 0 0 0 153213 992 0 0 20 0 1 0 343734755 104591360 24878 33554432000 4194304 9016284 140735497525136 140735497519304 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25535 24878 709 1178 0 24353 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 102140

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

[startup+1561.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3356
/proc/meminfo: memFree=29951560/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102388 CPUtime=1561.34 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28775 0 0 0 155128 1006 0 0 20 0 1 0 343734755 104845312 24939 33554432000 4194304 9016284 140735497525136 140735497518920 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25597 24939 709 1178 0 24415 0
Current children cumulated CPU time (s) 1561.34
Current children cumulated vsize (KiB) 102388

[startup+1574.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3356
/proc/meminfo: memFree=29951444/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102388 CPUtime=1574.14 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28775 0 0 0 156398 1016 0 0 20 0 1 0 343734755 104845312 24939 33554432000 4194304 9016284 140735497525136 140735497519000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25597 24939 709 1178 0 24415 0
Current children cumulated CPU time (s) 1574.14
Current children cumulated vsize (KiB) 102388

[startup+1587.2 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3356
/proc/meminfo: memFree=29951104/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1586.93 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28863 0 0 0 157667 1026 0 0 20 0 1 0 343734755 105205760 25027 33554432000 4194304 9016284 140735497525136 140735497519304 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25027 709 1178 0 24503 0
Current children cumulated CPU time (s) 1586.93
Current children cumulated vsize (KiB) 102740

[startup+1593.6 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3356
/proc/meminfo: memFree=29951104/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1593.33 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28863 0 0 0 158302 1031 0 0 20 0 1 0 343734755 105205760 25027 33554432000 4194304 9016284 140735497525136 140735497519304 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25027 709 1178 0 24503 0
Current children cumulated CPU time (s) 1593.33
Current children cumulated vsize (KiB) 102740

[startup+1595.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3356
/proc/meminfo: memFree=29951228/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1594.93 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28863 0 0 0 158461 1032 0 0 20 0 1 0 343734755 105205760 25027 33554432000 4194304 9016284 140735497525136 140735497519192 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25027 709 1178 0 24503 0
Current children cumulated CPU time (s) 1594.93
Current children cumulated vsize (KiB) 102740

[startup+1596 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3356
/proc/meminfo: memFree=29951228/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1595.73 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28863 0 0 0 158540 1033 0 0 20 0 1 0 343734755 105205760 25027 33554432000 4194304 9016284 140735497525136 140735497519192 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25027 709 1178 0 24503 0
Current children cumulated CPU time (s) 1595.73
Current children cumulated vsize (KiB) 102740

[startup+1596.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3356
/proc/meminfo: memFree=29951228/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1596.13 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28863 0 0 0 158580 1033 0 0 20 0 1 0 343734755 105205760 25027 33554432000 4194304 9016284 140735497525136 140735497519000 6971613 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25027 709 1178 0 24503 0
Current children cumulated CPU time (s) 1596.13
Current children cumulated vsize (KiB) 102740

[startup+1596.6 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3356
/proc/meminfo: memFree=29951228/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1596.33 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28863 0 0 0 158600 1033 0 0 20 0 1 0 343734755 105205760 25027 33554432000 4194304 9016284 140735497525136 140735497519000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25027 709 1178 0 24503 0
Current children cumulated CPU time (s) 1596.33
Current children cumulated vsize (KiB) 102740

[startup+1596.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3356
/proc/meminfo: memFree=29951228/32873648 swapFree=6860/6860
[pid=3300] ppid=3298 vsize=102740 CPUtime=1596.43 cores=0,2,4,6
/proc/3300/stat : 3300 (scip-2.0.1.4b_2) R 3298 3300 22552 0 -1 4202496 28866 0 0 0 158610 1033 0 0 20 0 1 0 343734755 105205760 25030 33554432000 4194304 9016284 140735497525136 140735497519000 6469211 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3300/statm: 25685 25030 712 1178 0 24503 0
Current children cumulated CPU time (s) 1596.43
Current children cumulated vsize (KiB) 102740

Child status: 0
Real time (s): 1596.72
CPU time (s): 1596.46
CPU user time (s): 1586.13
CPU system time (s): 10.3354
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 102740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1586.13
system time used= 10.3354
maximum resident set size= 100120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28871
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= 28
involuntary context switches= 1641

runsolver used 2.79857 second user time and 7.74382 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-04 04:14:49
IDJOB=3741496
IDBENCH=89867
IDSOLVER=2329
FILE ID=node124/3741496-1338776089
RUNJOBID= node124-1338774291-3196
PBS_JOBID= 14636791
Free space on /tmp= 70684 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-bnatt350.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741496-1338776089/watcher-3741496-1338776089 -o /tmp/evaluation-result-3741496-1338776089/solver-3741496-1338776089 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741496-1338776089.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9054782dbdf385ef080d3f3a34a113d2
RANDOM SEED=344360613

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5357.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28089448 kB
Buffers:          243852 kB
Cached:          1720408 kB
SwapCached:         8264 kB
Active:          2543808 kB
Inactive:        1450388 kB
Active(anon):    2024000 kB
Inactive(anon):     8240 kB
Active(file):     519808 kB
Inactive(file):  1442148 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091600 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:       2100424 kB
Mapped:            11064 kB
Shmem:                 0 kB
Slab:             646392 kB
SReclaimable:      90928 kB
SUnreclaim:       555464 kB
KernelStack:        1472 kB
PageTables:         7920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2149912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1910784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70676 MiB
End job on node124 at 2012-06-04 04:41:26