Trace number 2692328

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.44 1800.36

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
MD5SUM0513f373de819ad63cf76545ce499638
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.029994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2913
Total number of constraints3105
Number of soft constraints2088
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 104380
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 104379
Biggest number in a constraint 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692328-1277912993.wbo>
0.00/0.05	c original problem has 7089 variables (5001 bin, 0 int, 0 impl, 2088 cont) and 5194 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.00/0.08	c presolving:
0.09/0.10	c (round 1) 7 del vars, 1 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.10	c (round 2) 7 del vars, 15 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.11	c (round 3) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.14	c (round 4) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 1003 upgd conss, 3764 impls, 0 clqs
0.09/0.16	c (round 5) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 1004 upgd conss, 3889 impls, 0 clqs
0.19/0.22	c    (0.1s) probing: 102/4994 (2.0%) - 0 fixings, 0 aggregations, 2 implications, 0 bound changes
0.19/0.22	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22	c presolving (6 rounds):
0.19/0.22	c  7 deleted vars, 15 deleted constraints, 2088 tightened bounds, 0 added holes, 514 changed sides, 1028 changed coefficients
0.19/0.22	c  3904 implications, 0 cliques
0.19/0.22	c presolved problem has 7082 variables (4994 bin, 0 int, 0 impl, 2088 cont) and 5179 constraints
0.19/0.22	c    2088 constraints of type <indicator>
0.19/0.22	c       1 constraints of type <varbound>
0.19/0.22	c     280 constraints of type <knapsack>
0.19/0.22	c    2087 constraints of type <linear>
0.19/0.22	c     723 constraints of type <logicor>
0.19/0.22	c transformed objective value is always integral (scale: 1)
0.19/0.22	c Presolving Time: 0.13
0.19/0.22	c - non default parameters ----------------------------------------------------------------------
0.19/0.22	c # SCIP version 1.2.1.2
0.19/0.22	c 
0.19/0.22	c # frequency for displaying node information lines
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22	c display/freq = 10000
0.19/0.22	c 
0.19/0.22	c # maximal time in seconds to run
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/time = 1799.96
0.19/0.22	c 
0.19/0.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/memory = 3420
0.19/0.22	c 
0.19/0.22	c # should presolving try to simplify inequalities
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/linear/simplifyinequalities = TRUE
0.19/0.22	c 
0.19/0.22	c # should presolving try to simplify knapsacks
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22	c 
0.19/0.22	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c separating/rapidlearning/freq = 0
0.19/0.22	c 
0.19/0.22	c -----------------------------------------------------------------------------------------------
0.19/0.22	c start solving
0.19/0.22	c 
0.19/0.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.24	c   0.2s|     1 |     0 |   139 |     - |  24M|   0 | 117 |7082 |5179 |7082 |1003 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.47	c   0.4s|     1 |     0 |   834 |     - |  24M|   0 | 278 |7082 |5179 |7082 |1271 | 268 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.76	c   0.7s|     1 |     0 |  1282 |     - |  25M|   0 | 473 |7082 |5179 |7082 |1600 | 597 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.18	c   1.1s|     1 |     0 |  1905 |     - |  25M|   0 | 602 |7082 |5179 |7082 |1910 | 907 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.89/1.90	c   1.8s|     1 |     0 |  3099 |     - |  26M|   0 | 712 |7082 |5179 |7082 |2135 |1132 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.79/2.86	c   2.8s|     1 |     0 |  4465 |     - |  26M|   0 | 744 |7082 |5179 |7082 |2332 |1329 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.09/4.12	c   4.0s|     1 |     0 |  6591 |     - |  27M|   0 | 795 |7082 |5179 |7082 |2565 |1562 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.89/4.95	c   4.8s|     1 |     2 |  6591 |     - |  27M|   0 | 795 |7082 |5179 |7082 |2565 |1562 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
45.49/45.50	o 104379
45.49/45.50	c y44.8s|    21 |    20 | 49063 |2123.6 |  27M|  19 |   - |7082 |5204 |   0 |   0 |1562 |  25 | 376 | 0.000000e+00 | 1.043790e+05 |    Inf 
229.20/229.29	c   227s| 10000 |  9995 |483263 |  47.7 |  64M| 469 | 249 |7082 |5333 |7082 |2074 |1562 | 157 |2786 | 0.000000e+00 | 1.043790e+05 |    Inf 
296.00/296.05	c   292s| 20000 | 19988 |596167 |  29.5 |  91M| 469 | 300 |7082 |5332 |7082 |2074 |1562 | 165 |4106 | 0.000000e+00 | 1.043790e+05 |    Inf 
437.40/437.49	c   430s| 30000 | 29972 |982436 |  32.5 | 118M| 469 |  80 |7082 |5331 |7082 |2074 |1562 | 191 |7843 | 0.000000e+00 | 1.043790e+05 |    Inf 
523.51/523.55	c   514s| 40000 | 39968 |  1122k|  27.9 | 145M| 469 | 244 |7082 |5319 |7082 |2074 |1562 | 201 |8723 | 0.000000e+00 | 1.043790e+05 |    Inf 
601.01/601.00	c   590s| 50000 | 49968 |  1224k|  24.4 | 173M| 469 | 182 |7082 |5313 |7082 |2074 |1562 | 205 |8957 | 0.000000e+00 | 1.043790e+05 |    Inf 
687.71/687.77	c   674s| 60000 | 59968 |  1348k|  22.4 | 200M| 469 | 104 |7082 |5303 |7082 |2074 |1562 | 206 |9799 | 0.000000e+00 | 1.043790e+05 |    Inf 
770.82/770.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
770.82/770.88	c   756s| 70000 | 69966 |  1464k|  20.8 | 227M| 471 |  84 |7082 |5305 |7082 |2074 |1562 | 213 |  10k| 0.000000e+00 | 1.043790e+05 |    Inf 
847.03/847.03	c   830s| 80000 | 79966 |  1549k|  19.3 | 254M| 471 |  59 |7082 |5299 |7082 |2074 |1562 | 213 |  10k| 0.000000e+00 | 1.043790e+05 |    Inf 
919.43/919.50	c   901s| 90000 | 89966 |  1629k|  18.0 | 281M| 471 | 219 |7082 |5296 |7082 |2074 |1562 | 213 |  10k| 0.000000e+00 | 1.043790e+05 |    Inf 
991.04/991.10	c   971s|100000 | 99966 |  1707k|  17.0 | 308M| 471 | 184 |7082 |5292 |7082 |2074 |1562 | 213 |  10k| 0.000000e+00 | 1.043790e+05 |    Inf 
1061.13/1061.19	c  1040s|110000 |109966 |  1784k|  16.2 | 336M| 471 | 138 |7082 |5291 |7082 |2074 |1562 | 213 |  11k| 0.000000e+00 | 1.043790e+05 |    Inf 
1127.93/1127.93	c  1105s|120000 |119966 |  1857k|  15.4 | 363M| 471 | 124 |7082 |5291 |7082 |2074 |1562 | 213 |  11k| 0.000000e+00 | 1.043790e+05 |    Inf 
1194.65/1194.68	c  1171s|130000 |129966 |  1931k|  14.8 | 390M| 471 | 106 |7082 |5290 |7082 |2074 |1562 | 213 |  12k| 0.000000e+00 | 1.043790e+05 |    Inf 
1277.94/1277.98	c  1252s|140000 |139966 |  2056k|  14.6 | 417M| 471 |  79 |7082 |5292 |7082 |2074 |1562 | 217 |  13k| 0.000000e+00 | 1.043790e+05 |    Inf 
1350.45/1350.45	c  1323s|150000 |149966 |  2138k|  14.2 | 444M| 471 |  62 |7082 |5292 |7082 |2074 |1562 | 217 |  13k| 0.000000e+00 | 1.043790e+05 |    Inf 
1419.55/1419.53	c  1391s|160000 |159966 |  2216k|  13.8 | 471M| 471 | 241 |7082 |5290 |7082 |2074 |1562 | 217 |  13k| 0.000000e+00 | 1.043790e+05 |    Inf 
1487.35/1487.37	c  1458s|170000 |169966 |  2294k|  13.5 | 498M| 471 | 206 |7082 |5291 |7082 |2074 |1562 | 218 |  14k| 0.000000e+00 | 1.043790e+05 |    Inf 
1565.26/1565.22	c  1534s|180000 |179966 |  2393k|  13.3 | 525M| 471 | 167 |7082 |5288 |7082 |2074 |1562 | 218 |  15k| 0.000000e+00 | 1.043790e+05 |    Inf 
1660.36/1660.37	c  1627s|190000 |189958 |  2554k|  13.4 | 552M| 479 | 237 |7082 |5296 |7082 |2074 |1562 | 235 |  16k| 0.000000e+00 | 1.043790e+05 |    Inf 
1752.87/1752.80	c  1717s|200000 |199956 |  2695k|  13.4 | 579M| 479 | 115 |7082 |5294 |7082 |2074 |1562 | 236 |  17k| 0.000000e+00 | 1.043790e+05 |    Inf 
1800.07/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.01	c 
1800.07/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.01	c Solving Time (sec) : 1763.38
1800.07/1800.01	c Solving Nodes      : 205280
1800.07/1800.01	c Primal Bound       : +1.04379000000000e+05 (100 solutions)
1800.07/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.01	c Gap                : infinite
1800.07/1800.10	s SATISFIABLE
1800.07/1800.10	v -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 x2907 -x2906 x2905 -x2904 x2903 -x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
1800.07/1800.10	v -x2894 -x2893 -x2892 -x2891 -x2890 x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 x2877 
1800.07/1800.10	v x2876 -x2875 -x2874 x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 
1800.07/1800.10	v x2857 -x2856 -x2855 -x2854 x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 
1800.07/1800.10	v -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 
1800.07/1800.10	v -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 x2805 -x2804 
1800.07/1800.10	v -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 
1800.07/1800.10	v -x2785 -x2784 -x2783 -x2782 x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 
1800.07/1800.10	v -x2767 -x2766 -x2765 -x2764 -x2763 x2762 x2761 -x2760 -x2759 x2758 -x2757 x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 
1800.07/1800.10	v -x2749 -x2748 -x2747 x2746 x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 x2734 x2733 x2732 x2731 
1800.07/1800.10	v x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 
1800.07/1800.10	v x2712 -x2711 x2710 x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 x2697 x2696 x2695 
1800.07/1800.10	v x2694 x2693 x2692 x2691 x2690 x2689 x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 
1800.07/1800.10	v -x2675 x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 x2658 x2657 
1800.07/1800.10	v -x2656 -x2655 -x2654 -x2653 x2652 -x2651 x2650 -x2649 x2648 x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 x2640 -x2639 
1800.07/1800.10	v x2638 -x2637 x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 
1800.07/1800.10	v -x2619 -x2618 -x2617 -x2616 -x2615 x2614 -x2613 x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 x2602 
1800.07/1800.10	v -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 
1800.07/1800.10	v -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 
1800.07/1800.10	v x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 x2556 -x2555 x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 
1800.07/1800.10	v -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 
1800.07/1800.10	v x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 x2512 
1800.07/1800.10	v -x2511 -x2510 -x2509 x2508 -x2507 x2506 x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 x2498 x2497 -x2496 -x2495 x2494 -x2493 
1800.07/1800.10	v x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 
1800.07/1800.10	v -x2474 -x2473 -x2472 -x2471 x2470 x2469 x2468 x2467 x2466 x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 x2457 -x2456 
1800.07/1800.10	v -x2455 -x2454 x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
1800.07/1800.10	v -x2436 -x2435 x2434 x2433 x2432 -x2431 x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423 x2422 -x2421 -x2420 -x2419 
1800.07/1800.10	v -x2418 x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 
1800.07/1800.10	v -x2400 x2399 x2398 x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
1800.07/1800.10	v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 x2375 x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 
1800.07/1800.10	v -x2363 x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 x2351 x2350 x2349 x2348 x2347 x2346 x2345 
1800.07/1800.10	v x2344 x2343 x2342 x2341 x2340 x2339 -x2338 -x2337 x2336 x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 
1800.07/1800.10	v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 x2316 -x2315 x2314 x2313 -x2312 -x2311 -x2310 -x2309 -x2308 
1800.07/1800.10	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 
1800.07/1800.10	v x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 
1800.07/1800.10	v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 x2255 x2254 
1800.07/1800.10	v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 -x2236 
1800.07/1800.10	v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 
1800.07/1800.10	v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 x2205 -x2204 -x2203 -x2202 -x2201 -x2200 
1800.07/1800.10	v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 
1800.07/1800.10	v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 x2169 -x2168 -x2167 -x2166 -x2165 -x2164 
1800.07/1800.10	v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 
1800.07/1800.10	v x2145 x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 
1800.07/1800.10	v -x2127 -x2126 -x2125 -x2124 x2123 x2122 x2121 -x2120 -x2119 -x2118 x2117 x2116 x2115 x2114 x2113 -x2112 x2111 -x2110 -x2109 
1800.07/1800.10	v x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 x2094 x2093 x2092 x2091 x2090 
1800.07/1800.10	v -x2089 x2088 x2087 x2086 -x2085 x2084 x2083 x2082 x2081 x2080 x2079 x2078 -x2077 x2076 x2075 x2074 -x2073 x2072 -x2071 -x2070 
1800.07/1800.10	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 x2061 x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
1800.07/1800.10	v -x2051 -x2050 x2049 x2048 x2047 -x2046 -x2045 -x2044 x2043 x2042 -x2041 x2040 x2039 x2038 x2037 x2036 x2035 x2034 -x2033 x2032 
1800.07/1800.10	v x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
1800.07/1800.10	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
1800.07/1800.10	v -x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 x1980 -x1979 -x1978 
1800.07/1800.10	v x1977 x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 x1964 -x1963 -x1962 -x1961 -x1960 
1800.07/1800.10	v -x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 
1800.07/1800.10	v x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 x1929 -x1928 -x1927 -x1926 -x1925 -x1924 
1800.07/1800.10	v -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 
1800.07/1800.10	v -x1905 -x1904 x1903 -x1902 x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 
1800.07/1800.10	v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 -x1869 
1800.07/1800.10	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 x1862 -x1861 x1860 x1859 x1858 x1857 x1856 x1855 x1854 x1853 x1852 x1851 -x1850 
1800.07/1800.10	v -x1849 x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 x1837 x1836 x1835 -x1834 -x1833 -x1832 -x1831 
1800.07/1800.10	v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 x1824 -x1823 x1822 x1821 x1820 x1819 -x1818 x1817 -x1816 x1815 -x1814 x1813 x1812 
1800.07/1800.10	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 x1793 
1800.07/1800.10	v x1792 x1791 x1790 x1789 -x1788 x1787 x1786 x1785 x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 -x1776 x1775 -x1774 -x1773 
1800.07/1800.10	v x1772 x1771 x1770 x1769 -x1768 x1767 -x1766 -x1765 x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 x1755 x1754 
1800.07/1800.10	v -x1753 x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 x1739 -x1738 -x1737 -x1736 
1800.07/1800.10	v -x1735 -x1734 x1733 -x1732 -x1731 -x1730 -x1729 x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
1800.07/1800.10	v -x1716 x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 
1800.07/1800.10	v -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 x1691 x1690 -x1689 x1688 x1687 x1686 x1685 -x1684 x1683 -x1682 -x1681 
1800.07/1800.10	v x1680 -x1679 -x1678 -x1677 x1676 x1675 x1674 x1673 -x1672 x1671 -x1670 -x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663 -x1662 
1800.07/1800.10	v -x1661 -x1660 -x1659 x1658 -x1657 x1656 x1655 -x1654 x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 x1643 
1800.07/1800.10	v -x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 
1800.07/1800.10	v -x1624 -x1623 -x1622 -x1621 x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 x1608 x1607 x1606 
1800.07/1800.10	v x1605 x1604 x1603 -x1602 -x1601 -x1600 -x1599 x1598 -x1597 -x1596 x1595 -x1594 x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 
1800.07/1800.10	v -x1586 -x1585 x1584 x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 x1571 x1570 x1569 
1800.07/1800.10	v x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 x1550 -x1549 
1800.07/1800.10	v x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 
1800.07/1800.10	v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 x1523 x1522 x1521 x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 -x1513 x1512 
1800.07/1800.10	v -x1511 -x1510 -x1509 -x1508 -x1507 x1506 x1505 -x1504 -x1503 -x1502 x1501 x1500 x1499 x1498 x1497 x1496 -x1495 -x1494 -x1493 
1800.07/1800.10	v -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 
1800.07/1800.10	v x1474 -x1473 -x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 x1459 -x1458 -x1457 -x1456 
1800.07/1800.10	v -x1455 -x1454 x1453 x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 x1439 -x1438 
1800.07/1800.10	v x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 
1800.07/1800.10	v x1418 x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 x1406 -x1405 x1404 x1403 x1402 x1401 x1400 
1800.07/1800.10	v x1399 x1398 x1397 x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 x1383 -x1382 -x1381 
1800.07/1800.10	v x1380 x1379 x1378 x1377 x1376 x1375 x1374 x1373 x1372 -x1371 -x1370 -x1369 x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
1800.07/1800.10	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
1800.07/1800.10	v x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
1800.07/1800.10	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309 -x1308 x1307 -x1306 
1800.07/1800.10	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
1800.07/1800.10	v -x1287 -x1286 -x1285 -x1284 x1283 x1282 x1281 x1280 x1279 x1278 x1277 x1276 x1275 x1274 x1273 -x1272 -x1271 -x1270 -x1269 
1800.07/1800.10	v -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 
1800.07/1800.10	v -x1250 x1249 x1248 -x1247 -x1246 -x1245 x1244 x1243 x1242 x1241 x1240 x1239 -x1238 -x1237 -x1236 -x1235 x1234 x1233 -x1232 x1231 
1800.07/1800.10	v x1230 x1229 x1228 x1227 -x1226 -x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 x1215 -x1214 -x1213 -x1212 
1800.07/1800.10	v x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 
1800.07/1800.10	v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 
1800.07/1800.10	v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 
1800.07/1800.10	v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 
1800.07/1800.10	v -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 
1800.07/1800.10	v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 
1800.07/1800.10	v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 
1800.07/1800.10	v x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 
1800.07/1800.10	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 
1800.07/1800.10	v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 
1800.07/1800.10	v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 
1800.07/1800.10	v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 
1800.07/1800.10	v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 
1800.07/1800.10	v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 x963 x962 -x961 -x960 x959 x958 -x957 -x956 x955 x954 
1800.07/1800.10	v -x953 -x952 x951 -x950 -x949 -x948 x947 -x946 -x945 x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 
1800.07/1800.10	v -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 
1800.07/1800.10	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 
1800.07/1800.10	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 
1800.07/1800.10	v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 
1800.07/1800.10	v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 
1800.07/1800.10	v x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 x818 -x817 -x816 -x815 x814 x813 x812 -x811 -x810 x809 -x808 x807 x806 -x805 
1800.07/1800.10	v -x804 x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 x783 
1800.07/1800.10	v x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 
1800.07/1800.10	v -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
1800.07/1800.10	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 
1800.07/1800.10	v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 
1800.07/1800.10	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 
1800.07/1800.10	v -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 
1800.07/1800.10	v -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 
1800.07/1800.10	v x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
1800.07/1800.10	v -x614 x613 x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 
1800.07/1800.10	v -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 
1800.07/1800.10	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 x553 -x552 -x551 
1800.07/1800.10	v -x550 -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 x531 -x530 -x529 
1800.07/1800.10	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
1800.07/1800.10	v x507 -x506 x505 -x504 -x503 -x502 x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
1800.07/1800.10	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
1800.07/1800.10	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 
1800.07/1800.10	v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 
1800.07/1800.10	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 
1800.07/1800.10	v -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 x382 -x381 
1800.07/1800.10	v x380 x379 x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 
1800.07/1800.10	v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 
1800.07/1800.10	v -x337 x336 -x335 x334 -x333 x332 -x331 x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 x320 x319 x318 x317 -x316 
1800.07/1800.10	v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 
1800.07/1800.10	v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
1800.07/1800.10	v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 
1800.07/1800.10	v -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 
1800.07/1800.10	v -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 
1800.07/1800.10	v x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1800.07/1800.10	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 
1800.07/1800.10	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 
1800.07/1800.10	v x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.07/1800.10	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 
1800.07/1800.10	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 
1800.07/1800.10	v -x78 -x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 
1800.07/1800.10	v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 
1800.07/1800.10	v -x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1 
1800.07/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.10	c Solving Time       :    1763.38
1800.07/1800.10	c Original Problem   :
1800.07/1800.10	c   Problem name     : HOME/instance-2692328-1277912993.wbo
1800.07/1800.10	c   Variables        : 7089 (5001 binary, 0 integer, 0 implicit integer, 2088 continuous)
1800.07/1800.10	c   Constraints      : 5194 initial, 5194 maximal
1800.07/1800.10	c Presolved Problem  :
1800.07/1800.10	c   Problem name     : t_HOME/instance-2692328-1277912993.wbo
1800.07/1800.10	c   Variables        : 7082 (4994 binary, 0 integer, 0 implicit integer, 2088 continuous)
1800.07/1800.10	c   Constraints      : 5179 initial, 5338 maximal
1800.07/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.10	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   implics          :       0.00          0          7          0          0          0          0          0          0
1800.07/1800.10	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.07/1800.10	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.10	c   linear           :       0.06          0          0          0       2088          0         15        514       1028
1800.07/1800.10	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.10	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.10	c   integral         :          0          0          0     205331          0          0        149          0          0     410516
1800.07/1800.10	c   indicator        :       2088          0     719706          0          0          0      64742          0          0          0
1800.07/1800.10	c   varbound         :          1          6      94360          0          0          0          0          1          0          0
1800.07/1800.10	c   knapsack         :        280          6     719706          0          0         79      90480        984          0          0
1800.07/1800.10	c   linear           :       2087          6     719627          0          0          0      72214        465          0          0
1800.07/1800.10	c   logicor          :        723+         6      85254          0          0          2      47610          0          0          0
1800.07/1800.10	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.10	c   integral         :     146.21       0.00       0.00     146.21       0.00
1800.07/1800.10	c   indicator        :      37.53       0.00      37.53       0.00       0.00
1800.07/1800.10	c   varbound         :       0.01       0.00       0.01       0.00       0.00
1800.07/1800.10	c   knapsack         :       8.66       0.02       8.64       0.00       0.00
1800.07/1800.10	c   linear           :      31.92       0.00      31.92       0.00       0.00
1800.07/1800.10	c   logicor          :       0.45       0.00       0.45       0.00       0.00
1800.07/1800.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.10	c   vbounds          :       0.04       1759          0        847
1800.07/1800.10	c   rootredcost      :       0.03          1          0          0
1800.07/1800.10	c   pseudoobj        :      34.78     719503          0          0
1800.07/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.10	c   propagation      :       0.00         81         81        229       16.7          0        0.0          -
1800.07/1800.10	c   infeasible LP    :       0.04        111        111        121        6.1          0        0.0          0
1800.07/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.10	c   applied globally :          -          -          -        241       10.3          -          -          -
1800.07/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.10	c   cut pool         :       0.00          5          -          -        207          -    (maximal pool size: 2307)
1800.07/1800.10	c   redcost          :      28.90     205336          0          0          0          0
1800.07/1800.10	c   impliedbounds    :       0.00          6          0          0         52          0
1800.07/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.10	c   gomory           :       0.16          6          0          0        101          0
1800.07/1800.10	c   strongcg         :       0.12          6          0          0         34          0
1800.07/1800.10	c   cmir             :       1.08          6          0          0       1368          0
1800.07/1800.10	c   flowcover        :       1.00          6          0          0        935          0
1800.07/1800.10	c   clique           :       0.00          1          0          0          0          0
1800.07/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.10	c   mcf              :       0.01          1          0          0          0          0
1800.07/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.10	c Pricers            :       Time      Calls       Vars
1800.07/1800.10	c   problem variables:       0.00          0          0
1800.07/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.10	c   relpscost        :     146.09     205331          0        149          0          0     410516
1800.07/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.10	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.10	c   LP solutions     :       0.00          -          0
1800.07/1800.10	c   pseudo solutions :       0.00          -          0
1800.07/1800.10	c   oneopt           :       0.18          1          0
1800.07/1800.10	c   feaspump         :       0.10          1          0
1800.07/1800.10	c   crossover        :       0.51          9          0
1800.07/1800.10	c   intshifting      :       0.42         38          0
1800.07/1800.10	c   objpscostdiving  :      16.32         23          0
1800.07/1800.10	c   rootsoldiving    :       4.88         33          0
1800.07/1800.10	c   veclendiving     :      75.96         81          0
1800.07/1800.10	c   pscostdiving     :     171.66        135          0
1800.07/1800.10	c   linesearchdiving :     181.27        136          0
1800.07/1800.10	c   coefdiving       :     111.81        140          0
1800.07/1800.10	c   fracdiving       :     162.80        140          0
1800.07/1800.10	c   guideddiving     :     106.34        141          0
1800.07/1800.10	c   trivial          :       0.02          2          0
1800.07/1800.10	c   simplerounding   :       0.39     185623          0
1800.07/1800.10	c   zirounding       :       0.05       1000          0
1800.07/1800.10	c   rounding         :       0.59       6042          0
1800.07/1800.10	c   shifting         :       8.08       2053          0
1800.07/1800.10	c   twoopt           :       0.00          0          0
1800.07/1800.10	c   fixandinfer      :       0.00          0          0
1800.07/1800.10	c   intdiving        :       0.00          0          0
1800.07/1800.10	c   actconsdiving    :       0.00          0          0
1800.07/1800.10	c   octane           :       0.00          0          0
1800.07/1800.10	c   rens             :       0.17          1          0
1800.07/1800.10	c   rins             :       0.00          0          0
1800.07/1800.10	c   localbranching   :       0.00          0          0
1800.07/1800.10	c   mutation         :       0.00          0          0
1800.07/1800.10	c   dins             :       0.00          0          0
1800.07/1800.10	c   undercover       :       0.00          0          0
1800.07/1800.10	c   nlp              :       0.00          0          0
1800.07/1800.10	c   trysol           :       1.33       2864        100
1800.07/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.10	c   dual LP          :     491.87     185625    2077052      11.19    4222.77
1800.07/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.10	c   diving/probing LP:     499.53     312024     695427       2.23    1392.16
1800.07/1800.10	c   strong branching :     136.12      18105     391327      21.61    2874.87
1800.07/1800.10	c     (at root node) :          -         17       1240      72.94          -
1800.07/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.10	c B&B Tree           :
1800.07/1800.10	c   number of runs   :          1
1800.07/1800.10	c   nodes            :     205280
1800.07/1800.10	c   nodes (total)    :     205280
1800.07/1800.10	c   nodes left       :     205236
1800.07/1800.10	c   max depth        :        479
1800.07/1800.10	c   max depth (total):        479
1800.07/1800.10	c   backtracks       :        895 (0.4%)
1800.07/1800.10	c   delayed cutoffs  :          1
1800.07/1800.10	c   repropagations   :        715 (34 domain reductions, 1 cutoffs)
1800.07/1800.10	c   avg switch length:       2.12
1800.07/1800.10	c   switching time   :      24.42
1800.07/1800.10	c Solution           :
1800.07/1800.10	c   Solutions found  :        100 (1 improvements)
1800.07/1800.10	c   First Solution   : +1.04379000000000e+05   (in run 1, after 20 nodes, 44.71 seconds, depth 1053, found by <trysol>)
1800.07/1800.10	c   Primal Bound     : +1.04379000000000e+05   (in run 1, after 20 nodes, 44.71 seconds, depth 1053, found by <trysol>)
1800.07/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.10	c   Gap              :   infinite
1800.07/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.10	c   Root Iterations  :       6591
1800.37/1800.36	c Time complete: 1800.43.

Verifier Data 

OK	9862

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.95 2.07 2.10 4/178 15118
/proc/meminfo: memFree=31251956/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=9292 CPUtime=0
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1642 0 0 0 0 0 0 0 25 0 1 0 132594154 9515008 1562 4089446400 4194304 8223781 140734459774304 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15118/statm: 2323 1562 369 984 0 1336 0

[startup+0.0990539 s]
/proc/loadavg: 1.95 2.07 2.10 4/178 15118
/proc/meminfo: memFree=31251956/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=37900 CPUtime=0.09
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 8812 0 0 0 8 1 0 0 25 0 1 0 132594154 38809600 8368 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 9475 8368 441 984 0 8488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37900

[startup+0.101045 s]
/proc/loadavg: 1.95 2.07 2.10 4/178 15118
/proc/meminfo: memFree=31251956/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=37900 CPUtime=0.09
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 8812 0 0 0 8 1 0 0 25 0 1 0 132594154 38809600 8368 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 9475 8368 441 984 0 8488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37900

[startup+0.30098 s]
/proc/loadavg: 1.95 2.07 2.10 4/178 15118
/proc/meminfo: memFree=31251956/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=48568 CPUtime=0.29
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 14043 0 0 0 27 2 0 0 18 0 1 0 132594154 49733632 11130 4089446400 4194304 8223781 140734459774304 18446744073709551615 6238112 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 12142 11130 559 984 0 11155 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48568

[startup+0.70093 s]
/proc/loadavg: 1.95 2.07 2.10 4/178 15118
/proc/meminfo: memFree=31251956/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=51748 CPUtime=0.69
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 14844 0 0 0 66 3 0 0 18 0 1 0 132594154 52989952 11878 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 12937 11878 588 984 0 11950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51748

[startup+1.50077 s]
/proc/loadavg: 1.95 2.07 2.10 3/179 15119
/proc/meminfo: memFree=31205200/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=55048 CPUtime=1.49
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 15848 0 0 0 145 4 0 0 19 0 1 0 132594154 56369152 12546 4089446400 4194304 8223781 140734459774304 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 13762 12546 588 984 0 12775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55048

[startup+3.10044 s]
/proc/loadavg: 1.95 2.07 2.10 3/179 15119
/proc/meminfo: memFree=31201480/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=59280 CPUtime=3.09
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 18580 0 0 0 304 5 0 0 23 0 1 0 132594154 60702720 13603 4089446400 4194304 8223781 140734459774304 18446744073709551615 5716525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 14820 13603 584 984 0 13833 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59280

[startup+6.30078 s]
/proc/loadavg: 1.95 2.06 2.10 3/179 15119
/proc/meminfo: memFree=31197364/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=61436 CPUtime=6.29
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 62808 0 0 0 617 12 0 0 25 0 1 0 132594154 62910464 14105 4089446400 4194304 8223781 140734459774304 18446744073709551615 6559643 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 15359 14105 600 984 0 14372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61436

[startup+12.7005 s]
/proc/loadavg: 1.95 2.06 2.10 3/179 15119
/proc/meminfo: memFree=31197876/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=61428 CPUtime=12.69
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 114589 0 0 0 1246 23 0 0 25 0 1 0 132594154 62902272 14078 4089446400 4194304 8223781 140734459774304 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 15357 14078 600 984 0 14370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61428

[startup+25.501 s]
/proc/loadavg: 1.96 2.06 2.10 3/179 15120
/proc/meminfo: memFree=31198604/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=61404 CPUtime=25.49
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 220408 0 0 0 2506 43 0 0 25 0 1 0 132594154 62877696 14044 4089446400 4194304 8223781 140734459774304 18446744073709551615 6587931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 15351 14044 600 984 0 14364 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61404

[startup+51.1008 s]
/proc/loadavg: 1.97 2.05 2.09 3/179 15121
/proc/meminfo: memFree=31195896/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=65244 CPUtime=51.09
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 343557 0 0 0 5036 73 0 0 25 0 1 0 132594154 66809856 15074 4089446400 4194304 8223781 140734459774304 18446744073709551615 6524121 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 16311 15074 603 984 0 15324 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65244

[startup+102.307 s]
/proc/loadavg: 1.99 2.04 2.09 3/179 15122
/proc/meminfo: memFree=31192392/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=67124 CPUtime=102.29
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 518559 0 0 0 10105 124 0 0 25 0 1 0 132594154 68734976 15599 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 16781 15599 604 984 0 15794 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 67124

[startup+162.301 s]
/proc/loadavg: 1.99 2.03 2.08 3/179 15123
/proc/meminfo: memFree=31181556/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=78752 CPUtime=162.3
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 843283 0 0 0 16032 198 0 0 25 0 1 0 132594154 80642048 18276 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 19688 18276 708 984 0 18701 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 78752

[startup+222.301 s]
/proc/loadavg: 1.99 2.02 2.07 3/179 15125
/proc/meminfo: memFree=31165748/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=94664 CPUtime=222.3
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1023196 0 0 0 21975 255 0 0 25 0 1 0 132594154 96935936 22376 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15118/statm: 23666 22376 708 984 0 22679 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 94664

[startup+282.301 s]
/proc/loadavg: 1.99 2.02 2.07 3/179 15200
/proc/meminfo: memFree=30842264/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=122404 CPUtime=282.3
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1119745 0 0 0 27855 375 0 0 25 0 1 0 132594154 125341696 29350 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 30601 29350 708 984 0 29614 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 122404

[startup+342.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/179 15202
/proc/meminfo: memFree=30756536/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=136472 CPUtime=342.3
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1231869 0 0 0 33722 508 0 0 25 0 1 0 132594154 139747328 32799 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 34118 32799 708 984 0 33131 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 136472

[startup+402.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/179 15203
/proc/meminfo: memFree=30722000/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=145968 CPUtime=402.31
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1447177 0 0 0 39552 679 0 0 25 0 1 0 132594154 149471232 35236 4089446400 4194304 8223781 140734459774304 18446744073709551615 6445147 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 36492 35236 711 984 0 35505 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 145968

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.06 3/179 15204
/proc/meminfo: memFree=30707828/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=159296 CPUtime=462.31
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1596824 0 0 0 45397 834 0 0 25 0 1 0 132594154 163119104 38532 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 39824 38532 708 984 0 38837 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 159296

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.05 3/179 15206
/proc/meminfo: memFree=30688540/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=178736 CPUtime=522.31
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1708541 0 0 0 51267 964 0 0 25 0 1 0 132594154 183025664 43505 4089446400 4194304 8223781 140734459774304 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 44684 43505 708 984 0 43697 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 178736

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.04 3/179 15208
/proc/meminfo: memFree=30642456/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=200212 CPUtime=582.32
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1780626 0 0 0 57132 1100 0 0 25 0 1 0 132594154 205017088 48897 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 50053 48897 708 984 0 49066 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 200212

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 15210
/proc/meminfo: memFree=30642388/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=217776 CPUtime=642.32
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 1936328 0 0 0 62991 1241 0 0 25 0 1 0 132594154 223002624 53328 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 54444 53328 708 984 0 53457 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 217776

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 15227
/proc/meminfo: memFree=30531640/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=325404 CPUtime=942.33
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2131657 0 0 0 92367 1866 0 0 25 0 1 0 132594154 333213696 79861 4089446400 4194304 8223781 140734459774304 18446744073709551615 5407008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 81351 79861 708 984 0 80364 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 325404

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/179 15228
/proc/meminfo: memFree=30507368/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=346292 CPUtime=1002.33
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2158734 0 0 0 98247 1986 0 0 25 0 1 0 132594154 354603008 85131 4089446400 4194304 8223781 140734459774304 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 86573 85131 708 984 0 85586 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 346292

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15229
/proc/meminfo: memFree=30478896/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=369208 CPUtime=1062.34
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2196469 0 0 0 104117 2117 0 0 25 0 1 0 132594154 378068992 90888 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 92302 90888 708 984 0 91315 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 369208

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15231
/proc/meminfo: memFree=30460452/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=392404 CPUtime=1122.34
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2204860 0 0 0 109999 2235 0 0 25 0 1 0 132594154 401821696 96723 4089446400 4194304 8223781 140734459774304 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 98101 96723 708 984 0 97114 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 392404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15233
/proc/meminfo: memFree=30432984/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=415220 CPUtime=1182.34
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2213274 0 0 0 115880 2354 0 0 25 0 1 0 132594154 425185280 102467 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 103805 102467 708 984 0 102818 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 415220

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15235
/proc/meminfo: memFree=30412436/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=436880 CPUtime=1242.34
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2335372 0 0 0 121748 2486 0 0 25 0 1 0 132594154 447365120 107914 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 109220 107914 708 984 0 108233 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 436880

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15236
/proc/meminfo: memFree=30393504/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=456232 CPUtime=1302.35
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2423898 0 0 0 127628 2607 0 0 25 0 1 0 132594154 467181568 112773 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 114058 112773 708 984 0 113071 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 456232

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15237
/proc/meminfo: memFree=30363304/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=480076 CPUtime=1362.35
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2432135 0 0 0 133513 2722 0 0 25 0 1 0 132594154 491597824 118770 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 120019 118770 708 984 0 119032 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 480076

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15239
/proc/meminfo: memFree=30337936/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=503540 CPUtime=1422.36
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2439896 0 0 0 139401 2835 0 0 25 0 1 0 132594154 515624960 124667 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 125885 124667 708 984 0 124898 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 503540

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15241
/proc/meminfo: memFree=30311548/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=526864 CPUtime=1482.36
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2448055 0 0 0 145296 2940 0 0 25 0 1 0 132594154 539508736 130537 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 131716 130537 708 984 0 130729 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 526864

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15243
/proc/meminfo: memFree=30294372/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=546136 CPUtime=1542.36
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2567043 0 0 0 151160 3076 0 0 25 0 1 0 132594154 559243264 135324 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 136534 135324 708 984 0 135547 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 546136

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15244
/proc/meminfo: memFree=30269384/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=563396 CPUtime=1602.36
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2711902 0 0 0 157021 3215 0 0 25 0 1 0 132594154 576917504 139709 4089446400 4194304 8223781 140734459774304 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 140849 139709 708 984 0 139862 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 563396

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15245
/proc/meminfo: memFree=30255280/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=581076 CPUtime=1662.36
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2781755 0 0 0 162886 3350 0 0 25 0 1 0 132594154 595021824 144170 4089446400 4194304 8223781 140734459774304 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 145269 144170 708 984 0 144282 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 581076

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15247
/proc/meminfo: memFree=30232124/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=602988 CPUtime=1722.37
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2862945 0 0 0 168752 3485 0 0 25 0 1 0 132594154 617459712 148652 4089446400 4194304 8223781 140734459774304 18446744073709551615 6003233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 150747 148652 708 984 0 149760 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 602988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15249
/proc/meminfo: memFree=30194688/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=619136 CPUtime=1782.37
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2968061 0 0 0 174606 3631 0 0 25 0 1 0 132594154 633995264 152713 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 154784 152713 708 984 0 153797 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 619136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15249
/proc/meminfo: memFree=30184972/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=625288 CPUtime=1800.07
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2983618 0 0 0 176341 3666 0 0 25 0 1 0 132594154 640294912 154259 4089446400 4194304 8223781 140734459774304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15118/statm: 156322 154259 708 984 0 155335 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 625288

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15249
/proc/meminfo: memFree=30184972/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=588424 CPUtime=1800.28
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2983622 0 0 0 176361 3667 0 0 18 0 1 0 132594154 602546176 145045 4089446400 4194304 8223781 140734459774304 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15118/statm: 147106 145045 710 984 0 146119 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 588424

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15249
/proc/meminfo: memFree=30184972/32950928 swapFree=67111528/67111528
[pid=15118] ppid=15116 vsize=253048 CPUtime=1800.37
/proc/15118/stat : 15118 (pbscip.linux.x8) R 15116 15118 14998 0 -1 4202496 2983622 0 0 0 176368 3669 0 0 18 0 1 0 132594154 259121152 61201 4089446400 4194304 8223781 140734459774304 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15118/statm: 63262 61201 710 984 0 62275 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 253048

Child status: 0
Real time (s): 1800.36
CPU time (s): 1800.44
CPU user time (s): 1763.74
CPU system time (s): 36.7024
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 633652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.74
system time used= 36.7024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2983622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1802

runsolver used 3.31649 second user time and 5.78112 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 17:49:53
IDJOB=2692328
IDBENCH=79006
IDSOLVER=1204
FILE ID=node149/2692328-1277912993
PBS_JOBID= 11197305
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692328-1277912993/watcher-2692328-1277912993 -o /tmp/evaluation-result-2692328-1277912993/solver-2692328-1277912993 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692328-1277912993.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0513f373de819ad63cf76545ce499638
RANDOM SEED=1194566625

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31252360 kB
Buffers:        200236 kB
Cached:        1270804 kB
SwapCached:          0 kB
Active:         529596 kB
Inactive:      1022580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31252360 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5188 kB
Writeback:           0 kB
AnonPages:       82028 kB
Mapped:          15744 kB
Slab:            82700 kB
PageTables:       4788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   226884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node149 at 2010-06-30 18:19:55