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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 31105024, getVmSize() = 31105024, SCIPgetMemUsed() = 6701389, SCIPgetMemTotal() = 9304485, SCIPgetMemExternEstim() = 3902569
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.23 c ** Estimated virtualMemUsedAtSolver = 28741632, getVmSize() = 55119872, SCIPgetMemUsed() = 18667338, SCIPgetMemTotal() = 31563634, SCIPgetMemExternEstim() = 3902569
0.20/0.23 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.23 c Original Problem :
0.20/0.23 c Problem name : instance-4464270-1722385796
0.20/0.23 c Variables : 1381 (1381 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.23 c Constraints : 2692
0.20/0.23 c Objective sense : minimize
0.20/0.23 c Presolved Problem :
0.20/0.23 c Variables : 1381 (1381 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.23 c Constraints : 1346
0.20/0.23 c Constraints : Number
0.20/0.23 c and : 1346
0.20/0.23 c ** Instance transfer method used: 0
0.20/0.24 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.24 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.24 c Nodes Active
0.20/0.24 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.39/0.42 c * 0 0 1 1 -28.0000 - -
0.39/0.42 c * 0 0 1 1 -982.0000 - -
0.59/0.69 c * 1 0 1 1 -1048.0000 - -
5.27/5.34 c 5 2 1 1 -1048.0000 -13103.4590 -
11.06/11.13 c 11 9 8 1 -1048.0000 -13103.4590 -
11.96/12.00 c * 12 9 8 1 -1163.0000 -13103.4590 -
11.96/12.02 c * 12 9 8 1 -1213.0000 -13103.4590 -
16.44/16.50 c 16 22 21 1 -1213.0000 -12531.4387 -
19.83/19.93 c * 20 122 59 1 -1214.0000 -11162.0432 -
19.83/19.94 c * 20 122 59 1 -1215.0000 -11162.0432 -
19.83/19.95 c * 20 122 59 1 -1216.0000 -11162.0432 -
19.83/19.96 c * 20 122 59 1 -1219.0000 -11162.0432 -
19.83/19.97 c * 20 122 59 1 -1221.0000 -11162.0432 -
19.83/19.97 c * 20 122 59 1 -1225.0000 -11162.0432 -
20.23/20.33 c * 20 172 75 1 -1226.0000 -10702.7455 -
21.53/21.62 c 22 179 82 1 -1226.0000 -10702.7455 -
26.51/26.68 c 27 412 145 1 -1226.0000 -10437.4280 -
31.20/31.35 c * 31 672 197 1 -1230.0000 -9953.2240 -
31.91/32.09 c 32 752 207 1 -1230.0000 -9827.3765 -
37.09/37.25 c 37 1332 253 1 -1230.0000 -9274.9989 -
38.68/38.83 c * 39 1482 267 1 -1241.0000 -9105.2973 -
42.17/42.36 c 42 1862 297 1 -1241.0000 -8888.4641 -
47.36/47.54 c 48 2242 337 1 -1241.0000 -8748.8770 -
49.25/49.41 c * 49 2372 343 1 -1242.0000 -8711.1420 -
53.04/53.25 c 53 2852 373 1 -1242.0000 -8619.5783 -
58.53/58.73 c 59 3136 393 1 -1242.0000 -8586.0572 -
64.51/64.73 c 65 3425 412 1 -1242.0000 -8491.3074 -
70.20/70.49 c 70 3862 433 1 -1242.0000 -8446.3150 -
75.29/75.54 c 76 3984 459 1 -1242.0000 -8391.1239 -
81.37/81.66 c 82 4145 486 1 -1242.0000 -8320.5105 -
87.05/87.30 c 87 4314 503 1 -1242.0000 -8280.7841 -
92.33/92.69 c 93 4575 520 1 -1242.0000 -8239.6350 -
97.43/97.77 c 98 4865 534 1 -1242.0000 -8195.0096 -
103.01/103.30 c 103 5092 553 1 -1242.0000 -8157.6058 -
108.70/109.00 c 109 5254 563 1 -1242.0000 -8147.3026 -
111.49/111.86 c * 112 5313 574 1 -1243.0000 -8128.8859 -
114.08/114.47 c 114 5344 581 1 -1243.0000 -8117.4640 -
120.06/120.42 c 120 5475 598 1 -1243.0000 -8082.9455 -
123.06/123.42 c * 123 5512 607 1 -1244.0000 -8055.9556 -
125.05/125.43 c 125 5655 612 1 -1244.0000 -8046.6122 -
130.03/130.45 c 130 5872 631 1 -1244.0000 -8027.9962 -
135.42/135.85 c 136 6044 643 1 -1244.0000 -8011.5974 -
140.61/141.09 c 141 6212 661 1 -1244.0000 -8002.2985 -
145.99/146.48 c 146 6622 681 1 -1244.0000 -7970.1532 -
151.07/151.50 c 152 6932 701 1 -1244.0000 -7940.0634 -
156.67/157.13 c 157 7134 717 1 -1244.0000 -7928.2597 -
162.54/163.06 c 163 7315 734 1 -1244.0000 -7910.7243 -
167.72/168.26 c 168 7502 749 1 -1244.0000 -7874.0334 -
172.80/173.30 c 173 7612 767 1 -1244.0000 -7855.6879 -
177.99/178.55 c 179 7694 781 1 -1244.0000 -7836.3365 -
183.28/183.87 c 184 7783 792 1 -1244.0000 -7826.4928 -
189.36/189.96 c 190 7874 807 1 -1244.0000 -7817.6340 -
196.14/196.76 c 197 8104 821 1 -1244.0000 -7807.9434 -
201.53/202.17 c 202 8242 837 1 -1244.0000 -7794.0459 -
207.50/208.13 c 208 8375 850 1 -1244.0000 -7790.0248 -
213.39/214.00 c 214 8603 862 1 -1244.0000 -7766.1458 -
219.37/220.07 c 220 8733 878 1 -1244.0000 -7709.1834 -
225.46/226.18 c 226 8903 892 1 -1244.0000 -7697.2853 -
230.93/231.60 c 232 9083 906 1 -1244.0000 -7693.9255 -
236.03/236.78 c 237 9184 917 1 -1244.0000 -7680.2285 -
242.01/242.76 c 243 9384 931 1 -1244.0000 -7673.7781 -
245.10/245.83 c * 246 9435 936 1 -1246.0000 -7671.4987 -
247.99/248.76 c 249 9514 943 1 -1246.0000 -7644.4779 -
248.09/248.85 c * 249 9514 943 1 -1247.0000 -7644.4779 -
248.19/248.95 c * 249 9514 943 1 -1253.0000 -7644.4779 -
248.19/248.99 c * 249 9514 943 1 -1255.0000 -7644.4779 -
248.19/248.99 c * 249 9514 943 1 -1256.0000 -7644.4779 -
253.97/254.77 c 255 9654 953 1 -1256.0000 -7643.5248 -
259.17/259.92 c 260 9872 967 1 -1256.0000 -7637.4137 -
265.36/266.12 c 266 10005 992 1 -1256.0000 -7627.4137 -
271.53/272.39 c 272 10124 1005 1 -1256.0000 -7609.0138 -
276.92/277.72 c 278 10172 1019 1 -1256.0000 -7604.7741 -
282.71/283.52 c 284 10342 1033 1 -1256.0000 -7600.2736 -
288.20/289.03 c 289 10453 1052 1 -1256.0000 -7592.4226 -
293.38/294.22 c 294 10722 1063 1 -1256.0000 -7580.7109 -
298.46/299.31 c 299 10932 1081 1 -1256.0000 -7572.4471 -
304.25/305.15 c 305 11184 1093 1 -1256.0000 -7553.4137 -
309.33/310.28 c 310 11343 1100 1 -1256.0000 -7550.0312 -
315.62/316.53 c 317 11435 1116 1 -1256.0000 -7537.8685 -
315.62/316.60 c * 317 11435 1116 1 -1257.0000 -7537.8685 499.67%
315.72/316.61 c * 317 11435 1116 1 -1258.0000 -7537.8685 499.19%
321.70/322.65 c 323 11773 1132 1 -1258.0000 -7519.3767 497.72%
326.80/327.74 c 328 11952 1143 1 -1258.0000 -7512.8779 497.21%
332.98/333.95 c 334 12103 1156 1 -1258.0000 -7497.0869 495.95%
338.26/339.23 c 339 12263 1166 1 -1258.0000 -7485.8533 495.06%
343.25/344.28 c 344 12442 1177 1 -1258.0000 -7479.6307 494.57%
349.23/350.20 c 350 12523 1192 1 -1258.0000 -7474.7106 494.17%
355.32/356.38 c 356 12753 1204 1 -1258.0000 -7469.2365 493.74%
361.11/362.12 c 362 12972 1219 1 -1258.0000 -7455.9221 492.68%
366.30/367.36 c 367 13025 1228 1 -1258.0000 -7450.2754 492.23%
371.28/372.38 c 372 13144 1239 1 -1258.0000 -7439.9783 491.41%
376.66/377.77 c 378 13492 1255 1 -1258.0000 -7423.4238 490.10%
381.85/382.92 c 383 13633 1262 1 -1258.0000 -7421.1852 489.92%
387.33/388.49 c 388 13862 1275 1 -1258.0000 -7412.3397 489.22%
394.02/395.13 c 395 14012 1287 1 -1258.0000 -7401.0011 488.31%
400.01/401.14 c 401 14113 1300 1 -1258.0000 -7395.7993 487.90%
405.68/406.84 c 407 14192 1309 1 -1258.0000 -7393.9434 487.75%
412.07/413.27 c 413 14365 1324 1 -1258.0000 -7390.3776 487.47%
417.75/418.98 c 419 14526 1341 1 -1258.0000 -7370.7113 485.91%
423.04/424.20 c 424 14642 1347 1 -1258.0000 -7351.7075 484.40%
428.03/429.27 c 429 14753 1362 1 -1258.0000 -7347.7531 484.08%
433.31/434.58 c 435 14993 1376 1 -1258.0000 -7345.5456 483.91%
438.70/439.94 c 440 15102 1385 1 -1258.0000 -7335.9799 483.15%
443.99/445.29 c 445 15122 1393 1 -1258.0000 -7332.6766 482.88%
449.28/450.53 c 451 15238 1407 1 -1258.0000 -7324.6302 482.24%
454.76/456.07 c 456 15452 1417 1 -1258.0000 -7320.9421 481.95%
460.95/462.25 c 462 15553 1428 1 -1258.0000 -7311.2407 481.18%
466.24/467.53 c 468 15792 1443 1 -1258.0000 -7304.5627 480.65%
472.72/474.00 c 474 15992 1453 1 -1258.0000 -7282.2418 478.87%
478.01/479.38 c 479 16132 1471 1 -1258.0000 -7271.9685 478.06%
484.68/486.02 c 486 16212 1479 1 -1258.0000 -7263.8038 477.41%
491.17/492.58 c 493 16282 1489 1 -1258.0000 -7260.9171 477.18%
497.95/499.36 c 499 16363 1504 1 -1258.0000 -7259.4849 477.07%
504.03/505.49 c 506 16443 1514 1 -1258.0000 -7249.7962 476.30%
509.72/511.18 c 511 16633 1528 1 -1258.0000 -7242.7977 475.74%
516.30/517.73 c 518 16742 1539 1 -1258.0000 -7239.5837 475.48%
523.08/524.59 c 525 16822 1545 1 -1258.0000 -7233.2985 474.98%
528.48/529.96 c 530 16982 1555 1 -1258.0000 -7230.9832 474.80%
534.25/535.77 c 536 17152 1569 1 -1258.0000 -7227.9125 474.56%
540.44/541.91 c 542 17263 1580 1 -1258.0000 -7221.2017 474.02%
545.54/547.00 c 547 17305 1584 1 -1258.0000 -7218.7531 473.83%
552.11/553.66 c 554 17403 1596 1 -1258.0000 -7208.2945 473.00%
557.10/558.68 c 559 17612 1605 1 -1258.0000 -7195.6514 471.99%
563.68/565.26 c 565 17802 1621 1 -1258.0000 -7185.2182 471.16%
570.17/571.72 c 572 18122 1635 1 -1258.0000 -7178.4556 470.62%
575.85/577.42 c 577 18354 1655 1 -1258.0000 -7164.6205 469.52%
581.23/582.80 c 583 18444 1667 1 -1258.0000 -7160.5446 469.20%
586.53/588.14 c 588 18672 1677 1 -1258.0000 -7156.6939 468.89%
593.41/595.03 c 595 18812 1693 1 -1258.0000 -7145.6000 468.01%
595.80/597.49 c * 597 18862 1699 1 -1263.0000 -7145.5508 465.76%
599.40/601.10 c 601 19002 1709 1 -1263.0000 -7141.5661 465.44%
604.67/606.30 c 606 19213 1726 1 -1263.0000 -7137.8718 465.15%
610.26/611.90 c 612 19333 1746 1 -1263.0000 -7126.6637 464.26%
615.85/617.54 c 618 19424 1767 1 -1263.0000 -7123.3848 464.01%
621.03/622.70 c 623 19532 1777 1 -1263.0000 -7115.1893 463.36%
627.02/628.76 c 629 19595 1798 1 -1263.0000 -7108.2109 462.80%
632.20/633.94 c 634 19712 1815 1 -1263.0000 -7106.1730 462.64%
637.30/639.02 c 639 19736 1829 1 -1263.0000 -7100.5566 462.20%
642.67/644.49 c 644 19812 1843 1 -1263.0000 -7095.6461 461.81%
648.87/650.62 c 651 19873 1858 1 -1263.0000 -7093.7238 461.66%
654.25/656.05 c 656 19982 1869 1 -1263.0000 -7084.5409 460.93%
659.74/661.55 c 662 20162 1889 1 -1263.0000 -7075.5071 460.21%
666.01/667.89 c 668 20442 1905 1 -1263.0000 -7060.4310 459.02%
672.50/674.32 c 674 20542 1925 1 -1263.0000 -7055.0725 458.60%
678.48/680.38 c 680 21042 1933 1 -1263.0000 -7052.2438 458.37%
683.77/685.64 c 686 21153 1950 1 -1263.0000 -7047.0477 457.96%
690.06/691.96 c 692 21352 1967 1 -1263.0000 -7035.7932 457.07%
695.15/697.09 c 697 21512 1983 1 -1263.0000 -7029.1252 456.54%
701.92/703.83 c 704 21692 2001 1 -1263.0000 -7019.7531 455.80%
707.00/708.90 c 709 21912 2017 1 -1263.0000 -7016.4624 455.54%
712.89/714.81 c 715 22033 2038 1 -1263.0000 -7014.8748 455.41%
717.88/719.87 c 720 22103 2052 1 -1263.0000 -7011.1265 455.12%
723.96/725.94 c 726 22392 2069 1 -1263.0000 -7008.0102 454.87%
730.75/732.71 c 733 22552 2093 1 -1263.0000 -6997.0720 454.00%
737.33/739.38 c 739 22712 2111 1 -1263.0000 -6988.2004 453.30%
743.12/745.18 c 745 22882 2133 1 -1263.0000 -6980.7897 452.71%
748.90/750.94 c 751 23062 2147 1 -1263.0000 -6971.7425 452.00%
754.88/756.92 c 757 23222 2165 1 -1263.0000 -6964.4137 451.42%
761.67/763.78 c 764 23352 2181 1 -1263.0000 -6961.4885 451.19%
768.15/770.29 c 770 23432 2205 1 -1263.0000 -6957.2211 450.85%
773.73/775.85 c 776 23679 2230 1 -1263.0000 -6950.5236 450.32%
778.71/780.88 c 781 23783 2244 1 -1263.0000 -6944.8385 449.87%
784.90/787.06 c 787 23973 2262 1 -1263.0000 -6934.6902 449.06%
790.89/793.03 c 793 24092 2275 1 -1263.0000 -6929.8501 448.68%
797.27/799.40 c 799 24442 2295 1 -1263.0000 -6911.3624 447.22%
802.45/804.63 c 805 24532 2309 1 -1263.0000 -6892.9160 445.76%
807.54/809.76 c 810 24632 2323 1 -1263.0000 -6889.8038 445.51%
812.73/814.99 c 815 24892 2331 1 -1263.0000 -6885.2114 445.15%
818.51/820.74 c 821 24963 2352 1 -1263.0000 -6880.2165 444.75%
823.69/825.91 c 826 25112 2361 1 -1263.0000 -6877.6199 444.55%
829.68/831.90 c 832 25222 2377 1 -1263.0000 -6872.6717 444.15%
834.77/837.08 c 837 25354 2395 1 -1263.0000 -6866.7668 443.69%
840.55/842.88 c 843 25503 2412 1 -1263.0000 -6860.3303 443.18%
846.74/849.04 c 849 25586 2427 1 -1263.0000 -6856.4268 442.87%
852.03/854.31 c 854 25784 2437 1 -1263.0000 -6853.2522 442.62%
857.51/859.81 c 860 25852 2451 1 -1263.0000 -6850.7572 442.42%
862.59/864.94 c 865 26032 2467 1 -1263.0000 -6847.8360 442.19%
867.78/870.14 c 870 26142 2485 1 -1263.0000 -6843.6231 441.85%
874.36/876.78 c 877 26252 2509 1 -1263.0000 -6832.6787 440.99%
879.84/882.21 c 882 26413 2526 1 -1263.0000 -6826.1440 440.47%
885.63/888.01 c 888 26524 2537 1 -1263.0000 -6821.2601 440.08%
891.12/893.53 c 894 26622 2557 1 -1263.0000 -6814.5730 439.55%
897.71/900.14 c 900 26752 2573 1 -1263.0000 -6812.8034 439.41%
902.88/905.34 c 905 26792 2587 1 -1263.0000 -6809.8569 439.18%
908.47/910.95 c 911 26902 2601 1 -1263.0000 -6802.4137 438.59%
914.56/917.08 c 917 27162 2621 1 -1263.0000 -6798.2820 438.26%
919.84/922.36 c 922 27222 2635 1 -1263.0000 -6793.9529 437.92%
925.03/927.54 c 928 27332 2651 1 -1263.0000 -6781.3457 436.92%
930.12/932.67 c 933 27421 2666 1 -1263.0000 -6779.5479 436.78%
935.31/937.88 c 938 27582 2675 1 -1263.0000 -6776.9425 436.58%
940.79/943.30 c 943 27752 2691 1 -1263.0000 -6767.1453 435.80%
947.38/949.97 c 950 27912 2711 1 -1263.0000 -6758.3117 435.10%
952.65/955.27 c 955 28052 2727 1 -1263.0000 -6756.8961 434.99%
958.64/961.26 c 961 28242 2745 1 -1263.0000 -6750.6907 434.50%
965.13/967.77 c 968 28422 2763 1 -1263.0000 -6740.1746 433.66%
970.21/972.84 c 973 28513 2784 1 -1263.0000 -6733.5581 433.14%
977.19/979.88 c 980 28702 2805 1 -1263.0000 -6728.3315 432.73%
983.28/985.99 c 986 28972 2823 1 -1263.0000 -6721.0849 432.15%
989.36/992.09 c 992 29062 2847 1 -1263.0000 -6713.2272 431.53%
994.54/997.23 c 997 29162 2865 1 -1263.0000 -6708.6643 431.17%
1000.34/1003.06 c 1003 29264 2887 1 -1263.0000 -6704.0497 430.80%
1005.91/1008.60 c 1009 29422 2899 1 -1263.0000 -6694.6278 430.06%
1012.90/1015.67 c 1016 29702 2919 1 -1263.0000 -6689.4769 429.65%
1018.58/1021.36 c 1021 29832 2939 1 -1263.0000 -6682.1635 429.07%
1023.76/1026.56 c 1027 30123 2956 1 -1263.0000 -6681.7553 429.04%
1029.36/1032.17 c 1032 30302 2973 1 -1263.0000 -6679.1574 428.83%
1035.44/1038.23 c 1038 30572 2993 1 -1263.0000 -6667.0530 427.87%
1040.53/1043.37 c 1043 30732 3015 1 -1263.0000 -6657.5443 427.12%
1046.51/1049.36 c 1049 30876 3039 1 -1263.0000 -6651.3117 426.63%
1052.69/1055.51 c 1056 31072 3051 1 -1263.0000 -6647.4137 426.32%
1058.48/1061.35 c 1061 31222 3075 1 -1263.0000 -6642.2434 425.91%
1063.97/1066.85 c 1067 31582 3089 1 -1263.0000 -6637.7221 425.55%
1069.45/1072.31 c 1072 31906 3109 1 -1263.0000 -6631.8736 425.09%
1075.44/1078.30 c 1078 32062 3123 1 -1263.0000 -6623.0072 424.39%
1082.41/1085.30 c 1085 32262 3149 1 -1263.0000 -6599.2851 422.51%
1088.40/1091.38 c 1091 32362 3165 1 -1263.0000 -6576.7810 420.73%
1093.69/1096.60 c 1097 32522 3181 1 -1263.0000 -6570.9959 420.27%
1099.57/1102.52 c 1103 32652 3195 1 -1263.0000 -6564.8143 419.78%
1104.86/1107.87 c 1108 32762 3209 1 -1263.0000 -6559.7558 419.38%
1110.24/1113.25 c 1113 32952 3227 1 -1263.0000 -6551.1667 418.70%
1116.23/1119.22 c 1119 33052 3243 1 -1263.0000 -6550.0961 418.61%
1121.41/1124.45 c 1124 33122 3259 1 -1263.0000 -6534.6862 417.39%
1127.00/1130.04 c 1130 33222 3279 1 -1263.0000 -6520.7931 416.29%
1132.89/1135.99 c 1136 33452 3297 1 -1263.0000 -6515.0221 415.84%
1139.16/1142.20 c 1142 33552 3317 1 -1263.0000 -6502.8129 414.87%
1144.65/1147.73 c 1148 33722 3339 1 -1263.0000 -6493.4228 414.13%
1149.74/1152.84 c 1153 33902 3357 1 -1263.0000 -6471.2126 412.37%
1156.12/1159.28 c 1159 34182 3385 1 -1263.0000 -6460.8148 411.55%
1161.60/1164.75 c 1165 34262 3407 1 -1263.0000 -6447.5196 410.49%
1167.30/1170.47 c 1170 34622 3429 1 -1263.0000 -6434.1654 409.44%
1173.48/1176.63 c 1177 34772 3457 1 -1263.0000 -6429.7897 409.09%
1179.66/1182.81 c 1183 35052 3475 1 -1263.0000 -6424.0066 408.63%
1184.85/1188.02 c 1188 35142 3489 1 -1263.0000 -6417.2343 408.09%
1190.13/1193.39 c 1193 35292 3511 1 -1263.0000 -6410.8624 407.59%
1195.42/1198.64 c 1199 35592 3533 1 -1263.0000 -6399.2178 406.67%
1200.50/1203.79 c 1204 35782 3545 1 -1263.0000 -6393.0251 406.18%
1206.59/1209.88 c 1210 35932 3563 1 -1263.0000 -6376.2804 404.85%
1212.18/1215.48 c 1215 36122 3585 1 -1263.0000 -6368.2989 404.22%
1218.86/1222.15 c 1222 36302 3609 1 -1263.0000 -6360.2429 403.58%
1225.24/1228.52 c 1229 36482 3629 1 -1263.0000 -6350.2686 402.79%
1231.12/1234.40 c 1234 36653 3656 1 -1263.0000 -6328.6480 401.08%
1236.60/1239.91 c 1240 36752 3673 1 -1263.0000 -6317.7726 400.22%
1242.20/1245.59 c 1246 36812 3687 1 -1263.0000 -6311.3122 399.71%
1248.28/1251.61 c 1252 37022 3705 1 -1263.0000 -6303.4815 399.09%
1254.26/1257.69 c 1258 37122 3727 1 -1263.0000 -6290.2593 398.04%
1259.75/1263.18 c 1263 37252 3745 1 -1263.0000 -6275.2593 396.85%
1264.93/1268.38 c 1268 37482 3767 1 -1263.0000 -6261.2593 395.74%
1271.11/1274.50 c 1274 37632 3783 1 -1263.0000 -6257.3518 395.44%
1277.71/1281.16 c 1281 37762 3805 1 -1263.0000 -6237.4060 393.86%
1283.69/1287.16 c 1287 37954 3833 1 -1263.0000 -6227.7135 393.09%
1289.37/1292.82 c 1293 38134 3849 1 -1263.0000 -6217.0278 392.24%
1294.45/1297.94 c 1298 38372 3871 1 -1263.0000 -6176.5386 389.04%
1304.23/1307.74 c 1308 38422 1 1 -1263.0000 -6153.3450 387.20%
1310.59/1314.19 c 1314 38426 5 1 -1263.0000 -6153.3450 387.20%
1316.43/1320.05 c 1320 38445 24 1 -1263.0000 -6153.3450 387.20%
1321.79/1325.41 c 1325 38604 39 1 -1263.0000 -6153.3450 387.20%
1326.94/1330.60 c 1331 39013 54 1 -1263.0000 -6153.3450 387.20%
1332.39/1336.19 c 1336 39344 87 1 -1263.0000 -6153.3450 387.20%
1337.63/1341.43 c 1341 39645 124 1 -1263.0000 -6153.3450 387.20%
1343.59/1347.49 c 1347 39965 156 1 -1263.0000 -6153.3450 387.20%
1348.94/1352.80 c 1353 40135 180 1 -1263.0000 -6153.3450 387.20%
1355.08/1359.05 c 1359 40474 207 1 -1263.0000 -6153.3450 387.20%
1361.22/1365.29 c 1365 40925 228 1 -1263.0000 -6153.3450 387.20%
1367.26/1371.37 c 1371 41185 262 1 -1263.0000 -6153.3450 387.20%
1372.61/1376.74 c 1377 41664 281 1 -1263.0000 -6153.3450 387.20%
1378.18/1382.36 c 1382 41823 296 1 -1263.0000 -6153.3450 387.20%
1383.77/1387.95 c 1388 41933 316 1 -1263.0000 -6153.3450 387.20%
1388.87/1393.07 c 1393 42033 324 1 -1263.0000 -6153.3450 387.20%
1394.44/1398.60 c 1399 42112 333 1 -1263.0000 -6153.3450 387.20%
1400.03/1404.22 c 1404 42282 349 1 -1263.0000 -6153.3450 387.20%
1405.91/1410.15 c 1410 42475 372 1 -1263.0000 -6153.3450 387.20%
1411.20/1415.47 c 1415 42625 388 1 -1263.0000 -6153.3450 387.20%
1417.08/1421.33 c 1421 42725 404 1 -1263.0000 -6153.3450 387.20%
1423.06/1427.32 c 1427 42824 421 1 -1263.0000 -6153.3450 387.20%
1429.04/1433.30 c 1433 43175 432 1 -1263.0000 -6153.3450 387.20%
1435.13/1439.44 c 1439 43462 453 1 -1263.0000 -6153.3450 387.20%
1440.22/1444.58 c 1445 43613 468 1 -1263.0000 -6153.3450 387.20%
1446.40/1450.75 c 1451 43682 481 1 -1263.0000 -6153.3450 387.20%
1451.99/1456.34 c 1456 43832 497 1 -1263.0000 -6153.3450 387.20%
1457.27/1461.69 c 1462 44133 520 1 -1263.0000 -6153.3450 387.20%
1463.05/1467.42 c 1467 44584 547 1 -1263.0000 -6153.3450 387.20%
1469.04/1473.44 c 1473 44865 586 1 -1263.0000 -6153.3450 387.20%
1475.22/1479.60 c 1480 45093 610 1 -1263.0000 -6153.3450 387.20%
1481.01/1485.48 c 1485 45374 629 1 -1263.0000 -6153.3450 387.20%
1486.39/1490.87 c 1491 45514 647 1 -1263.0000 -6153.3450 387.20%
1491.48/1495.91 c 1496 45713 658 1 -1263.0000 -6153.3450 387.20%
1497.46/1501.97 c 1502 45863 672 1 -1263.0000 -6153.3450 387.20%
1502.74/1507.25 c 1507 45974 687 1 -1263.0000 -6153.3450 387.20%
1509.33/1513.84 c 1514 46084 701 1 -1263.0000 -6153.3450 387.20%
1514.62/1519.13 c 1519 46163 712 1 -1263.0000 -6153.3450 387.20%
1520.41/1524.92 c 1525 46332 725 1 -1263.0000 -6153.3450 387.20%
1525.79/1530.33 c 1530 46413 734 1 -1263.0000 -6153.3450 387.20%
1532.27/1536.88 c 1537 46553 748 1 -1263.0000 -6153.3450 387.20%
1537.65/1542.21 c 1542 46683 760 1 -1263.0000 -6153.3450 387.20%
1543.55/1548.17 c 1548 46752 773 1 -1263.0000 -6153.3450 387.20%
1549.53/1554.14 c 1554 46915 796 1 -1263.0000 -6153.3450 387.20%
1556.20/1560.81 c 1561 47184 807 1 -1263.0000 -6153.3450 387.20%
1561.39/1566.09 c 1566 47312 821 1 -1263.0000 -6153.3450 387.20%
1566.98/1571.66 c 1572 47475 844 1 -1263.0000 -6153.3450 387.20%
1572.26/1576.97 c 1577 47708 869 1 -1263.0000 -6153.3450 387.20%
1577.35/1582.04 c 1582 47955 892 1 -1263.0000 -6153.3450 387.20%
1583.34/1588.09 c 1588 48185 914 1 -1263.0000 -6153.3450 387.20%
1589.02/1593.72 c 1594 48364 931 1 -1263.0000 -6153.3450 387.20%
1595.41/1600.17 c 1600 48464 947 1 -1263.0000 -6153.3450 387.20%
1600.99/1605.73 c 1606 48624 957 1 -1263.0000 -6153.3450 387.20%
1606.38/1611.12 c 1611 48833 970 1 -1263.0000 -6153.3450 387.20%
1612.26/1617.05 c 1617 49164 993 1 -1263.0000 -6153.3450 387.20%
1618.74/1623.59 c 1624 49413 1004 1 -1263.0000 -6153.3450 387.20%
1624.42/1629.23 c 1629 49663 1024 1 -1263.0000 -6153.3450 387.20%
1630.01/1634.82 c 1635 49955 1050 1 -1263.0000 -6153.3450 387.20%
1634.99/1639.84 c 1640 50203 1058 1 -1263.0000 -6153.3450 387.20%
1641.18/1646.08 c 1646 50334 1073 1 -1263.0000 -6153.3450 387.20%
1647.27/1652.19 c 1652 50474 1089 1 -1263.0000 -6153.3450 387.20%
1652.35/1657.24 c 1657 50523 1100 1 -1263.0000 -6153.3450 387.20%
1658.53/1663.40 c 1663 50622 1107 1 -1263.0000 -6153.3450 387.20%
1664.13/1669.03 c 1669 50752 1119 1 -1263.0000 -6153.3450 387.20%
1670.30/1675.20 c 1675 50912 1131 1 -1263.0000 -6153.3450 387.20%
1675.79/1680.72 c 1681 50942 1141 1 -1263.0000 -6152.7610 387.15%
1681.08/1686.07 c 1686 51052 1153 1 -1263.0000 -6147.5000 386.74%
1686.46/1691.42 c 1691 51272 1169 1 -1263.0000 -6143.2398 386.40%
1691.54/1696.56 c 1697 51392 1181 1 -1263.0000 -6137.4303 385.94%
1696.73/1701.72 c 1702 51492 1187 1 -1263.0000 -6136.2008 385.84%
1703.21/1708.28 c 1708 51652 1209 1 -1263.0000 -6125.0486 384.96%
1708.70/1713.76 c 1714 51831 1224 1 -1263.0000 -6116.9332 384.32%
1714.00/1719.00 c 1719 51952 1227 1 -1263.0000 -6102.6461 383.19%
1719.28/1724.33 c 1724 52160 1245 1 -1263.0000 -6100.5556 383.02%
1726.16/1731.24 c 1731 52402 1265 1 -1263.0000 -6088.4501 382.06%
1732.05/1737.11 c 1737 52502 1271 1 -1263.0000 -6079.0176 381.32%
1737.93/1743.09 c 1743 52652 1283 1 -1263.0000 -6073.2549 380.86%
1744.31/1749.43 c 1749 52762 1295 1 -1263.0000 -6061.9594 379.97%
1750.29/1755.44 c 1755 52832 1309 1 -1263.0000 -6051.9647 379.17%
1755.38/1760.52 c 1761 52994 1323 1 -1263.0000 -6042.5425 378.43%
1760.77/1765.97 c 1766 53252 1337 1 -1263.0000 -6037.0175 377.99%
1766.75/1771.99 c 1772 53382 1349 1 -1263.0000 -6032.0758 377.60%
1774.03/1779.24 c 1779 53472 1361 1 -1263.0000 -6025.8192 377.10%
1779.32/1784.56 c 1785 53615 1372 1 -1263.0000 -6022.0758 376.81%
1785.10/1790.38 c 1790 53842 1379 1 -1263.0000 -6019.0753 376.57%
1791.89/1797.14 c 1797 53962 1397 1 -1263.0000 -6005.1091 375.46%
1798.17/1803.47 c 1803 54142 1413 1 -1263.0000 -6000.4832 375.10%
1803.86/1809.17 c 1809 54519 1424 1 -1263.0000 -5999.6129 375.03%
1810.53/1815.83 c 1816 54712 1437 1 -1263.0000 -5985.8219 373.94%
1816.52/1821.84 c 1822 54805 1454 1 -1263.0000 -5980.4462 373.51%
1822.21/1827.50 c 1828 54993 1468 1 -1263.0000 -5968.0360 372.53%
1827.49/1832.83 c 1833 55270 1479 1 -1263.0000 -5959.5834 371.86%
1833.17/1838.53 c 1839 55332 1489 1 -1263.0000 -5940.5833 370.35%
1838.26/1843.63 c 1844 55422 1499 1 -1263.0000 -5930.0203 369.52%
1844.15/1849.54 c 1850 55555 1514 1 -1263.0000 -5926.3432 369.23%
1850.03/1855.44 c 1855 55652 1523 1 -1263.0000 -5923.1667 368.98%
1856.62/1862.10 c 1862 55872 1547 1 -1263.0000 -5917.2716 368.51%
1862.90/1868.39 c 1868 55962 1559 1 -1263.0000 -5899.0257 367.06%
1868.68/1874.11 c 1874 56182 1567 1 -1263.0000 -5893.3128 366.61%
1874.86/1880.34 c 1880 56302 1579 1 -1263.0000 -5887.6389 366.16%
1880.25/1885.70 c 1886 56383 1594 1 -1263.0000 -5877.4000 365.35%
1886.24/1891.70 c 1892 56472 1603 1 -1263.0000 -5869.1667 364.70%
1892.02/1897.53 c 1898 56555 1622 1 -1263.0000 -5865.3351 364.40%
1897.41/1902.92 c 1903 56733 1634 1 -1263.0000 -5853.6431 363.47%
1903.89/1909.46 c 1909 56893 1642 1 -1263.0000 -5848.5481 363.07%
1909.07/1914.66 c 1915 56962 1659 1 -1263.0000 -5840.7215 362.45%
1914.76/1920.35 c 1920 57084 1673 1 -1263.0000 -5839.3351 362.34%
1921.04/1926.65 c 1927 57222 1681 1 -1263.0000 -5832.6461 361.81%
1926.53/1932.10 c 1932 57302 1693 1 -1263.0000 -5821.8889 360.96%
1932.81/1938.41 c 1938 57362 1709 1 -1263.0000 -5814.8219 360.40%
1939.40/1945.09 c 1945 57472 1721 1 -1263.0000 -5801.2185 359.32%
1944.68/1950.31 c 1950 57662 1733 1 -1263.0000 -5791.8947 358.58%
1951.17/1956.85 c 1957 57862 1755 1 -1263.0000 -5784.4568 357.99%
1956.45/1962.15 c 1962 58152 1767 1 -1263.0000 -5776.4444 357.36%
1961.73/1967.47 c 1967 58303 1780 1 -1263.0000 -5772.2425 357.03%
1967.42/1973.12 c 1973 58362 1793 1 -1263.0000 -5755.3536 355.69%
1973.90/1979.61 c 1980 58472 1805 1 -1263.0000 -5749.8272 355.25%
1978.98/1984.71 c 1985 58532 1823 1 -1263.0000 -5744.9780 354.87%
1985.16/1990.94 c 1991 58812 1835 1 -1263.0000 -5724.0203 353.21%
1990.25/1996.05 c 1996 58872 1847 1 -1263.0000 -5716.9967 352.65%
1995.92/2001.72 c 2002 59057 1872 1 -1263.0000 -5710.5157 352.14%
2001.71/2007.51 c 2008 59222 1881 1 -1263.0000 -5698.6461 351.20%
2008.09/2013.90 c 2014 59413 1898 1 -1263.0000 -5691.8192 350.66%
2013.07/2018.91 c 2019 59542 1909 1 -1263.0000 -5678.8346 349.63%
2018.86/2024.75 c 2025 59702 1919 1 -1263.0000 -5668.1306 348.78%
2023.94/2029.88 c 2030 59862 1929 1 -1263.0000 -5655.4523 347.78%
2030.71/2036.60 c 2037 59912 1945 1 -1263.0000 -5652.5414 347.55%
2036.40/2042.37 c 2042 60055 1962 1 -1263.0000 -5639.4772 346.51%
2041.58/2047.57 c 2048 60262 1977 1 -1263.0000 -5632.5932 345.97%
2047.35/2053.39 c 2053 60442 1987 1 -1263.0000 -5622.9092 345.20%
2052.74/2058.76 c 2059 60532 2001 1 -1263.0000 -5607.5511 343.99%
2059.52/2065.54 c 2066 60682 2017 1 -1263.0000 -5595.6085 343.04%
2066.60/2072.61 c 2073 60772 2033 1 -1263.0000 -5584.3037 342.15%
2071.88/2077.95 c 2078 60842 2045 1 -1263.0000 -5575.3827 341.44%
2077.96/2084.07 c 2084 61022 2065 1 -1263.0000 -5569.2500 340.95%
2084.54/2090.66 c 2091 61122 2079 1 -1263.0000 -5556.6750 339.96%
2089.62/2095.76 c 2096 61283 2096 1 -1263.0000 -5550.1333 339.44%
2095.80/2101.94 c 2102 61592 2113 1 -1263.0000 -5539.0417 338.56%
2100.99/2107.17 c 2107 61702 2123 1 -1263.0000 -5527.4167 337.64%
2108.16/2114.37 c 2114 61812 2141 1 -1263.0000 -5510.7710 336.32%
2113.24/2119.44 c 2119 61922 2155 1 -1263.0000 -5508.7801 336.17%
2118.32/2124.53 c 2125 62082 2171 1 -1263.0000 -5501.0785 335.56%
2123.31/2129.54 c 2130 62242 2183 1 -1263.0000 -5493.3219 334.94%
2128.80/2135.09 c 2135 62424 2207 1 -1263.0000 -5484.2981 334.23%
2135.37/2141.69 c 2142 62542 2219 1 -1263.0000 -5467.2939 332.88%
2142.25/2148.58 c 2149 62762 2235 1 -1263.0000 -5460.7125 332.36%
2147.73/2154.07 c 2154 62882 2257 1 -1263.0000 -5426.2425 329.63%
2153.01/2159.38 c 2159 63002 2267 1 -1263.0000 -5422.1250 329.31%
2158.99/2165.38 c 2165 63182 2281 1 -1263.0000 -5410.1977 328.36%
2164.77/2171.11 c 2171 63275 2294 1 -1263.0000 -5407.5250 328.15%
2171.05/2177.44 c 2177 63492 2309 1 -1263.0000 -5400.8708 327.62%
2177.03/2183.46 c 2183 63643 2326 1 -1263.0000 -5394.5589 327.12%
2182.91/2189.35 c 2189 63762 2341 1 -1263.0000 -5378.8889 325.88%
2188.10/2194.54 c 2195 63846 2353 1 -1263.0000 -5348.4173 323.47%
2193.28/2199.77 c 2200 64052 2371 1 -1263.0000 -5327.5970 321.82%
2198.76/2205.26 c 2205 64172 2387 1 -1263.0000 -5319.4153 321.17%
2204.65/2211.15 c 2211 64408 2415 1 -1263.0000 -5296.8718 319.39%
2210.32/2216.84 c 2217 64532 2427 1 -1263.0000 -5281.0635 318.14%
2215.70/2222.29 c 2222 64662 2451 1 -1263.0000 -5259.4524 316.43%
2221.80/2228.38 c 2228 64882 2467 1 -1263.0000 -5234.3333 314.44%
2227.59/2234.11 c 2234 65072 2487 1 -1263.0000 -5232.0897 314.26%
2233.47/2240.04 c 2240 65241 2510 1 -1263.0000 -5218.2917 313.17%
2238.95/2245.51 c 2246 65429 2532 1 -1263.0000 -5181.0332 310.22%
2244.24/2250.84 c 2251 65582 2551 1 -1263.0000 -5173.2500 309.60%
2250.62/2257.23 c 2257 65792 2575 1 -1263.0000 -5159.3788 308.50%
2256.40/2263.03 c 2263 66037 2592 1 -1263.0000 -5142.5833 307.17%
2261.78/2268.40 c 2268 66132 2609 1 -1263.0000 -5130.1250 306.19%
2267.17/2273.87 c 2274 66225 2628 1 -1263.0000 -5113.7173 304.89%
2272.55/2279.29 c 2279 66332 2645 1 -1263.0000 -5107.2413 304.37%
2277.85/2284.59 c 2285 66464 2667 1 -1263.0000 -5100.4167 303.83%
2283.44/2290.13 c 2290 66902 2679 1 -1263.0000 -5083.4198 302.49%
2288.42/2295.15 c 2295 67142 2703 1 -1263.0000 -5069.5040 301.39%
2294.50/2301.22 c 2301 67285 2730 1 -1263.0000 -5053.9105 300.15%
2299.89/2306.62 c 2307 67442 2747 1 -1263.0000 -5046.4264 299.56%
2306.57/2313.33 c 2313 67622 2773 1 -1263.0000 -5028.3240 298.13%
2312.95/2319.79 c 2320 67822 2795 1 -1263.0000 -4988.1111 294.94%
2319.84/2326.64 c 2327 68072 2819 1 -1263.0000 -4944.4167 291.48%
2326.02/2332.84 c 2333 68462 2837 1 -1263.0000 -4933.1667 290.59%
2331.90/2338.71 c 2339 68662 2859 1 -1263.0000 -4902.7222 288.18%
2337.49/2344.33 c 2344 68854 2877 1 -1263.0000 -4895.8417 287.64%
2343.18/2350.03 c 2350 69093 2898 1 -1263.0000 -4874.3500 285.93%
2349.17/2356.01 c 2356 69253 2916 1 -1263.0000 -4858.9167 284.71%
2354.94/2361.84 c 2362 69413 2932 1 -1263.0000 -4851.0833 284.09%
2360.83/2367.73 c 2368 69645 2958 1 -1263.0000 -4841.8056 283.36%
2366.12/2373.07 c 2373 69792 2967 1 -1263.0000 -4822.8095 281.85%
2371.50/2378.49 c 2378 70032 2983 1 -1263.0000 -4807.2917 280.62%
2376.88/2383.88 c 2384 70322 2997 1 -1263.0000 -4799.5648 280.01%
2382.47/2389.43 c 2389 70514 3017 1 -1263.0000 -4793.6667 279.55%
2388.65/2395.61 c 2396 70792 3029 1 -1263.0000 -4782.5917 278.67%
2394.04/2401.05 c 2401 70986 3047 1 -1263.0000 -4764.0833 277.20%
2399.14/2406.12 c 2406 71193 3068 1 -1263.0000 -4751.9464 276.24%
2405.51/2412.58 c 2413 71332 3079 1 -1263.0000 -4741.7500 275.44%
2411.49/2418.52 c 2419 71573 3100 1 -1263.0000 -4738.0000 275.14%
2417.09/2424.16 c 2424 71653 3116 1 -1263.0000 -4720.4500 273.75%
2422.37/2429.44 c 2429 71772 3129 1 -1263.0000 -4703.4167 272.40%
2428.55/2435.66 c 2436 71942 3145 1 -1263.0000 -4694.7434 271.71%
2434.04/2441.19 c 2441 72182 3161 1 -1263.0000 -4690.7500 271.40%
2439.53/2446.67 c 2447 72282 3175 1 -1263.0000 -4681.2917 270.65%
2444.61/2451.76 c 2452 72423 3186 1 -1263.0000 -4674.0852 270.08%
2450.59/2457.70 c 2458 72512 3201 1 -1263.0000 -4670.4306 269.79%
2456.88/2464.03 c 2464 72672 3219 1 -1263.0000 -4661.1471 269.05%
2462.07/2469.20 c 2469 72872 3231 1 -1263.0000 -4657.2934 268.75%
2467.85/2475.08 c 2475 73002 3247 1 -1263.0000 -4653.8056 268.47%
2474.03/2481.29 c 2481 73212 3267 1 -1263.0000 -4645.5694 267.82%
2479.32/2486.53 c 2487 73352 3279 1 -1263.0000 -4636.0000 267.06%
2484.40/2491.61 c 2492 73442 3295 1 -1263.0000 -4628.6481 266.48%
2489.49/2496.71 c 2497 73528 3313 1 -1263.0000 -4617.0833 265.56%
2494.88/2502.11 c 2502 73692 3323 1 -1263.0000 -4607.4242 264.80%
2500.96/2508.22 c 2508 73822 3337 1 -1263.0000 -4598.7222 264.11%
2506.25/2513.51 c 2514 73862 3347 1 -1263.0000 -4577.1382 262.40%
2512.03/2519.36 c 2519 74252 3355 1 -1263.0000 -4571.5611 261.96%
2518.22/2525.54 c 2526 74412 3373 1 -1263.0000 -4566.4167 261.55%
2524.50/2531.83 c 2532 74492 3389 1 -1263.0000 -4554.7000 260.63%
2529.88/2537.26 c 2537 74665 3402 1 -1263.0000 -4549.8333 260.24%
2536.07/2543.45 c 2543 74782 3417 1 -1263.0000 -4541.2083 259.56%
2541.45/2548.87 c 2549 75102 3425 1 -1263.0000 -4533.1852 258.92%
2546.55/2553.94 c 2554 75282 3449 1 -1263.0000 -4516.9583 257.64%
2552.23/2559.62 c 2560 75563 3462 1 -1263.0000 -4511.2611 257.19%
2557.72/2565.10 c 2565 75733 3472 1 -1263.0000 -4508.5700 256.97%
2562.80/2570.24 c 2570 76063 3500 1 -1263.0000 -4501.8333 256.44%
2568.18/2575.66 c 2576 76183 3520 1 -1263.0000 -4492.7778 255.72%
2573.97/2581.45 c 2581 76272 3533 1 -1263.0000 -4484.3889 255.06%
2579.45/2586.98 c 2587 76375 3548 1 -1263.0000 -4479.2209 254.65%
2585.54/2593.01 c 2593 76613 3572 1 -1263.0000 -4471.9537 254.07%
2591.53/2599.05 c 2599 76843 3586 1 -1263.0000 -4464.7500 253.50%
2596.71/2604.22 c 2604 77072 3599 1 -1263.0000 -4460.5595 253.17%
2602.50/2610.02 c 2610 77432 3607 1 -1263.0000 -4456.6458 252.86%
2609.38/2616.91 c 2617 77642 3639 1 -1263.0000 -4446.9583 252.09%
2615.66/2623.20 c 2623 77762 3657 1 -1263.0000 -4428.1389 250.60%
2620.84/2628.41 c 2628 77822 3665 1 -1263.0000 -4412.3667 249.36%
2625.93/2633.52 c 2634 78042 3687 1 -1263.0000 -4405.7037 248.83%
2632.22/2639.85 c 2640 78125 3704 1 -1263.0000 -4397.3333 248.17%
2638.30/2645.91 c 2646 78262 3717 1 -1263.0000 -4382.2185 246.97%
2643.39/2651.09 c 2651 78302 3733 1 -1263.0000 -4372.2222 246.18%
2648.67/2656.35 c 2656 78382 3743 1 -1263.0000 -4364.0556 245.53%
2654.46/2662.14 c 2662 78432 3753 1 -1263.0000 -4355.3194 244.84%
2660.94/2668.60 c 2669 78502 3767 1 -1263.0000 -4353.3725 244.69%
2667.13/2674.88 c 2675 78652 3787 1 -1263.0000 -4341.9861 243.78%
2672.20/2679.95 c 2680 78704 3793 1 -1263.0000 -4334.7165 243.21%
2677.30/2685.08 c 2685 78922 3825 1 -1263.0000 -4322.2994 242.22%
2682.38/2690.14 c 2690 78996 3849 1 -1263.0000 -4314.6434 241.62%
2688.96/2696.74 c 2697 79062 3863 1 -1263.0000 -4309.3889 241.20%
2695.45/2703.29 c 2703 79162 3881 1 -1263.0000 -4306.4329 240.97%
2701.63/2709.40 c 2709 79332 3905 1 -1263.0000 -4305.7778 240.92%
2707.01/2714.86 c 2715 79522 3917 1 -1263.0000 -4292.2268 239.84%
2712.50/2720.35 c 2720 79842 3929 1 -1263.0000 -4281.5179 239.00%
2717.89/2725.72 c 2726 79982 3945 1 -1263.0000 -4273.5556 238.37%
2724.18/2732.05 c 2732 80165 3960 1 -1263.0000 -4271.4831 238.20%
2729.56/2737.45 c 2737 80302 3975 1 -1263.0000 -4267.8333 237.91%
2735.54/2743.42 c 2743 80452 3989 1 -1263.0000 -4259.7500 237.27%
2741.14/2749.05 c 2749 80712 4009 1 -1263.0000 -4250.6667 236.55%
2747.12/2755.10 c 2755 80762 4025 1 -1263.0000 -4246.4145 236.22%
2753.49/2761.42 c 2761 80842 4041 1 -1263.0000 -4241.2111 235.80%
2758.88/2766.85 c 2767 81072 4057 1 -1263.0000 -4235.1818 235.33%
2764.07/2772.00 c 2772 81202 4071 1 -1263.0000 -4223.8750 234.43%
2769.85/2777.87 c 2778 81482 4085 1 -1263.0000 -4207.6385 233.15%
2776.63/2784.65 c 2785 81862 4111 1 -1263.0000 -4197.8093 232.37%
2783.42/2791.46 c 2791 82342 4129 1 -1263.0000 -4190.3482 231.78%
2789.30/2797.33 c 2797 82515 4148 1 -1263.0000 -4183.0556 231.20%
2796.19/2804.27 c 2804 82792 4163 1 -1263.0000 -4177.8112 230.78%
2801.57/2809.68 c 2810 83022 4177 1 -1263.0000 -4172.4000 230.36%
2807.26/2815.34 c 2815 83202 4197 1 -1263.0000 -4158.6928 229.27%
2814.33/2822.49 c 2822 83445 4236 1 -1263.0000 -4132.7143 227.21%
2819.52/2827.61 c 2828 83512 4243 1 -1263.0000 -4122.5000 226.41%
2824.61/2832.71 c 2833 83622 4263 1 -1263.0000 -4108.9638 225.33%
2830.79/2838.94 c 2839 83752 4283 1 -1263.0000 -4102.3333 224.81%
2836.77/2844.92 c 2845 83832 4297 1 -1263.0000 -4097.8889 224.46%
2842.26/2850.42 c 2850 83885 4312 1 -1263.0000 -4091.4893 223.95%
2848.74/2856.90 c 2857 84332 4335 1 -1263.0000 -4082.6444 223.25%
2854.93/2863.18 c 2863 84442 4347 1 -1263.0000 -4080.6167 223.09%
2860.41/2868.63 c 2869 84575 4370 1 -1263.0000 -4072.7500 222.47%
2866.50/2874.73 c 2875 84632 4381 1 -1263.0000 -4070.1250 222.26%
2872.09/2880.37 c 2880 84792 4399 1 -1263.0000 -4061.9301 221.61%
2877.27/2885.51 c 2886 85132 4423 1 -1263.0000 -4048.7333 220.56%
2882.36/2890.62 c 2891 85312 4439 1 -1263.0000 -4044.7500 220.25%
2888.54/2896.83 c 2897 85622 4457 1 -1263.0000 -4038.0178 219.72%
2894.13/2902.47 c 2902 86012 4487 1 -1263.0000 -4020.8904 218.36%
2900.31/2908.69 c 2909 86132 4501 1 -1263.0000 -4015.5936 217.94%
2906.19/2914.55 c 2915 86465 4524 1 -1263.0000 -4007.1804 217.27%
2912.87/2921.23 c 2921 86772 4555 1 -1263.0000 -3991.9583 216.07%
2918.66/2927.08 c 2927 86972 4579 1 -1263.0000 -3987.6136 215.73%
2924.24/2932.68 c 2933 87092 4599 1 -1263.0000 -3984.3186 215.46%
2930.13/2938.50 c 2938 87302 4623 1 -1263.0000 -3970.5512 214.37%
2937.01/2945.47 c 2945 87572 4645 1 -1263.0000 -3960.1875 213.55%
2942.40/2950.86 c 2951 87732 4667 1 -1263.0000 -3949.1373 212.68%
2947.58/2956.00 c 2956 88012 4679 1 -1263.0000 -3946.5000 212.47%
2953.97/2962.42 c 2962 88222 4699 1 -1263.0000 -3938.0932 211.80%
2959.75/2968.28 c 2968 88582 4739 1 -1263.0000 -3923.3448 210.64%
2964.74/2973.29 c 2973 89072 4773 1 -1263.0000 -3902.9000 209.02%
2970.62/2979.15 c 2979 89222 4801 1 -1263.0000 -3890.2937 208.02%
2976.31/2984.82 c 2985 89492 4831 1 -1263.0000 -3877.9962 207.05%
2982.10/2990.67 c 2991 89912 4863 1 -1263.0000 -3864.8253 206.00%
2987.38/2995.97 c 2996 90092 4885 1 -1263.0000 -3861.0000 205.70%
2992.67/3001.22 c 3001 90552 4931 1 -1263.0000 -3842.2312 204.21%
2997.95/3006.56 c 3007 91062 4957 1 -1263.0000 -3830.9363 203.32%
3003.24/3011.80 c 3012 91282 4987 1 -1263.0000 -3815.2879 202.08%
3008.22/3016.87 c 3017 91702 5035 1 -1263.0000 -3798.1146 200.72%
3013.31/3021.97 c 3022 92062 5081 1 -1263.0000 -3785.5633 199.73%
3019.79/3028.41 c 3028 92532 5119 1 -1263.0000 -3771.5494 198.62%
3024.97/3033.63 c 3034 93122 5171 1 -1263.0000 -3757.2911 197.49%
3029.67/3038.37 c * 3038 93692 5227 1 -1264.0000 -3739.5056 195.85%
3029.77/3038.41 c * 3038 93692 5227 1 -1267.0000 -3739.5056 195.15%
3029.97/3038.67 c 3039 93782 5229 1 -1267.0000 -3738.3806 195.06%
3035.75/3044.49 c 3044 94522 5277 1 -1267.0000 -3722.1494 193.78%
3041.34/3050.00 c 3050 95162 5329 1 -1267.0000 -3712.3302 193.00%
3046.52/3055.25 c 3055 95912 5379 1 -1267.0000 -3698.9227 191.94%
3051.81/3060.50 c 3060 96352 5431 1 -1267.0000 -3685.5693 190.89%
3057.39/3066.18 c 3066 96992 5489 1 -1267.0000 -3670.8396 189.73%
3062.47/3071.26 c 3071 97562 5559 1 -1267.0000 -3654.3224 188.42%
3067.67/3076.47 c 3076 98212 5621 1 -1267.0000 -3643.1766 187.54%
3073.05/3081.86 c 3082 98842 5669 1 -1267.0000 -3635.6700 186.95%
3078.63/3087.43 c 3087 99592 5729 1 -1267.0000 -3626.3474 186.22%
3083.82/3092.67 c 3093 99982 5785 1 -1267.0000 -3612.5850 185.13%
3088.90/3097.78 c 3098 100542 5841 1 -1267.0000 -3597.5458 183.94%
3093.99/3102.86 c 3103 101152 5905 1 -1267.0000 -3582.2356 182.73%
3099.28/3108.19 c 3108 101812 5967 1 -1267.0000 -3571.6065 181.89%
3104.47/3113.32 c 3113 102402 6025 1 -1267.0000 -3561.1429 181.07%
3109.45/3118.33 c 3118 102952 6081 1 -1267.0000 -3551.2983 180.29%
3114.44/3123.34 c 3123 103742 6123 1 -1267.0000 -3544.6619 179.77%
3119.72/3128.60 c 3129 104562 6179 1 -1267.0000 -3538.5228 179.28%
3124.81/3133.76 c 3134 105292 6239 1 -1267.0000 -3525.2500 178.24%
3129.90/3138.80 c 3139 105842 6289 1 -1267.0000 -3516.7065 177.56%
3135.09/3144.01 c 3144 106252 6341 1 -1267.0000 -3508.9749 176.95%
3140.27/3149.26 c 3149 106982 6393 1 -1267.0000 -3504.2889 176.58%
3145.36/3154.38 c 3154 107752 6449 1 -1267.0000 -3498.4425 176.12%
3150.45/3159.44 c 3159 108372 6497 1 -1267.0000 -3494.1342 175.78%
3155.53/3164.55 c 3165 109042 6561 1 -1267.0000 -3487.0185 175.22%
3160.91/3169.92 c 3170 109582 6635 1 -1267.0000 -3473.5728 174.16%
3165.91/3174.96 c 3175 110212 6689 1 -1267.0000 -3468.8432 173.78%
3170.99/3180.09 c 3180 110892 6749 1 -1267.0000 -3459.4722 173.04%
3176.08/3185.13 c 3185 111512 6807 1 -1267.0000 -3457.4487 172.88%
3181.07/3190.18 c 3190 111882 6859 1 -1267.0000 -3454.2367 172.63%
3186.06/3195.19 c 3195 112442 6925 1 -1267.0000 -3449.9988 172.30%
3191.34/3200.45 c 3200 113042 6975 1 -1267.0000 -3444.3337 171.85%
3196.63/3205.77 c 3206 113842 7035 1 -1267.0000 -3438.6420 171.40%
3201.71/3210.87 c 3211 114562 7093 1 -1267.0000 -3432.4628 170.91%
3207.39/3216.54 c 3217 115402 7135 1 -1267.0000 -3427.2811 170.50%
3212.78/3221.97 c 3222 115982 7205 1 -1267.0000 -3423.3241 170.19%
3218.07/3227.28 c 3227 116552 7269 1 -1267.0000 -3418.2248 169.79%
3223.45/3232.65 c 3233 117262 7331 1 -1267.0000 -3410.1996 169.16%
3228.54/3237.78 c 3238 117922 7399 1 -1267.0000 -3406.7222 168.88%
3233.73/3242.94 c 3243 118472 7473 1 -1267.0000 -3399.2410 168.29%
3238.71/3247.96 c 3248 119202 7521 1 -1267.0000 -3395.0195 167.96%
3243.90/3253.17 c 3253 119772 7573 1 -1267.0000 -3391.5425 167.68%
3248.98/3258.25 c 3258 120302 7639 1 -1267.0000 -3389.7116 167.54%
3254.47/3263.71 c 3264 120792 7691 1 -1267.0000 -3384.5790 167.13%
3259.65/3268.99 c 3269 121522 7751 1 -1267.0000 -3379.8409 166.76%
3264.94/3274.29 c 3274 122162 7811 1 -1267.0000 -3376.6295 166.51%
3270.33/3279.69 c 3280 122792 7867 1 -1267.0000 -3373.1905 166.23%
3275.51/3284.81 c 3285 123512 7927 1 -1267.0000 -3366.2250 165.68%
3280.50/3289.88 c 3290 124172 7973 1 -1267.0000 -3364.3528 165.54%
3286.19/3295.58 c 3296 124812 8027 1 -1267.0000 -3361.2061 165.29%
3289.78/3299.13 c * 3299 125172 8067 1 -1268.0000 -3358.5000 164.87%
3289.88/3299.23 c * 3299 125172 8067 1 -1269.0000 -3358.5000 164.66%
3291.67/3301.02 c 3301 125622 8085 1 -1269.0000 -3356.7943 164.52%
3296.77/3306.17 c 3306 126412 8133 1 -1269.0000 -3351.7000 164.12%
3301.75/3311.18 c 3311 127022 8197 1 -1269.0000 -3347.6973 163.81%
3307.23/3316.60 c 3317 127682 8261 1 -1269.0000 -3343.2701 163.46%
3312.42/3321.85 c 3322 128282 8315 1 -1269.0000 -3340.0884 163.21%
3317.90/3327.37 c 3327 128912 8361 1 -1269.0000 -3338.0000 163.04%
3323.39/3332.80 c 3333 129742 8431 1 -1269.0000 -3334.2458 162.75%
3328.47/3337.90 c 3338 130362 8497 1 -1269.0000 -3328.0883 162.26%
3333.46/3342.99 c 3343 131232 8549 1 -1269.0000 -3323.0276 161.86%
3338.74/3348.22 c 3348 131872 8609 1 -1269.0000 -3319.8578 161.61%
3343.93/3353.41 c 3353 132462 8663 1 -1269.0000 -3317.4697 161.42%
3349.22/3358.79 c 3359 133092 8733 1 -1269.0000 -3313.5000 161.11%
3354.40/3363.94 c 3364 133742 8785 1 -1269.0000 -3310.4167 160.87%
3359.40/3368.95 c 3369 134202 8845 1 -1269.0000 -3304.9299 160.44%
3364.59/3374.12 c 3374 134942 8905 1 -1269.0000 -3300.4846 160.09%
3369.87/3379.40 c 3379 135622 8953 1 -1269.0000 -3298.6253 159.94%
3374.95/3384.58 c 3385 136222 9001 1 -1269.0000 -3296.8496 159.80%
3380.54/3390.11 c 3390 137052 9061 1 -1269.0000 -3295.0424 159.66%
3385.83/3395.47 c 3395 137742 9129 1 -1269.0000 -3290.3904 159.29%
3391.00/3400.60 c 3401 138482 9197 1 -1269.0000 -3285.6051 158.91%
3395.99/3405.65 c 3406 139062 9267 1 -1269.0000 -3282.1165 158.64%
3401.18/3410.81 c 3411 139852 9325 1 -1269.0000 -3278.9444 158.39%
3406.17/3415.85 c 3416 140452 9397 1 -1269.0000 -3274.2444 158.02%
3411.46/3421.15 c 3421 141062 9481 1 -1269.0000 -3269.9242 157.68%
3416.54/3426.21 c 3426 141712 9551 1 -1269.0000 -3265.1943 157.30%
3421.63/3431.39 c 3431 142442 9621 1 -1269.0000 -3260.8970 156.97%
3427.11/3436.80 c 3437 143372 9681 1 -1269.0000 -3258.5762 156.78%
3432.10/3441.83 c 3442 143922 9741 1 -1269.0000 -3255.1667 156.51%
3437.18/3446.94 c 3447 144512 9811 1 -1269.0000 -3252.3056 156.29%
3442.38/3452.17 c 3452 145312 9871 1 -1269.0000 -3248.4062 155.98%
3447.46/3457.28 c 3457 146022 9939 1 -1269.0000 -3244.9938 155.71%
3452.74/3462.54 c 3463 146652 10001 1 -1269.0000 -3240.7669 155.38%
3457.83/3467.63 c 3468 147312 10069 1 -1269.0000 -3237.2943 155.11%
3463.01/3472.81 c 3473 147952 10131 1 -1269.0000 -3233.7786 154.83%
3468.01/3477.88 c 3478 148662 10209 1 -1269.0000 -3230.6615 154.58%
3473.39/3483.22 c 3483 149372 10281 1 -1269.0000 -3226.9635 154.29%
3478.48/3488.31 c 3488 150292 10347 1 -1269.0000 -3223.9935 154.06%
3483.67/3493.52 c 3494 150972 10411 1 -1269.0000 -3220.2893 153.77%
3488.95/3498.81 c 3499 151692 10481 1 -1269.0000 -3217.2546 153.53%
3494.14/3504.05 c 3504 152402 10541 1 -1269.0000 -3214.8460 153.34%
3499.23/3509.15 c 3509 153042 10597 1 -1269.0000 -3212.1153 153.12%
3504.51/3514.49 c 3514 153752 10655 1 -1269.0000 -3208.9500 152.87%
3509.60/3519.54 c 3520 154502 10707 1 -1269.0000 -3205.5809 152.61%
3514.88/3524.88 c 3525 155332 10757 1 -1269.0000 -3203.3333 152.43%
3519.87/3529.89 c 3530 155912 10837 1 -1269.0000 -3200.6223 152.22%
3525.26/3535.23 c 3535 156852 10903 1 -1269.0000 -3198.2333 152.03%
3530.44/3540.45 c 3540 157432 10965 1 -1269.0000 -3195.0070 151.77%
3535.53/3545.53 c 3546 158042 11027 1 -1269.0000 -3192.2639 151.56%
3540.72/3550.70 c 3551 158852 11113 1 -1269.0000 -3188.1952 151.24%
3545.89/3555.94 c 3556 159402 11183 1 -1269.0000 -3184.0987 150.91%
3550.98/3561.05 c 3561 160042 11257 1 -1269.0000 -3179.7669 150.57%
3556.37/3566.40 c 3566 160712 11325 1 -1269.0000 -3177.6927 150.41%
3561.56/3571.65 c 3572 161442 11399 1 -1269.0000 -3174.6791 150.17%
3566.64/3576.77 c 3577 162222 11459 1 -1269.0000 -3171.4407 149.92%
3572.13/3582.27 c 3582 162882 11535 1 -1269.0000 -3169.0378 149.73%
3577.22/3587.39 c 3587 163872 11589 1 -1269.0000 -3167.2304 149.58%
3582.30/3592.42 c 3592 164742 11645 1 -1269.0000 -3165.6045 149.46%
3587.49/3597.61 c 3598 165462 11707 1 -1269.0000 -3163.6222 149.30%
3587.99/3598.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.99/3598.17 c Total Time : 3598.17
3587.99/3598.17 c solving : 3598.17
3587.99/3598.17 c presolving : 0.23 (included in solving)
3587.99/3598.17 c B&B Tree :
3587.99/3598.17 c nodes (total) : 1
3587.99/3598.17 c Solution :
3587.99/3598.19 c Solutions found : 31
3587.99/3598.19 c Primal Bound : -1.26900000000000e+03
3587.99/3598.19 c Dual Bound : -3.16357848279408e+03
3587.99/3598.19 c Gap : 149.29696 %
3587.99/3598.19 c * Warning: final gap: 1.49297e+00 is greater than SCIPepsilon: 1.00000e-09
3587.99/3598.19 o -1269
3587.99/3598.19 s SATISFIABLE
3587.99/3598.19 v -x35 -x34 -x33 x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 x13 -x12 x11 -x10 -x9 -x8
3587.99/3598.19 v -x7 x6 x5 -x4 x3 -x2 x1 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367
3587.99/3598.19 v -x1366 -x1365 -x1364 x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
3587.99/3598.19 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
3587.99/3598.19 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
3587.99/3598.19 v x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
3587.99/3598.19 v -x1294 -x1293 x1292 x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277
3587.99/3598.19 v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259
3587.99/3598.19 v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241
3587.99/3598.19 v x1240 -x1239 -x1238 -x1237 -x1236 -x1235 x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223
3587.99/3598.19 v -x1222 -x1221 x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
3587.99/3598.19 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187
3587.99/3598.19 v -x1186 x1185 x1184 -x1183 x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168
3587.99/3598.19 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157 x1156 x1155 -x1154 -x1153 -x1152 -x1151 -x1150
3587.99/3598.19 v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 x1142 x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
3587.99/3598.19 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114
3587.99/3598.19 v -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
3587.99/3598.19 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
3587.99/3598.19 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
3587.99/3598.19 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
3587.99/3598.19 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
3587.99/3598.19 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
3587.99/3598.19 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987
3587.99/3598.19 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966
3587.99/3598.19 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
3587.99/3598.19 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
3587.99/3598.19 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903
3587.99/3598.19 v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882
3587.99/3598.19 v -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861
3587.99/3598.19 v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840
3587.99/3598.19 v -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819
3587.99/3598.19 v -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
3587.99/3598.19 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
3587.99/3598.19 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
3587.99/3598.19 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
3587.99/3598.19 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
3587.99/3598.19 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694
3587.99/3598.19 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
3587.99/3598.19 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
3587.99/3598.19 v -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
3587.99/3598.19 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
3587.99/3598.19 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
3587.99/3598.19 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
3587.99/3598.19 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
3587.99/3598.19 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 x534 x533 -x532 -x531 -x530 -x529 -x528 -x527
3587.99/3598.19 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506
3587.99/3598.19 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 x490 -x489 -x488 -x487 -x486 -x485
3587.99/3598.19 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
3587.99/3598.19 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 x446 -x445 -x444 -x443
3587.99/3598.19 v -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
3587.99/3598.19 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
3587.99/3598.19 v -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
3587.99/3598.19 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359
3587.99/3598.19 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338
3587.99/3598.19 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317
3587.99/3598.19 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
3587.99/3598.19 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
3587.99/3598.19 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
3587.99/3598.19 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
3587.99/3598.19 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
3587.99/3598.19 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192
3587.99/3598.19 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171
3587.99/3598.19 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150
3587.99/3598.19 v -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129
3587.99/3598.19 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
3587.99/3598.19 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
3587.99/3598.19 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
3587.99/3598.19 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59471 MiB free)
memory of node 1: 64473 MiB (63209 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464270-1722385796/watcher-4464270-1722385796 -o /tmp/evaluation-result-4464270-1722385796/solver-4464270-1722385796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28643 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464270-1722385796.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=32817, runsolver pid=32814
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.15 4.12 4.09 4/258 32835
/proc/meminfo: memFree=125633928/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=40828 memory=30712 CPUtime=0.1 cores=1,3
/proc/32817/stat : 32817 (fscip) R 32814 32817 28631 0 -1 4194304 5178 0 0 0 9 1 0 0 20 0 1 0 5184135 41807872 7678 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 10207 7678 2774 3035 0 6603 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 30712 KiB
[startup+0.205325 s]*
/proc/loadavg: 4.15 4.12 4.09 5/258 32840
/proc/meminfo: memFree=125603496/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=41856 memory=31504 CPUtime=0.2 cores=1,3
/proc/32817/stat : 32817 (fscip) R 32814 32817 28631 0 -1 4194304 5419 0 0 0 19 1 0 0 20 0 1 0 5184135 42860544 7876 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 10464 7876 2774 3035 0 6860 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41856 KiB
Current children cumulated memory: 31504 KiB
[startup+0.305736 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 32852
/proc/meminfo: memFree=125562232/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=139732 memory=50960 CPUtime=0.29 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 10561 0 0 0 28 1 0 0 20 0 3 0 5184135 143085568 12740 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 34933 12740 2806 3035 0 17219 0
[pid=32817/tid=32841] ppid=32814 vsize=139732 memory=-6000919472723094124 CPUtime=0.05 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 2465 0 0 0 5 0 0 0 20 0 3 0 5184159 143085568 12740 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=139732 memory=0 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184160 143085568 12740 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 139732 KiB
Current children cumulated memory: 50960 KiB
[startup+0.700246 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125510848/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=141696 memory=74192 CPUtime=0.68 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 17191 0 0 0 66 2 0 0 20 0 3 0 5184135 145096704 18548 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 35424 18548 2950 3035 0 23430 0
[pid=32817/tid=32841] ppid=32814 vsize=141696 memory=12936 CPUtime=0.44 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 9095 0 0 0 43 1 0 0 20 0 3 0 5184159 145096704 18548 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=141696 memory=11592 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184160 145096704 18548 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 74192 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125468456/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=141696 memory=78100 CPUtime=1.48 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 23421 0 0 0 145 3 0 0 20 0 3 0 5184135 145096704 19525 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 35424 19525 2950 3035 0 24663 0
[pid=32817/tid=32841] ppid=32814 vsize=141696 memory=11592 CPUtime=1.23 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 15325 0 0 0 122 1 0 0 20 0 3 0 5184159 145096704 19525 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=141696 memory=11592 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184160 145096704 19525 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 78100 KiB
[startup+3.10541 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125457040/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=141696 memory=80532 CPUtime=3.08 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 24339 0 0 0 305 3 0 0 20 0 3 0 5184135 145096704 20133 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 35424 20133 2950 3035 0 25524 0
[pid=32817/tid=32841] ppid=32814 vsize=141696 memory=-5155631310150724485 CPUtime=2.83 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 16241 0 0 0 282 1 0 0 20 0 3 0 5184159 145096704 20133 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=141696 memory=80180 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5184160 145096704 20133 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 80532 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125428736/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=141696 memory=87588 CPUtime=6.27 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 30908 0 0 0 624 3 0 0 20 0 3 0 5184135 145096704 21897 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 35424 21897 2950 3035 0 27526 0
[pid=32817/tid=32841] ppid=32814 vsize=141696 memory=-5155631310150724485 CPUtime=6.03 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 22772 0 0 0 601 2 0 0 20 0 3 0 5184159 145096704 21897 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=141696 memory=87588 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5184160 145096704 21897 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 87588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 32903
/proc/meminfo: memFree=128181524/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=141696 memory=87784 CPUtime=12.65 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 41148 0 0 0 1261 4 0 0 20 0 3 0 5184135 145096704 21946 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 35424 21946 2998 3035 0 27526 0
[pid=32817/tid=32841] ppid=32814 vsize=141696 memory=-5155631310150724485 CPUtime=12.4 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 32680 0 0 0 1238 2 0 0 20 0 3 0 5184159 145096704 21946 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=141696 memory=55092 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5184160 145096704 21946 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 87784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 32953
/proc/meminfo: memFree=127954460/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=207232 memory=107468 CPUtime=25.41 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 61457 0 0 0 2536 5 0 0 20 0 3 0 5184135 212205568 26867 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 51808 26867 2998 3035 0 34504 0
[pid=32817/tid=32841] ppid=32814 vsize=207232 memory=104816 CPUtime=25.17 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 52409 0 0 0 2513 4 0 0 20 0 3 0 5184159 212205568 26867 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=207232 memory=0 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 5184160 212205568 26867 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 207232 KiB
Current children cumulated memory: 107468 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 33013
/proc/meminfo: memFree=127911860/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=208256 memory=142336 CPUtime=50.95 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 106417 0 0 0 5085 10 0 0 20 0 3 0 5184135 213254144 35584 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 52064 35584 2998 3035 0 46133 0
[pid=32817/tid=32841] ppid=32814 vsize=208256 memory=11592 CPUtime=50.71 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 96590 0 0 0 5062 9 0 0 20 0 3 0 5184159 213254144 35584 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=208256 memory=5520 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5184160 213254144 35584 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 208256 KiB
Current children cumulated memory: 142336 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/266 33070
/proc/meminfo: memFree=128257152/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=306276 memory=206648 CPUtime=102.01 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 177124 0 0 0 10183 18 0 0 20 0 3 0 5184135 313626624 51662 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 76569 51662 2998 3035 0 70770 0
[pid=32817/tid=32841] ppid=32814 vsize=306276 memory=12520 CPUtime=101.76 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 167189 0 0 0 10160 16 0 0 20 0 3 0 5184159 313626624 51662 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=306276 memory=205344 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5184160 313626624 51662 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 306276 KiB
Current children cumulated memory: 206648 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 33127
/proc/meminfo: memFree=126866048/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=406728 memory=329492 CPUtime=161.84 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 218855 0 0 0 16161 23 0 0 20 0 3 0 5184135 416489472 82373 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 101682 82373 2998 3035 0 95226 0
[pid=32817/tid=32841] ppid=32814 vsize=406728 memory=259696 CPUtime=161.58 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 208650 0 0 0 16137 21 0 0 20 0 3 0 5184159 416489472 82373 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=406728 memory=329432 CPUtime=0 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5184160 416489472 82373 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 406728 KiB
Current children cumulated memory: 329492 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 33137
/proc/meminfo: memFree=126737036/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=531252 memory=443976 CPUtime=221.66 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 262239 0 0 0 22137 29 0 0 20 0 3 0 5184135 544002048 110994 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 132813 110994 2998 3035 0 125711 0
################
# More data... #
################
/proc/32817/statm: 349389 318630 3302 3035 0 333354 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=1274520 CPUtime=3452.05 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3196098 0 0 0 344920 285 0 0 20 0 3 0 5184159 1431097344 318630 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=11592 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 318630 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1274520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.24 4.18 5/265 34909
/proc/meminfo: memFree=124859036/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1280428 CPUtime=3512.39 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3257966 0 0 0 350937 302 0 0 20 0 3 0 5184135 1431097344 320107 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 320107 3302 3035 0 335475 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=181864 CPUtime=3511.88 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3246516 0 0 0 350897 291 0 0 20 0 3 0 5184159 1431097344 320107 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=4768 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 320107 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1280428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.21 4.17 5/266 35090
/proc/meminfo: memFree=124832660/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3572.23 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3304101 0 0 0 356917 306 0 0 20 0 3 0 5184135 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 320109 3302 3035 0 335475 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=-7091598779833475711 CPUtime=3571.71 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3292630 0 0 0 356876 295 0 0 20 0 3 0 5184159 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=11592 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1280436 KiB
[startup+3598.2 s]
# the end of solver process 32817 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.98 s, system=3.11746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.21 4.17 5/266 35090
/proc/meminfo: memFree=124831964/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3573.92 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3304210 0 0 0 357086 306 0 0 20 0 3 0 5184135 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 320109 3302 3035 0 335475 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=-7523381394107622523 CPUtime=3573.41 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3292739 0 0 0 357046 295 0 0 20 0 3 0 5184159 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=-5155633680935826750 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1280436 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124830120/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3580.31 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3305411 0 0 0 357724 307 0 0 20 0 3 0 5184135 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 320109 3302 3035 0 335475 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3579.79 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3293940 0 0 0 357684 295 0 0 20 0 3 0 5184159 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=1280436 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 320109 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3580.31 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1280436 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124824772/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1284416 CPUtime=3583.49 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3308750 0 0 0 358042 307 0 0 20 0 3 0 5184135 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 321104 3302 3035 0 336666 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3582.98 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3297277 0 0 0 358002 296 0 0 20 0 3 0 5184159 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=1284416 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3583.49 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1284416 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124823852/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1284416 CPUtime=3585.1 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3308820 0 0 0 358202 308 0 0 20 0 3 0 5184135 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 321104 3302 3035 0 336666 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=-7091598779833475711 CPUtime=3584.57 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3297347 0 0 0 358161 296 0 0 20 0 3 0 5184159 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=12936 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1284416 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124822900/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1284416 CPUtime=3586.69 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3308912 0 0 0 358361 308 0 0 20 0 3 0 5184135 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 321104 3302 3035 0 336666 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3586.17 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3297439 0 0 0 358321 296 0 0 20 0 3 0 5184159 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=1284416 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1284416 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124822788/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1284416 CPUtime=3587.49 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3308969 0 0 0 358441 308 0 0 20 0 3 0 5184135 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 321104 3302 3035 0 336666 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=5488 CPUtime=3586.97 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3297496 0 0 0 358401 296 0 0 20 0 3 0 5184159 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=16000 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1284416 KiB
[startup+3598 s]*
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124822788/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1284416 CPUtime=3587.89 cores=1,3
/proc/32817/stat : 32817 (fscip) R 32814 32817 28631 0 -1 1077936128 3309050 0 0 0 358481 308 0 0 20 0 3 0 5184135 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 321104 3302 3035 0 336666 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=2353716 CPUtime=3587.37 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3297577 0 0 0 358441 296 0 0 20 0 3 0 5184159 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=-5155633680935826750 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3587.89 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1284416 KiB
[startup+3598.11 s]
/proc/loadavg: 4.14 4.20 4.17 5/266 35091
/proc/meminfo: memFree=124822788/131524600 swapFree=131071996/131071996
[pid=32817] ppid=32814 vsize=1397556 memory=1284416 CPUtime=3587.99 cores=1,3
/proc/32817/stat : 32817 (fscip) S 32814 32817 28631 0 -1 1077936128 3319779 0 0 0 358491 308 0 0 20 0 3 0 5184135 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
/proc/32817/statm: 349389 321104 3302 3035 0 336666 0
[pid=32817/tid=32841] ppid=32814 vsize=1397556 memory=1280436 CPUtime=3587.47 cores=1,3
/proc/32817/task/32841/stat : 32841 (fscip) R 32814 32817 28631 0 -1 4194368 3308306 0 0 0 358450 297 0 0 20 0 3 0 5184159 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
[pid=32817/tid=32846] ppid=32814 vsize=1397556 memory=1280436 CPUtime=0.03 cores=1,3
/proc/32817/task/32846/stat : 32846 (fscip) S 32814 32817 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5184160 1431097344 321104 134679101440 4194304 16623229 140732003142816 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25538560 140732003144726 140732003144842 140732003144842 140732003151856 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 1397556 KiB
Current children cumulated memory: 1284416 KiB
Child status: 0
Real time (s): 3598.2
CPU time (s): 3588.1
CPU user time (s): 3584.98
CPU system time (s): 3.11746
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 1397556
Max. memory (cumulated for all children) (KiB): 1284416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.98
system time used= 3.11746
maximum resident set size= 1286752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322573
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= 12415
involuntary context switches= 4315
# summary of solver processes directly reported to runsolver:
# pid: 32817
# total CPU time (s): 3588.1
# total CPU user time (s): 3584.98
# total CPU system time (s): 3.11746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92878 second user time and 16.2933 second system time
The end
Begin job on nodeC028 at 2024-07-31 02:29:56
IDJOB=4464270
IDBENCH=158466
IDSOLVER=3092
FILE ID=nodeC028/4464270-1722385796
RUNJOBID= nodeC028-1722378597-28643
SLURM_JOB_ID= 8249851
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.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-4464270-1722385796/watcher-4464270-1722385796 -o /tmp/evaluation-result-4464270-1722385796/solver-4464270-1722385796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28643 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464270-1722385796.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05
RANDOM SEED=83643309
nodeC028.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 : 3672.514
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.94
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 : 3544.480
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.026
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.94
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 : 3679.933
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
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 : 3672.514
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.94
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 : 3608.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
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 : 3600.176
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.94
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 : 3581.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125624740 kB
MemAvailable: 126503524 kB
Buffers: 95844 kB
Cached: 1606492 kB
SwapCached: 0 kB
Active: 280356 kB
Inactive: 5109632 kB
Active(anon): 1524 kB
Inactive(anon): 3706832 kB
Active(file): 278832 kB
Inactive(file): 1402800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56764 kB
Writeback: 0 kB
AnonPages: 3684712 kB
Mapped: 113984 kB
Shmem: 21336 kB
KReclaimable: 73952 kB
Slab: 159732 kB
SReclaimable: 73952 kB
SUnreclaim: 85780 kB
KernelStack: 4108 kB
PageTables: 16180 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3096976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2998272 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: 207572 kB
DirectMap2M: 6905856 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC028 at 2024-07-31 03:29:55