0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 27512832, getVmSize() = 27512832, SCIPgetMemUsed() = 4352220, SCIPgetMemTotal() = 5844764, SCIPgetMemExternEstim() = 2426446
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.13 c ** Estimated virtualMemUsedAtSolver = 23702186, getVmSize() = 43593728, SCIPgetMemUsed() = 11973661, SCIPgetMemTotal() = 20369221, SCIPgetMemExternEstim() = 2426446
0.09/0.13 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.13 c Original Problem :
0.09/0.13 c Problem name : instance-4434939-1721168412
0.09/0.13 c Variables : 882 (882 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13 c Constraints : 1664
0.09/0.13 c Objective sense : minimize
0.09/0.13 c Presolved Problem :
0.09/0.13 c Variables : 882 (882 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13 c Constraints : 832
0.09/0.13 c Constraints : Number
0.09/0.13 c and : 832
0.09/0.13 c ** Instance transfer method used: 0
0.09/0.13 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.13 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.13 c Nodes Active
0.09/0.13 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.20/0.23 c * 0 0 1 1 -19.0000 - -
0.20/0.23 c * 0 0 1 1 -23.0000 - -
0.20/0.28 c * 0 0 1 1 -255.0000 - -
5.16/5.24 c 5 23 22 1 -255.0000 -2346.5036 -
10.15/10.29 c 10 101 78 1 -255.0000 -2279.1508 -
10.35/10.45 c * 10 101 78 1 -256.0000 -2279.1508 -
10.35/10.49 c * 10 101 78 1 -258.0000 -2279.1508 -
12.05/12.10 c * 12 152 103 1 -261.0000 -2230.7642 -
15.63/15.73 c 16 592 199 1 -261.0000 -2152.9305 -
20.72/20.82 c 21 1122 299 1 -261.0000 -2084.1648 -
25.71/25.85 c * 26 1602 343 1 -262.0000 -2013.0346 -
25.71/25.85 c 26 1602 343 1 -262.0000 -2013.0346 -
27.21/27.35 c * 27 1952 361 1 -263.0000 -2001.9968 -
31.10/31.21 c 31 2322 381 1 -263.0000 -1980.3523 -
36.99/37.19 c 37 2641 1 1 -263.0000 -1958.9956 -
42.26/42.48 c 42 3381 113 1 -263.0000 -1809.6688 -
47.75/47.94 c 48 3941 173 1 -263.0000 -1727.8596 -
53.43/53.62 c 54 4531 237 1 -263.0000 -1685.2057 -
58.52/58.79 c 59 4781 283 1 -263.0000 -1668.2975 -
64.10/64.39 c 64 5131 323 1 -263.0000 -1649.5695 -
69.79/70.01 c 70 5451 363 1 -263.0000 -1632.0258 -
75.56/75.88 c 76 5871 399 1 -263.0000 -1629.3852 -
81.05/81.37 c 81 6381 445 1 -263.0000 -1612.7932 -
86.33/86.63 c 87 6641 477 1 -263.0000 -1603.8754 -
91.51/91.86 c 92 6801 513 1 -263.0000 -1590.9408 -
97.70/98.02 c 98 7055 549 1 -263.0000 -1587.8725 -
102.79/103.13 c 103 7265 585 1 -263.0000 -1574.9685 498.85%
107.77/108.20 c 108 7391 625 1 -263.0000 -1569.0071 496.58%
112.85/113.21 c 113 7571 649 1 -263.0000 -1565.2027 495.13%
118.24/118.68 c 119 7811 677 1 -263.0000 -1560.4038 493.31%
123.92/124.34 c 124 8041 709 1 -263.0000 -1555.6625 491.51%
126.62/127.02 c * 127 8111 717 1 -264.0000 -1551.7313 487.78%
129.21/129.67 c 130 8201 733 1 -264.0000 -1550.6122 487.35%
134.80/135.23 c 135 8385 759 1 -264.0000 -1544.4444 485.02%
140.68/141.19 c 141 8604 790 1 -264.0000 -1536.5646 482.03%
145.96/146.43 c 146 8921 819 1 -264.0000 -1531.5006 480.11%
151.35/151.88 c 152 9101 841 1 -264.0000 -1524.7891 477.57%
156.64/157.16 c 157 9430 868 1 -264.0000 -1521.8815 476.47%
161.71/162.27 c 162 9701 889 1 -264.0000 -1516.5128 474.44%
166.70/167.23 c * 167 9811 909 1 -268.0000 -1510.6509 463.68%
166.80/167.32 c 167 9861 917 1 -268.0000 -1510.4108 463.59%
171.89/172.47 c 172 9999 939 1 -268.0000 -1508.2868 462.79%
176.87/177.49 c 177 10315 959 1 -268.0000 -1505.4438 461.73%
182.15/182.73 c 183 10499 985 1 -268.0000 -1503.2118 460.90%
187.44/188.05 c 188 10711 1009 1 -268.0000 -1495.1765 457.90%
193.22/193.85 c 194 10861 1031 1 -268.0000 -1494.4287 457.62%
199.20/199.89 c 200 11183 1057 1 -268.0000 -1491.3473 456.47%
205.89/206.53 c 207 11355 1085 1 -268.0000 -1486.8287 454.79%
211.47/212.13 c 212 11533 1107 1 -268.0000 -1484.2497 453.82%
216.55/217.25 c 217 11626 1130 1 -268.0000 -1478.7411 451.77%
221.94/222.64 c 223 11815 1149 1 -268.0000 -1476.8367 451.06%
227.03/227.74 c 228 11891 1167 1 -268.0000 -1474.5912 450.22%
232.22/232.93 c 233 12034 1190 1 -268.0000 -1469.7892 448.43%
237.60/238.31 c 238 12196 1214 1 -268.0000 -1468.0100 447.76%
243.30/244.09 c 244 12354 1234 1 -268.0000 -1465.3580 446.78%
248.77/249.56 c 250 12550 1256 1 -268.0000 -1463.5199 446.09%
253.97/254.79 c 255 12671 1269 1 -268.0000 -1461.9896 445.52%
259.85/260.68 c 261 12831 1287 1 -268.0000 -1456.0629 443.31%
265.64/266.45 c 266 12973 1317 1 -268.0000 -1455.0606 442.93%
270.92/271.78 c 272 13341 1337 1 -268.0000 -1451.6155 441.65%
276.51/277.36 c 277 13431 1355 1 -268.0000 -1450.3806 441.19%
282.69/283.56 c 284 13561 1381 1 -268.0000 -1448.1963 440.37%
288.19/289.09 c 289 13673 1401 1 -268.0000 -1444.8118 439.11%
293.66/294.56 c 295 13831 1419 1 -268.0000 -1442.7256 438.33%
299.35/300.26 c 300 13945 1443 1 -268.0000 -1438.9347 436.92%
304.43/305.39 c 305 14021 1457 1 -268.0000 -1437.1264 436.24%
309.91/310.82 c 311 14071 1475 1 -268.0000 -1435.9442 435.80%
315.11/316.10 c 316 14191 1493 1 -268.0000 -1433.7118 434.97%
320.48/321.44 c 321 14493 1511 1 -268.0000 -1432.6348 434.57%
325.97/326.99 c 327 14601 1531 1 -268.0000 -1427.2130 432.54%
331.95/332.98 c 333 14651 1551 1 -268.0000 -1425.4017 431.87%
337.43/338.49 c 338 14891 1563 1 -268.0000 -1425.2442 431.81%
343.72/344.71 c 345 15001 1583 1 -268.0000 -1424.8171 431.65%
349.51/350.59 c 351 15151 1603 1 -268.0000 -1421.8714 430.55%
355.79/356.84 c 357 15241 1625 1 -268.0000 -1418.2328 429.19%
361.57/362.65 c 363 15303 1639 1 -268.0000 -1415.4919 428.17%
367.06/368.12 c 368 15463 1659 1 -268.0000 -1412.6687 427.12%
372.55/373.68 c 374 15541 1677 1 -268.0000 -1410.5029 426.31%
377.74/378.80 c 379 15731 1699 1 -268.0000 -1408.4333 425.53%
383.22/384.31 c 384 15871 1713 1 -268.0000 -1406.4403 424.79%
388.70/389.86 c 390 16021 1733 1 -268.0000 -1402.8903 423.47%
393.89/395.00 c 395 16132 1754 1 -268.0000 -1400.8083 422.69%
399.87/401.02 c 401 16291 1773 1 -268.0000 -1399.4481 422.18%
405.25/406.46 c 406 16371 1793 1 -268.0000 -1397.0945 421.30%
410.63/411.85 c 412 16471 1809 1 -268.0000 -1395.1402 420.57%
415.72/416.94 c 417 16551 1833 1 -268.0000 -1393.4178 419.93%
420.81/422.02 c 422 16605 1847 1 -268.0000 -1392.2509 419.50%
426.29/427.59 c 428 16681 1867 1 -268.0000 -1390.1786 418.72%
431.97/433.22 c 433 16755 1885 1 -268.0000 -1388.9320 418.26%
437.36/438.69 c 439 16866 1916 1 -268.0000 -1388.0398 417.93%
442.54/443.83 c 444 17041 1929 1 -268.0000 -1385.3957 416.94%
447.83/449.15 c 449 17321 1955 1 -268.0000 -1383.5709 416.26%
452.91/454.27 c 454 17521 1975 1 -268.0000 -1381.1323 415.35%
457.99/459.38 c 459 17711 2001 1 -268.0000 -1379.2684 414.65%
463.77/465.14 c 465 17871 2029 1 -268.0000 -1378.1972 414.25%
469.55/470.95 c 471 18301 2053 1 -268.0000 -1375.6726 413.31%
475.03/476.45 c 476 18455 2083 1 -268.0000 -1373.6256 412.55%
481.02/482.46 c 482 18691 2109 1 -268.0000 -1371.0114 411.57%
486.20/487.60 c 488 18912 2138 1 -268.0000 -1368.8054 410.75%
491.38/492.89 c 493 19111 2167 1 -268.0000 -1367.0639 410.10%
496.87/498.30 c 498 19241 2189 1 -268.0000 -1365.9262 409.67%
502.65/504.17 c 504 19451 2211 1 -268.0000 -1363.4452 408.75%
507.64/509.17 c 509 19571 2239 1 -268.0000 -1361.8680 408.16%
513.12/514.60 c 515 19731 2261 1 -268.0000 -1359.6296 407.32%
518.40/519.99 c 520 19981 2289 1 -268.0000 -1357.5985 406.57%
523.89/525.42 c 525 20121 2309 1 -268.0000 -1356.3441 406.10%
530.07/531.66 c 532 20401 2333 1 -268.0000 -1354.3972 405.37%
535.45/537.08 c 537 20567 2363 1 -268.0000 -1353.1218 404.90%
541.13/542.76 c 543 20981 2385 1 -268.0000 -1352.5589 404.69%
546.42/548.06 c 548 21225 2405 1 -268.0000 -1350.7579 404.01%
551.79/553.48 c 553 21411 2429 1 -268.0000 -1348.7197 403.25%
556.88/558.51 c 559 21751 2451 1 -268.0000 -1348.3685 403.12%
562.27/563.98 c 564 22041 2473 1 -268.0000 -1344.7969 401.79%
568.06/569.77 c 570 22271 2505 1 -268.0000 -1341.2985 400.48%
573.64/575.35 c 575 22540 2530 1 -268.0000 -1340.2149 400.08%
579.03/580.77 c 581 22911 2545 1 -268.0000 -1337.0472 398.90%
584.22/585.94 c 586 23161 2573 1 -268.0000 -1334.2279 397.85%
590.50/592.29 c 592 23411 2607 1 -268.0000 -1332.5759 397.23%
596.19/597.92 c 598 23551 2637 1 -268.0000 -1330.0081 396.27%
601.17/602.94 c 603 23626 2660 1 -268.0000 -1327.9627 395.51%
606.96/608.77 c 609 23821 2681 1 -268.0000 -1326.1697 394.84%
612.25/614.04 c 614 23995 2709 1 -268.0000 -1324.1901 394.10%
618.23/620.02 c 620 24131 2731 1 -268.0000 -1322.1597 393.34%
623.50/625.38 c 625 24237 2757 1 -268.0000 -1320.5539 392.74%
628.49/630.39 c 630 24501 2779 1 -268.0000 -1319.3403 392.29%
634.47/636.36 c 636 24651 2801 1 -268.0000 -1318.1693 391.85%
640.27/642.13 c 642 25021 2829 1 -268.0000 -1315.1412 390.72%
645.85/647.71 c 648 25191 2855 1 -268.0000 -1313.2094 390.00%
651.13/653.09 c 653 25344 2880 1 -268.0000 -1311.9329 389.53%
656.91/658.80 c 659 25581 2907 1 -268.0000 -1309.1717 388.50%
662.21/664.16 c 664 25816 2928 1 -268.0000 -1307.2324 387.77%
667.49/669.40 c 669 26151 2955 1 -268.0000 -1304.8819 386.90%
672.97/674.91 c 675 26261 2971 1 -268.0000 -1302.7290 386.09%
678.26/680.22 c 680 26371 2989 1 -268.0000 -1301.2306 385.53%
683.94/685.99 c 686 26632 3016 1 -268.0000 -1296.0108 383.59%
689.64/691.64 c 692 26721 3033 1 -268.0000 -1292.4485 382.26%
694.63/696.66 c 697 26901 3057 1 -268.0000 -1291.4003 381.87%
700.31/702.30 c 702 27041 3073 1 -268.0000 -1286.8079 380.15%
706.99/709.01 c 709 27351 3105 1 -268.0000 -1283.7483 379.01%
712.58/714.64 c 715 27481 3121 1 -268.0000 -1281.2014 378.06%
718.67/720.77 c 721 27721 3147 1 -268.0000 -1280.0065 377.61%
724.85/726.95 c 727 27831 3173 1 -268.0000 -1277.2731 376.59%
730.83/732.94 c 733 28001 3199 1 -268.0000 -1276.4822 376.30%
736.62/738.78 c 739 28231 3221 1 -268.0000 -1274.0387 375.39%
742.71/744.80 c 745 28465 3239 1 -268.0000 -1269.6140 373.74%
747.80/749.98 c 750 28561 3259 1 -268.0000 -1268.0014 373.13%
753.08/755.25 c 755 28721 3271 1 -268.0000 -1266.8937 372.72%
758.97/761.12 c 761 28913 3297 1 -268.0000 -1266.1090 372.43%
764.45/766.67 c 767 29092 3316 1 -268.0000 -1265.7253 372.29%
771.33/773.53 c 774 29175 3337 1 -268.0000 -1263.9930 371.64%
777.32/779.50 c 780 29391 3359 1 -268.0000 -1261.5878 370.74%
783.01/785.20 c 785 29472 3384 1 -268.0000 -1259.1218 369.82%
788.58/790.83 c 791 29702 3400 1 -268.0000 -1256.0842 368.69%
793.98/796.24 c 796 29901 3425 1 -268.0000 -1250.4957 366.60%
799.26/801.55 c 802 30061 3445 1 -268.0000 -1244.3625 364.31%
804.65/806.96 c 807 30203 3465 1 -268.0000 -1240.7215 362.96%
810.14/812.47 c 812 30431 3491 1 -268.0000 -1227.6106 358.06%
816.52/818.83 c 819 30701 3511 1 -268.0000 -1225.1683 357.15%
821.81/824.18 c 824 30851 3533 1 -268.0000 -1220.5327 355.42%
827.89/830.23 c 830 30931 3551 1 -268.0000 -1218.6472 354.72%
834.08/836.41 c 836 31195 3587 1 -268.0000 -1213.1696 352.68%
839.36/841.74 c 842 31301 3603 1 -268.0000 -1211.5569 352.07%
845.55/847.98 c 848 31551 3625 1 -268.0000 -1205.4791 349.81%
850.64/853.08 c 853 31681 3643 1 -268.0000 -1201.1972 348.21%
856.42/858.86 c 859 31931 3667 1 -268.0000 -1198.1743 347.08%
861.90/864.34 c 864 32191 3687 1 -268.0000 -1193.8944 345.48%
867.79/870.24 c 870 32274 3716 1 -268.0000 -1189.1559 343.71%
873.68/876.12 c 876 32671 3729 1 -268.0000 -1185.3630 342.30%
880.16/882.62 c 883 32931 3755 1 -268.0000 -1175.0593 338.45%
886.14/888.60 c 889 33061 3781 1 -268.0000 -1168.8601 336.14%
891.24/893.72 c 894 33261 3817 1 -268.0000 -1162.8139 333.89%
897.02/899.57 c 900 33345 3837 1 -268.0000 -1160.6946 333.09%
902.41/904.92 c 905 33521 3855 1 -268.0000 -1157.1506 331.77%
907.80/910.35 c 910 33811 3879 1 -268.0000 -1150.6678 329.35%
913.59/916.16 c 916 33981 3911 1 -268.0000 -1145.2167 327.32%
919.97/922.52 c 923 34291 3931 1 -268.0000 -1143.6208 326.72%
925.15/927.78 c 928 34421 3955 1 -268.0000 -1139.6944 325.26%
931.44/934.00 c 934 34561 3981 1 -268.0000 -1135.1788 323.57%
936.53/939.18 c 939 34801 4015 1 -268.0000 -1129.0268 321.28%
942.41/945.09 c 945 34961 4041 1 -268.0000 -1126.4161 320.30%
947.99/950.60 c 951 35281 4069 1 -268.0000 -1124.4667 319.58%
954.49/957.17 c 957 35661 4093 1 -268.0000 -1121.5872 318.50%
959.47/962.20 c 962 35871 4111 1 -268.0000 -1116.3887 316.56%
965.15/967.88 c 968 36051 4133 1 -268.0000 -1114.2558 315.77%
971.24/973.94 c 974 36321 4159 1 -268.0000 -1107.7778 313.35%
976.62/979.36 c 979 36591 4179 1 -268.0000 -1105.7468 312.59%
981.71/984.40 c 984 36741 4197 1 -268.0000 -1098.4251 309.86%
987.40/990.16 c 990 36891 4221 1 -268.0000 -1095.3816 308.72%
992.48/995.26 c 995 37111 4239 1 -268.0000 -1091.9333 307.44%
997.67/1000.41 c 1000 37181 4253 1 -268.0000 -1087.5269 305.79%
1003.06/1005.85 c 1006 37421 4281 1 -268.0000 -1084.6500 304.72%
1008.35/1011.16 c 1011 37495 4299 1 -268.0000 -1082.6965 303.99%
1013.53/1016.35 c 1016 37701 4319 1 -268.0000 -1080.9143 303.33%
1018.62/1021.40 c 1021 37796 4334 1 -268.0000 -1079.7909 302.91%
1024.11/1026.94 c 1027 38141 4349 1 -268.0000 -1077.4601 302.04%
1030.39/1033.22 c 1033 38252 4376 1 -268.0000 -1073.4343 300.54%
1035.38/1038.27 c 1038 38391 4391 1 -268.0000 -1071.4195 299.78%
1040.86/1043.73 c 1044 38545 4417 1 -268.0000 -1069.0062 298.88%
1047.05/1049.92 c 1050 38731 4451 1 -268.0000 -1064.6746 297.27%
1052.84/1055.78 c 1056 38951 4473 1 -268.0000 -1060.5289 295.72%
1058.13/1061.08 c 1061 39161 4493 1 -268.0000 -1058.2432 294.87%
1063.41/1066.35 c 1066 39301 4513 1 -268.0000 -1055.4383 293.82%
1068.60/1071.51 c 1072 39491 4535 1 -268.0000 -1052.9641 292.90%
1074.89/1077.86 c 1078 39691 4561 1 -268.0000 -1049.9557 291.77%
1081.67/1084.63 c 1085 39881 4579 1 -268.0000 -1047.4910 290.85%
1087.95/1090.92 c 1091 40115 4607 1 -268.0000 -1045.2315 290.01%
1093.54/1096.59 c 1097 40221 4627 1 -268.0000 -1040.5764 288.27%
1098.62/1101.63 c 1102 40411 4645 1 -268.0000 -1036.3331 286.69%
1104.22/1107.27 c 1107 40701 4675 1 -268.0000 -1032.6901 285.33%
1109.30/1112.32 c 1112 40891 4701 1 -268.0000 -1031.4855 284.88%
1114.69/1117.78 c 1118 41121 4719 1 -268.0000 -1029.0175 283.96%
1119.98/1123.07 c 1123 41391 4743 1 -268.0000 -1026.2778 282.94%
1125.55/1128.67 c 1129 41471 4767 1 -268.0000 -1021.4148 281.12%
1130.75/1133.80 c 1134 41575 4789 1 -268.0000 -1015.4291 278.89%
1136.53/1139.68 c 1140 41973 4815 1 -268.0000 -1011.8246 277.55%
1141.62/1144.74 c 1145 42051 4831 1 -268.0000 -1008.8899 276.45%
1148.30/1151.41 c 1151 42331 4861 1 -268.0000 -1004.6924 274.89%
1154.88/1158.00 c 1158 42491 4887 1 -268.0000 -1001.2084 273.59%
1160.56/1163.75 c 1164 42661 4917 1 -268.0000 -996.3198 271.76%
1165.86/1169.00 c 1169 42891 4941 1 -268.0000 -993.1754 270.59%
1170.84/1174.06 c 1174 42951 4961 1 -268.0000 -990.1000 269.44%
1176.22/1179.48 c 1179 43163 4993 1 -268.0000 -986.4444 268.08%
1182.12/1185.36 c 1185 43422 5010 1 -268.0000 -981.9302 266.39%
1188.40/1191.66 c 1192 43802 5048 1 -268.0000 -975.6882 264.06%
1194.18/1197.47 c 1197 44001 5085 1 -268.0000 -972.0957 262.72%
1199.97/1203.21 c 1203 44175 5115 1 -268.0000 -969.3955 261.71%
1205.86/1209.13 c 1209 44341 5135 1 -268.0000 -965.7778 260.36%
1211.14/1214.42 c 1214 44465 5157 1 -268.0000 -963.5333 259.53%
1216.34/1219.69 c 1220 44721 5171 1 -268.0000 -961.9136 258.92%
1221.82/1225.18 c 1225 44825 5191 1 -268.0000 -960.5556 258.42%
1227.71/1231.01 c 1231 45081 5211 1 -268.0000 -957.1825 257.16%
1232.89/1236.21 c 1236 45312 5238 1 -268.0000 -954.6670 256.22%
1237.88/1241.24 c 1241 45561 5271 1 -268.0000 -948.6667 253.98%
1244.07/1247.48 c 1247 45751 5283 1 -268.0000 -947.7778 253.65%
1249.95/1253.31 c 1253 46102 5318 1 -268.0000 -944.2981 252.35%
1255.04/1258.42 c 1258 46231 5347 1 -268.0000 -941.0000 251.12%
1260.22/1263.60 c 1264 46471 5381 1 -268.0000 -938.7853 250.29%
1266.61/1270.00 c 1270 46875 5421 1 -268.0000 -937.0556 249.65%
1272.39/1275.83 c 1276 47265 5457 1 -268.0000 -930.6556 247.26%
1277.98/1281.43 c 1281 47785 5491 1 -268.0000 -927.2722 246.00%
1282.97/1286.47 c 1286 48051 5517 1 -268.0000 -924.0278 244.79%
1288.35/1291.86 c 1292 48371 5545 1 -268.0000 -922.2722 244.13%
1294.24/1297.78 c 1298 48595 5577 1 -268.0000 -918.1095 242.58%
1300.33/1303.84 c 1304 49101 5615 1 -268.0000 -915.6000 241.64%
1306.11/1309.65 c 1310 49555 5659 1 -268.0000 -912.8333 240.61%
1311.60/1315.16 c 1315 49971 5693 1 -268.0000 -909.9352 239.53%
1316.68/1320.27 c 1320 50531 5747 1 -268.0000 -906.4383 238.22%
1321.77/1325.31 c 1325 50731 5789 1 -268.0000 -898.8889 235.41%
1327.57/1331.16 c 1331 51341 5851 1 -268.0000 -896.0556 234.35%
1332.65/1336.27 c 1336 51941 5921 1 -268.0000 -891.5683 232.67%
1337.73/1341.30 c 1341 52411 5965 1 -268.0000 -889.5418 231.92%
1342.72/1346.31 c 1346 52831 6019 1 -268.0000 -884.6025 230.08%
1347.71/1351.34 c 1351 53231 6083 1 -268.0000 -881.8000 229.03%
1353.40/1357.09 c 1357 53711 6147 1 -268.0000 -878.9047 227.95%
1358.68/1362.31 c 1362 54171 6213 1 -268.0000 -876.3056 226.98%
1363.86/1367.51 c 1368 54791 6261 1 -268.0000 -875.0889 226.53%
1369.95/1373.60 c 1374 55471 6341 1 -268.0000 -869.5339 224.45%
1375.13/1378.88 c 1379 55901 6387 1 -268.0000 -866.8889 223.47%
1380.22/1383.99 c 1384 56551 6447 1 -268.0000 -863.1611 222.08%
1386.01/1389.70 c 1390 57501 6547 1 -268.0000 -858.9222 220.49%
1391.09/1394.89 c 1395 58201 6625 1 -268.0000 -854.5687 218.87%
1396.18/1399.91 c 1400 58901 6705 1 -268.0000 -850.8000 217.46%
1401.28/1405.07 c 1405 59741 6801 1 -268.0000 -848.1701 216.48%
1406.46/1410.29 c 1410 61071 6885 1 -268.0000 -845.5027 215.49%
1411.54/1415.37 c 1415 62131 6965 1 -268.0000 -841.9352 214.15%
1416.53/1420.39 c 1420 62681 7041 1 -268.0000 -839.2456 213.15%
1422.32/1426.14 c 1426 63351 7135 1 -268.0000 -835.1587 211.63%
1427.50/1431.33 c 1431 64161 7227 1 -268.0000 -832.0553 210.47%
1432.59/1436.44 c 1436 65381 7317 1 -268.0000 -828.7181 209.22%
1438.28/1442.19 c 1442 66411 7421 1 -268.0000 -825.9148 208.18%
1443.46/1447.33 c 1447 67411 7509 1 -268.0000 -821.5405 206.54%
1448.55/1452.47 c 1452 68471 7617 1 -268.0000 -818.7815 205.52%
1453.54/1457.48 c 1457 69271 7711 1 -268.0000 -817.0824 204.88%
1459.12/1463.05 c 1463 70401 7809 1 -268.0000 -814.7287 204.00%
1464.41/1468.35 c 1468 71381 7919 1 -268.0000 -812.5936 203.21%
1469.90/1473.87 c 1474 72451 8035 1 -268.0000 -809.7925 202.16%
1475.09/1479.05 c 1479 73531 8139 1 -268.0000 -807.8035 201.42%
1480.07/1484.08 c 1484 74511 8223 1 -268.0000 -805.8103 200.68%
1485.85/1489.87 c 1490 75545 8331 1 -268.0000 -803.5249 199.82%
1490.94/1494.90 c 1495 76481 8439 1 -268.0000 -801.8319 199.19%
1496.03/1500.07 c 1500 77191 8549 1 -268.0000 -799.8667 198.46%
1501.11/1505.17 c 1505 78021 8651 1 -268.0000 -798.1310 197.81%
1507.00/1511.07 c 1511 78931 8767 1 -268.0000 -796.4000 197.16%
1512.49/1516.52 c 1517 79731 8877 1 -268.0000 -794.5000 196.46%
1517.77/1521.87 c 1522 80461 8983 1 -268.0000 -792.2500 195.62%
1523.07/1527.17 c 1527 81571 9109 1 -268.0000 -790.2222 194.86%
1528.25/1532.34 c 1532 82741 9229 1 -268.0000 -788.4677 194.20%
1533.73/1537.85 c 1538 83901 9325 1 -268.0000 -786.8516 193.60%
1538.92/1543.02 c 1543 85011 9427 1 -268.0000 -786.2780 193.39%
1544.10/1548.26 c 1548 86121 9539 1 -268.0000 -784.6517 192.78%
1549.30/1553.45 c 1553 86991 9655 1 -268.0000 -783.2454 192.26%
1554.58/1558.72 c 1559 88011 9759 1 -268.0000 -781.7460 191.70%
1559.66/1563.82 c 1564 88871 9869 1 -268.0000 -780.4447 191.21%
1564.65/1568.87 c 1569 89721 9981 1 -268.0000 -779.0154 190.68%
1569.74/1573.93 c 1574 90651 10091 1 -268.0000 -776.6667 189.80%
1574.72/1578.93 c 1579 91491 10199 1 -268.0000 -775.5097 189.37%
1580.11/1584.31 c 1584 92411 10303 1 -268.0000 -773.7524 188.71%
1585.31/1589.50 c 1590 93271 10421 1 -268.0000 -772.6775 188.31%
1591.19/1595.43 c 1595 94318 10536 1 -268.0000 -771.8210 187.99%
1596.17/1600.47 c 1600 95461 10651 1 -268.0000 -770.3721 187.45%
1601.26/1605.55 c 1606 96241 10751 1 -268.0000 -769.4274 187.10%
1606.76/1611.01 c 1611 97021 10847 1 -268.0000 -768.6176 186.80%
1612.24/1616.55 c 1617 98401 10975 1 -268.0000 -767.6154 186.42%
1617.42/1621.77 c 1622 99711 11075 1 -268.0000 -766.6667 186.07%
1622.50/1626.86 c 1627 100701 11205 1 -268.0000 -765.1412 185.50%
1627.88/1632.22 c 1632 101431 11305 1 -268.0000 -763.8813 185.03%
1632.88/1637.28 c 1637 102281 11419 1 -268.0000 -763.0208 184.71%
1637.96/1642.37 c 1642 103391 11531 1 -268.0000 -762.3465 184.46%
1643.05/1647.40 c 1647 104391 11641 1 -268.0000 -761.0864 183.99%
1648.04/1652.49 c 1652 105241 11769 1 -268.0000 -760.3096 183.70%
1653.73/1658.19 c 1658 106221 11887 1 -268.0000 -759.3340 183.33%
1658.81/1663.22 c 1663 107161 12003 1 -268.0000 -758.3905 182.98%
1663.80/1668.29 c 1668 108311 12115 1 -268.0000 -757.4256 182.62%
1668.88/1673.34 c 1673 109351 12205 1 -268.0000 -756.6293 182.32%
1674.08/1678.51 c 1679 110291 12299 1 -268.0000 -756.0702 182.12%
1679.16/1683.67 c 1684 111301 12403 1 -268.0000 -755.2556 181.81%
1684.65/1689.13 c 1689 112501 12505 1 -268.0000 -754.6583 181.59%
1689.64/1694.16 c 1694 113521 12637 1 -268.0000 -753.6203 181.20%
1694.72/1699.27 c 1699 114841 12727 1 -268.0000 -752.8923 180.93%
1699.81/1704.32 c 1704 115691 12833 1 -268.0000 -752.1399 180.65%
1704.90/1709.46 c 1709 116491 12945 1 -268.0000 -751.8332 180.53%
1709.88/1714.48 c 1714 117371 13047 1 -268.0000 -751.4000 180.37%
1714.97/1719.59 c 1720 118481 13175 1 -268.0000 -750.8164 180.16%
1719.96/1724.59 c 1725 119531 13295 1 -268.0000 -750.0752 179.88%
1725.15/1729.78 c 1730 120501 13411 1 -268.0000 -749.6270 179.71%
1730.23/1734.82 c 1735 121541 13537 1 -268.0000 -748.8967 179.44%
1735.32/1739.95 c 1740 122501 13631 1 -268.0000 -748.2449 179.20%
1740.91/1745.56 c 1746 123641 13755 1 -268.0000 -747.6418 178.97%
1746.59/1751.20 c 1751 124971 13865 1 -268.0000 -747.0179 178.74%
1751.58/1756.23 c 1756 125881 13991 1 -268.0000 -746.4528 178.53%
1756.56/1761.25 c 1761 126891 14087 1 -268.0000 -745.9995 178.36%
1761.55/1766.26 c 1766 128171 14197 1 -268.0000 -745.4548 178.15%
1766.73/1771.46 c 1771 129091 14311 1 -268.0000 -744.8557 177.93%
1772.32/1777.00 c 1777 130271 14427 1 -268.0000 -744.3359 177.74%
1777.40/1782.14 c 1782 131131 14555 1 -268.0000 -743.6744 177.49%
1782.68/1787.46 c 1787 132141 14679 1 -268.0000 -743.2107 177.32%
1787.66/1792.48 c 1792 133001 14797 1 -268.0000 -742.5953 177.09%
1792.95/1797.71 c 1798 134441 14891 1 -268.0000 -742.2451 176.96%
1798.13/1802.90 c 1803 135511 14989 1 -268.0000 -741.6079 176.72%
1803.43/1808.25 c 1808 136751 15107 1 -268.0000 -740.8742 176.45%
1808.41/1813.26 c 1813 137661 15229 1 -268.0000 -740.1783 176.19%
1813.60/1818.46 c 1818 138651 15347 1 -268.0000 -739.7226 176.02%
1818.58/1823.47 c 1823 140031 15449 1 -268.0000 -739.2073 175.82%
1823.66/1828.53 c 1829 141091 15559 1 -268.0000 -738.6750 175.63%
1828.66/1833.55 c 1834 142211 15663 1 -268.0000 -738.3204 175.49%
1834.24/1839.17 c 1839 143461 15769 1 -268.0000 -737.9435 175.35%
1839.63/1844.50 c 1845 144751 15877 1 -268.0000 -737.4107 175.15%
1844.81/1849.70 c 1850 145691 15999 1 -268.0000 -736.6560 174.87%
1849.80/1854.79 c 1855 146731 16103 1 -268.0000 -736.0534 174.65%
1854.99/1859.99 c 1860 147771 16211 1 -268.0000 -735.4849 174.43%
1860.57/1865.53 c 1866 149181 16295 1 -268.0000 -735.1112 174.30%
1865.76/1870.76 c 1871 150081 16421 1 -268.0000 -734.3077 174.00%
1870.95/1875.94 c 1876 151081 16519 1 -268.0000 -733.8834 173.84%
1876.15/1881.11 c 1881 152071 16623 1 -268.0000 -733.3583 173.64%
1881.13/1886.12 c 1886 153591 16733 1 -268.0000 -732.8214 173.44%
1886.31/1891.34 c 1891 154801 16839 1 -268.0000 -732.4897 173.32%
1891.50/1896.59 c 1897 155791 16939 1 -268.0000 -732.0082 173.14%
1896.99/1902.08 c 1902 156781 17063 1 -268.0000 -731.4770 172.94%
1902.57/1907.61 c 1908 158111 17175 1 -268.0000 -730.9026 172.72%
1907.86/1912.97 c 1913 159371 17287 1 -268.0000 -730.4236 172.55%
1912.95/1918.06 c 1918 160231 17405 1 -268.0000 -730.0175 172.39%
1917.93/1923.06 c 1923 161151 17523 1 -268.0000 -729.4614 172.19%
1923.02/1928.12 c 1928 161871 17649 1 -268.0000 -728.9483 172.00%
1928.02/1933.15 c 1933 162581 17749 1 -268.0000 -728.5603 171.85%
1933.59/1938.75 c 1939 163851 17865 1 -268.0000 -728.0365 171.66%
1938.58/1943.76 c 1944 164841 17977 1 -268.0000 -727.5990 171.49%
1944.07/1949.24 c 1949 165971 18097 1 -268.0000 -727.2610 171.37%
1949.46/1954.61 c 1955 167331 18187 1 -268.0000 -726.9139 171.24%
1954.44/1959.66 c 1960 168091 18303 1 -268.0000 -726.3228 171.02%
1959.52/1964.74 c 1965 169431 18381 1 -268.0000 -725.9364 170.87%
1964.92/1970.15 c 1970 170521 18495 1 -268.0000 -725.5022 170.71%
1970.00/1975.29 c 1975 171851 18611 1 -268.0000 -725.1333 170.57%
1975.19/1980.44 c 1980 172821 18723 1 -268.0000 -724.7666 170.44%
1980.57/1985.83 c 1986 173761 18853 1 -268.0000 -724.3886 170.29%
1985.66/1990.98 c 1991 174801 18951 1 -268.0000 -724.1278 170.20%
1990.75/1996.03 c 1996 175731 19055 1 -268.0000 -723.7399 170.05%
1996.33/2001.61 c 2002 176941 19165 1 -268.0000 -723.3782 169.92%
2001.72/2007.03 c 2007 177931 19281 1 -268.0000 -722.8556 169.72%
2007.11/2012.45 c 2012 178841 19403 1 -268.0000 -722.3573 169.54%
2012.19/2017.56 c 2018 180371 19487 1 -268.0000 -722.0759 169.43%
2017.27/2022.68 c 2023 181321 19603 1 -268.0000 -721.7123 169.30%
2022.36/2027.74 c 2028 182211 19711 1 -268.0000 -721.2845 169.14%
2027.45/2032.80 c 2033 183111 19827 1 -268.0000 -720.8294 168.97%
2032.44/2037.84 c 2038 184061 19945 1 -268.0000 -720.2171 168.74%
2037.42/2042.88 c 2043 184961 20053 1 -268.0000 -719.9676 168.64%
2042.50/2047.91 c 2048 186051 20163 1 -268.0000 -719.7125 168.55%
2047.49/2052.98 c 2053 187251 20257 1 -268.0000 -719.3224 168.40%
2052.59/2058.04 c 2058 188341 20357 1 -268.0000 -719.0975 168.32%
2057.57/2063.06 c 2063 189471 20467 1 -268.0000 -718.7547 168.19%
2062.66/2068.14 c 2068 190691 20599 1 -268.0000 -718.3681 168.05%
2067.74/2073.29 c 2073 192161 20709 1 -268.0000 -718.0551 167.93%
2073.03/2078.53 c 2079 193321 20801 1 -268.0000 -717.7833 167.83%
2078.11/2083.69 c 2084 194391 20919 1 -268.0000 -717.4367 167.70%
2083.30/2088.85 c 2089 195471 21037 1 -268.0000 -717.1403 167.59%
2088.78/2094.33 c 2094 196451 21153 1 -268.0000 -716.7139 167.43%
2094.17/2099.72 c 2100 197371 21263 1 -268.0000 -716.3192 167.28%
2099.15/2104.78 c 2105 198621 21391 1 -268.0000 -716.0724 167.19%
2104.34/2109.94 c 2110 199821 21497 1 -268.0000 -715.6761 167.04%
2109.73/2115.34 c 2115 201491 21609 1 -268.0000 -715.3466 166.92%
2114.82/2120.46 c 2120 202501 21745 1 -268.0000 -714.9569 166.77%
2119.80/2125.48 c 2125 203721 21869 1 -268.0000 -714.6574 166.66%
2124.89/2130.57 c 2131 204951 22005 1 -268.0000 -714.1868 166.49%
2129.98/2135.64 c 2136 205901 22153 1 -268.0000 -713.8131 166.35%
2135.06/2140.76 c 2141 207261 22261 1 -268.0000 -713.5543 166.25%
2140.04/2145.76 c 2146 208601 22389 1 -268.0000 -713.2998 166.16%
2145.13/2150.84 c 2151 209741 22513 1 -268.0000 -712.9494 166.03%
2150.21/2155.98 c 2156 210741 22663 1 -268.0000 -712.4357 165.83%
2155.21/2160.99 c 2161 212251 22787 1 -268.0000 -712.1177 165.72%
2160.29/2166.00 c 2166 213241 22913 1 -268.0000 -711.7777 165.59%
2165.29/2171.10 c 2171 214541 23027 1 -268.0000 -711.4089 165.45%
2170.37/2176.15 c 2176 215911 23145 1 -268.0000 -711.0950 165.33%
2175.45/2181.25 c 2181 216941 23273 1 -268.0000 -710.8497 165.24%
2180.44/2186.26 c 2186 218101 23403 1 -268.0000 -710.4220 165.08%
2185.63/2191.44 c 2191 218891 23523 1 -268.0000 -710.1241 164.97%
2190.72/2196.51 c 2197 220301 23643 1 -268.0000 -709.7839 164.84%
2195.70/2201.58 c 2202 221611 23753 1 -268.0000 -709.4559 164.72%
2201.09/2206.90 c 2207 222931 23867 1 -268.0000 -709.2500 164.65%
2206.08/2211.95 c 2212 224061 23987 1 -268.0000 -708.8848 164.51%
2211.06/2216.98 c 2217 225331 24101 1 -268.0000 -708.6881 164.44%
2216.54/2222.48 c 2222 226451 24219 1 -268.0000 -708.4667 164.35%
2221.83/2227.76 c 2228 227641 24329 1 -268.0000 -708.0857 164.21%
2226.92/2232.81 c 2233 228921 24425 1 -268.0000 -707.8167 164.11%
2232.00/2237.91 c 2238 229901 24533 1 -268.0000 -707.5814 164.02%
2237.10/2243.02 c 2243 230901 24619 1 -268.0000 -707.3574 163.94%
2242.09/2248.08 c 2248 232141 24733 1 -268.0000 -707.1159 163.85%
2244.38/2250.35 c * 2250 232701 24789 1 -270.0000 -706.9306 161.83%
2247.08/2253.09 c 2253 233310 24855 1 -270.0000 -706.7795 161.77%
2252.16/2258.17 c 2258 234351 24972 1 -270.0000 -706.6113 161.71%
2257.55/2263.59 c 2264 235451 25086 1 -270.0000 -706.2484 161.57%
2262.73/2268.74 c 2269 236541 25206 1 -270.0000 -705.9464 161.46%
2267.82/2273.83 c 2274 237761 25332 1 -270.0000 -705.5809 161.33%
2272.81/2278.89 c 2279 238881 25440 1 -270.0000 -705.3822 161.25%
2277.90/2283.94 c 2284 239911 25538 1 -270.0000 -705.1933 161.18%
2283.48/2289.53 c 2290 240533 25632 1 -270.0000 -705.0471 161.13%
2288.57/2294.62 c 2295 241531 25754 1 -270.0000 -704.7800 161.03%
2293.55/2299.66 c 2300 242971 25840 1 -270.0000 -704.6181 160.97%
2298.95/2305.09 c 2305 244011 25964 1 -270.0000 -704.4154 160.89%
2304.63/2310.79 c 2311 245461 26102 1 -270.0000 -704.0508 160.76%
2309.71/2315.85 c 2316 246841 26226 1 -270.0000 -703.7017 160.63%
2314.81/2320.93 c 2321 248171 26334 1 -270.0000 -703.4961 160.55%
2319.79/2325.96 c 2326 249191 26438 1 -270.0000 -703.2899 160.48%
2324.77/2330.97 c 2331 250481 26568 1 -270.0000 -703.0483 160.39%
2329.87/2336.07 c 2336 251531 26686 1 -270.0000 -702.8169 160.30%
2335.05/2341.22 c 2341 252381 26780 1 -270.0000 -702.6822 160.25%
2340.64/2346.86 c 2347 253335 26878 1 -270.0000 -702.5123 160.19%
2345.72/2351.93 c 2352 254131 26984 1 -270.0000 -702.3641 160.13%
2350.81/2357.01 c 2357 255161 27102 1 -270.0000 -702.2075 160.08%
2356.39/2362.61 c 2363 256201 27224 1 -270.0000 -701.9558 159.98%
2361.49/2367.70 c 2368 257111 27360 1 -270.0000 -701.7600 159.91%
2366.47/2372.72 c 2373 257861 27484 1 -270.0000 -701.5333 159.83%
2371.66/2377.95 c 2378 258911 27610 1 -270.0000 -701.3054 159.74%
2376.65/2382.96 c 2383 260111 27716 1 -270.0000 -701.0577 159.65%
2381.93/2388.29 c 2388 261151 27824 1 -270.0000 -700.8167 159.56%
2387.03/2393.36 c 2393 262291 27946 1 -270.0000 -700.5000 159.44%
2392.21/2398.58 c 2399 263611 28070 1 -270.0000 -700.3212 159.38%
2397.19/2403.59 c 2404 264651 28198 1 -270.0000 -700.1151 159.30%
2402.69/2409.03 c 2409 265741 28314 1 -270.0000 -699.7038 159.15%
2407.67/2414.07 c 2414 267021 28448 1 -270.0000 -699.5133 159.08%
2413.26/2419.61 c 2420 268221 28564 1 -270.0000 -699.2184 158.97%
2418.35/2424.79 c 2425 269341 28692 1 -270.0000 -698.9667 158.88%
2424.04/2430.43 c 2430 270191 28816 1 -270.0000 -698.7616 158.80%
2429.12/2435.56 c 2436 271401 28950 1 -270.0000 -698.5410 158.72%
2434.21/2440.64 c 2441 272271 29066 1 -270.0000 -698.3141 158.63%
2439.30/2445.70 c 2446 273041 29184 1 -270.0000 -698.1489 158.57%
2444.39/2450.83 c 2451 274081 29306 1 -270.0000 -697.9524 158.50%
2449.47/2455.99 c 2456 275161 29424 1 -270.0000 -697.7454 158.42%
2454.77/2461.21 c 2461 276501 29532 1 -270.0000 -697.4420 158.31%
2459.86/2466.38 c 2466 277571 29666 1 -270.0000 -697.2541 158.24%
2465.34/2471.86 c 2472 278711 29790 1 -270.0000 -697.0602 158.17%
2470.54/2477.03 c 2477 279961 29906 1 -270.0000 -696.7891 158.07%
2475.63/2482.13 c 2482 280881 30010 1 -270.0000 -696.5222 157.97%
2480.71/2487.22 c 2487 282041 30116 1 -270.0000 -696.3721 157.92%
2485.69/2492.23 c 2492 282911 30234 1 -270.0000 -696.1949 157.85%
2490.68/2497.25 c 2497 283851 30366 1 -270.0000 -696.0333 157.79%
2495.97/2502.55 c 2503 284691 30476 1 -270.0000 -695.8169 157.71%
2501.06/2507.69 c 2508 285921 30596 1 -270.0000 -695.5641 157.62%
2506.34/2512.94 c 2513 287061 30698 1 -270.0000 -695.3648 157.54%
2511.34/2517.96 c 2518 288071 30814 1 -270.0000 -695.0714 157.43%
2516.52/2523.17 c 2523 289371 30922 1 -270.0000 -694.9458 157.39%
2522.01/2528.67 c 2529 290741 31032 1 -270.0000 -694.7826 157.33%
2527.10/2533.74 c 2534 291621 31150 1 -270.0000 -694.4123 157.19%
2532.08/2538.74 c 2539 292681 31268 1 -270.0000 -694.1520 157.09%
2537.07/2543.79 c 2544 293771 31380 1 -270.0000 -693.9143 157.01%
2542.16/2548.83 c 2549 294631 31520 1 -270.0000 -693.6013 156.89%
2547.36/2554.08 c 2554 295671 31636 1 -270.0000 -693.3526 156.80%
2552.64/2559.32 c 2559 297091 31764 1 -270.0000 -693.1273 156.71%
2557.73/2564.44 c 2564 298071 31896 1 -270.0000 -692.8847 156.62%
2563.21/2569.93 c 2570 298901 32012 1 -270.0000 -692.6987 156.56%
2568.30/2575.08 c 2575 300121 32136 1 -270.0000 -692.4781 156.47%
2573.79/2580.58 c 2581 301131 32264 1 -270.0000 -692.2557 156.39%
2578.88/2585.65 c 2586 302061 32376 1 -270.0000 -692.0727 156.32%
2584.27/2591.02 c 2591 303251 32508 1 -270.0000 -691.9397 156.27%
2589.66/2596.49 c 2596 304536 32617 1 -270.0000 -691.8182 156.23%
2594.64/2601.49 c 2602 305781 32734 1 -270.0000 -691.6290 156.16%
2599.83/2606.61 c 2607 306921 32864 1 -270.0000 -691.4156 156.08%
2604.82/2611.66 c 2612 308121 32966 1 -270.0000 -691.2631 156.02%
2609.91/2616.77 c 2617 309121 33066 1 -270.0000 -691.0504 155.94%
2615.20/2622.06 c 2622 310391 33176 1 -270.0000 -690.9000 155.89%
2620.68/2627.58 c 2628 311611 33280 1 -270.0000 -690.7544 155.83%
2626.07/2632.99 c 2633 312621 33390 1 -270.0000 -690.5783 155.77%
2631.46/2638.35 c 2638 313651 33500 1 -270.0000 -690.4444 155.72%
2636.45/2643.39 c 2643 314571 33600 1 -270.0000 -690.2819 155.66%
2642.03/2648.91 c 2649 315631 33700 1 -270.0000 -690.1300 155.60%
2647.41/2654.33 c 2654 316871 33840 1 -270.0000 -689.9115 155.52%
2652.41/2659.35 c 2659 317911 33966 1 -270.0000 -689.6350 155.42%
2657.49/2664.40 c 2664 319271 34086 1 -270.0000 -689.4283 155.34%
2662.68/2669.63 c 2670 320461 34184 1 -270.0000 -689.2349 155.27%
2667.88/2674.85 c 2675 321711 34268 1 -270.0000 -689.1142 155.23%
2672.96/2679.93 c 2680 322631 34404 1 -270.0000 -688.9200 155.16%
2677.94/2684.98 c 2685 323601 34540 1 -270.0000 -688.6803 155.07%
2683.04/2690.09 c 2690 324561 34664 1 -270.0000 -688.4569 154.98%
2688.22/2695.24 c 2695 325861 34802 1 -270.0000 -688.1984 154.89%
2693.61/2700.64 c 2701 326961 34926 1 -270.0000 -687.9652 154.80%
2698.70/2705.74 c 2706 328221 35046 1 -270.0000 -687.7720 154.73%
2703.89/2710.93 c 2711 329251 35176 1 -270.0000 -687.5283 154.64%
2708.87/2715.95 c 2716 330181 35284 1 -270.0000 -687.3930 154.59%
2713.97/2721.03 c 2721 331351 35414 1 -270.0000 -687.2586 154.54%
2719.05/2726.14 c 2726 332461 35518 1 -270.0000 -687.1396 154.50%
2724.03/2731.18 c 2731 333591 35644 1 -270.0000 -686.9722 154.43%
2729.12/2736.20 c 2736 334871 35772 1 -270.0000 -686.8436 154.39%
2734.10/2741.25 c 2741 335811 35900 1 -270.0000 -686.6221 154.30%
2739.59/2746.71 c 2747 336721 36032 1 -270.0000 -686.3800 154.21%
2744.68/2751.89 c 2752 337791 36172 1 -270.0000 -686.1970 154.15%
2750.37/2757.58 c 2758 338961 36300 1 -270.0000 -686.0615 154.10%
2755.46/2762.67 c 2763 340031 36420 1 -270.0000 -685.8201 154.01%
2760.64/2767.81 c 2768 341191 36536 1 -270.0000 -685.6518 153.95%
2766.13/2773.34 c 2773 342391 36660 1 -270.0000 -685.5305 153.90%
2771.31/2778.52 c 2779 343711 36778 1 -270.0000 -685.2618 153.80%
2776.41/2783.67 c 2784 344801 36900 1 -270.0000 -685.1334 153.75%
2781.49/2788.77 c 2789 345821 37012 1 -270.0000 -684.9438 153.68%
2786.58/2793.89 c 2794 346681 37118 1 -270.0000 -684.7588 153.61%
2791.67/2798.90 c 2799 347631 37262 1 -270.0000 -684.4974 153.52%
2796.66/2803.92 c 2804 348511 37372 1 -270.0000 -684.3602 153.47%
2801.75/2809.00 c 2809 349621 37508 1 -270.0000 -684.1954 153.41%
2806.73/2814.04 c 2814 350741 37628 1 -270.0000 -684.0231 153.34%
2811.92/2819.20 c 2819 351841 37726 1 -270.0000 -683.8273 153.27%
2817.41/2824.70 c 2825 352801 37872 1 -270.0000 -683.6338 153.20%
2822.39/2829.73 c 2830 354141 37990 1 -270.0000 -683.4639 153.13%
2827.38/2834.76 c 2835 354941 38108 1 -270.0000 -683.2948 153.07%
2832.46/2839.83 c 2840 355961 38232 1 -270.0000 -683.1734 153.03%
2837.56/2844.93 c 2845 357171 38350 1 -270.0000 -682.9577 152.95%
2842.54/2849.99 c 2850 358089 38456 1 -270.0000 -682.8000 152.89%
2848.13/2855.58 c 2856 359281 38594 1 -270.0000 -682.6100 152.82%
2853.22/2860.67 c 2861 360271 38712 1 -270.0000 -682.3651 152.73%
2858.21/2865.69 c 2866 361161 38836 1 -270.0000 -682.1675 152.65%
2863.30/2870.70 c 2871 362201 38950 1 -270.0000 -682.0575 152.61%
2868.48/2875.90 c 2876 363371 39056 1 -270.0000 -681.9043 152.56%
2873.47/2880.96 c 2881 364371 39140 1 -270.0000 -681.7305 152.49%
2878.56/2886.07 c 2886 365501 39260 1 -270.0000 -681.5743 152.43%
2884.24/2891.72 c 2892 366661 39388 1 -270.0000 -681.3667 152.36%
2890.04/2897.57 c 2898 367801 39538 1 -270.0000 -681.1321 152.27%
2895.12/2902.62 c 2903 368761 39646 1 -270.0000 -680.9777 152.21%
2900.21/2907.71 c 2908 369801 39758 1 -270.0000 -680.8532 152.17%
2905.30/2912.80 c 2913 370801 39882 1 -270.0000 -680.6484 152.09%
2910.28/2917.83 c 2918 371961 39994 1 -270.0000 -680.5210 152.04%
2915.38/2922.99 c 2923 373301 40088 1 -270.0000 -680.3451 151.98%
2920.47/2928.01 c 2928 374181 40184 1 -270.0000 -680.2519 151.95%
2925.74/2933.35 c 2933 375321 40300 1 -270.0000 -680.0575 151.87%
2930.83/2938.41 c 2938 376361 40414 1 -270.0000 -679.9272 151.82%
2936.22/2943.83 c 2944 377411 40540 1 -270.0000 -679.7335 151.75%
2941.30/2948.91 c 2949 378441 40662 1 -270.0000 -679.5311 151.68%
2946.39/2954.08 c 2954 379491 40802 1 -270.0000 -679.3750 151.62%
2951.38/2959.08 c 2959 380551 40908 1 -270.0000 -679.2558 151.58%
2956.96/2964.65 c 2965 381401 41048 1 -270.0000 -679.0722 151.51%
2961.94/2969.66 c 2970 382381 41158 1 -270.0000 -678.9046 151.45%
2966.94/2974.68 c 2975 383321 41266 1 -270.0000 -678.7577 151.39%
2972.33/2980.08 c 2980 384361 41398 1 -270.0000 -678.5649 151.32%
2977.41/2985.19 c 2985 385631 41522 1 -270.0000 -678.3882 151.25%
2982.69/2990.49 c 2990 386501 41642 1 -270.0000 -678.2623 151.21%
2988.08/2995.80 c 2996 387641 41754 1 -270.0000 -678.1039 151.15%
2993.07/3000.88 c 3001 388621 41898 1 -270.0000 -677.8944 151.07%
2998.16/3005.97 c 3006 389801 42000 1 -270.0000 -677.7259 151.01%
3003.25/3011.02 c 3011 391071 42098 1 -270.0000 -677.6281 150.97%
3008.33/3016.15 c 3016 392431 42200 1 -270.0000 -677.5039 150.93%
3013.52/3021.36 c 3021 393521 42306 1 -270.0000 -677.3783 150.88%
3018.50/3026.37 c 3026 394721 42422 1 -270.0000 -677.2604 150.84%
3023.59/3031.46 c 3031 395671 42544 1 -270.0000 -677.0691 150.77%
3028.98/3036.89 c 3037 396861 42658 1 -270.0000 -676.9411 150.72%
3034.36/3042.26 c 3042 398031 42778 1 -270.0000 -676.7804 150.66%
3039.45/3047.33 c 3047 399311 42892 1 -270.0000 -676.6123 150.60%
3044.74/3052.63 c 3053 400161 42986 1 -270.0000 -676.5160 150.56%
3050.13/3058.06 c 3058 401121 43130 1 -270.0000 -676.3546 150.50%
3056.00/3063.96 c 3064 402201 43270 1 -270.0000 -676.2278 150.45%
3061.20/3069.13 c 3069 403381 43380 1 -270.0000 -676.1043 150.41%
3066.28/3074.26 c 3074 404351 43504 1 -270.0000 -675.9643 150.36%
3071.37/3079.36 c 3079 405551 43628 1 -270.0000 -675.7762 150.29%
3076.66/3084.68 c 3085 406631 43770 1 -270.0000 -675.5790 150.21%
3081.85/3089.85 c 3090 407761 43872 1 -270.0000 -675.4633 150.17%
3086.94/3094.98 c 3095 408681 44010 1 -270.0000 -675.2450 150.09%
3092.02/3100.02 c 3100 409491 44144 1 -270.0000 -675.0611 150.02%
3097.12/3105.12 c 3105 410601 44276 1 -270.0000 -674.8645 149.95%
3102.10/3110.18 c 3110 411681 44408 1 -270.0000 -674.7500 149.91%
3107.18/3115.25 c 3115 412981 44510 1 -270.0000 -674.6253 149.86%
3112.57/3120.66 c 3121 414171 44638 1 -270.0000 -674.4907 149.81%
3118.45/3126.57 c 3127 415605 44758 1 -270.0000 -674.2922 149.74%
3123.54/3131.61 c 3132 416461 44872 1 -270.0000 -674.1261 149.68%
3128.62/3136.75 c 3137 417601 44994 1 -270.0000 -673.9639 149.62%
3133.92/3142.09 c 3142 418381 45104 1 -270.0000 -673.8171 149.56%
3139.00/3147.18 c 3147 419381 45236 1 -270.0000 -673.6441 149.50%
3144.58/3152.79 c 3153 420731 45352 1 -270.0000 -673.4912 149.44%
3149.67/3157.85 c 3158 421871 45464 1 -270.0000 -673.3881 149.40%
3154.76/3162.95 c 3163 422791 45596 1 -270.0000 -673.2122 149.34%
3159.86/3168.00 c 3168 423931 45722 1 -270.0000 -673.0924 149.29%
3164.84/3173.03 c 3173 424931 45850 1 -270.0000 -672.9184 149.23%
3169.83/3178.06 c 3178 425901 45966 1 -270.0000 -672.7333 149.16%
3175.01/3183.23 c 3183 426871 46096 1 -270.0000 -672.5500 149.09%
3180.10/3188.30 c 3188 427981 46218 1 -270.0000 -672.4259 149.05%
3185.08/3193.33 c 3193 429011 46354 1 -270.0000 -672.2893 149.00%
3190.18/3198.48 c 3198 429801 46474 1 -270.0000 -672.0876 148.92%
3195.26/3203.53 c 3204 430771 46612 1 -270.0000 -671.9350 148.86%
3200.25/3208.57 c 3209 431531 46728 1 -270.0000 -671.7919 148.81%
3205.63/3213.96 c 3214 432521 46874 1 -270.0000 -671.6365 148.75%
3210.91/3219.23 c 3219 433821 46990 1 -270.0000 -671.5653 148.73%
3215.90/3224.26 c 3224 434731 47114 1 -270.0000 -671.4001 148.67%
3221.09/3229.47 c 3229 435821 47244 1 -270.0000 -671.3207 148.64%
3226.08/3234.48 c 3234 436951 47354 1 -270.0000 -671.1611 148.58%
3231.26/3239.69 c 3240 438181 47482 1 -270.0000 -671.0100 148.52%
3236.35/3244.72 c 3245 439141 47608 1 -270.0000 -670.8752 148.47%
3241.74/3250.12 c 3250 440281 47734 1 -270.0000 -670.7987 148.44%
3246.73/3255.18 c 3255 441571 47874 1 -270.0000 -670.6537 148.39%
3252.31/3260.74 c 3261 442551 47988 1 -270.0000 -670.5288 148.34%
3257.30/3265.79 c 3266 443631 48132 1 -270.0000 -670.4137 148.30%
3262.69/3271.18 c 3271 444601 48248 1 -270.0000 -670.2763 148.25%
3267.77/3276.27 c 3276 445641 48384 1 -270.0000 -670.0852 148.18%
3272.86/3281.39 c 3281 446881 48502 1 -270.0000 -669.9972 148.15%
3277.85/3286.39 c 3286 447961 48624 1 -270.0000 -669.8740 148.10%
3283.23/3291.77 c 3292 449101 48754 1 -270.0000 -669.7868 148.07%
3288.32/3296.80 c 3297 450291 48872 1 -270.0000 -669.6310 148.01%
3293.31/3301.83 c 3302 451751 48964 1 -270.0000 -669.5657 147.99%
3298.29/3306.88 c 3307 452931 49066 1 -270.0000 -669.4668 147.95%
3303.38/3311.94 c 3312 453841 49164 1 -270.0000 -669.3333 147.90%
3308.48/3317.08 c 3317 454901 49272 1 -270.0000 -669.2087 147.86%
3313.85/3322.41 c 3322 456011 49368 1 -270.0000 -669.1096 147.82%
3319.14/3327.73 c 3328 457221 49482 1 -270.0000 -669.0030 147.78%
3324.13/3332.73 c 3333 458211 49594 1 -270.0000 -668.8900 147.74%
3329.12/3337.76 c 3338 459271 49708 1 -270.0000 -668.7224 147.67%
3334.30/3342.91 c 3343 460411 49798 1 -270.0000 -668.6646 147.65%
3339.50/3348.11 c 3348 461391 49898 1 -270.0000 -668.5747 147.62%
3344.48/3353.17 c 3353 462491 50012 1 -270.0000 -668.4524 147.57%
3349.57/3358.29 c 3358 464011 50112 1 -270.0000 -668.3445 147.53%
3354.65/3363.39 c 3363 465131 50206 1 -270.0000 -668.2612 147.50%
3359.74/3368.44 c 3368 466341 50308 1 -270.0000 -668.1496 147.46%
3364.83/3373.52 c 3374 467601 50430 1 -270.0000 -668.0293 147.42%
3370.11/3378.84 c 3379 468591 50546 1 -270.0000 -667.9338 147.38%
3375.20/3383.93 c 3384 469641 50660 1 -270.0000 -667.8163 147.34%
3380.48/3389.29 c 3389 470401 50780 1 -270.0000 -667.7200 147.30%
3385.98/3394.71 c 3395 471641 50886 1 -270.0000 -667.6071 147.26%
3391.16/3399.91 c 3400 472661 51022 1 -270.0000 -667.4921 147.22%
3396.15/3404.97 c 3405 473641 51118 1 -270.0000 -667.3444 147.16%
3401.64/3410.43 c 3410 474881 51238 1 -270.0000 -667.2468 147.13%
3407.12/3415.90 c 3416 476101 51352 1 -270.0000 -667.1111 147.08%
3412.22/3421.06 c 3421 477071 51460 1 -270.0000 -667.0137 147.04%
3417.30/3426.10 c 3426 478161 51580 1 -270.0000 -666.8725 146.99%
3422.29/3431.16 c 3431 479531 51674 1 -270.0000 -666.7957 146.96%
3427.37/3436.23 c 3436 480781 51770 1 -270.0000 -666.7411 146.94%
3432.76/3441.64 c 3442 481941 51878 1 -270.0000 -666.6649 146.91%
3437.85/3446.73 c 3447 483041 52006 1 -270.0000 -666.5027 146.85%
3442.94/3451.87 c 3452 484181 52120 1 -270.0000 -666.3984 146.81%
3448.02/3456.96 c 3457 485241 52218 1 -270.0000 -666.2920 146.77%
3453.31/3462.26 c 3462 486421 52318 1 -270.0000 -666.1667 146.73%
3458.40/3467.34 c 3467 487751 52420 1 -270.0000 -666.0830 146.70%
3464.09/3473.04 c 3473 489291 52506 1 -270.0000 -665.9881 146.66%
3469.57/3478.54 c 3479 490611 52610 1 -270.0000 -665.8733 146.62%
3474.95/3483.94 c 3484 491771 52740 1 -270.0000 -665.7256 146.57%
3480.34/3489.37 c 3489 492811 52870 1 -270.0000 -665.5796 146.51%
3485.52/3494.53 c 3495 493921 52978 1 -270.0000 -665.4742 146.47%
3490.51/3499.55 c 3500 495081 53110 1 -270.0000 -665.3794 146.44%
3495.50/3504.59 c 3505 496221 53204 1 -270.0000 -665.2948 146.41%
3500.68/3509.76 c 3510 497181 53324 1 -270.0000 -665.1345 146.35%
3505.77/3514.85 c 3515 498081 53434 1 -270.0000 -665.0389 146.31%
3510.76/3519.89 c 3520 499341 53556 1 -270.0000 -664.9103 146.26%
3515.95/3525.00 c 3525 500481 53694 1 -270.0000 -664.7757 146.21%
3520.94/3530.09 c 3530 501701 53802 1 -270.0000 -664.6587 146.17%
3526.02/3535.17 c 3535 502901 53920 1 -270.0000 -664.5316 146.12%
3531.10/3540.23 c 3540 504051 54060 1 -270.0000 -664.4221 146.08%
3536.79/3545.93 c 3546 505387 54182 1 -270.0000 -664.2666 146.02%
3541.88/3551.04 c 3551 506541 54288 1 -270.0000 -664.1638 145.99%
3547.07/3556.26 c 3556 507691 54388 1 -270.0000 -664.0584 145.95%
3552.15/3561.30 c 3561 508661 54502 1 -270.0000 -663.9784 145.92%
3557.53/3566.73 c 3567 509691 54602 1 -270.0000 -663.8661 145.88%
3562.72/3571.92 c 3572 510691 54696 1 -270.0000 -663.8008 145.85%
3567.91/3577.17 c 3577 511751 54794 1 -270.0000 -663.7324 145.83%
3573.09/3582.36 c 3582 513201 54910 1 -270.0000 -663.6181 145.78%
3578.28/3587.52 c 3588 514421 55034 1 -270.0000 -663.4974 145.74%
3583.36/3592.63 c 3593 515471 55174 1 -270.0000 -663.3220 145.67%
3588.44/3597.76 c 3598 516521 55288 1 -270.0000 -663.2112 145.63%
3591.13/3600.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.13/3600.46 c Total Time : 3600.45
3591.13/3600.46 c solving : 3600.45
3591.13/3600.46 c presolving : 0.12 (included in solving)
3591.13/3600.46 c B&B Tree :
3591.13/3600.46 c nodes (total) : 1
3591.13/3600.46 c Solution :
3591.13/3600.46 c Solutions found : 13
3591.13/3600.46 c Primal Bound : -2.70000000000000e+02
3591.13/3600.46 c Dual Bound : -6.63170329203473e+02
3591.13/3600.46 c Gap : 145.61864 %
3591.13/3600.46 c * Warning: final gap: 1.45619e+00 is greater than SCIPepsilon: 1.00000e-09
3591.13/3600.46 o -270
3591.13/3600.46 s SATISFIABLE
3591.13/3600.46 v x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 x28 -x27 x26 x25 x24 -x23
3591.13/3600.46 v x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 -x882 -x881 -x880 -x879 -x878
3591.13/3600.46 v -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857
3591.13/3600.46 v -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836
3591.13/3600.46 v -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815
3591.13/3600.46 v -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794
3591.13/3600.46 v -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773
3591.13/3600.46 v -x772 -x771 x770 -x769 x768 -x767 x766 -x765 x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 x755 x754 -x753 -x752 -x751
3591.13/3600.46 v -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730
3591.13/3600.46 v -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709
3591.13/3600.46 v -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688
3591.13/3600.46 v -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667
3591.13/3600.46 v -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
3591.13/3600.46 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
3591.13/3600.46 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605
3591.13/3600.46 v -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584
3591.13/3600.46 v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563
3591.13/3600.46 v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542
3591.13/3600.46 v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521
3591.13/3600.46 v -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500
3591.13/3600.46 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480
3591.13/3600.46 v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
3591.13/3600.46 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 -x439 -x438 -x437
3591.13/3600.46 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3591.13/3600.46 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3591.13/3600.46 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
3591.13/3600.46 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
3591.13/3600.46 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
3591.13/3600.46 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
3591.13/3600.46 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
3591.13/3600.46 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
3591.13/3600.46 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
3591.13/3600.46 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
3591.13/3600.46 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
3591.13/3600.46 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
3591.13/3600.46 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
3591.13/3600.46 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
3591.13/3600.46 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
3591.13/3600.46 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
3591.13/3600.46 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
3591.13/3600.46 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
3591.13/3600.46 v -x54 -x53 -x52 -x51
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60986 MiB free)
memory of node 1: 64473 MiB (61784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434939-1721168412/watcher-4434939-1721168412 -o /tmp/evaluation-result-4434939-1721168412/solver-4434939-1721168412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721161218-872638 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434939-1721168412.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=877269, runsolver pid=877266
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.14 4.16 4.11 4/258 877270
/proc/meminfo: memFree=125739816/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=34332 memory=24232 CPUtime=0.09 cores=4,6
/proc/877269/stat : 877269 (fscip) R 877266 877269 872627 0 -1 4194304 3566 0 0 0 9 0 0 0 20 0 1 0 169010088 35155968 6058 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 8583 6058 2750 3032 0 4983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34332 KiB
Current children cumulated memory: 24232 KiB
[startup+0.206475 s]*
/proc/loadavg: 4.14 4.16 4.11 4/259 877286
/proc/meminfo: memFree=125725052/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=126788 memory=39652 CPUtime=0.2 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 6893 0 0 0 19 1 0 0 20 0 3 0 169010088 129830912 9913 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31697 9913 2798 3032 0 13503 0
[pid=877269/tid=877285] ppid=877266 vsize=126788 memory=8737651120394928259 CPUtime=0.06 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 1526 0 0 0 6 0 0 0 20 0 3 0 169010102 129830912 9913 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=126788 memory=15932 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010102 129830912 9913 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126788 KiB
Current children cumulated memory: 39652 KiB
[startup+0.305492 s]*
/proc/loadavg: 4.14 4.16 4.11 6/257 877308
/proc/meminfo: memFree=125732220/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=127728 memory=56164 CPUtime=0.29 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 10968 0 0 0 28 1 0 0 20 0 3 0 169010088 130793472 14041 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31932 14041 2910 3032 0 18017 0
[pid=877269/tid=877285] ppid=877266 vsize=127728 memory=-6000919507082963560 CPUtime=0.15 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 5601 0 0 0 15 0 0 0 20 0 3 0 169010102 130793472 14041 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=127728 memory=0 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010102 130793472 14041 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127728 KiB
Current children cumulated memory: 56164 KiB
[startup+0.700252 s]
/proc/loadavg: 4.14 4.16 4.11 6/262 877318
/proc/meminfo: memFree=125679268/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=127728 memory=59596 CPUtime=0.67 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 11780 0 0 0 66 1 0 0 20 0 3 0 169010088 130793472 14899 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31932 14899 2910 3032 0 18716 0
[pid=877269/tid=877285] ppid=877266 vsize=127728 memory=0 CPUtime=0.54 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 6413 0 0 0 54 0 0 0 20 0 3 0 169010102 130793472 14899 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=127728 memory=0 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010102 130793472 14899 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 127728 KiB
Current children cumulated memory: 59596 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 877320
/proc/meminfo: memFree=125616996/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=127728 memory=65232 CPUtime=1.48 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 16019 0 0 0 146 2 0 0 20 0 3 0 169010088 130793472 16308 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31932 16308 2910 3032 0 20647 0
[pid=877269/tid=877285] ppid=877266 vsize=127728 memory=0 CPUtime=1.34 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 10652 0 0 0 133 1 0 0 20 0 3 0 169010102 130793472 16308 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=127728 memory=0 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169010102 130793472 16308 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127728 KiB
Current children cumulated memory: 65232 KiB
[startup+3.10524 s]
/proc/loadavg: 4.20 4.18 4.12 4/261 877368
/proc/meminfo: memFree=126297420/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=127728 memory=65244 CPUtime=3.07 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 16951 0 0 0 305 2 0 0 20 0 3 0 169010088 130793472 16311 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31932 16311 2910 3032 0 20647 0
[pid=877269/tid=877285] ppid=877266 vsize=127728 memory=0 CPUtime=2.94 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 11554 0 0 0 293 1 0 0 20 0 3 0 169010102 130793472 16311 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=127728 memory=12088 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 169010102 130793472 16311 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 127728 KiB
Current children cumulated memory: 65244 KiB
[startup+6.30018 s]
/proc/loadavg: 4.20 4.18 4.12 5/264 877417
/proc/meminfo: memFree=126240252/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=127728 memory=65948 CPUtime=6.26 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 22184 0 0 0 624 2 0 0 20 0 3 0 169010088 130793472 16487 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31932 16487 2958 3032 0 20647 0
[pid=877269/tid=877285] ppid=877266 vsize=127728 memory=12088 CPUtime=6.12 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 16754 0 0 0 611 1 0 0 20 0 3 0 169010102 130793472 16487 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=127728 memory=-6298395573370403686 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 169010102 130793472 16487 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 127728 KiB
Current children cumulated memory: 65948 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.12 5/264 877465
/proc/meminfo: memFree=126610568/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=127728 memory=80904 CPUtime=12.65 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 39274 0 0 0 1261 4 0 0 20 0 3 0 169010088 130793472 20226 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 31932 20226 2974 3032 0 25205 0
[pid=877269/tid=877285] ppid=877266 vsize=127728 memory=65372 CPUtime=12.51 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 33424 0 0 0 1248 3 0 0 20 0 3 0 169010102 130793472 20226 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=127728 memory=12088 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 169010102 130793472 20226 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127728 KiB
Current children cumulated memory: 80904 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.16 4.12 5/264 877468
/proc/meminfo: memFree=126511888/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=206592 memory=109888 CPUtime=25.41 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 75009 0 0 0 2534 7 0 0 20 0 3 0 169010088 211550208 27472 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 51648 27472 2974 3032 0 36722 0
[pid=877269/tid=877285] ppid=877266 vsize=206592 memory=41816 CPUtime=25.27 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 69080 0 0 0 2521 6 0 0 20 0 3 0 169010102 211550208 27472 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=206592 memory=105416 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 169010102 211550208 27472 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 206592 KiB
Current children cumulated memory: 109888 KiB
[startup+51.1057 s]
/proc/loadavg: 4.18 4.17 4.12 5/266 877476
/proc/meminfo: memFree=126426832/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=220268 memory=157760 CPUtime=50.94 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 122334 0 0 0 5082 12 0 0 20 0 3 0 169010088 225554432 39440 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 55067 39440 2974 3032 0 51223 0
[pid=877269/tid=877285] ppid=877266 vsize=220268 memory=157316 CPUtime=50.81 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 116276 0 0 0 5070 11 0 0 20 0 3 0 169010102 225554432 39440 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=220268 memory=0 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 169010102 225554432 39440 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 220268 KiB
Current children cumulated memory: 157760 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/266 877532
/proc/meminfo: memFree=125069224/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=357664 memory=234316 CPUtime=101.98 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 183633 0 0 0 10181 17 0 0 20 0 3 0 169010088 366247936 58579 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 89416 58579 2974 3032 0 71061 0
[pid=877269/tid=877285] ppid=877266 vsize=357664 memory=226952 CPUtime=101.84 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 177513 0 0 0 10168 16 0 0 20 0 3 0 169010102 366247936 58579 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=357664 memory=12088 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 169010102 366247936 58579 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 357664 KiB
Current children cumulated memory: 234316 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/266 877543
/proc/meminfo: memFree=124934028/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=437304 memory=331816 CPUtime=161.81 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 238475 0 0 0 16157 24 0 0 20 0 3 0 169010088 447799296 82954 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 109326 82954 2974 3032 0 97052 0
[pid=877269/tid=877285] ppid=877266 vsize=437304 memory=249492 CPUtime=161.67 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 232278 0 0 0 16144 23 0 0 20 0 3 0 169010102 447799296 82954 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=437304 memory=278268 CPUtime=0 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 169010102 447799296 82954 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 437304 KiB
Current children cumulated memory: 331816 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/266 877554
################
# More data... #
################
/proc/877269/statm: 266049 243402 2974 3032 0 247088 0
[pid=877269/tid=877285] ppid=877266 vsize=1064196 memory=12088 CPUtime=3392.85 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2222330 0 0 0 338993 292 0 0 20 0 3 0 169010102 1089736704 243402 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1064196 memory=966180 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 78 0 0 0 1 2 0 0 20 0 3 0 169010102 1089736704 243402 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 1064196 KiB
Current children cumulated memory: 973608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/262 879336
/proc/meminfo: memFree=121644108/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1065224 memory=980752 CPUtime=3453.41 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2247766 0 0 0 345026 315 0 0 20 0 3 0 169010088 1090789376 245188 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 266306 245188 2974 3032 0 248584 0
[pid=877269/tid=877285] ppid=877266 vsize=1065224 memory=966180 CPUtime=3452.69 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2240429 0 0 0 344971 298 0 0 20 0 3 0 169010102 1090789376 245188 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1065224 memory=979628 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 79 0 0 0 1 2 0 0 20 0 3 0 169010102 1090789376 245188 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 1065224 KiB
Current children cumulated memory: 980752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/262 879347
/proc/meminfo: memFree=121619868/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=986904 CPUtime=3513.25 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2267642 0 0 0 351005 320 0 0 20 0 3 0 169010088 1096994816 246726 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 246726 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=981684 CPUtime=3512.52 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2260302 0 0 0 350950 302 0 0 20 0 3 0 169010102 1096994816 246726 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=41816 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 80 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 246726 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 986904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/262 879357
/proc/meminfo: memFree=121497908/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=987468 CPUtime=3573.09 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2286890 0 0 0 356982 327 0 0 20 0 3 0 169010088 1096994816 246867 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 246867 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=12088 CPUtime=3572.35 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2279529 0 0 0 356926 309 0 0 20 0 3 0 169010102 1096994816 246867 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=41816 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 246867 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 987468 KiB
[startup+3600.47 s]
# the end of solver process 877269 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.89 s, system=3.31971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.09 4.11 5/262 879357
/proc/meminfo: memFree=121497852/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=987516 CPUtime=3574.78 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2294980 0 0 0 357151 327 0 0 20 0 3 0 169010088 1096994816 246879 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 246879 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=6720668731422753129 CPUtime=3574.04 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2287610 0 0 0 357095 309 0 0 20 0 3 0 169010102 1096994816 246879 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=-8621784567864212633 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 246879 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3574.78 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 987516 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.09 4.11 5/262 879359
/proc/meminfo: memFree=121496508/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=988480 CPUtime=3581.16 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2295861 0 0 0 357788 328 0 0 20 0 3 0 169010088 1096994816 247120 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 247120 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=139690657847361 CPUtime=3580.42 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2288483 0 0 0 357732 310 0 0 20 0 3 0 169010102 1096994816 247120 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=6720666553824002417 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 247120 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 988480 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879360
/proc/meminfo: memFree=121495052/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=988664 CPUtime=3587.54 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2296379 0 0 0 358426 328 0 0 20 0 3 0 169010088 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 247166 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=987468 CPUtime=3586.79 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2289001 0 0 0 358369 310 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=987384 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 988664 KiB
[startup+3598.4 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879360
/proc/meminfo: memFree=121494888/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=988664 CPUtime=3589.14 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2299471 0 0 0 358586 328 0 0 20 0 3 0 169010088 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 247166 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=2700 CPUtime=3588.39 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2292093 0 0 0 358529 310 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=25944 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3589.14 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 988664 KiB
[startup+3599.2 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879361
/proc/meminfo: memFree=121494696/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=988664 CPUtime=3589.93 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2301586 0 0 0 358665 328 0 0 20 0 3 0 169010088 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 247166 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=12088 CPUtime=3589.18 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2294208 0 0 0 358608 310 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=41816 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3589.93 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 988664 KiB
[startup+3600 s]*
/proc/loadavg: 4.05 4.09 4.11 5/262 879361
/proc/meminfo: memFree=121494832/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1071284 memory=988664 CPUtime=3590.73 cores=4,6
/proc/877269/stat : 877269 (fscip) R 877266 877269 872627 0 -1 1077936128 2302222 0 0 0 358745 328 0 0 20 0 3 0 169010088 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 267821 247166 2974 3032 0 251156 0
[pid=877269/tid=877285] ppid=877266 vsize=1071284 memory=6720668731422753129 CPUtime=3589.99 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2294844 0 0 0 358689 310 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1071284 memory=-8621784567864212633 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1096994816 247166 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3590.73 s
Current children cumulated vsize: 1071284 KiB
Current children cumulated memory: 988664 KiB
[startup+3600.4 s]
/proc/loadavg: 4.05 4.09 4.11 5/262 879361
/proc/meminfo: memFree=121494832/131524600 swapFree=131071996/131071996
[pid=877269] ppid=877266 vsize=1056892 memory=974276 CPUtime=3591.13 cores=4,6
/proc/877269/stat : 877269 (fscip) S 877266 877269 872627 0 -1 1077936128 2327496 0 0 0 358783 330 0 0 20 0 3 0 169010088 1082257408 243569 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
/proc/877269/statm: 264223 243569 2974 3032 0 247558 0
[pid=877269/tid=877285] ppid=877266 vsize=1056892 memory=6984 CPUtime=3590.38 cores=4,6
/proc/877269/task/877285/stat : 877285 (fscip) R 877266 877269 872627 0 -1 4194368 2320116 0 0 0 358726 312 0 0 20 0 3 0 169010102 1082257408 243569 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
[pid=877269/tid=877286] ppid=877266 vsize=1056892 memory=2880228 CPUtime=0.03 cores=4,6
/proc/877269/task/877286/stat : 877286 (fscip) S 877266 877269 872627 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 169010102 1082257408 243569 134679101440 4194304 16613245 140730791578144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42463232 140730791580693 140730791580809 140730791580809 140730791587824 0
Current children cumulated CPU time: 3591.13 s
Current children cumulated vsize: 1056892 KiB
Current children cumulated memory: 974276 KiB
Child status: 0
Real time (s): 3600.47
CPU time (s): 3591.21
CPU user time (s): 3587.89
CPU system time (s): 3.31971
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 1071284
Max. memory (cumulated for all children) (KiB): 988664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.89
system time used= 3.31971
maximum resident set size= 988664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2329476
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= 26048
involuntary context switches= 2690
# summary of solver processes directly reported to runsolver:
# pid: 877269
# total CPU time (s): 3591.21
# total CPU user time (s): 3587.89
# total CPU system time (s): 3.31971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28144 second user time and 17.9382 second system time
The end
Begin job on nodeC032 at 2024-07-17 00:20:24
IDJOB=4434939
IDBENCH=158491
IDSOLVER=3064
FILE ID=nodeC032/4434939-1721168412
RUNJOBID= nodeC032-1721161218-872638
SLURM_JOB_ID= 7505777
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.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-4434939-1721168412/watcher-4434939-1721168412 -o /tmp/evaluation-result-4434939-1721168412/solver-4434939-1721168412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721161218-872638 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434939-1721168412.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=807886037
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.093
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.179
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.924
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.112
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.280
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.690
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125717976 kB
MemAvailable: 128420040 kB
Buffers: 431740 kB
Cached: 3079820 kB
SwapCached: 0 kB
Active: 746668 kB
Inactive: 4400208 kB
Active(anon): 1556 kB
Inactive(anon): 1671472 kB
Active(file): 745112 kB
Inactive(file): 2728736 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56456 kB
Writeback: 12 kB
AnonPages: 1635352 kB
Mapped: 140380 kB
Shmem: 37720 kB
KReclaimable: 136080 kB
Slab: 247720 kB
SReclaimable: 136080 kB
SUnreclaim: 111640 kB
KernelStack: 4176 kB
PageTables: 12572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1240704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1384448 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-17 01:20:24