Trace number 3744575

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 93.7458 93.7795

General information on the benchmark

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

Verifier Data

OK	16633202

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-3744575-1338807741/watcher-3744575-1338807741 -o /tmp/evaluation-result-3744575-1338807741/solver-3744575-1338807741 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744575-1338807741.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 1333 0 0 0 0 0 0 0 20 0 1 0 346902657 9158656 1280 33554432000 4194304 8395647 140733588343744 140733588275800 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 2236 1289 374 1026 0 1206 0

[startup+0.0773371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=29052 CPUtime=0.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 6581 0 0 0 6 0 0 0 20 0 1 0 346902657 29749248 6174 33554432000 4194304 8395647 140733588343744 140733588275800 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 7263 6180 441 1026 0 6233 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29052

[startup+0.100362 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=32004 CPUtime=0.09 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 7321 0 0 0 8 1 0 0 20 0 1 0 346902657 32772096 6914 33554432000 4194304 8395647 140733588343744 140733588275800 5017757 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 8001 6914 476 1026 0 6971 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32004

[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=48416 CPUtime=0.28 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 11485 0 0 0 27 1 0 0 20 0 1 0 346902657 49577984 10917 33554432000 4194304 8395647 140733588343744 140733588339768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 12104 10917 578 1026 0 11074 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48416

[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=49716 CPUtime=0.69 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 12047 0 0 0 67 2 0 0 20 0 1 0 346902657 50909184 11411 33554432000 4194304 8395647 140733588343744 140733588339768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 12429 11411 588 1026 0 11399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49716

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=31225644/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=49716 CPUtime=1.49 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 12091 0 0 0 147 2 0 0 20 0 1 0 346902657 50909184 11453 33554432000 4194304 8395647 140733588343744 140733588338616 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 12429 11453 603 1026 0 11399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49716

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=31195072/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=55952 CPUtime=3.09 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 21140 0 0 0 304 5 0 0 20 0 1 0 346902657 57294848 13063 33554432000 4194304 8395647 140733588343744 140733588339176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 13988 13063 634 1026 0 12958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55952

[startup+6.30023 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 6661
/proc/meminfo: memFree=31213068/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=63660 CPUtime=6.29 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 23141 0 0 0 622 7 0 0 20 0 1 0 346902657 65187840 15033 33554432000 4194304 8395647 140733588343744 140733588338936 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 15915 15033 634 1026 0 14885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63660

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6661
/proc/meminfo: memFree=31203884/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=69236 CPUtime=12.68 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 24467 0 0 0 1257 11 0 0 20 0 1 0 346902657 70897664 16636 33554432000 4194304 8395647 140733588343744 140733588338984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 17309 16636 634 1026 0 16279 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69236

[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31203568/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=69664 CPUtime=25.47 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 30139 0 0 0 2529 18 0 0 20 0 1 0 346902657 71335936 16865 33554432000 4194304 8395647 140733588343744 140733588338952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 17416 16865 637 1026 0 16386 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 69664

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31202556/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=70252 CPUtime=51.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 30280 0 0 0 5076 30 0 0 20 0 1 0 346902657 71938048 17092 33554432000 4194304 8395647 140733588343744 140733588338872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 17563 17092 637 1026 0 16533 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70252

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

[startup+76.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31195240/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=77996 CPUtime=76.66 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 43139 0 0 0 7623 43 0 0 20 0 1 0 346902657 79867904 18935 33554432000 4194304 8395647 140733588343744 140733588338872 6721240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 19499 18935 643 1026 0 18469 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 77996

[startup+83.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31191644/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=81888 CPUtime=83.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 44090 0 0 0 8261 45 0 0 20 0 1 0 346902657 83853312 19821 33554432000 4194304 8395647 140733588343744 140733588339352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 20472 19821 643 1026 0 19442 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 81888

[startup+89.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31188668/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=84884 CPUtime=89.46 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 44874 0 0 0 8899 47 0 0 20 0 1 0 346902657 86921216 20602 33554432000 4194304 8395647 140733588343744 140733588338616 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21221 20602 643 1026 0 20191 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 84884

[startup+91.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31188420/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=85788 CPUtime=91.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50643 0 0 0 9057 49 0 0 20 0 1 0 346902657 87846912 20780 33554432000 4194304 8395647 140733588343744 140733588338552 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21447 20780 644 1026 0 20417 0
Current children cumulated CPU time (s) 91.06
Current children cumulated vsize (KiB) 85788

[startup+92.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31187056/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=86248 CPUtime=92.65 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50813 0 0 0 9216 49 0 0 20 0 1 0 346902657 88317952 20950 33554432000 4194304 8395647 140733588343744 140733588338952 6068827 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21562 20950 644 1026 0 20532 0
Current children cumulated CPU time (s) 92.65
Current children cumulated vsize (KiB) 86248

[startup+93.5069 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31186932/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=86680 CPUtime=93.46 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50867 0 0 0 9297 49 0 0 20 0 1 0 346902657 88760320 21004 33554432000 4194304 8395647 140733588343744 140733588339304 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21670 21004 644 1026 0 20640 0
Current children cumulated CPU time (s) 93.46
Current children cumulated vsize (KiB) 86680

[startup+93.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31186932/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=86680 CPUtime=93.65 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50867 0 0 0 9316 49 0 0 20 0 1 0 346902657 88760320 21004 33554432000 4194304 8395647 140733588343744 140733588339304 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21670 21004 644 1026 0 20640 0
Current children cumulated CPU time (s) 93.65
Current children cumulated vsize (KiB) 86680

Child status: 0
Real time (s): 93.7795
CPU time (s): 93.7458
CPU user time (s): 93.2438
CPU system time (s): 0.501923
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 104112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2438
system time used= 0.501923
maximum resident set size= 104560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50872
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= 21
involuntary context switches= 97

runsolver used 0.158975 second user time and 0.407937 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-04 13:02:21
IDJOB=3744575
IDBENCH=92777
IDSOLVER=2326
FILE ID=node103/3744575-1338807741
RUNJOBID= node103-1338783950-5001
PBS_JOBID= 14636845
Free space on /tmp= 71116 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_7_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-3744575-1338807741/watcher-3744575-1338807741 -o /tmp/evaluation-result-3744575-1338807741/solver-3744575-1338807741 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744575-1338807741.opb -t 1800 -m 15500

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

MD5SUM BENCH= ed0e62d21585297a53ea5d644fd52c40
RANDOM SEED=141123010

node103.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.189
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	: 5332.37
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.189
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.189
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.92
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.189
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.189
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	: 5331.91
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.189
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	: 5411.36
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.189
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.91
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.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31269340 kB
Buffers:          212728 kB
Cached:           471796 kB
SwapCached:         5648 kB
Active:           335660 kB
Inactive:         495668 kB
Active(anon):     144200 kB
Inactive(anon):     4740 kB
Active(file):     191460 kB
Inactive(file):   490928 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             10492 kB
Writeback:             0 kB
AnonPages:        149288 kB
Mapped:            11644 kB
Shmem:                 0 kB
Slab:             634312 kB
SReclaimable:      75036 kB
SUnreclaim:       559276 kB
KernelStack:        1472 kB
PageTables:         4100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     264784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 71104 MiB
End job on node103 at 2012-06-04 13:03:55