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