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 | SAT | 24 | 3587.23 | 3597.11 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | 9def910af6a1ee27abcf25feff61a445 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 67.9647 |
| 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 | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4497432-1751390497.opb>
0.00/0.05 c original problem has 6027 variables (6027 bin, 0 int, 0 impl, 0 cont) and 21278 constraints
0.00/0.05 c problem read in 0.04
0.00/0.08 c presolving:
0.09/0.11 c (round 1, fast) 589 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15305 clqs
0.09/0.13 c (0.1s) running MILP presolver
0.09/0.15 c (0.1s) MILP presolver (2 rounds): 9 aggregations, 0 fixings, 0 bound changes
0.09/0.16 c (round 2, medium) 598 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15287 clqs
0.09/0.16 c (round 3, fast) 598 del vars, 1200 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15287 clqs
0.09/0.20 c (round 4, exhaustive) 598 del vars, 1201 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15287 clqs
0.19/0.27 c (round 5, exhaustive) 598 del vars, 20688 del conss, 4784 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15287 clqs
0.19/0.29 c (round 6, exhaustive) 733 del vars, 20823 del conss, 4784 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15017 clqs
0.29/0.33 c (0.3s) probing: 51/5294 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.33 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.33 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.34 c (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.34 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.29/0.34 c 733 deleted vars, 20823 deleted constraints, 4784 added constraints, 5 tightened bounds, 0 added holes, 9 changed sides, 10 changed coefficients
0.29/0.34 c 0 implications, 15017 cliques
0.29/0.34 c presolved problem has 5294 variables (5294 bin, 0 int, 0 impl, 0 cont) and 5239 constraints
0.29/0.34 c 1 constraints of type <knapsack>
0.29/0.34 c 584 constraints of type <setppc>
0.29/0.34 c 4649 constraints of type <and>
0.29/0.34 c 5 constraints of type <logicor>
0.29/0.34 c transformed objective value is always integral (scale: 1)
0.29/0.34 c Presolving Time: 0.26
0.29/0.34 c - non default parameters ----------------------------------------------------------------------
0.29/0.34 c # SCIP version 10.0.0
0.29/0.34 c
0.29/0.34 c # maximal time in seconds to run
0.29/0.34 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.34 c limits/time = 3596.998014
0.29/0.34 c
0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.34 c limits/memory = 27900
0.29/0.34 c
0.29/0.34 c # belongs reading time to solving time?
0.29/0.34 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c timing/reading = TRUE
0.29/0.34 c
0.29/0.34 c -----------------------------------------------------------------------------------------------
0.29/0.34 c start solving
0.29/0.34 c
0.68/0.79 o 27
0.68/0.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.68/0.79 c p 0.8s| 1 | 0 | 144 | - |shiftand| 0 |5294 |5370 |9887 | 0 | 0 | 130 | 0 | 5.000000e+00 | 2.700000e+01 | 440.00%| unknown
0.78/0.83 c 0.8s| 1 | 0 | 605 | - | 95M | 0 |5294 |5370 |9887 | 0 | 0 | 130 | 0 | 7.555556e+00 | 2.700000e+01 | 257.35%| unknown
0.78/0.84 o 24
0.78/0.84 c r 0.8s| 1 | 0 | 605 | - |shifting| 0 |5294 |5370 |9887 | 0 | 0 | 130 | 0 | 7.555556e+00 | 2.400000e+01 | 217.65%| unknown
1.78/1.87 c 1.9s| 1 | 0 | 712 | - | 116M | 0 |5294 |5570 |9934 | 47 | 1 | 130 | 0 | 8.000000e+00 | 2.400000e+01 | 200.00%| unknown
2.37/2.47 c 2.5s| 1 | 0 | 929 | - | 134M | 0 |5294 |5576 |9972 | 85 | 2 | 136 | 0 | 8.500000e+00 | 2.400000e+01 | 182.35%| unknown
2.57/2.60 c 2.6s| 1 | 0 | 1377 | - | 142M | 0 |5294 |5576 |9990 | 103 | 3 | 136 | 0 | 9.500000e+00 | 2.400000e+01 | 152.63%| unknown
2.77/2.87 c 2.9s| 1 | 0 | 1717 | - | 146M | 0 |5294 |5582 | 10k| 162 | 4 | 142 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown
3.17/3.23 c 3.2s| 1 | 0 | 2148 | - | 155M | 0 |5294 |5582 | 10k| 220 | 5 | 142 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown
3.37/3.48 c 3.5s| 1 | 0 | 3197 | - | 159M | 0 |5294 |5579 | 10k| 283 | 6 | 142 | 0 | 1.007143e+01 | 2.400000e+01 | 138.30%| unknown
3.87/3.96 c 4.0s| 1 | 0 | 4036 | - | 165M | 0 |5294 |5587 | 10k| 388 | 7 | 152 | 0 | 1.097839e+01 | 2.400000e+01 | 118.61%| unknown
4.17/4.29 c 4.3s| 1 | 0 | 4685 | - | 170M | 0 |5294 |5589 | 10k| 558 | 8 | 154 | 0 | 1.101587e+01 | 2.400000e+01 | 117.87%| unknown
4.67/4.75 c 4.7s| 1 | 0 | 5791 | - | 176M | 0 |5294 |5585 | 10k| 678 | 9 | 154 | 0 | 1.106759e+01 | 2.400000e+01 | 116.85%| unknown
5.27/5.35 c 5.3s| 1 | 0 | 6518 | - | 191M | 0 |5294 |5593 | 10k| 874 | 10 | 163 | 0 | 1.112734e+01 | 2.400000e+01 | 115.68%| unknown
5.47/5.53 c 5.5s| 1 | 0 | 7436 | - | 192M | 0 |5294 |5592 | 10k|1037 | 11 | 163 | 0 | 1.116130e+01 | 2.400000e+01 | 115.03%| unknown
5.77/5.85 c 5.8s| 1 | 0 | 9191 | - | 193M | 0 |5294 |5591 | 11k|1196 | 12 | 164 | 0 | 1.119484e+01 | 2.400000e+01 | 114.38%| unknown
6.07/6.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.07/6.11 c 6.1s| 1 | 0 | 10468 | - | 194M | 0 |5294 |5599 | 11k|1357 | 13 | 174 | 0 | 1.121745e+01 | 2.400000e+01 | 113.95%| unknown
6.36/6.41 c 6.4s| 1 | 0 | 11801 | - | 195M | 0 |5294 |5599 | 11k|1570 | 14 | 177 | 0 | 1.127888e+01 | 2.400000e+01 | 112.79%| unknown
6.56/6.63 c 6.6s| 1 | 0 | 12776 | - | 197M | 0 |5294 |5601 | 11k|1743 | 15 | 179 | 0 | 1.129762e+01 | 2.400000e+01 | 112.43%| unknown
6.86/6.98 c 7.0s| 1 | 0 | 14295 | - | 198M | 0 |5294 |5609 | 11k|1924 | 16 | 187 | 0 | 1.131475e+01 | 2.400000e+01 | 112.11%| unknown
7.36/7.40 c 7.4s| 1 | 0 | 16087 | - | 199M | 0 |5294 |5610 | 11k|2073 | 17 | 190 | 0 | 1.134127e+01 | 2.400000e+01 | 111.62%| unknown
7.56/7.68 c 7.7s| 1 | 0 | 17248 | - | 201M | 0 |5294 |5619 | 12k|2251 | 18 | 200 | 0 | 1.135701e+01 | 2.400000e+01 | 111.32%| unknown
7.96/8.09 c 8.1s| 1 | 0 | 18923 | - | 203M | 0 |5294 |5627 | 12k|2419 | 19 | 208 | 0 | 1.138376e+01 | 2.400000e+01 | 110.83%| unknown
8.46/8.55 c 8.5s| 1 | 0 | 21014 | - | 205M | 0 |5294 |5629 | 12k|2519 | 20 | 210 | 0 | 1.140080e+01 | 2.400000e+01 | 110.51%| unknown
8.75/8.89 c 8.9s| 1 | 0 | 22595 | - | 205M | 0 |5294 |5638 | 12k|2648 | 21 | 219 | 0 | 1.140768e+01 | 2.400000e+01 | 110.38%| unknown
9.06/9.17 c 9.2s| 1 | 0 | 23700 | - | 205M | 0 |5294 |5646 | 12k|2750 | 22 | 229 | 0 | 1.141179e+01 | 2.400000e+01 | 110.31%| unknown
9.25/9.38 c 9.4s| 1 | 0 | 24510 | - | 205M | 0 |5294 |5656 | 12k|2931 | 23 | 239 | 0 | 1.141444e+01 | 2.400000e+01 | 110.26%| unknown
9.55/9.65 c 9.6s| 1 | 0 | 25459 | - | 206M | 0 |5294 |5663 | 12k|2998 | 24 | 249 | 0 | 1.141637e+01 | 2.400000e+01 | 110.22%| unknown
10.06/10.17 c 10.2s| 1 | 0 | 28551 | - | 206M | 0 |5294 |5664 | 12k|3071 | 25 | 250 | 0 | 1.141709e+01 | 2.400000e+01 | 110.21%| unknown
10.85/10.97 c 11.0s| 1 | 0 | 33456 | - | 206M | 0 |5294 |5665 | 12k|3188 | 26 | 254 | 0 | 1.141841e+01 | 2.400000e+01 | 110.19%| unknown
11.55/11.67 c 11.7s| 1 | 0 | 37848 | - | 206M | 0 |5294 |5666 | 12k|3330 | 27 | 255 | 0 | 1.141907e+01 | 2.400000e+01 | 110.17%| unknown
11.85/11.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.85/11.94 c 11.9s| 1 | 0 | 39248 | - | 206M | 0 |5294 |5676 | 12k|3426 | 28 | 265 | 0 | 1.141923e+01 | 2.400000e+01 | 110.17%| unknown
12.05/12.12 c 12.1s| 1 | 0 | 40068 | - | 206M | 0 |5294 |5678 | 12k|3465 | 29 | 267 | 0 | 1.141931e+01 | 2.400000e+01 | 110.17%| unknown
12.14/12.24 c 12.2s| 1 | 0 | 40515 | - | 206M | 0 |5294 |5688 | 12k|3531 | 30 | 277 | 0 | 1.141934e+01 | 2.400000e+01 | 110.17%| unknown
12.34/12.40 c 12.4s| 1 | 0 | 41149 | - | 206M | 0 |5294 |5691 | 12k|3575 | 31 | 280 | 0 | 1.141939e+01 | 2.400000e+01 | 110.17%| unknown
12.34/12.45 c 12.4s| 1 | 0 | 41189 | - | 206M | 0 |5294 |5698 | 12k|3582 | 32 | 290 | 0 | 1.141939e+01 | 2.400000e+01 | 110.17%| unknown
13.64/13.76 c 13.8s| 1 | 0 | 48295 | - | 207M | 0 |5294 |5708 | 12k|3600 | 33 | 300 | 0 | 1.142440e+01 | 2.400000e+01 | 110.08%| unknown
14.05/14.15 c 14.1s| 1 | 0 | 50340 | - | 207M | 0 |5294 |5711 | 12k|3734 | 34 | 303 | 0 | 1.142593e+01 | 2.400000e+01 | 110.05%| unknown
14.14/14.29 c 14.3s| 1 | 0 | 50794 | - | 207M | 0 |5294 |5712 | 12k|3824 | 35 | 304 | 0 | 1.142628e+01 | 2.400000e+01 | 110.04%| unknown
14.44/14.50 c 14.5s| 1 | 0 | 51725 | - | 208M | 0 |5294 |5719 | 12k|3910 | 36 | 311 | 0 | 1.142657e+01 | 2.400000e+01 | 110.04%| unknown
14.54/14.62 c 14.6s| 1 | 0 | 52180 | - | 208M | 0 |5294 |5727 | 12k|3953 | 37 | 319 | 0 | 1.142671e+01 | 2.400000e+01 | 110.03%| unknown
14.64/14.78 c 14.8s| 1 | 0 | 52902 | - | 208M | 0 |5294 |5728 | 12k|3978 | 38 | 320 | 0 | 1.142695e+01 | 2.400000e+01 | 110.03%| unknown
14.74/14.84 c 14.8s| 1 | 0 | 52998 | - | 208M | 0 |5294 |5727 | 12k|3995 | 39 | 321 | 0 | 1.142698e+01 | 2.400000e+01 | 110.03%| unknown
14.74/14.89 c 14.9s| 1 | 0 | 53000 | - | 208M | 0 |5294 |5727 | 12k|3998 | 40 | 322 | 0 | 1.142698e+01 | 2.400000e+01 | 110.03%| unknown
21.92/22.02 c 22.0s| 1 | 2 | 66380 | - | 208M | 0 |5294 |5728 | 12k|3998 | 41 | 324 | 11 | 1.142891e+01 | 2.400000e+01 | 109.99%| unknown
642.50/644.63 c 645s| 100 | 101 | 1873k|18392.9 | 288M | 19 |5294 |8784 | 15k| 26k| 10 |3398 |1082 | 1.174099e+01 | 2.400000e+01 | 104.41%| unknown
1066.38/1069.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1066.38/1069.64 c 1070s| 200 | 201 | 3155k|15589.1 | 396M | 25 |5294 |9456 | 15k| 39k| 2 |4107 |1814 | 1.179334e+01 | 2.400000e+01 | 103.50%| unknown
1710.08/1715.10 c 1715s| 300 | 301 | 4893k|16189.9 | 516M | 25 |5294 | 10k| 15k| 53k| 2 |5358 |2761 | 1.179334e+01 | 2.400000e+01 | 103.50%| unknown
2239.18/2245.59 c 2246s| 400 | 401 | 6294k|15643.3 | 562M | 27 |5294 | 12k| 15k| 65k| 2 |6913 |3676 | 1.181145e+01 | 2.400000e+01 | 103.19%| unknown
3402.99/3412.48 c 3412s| 500 | 501 | 9259k|18450.9 | 662M | 27 |5294 | 12k| 15k| 94k| 7 |6913 |5328 | 1.194405e+01 | 2.400000e+01 | 100.94%| unknown
3587.12/3597.01 c
3587.12/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.12/3597.01 c Solving Time (sec) : 3597.00
3587.12/3597.01 c Solving Nodes : 528
3587.12/3597.01 c Primal Bound : +2.40000000000000e+01 (39 solutions)
3587.12/3597.01 c Dual Bound : +1.19489358553635e+01
3587.12/3597.01 c Gap : 100.85 %
3587.12/3597.01 s SATISFIABLE
3587.12/3597.01 v -x6027 -x6026 x6025 x6024 x6022 -x6020 -x6019 -x6018 -x6017 x6015 -x6013 -x6012 -x6011 -x6010 x6008 -x6006 -x6005 -x6004 -x6003
3587.12/3597.01 v -x6001 -x6000 x5999 x5998 x5996 -x5994 -x5993 -x5992 -x5991 -x5989 -x5987 -x5985 -x5984 -x5983 -x5982 x5980 -x5978 -x5977 -x5976
3587.12/3597.01 v -x5975 x5973 -x5971 -x5970 x5969 x5968 x5966 -x5964 -x5963 -x5962 -x5961 x5959 -x5957 -x5956 -x5955 -x5954 -x5952 -x5950
3587.12/3597.01 v -x5949 -x5948 -x5947 -x5945 -x5943 -x5942 -x5941 -x5940 -x5938 -x5937 -x5936 -x5935 -x5933 -x5932 -x5931 -x5930 x5928 -x5926
3587.12/3597.01 v -x5925 -x5924 -x5923 -x5921 -x5919 -x5918 -x5917 -x5916 -x5914 -x5912 -x5911 -x5910 -x5909 -x5907 -x5905 -x5904 -x5903 x5902
3587.12/3597.01 v x5900 -x5898 -x5897 -x5896 -x5895 x5893 -x5891 -x5890 -x5889 -x5888 -x5886 -x5884 -x5883 -x5882 -x5881 -x5879 -x5877 -x5876
3587.12/3597.01 v -x5875 -x5874 -x5872 -x5871 -x5870 -x5869 -x5867 -x5865 -x5864 -x5863 -x5862 x5860 -x5858 -x5857 -x5856 -x5855 -x5853 -x5852
3587.12/3597.01 v -x5851 -x5850 -x5848 -x5846 -x5845 -x5844 -x5843 -x5841 -x5839 -x5838 -x5837 x5836 x5834 -x5832 -x5831 -x5830 -x5829 -x5827 -x5826
3587.12/3597.01 v -x5825 -x5824 x5822 -x5820 -x5819 x5818 x5817 x5815 -x5813 -x5812 -x5811 x5810 -x5808 -x5807 x5806 x5805 x5803 -x5801 -x5800
3587.12/3597.01 v -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782
3587.12/3597.01 v -x5781 -x5780 -x5779 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763 -x5762
3587.12/3597.01 v -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743
3587.12/3597.01 v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723
3587.12/3597.01 v -x5722 -x5721 -x5720 -x5719 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704 -x5703
3587.12/3597.01 v -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 x5684
3587.12/3597.01 v x5683 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664
3587.12/3597.01 v -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5645 -x5644
3587.12/3597.01 v -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625
3587.12/3597.01 v -x5624 -x5623 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5609 -x5608 -x5607 -x5606
3587.12/3597.01 v -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587
3587.12/3597.01 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567
3587.12/3597.01 v -x5566 -x5565 -x5564 -x5563 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 x5552 x5551 -x5549 -x5548 -x5547
3587.12/3597.01 v -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529
3587.12/3597.01 v -x5528 -x5527 -x5526 -x5525 -x5524 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510
3587.12/3597.01 v -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5495 -x5494 -x5493 -x5492 -x5491
3587.12/3597.01 v -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473
3587.12/3597.01 v -x5472 -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454
3587.12/3597.01 v -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436
3587.12/3597.01 v -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418
3587.12/3597.01 v -x5417 -x5416 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399
3587.12/3597.01 v -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 x5389 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380
3587.12/3597.01 v -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362
3587.12/3597.01 v -x5360 -x5359 x5358 x5357 -x5355 -x5354 -x5353 -x5352 -x5350 -x5349 -x5348 -x5347 -x5345 -x5343 -x5342 -x5341 -x5340 x5338
3587.12/3597.01 v -x5336 -x5335 -x5334 -x5333 -x5331 -x5330 -x5329 -x5328 -x5326 -x5325 -x5324 -x5323 -x5321 -x5320 x5319 x5318 -x5316 -x5315 -x5314
3587.12/3597.01 v -x5313 x5311 -x5309 -x5308 -x5307 -x5306 x5304 -x5302 -x5301 -x5300 -x5299 -x5297 -x5296 -x5295 -x5294 -x5292 x5290 -x5288
3587.12/3597.01 v -x5287 -x5286 -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5277 -x5276 -x5275 -x5273 -x5271 -x5270 -x5269 -x5268 -x5266 -x5264
3587.12/3597.01 v -x5263 -x5262 -x5261 -x5259 -x5257 -x5256 -x5255 -x5254 -x5252 -x5250 -x5249 -x5248 x5247 -x5245 -x5244 -x5243 -x5242 -x5240
3587.12/3597.01 v -x5238 -x5237 -x5236 -x5235 -x5233 -x5231 -x5230 -x5229 -x5228 x5226 -x5224 -x5223 -x5222 -x5221 -x5219 -x5218 -x5217 -x5216
3587.12/3597.01 v -x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5205 -x5204 -x5203 -x5202 -x5200 -x5199 -x5198 -x5197 -x5195 -x5193 -x5191 -x5190
3587.12/3597.01 v -x5189 x5188 -x5186 -x5185 x5184 x5183 x5181 -x5179 -x5178 -x5177 -x5176 x5174 -x5172 -x5171 -x5170 -x5169 x5167 x5165
3587.12/3597.01 v -x5163 -x5162 -x5161 x5160 x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5144 -x5143 -x5142
3587.12/3597.01 v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124
3587.12/3597.01 v -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106 -x5105 -x5104
3587.12/3597.01 v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5084
3587.12/3597.01 v -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065
3587.12/3597.01 v -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5047 -x5046 -x5045
3587.12/3597.01 v -x5044 -x5043 -x5042 -x5041 -x5040 x5039 x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026
3587.12/3597.01 v -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006
3587.12/3597.01 v -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4988 -x4987 -x4986
3587.12/3597.01 v -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967
3587.12/3597.01 v -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950 -x4949 -x4948
3587.12/3597.01 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4928
3587.12/3597.01 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
3587.12/3597.01 v -x4908 x4907 x4906 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890
3587.12/3597.01 v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871
3587.12/3597.01 v -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853
3587.12/3597.01 v -x4852 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
3587.12/3597.01 v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815
3587.12/3597.01 v -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4796
3587.12/3597.01 v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779
3587.12/3597.01 v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760
3587.12/3597.01 v -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 x4744 -x4742 -x4741
3587.12/3597.01 v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723
3587.12/3597.01 v -x4722 -x4721 -x4720 -x4719 -x4718 x4717 -x4715 -x4714 -x4713 -x4712 -x4710 -x4709 -x4708 -x4707 -x4705 -x4704 -x4703 -x4702
3587.12/3597.01 v -x4700 -x4699 -x4698 -x4697 -x4695 -x4694 -x4693 -x4692 -x4690 -x4689 -x4688 -x4687 -x4685 -x4684 -x4683 -x4682 -x4680 -x4679
3587.12/3597.01 v -x4678 -x4677 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4665 -x4664 -x4663 -x4662 -x4660 -x4659 -x4658 -x4657
3587.12/3597.01 v -x4655 -x4654 -x4653 -x4652 -x4650 -x4649 -x4648 -x4647 -x4645 -x4644 -x4643 -x4642 -x4640 -x4639 -x4638 -x4637 -x4635 -x4634
3587.12/3597.01 v -x4633 -x4632 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4620 -x4619 -x4618 -x4617 -x4615 -x4614 -x4613 -x4612
3587.12/3597.01 v -x4610 -x4609 -x4608 -x4607 -x4605 -x4604 -x4603 -x4602 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593 -x4592 -x4590
3587.12/3597.01 v -x4589 -x4588 -x4587 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579 -x4578 -x4577 -x4575 -x4574 -x4573 -x4572 -x4570 -x4569 -x4568
3587.12/3597.01 v -x4567 -x4565 -x4564 -x4563 -x4562 -x4560 -x4559 -x4558 -x4557 -x4555 -x4554 -x4553 -x4552 -x4550 -x4549 -x4548 -x4547 -x4545
3587.12/3597.01 v -x4544 -x4543 -x4542 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532 -x4530 -x4529 -x4528 -x4527 -x4525 -x4524 -x4523
3587.12/3597.01 v -x4522 -x4520 -x4519 -x4518 -x4517 -x4515 -x4514 x4513 x4512 -x4510 -x4509 x4508 x4507 -x4505 -x4504 -x4503 -x4502 -x4500
3587.12/3597.01 v -x4499 -x4498 -x4497 -x4495 -x4494 -x4493 -x4492 -x4490 -x4489 -x4488 -x4487 -x4485 -x4484 -x4483 -x4482 -x4480 -x4479 -x4478
3587.12/3597.01 v -x4477 -x4475 -x4474 -x4473 -x4472 -x4470 -x4469 -x4468 -x4467 -x4465 -x4464 x4463 x4462 -x4460 -x4459 x4458 x4457 -x4455 -x4454
3587.12/3597.01 v -x4453 -x4452 -x4450 -x4449 -x4448 -x4447 -x4445 -x4444 -x4443 -x4442 -x4440 -x4439 -x4438 -x4437 -x4435 -x4434 -x4433 -x4432
3587.12/3597.01 v -x4430 -x4429 -x4428 -x4427 -x4425 -x4424 -x4423 -x4422 -x4420 -x4419 x4418 x4417 -x4415 -x4414 -x4413 -x4412 -x4410 -x4409
3587.12/3597.01 v -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4400 -x4399 -x4398 -x4397 -x4395 -x4394 x4393 x4392 -x4390 -x4389 -x4388 -x4387
3587.12/3597.01 v -x4385 -x4384 -x4383 -x4382 -x4380 -x4379 -x4378 -x4377 -x4375 -x4374 x4373 x4372 -x4370 -x4369 x4368 x4367 -x4365 -x4364
3587.12/3597.01 v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 x4353 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344
3587.12/3597.01 v -x4343 -x4342 -x4341 x4339 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 x4325 -x4323 -x4322
3587.12/3597.01 v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 x4311 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302
3587.12/3597.01 v -x4301 -x4300 -x4299 x4297 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4283 -x4281 -x4280
3587.12/3597.01 v -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4269 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260
3587.12/3597.01 v -x4259 -x4258 -x4257 x4255 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 x4241 -x4239 -x4238
3587.12/3597.01 v -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 x4227 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218
3587.12/3597.01 v -x4217 -x4216 -x4215 x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4199 -x4197 -x4196
3587.12/3597.01 v -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4185 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176
3587.12/3597.01 v -x4175 -x4174 -x4173 -x4171 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4157 -x4155 -x4154
3587.12/3597.01 v -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 x4143 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134
3587.12/3597.01 v -x4133 -x4132 -x4131 x4129 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4115 -x4114 -x4113
3587.12/3597.01 v -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 x4103 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093
3587.12/3597.01 v -x4092 -x4091 x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 x4075 -x4073 -x4072 -x4071
3587.12/3597.01 v -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4061 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051
3587.12/3597.01 v -x4050 -x4049 -x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4033 -x4031 -x4030 -x4029
3587.12/3597.01 v -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009
3587.12/3597.01 v -x4008 -x4007 x4005 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3991 -x3989 -x3988 -x3987
3587.12/3597.01 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3977 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967
3587.12/3597.01 v -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3949 -x3948 -x3947 -x3946
3587.12/3597.01 v -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3937 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927
3587.12/3597.01 v -x3926 -x3925 -x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3909 -x3907 -x3906 -x3905
3587.12/3597.01 v -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3895 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885
3587.12/3597.01 v -x3884 x3883 x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 x3867 -x3865 -x3864 -x3863
3587.12/3597.01 v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843
3587.12/3597.01 v -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3825 -x3823 -x3822 -x3821
3587.12/3597.01 v -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801
3587.12/3597.01 v -x3800 -x3799 x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3783 -x3781 -x3780 -x3779
3587.12/3597.01 v -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759
3587.12/3597.01 v -x3758 -x3757 -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 x3741 -x3739 -x3738 -x3737
3587.12/3597.01 v -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717
3587.12/3597.01 v -x3716 -x3715 -x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3699 -x3697 -x3696 -x3695
3587.12/3597.01 v -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676
3587.12/3597.01 v -x3675 -x3674 x3673 x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 x3657 -x3655 -x3654 -x3653
3587.12/3597.01 v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 x3643 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633
3587.12/3597.01 v -x3632 -x3631 x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 x3615 -x3613 -x3612 -x3611
3587.12/3597.01 v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 x3603 x3601 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591
3587.12/3597.01 v -x3590 x3589 x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571
3587.12/3597.01 v -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552
3587.12/3597.01 v -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534
3587.12/3597.01 v -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515
3587.12/3597.01 v -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496
3587.12/3597.01 v -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479
3587.12/3597.01 v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460
3587.12/3597.01 v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441
3587.12/3597.01 v -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3423 -x3422
3587.12/3597.01 v -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404
3587.12/3597.01 v -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385
3587.12/3597.01 v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3369 -x3368 -x3367 -x3366
3587.12/3597.01 v -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349
3587.12/3597.01 v -x3348 -x3347 -x3346 -x3345 -x3344 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330
3587.12/3597.01 v -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3315 -x3314 -x3313 -x3312 -x3311
3587.12/3597.01 v -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293
3587.12/3597.01 v -x3292 -x3291 -x3290 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274
3587.12/3597.01 v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255
3587.12/3597.01 v -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237
3587.12/3597.01 v -x3236 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219
3587.12/3597.01 v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200
3587.12/3597.01 v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 x3183 x3182
3587.12/3597.01 v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163
3587.12/3597.01 v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144
3587.12/3597.01 v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3126 -x3125
3587.12/3597.01 v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107
3587.12/3597.01 v -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088
3587.12/3597.01 v -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3072 -x3071 -x3070 -x3069
3587.12/3597.01 v -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052
3587.12/3597.01 v -x3051 -x3050 -x3049 -x3048 -x3047 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033
3587.12/3597.01 v -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3018 -x3017 -x3016 -x3015 -x3014
3587.12/3597.01 v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996
3587.12/3597.01 v -x2995 -x2994 -x2993 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977
3587.12/3597.01 v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
3587.12/3597.01 v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
3587.12/3597.01 v -x2939 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
3587.12/3597.01 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903
3587.12/3597.01 v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
3587.12/3597.01 v -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866
3587.12/3597.01 v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847
3587.12/3597.01 v -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 x2831 -x2829 -x2828
3587.12/3597.01 v -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810
3587.12/3597.01 v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792
3587.12/3597.01 v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774
3587.12/3597.01 v -x2773 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756
3587.12/3597.01 v -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738
3587.12/3597.01 v -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720
3587.12/3597.01 v -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701
3587.12/3597.01 v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683
3587.12/3597.01 v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665
3587.12/3597.01 v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646
3587.12/3597.01 v -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629
3587.12/3597.01 v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611
3587.12/3597.01 v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592
3587.12/3597.01 v -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
3587.12/3597.01 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
3587.12/3597.01 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2539 -x2538 -x2537
3587.12/3597.01 v -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519
3587.12/3597.01 v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502
3587.12/3597.01 v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
3587.12/3597.01 v -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465
3587.12/3597.01 v -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447
3587.12/3597.01 v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429
3587.12/3597.01 v -x2428 -x2427 -x2426 x2425 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410
3587.12/3597.01 v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392
3587.12/3597.01 v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374
3587.12/3597.01 v -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2365 -x2364 x2363 x2362 x2360 -x2358 -x2357 -x2356 -x2355 -x2353 -x2351
3587.12/3597.01 v -x2350 -x2349 -x2348 -x2346 -x2344 -x2343 -x2342 -x2341 x2339 -x2337 -x2336 -x2335 -x2334 -x2332 -x2330 -x2329 -x2328 -x2327
3587.12/3597.01 v -x2325 -x2323 -x2322 -x2321 -x2320 x2318 -x2316 -x2315 x2314 x2313 x2311 -x2309 -x2308 -x2307 -x2306 x2304 -x2302 -x2301 -x2300
3587.12/3597.01 v -x2299 x2297 -x2295 -x2294 -x2293 -x2292 -x2290 -x2288 -x2287 -x2286 -x2285 -x2283 -x2281 -x2280 -x2279 -x2278 x2276 -x2274
3587.12/3597.01 v -x2273 -x2272 -x2271 -x2269 -x2267 -x2266 -x2265 -x2264 -x2262 -x2260 -x2259 -x2258 -x2257 -x2255 -x2253 -x2252 -x2251 -x2250
3587.12/3597.01 v -x2248 -x2246 -x2245 -x2244 -x2243 -x2241 -x2239 -x2238 -x2237 -x2236 -x2234 -x2232 -x2231 -x2230 x2229 x2227 -x2225 -x2224
3587.12/3597.01 v -x2223 -x2222 -x2220 -x2218 -x2217 -x2216 -x2215 -x2213 -x2211 -x2210 -x2209 -x2208 x2206 -x2204 -x2203 -x2202 -x2201 -x2199
3587.12/3597.01 v -x2197 -x2196 -x2195 -x2194 -x2192 -x2190 -x2189 -x2188 -x2187 -x2185 -x2183 -x2182 -x2181 -x2180 -x2178 -x2176 -x2175 -x2174
3587.12/3597.01 v -x2173 -x2171 -x2169 -x2168 -x2167 -x2166 -x2164 -x2162 -x2161 -x2160 x2159 x2157 -x2155 -x2154 x2153 x2152 x2150 -x2148
3587.12/3597.01 v -x2147 -x2146 -x2145 x2143 -x2141 -x2140 -x2139 -x2138 x2136 -x2134 -x2133 -x2132 x2131 x2129 -x2127 -x2126 -x2125 x2124 x2122
3587.12/3597.01 v -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102
3587.12/3597.01 v -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2084 -x2083 -x2082
3587.12/3597.01 v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064
3587.12/3597.01 v -x2063 -x2062 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044
3587.12/3597.01 v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024
3587.12/3597.01 v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005
3587.12/3597.01 v -x2004 x2003 x2002 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1988 -x1987 -x1986 -x1985
3587.12/3597.01 v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
3587.12/3597.01 v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
3587.12/3597.01 v -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1928 -x1927 -x1926
3587.12/3597.01 v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907
3587.12/3597.01 v -x1906 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888
3587.12/3597.01 v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 x1871 x1870 -x1868 -x1867
3587.12/3597.01 v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
3587.12/3597.01 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831
3587.12/3597.01 v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1814 -x1813 -x1812
3587.12/3597.01 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794
3587.12/3597.01 v -x1793 -x1792 -x1791 -x1790 -x1789 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
3587.12/3597.01 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1760 -x1759 -x1758 -x1757 -x1756
3587.12/3597.01 v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
3587.12/3597.01 v -x1737 -x1736 -x1735 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720
3587.12/3597.01 v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 x1708 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
3587.12/3597.01 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683
3587.12/3597.01 v -x1682 x1681 -x1679 -x1678 x1677 x1676 x1674 -x1672 -x1671 -x1670 -x1669 x1667 -x1665 -x1664 -x1663 -x1662 -x1660 -x1658 -x1657
3587.12/3597.01 v -x1656 -x1655 -x1653 -x1651 -x1650 -x1649 -x1648 x1646 -x1644 -x1643 -x1642 -x1641 -x1639 -x1637 -x1636 -x1635 -x1634 -x1632
3587.12/3597.01 v -x1630 -x1629 -x1628 -x1627 x1625 -x1623 -x1622 -x1621 -x1620 x1618 -x1616 -x1615 x1614 x1613 x1611 -x1609 -x1608 -x1607
3587.12/3597.01 v -x1606 x1604 -x1602 -x1601 -x1600 -x1599 -x1597 -x1595 -x1594 -x1593 -x1592 -x1590 -x1588 -x1587 -x1586 -x1585 -x1583 -x1581
3587.12/3597.01 v -x1580 -x1579 -x1578 -x1576 -x1574 -x1573 -x1572 -x1571 -x1569 -x1567 -x1566 -x1565 -x1564 -x1562 -x1560 -x1559 -x1558 -x1557
3587.12/3597.01 v -x1555 -x1553 -x1552 -x1551 -x1550 -x1548 -x1546 -x1545 -x1544 x1543 x1541 -x1539 -x1538 -x1537 -x1536 x1534 -x1532 -x1531 -x1530
3587.12/3597.01 v -x1529 -x1527 -x1525 -x1524 -x1523 -x1522 -x1520 -x1518 -x1517 -x1516 -x1515 -x1513 -x1511 -x1510 -x1509 -x1508 -x1506
3587.12/3597.01 v -x1504 -x1503 -x1502 -x1501 -x1499 -x1497 -x1496 -x1495 -x1494 -x1492 -x1490 -x1489 -x1488 -x1487 -x1485 -x1483 -x1482 -x1481
3587.12/3597.01 v -x1480 -x1478 -x1476 -x1475 -x1474 x1473 x1471 -x1469 -x1468 -x1467 -x1466 x1464 -x1462 -x1461 -x1460 -x1459 x1457 -x1455 -x1454
3587.12/3597.01 v x1453 x1452 x1450 -x1448 -x1447 -x1446 x1445 x1443 -x1441 -x1440 -x1439 x1438 x1436 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429
3587.12/3597.01 v -x1428 -x1427 -x1426 -x1425 -x1424 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1410
3587.12/3597.01 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
3587.12/3597.01 v -x1390 -x1389 -x1388 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1374 -x1373 -x1372 -x1371
3587.12/3597.01 v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
3587.12/3597.01 v -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
3587.12/3597.01 v -x1331 -x1330 -x1329 -x1328 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 x1316 -x1314 -x1313 -x1312
3587.12/3597.01 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
3587.12/3597.01 v -x1292 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
3587.12/3597.01 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1254 -x1253
3587.12/3597.01 v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235
3587.12/3597.01 v -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1218 -x1217 -x1216 -x1215
3587.12/3597.01 v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196
3587.12/3597.01 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 x1184 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
3587.12/3597.01 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
3587.12/3597.01 v -x1157 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
3587.12/3597.01 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
3587.12/3597.01 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101
3587.12/3597.01 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
3587.12/3597.01 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
3587.12/3597.01 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1047 -x1046
3587.12/3597.01 v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028
3587.12/3597.01 v -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
3587.12/3597.01 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x847 -x846 -x845 -x844 -x843 -x842
3587.12/3597.01 v -x841 -x993 -x991 x992 -x990 -x988 -x989 -x987 -x985 -x986 -x984 -x983 -x982 -x980 -x981 -x979 -x977 -x978 -x975 -x976 -x974
3587.12/3597.01 v -x972 -x973 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x963 -x964 -x962 -x960 -x961 -x959 -x957 -x958 -x956 -x955 -x954
3587.12/3597.01 v -x953 -x952 -x950 -x951 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942 -x940 -x938 -x939 -x937 -x935 -x936 -x934 -x932
3587.12/3597.01 v -x933 -x931 -x929 -x930 -x928 -x927 -x926 -x924 -x925 -x923 -x921 -x922 -x920 -x919 -x918 -x916 -x917 -x915 -x913 -x914 -x912
3587.12/3597.01 v -x910 -x911 -x909 -x908 -x907 -x905 -x906 -x904 -x902 -x903 -x901 -x900 -x899 -x897 -x898 -x896 -x895 -x894 -x892 -x891 -x890
3587.12/3597.01 v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877 -x876 -x874 -x873 -x872 -x871 -x870 -x869 -x867 -x866
3587.12/3597.01 v -x865 -x864 -x862 -x861 -x860 -x859 -x857 -x856 -x854 -x853 -x852 -x851 -x850 x849 x848 -x707 -x706 -x705 -x704 -x703 -x702
3587.12/3597.01 v -x701 -x839 -x838 -x837 -x836 -x835 -x833 -x834 -x832 -x830 -x831 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x819
3587.12/3597.01 v -x820 -x818 -x816 -x817 -x815 -x814 -x813 -x811 -x812 -x809 -x810 -x808 -x807 -x806 -x805 -x804 -x802 -x803 -x801 -x799 -x800
3587.12/3597.01 v -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x791 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782 -x783 -x781 -x780 -x779
3587.12/3597.01 v -x777 -x778 -x776 -x774 -x775 -x773 -x772 -x771 -x769 -x770 -x767 -x768 -x766 -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758
3587.12/3597.01 v -x756 -x757 -x754 -x755 -x753 -x751 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
3587.12/3597.01 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
3587.12/3597.01 v -x714 -x713 -x712 -x711 -x710 x709 x708 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x699 -x697 -x698 -x696 -x694 -x695
3587.12/3597.01 v -x693 -x691 -x692 -x690 -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683 -x681 -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674
3587.12/3597.01 v -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 -x662 -x660 -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653
3587.12/3597.01 v -x651 -x649 -x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632
3587.12/3597.01 v -x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610
3587.12/3597.01 v -x611 -x609 -x607 -x608 -x606 -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599 x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589
3587.12/3597.01 v -x590 -x588 -x586 -x587 -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578 -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568
3587.12/3597.01 v -x569 -x567 -x565 -x566 -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556 -x557 -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547
3587.12/3597.01 v -x548 -x546 -x544 -x545 -x543 -x542 -x541 -x539 -x540 -x538 -x536 -x537 -x535 -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528
3587.12/3597.01 v -x526 -x524 -x525 -x523 -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x507 -x506
3587.12/3597.01 v -x504 -x505 -x503 -x501 -x502 -x500 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 -x491 -x489 -x490 -x488 -x486 -x487 -x485
3587.12/3597.01 v -x483 -x484 -x482 -x480 -x481 -x479 -x477 -x478 -x476 -x474 -x475 -x473 -x471 -x472 -x470 -x468 -x469 -x467 -x465 -x466
3587.12/3597.01 v -x464 -x462 -x463 -x461 -x459 -x460 -x458 -x456 -x457 -x455 -x453 -x454 -x452 -x450 -x451 -x449 -x447 -x448 -x446 -x444 -x445
3587.12/3597.01 v -x443 -x441 -x442 -x440 -x438 -x439 -x437 -x435 -x436 -x434 -x432 -x433 -x431 -x429 -x430 -x428 -x426 -x425 -x423 -x422 -x421
3587.12/3597.01 v -x420 -x418 -x417 -x415 -x414 -x412 -x411 -x409 -x408 -x407 -x406 -x404 -x403 -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393
3587.12/3597.01 v -x391 -x390 -x389 -x388 -x387 -x386 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x375 -x374 -x372 -x371 -x369 -x368 -x367
3587.12/3597.01 v -x366 -x364 -x363 -x361 -x360 -x358 x357 x355 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x345 -x343 x344 -x342 -x340 -x341
3587.12/3597.01 v -x339 -x337 -x338 -x336 -x334 -x335 -x333 -x331 -x332 -x330 -x328 -x329 -x327 -x325 -x326 -x324 -x322 -x323 -x321 -x319 -x320
3587.12/3597.01 v -x318 -x316 -x317 -x315 -x313 -x314 -x312 -x310 -x311 -x309 -x307 -x308 -x306 -x304 -x305 -x303 -x301 -x302 -x300 -x298 -x299
3587.12/3597.01 v -x297 -x295 -x296 -x294 -x292 -x293 -x291 -x289 -x290 -x288 -x286 -x287 -x285 -x283 -x284 -x282 -x280 -x281 -x279 -x277 -x278
3587.12/3597.01 v -x276 -x274 -x275 -x273 -x271 -x272 -x270 -x268 -x269 -x267 -x265 -x266 -x264 -x262 -x263 -x261 -x259 -x260 -x258 -x256
3587.12/3597.01 v -x257 -x255 -x253 -x254 -x252 -x250 -x251 -x249 -x247 -x248 -x246 -x244 -x245 -x243 -x241 -x242 -x240 -x238 -x237 -x235 -x234
3587.12/3597.01 v -x232 -x231 -x229 -x228 -x227 -x226 -x224 -x223 -x222 -x221 -x219 -x218 -x217 -x216 -x214 -x213 -x212 -x211 -x209 -x208 -x206
3587.12/3597.01 v -x205 -x204 -x203 -x201 -x200 -x198 -x197 -x195 -x194 -x192 -x191 -x189 -x188 -x187 x186 x184 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x175
3587.12/3597.01 v -x173 x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163 -x161 -x162 -x160 -x158 -x159 -x157 -x155 -x156 -x154
3587.12/3597.01 v -x152 -x153 -x151 -x149 -x150 -x148 -x146 -x147 -x145 -x143 -x144 -x142 -x140 -x141 -x139 -x137 -x138 -x136 -x134 -x135
3587.12/3597.01 v -x133 -x131 -x132 -x130 -x128 -x129 -x127 -x125 -x126 -x124 -x122 -x123 -x121 -x119 -x120 -x118 -x116 -x117 -x115 -x113 -x114
3587.12/3597.01 v -x112 -x110 -x111 -x109 -x107 -x108 -x106 -x104 -x105 -x103 -x101 -x102 -x100 -x98 -x99 -x97 -x95 -x96 -x94 -x92 -x93 -x91 -x89
3587.12/3597.01 v -x90 -x88 -x86 -x87 -x85 -x83 -x84 -x82 -x80 -x81 -x79 -x77 -x78 -x76 -x74 -x75 -x73 -x71 -x72 -x70 -x68 -x67 -x65 -x64 -x62
3587.12/3597.01 v -x61 -x60 -x59 -x57 -x56 -x54 -x53 -x51 -x50 -x48 -x47 -x45 -x44 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x30 -x29 -x27 -x26
3587.12/3597.01 v -x24 -x23 -x21 -x20 -x18 -x17 -x15 -x14 -x12 x11 x9 -x6023 x6021 -x6016 -x6014 -x6009 -x6007 -x6002 -x5997 -x5995 -x5990
3587.12/3597.01 v -x5988 -x5986 -x5981 -x5979 -x5974 -x5972 -x5967 -x5965 -x5960 -x5958 -x5953 -x5951 -x5946 -x5944 -x5939 -x5934 -x5929 -x5927
3587.12/3597.01 v -x5922 -x5920 -x5915 -x5913 -x5908 -x5906 -x5901 -x5899 -x5894 -x5892 -x5887 -x5885 -x5880 -x5878 -x5873 -x5868 -x5866 -x5861
3587.12/3597.01 v -x5859 -x5854 -x5849 -x5847 -x5842 -x5840 -x5835 -x5833 -x5828 -x5823 -x5821 -x5816 -x5814 -x5809 -x5804 -x5802 -x5790 -x5778
3587.12/3597.01 v -x893 -x5766 -x5754 -x5742 -x5730 -x5718 -x5706 -x880 -x5694 -x5682 x875 -x5670 -x5658 -x5646 -x868 -x5634 -x5622 -x863 -x5610
3587.12/3597.01 v -x5598 -x858 -x5586 -x855 -x5574 -x5562 x5550 -x5523 -x5496 -x5469 -x5442 -x5415 -x5388 -x5361 -x5356 -x5351 -x5346 -x5344
3587.12/3597.01 v -x5339 -x5337 -x5332 -x5327 -x5322 -x5317 -x5312 -x5310 -x5305 -x5303 -x5298 -x5293 -x5291 -x5289 -x5284 -x5279 -x5274 -x5272
3587.12/3597.01 v -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234 -x5232 -x5227 -x5225 -x5220 -x5215 -x5213 -x5208 -x5206
3587.12/3597.01 v -x5201 -x5196 -x5194 -x5192 -x5187 -x5182 -x5180 -x5175 -x5173 -x5168 -x5166 -x5164 -x5159 -x5157 -x5145 -x5133 -x5121 -x5109
3587.12/3597.01 v -x5097 -x5085 -x5073 -x5061 -x5049 -x5037 -x5025 -x5013 -x5001 -x725 -x4989 -x4977 -x4965 -x4953 -x4941 -x4929 -x4917 x4905
3587.12/3597.01 v -x4878 -x4851 -x4824 -x4797 -x4770 -x4743 -x4716 -x4711 -x4706 -x4701 -x4696 -x4691 -x4686 -x4681 -x4676 -x4671 -x4666 -x4661
3587.12/3597.01 v -x4656 -x4651 -x4646 -x4641 -x4636 -x4631 -x4626 -x4621 -x4616 -x4611 -x4606 -x4601 -x4596 -x4591 -x4586 -x4581 -x4576
3587.12/3597.01 v -x4571 -x4566 -x4561 -x4556 -x4551 -x4546 -x4541 -x4536 -x4531 -x4526 -x4521 -x4516 -x4511 -x4506 -x4501 -x4496 -x4491 -x4486
3587.12/3597.01 v -x4481 -x4476 -x4471 -x4466 -x4461 -x4456 -x4451 -x4446 -x4441 -x4436 -x4431 -x4426 -x4421 -x4416 -x4411 -x4406 -x4401 -x4396
3587.12/3597.01 v -x4391 -x4386 -x4381 -x4376 x4371 -x4366 -x4354 -x4352 -x4340 -x4338 -x4326 -x4324 -x4312 -x4310 -x4298 -x4296 -x4284 -x4282
3587.12/3597.01 v -x4270 -x4268 -x4256 -x4254 -x4242 -x4240 -x4228 -x4226 -x4214 -x4212 -x4200 -x4198 -x4186 -x4184 -x4172 -x4170 -x4158 -x4156
3587.12/3597.01 v -x4144 -x4142 -x4130 -x4128 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074 -x4062 -x4060 -x4048 -x4046 -x4034 -x4032 -x4020
3587.12/3597.01 v -x4018 -x4006 -x4004 -x3992 -x3990 -x3978 -x3976 -x3964 -x3962 -x3950 -x3938 -x3936 -x3924 -x3922 -x3910 -x3908 -x3896 -x3894
3587.12/3597.01 v -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824 -x3812 -x3810 -x3798 -x3796 -x3784 -x3782 -x3770 -x3768
3587.12/3597.01 v -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698 -x3686 -x3684 -x3672 -x3670 -x3658 -x3656 -x3644
3587.12/3597.01 v -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3559 x427 -x3532 -x424 -x3505 -x3478 -x419 -x3451 -x416 -x3424
3587.12/3597.01 v x413 -x3397 -x410 -x3370 -x3343 -x405 -x3316 -x3289 -x400 -x3262 -x3235 -x395 -x3208 -x392 -x3181 -x3154 -x3127 -x385 -x3100
3587.12/3597.01 v -x3073 -x3046 -x3019 -x376 -x2992 -x373 -x2965 -x370 -x2938 -x2911 -x365 -x2884 -x362 -x2857 -x359 x2830 x356 -x2772 -x2714
3587.12/3597.01 v -x2656 -x2598 -x2540 -x2482 -x2424 -x2366 -x2361 x2359 -x2354 -x2352 -x2347 -x2345 -x2340 -x2338 -x2333 -x2331 -x2326 -x2324
3587.12/3597.01 v -x2319 -x2317 -x2312 -x2310 -x2305 -x2303 -x2298 -x2296 -x2291 -x2289 -x2284 -x2282 -x2277 -x2275 -x2270 -x2268 -x2263 -x2261
3587.12/3597.01 v -x2256 -x2254 -x2249 -x2247 -x2242 -x2240 -x2235 -x2233 -x2228 -x2226 -x2221 -x2219 -x2214 -x2212 -x2207 -x2205 -x2200 -x2198
3587.12/3597.01 v -x2193 -x2191 -x2186 -x2184 -x2179 -x2177 -x2172 -x2170 -x2165 -x2163 -x2158 -x2156 -x2151 -x2149 -x2144 -x2142 -x2137 -x2135
3587.12/3597.01 v -x2130 -x2128 -x2123 -x2121 -x2109 -x239 -x2097 -x236 -x2085 x233 -x2073 -x230 -x2061 -x2049 -x225 -x2037 -x2025 -x220 -x2013
3587.12/3597.01 v -x2001 x215 -x1989 -x1977 -x210 -x1965 -x207 -x1953 -x1941 -x202 -x1929 -x199 -x1917 -x196 -x1905 -x193 -x1893 -x190 -x1881
3587.12/3597.01 v x1869 x185 -x1842 -x1815 -x1788 -x1761 -x1734 -x1707 -x1680 -x1675 x1673 -x1668 -x1666 -x1661 -x1659 -x1654 -x1652 -x1647
3587.12/3597.01 v -x1645 -x1640 -x1638 -x1633 -x1631 -x1626 -x1624 -x1619 -x1617 -x1612 -x1610 -x1605 -x1603 -x1598 -x1596 -x1591 -x1589 -x1584
3587.12/3597.01 v -x1582 -x1577 -x1575 -x1570 -x1568 -x1563 -x1561 -x1556 -x1554 -x1549 -x1547 -x1542 -x1540 -x1535 -x1533 -x1528 -x1526 -x1521
3587.12/3597.01 v -x1519 -x1514 -x1512 -x1507 -x1505 -x1500 -x1498 -x1493 -x1491 -x1486 -x1484 -x1479 -x1477 -x1472 -x1470 -x1465 -x1463 -x1458
3587.12/3597.01 v -x1456 -x1451 -x1449 -x1444 -x1442 -x1437 -x1435 -x1423 x69 -x1411 -x66 -x1399 -x63 -x1387 -x1375 -x58 -x1363 -x55 -x1351
3587.12/3597.01 v -x52 -x1339 -x49 -x1327 -x46 -x1315 x43 -x1303 -x40 -x1291 -x37 -x1279 -x34 -x1267 -x31 -x1255 -x28 -x1243 -x25 -x1231 -x22
3587.12/3597.01 v -x1219 -x19 -x1207 -x16 -x1195 -x13 x1183 x10 -x1156 -x1129 -x1102 -x1075 -x1048 -x1021 -x994 x840 x700 x346 x176 x1
3587.12/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.12/3597.01 c Total Time : 3597.00
3587.12/3597.01 c solving : 3597.00
3587.12/3597.01 c presolving : 0.26 (included in solving)
3587.12/3597.01 c reading : 0.04 (included in solving)
3587.12/3597.01 c copying : 0.26 (11 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3587.12/3597.01 c Original Problem :
3587.12/3597.01 c Problem name : HOME/instance-4497432-1751390497.opb
3587.12/3597.01 c Variables : 6027 (6027 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.12/3597.01 c Constraints : 21278 initial, 21278 maximal
3587.12/3597.01 c Objective : minimize, 650 non-zeros (abs.min = 1, abs.max = 1)
3587.12/3597.01 c Presolved Problem :
3587.12/3597.01 c Problem name : t_HOME/instance-4497432-1751390497.opb
3587.12/3597.01 c Variables : 5294 (5294 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.12/3597.01 c Constraints : 5239 initial, 14925 maximal
3587.12/3597.01 c Objective : minimize, 645 non-zeros (abs.min = 1, abs.max = 1)
3587.12/3597.01 c Nonzeros : 21274 constraint, 30034 clique table
3587.12/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.12/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c gateextraction : 0.04 0.00 3 0 0 0 0 0 19487 4784 0 0
3587.12/3597.01 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c milp : 0.04 0.00 1 0 9 0 0 0 0 0 0 0
3587.12/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c knapsack : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c setppc : 0.02 0.00 8 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c and : 0.03 0.00 4 0 135 0 0 0 135 0 0 0
3587.12/3597.01 c linear : 0.06 0.01 5 5 584 0 5 0 1201 0 9 10
3587.12/3597.01 c logicor : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.12/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.12/3597.01 c benderslp : 0 0 0 0 528 0 0 122 0 0 0 0 0 0 0
3587.12/3597.01 c integral : 0 0 0 0 528 0 0 122 0 0 1 0 0 1 1054
3587.12/3597.01 c knapsack : 1 1 0 48635 0 0 0 116 1974 679 0 0 0 0 0
3587.12/3597.01 c setppc : 584 584 41 47935 0 0 0 100 7757 34 452 0 0 0 0
3587.12/3597.01 c and : 4649 4649 1750 47939 0 0 0 49 78146 337 36861 250123 76707 0 0
3587.12/3597.01 c linear : 0+ 201 41 42712 0 0 0 3 20 10 0 39 13 0 0
3587.12/3597.01 c logicor : 5+ 9519 41 13116 0 0 0 41 106 39 11 215 30 0 0
3587.12/3597.01 c benders : 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0
3587.12/3597.01 c fixedvar : 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0
3587.12/3597.01 c countsols : 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0
3587.12/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.12/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c integral : 1120.46 0.00 0.00 0.00 1120.46 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c knapsack : 0.22 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.01 0.01
3587.12/3597.01 c setppc : 0.13 0.00 0.00 0.08 0.00 0.00 0.00 0.01 0.00 0.03
3587.12/3597.01 c and : 5.72 0.00 2.10 1.17 0.00 0.00 0.00 0.03 0.02 2.40
3587.12/3597.01 c linear : 0.11 0.01 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.05
3587.12/3597.01 c logicor : 0.26 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00 0.05
3587.12/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.12/3597.01 c dualfix : 2 0 0 0
3587.12/3597.01 c genvbounds : 0 0 0 0
3587.12/3597.01 c nlobbt : 0 0 0 0
3587.12/3597.01 c obbt : 0 0 0 0
3587.12/3597.01 c probing : 0 0 0 0
3587.12/3597.01 c pseudoobj : 1949 0 0 0
3587.12/3597.01 c redcost : 1036 0 0 0
3587.12/3597.01 c rootredcost : 1 0 0 0
3587.12/3597.01 c symmetry : 0 0 0 0
3587.12/3597.01 c vbounds : 30233 0 0 0
3587.12/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.12/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c genvbounds : 0.01 0.00 0.00 0.00 0.00 0.01
3587.12/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.12/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.12/3597.01 c redcost : 0.09 0.00 0.00 0.09 0.00 0.00
3587.12/3597.01 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3587.12/3597.01 c symmetry : 0.02 0.00 0.01 0.00 0.00 0.01
3587.12/3597.01 c vbounds : 0.04 0.00 0.00 0.02 0.00 0.01
3587.12/3597.01 c Symmetry :
3587.12/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.12/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.12/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.12/3597.01 c shadow tree time : 0.00 s
3587.12/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.12/3597.01 c propagation : 0.16 1093 1093 - 13986 102.8 85 11.7 - - -
3587.12/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.12/3597.01 c bound exceed. LP : 0.12 21 7 - 317 1174.5 0 0.0 4 587.0 170
3587.12/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.12/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.12/3597.01 c applied globally : 0.08 - - 0 9960 33.7 - - 4 - -
3587.12/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.12/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.12/3597.01 c cut pool : 0.62 - 727 80 - - 15152 54342 - - - - - (maximal pool size: 7989)
3587.12/3597.01 c aggregation : 0.70 0.00 236 41 0 0 21 98 0 12 12 0 0
3587.12/3597.01 c > cmir : - - - - - - - 65 0 1 1 0 -
3587.12/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.12/3597.01 c > knapsackcover : - - - - - - - 33 0 11 11 0 -
3587.12/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c clique : 0.51 0.00 41 41 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c gomory : 108.50 0.00 167 10 0 0 2377 4993 0 188 188 0 0
3587.12/3597.01 c > gomorymi : - - - - - - - 2821 0 140 140 0 -
3587.12/3597.01 c > strongcg : - - - - - - - 2172 0 48 48 0 -
3587.12/3597.01 c impliedbounds : 0.18 0.00 236 41 0 0 12193 44336 0 22460 22460 0 0
3587.12/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c multilinear : 0.02 0.00 179 41 0 0 74 187 0 86 86 0 0
3587.12/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.01 c rapidlearning : 0.29 0.00 1 1 0 0 0 0 0 0 0 0 200
3587.12/3597.01 c rlt : 25.40 0.00 53 10 0 0 140 1808 0 677 677 0 0
3587.12/3597.01 c zerohalf : 3.96 0.00 177 20 0 0 347 2920 0 1035 1035 0 0
3587.12/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.12/3597.01 c hybrid : 0.48 0.00 1721 40 101225 0 203494 3998 0 13788
3587.12/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.12/3597.01 c problem variables: 0.00 - 0 0
3587.12/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.12/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c relpscost : 1120.46 0.00 528 0 0 0 1 0 1 1054
3587.12/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.12/3597.01 c LP solutions : 0.00 - - 0 0
3587.12/3597.01 c relax solutions : 0.00 - - 0 0
3587.12/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.12/3597.01 c strong branching : 0.01 - - 0 0
3587.12/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.12/3597.01 c adaptivediving : 11.14 0.00 5 0 0
3587.12/3597.01 c alns : 0.35 0.00 3 0 0
3587.12/3597.01 c bound : 0.00 0.00 0 0 0
3587.12/3597.01 c clique : 0.05 0.00 1 0 0
3587.12/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.12/3597.01 c completesol : 0.00 0.00 0 0 0
3587.12/3597.01 c conflictdiving : 8.51 0.00 3 0 0
3587.12/3597.01 c crossover : 0.07 0.00 1 0 0
3587.12/3597.01 c dins : 0.00 0.00 0 0 0
3587.12/3597.01 c distributiondivin: 20.74 0.00 3 0 0
3587.12/3597.01 c dps : 0.00 0.00 0 0 0
3587.12/3597.01 c dualval : 0.00 0.00 0 0 0
3587.12/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.12/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.12/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.12/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.12/3597.01 c fracdiving : 14.85 0.00 4 0 0
3587.12/3597.01 c gins : 0.00 0.00 0 0 0
3587.12/3597.01 c guideddiving : 4.74 0.00 3 0 0
3587.12/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.12/3597.01 c indicator : 0.00 0.00 0 0 0
3587.12/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.12/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.12/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.12/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.12/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.12/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.12/3597.01 c linesearchdiving : 7.46 0.00 3 0 0
3587.12/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.12/3597.01 c locks : 0.01 0.00 1 0 0
3587.12/3597.01 c lpface : 0.00 0.00 0 0 0
3587.12/3597.01 c mpec : 0.00 0.00 0 0 0
3587.12/3597.01 c multistart : 0.00 0.00 0 0 0
3587.12/3597.01 c mutation : 0.00 0.00 0 0 0
3587.12/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.12/3597.01 c objpscostdiving : 6.43 0.00 2 0 0
3587.12/3597.01 c octane : 0.00 0.00 0 0 0
3587.12/3597.01 c ofins : 0.00 0.00 0 0 0
3587.12/3597.01 c oneopt : 0.00 0.00 2 0 0
3587.12/3597.01 c padm : 0.00 0.00 0 0 0
3587.12/3597.01 c proximity : 0.00 0.00 0 0 0
3587.12/3597.01 c pscostdiving : 27.79 0.00 4 0 0
3587.12/3597.01 c randrounding : 0.60 0.00 93 0 0
3587.12/3597.01 c rens : 1.44 0.00 1 1 0
3587.12/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.12/3597.01 c repair : 0.00 0.00 0 0 0
3587.12/3597.01 c rins : 6.14 0.00 4 3 0
3587.12/3597.01 c rootsoldiving : 4.51 0.00 2 0 0
3587.12/3597.01 c rounding : 0.66 0.00 614 0 0
3587.12/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.12/3597.01 c shiftandpropagate: 0.06 0.00 1 1 1
3587.12/3597.01 c shifting : 1.66 0.00 547 34 1
3587.12/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.12/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.12/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.12/3597.01 c trivial : 0.00 0.00 2 0 0
3587.12/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.12/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.12/3597.01 c trysol : 0.00 0.00 0 0 0
3587.12/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.12/3597.01 c undercover : 0.07 0.00 1 0 0
3587.12/3597.01 c vbounds : 0.33 0.00 1 0 0
3587.12/3597.01 c veclendiving : 0.45 0.00 3 0 0
3587.12/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.12/3597.01 c zirounding : 0.54 0.00 527 0 0
3587.12/3597.01 c other solutions : - - - 0 -
3587.12/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 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
3587.12/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.12/3597.01 c primal LP : 1.09 130 0 0.00 0.00 1.09 130
3587.12/3597.01 c dual LP : 2207.63 2250 9196604 4087.38 4165.83 0.00 0
3587.12/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.12/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.12/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.12/3597.01 c diving/probing LP: 138.32 651 719621 1105.41 5202.41
3587.12/3597.01 c strong branching : 1070.65 5357 4342683 810.66 4056.13 - - 8088
3587.12/3597.01 c (at root node) : - 11 11000 1000.00 -
3587.12/3597.01 c conflict analysis: 0.04 17 170 10.00 3827.97
3587.12/3597.01 c B&B Tree :
3587.12/3597.01 c number of runs : 1
3587.12/3597.01 c nodes : 528 (527 internal, 1 leaves)
3587.12/3597.01 c feasible leaves : 0
3587.12/3597.01 c infeas. leaves : 0
3587.12/3597.01 c objective leaves : 0
3587.12/3597.01 c nodes (total) : 528 (527 internal, 1 leaves)
3587.12/3597.01 c nodes left : 528
3587.12/3597.01 c max depth : 27
3587.12/3597.01 c max depth (total): 27
3587.12/3597.01 c backtracks : 75 (14.2%)
3587.12/3597.01 c early backtracks : 0 (0.0%)
3587.12/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.12/3597.01 c delayed cutoffs : 0
3587.12/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.12/3597.01 c avg switch length: 3.48
3587.12/3597.01 c switching time : 0.63
3587.12/3597.01 c Root Node :
3587.12/3597.01 c First LP value : +7.55555555555556e+00
3587.12/3597.01 c First LP Iters : 461 (21517.92 Iter/sec)
3587.12/3597.01 c First LP Time : 0.02
3587.12/3597.01 c Final Dual Bound : +1.14289126777790e+01
3587.12/3597.01 c Final Root Iters : 52856
3587.12/3597.01 c Root LP Estimate : +1.45137517290906e+01
3587.12/3597.01 c Solution :
3587.12/3597.01 c Solutions found : 39 (2 improvements)
3587.12/3597.01 c First Solution : +2.70000000000000e+01 (in run 1, after 1 nodes, 0.79 seconds, depth 908, found by <shiftandpropagate>)
3587.12/3597.01 c Gap First Sol. : 440.00 %
3587.12/3597.01 c Gap Last Sol. : 217.65 %
3587.12/3597.01 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1 nodes, 0.83 seconds, depth 0, found by <shifting>)
3587.12/3597.01 c Dual Bound : +1.19489358553635e+01
3587.12/3597.01 c Gap : 100.85 %
3587.12/3597.01 c Integrals : Total Avg%
3587.12/3597.01 c primal-dual : 182874.68 50.84
3587.12/3597.01 c primal-ref : - - (not evaluated)
3587.12/3597.01 c dual-ref : - - (not evaluated)
3587.12/3597.10 c Time complete: 3587.22.
OK 24
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: 63665 MiB (62513 MiB free)
memory of node 1: 64507 MiB (61490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497432-1751390497/watcher-4497432-1751390497 -o /tmp/evaluation-result-4497432-1751390497/solver-4497432-1751390497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58505 --watchdog 3760 pbscip -f HOME/instance-4497432-1751390497.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60771, runsolver pid=60768
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126939880/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=87488 memory=59648 CPUtime=0.09 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 11734 0 0 0 8 1 0 0 20 0 1 0 54727614 89587712 14912 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 21872 14912 3552 3530 0 13323 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87488 KiB
Current children cumulated memory: 59648 KiB
[startup+0.205918 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126891748/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=100364 memory=73512 CPUtime=0.19 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 17507 0 0 0 17 2 0 0 20 0 1 0 54727614 102772736 18378 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 25091 18378 3712 3530 0 16542 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100364 KiB
Current children cumulated memory: 73512 KiB
[startup+0.305893 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126883684/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=107168 memory=79400 CPUtime=0.29 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 18986 0 0 0 27 2 0 0 20 0 1 0 54727614 109740032 19850 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 26792 19850 3744 3530 0 18243 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107168 KiB
Current children cumulated memory: 79400 KiB
[startup+0.700168 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126851680/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=180808 memory=142760 CPUtime=0.68 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 34669 0 0 0 64 4 0 0 20 0 1 0 54727614 185147392 35690 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 45202 35690 3936 3530 0 36653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180808 KiB
Current children cumulated memory: 142760 KiB
[startup+1.50012 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126759348/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=187008 memory=152232 CPUtime=1.47 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 37023 0 0 0 143 4 0 0 20 0 1 0 54727614 191496192 38058 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 46752 38058 3936 3530 0 38203 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187008 KiB
Current children cumulated memory: 152232 KiB
[startup+3.10577 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126425460/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=215428 memory=180904 CPUtime=3.08 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 44252 0 0 0 303 5 0 0 20 0 1 0 54727614 220598272 45226 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 53857 45226 3936 3530 0 45308 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 215428 KiB
Current children cumulated memory: 180904 KiB
[startup+6.30012 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126305012/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=256500 memory=211496 CPUtime=6.26 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 51914 0 0 0 619 7 0 0 20 0 1 0 54727614 262656000 52874 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 64125 52874 3936 3530 0 55576 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 256500 KiB
Current children cumulated memory: 211496 KiB
[startup+12.7001 s]
/proc/loadavg: 4.21 4.14 4.10 5/266 60772
/proc/meminfo: memFree=126019384/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=268316 memory=217000 CPUtime=12.64 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 53284 0 0 0 1257 7 0 0 20 0 1 0 54727614 274755584 54250 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 67079 54250 3936 3530 0 58530 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 268316 KiB
Current children cumulated memory: 217000 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 60817
/proc/meminfo: memFree=125432904/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=260904 CPUtime=25.41 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64299 0 0 0 2532 9 0 0 20 0 1 0 54727614 319537152 65226 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65226 3936 3530 0 69463 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 260904 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 60862
/proc/meminfo: memFree=125057372/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=260904 CPUtime=50.93 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64315 0 0 0 5084 9 0 0 20 0 1 0 54727614 319537152 65226 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65226 3936 3530 0 69463 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 260904 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 60864
/proc/meminfo: memFree=124854504/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=261032 CPUtime=101.95 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64326 0 0 0 10186 9 0 0 20 0 1 0 54727614 319537152 65258 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65258 3936 3530 0 69463 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 261032 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 60866
/proc/meminfo: memFree=124830404/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=261032 CPUtime=161.75 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64344 0 0 0 16166 9 0 0 20 0 1 0 54727614 319537152 65258 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65258 3936 3530 0 69463 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 261032 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 60876
/proc/meminfo: memFree=124781724/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=261160 CPUtime=221.56 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64375 0 0 0 22146 10 0 0 20 0 1 0 54727614 319537152 65290 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65290 3936 3530 0 69463 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 261160 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 60878
/proc/meminfo: memFree=124772024/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=261288 CPUtime=281.36 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64390 0 0 0 28126 10 0 0 20 0 1 0 54727614 319537152 65322 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65322 3936 3530 0 69463 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 261288 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 60881
/proc/meminfo: memFree=124692720/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=312048 memory=261800 CPUtime=341.16 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64522 0 0 0 34106 10 0 0 20 0 1 0 54727614 319537152 65450 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78012 65450 3936 3530 0 69463 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 312048 KiB
Current children cumulated memory: 261800 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 60883
/proc/meminfo: memFree=124671100/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=315892 memory=262696 CPUtime=400.96 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 64741 0 0 0 40086 10 0 0 20 0 1 0 54727614 323473408 65674 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 78973 65674 3936 3530 0 70424 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 315892 KiB
Current children cumulated memory: 262696 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 60885
/proc/meminfo: memFree=124642664/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=320128 memory=266792 CPUtime=460.77 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 65786 0 0 0 46066 11 0 0 20 0 1 0 54727614 327811072 66698 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 80032 66698 3936 3530 0 71483 0
################
# More data... #
################
/proc/loadavg: 4.14 4.11 4.09 5/264 61074
/proc/meminfo: memFree=125238576/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=736296 memory=705436 CPUtime=3153.55 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 133849 0 0 0 315332 23 0 0 20 0 1 0 54727614 753967104 176359 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 184074 176359 4128 3530 0 175525 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 736296 KiB
Current children cumulated memory: 705436 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/264 61076
/proc/meminfo: memFree=125238704/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=736296 memory=705436 CPUtime=3213.4 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 133849 0 0 0 321317 23 0 0 20 0 1 0 54727614 753967104 176359 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 184074 176359 4128 3530 0 175525 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 736296 KiB
Current children cumulated memory: 705436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.20 4.12 5/265 61086
/proc/meminfo: memFree=125246280/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=736296 memory=705436 CPUtime=3273.24 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 133849 0 0 0 327301 23 0 0 20 0 1 0 54727614 753967104 176359 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 184074 176359 4128 3530 0 175525 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 736296 KiB
Current children cumulated memory: 705436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 61088
/proc/meminfo: memFree=125246192/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=736296 memory=705436 CPUtime=3333.08 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 134029 0 0 0 333285 23 0 0 20 0 1 0 54727614 753967104 176359 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 184074 176359 4128 3530 0 175525 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 736296 KiB
Current children cumulated memory: 705436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/265 61090
/proc/meminfo: memFree=125232696/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=736296 memory=705436 CPUtime=3392.92 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 134046 0 0 0 339269 23 0 0 20 0 1 0 54727614 753967104 176359 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 184074 176359 4128 3530 0 175525 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 736296 KiB
Current children cumulated memory: 705436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 61092
/proc/meminfo: memFree=125232072/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=741504 memory=705436 CPUtime=3452.76 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 134051 0 0 0 345253 23 0 0 20 0 1 0 54727614 759300096 176359 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 185376 176359 4128 3530 0 176827 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 741504 KiB
Current children cumulated memory: 705436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 61094
/proc/meminfo: memFree=125110332/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3512.61 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 351234 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 61097
/proc/meminfo: memFree=125110228/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3572.46 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 357219 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3597.11 s]
# the end of solver process 60771 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.95 s, system=0.281024 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.12 4.10 5/263 61097
/proc/meminfo: memFree=125110228/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3574.16 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 357389 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3574.16 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 61098
/proc/meminfo: memFree=125111120/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3580.53 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 358026 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3580.53 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 61098
/proc/meminfo: memFree=125110872/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3583.73 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 358346 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 61098
/proc/meminfo: memFree=125110872/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3585.32 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 358505 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.13 4.10 5/263 61098
/proc/meminfo: memFree=125110872/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3586.13 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 358586 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 61098
/proc/meminfo: memFree=125110872/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3586.92 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 358665 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.13 4.10 5/263 61098
/proc/meminfo: memFree=125110872/131249996 swapFree=33010684/33010684
[pid=60771] ppid=60768 vsize=885080 memory=827488 CPUtime=3587.12 cores=0,2
/proc/60771/stat : 60771 (pbscip) R 60768 60771 58495 0 -1 4194304 151831 0 0 0 358685 27 0 0 20 0 1 0 54727614 906321920 206872 18446744073709551615 4235264 18693293 140734288654816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42196992 140734288656777 140734288656876 140734288656876 140734288662478 0
/proc/60771/statm: 221270 206872 4128 3530 0 212721 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 885080 KiB
Current children cumulated memory: 827488 KiB
Child status: 0
Real time (s): 3597.11
CPU time (s): 3587.23
CPU user time (s): 3586.95
CPU system time (s): 0.281024
CPU usage (%): 99.7254
Max. virtual memory (cumulated for all children) (KiB): 885080
Max. memory (cumulated for all children) (KiB): 827488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.95
system time used= 0.281024
maximum resident set size= 827488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151881
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= 127
involuntary context switches= 8149
# summary of solver processes directly reported to runsolver:
# pid: 60771
# total CPU time (s): 3587.23
# total CPU user time (s): 3586.95
# total CPU system time (s): 0.281024
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93404 second user time and 15.8704 second system time
The end
Begin job on nodeC024 at 2025-07-01 19:21:37 IDJOB=4497432 IDBENCH=148185 IDSOLVER=3365 FILE ID=nodeC024/4497432-1751390497 RUNJOBID= nodeC024-1751383217-58505 SLURM_JOB_ID= 9598230 Free space on /tmp= 432904 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497432-1751390497/watcher-4497432-1751390497 -o /tmp/evaluation-result-4497432-1751390497/solver-4497432-1751390497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58505 --watchdog 3760 pbscip -f HOME/instance-4497432-1751390497.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445 RANDOM SEED=802201684 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.682 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.753 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3600.012 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.594 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.665 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.713 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.776 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127020520 kB MemAvailable: 128467172 kB Buffers: 3280 kB Cached: 2239492 kB SwapCached: 0 kB Active: 1589596 kB Inactive: 1982340 kB Active(anon): 1347232 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 1982340 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 74536 kB Writeback: 12 kB AnonPages: 1332260 kB Mapped: 136736 kB Shmem: 18064 kB KReclaimable: 121976 kB Slab: 210964 kB SReclaimable: 121976 kB SUnreclaim: 88988 kB KernelStack: 4288 kB PageTables: 5644 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1754048 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432896 MiB End job on nodeC024 at 2025-07-01 20:21:34