0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 53710848, getVmSize() = 53710848, SCIPgetMemUsed() = 26238777, SCIPgetMemTotal() = 30964457, SCIPgetMemExternEstim() = 18328217
0.00/0.08 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.32/0.39 c ** Estimated virtualMemUsedAtSolver = 50412768, getVmSize() = 82808832, SCIPgetMemUsed() = 29822975, SCIPgetMemTotal() = 57290935, SCIPgetMemExternEstim() = 18328217
0.32/0.39 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.32/0.39 c Original Problem :
0.32/0.39 c Problem name : instance-4464085-1722382043
0.32/0.39 c Variables : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
0.32/0.39 c Constraints : 15120
0.32/0.39 c Objective sense : minimize
0.32/0.39 c Presolved Problem :
0.32/0.39 c Variables : 3770 (3770 binary, 0 integer, 0 implicit integer, 0 continuous)
0.32/0.39 c Constraints : 3720
0.32/0.39 c Constraints : Number
0.32/0.39 c knapsack : 1
0.32/0.39 c setppc : 429
0.32/0.39 c and : 3285
0.32/0.39 c logicor : 5
0.32/0.39 c ** Instance transfer method used: 0
0.32/0.41 c ** ParaScipInstance copy does not increase the number of variables. **
0.40/0.45 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.40/0.45 c Nodes Active
0.40/0.45 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.86/0.92 c * 1 0 1 1 22.0000 - -
9.80/9.98 c * 10 0 1 1 18.0000 - -
9.80/9.98 c 10 0 1 1 18.0000 - -
16.18/16.31 c 16 4 3 1 18.0000 11.9686 50.39%
22.66/22.86 c 23 8 7 1 18.0000 12.1139 48.59%
29.75/29.94 c 30 11 10 1 18.0000 12.1139 48.59%
35.53/35.74 c 36 13 12 1 18.0000 12.1139 48.59%
41.61/41.87 c 42 16 15 1 18.0000 12.1139 48.59%
46.70/46.94 c 47 29 28 1 18.0000 12.2927 46.43%
52.90/53.16 c 53 34 33 1 18.0000 12.3432 45.83%
58.78/59.02 c 59 48 47 1 18.0000 12.4719 44.32%
64.65/64.94 c 65 56 55 1 18.0000 12.4719 44.32%
70.24/70.52 c 71 61 60 1 18.0000 12.4719 44.32%
75.92/76.26 c 76 70 69 1 18.0000 12.5136 43.84%
81.40/81.70 c 82 78 77 1 18.0000 12.5268 43.69%
86.70/87.06 c 87 82 81 1 18.0000 12.5594 43.32%
93.97/94.38 c 94 90 89 1 18.0000 12.5594 43.32%
102.95/103.30 c 103 92 91 1 18.0000 12.5594 43.32%
111.03/111.47 c 111 97 96 1 18.0000 12.5846 43.03%
116.31/116.71 c 117 106 105 1 18.0000 12.5985 42.87%
121.71/122.17 c 122 111 110 1 18.0000 12.5985 42.87%
127.08/127.57 c 128 115 114 1 18.0000 12.5985 42.87%
132.46/132.94 c 133 121 120 1 18.0000 12.7019 41.71%
140.04/140.51 c 141 127 126 1 18.0000 12.7664 41.00%
145.72/146.20 c 146 137 136 1 18.0000 12.7814 40.83%
151.11/151.67 c 152 141 140 1 18.0000 12.7814 40.83%
156.70/157.24 c 157 152 151 1 18.0000 12.7814 40.83%
161.98/162.54 c 163 162 161 1 18.0000 12.8554 40.02%
167.86/168.44 c 168 171 170 1 18.0000 12.9185 39.34%
173.35/173.98 c 174 181 180 1 18.0000 12.9185 39.34%
179.03/179.63 c 180 196 195 1 18.0000 12.9247 39.27%
193.60/194.26 c 194 201 198 1 18.0000 12.9247 39.27%
198.98/199.68 c 200 208 205 1 18.0000 12.9287 39.22%
205.38/206.07 c 206 216 213 1 18.0000 12.9289 39.22%
210.94/211.65 c 212 222 219 1 18.0000 12.9289 39.22%
217.83/218.57 c 219 233 230 1 18.0000 12.9528 38.97%
225.32/226.05 c 226 236 233 1 18.0000 12.9528 38.97%
230.99/231.79 c 232 242 239 1 18.0000 12.9614 38.87%
236.48/237.28 c 237 246 243 1 18.0000 12.9614 38.87%
242.07/242.82 c 243 248 245 1 18.0000 12.9614 38.87%
248.85/249.63 c 250 253 250 1 18.0000 12.9614 38.87%
254.35/255.18 c 255 262 259 1 18.0000 12.9905 38.56%
261.71/262.52 c 263 273 270 1 18.0000 12.9905 38.56%
268.21/269.02 c 269 278 275 1 18.0000 12.9905 38.56%
277.06/277.97 c 278 280 277 1 18.0000 12.9905 38.56%
283.04/283.91 c 284 289 286 1 18.0000 12.9905 38.56%
291.33/292.20 c 292 299 296 1 18.0000 13.0445 37.99%
300.11/301.02 c 301 308 305 1 18.0000 13.0445 37.99%
307.58/308.56 c 309 312 309 1 18.0000 13.0534 37.90%
313.86/314.81 c 315 318 315 1 18.0000 13.0534 37.90%
319.74/320.77 c 321 326 323 1 18.0000 13.0587 37.84%
325.73/326.71 c 327 334 331 1 18.0000 13.0587 37.84%
332.51/333.53 c 334 338 335 1 18.0000 13.0587 37.84%
340.29/341.35 c 341 343 340 1 18.0000 13.0587 37.84%
345.47/346.56 c 347 347 344 1 18.0000 13.0587 37.84%
350.66/351.80 c 352 353 350 1 18.0000 13.0587 37.84%
356.74/357.81 c 358 360 357 1 18.0000 13.0587 37.84%
362.04/363.17 c 363 370 367 1 18.0000 13.0587 37.84%
368.21/369.33 c 369 376 373 1 18.0000 13.0587 37.84%
376.59/377.71 c 378 382 379 1 18.0000 13.1486 36.90%
385.87/387.03 c 387 390 387 1 18.0000 13.1486 36.90%
390.86/392.09 c 392 400 397 1 18.0000 13.1498 36.88%
397.22/398.41 c 398 402 399 1 18.0000 13.1498 36.88%
403.32/404.58 c 405 411 408 1 18.0000 13.1498 36.88%
409.10/410.32 c 410 423 420 1 18.0000 13.1824 36.55%
415.28/416.52 c 417 432 429 1 18.0000 13.1824 36.55%
422.65/423.94 c 424 436 433 1 18.0000 13.1824 36.55%
429.34/430.63 c 431 445 442 1 18.0000 13.1886 36.48%
435.83/437.12 c 437 451 448 1 18.0000 13.1886 36.48%
443.20/444.55 c 445 458 455 1 18.0000 13.1886 36.48%
454.68/456.08 c 456 466 463 1 18.0000 13.1886 36.48%
462.05/463.40 c 463 475 472 1 18.0000 13.2040 36.32%
467.83/469.21 c 469 486 483 1 18.0000 13.2040 36.32%
473.51/474.98 c 475 495 492 1 18.0000 13.2040 36.32%
478.80/480.23 c 480 498 495 1 18.0000 13.2040 36.32%
485.18/486.67 c 487 502 499 1 18.0000 13.2053 36.31%
491.17/492.65 c 493 505 502 1 18.0000 13.2053 36.31%
499.24/500.79 c 501 514 509 1 18.0000 13.2053 36.31%
505.13/506.69 c 507 520 515 1 18.0000 13.2053 36.31%
512.01/513.59 c 514 526 521 1 18.0000 13.2053 36.31%
520.88/522.41 c 522 535 530 1 18.0000 13.2068 36.29%
527.37/528.97 c 529 551 546 1 18.0000 13.2068 36.29%
532.95/534.56 c 535 558 553 1 18.0000 13.2068 36.29%
539.74/541.36 c 541 559 554 1 18.0000 13.2068 36.29%
544.92/546.54 c 547 567 562 1 18.0000 13.2142 36.22%
551.20/552.80 c 553 569 564 1 18.0000 13.2142 36.22%
556.19/557.85 c 558 576 571 1 18.0000 13.2142 36.22%
565.65/567.33 c 567 585 580 1 18.0000 13.2142 36.22%
571.35/573.10 c 573 591 586 1 18.0000 13.2142 36.22%
580.80/582.57 c 583 605 598 1 18.0000 13.2327 36.03%
585.98/587.79 c 588 613 606 1 18.0000 13.2327 36.03%
594.86/596.61 c 597 622 613 1 18.0000 13.2380 35.97%
600.25/602.08 c 602 627 618 1 18.0000 13.2380 35.97%
605.61/607.48 c 607 635 626 1 18.0000 13.2380 35.97%
611.60/613.47 c 613 647 638 1 18.0000 13.2380 35.97%
617.67/619.58 c 620 652 643 1 18.0000 13.2500 35.85%
623.17/625.09 c 625 661 652 1 18.0000 13.2500 35.85%
631.02/632.96 c 633 667 656 1 18.0000 13.2500 35.85%
641.69/643.66 c 644 678 667 1 18.0000 13.2500 35.85%
647.37/649.34 c 649 684 673 1 18.0000 13.3070 35.27%
652.75/654.77 c 655 691 678 1 18.0000 13.3091 35.25%
658.53/660.57 c 661 694 681 1 18.0000 13.3091 35.25%
664.21/666.22 c 666 702 687 1 18.0000 13.3091 35.25%
671.49/673.51 c 674 708 693 1 18.0000 13.3091 35.25%
677.17/679.21 c 679 713 698 1 18.0000 13.3101 35.24%
682.75/684.85 c 685 716 701 1 18.0000 13.3101 35.24%
688.94/691.07 c 691 728 711 1 18.0000 13.3101 35.24%
696.60/698.74 c 699 735 718 1 18.0000 13.3101 35.24%
702.38/704.52 c 705 741 720 1 18.0000 13.3101 35.24%
707.56/709.79 c 710 746 725 1 18.0000 13.3101 35.24%
714.44/716.61 c 717 755 734 1 18.0000 13.3950 34.38%
719.53/721.76 c 722 758 735 1 18.0000 13.3950 34.38%
726.70/728.94 c 729 761 738 1 18.0000 13.3950 34.38%
732.68/734.94 c 735 770 747 1 18.0000 13.3950 34.38%
738.06/740.37 c 740 774 751 1 18.0000 13.3950 34.38%
743.34/745.60 c 746 776 753 1 18.0000 13.3950 34.38%
749.73/752.09 c 752 784 761 1 18.0000 13.3988 34.34%
755.81/758.13 c 758 786 763 1 18.0000 13.3988 34.34%
761.08/763.46 c 763 792 769 1 18.0000 13.3988 34.34%
770.15/772.56 c 773 801 778 1 18.0000 13.3988 34.34%
776.93/779.30 c 779 803 780 1 18.0000 13.3988 34.34%
782.40/784.85 c 785 808 785 1 18.0000 13.3988 34.34%
788.28/790.76 c 791 816 793 1 18.0000 13.4016 34.31%
793.87/796.32 c 796 824 801 1 18.0000 13.4016 34.31%
799.95/802.49 c 802 835 812 1 18.0000 13.4016 34.31%
808.22/810.78 c 811 842 819 1 18.0000 13.4182 34.15%
814.89/817.45 c 817 846 823 1 18.0000 13.4182 34.15%
819.97/822.59 c 823 856 831 1 18.0000 13.4182 34.15%
825.46/828.04 c 828 859 834 1 18.0000 13.4182 34.15%
830.83/833.49 c 833 860 835 1 18.0000 13.4206 34.12%
836.02/838.67 c 839 867 842 1 18.0000 13.4206 34.12%
842.41/845.08 c 845 872 847 1 18.0000 13.4330 34.00%
854.56/857.20 c 857 881 856 1 18.0000 13.4330 34.00%
860.04/862.77 c 863 887 862 1 18.0000 13.4330 34.00%
865.82/868.54 c 869 901 874 1 18.0000 13.4330 34.00%
873.19/875.90 c 876 902 875 1 18.0000 13.4341 33.99%
881.67/884.41 c 884 910 883 1 18.0000 13.4341 33.99%
889.64/892.48 c 892 911 884 1 18.0000 13.4341 33.99%
894.92/897.79 c 898 920 891 1 18.0000 13.4341 33.99%
900.09/903.00 c 903 929 896 1 18.0000 13.4341 33.99%
906.68/909.51 c 910 934 901 1 18.0000 13.4341 33.99%
911.86/914.74 c 915 941 908 1 18.0000 13.4341 33.99%
917.44/920.38 c 920 953 918 1 18.0000 13.4404 33.92%
925.01/927.94 c 928 959 924 1 18.0000 13.4404 33.92%
932.68/935.69 c 936 966 931 1 18.0000 13.4404 33.92%
939.96/942.91 c 943 979 944 1 18.0000 13.4556 33.77%
945.64/948.67 c 949 985 950 1 18.0000 13.4556 33.77%
951.52/954.54 c 955 999 962 1 18.0000 13.4556 33.77%
957.70/960.70 c 961 1012 975 1 18.0000 13.4674 33.66%
967.16/970.27 c 970 1027 990 1 18.0000 13.4674 33.66%
974.74/977.83 c 978 1034 997 1 18.0000 13.4674 33.66%
983.21/986.36 c 986 1042 1005 1 18.0000 13.4676 33.65%
988.69/991.80 c 992 1047 1010 1 18.0000 13.4676 33.65%
996.06/999.24 c 999 1049 1012 1 18.0000 13.4676 33.65%
1002.05/1005.26 c 1005 1056 1019 1 18.0000 13.4676 33.65%
1007.72/1010.98 c 1011 1070 1031 1 18.0000 13.4676 33.65%
1013.00/1016.25 c 1016 1086 1047 1 18.0000 13.4912 33.42%
1022.79/1026.03 c 1026 1093 1054 1 18.0000 13.4912 33.42%
1029.86/1033.14 c 1033 1098 1059 1 18.0000 13.4912 33.42%
1035.33/1038.68 c 1039 1101 1062 1 18.0000 13.4912 33.42%
1042.40/1045.72 c 1046 1105 1066 1 18.0000 13.5034 33.30%
1051.37/1054.73 c 1055 1115 1074 1 18.0000 13.5034 33.30%
1057.85/1061.23 c 1061 1120 1079 1 18.0000 13.5034 33.30%
1063.53/1066.99 c 1067 1128 1085 1 18.0000 13.5034 33.30%
1072.62/1076.06 c 1076 1136 1093 1 18.0000 13.5034 33.30%
1079.37/1082.84 c 1083 1140 1097 1 18.0000 13.5034 33.30%
1084.86/1088.32 c 1088 1148 1103 1 18.0000 13.5034 33.30%
1092.13/1095.64 c 1096 1153 1108 1 18.0000 13.5034 33.30%
1097.91/1101.46 c 1101 1166 1121 1 18.0000 13.5258 33.08%
1104.88/1108.47 c 1108 1176 1131 1 18.0000 13.5258 33.08%
1111.37/1114.94 c 1115 1183 1138 1 18.0000 13.5258 33.08%
1117.25/1120.89 c 1121 1190 1141 1 18.0000 13.5258 33.08%
1126.81/1130.42 c 1130 1195 1146 1 18.0000 13.5258 33.08%
1135.17/1138.85 c 1139 1200 1151 1 18.0000 13.5258 33.08%
1143.85/1147.56 c 1148 1204 1155 1 18.0000 13.5543 32.80%
1150.02/1153.71 c 1154 1211 1162 1 18.0000 13.5543 32.80%
1155.70/1159.42 c 1159 1222 1173 1 18.0000 13.5543 32.80%
1161.39/1165.17 c 1165 1226 1177 1 18.0000 13.5543 32.80%
1167.76/1171.55 c 1172 1227 1178 1 18.0000 13.5543 32.80%
1175.53/1179.39 c 1179 1230 1181 1 18.0000 13.5543 32.80%
1181.01/1184.84 c 1185 1242 1193 1 18.0000 13.5598 32.75%
1187.69/1191.50 c 1192 1251 1200 1 18.0000 13.5598 32.75%
1193.87/1197.77 c 1198 1257 1206 1 18.0000 13.5598 32.75%
1203.62/1207.52 c 1208 1260 1209 1 18.0000 13.5598 32.75%
1209.60/1213.59 c 1214 1272 1221 1 18.0000 13.5722 32.62%
1216.08/1220.07 c 1220 1277 1224 1 18.0000 13.5722 32.62%
1226.15/1230.18 c 1230 1287 1232 1 18.0000 13.5722 32.62%
1231.52/1235.53 c 1236 1295 1240 1 18.0000 13.5729 32.62%
1237.30/1241.34 c 1241 1301 1246 1 18.0000 13.5729 32.62%
1242.48/1246.58 c 1247 1309 1254 1 18.0000 13.5729 32.62%
1247.66/1251.79 c 1252 1322 1263 1 18.0000 13.5885 32.47%
1256.93/1261.08 c 1261 1332 1271 1 18.0000 13.5885 32.47%
1263.40/1267.57 c 1268 1342 1279 1 18.0000 13.5885 32.47%
1268.89/1273.10 c 1273 1347 1284 1 18.0000 13.5885 32.47%
1275.06/1279.21 c 1279 1351 1286 1 18.0000 13.5885 32.47%
1280.04/1284.22 c 1284 1362 1297 1 18.0000 13.5885 32.47%
1286.02/1290.26 c 1290 1370 1305 1 18.0000 13.5885 32.47%
1294.28/1298.53 c 1299 1378 1313 1 18.0000 13.5885 32.47%
1299.67/1303.97 c 1304 1385 1320 1 18.0000 13.5893 32.46%
1305.05/1309.35 c 1309 1389 1320 1 18.0000 13.5893 32.46%
1310.63/1314.95 c 1315 1390 1321 1 18.0000 13.5893 32.46%
1315.91/1320.25 c 1320 1401 1330 1 18.0000 13.5930 32.42%
1321.48/1325.87 c 1326 1411 1338 1 18.0000 13.5930 32.42%
1326.87/1331.25 c 1331 1418 1345 1 18.0000 13.5930 32.42%
1335.65/1340.07 c 1340 1430 1357 1 18.0000 13.5933 32.42%
1341.22/1345.60 c 1346 1439 1366 1 18.0000 13.5933 32.42%
1347.71/1352.19 c 1352 1443 1370 1 18.0000 13.5933 32.42%
1352.98/1357.40 c 1357 1448 1375 1 18.0000 13.5933 32.42%
1362.05/1366.58 c 1367 1458 1385 1 18.0000 13.6047 32.31%
1368.54/1373.02 c 1373 1469 1396 1 18.0000 13.6047 32.31%
1374.11/1378.65 c 1379 1472 1399 1 18.0000 13.6047 32.31%
1380.00/1384.50 c 1384 1478 1403 1 18.0000 13.6047 32.31%
1388.59/1393.17 c 1393 1487 1412 1 18.0000 13.6069 32.29%
1393.96/1398.56 c 1399 1495 1420 1 18.0000 13.6069 32.29%
1401.93/1406.56 c 1407 1503 1428 1 18.0000 13.6069 32.29%
1407.32/1411.93 c 1412 1509 1434 1 18.0000 13.6069 32.29%
1413.70/1418.38 c 1418 1522 1445 1 18.0000 13.6112 32.24%
1424.16/1428.82 c 1429 1527 1450 1 18.0000 13.6112 32.24%
1430.85/1435.54 c 1436 1535 1456 1 18.0000 13.6112 32.24%
1438.44/1443.17 c 1443 1539 1458 1 18.0000 13.6112 32.24%
1444.01/1448.78 c 1449 1547 1466 1 18.0000 13.6149 32.21%
1449.09/1453.85 c 1454 1554 1473 1 18.0000 13.6149 32.21%
1455.07/1459.82 c 1460 1561 1480 1 18.0000 13.6149 32.21%
1463.36/1468.15 c 1468 1565 1484 1 18.0000 13.6149 32.21%
1469.34/1474.19 c 1474 1569 1488 1 18.0000 13.6149 32.21%
1474.62/1479.41 c 1479 1577 1496 1 18.0000 13.6167 32.19%
1479.60/1484.49 c 1484 1579 1498 1 18.0000 13.6167 32.19%
1487.37/1492.27 c 1492 1584 1501 1 18.0000 13.6167 32.19%
1492.46/1497.38 c 1497 1593 1508 1 18.0000 13.6167 32.19%
1499.04/1503.94 c 1504 1598 1513 1 18.0000 13.6167 32.19%
1505.52/1510.46 c 1510 1609 1522 1 18.0000 13.6167 32.19%
1511.80/1516.72 c 1517 1618 1531 1 18.0000 13.6232 32.13%
1517.98/1522.96 c 1523 1623 1534 1 18.0000 13.6232 32.13%
1525.96/1530.96 c 1531 1629 1540 1 18.0000 13.6232 32.13%
1532.15/1537.12 c 1537 1631 1542 1 18.0000 13.6232 32.13%
1538.04/1543.03 c 1543 1637 1548 1 18.0000 13.6232 32.13%
1544.90/1550.01 c 1550 1648 1559 1 18.0000 13.6232 32.13%
1550.88/1555.99 c 1556 1660 1569 1 18.0000 13.6551 31.82%
1558.75/1563.80 c 1564 1670 1579 1 18.0000 13.6551 31.82%
1566.23/1571.35 c 1571 1680 1589 1 18.0000 13.6551 31.82%
1571.71/1576.86 c 1577 1688 1595 1 18.0000 13.6572 31.80%
1577.40/1582.58 c 1583 1697 1602 1 18.0000 13.6572 31.80%
1582.58/1587.71 c 1588 1705 1608 1 18.0000 13.6572 31.80%
1588.97/1594.11 c 1594 1711 1614 1 18.0000 13.6572 31.80%
1594.04/1599.27 c 1599 1714 1615 1 18.0000 13.6572 31.80%
1599.33/1604.55 c 1605 1723 1622 1 18.0000 13.6640 31.73%
1608.00/1613.22 c 1613 1735 1634 1 18.0000 13.6640 31.73%
1613.28/1618.58 c 1619 1743 1640 1 18.0000 13.6640 31.73%
1619.88/1625.18 c 1625 1749 1646 1 18.0000 13.6640 31.73%
1625.55/1630.84 c 1631 1765 1660 1 18.0000 13.6823 31.56%
1631.74/1637.02 c 1637 1778 1671 1 18.0000 13.6823 31.56%
1637.61/1642.96 c 1643 1785 1676 1 18.0000 13.6856 31.53%
1642.99/1648.34 c 1648 1789 1680 1 18.0000 13.6856 31.53%
1648.29/1653.68 c 1654 1798 1685 1 18.0000 13.6856 31.53%
1655.16/1660.52 c 1661 1804 1691 1 18.0000 13.6856 31.53%
1660.75/1666.16 c 1666 1815 1700 1 18.0000 13.6879 31.50%
1668.53/1673.99 c 1674 1821 1706 1 18.0000 13.6879 31.50%
1674.81/1680.26 c 1680 1835 1714 1 18.0000 13.6879 31.50%
1681.08/1686.51 c 1687 1840 1719 1 18.0000 13.6879 31.50%
1686.37/1691.80 c 1692 1847 1724 1 18.0000 13.6879 31.50%
1692.25/1697.71 c 1698 1854 1731 1 18.0000 13.6954 31.43%
1697.84/1703.33 c 1703 1862 1739 1 18.0000 13.6954 31.43%
1705.42/1710.94 c 1711 1873 1750 1 18.0000 13.6954 31.43%
1713.69/1719.22 c 1719 1878 1755 1 18.0000 13.6954 31.43%
1718.97/1724.52 c 1725 1882 1755 1 18.0000 13.6954 31.43%
1725.47/1731.06 c 1731 1886 1759 1 18.0000 13.6954 31.43%
1732.63/1738.25 c 1738 1891 1764 1 18.0000 13.6954 31.43%
1738.72/1744.33 c 1744 1894 1767 1 18.0000 13.6961 31.42%
1750.88/1756.54 c 1757 1895 1768 1 18.0000 13.6961 31.42%
1756.86/1762.52 c 1763 1898 1771 1 18.0000 13.6961 31.42%
1763.14/1768.89 c 1769 1903 1776 1 18.0000 13.6961 31.42%
1769.82/1775.52 c 1776 1909 1782 1 18.0000 13.6961 31.42%
1779.79/1785.54 c 1786 1913 1786 1 18.0000 13.6961 31.42%
1785.47/1791.29 c 1791 1914 1787 1 18.0000 13.6961 31.42%
1791.16/1796.97 c 1797 1919 1792 1 18.0000 13.6961 31.42%
1797.54/1803.30 c 1803 1925 1796 1 18.0000 13.6961 31.42%
1803.72/1809.51 c 1810 1929 1800 1 18.0000 13.6961 31.42%
1809.70/1815.50 c 1816 1934 1805 1 18.0000 13.7085 31.31%
1815.69/1821.56 c 1822 1940 1811 1 18.0000 13.7085 31.31%
1821.57/1827.47 c 1827 1948 1819 1 18.0000 13.7085 31.31%
1827.26/1833.18 c 1833 1954 1825 1 18.0000 13.7085 31.31%
1836.72/1842.60 c 1843 1961 1828 1 18.0000 13.7085 31.31%
1841.91/1847.87 c 1848 1963 1830 1 18.0000 13.7085 31.31%
1847.10/1853.02 c 1853 1964 1831 1 18.0000 13.7085 31.31%
1855.86/1861.89 c 1862 1966 1833 1 18.0000 13.7085 31.31%
1863.54/1869.56 c 1870 1968 1835 1 18.0000 13.7085 31.31%
1875.80/1881.86 c 1882 1975 1840 1 18.0000 13.7109 31.28%
1882.28/1888.37 c 1888 1980 1845 1 18.0000 13.7109 31.28%
1889.86/1895.94 c 1896 1989 1854 1 18.0000 13.7109 31.28%
1895.65/1901.78 c 1902 1993 1856 1 18.0000 13.7109 31.28%
1903.04/1909.14 c 1909 1996 1859 1 18.0000 13.7109 31.28%
1908.92/1915.04 c 1915 2004 1865 1 18.0000 13.7109 31.28%
1916.00/1922.12 c 1922 2008 1867 1 18.0000 13.7109 31.28%
1923.57/1929.78 c 1930 2017 1876 1 18.0000 13.7161 31.23%
1928.86/1935.03 c 1935 2020 1879 1 18.0000 13.7161 31.23%
1935.73/1941.96 c 1942 2023 1880 1 18.0000 13.7161 31.23%
1941.21/1947.44 c 1947 2029 1886 1 18.0000 13.7161 31.23%
1948.60/1954.83 c 1955 2030 1887 1 18.0000 13.7161 31.23%
1957.97/1964.21 c 1964 2036 1889 1 18.0000 13.7161 31.23%
1967.54/1973.89 c 1974 2040 1889 1 18.0000 13.7161 31.23%
1974.02/1980.38 c 1980 2043 1892 1 18.0000 13.7161 31.23%
1981.71/1988.02 c 1988 2045 1894 1 18.0000 13.7161 31.23%
1987.69/1994.07 c 1994 2054 1903 1 18.0000 13.7192 31.20%
1993.27/1999.68 c 2000 2060 1909 1 18.0000 13.7192 31.20%
1998.56/2004.90 c 2005 2066 1915 1 18.0000 13.7192 31.20%
2009.13/2015.58 c 2016 2073 1918 1 18.0000 13.7192 31.20%
2016.81/2023.25 c 2023 2075 1920 1 18.0000 13.7192 31.20%
2023.70/2030.15 c 2030 2078 1923 1 18.0000 13.7192 31.20%
2033.06/2039.51 c 2040 2088 1927 1 18.0000 13.7198 31.20%
2038.24/2044.79 c 2045 2092 1931 1 18.0000 13.7198 31.20%
2043.43/2050.01 c 2050 2097 1934 1 18.0000 13.7198 31.20%
2049.80/2056.35 c 2056 2103 1940 1 18.0000 13.7235 31.16%
2055.08/2061.64 c 2062 2106 1943 1 18.0000 13.7235 31.16%
2063.58/2070.14 c 2070 2111 1948 1 18.0000 13.7235 31.16%
2069.94/2076.58 c 2077 2115 1950 1 18.0000 13.7235 31.16%
2078.32/2084.99 c 2085 2122 1955 1 18.0000 13.7235 31.16%
2084.69/2091.31 c 2091 2126 1957 1 18.0000 13.7235 31.16%
2093.67/2100.34 c 2100 2131 1962 1 18.0000 13.7235 31.16%
2099.16/2105.81 c 2106 2132 1963 1 18.0000 13.7235 31.16%
2105.74/2112.41 c 2112 2135 1964 1 18.0000 13.7235 31.16%
2112.62/2119.36 c 2119 2138 1967 1 18.0000 13.7235 31.16%
2121.90/2128.60 c 2129 2140 1969 1 18.0000 13.7235 31.16%
2127.39/2134.14 c 2134 2142 1971 1 18.0000 13.7235 31.16%
2133.45/2140.27 c 2140 2153 1978 1 18.0000 13.7235 31.16%
2140.14/2146.95 c 2147 2162 1981 1 18.0000 13.7235 31.16%
2154.10/2160.99 c 2161 2166 1985 1 18.0000 13.7235 31.16%
2160.78/2167.64 c 2168 2170 1989 1 18.0000 13.7235 31.16%
2167.46/2174.33 c 2174 2176 1995 1 18.0000 13.7258 31.14%
2178.83/2185.79 c 2186 2179 1998 1 18.0000 13.7258 31.14%
2184.41/2191.32 c 2191 2181 2000 1 18.0000 13.7258 31.14%
2189.80/2196.77 c 2197 2183 2002 1 18.0000 13.7326 31.07%
2195.28/2202.27 c 2202 2187 2006 1 18.0000 13.7326 31.07%
2201.08/2208.10 c 2208 2190 2009 1 18.0000 13.7326 31.07%
2208.74/2215.76 c 2216 2191 2008 1 18.0000 13.7326 31.07%
2216.81/2223.86 c 2224 2193 2010 1 18.0000 13.7361 31.04%
2230.09/2237.15 c 2237 2199 2010 1 18.0000 13.7361 31.04%
2236.25/2243.34 c 2243 2201 2010 1 18.0000 13.7361 31.04%
2251.31/2258.44 c 2258 2205 2014 1 18.0000 13.7361 31.04%
2260.08/2267.23 c 2267 2210 2019 1 18.0000 13.7361 31.04%
2267.76/2274.99 c 2275 2212 2021 1 18.0000 13.7361 31.04%
2278.53/2285.76 c 2286 2215 2024 1 18.0000 13.7361 31.04%
2284.22/2291.46 c 2291 2217 2024 1 18.0000 13.7361 31.04%
2290.00/2297.25 c 2297 2223 2030 1 18.0000 13.7361 31.04%
2304.95/2312.22 c 2312 2224 2031 1 18.0000 13.7361 31.04%
2313.93/2321.23 c 2321 2228 2035 1 18.0000 13.7361 31.04%
2327.99/2335.32 c 2335 2229 2036 1 18.0000 13.7361 31.04%
2334.17/2341.59 c 2342 2231 2038 1 18.0000 13.7361 31.04%
2342.66/2350.07 c 2350 2235 2040 1 18.0000 13.7405 31.00%
2348.64/2356.09 c 2356 2239 2044 1 18.0000 13.7405 31.00%
2358.00/2365.43 c 2365 2242 2047 1 18.0000 13.7405 31.00%
2364.18/2371.69 c 2372 2245 2048 1 18.0000 13.7405 31.00%
2372.06/2379.53 c 2380 2251 2052 1 18.0000 13.7405 31.00%
2379.64/2387.18 c 2387 2257 2056 1 18.0000 13.7405 31.00%
2385.71/2393.26 c 2393 2262 2057 1 18.0000 13.7455 30.95%
2391.29/2398.86 c 2399 2264 2059 1 18.0000 13.7455 30.95%
2397.48/2405.03 c 2405 2266 2061 1 18.0000 13.7455 30.95%
2403.46/2411.10 c 2411 2270 2065 1 18.0000 13.7455 30.95%
2411.44/2419.04 c 2419 2274 2069 1 18.0000 13.7455 30.95%
2423.27/2430.97 c 2431 2279 2074 1 18.0000 13.7455 30.95%
2430.85/2438.54 c 2439 2284 2079 1 18.0000 13.7455 30.95%
2441.62/2449.31 c 2449 2293 2086 1 18.0000 13.7455 30.95%
2487.90/2495.74 c 2496 2295 2088 1 18.0000 13.7455 30.95%
2495.57/2503.40 c 2503 2304 2097 1 18.0000 13.7455 30.95%
2501.66/2509.57 c 2510 2307 2100 1 18.0000 13.7455 30.95%
2507.94/2515.81 c 2516 2312 2105 1 18.0000 13.7455 30.95%
2514.02/2521.92 c 2522 2316 2109 1 18.0000 13.7455 30.95%
2520.00/2527.92 c 2528 2322 2115 1 18.0000 13.7455 30.95%
2529.19/2537.17 c 2537 2326 2119 1 18.0000 13.7455 30.95%
2534.36/2542.38 c 2542 2331 2120 1 18.0000 13.7455 30.95%
2540.55/2548.57 c 2549 2338 2127 1 18.0000 13.7455 30.95%
2546.63/2554.65 c 2555 2341 2130 1 18.0000 13.7455 30.95%
2552.91/2560.92 c 2561 2347 2136 1 18.0000 13.7464 30.94%
2563.88/2571.97 c 2572 2351 2138 1 18.0000 13.7464 30.94%
2569.08/2577.13 c 2577 2354 2141 1 18.0000 13.7464 30.94%
2574.65/2582.73 c 2583 2355 2142 1 18.0000 13.7464 30.94%
2583.12/2591.22 c 2591 2360 2145 1 18.0000 13.7464 30.94%
2589.92/2598.10 c 2598 2364 2149 1 18.0000 13.7464 30.94%
2595.01/2603.14 c 2603 2368 2153 1 18.0000 13.7464 30.94%
2603.88/2612.06 c 2612 2370 2155 1 18.0000 13.7464 30.94%
2610.55/2618.79 c 2619 2374 2159 1 18.0000 13.7474 30.93%
2616.74/2624.99 c 2625 2379 2162 1 18.0000 13.7474 30.93%
2623.83/2632.06 c 2632 2383 2166 1 18.0000 13.7474 30.93%
2629.60/2637.83 c 2638 2388 2169 1 18.0000 13.7474 30.93%
2635.79/2644.06 c 2644 2395 2176 1 18.0000 13.7482 30.93%
2641.16/2649.46 c 2649 2397 2176 1 18.0000 13.7482 30.93%
2647.45/2655.79 c 2656 2404 2183 1 18.0000 13.7585 30.83%
2652.53/2660.81 c 2661 2411 2188 1 18.0000 13.7585 30.83%
2658.02/2666.33 c 2666 2417 2194 1 18.0000 13.7585 30.83%
2663.71/2672.01 c 2672 2423 2198 1 18.0000 13.7585 30.83%
2677.55/2685.92 c 2686 2429 2204 1 18.0000 13.7585 30.83%
2683.33/2691.71 c 2692 2436 2205 1 18.0000 13.7585 30.83%
2689.43/2697.81 c 2698 2438 2207 1 18.0000 13.7585 30.83%
2697.30/2705.75 c 2706 2441 2206 1 18.0000 13.7585 30.83%
2703.69/2712.12 c 2712 2449 2214 1 18.0000 13.7592 30.82%
2708.68/2717.18 c 2717 2454 2219 1 18.0000 13.7592 30.82%
2713.85/2722.35 c 2722 2461 2222 1 18.0000 13.7592 30.82%
2720.43/2728.98 c 2729 2467 2228 1 18.0000 13.7592 30.82%
2726.81/2735.33 c 2735 2472 2233 1 18.0000 13.7594 30.82%
2736.08/2744.61 c 2745 2475 2236 1 18.0000 13.7594 30.82%
2741.67/2750.27 c 2750 2483 2240 1 18.0000 13.7594 30.82%
2747.57/2756.13 c 2756 2485 2242 1 18.0000 13.7594 30.82%
2753.33/2761.99 c 2762 2492 2249 1 18.0000 13.7594 30.82%
2758.72/2767.34 c 2767 2496 2253 1 18.0000 13.7594 30.82%
2764.90/2773.58 c 2774 2502 2259 1 18.0000 13.7594 30.82%
2770.18/2778.87 c 2779 2509 2266 1 18.0000 13.7594 30.82%
2777.48/2786.17 c 2786 2514 2269 1 18.0000 13.7698 30.72%
2783.84/2792.55 c 2793 2515 2270 1 18.0000 13.7698 30.72%
2790.23/2798.98 c 2799 2524 2275 1 18.0000 13.7698 30.72%
2804.49/2813.22 c 2813 2531 2280 1 18.0000 13.7698 30.72%
2813.28/2822.01 c 2822 2537 2286 1 18.0000 13.7757 30.67%
2818.85/2827.64 c 2828 2539 2288 1 18.0000 13.7757 30.67%
2825.93/2834.75 c 2835 2546 2293 1 18.0000 13.7757 30.67%
2831.23/2840.06 c 2840 2549 2296 1 18.0000 13.7757 30.67%
2837.21/2846.08 c 2846 2552 2297 1 18.0000 13.7757 30.67%
2843.29/2852.14 c 2852 2559 2304 1 18.0000 13.7757 30.67%
2851.06/2859.92 c 2860 2561 2304 1 18.0000 13.7757 30.67%
2856.05/2865.01 c 2865 2565 2308 1 18.0000 13.7757 30.67%
2861.72/2870.69 c 2871 2568 2309 1 18.0000 13.7757 30.67%
2867.41/2876.38 c 2876 2572 2313 1 18.0000 13.7784 30.64%
2874.50/2883.42 c 2883 2580 2321 1 18.0000 13.7784 30.64%
2887.66/2896.70 c 2897 2584 2325 1 18.0000 13.7784 30.64%
2894.94/2903.95 c 2904 2587 2328 1 18.0000 13.7784 30.64%
2900.82/2909.87 c 2910 2590 2331 1 18.0000 13.7784 30.64%
2908.01/2917.11 c 2917 2593 2332 1 18.0000 13.7784 30.64%
2914.10/2923.15 c 2923 2599 2336 1 18.0000 13.7784 30.64%
2920.09/2929.15 c 2929 2603 2340 1 18.0000 13.7847 30.58%
2925.55/2934.69 c 2935 2608 2345 1 18.0000 13.7847 30.58%
2931.23/2940.34 c 2940 2613 2350 1 18.0000 13.7847 30.58%
2939.61/2948.70 c 2949 2621 2354 1 18.0000 13.7847 30.58%
2945.39/2954.59 c 2955 2623 2354 1 18.0000 13.7847 30.58%
2954.26/2963.49 c 2963 2624 2355 1 18.0000 13.7847 30.58%
2963.14/2972.35 c 2972 2627 2356 1 18.0000 13.7847 30.58%
2969.03/2978.27 c 2978 2631 2360 1 18.0000 13.7847 30.58%
2974.71/2983.94 c 2984 2637 2364 1 18.0000 13.7947 30.48%
2980.59/2989.87 c 2990 2640 2367 1 18.0000 13.7947 30.48%
2986.79/2996.10 c 2996 2648 2373 1 18.0000 13.7967 30.47%
2992.06/3001.38 c 3001 2655 2380 1 18.0000 13.7967 30.47%
2998.15/3007.47 c 3007 2659 2382 1 18.0000 13.7967 30.47%
3003.85/3013.19 c 3013 2662 2385 1 18.0000 13.7967 30.47%
3009.61/3019.01 c 3019 2665 2388 1 18.0000 13.7967 30.47%
3015.99/3025.37 c 3025 2668 2391 1 18.0000 13.7967 30.47%
3024.69/3034.09 c 3034 2671 2394 1 18.0000 13.7967 30.47%
3031.85/3041.20 c 3041 2674 2397 1 18.0000 13.7967 30.47%
3036.94/3046.30 c 3046 2676 2399 1 18.0000 13.7967 30.47%
3045.41/3054.88 c 3055 2679 2402 1 18.0000 13.7967 30.47%
3058.98/3068.41 c 3068 2682 2403 1 18.0000 13.7967 30.47%
3076.33/3085.89 c 3086 2684 2405 1 18.0000 13.7967 30.47%
3082.31/3091.83 c 3092 2691 2410 1 18.0000 13.7967 30.47%
3087.40/3096.97 c 3097 2695 2414 1 18.0000 13.7967 30.47%
3094.08/3103.62 c 3104 2701 2420 1 18.0000 13.7967 30.47%
3100.26/3109.87 c 3110 2707 2424 1 18.0000 13.8004 30.43%
3105.64/3115.29 c 3115 2715 2428 1 18.0000 13.8004 30.43%
3111.43/3121.04 c 3121 2719 2432 1 18.0000 13.8004 30.43%
3118.10/3127.70 c 3128 2728 2439 1 18.0000 13.8004 30.43%
3124.58/3134.21 c 3134 2731 2442 1 18.0000 13.8004 30.43%
3130.65/3140.39 c 3140 2737 2448 1 18.0000 13.8024 30.41%
3136.73/3146.44 c 3146 2744 2453 1 18.0000 13.8024 30.41%
3143.21/3152.99 c 3153 2746 2453 1 18.0000 13.8024 30.41%
3148.31/3158.05 c 3158 2749 2456 1 18.0000 13.8024 30.41%
3157.47/3167.28 c 3167 2754 2457 1 18.0000 13.8024 30.41%
3165.64/3175.45 c 3175 2759 2462 1 18.0000 13.8024 30.41%
3171.33/3181.18 c 3181 2762 2465 1 18.0000 13.8024 30.41%
3184.29/3194.15 c 3194 2766 2469 1 18.0000 13.8024 30.41%
3191.95/3201.88 c 3202 2769 2472 1 18.0000 13.8024 30.41%
3198.63/3208.54 c 3209 2774 2477 1 18.0000 13.8080 30.36%
3205.41/3215.38 c 3215 2782 2483 1 18.0000 13.8089 30.35%
3213.98/3223.93 c 3224 2785 2486 1 18.0000 13.8089 30.35%
3221.26/3231.21 c 3231 2790 2491 1 18.0000 13.8089 30.35%
3234.31/3244.35 c 3244 2794 2495 1 18.0000 13.8089 30.35%
3244.28/3254.31 c 3254 2801 2500 1 18.0000 13.8089 30.35%
3252.65/3262.77 c 3263 2805 2502 1 18.0000 13.8089 30.35%
3257.83/3267.92 c 3268 2810 2507 1 18.0000 13.8089 30.35%
3263.12/3273.25 c 3273 2815 2512 1 18.0000 13.8089 30.35%
3270.90/3281.05 c 3281 2821 2516 1 18.0000 13.8089 30.35%
3276.77/3286.95 c 3287 2828 2517 1 18.0000 13.8089 30.35%
3282.75/3292.92 c 3293 2835 2524 1 18.0000 13.8089 30.35%
3291.42/3301.69 c 3302 2838 2527 1 18.0000 13.8089 30.35%
3297.01/3307.20 c 3307 2844 2533 1 18.0000 13.8191 30.25%
3302.69/3313.01 c 3313 2847 2536 1 18.0000 13.8191 30.25%
3309.37/3319.69 c 3320 2850 2539 1 18.0000 13.8191 30.25%
3314.65/3324.98 c 3325 2854 2543 1 18.0000 13.8191 30.25%
3320.53/3330.84 c 3331 2858 2547 1 18.0000 13.8191 30.25%
3327.01/3337.30 c 3337 2864 2553 1 18.0000 13.8191 30.25%
3333.19/3343.59 c 3344 2868 2557 1 18.0000 13.8191 30.25%
3340.06/3350.45 c 3350 2879 2568 1 18.0000 13.8192 30.25%
3351.43/3361.90 c 3362 2884 2571 1 18.0000 13.8192 30.25%
3356.91/3367.32 c 3367 2888 2573 1 18.0000 13.8192 30.25%
3361.89/3372.37 c 3372 2892 2577 1 18.0000 13.8192 30.25%
3375.66/3386.17 c 3386 2893 2578 1 18.0000 13.8192 30.25%
3380.84/3391.37 c 3391 2895 2580 1 18.0000 13.8192 30.25%
3386.63/3397.11 c 3397 2904 2589 1 18.0000 13.8192 30.25%
3392.00/3402.55 c 3403 2914 2597 1 18.0000 13.8225 30.22%
3397.38/3407.97 c 3408 2923 2604 1 18.0000 13.8225 30.22%
3403.16/3413.70 c 3414 2927 2608 1 18.0000 13.8225 30.22%
3408.56/3419.17 c 3419 2930 2611 1 18.0000 13.8225 30.22%
3414.03/3424.67 c 3425 2939 2616 1 18.0000 13.8225 30.22%
3419.90/3430.50 c 3430 2949 2622 1 18.0000 13.8225 30.22%
3425.51/3436.15 c 3436 2958 2631 1 18.0000 13.8225 30.22%
3432.07/3442.77 c 3443 2964 2635 1 18.0000 13.8225 30.22%
3437.37/3448.06 c 3448 2971 2640 1 18.0000 13.8225 30.22%
3443.34/3454.01 c 3454 2977 2646 1 18.0000 13.8257 30.19%
3452.10/3462.82 c 3463 2982 2649 1 18.0000 13.8257 30.19%
3460.29/3471.04 c 3471 2986 2651 1 18.0000 13.8257 30.19%
3466.37/3477.14 c 3477 2991 2654 1 18.0000 13.8257 30.19%
3476.23/3487.11 c 3487 2997 2658 1 18.0000 13.8300 30.15%
3481.90/3492.76 c 3493 3006 2665 1 18.0000 13.8300 30.15%
3487.78/3498.64 c 3499 3014 2669 1 18.0000 13.8300 30.15%
3493.37/3504.27 c 3504 3020 2673 1 18.0000 13.8300 30.15%
3499.56/3510.45 c 3510 3031 2674 1 18.0000 13.8300 30.15%
3506.93/3517.84 c 3518 3033 2676 1 18.0000 13.8300 30.15%
3511.91/3522.87 c 3523 3042 2685 1 18.0000 13.8314 30.14%
3520.09/3531.01 c 3531 3048 2687 1 18.0000 13.8314 30.14%
3528.56/3539.54 c 3540 3056 2691 1 18.0000 13.8314 30.14%
3536.15/3547.17 c 3547 3064 2699 1 18.0000 13.8353 30.10%
3542.04/3553.07 c 3553 3071 2706 1 18.0000 13.8353 30.10%
3555.19/3566.27 c 3566 3076 2709 1 18.0000 13.8353 30.10%
3560.78/3571.80 c 3572 3084 2715 1 18.0000 13.8390 30.07%
3573.25/3584.31 c 3584 3095 2718 1 18.0000 13.8390 30.07%
3582.72/3593.87 c 3594 3098 2721 1 18.0000 13.8390 30.07%
3587.11/3598.24 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.11/3598.24 c Total Time : 3598.25
3587.11/3598.24 c solving : 3598.25
3587.11/3598.24 c presolving : 0.30 (included in solving)
3587.11/3598.24 c B&B Tree :
3587.11/3598.24 c nodes (total) : 1
3587.11/3598.24 c Solution :
3587.11/3598.24 c Solutions found : 2
3587.11/3598.24 c Primal Bound : +1.80000000000000e+01
3587.11/3598.24 c Dual Bound : +1.38389602698499e+01
3587.11/3598.24 c Gap : 30.06757 %
3587.11/3598.24 c * Warning: final gap: 3.00676e-01 is greater than SCIPepsilon: 1.00000e-09
3587.11/3598.25 o 18
3587.11/3598.25 s SATISFIABLE
3587.11/3598.25 v -x4318 -x4317 -x4316 -x4315 x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 -x4294
3587.11/3598.25 v x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 -x4278 -x4276 -x4275 -x4274 -x4273 -x4271 -x4270 -x4269
3587.11/3598.25 v -x4268 -x4266 -x4264 -x4263 -x4262 -x4261 -x4259 -x4257 -x4256 -x4255 -x4254 -x4252 -x4250 -x4249 -x4248 -x4247 -x4245 -x4244
3587.11/3598.25 v -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 x4233 -x4231 -x4230 -x4229 x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219
3587.11/3598.25 v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194
3587.11/3598.25 v -x4193 -x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 -x4168
3587.11/3598.25 v -x4167 -x4166 -x4165 x4163 -x4161 -x4160 -x4159 x4158 -x4156 -x4154 -x4153 -x4152 -x4151 -x4149 -x4147 -x4146 -x4145 -x4144
3587.11/3598.25 v -x4142 -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4130 -x4128 -x4127 -x4126 -x4125 -x4123 x4121 -x4120 -x4119
3587.11/3598.25 v x4118 -x4116 -x4114 -x4113 -x4112 x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093
3587.11/3598.25 v -x4092 -x4091 x4090 -x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071
3587.11/3598.25 v -x4070 -x4069 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 -x4051
3587.11/3598.25 v -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 x4033 -x4031
3587.11/3598.25 v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012
3587.11/3598.25 v -x4011 -x4010 -x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 -x3992
3587.11/3598.25 v -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
3587.11/3598.25 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953
3587.11/3598.25 v -x3952 -x3951 -x3950 x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933
3587.11/3598.25 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
3587.11/3598.25 v -x3914 x3913 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895
3587.11/3598.25 v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875
3587.11/3598.25 v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856
3587.11/3598.25 v -x3855 -x3854 x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 -x3836
3587.11/3598.25 v -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817
3587.11/3598.25 v -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 -x3800 -x3799 -x3798
3587.11/3598.25 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780
3587.11/3598.25 v -x3779 -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761
3587.11/3598.25 v -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 -x3742
3587.11/3598.25 v -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724
3587.11/3598.25 v -x3723 -x3722 x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
3587.11/3598.25 v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
3587.11/3598.25 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669
3587.11/3598.25 v -x3668 x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650
3587.11/3598.25 v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3638 x3636 x3634 -x3632 -x3630 -x3628 x3626 -x3624 -x3622
3587.11/3598.25 v -x3620 x3618 -x3616 x3614 x3612 x3610 x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 -x3594
3587.11/3598.25 v -x3593 -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 -x3581 -x3580 x3579 x3578 -x3576 -x3575 -x3574 -x3573 -x3571
3587.11/3598.25 v -x3570 -x3569 -x3568 -x3566 -x3565 -x3564 x3563 -x3561 -x3560 -x3559 -x3558 -x3556 -x3555 -x3554 -x3553 -x3551 -x3550 -x3549
3587.11/3598.25 v -x3548 -x3546 -x3545 -x3544 x3543 -x3541 -x3540 -x3539 -x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528
3587.11/3598.25 v -x3527 -x3526 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509 -x3508
3587.11/3598.25 v -x3507 -x3506 -x3505 -x3504 x3503 x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3488
3587.11/3598.25 v -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 x3478 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469
3587.11/3598.25 v -x3468 -x3467 x3466 -x3464 x3462 -x3460 x3458 -x3456 x3454 -x3452 -x3450 -x3448 -x3446 x3444 -x3442 -x3440 -x3438 -x3436 x3434
3587.11/3598.25 v x3432 x3430 -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 -x3418 -x3416 -x3415 -x3414 -x3413 -x3411 -x3410 -x3409
3587.11/3598.25 v -x3408 -x3406 -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 -x3388 -x3386
3587.11/3598.25 v -x3385 -x3384 x3383 -x3381 -x3380 x3379 x3378 -x3376 -x3375 -x3374 -x3373 -x3371 -x3370 -x3369 -x3368 -x3366 -x3365 -x3364
3587.11/3598.25 v x3363 -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
3587.11/3598.25 v -x3341 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 -x3324 -x3323
3587.11/3598.25 v -x3322 -x3321 -x3320 -x3319 -x3318 x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3303
3587.11/3598.25 v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3294 x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283
3587.11/3598.25 v -x3282 x3281 -x3279 x3277 -x3275 -x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 -x3257 -x3255 x3253 -x3251 x3249 -x3247
3587.11/3598.25 v -x3245 -x3243 -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 x3231 -x3229 -x3228 -x3227 -x3226 -x3224 -x3223 -x3222
3587.11/3598.25 v -x3221 -x3219 -x3218 -x3217 -x3216 -x3214 x3213 -x3212 x3211 -x3209 -x3208 -x3207 x3206 -x3204 -x3203 -x3202 -x3201 -x3199
3587.11/3598.25 v -x3198 -x3197 x3196 -x3194 -x3193 -x3192 -x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 -x3179 -x3178 -x3177
3587.11/3598.25 v -x3176 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156
3587.11/3598.25 v -x3155 x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 -x3138 x3137 -x3136
3587.11/3598.25 v -x3135 -x3134 -x3133 -x3132 -x3131 x3130 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3116
3587.11/3598.25 v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 x3106 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097
3587.11/3598.25 v -x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 -x3077 -x3076 -x3075
3587.11/3598.25 v -x3074 -x3072 -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3052
3587.11/3598.25 v -x3051 -x3050 -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 -x3034 -x3032 -x3031 -x3030
3587.11/3598.25 v -x3029 -x3027 -x3026 -x3025 x3024 -x3022 -x3021 x3020 x3019 -x3017 -x3016 -x3015 -x3014 -x3012 -x3011 -x3010 -x3009 -x3007
3587.11/3598.25 v -x3006 -x3005 -x3004 -x3002 -x3001 -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985
3587.11/3598.25 v -x2984 -x2982 -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 -x2966 -x2965 -x2964 -x2962
3587.11/3598.25 v -x2961 -x2960 x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2942 -x2941 -x2940
3587.11/3598.25 v -x2939 -x2937 -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 -x2921 -x2920 -x2919
3587.11/3598.25 v -x2917 -x2916 -x2915 -x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2897 -x2896
3587.11/3598.25 v -x2895 -x2894 -x2892 -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 -x2882 -x2881 -x2880 -x2879 -x2877 -x2876 -x2875 -x2874
3587.11/3598.25 v -x2872 -x2871 -x2870 -x2869 -x2867 -x2866 x2865 x2864 -x2862 -x2861 -x2860 x2859 -x2857 -x2856 -x2855 -x2854 -x2852 -x2851
3587.11/3598.25 v -x2850 -x2849 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2837 -x2836 -x2835 -x2834 -x2832 -x2831 -x2830 -x2829
3587.11/3598.25 v -x2827 -x2826 -x2825 -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 -x2811 -x2810 -x2809 -x2807 -x2806
3587.11/3598.25 v -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 x2789 -x2787 -x2786 -x2785 -x2784
3587.11/3598.25 v -x2782 -x2781 -x2780 -x2779 -x2777 -x2776 -x2775 -x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761
3587.11/3598.25 v -x2760 x2759 -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 -x2741 -x2740 -x2739
3587.11/3598.25 v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719
3587.11/3598.25 v -x2718 -x2716 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2700 -x2699 -x2698 -x2697
3587.11/3598.25 v -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677
3587.11/3598.25 v -x2676 -x2674 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2658 -x2657 -x2656 -x2655
3587.11/3598.25 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
3587.11/3598.25 v -x2634 -x2632 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2618 -x2616 -x2615 -x2614 -x2613
3587.11/3598.25 v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594
3587.11/3598.25 v -x2593 -x2592 -x2590 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 -x2573 -x2572
3587.11/3598.25 v -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552
3587.11/3598.25 v x2551 x2550 -x2548 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2534 -x2532 -x2531 -x2530
3587.11/3598.25 v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
3587.11/3598.25 v -x2509 -x2508 -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2492 -x2490 -x2489 -x2488
3587.11/3598.25 v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468
3587.11/3598.25 v -x2467 -x2466 -x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 -x2447 -x2446
3587.11/3598.25 v -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426
3587.11/3598.25 v -x2425 -x2424 x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2408 -x2406 -x2405 -x2404
3587.11/3598.25 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384
3587.11/3598.25 v -x2383 -x2382 -x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2366 -x2364 -x2363
3587.11/3598.25 v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3587.11/3598.25 v -x2342 -x2341 -x2340 -x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2324 -x2322 -x2321
3587.11/3598.25 v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 x2312 x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
3587.11/3598.25 v -x2300 -x2299 -x2298 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2284 -x2282 -x2281 -x2280
3587.11/3598.25 v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
3587.11/3598.25 v -x2259 -x2258 x2256 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 -x2239 -x2238
3587.11/3598.25 v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
3587.11/3598.25 v -x2217 -x2216 x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 x2203 x2202 -x2200 -x2198 -x2197 -x2196
3587.11/3598.25 v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176
3587.11/3598.25 v -x2175 -x2174 -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2158 -x2156 -x2155 -x2154
3587.11/3598.25 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
3587.11/3598.25 v -x2133 -x2132 -x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2116 -x2114 -x2113 -x2112
3587.11/3598.25 v -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 x2104 -x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092
3587.11/3598.25 v -x2091 -x2090 -x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2074 -x2072 -x2071 -x2070
3587.11/3598.25 v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050
3587.11/3598.25 v -x2049 -x2048 -x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 x2034 x2032 -x2030 -x2029 -x2028
3587.11/3598.25 v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
3587.11/3598.25 v -x2007 -x2006 x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 x1990 -x1988 -x1987 -x1986
3587.11/3598.25 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
3587.11/3598.25 v -x1965 x1964 x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
3587.11/3598.25 v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
3587.11/3598.25 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909
3587.11/3598.25 v -x1908 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890
3587.11/3598.25 v -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872
3587.11/3598.25 v -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854
3587.11/3598.25 v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835
3587.11/3598.25 v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
3587.11/3598.25 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1798 -x1797
3587.11/3598.25 v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779
3587.11/3598.25 v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
3587.11/3598.25 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 -x1743 -x1742
3587.11/3598.25 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
3587.11/3598.25 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705
3587.11/3598.25 v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1690 -x1689 -x1688 -x1687 -x1686
3587.11/3598.25 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
3587.11/3598.25 v -x1667 x1666 x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
3587.11/3598.25 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630
3587.11/3598.25 v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
3587.11/3598.25 v -x1611 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593
3587.11/3598.25 v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575
3587.11/3598.25 v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557
3587.11/3598.25 v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538
3587.11/3598.25 v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519
3587.11/3598.25 v -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 -x1500
3587.11/3598.25 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482
3587.11/3598.25 v -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
3587.11/3598.25 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1447 -x1446 -x1445
3587.11/3598.25 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
3587.11/3598.25 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
3587.11/3598.25 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 -x1391 -x1390 -x1389
3587.11/3598.25 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371
3587.11/3598.25 v -x1370 x1369 x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
3587.11/3598.25 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333
3587.11/3598.25 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315
3587.11/3598.25 v -x1314 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
3587.11/3598.25 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
3587.11/3598.25 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
3587.11/3598.25 v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241
3587.11/3598.25 v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
3587.11/3598.25 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1204 -x1203
3587.11/3598.25 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185
3587.11/3598.25 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
3587.11/3598.25 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
3587.11/3598.25 v -x1149 x1148 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
3587.11/3598.25 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
3587.11/3598.25 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
3587.11/3598.25 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076
3587.11/3598.25 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
3587.11/3598.25 v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040
3587.11/3598.25 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
3587.11/3598.25 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004
3587.11/3598.25 v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983
3587.11/3598.25 v -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962
3587.11/3598.25 v -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941
3587.11/3598.25 v -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920
3587.11/3598.25 v -x919 -x918 -x917 -x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898
3587.11/3598.25 v -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877
3587.11/3598.25 v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x856 -x855
3587.11/3598.25 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835
3587.11/3598.25 v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814
3587.11/3598.25 v -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x798 -x797 -x796 -x795 -x794 -x793 -x792
3587.11/3598.25 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3587.11/3598.25 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
3587.11/3598.25 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x740 -x738 -x739 -x737 -x735 -x736
3587.11/3598.25 v -x734 -x732 -x733 -x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 -x722 -x721 -x720 -x718 -x719 -x717 -x715 -x716 -x714
3587.11/3598.25 v -x712 -x713 -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 x703 -x701 -x702 -x700 -x698 -x699 -x697 -x695 -x696 -x694 -x692
3587.11/3598.25 v -x693 -x691 -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 -x675 -x673
3587.11/3598.25 v -x671 -x672 -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651
3587.11/3598.25 v -x652 -x650 -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 -x633 -x632 -x631 -x629
3587.11/3598.25 v -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 x614 x613 -x612 -x611 -x610 -x608 -x607 -x606 -x605
3587.11/3598.25 v -x603 -x602 -x601 -x600 -x598 -x597 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x521 -x520 -x519 -x518 -x517 -x516 -x580 -x578
3587.11/3598.25 v -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563 -x564 -x561 -x562 -x559 -x560 -x557
3587.11/3598.25 v -x558 -x555 -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x536
3587.11/3598.25 v -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 x522 -x446 -x445 -x444 -x443 -x442 -x441 -x514 -x512 -x513 -x511
3587.11/3598.25 v -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 x491 -x489
3587.11/3598.25 v -x490 -x488 -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 -x467 -x466 -x465
3587.11/3598.25 v -x463 -x462 -x460 -x459 -x457 -x456 -x454 x453 x452 -x451 -x450 -x449 -x447 -x368 -x367 -x366 -x365 -x364 -x363 -x439 -x437
3587.11/3598.25 v -x438 -x436 -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x425 x426 -x424 -x422 -x423 -x421 -x419 -x420 -x418 -x416
3587.11/3598.25 v -x417 -x415 -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 -x397 -x395 -x394 -x392 x391 x390
3587.11/3598.25 v -x389 -x387 -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x374 -x373 -x372 -x371 -x369 -x9 -x8 -x7 -x6 -x5 -x4 -x3
3587.11/3598.25 v x2 -x361 -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341
3587.11/3598.25 v -x342 -x340 -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 -x320
3587.11/3598.25 v -x321 -x319 -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299
3587.11/3598.25 v -x300 -x298 -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278
3587.11/3598.25 v -x279 -x277 -x275 -x276 -x274 -x272 -x273 x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257
3587.11/3598.25 v -x258 -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236
3587.11/3598.25 v x237 -x235 -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215
3587.11/3598.25 v -x216 -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194
3587.11/3598.25 v -x195 -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175
3587.11/3598.25 v -x173 -x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153
3587.11/3598.25 v -x154 -x152 -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132
3587.11/3598.25 v -x133 -x131 -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111
3587.11/3598.25 v -x112 -x110 -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91
3587.11/3598.25 v -x89 -x87 -x86 -x84 -x83 -x81 -x80 -x79 -x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x56 -x55
3587.11/3598.25 v -x53 -x52 -x50 -x49 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x31 x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18
3587.11/3598.25 v -x16 -x15 -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 -x4293 -x4291 -x4286 -x4284 -x4279 -x4277 -x4272 -x4267
3587.11/3598.25 v -x4265 -x4260 -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 x4227 -x4225 -x4220 -x4218 -x4213 -x4211 -x4206 -x4204
3587.11/3598.25 v -x4199 -x4197 -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 -x4148 -x4143 -x4141
3587.11/3598.25 v -x4136 -x4131 -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 -x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 -x4082 -x4080 -x4068
3587.11/3598.25 v -x4056 -x635 -x4044 -x4032 -x630 -x4020 -x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 x3948 -x3936 -x3924 -x609 -x3912 -x3900
3587.11/3598.25 v -x604 -x3888 -x3876 -x599 -x3864 -x596 -x3852 -x3840 -x3828 -x3801 -x3774 -x3747 -x3720 -x3693 -x3666 -x3639 -x3637 -x3635
3587.11/3598.25 v -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 -x3597 -x3592 -x3587
3587.11/3598.25 v -x3582 -x3577 -x3572 -x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 -x3501 -x3489
3587.11/3598.25 v -x3477 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 x3433
3587.11/3598.25 v -x3431 -x3429 -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 -x3377 -x461
3587.11/3598.25 v -x3372 -x458 -x3367 -x455 x3362 -x3357 -x3352 -x448 -x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 -x3274 -x3272
3587.11/3598.25 v -x3270 -x3268 -x3266 -x3264 -x3262 x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3235 -x408
3587.11/3598.25 v -x3230 -x405 -x3225 -x402 -x3220 -x399 -x3215 -x396 -x3210 -x393 x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 -x3180 x378 -x3175
3587.11/3598.25 v -x375 -x3170 -x3165 -x370 -x3153 -x3141 -x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 -x3058 -x3053
3587.11/3598.25 v -x3048 -x3043 -x3038 -x3033 -x3028 -x3023 -x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 -x2983 -x2978 -x2973 -x2968 -x2963
3587.11/3598.25 v -x2958 -x2953 -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 -x2878 -x2873
3587.11/3598.25 v -x2868 -x2863 -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 x2788 -x2783
3587.11/3598.25 v -x2778 -x2773 -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 -x2687 -x2675
3587.11/3598.25 v -x2673 -x2661 -x2659 -x2647 x2645 -x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 -x2589 -x2577 -x2575 -x2563 -x2561 -x2549
3587.11/3598.28 v -x2547 -x2535 -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 -x2435 -x2423
3587.11/3598.28 v -x2421 -x2409 -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 -x2325 -x2323 -x2311 -x2309 -x2297
3587.11/3598.28 v -x2285 -x2283 -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 -x2173 -x2171
3587.11/3598.28 v -x2159 -x2157 -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 -x2087 -x2075 -x2073 -x2061 -x2059 -x2047 -x2045
3587.11/3598.28 v -x2033 -x2031 -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 -x1880 x82 -x1853
3587.11/3598.28 v -x1826 -x77 -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 -x65 -x1691 -x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 -x51 -x1556
3587.11/3598.28 v -x48 -x1529 -x45 -x1502 -x1475 -x40 -x1448 -x37 -x1421 -x34 -x1394 x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 -x20 -x1259 -x17
3587.11/3598.28 v -x1232 -x14 -x1205 x11 -x1147 -x1089 -x1031 -x973 -x915 -x857 -x799 x741 x581 x515 x440 x362 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61309 MiB free)
memory of node 1: 64510 MiB (56921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464085-1722382043/watcher-4464085-1722382043 -o /tmp/evaluation-result-4464085-1722382043/solver-4464085-1722382043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29097 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464085-1722382043.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31063, runsolver pid=31060
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 4.14 4.13 4.07 5/249 31064
/proc/meminfo: memFree=121034792/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=56308 memory=44432 CPUtime=0.1 cores=5,7
/proc/31063/stat : 31063 (fscip) R 31060 31063 29084 0 -1 4194304 8818 0 0 0 9 1 0 0 20 0 1 0 4799919 57659392 11108 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 14077 11108 2614 3035 0 10473 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56308 KiB
Current children cumulated memory: 44432 KiB
[startup+0.213564 s]*
/proc/loadavg: 4.14 4.13 4.07 5/249 31064
/proc/meminfo: memFree=121026280/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=66592 memory=55316 CPUtime=0.21 cores=5,7
/proc/31063/stat : 31063 (fscip) R 31060 31063 29084 0 -1 4194304 13679 0 0 0 19 2 0 0 20 0 1 0 4799919 68190208 13829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 16648 13829 2726 3035 0 13044 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66592 KiB
Current children cumulated memory: 55316 KiB
[startup+0.31351 s]*
/proc/loadavg: 4.14 4.13 4.07 5/249 31064
/proc/meminfo: memFree=121018776/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=71560 memory=59944 CPUtime=0.32 cores=5,7
/proc/31063/stat : 31063 (fscip) R 31060 31063 29084 0 -1 4194304 14767 0 0 0 29 3 0 0 20 0 1 0 4799919 73277440 14986 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 17890 14986 2774 3035 0 14286 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 71560 KiB
Current children cumulated memory: 59944 KiB
[startup+0.700592 s]
/proc/loadavg: 4.13 4.13 4.06 5/251 31066
/proc/meminfo: memFree=120987368/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=165920 memory=102960 CPUtime=0.66 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 27417 0 0 0 60 6 0 0 20 0 3 0 4799919 169902080 25740 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 41480 25740 2822 3035 0 31179 0
[pid=31063/tid=31065] ppid=31060 vsize=165920 memory=32720 CPUtime=0.25 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 9105 0 0 0 22 3 0 0 20 0 3 0 4799958 169902080 25740 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=165920 memory=2369 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4799964 169902080 25740 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 165920 KiB
Current children cumulated memory: 102960 KiB
[startup+1.50058 s]
/proc/loadavg: 4.13 4.13 4.06 5/251 31068
/proc/meminfo: memFree=120961900/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=231456 memory=145716 CPUtime=1.44 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 39315 0 0 0 135 9 0 0 20 0 3 0 4799919 237010944 36429 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 57864 36429 2966 3035 0 42054 0
[pid=31063/tid=31065] ppid=31060 vsize=231456 memory=2369 CPUtime=1.03 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 21003 0 0 0 98 5 0 0 20 0 3 0 4799958 237010944 36429 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=231456 memory=0 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4799964 237010944 36429 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 231456 KiB
Current children cumulated memory: 145716 KiB
[startup+3.10659 s]
/proc/loadavg: 4.13 4.13 4.06 5/251 31068
/proc/meminfo: memFree=120917756/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=231456 memory=160612 CPUtime=3.03 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 56719 0 0 0 292 11 0 0 20 0 3 0 4799919 237010944 40153 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 57864 40153 2966 3035 0 45398 0
[pid=31063/tid=31065] ppid=31060 vsize=231456 memory=0 CPUtime=2.62 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 38405 0 0 0 255 7 0 0 20 0 3 0 4799958 237010944 40153 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=231456 memory=0 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4799964 237010944 40153 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 231456 KiB
Current children cumulated memory: 160612 KiB
[startup+6.3004 s]
/proc/loadavg: 4.12 4.13 4.06 5/251 31068
/proc/meminfo: memFree=120892860/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=296992 memory=187580 CPUtime=6.21 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 80986 0 0 0 608 13 0 0 20 0 3 0 4799919 304119808 46895 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 74248 46895 2966 3035 0 54628 0
[pid=31063/tid=31065] ppid=31060 vsize=296992 memory=0 CPUtime=5.8 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 62672 0 0 0 570 10 0 0 20 0 3 0 4799958 304119808 46895 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=296992 memory=166168 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4799964 304119808 46895 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 296992 KiB
Current children cumulated memory: 187580 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.12 4.06 5/251 31070
/proc/meminfo: memFree=120859440/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=296992 memory=218732 CPUtime=12.6 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 106216 0 0 0 1244 16 0 0 20 0 3 0 4799919 304119808 54683 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 74248 54683 3014 3035 0 62688 0
[pid=31063/tid=31065] ppid=31060 vsize=296992 memory=0 CPUtime=12.18 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 87260 0 0 0 1206 12 0 0 20 0 3 0 4799958 304119808 54683 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=296992 memory=16744 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4799964 304119808 54683 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 296992 KiB
Current children cumulated memory: 218732 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.06 5/251 31072
/proc/meminfo: memFree=120857300/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=296992 memory=218760 CPUtime=25.36 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 133708 0 0 0 2518 18 0 0 20 0 3 0 4799919 304119808 54690 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 74248 54690 3014 3035 0 62688 0
[pid=31063/tid=31065] ppid=31060 vsize=296992 memory=218756 CPUtime=24.95 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 114675 0 0 0 2481 14 0 0 20 0 3 0 4799958 304119808 54690 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=296992 memory=16744 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4799964 304119808 54690 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 296992 KiB
Current children cumulated memory: 218760 KiB
[startup+51.1133 s]
/proc/loadavg: 4.11 4.12 4.07 5/251 31077
/proc/meminfo: memFree=120849368/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=298180 memory=225788 CPUtime=50.9 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 204433 0 0 0 5067 23 0 0 20 0 3 0 4799919 305336320 56447 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 74545 56447 3014 3035 0 65174 0
[pid=31063/tid=31065] ppid=31060 vsize=298180 memory=220240 CPUtime=50.48 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 185276 0 0 0 5029 19 0 0 20 0 3 0 4799958 305336320 56447 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=298180 memory=-7668341007113610874 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4799964 305336320 56447 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 298180 KiB
Current children cumulated memory: 225788 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/253 31256
/proc/meminfo: memFree=120809352/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=363716 memory=264236 CPUtime=101.95 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 271630 0 0 0 10167 28 0 0 20 0 3 0 4799919 372445184 66059 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 90929 66059 3014 3035 0 78960 0
[pid=31063/tid=31065] ppid=31060 vsize=363716 memory=263548 CPUtime=101.53 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 252375 0 0 0 10129 24 0 0 20 0 3 0 4799958 372445184 66059 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=363716 memory=-7668341007113610874 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4799964 372445184 66059 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 363716 KiB
Current children cumulated memory: 264236 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/254 31317
/proc/meminfo: memFree=121229516/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=429252 memory=315484 CPUtime=161.78 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 336826 0 0 0 16143 35 0 0 20 0 3 0 4799919 439554048 78871 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 107313 78871 3014 3035 0 97565 0
[pid=31063/tid=31065] ppid=31060 vsize=429252 memory=5540 CPUtime=161.36 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 317500 0 0 0 16105 31 0 0 20 0 3 0 4799958 439554048 78871 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=429252 memory=2708 CPUtime=0 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4799964 439554048 78871 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 429252 KiB
Current children cumulated memory: 315484 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/252 31430
/proc/meminfo: memFree=120307944/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=429252 memory=338256 CPUtime=221.62 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 388061 0 0 0 22123 39 0 0 20 0 3 0 4799919 439554048 84564 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 107313 84564 3014 3035 0 102838 0
[pid=31063/tid=31065] ppid=31060 vsize=429252 memory=316376 CPUtime=221.19 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 368698 0 0 0 22084 35 0 0 20 0 3 0 4799958 439554048 84564 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=429252 memory=323836 CPUtime=0 cores=5,7
################
# More data... #
################
Current children cumulated memory: 1135608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.28 4.34 5/251 32653
/proc/meminfo: memFree=120329864/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310084 memory=1155312 CPUtime=3451.6 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1766344 0 0 0 344963 197 0 0 20 0 3 0 4799919 1341526016 288828 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327521 288828 3030 3035 0 310956 0
[pid=31063/tid=31065] ppid=31060 vsize=1310084 memory=1131372 CPUtime=3450.98 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1745612 0 0 0 344914 184 0 0 20 0 3 0 4799958 1341526016 288828 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310084 memory=11352 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 219 0 0 0 2 4 0 0 20 0 3 0 4799964 1341526016 288828 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 1310084 KiB
Current children cumulated memory: 1155312 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.26 4.32 5/250 33047
/proc/meminfo: memFree=120311652/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310084 memory=1155312 CPUtime=3511.41 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1770303 0 0 0 350943 198 0 0 20 0 3 0 4799919 1341526016 288828 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327521 288828 3030 3035 0 310956 0
[pid=31063/tid=31065] ppid=31060 vsize=1310084 memory=1155312 CPUtime=3510.78 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1749541 0 0 0 350893 185 0 0 20 0 3 0 4799958 1341526016 288828 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310084 memory=16744 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 221 0 0 0 2 4 0 0 20 0 3 0 4799964 1341526016 288828 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 1310084 KiB
Current children cumulated memory: 1155312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.23 4.31 5/250 33057
/proc/meminfo: memFree=120295124/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310084 memory=1155316 CPUtime=3571.25 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1774583 0 0 0 356925 200 0 0 20 0 3 0 4799919 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327521 288829 3030 3035 0 310956 0
[pid=31063/tid=31065] ppid=31060 vsize=1310084 memory=1155316 CPUtime=3570.61 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1753809 0 0 0 356875 186 0 0 20 0 3 0 4799958 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310084 memory=25944 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3571.25 s
Current children cumulated vsize: 1310084 KiB
Current children cumulated memory: 1155316 KiB
[startup+3598.32 s]
# the end of solver process 31063 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.2 s, system=2.02052 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.23 4.31 5/250 33057
/proc/meminfo: memFree=120294872/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310084 memory=1155316 CPUtime=3572.96 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1774678 0 0 0 357096 200 0 0 20 0 3 0 4799919 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327521 288829 3030 3035 0 310956 0
[pid=31063/tid=31065] ppid=31060 vsize=1310084 memory=-5155626886384741253 CPUtime=3572.32 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1753904 0 0 0 357046 186 0 0 20 0 3 0 4799958 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310084 memory=-7594096420557520832 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 1310084 KiB
Current children cumulated memory: 1155316 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.22 4.30 5/250 33057
/proc/meminfo: memFree=120294816/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310084 memory=1155316 CPUtime=3579.33 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1774781 0 0 0 357733 200 0 0 20 0 3 0 4799919 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327521 288829 3030 3035 0 310956 0
[pid=31063/tid=31065] ppid=31060 vsize=1310084 memory=1155316 CPUtime=3578.69 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1753989 0 0 0 357683 186 0 0 20 0 3 0 4799958 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310084 memory=1155316 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3579.33 s
Current children cumulated vsize: 1310084 KiB
Current children cumulated memory: 1155316 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.22 4.30 5/250 33058
/proc/meminfo: memFree=120292572/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310084 memory=1155316 CPUtime=3582.53 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1774923 0 0 0 358053 200 0 0 20 0 3 0 4799919 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327521 288829 3030 3035 0 310956 0
[pid=31063/tid=31065] ppid=31060 vsize=1310084 memory=16744 CPUtime=3581.88 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1754131 0 0 0 358002 186 0 0 20 0 3 0 4799958 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310084 memory=12220 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341526016 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3582.53 s
Current children cumulated vsize: 1310084 KiB
Current children cumulated memory: 1155316 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.22 4.30 5/250 33058
/proc/meminfo: memFree=120292572/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310284 memory=1155316 CPUtime=3585.72 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1775193 0 0 0 358372 200 0 0 20 0 3 0 4799919 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327571 288829 3030 3035 0 311006 0
[pid=31063/tid=31065] ppid=31060 vsize=1310284 memory=1155316 CPUtime=3585.07 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1754401 0 0 0 358321 186 0 0 20 0 3 0 4799958 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310284 memory=1155316 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 1310284 KiB
Current children cumulated memory: 1155316 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.22 4.30 5/250 33058
/proc/meminfo: memFree=120292376/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310284 memory=1155316 CPUtime=3586.52 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1775193 0 0 0 358452 200 0 0 20 0 3 0 4799919 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327571 288829 3030 3035 0 311006 0
[pid=31063/tid=31065] ppid=31060 vsize=1310284 memory=11352 CPUtime=3585.87 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1754401 0 0 0 358401 186 0 0 20 0 3 0 4799958 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310284 memory=12220 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 1310284 KiB
Current children cumulated memory: 1155316 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.22 4.30 5/250 33058
/proc/meminfo: memFree=120292376/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310284 memory=1155316 CPUtime=3586.93 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1775198 0 0 0 358493 200 0 0 20 0 3 0 4799919 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327571 288829 3030 3035 0 311006 0
[pid=31063/tid=31065] ppid=31060 vsize=1310284 memory=-5155626886384741253 CPUtime=3586.28 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1754406 0 0 0 358442 186 0 0 20 0 3 0 4799958 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310284 memory=-7594096420557520832 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341730816 288829 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3586.93 s
Current children cumulated vsize: 1310284 KiB
Current children cumulated memory: 1155316 KiB
[startup+3598.2 s]
/proc/loadavg: 4.08 4.22 4.30 5/250 33058
/proc/meminfo: memFree=120292376/131655788 swapFree=131071996/131071996
[pid=31063] ppid=31060 vsize=1310284 memory=1155320 CPUtime=3587.11 cores=5,7
/proc/31063/stat : 31063 (fscip) S 31060 31063 29084 0 -1 1077936128 1776296 0 0 0 358511 200 0 0 20 0 3 0 4799919 1341730816 288830 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
/proc/31063/statm: 327571 288830 3030 3035 0 311006 0
[pid=31063/tid=31065] ppid=31060 vsize=1310284 memory=4768 CPUtime=3586.47 cores=5,7
/proc/31063/task/31065/stat : 31065 (fscip) R 31060 31063 29084 0 -1 4194368 1755503 0 0 0 358461 186 0 0 20 0 3 0 4799958 1341730816 288830 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
[pid=31063/tid=31066] ppid=31060 vsize=1310284 memory=2442228 CPUtime=0.06 cores=5,7
/proc/31063/task/31066/stat : 31066 (fscip) S 31060 31063 29084 0 -1 1077936192 223 0 0 0 2 4 0 0 20 0 3 0 4799964 1341730816 288830 134679101440 4194304 16623229 140724000719264 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49184768 140724000728086 140724000728202 140724000728202 140724000735216 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 1310284 KiB
Current children cumulated memory: 1155320 KiB
[startup+3598.3 s]*
/proc/loadavg: 4.08 4.22 4.30 5/248 33058
/proc/meminfo: memFree=121437784/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.32
CPU time (s): 3587.22
CPU user time (s): 3585.2
CPU system time (s): 2.02052
CPU usage (%): 99.6917
Max. virtual memory (cumulated for all children) (KiB): 1310284
Max. memory (cumulated for all children) (KiB): 1155320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.2
system time used= 2.02052
maximum resident set size= 1158520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1778355
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= 6990
involuntary context switches= 3165
# summary of solver processes directly reported to runsolver:
# pid: 31063
# total CPU time (s): 3587.22
# total CPU user time (s): 3585.2
# total CPU system time (s): 2.02052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8498 second user time and 36.5204 second system time
The end
Begin job on nodeC002 at 2024-07-31 01:27:23
IDJOB=4464085
IDBENCH=148191
IDSOLVER=3092
FILE ID=nodeC002/4464085-1722382043
RUNJOBID= nodeC002-1722378594-29097
SLURM_JOB_ID= 8249832
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464085-1722382043/watcher-4464085-1722382043 -o /tmp/evaluation-result-4464085-1722382043/solver-4464085-1722382043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29097 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464085-1722382043.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1367756045
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3645.334
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.242
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.223
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 3670.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.664
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.409
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.199
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121068644 kB
MemAvailable: 125939300 kB
Buffers: 98536 kB
Cached: 5561556 kB
SwapCached: 0 kB
Active: 273908 kB
Inactive: 9757128 kB
Active(anon): 1916 kB
Inactive(anon): 4398532 kB
Active(file): 271992 kB
Inactive(file): 5358596 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28836 kB
Writeback: 24 kB
AnonPages: 4364548 kB
Mapped: 128036 kB
Shmem: 29512 kB
KReclaimable: 160200 kB
Slab: 244188 kB
SReclaimable: 160200 kB
SUnreclaim: 83988 kB
KernelStack: 4016 kB
PageTables: 17536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2524308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6976 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1488896 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: 224072 kB
DirectMap2M: 19603456 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC002 at 2024-07-31 02:27:22