Trace number 3744509

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT 88.1896 88.221

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_6_ic.opb
MD5SUMa269e9c33b53994688ddcd5a079e2567
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8489816
Best CPU time to get the best result obtained on this benchmark2.05469
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 155720872
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 3697226789
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 155720872
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 3697226789
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3744509-1338807127.opb>
0.00/0.05	c original problem has 3435 variables (3435 bin, 0 int, 0 impl, 0 cont) and 6802 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.00/0.07	c presolving:
0.08/0.09	c (round 1) 360 del vars, 633 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 660 impls, 1 clqs
0.09/0.13	c (round 2) 360 del vars, 633 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 660 impls, 1 clqs
0.19/0.21	c    (0.2s) probing: 101/3075 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (3 rounds):
0.19/0.21	c  360 deleted vars, 633 deleted constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.19/0.21	c  17040 implications, 1 cliques
0.19/0.21	c presolved problem has 3075 variables (3075 bin, 0 int, 0 impl, 0 cont) and 6169 constraints
0.19/0.21	c    3090 constraints of type <knapsack>
0.19/0.21	c      16 constraints of type <setppc>
0.19/0.21	c       3 constraints of type <linear>
0.19/0.21	c    3060 constraints of type <logicor>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.14
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.3
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1789.95
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 13950
0.19/0.21	c 
0.19/0.21	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21	c # [type: int, range: [1,2], default: 1]
0.19/0.21	c timing/clocktype = 2
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/indicator/addCouplingCons = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.28	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.28	c   0.2s|     1 |     0 |   403 |     - |  18M|   0 |  52 |3075 |6169 |3075 |6169 |   0 |   0 |   0 | 6.657570e+06 |      --      |    Inf 
3.38/3.41	c   3.4s|     1 |     0 |  4973 |     - |  18M|   0 |  81 |3075 |6169 |3075 |6183 |  14 |   0 |   0 | 7.613862e+06 |      --      |    Inf 
4.09/4.14	c   4.1s|     1 |     0 |  5109 |     - |  19M|   0 |  20 |3075 |6169 |3075 |6202 |  33 |   0 |   0 | 7.784267e+06 |      --      |    Inf 
4.49/4.55	c   4.5s|     1 |     0 |  5162 |     - |  20M|   0 |  23 |3075 |6169 |3075 |6204 |  35 |   0 |   0 | 7.801595e+06 |      --      |    Inf 
4.99/5.07	c   5.0s|     1 |     0 |  5235 |     - |  20M|   0 |  23 |3075 |6169 |3075 |6205 |  36 |   0 |   0 | 7.811192e+06 |      --      |    Inf 
5.28/5.39	c   5.3s|     1 |     0 |  5265 |     - |  20M|   0 |  23 |3075 |6169 |3075 |6207 |  38 |   0 |   0 | 7.817519e+06 |      --      |    Inf 
5.58/5.67	c   5.6s|     1 |     0 |  5480 |     - |  21M|   0 |  81 |3075 |6169 |3075 |6213 |  44 |   0 |   0 | 7.837554e+06 |      --      |    Inf 
6.19/6.21	c   6.2s|     1 |     0 |  5630 |     - |  22M|   0 |  36 |3075 |6169 |3075 |6224 |  55 |   0 |   0 | 7.843636e+06 |      --      |    Inf 
6.50/6.55	c   6.5s|     1 |     0 |  5662 |     - |  22M|   0 |  32 |3075 |6169 |3075 |6230 |  61 |   0 |   0 | 7.853573e+06 |      --      |    Inf 
6.99/7.02	c   7.0s|     1 |     0 |  5855 |     - |  23M|   0 |  29 |3075 |6169 |3075 |6234 |  65 |   0 |   0 | 7.865696e+06 |      --      |    Inf 
7.28/7.39	c   7.3s|     1 |     0 |  6030 |     - |  23M|   0 |  30 |3075 |6169 |3075 |6237 |  68 |   0 |   0 | 7.876533e+06 |      --      |    Inf 
7.78/7.84	c   7.8s|     1 |     0 |  6074 |     - |  23M|   0 |  30 |3075 |6169 |3075 |6239 |  70 |   0 |   0 | 7.878261e+06 |      --      |    Inf 
8.19/8.29	c   8.2s|     1 |     0 |  6341 |     - |  24M|   0 | 125 |3075 |6169 |3075 |6241 |  72 |   0 |   0 | 7.885915e+06 |      --      |    Inf 
9.19/9.27	c   9.2s|     1 |     0 |  6403 |     - |  24M|   0 |  42 |3075 |6169 |3075 |6237 |  77 |   0 |   0 | 7.887525e+06 |      --      |    Inf 
9.90/9.92	c   9.9s|     1 |     0 |  6411 |     - |  24M|   0 |  34 |3075 |6169 |3075 |6244 |  84 |   0 |   0 | 7.887689e+06 |      --      |    Inf 
12.00/12.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.00/12.04	c  12.0s|     1 |     2 |  6411 |     - |  24M|   0 |  34 |3075 |6169 |3075 |6244 |  84 |   0 |  17 | 7.887689e+06 |      --      |    Inf 
47.47/47.52	o 10706236
47.47/47.52	c z47.5s|    53 |    48 | 16684 | 197.6 |  24M|  15 |   8 |3075 |6183 |3075 |6215 |  84 |  14 | 381 | 7.927833e+06 | 1.070624e+07 |  35.05%
49.17/49.20	o 9765238
49.17/49.20	c z49.1s|    73 |    61 | 20175 | 191.2 |  24M|  16 |   8 |3075 |5898 |3075 |6215 |  84 |  22 | 391 | 7.927833e+06 | 9.765238e+06 |  23.18%
49.27/49.35	o 9715282
49.27/49.35	c z49.3s|    79 |    67 | 20620 | 182.2 |  24M|  16 |   7 |3075 |5863 |3075 |6215 |  84 |  22 | 391 | 7.927833e+06 | 9.715282e+06 |  22.55%
52.17/52.21	o 9576128
52.17/52.21	c z52.2s|   128 |   100 | 26409 | 157.5 |  25M|  20 |   7 |3075 |5873 |3075 |6215 |  84 |  32 | 400 | 7.927833e+06 | 9.576128e+06 |  20.79%
55.86/55.98	o 9463798
55.86/55.98	c z55.9s|   215 |   158 | 33962 | 128.7 |  26M|  22 |   8 |3075 |5902 |3075 |6215 |  84 |  63 | 426 | 7.929095e+06 | 9.463798e+06 |  19.36%
58.36/58.40	o 8990686
58.36/58.40	c z58.3s|   293 |   193 | 38833 | 111.0 |  27M|  22 |   5 |3075 |5930 |3075 |6215 |  84 |  91 | 448 | 7.941087e+06 | 8.990686e+06 |  13.22%
58.76/58.83	o 8974594
58.76/58.83	c z58.8s|   311 |   199 | 39812 | 107.7 |  27M|  22 |   6 |3075 |5918 |3075 |6215 |  84 |  95 | 449 | 7.951377e+06 | 8.974594e+06 |  12.87%
60.76/60.83	o 8746842
60.76/60.83	c z60.8s|   357 |   206 | 43212 | 103.4 |  28M|  22 |   4 |3075 |5937 |3075 |6215 |  84 | 117 | 468 | 7.956801e+06 | 8.746842e+06 |   9.93%
66.77/66.83	o 8737030
66.77/66.83	c z66.8s|   551 |   259 | 54371 |  87.2 |  30M|  22 |   7 |3075 |6007 |3075 |6215 |  84 | 245 | 532 | 7.963307e+06 | 8.737030e+06 |   9.72%
68.86/68.98	o 8717728
68.86/68.98	c z68.9s|   620 |   263 | 58118 |  83.5 |  31M|  22 |   4 |3075 |6063 |3075 |6215 |  84 | 317 | 555 | 7.965612e+06 | 8.717728e+06 |   9.44%
69.06/69.19	o 8489816
69.06/69.19	c z69.1s|   633 |   220 | 58608 |  82.6 |  30M|  22 |   1 |3075 |6066 |3075 |6215 |  84 | 325 | 555 | 7.965612e+06 | 8.489816e+06 |   6.58%
88.06/88.19	c 
88.06/88.19	c SCIP Status        : problem is solved [optimal solution found]
88.06/88.19	c Solving Time (sec) : 88.14
88.06/88.19	c Solving Nodes      : 1469
88.06/88.19	c Primal Bound       : +8.48981600000000e+06 (128 solutions)
88.06/88.19	c Dual Bound         : +8.48981600000000e+06
88.06/88.19	c Gap                : 0.00 %
88.06/88.19	s OPTIMUM FOUND
88.06/88.19	v -x2835 -x2819 -x2803 -x2787 -x2771 -x2755 -x2964 -x2948 -x2932 -x2916 -x2900 -x2884 -x2868 -x2852 -x2836 -x990 -x989 -x988 -x987 
88.06/88.19	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
88.06/88.19	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
88.06/88.19	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x1107 
88.06/88.19	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 
88.06/88.19	v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
88.06/88.19	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
88.06/88.19	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
88.06/88.19	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
88.06/88.19	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
88.06/88.19	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 
88.06/88.19	v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 
88.06/88.19	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 
88.06/88.19	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
88.06/88.19	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
88.06/88.19	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
88.06/88.19	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
88.06/88.19	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
88.06/88.19	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
88.06/88.19	v -x811 -x810 -x809 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 
88.06/88.19	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
88.06/88.19	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 
88.06/88.19	v -x566 -x565 -x564 -x563 -x562 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
88.06/88.19	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 
88.06/88.19	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 
88.06/88.19	v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
88.06/88.19	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
88.06/88.19	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x444 -x443 -x442 
88.06/88.19	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 
88.06/88.19	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 
88.06/88.19	v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 
88.06/88.19	v -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
88.06/88.19	v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
88.06/88.19	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
88.06/88.19	v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
88.06/88.19	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
88.06/88.19	v -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 
88.06/88.19	v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 
88.06/88.19	v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 
88.06/88.19	v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x379 -x378 -x377 -x376 -x375 -x374 
88.06/88.19	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
88.06/88.19	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
88.06/88.19	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
88.06/88.19	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 
88.06/88.19	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
88.06/88.19	v -x268 -x267 -x266 -x265 -x264 -x263 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 
88.06/88.19	v -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 
88.06/88.19	v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x197 -x196 
88.06/88.19	v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 
88.06/88.19	v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 
88.06/88.19	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 
88.06/88.19	v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 
88.06/88.19	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
88.06/88.19	v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 
88.06/88.19	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
88.06/88.19	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 x2600 -x2599 -x2598 -x2597 -x2596 -x2595 
88.06/88.19	v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 
88.06/88.19	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2745 -x2744 -x2743 -x2742 -x2741 
88.06/88.19	v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 
88.06/88.19	v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 
88.06/88.19	v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 
88.06/88.19	v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
88.06/88.19	v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652 
88.06/88.19	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 
88.06/88.19	v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 
88.06/88.19	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 
88.06/88.19	v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
88.06/88.19	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2563 -x2562 
88.06/88.19	v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
88.06/88.19	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 
88.06/88.19	v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 
88.06/88.19	v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 
88.06/88.19	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
88.06/88.19	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2277 -x2276 -x2275 -x2274 -x2273 
88.06/88.19	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
88.06/88.19	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
88.06/88.19	v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 
88.06/88.19	v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 
88.06/88.19	v -x2201 -x2200 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 
88.06/88.19	v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 
88.06/88.19	v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 
88.06/88.19	v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 
88.06/88.19	v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
88.06/88.19	v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2095 -x2094 
88.06/88.19	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
88.06/88.19	v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 
88.06/88.19	v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 
88.06/88.19	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
88.06/88.19	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
88.06/88.19	v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 
88.06/88.19	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
88.06/88.19	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 
88.06/88.19	v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 
88.06/88.19	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
88.06/88.19	v -x2097 -x2096 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
88.06/88.19	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
88.06/88.19	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
88.06/88.19	v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
88.06/88.19	v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
88.06/88.19	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 
88.06/88.19	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
88.06/88.19	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
88.06/88.19	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
88.06/88.19	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 
88.06/88.19	v -x1918 -x1917 -x1916 -x1915 -x1914 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
88.06/88.19	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
88.06/88.19	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
88.06/88.19	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
88.06/88.19	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
88.06/88.19	v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 
88.06/88.19	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 
88.06/88.19	v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 
88.06/88.19	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
88.06/88.19	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
88.06/88.19	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 
88.06/88.19	v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 
88.06/88.19	v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 
88.06/88.19	v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487 
88.06/88.19	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1653 -x1652 -x1651 
88.06/88.19	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
88.06/88.19	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
88.06/88.19	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
88.06/88.19	v -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
88.06/88.19	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
88.06/88.19	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
88.06/88.19	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
88.06/88.19	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
88.06/88.19	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
88.06/88.19	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 
88.06/88.19	v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 
88.06/88.19	v -x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
88.06/88.19	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
88.06/88.19	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 
88.06/88.19	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
88.06/88.19	v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1185 -x1184 -x1183 
88.06/88.19	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 
88.06/88.19	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
88.06/88.19	v -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
88.06/88.19	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
88.06/88.19	v -x1110 -x1109 -x1108 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
88.06/88.19	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
88.06/88.19	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 
88.06/88.19	v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 
88.06/88.19	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
88.06/88.19	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
88.06/88.19	v -x3300 -x3284 -x3268 -x3252 -x3236 -x3220 -x3429 -x3413 -x3397 -x3381 -x3365 -x3349 -x3333 -x3317 -x3301 -x3060 -x3044 -x3028 
88.06/88.19	v -x3012 -x2996 -x2980 -x3189 -x3173 -x3157 -x3141 -x3125 -x3109 -x3093 -x3077 -x3061 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 
88.06/88.19	v -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 x3292 x3291 -x3290 x3289 -x3288 -x3287 -x3286 -x3285 
88.06/88.19	v -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 x3270 -x3269 -x3267 -x3266 -x3265 
88.06/88.19	v -x3264 -x3263 -x3262 -x3261 -x3260 x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 
88.06/88.19	v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 
88.06/88.19	v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3435 -x3434 
88.06/88.19	v -x3433 -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 
88.06/88.19	v -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 x3396 -x3395 
88.06/88.19	v -x3394 -x3393 -x3392 -x3391 x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 x3382 -x3380 x3379 -x3378 -x3377 -x3376 -x3375 
88.06/88.19	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3364 -x3363 -x3362 -x3361 x3360 -x3359 x3358 -x3357 -x3356 
88.06/88.19	v -x3355 -x3354 -x3353 -x3352 x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
88.06/88.19	v -x3336 -x3335 -x3334 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
88.06/88.19	v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3210 -x3209 x3208 
88.06/88.19	v -x3207 -x3206 -x3205 -x3204 -x3203 x3202 x3201 -x3200 x3199 -x3198 -x3197 -x3196 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
88.06/88.19	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 x2815 -x2814 -x2813 -x2812 -x2811 -x2810 
88.06/88.19	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
88.06/88.19	v -x2790 -x2789 -x2788 -x2786 -x2785 x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 x2776 -x2775 -x2774 -x2773 -x2772 
88.06/88.19	v -x2770 -x2769 -x2768 -x2767 -x2766 x2765 -x2764 x2763 -x2762 -x2761 -x2760 x2759 -x2758 -x2757 -x2756 -x2754 -x2753 -x2752 
88.06/88.19	v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2970 -x2969 -x2968 x2967 -x2966 -x2965 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 
88.06/88.19	v -x2957 x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 
88.06/88.19	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 
88.06/88.19	v -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 x2906 -x2905 -x2904 -x2903 -x2902 -x2901 
88.06/88.19	v -x2899 x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881 
88.06/88.19	v -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 
88.06/88.19	v -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2851 -x2850 -x2849 -x2848 x2847 -x2846 -x2845 x2844 -x2843 -x2842 
88.06/88.19	v -x2841 -x2840 -x2839 -x2838 -x2837 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 
88.06/88.19	v -x3046 -x3045 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 x3027 
88.06/88.19	v -x3026 -x3025 x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 x3016 -x3015 -x3014 x3013 -x3011 -x3010 -x3009 -x3008 
88.06/88.19	v -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 x2991 -x2990 -x2989 
88.06/88.19	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971 -x3195 
88.06/88.19	v -x3194 x3193 -x3192 -x3191 -x3190 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
88.06/88.19	v -x3175 -x3174 x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3156 
88.06/88.19	v -x3155 -x3154 -x3153 x3152 -x3151 -x3150 -x3149 -x3148 -x3147 x3146 -x3145 -x3144 -x3143 -x3142 x3140 -x3139 x3138 -x3137 -x3136 
88.06/88.19	v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 x3119 -x3118 -x3117 
88.06/88.19	v -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 
88.06/88.19	v -x3097 x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 x3082 -x3081 -x3080 -x3079 
88.06/88.19	v -x3078 -x3076 -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 
88.06/88.19	c SCIP Status        : problem is solved [optimal solution found]
88.06/88.19	c Solving Time       :      88.14
88.06/88.19	c Original Problem   :
88.06/88.19	c   Problem name     : HOME/instance-3744509-1338807127.opb
88.06/88.19	c   Variables        : 3435 (3435 binary, 0 integer, 0 implicit integer, 0 continuous)
88.06/88.19	c   Constraints      : 6802 initial, 6802 maximal
88.06/88.19	c Presolved Problem  :
88.06/88.19	c   Problem name     : t_HOME/instance-3744509-1338807127.opb
88.06/88.19	c   Variables        : 3075 (3075 binary, 0 integer, 0 implicit integer, 0 continuous)
88.06/88.19	c   Constraints      : 6169 initial, 6187 maximal
88.06/88.19	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
88.06/88.19	c   trivial          :       0.00          0          0          0          0          0          0          0          0
88.06/88.19	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
88.06/88.19	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
88.06/88.19	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
88.06/88.19	c   implics          :       0.00          0          0          0          0          0          0          0          0
88.06/88.19	c   probing          :       0.04          0          0          0          0          0          0          0          0
88.06/88.19	c   knapsack         :       0.03          0          0          0          0          0          0          0          0
88.06/88.19	c   setppc           :       0.00          0          0          0          0          0          0          0          0
88.06/88.19	c   linear           :       0.05         45        315          0         45          0        633        105        315
88.06/88.19	c   logicor          :       0.01          0          0          0          0          0          0          0          0
88.06/88.19	c   root node        :          -        968          -          -        968          -          -          -          -
88.06/88.19	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
88.06/88.19	c   integral         :          0          0          0        875          0          7        121          0          0       1660
88.06/88.19	c   knapsack         :       3090         15       8580          0          0         75     290353         98          0          0
88.06/88.19	c   setppc           :         16         15       5047          0          0          5        278          0          0          0
88.06/88.19	c   linear           :          3         15       8496          0          0         26        723          0          0          0
88.06/88.19	c   logicor          :       3060+        15       6360          0          0        152      21130          0          0          0
88.06/88.19	c   countsols        :          0          0          0          0          0          0          0          0          0          0
88.06/88.19	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
88.06/88.19	c   integral         :      45.25       0.00       0.00      45.25       0.00
88.06/88.19	c   knapsack         :       0.87       0.06       0.80       0.00       0.00
88.06/88.19	c   setppc           :       0.01       0.00       0.01       0.00       0.00
88.06/88.19	c   linear           :       0.07       0.02       0.05       0.00       0.00
88.06/88.19	c   logicor          :       0.26       0.00       0.26       0.00       0.00
88.06/88.19	c   countsols        :       0.00       0.00       0.00       0.00       0.00
88.06/88.19	c Propagators        :       Time      Calls    Cutoffs    DomReds
88.06/88.19	c   vbounds          :       0.01          2          0          0
88.06/88.19	c   rootredcost      :       0.01         11          0        104
88.06/88.19	c   pseudoobj        :       0.08       8517         81       1786
88.06/88.19	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
88.06/88.19	c   propagation      :       0.03        339        315       1671       31.3          8       18.0          -
88.06/88.19	c   infeasible LP    :       0.01         19         19         55       24.3          1        2.0          0
88.06/88.19	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
88.06/88.19	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
88.06/88.19	c   pseudo solution  :       0.00          1          1          6        9.2          0        0.0          -
88.06/88.19	c   applied globally :          -          -          -        973       31.6          -          -          -
88.06/88.19	c   applied locally  :          -          -          -          0        0.0          -          -          -
88.06/88.19	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
88.06/88.19	c   cut pool         :       0.01         14          -          -        153          -    (maximal pool size: 1668)
88.06/88.19	c   redcost          :       0.10       1511          0       9424          0          0
88.06/88.19	c   impliedbounds    :       0.00         15          0          0         60          0
88.06/88.19	c   intobj           :       0.00          0          0          0          0          0
88.06/88.19	c   cgmip            :       0.00          0          0          0          0          0
88.06/88.19	c   gomory           :       3.27         15          0          0       4642          0
88.06/88.19	c   strongcg         :       2.56         15          0          0       4999          0
88.06/88.19	c   cmir             :       0.31         10          0          0         37          0
88.06/88.19	c   flowcover        :       0.59         10          0          0         72          0
88.06/88.19	c   clique           :       0.02         15          0          0          0          0
88.06/88.19	c   zerohalf         :       0.00          0          0          0          0          0
88.06/88.19	c   mcf              :       0.00          1          0          0          0          0
88.06/88.19	c   rapidlearning    :       0.22          1          0          0          0          0
88.06/88.19	c Pricers            :       Time      Calls       Vars
88.06/88.19	c   problem variables:       0.00          0          0
88.06/88.19	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
88.06/88.19	c   relpscost        :      45.24        875          7        121          0          0       1660
88.06/88.19	c   pscost           :       0.00          0          0          0          0          0          0
88.06/88.19	c   inference        :       0.00          0          0          0          0          0          0
88.06/88.19	c   mostinf          :       0.00          0          0          0          0          0          0
88.06/88.19	c   leastinf         :       0.00          0          0          0          0          0          0
88.06/88.19	c   fullstrong       :       0.00          0          0          0          0          0          0
88.06/88.19	c   allfullstrong    :       0.00          0          0          0          0          0          0
88.06/88.19	c   random           :       0.00          0          0          0          0          0          0
88.06/88.19	c Primal Heuristics  :       Time      Calls      Found
88.06/88.19	c   LP solutions     :       0.00          -          0
88.06/88.19	c   pseudo solutions :       0.00          -          0
88.06/88.19	c   oneopt           :       0.01         11          0
88.06/88.19	c   coefdiving       :       0.34          2          0
88.06/88.19	c   pscostdiving     :       0.30          2          0
88.06/88.19	c   fracdiving       :       0.54          2          0
88.06/88.19	c   veclendiving     :       0.10          2          0
88.06/88.19	c   guideddiving     :       0.09          2          0
88.06/88.19	c   linesearchdiving :       0.08          2          0
88.06/88.19	c   feaspump         :       2.56          1          0
88.06/88.19	c   objpscostdiving  :       0.66          2          0
88.06/88.19	c   rootsoldiving    :       0.41          2          0
88.06/88.19	c   trivial          :       0.00          2          0
88.06/88.19	c   simplerounding   :       0.00          0          0
88.06/88.19	c   zirounding       :       0.16        837        127
88.06/88.19	c   rounding         :       0.08        387          0
88.06/88.19	c   shifting         :       0.08        127          1
88.06/88.19	c   intshifting      :       0.00          0          0
88.06/88.19	c   twoopt           :       0.00          0          0
88.06/88.19	c   fixandinfer      :       0.00          0          0
88.06/88.19	c   intdiving        :       0.00          0          0
88.06/88.19	c   actconsdiving    :       0.00          0          0
88.06/88.19	c   octane           :       0.00          0          0
88.06/88.20	c   rens             :       0.04          1          0
88.06/88.20	c   rins             :       0.00          0          0
88.06/88.20	c   localbranching   :       0.00          0          0
88.06/88.20	c   mutation         :       0.00          0          0
88.06/88.20	c   crossover        :       0.05          1          0
88.06/88.20	c   dins             :       0.00          0          0
88.06/88.20	c   undercover       :       0.00          0          0
88.06/88.20	c   nlp              :       0.00          0          0
88.06/88.20	c   trysol           :       0.00          0          0
88.06/88.20	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
88.06/88.20	c   primal LP        :       0.00          0          0       0.00          -
88.06/88.20	c   dual LP          :      26.44       1339      81156      60.61    3069.98
88.06/88.20	c   lex dual LP      :       0.00          0          0       0.00          -
88.06/88.20	c   barrier LP       :       0.00          0          0       0.00          -
88.06/88.20	c   diving/probing LP:       4.83        228       9711      42.59    2011.11
88.06/88.20	c   strong branching :      45.22        745     147512     198.00    3261.88
88.06/88.20	c     (at root node) :          -         17       4920     289.41          -
88.06/88.20	c   conflict analysis:       0.00          0          0       0.00          -
88.06/88.20	c B&B Tree           :
88.06/88.20	c   number of runs   :          1
88.06/88.20	c   nodes            :       1469
88.06/88.20	c   nodes (total)    :       1469
88.06/88.20	c   nodes left       :          0
88.06/88.20	c   max depth        :         22
88.06/88.20	c   max depth (total):         22
88.06/88.20	c   backtracks       :        439 (29.9%)
88.06/88.20	c   delayed cutoffs  :        108
88.06/88.20	c   repropagations   :        859 (36783 domain reductions, 80 cutoffs)
88.06/88.20	c   avg switch length:       6.64
88.06/88.20	c   switching time   :       0.89
88.06/88.20	c Solution           :
88.06/88.20	c   Solutions found  :        128 (11 improvements)
88.06/88.20	c   First Solution   : +1.07062360000000e+07   (in run 1, after 53 nodes, 47.47 seconds, depth 15, found by <zirounding>)
88.06/88.20	c   Primal Bound     : +8.48981600000000e+06   (in run 1, after 633 nodes, 69.13 seconds, depth 11, found by <zirounding>)
88.06/88.20	c   Dual Bound       : +8.48981600000000e+06
88.06/88.20	c   Gap              :       0.00 %
88.06/88.20	c   Root Dual Bound  : +7.88768900000000e+06
88.06/88.20	c   Root Iterations  :       6411
88.15/88.22	c Time complete: 88.18.

Verifier Data 

OK	8489816

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-3744509-1338807127/watcher-3744509-1338807127 -o /tmp/evaluation-result-3744509-1338807127/solver-3744509-1338807127 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744509-1338807127.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: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 346779680 10211328 1486 33554432000 4194304 8395647 140734366650496 140734366582328 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 2493 1500 374 1026 0 1463 0

[startup+0.084231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=29928 CPUtime=0.08 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 6801 0 0 0 7 1 0 0 20 0 1 0 346779680 30646272 6393 33554432000 4194304 8395647 140734366650496 140734366582328 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 7482 6393 474 1026 0 6452 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29928

[startup+0.100362 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=31548 CPUtime=0.09 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 7206 0 0 0 8 1 0 0 20 0 1 0 346779680 32305152 6798 33554432000 4194304 8395647 140734366650496 140734366582328 6349560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 7887 6798 474 1026 0 6857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31548

[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=48128 CPUtime=0.28 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 11507 0 0 0 27 1 0 0 20 0 1 0 346779680 49283072 10957 33554432000 4194304 8395647 140734366650496 140734366582328 6664892 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 12032 10957 588 1026 0 11002 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48128

[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=49552 CPUtime=0.68 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 11993 0 0 0 67 1 0 0 20 0 1 0 346779680 50741248 11365 33554432000 4194304 8395647 140734366650496 140734366582328 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 12388 11365 588 1026 0 11358 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49552

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27442540/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=50012 CPUtime=1.49 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 12127 0 0 0 147 2 0 0 20 0 1 0 346779680 51212288 11499 33554432000 4194304 8395647 140734366650496 140734366645016 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 12503 11499 588 1026 0 11473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50012

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27441920/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=58208 CPUtime=3.09 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 14258 0 0 0 306 3 0 0 20 0 1 0 346779680 59604992 13630 33554432000 4194304 8395647 140734366650496 140734366645736 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 14552 13631 625 1026 0 13522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58208

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27430388/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=65044 CPUtime=6.29 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 23543 0 0 0 623 6 0 0 20 0 1 0 346779680 66605056 15344 33554432000 4194304 8395647 140734366650496 140734366645736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16261 15344 634 1026 0 15231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65044

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27425072/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=65972 CPUtime=12.69 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 28773 0 0 0 1259 10 0 0 20 0 1 0 346779680 67555328 15574 33554432000 4194304 8395647 140734366650496 140734366645368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16493 15574 636 1026 0 15463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65972

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27425376/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=65972 CPUtime=25.48 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 28775 0 0 0 2531 17 0 0 20 0 1 0 346779680 67555328 15587 33554432000 4194304 8395647 140734366650496 140734366645704 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16493 15587 636 1026 0 15463 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65972

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27423716/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=66456 CPUtime=51.07 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 28911 0 0 0 5079 28 0 0 20 0 1 0 346779680 68050944 16149 33554432000 4194304 8395647 140734366650496 140734366645624 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16614 16149 641 1026 0 15584 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66456

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

[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27418196/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=72528 CPUtime=63.86 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 30356 0 0 0 6354 32 0 0 20 0 1 0 346779680 74268672 17594 33554432000 4194304 8395647 140734366650496 140734366646104 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 18132 17594 641 1026 0 17102 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 72528

[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27409144/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=81700 CPUtime=76.66 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 37903 0 0 0 7626 40 0 0 20 0 1 0 346779680 83660800 19745 33554432000 4194304 8395647 140734366650496 140734366645624 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 20425 19745 642 1026 0 19395 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 81700

[startup+83.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27405920/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=84652 CPUtime=83.06 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 38701 0 0 0 8263 43 0 0 20 0 1 0 346779680 86683648 20541 33554432000 4194304 8395647 140734366650496 140734366646008 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21163 20541 642 1026 0 20133 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 84652

[startup+86.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404556/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=85960 CPUtime=86.26 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 38942 0 0 0 8582 44 0 0 20 0 1 0 346779680 88023040 20782 33554432000 4194304 8395647 140734366650496 140734366646008 4215519 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21490 20782 642 1026 0 20460 0
Current children cumulated CPU time (s) 86.26
Current children cumulated vsize (KiB) 85960

[startup+87.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404308/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86224 CPUtime=87.06 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39062 0 0 0 8662 44 0 0 20 0 1 0 346779680 88293376 20902 33554432000 4194304 8395647 140734366650496 140734366645704 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21556 20902 642 1026 0 20526 0
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (KiB) 86224

[startup+87.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404184/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86224 CPUtime=87.86 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39077 0 0 0 8742 44 0 0 20 0 1 0 346779680 88293376 20917 33554432000 4194304 8395647 140734366650496 140734366646104 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21556 20917 642 1026 0 20526 0
Current children cumulated CPU time (s) 87.86
Current children cumulated vsize (KiB) 86224

[startup+88.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404184/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86588 CPUtime=88.06 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39131 0 0 0 8762 44 0 0 20 0 1 0 346779680 88666112 20971 33554432000 4194304 8395647 140734366650496 140734366646104 4216953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21647 20971 642 1026 0 20617 0
Current children cumulated CPU time (s) 88.06
Current children cumulated vsize (KiB) 86588

[startup+88.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404184/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86588 CPUtime=88.15 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39142 0 0 0 8771 44 0 0 20 0 1 0 346779680 88666112 20982 33554432000 4194304 8395647 140734366650496 140734366646104 7430400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21647 20982 644 1026 0 20617 0
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (KiB) 86588

Child status: 0
Real time (s): 88.221
CPU time (s): 88.1896
CPU user time (s): 87.7367
CPU system time (s): 0.452931
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 86588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.7367
system time used= 0.452931
maximum resident set size= 99864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39145
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= 19
involuntary context switches= 91

runsolver used 0.253961 second user time and 0.564914 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-04 12:52:07
IDJOB=3744509
IDBENCH=92766
IDSOLVER=2326
FILE ID=node105/3744509-1338807127
RUNJOBID= node105-1338785386-13588
PBS_JOBID= 14636855
Free space on /tmp= 71268 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_6_ic.opb
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-3744509-1338807127/watcher-3744509-1338807127 -o /tmp/evaluation-result-3744509-1338807127/solver-3744509-1338807127 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744509-1338807127.opb -t 1800 -m 15500

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

MD5SUM BENCH= a269e9c33b53994688ddcd5a079e2567
RANDOM SEED=443937867

node105.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		: 2666.882
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	: 5333.76
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		: 2666.882
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	: 5331.91
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		: 2666.882
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	: 5331.91
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		: 2666.882
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	: 5331.91
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		: 2666.882
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	: 5438.54
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		: 2666.882
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	: 5331.91
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		: 2666.882
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	: 5331.92
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		: 2666.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27486096 kB
Buffers:          579524 kB
Cached:          3833048 kB
SwapCached:         1700 kB
Active:          1210196 kB
Inactive:        3293040 kB
Active(anon):      87292 kB
Inactive(anon):     4800 kB
Active(file):    1122904 kB
Inactive(file):  3288240 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             10872 kB
Writeback:             8 kB
AnonPages:         95428 kB
Mapped:            11524 kB
Shmem:                 0 kB
Slab:             744780 kB
SReclaimable:     186336 kB
SUnreclaim:       558444 kB
KernelStack:        1480 kB
PageTables:         4280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     211604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71256 MiB
End job on node105 at 2012-06-04 12:53:35