Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | MSAT | 3584.21 | 3597.32 |
| Name | PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo |
| MD5SUM | ba194272c44599b761eb44cd6c0bfaf3 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 642.691 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4960 |
| Total number of constraints | 16157 |
| Number of soft constraints | 10743 |
| Number of constraints which are clauses | 15841 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 316 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 30 |
| Top cost | 536531 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 536530 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 201 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4425147-1720880982.wbo>
0.00/0.06 c original problem has 15703 variables (15703 bin, 0 int, 0 impl, 0 cont) and 26901 constraints
0.00/0.06 c problem read in 0.06
0.19/0.21 c presolving:
0.19/0.25 c (round 1, fast) 323 del vars, 844 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10743 impls, 4162 clqs
0.19/0.26 c (round 2, fast) 1559 del vars, 2253 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10743 impls, 4140 clqs
0.19/0.26 c (round 3, fast) 2481 del vars, 2780 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10743 impls, 4123 clqs
0.19/0.27 c (round 4, fast) 2618 del vars, 2849 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10743 impls, 4122 clqs
0.19/0.28 c (round 5, fast) 2618 del vars, 2849 del conss, 0 add conss, 9840 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10743 impls, 4122 clqs
0.29/0.31 c (round 6, exhaustive) 2620 del vars, 2851 del conss, 0 add conss, 9840 chg bounds, 0 chg sides, 0 chg coeffs, 4606 upgd conss, 10743 impls, 4122 clqs
0.29/0.33 c (round 7, exhaustive) 2622 del vars, 3070 del conss, 72 add conss, 9840 chg bounds, 0 chg sides, 0 chg coeffs, 4606 upgd conss, 10743 impls, 4130 clqs
3.08/3.15 c (3.2s) probing: 1000/23734 (4.2%) - 0 fixings, 0 aggregations, 7332 implications, 0 bound changes
3.08/3.15 c (3.2s) probing: 1001/23734 (4.2%) - 0 fixings, 0 aggregations, 7332 implications, 0 bound changes
3.08/3.15 c (3.2s) probing aborted: 1000/1000 successive useless probings
3.08/3.15 c (3.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.17/3.24 c (3.2s) symmetry computation finished: 4 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
3.17/3.28 c dynamic symmetry handling statistics:
3.17/3.28 c orbitopal reduction: 1 components: 2x3
3.17/3.28 c orbital reduction: no components
3.17/3.28 c lexicographic reduction: 2 permutations with support sizes 4, 4
3.17/3.28 c handled 3 out of 3 symmetry components
3.27/3.30 c presolving (8 rounds: 8 fast, 3 medium, 3 exhaustive):
3.27/3.30 c 2623 deleted vars, 3070 deleted constraints, 72 added constraints, 9840 tightened bounds, 0 added holes, 1 changed sides, 1 changed coefficients
3.27/3.30 c 10743 implications, 11460 cliques
3.27/3.30 c presolved problem has 23937 variables (14216 bin, 0 int, 9721 impl, 0 cont) and 23903 constraints
3.27/3.30 c 113 constraints of type <knapsack>
3.27/3.30 c 3651 constraints of type <setppc>
3.27/3.30 c 71 constraints of type <and>
3.27/3.30 c 9721 constraints of type <linear>
3.27/3.30 c 624 constraints of type <logicor>
3.27/3.30 c 9723 constraints of type <indicator>
3.27/3.30 c transformed objective value is always integral (scale: 1)
3.27/3.30 c Presolving Time: 3.19
3.27/3.30 c - non default parameters ----------------------------------------------------------------------
3.27/3.30 c # SCIP version 10.0.0
3.27/3.30 c
3.27/3.30 c # maximal time in seconds to run
3.27/3.30 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.27/3.30 c limits/time = 3596.997011
3.27/3.30 c
3.27/3.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.27/3.30 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.27/3.30 c limits/memory = 27900
3.27/3.30 c
3.27/3.30 c # belongs reading time to solving time?
3.27/3.30 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.27/3.30 c timing/reading = TRUE
3.27/3.30 c
3.27/3.30 c -----------------------------------------------------------------------------------------------
3.27/3.30 c start solving
3.27/3.32 c
5.97/6.04 o 487323
5.97/6.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.97/6.04 c p 6.0s| 1 | 0 | 0 | - |shiftand| 0 | 23k| 23k| 23k| 0 | 0 | 3 | 0 | 0.000000e+00 | 4.873230e+05 | Inf | unknown
5.97/6.09 o 59248
5.97/6.09 c i 6.1s| 1 | 0 | 0 | - | oneopt| 0 | 23k| 23k| 23k| 0 | 0 | 3 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
19.41/19.56 c 19.6s| 1 | 0 | 12801 | - | 361M | 0 | 23k| 23k| 23k| 0 | 0 | 3 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
32.07/32.25 c 32.3s| 1 | 0 | 23586 | - | 374M | 0 | 23k| 23k| 24k| 39 | 1 | 3 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
44.94/45.12 c 45.1s| 1 | 0 | 34085 | - | 378M | 0 | 23k| 23k| 24k| 64 | 2 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
51.92/52.11 c 52.1s| 1 | 0 | 37234 | - | 384M | 0 | 23k| 23k| 24k| 81 | 3 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
55.40/55.67 c 55.7s| 1 | 0 | 40082 | - | 388M | 0 | 23k| 23k| 24k| 86 | 4 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
58.38/58.63 c 58.6s| 1 | 0 | 42133 | - | 390M | 0 | 23k| 23k| 24k| 94 | 5 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
60.47/60.77 c 60.8s| 1 | 0 | 42934 | - | 393M | 0 | 23k| 23k| 24k| 99 | 6 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
65.06/65.39 c 65.4s| 1 | 0 | 47470 | - | 395M | 0 | 23k| 23k| 24k| 101 | 7 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
68.04/68.39 c 68.4s| 1 | 0 | 49638 | - | 398M | 0 | 23k| 23k| 24k| 108 | 8 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
70.43/70.75 c 70.7s| 1 | 0 | 50773 | - | 400M | 0 | 23k| 23k| 24k| 116 | 9 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
73.62/73.93 c 73.9s| 1 | 0 | 52442 | - | 403M | 0 | 23k| 23k| 24k| 123 | 10 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
74.52/74.83 c 74.8s| 1 | 0 | 53591 | - | 407M | 0 | 23k| 23k| 24k| 124 | 11 | 4 | 0 | 0.000000e+00 | 5.924800e+04 | Inf | unknown
94.44/94.84 o 1988
94.44/94.84 c o94.8s| 1 | 0 | 93285 | - |feaspump| 0 | 23k| 23k| 24k| 124 | 11 | 4 | 0 | 0.000000e+00 | 1.988000e+03 | Inf | unknown
96.04/96.46 o 1915
96.04/96.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
96.04/96.46 c L96.5s| 1 | 0 | 93290 | - | alns| 0 | 23k| 23k| 24k| 124 | 11 | 4 | 0 | 0.000000e+00 | 1.915000e+03 | Inf | unknown
96.13/96.52 c 96.5s| 1 | 0 | 93290 | - | 413M | 0 | 23k| 23k| 24k| 124 | 11 | 4 | 0 | 0.000000e+00 | 1.915000e+03 | Inf | unknown
98.13/98.56 c 98.6s| 1 | 0 | 95455 | - | 413M | 0 | 23k| 23k| 24k| 127 | 12 | 4 | 0 | 0.000000e+00 | 1.915000e+03 | Inf | unknown
98.32/98.77 c 98.8s| 1 | 0 | 95620 | - | 413M | 0 | 23k| 23k| 24k| 129 | 13 | 4 | 0 | 0.000000e+00 | 1.915000e+03 | Inf | unknown
110.37/110.88 c 111s| 1 | 2 | 96468 | - | 413M | 0 | 23k| 23k| 24k| 129 | 13 | 5 | 19 | 0.000000e+00 | 1.915000e+03 | Inf | unknown
322.41/323.75 o 912
322.41/323.75 c L 324s| 26 | 27 |253948 |7921.1 | alns| 20 | 23k| 23k| 24k| 167 | 2 | 5 | 229 | 0.000000e+00 | 9.120000e+02 | Inf | unknown
322.51/323.82 o 786
322.51/323.82 c L 324s| 26 | 27 |253948 |7921.1 | alns| 20 | 23k| 23k| 24k| 167 | 2 | 5 | 229 | 0.000000e+00 | 7.860000e+02 | Inf | unknown
322.51/323.86 o 544
322.51/323.86 c L 324s| 26 | 27 |253948 |7921.1 | alns| 20 | 23k| 23k| 24k| 167 | 2 | 5 | 229 | 0.000000e+00 | 5.440000e+02 | Inf | unknown
322.61/323.92 o 506
322.61/323.92 c i 324s| 27 | 26 |253948 |7616.4 | oneopt| 21 | 23k| 23k| 24k| 167 | 0 | 5 | 229 | 0.000000e+00 | 5.060000e+02 | Inf | unknown
721.29/724.02 c 724s| 100 | 101 |940661 |8936.8 | 468M | 31 | 23k| 23k| 24k| 333 | 2 | 12 | 448 | 0.000000e+00 | 5.060000e+02 | Inf | unknown
899.45/902.88 o 410
899.45/902.88 c L 903s| 123 | 124 | 1189k|9292.1 | alns| 31 | 23k| 23k| 24k| 397 | 3 | 12 | 551 | 0.000000e+00 | 4.100000e+02 | Inf | unknown
948.27/951.83 c 952s| 200 | 201 | 1350k|6505.9 | 488M | 35 | 23k| 23k| 24k| 444 | 1 | 24 | 608 | 0.000000e+00 | 4.100000e+02 | Inf | unknown
1019.81/1023.60 c 1024s| 300 | 301 | 1513k|4874.9 | 503M | 41 | 23k| 23k| 24k| 538 | 1 | 37 | 669 | 0.000000e+00 | 4.100000e+02 | Inf | unknown
1030.38/1034.27 o 359
1030.38/1034.27 c L1034s| 323 | 324 | 1549k|4638.2 | rins| 42 | 23k| 23k| 24k| 592 | 1 | 37 | 681 | 0.000000e+00 | 3.590000e+02 | Inf | unknown
1088.97/1093.08 c 1093s| 400 | 399 | 1676k|4061.7 | 665M | 44 | 23k| 23k| 24k|1125 | 1 | 37 | 773 | 0.000000e+00 | 3.590000e+02 | Inf | unknown
1277.41/1282.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1277.41/1282.15 c 1282s| 500 | 499 | 1997k|3891.7 | 689M | 44 | 23k| 23k| 24k|1470 | 1 | 37 | 902 | 0.000000e+00 | 3.590000e+02 | Inf | unknown
1342.37/1347.30 o 264
1342.37/1347.30 c L1347s| 523 | 514 | 2094k|3904.8 | rins| 44 | 23k| 23k| 24k|1586 | 1 | 44 | 937 | 0.000000e+00 | 2.640000e+02 | Inf | unknown
1447.41/1452.72 c 1453s| 600 | 567 | 2293k|3735.4 | 755M | 44 | 23k| 23k| 24k|1904 | 1 | 70 |1034 | 0.000000e+00 | 2.640000e+02 | Inf | unknown
1687.41/1693.53 c 1694s| 700 | 665 | 2802k|3929.6 | 758M | 44 | 23k| 23k| 24k|2178 | 1 | 75 |1210 | 0.000000e+00 | 2.640000e+02 | Inf | unknown
1743.30/1749.63 o 236
1743.30/1749.63 c L1750s| 723 | 669 | 2898k|3937.0 | rins| 44 | 23k| 23k| 24k|2310 | 2 | 85 |1257 | 0.000000e+00 | 2.360000e+02 | Inf | unknown
1845.59/1852.33 c 1852s| 800 | 732 | 3155k|3879.2 | 772M | 44 | 23k| 23k| 24k|2499 | 1 | 90 |1362 | 0.000000e+00 | 2.360000e+02 | Inf | unknown
1998.60/2005.97 c 2006s| 900 | 809 | 3530k|3865.0 | 787M | 44 | 23k| 23k| 24k|2943 | 1 | 110 |1524 | 0.000000e+00 | 2.360000e+02 | Inf | unknown
2194.94/2203.07 c 2203s| 1000 | 880 | 3932k|3880.4 | 806M | 44 | 23k| 23k| 24k|3506 | 2 | 129 |1737 | 0.000000e+00 | 2.360000e+02 | Inf | unknown
2296.51/2305.02 o 188
2296.51/2305.02 c L2305s| 1071 | 854 | 4192k|3866.2 | rins| 44 | 23k| 24k| 24k|3939 | 1 | 334 |1856 | 0.000000e+00 | 1.880000e+02 | Inf | unknown
2378.98/2387.82 c 2388s| 1100 | 869 | 4321k|3881.4 | 825M | 44 | 23k| 24k| 24k|4005 | 2 | 363 |1924 | 0.000000e+00 | 1.880000e+02 | Inf | unknown
2538.82/2548.34 c 2548s| 1200 | 957 | 4717k|3887.6 | 864M | 44 | 23k| 24k| 24k|4451 | 2 | 380 |2033 | 0.000000e+00 | 1.880000e+02 | Inf | unknown
2766.49/2776.96 c 2777s| 1300 | 1055 | 5068k|3858.6 | 888M | 52 | 23k| 24k| 24k|4805 | 1 | 380 |2176 | 0.000000e+00 | 1.880000e+02 | Inf | unknown
2999.84/3011.03 c 3011s| 1400 | 1145 | 5426k|3839.2 | 929M | 56 | 23k| 24k| 24k|5342 | 2 | 397 |2326 | 0.000000e+00 | 1.880000e+02 | Inf | unknown
3239.91/3251.91 c 3252s| 1500 | 1227 | 5753k|3801.1 | 966M | 62 | 23k| 24k| 24k|5805 | 2 | 439 |2500 | 0.000000e+00 | 1.880000e+02 | Inf | unknown
3387.52/3400.08 o 159
3387.52/3400.08 c L3400s| 1546 | 1128 | 5942k|3809.9 | rins| 62 | 23k| 24k| 24k|6107 | 2 | 463 |2601 | 0.000000e+00 | 1.590000e+02 | Inf | unknown
3503.34/3516.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3503.34/3516.28 c 3516s| 1600 | 1162 | 6111k|3787.1 | 989M | 62 | 23k| 24k| 24k|6428 | 0 | 500 |2690 | 0.000000e+00 | 1.590000e+02 | Inf | unknown
3583.89/3597.09 c
3583.89/3597.09 c SCIP Status : solving was interrupted [time limit reached]
3583.89/3597.09 c Solving Time (sec) : 3597.09
3583.89/3597.09 c Solving Nodes : 1638
3583.89/3597.09 c Primal Bound : +1.59000000000000e+02 (180 solutions)
3583.89/3597.09 c Dual Bound : +0.00000000000000e+00
3583.89/3597.09 c Gap : infinite
3583.99/3597.12 s SATISFIABLE
3583.99/3597.12 v x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942
3583.99/3597.12 v -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924
3583.99/3597.12 v -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907
3583.99/3597.12 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889
3583.99/3597.12 v -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 x4879 x4878 x4877 x4876 x4875 x4874 x4873 x4872 -x4871 -x4870
3583.99/3597.12 v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852
3583.99/3597.12 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
3583.99/3597.12 v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816
3583.99/3597.12 v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 x4798
3583.99/3597.12 v x4797 x4796 x4795 x4794 x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780
3583.99/3597.12 v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762
3583.99/3597.12 v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
3583.99/3597.12 v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726
3583.99/3597.12 v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 x4719 x4718 x4717 x4716 x4715 x4714 x4713 x4712 x4711 -x4710 -x4709 -x4708 -x4707
3583.99/3597.12 v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
3583.99/3597.12 v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
3583.99/3597.12 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653
3583.99/3597.12 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
3583.99/3597.12 v -x4634 -x4633 -x4632 -x4631 x4630 x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
3583.99/3597.12 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3583.99/3597.12 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582
3583.99/3597.12 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
3583.99/3597.12 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
3583.99/3597.12 v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 x4535 -x4534 -x4533 x4532 x4531 x4530 x4529 -x4528 -x4527
3583.99/3597.12 v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509
3583.99/3597.12 v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492
3583.99/3597.12 v -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474
3583.99/3597.12 v -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 x4467 x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456
3583.99/3597.12 v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438
3583.99/3597.12 v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
3583.99/3597.12 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
3583.99/3597.12 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 x4385 x4384
3583.99/3597.12 v x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
3583.99/3597.12 v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3583.99/3597.12 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330
3583.99/3597.12 v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
3583.99/3597.12 v -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
3583.99/3597.12 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
3583.99/3597.12 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 x4266 x4265 x4264 x4263 x4262 x4261 x4260 -x4259 -x4258
3583.99/3597.12 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240
3583.99/3597.12 v -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 x4231 x4230 x4229 x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221
3583.99/3597.12 v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204
3583.99/3597.12 v -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186
3583.99/3597.12 v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168
3583.99/3597.12 v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150
3583.99/3597.12 v -x4149 x4148 x4147 x4146 x4145 x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131
3583.99/3597.12 v -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
3583.99/3597.12 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096
3583.99/3597.12 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
3583.99/3597.12 v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 x4063 x4062 x4061 x4060 x4059
3583.99/3597.12 v x4058 x4057 x4056 x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041
3583.99/3597.12 v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023
3583.99/3597.12 v -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005
3583.99/3597.12 v -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
3583.99/3597.12 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969
3583.99/3597.12 v -x3968 x3967 x3966 x3965 x3964 x3963 x3962 x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951
3583.99/3597.12 v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933
3583.99/3597.12 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
3583.99/3597.12 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
3583.99/3597.12 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 x3889 x3888 x3887 x3886 x3885 x3884 x3883 x3882 x3881 x3880 -x3879 -x3878
3583.99/3597.12 v -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
3583.99/3597.12 v -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
3583.99/3597.12 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824
3583.99/3597.12 v -x3823 x3822 x3821 x3820 x3819 x3818 x3817 x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805
3583.99/3597.12 v -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787
3583.99/3597.12 v -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
3583.99/3597.12 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
3583.99/3597.12 v -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
3583.99/3597.12 v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716
3583.99/3597.12 v -x3715 -x3714 -x3713 x3712 x3711 x3710 x3709 x3708 x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697
3583.99/3597.12 v -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679
3583.99/3597.12 v -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662
3583.99/3597.12 v -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 x3652 x3651 x3650 x3649 x3648 -x3647 -x3646 -x3645 -x3644 -x3643
3583.99/3597.12 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625
3583.99/3597.12 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607
3583.99/3597.12 v -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589
3583.99/3597.12 v -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572
3583.99/3597.12 v -x3571 -x3570 -x3569 x3568 x3567 x3566 x3565 x3564 x3563 x3562 x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553
3583.99/3597.12 v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535
3583.99/3597.12 v -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517
3583.99/3597.12 v -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499
3583.99/3597.12 v -x3498 -x3497 -x3496 -x3495 x3494 x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481
3583.99/3597.12 v -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463
3583.99/3597.12 v -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445
3583.99/3597.12 v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427
3583.99/3597.12 v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409
3583.99/3597.12 v -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392
3583.99/3597.12 v -x3391 -x3390 -x3389 -x3388 -x3387 x3386 x3385 x3384 x3383 x3382 x3381 x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
3583.99/3597.12 v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
3583.99/3597.12 v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
3583.99/3597.12 v -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 x3319
3583.99/3597.12 v x3318 x3317 x3316 x3315 x3314 x3313 x3312 x3311 x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300
3583.99/3597.12 v -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
3583.99/3597.12 v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264
3583.99/3597.12 v -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
3583.99/3597.12 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 x3229 x3228
3583.99/3597.12 v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210
3583.99/3597.12 v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192
3583.99/3597.12 v -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175
3583.99/3597.12 v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157
3583.99/3597.12 v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 x3147 x3146 x3145 x3144 x3143 x3142 x3141 x3140 x3139 -x3138
3583.99/3597.12 v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120
3583.99/3597.12 v -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102
3583.99/3597.12 v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084
3583.99/3597.12 v -x3083 -x3082 -x3081 -x3080 x3079 x3078 x3077 x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066
3583.99/3597.12 v -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048
3583.99/3597.12 v -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030
3583.99/3597.12 v -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012
3583.99/3597.12 v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994
3583.99/3597.12 v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 x2979 -x2978 x2977 x2976
3583.99/3597.12 v x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
3583.99/3597.12 v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
3583.99/3597.12 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
3583.99/3597.12 v -x2921 x2920 x2919 x2918 x2917 x2916 x2915 x2914 x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903
3583.99/3597.12 v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
3583.99/3597.12 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
3583.99/3597.12 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
3583.99/3597.12 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832
3583.99/3597.12 v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 x2815 x2814
3583.99/3597.12 v x2813 x2812 x2811 x2810 x2809 x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795
3583.99/3597.12 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
3583.99/3597.12 v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759
3583.99/3597.12 v -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741
3583.99/3597.12 v -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
3583.99/3597.12 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
3583.99/3597.12 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688
3583.99/3597.12 v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670
3583.99/3597.12 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
3583.99/3597.12 v -x2651 -x2650 -x2649 -x2648 x2647 x2646 x2645 x2644 x2643 x2642 x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
3583.99/3597.12 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
3583.99/3597.12 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597
3583.99/3597.12 v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
3583.99/3597.12 v x2578 x2577 x2576 -x2575 x2574 x2573 x2572 x2571 x2570 x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560
3583.99/3597.12 v -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542
3583.99/3597.12 v -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
3583.99/3597.12 v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507
3583.99/3597.12 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 x2489
3583.99/3597.12 v x2488 x2487 x2486 x2485 x2484 x2483 x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470
3583.99/3597.12 v -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
3583.99/3597.12 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
3583.99/3597.12 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
3583.99/3597.12 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 x2401 x2400 x2399 x2398
3583.99/3597.12 v x2397 x2396 x2395 x2394 x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
3583.99/3597.12 v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361
3583.99/3597.12 v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3583.99/3597.12 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
3583.99/3597.12 v -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307
3583.99/3597.12 v -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289
3583.99/3597.12 v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271
3583.99/3597.12 v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253
3583.99/3597.12 v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 x2240 x2239 x2238 x2237 x2236 x2235 x2234
3583.99/3597.12 v x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
3583.99/3597.12 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
3583.99/3597.12 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
3583.99/3597.12 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162
3583.99/3597.12 v x2161 x2160 x2159 x2158 x2157 x2156 x2155 x2154 x2153 x2152 x2151 x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143
3583.99/3597.12 v -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125
3583.99/3597.12 v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107
3583.99/3597.12 v -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
3583.99/3597.12 v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 x2079 x2078 x2077 x2076 x2075 x2074 x2073 x2072 x2071 x2070
3583.99/3597.12 v x2069 x2068 x2067 x2066 x2065 x2064 x2063 x2062 x2061 x2060 x2059 x2058 x2057 x2056 x2055 x2054 x2053 x2052 x2051 x2050 -x2049
3583.99/3597.12 v -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031
3583.99/3597.12 v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013
3583.99/3597.12 v -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 x2000 x1999 x1998 x1997 x1996 x1995 x1994
3583.99/3597.12 v x1993 x1992 x1991 x1990 x1989 x1988 x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975
3583.99/3597.12 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957
3583.99/3597.12 v -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940
3583.99/3597.12 v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922
3583.99/3597.12 v x1921 x1920 x1919 x1918 x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 x1908 x1907 x1906 x1905 x1904 -x1903 -x1902 -x1901
3583.99/3597.12 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
3583.99/3597.12 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
3583.99/3597.12 v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848
3583.99/3597.12 v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 x1832 x1831 x1830 x1829 x1828
3583.99/3597.12 v x1827 x1826 x1825 x1824 x1823 x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 x1814 x1813 x1812 x1811 x1810 x1809 x1808 x1807
3583.99/3597.12 v x1806 x1805 x1804 x1803 x1802 x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 x1793 x1792 x1791 x1790 x1789 x1788 x1787 x1786
3583.99/3597.12 v x1785 x1784 x1783 x1782 x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768
3583.99/3597.12 v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754 x1753 x1752 x1751 x1750 x1749 -x1748
3583.99/3597.12 v -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730
3583.99/3597.12 v -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712
3583.99/3597.12 v -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
3583.99/3597.12 v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 x1680 x1679 x1678 x1677 x1676
3583.99/3597.12 v x1675 x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 x1666 x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656
3583.99/3597.12 v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638
3583.99/3597.12 v -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620
3583.99/3597.12 v -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603
3583.99/3597.12 v -x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595 x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582
3583.99/3597.12 v x1581 x1580 x1579 x1578 x1577 x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563
3583.99/3597.12 v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545
3583.99/3597.12 v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527
3583.99/3597.12 v -x1526 -x1525 -x1524 -x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510 x1509 x1508
3583.99/3597.12 v x1507 x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487
3583.99/3597.12 v x1486 x1485 x1484 x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468
3583.99/3597.12 v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
3583.99/3597.12 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 x1440 x1439 x1438 x1437 x1436 x1435 x1434 x1433 x1432 x1431
3583.99/3597.12 v x1430 x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 x1410
3583.99/3597.12 v x1409 x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
3583.99/3597.12 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
3583.99/3597.12 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355 x1354
3583.99/3597.12 v x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338 x1337 -x1336 -x1335 -x1334
3583.99/3597.12 v -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
3583.99/3597.12 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298
3583.99/3597.12 v -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280
3583.99/3597.12 v x1279 x1278 x1277 x1276 x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259
3583.99/3597.12 v x1258 x1257 x1256 x1255 x1254 x1253 x1252 x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238
3583.99/3597.12 v x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219
3583.99/3597.12 v -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201
3583.99/3597.12 v x1200 x1199 x1198 x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 x1182 x1181 x1180
3583.99/3597.12 v x1179 x1178 x1177 x1176 x1175 x1174 x1173 x1172 x1171 x1170 x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161
3583.99/3597.12 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143
3583.99/3597.12 v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
3583.99/3597.12 v -x1124 -x1123 -x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 x1106 x1105
3583.99/3597.12 v x1104 x1103 x1102 x1101 x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084
3583.99/3597.12 v x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
3583.99/3597.12 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
3583.99/3597.12 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028
3583.99/3597.12 v x1027 x1026 x1025 x1024 x1023 x1022 x1021 x1020 x1019 x1018 x1017 x1016 x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
3583.99/3597.12 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
3583.99/3597.12 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
3583.99/3597.12 v -x967 -x966 -x965 -x964 -x963 -x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 x945 x944
3583.99/3597.12 v x943 x942 x941 x940 x939 x938 x937 x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926 x925 x924 x923 x922 x921 x920 x919
3583.99/3597.12 v x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 x907 x906 x905 x904 x903 x902 x901 -x900 -x899 -x898 -x897 -x896 -x895
3583.99/3597.12 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875 x874 x873
3583.99/3597.12 v x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 x853 x852 x851 x850 x849 x848
3583.99/3597.12 v x847 x846 x845 x844 x843 x842 x841 x840 x839 x838 x837 x836 x835 x834 x833 x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824
3583.99/3597.12 v -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
3583.99/3597.12 v -x802 x801 x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 x779
3583.99/3597.12 v x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760 x759 x758 x757 x756 x755 x754
3583.99/3597.12 v x753 x752 x751 x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732
3583.99/3597.12 v -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 x720 x719 x718 x717 x716 x715 x714 x713 x712 x711 x710 x709
3583.99/3597.12 v x708 x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684
3583.99/3597.12 v x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667 x666 x665 x664 x663 x662 x661 x660 -x659
3583.99/3597.12 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 x640 x639 x638
3583.99/3597.12 v x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 x617 x616 x615 x614 x613
3583.99/3597.12 v x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
3583.99/3597.12 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
3583.99/3597.12 v -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550 x549 x548 x547 x546 x545
3583.99/3597.12 v x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 x520
3583.99/3597.12 v x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 x501 x500 x499 x498 x497 x496 x495
3583.99/3597.12 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 x479 x478 x477 x476 x475 x474 x473 x472
3583.99/3597.12 v x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 x451 x450 x449 x448 x447
3583.99/3597.12 v x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
3583.99/3597.12 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
3583.99/3597.12 v -x402 x401 x400 x399 x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379
3583.99/3597.12 v x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 x354
3583.99/3597.12 v x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 x332 x331 x330 x329
3583.99/3597.12 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 x320 x319 x318 x317 x316 x315 x314 x313 x312 x311 x310 x309 x308 x307 x306 x305
3583.99/3597.12 v x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280
3583.99/3597.12 v x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260 x259 -x258 -x257 -x256
3583.99/3597.12 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 x240 x239 x238 x237 x236 x235 x234 x233
3583.99/3597.12 v x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208
3583.99/3597.12 v x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 x185 x184 x183
3583.99/3597.12 v x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158
3583.99/3597.12 v x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133
3583.99/3597.12 v x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108
3583.99/3597.12 v x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81
3583.99/3597.12 v x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50
3583.99/3597.12 v x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19
3583.99/3597.12 v x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
3583.99/3597.12 c SCIP Status : solving was interrupted [time limit reached]
3583.99/3597.12 c Total Time : 3597.09
3583.99/3597.12 c solving : 3597.09
3583.99/3597.12 c presolving : 3.19 (included in solving)
3583.99/3597.12 c reading : 0.06 (included in solving)
3583.99/3597.12 c copying : 1.45 (19 #copies) (minimal 0.07, maximal 0.09, average 0.08)
3583.99/3597.12 c Original Problem :
3583.99/3597.12 c Problem name : HOME/instance-4425147-1720880982.wbo
3583.99/3597.12 c Variables : 15703 (15703 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.99/3597.12 c Constraints : 26901 initial, 26901 maximal
3583.99/3597.12 c Objective : minimize, 10743 non-zeros (abs.min = 1, abs.max = 100)
3583.99/3597.12 c Presolved Problem :
3583.99/3597.12 c Problem name : t_HOME/instance-4425147-1720880982.wbo
3583.99/3597.12 c Variables : 23937 (14216 binary, 0 integer, 9721 implicit integer, 0 continuous)
3583.99/3597.12 c Constraints : 23903 initial, 24186 maximal
3583.99/3597.12 c Objective : minimize, 9723 non-zeros (abs.min = 1, abs.max = 100)
3583.99/3597.12 c Nonzeros : 103270 constraint, 22582 clique table
3583.99/3597.12 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.99/3597.12 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c gateextraction : 0.01 0.00 2 0 0 0 0 0 217 72 0 0
3583.99/3597.12 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c trivial : 0.01 0.00 8 114 0 0 0 0 0 0 0 0
3583.99/3597.12 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c dualfix : 0.01 0.00 8 1131 0 0 0 0 0 0 0 0
3583.99/3597.12 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c probing : 2.77 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c symmetry : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c knapsack : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c setppc : 0.01 0.00 5 0 3 0 0 0 2 0 1 1
3583.99/3597.12 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c linear : 0.08 0.00 10 117 124 0 9840 0 1831 0 0 0
3583.99/3597.12 c logicor : 0.03 0.00 5 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c indicator : 0.01 0.00 7 1020 0 0 0 0 1020 0 0 0
3583.99/3597.12 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c root node : - - - 45 - - 45 - - - - -
3583.99/3597.12 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.99/3597.12 c benderslp : 0 0 0 0 1560 0 0 1889 0 0 0 0 0 0 0
3583.99/3597.12 c integral : 0 0 0 0 1560 0 0 1889 0 0 339 0 0 22 3048
3583.99/3597.12 c knapsack : 113 113 12 143996 0 0 0 1883 563 8 7380 189 68 0 0
3583.99/3597.12 c setppc : 3651+ 3656 12 143699 0 0 0 1440 2838 18 84597 0 0 0 0
3583.99/3597.12 c and : 71 71 3210 142399 0 0 0 1121 428 0 4811 1716 1543 0 0
3583.99/3597.12 c linear : 9721 9721 12 144513 0 0 0 1084 4641 49 188360 0 0 0 0
3583.99/3597.12 c logicor : 624+ 705 12 36447 0 0 0 1081 717 17 3084 0 0 0 0
3583.99/3597.12 c bounddisjunction : 0+ 228 0 1983 0 0 0 0 20 1 14 0 0 0 0
3583.99/3597.12 c benders : 0 0 0 0 0 0 0 914 0 0 0 0 0 0 0
3583.99/3597.12 c indicator : 9723 9723 716 144639 0 0 0 912 4589 11 866754 0 0 0 0
3583.99/3597.12 c fixedvar : 0 0 0 0 0 0 0 182 0 0 0 0 0 0 0
3583.99/3597.12 c countsols : 0 0 0 0 0 0 0 182 0 0 0 0 0 0 0
3583.99/3597.12 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.99/3597.12 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c integral : 1189.97 0.00 0.00 0.00 1189.44 0.00 0.00 0.53 0.00 0.00
3583.99/3597.12 c knapsack : 0.40 0.00 0.01 0.27 0.00 0.00 0.00 0.11 0.00 0.02
3583.99/3597.12 c setppc : 1.93 0.00 0.00 0.80 0.00 0.00 0.00 1.04 0.00 0.09
3583.99/3597.12 c and : 0.20 0.00 0.06 0.10 0.00 0.00 0.00 0.02 0.00 0.02
3583.99/3597.12 c linear : 4.72 0.00 0.02 1.37 0.00 0.00 0.00 3.24 0.00 0.08
3583.99/3597.12 c logicor : 0.26 0.00 0.00 0.11 0.00 0.00 0.00 0.13 0.00 0.01
3583.99/3597.12 c bounddisjunction : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c indicator : 19.41 0.00 1.05 12.70 0.00 0.00 0.00 4.35 0.00 1.30
3583.99/3597.12 c fixedvar : 0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.03 0.00 0.00
3583.99/3597.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.99/3597.12 c dualfix : 3 0 0 0
3583.99/3597.12 c genvbounds : 0 0 0 0
3583.99/3597.12 c nlobbt : 0 0 0 0
3583.99/3597.12 c obbt : 0 0 0 0
3583.99/3597.12 c probing : 0 0 0 0
3583.99/3597.12 c pseudoobj : 13264 499 6 91779
3583.99/3597.12 c redcost : 5997 0 0 804561
3583.99/3597.12 c rootredcost : 9 0 0 15
3583.99/3597.12 c symmetry : 11447 0 0 0
3583.99/3597.12 c vbounds : 78937 0 0 0
3583.99/3597.12 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.99/3597.12 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3583.99/3597.12 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3583.99/3597.12 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.99/3597.12 c probing : 2.77 0.00 2.77 0.00 0.00 0.00
3583.99/3597.12 c pseudoobj : 0.41 0.00 0.00 0.22 0.19 0.00
3583.99/3597.12 c redcost : 7.30 0.00 0.00 7.30 0.00 0.00
3583.99/3597.12 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3583.99/3597.12 c symmetry : 0.36 0.00 0.13 0.19 0.00 0.05
3583.99/3597.12 c vbounds : 0.35 0.00 0.00 0.33 0.00 0.01
3583.99/3597.12 c Symmetry :
3583.99/3597.12 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.99/3597.12 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.99/3597.12 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.99/3597.12 c shadow tree time : 0.01 s
3583.99/3597.12 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.99/3597.12 c propagation : 0.17 106 106 - 679 78.7 7 18.3 - - -
3583.99/3597.12 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.99/3597.12 c bound exceed. LP : 3.90 326 11 - 250 127.1 0 0.0 0 0.0 2654
3583.99/3597.12 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.99/3597.12 c pseudo solution : 0.00 1 1 - 1 7.0 0 0.0 - - -
3583.99/3597.12 c applied globally : 0.04 - - 0 524 67.8 - - 0 - -
3583.99/3597.12 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.99/3597.12 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.99/3597.12 c cut pool : 2.03 - 928 24 - - 6314 27241 - - - - - (maximal pool size: 2378)
3583.99/3597.12 c aggregation : 3.39 0.00 294 12 0 0 6 6 0 6 6 0 0
3583.99/3597.12 c > cmir : - - - - - - - 1 0 1 1 0 -
3583.99/3597.12 c > flowcover : - - - - - - - 5 0 5 5 0 -
3583.99/3597.12 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.99/3597.12 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c clique : 0.29 0.00 12 12 0 0 15 15 0 14 14 0 0
3583.99/3597.12 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c gomory : 77.89 0.00 187 10 0 0 5694 22112 0 1959 1959 0 0
3583.99/3597.12 c > gomorymi : - - - - - - - 11725 0 1115 1115 0 -
3583.99/3597.12 c > strongcg : - - - - - - - 10387 0 844 844 0 -
3583.99/3597.12 c impliedbounds : 0.34 0.00 294 12 0 21 106 276 0 231 231 0 0
3583.99/3597.12 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c mixing : 0.00 0.00 294 12 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c multilinear : 0.00 0.00 77 12 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c rapidlearning : 0.09 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c rlt : 0.65 0.00 51 10 0 0 0 0 0 0 0 0 0
3583.99/3597.12 c zerohalf : 2.80 0.00 189 12 0 0 504 4832 11 2726 2716 10 0
3583.99/3597.12 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.99/3597.12 c hybrid : 0.21 0.00 1300 13 6547 0 22610 129 0 173
3583.99/3597.12 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c Pricers : ExecTime SetupTime Calls Vars
3583.99/3597.12 c problem variables: 0.00 - 0 0
3583.99/3597.12 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.99/3597.12 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c relpscost : 1189.43 0.00 1560 0 0 0 339 0 22 3048
3583.99/3597.12 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.99/3597.12 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.99/3597.12 c LP solutions : 0.00 - - 0 0
3583.99/3597.12 c relax solutions : 0.00 - - 0 0
3583.99/3597.12 c pseudo solutions : 0.00 - - 0 0
3583.99/3597.12 c strong branching : 0.03 - - 0 0
3583.99/3597.12 c actconsdiving : 0.00 0.00 0 0 0
3583.99/3597.12 c adaptivediving : 10.33 0.00 31 0 0
3583.99/3597.12 c alns : 2.37 0.00 6 5 5
3583.99/3597.12 c bound : 0.00 0.00 0 0 0
3583.99/3597.12 c clique : 0.39 0.00 1 0 0
3583.99/3597.12 c coefdiving : 0.00 0.00 0 0 0
3583.99/3597.12 c completesol : 0.00 0.00 0 0 0
3583.99/3597.12 c conflictdiving : 7.55 0.00 27 0 0
3583.99/3597.12 c crossover : 1.11 0.00 4 2 0
3583.99/3597.12 c dins : 0.00 0.00 0 0 0
3583.99/3597.12 c distributiondivin: 58.33 0.00 26 0 0
3583.99/3597.12 c dps : 0.00 0.00 0 0 0
3583.99/3597.12 c dualval : 0.00 0.00 0 0 0
3583.99/3597.12 c farkasdiving : 18.60 0.00 1 0 0
3583.99/3597.12 c feasjump : 0.00 0.00 0 0 0
3583.99/3597.12 c feaspump : 1.32 0.00 1 1 1
3583.99/3597.12 c fixandinfer : 0.00 0.00 0 0 0
3583.99/3597.12 c fracdiving : 5.47 0.00 27 0 0
3583.99/3597.12 c gins : 0.03 0.00 0 0 0
3583.99/3597.12 c guideddiving : 12.57 0.00 26 0 0
3583.99/3597.12 c indcoefdiving : 0.00 0.00 0 0 0
3583.99/3597.12 c indicator : 0.00 0.00 0 0 0
3583.99/3597.12 c indicatordiving : 0.00 0.00 0 0 0
3583.99/3597.12 c indoneopt : 9.61 0.00 9 0 0
3583.99/3597.12 c indrounding : 0.00 0.00 0 0 0
3583.99/3597.12 c indtwoopt : 0.00 0.00 0 0 0
3583.99/3597.12 c intdiving : 0.00 0.00 0 0 0
3583.99/3597.12 c intshifting : 0.00 0.00 0 0 0
3583.99/3597.12 c linesearchdiving : 5.66 0.00 26 0 0
3583.99/3597.12 c localbranching : 0.00 0.00 0 0 0
3583.99/3597.12 c locks : 0.23 0.00 1 0 0
3583.99/3597.12 c lpface : 26.29 0.00 2 0 0
3583.99/3597.12 c mpec : 0.00 0.00 0 0 0
3583.99/3597.12 c multistart : 0.00 0.00 0 0 0
3583.99/3597.12 c mutation : 0.00 0.00 0 0 0
3583.99/3597.12 c nlpdiving : 0.00 0.00 0 0 0
3583.99/3597.12 c objpscostdiving : 69.07 0.00 6 105 0
3583.99/3597.12 c octane : 0.00 0.00 0 0 0
3583.99/3597.12 c ofins : 0.00 0.00 0 0 0
3583.99/3597.12 c oneopt : 0.09 0.00 9 2 2
3583.99/3597.12 c padm : 0.00 0.00 0 0 0
3583.99/3597.12 c proximity : 0.00 0.00 0 0 0
3583.99/3597.12 c pscostdiving : 37.91 0.00 27 1 0
3583.99/3597.12 c randrounding : 1.62 0.00 387 0 0
3583.99/3597.12 c rens : 0.33 0.00 1 0 0
3583.99/3597.12 c reoptsols : 0.00 0.00 0 0 0
3583.99/3597.12 c repair : 0.00 0.00 0 0 0
3583.99/3597.12 c rins : 2.31 0.00 8 6 5
3583.99/3597.12 c rootsoldiving : 44.12 0.00 14 51 0
3583.99/3597.12 c rounding : 0.54 0.00 716 0 0
3583.99/3597.12 c scheduler : 0.00 0.00 0 0 0
3583.99/3597.12 c shiftandpropagate: 2.09 0.00 1 1 1
3583.99/3597.12 c shifting : 0.50 0.00 341 0 0
3583.99/3597.12 c simplerounding : 0.75 0.00 3021 0 0
3583.99/3597.12 c smallcard : 0.00 0.00 0 0 0
3583.99/3597.12 c subnlp : 0.00 0.00 0 0 0
3583.99/3597.12 c trivial : 0.02 0.00 2 0 0
3583.99/3597.12 c trivialnegation : 0.00 0.00 0 0 0
3583.99/3597.12 c trustregion : 0.00 0.00 0 0 0
3583.99/3597.12 c trysol : 0.18 0.00 16 6 0
3583.99/3597.12 c twoopt : 0.00 0.00 0 0 0
3583.99/3597.12 c undercover : 0.00 0.00 1 0 0
3583.99/3597.12 c vbounds : 0.00 0.00 0 0 0
3583.99/3597.12 c veclendiving : 7.22 0.00 27 0 0
3583.99/3597.12 c zeroobj : 0.00 0.00 0 0 0
3583.99/3597.12 c zirounding : 0.91 0.00 1000 0 0
3583.99/3597.12 c other solutions : - - - 0 -
3583.99/3597.12 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 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
3583.99/3597.12 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.99/3597.12 c primal LP : 2.59 316 0 0.00 0.00 2.59 316
3583.99/3597.12 c dual LP : 1950.75 4329 4237623 1377.64 2172.30 10.59 1253
3583.99/3597.12 c lex dual LP : 0.00 0 0 0.00 -
3583.99/3597.12 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.99/3597.12 c resolve instable : 0.00 0 0 0.00 -
3583.99/3597.12 c diving/probing LP: 306.13 2951 2001633 678.29 6538.57
3583.99/3597.12 c strong branching : 1102.44 2749 2238265 814.21 2030.28 - - 3798
3583.99/3597.12 c (at root node) : - 19 18915 995.53 -
3583.99/3597.12 c conflict analysis: 2.20 266 2654 9.98 1204.37
3583.99/3597.12 c B&B Tree :
3583.99/3597.12 c number of runs : 1
3583.99/3597.12 c nodes : 1638 (1524 internal, 114 leaves)
3583.99/3597.12 c feasible leaves : 0
3583.99/3597.12 c infeas. leaves : 54
3583.99/3597.12 c objective leaves : 60
3583.99/3597.12 c nodes (total) : 1638 (1524 internal, 114 leaves)
3583.99/3597.12 c nodes left : 1177
3583.99/3597.12 c max depth : 62
3583.99/3597.12 c max depth (total): 62
3583.99/3597.12 c backtracks : 303 (18.5%)
3583.99/3597.12 c early backtracks : 0 (0.0%)
3583.99/3597.12 c nodes exc. ref. : 0 (0.0%)
3583.99/3597.12 c delayed cutoffs : 3
3583.99/3597.12 c repropagations : 368 (13317 domain reductions, 3 cutoffs)
3583.99/3597.12 c avg switch length: 5.12
3583.99/3597.12 c switching time : 6.12
3583.99/3597.12 c Root Node :
3583.99/3597.12 c First LP value : +0.00000000000000e+00
3583.99/3597.12 c First LP Iters : 12801 (2602.92 Iter/sec)
3583.99/3597.12 c First LP Time : 4.92
3583.99/3597.12 c Final Dual Bound : +0.00000000000000e+00
3583.99/3597.12 c Final Root Iters : 55921
3583.99/3597.12 c Root LP Estimate : +6.56469689163775e+02
3583.99/3597.12 c Solution :
3583.99/3597.12 c Solutions found : 180 (14 improvements)
3583.99/3597.12 c First Solution : +4.87323000000000e+05 (in run 1, after 1 nodes, 6.03 seconds, depth 11496, found by <shiftandpropagate>)
3583.99/3597.12 c Gap First Sol. : infinite
3583.99/3597.12 c Gap Last Sol. : infinite
3583.99/3597.12 c Primal Bound : +1.59000000000000e+02 (in run 1, after 1546 nodes, 3400.07 seconds, depth 25, found by <rins>)
3583.99/3597.12 c Dual Bound : +0.00000000000000e+00
3583.99/3597.12 c Gap : infinite
3583.99/3597.12 c Integrals : Total Avg%
3583.99/3597.12 c primal-dual : 359708.97 100.00
3583.99/3597.12 c primal-ref : - - (not evaluated)
3583.99/3597.12 c dual-ref : - - (not evaluated)
3584.18/3597.31 c Time complete: 3584.2.
OK 159
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62826 MiB free)
memory of node 1: 64473 MiB (60775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425147-1720880982/watcher-4425147-1720880982 -o /tmp/evaluation-result-4425147-1720880982/solver-4425147-1720880982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720879214-711484 --watchdog 3760 pbscip -f HOME/instance-4425147-1720880982.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=712902, runsolver pid=712899
[startup+0.100264 s]*
/proc/loadavg: 4.16 4.11 3.81 5/258 712903
/proc/meminfo: memFree=126508696/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=114636 memory=74232 CPUtime=0.09 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 15375 0 0 0 7 2 0 0 20 0 1 0 140262030 117387264 18558 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 28659 18558 3596 3540 0 16916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114636 KiB
Current children cumulated memory: 74232 KiB
[startup+0.205528 s]*
/proc/loadavg: 4.14 4.11 3.81 5/258 712903
/proc/meminfo: memFree=126464344/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=166204 memory=122136 CPUtime=0.19 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 27325 0 0 0 16 3 0 0 20 0 1 0 140262030 170192896 30534 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 41551 30534 3628 3540 0 29808 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 166204 KiB
Current children cumulated memory: 122136 KiB
[startup+0.305633 s]*
/proc/loadavg: 4.14 4.11 3.81 5/258 712903
/proc/meminfo: memFree=126455608/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=171968 memory=127228 CPUtime=0.29 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 28615 0 0 0 26 3 0 0 20 0 1 0 140262030 176095232 31807 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 42992 31807 3660 3540 0 31249 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 171968 KiB
Current children cumulated memory: 127228 KiB
[startup+0.700242 s]
/proc/loadavg: 4.14 4.11 3.81 5/258 712903
/proc/meminfo: memFree=126448128/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=181288 memory=134812 CPUtime=0.68 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 30467 0 0 0 64 4 0 0 20 0 1 0 140262030 185638912 33703 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 45322 33703 3692 3540 0 33579 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 181288 KiB
Current children cumulated memory: 134812 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.11 3.81 5/258 712905
/proc/meminfo: memFree=126447600/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=181920 memory=135340 CPUtime=1.48 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 30642 0 0 0 144 4 0 0 20 0 1 0 140262030 186286080 33835 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 45480 33835 3692 3540 0 33737 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181920 KiB
Current children cumulated memory: 135340 KiB
[startup+3.10554 s]
/proc/loadavg: 4.14 4.11 3.81 5/258 712905
/proc/meminfo: memFree=126446496/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=182324 memory=135868 CPUtime=3.08 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 30749 0 0 0 304 4 0 0 20 0 1 0 140262030 186699776 33967 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 45581 33967 3692 3540 0 33838 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 182324 KiB
Current children cumulated memory: 135868 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.11 3.81 5/258 712905
/proc/meminfo: memFree=126286028/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=439396 memory=312120 CPUtime=6.26 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 82167 0 0 0 614 12 0 0 20 0 1 0 140262030 449941504 78030 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 109849 78030 3884 3540 0 98106 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 439396 KiB
Current children cumulated memory: 312120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.12 3.82 5/258 712962
/proc/meminfo: memFree=126269108/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=439396 memory=312120 CPUtime=12.64 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 82167 0 0 0 1252 12 0 0 20 0 1 0 140262030 449941504 78030 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 109849 78030 3884 3540 0 98106 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 439396 KiB
Current children cumulated memory: 312120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 3.82 5/257 712964
/proc/meminfo: memFree=126234168/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=467872 memory=335260 CPUtime=25.4 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 87464 0 0 0 2527 13 0 0 20 0 1 0 140262030 479100928 83815 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 116968 83815 3916 3540 0 105225 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 467872 KiB
Current children cumulated memory: 335260 KiB
[startup+51.1055 s]
/proc/loadavg: 4.26 4.15 3.84 5/257 713015
/proc/meminfo: memFree=126194184/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=480768 memory=348076 CPUtime=50.92 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 90738 0 0 0 5078 14 0 0 20 0 1 0 140262030 492306432 87019 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 120192 87019 3916 3540 0 108449 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 480768 KiB
Current children cumulated memory: 348076 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 3.86 5/257 713023
/proc/meminfo: memFree=125512264/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=611356 memory=468572 CPUtime=101.91 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 119967 0 0 0 10172 19 0 0 20 0 1 0 140262030 626028544 117143 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 152839 117143 3932 3540 0 141096 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 611356 KiB
Current children cumulated memory: 468572 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 3.88 5/257 713034
/proc/meminfo: memFree=125462036/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=611356 memory=497992 CPUtime=161.66 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 120082 0 0 0 16147 19 0 0 20 0 1 0 140262030 626028544 124498 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 152839 124498 3932 3540 0 141096 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 611356 KiB
Current children cumulated memory: 497992 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 3.90 5/256 713046
/proc/meminfo: memFree=125403056/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=645888 memory=551988 CPUtime=221.41 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 128765 0 0 0 22120 21 0 0 20 0 1 0 140262030 661389312 137997 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 161472 137997 4043 3540 0 149729 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 645888 KiB
Current children cumulated memory: 551988 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 3.92 5/256 713057
/proc/meminfo: memFree=125368356/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=645888 memory=576580 CPUtime=281.17 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 128894 0 0 0 28096 21 0 0 20 0 1 0 140262030 661389312 144145 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 161472 144145 4043 3540 0 149729 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 645888 KiB
Current children cumulated memory: 576580 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 3.93 5/255 713068
/proc/meminfo: memFree=125275744/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=645888 memory=576920 CPUtime=340.94 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 129099 0 0 0 34073 21 0 0 20 0 1 0 140262030 661389312 144230 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 161472 144230 4043 3540 0 149729 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 645888 KiB
Current children cumulated memory: 576920 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 3.95 5/255 713078
/proc/meminfo: memFree=125271500/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=645888 memory=580296 CPUtime=400.73 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 129271 0 0 0 40052 21 0 0 20 0 1 0 140262030 661389312 145074 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 161472 145074 4043 3540 0 149729 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 645888 KiB
Current children cumulated memory: 580296 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 3.96 5/255 713091
/proc/meminfo: memFree=125223968/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=645888 memory=580552 CPUtime=460.52 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 129418 0 0 0 46031 21 0 0 20 0 1 0 140262030 661389312 145138 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 161472 145138 4043 3540 0 149729 0
Current children cumulated CPU time: 460.52 s
################
# More data... #
################
/proc/loadavg: 4.13 4.13 4.14 5/255 714372
/proc/meminfo: memFree=122761268/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1066980 memory=986116 CPUtime=3210.41 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 288590 0 0 0 320990 51 0 0 20 0 1 0 140262030 1092587520 246529 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 266745 246529 4182 3540 0 255002 0
Current children cumulated CPU time: 3210.41 s
Current children cumulated vsize: 1066980 KiB
Current children cumulated memory: 986116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/255 714383
/proc/meminfo: memFree=122634180/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1107776 CPUtime=3270.21 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 319278 0 0 0 326966 55 0 0 20 0 1 0 140262030 1221431296 276944 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 276944 4182 3540 0 286458 0
Current children cumulated CPU time: 3270.21 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1107776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/256 714778
/proc/meminfo: memFree=122455824/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1108308 CPUtime=3330.01 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 319701 0 0 0 332946 55 0 0 20 0 1 0 140262030 1221431296 277077 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 277077 4182 3540 0 286458 0
Current children cumulated CPU time: 3330.01 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1108308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.17 4.15 5/256 714788
/proc/meminfo: memFree=122450860/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3389.81 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321069 0 0 0 338926 55 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3389.81 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/256 714799
/proc/meminfo: memFree=122449436/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3449.62 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321333 0 0 0 344906 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3449.62 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/258 714980
/proc/meminfo: memFree=122437116/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3509.42 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321652 0 0 0 350886 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3509.42 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/258 714990
/proc/meminfo: memFree=122434612/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3569.23 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321934 0 0 0 356867 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3569.23 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3597.32 s]
# the end of solver process 712902 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.64 s, system=0.574422 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.14 5/258 714990
/proc/meminfo: memFree=122434612/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3570.93 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321939 0 0 0 357037 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.14 4.13 5/258 714990
/proc/meminfo: memFree=122432388/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3577.3 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321974 0 0 0 357674 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3577.3 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.13 4.13 5/258 714991
/proc/meminfo: memFree=122432248/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3580.49 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321977 0 0 0 357993 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.13 4.13 5/258 714991
/proc/meminfo: memFree=122432248/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3582.09 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321978 0 0 0 358153 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3582.09 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.13 5/258 714991
/proc/meminfo: memFree=122432248/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3582.89 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321978 0 0 0 358233 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3582.89 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.13 5/258 714991
/proc/meminfo: memFree=122432248/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3583.68 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 321978 0 0 0 358312 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3583.68 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3597.2 s]
/proc/loadavg: 4.09 4.13 4.13 5/258 714991
/proc/meminfo: memFree=122432248/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1192804 memory=1112424 CPUtime=3584.08 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 322052 0 0 0 358352 56 0 0 20 0 1 0 140262030 1221431296 278106 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 298201 278106 4182 3540 0 286458 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 1192804 KiB
Current children cumulated memory: 1112424 KiB
[startup+3597.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/258 714991
/proc/meminfo: memFree=122432248/131524600 swapFree=131071996/131071996
[pid=712902] ppid=712899 vsize=1152332 memory=1071952 CPUtime=3584.18 cores=0,2
/proc/712902/stat : 712902 (pbscip) R 712899 712902 708045 0 -1 4194304 322136 0 0 0 358362 56 0 0 20 0 1 0 140262030 1179987968 267988 134679101440 4194304 18693293 140727284880272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48865280 140727284884458 140727284884557 140727284884557 140727284891598 0
/proc/712902/statm: 288083 267988 4182 3540 0 276340 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 1152332 KiB
Current children cumulated memory: 1071952 KiB
Child status: 0
Real time (s): 3597.32
CPU time (s): 3584.21
CPU user time (s): 3583.64
CPU system time (s): 0.574422
CPU usage (%): 99.6355
Max. virtual memory (cumulated for all children) (KiB): 1192804
Max. memory (cumulated for all children) (KiB): 1112424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.64
system time used= 0.574422
maximum resident set size= 1112424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322170
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= 61
involuntary context switches= 24579
# summary of solver processes directly reported to runsolver:
# pid: 712902
# total CPU time (s): 3584.21
# total CPU user time (s): 3583.64
# total CPU system time (s): 0.574422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49002 second user time and 16.6401 second system time
The end
Begin job on nodeC021 at 2024-07-13 16:29:54 IDJOB=4425147 IDBENCH=143831 IDSOLVER=3038 FILE ID=nodeC021/4425147-1720880982 RUNJOBID= nodeC021-1720879214-711484 SLURM_JOB_ID= 7483762 Free space on /tmp= 890024 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-33-100-0.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425147-1720880982/watcher-4425147-1720880982 -o /tmp/evaluation-result-4425147-1720880982/solver-4425147-1720880982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720879214-711484 --watchdog 3760 pbscip -f HOME/instance-4425147-1720880982.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba194272c44599b761eb44cd6c0bfaf3 RANDOM SEED=982322931 nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.656 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.938 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.963 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.834 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.257 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.999 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.036 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.958 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126568856 kB MemAvailable: 126827272 kB Buffers: 328124 kB Cached: 773716 kB SwapCached: 0 kB Active: 507964 kB Inactive: 3877736 kB Active(anon): 1560 kB Inactive(anon): 3319700 kB Active(file): 506404 kB Inactive(file): 558036 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18892 kB Writeback: 0 kB AnonPages: 3282856 kB Mapped: 137244 kB Shmem: 37720 kB KReclaimable: 67596 kB Slab: 167008 kB SReclaimable: 67596 kB SUnreclaim: 99412 kB KernelStack: 4156 kB PageTables: 16104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4055480 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54688 kB HardwareCorrupted: 0 kB AnonHugePages: 2158592 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: 205524 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890004 MiB End job on nodeC021 at 2024-07-13 17:29:52