0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 31088640, getVmSize() = 31088640, SCIPgetMemUsed() = 6701309, SCIPgetMemTotal() = 9304485, SCIPgetMemExternEstim() = 3902569
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.59/0.61 c ** Estimated virtualMemUsedAtSolver = 28729344, getVmSize() = 55099392, SCIPgetMemUsed() = 18667258, SCIPgetMemTotal() = 31563634, SCIPgetMemExternEstim() = 3902569
0.59/0.61 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.59/0.61 c Original Problem :
0.59/0.61 c Problem name : instance-4434938-1721165425
0.59/0.61 c Variables : 1381 (1381 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.61 c Constraints : 2692
0.59/0.61 c Objective sense : minimize
0.59/0.61 c Presolved Problem :
0.59/0.61 c Variables : 1381 (1381 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.61 c Constraints : 1346
0.59/0.61 c Constraints : Number
0.59/0.61 c and : 1346
0.59/0.61 c ** Instance transfer method used: 0
0.59/0.62 c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.63 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.63 c Nodes Active
0.59/0.63 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.99/1.07 c * 1 0 1 1 -28.0000 - -
0.99/1.08 c * 1 0 1 1 -982.0000 - -
1.67/1.78 c * 2 0 1 1 -1048.0000 - -
6.85/6.94 c 7 2 1 1 -1048.0000 -13103.4590 -
12.64/12.77 c 13 9 8 1 -1048.0000 -13103.4590 -
13.54/13.65 c * 14 9 8 1 -1163.0000 -13103.4590 -
13.54/13.67 c * 14 9 8 1 -1213.0000 -13103.4590 -
18.12/18.22 c 18 22 21 1 -1213.0000 -12531.4387 -
21.61/21.70 c * 22 122 59 1 -1214.0000 -11162.0432 -
21.61/21.70 c * 22 122 59 1 -1215.0000 -11162.0432 -
21.61/21.71 c * 22 122 59 1 -1216.0000 -11162.0432 -
21.61/21.73 c * 22 122 59 1 -1219.0000 -11162.0432 -
21.61/21.73 c * 22 122 59 1 -1221.0000 -11162.0432 -
21.61/21.74 c * 22 122 59 1 -1225.0000 -11162.0432 -
21.93/22.10 c * 22 172 75 1 -1226.0000 -10702.7455 -
23.31/23.40 c 23 179 82 1 -1226.0000 -10702.7455 -
28.40/28.51 c 29 412 145 1 -1226.0000 -10437.4280 -
33.08/33.24 c * 33 672 197 1 -1230.0000 -9953.2240 -
33.78/33.99 c 34 752 207 1 -1230.0000 -9827.3765 -
39.06/39.21 c 39 1332 253 1 -1230.0000 -9274.9989 -
40.66/40.80 c * 41 1482 267 1 -1241.0000 -9105.2973 -
44.14/44.38 c 44 1862 297 1 -1241.0000 -8888.4641 -
49.63/49.87 c 50 2282 337 1 -1241.0000 -8748.8770 -
55.51/55.74 c 56 2555 372 1 -1241.0000 -8619.5783 -
61.40/61.65 c 62 2885 390 1 -1241.0000 -8569.8409 -
66.68/66.99 c 67 3054 419 1 -1241.0000 -8485.5802 -
71.78/72.08 c 72 3155 442 1 -1241.0000 -8435.8529 -
77.25/77.59 c 78 3432 463 1 -1241.0000 -8373.0248 -
82.34/82.68 c 83 3514 477 1 -1241.0000 -8354.8529 -
87.74/88.02 c 88 3632 491 1 -1241.0000 -8280.7841 -
92.72/93.06 c 93 3825 516 1 -1241.0000 -8247.1121 -
99.29/99.63 c 100 4084 533 1 -1241.0000 -8211.3923 -
105.28/105.65 c 106 4244 545 1 -1241.0000 -8183.4433 -
110.46/110.89 c 111 4354 561 1 -1241.0000 -8170.9723 -
115.95/116.31 c 116 4652 579 1 -1241.0000 -8147.3026 -
121.24/121.60 c 122 4855 594 1 -1241.0000 -8127.0755 -
127.02/127.44 c 127 5032 611 1 -1241.0000 -8074.6161 -
128.81/129.20 c * 129 5033 612 1 -1244.0000 -8074.6161 -
132.20/132.64 c 133 5412 625 1 -1244.0000 -8039.2973 -
137.39/137.83 c 138 5522 641 1 -1244.0000 -8018.8344 -
142.98/143.40 c 143 5657 656 1 -1244.0000 -8005.0063 -
148.16/148.62 c 149 6042 677 1 -1244.0000 -7988.1560 -
153.66/154.17 c 154 6292 695 1 -1244.0000 -7978.0566 -
159.13/159.65 c 160 6405 708 1 -1244.0000 -7953.6557 -
164.22/164.75 c 165 6544 723 1 -1244.0000 -7919.3344 -
170.00/170.52 c 171 6913 732 1 -1244.0000 -7916.7973 -
175.89/176.49 c 176 7025 744 1 -1244.0000 -7912.4063 -
181.97/182.51 c 183 7215 760 1 -1244.0000 -7889.4360 -
187.85/188.43 c 188 7303 774 1 -1244.0000 -7860.1057 -
192.94/193.59 c 194 7442 787 1 -1244.0000 -7829.4433 -
198.03/198.64 c 199 7513 798 1 -1244.0000 -7829.4433 -
204.01/204.64 c 205 7625 814 1 -1244.0000 -7820.9617 -
209.41/210.04 c 210 7882 821 1 -1244.0000 -7810.0641 -
215.87/216.50 c 217 8202 839 1 -1244.0000 -7790.0248 -
220.48/221.17 c * 221 8392 857 1 -1246.0000 -7766.1458 -
220.48/221.18 c * 221 8392 857 1 -1247.0000 -7766.1458 -
221.77/222.42 c 222 8503 860 1 -1247.0000 -7762.6605 -
227.75/228.44 c 228 8613 874 1 -1247.0000 -7746.8670 -
231.23/231.93 c * 232 8643 882 1 -1248.0000 -7727.0195 -
231.23/231.97 c * 232 8643 882 1 -1249.0000 -7727.0195 -
232.84/233.51 c 234 8724 891 1 -1249.0000 -7724.1315 -
238.02/238.72 c 239 8823 900 1 -1249.0000 -7711.2211 -
241.61/242.34 c * 242 8883 912 1 -1250.0000 -7701.7204 -
241.61/242.35 c * 242 8883 912 1 -1251.0000 -7701.7204 -
243.21/243.98 c 244 8962 919 1 -1251.0000 -7699.5158 -
248.49/249.26 c 249 9044 927 1 -1251.0000 -7681.1675 -
254.67/255.43 c 255 9163 938 1 -1251.0000 -7661.4046 -
259.86/260.65 c 261 9294 959 1 -1251.0000 -7643.5248 -
261.46/262.25 c * 262 9362 963 1 -1253.0000 -7637.4137 -
261.56/262.32 c * 262 9362 963 1 -1255.0000 -7637.4137 -
261.56/262.39 c * 262 9362 963 1 -1256.0000 -7637.4137 -
265.65/266.45 c 266 9533 970 1 -1256.0000 -7633.6168 -
271.14/271.91 c 272 9613 982 1 -1256.0000 -7618.7553 -
276.92/277.70 c 278 9802 999 1 -1256.0000 -7607.7430 -
282.32/283.16 c 283 10092 1011 1 -1256.0000 -7602.6360 -
284.00/284.82 c * 285 10093 1012 1 -1257.0000 -7602.6360 -
284.00/284.84 c * 285 10093 1012 1 -1258.0000 -7602.6360 -
287.69/288.55 c 289 10242 1021 1 -1258.0000 -7595.4736 -
293.37/294.26 c 294 10403 1038 1 -1258.0000 -7591.0497 -
298.46/299.34 c 299 10505 1050 1 -1258.0000 -7586.3322 -
304.65/305.51 c 306 10712 1061 1 -1258.0000 -7559.1392 -
309.84/310.72 c 311 10784 1075 1 -1258.0000 -7553.4137 -
316.32/317.26 c 317 10935 1092 1 -1258.0000 -7549.6402 -
322.30/323.25 c 323 11035 1104 1 -1258.0000 -7539.2955 499.31%
329.28/330.29 c 330 11092 1113 1 -1258.0000 -7536.0596 499.05%
334.57/335.58 c 336 11162 1125 1 -1258.0000 -7526.3841 498.28%
340.07/341.08 c 341 11464 1139 1 -1258.0000 -7522.5321 497.98%
345.24/346.25 c 346 11643 1148 1 -1258.0000 -7505.7263 496.64%
351.13/352.15 c 352 11732 1159 1 -1258.0000 -7500.2456 496.20%
356.41/357.41 c 357 11842 1171 1 -1258.0000 -7493.5928 495.68%
362.48/363.56 c 364 11922 1179 1 -1258.0000 -7490.0003 495.39%
368.37/369.46 c 369 12003 1192 1 -1258.0000 -7484.0205 494.91%
374.15/375.22 c 375 12173 1204 1 -1258.0000 -7479.6307 494.57%
380.23/381.37 c 381 12423 1222 1 -1258.0000 -7474.0793 494.12%
385.31/386.47 c 386 12502 1233 1 -1258.0000 -7465.5840 493.45%
390.69/391.86 c 392 12643 1246 1 -1258.0000 -7460.3581 493.03%
396.68/397.85 c 398 12774 1259 1 -1258.0000 -7455.9221 492.68%
402.66/403.89 c 404 12947 1270 1 -1258.0000 -7446.4207 491.93%
408.44/409.63 c 410 13154 1287 1 -1258.0000 -7430.6781 490.67%
414.52/415.72 c 416 13362 1295 1 -1258.0000 -7424.5936 490.19%
421.49/422.71 c 423 13472 1311 1 -1258.0000 -7416.2989 489.53%
426.89/428.15 c 428 13762 1327 1 -1258.0000 -7410.9463 489.11%
432.26/433.57 c 434 13852 1337 1 -1258.0000 -7409.5492 488.99%
438.24/439.52 c 440 13943 1348 1 -1258.0000 -7403.5313 488.52%
445.12/446.41 c 446 14082 1355 1 -1258.0000 -7395.9791 487.92%
451.20/452.55 c 453 14173 1368 1 -1258.0000 -7390.3515 487.47%
456.79/458.18 c 458 14232 1377 1 -1258.0000 -7388.2276 487.30%
461.86/463.21 c 463 14352 1389 1 -1258.0000 -7385.3293 487.07%
466.84/468.24 c 468 14413 1398 1 -1258.0000 -7377.7261 486.46%
472.03/473.43 c 473 14542 1411 1 -1258.0000 -7372.2766 486.03%
477.72/479.19 c 479 14632 1419 1 -1258.0000 -7370.7113 485.91%
483.10/484.54 c 485 14702 1427 1 -1258.0000 -7364.1434 485.39%
489.58/491.07 c 491 14783 1440 1 -1258.0000 -7356.5472 484.78%
494.76/496.24 c 496 14912 1449 1 -1258.0000 -7349.2642 484.20%
499.94/501.46 c 501 14975 1458 1 -1258.0000 -7347.7531 484.08%
506.42/508.01 c 508 15053 1470 1 -1258.0000 -7345.5456 483.91%
513.19/514.79 c 515 15102 1479 1 -1258.0000 -7336.9170 483.22%
518.59/520.19 c 520 15222 1491 1 -1258.0000 -7329.8211 482.66%
523.66/525.23 c 525 15285 1504 1 -1258.0000 -7317.2280 481.66%
530.56/532.11 c 532 15432 1509 1 -1258.0000 -7304.5627 480.65%
535.54/537.19 c 537 15574 1525 1 -1258.0000 -7300.2865 480.31%
540.81/542.45 c 542 15633 1536 1 -1258.0000 -7293.4510 479.77%
546.90/548.53 c 549 15692 1547 1 -1258.0000 -7282.7841 478.92%
552.28/553.93 c 554 15763 1562 1 -1258.0000 -7259.6437 477.08%
557.56/559.27 c 559 15822 1565 1 -1258.0000 -7254.6307 476.68%
564.15/565.83 c 566 16002 1577 1 -1258.0000 -7252.0254 476.47%
570.04/571.70 c 572 16203 1590 1 -1258.0000 -7238.5477 475.40%
575.23/576.92 c 577 16282 1601 1 -1258.0000 -7235.1675 475.13%
581.20/582.92 c 583 16378 1615 1 -1258.0000 -7230.9130 474.79%
586.41/588.13 c 588 16573 1626 1 -1258.0000 -7224.4494 474.28%
591.68/593.41 c 593 16732 1637 1 -1258.0000 -7221.2745 474.03%
597.37/599.15 c 599 16873 1650 1 -1258.0000 -7213.2353 473.39%
603.36/605.13 c 605 17005 1662 1 -1258.0000 -7210.1022 473.14%
608.44/610.21 c 610 17102 1675 1 -1258.0000 -7203.4840 472.61%
613.82/615.61 c 616 17182 1687 1 -1258.0000 -7189.4640 471.50%
621.00/622.87 c 623 17372 1695 1 -1258.0000 -7185.7924 471.21%
626.78/628.69 c 629 17435 1706 1 -1258.0000 -7184.4640 471.10%
632.77/634.65 c 635 17492 1717 1 -1258.0000 -7182.2615 470.93%
638.27/640.18 c 640 17602 1727 1 -1258.0000 -7181.0404 470.83%
643.74/645.69 c 646 17682 1745 1 -1258.0000 -7167.9270 469.79%
650.14/652.06 c 652 17902 1753 1 -1258.0000 -7159.6769 469.13%
656.12/658.05 c 658 18002 1765 1 -1258.0000 -7154.4878 468.72%
663.00/664.94 c 665 18122 1775 1 -1258.0000 -7149.5176 468.32%
669.87/671.81 c 672 18432 1791 1 -1258.0000 -7141.1626 467.66%
675.65/677.61 c 678 18634 1805 1 -1258.0000 -7139.2973 467.51%
682.23/684.23 c 684 18742 1815 1 -1258.0000 -7130.3791 466.80%
687.42/689.49 c 690 18945 1836 1 -1258.0000 -7126.3788 466.48%
694.30/696.39 c 696 19092 1845 1 -1258.0000 -7119.7695 465.96%
699.79/701.81 c 702 19342 1855 1 -1258.0000 -7116.8444 465.73%
705.37/707.43 c 707 19452 1871 1 -1258.0000 -7110.7637 465.24%
712.45/714.51 c 715 19602 1883 1 -1258.0000 -7103.7508 464.69%
718.13/720.26 c 720 19792 1897 1 -1258.0000 -7102.2973 464.57%
725.33/727.44 c 727 19952 1911 1 -1258.0000 -7094.2839 463.93%
730.71/732.85 c 733 20062 1919 1 -1258.0000 -7090.8708 463.66%
737.19/739.31 c 739 20173 1934 1 -1258.0000 -7079.7222 462.78%
742.38/744.59 c 745 20343 1946 1 -1258.0000 -7072.1469 462.17%
747.88/750.01 c 750 20492 1955 1 -1258.0000 -7064.0751 461.53%
753.14/755.33 c 755 20652 1967 1 -1258.0000 -7055.0725 460.82%
759.63/761.87 c 762 20772 1985 1 -1258.0000 -7044.7664 460.00%
765.22/767.41 c 767 20925 2000 1 -1258.0000 -7043.3769 459.89%
771.81/774.02 c 774 21062 2017 1 -1258.0000 -7038.4131 459.49%
777.79/780.07 c 780 21182 2025 1 -1258.0000 -7025.2406 458.45%
783.66/785.92 c 786 21423 2038 1 -1258.0000 -7024.3598 458.38%
788.76/791.11 c 791 21692 2053 1 -1258.0000 -7018.8095 457.93%
793.84/796.12 c 796 21873 2066 1 -1258.0000 -7014.8748 457.62%
799.12/801.44 c 801 21965 2082 1 -1258.0000 -7009.3293 457.18%
804.21/806.50 c 807 22092 2089 1 -1258.0000 -7006.0520 456.92%
810.09/812.47 c 812 22276 2107 1 -1258.0000 -7004.0804 456.76%
815.38/817.71 c 818 22562 2119 1 -1258.0000 -6990.5210 455.69%
820.57/822.97 c 823 22741 2140 1 -1258.0000 -6979.5261 454.81%
825.95/828.36 c 828 22965 2156 1 -1258.0000 -6971.4999 454.17%
831.93/834.37 c 834 23222 2167 1 -1258.0000 -6959.8582 453.25%
837.02/839.44 c 839 23462 2187 1 -1258.0000 -6955.4122 452.89%
842.20/844.68 c 845 23652 2203 1 -1258.0000 -6938.5836 451.56%
847.39/849.84 c 850 23712 2223 1 -1258.0000 -6926.8912 450.63%
852.59/855.07 c 855 23872 2239 1 -1258.0000 -6919.1714 450.01%
857.76/860.24 c 860 24092 2245 1 -1258.0000 -6909.1351 449.22%
863.75/866.24 c 866 24192 2261 1 -1258.0000 -6901.2513 448.59%
869.34/871.82 c 872 24332 2279 1 -1258.0000 -6897.9301 448.33%
875.02/877.55 c 878 24605 2294 1 -1258.0000 -6891.1834 447.79%
880.70/883.24 c 883 24807 2310 1 -1258.0000 -6883.7870 447.20%
886.79/889.31 c 889 24952 2321 1 -1258.0000 -6872.2629 446.28%
892.67/895.22 c 895 25094 2341 1 -1258.0000 -6865.5189 445.75%
896.47/899.09 c * 899 25177 2354 1 -1263.0000 -6859.4242 443.11%
897.75/900.34 c 900 25312 2353 1 -1263.0000 -6858.4688 443.03%
903.04/905.68 c 906 25422 2367 1 -1263.0000 -6850.7572 442.42%
908.13/910.74 c 911 25633 2378 1 -1263.0000 -6847.8360 442.19%
913.21/915.80 c 916 25754 2395 1 -1263.0000 -6840.6052 441.62%
918.70/921.31 c 921 25864 2409 1 -1263.0000 -6835.7704 441.23%
923.99/926.60 c 927 26052 2423 1 -1263.0000 -6823.8198 440.29%
929.17/931.81 c 932 26242 2437 1 -1263.0000 -6818.2805 439.85%
935.05/937.71 c 938 26434 2455 1 -1263.0000 -6811.0154 439.27%
941.62/944.36 c 944 26772 2469 1 -1263.0000 -6802.4137 438.59%
947.80/950.50 c 951 26942 2489 1 -1263.0000 -6800.9378 438.47%
953.89/956.61 c 957 27212 2507 1 -1263.0000 -6785.9070 437.28%
959.78/962.54 c 963 27435 2522 1 -1263.0000 -6778.2409 436.68%
965.16/967.95 c 968 27712 2535 1 -1263.0000 -6766.6059 435.76%
971.54/974.39 c 974 27942 2557 1 -1263.0000 -6752.0809 434.61%
977.43/980.26 c 980 28235 2572 1 -1263.0000 -6745.4734 434.08%
984.41/987.25 c 987 28492 2593 1 -1263.0000 -6735.9607 433.33%
990.50/993.36 c 993 28702 2609 1 -1263.0000 -6729.1517 432.79%
997.08/999.96 c 1000 28822 2623 1 -1263.0000 -6723.4475 432.34%
1002.46/1005.31 c 1005 29152 2635 1 -1263.0000 -6721.0849 432.15%
1007.45/1010.36 c 1010 29312 2649 1 -1263.0000 -6713.7763 431.57%
1012.85/1015.78 c 1016 29452 2669 1 -1263.0000 -6710.9425 431.35%
1018.33/1021.25 c 1021 29645 2682 1 -1263.0000 -6704.9220 430.87%
1023.42/1026.30 c 1026 29922 2691 1 -1263.0000 -6699.0804 430.41%
1029.21/1032.13 c 1032 30292 2709 1 -1263.0000 -6693.4861 429.97%
1034.49/1037.48 c 1037 30612 2729 1 -1263.0000 -6681.9475 429.05%
1039.67/1042.68 c 1043 31086 2747 1 -1263.0000 -6680.3280 428.93%
1044.86/1047.80 c 1048 31461 2762 1 -1263.0000 -6676.4657 428.62%
1050.44/1053.44 c 1053 31732 2785 1 -1263.0000 -6665.5556 427.76%
1055.44/1058.48 c 1058 31932 2809 1 -1263.0000 -6658.4097 427.19%
1065.91/1069.00 c 1069 32025 1 1 -1263.0000 -6656.4065 427.03%
1072.19/1075.24 c 1075 32028 4 1 -1263.0000 -6656.4065 427.03%
1077.28/1080.38 c 1080 32041 17 1 -1263.0000 -6656.4065 427.03%
1083.16/1086.21 c 1086 32073 37 1 -1263.0000 -6656.4065 427.03%
1088.36/1091.42 c 1091 32345 55 1 -1263.0000 -6656.4065 427.03%
1093.95/1097.05 c 1097 32888 102 1 -1263.0000 -6656.4065 427.03%
1099.42/1102.54 c 1103 33264 124 1 -1263.0000 -6656.4065 427.03%
1105.61/1108.73 c 1109 33695 167 1 -1263.0000 -6656.4065 427.03%
1111.29/1114.42 c 1114 33836 192 1 -1263.0000 -6656.4065 427.03%
1117.27/1120.45 c 1120 34277 229 1 -1263.0000 -6656.4065 427.03%
1123.17/1126.36 c 1126 34598 256 1 -1263.0000 -6656.4065 427.03%
1128.55/1131.76 c 1132 34788 280 1 -1263.0000 -6656.4065 427.03%
1135.13/1138.39 c 1138 34988 306 1 -1263.0000 -6656.4065 427.03%
1141.31/1144.59 c 1145 35267 321 1 -1263.0000 -6656.4065 427.03%
1147.29/1150.55 c 1151 35426 334 1 -1263.0000 -6656.4065 427.03%
1152.79/1156.04 c 1156 35666 366 1 -1263.0000 -6656.4065 427.03%
1157.77/1161.10 c 1161 35888 388 1 -1263.0000 -6656.4065 427.03%
1162.94/1166.20 c 1166 36198 410 1 -1263.0000 -6656.4065 427.03%
1168.73/1172.03 c 1172 36497 429 1 -1263.0000 -6626.1111 424.63%
1174.00/1177.39 c 1177 36727 451 1 -1263.0000 -6570.2079 420.21%
1179.39/1182.71 c 1183 36877 465 1 -1263.0000 -6515.0952 415.84%
1185.97/1189.34 c 1189 37175 483 1 -1263.0000 -6477.7654 412.89%
1191.05/1194.40 c 1194 37275 503 1 -1263.0000 -6455.1949 411.10%
1196.13/1199.55 c 1200 37386 514 1 -1263.0000 -6440.6192 409.95%
1202.11/1205.58 c 1206 37546 530 1 -1263.0000 -6414.9234 407.91%
1208.10/1211.58 c 1212 37677 545 1 -1263.0000 -6374.4444 404.71%
1213.28/1216.71 c 1217 37857 559 1 -1263.0000 -6365.3519 403.99%
1218.35/1221.84 c 1222 38165 567 1 -1263.0000 -6352.0556 402.93%
1223.83/1227.38 c 1227 38245 585 1 -1263.0000 -6332.1944 401.36%
1229.53/1233.07 c 1233 38695 601 1 -1263.0000 -6305.2809 399.23%
1235.10/1238.67 c 1239 38836 618 1 -1263.0000 -6279.5834 397.20%
1240.50/1244.09 c 1244 39055 635 1 -1263.0000 -6266.0107 396.12%
1247.36/1250.93 c 1251 39216 646 1 -1263.0000 -6261.0000 395.72%
1252.84/1256.49 c 1256 39445 665 1 -1263.0000 -6227.1759 393.05%
1258.13/1261.72 c 1262 39567 681 1 -1263.0000 -6216.0594 392.17%
1263.11/1266.78 c 1267 39717 691 1 -1263.0000 -6193.8600 390.41%
1268.70/1272.35 c 1272 39847 705 1 -1263.0000 -6185.6708 389.76%
1273.68/1277.38 c 1277 39945 719 1 -1263.0000 -6175.6152 388.96%
1278.76/1282.44 c 1282 40135 733 1 -1263.0000 -6163.5746 388.01%
1283.85/1287.59 c 1288 40208 746 1 -1263.0000 -6145.2318 386.56%
1290.03/1293.77 c 1294 40346 756 1 -1263.0000 -6125.0257 384.96%
1295.11/1298.89 c 1299 40405 771 1 -1263.0000 -6096.4167 382.69%
1301.30/1305.01 c 1305 40465 777 1 -1263.0000 -6085.8889 381.86%
1307.57/1311.34 c 1311 40805 793 1 -1263.0000 -6063.1241 380.06%
1313.36/1317.13 c 1317 41085 805 1 -1263.0000 -6039.1111 378.16%
1318.63/1322.50 c 1322 41257 821 1 -1263.0000 -6033.0000 377.67%
1324.12/1328.01 c 1328 41387 831 1 -1263.0000 -6030.3629 377.46%
1330.80/1334.67 c 1335 41528 848 1 -1263.0000 -6024.0282 376.96%
1337.88/1341.78 c 1342 41685 859 1 -1263.0000 -5998.5834 374.95%
1343.46/1347.33 c 1347 41855 877 1 -1263.0000 -5985.4191 373.90%
1348.64/1352.52 c 1353 42007 889 1 -1263.0000 -5971.5129 372.80%
1355.01/1359.01 c 1359 42236 900 1 -1263.0000 -5948.4449 370.98%
1360.10/1364.09 c 1364 42425 917 1 -1263.0000 -5942.8889 370.54%
1366.37/1370.39 c 1370 42536 924 1 -1263.0000 -5938.4476 370.19%
1372.47/1376.49 c 1376 42616 938 1 -1263.0000 -5931.0000 369.60%
1377.65/1381.66 c 1382 42815 949 1 -1263.0000 -5920.5781 368.77%
1384.23/1388.26 c 1388 42845 963 1 -1263.0000 -5914.0249 368.25%
1390.72/1394.75 c 1395 42985 981 1 -1263.0000 -5891.5959 366.48%
1396.02/1400.06 c 1400 43096 992 1 -1263.0000 -5878.9683 365.48%
1401.10/1405.14 c 1405 43218 1006 1 -1263.0000 -5858.7184 363.87%
1406.58/1410.64 c 1411 43335 1019 1 -1263.0000 -5850.1266 363.19%
1412.46/1416.55 c 1417 43466 1030 1 -1263.0000 -5847.4476 362.98%
1417.55/1421.66 c 1422 43566 1042 1 -1263.0000 -5840.4444 362.43%
1423.44/1427.54 c 1428 43859 1061 1 -1263.0000 -5834.7500 361.98%
1428.52/1432.61 c 1433 43995 1069 1 -1263.0000 -5829.5952 361.57%
1434.42/1438.54 c 1439 44185 1089 1 -1263.0000 -5817.6667 360.62%
1439.70/1443.86 c 1444 44445 1097 1 -1263.0000 -5793.4534 358.71%
1444.69/1448.89 c 1449 44525 1109 1 -1263.0000 -5791.0000 358.51%
1450.57/1454.72 c 1455 44606 1122 1 -1263.0000 -5784.0952 357.96%
1456.46/1460.66 c 1461 44743 1141 1 -1263.0000 -5778.0996 357.49%
1462.34/1466.55 c 1467 44835 1151 1 -1263.0000 -5773.5000 357.13%
1468.43/1472.69 c 1473 45016 1166 1 -1263.0000 -5762.7630 356.28%
1474.22/1478.41 c 1478 45185 1177 1 -1263.0000 -5761.7407 356.19%
1480.00/1484.21 c 1484 45326 1188 1 -1263.0000 -5757.3333 355.85%
1485.90/1490.16 c 1490 45566 1200 1 -1263.0000 -5744.6667 354.84%
1490.97/1495.21 c 1495 45725 1213 1 -1263.0000 -5733.9309 353.99%
1496.16/1500.45 c 1500 45756 1226 1 -1263.0000 -5729.9191 353.68%
1503.25/1507.50 c 1508 46105 1241 1 -1263.0000 -5722.8889 353.12%
1510.03/1514.35 c 1514 46265 1251 1 -1263.0000 -5702.3889 351.50%
1515.11/1519.41 c 1519 46355 1261 1 -1263.0000 -5692.5625 350.72%
1520.90/1525.22 c 1525 46503 1277 1 -1263.0000 -5691.2130 350.61%
1526.39/1530.76 c 1531 46756 1292 1 -1263.0000 -5678.0664 349.57%
1532.47/1536.86 c 1537 46986 1302 1 -1263.0000 -5668.9031 348.84%
1538.96/1543.36 c 1543 47187 1315 1 -1263.0000 -5660.2845 348.16%
1545.05/1549.49 c 1550 47305 1323 1 -1263.0000 -5648.1667 347.20%
1551.23/1555.62 c 1556 47375 1335 1 -1263.0000 -5642.5872 346.76%
1557.42/1561.85 c 1562 47605 1349 1 -1263.0000 -5637.6111 346.37%
1564.40/1568.86 c 1569 47995 1363 1 -1263.0000 -5627.7778 345.59%
1569.99/1574.48 c 1574 48126 1372 1 -1263.0000 -5624.1834 345.30%
1574.97/1579.49 c 1580 48305 1385 1 -1263.0000 -5610.6741 344.23%
1581.45/1585.91 c 1586 48575 1399 1 -1263.0000 -5605.0000 343.78%
1586.56/1591.02 c 1591 48655 1407 1 -1263.0000 -5594.7222 342.97%
1591.55/1596.05 c 1596 48708 1418 1 -1263.0000 -5591.4515 342.71%
1596.82/1601.36 c 1601 48845 1431 1 -1263.0000 -5581.0000 341.88%
1601.81/1606.38 c 1606 48905 1439 1 -1263.0000 -5578.6987 341.70%
1607.61/1612.17 c 1612 48985 1453 1 -1263.0000 -5561.9166 340.37%
1614.28/1618.81 c 1619 49095 1469 1 -1263.0000 -5545.8063 339.10%
1620.17/1624.72 c 1625 49377 1481 1 -1263.0000 -5539.2696 338.58%
1627.35/1631.92 c 1632 49695 1489 1 -1263.0000 -5533.0606 338.09%
1632.45/1637.01 c 1637 49806 1502 1 -1263.0000 -5530.5556 337.89%
1638.72/1643.30 c 1643 49856 1514 1 -1263.0000 -5521.2593 337.15%
1644.21/1648.82 c 1649 50087 1531 1 -1263.0000 -5513.3333 336.53%
1649.29/1653.91 c 1654 50205 1543 1 -1263.0000 -5509.6667 336.24%
1654.68/1659.35 c 1659 50497 1553 1 -1263.0000 -5505.7778 335.93%
1660.47/1665.18 c 1665 50706 1564 1 -1263.0000 -5497.8200 335.30%
1667.74/1672.40 c 1672 50945 1583 1 -1263.0000 -5491.8889 334.83%
1672.72/1677.49 c 1678 51018 1598 1 -1263.0000 -5489.0833 334.61%
1678.32/1683.02 c 1683 51175 1607 1 -1263.0000 -5478.5556 333.77%
1684.40/1689.17 c 1689 51305 1621 1 -1263.0000 -5469.0000 333.02%
1690.17/1694.93 c 1695 51515 1635 1 -1263.0000 -5461.3333 332.41%
1696.36/1701.12 c 1701 51625 1647 1 -1263.0000 -5456.2778 332.01%
1701.74/1706.54 c 1707 51798 1662 1 -1263.0000 -5450.3529 331.54%
1707.81/1712.63 c 1713 52055 1677 1 -1263.0000 -5441.8333 330.87%
1714.59/1719.41 c 1719 52275 1691 1 -1263.0000 -5435.2222 330.34%
1720.87/1725.76 c 1726 52375 1705 1 -1263.0000 -5426.3725 329.64%
1726.85/1731.76 c 1732 52565 1721 1 -1263.0000 -5422.1907 329.31%
1733.03/1737.94 c 1738 52805 1737 1 -1263.0000 -5404.1111 327.88%
1738.32/1743.30 c 1743 52915 1749 1 -1263.0000 -5399.8428 327.54%
1744.70/1749.65 c 1750 53146 1762 1 -1263.0000 -5396.1658 327.25%
1750.28/1755.27 c 1755 53195 1775 1 -1263.0000 -5388.7778 326.66%
1755.47/1760.47 c 1760 53318 1798 1 -1263.0000 -5375.7778 325.64%
1760.55/1765.55 c 1766 53538 1806 1 -1263.0000 -5370.5000 325.22%
1766.05/1771.06 c 1771 53617 1813 1 -1263.0000 -5368.2799 325.04%
1771.32/1776.33 c 1776 53695 1827 1 -1263.0000 -5362.8698 324.61%
1776.51/1781.51 c 1782 53816 1842 1 -1263.0000 -5355.5600 324.03%
1783.39/1788.48 c 1788 54045 1859 1 -1263.0000 -5354.0000 323.91%
1788.77/1793.84 c 1794 54126 1872 1 -1263.0000 -5341.8431 322.95%
1794.45/1799.58 c 1800 54298 1892 1 -1263.0000 -5332.5427 322.21%
1800.24/1805.33 c 1805 54555 1901 1 -1263.0000 -5323.6667 321.51%
1805.22/1810.34 c 1810 54645 1911 1 -1263.0000 -5320.0000 321.22%
1810.70/1815.88 c 1816 54705 1923 1 -1263.0000 -5310.1176 320.44%
1815.90/1821.05 c 1821 54866 1934 1 -1263.0000 -5308.3333 320.30%
1821.57/1826.73 c 1827 55065 1941 1 -1263.0000 -5300.5257 319.68%
1827.45/1832.62 c 1833 55225 1955 1 -1263.0000 -5295.5412 319.28%
1833.53/1838.79 c 1839 55457 1965 1 -1263.0000 -5289.7375 318.82%
1839.61/1844.83 c 1845 55525 1979 1 -1263.0000 -5288.2222 318.70%
1844.81/1850.06 c 1850 55615 1991 1 -1263.0000 -5275.6528 317.71%
1850.58/1855.80 c 1856 55706 2006 1 -1263.0000 -5257.3467 316.26%
1855.77/1861.05 c 1861 55736 2016 1 -1263.0000 -5247.0556 315.44%
1861.64/1867.01 c 1867 55995 2033 1 -1263.0000 -5243.3778 315.15%
1867.73/1873.03 c 1873 56095 2045 1 -1263.0000 -5242.6667 315.10%
1873.71/1879.04 c 1879 56196 2058 1 -1263.0000 -5233.1877 314.35%
1878.98/1884.35 c 1884 56286 2072 1 -1263.0000 -5228.1111 313.94%
1884.36/1889.79 c 1890 56458 2092 1 -1263.0000 -5218.6619 313.20%
1890.04/1895.40 c 1895 56595 2103 1 -1263.0000 -5205.4083 312.15%
1896.82/1902.23 c 1902 56775 2115 1 -1263.0000 -5198.7191 311.62%
1902.11/1907.57 c 1908 56855 2127 1 -1263.0000 -5188.9532 310.84%
1908.39/1913.83 c 1914 57035 2143 1 -1263.0000 -5181.5096 310.25%
1913.69/1919.12 c 1919 57295 2177 1 -1263.0000 -5161.6111 308.68%
1919.67/1925.16 c 1925 57448 2190 1 -1263.0000 -5148.6809 307.65%
1924.65/1930.17 c 1930 57675 2197 1 -1263.0000 -5145.7705 307.42%
1931.02/1936.50 c 1937 57975 2211 1 -1263.0000 -5141.8728 307.12%
1936.01/1941.58 c 1942 58165 2225 1 -1263.0000 -5135.2222 306.59%
1941.09/1946.60 c 1947 58295 2237 1 -1263.0000 -5131.7348 306.31%
1946.08/1951.65 c 1952 58385 2251 1 -1263.0000 -5128.3333 306.04%
1951.96/1957.50 c 1958 58505 2263 1 -1263.0000 -5124.6667 305.75%
1957.64/1963.29 c 1963 58646 2278 1 -1263.0000 -5117.7723 305.21%
1963.12/1968.75 c 1969 58978 2294 1 -1263.0000 -5102.0734 303.96%
1968.61/1974.25 c 1974 59207 2301 1 -1263.0000 -5095.1667 303.42%
1975.09/1980.71 c 1981 59355 2315 1 -1263.0000 -5083.9051 302.53%
1980.97/1986.65 c 1987 59705 2327 1 -1263.0000 -5080.0833 302.22%
1986.14/1991.88 c 1992 59815 2339 1 -1263.0000 -5076.0066 301.90%
1991.63/1997.33 c 1997 60088 2356 1 -1263.0000 -5072.3889 301.61%
1997.61/2003.35 c 2003 60315 2359 1 -1263.0000 -5070.4342 301.46%
2003.49/2009.26 c 2009 60375 2373 1 -1263.0000 -5069.7322 301.40%
2009.77/2015.56 c 2016 60585 2381 1 -1263.0000 -5066.2364 301.13%
2014.96/2020.77 c 2021 60756 2396 1 -1263.0000 -5052.4154 300.03%
2020.85/2026.60 c 2027 60886 2412 1 -1263.0000 -5050.8930 299.91%
2026.53/2032.34 c 2032 61015 2427 1 -1263.0000 -5039.1111 298.98%
2031.81/2037.69 c 2038 61098 2444 1 -1263.0000 -5014.0000 296.99%
2037.31/2043.15 c 2043 61295 2457 1 -1263.0000 -5007.5692 296.48%
2042.47/2048.35 c 2048 61525 2471 1 -1263.0000 -5001.8148 296.03%
2048.95/2054.81 c 2055 61555 2481 1 -1263.0000 -4996.6044 295.61%
2054.25/2060.18 c 2060 61685 2501 1 -1263.0000 -4983.3889 294.57%
2059.82/2065.73 c 2066 61767 2513 1 -1263.0000 -4981.2222 294.40%
2065.90/2071.86 c 2072 61935 2529 1 -1263.0000 -4974.2941 293.85%
2072.28/2078.23 c 2078 62205 2539 1 -1263.0000 -4970.5000 293.55%
2079.56/2085.53 c 2086 62355 2557 1 -1263.0000 -4961.0780 292.80%
2085.85/2091.86 c 2092 62505 2569 1 -1263.0000 -4958.1385 292.57%
2091.05/2097.06 c 2097 62635 2579 1 -1263.0000 -4957.6667 292.53%
2096.92/2102.95 c 2103 62738 2598 1 -1263.0000 -4952.9889 292.16%
2103.60/2109.61 c 2110 63125 2613 1 -1263.0000 -4944.9905 291.53%
2108.79/2114.85 c 2115 63525 2627 1 -1263.0000 -4935.7456 290.80%
2113.88/2119.94 c 2120 63715 2637 1 -1263.0000 -4926.5298 290.07%
2119.08/2125.13 c 2125 63895 2655 1 -1263.0000 -4924.8194 289.93%
2124.46/2130.57 c 2131 64125 2665 1 -1263.0000 -4919.3333 289.50%
2129.74/2135.85 c 2136 64365 2671 1 -1263.0000 -4915.4809 289.19%
2135.33/2141.47 c 2141 64545 2687 1 -1263.0000 -4911.1111 288.84%
2141.11/2147.27 c 2147 64645 2705 1 -1263.0000 -4904.7203 288.34%
2146.70/2152.84 c 2153 64835 2713 1 -1263.0000 -4901.2444 288.06%
2151.89/2158.05 c 2158 65136 2728 1 -1263.0000 -4885.3179 286.80%
2157.37/2163.59 c 2164 65272 2742 1 -1263.0000 -4879.0602 286.31%
2163.36/2169.51 c 2170 65475 2761 1 -1263.0000 -4867.3570 285.38%
2169.24/2175.49 c 2175 65578 2786 1 -1263.0000 -4856.6920 284.54%
2175.84/2182.07 c 2182 65755 2803 1 -1263.0000 -4846.8414 283.76%
2180.83/2187.10 c 2187 65915 2823 1 -1263.0000 -4835.1528 282.83%
2186.09/2192.30 c 2192 66055 2837 1 -1263.0000 -4827.5309 282.23%
2191.90/2198.18 c 2198 66275 2855 1 -1263.0000 -4820.7222 281.69%
2197.67/2204.01 c 2204 66525 2877 1 -1263.0000 -4817.0648 281.40%
2202.77/2209.01 c 2209 66705 2895 1 -1263.0000 -4807.8684 280.67%
2208.64/2214.97 c 2215 66848 2912 1 -1263.0000 -4790.2333 279.27%
2214.74/2221.04 c 2221 67028 2940 1 -1263.0000 -4785.6386 278.91%
2219.83/2226.14 c 2226 67085 2951 1 -1263.0000 -4773.5726 277.96%
2225.30/2231.65 c 2232 67337 2973 1 -1263.0000 -4765.1659 277.29%
2230.39/2236.77 c 2237 67505 2993 1 -1263.0000 -4756.8481 276.63%
2235.58/2241.99 c 2242 67625 3003 1 -1263.0000 -4751.3995 276.20%
2240.97/2247.37 c 2247 67795 3019 1 -1263.0000 -4736.9674 275.06%
2246.45/2252.80 c 2253 67945 3039 1 -1263.0000 -4729.4222 274.46%
2251.83/2258.21 c 2258 68048 3056 1 -1263.0000 -4712.0000 273.08%
2258.13/2264.58 c 2265 68365 3063 1 -1263.0000 -4702.0000 272.29%
2263.21/2269.69 c 2270 68595 3083 1 -1263.0000 -4697.1237 271.90%
2268.40/2274.85 c 2275 68705 3093 1 -1263.0000 -4690.8056 271.40%
2273.69/2280.16 c 2280 68825 3111 1 -1263.0000 -4683.5062 270.82%
2279.87/2286.32 c 2286 68875 3125 1 -1263.0000 -4675.8571 270.22%
2284.95/2291.46 c 2291 69085 3139 1 -1263.0000 -4671.5647 269.88%
2290.94/2297.44 c 2297 69225 3151 1 -1263.0000 -4649.6667 268.14%
2296.72/2303.24 c 2303 69386 3172 1 -1263.0000 -4639.0833 267.31%
2302.52/2309.10 c 2309 69515 3185 1 -1263.0000 -4629.3083 266.53%
2307.61/2314.15 c 2314 69658 3208 1 -1263.0000 -4620.6528 265.85%
2312.59/2319.19 c 2319 69798 3218 1 -1263.0000 -4612.0301 265.16%
2318.48/2325.01 c 2325 70235 3239 1 -1263.0000 -4595.5444 263.86%
2324.47/2331.07 c 2331 70495 3257 1 -1263.0000 -4587.8710 263.25%
2329.73/2336.36 c 2336 70648 3278 1 -1263.0000 -4584.6852 263.00%
2335.11/2341.72 c 2342 70795 3289 1 -1263.0000 -4581.2500 262.73%
2341.09/2347.74 c 2348 70975 3305 1 -1263.0000 -4579.1139 262.56%
2347.09/2353.70 c 2354 71105 3323 1 -1263.0000 -4566.4535 261.56%
2352.07/2358.72 c 2359 71255 3337 1 -1263.0000 -4560.1333 261.06%
2358.75/2365.41 c 2365 71475 3351 1 -1263.0000 -4553.6000 260.54%
2364.84/2371.57 c 2372 71765 3365 1 -1263.0000 -4544.1896 259.79%
2369.92/2376.60 c 2377 72075 3383 1 -1263.0000 -4530.8333 258.74%
2374.91/2381.62 c 2382 72285 3395 1 -1263.0000 -4530.1079 258.68%
2380.20/2386.94 c 2387 72485 3417 1 -1263.0000 -4515.6616 257.53%
2386.48/2393.27 c 2393 72615 3429 1 -1263.0000 -4512.4987 257.28%
2391.68/2398.48 c 2398 72705 3451 1 -1263.0000 -4506.6111 256.82%
2397.27/2404.05 c 2404 72818 3468 1 -1263.0000 -4494.2567 255.84%
2402.55/2409.34 c 2409 72986 3486 1 -1263.0000 -4483.9703 255.03%
2408.13/2414.96 c 2415 73365 3503 1 -1263.0000 -4473.0051 254.16%
2413.92/2420.77 c 2421 73495 3519 1 -1263.0000 -4455.5467 252.77%
2419.41/2426.24 c 2426 73675 3537 1 -1263.0000 -4446.9113 252.09%
2424.99/2431.88 c 2432 73836 3556 1 -1263.0000 -4431.4792 250.87%
2430.29/2437.12 c 2437 74065 3567 1 -1263.0000 -4425.1957 250.37%
2436.17/2443.02 c 2443 74331 3581 1 -1263.0000 -4420.6983 250.02%
2441.75/2448.66 c 2449 75076 3588 1 -1263.0000 -4419.3494 249.91%
2448.73/2455.66 c 2456 75495 3617 1 -1263.0000 -4396.3439 248.09%
2454.91/2461.83 c 2462 75735 3631 1 -1263.0000 -4394.1596 247.91%
2460.01/2467.01 c 2467 75865 3645 1 -1263.0000 -4393.2130 247.84%
2465.20/2472.14 c 2472 75955 3659 1 -1263.0000 -4391.8363 247.73%
2470.77/2477.77 c 2478 76176 3678 1 -1263.0000 -4382.2371 246.97%
2476.96/2483.91 c 2484 76255 3693 1 -1263.0000 -4376.9583 246.55%
2482.44/2489.43 c 2489 76505 3713 1 -1263.0000 -4369.1402 245.93%
2488.05/2495.09 c 2495 76695 3723 1 -1263.0000 -4367.1950 245.78%
2494.71/2501.79 c 2502 76845 3739 1 -1263.0000 -4354.3333 244.76%
2500.40/2507.41 c 2507 77055 3757 1 -1263.0000 -4344.7885 244.01%
2506.10/2513.19 c 2513 77275 3777 1 -1263.0000 -4340.4504 243.66%
2511.98/2519.08 c 2519 77355 3791 1 -1263.0000 -4330.8889 242.90%
2517.35/2524.46 c 2524 77666 3804 1 -1263.0000 -4316.8069 241.79%
2523.34/2530.47 c 2530 77775 3813 1 -1263.0000 -4304.4167 240.81%
2528.95/2536.05 c 2536 78015 3829 1 -1263.0000 -4293.0661 239.91%
2535.22/2542.39 c 2542 78205 3843 1 -1263.0000 -4280.9413 238.95%
2541.40/2548.51 c 2549 78286 3862 1 -1263.0000 -4268.6069 237.97%
2547.28/2554.40 c 2554 78425 3871 1 -1263.0000 -4257.2051 237.07%
2552.57/2559.75 c 2560 78525 3887 1 -1263.0000 -4248.9521 236.42%
2557.76/2564.96 c 2565 78767 3925 1 -1263.0000 -4237.7328 235.53%
2564.24/2571.49 c 2572 78895 3941 1 -1263.0000 -4221.5380 234.25%
2570.53/2577.71 c 2578 79145 3955 1 -1263.0000 -4213.8367 233.64%
2575.92/2583.17 c 2583 79245 3965 1 -1263.0000 -4210.6111 233.38%
2581.30/2588.54 c 2589 79416 3974 1 -1263.0000 -4208.9395 233.25%
2587.38/2594.63 c 2595 79638 3996 1 -1263.0000 -4202.9667 232.78%
2593.56/2600.88 c 2601 79845 4009 1 -1263.0000 -4192.9773 231.99%
2599.56/2606.80 c 2607 80015 4027 1 -1263.0000 -4184.0939 231.28%
2606.43/2613.70 c 2614 80245 4047 1 -1263.0000 -4174.1137 230.49%
2611.52/2618.82 c 2619 80585 4069 1 -1263.0000 -4155.4400 229.01%
2616.82/2624.13 c 2624 80635 4079 1 -1263.0000 -4154.4333 228.93%
2622.40/2629.75 c 2630 80856 4102 1 -1263.0000 -4135.0659 227.40%
2627.79/2635.14 c 2635 80955 4107 1 -1263.0000 -4132.6207 227.21%
2632.97/2640.38 c 2640 81285 4125 1 -1263.0000 -4120.8778 226.28%
2639.25/2646.61 c 2647 81465 4135 1 -1263.0000 -4117.7130 226.03%
2645.54/2652.98 c 2653 81755 4145 1 -1263.0000 -4114.8214 225.80%
2651.92/2659.33 c 2659 81898 4166 1 -1263.0000 -4105.2667 225.04%
2657.01/2664.47 c 2664 81945 4175 1 -1263.0000 -4100.7567 224.68%
2663.39/2670.81 c 2671 82025 4185 1 -1263.0000 -4093.0833 224.08%
2669.98/2677.41 c 2677 82165 4197 1 -1263.0000 -4088.6000 223.72%
2675.67/2683.17 c 2683 82571 4205 1 -1263.0000 -4080.0682 223.05%
2681.44/2688.98 c 2689 82815 4223 1 -1263.0000 -4077.0889 222.81%
2687.73/2695.21 c 2695 82935 4235 1 -1263.0000 -4074.4106 222.60%
2693.82/2701.30 c 2701 83155 4251 1 -1263.0000 -4068.3966 222.12%
2699.51/2707.07 c 2707 83265 4261 1 -1263.0000 -4065.9259 221.93%
2705.49/2713.07 c 2713 83385 4279 1 -1263.0000 -4055.7045 221.12%
2710.78/2718.39 c 2718 83556 4290 1 -1263.0000 -4054.4952 221.02%
2716.66/2724.27 c 2724 83655 4303 1 -1263.0000 -4046.2026 220.36%
2721.85/2729.49 c 2729 83895 4321 1 -1263.0000 -4036.9413 219.63%
2727.24/2734.88 c 2735 84035 4343 1 -1263.0000 -4032.9333 219.31%
2734.01/2741.63 c 2742 84365 4373 1 -1263.0000 -4022.6548 218.50%
2740.19/2747.87 c 2748 84515 4383 1 -1263.0000 -4019.4049 218.24%
2745.59/2753.20 c 2753 84618 4394 1 -1263.0000 -4014.8769 217.88%
2751.27/2758.90 c 2759 85085 4419 1 -1263.0000 -4007.8475 217.33%
2756.56/2764.29 c 2764 85286 4424 1 -1263.0000 -3992.5586 216.12%
2761.85/2769.54 c 2770 85564 4434 1 -1263.0000 -3991.2963 216.02%
2767.23/2774.94 c 2775 85875 4447 1 -1263.0000 -3984.9170 215.51%
2772.82/2780.56 c 2781 85995 4455 1 -1263.0000 -3975.9692 214.80%
2778.00/2785.73 c 2786 86295 4465 1 -1263.0000 -3970.6429 214.38%
2783.79/2791.53 c 2792 86478 4478 1 -1263.0000 -3964.5556 213.90%
2789.17/2796.98 c 2797 86805 4495 1 -1263.0000 -3953.8527 213.05%
2794.96/2802.70 c 2803 87065 4513 1 -1263.0000 -3940.8000 212.02%
2800.94/2808.76 c 2809 87185 4531 1 -1263.0000 -3927.6247 210.98%
2807.33/2815.18 c 2815 87215 4543 1 -1263.0000 -3923.6508 210.66%
2812.80/2820.68 c 2821 87360 4556 1 -1263.0000 -3921.7269 210.51%
2818.49/2826.31 c 2826 87725 4573 1 -1263.0000 -3913.6125 209.87%
2823.77/2831.62 c 2832 88365 4595 1 -1263.0000 -3906.2112 209.28%
2829.05/2836.92 c 2837 88865 4629 1 -1263.0000 -3897.7222 208.61%
2834.03/2841.93 c 2842 89505 4669 1 -1263.0000 -3882.3989 207.40%
2839.01/2846.97 c 2847 89845 4705 1 -1263.0000 -3866.6616 206.15%
2844.21/2852.12 c 2852 90185 4743 1 -1263.0000 -3848.4315 204.71%
2849.19/2857.14 c 2857 90395 4777 1 -1263.0000 -3832.7889 203.47%
2854.96/2863.01 c 2863 90935 4831 1 -1263.0000 -3811.9761 201.82%
2860.35/2868.34 c 2868 91285 4885 1 -1263.0000 -3798.2240 200.73%
2865.93/2874.01 c 2874 91985 4931 1 -1263.0000 -3774.6047 198.86%
2871.40/2879.41 c 2879 92535 4981 1 -1263.0000 -3761.1659 197.80%
2877.01/2885.09 c 2885 92975 5023 1 -1263.0000 -3748.4444 196.79%
2882.68/2890.77 c 2891 93505 5065 1 -1263.0000 -3736.3794 195.83%
2887.87/2895.90 c 2896 93765 5097 1 -1263.0000 -3719.8337 194.52%
2893.07/2901.14 c 2901 94145 5151 1 -1263.0000 -3698.9095 192.87%
2898.73/2906.83 c 2907 94805 5193 1 -1263.0000 -3685.6296 191.82%
2903.94/2912.09 c 2912 95435 5241 1 -1263.0000 -3666.5512 190.30%
2909.31/2917.44 c 2917 95985 5309 1 -1263.0000 -3645.6532 188.65%
2914.69/2922.81 c 2923 96425 5365 1 -1263.0000 -3635.2002 187.82%
2919.99/2928.13 c 2928 97015 5429 1 -1263.0000 -3624.3500 186.96%
2925.27/2933.47 c 2933 97385 5471 1 -1263.0000 -3620.6525 186.67%
2930.36/2938.58 c 2939 97895 5511 1 -1263.0000 -3610.5380 185.87%
2935.54/2943.76 c 2944 98375 5543 1 -1263.0000 -3607.3135 185.61%
2940.53/2948.77 c 2949 98735 5579 1 -1263.0000 -3598.8581 184.95%
2945.71/2953.95 c 2954 99065 5619 1 -1263.0000 -3595.5901 184.69%
2950.82/2959.02 c 2959 99435 5671 1 -1263.0000 -3587.8131 184.07%
2955.80/2964.05 c 2964 100055 5735 1 -1263.0000 -3581.6007 183.58%
2960.88/2969.19 c 2969 100705 5791 1 -1263.0000 -3571.3333 182.77%
2966.26/2974.58 c 2975 101295 5843 1 -1263.0000 -3557.6694 181.68%
2971.34/2979.65 c 2980 101835 5899 1 -1263.0000 -3548.6875 180.97%
2976.74/2985.09 c 2985 102325 5965 1 -1263.0000 -3541.7730 180.43%
2981.82/2990.16 c 2990 102885 6035 1 -1263.0000 -3531.2274 179.59%
2987.09/2995.43 c 2995 103385 6095 1 -1263.0000 -3522.8667 178.93%
2992.07/3000.47 c 3000 103955 6159 1 -1263.0000 -3518.1255 178.55%
2997.36/3005.72 c 3006 104435 6201 1 -1263.0000 -3509.9881 177.91%
3003.05/3011.46 c 3011 105142 6256 1 -1263.0000 -3504.7986 177.50%
3008.93/3017.37 c 3017 105975 6311 1 -1263.0000 -3493.9340 176.64%
3014.21/3022.67 c 3023 106685 6369 1 -1263.0000 -3488.4874 176.21%
3019.62/3028.07 c 3028 107465 6415 1 -1263.0000 -3483.0902 175.78%
3025.19/3033.61 c 3034 108155 6485 1 -1263.0000 -3473.8631 175.05%
3030.47/3038.94 c 3039 108635 6543 1 -1263.0000 -3468.2950 174.61%
3035.86/3044.35 c 3044 109215 6587 1 -1263.0000 -3464.3813 174.30%
3040.94/3049.46 c 3049 109725 6635 1 -1263.0000 -3459.8778 173.94%
3046.12/3054.68 c 3055 110345 6707 1 -1263.0000 -3451.4815 173.28%
3051.22/3059.75 c 3060 111035 6761 1 -1263.0000 -3444.3333 172.71%
3056.30/3064.88 c 3065 111715 6823 1 -1263.0000 -3439.1977 172.30%
3061.49/3070.08 c 3070 112255 6895 1 -1263.0000 -3430.1558 171.59%
3066.58/3075.13 c 3075 112905 6955 1 -1263.0000 -3424.7713 171.16%
3071.76/3080.32 c 3080 113495 7017 1 -1263.0000 -3417.1343 170.56%
3077.34/3085.90 c 3086 114205 7085 1 -1263.0000 -3411.2422 170.09%
3082.43/3091.03 c 3091 114805 7155 1 -1263.0000 -3406.8750 169.74%
3087.52/3096.16 c 3096 115405 7217 1 -1263.0000 -3403.1667 169.45%
3092.69/3101.36 c 3101 116095 7277 1 -1263.0000 -3396.4903 168.92%
3097.78/3106.41 c 3106 116635 7335 1 -1263.0000 -3389.3368 168.36%
3102.96/3111.61 c 3112 117345 7387 1 -1263.0000 -3385.9009 168.08%
3108.05/3116.72 c 3117 118085 7437 1 -1263.0000 -3382.9402 167.85%
3113.23/3121.95 c 3122 118805 7505 1 -1263.0000 -3378.2573 167.48%
3118.44/3127.19 c 3127 119515 7563 1 -1263.0000 -3374.4326 167.18%
3123.81/3132.56 c 3133 120355 7605 1 -1263.0000 -3371.9675 166.98%
3129.00/3137.76 c 3138 121025 7665 1 -1263.0000 -3366.1774 166.52%
3133.98/3142.79 c 3143 121795 7737 1 -1263.0000 -3359.1655 165.97%
3139.28/3148.03 c 3148 122465 7805 1 -1263.0000 -3354.5330 165.60%
3144.55/3153.35 c 3153 123145 7877 1 -1263.0000 -3348.3452 165.11%
3149.64/3158.42 c 3158 123635 7931 1 -1263.0000 -3342.9688 164.68%
3154.62/3163.47 c 3163 124305 7999 1 -1263.0000 -3338.1202 164.30%
3159.90/3168.71 c 3169 125135 8067 1 -1263.0000 -3331.3548 163.77%
3165.19/3174.07 c 3174 125635 8131 1 -1263.0000 -3324.3660 163.21%
3170.57/3179.42 c 3179 126325 8195 1 -1263.0000 -3317.3642 162.66%
3176.06/3184.94 c 3185 127095 8255 1 -1263.0000 -3314.3286 162.42%
3181.25/3190.18 c 3190 127715 8321 1 -1263.0000 -3308.2333 161.93%
3186.33/3195.27 c 3195 128355 8385 1 -1263.0000 -3303.4667 161.56%
3191.71/3200.62 c 3201 128985 8451 1 -1263.0000 -3298.6571 161.18%
3196.80/3205.76 c 3206 129735 8503 1 -1263.0000 -3296.5397 161.01%
3202.20/3211.16 c 3211 130374 8558 1 -1263.0000 -3294.1366 160.82%
3207.78/3216.71 c 3217 130985 8623 1 -1263.0000 -3290.3091 160.52%
3212.76/3221.77 c 3222 131658 8684 1 -1263.0000 -3288.2215 160.35%
3217.94/3226.93 c 3227 132295 8745 1 -1263.0000 -3285.4889 160.13%
3222.93/3231.99 c 3232 133025 8791 1 -1263.0000 -3283.0545 159.94%
3228.13/3237.13 c 3237 133735 8847 1 -1263.0000 -3280.1692 159.71%
3233.12/3242.19 c 3242 134305 8897 1 -1263.0000 -3277.4254 159.50%
3238.78/3247.85 c 3248 134995 8963 1 -1263.0000 -3275.1368 159.31%
3243.77/3252.89 c 3253 135605 9019 1 -1263.0000 -3270.0562 158.91%
3248.86/3257.97 c 3258 136305 9075 1 -1263.0000 -3267.2487 158.69%
3253.96/3263.09 c 3263 137025 9123 1 -1263.0000 -3263.7500 158.41%
3259.13/3268.20 c 3268 137625 9189 1 -1263.0000 -3259.7815 158.10%
3264.21/3273.34 c 3273 138285 9253 1 -1263.0000 -3252.5460 157.53%
3269.40/3278.58 c 3279 138935 9305 1 -1263.0000 -3248.4000 157.20%
3274.69/3283.83 c 3284 139585 9371 1 -1263.0000 -3246.2877 157.03%
3279.89/3289.06 c 3289 140235 9433 1 -1263.0000 -3243.0754 156.78%
3285.16/3294.32 c 3294 140775 9477 1 -1263.0000 -3237.8335 156.36%
3290.25/3299.45 c 3299 141365 9539 1 -1263.0000 -3234.0835 156.06%
3295.43/3304.63 c 3305 142085 9615 1 -1263.0000 -3228.9619 155.66%
3300.42/3309.64 c 3310 142685 9681 1 -1263.0000 -3225.4062 155.38%
3305.82/3315.04 c 3315 143375 9735 1 -1263.0000 -3223.7400 155.24%
3310.99/3320.24 c 3320 143875 9787 1 -1263.0000 -3221.6880 155.08%
3316.07/3325.34 c 3325 144305 9855 1 -1263.0000 -3218.9948 154.87%
3321.35/3330.65 c 3331 144955 9929 1 -1263.0000 -3215.9333 154.63%
3326.45/3335.73 c 3336 145635 10001 1 -1263.0000 -3212.3004 154.34%
3331.43/3340.75 c 3341 146285 10049 1 -1263.0000 -3210.2500 154.18%
3336.41/3345.77 c 3346 146905 10107 1 -1263.0000 -3207.6473 153.97%
3341.50/3350.85 c 3351 147615 10173 1 -1263.0000 -3204.3313 153.71%
3346.59/3355.92 c 3356 148245 10213 1 -1263.0000 -3203.1342 153.61%
3351.87/3361.26 c 3361 148825 10277 1 -1263.0000 -3200.3281 153.39%
3356.96/3366.31 c 3366 149445 10347 1 -1263.0000 -3196.1834 153.06%
3361.94/3371.39 c 3371 149995 10409 1 -1263.0000 -3192.2442 152.75%
3367.34/3376.76 c 3377 150755 10477 1 -1263.0000 -3188.5594 152.46%
3372.42/3381.87 c 3382 151385 10547 1 -1263.0000 -3184.9034 152.17%
3377.77/3387.25 c 3387 151995 10597 1 -1263.0000 -3182.5325 151.98%
3382.83/3392.39 c 3392 152615 10657 1 -1263.0000 -3180.3291 151.81%
3387.92/3397.49 c 3397 153135 10715 1 -1263.0000 -3177.4206 151.58%
3392.91/3402.49 c 3402 153615 10775 1 -1263.0000 -3175.3455 151.41%
3398.09/3407.63 c 3408 154175 10843 1 -1263.0000 -3173.5276 151.27%
3403.49/3413.03 c 3413 155155 10913 1 -1263.0000 -3170.8791 151.06%
3408.66/3418.21 c 3418 155785 10977 1 -1263.0000 -3168.5704 150.88%
3413.95/3423.51 c 3424 156325 11061 1 -1263.0000 -3164.4553 150.55%
3419.13/3428.72 c 3429 156875 11123 1 -1263.0000 -3162.0364 150.36%
3424.21/3433.81 c 3434 157735 11185 1 -1263.0000 -3160.2038 150.21%
3429.41/3439.08 c 3439 158525 11257 1 -1263.0000 -3157.1172 149.97%
3434.58/3444.23 c 3444 159145 11331 1 -1263.0000 -3154.6720 149.78%
3439.66/3449.30 c 3449 159995 11387 1 -1263.0000 -3151.2606 149.51%
3444.94/3454.61 c 3455 160825 11459 1 -1263.0000 -3148.6901 149.30%
3450.02/3459.79 c 3460 161675 11527 1 -1263.0000 -3145.9790 149.09%
3455.11/3464.80 c 3465 162345 11595 1 -1263.0000 -3142.6411 148.82%
3460.20/3469.90 c 3470 162985 11659 1 -1263.0000 -3139.8867 148.61%
3465.40/3475.17 c 3475 163775 11721 1 -1263.0000 -3136.4571 148.33%
3470.47/3480.23 c 3480 164755 11793 1 -1263.0000 -3134.7002 148.19%
3475.55/3485.35 c 3485 165395 11875 1 -1263.0000 -3132.3333 148.01%
3480.74/3490.50 c 3490 166145 11961 1 -1263.0000 -3130.3714 147.85%
3485.82/3495.63 c 3496 167075 12043 1 -1263.0000 -3126.4338 147.54%
3490.91/3500.77 c 3501 168015 12111 1 -1263.0000 -3123.8074 147.33%
3495.31/3505.13 c * 3505 168595 12171 1 -1265.0000 -3122.1623 146.81%
3496.00/3505.82 c 3506 168765 12181 1 -1265.0000 -3122.0221 146.80%
3497.89/3507.78 c * 3508 169015 12209 1 -1266.0000 -3121.3412 146.55%
3497.89/3507.78 c * 3508 169015 12209 1 -1267.0000 -3121.3412 146.36%
3501.08/3510.94 c 3511 169525 12253 1 -1267.0000 -3119.4854 146.21%
3506.45/3516.35 c 3516 170085 12305 1 -1267.0000 -3117.4205 146.05%
3511.43/3521.38 c 3521 170745 12373 1 -1267.0000 -3115.1117 145.87%
3516.61/3526.53 c 3527 171405 12441 1 -1267.0000 -3112.9283 145.69%
3521.59/3531.60 c 3532 172395 12499 1 -1267.0000 -3111.3889 145.57%
3526.88/3536.82 c 3537 173045 12567 1 -1267.0000 -3109.4208 145.42%
3532.57/3542.50 c 3542 173595 12651 1 -1267.0000 -3105.9167 145.14%
3537.56/3547.53 c 3548 174195 12733 1 -1267.0000 -3103.1075 144.92%
3542.84/3552.85 c 3553 175025 12801 1 -1267.0000 -3099.8333 144.66%
3547.93/3557.95 c 3558 175695 12875 1 -1267.0000 -3097.2908 144.46%
3553.21/3563.27 c 3563 176605 12933 1 -1267.0000 -3095.6577 144.33%
3558.29/3568.39 c 3568 177295 12985 1 -1267.0000 -3093.3307 144.15%
3563.88/3574.01 c 3574 178115 13075 1 -1267.0000 -3091.1376 143.97%
3569.08/3579.18 c 3579 178955 13145 1 -1267.0000 -3088.8186 143.79%
3574.06/3584.19 c 3584 179695 13205 1 -1267.0000 -3087.2983 143.67%
3576.14/3586.21 c * 3586 180075 13233 1 -1270.0000 -3086.6616 143.04%
3579.43/3589.60 c 3590 180475 13269 1 -1270.0000 -3085.0884 142.92%
3584.61/3594.71 c 3595 181275 13339 1 -1270.0000 -3082.1446 142.69%
3589.71/3599.85 c 3600 182045 13393 1 -1270.0000 -3079.7781 142.50%
3590.02/3600.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.02/3600.17 c Total Time : 3600.16
3590.02/3600.17 c solving : 3600.16
3590.02/3600.17 c presolving : 0.58 (included in solving)
3590.02/3600.17 c B&B Tree :
3590.02/3600.17 c nodes (total) : 1
3590.02/3600.17 c Solution :
3590.02/3600.17 c Solutions found : 33
3590.02/3600.17 c Primal Bound : -1.27000000000000e+03
3590.02/3600.17 c Dual Bound : -3.07977813418872e+03
3590.02/3600.17 c Gap : 142.50222 %
3590.02/3600.17 c * Warning: final gap: 1.42502e+00 is greater than SCIPepsilon: 1.00000e-09
3590.02/3600.17 o -1270
3590.02/3600.17 s SATISFIABLE
3590.02/3600.17 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 -x7
3590.02/3600.17 v -x6 x5 -x4 -x3 x2 x1 x1381 x1380 x1379 -x1378 -x1377 -x1376 x1375 x1374 x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 x1366
3590.02/3600.17 v x1365 x1364 -x1363 x1362 -x1361 x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
3590.02/3600.17 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
3590.02/3600.17 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 x1311
3590.02/3600.17 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 x1297 -x1296 -x1295 -x1294 -x1293
3590.02/3600.17 v -x1292 x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
3590.02/3600.17 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
3590.02/3600.17 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 x1239
3590.02/3600.17 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221
3590.02/3600.17 v -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
3590.02/3600.17 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185
3590.02/3600.17 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
3590.02/3600.17 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 -x1152 -x1151 -x1150 -x1149 x1148
3590.02/3600.17 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 x1138 x1137 -x1136 -x1135 -x1134 x1133 x1132 x1131 -x1130
3590.02/3600.17 v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 x1116 x1115 -x1114 -x1113 x1112 x1111
3590.02/3600.17 v x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 -x1098 x1097 x1096 -x1095 -x1094 -x1093 -x1092
3590.02/3600.17 v -x1091 -x1090 x1089 x1088 x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
3590.02/3600.17 v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056
3590.02/3600.17 v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
3590.02/3600.17 v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
3590.02/3600.17 v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
3590.02/3600.17 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982
3590.02/3600.17 v -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961
3590.02/3600.17 v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940
3590.02/3600.17 v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919
3590.02/3600.17 v -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899
3590.02/3600.17 v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878
3590.02/3600.17 v -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857
3590.02/3600.17 v -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836
3590.02/3600.17 v -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815
3590.02/3600.17 v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794
3590.02/3600.17 v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773
3590.02/3600.17 v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752
3590.02/3600.17 v -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732
3590.02/3600.17 v -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711
3590.02/3600.17 v -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690
3590.02/3600.17 v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669
3590.02/3600.17 v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648
3590.02/3600.17 v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627
3590.02/3600.17 v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
3590.02/3600.17 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
3590.02/3600.17 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564
3590.02/3600.17 v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
3590.02/3600.17 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523
3590.02/3600.17 v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 x508 -x507 x506 -x505 -x504 -x503 -x502 -x501
3590.02/3600.17 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
3590.02/3600.17 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
3590.02/3600.17 v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
3590.02/3600.17 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418
3590.02/3600.17 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
3590.02/3600.17 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376
3590.02/3600.17 v -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
3590.02/3600.17 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
3590.02/3600.17 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3590.02/3600.17 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
3590.02/3600.17 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3590.02/3600.17 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251
3590.02/3600.17 v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230
3590.02/3600.17 v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
3590.02/3600.17 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
3590.02/3600.17 v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
3590.02/3600.17 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
3590.02/3600.17 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
3590.02/3600.18 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
3590.02/3600.18 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
3590.02/3600.18 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
3590.02/3600.18 v -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: 64096 MiB (59710 MiB free)
memory of node 1: 64473 MiB (61719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434938-1721165425/watcher-4434938-1721165425 -o /tmp/evaluation-result-4434938-1721165425/solver-4434938-1721165425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874074 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434938-1721165425.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=874614, runsolver pid=874607
[startup+0.10064 s]*
/proc/loadavg: 1.37 1.19 1.72 6/256 874618
/proc/meminfo: memFree=124314320/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=34416 memory=23920 CPUtime=0.11 cores=4,6
/proc/874614/stat : 874614 (fscip) R 874607 874614 874063 0 -1 4194304 3637 0 0 0 10 1 0 0 20 0 1 0 168701324 35241984 5980 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 8604 5980 2654 3032 0 5004 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 34416 KiB
Current children cumulated memory: 23920 KiB
[startup+0.214789 s]*
/proc/loadavg: 1.37 1.19 1.72 5/252 874618
/proc/meminfo: memFree=124261468/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=40636 memory=30352 CPUtime=0.22 cores=4,6
/proc/874614/stat : 874614 (fscip) R 874607 874614 874063 0 -1 4194304 5116 0 0 0 21 1 0 0 20 0 1 0 168701324 41611264 7588 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 10159 7588 2750 3032 0 6559 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40636 KiB
Current children cumulated memory: 30352 KiB
[startup+0.315128 s]*
/proc/loadavg: 1.37 1.19 1.72 8/252 874631
/proc/meminfo: memFree=124261648/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=40812 memory=30616 CPUtime=0.32 cores=4,6
/proc/874614/stat : 874614 (fscip) R 874607 874614 874063 0 -1 4194304 5176 0 0 0 31 1 0 0 20 0 1 0 168701324 41791488 7654 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 10203 7654 2750 3032 0 6603 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40812 KiB
Current children cumulated memory: 30616 KiB
[startup+0.700641 s]
/proc/loadavg: 1.37 1.19 1.72 5/249 874648
/proc/meminfo: memFree=124226240/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=139716 memory=52444 CPUtime=0.68 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 10450 0 0 0 66 2 0 0 20 0 3 0 168701324 143069184 13111 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 34929 13111 2798 3032 0 17111 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139716 KiB
Current children cumulated memory: 52444 KiB
[startup+1.50031 s]
/proc/loadavg: 1.37 1.19 1.72 5/250 874656
/proc/meminfo: memFree=124189148/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=143560 memory=73692 CPUtime=1.48 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 15636 0 0 0 144 4 0 0 20 0 3 0 168701324 147005440 18423 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 35890 18423 2910 3032 0 22755 0
[pid=874614/tid=874654] ppid=874607 vsize=143560 memory=0 CPUtime=0.85 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 7542 0 0 0 84 1 0 0 20 0 3 0 168701386 147005440 18423 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=143560 memory=0 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 168701388 147005440 18423 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 143560 KiB
Current children cumulated memory: 73692 KiB
[startup+3.114 s]
/proc/loadavg: 1.37 1.19 1.72 5/256 874666
/proc/meminfo: memFree=123574312/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=141680 memory=81440 CPUtime=3.07 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 24752 0 0 0 302 5 0 0 20 0 3 0 168701324 145080320 20360 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 35420 20360 2958 3032 0 24964 0
[pid=874614/tid=874654] ppid=874607 vsize=141680 memory=5624 CPUtime=2.45 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 16415 0 0 0 242 3 0 0 20 0 3 0 168701386 145080320 20360 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=141680 memory=52972 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 168701388 145080320 20360 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 141680 KiB
Current children cumulated memory: 81440 KiB
[startup+6.30032 s]
/proc/loadavg: 1.74 1.27 1.74 5/256 874668
/proc/meminfo: memFree=123306312/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=141680 memory=90248 CPUtime=6.25 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 30361 0 0 0 619 6 0 0 20 0 3 0 168701324 145080320 22562 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 35420 22562 2958 3032 0 27531 0
[pid=874614/tid=874654] ppid=874607 vsize=141680 memory=90248 CPUtime=5.63 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 22024 0 0 0 559 4 0 0 20 0 3 0 168701386 145080320 22562 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=141680 memory=0 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 168701388 145080320 22562 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 141680 KiB
Current children cumulated memory: 90248 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.34 1.76 5/256 874668
/proc/meminfo: memFree=123260968/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=141680 memory=90268 CPUtime=12.64 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 40266 0 0 0 1257 7 0 0 20 0 3 0 168701324 145080320 22567 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 35420 22567 2958 3032 0 27531 0
[pid=874614/tid=874654] ppid=874607 vsize=141680 memory=90116 CPUtime=12.02 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 31860 0 0 0 1197 5 0 0 20 0 3 0 168701386 145080320 22567 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=141680 memory=12740 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 168701388 145080320 22567 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 141680 KiB
Current children cumulated memory: 90268 KiB
[startup+25.5004 s]
/proc/loadavg: 2.67 1.52 1.81 5/254 874671
/proc/meminfo: memFree=123242176/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=207216 memory=107852 CPUtime=25.4 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 60760 0 0 0 2532 8 0 0 20 0 3 0 168701324 212189184 26963 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 51804 26963 2958 3032 0 33661 0
[pid=874614/tid=874654] ppid=874607 vsize=207216 memory=-9031797977287860924 CPUtime=24.78 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 51701 0 0 0 2472 6 0 0 20 0 3 0 168701386 212189184 26963 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=207216 memory=90116 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 168701388 212189184 26963 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 207216 KiB
Current children cumulated memory: 107852 KiB
[startup+51.1137 s]
/proc/loadavg: 3.59 1.83 1.91 5/256 874676
/proc/meminfo: memFree=122716240/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=208240 memory=139620 CPUtime=50.94 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 105239 0 0 0 5080 14 0 0 20 0 3 0 168701324 213237760 34905 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 52060 34905 2974 3032 0 44503 0
[pid=874614/tid=874654] ppid=874607 vsize=208240 memory=0 CPUtime=50.3 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 95623 0 0 0 5019 11 0 0 20 0 3 0 168701386 213237760 34905 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=208240 memory=138708 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 168701388 213237760 34905 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 208240 KiB
Current children cumulated memory: 139620 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 2.21 2.04 5/256 874684
/proc/meminfo: memFree=122112608/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=300344 memory=196148 CPUtime=101.99 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 180817 0 0 0 10178 21 0 0 20 0 3 0 168701324 307552256 49037 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 75086 49037 2974 3032 0 70085 0
[pid=874614/tid=874654] ppid=874607 vsize=300344 memory=43124 CPUtime=101.35 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 171077 0 0 0 10117 18 0 0 20 0 3 0 168701386 307552256 49037 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=300344 memory=192476 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 168701388 307552256 49037 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 300344 KiB
Current children cumulated memory: 196148 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 2.57 2.17 5/256 874696
/proc/meminfo: memFree=122041724/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=382292 memory=233108 CPUtime=161.83 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 219099 0 0 0 16157 26 0 0 20 0 3 0 168701324 391467008 58277 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 95573 58277 2974 3032 0 88486 0
[pid=874614/tid=874654] ppid=874607 vsize=382292 memory=230592 CPUtime=161.18 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 209109 0 0 0 16095 23 0 0 20 0 3 0 168701386 391467008 58277 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=382292 memory=12740 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 168701388 391467008 58277 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 382292 KiB
Current children cumulated memory: 233108 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.85 2.30 5/254 874706
/proc/meminfo: memFree=121962092/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=471688 memory=294672 CPUtime=221.67 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 268420 0 0 0 22133 34 0 0 20 0 3 0 168701324 483008512 73668 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 117922 73668 2974 3032 0 108692 0
[pid=874614/tid=874654] ppid=874607 vsize=471688 memory=282900 CPUtime=221.01 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 258165 0 0 0 22071 30 0 0 20 0 3 0 168701386 483008512 73668 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=471688 memory=5532 CPUtime=0 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 168701388 483008512 73668 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 471688 KiB
Current children cumulated memory: 294672 KiB
################
# More data... #
################
/proc/874614/statm: 330916 307989 2974 3032 0 314216 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=43124 CPUtime=3451.59 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2194963 0 0 0 344926 233 0 0 20 0 3 0 168701386 1355431936 307989 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=1221484 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 83 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 307989 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1231956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.15 4.09 5/251 876956
/proc/meminfo: memFree=120123224/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1242144 CPUtime=3512.42 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2217222 0 0 0 350984 258 0 0 20 0 3 0 168701324 1355431936 310536 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 310536 2974 3032 0 316470 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=1221484 CPUtime=3511.37 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2205672 0 0 0 350900 237 0 0 20 0 3 0 168701386 1355431936 310536 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=12740 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 84 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 310536 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1242144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 876966
/proc/meminfo: memFree=120120200/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1243836 CPUtime=3572.26 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2225236 0 0 0 356965 261 0 0 20 0 3 0 168701324 1355431936 310959 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 310959 2974 3032 0 316953 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=1221484 CPUtime=3571.18 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2213675 0 0 0 356879 239 0 0 20 0 3 0 168701386 1355431936 310959 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=12740 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 310959 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1243836 KiB
[startup+3600.19 s]
# the end of solver process 874614 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.46 s, system=2.64488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.09 5/251 876968
/proc/meminfo: memFree=120120032/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1243836 CPUtime=3573.96 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2225343 0 0 0 357135 261 0 0 20 0 3 0 168701324 1355431936 310959 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 310959 2974 3032 0 316953 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=-6297272971998444394 CPUtime=3572.89 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2213782 0 0 0 357050 239 0 0 20 0 3 0 168701386 1355431936 310959 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=43124 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 310959 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1243836 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 876968
/proc/meminfo: memFree=120118044/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1245856 CPUtime=3580.33 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2228310 0 0 0 357772 261 0 0 20 0 3 0 168701324 1355431936 311464 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311464 2974 3032 0 317477 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=12740 CPUtime=3579.26 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2216672 0 0 0 357686 240 0 0 20 0 3 0 168701386 1355431936 311464 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=12740 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311464 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3580.33 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1245856 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.09 5/253 877027
/proc/meminfo: memFree=120116676/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1247868 CPUtime=3586.71 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2229667 0 0 0 358410 261 0 0 20 0 3 0 168701324 1355431936 311967 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311967 2974 3032 0 317969 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=12740 CPUtime=3585.64 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2218029 0 0 0 358324 240 0 0 20 0 3 0 168701386 1355431936 311967 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=1246604 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311967 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1247868 KiB
[startup+3598.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/249 877119
/proc/meminfo: memFree=120885188/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1247892 CPUtime=3588.3 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2229706 0 0 0 358569 261 0 0 20 0 3 0 168701324 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311973 2974 3032 0 317969 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=29488 CPUtime=3587.24 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2218068 0 0 0 358484 240 0 0 20 0 3 0 168701386 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=19816 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3588.3 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1247892 KiB
[startup+3599.2 s]
/proc/loadavg: 4.09 4.13 4.09 5/249 877119
/proc/meminfo: memFree=120357416/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1247892 CPUtime=3589.1 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2229770 0 0 0 358649 261 0 0 20 0 3 0 168701324 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311973 2974 3032 0 317969 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=12740 CPUtime=3588.03 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2218132 0 0 0 358563 240 0 0 20 0 3 0 168701386 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=43124 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1247892 KiB
[startup+3599.6 s]
/proc/loadavg: 4.09 4.13 4.09 5/249 877119
/proc/meminfo: memFree=120357416/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1247892 CPUtime=3589.51 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2229788 0 0 0 358689 262 0 0 20 0 3 0 168701324 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311973 2974 3032 0 317969 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=5624 CPUtime=3588.43 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2218150 0 0 0 358603 240 0 0 20 0 3 0 168701386 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=6720667627632738668 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1247892 KiB
[startup+3600 s]*
/proc/loadavg: 4.17 4.14 4.09 5/249 877119
/proc/meminfo: memFree=120144988/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1247892 CPUtime=3589.92 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2229821 0 0 0 358730 262 0 0 20 0 3 0 168701324 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311973 2974 3032 0 317969 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=-8817038054730867388 CPUtime=3588.84 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2218182 0 0 0 358644 240 0 0 20 0 3 0 168701386 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=4760 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3589.92 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1247892 KiB
[startup+3600.11 s]
/proc/loadavg: 4.17 4.14 4.09 5/249 877119
/proc/meminfo: memFree=120144988/131655788 swapFree=131071996/131071996
[pid=874614] ppid=874607 vsize=1323664 memory=1247892 CPUtime=3590.02 cores=4,6
/proc/874614/stat : 874614 (fscip) S 874607 874614 874063 0 -1 1077936128 2233522 0 0 0 358740 262 0 0 20 0 3 0 168701324 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
/proc/874614/statm: 330916 311973 2974 3032 0 317969 0
[pid=874614/tid=874654] ppid=874607 vsize=1323664 memory=1224332 CPUtime=3588.95 cores=4,6
/proc/874614/task/874654/stat : 874654 (fscip) R 874607 874614 874063 0 -1 4194368 2221883 0 0 0 358654 241 0 0 20 0 3 0 168701386 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
[pid=874614/tid=874655] ppid=874607 vsize=1323664 memory=1246604 CPUtime=0.05 cores=4,6
/proc/874614/task/874655/stat : 874655 (fscip) S 874607 874614 874063 0 -1 1077936192 85 0 0 0 1 4 0 0 20 0 3 0 168701388 1355431936 311973 134679101440 4194304 16613245 140735616456240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37527552 140735616463893 140735616464009 140735616464009 140735616471024 0
Current children cumulated CPU time: 3590.02 s
Current children cumulated vsize: 1323664 KiB
Current children cumulated memory: 1247892 KiB
Child status: 0
Real time (s): 3600.19
CPU time (s): 3590.1
CPU user time (s): 3587.46
CPU system time (s): 2.64488
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 1323664
Max. memory (cumulated for all children) (KiB): 1247892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.46
system time used= 2.64488
maximum resident set size= 1247892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2234598
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= 13207
involuntary context switches= 3854
# summary of solver processes directly reported to runsolver:
# pid: 874614
# total CPU time (s): 3590.1
# total CPU user time (s): 3587.46
# total CPU system time (s): 2.64488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3672 second user time and 37.1941 second system time
The end
Begin job on nodeC005 at 2024-07-16 23:30:37
IDJOB=4434938
IDBENCH=158466
IDSOLVER=3064
FILE ID=nodeC005/4434938-1721165425
RUNJOBID= nodeC005-1721165433-874074
SLURM_JOB_ID= 7505788
Free space on /tmp= 723724 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434938-1721165425/watcher-4434938-1721165425 -o /tmp/evaluation-result-4434938-1721165425/solver-4434938-1721165425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874074 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434938-1721165425.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05
RANDOM SEED=1728426508
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3652.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.184
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.004
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124379224 kB
MemAvailable: 129498540 kB
Buffers: 414968 kB
Cached: 5482972 kB
SwapCached: 0 kB
Active: 836612 kB
Inactive: 5764716 kB
Active(anon): 3424 kB
Inactive(anon): 737664 kB
Active(file): 833188 kB
Inactive(file): 5027052 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113536 kB
Writeback: 16 kB
AnonPages: 702348 kB
Mapped: 127884 kB
Shmem: 37704 kB
KReclaimable: 198548 kB
Slab: 312568 kB
SReclaimable: 198548 kB
SUnreclaim: 114020 kB
KernelStack: 3904 kB
PageTables: 10192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1048184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723648 MiB
End job on nodeC005 at 2024-07-17 00:30:38