Trace number 4432873

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT2624620 21.5832 21.6586

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_5_ic.opb
MD5SUM790079d8dde4a901ca091da054907adb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2624620
Best CPU time to get the best result obtained on this benchmark0.996269
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 64481201
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2758714973
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 64481201
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2758714973
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 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute 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-4432873-1721140847.opb>
0.00/0.02	c original problem has 3435 variables (3435 bin, 0 int, 0 impl, 0 cont) and 6802 constraints
0.00/0.02	c problem read in 0.02
0.00/0.03	c presolving:
0.00/0.04	c (round 1, fast)       360 del vars, 633 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 16 clqs
0.00/0.05	c    (0.0s) running MILP presolver
0.00/0.05	c    (0.1s) MILP presolver found nothing
0.00/0.07	c (round 2, exhaustive) 360 del vars, 633 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 16 clqs
0.00/0.09	c (round 3, medium)     360 del vars, 3573 del conss, 8190 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 8206 clqs
0.09/0.11	c (round 4, exhaustive) 360 del vars, 14703 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 8206 clqs
0.09/0.13	c (round 5, exhaustive) 1725 del vars, 16068 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 4111 clqs
0.09/0.13	c (round 6, exhaustive) 1725 del vars, 16173 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 4111 clqs
0.09/0.14	c    (0.1s) probing: 51/1710 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14	c    (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.15	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
0.09/0.15	c  1725 deleted vars, 16173 deleted constraints, 11130 added constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.09/0.15	c  0 implications, 4111 cliques
0.09/0.15	c presolved problem has 1710 variables (1710 bin, 0 int, 0 impl, 0 cont) and 1759 constraints
0.09/0.15	c     150 constraints of type <knapsack>
0.09/0.15	c      16 constraints of type <setppc>
0.09/0.15	c    1470 constraints of type <and>
0.09/0.15	c       3 constraints of type <linear>
0.09/0.15	c     120 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 2)
0.09/0.15	c Presolving Time: 0.12
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 10.0.0
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.15	c limits/time = 3596.997009
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.15	c limits/memory = 27900
0.09/0.15	c 
0.09/0.15	c # belongs reading time to solving time?
0.09/0.15	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c timing/reading = TRUE
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.20	o 140658606
0.09/0.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.09/0.20	c L 0.2s|     1 |     0 |     0 |     - |feasjump|   0 |1710 |1799 |3229 |   0 |  0 |  40 |   0 |-4.000000e+00 | 1.406586e+08 |    Inf | unknown
0.20/0.21	c   0.2s|     1 |     0 |   336 |     - |    46M |   0 |1710 |1799 |3229 |   0 |  0 |  40 |   0 | 1.824464e+06 | 1.406586e+08 |7609.58%| unknown
0.30/0.40	c   0.4s|     1 |     0 |   447 |     - |    49M |   0 |1710 |1801 |3239 |  10 |  1 |  42 |   0 | 2.038687e+06 | 1.406586e+08 |6799.47%| unknown
0.50/0.55	c   0.5s|     1 |     0 |   501 |     - |    53M |   0 |1710 |1801 |3247 |  18 |  2 |  42 |   0 | 2.098618e+06 | 1.406586e+08 |6602.44%| unknown
0.59/0.65	c   0.7s|     1 |     0 |   538 |     - |    56M |   0 |1710 |1804 |3258 |  29 |  3 |  47 |   0 | 2.112561e+06 | 1.406586e+08 |6558.20%| unknown
0.79/0.81	c   0.8s|     1 |     0 |   583 |     - |    59M |   0 |1710 |1805 |3265 |  36 |  4 |  48 |   0 | 2.122320e+06 | 1.406586e+08 |6527.59%| unknown
0.88/0.94	c   0.9s|     1 |     0 |   633 |     - |    64M |   0 |1710 |1807 |3273 |  44 |  5 |  50 |   0 | 2.128403e+06 | 1.406586e+08 |6508.64%| unknown
0.99/1.08	c   1.1s|     1 |     0 |   670 |     - |    69M |   0 |1710 |1808 |3281 |  52 |  6 |  51 |   0 | 2.155933e+06 | 1.406586e+08 |6424.26%| unknown
1.09/1.19	c   1.2s|     1 |     0 |   722 |     - |    72M |   0 |1710 |1808 |3289 |  60 |  7 |  52 |   0 | 2.167771e+06 | 1.406586e+08 |6388.63%| unknown
1.18/1.29	c   1.3s|     1 |     0 |   808 |     - |    77M |   0 |1710 |1808 |3297 |  68 |  8 |  52 |   0 | 2.188661e+06 | 1.406586e+08 |6326.70%| unknown
1.29/1.39	c   1.4s|     1 |     0 |   859 |     - |    81M |   0 |1710 |1809 |3303 |  74 |  9 |  53 |   0 | 2.195668e+06 | 1.406586e+08 |6306.19%| unknown
1.58/1.63	c   1.6s|     1 |     0 |   946 |     - |    85M |   0 |1710 |1809 |3309 |  80 | 10 |  53 |   0 | 2.202677e+06 | 1.406586e+08 |6285.80%| unknown
1.58/1.64	c   1.6s|     1 |     0 |  1013 |     - |    86M |   0 |1710 |1813 |3314 |  86 | 11 |  57 |   0 | 2.206395e+06 | 1.406586e+08 |6275.04%| unknown
1.58/1.66	c   1.7s|     1 |     0 |  1054 |     - |    86M |   0 |1710 |1813 |3318 |  90 | 12 |  57 |   0 | 2.208375e+06 | 1.406586e+08 |6269.33%| unknown
1.58/1.67	c   1.7s|     1 |     0 |  1066 |     - |    86M |   0 |1710 |1813 |3321 |  93 | 13 |  57 |   0 | 2.208846e+06 | 1.406586e+08 |6267.97%| unknown
1.58/1.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.58/1.68	c   1.7s|     1 |     0 |  1103 |     - |    87M |   0 |1710 |1816 |3326 |  98 | 14 |  60 |   0 | 2.210997e+06 | 1.406586e+08 |6261.77%| unknown
1.58/1.69	c   1.7s|     1 |     0 |  1127 |     - |    87M |   0 |1710 |1824 |3329 | 101 | 15 |  68 |   0 | 2.211355e+06 | 1.406586e+08 |6260.74%| unknown
1.68/1.70	c   1.7s|     1 |     0 |  1187 |     - |    87M |   0 |1710 |1825 |3331 | 103 | 16 |  69 |   0 | 2.212736e+06 | 1.406586e+08 |6256.77%| unknown
1.68/1.72	c   1.7s|     1 |     0 |  1200 |     - |    88M |   0 |1710 |1825 |3329 | 107 | 17 |  69 |   0 | 2.213638e+06 | 1.406586e+08 |6254.18%| unknown
1.68/1.73	c   1.7s|     1 |     0 |  1234 |     - |    88M |   0 |1710 |1827 |3336 | 114 | 18 |  71 |   0 | 2.214134e+06 | 1.406586e+08 |6252.76%| unknown
1.68/1.74	c   1.7s|     1 |     0 |  1263 |     - |    88M |   0 |1710 |1827 |3337 | 115 | 19 |  71 |   0 | 2.215493e+06 | 1.406586e+08 |6248.86%| unknown
1.68/1.75	c   1.7s|     1 |     0 |  1287 |     - |    88M |   0 |1710 |1827 |3341 | 119 | 20 |  71 |   0 | 2.217265e+06 | 1.406586e+08 |6243.79%| unknown
2.99/3.05	c   3.1s|     1 |     2 |  7846 |     - |    89M |   0 |1710 |1841 |3341 | 119 | 21 |  85 |  34 | 2.231834e+06 | 1.406586e+08 |6202.38%| unknown
13.44/13.52	o 5908618
13.44/13.52	c *13.5s|    38 |    28 | 16924 | 422.6 |strongbr|  17 |1710 |1897 |3463 | 565 |  6 | 152 | 552 | 2.246059e+06 | 5.908618e+06 | 163.07%|   0.60%
15.63/15.79	c  15.8s|   100 |    74 | 25514 | 244.7 |   126M |  17 |1710 |1920 |3409 |1056 |  0 | 194 | 603 | 2.246059e+06 | 5.908618e+06 | 163.07%|   1.42%
15.94/16.06	o 4950342
15.94/16.06	c *16.1s|   109 |    63 | 26390 | 232.4 |    LP  |  18 |1710 |1894 |3462 |1123 |  1 | 196 | 607 | 2.246059e+06 | 4.950342e+06 | 120.40%|  10.70%
16.43/16.51	o 4570274
16.43/16.51	c *16.5s|   125 |    62 | 28326 | 218.1 |    LP  |  18 |1710 |1890 |3439 |1225 |  6 | 196 | 617 | 2.246059e+06 | 4.570274e+06 | 103.48%|  16.94%
17.03/17.15	o 2862354
17.03/17.15	c *17.2s|   148 |    42 | 30511 | 198.8 |strongbr|  19 |1710 |1888 |3417 |1402 | 10 | 200 | 626 | 2.246059e+06 | 2.862354e+06 |  27.44%|  19.75%
18.43/18.57	c  18.6s|   200 |    64 | 34187 | 165.3 |   137M |  19 |1710 |1910 |3629 |1728 |  3 | 243 | 678 | 2.246059e+06 | 2.862354e+06 |  27.44%|  21.52%
19.03/19.15	o 2666830
19.03/19.15	c *19.2s|   218 |    44 | 35866 | 159.4 |    LP  |  19 |1710 |1875 |3600 |1846 |  3 | 243 | 688 | 2.246059e+06 | 2.666830e+06 |  18.73%|  23.43%
19.82/19.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.82/19.96	c  20.0s|   300 |    41 | 38688 | 125.1 |   143M |  21 |1710 |1890 |3799 |1986 |  0 | 325 | 717 | 2.255853e+06 | 2.666830e+06 |  18.22%|  48.72%
20.22/20.39	o 2632756
20.22/20.39	c *20.4s|   314 |    36 | 39911 | 123.4 |    LP  |  21 |1710 |1898 |3836 |2042 |  2 | 333 | 727 | 2.287102e+06 | 2.632756e+06 |  15.11%|  52.52%
20.22/20.39	o 2624620
20.22/20.39	c *20.4s|   315 |    34 | 39929 | 123.1 |    LP  |  21 |1710 |1901 |3836 |2042 |  1 | 336 | 727 | 2.287102e+06 | 2.624620e+06 |  14.76%|  52.52%
21.41/21.56	c  21.6s|   400 |    15 | 43170 | 105.0 |   152M |  21 |1710 |1955 |3744 |2270 |  0 | 415 | 779 | 2.337533e+06 | 2.624620e+06 |  12.28%|  83.85%
21.51/21.61	c 
21.51/21.61	c SCIP Status        : problem is solved [optimal solution found]
21.51/21.61	c Solving Time (sec) : 21.61
21.51/21.61	c Solving Nodes      : 411
21.51/21.61	c Primal Bound       : +2.62462000000000e+06 (8 solutions)
21.51/21.61	c Dual Bound         : +2.62462000000000e+06
21.51/21.61	c Gap                : 0.00 %
21.51/21.61	s OPTIMUM FOUND
21.51/21.61	v -x2835 -x2819 -x2803 -x2787 -x2771 -x2755 -x2964 -x2948 -x2932 -x2916 -x2900 -x2884 -x2868 -x2852 -x2836 -x990 -x989 -x988 -x987 
21.51/21.61	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
21.51/21.61	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
21.51/21.61	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x1107 
21.51/21.61	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 
21.51/21.61	v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
21.51/21.61	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
21.51/21.61	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
21.51/21.61	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
21.51/21.61	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
21.51/21.61	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 
21.51/21.61	v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 
21.51/21.61	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 
21.51/21.61	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
21.51/21.61	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
21.51/21.61	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
21.51/21.61	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
21.51/21.61	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
21.51/21.61	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
21.51/21.61	v -x811 -x810 -x809 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 
21.51/21.61	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
21.51/21.61	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 
21.51/21.61	v -x566 -x565 -x564 -x563 -x562 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 
21.51/21.61	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 
21.51/21.61	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 
21.51/21.61	v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
21.51/21.61	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
21.51/21.61	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x444 -x443 -x442 
21.51/21.61	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 
21.51/21.61	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 
21.51/21.61	v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 
21.51/21.61	v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
21.51/21.61	v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
21.51/21.61	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
21.51/21.61	v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
21.51/21.61	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
21.51/21.61	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 
21.51/21.61	v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 
21.51/21.61	v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 
21.51/21.61	v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x379 -x378 -x377 -x376 -x375 -x374 
21.51/21.61	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
21.51/21.61	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
21.51/21.61	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
21.51/21.61	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
21.51/21.61	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
21.51/21.61	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 
21.51/21.61	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 
21.51/21.61	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 
21.51/21.61	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 
21.51/21.61	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 
21.51/21.61	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 
21.51/21.61	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 
21.51/21.61	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 
21.51/21.61	v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 
21.51/21.61	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
21.51/21.61	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 
21.51/21.61	v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 
21.51/21.61	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2745 -x2744 -x2743 -x2742 
21.51/21.61	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
21.51/21.61	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 
21.51/21.61	v -x2705 -x2704 x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 
21.51/21.61	v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
21.51/21.61	v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 
21.51/21.61	v x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 
21.51/21.61	v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 
21.51/21.61	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 
21.51/21.61	v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
21.51/21.61	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2563 
21.51/21.61	v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 
21.51/21.61	v -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 
21.51/21.61	v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 
21.51/21.61	v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 
21.51/21.61	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
21.51/21.61	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2277 -x2276 -x2275 -x2274 -x2273 
21.51/21.61	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
21.51/21.61	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 
21.51/21.61	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
21.51/21.61	v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 
21.51/21.61	v -x2201 -x2200 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 
21.51/21.61	v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 
21.51/21.61	v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 
21.51/21.61	v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 x2314 -x2313 -x2312 
21.51/21.61	v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
21.51/21.61	v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2095 
21.51/21.61	v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
21.51/21.61	v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 
21.51/21.61	v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 x2043 -x2042 -x2041 
21.51/21.61	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
21.51/21.61	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
21.51/21.61	v x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 
21.51/21.61	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
21.51/21.61	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
21.51/21.61	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 
21.51/21.61	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
21.51/21.61	v -x2097 -x2096 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
21.51/21.61	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
21.51/21.61	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
21.51/21.61	v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
21.51/21.61	v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
21.51/21.61	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 
21.51/21.61	v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
21.51/21.61	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
21.51/21.61	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
21.51/21.61	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 x1923 -x1922 -x1921 -x1920 -x1919 
21.51/21.61	v -x1918 -x1917 -x1916 -x1915 -x1914 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
21.51/21.61	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
21.51/21.61	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
21.51/21.61	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
21.51/21.61	v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
21.51/21.61	v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 
21.51/21.61	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 
21.51/21.61	v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 
21.51/21.61	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
21.51/21.61	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
21.51/21.61	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 
21.51/21.61	v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 
21.51/21.61	v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 
21.51/21.61	v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 
21.51/21.61	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1653 -x1652 -x1651 
21.51/21.61	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
21.51/21.61	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
21.51/21.61	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
21.51/21.61	v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
21.51/21.61	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
21.51/21.61	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
21.51/21.61	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
21.51/21.61	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
21.51/21.61	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
21.51/21.61	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 
21.51/21.61	v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 
21.51/21.61	v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
21.51/21.61	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
21.51/21.61	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 
21.51/21.61	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
21.51/21.61	v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1185 -x1184 -x1183 
21.51/21.61	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 
21.51/21.61	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
21.51/21.61	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
21.51/21.61	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 
21.51/21.61	v -x1111 -x1110 -x1109 -x1108 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 
21.51/21.61	v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
21.51/21.61	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 
21.51/21.61	v -x1239 -x1238 -x1237 -x1236 -x1235 x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 
21.51/21.61	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
21.51/21.61	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
21.51/21.61	v -x3300 -x3284 -x3268 -x3252 -x3236 -x3220 -x3429 -x3413 -x3397 -x3381 -x3365 -x3349 -x3333 -x3317 -x3301 -x3060 -x3044 -x3028 
21.51/21.61	v -x3012 -x2996 -x2980 -x3189 -x3173 -x3157 -x3141 -x3125 -x3109 -x3093 -x3077 -x3061 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 
21.51/21.61	v -x7 -x6 -x5 -x4 -x3 -x2 -x1 x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 x3289 -x3288 -x3287 -x3286 x3285 
21.51/21.61	v x3283 x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 x3274 -x3273 -x3272 -x3271 x3270 x3269 x3267 -x3266 -x3265 
21.51/21.61	v -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 x3254 x3253 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 
21.51/21.61	v -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 
21.51/21.61	v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3435 -x3434 -x3433 
21.51/21.61	v -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 
21.51/21.61	v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 
21.51/21.61	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 
21.51/21.61	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3364 -x3363 -x3362 -x3361 x3360 x3359 -x3358 -x3357 -x3356 
21.51/21.61	v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
21.51/21.61	v -x3336 -x3335 -x3334 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
21.51/21.61	v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 x3210 -x3209 x3208 
21.51/21.61	v x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 x3199 -x3198 -x3197 -x3196 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
21.51/21.61	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 
21.51/21.61	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
21.51/21.61	v -x2790 -x2789 -x2788 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 
21.51/21.61	v -x2770 -x2769 x2768 -x2767 x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2754 -x2753 -x2752 
21.51/21.61	v -x2751 -x2750 -x2749 -x2748 x2747 -x2746 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2963 -x2962 -x2961 x2960 -x2959 -x2958 
21.51/21.61	v -x2957 x2956 -x2955 -x2954 -x2953 -x2952 x2951 -x2950 -x2949 -x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 
21.51/21.61	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2931 -x2930 -x2929 x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 x2921 -x2920 
21.51/21.61	v -x2919 x2918 -x2917 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 x2904 -x2903 -x2902 -x2901 
21.51/21.61	v -x2899 -x2898 -x2897 x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881 
21.51/21.61	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 x2872 -x2871 -x2870 -x2869 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 
21.51/21.61	v -x2861 x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 x2844 -x2843 -x2842 
21.51/21.61	v -x2841 x2840 -x2839 -x2838 -x2837 -x3059 -x3058 -x3057 x3056 -x3055 -x3054 x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 
21.51/21.61	v -x3046 -x3045 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3027 
21.51/21.61	v -x3026 -x3025 -x3024 -x3023 x3022 -x3021 -x3020 -x3019 x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3011 -x3010 x3009 -x3008 
21.51/21.61	v -x3007 -x3006 x3005 -x3004 -x3003 -x3002 x3001 x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
21.51/21.61	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971 -x3195 
21.51/21.61	v -x3194 -x3193 x3192 -x3191 -x3190 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 x3180 -x3179 -x3178 -x3177 -x3176 -x3175 
21.51/21.61	v -x3174 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3156 -x3155 
21.51/21.61	v -x3154 -x3153 -x3152 -x3151 x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 -x3138 -x3137 -x3136 
21.51/21.61	v -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 
21.51/21.61	v -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3108 x3107 -x3106 -x3105 -x3104 x3103 -x3102 -x3101 -x3100 -x3099 -x3098 
21.51/21.61	v -x3097 -x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 x3079 
21.51/21.61	v -x3078 -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 
21.51/21.61	c SCIP Status        : problem is solved [optimal solution found]
21.51/21.61	c Total Time         :      21.61
21.51/21.61	c   solving          :      21.61
21.51/21.61	c   presolving       :       0.12 (included in solving)
21.51/21.61	c   reading          :       0.02 (included in solving)
21.51/21.61	c   copying          :       0.03 (5 #copies) (minimal 0.00, maximal 0.01, average 0.01)
21.51/21.61	c Original Problem   :
21.51/21.61	c   Problem name     : HOME/instance-4432873-1721140847.opb
21.51/21.61	c   Variables        : 3435 (3435 binary, 0 integer, 0 implicit integer, 0 continuous)
21.51/21.61	c   Constraints      : 6802 initial, 6802 maximal
21.51/21.61	c   Objective        : minimize, 645 non-zeros (abs.min = 1, abs.max = 6.44812e+07)
21.51/21.61	c Presolved Problem  :
21.51/21.61	c   Problem name     : t_HOME/instance-4432873-1721140847.opb
21.51/21.61	c   Variables        : 1710 (1710 binary, 0 integer, 0 implicit integer, 0 continuous)
21.51/21.61	c   Constraints      : 1759 initial, 1958 maximal
21.51/21.61	c   Objective        : minimize, 315 non-zeros (abs.min = 64, abs.max = 6.44812e+07)
21.51/21.61	c   Nonzeros         : 7605 constraint, 5957 clique table
21.51/21.61	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
21.51/21.61	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   gateextraction   :       0.02       0.00      4          0          0          0          0          0      11130       2940          0          0
21.51/21.61	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
21.51/21.61	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   milp             :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
21.51/21.61	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
21.51/21.61	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
21.51/21.61	c   knapsack         :       0.02       0.00     13          0          0          0          0          0       2940       8190          0          0
21.51/21.61	c   setppc           :       0.01       0.00     13          0          0          0          0          0          0          0          0          0
21.51/21.61	c   and              :       0.01       0.00      6          0       1365          0          0          0       1470          0          0          0
21.51/21.61	c   linear           :       0.02       0.00      9         45        315          0         45          0        633          0        105        315
21.51/21.61	c   logicor          :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
21.51/21.61	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   root node        :          -          -      -       1350          -          -       1350          -          -          -          -          -
21.51/21.61	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
21.51/21.61	c   benderslp        :          0          0          0          0        354          0          0         22          0          0          0          0          0          0          0
21.51/21.61	c   integral         :          0          0          0          0        354          0          0         22          0          0       1287          0          0        198        506
21.51/21.61	c   knapsack         :        150        150         21       8996          3          0          0         16       1998         34       1383         55          6          0          0
21.51/21.61	c   setppc           :         16+       398         21       7990          1          0          0          6        602          9        777          0          0          0          0
21.51/21.61	c   and              :       1470       1470       1033       8951          3          0          0          4       1396         24      39417       1663        924          0          0
21.51/21.61	c   linear           :          3+        21         21       8927          3          0          0          6        533         24        194          0          0          0          0
21.51/21.61	c   logicor          :        120+       345         21       3009          5          0          0          3       2636         23       1882          0          0          0          0
21.51/21.61	c   benders          :          0          0          0          0          5          0          0          5          0          0          0          0          0          0          0
21.51/21.61	c   fixedvar         :          0          0          0          0          5          0          0          5          0          0          0          0          0          0          0
21.51/21.61	c   countsols        :          0          0          0          0          5          0          0          5          0          0          0          0          0          0          0
21.51/21.61	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
21.51/21.61	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   integral         :      11.13       0.00       0.00       0.00      11.13       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   knapsack         :       0.04       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.01
21.51/21.61	c   setppc           :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   and              :       0.43       0.00       0.18       0.14       0.00       0.00       0.00       0.00       0.00       0.11
21.51/21.61	c   linear           :       0.03       0.00       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   logicor          :       0.02       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.01
21.51/21.61	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
21.51/21.61	c   dualfix          :          2          0          0          0
21.51/21.61	c   genvbounds       :          0          0          0          0
21.51/21.61	c   nlobbt           :          0          0          0          0
21.51/21.61	c   obbt             :          0          0          0          0
21.51/21.61	c   probing          :          0          0          0          0
21.51/21.61	c   pseudoobj        :       2495         61          4       1987
21.51/21.61	c   redcost          :       1842          0          0       1808
21.51/21.61	c   rootredcost      :          8          0          0        501
21.51/21.61	c   symmetry         :          0          0          0          0
21.51/21.61	c   vbounds          :       4498          0          0          0
21.51/21.61	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
21.51/21.61	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
21.51/21.61	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
21.51/21.61	c   redcost          :       0.05       0.00       0.00       0.05       0.00       0.00
21.51/21.61	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   symmetry         :       0.00       0.00       0.00       0.00       0.00       0.00
21.51/21.61	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.00
21.51/21.61	c Symmetry           :
21.51/21.61	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
21.51/21.61	c   orbital reduction:          0 reductions applied,          0 cutoffs
21.51/21.61	c   lexicographic red:          0 reductions applied,          0 cutoffs
21.51/21.61	c   shadow tree time :       0.00 s
21.51/21.61	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
21.51/21.61	c   propagation      :       0.01        102        101          -        342       34.9          5        7.4          -          -          -
21.51/21.61	c   infeasible LP    :       0.00         18         18          -         32       23.4          0        0.0         18       92.3          0
21.51/21.61	c   bound exceed. LP :       0.10        139         33          -        204       40.1          0        0.0          2        1.0        733
21.51/21.61	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
21.51/21.61	c   pseudo solution  :       0.00          2          2          -         12       46.2          0        0.0          -          -          -
21.51/21.61	c   applied globally :       0.00          -          -          2        403       33.5          -          -         20          -          -
21.51/21.61	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
21.51/21.61	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
21.51/21.61	c   cut pool         :       0.43          -        507         40          -          -       8988      19770          -          -          -          -          -    (maximal pool size:       3812)
21.51/21.61	c   aggregation      :       0.23       0.00        289         21          0          0         40        169          0         40         40          0          0
21.51/21.61	c   > cmir           :          -          -          -          -          -          -          -         73          0         13         13          0          -
21.51/21.61	c   > flowcover      :          -          -          -          -          -          -          -         57          0         15         15          0          -
21.51/21.61	c   > knapsackcover  :          -          -          -          -          -          -          -         39          0         12         12          0          -
21.51/21.61	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   clique           :       0.01       0.00         21         21          0          0          0          0          0          0          0          0          0
21.51/21.61	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   gomory           :       2.90       0.00        132         10          0          0       8148      17815          0        285        285          0          0
21.51/21.61	c   > gomorymi       :          -          -          -          -          -          -          -       9880          0        178        178          0          -
21.51/21.61	c   > strongcg       :          -          -          -          -          -          -          -       7935          0        107        107          0          -
21.51/21.61	c   impliedbounds    :       0.05       0.00        289         21          0          0        453        678          0        576        576          0          0
21.51/21.61	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
21.51/21.61	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   multilinear      :       0.00       0.00         82         21          0          0          0          0          0          0          0          0          0
21.51/21.61	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.51/21.61	c   rlt              :       0.83       0.00         38         10          0          0        125        430          0        194        194          0          0
21.51/21.61	c   zerohalf         :       0.16       0.00        142         20          0          0        222        678          0        245        245          0          0
21.51/21.61	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
21.51/21.61	c   hybrid           :       0.03       0.00        626         20       2270          0      19218        119          0       3691
21.51/21.61	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c Pricers            :   ExecTime  SetupTime      Calls       Vars
21.51/21.61	c   problem variables:       0.00          -          0          0
21.51/21.61	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
21.51/21.61	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c   relpscost        :      11.13       0.00        349          0          0          0       1287          0        212        506
21.51/21.61	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
21.51/21.61	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
21.51/21.61	c   LP solutions     :       0.00          -          -          5          5
21.51/21.61	c   relax solutions  :       0.00          -          -          0          0
21.51/21.61	c   pseudo solutions :       0.00          -          -          0          0
21.51/21.61	c   strong branching :       0.00          -          -          2          2
21.51/21.61	c   actconsdiving    :       0.00       0.00          0          0          0
21.51/21.61	c   adaptivediving   :       0.01       0.00          1          0          0
21.51/21.61	c   alns             :       0.07       0.00          3          0          0
21.51/21.61	c   bound            :       0.00       0.00          0          0          0
21.51/21.61	c   clique           :       0.02       0.00          1          0          0
21.51/21.61	c   coefdiving       :       0.00       0.00          0          0          0
21.51/21.61	c   completesol      :       0.00       0.00          0          0          0
21.51/21.61	c   conflictdiving   :       0.06       0.00          1          0          0
21.51/21.61	c   crossover        :       0.00       0.00          0          0          0
21.51/21.61	c   dins             :       0.00       0.00          0          0          0
21.51/21.61	c   distributiondivin:       0.01       0.00          0          0          0
21.51/21.61	c   dps              :       0.00       0.00          0          0          0
21.51/21.61	c   dualval          :       0.00       0.00          0          0          0
21.51/21.61	c   farkasdiving     :       0.30       0.00          1          0          0
21.51/21.61	c   feasjump         :       0.00       0.00          1          1          1
21.51/21.61	c   feaspump         :       0.28       0.00          1          0          0
21.51/21.61	c   fixandinfer      :       0.00       0.00          0          0          0
21.51/21.61	c   fracdiving       :       0.01       0.00          1          0          0
21.51/21.61	c   gins             :       0.00       0.00          0          0          0
21.51/21.61	c   guideddiving     :       0.00       0.00          0          0          0
21.51/21.61	c   indcoefdiving    :       0.00       0.00          0          0          0
21.51/21.61	c   indicator        :       0.00       0.00          0          0          0
21.51/21.61	c   indicatordiving  :       0.00       0.00          0          0          0
21.51/21.61	c   indoneopt        :       0.00       0.00          0          0          0
21.51/21.61	c   indrounding      :       0.00       0.00          0          0          0
21.51/21.61	c   indtwoopt        :       0.00       0.00          0          0          0
21.51/21.61	c   intdiving        :       0.00       0.00          0          0          0
21.51/21.61	c   intshifting      :       0.00       0.00          0          0          0
21.51/21.61	c   linesearchdiving :       0.00       0.00          0          0          0
21.51/21.61	c   localbranching   :       0.00       0.00          0          0          0
21.51/21.61	c   locks            :       0.00       0.00          1          0          0
21.51/21.61	c   lpface           :       0.00       0.00          0          0          0
21.51/21.61	c   mpec             :       0.00       0.00          0          0          0
21.51/21.61	c   multistart       :       0.00       0.00          0          0          0
21.51/21.61	c   mutation         :       0.00       0.00          0          0          0
21.51/21.61	c   nlpdiving        :       0.00       0.00          0          0          0
21.51/21.61	c   objpscostdiving  :       0.02       0.00          1          0          0
21.51/21.61	c   octane           :       0.00       0.00          0          0          0
21.51/21.61	c   ofins            :       0.00       0.00          0          0          0
21.51/21.61	c   oneopt           :       0.00       0.00          8          0          0
21.51/21.61	c   padm             :       0.00       0.00          0          0          0
21.51/21.61	c   proximity        :       0.00       0.00          0          0          0
21.51/21.61	c   pscostdiving     :       0.09       0.00          1          0          0
21.51/21.61	c   randrounding     :       0.05       0.00         27          0          0
21.51/21.61	c   rens             :       0.02       0.00          1          0          0
21.51/21.61	c   reoptsols        :       0.00       0.00          0          0          0
21.51/21.61	c   repair           :       0.00       0.00          0          0          0
21.51/21.61	c   rins             :       0.00       0.00          0          0          0
21.51/21.61	c   rootsoldiving    :       0.00       0.00          0          0          0
21.51/21.61	c   rounding         :       0.03       0.00        382          0          0
21.51/21.61	c   scheduler        :       0.00       0.00          0          0          0
21.51/21.61	c   shiftandpropagate:       0.00       0.00          1          0          0
21.51/21.61	c   shifting         :       0.08       0.00        229          0          0
21.51/21.61	c   simplerounding   :       0.00       0.00          0          0          0
21.51/21.61	c   smallcard        :       0.00       0.00          0          0          0
21.51/21.61	c   subnlp           :       0.00       0.00          0          0          0
21.51/21.61	c   trivial          :       0.00       0.00          2          0          0
21.51/21.61	c   trivialnegation  :       0.00       0.00          0          0          0
21.51/21.61	c   trustregion      :       0.00       0.00          0          0          0
21.51/21.61	c   trysol           :       0.00       0.00          0          0          0
21.51/21.61	c   twoopt           :       0.00       0.00          0          0          0
21.51/21.61	c   undercover       :       0.05       0.00          1          0          0
21.51/21.61	c   vbounds          :       0.02       0.00          1          0          0
21.51/21.61	c   veclendiving     :       0.00       0.00          1          0          0
21.51/21.61	c   zeroobj          :       0.00       0.00          0          0          0
21.51/21.61	c   zirounding       :       0.01       0.00        253          0          0
21.51/21.61	c   other solutions  :          -          -          -          0          -
21.51/21.61	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
21.51/21.61	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.51/21.61	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
21.51/21.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
21.51/21.61	c   primal LP        :       0.03         66          0       0.00       0.00       0.03         66
21.51/21.61	c   dual LP          :       3.51       1586      35203      32.75   10015.17       0.28        511
21.51/21.61	c   lex dual LP      :       0.00          0          0       0.00          -
21.51/21.61	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
21.51/21.61	c   resolve instable :       0.00          0          0       0.00          -
21.51/21.61	c   diving/probing LP:       0.81        264       8280      31.36   10276.61
21.51/21.61	c   strong branching :      10.23        779     124146     159.37   12135.99          -          -         40
21.51/21.61	c     (at root node) :          -         34       7101     208.85          -
21.51/21.61	c   conflict analysis:       0.07         77        733       9.52   11182.47
21.51/21.61	c B&B Tree           :
21.51/21.61	c   number of runs   :          1
21.51/21.61	c   nodes            :        411 (253 internal, 158 leaves)
21.51/21.61	c   feasible leaves  :          5
21.51/21.61	c   infeas. leaves   :         34
21.51/21.61	c   objective leaves :        119
21.51/21.61	c   nodes (total)    :        411 (253 internal, 158 leaves)
21.51/21.61	c   nodes left       :          0
21.51/21.61	c   max depth        :         21
21.51/21.61	c   max depth (total):         21
21.51/21.61	c   backtracks       :         87 (21.2%)
21.51/21.61	c   early backtracks :          0 (0.0%)
21.51/21.61	c   nodes exc. ref.  :          0 (0.0%)
21.51/21.61	c   delayed cutoffs  :         11
21.51/21.61	c   repropagations   :        168 (7662 domain reductions, 2 cutoffs)
21.51/21.61	c   avg switch length:       4.53
21.51/21.61	c   switching time   :       0.15
21.51/21.61	c Root Node          :
21.51/21.61	c   First LP value   : +1.82446407692308e+06
21.51/21.61	c   First LP Iters   :        336 (23907.78 Iter/sec)
21.51/21.61	c   First LP Time    :       0.01
21.51/21.61	c   Final Dual Bound : +2.23183355833488e+06
21.51/21.61	c   Final Root Iters :       1287
21.51/21.61	c   Root LP Estimate : +2.94129724582918e+06
21.51/21.61	c Solution           :
21.51/21.61	c   Solutions found  :          8 (8 improvements)
21.51/21.61	c   First Solution   : +1.40658606000000e+08   (in run 1, after 1 nodes, 0.20 seconds, depth 0, found by <feasjump>)
21.51/21.61	c   Gap First Sol.   :   infinite
21.51/21.61	c   Gap Last Sol.    :      14.76 %
21.51/21.61	c   Primal Bound     : +2.62462000000000e+06   (in run 1, after 411 nodes, 21.61 seconds, depth -1, found by <relaxation>)
21.51/21.61	c   Dual Bound       : +2.62462000000000e+06
21.51/21.61	c   Gap              :       0.00 %
21.51/21.61	c Integrals          :      Total       Avg%
21.51/21.61	c   primal-dual      :    1614.92      74.75
21.51/21.61	c   primal-ref       :          -          - (not evaluated)
21.51/21.61	c   dual-ref         :          -          - (not evaluated)
21.51/21.65	c Time complete: 21.5764.

Verifier Data

OK	2624620

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (56389 MiB free)
  memory of node 1: 64473 MiB (62461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432873-1721140847/watcher-4432873-1721140847 -o /tmp/evaluation-result-4432873-1721140847/solver-4432873-1721140847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858237 --watchdog 3760 pbscip -f HOME/instance-4432873-1721140847.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=860381, runsolver pid=860377
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 5.21 4.37 4.18 5/256 860383
/proc/meminfo: memFree=121625676/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=91576 memory=51688 CPUtime=0.09 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 10925 0 0 0 8 1 0 0 20 0 1 0 166253672 93773824 12922 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 22894 12922 3768 3540 0 11151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91576 KiB
Current children cumulated memory: 51688 KiB

[startup+0.205671 s]*
/proc/loadavg: 5.21 4.37 4.18 5/256 860383
/proc/meminfo: memFree=121591964/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=104256 memory=62108 CPUtime=0.2 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 13365 0 0 0 19 1 0 0 20 0 1 0 166253672 106758144 15527 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 26064 15527 3944 3540 0 14321 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104256 KiB
Current children cumulated memory: 62108 KiB

[startup+0.305491 s]*
/proc/loadavg: 5.21 4.37 4.18 5/256 860383
/proc/meminfo: memFree=121557876/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=119500 memory=76220 CPUtime=0.3 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 19313 0 0 0 28 2 0 0 20 0 1 0 166253672 122368000 19055 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 29875 19055 3960 3540 0 18132 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119500 KiB
Current children cumulated memory: 76220 KiB

[startup+0.700223 s]
/proc/loadavg: 5.21 4.37 4.18 5/256 860383
/proc/meminfo: memFree=121523408/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=119500 memory=76732 CPUtime=0.69 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 19440 0 0 0 67 2 0 0 20 0 1 0 166253672 122368000 19183 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 29875 19183 3960 3540 0 18132 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119500 KiB
Current children cumulated memory: 76732 KiB

[startup+1.50021 s]
/proc/loadavg: 5.11 4.37 4.18 5/256 860383
/proc/meminfo: memFree=121249244/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=141536 memory=96268 CPUtime=1.49 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 24350 0 0 0 146 3 0 0 20 0 1 0 166253672 144932864 24067 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 35384 24067 3960 3540 0 23641 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 96268 KiB

[startup+3.10545 s]
/proc/loadavg: 5.11 4.37 4.18 5/256 860383
/proc/meminfo: memFree=120869432/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=158252 memory=110336 CPUtime=3.09 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 28103 0 0 0 305 4 0 0 20 0 1 0 166253672 162050048 27584 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 39563 27584 3960 3540 0 27820 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158252 KiB
Current children cumulated memory: 110336 KiB

[startup+6.30019 s]
/proc/loadavg: 5.02 4.36 4.18 5/256 860383
/proc/meminfo: memFree=120663676/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=158252 memory=110336 CPUtime=6.27 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 28131 0 0 0 623 4 0 0 20 0 1 0 166253672 162050048 27584 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 39563 27584 3960 3540 0 27820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 158252 KiB
Current children cumulated memory: 110336 KiB

[startup+12.7002 s]
/proc/loadavg: 5.02 4.37 4.19 5/250 860419
/proc/meminfo: memFree=120362480/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=168084 memory=116484 CPUtime=12.65 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 29643 0 0 0 1261 4 0 0 20 0 1 0 166253672 172118016 29121 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 42021 29121 3982 3540 0 30278 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 168084 KiB
Current children cumulated memory: 116484 KiB

[startup+21.6586 s]
# the end of solver process 860381 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=21.5184 s, system=0.064781 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8003 s]
/proc/loadavg: 5.02 4.37 4.19 5/250 860419
/proc/meminfo: memFree=120362480/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=168084 memory=116484 CPUtime=12.75 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 29646 0 0 0 1271 4 0 0 20 0 1 0 166253672 172118016 29121 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 42021 29121 3982 3540 0 30278 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 168084 KiB
Current children cumulated memory: 116484 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.94 4.36 4.18 5/256 860430
/proc/meminfo: memFree=117953768/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=186528 memory=128364 CPUtime=15.94 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 32617 0 0 0 1590 4 0 0 20 0 1 0 166253672 191004672 32091 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 46632 32091 3982 3540 0 34889 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 186528 KiB
Current children cumulated memory: 128364 KiB

[startup+19.2002 s]
/proc/loadavg: 4.94 4.36 4.18 5/256 860430
/proc/meminfo: memFree=117062084/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=198996 memory=133380 CPUtime=19.13 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 33861 0 0 0 1908 5 0 0 20 0 1 0 166253672 203771904 33345 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 49749 33345 3982 3540 0 38006 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 198996 KiB
Current children cumulated memory: 133380 KiB

[startup+20.8002 s]
/proc/loadavg: 4.94 4.36 4.18 5/256 860432
/proc/meminfo: memFree=116811476/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=210432 memory=143644 CPUtime=20.72 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 36619 0 0 0 2067 5 0 0 20 0 1 0 166253672 215482368 35911 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 52608 35911 3982 3540 0 40865 0
Current children cumulated CPU time: 20.72 s
Current children cumulated vsize: 210432 KiB
Current children cumulated memory: 143644 KiB

[startup+21.2002 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860432
/proc/meminfo: memFree=116711268/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=210432 memory=143644 CPUtime=21.11 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 36621 0 0 0 2106 5 0 0 20 0 1 0 166253672 215482368 35911 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 52608 35911 3982 3540 0 40865 0
Current children cumulated CPU time: 21.11 s
Current children cumulated vsize: 210432 KiB
Current children cumulated memory: 143644 KiB

[startup+21.6002 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860432
/proc/meminfo: memFree=116711268/131524600 swapFree=131071996/131071996
[pid=860381] ppid=860377 vsize=211828 memory=144160 CPUtime=21.51 cores=5,7
/proc/860381/stat : 860381 (pbscip) R 860377 860381 858224 0 -1 4194304 36750 0 0 0 2146 5 0 0 20 0 1 0 166253672 216911872 36040 134679101440 4194304 18693293 140732683571184 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38715392 140732683576324 140732683576423 140732683576423 140732683583438 0
/proc/860381/statm: 52957 36040 3982 3540 0 41214 0
Current children cumulated CPU time: 21.51 s
Current children cumulated vsize: 211828 KiB
Current children cumulated memory: 144160 KiB

Child status: 0

Real time (s): 21.6586
CPU time (s): 21.5832
CPU user time (s): 21.5184
CPU system time (s): 0.064781
CPU usage (%): 99.6519
Max. virtual memory (cumulated for all children) (KiB): 211828
Max. memory (cumulated for all children) (KiB): 144160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5184
system time used= 0.064781
maximum resident set size= 144160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36769
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= 7
involuntary context switches= 34


# summary of solver processes directly reported to runsolver:
#   pid: 860381
#   total CPU time (s): 21.5832
#   total CPU user time (s): 21.5184
#   total CPU system time (s): 0.064781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062295 second user time and 0.114439 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-16 16:41:00
IDJOB=4432873
IDBENCH=155734
IDSOLVER=3059
FILE ID=nodeC032/4432873-1721140847
RUNJOBID= nodeC032-1721137255-858237
SLURM_JOB_ID= 7505711
Free space on /tmp= 889992 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432873-1721140847/watcher-4432873-1721140847 -o /tmp/evaluation-result-4432873-1721140847/solver-4432873-1721140847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858237 --watchdog 3760  pbscip -f HOME/instance-4432873-1721140847.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 790079d8dde4a901ca091da054907adb
RANDOM SEED=475894225

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.948
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.596
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.691
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.770
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.961
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.089
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3605.190
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.494
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121717272 kB
MemAvailable:   123151788 kB
Buffers:          415132 kB
Cached:          1846172 kB
SwapCached:            0 kB
Active:           727992 kB
Inactive:        8449508 kB
Active(anon):       1524 kB
Inactive(anon):  6952060 kB
Active(file):     726468 kB
Inactive(file):  1497448 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             68576 kB
Writeback:             0 kB
AnonPages:       6915232 kB
Mapped:           136084 kB
Shmem:             37720 kB
KReclaimable:     100844 kB
Slab:             207700 kB
SReclaimable:     100844 kB
SUnreclaim:       106856 kB
KernelStack:        4040 kB
PageTables:        23048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8044504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889756 MiB
End job on nodeC032 at 2024-07-16 16:41:21