Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 2624620 | 21.5832 | 21.6586 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_5_ic.opb |
| MD5SUM | 790079d8dde4a901ca091da054907adb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2624620 |
| Best CPU time to get the best result obtained on this benchmark | 0.996269 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3435 |
| Total number of constraints | 6802 |
| Number of constraints which are clauses | 2970 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3825 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 105 |
| 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 numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.
OK 2624620
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
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