0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 27529216, getVmSize() = 27529216, SCIPgetMemUsed() = 4352300, 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 = 23710378, getVmSize() = 43601920, SCIPgetMemUsed() = 11973741, 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-4464271-1722385796
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.14 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.14 c Nodes Active
0.09/0.14 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.19/0.23 c * 0 0 1 1 -19.0000 - -
0.19/0.24 c * 0 0 1 1 -23.0000 - -
0.19/0.29 c * 0 0 1 1 -255.0000 - -
5.37/5.45 c 5 23 22 1 -255.0000 -2346.5036 -
10.65/10.73 c 11 101 78 1 -255.0000 -2279.1508 -
10.85/10.90 c * 11 101 78 1 -256.0000 -2279.1508 -
10.85/10.94 c * 11 101 78 1 -258.0000 -2279.1508 -
12.54/12.61 c * 13 152 103 1 -261.0000 -2230.7642 -
16.23/16.39 c 16 592 199 1 -261.0000 -2152.9305 -
21.42/21.57 c 22 1092 295 1 -261.0000 -2090.7447 -
26.80/26.99 c * 27 1602 343 1 -262.0000 -2013.0346 -
26.80/26.99 c 27 1602 343 1 -262.0000 -2013.0346 -
28.50/28.60 c * 29 1952 361 1 -263.0000 -2001.9968 -
32.49/32.64 c 33 2322 381 1 -263.0000 -1980.3523 -
38.67/38.86 c 39 2641 1 1 -263.0000 -1958.9956 -
41.06/41.22 c * 41 2670 30 1 -266.0000 -1958.9956 -
41.66/41.87 c * 42 2711 61 1 -268.0000 -1921.4663 -
44.36/44.53 c 45 3021 107 1 -268.0000 -1807.7503 -
49.34/49.54 c 50 3372 156 1 -268.0000 -1741.3619 -
54.73/54.95 c 55 3981 221 1 -268.0000 -1666.3791 -
60.32/60.56 c 61 4687 259 1 -268.0000 -1651.8719 -
65.80/66.00 c 66 5121 309 1 -268.0000 -1615.8310 -
71.58/71.83 c 72 5421 353 1 -268.0000 -1597.8119 496.20%
76.47/76.71 c * 77 5741 387 1 -270.0000 -1582.8818 486.25%
77.26/77.54 c 78 5745 391 1 -270.0000 -1582.8818 486.25%
82.85/83.18 c 83 5965 429 1 -270.0000 -1577.1221 484.12%
88.84/89.16 c 89 6245 469 1 -270.0000 -1565.0642 479.65%
94.62/94.90 c 95 6491 495 1 -270.0000 -1555.2342 476.01%
100.30/100.64 c 101 6782 524 1 -270.0000 -1548.0618 473.36%
105.39/105.71 c 106 6961 555 1 -270.0000 -1539.6341 470.23%
111.57/111.94 c 112 7281 583 1 -270.0000 -1532.1249 467.45%
117.15/117.58 c 118 7571 617 1 -270.0000 -1526.0894 465.22%
122.35/122.78 c 123 7725 645 1 -270.0000 -1523.9274 464.42%
127.83/128.23 c 128 7953 675 1 -270.0000 -1521.2177 463.41%
132.81/133.29 c 133 8173 701 1 -270.0000 -1516.2184 461.56%
138.30/138.79 c 139 8331 725 1 -270.0000 -1511.7260 459.90%
143.59/144.04 c 144 8511 751 1 -270.0000 -1508.4287 458.68%
148.97/149.40 c 149 8751 779 1 -270.0000 -1501.7257 456.19%
154.55/155.04 c 155 8811 805 1 -270.0000 -1499.6342 455.42%
159.84/160.39 c 160 8941 829 1 -270.0000 -1494.9291 453.68%
165.03/165.58 c 166 9205 849 1 -270.0000 -1491.7854 452.51%
170.81/171.36 c 171 9385 875 1 -270.0000 -1489.7267 451.75%
176.00/176.58 c 177 9721 901 1 -270.0000 -1486.7491 450.65%
181.28/181.88 c 182 10111 935 1 -270.0000 -1481.8847 448.85%
186.77/187.34 c 187 10351 959 1 -270.0000 -1477.1538 447.09%
191.85/192.40 c 192 10621 987 1 -270.0000 -1470.1083 444.48%
196.84/197.41 c 197 10775 1011 1 -270.0000 -1468.3000 443.81%
202.22/202.81 c 203 10981 1039 1 -270.0000 -1462.8790 441.81%
207.91/208.56 c 209 11191 1071 1 -270.0000 -1460.5899 440.96%
213.29/213.95 c 214 11521 1101 1 -270.0000 -1457.5086 439.82%
219.66/220.36 c 220 11841 1135 1 -270.0000 -1452.1306 437.83%
224.85/225.59 c 226 12011 1159 1 -270.0000 -1449.9707 437.03%
230.13/230.86 c 231 12135 1183 1 -270.0000 -1448.7489 436.57%
235.61/236.35 c 236 12474 1204 1 -270.0000 -1445.4641 435.36%
240.70/241.42 c 241 12584 1232 1 -270.0000 -1443.1824 434.51%
245.78/246.51 c 247 12665 1257 1 -270.0000 -1436.6412 432.09%
251.07/251.80 c 252 12853 1279 1 -270.0000 -1435.4437 431.65%
257.25/258.00 c 258 13091 1301 1 -270.0000 -1432.3285 430.49%
262.25/263.05 c 263 13191 1323 1 -270.0000 -1430.0460 429.65%
268.12/268.94 c 269 13311 1345 1 -270.0000 -1427.5192 428.71%
273.31/274.16 c 274 13531 1381 1 -270.0000 -1424.7587 427.69%
278.99/279.85 c 280 13651 1403 1 -270.0000 -1424.2231 427.49%
284.18/285.05 c 285 13841 1429 1 -270.0000 -1422.9861 427.03%
289.37/290.26 c 290 14091 1447 1 -270.0000 -1419.5788 425.77%
295.44/296.35 c 296 14255 1475 1 -270.0000 -1415.3097 424.19%
300.74/301.60 c 302 14457 1499 1 -270.0000 -1411.4951 422.78%
306.51/307.40 c 307 14561 1533 1 -270.0000 -1406.0646 420.76%
311.60/312.55 c 313 14661 1555 1 -270.0000 -1401.4730 419.06%
317.48/318.42 c 318 14785 1583 1 -270.0000 -1400.1433 418.57%
322.97/323.93 c 324 15021 1613 1 -270.0000 -1396.5770 417.25%
328.25/329.29 c 329 15261 1631 1 -270.0000 -1395.7767 416.95%
333.94/334.96 c 335 15551 1657 1 -270.0000 -1393.1116 415.97%
339.62/340.64 c 341 15691 1681 1 -270.0000 -1389.8410 414.76%
345.51/346.50 c 347 15822 1712 1 -270.0000 -1388.0899 414.11%
351.99/353.01 c 353 16041 1741 1 -270.0000 -1385.2180 413.04%
357.37/358.40 c 358 16431 1771 1 -270.0000 -1381.3942 411.63%
363.16/364.23 c 364 16551 1793 1 -270.0000 -1377.6522 410.24%
368.25/369.35 c 369 16691 1821 1 -270.0000 -1374.0166 408.90%
373.53/374.68 c 375 16811 1841 1 -270.0000 -1371.0237 407.79%
379.12/380.25 c 380 17170 1870 1 -270.0000 -1368.0194 406.67%
385.40/386.51 c 387 17301 1893 1 -270.0000 -1365.6478 405.80%
390.89/392.03 c 392 17511 1919 1 -270.0000 -1364.1187 405.23%
395.87/397.07 c 397 17711 1941 1 -270.0000 -1363.1209 404.86%
401.65/402.80 c 403 17901 1969 1 -270.0000 -1361.4673 404.25%
406.74/407.94 c 408 18191 1991 1 -270.0000 -1358.8148 403.26%
412.53/413.78 c 414 18311 2013 1 -270.0000 -1355.9917 402.22%
418.21/419.47 c 419 18391 2043 1 -270.0000 -1355.2810 401.96%
423.29/424.59 c 425 18692 2062 1 -270.0000 -1354.0019 401.48%
428.88/430.14 c 430 18991 2083 1 -270.0000 -1351.9218 400.71%
434.47/435.76 c 436 19155 2107 1 -270.0000 -1349.8854 399.96%
439.94/441.20 c 441 19421 2129 1 -270.0000 -1347.7972 399.18%
445.73/447.06 c 447 19681 2159 1 -270.0000 -1343.5273 397.60%
451.61/452.96 c 453 19821 2177 1 -270.0000 -1339.6713 396.17%
456.59/457.98 c 458 19921 2195 1 -270.0000 -1338.2005 395.63%
461.78/463.19 c 463 20241 2223 1 -270.0000 -1335.9151 394.78%
467.27/468.69 c 469 20501 2237 1 -270.0000 -1335.0059 394.45%
473.25/474.68 c 475 20692 2268 1 -270.0000 -1333.7329 393.98%
478.53/479.97 c 480 20901 2283 1 -270.0000 -1331.9256 393.31%
483.82/485.25 c 485 21031 2305 1 -270.0000 -1329.9441 392.57%
489.51/490.93 c 491 21162 2330 1 -270.0000 -1328.4239 392.01%
495.19/496.63 c 497 21272 2348 1 -270.0000 -1327.1934 391.55%
500.88/502.31 c 502 21411 2369 1 -270.0000 -1325.6060 390.97%
506.16/507.66 c 508 21572 2392 1 -270.0000 -1323.7001 390.26%
511.45/512.99 c 513 21841 2415 1 -270.0000 -1322.7926 389.92%
517.94/519.44 c 519 22145 2433 1 -270.0000 -1319.8921 388.85%
523.22/524.70 c 525 22301 2453 1 -270.0000 -1317.3978 387.93%
528.91/530.42 c 530 22432 2482 1 -270.0000 -1316.2460 387.50%
534.29/535.81 c 536 22571 2505 1 -270.0000 -1312.0270 385.94%
541.37/542.90 c 543 22751 2531 1 -270.0000 -1310.7425 385.46%
547.15/548.74 c 549 22911 2553 1 -270.0000 -1309.3853 384.96%
552.64/554.29 c 554 23057 2579 1 -270.0000 -1306.3306 383.83%
558.22/559.84 c 560 23321 2599 1 -270.0000 -1305.2455 383.42%
563.31/564.99 c 565 23471 2617 1 -270.0000 -1304.3948 383.11%
568.80/570.41 c 570 23785 2649 1 -270.0000 -1302.4694 382.40%
573.78/575.44 c 575 24051 2667 1 -270.0000 -1301.6060 382.08%
579.07/580.75 c 581 24211 2677 1 -270.0000 -1298.9457 381.09%
584.15/585.89 c 586 24501 2713 1 -270.0000 -1297.3083 380.48%
590.13/591.85 c 592 24661 2723 1 -270.0000 -1294.3653 379.39%
596.33/598.04 c 598 24781 2751 1 -270.0000 -1293.7069 379.15%
601.60/603.35 c 603 24905 2773 1 -270.0000 -1292.7139 378.78%
607.59/609.33 c 609 25061 2795 1 -270.0000 -1290.3748 377.92%
612.97/614.79 c 615 25202 2812 1 -270.0000 -1288.9049 377.37%
618.25/620.03 c 620 25371 2835 1 -270.0000 -1286.6722 376.55%
624.04/625.88 c 626 25592 2862 1 -270.0000 -1284.8500 375.87%
629.72/631.50 c 632 25725 2883 1 -270.0000 -1282.5222 375.01%
635.50/637.30 c 637 25903 2903 1 -270.0000 -1279.9361 374.05%
640.59/642.48 c 642 26001 2919 1 -270.0000 -1277.3617 373.10%
645.77/647.62 c 648 26052 2936 1 -270.0000 -1276.6901 372.85%
650.96/652.89 c 653 26151 2953 1 -270.0000 -1274.9794 372.21%
657.34/659.23 c 659 26341 2981 1 -270.0000 -1273.2571 371.58%
662.63/664.56 c 665 26463 3005 1 -270.0000 -1270.0104 370.37%
669.01/670.98 c 671 26551 3021 1 -270.0000 -1267.5208 369.45%
674.50/676.42 c 676 26711 3039 1 -270.0000 -1266.0630 368.91%
680.79/682.75 c 683 26795 3063 1 -270.0000 -1264.5934 368.37%
686.47/688.40 c 688 26951 3081 1 -270.0000 -1263.7214 368.04%
692.06/694.02 c 694 27181 3099 1 -270.0000 -1262.1639 367.47%
697.24/699.20 c 699 27352 3112 1 -270.0000 -1260.9806 367.03%
702.83/704.89 c 705 27581 3135 1 -270.0000 -1259.5646 366.51%
709.21/711.29 c 711 27851 3153 1 -270.0000 -1257.3003 365.67%
714.40/716.40 c 716 27932 3178 1 -270.0000 -1256.4340 365.35%
719.38/721.45 c 721 28075 3197 1 -270.0000 -1254.6293 364.68%
725.48/727.55 c 728 28301 3219 1 -270.0000 -1250.9472 363.31%
731.56/733.67 c 734 28472 3244 1 -270.0000 -1249.4016 362.74%
737.44/739.57 c 740 28555 3265 1 -270.0000 -1247.8750 362.18%
742.93/745.02 c 745 28691 3297 1 -270.0000 -1246.2327 361.57%
748.61/750.75 c 751 28943 3321 1 -270.0000 -1245.8611 361.43%
754.01/756.14 c 756 29321 3335 1 -270.0000 -1244.3633 360.88%
759.29/761.49 c 762 29781 3379 1 -270.0000 -1242.8987 360.33%
764.38/766.57 c 767 30181 3411 1 -270.0000 -1240.8393 359.57%
770.56/772.74 c 773 30621 3461 1 -270.0000 -1236.3932 357.92%
775.64/777.80 c 778 30831 3491 1 -270.0000 -1233.3806 356.81%
781.03/783.27 c 783 31071 3521 1 -270.0000 -1229.6861 355.44%
786.72/788.95 c 789 31356 3574 1 -270.0000 -1226.0603 354.10%
792.70/794.98 c 795 31531 3609 1 -270.0000 -1223.7694 353.25%
798.49/800.71 c 801 31741 3641 1 -270.0000 -1222.5519 352.80%
803.58/805.81 c 806 31991 3673 1 -270.0000 -1221.3925 352.37%
808.66/810.94 c 811 32261 3707 1 -270.0000 -1218.6677 351.36%
813.95/816.20 c 816 32611 3733 1 -270.0000 -1216.3184 350.49%
818.93/821.21 c 821 32831 3771 1 -270.0000 -1214.5278 349.83%
824.52/826.87 c 827 33091 3799 1 -270.0000 -1210.5350 348.35%
830.82/833.16 c 833 33321 3839 1 -270.0000 -1207.7111 347.30%
837.29/839.65 c 840 33451 3869 1 -270.0000 -1205.5042 346.48%
842.97/845.31 c 845 33611 3895 1 -270.0000 -1200.7734 344.73%
849.27/851.60 c 852 33781 3929 1 -270.0000 -1196.7326 343.23%
854.75/857.12 c 857 33951 3955 1 -270.0000 -1194.4694 342.40%
859.83/862.24 c 862 34161 3979 1 -270.0000 -1191.9630 341.47%
865.02/867.47 c 867 34571 4017 1 -270.0000 -1190.3947 340.89%
871.41/873.89 c 874 34871 4053 1 -270.0000 -1188.0713 340.03%
876.79/879.28 c 879 35181 4089 1 -270.0000 -1183.5107 338.34%
882.87/885.39 c 885 35431 4119 1 -270.0000 -1178.6852 336.55%
888.57/891.08 c 891 35831 4157 1 -270.0000 -1176.1759 335.62%
893.75/896.25 c 896 36205 4183 1 -270.0000 -1173.7000 334.70%
900.14/902.61 c 903 36531 4221 1 -270.0000 -1167.7324 332.49%
905.52/908.04 c 908 36781 4249 1 -270.0000 -1164.0979 331.15%
911.50/914.06 c 914 37171 4287 1 -270.0000 -1161.6189 330.23%
917.97/920.55 c 921 37321 4329 1 -270.0000 -1158.4005 329.04%
923.56/926.13 c 926 37581 4361 1 -270.0000 -1155.9583 328.13%
928.94/931.59 c 932 37811 4403 1 -270.0000 -1149.1940 325.63%
934.02/936.63 c 937 38041 4435 1 -270.0000 -1145.0421 324.09%
939.00/941.66 c 942 38246 4460 1 -270.0000 -1141.5944 322.81%
944.98/947.64 c 948 38631 4495 1 -270.0000 -1134.9844 320.36%
950.16/952.83 c 953 38911 4529 1 -270.0000 -1128.4630 317.95%
955.64/958.32 c 958 39091 4563 1 -270.0000 -1124.9206 316.64%
961.13/963.88 c 964 39411 4609 1 -270.0000 -1113.9444 312.57%
966.41/969.19 c 969 39661 4637 1 -270.0000 -1108.7324 310.64%
971.59/974.35 c 974 39871 4667 1 -270.0000 -1098.7306 306.94%
977.76/980.58 c 981 40141 4699 1 -270.0000 -1093.4629 304.99%
983.65/986.41 c 986 40371 4735 1 -270.0000 -1080.5240 300.19%
988.83/991.60 c 992 40571 4783 1 -270.0000 -1065.5791 294.66%
993.81/996.62 c 997 40851 4821 1 -270.0000 -1027.6819 280.62%
999.39/1002.26 c 1002 41111 4873 1 -270.0000 -1015.8946 276.26%
1004.97/1007.89 c 1008 41371 4909 1 -270.0000 -1007.7667 273.25%
1010.76/1013.60 c 1014 41541 4959 1 -270.0000 -994.9139 268.49%
1016.24/1019.17 c 1019 41745 4999 1 -270.0000 -976.6034 261.70%
1021.32/1024.26 c 1024 42281 5043 1 -270.0000 -965.5741 257.62%
1026.70/1029.65 c 1030 42631 5093 1 -270.0000 -952.5630 252.80%
1032.28/1035.20 c 1035 43251 5147 1 -270.0000 -944.6691 249.88%
1037.56/1040.54 c 1041 43821 5217 1 -270.0000 -930.0051 244.45%
1042.64/1045.69 c 1046 44401 5295 1 -270.0000 -917.8230 239.93%
1047.73/1050.71 c 1051 44971 5375 1 -270.0000 -906.2444 235.65%
1052.71/1055.76 c 1056 45361 5431 1 -270.0000 -902.3740 234.21%
1057.80/1060.80 c 1061 46111 5501 1 -270.0000 -890.8307 229.94%
1063.27/1066.38 c 1066 46721 5599 1 -270.0000 -879.2975 225.67%
1068.46/1071.58 c 1072 47611 5709 1 -270.0000 -868.0733 221.51%
1073.54/1076.66 c 1077 48121 5791 1 -270.0000 -859.8198 218.45%
1078.63/1081.78 c 1082 48691 5879 1 -270.0000 -852.3052 215.67%
1083.82/1086.92 c 1087 49441 5957 1 -270.0000 -848.0476 214.09%
1088.80/1091.93 c 1092 50031 6049 1 -270.0000 -840.7491 211.39%
1093.89/1097.10 c 1097 50581 6149 1 -270.0000 -834.9293 209.23%
1099.27/1102.42 c 1102 51601 6263 1 -270.0000 -826.1938 206.00%
1104.36/1107.52 c 1108 52451 6367 1 -270.0000 -818.8668 203.28%
1109.75/1112.94 c 1113 53021 6455 1 -270.0000 -814.9844 201.85%
1114.84/1118.02 c 1118 54001 6557 1 -270.0000 -810.1235 200.05%
1119.82/1123.09 c 1123 54751 6659 1 -270.0000 -805.2607 198.24%
1125.01/1128.20 c 1128 55651 6779 1 -270.0000 -799.6056 196.15%
1129.99/1133.23 c 1133 56451 6893 1 -270.0000 -794.6540 194.32%
1135.07/1138.33 c 1138 57451 7011 1 -270.0000 -788.8378 192.16%
1140.77/1144.06 c 1144 58771 7123 1 -270.0000 -784.1783 190.44%
1145.95/1149.29 c 1149 59991 7235 1 -270.0000 -779.4217 188.67%
1151.04/1154.39 c 1154 60851 7359 1 -270.0000 -775.0259 187.05%
1156.12/1159.48 c 1159 62021 7469 1 -270.0000 -772.0648 185.95%
1161.40/1164.78 c 1165 62961 7593 1 -270.0000 -767.3929 184.22%
1166.89/1170.29 c 1170 64211 7709 1 -270.0000 -764.8938 183.29%
1171.98/1175.37 c 1175 65491 7819 1 -270.0000 -762.3423 182.35%
1177.06/1180.46 c 1180 66341 7925 1 -270.0000 -759.1194 181.16%
1182.55/1185.92 c 1186 67441 8041 1 -270.0000 -755.1378 179.68%
1187.54/1190.94 c 1191 68321 8161 1 -270.0000 -752.3298 178.64%
1192.52/1195.99 c 1196 69351 8271 1 -270.0000 -750.3670 177.91%
1197.81/1201.28 c 1201 70351 8383 1 -270.0000 -747.7985 176.96%
1203.19/1206.60 c 1207 71371 8497 1 -270.0000 -745.0734 175.95%
1208.18/1211.64 c 1212 72271 8623 1 -270.0000 -742.9516 175.17%
1213.27/1216.73 c 1217 73171 8735 1 -270.0000 -741.0510 174.46%
1218.56/1222.02 c 1222 74171 8867 1 -270.0000 -739.3148 173.82%
1223.64/1227.17 c 1227 74981 8981 1 -270.0000 -736.6574 172.84%
1228.64/1232.18 c 1232 75931 9069 1 -270.0000 -735.5563 172.43%
1233.82/1237.35 c 1237 77101 9203 1 -270.0000 -732.4571 171.28%
1239.10/1242.67 c 1243 77981 9327 1 -270.0000 -730.3310 170.49%
1244.18/1247.76 c 1248 79131 9443 1 -270.0000 -727.8910 169.59%
1249.88/1253.48 c 1253 80441 9549 1 -270.0000 -726.1814 168.96%
1255.07/1258.61 c 1259 81371 9663 1 -270.0000 -724.1500 168.20%
1260.15/1263.73 c 1264 82271 9789 1 -270.0000 -722.4962 167.59%
1265.33/1268.90 c 1269 83331 9921 1 -270.0000 -719.9444 166.65%
1270.62/1274.22 c 1274 84291 10045 1 -270.0000 -718.2667 166.02%
1275.61/1279.23 c 1279 85101 10173 1 -270.0000 -716.6000 165.41%
1280.89/1284.52 c 1285 86121 10295 1 -270.0000 -715.6371 165.05%
1285.98/1289.60 c 1290 87211 10421 1 -270.0000 -713.5481 164.28%
1291.07/1294.73 c 1295 88431 10517 1 -270.0000 -712.7212 163.97%
1296.46/1300.17 c 1300 89361 10657 1 -270.0000 -710.9095 163.30%
1301.54/1305.22 c 1305 90351 10779 1 -270.0000 -709.2417 162.68%
1306.93/1310.63 c 1311 91611 10899 1 -270.0000 -708.1390 162.27%
1312.02/1315.73 c 1316 93051 11025 1 -270.0000 -706.6720 161.73%
1317.10/1320.87 c 1321 93841 11139 1 -270.0000 -705.7753 161.40%
1322.29/1326.04 c 1326 95141 11273 1 -270.0000 -704.7754 161.03%
1327.57/1331.31 c 1331 96341 11397 1 -270.0000 -703.5889 160.59%
1332.66/1336.40 c 1336 97231 11495 1 -270.0000 -702.9131 160.34%
1337.94/1341.78 c 1342 98431 11631 1 -270.0000 -701.4863 159.81%
1343.03/1346.83 c 1347 99341 11753 1 -270.0000 -700.3149 159.38%
1348.12/1351.90 c 1352 100161 11867 1 -270.0000 -699.6291 159.12%
1353.30/1357.10 c 1357 101271 11967 1 -270.0000 -698.2534 158.61%
1358.30/1362.13 c 1362 102411 12089 1 -270.0000 -697.1492 158.20%
1363.38/1367.24 c 1367 103521 12229 1 -270.0000 -695.5768 157.62%
1368.56/1372.44 c 1372 104481 12357 1 -270.0000 -694.2385 157.13%
1373.95/1377.84 c 1378 105661 12495 1 -270.0000 -693.0612 156.69%
1379.44/1383.32 c 1383 106891 12645 1 -270.0000 -691.7319 156.20%
1384.52/1388.47 c 1388 108051 12771 1 -270.0000 -690.9414 155.90%
1389.61/1393.57 c 1394 109071 12889 1 -270.0000 -690.1035 155.59%
1394.79/1398.71 c 1399 109981 13031 1 -270.0000 -689.2222 155.27%
1399.78/1403.79 c 1404 110971 13161 1 -270.0000 -688.3444 154.94%
1404.95/1408.95 c 1409 111801 13281 1 -270.0000 -687.3422 154.57%
1410.05/1414.05 c 1414 112771 13427 1 -270.0000 -686.3075 154.19%
1415.33/1419.39 c 1419 113801 13557 1 -270.0000 -685.6468 153.94%
1420.41/1424.49 c 1424 115131 13673 1 -270.0000 -684.9444 153.68%
1425.70/1429.77 c 1430 115771 13811 1 -270.0000 -684.0917 153.37%
1430.79/1434.81 c 1435 116551 13953 1 -270.0000 -683.2220 153.05%
1435.77/1439.89 c 1440 117571 14067 1 -270.0000 -682.3690 152.73%
1441.25/1445.36 c 1445 118421 14221 1 -270.0000 -681.3790 152.36%
1446.34/1450.44 c 1450 119451 14365 1 -270.0000 -680.6801 152.10%
1451.43/1455.50 c 1456 120331 14479 1 -270.0000 -679.8495 151.80%
1456.41/1460.59 c 1461 121471 14581 1 -270.0000 -679.3375 151.61%
1461.70/1465.85 c 1466 122541 14701 1 -270.0000 -678.6389 151.35%
1467.19/1471.33 c 1471 123651 14835 1 -270.0000 -677.8313 151.05%
1472.18/1476.37 c 1476 124721 14943 1 -270.0000 -677.2688 150.84%
1477.46/1481.69 c 1482 125821 15081 1 -270.0000 -676.4206 150.53%
1482.95/1487.13 c 1487 126791 15221 1 -270.0000 -675.6421 150.24%
1487.93/1492.17 c 1492 127831 15367 1 -270.0000 -674.8963 149.96%
1493.41/1497.61 c 1498 128791 15487 1 -270.0000 -674.2135 149.71%
1498.40/1502.69 c 1503 129761 15607 1 -270.0000 -673.6278 149.49%
1503.49/1507.77 c 1508 130711 15729 1 -270.0000 -672.9093 149.23%
1509.07/1513.35 c 1513 131651 15835 1 -270.0000 -672.4293 149.05%
1514.26/1518.53 c 1519 132821 15943 1 -270.0000 -671.6568 148.76%
1519.25/1523.55 c 1524 133861 16071 1 -270.0000 -671.0556 148.54%
1524.63/1528.96 c 1529 134781 16217 1 -270.0000 -670.5481 148.35%
1529.92/1534.23 c 1534 135921 16319 1 -270.0000 -670.0620 148.17%
1535.41/1539.79 c 1540 136861 16459 1 -270.0000 -669.3889 147.92%
1540.49/1544.84 c 1545 137751 16587 1 -270.0000 -668.8217 147.71%
1545.58/1549.92 c 1550 138811 16727 1 -270.0000 -668.1045 147.45%
1550.77/1555.11 c 1555 139681 16861 1 -270.0000 -667.3922 147.18%
1556.05/1560.47 c 1560 140651 16989 1 -270.0000 -666.7119 146.93%
1561.13/1565.50 c 1566 141891 17101 1 -270.0000 -666.0972 146.70%
1566.32/1570.71 c 1571 142821 17247 1 -270.0000 -665.5263 146.49%
1571.71/1576.16 c 1576 143981 17365 1 -270.0000 -665.0200 146.30%
1576.80/1581.25 c 1581 144711 17477 1 -270.0000 -664.6055 146.15%
1581.88/1586.30 c 1586 145591 17611 1 -270.0000 -664.1222 145.97%
1586.86/1591.35 c 1591 146511 17715 1 -270.0000 -663.7067 145.82%
1591.96/1596.49 c 1596 147491 17851 1 -270.0000 -663.2596 145.65%
1597.04/1601.52 c 1602 148501 17979 1 -270.0000 -662.7889 145.48%
1602.22/1606.79 c 1607 149471 18119 1 -270.0000 -662.1872 145.25%
1607.41/1611.94 c 1612 150471 18227 1 -270.0000 -661.5874 145.03%
1612.39/1616.98 c 1617 151311 18313 1 -270.0000 -661.3512 144.94%
1617.49/1622.08 c 1622 152481 18451 1 -270.0000 -661.0000 144.81%
1622.77/1627.36 c 1627 153871 18601 1 -270.0000 -660.4694 144.62%
1627.76/1632.38 c 1632 154731 18733 1 -270.0000 -660.1258 144.49%
1633.14/1637.70 c 1638 155551 18865 1 -270.0000 -659.7044 144.33%
1638.23/1642.82 c 1643 156711 18985 1 -270.0000 -659.0741 144.10%
1643.21/1647.86 c 1648 157761 19125 1 -270.0000 -658.6501 143.94%
1648.29/1652.92 c 1653 158701 19243 1 -270.0000 -658.1697 143.77%
1653.29/1657.95 c 1658 159901 19347 1 -270.0000 -657.7119 143.60%
1658.57/1663.22 c 1663 161131 19443 1 -270.0000 -657.2561 143.43%
1663.56/1668.24 c 1668 161901 19581 1 -270.0000 -656.8589 143.28%
1668.64/1673.31 c 1673 162941 19711 1 -270.0000 -656.3889 143.11%
1674.03/1678.78 c 1679 164031 19813 1 -270.0000 -656.0482 142.98%
1679.11/1683.85 c 1684 165231 19967 1 -270.0000 -655.5858 142.81%
1684.30/1689.10 c 1689 166221 20073 1 -270.0000 -655.2389 142.68%
1689.47/1694.25 c 1694 167111 20223 1 -270.0000 -654.8501 142.54%
1694.57/1699.33 c 1699 167921 20345 1 -270.0000 -654.5465 142.42%
1699.85/1704.66 c 1705 168991 20461 1 -270.0000 -654.1000 142.26%
1705.13/1709.95 c 1710 169921 20579 1 -270.0000 -653.7187 142.12%
1710.61/1715.46 c 1715 170961 20695 1 -270.0000 -653.3626 141.99%
1715.71/1720.50 c 1721 171781 20801 1 -270.0000 -653.1158 141.89%
1720.79/1725.69 c 1726 172591 20921 1 -270.0000 -652.7385 141.75%
1725.87/1730.78 c 1731 173521 21019 1 -270.0000 -652.2812 141.59%
1730.96/1735.83 c 1736 174341 21137 1 -270.0000 -651.9083 141.45%
1735.94/1740.86 c 1741 175151 21255 1 -270.0000 -651.5778 141.33%
1741.03/1745.99 c 1746 176451 21403 1 -270.0000 -651.0067 141.11%
1746.11/1751.10 c 1751 177211 21533 1 -270.0000 -650.6444 140.98%
1751.30/1756.27 c 1756 178121 21667 1 -270.0000 -650.2900 140.85%
1756.58/1761.56 c 1762 179201 21801 1 -270.0000 -649.6873 140.62%
1762.17/1767.19 c 1767 180401 21957 1 -270.0000 -649.2083 140.45%
1767.56/1772.52 c 1773 181431 22089 1 -270.0000 -648.7143 140.26%
1772.64/1777.66 c 1778 182401 22225 1 -270.0000 -648.4528 140.17%
1778.23/1783.20 c 1783 183241 22327 1 -270.0000 -648.0139 140.01%
1783.21/1788.25 c 1788 184051 22461 1 -270.0000 -647.6827 139.88%
1788.80/1793.81 c 1794 185191 22595 1 -270.0000 -647.3107 139.74%
1793.98/1799.03 c 1799 186091 22733 1 -270.0000 -646.9583 139.61%
1799.36/1804.42 c 1804 187061 22879 1 -270.0000 -646.4166 139.41%
1804.35/1809.47 c 1809 188201 22979 1 -270.0000 -646.1256 139.31%
1809.74/1814.81 c 1815 189311 23113 1 -270.0000 -645.7990 139.18%
1814.72/1819.89 c 1820 190311 23249 1 -270.0000 -645.4928 139.07%
1819.81/1824.95 c 1825 191141 23375 1 -270.0000 -645.2205 138.97%
1824.89/1830.00 c 1830 191721 23485 1 -270.0000 -644.9190 138.86%
1829.99/1835.11 c 1835 192671 23619 1 -270.0000 -644.6353 138.75%
1834.97/1840.18 c 1840 193481 23747 1 -270.0000 -644.3333 138.64%
1840.05/1845.23 c 1845 194271 23841 1 -270.0000 -644.0919 138.55%
1845.24/1850.48 c 1850 195141 23957 1 -270.0000 -643.6997 138.41%
1850.43/1855.61 c 1856 196141 24063 1 -270.0000 -643.4422 138.31%
1855.61/1860.84 c 1861 197011 24193 1 -270.0000 -643.1106 138.19%
1861.09/1866.36 c 1866 198281 24291 1 -270.0000 -642.9034 138.11%
1866.18/1871.48 c 1871 199161 24417 1 -270.0000 -642.5386 137.98%
1871.37/1876.62 c 1877 199881 24515 1 -270.0000 -642.3150 137.89%
1876.55/1881.87 c 1882 200931 24641 1 -270.0000 -642.0395 137.79%
1881.73/1887.02 c 1887 201951 24771 1 -270.0000 -641.6944 137.66%
1886.83/1892.17 c 1892 202891 24893 1 -270.0000 -641.3576 137.54%
1892.70/1898.09 c 1898 204061 25013 1 -270.0000 -641.0285 137.42%
1897.80/1903.17 c 1903 205101 25147 1 -270.0000 -640.6833 137.29%
1903.17/1908.51 c 1909 206231 25289 1 -270.0000 -640.3955 137.18%
1908.15/1913.57 c 1914 207231 25419 1 -270.0000 -640.1457 137.09%
1913.43/1918.84 c 1919 208241 25541 1 -270.0000 -639.8830 136.99%
1918.43/1923.88 c 1924 209141 25637 1 -270.0000 -639.6598 136.91%
1923.62/1929.04 c 1929 210171 25757 1 -270.0000 -639.3671 136.80%
1928.70/1934.16 c 1934 211001 25889 1 -270.0000 -639.1944 136.74%
1933.89/1939.37 c 1939 212191 25995 1 -270.0000 -638.8662 136.62%
1939.26/1944.73 c 1945 213261 26131 1 -270.0000 -638.6228 136.53%
1944.75/1950.23 c 1950 214321 26273 1 -270.0000 -638.2932 136.40%
1949.74/1955.25 c 1955 215521 26405 1 -270.0000 -637.9586 136.28%
1954.82/1960.38 c 1960 216431 26557 1 -270.0000 -637.6944 136.18%
1960.21/1965.79 c 1966 217471 26685 1 -270.0000 -637.3634 136.06%
1965.29/1970.87 c 1971 218461 26809 1 -270.0000 -637.1042 135.96%
1970.38/1975.90 c 1976 219511 26917 1 -270.0000 -636.8333 135.86%
1975.37/1980.93 c 1981 220581 27039 1 -270.0000 -636.5134 135.75%
1980.46/1986.03 c 1986 221691 27171 1 -270.0000 -636.3150 135.67%
1985.74/1991.36 c 1991 222711 27281 1 -270.0000 -636.0833 135.59%
1990.82/1996.41 c 1996 223681 27413 1 -270.0000 -635.7571 135.47%
1995.91/2001.57 c 2002 224871 27533 1 -270.0000 -635.3372 135.31%
2001.09/2006.74 c 2007 225831 27649 1 -270.0000 -635.0000 135.19%
2006.18/2011.80 c 2012 226971 27777 1 -270.0000 -634.8143 135.12%
2011.16/2016.89 c 2017 227921 27921 1 -270.0000 -634.5570 135.02%
2016.26/2021.97 c 2022 229011 28043 1 -270.0000 -634.3262 134.94%
2021.34/2027.05 c 2027 229901 28179 1 -270.0000 -634.0719 134.84%
2026.43/2032.13 c 2032 230901 28321 1 -270.0000 -633.7238 134.71%
2031.42/2037.16 c 2037 231911 28451 1 -270.0000 -633.5781 134.66%
2036.80/2042.54 c 2043 233181 28587 1 -270.0000 -633.4286 134.60%
2041.89/2047.62 c 2048 234101 28731 1 -270.0000 -633.2535 134.54%
2046.97/2052.72 c 2053 235071 28843 1 -270.0000 -633.0667 134.47%
2052.46/2058.28 c 2058 236091 28969 1 -270.0000 -632.8663 134.39%
2057.54/2063.31 c 2063 237311 29081 1 -270.0000 -632.6405 134.31%
2062.73/2068.56 c 2069 238301 29221 1 -270.0000 -632.3839 134.22%
2067.91/2073.78 c 2074 239601 29355 1 -270.0000 -632.1954 134.15%
2073.00/2078.81 c 2079 240481 29465 1 -270.0000 -632.0274 134.08%
2078.08/2083.93 c 2084 241581 29603 1 -270.0000 -631.8430 134.02%
2083.18/2089.00 c 2089 242891 29721 1 -270.0000 -631.7000 133.96%
2088.26/2094.16 c 2094 244111 29815 1 -270.0000 -631.5324 133.90%
2093.54/2099.41 c 2099 244871 29967 1 -270.0000 -631.3267 133.82%
2098.52/2104.47 c 2104 245851 30099 1 -270.0000 -631.0750 133.73%
2103.60/2109.56 c 2110 246811 30213 1 -270.0000 -630.9050 133.67%
2108.68/2114.60 c 2115 247951 30351 1 -270.0000 -630.6083 133.56%
2113.67/2119.62 c 2120 249021 30473 1 -270.0000 -630.4454 133.50%
2118.75/2124.74 c 2125 250011 30603 1 -270.0000 -630.2206 133.42%
2123.84/2129.88 c 2130 250901 30711 1 -270.0000 -630.0618 133.36%
2128.92/2134.90 c 2135 252061 30829 1 -270.0000 -629.8403 133.27%
2134.21/2140.26 c 2140 253181 30959 1 -270.0000 -629.5858 133.18%
2139.29/2145.35 c 2145 254081 31091 1 -270.0000 -629.4038 133.11%
2144.49/2150.53 c 2151 255231 31215 1 -270.0000 -629.1156 133.01%
2149.67/2155.72 c 2156 256171 31363 1 -270.0000 -628.7849 132.88%
2154.65/2160.77 c 2161 257271 31489 1 -270.0000 -628.4557 132.76%
2159.73/2165.89 c 2166 258281 31611 1 -270.0000 -628.2820 132.70%
2164.83/2170.97 c 2171 259271 31759 1 -270.0000 -628.0593 132.61%
2170.01/2176.18 c 2176 260271 31889 1 -270.0000 -627.8667 132.54%
2175.00/2181.19 c 2181 261461 32019 1 -270.0000 -627.6250 132.45%
2180.18/2186.34 c 2186 262611 32141 1 -270.0000 -627.4348 132.38%
2185.17/2191.36 c 2191 263631 32271 1 -270.0000 -627.2394 132.31%
2190.25/2196.44 c 2196 264351 32401 1 -270.0000 -627.0841 132.25%
2195.34/2201.57 c 2202 265401 32527 1 -270.0000 -626.9032 132.19%
2200.42/2206.63 c 2207 266381 32659 1 -270.0000 -626.6548 132.09%
2205.81/2212.01 c 2212 267291 32805 1 -270.0000 -626.3938 132.00%
2210.90/2217.12 c 2217 268321 32955 1 -270.0000 -626.1116 131.89%
2215.98/2222.21 c 2222 269551 33063 1 -270.0000 -625.9805 131.84%
2221.06/2227.32 c 2227 270751 33181 1 -270.0000 -625.7778 131.77%
2226.15/2232.40 c 2232 272121 33299 1 -270.0000 -625.6000 131.70%
2231.24/2237.57 c 2238 273021 33431 1 -270.0000 -625.4042 131.63%
2236.22/2242.58 c 2243 274511 33533 1 -270.0000 -625.2390 131.57%
2241.41/2247.79 c 2248 275701 33661 1 -270.0000 -625.0333 131.49%
2246.49/2252.84 c 2253 276661 33803 1 -270.0000 -624.7569 131.39%
2251.68/2258.05 c 2258 277731 33925 1 -270.0000 -624.5865 131.33%
2256.86/2263.20 c 2263 278911 34053 1 -270.0000 -624.3803 131.25%
2262.25/2268.63 c 2269 279841 34207 1 -270.0000 -624.1667 131.17%
2267.42/2273.84 c 2274 280851 34349 1 -270.0000 -623.9889 131.11%
2272.52/2278.94 c 2279 281771 34485 1 -270.0000 -623.7723 131.03%
2277.50/2283.98 c 2284 282721 34623 1 -270.0000 -623.5622 130.95%
2282.59/2289.03 c 2289 283721 34733 1 -270.0000 -623.3967 130.89%
2287.87/2294.32 c 2294 284911 34853 1 -270.0000 -623.2429 130.83%
2293.15/2299.61 c 2300 286141 34989 1 -270.0000 -622.9167 130.71%
2298.14/2304.66 c 2305 287261 35117 1 -270.0000 -622.7273 130.64%
2303.92/2310.41 c 2310 288281 35257 1 -270.0000 -622.5241 130.56%
2309.01/2315.50 c 2316 289601 35393 1 -270.0000 -622.2581 130.47%
2314.19/2320.70 c 2321 290651 35525 1 -270.0000 -622.1077 130.41%
2319.18/2325.77 c 2326 291561 35663 1 -270.0000 -621.9228 130.34%
2324.76/2331.30 c 2331 292561 35795 1 -270.0000 -621.7181 130.27%
2329.74/2336.38 c 2336 293681 35931 1 -270.0000 -621.5729 130.21%
2334.93/2341.53 c 2342 294741 36075 1 -270.0000 -621.3563 130.13%
2340.12/2346.79 c 2347 295701 36199 1 -270.0000 -621.2187 130.08%
2345.20/2351.89 c 2352 296531 36365 1 -270.0000 -620.9963 130.00%
2350.28/2356.92 c 2357 297371 36495 1 -270.0000 -620.8148 129.93%
2355.27/2361.96 c 2362 298481 36613 1 -270.0000 -620.7097 129.89%
2360.37/2367.01 c 2367 299551 36733 1 -270.0000 -620.5379 129.83%
2365.45/2372.15 c 2372 300531 36849 1 -270.0000 -620.4472 129.80%
2370.53/2377.29 c 2377 301691 36993 1 -270.0000 -620.2222 129.71%
2375.62/2382.34 c 2382 302431 37115 1 -270.0000 -620.0303 129.64%
2380.80/2387.50 c 2388 303601 37233 1 -270.0000 -619.8482 129.57%
2385.78/2392.59 c 2393 304741 37353 1 -270.0000 -619.6697 129.51%
2390.87/2397.63 c 2398 305581 37489 1 -270.0000 -619.4365 129.42%
2396.26/2403.07 c 2403 306441 37641 1 -270.0000 -619.2137 129.34%
2401.35/2408.18 c 2408 307651 37769 1 -270.0000 -619.0144 129.26%
2406.82/2413.63 c 2414 308911 37895 1 -270.0000 -618.8641 129.21%
2411.81/2418.66 c 2419 310241 38017 1 -270.0000 -618.6202 129.12%
2416.80/2423.68 c 2424 311001 38167 1 -270.0000 -618.3944 129.03%
2422.19/2429.02 c 2429 312241 38283 1 -270.0000 -618.2336 128.98%
2427.18/2434.04 c 2434 313361 38425 1 -270.0000 -618.0120 128.89%
2432.16/2439.10 c 2439 314421 38559 1 -270.0000 -617.8186 128.82%
2437.73/2444.64 c 2445 315611 38691 1 -270.0000 -617.6468 128.76%
2443.12/2450.00 c 2450 316721 38841 1 -270.0000 -617.3833 128.66%
2448.11/2455.06 c 2455 317651 38971 1 -270.0000 -617.2222 128.60%
2453.10/2460.10 c 2460 318801 39083 1 -270.0000 -617.0556 128.54%
2458.19/2465.13 c 2465 319921 39193 1 -270.0000 -616.8722 128.47%
2463.26/2470.21 c 2470 320951 39329 1 -270.0000 -616.6057 128.37%
2468.25/2475.29 c 2475 322001 39451 1 -270.0000 -616.4724 128.32%
2473.33/2480.36 c 2480 322871 39579 1 -270.0000 -616.3236 128.27%
2478.42/2485.40 c 2485 323781 39695 1 -270.0000 -616.1749 128.21%
2483.41/2490.43 c 2490 324601 39839 1 -270.0000 -616.0307 128.16%
2488.40/2495.48 c 2495 325621 39965 1 -270.0000 -615.9048 128.11%
2493.48/2500.52 c 2501 326431 40111 1 -270.0000 -615.7258 128.05%
2498.56/2505.66 c 2506 327681 40229 1 -270.0000 -615.6031 128.00%
2503.75/2510.84 c 2511 328621 40361 1 -270.0000 -615.3947 127.92%
2508.83/2515.93 c 2516 329841 40467 1 -270.0000 -615.2444 127.87%
2513.93/2521.07 c 2521 330911 40593 1 -270.0000 -615.1084 127.82%
2519.31/2526.43 c 2526 332001 40709 1 -270.0000 -614.9858 127.77%
2524.59/2531.70 c 2532 333051 40841 1 -270.0000 -614.7904 127.70%
2529.67/2536.82 c 2537 334321 40943 1 -270.0000 -614.7062 127.67%
2534.66/2541.83 c 2542 335511 41071 1 -270.0000 -614.5705 127.62%
2540.14/2547.36 c 2547 336741 41181 1 -270.0000 -614.4000 127.56%
2545.22/2552.46 c 2552 337911 41325 1 -270.0000 -614.2812 127.51%
2550.31/2557.56 c 2558 339001 41471 1 -270.0000 -614.0549 127.43%
2555.40/2562.61 c 2563 339851 41605 1 -270.0000 -613.9000 127.37%
2560.38/2567.64 c 2568 340851 41725 1 -270.0000 -613.6720 127.29%
2565.47/2572.70 c 2573 341931 41841 1 -270.0000 -613.5000 127.22%
2570.56/2577.87 c 2578 343001 41971 1 -270.0000 -613.3567 127.17%
2575.74/2583.00 c 2583 343851 42105 1 -270.0000 -613.1402 127.09%
2580.83/2588.12 c 2588 345011 42243 1 -270.0000 -612.9667 127.02%
2585.81/2593.15 c 2593 346081 42371 1 -270.0000 -612.7422 126.94%
2591.20/2598.53 c 2599 347181 42511 1 -270.0000 -612.6010 126.89%
2596.28/2603.60 c 2604 348001 42613 1 -270.0000 -612.5172 126.86%
2601.27/2608.64 c 2609 349041 42747 1 -270.0000 -612.3611 126.80%
2606.65/2614.00 c 2614 350151 42867 1 -270.0000 -612.2000 126.74%
2611.93/2619.38 c 2619 351151 42997 1 -270.0000 -612.0564 126.69%
2617.42/2624.85 c 2625 352131 43135 1 -270.0000 -611.9339 126.64%
2623.11/2630.53 c 2631 353591 43237 1 -270.0000 -611.8333 126.60%
2628.19/2635.63 c 2636 354501 43353 1 -270.0000 -611.6963 126.55%
2633.17/2640.67 c 2641 355691 43453 1 -270.0000 -611.5376 126.50%
2638.36/2645.84 c 2646 356771 43569 1 -270.0000 -611.3421 126.42%
2643.55/2651.00 c 2651 357851 43683 1 -270.0000 -611.1324 126.35%
2648.64/2656.17 c 2656 358711 43813 1 -270.0000 -610.9662 126.28%
2653.91/2661.44 c 2661 359821 43943 1 -270.0000 -610.7444 126.20%
2659.30/2666.88 c 2667 360641 44069 1 -270.0000 -610.6068 126.15%
2664.49/2672.04 c 2672 361641 44169 1 -270.0000 -610.5000 126.11%
2669.77/2677.36 c 2677 362641 44319 1 -270.0000 -610.2984 126.04%
2675.06/2682.69 c 2683 363681 44433 1 -270.0000 -610.1000 125.96%
2680.24/2687.87 c 2688 364751 44553 1 -270.0000 -609.9771 125.92%
2685.23/2692.89 c 2693 365601 44679 1 -270.0000 -609.8444 125.87%
2690.71/2698.33 c 2698 366481 44791 1 -270.0000 -609.6877 125.81%
2695.90/2703.53 c 2704 367611 44895 1 -270.0000 -609.5641 125.76%
2700.89/2708.54 c 2709 368431 45025 1 -270.0000 -609.4000 125.70%
2705.87/2713.56 c 2714 369331 45145 1 -270.0000 -609.3152 125.67%
2710.96/2718.64 c 2719 370231 45263 1 -270.0000 -609.1394 125.61%
2716.04/2723.73 c 2724 371201 45389 1 -270.0000 -608.9964 125.55%
2721.23/2728.90 c 2729 372541 45515 1 -270.0000 -608.8623 125.50%
2726.51/2734.26 c 2734 373761 45631 1 -270.0000 -608.7309 125.46%
2731.60/2739.37 c 2739 374771 45753 1 -270.0000 -608.6139 125.41%
2736.78/2744.55 c 2745 376051 45877 1 -270.0000 -608.4960 125.37%
2741.96/2749.70 c 2750 377081 45991 1 -270.0000 -608.3653 125.32%
2747.36/2755.18 c 2755 378151 46135 1 -270.0000 -608.1914 125.26%
2752.53/2760.33 c 2760 378981 46283 1 -270.0000 -608.0049 125.19%
2757.63/2765.43 c 2765 380041 46395 1 -270.0000 -607.9020 125.15%
2762.71/2770.54 c 2771 381261 46507 1 -270.0000 -607.7575 125.10%
2767.79/2775.60 c 2776 382211 46635 1 -270.0000 -607.6288 125.05%
2773.08/2780.90 c 2781 383121 46743 1 -270.0000 -607.4963 125.00%
2778.07/2785.94 c 2786 384121 46873 1 -270.0000 -607.3009 124.93%
2783.34/2791.28 c 2791 385251 46987 1 -270.0000 -607.1524 124.87%
2788.44/2796.33 c 2796 386371 47107 1 -270.0000 -607.0500 124.83%
2793.62/2801.50 c 2802 387581 47255 1 -270.0000 -606.9000 124.78%
2798.71/2806.62 c 2807 388781 47379 1 -270.0000 -606.7500 124.72%
2803.99/2811.95 c 2812 389881 47525 1 -270.0000 -606.5828 124.66%
2809.08/2817.00 c 2817 391001 47671 1 -270.0000 -606.4561 124.61%
2814.55/2822.59 c 2823 392271 47813 1 -270.0000 -606.2849 124.55%
2820.14/2828.11 c 2828 393361 47959 1 -270.0000 -606.1125 124.49%
2825.53/2833.56 c 2834 394461 48111 1 -270.0000 -605.9816 124.44%
2830.62/2838.64 c 2839 395471 48231 1 -270.0000 -605.8962 124.41%
2835.60/2843.66 c 2844 396551 48345 1 -270.0000 -605.7763 124.36%
2840.69/2848.70 c 2849 397491 48491 1 -270.0000 -605.5844 124.29%
2845.67/2853.73 c 2854 398441 48615 1 -270.0000 -605.4444 124.24%
2850.76/2858.82 c 2859 399611 48725 1 -270.0000 -605.2955 124.18%
2856.14/2864.28 c 2864 400571 48859 1 -270.0000 -605.1278 124.12%
2861.33/2869.41 c 2869 401781 48979 1 -270.0000 -605.0031 124.08%
2866.42/2874.51 c 2875 402851 49115 1 -270.0000 -604.8284 124.01%
2871.40/2879.56 c 2880 404051 49207 1 -270.0000 -604.7334 123.98%
2876.48/2884.67 c 2885 404921 49309 1 -270.0000 -604.6143 123.93%
2881.47/2889.67 c 2890 405921 49423 1 -270.0000 -604.4765 123.88%
2886.86/2895.02 c 2895 406781 49543 1 -270.0000 -604.3333 123.83%
2891.85/2900.08 c 2900 407771 49673 1 -270.0000 -604.2111 123.78%
2896.93/2905.14 c 2905 408811 49781 1 -270.0000 -604.1163 123.75%
2902.01/2910.24 c 2910 409661 49891 1 -270.0000 -604.0527 123.72%
2907.09/2915.35 c 2915 410971 50019 1 -270.0000 -603.8816 123.66%
2912.28/2920.54 c 2921 411931 50167 1 -270.0000 -603.7468 123.61%
2917.47/2925.75 c 2926 413141 50291 1 -270.0000 -603.5867 123.55%
2922.55/2930.88 c 2931 414331 50439 1 -270.0000 -603.3704 123.47%
2927.74/2936.03 c 2936 415561 50577 1 -270.0000 -603.2123 123.41%
2932.73/2941.04 c 2941 416561 50713 1 -270.0000 -603.1223 123.38%
2938.01/2946.30 c 2946 417901 50851 1 -270.0000 -602.9321 123.31%
2943.09/2951.44 c 2951 419211 50947 1 -270.0000 -602.7868 123.25%
2948.18/2956.55 c 2957 420391 51079 1 -270.0000 -602.6616 123.21%
2953.37/2961.75 c 2962 421821 51197 1 -270.0000 -602.5556 123.17%
2958.45/2966.84 c 2967 422971 51315 1 -270.0000 -602.4765 123.14%
2963.44/2971.89 c 2972 423951 51449 1 -270.0000 -602.3583 123.10%
2968.52/2976.91 c 2977 425031 51547 1 -270.0000 -602.2684 123.06%
2973.51/2981.97 c 2982 425881 51667 1 -270.0000 -602.1828 123.03%
2978.50/2986.99 c 2987 426881 51795 1 -270.0000 -602.0452 122.98%
2983.78/2992.23 c 2992 428071 51921 1 -270.0000 -601.9128 122.93%
2989.36/2997.88 c 2998 429241 52065 1 -270.0000 -601.7704 122.88%
2994.45/3002.93 c 3003 430521 52181 1 -270.0000 -601.6839 122.85%
2999.55/3008.01 c 3008 431701 52305 1 -270.0000 -601.5673 122.80%
3004.53/3013.10 c 3013 432701 52429 1 -270.0000 -601.4472 122.76%
3009.52/3018.10 c 3018 433721 52555 1 -270.0000 -601.3054 122.71%
3014.60/3023.13 c 3023 434831 52669 1 -270.0000 -601.1838 122.66%
3019.59/3028.17 c 3028 435761 52801 1 -270.0000 -600.9995 122.59%
3024.86/3033.47 c 3033 437021 52927 1 -270.0000 -600.8748 122.55%
3029.96/3038.52 c 3039 437901 53047 1 -270.0000 -600.7655 122.51%
3035.34/3043.96 c 3044 439021 53187 1 -270.0000 -600.6007 122.44%
3040.43/3049.04 c 3049 440151 53329 1 -270.0000 -600.5023 122.41%
3045.41/3054.10 c 3054 441151 53457 1 -270.0000 -600.3022 122.33%
3050.50/3059.16 c 3059 442141 53581 1 -270.0000 -600.2033 122.30%
3056.17/3064.82 c 3065 443171 53737 1 -270.0000 -600.0592 122.24%
3061.67/3070.31 c 3070 444471 53875 1 -270.0000 -599.9642 122.21%
3066.75/3075.46 c 3075 445701 53983 1 -270.0000 -599.8587 122.17%
3072.04/3080.72 c 3081 446961 54099 1 -270.0000 -599.7320 122.12%
3077.52/3086.22 c 3086 448041 54235 1 -270.0000 -599.6308 122.09%
3082.71/3091.40 c 3091 449021 54367 1 -270.0000 -599.5152 122.04%
3087.79/3096.55 c 3097 450041 54505 1 -270.0000 -599.3727 121.99%
3092.78/3101.56 c 3102 451181 54633 1 -270.0000 -599.2179 121.93%
3097.86/3106.66 c 3107 452551 54745 1 -270.0000 -599.0703 121.88%
3103.05/3111.82 c 3112 453531 54899 1 -270.0000 -598.9219 121.82%
3108.14/3116.94 c 3117 454531 55025 1 -270.0000 -598.7905 121.77%
3113.52/3122.39 c 3122 455641 55183 1 -270.0000 -598.6531 121.72%
3118.91/3127.75 c 3128 456791 55321 1 -270.0000 -598.5183 121.67%
3123.99/3132.80 c 3133 457871 55449 1 -270.0000 -598.3974 121.63%
3129.18/3138.05 c 3138 458911 55577 1 -270.0000 -598.2980 121.59%
3134.37/3143.28 c 3143 459811 55721 1 -270.0000 -598.1695 121.54%
3139.45/3148.35 c 3148 460741 55875 1 -270.0000 -598.0373 121.50%
3144.53/3153.40 c 3153 461831 56025 1 -270.0000 -597.9140 121.45%
3149.92/3158.80 c 3159 462981 56163 1 -270.0000 -597.8269 121.42%
3155.11/3164.00 c 3164 463971 56289 1 -270.0000 -597.7266 121.38%
3160.10/3169.02 c 3169 465231 56425 1 -270.0000 -597.6263 121.34%
3165.09/3174.06 c 3174 466331 56561 1 -270.0000 -597.4985 121.30%
3170.17/3179.11 c 3179 467461 56713 1 -270.0000 -597.3750 121.25%
3175.35/3184.37 c 3184 468461 56859 1 -270.0000 -597.2536 121.21%
3180.43/3189.40 c 3189 469651 56981 1 -270.0000 -597.1520 121.17%
3185.42/3194.46 c 3194 470481 57131 1 -270.0000 -597.0285 121.12%
3190.40/3199.47 c 3199 471521 57283 1 -270.0000 -596.8924 121.07%
3195.50/3204.54 c 3205 472791 57417 1 -270.0000 -596.7820 121.03%
3200.59/3209.60 c 3210 474211 57553 1 -270.0000 -596.7000 121.00%
3205.57/3214.66 c 3215 475351 57701 1 -270.0000 -596.5358 120.94%
3210.95/3220.08 c 3220 476581 57835 1 -270.0000 -596.4048 120.89%
3216.34/3225.48 c 3225 477781 57979 1 -270.0000 -596.2724 120.84%
3221.42/3230.57 c 3231 479091 58109 1 -270.0000 -596.1500 120.80%
3226.51/3235.60 c 3236 480101 58243 1 -270.0000 -596.0207 120.75%
3231.50/3240.69 c 3241 481301 58347 1 -270.0000 -595.9512 120.72%
3236.68/3245.81 c 3246 482301 58477 1 -270.0000 -595.8254 120.68%
3241.77/3250.95 c 3251 483721 58601 1 -270.0000 -595.7398 120.64%
3246.75/3255.96 c 3256 484791 58743 1 -270.0000 -595.5959 120.59%
3251.95/3261.12 c 3261 486091 58865 1 -270.0000 -595.4861 120.55%
3257.23/3266.44 c 3266 487371 58999 1 -270.0000 -595.3833 120.51%
3262.22/3271.50 c 3272 488741 59131 1 -270.0000 -595.3003 120.48%
3267.30/3276.53 c 3277 489781 59261 1 -270.0000 -595.1816 120.44%
3272.69/3281.96 c 3282 490731 59395 1 -270.0000 -595.1111 120.41%
3277.78/3287.09 c 3287 491601 59555 1 -270.0000 -594.9333 120.35%
3282.87/3292.19 c 3292 492731 59681 1 -270.0000 -594.8073 120.30%
3288.25/3297.57 c 3298 493871 59823 1 -270.0000 -594.6860 120.25%
3293.34/3302.68 c 3303 494931 59964 1 -270.0000 -594.5806 120.22%
3298.43/3307.77 c 3308 495981 60108 1 -270.0000 -594.4444 120.16%
3303.51/3312.82 c 3313 496911 60258 1 -270.0000 -594.3613 120.13%
3308.70/3318.08 c 3318 498031 60400 1 -270.0000 -594.2504 120.09%
3313.88/3323.26 c 3323 499261 60526 1 -270.0000 -594.1398 120.05%
3318.88/3328.29 c 3328 500331 60660 1 -270.0000 -594.0122 120.00%
3324.16/3333.59 c 3334 501411 60796 1 -270.0000 -593.9583 119.98%
3329.45/3338.82 c 3339 502411 60942 1 -270.0000 -593.8766 119.95%
3334.73/3344.16 c 3344 503531 61096 1 -270.0000 -593.7500 119.91%
3340.02/3349.49 c 3350 504601 61236 1 -270.0000 -593.6500 119.87%
3345.40/3354.89 c 3355 505791 61374 1 -270.0000 -593.5238 119.82%
3350.59/3360.00 c 3360 507091 61508 1 -270.0000 -593.4228 119.79%
3355.68/3365.13 c 3365 508261 61618 1 -270.0000 -593.3452 119.76%
3360.76/3370.26 c 3370 509651 61746 1 -270.0000 -593.2333 119.72%
3365.95/3375.42 c 3375 510961 61860 1 -270.0000 -593.1279 119.68%
3371.14/3380.63 c 3381 511831 62004 1 -270.0000 -593.0026 119.63%
3376.22/3385.77 c 3386 512821 62134 1 -270.0000 -592.9383 119.61%
3381.31/3390.81 c 3391 513851 62284 1 -270.0000 -592.8050 119.56%
3386.51/3396.04 c 3396 514751 62430 1 -270.0000 -592.7118 119.52%
3391.69/3401.21 c 3401 515921 62564 1 -270.0000 -592.6131 119.49%
3396.67/3406.27 c 3406 516951 62728 1 -270.0000 -592.4825 119.44%
3402.27/3411.87 c 3412 518121 62860 1 -270.0000 -592.4214 119.42%
3407.64/3417.25 c 3417 519221 63004 1 -270.0000 -592.3071 119.37%
3413.03/3422.60 c 3423 520261 63152 1 -270.0000 -592.1749 119.32%
3418.12/3427.73 c 3428 521241 63294 1 -270.0000 -592.0695 119.28%
3423.21/3432.89 c 3433 522091 63432 1 -270.0000 -591.9810 119.25%
3428.50/3438.10 c 3438 523111 63583 1 -270.0000 -591.8802 119.21%
3433.78/3443.47 c 3443 524531 63740 1 -270.0000 -591.7889 119.18%
3438.86/3448.55 c 3449 525511 63908 1 -270.0000 -591.6772 119.14%
3443.96/3453.68 c 3454 526511 64050 1 -270.0000 -591.5699 119.10%
3449.04/3458.74 c 3459 527571 64200 1 -270.0000 -591.4594 119.06%
3454.23/3463.92 c 3464 528791 64318 1 -270.0000 -591.4017 119.04%
3459.43/3469.11 c 3469 529871 64458 1 -270.0000 -591.3061 119.00%
3464.41/3474.11 c 3474 531011 64590 1 -270.0000 -591.2137 118.97%
3469.49/3479.22 c 3479 532051 64724 1 -270.0000 -591.1091 118.93%
3474.58/3484.34 c 3484 532971 64852 1 -270.0000 -591.0333 118.90%
3479.77/3489.57 c 3490 533801 64994 1 -270.0000 -590.9333 118.86%
3485.05/3494.86 c 3495 534661 65138 1 -270.0000 -590.8394 118.83%
3490.14/3499.92 c 3500 535781 65264 1 -270.0000 -590.7431 118.79%
3495.23/3505.04 c 3505 536651 65396 1 -270.0000 -590.6250 118.75%
3500.31/3510.13 c 3510 537821 65506 1 -270.0000 -590.5521 118.72%
3505.80/3515.64 c 3516 538831 65648 1 -270.0000 -590.4733 118.69%
3510.88/3520.74 c 3521 540211 65786 1 -270.0000 -590.3635 118.65%
3516.06/3525.97 c 3526 541291 65922 1 -270.0000 -590.2778 118.62%
3521.35/3531.25 c 3531 542181 66072 1 -270.0000 -590.1667 118.58%
3526.44/3536.31 c 3536 543121 66206 1 -270.0000 -590.0866 118.55%
3531.63/3541.54 c 3542 544101 66326 1 -270.0000 -589.9943 118.52%
3537.12/3547.00 c 3547 545141 66466 1 -270.0000 -589.9084 118.48%
3542.40/3552.39 c 3552 546271 66606 1 -270.0000 -589.8087 118.45%
3547.58/3557.54 c 3558 547631 66731 1 -270.0000 -589.7288 118.42%
3552.87/3562.83 c 3563 548921 66851 1 -270.0000 -589.6441 118.39%
3557.85/3567.89 c 3568 550131 66985 1 -270.0000 -589.5417 118.35%
3563.44/3573.42 c 3573 551171 67135 1 -270.0000 -589.4815 118.33%
3568.43/3578.47 c 3578 552171 67279 1 -270.0000 -589.3858 118.29%
3573.91/3583.91 c 3584 553181 67431 1 -270.0000 -589.2875 118.25%
3578.90/3588.97 c 3589 554151 67593 1 -270.0000 -589.1755 118.21%
3584.19/3594.26 c 3594 555191 67735 1 -270.0000 -589.0769 118.18%
3588.38/3598.43 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.38/3598.43 c Total Time : 3598.44
3588.38/3598.43 c solving : 3598.44
3588.38/3598.43 c presolving : 0.13 (included in solving)
3588.38/3598.43 c B&B Tree :
3588.38/3598.43 c nodes (total) : 1
3588.38/3598.43 c Solution :
3588.38/3598.43 c Solutions found : 13
3588.38/3598.43 c Primal Bound : -2.70000000000000e+02
3588.38/3598.43 c Dual Bound : -5.89000000000000e+02
3588.38/3598.43 c Gap : 118.14815 %
3588.38/3598.43 c * Warning: final gap: 1.18148e+00 is greater than SCIPepsilon: 1.00000e-09
3588.38/3598.44 o -270
3588.38/3598.44 s SATISFIABLE
3588.38/3598.44 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
3588.38/3598.44 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 -x877
3588.38/3598.44 v x876 x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856
3588.38/3598.44 v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 x840 -x839 x838 -x837 x836 -x835 x834
3588.38/3598.44 v x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
3588.38/3598.44 v -x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
3588.38/3598.44 v -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3588.38/3598.44 v -x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
3588.38/3598.44 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
3588.38/3598.44 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
3588.38/3598.44 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687
3588.38/3598.44 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666
3588.38/3598.44 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 x647 -x646 -x645
3588.38/3598.44 v -x644 x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
3588.38/3598.44 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
3588.38/3598.44 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
3588.38/3598.44 v -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3588.38/3598.44 v -x559 -x558 -x557 -x556 x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
3588.38/3598.44 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
3588.38/3598.44 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
3588.38/3598.44 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
3588.38/3598.44 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
3588.38/3598.44 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
3588.38/3598.44 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
3588.38/3598.44 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
3588.38/3598.44 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
3588.38/3598.44 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
3588.38/3598.44 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
3588.38/3598.44 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
3588.38/3598.44 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
3588.38/3598.44 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
3588.38/3598.44 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3588.38/3598.44 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
3588.38/3598.44 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
3588.38/3598.44 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
3588.38/3598.44 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3588.38/3598.44 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
3588.38/3598.44 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123
3588.38/3598.44 v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102
3588.38/3598.44 v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77
3588.38/3598.44 v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52
3588.38/3598.44 v -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: 63931 MiB (59735 MiB free)
memory of node 1: 64510 MiB (51419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464271-1722385796/watcher-4464271-1722385796 -o /tmp/evaluation-result-4464271-1722385796/solver-4464271-1722385796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464271-1722385796.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=34711, runsolver pid=34708
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 34712
/proc/meminfo: memFree=113808692/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=34348 memory=24332 CPUtime=0.09 cores=4,6
/proc/34711/stat : 34711 (fscip) R 34708 34711 29413 0 -1 4194304 3572 0 0 0 9 0 0 0 20 0 1 0 5181359 35172352 6083 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 8587 6083 2774 3035 0 4983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34348 KiB
Current children cumulated memory: 24332 KiB
[startup+0.206204 s]*
/proc/loadavg: 4.09 4.08 4.09 5/266 34714
/proc/meminfo: memFree=113795168/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=126800 memory=37644 CPUtime=0.19 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 6901 0 0 0 19 0 0 0 20 0 3 0 5181359 129843200 9411 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31700 9411 2806 3035 0 13502 0
[pid=34711/tid=34713] ppid=34708 vsize=126800 memory=8505393642823811203 CPUtime=0.06 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 1528 0 0 0 6 0 0 0 20 0 3 0 5181372 129843200 9411 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=126800 memory=18001 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181373 129843200 9411 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126800 KiB
Current children cumulated memory: 37644 KiB
[startup+0.306221 s]*
/proc/loadavg: 4.09 4.08 4.09 5/266 34714
/proc/meminfo: memFree=113782064/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=127740 memory=51372 CPUtime=0.29 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 10201 0 0 0 28 1 0 0 20 0 3 0 5181359 130805760 12843 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31935 12843 2950 3035 0 17016 0
[pid=34711/tid=34713] ppid=34708 vsize=127740 memory=-5155626916415826821 CPUtime=0.15 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 4843 0 0 0 15 0 0 0 20 0 3 0 5181372 130805760 12843 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=127740 memory=0 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181373 130805760 12843 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 51372 KiB
[startup+0.700255 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 34714
/proc/meminfo: memFree=113777612/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=127740 memory=57444 CPUtime=0.68 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 11770 0 0 0 67 1 0 0 20 0 3 0 5181359 130805760 14361 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31935 14361 2950 3035 0 18707 0
[pid=34711/tid=34713] ppid=34708 vsize=127740 memory=0 CPUtime=0.53 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 6397 0 0 0 53 0 0 0 20 0 3 0 5181372 130805760 14361 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=127740 memory=0 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181373 130805760 14361 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 57444 KiB
[startup+1.50025 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 34714
/proc/meminfo: memFree=113774224/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=127740 memory=63312 CPUtime=1.48 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 16039 0 0 0 146 2 0 0 20 0 3 0 5181359 130805760 15828 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31935 15828 2950 3035 0 20644 0
[pid=34711/tid=34713] ppid=34708 vsize=127740 memory=0 CPUtime=1.34 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 10666 0 0 0 133 1 0 0 20 0 3 0 5181372 130805760 15828 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=127740 memory=0 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181373 130805760 15828 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 63312 KiB
[startup+3.10546 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 34714
/proc/meminfo: memFree=113769248/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=127740 memory=63320 CPUtime=3.08 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 16942 0 0 0 306 2 0 0 20 0 3 0 5181359 130805760 15830 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31935 15830 2950 3035 0 20644 0
[pid=34711/tid=34713] ppid=34708 vsize=127740 memory=0 CPUtime=2.94 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 11539 0 0 0 293 1 0 0 20 0 3 0 5181372 130805760 15830 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=127740 memory=2209 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5181373 130805760 15830 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 63320 KiB
[startup+6.30025 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 34728
/proc/meminfo: memFree=120179944/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=127740 memory=63900 CPUtime=6.26 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 22092 0 0 0 624 2 0 0 20 0 3 0 5181359 130805760 15975 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31935 15975 2998 3035 0 20644 0
[pid=34711/tid=34713] ppid=34708 vsize=127740 memory=0 CPUtime=6.12 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 16658 0 0 0 611 1 0 0 20 0 3 0 5181372 130805760 15975 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=127740 memory=0 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5181373 130805760 15975 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 63900 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120187768/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=127740 memory=79540 CPUtime=12.64 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 39714 0 0 0 1261 3 0 0 20 0 3 0 5181359 130805760 19885 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 31935 19885 2998 3035 0 25206 0
[pid=34711/tid=34713] ppid=34708 vsize=127740 memory=68140 CPUtime=12.51 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 33846 0 0 0 1248 3 0 0 20 0 3 0 5181372 130805760 19885 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=127740 memory=11480 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5181373 130805760 19885 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 79540 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 34870
/proc/meminfo: memFree=122498688/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=206604 memory=104644 CPUtime=25.41 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 72482 0 0 0 2535 6 0 0 20 0 3 0 5181359 211562496 26161 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 51651 26161 2998 3035 0 35600 0
[pid=34711/tid=34713] ppid=34708 vsize=206604 memory=0 CPUtime=25.27 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 66531 0 0 0 2522 5 0 0 20 0 3 0 5181372 211562496 26161 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=206604 memory=96652 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5181373 211562496 26161 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 206604 KiB
Current children cumulated memory: 104644 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 34875
/proc/meminfo: memFree=122362480/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=219720 memory=146676 CPUtime=50.94 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 121634 0 0 0 5082 12 0 0 20 0 3 0 5181359 224993280 36669 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 54930 36669 2998 3035 0 50805 0
[pid=34711/tid=34713] ppid=34708 vsize=219720 memory=139092 CPUtime=50.8 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 115240 0 0 0 5069 11 0 0 20 0 3 0 5181372 224993280 36669 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=219720 memory=136128 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5181373 224993280 36669 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 219720 KiB
Current children cumulated memory: 146676 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 34885
/proc/meminfo: memFree=121983684/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=289664 memory=188472 CPUtime=101.99 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 188773 0 0 0 10179 20 0 0 20 0 3 0 5181359 296615936 47118 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 72416 47118 2998 3035 0 66706 0
[pid=34711/tid=34713] ppid=34708 vsize=289664 memory=11480 CPUtime=101.84 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 182118 0 0 0 10165 19 0 0 20 0 3 0 5181372 296615936 47118 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=289664 memory=188124 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5181373 296615936 47118 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 289664 KiB
Current children cumulated memory: 188472 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/266 34896
/proc/meminfo: memFree=121868364/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=426008 memory=256264 CPUtime=161.83 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 255877 0 0 0 16155 28 0 0 20 0 3 0 5181359 436232192 64066 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 106502 64066 2998 3035 0 89074 0
[pid=34711/tid=34713] ppid=34708 vsize=426008 memory=205256 CPUtime=161.68 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 249163 0 0 0 16141 27 0 0 20 0 3 0 5181372 436232192 64066 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=426008 memory=246748 CPUtime=0 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5181373 436232192 64066 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 426008 KiB
Current children cumulated memory: 256264 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 34906
################
# More data... #
################
/proc/34711/statm: 246851 234786 2998 3035 0 240704 0
[pid=34711/tid=34713] ppid=34708 vsize=987404 memory=926460 CPUtime=3391.96 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2125080 0 0 0 338850 346 0 0 20 0 3 0 5181372 1011101696 234786 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=987404 memory=936668 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5181373 1011101696 234786 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 987404 KiB
Current children cumulated memory: 939144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 36652
/proc/meminfo: memFree=120454612/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=988432 memory=948500 CPUtime=3452.63 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2141189 0 0 0 344895 368 0 0 20 0 3 0 5181359 1012154368 237125 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 247108 237125 2998 3035 0 242247 0
[pid=34711/tid=34713] ppid=34708 vsize=988432 memory=926460 CPUtime=3451.79 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2133791 0 0 0 344830 349 0 0 20 0 3 0 5181372 1012154368 237125 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=988432 memory=936668 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 5181373 1012154368 237125 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 988432 KiB
Current children cumulated memory: 948500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/267 36832
/proc/meminfo: memFree=120435244/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=952864 CPUtime=3512.47 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2148248 0 0 0 350874 373 0 0 20 0 3 0 5181359 1080840192 238216 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 238216 2998 3035 0 243304 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=949364 CPUtime=3511.61 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2140837 0 0 0 350808 353 0 0 20 0 3 0 5181372 1080840192 238216 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=952864 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 238216 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 952864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 36842
/proc/meminfo: memFree=120404076/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959392 CPUtime=3572.31 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2156734 0 0 0 356852 379 0 0 20 0 3 0 5181359 1080840192 239848 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239848 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=952872 CPUtime=3571.44 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2149310 0 0 0 356786 358 0 0 20 0 3 0 5181372 1080840192 239848 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=25988 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239848 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959392 KiB
[startup+3598.45 s]
# the end of solver process 34711 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.61 s, system=3.82308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 36842
/proc/meminfo: memFree=120404092/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959392 CPUtime=3574.01 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2156769 0 0 0 357022 379 0 0 20 0 3 0 5181359 1080840192 239848 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239848 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=7686721470247706567 CPUtime=3573.14 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2149345 0 0 0 356956 358 0 0 20 0 3 0 5181372 1080840192 239848 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=4283656191890583199 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239848 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959392 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 36844
/proc/meminfo: memFree=120403248/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959568 CPUtime=3580.4 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2156983 0 0 0 357660 380 0 0 20 0 3 0 5181359 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239892 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=12960 CPUtime=3579.52 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2149559 0 0 0 357593 359 0 0 20 0 3 0 5181372 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=959392 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3580.4 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959568 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 36844
/proc/meminfo: memFree=120402008/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959568 CPUtime=3583.59 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2157984 0 0 0 357979 380 0 0 20 0 3 0 5181359 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239892 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=959412 CPUtime=3582.71 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2150556 0 0 0 357912 359 0 0 20 0 3 0 5181372 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=959568 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3583.59 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959568 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 36844
/proc/meminfo: memFree=120399904/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959568 CPUtime=3586.78 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2158622 0 0 0 358298 380 0 0 20 0 3 0 5181359 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239892 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=959392 CPUtime=3585.9 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2151191 0 0 0 358231 359 0 0 20 0 3 0 5181372 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=164 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239892 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959568 KiB
[startup+3597.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 36844
/proc/meminfo: memFree=120399160/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959604 CPUtime=3587.58 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2158751 0 0 0 358378 380 0 0 20 0 3 0 5181359 1080840192 239901 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239901 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=12960 CPUtime=3586.7 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2151320 0 0 0 358311 359 0 0 20 0 3 0 5181372 1080840192 239901 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=11480 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239901 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959604 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.09 4.09 5/267 36844
/proc/meminfo: memFree=120398432/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1055508 memory=959604 CPUtime=3587.98 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2159097 0 0 0 358418 380 0 0 20 0 3 0 5181359 1080840192 239901 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 263877 239901 2998 3035 0 245186 0
[pid=34711/tid=34713] ppid=34708 vsize=1055508 memory=7686721470247706567 CPUtime=3587.1 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2151665 0 0 0 358351 359 0 0 20 0 3 0 5181372 1080840192 239901 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1055508 memory=4283656191890583199 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1080840192 239901 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3587.98 s
Current children cumulated vsize: 1055508 KiB
Current children cumulated memory: 959604 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 36844
/proc/meminfo: memFree=120398432/131524600 swapFree=131071996/131071996
[pid=34711] ppid=34708 vsize=1043172 memory=947268 CPUtime=3588.38 cores=4,6
/proc/34711/stat : 34711 (fscip) S 34708 34711 29413 0 -1 1077936128 2169481 0 0 0 358457 381 0 0 20 0 3 0 5181359 1068208128 236817 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
/proc/34711/statm: 260793 236817 2998 3035 0 242102 0
[pid=34711/tid=34713] ppid=34708 vsize=1043172 memory=959604 CPUtime=3587.5 cores=4,6
/proc/34711/task/34713/stat : 34713 (fscip) R 34708 34711 29413 0 -1 4194368 2162049 0 0 0 358390 360 0 0 20 0 3 0 5181372 1068208128 236817 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
[pid=34711/tid=34714] ppid=34708 vsize=1043172 memory=5536 CPUtime=0.03 cores=4,6
/proc/34711/task/34714/stat : 34714 (fscip) S 34708 34711 29413 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5181373 1068208128 236817 134679101440 4194304 16623229 140727983955312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 56258560 140727983961110 140727983961226 140727983961226 140727983968240 0
Current children cumulated CPU time: 3588.38 s
Current children cumulated vsize: 1043172 KiB
Current children cumulated memory: 947268 KiB
Child status: 0
Real time (s): 3598.45
CPU time (s): 3588.44
CPU user time (s): 3584.61
CPU system time (s): 3.82308
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 1055508
Max. memory (cumulated for all children) (KiB): 959604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.61
system time used= 3.82308
maximum resident set size= 959604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2170262
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= 30103
involuntary context switches= 2578
# summary of solver processes directly reported to runsolver:
# pid: 34711
# total CPU time (s): 3588.44
# total CPU user time (s): 3584.61
# total CPU system time (s): 3.82308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54817 second user time and 16.0241 second system time
The end
Begin job on nodeC031 at 2024-07-31 02:29:57
IDJOB=4464271
IDBENCH=158491
IDSOLVER=3092
FILE ID=nodeC031/4464271-1722385796
RUNJOBID= nodeC031-1722378597-29424
SLURM_JOB_ID= 8249854
Free space on /tmp= 889932 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464271-1722385796/watcher-4464271-1722385796 -o /tmp/evaluation-result-4464271-1722385796/solver-4464271-1722385796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464271-1722385796.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=83643309
nodeC031.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.516
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.95
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 : 3688.850
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 : 7007.12
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 : 3604.388
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.95
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 : 3600.192
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 : 7007.12
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 : 3652.631
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.95
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 : 3688.856
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 : 7007.12
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 : 3662.728
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.95
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 : 3600.191
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 113822768 kB
MemAvailable: 118002904 kB
Buffers: 99660 kB
Cached: 4908852 kB
SwapCached: 0 kB
Active: 335504 kB
Inactive: 16855304 kB
Active(anon): 1556 kB
Inactive(anon): 12202116 kB
Active(file): 333948 kB
Inactive(file): 4653188 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28508 kB
Writeback: 4 kB
AnonPages: 12182072 kB
Mapped: 124572 kB
Shmem: 21336 kB
KReclaimable: 65292 kB
Slab: 146604 kB
SReclaimable: 65292 kB
SUnreclaim: 81312 kB
KernelStack: 4224 kB
PageTables: 33612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8826364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6449152 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC031 at 2024-07-31 03:29:55