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.09/0.15 c Default LC presolving (default).
0.09/0.15 c ** Before presolving: virtualMemUsedAtLc = 133892181, getVmSize() = 103391232, SCIPgetMemUsed() = 72711158, SCIPgetMemTotal() = 77432886, SCIPgetMemExternEstim() = 56459295
0.09/0.15 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
66.37/66.64 c ** Estimated virtualMemUsedAtSolver = 158310298, getVmSize() = 321146880, SCIPgetMemUsed() = 134339136, SCIPgetMemTotal() = 181006152, SCIPgetMemExternEstim() = 56459295
66.37/66.64 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
66.37/66.64 c Original Problem :
66.37/66.64 c Problem name : instance-4456507-1721720705
66.37/66.64 c Variables : 21518 (21518 binary, 0 integer, 0 implicit integer, 0 continuous)
66.37/66.64 c Constraints : 39738
66.37/66.64 c Objective sense : minimize
66.37/66.64 c Presolved Problem :
66.37/66.64 c Variables : 1603 (1603 binary, 0 integer, 0 implicit integer, 0 continuous)
66.37/66.64 c Constraints : 18681
66.37/66.64 c Constraints : Number
66.37/66.64 c setppc : 14284
66.37/66.64 c linear : 270
66.37/66.64 c logicor : 3874
66.37/66.64 c indicator : 253
66.37/66.64 c ** Instance transfer method used: 0
66.37/66.66 c ** ParaScipInstance copy increased the number of variables. **
66.37/66.69 c LC is working with racing ramp-up and with rebuilding tree after racing.
66.37/66.69 c Nodes Active
66.37/66.69 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
114.87/115.31 c * 115 0 1 1 513249.0000 - -
114.87/115.31 c 115 0 1 1 513249.0000 - -
114.87/115.38 c * 115 0 1 1 495247.0000 - -
125.64/126.17 c * 126 0 1 1 476252.0000 - -
125.64/126.17 c 126 0 1 1 476252.0000 - -
127.13/127.63 c * 128 0 1 1 464252.0000 - -
132.01/132.56 c 133 7 6 1 464252.0000 451096.5116 2.92%
137.70/138.26 c 138 16 15 1 464252.0000 451337.1219 2.86%
143.78/144.31 c 144 29 28 1 464252.0000 451337.1219 2.86%
148.96/149.58 c 150 36 35 1 464252.0000 451337.1219 2.86%
154.35/154.94 c 155 49 48 1 464252.0000 451337.1219 2.86%
159.93/160.58 c 161 67 58 1 464252.0000 451337.1219 2.86%
165.02/165.63 c 166 99 74 1 464252.0000 451384.5721 2.85%
166.31/166.95 c * 167 109 78 1 462252.0000 451384.5721 2.41%
170.40/171.01 c 171 278 140 1 462252.0000 451384.5721 2.41%
171.20/171.82 c * 172 278 140 1 461251.0000 451384.5721 2.19%
175.88/176.53 c 177 463 172 1 461251.0000 451514.7301 2.16%
181.86/182.57 c 183 558 219 1 461251.0000 451552.3726 2.15%
187.55/188.20 c 188 701 278 1 461251.0000 451746.2925 2.10%
192.63/193.31 c 193 810 317 1 461251.0000 451764.3706 2.10%
197.82/198.56 c 199 885 368 1 461251.0000 451877.1384 2.07%
203.40/204.11 c 204 1003 434 1 461251.0000 451883.5679 2.07%
203.40/204.19 c * 204 1003 434 1 461250.0000 451883.5679 2.07%
210.38/211.14 c 211 1027 1 1 461250.0000 452137.5299 2.02%
215.46/216.23 c 216 1045 19 1 461250.0000 452203.6119 2.00%
220.45/221.28 c * 221 1107 67 1 461249.0000 452911.0356 1.84%
220.45/221.28 c 221 1107 67 1 461249.0000 452911.0356 1.84%
220.65/221.49 c * 222 1107 67 1 461248.0000 452911.0356 1.84%
226.13/226.97 c 227 1421 116 1 461248.0000 453000.3301 1.82%
231.32/232.13 c 232 1637 124 1 461248.0000 453358.6950 1.74%
236.30/237.18 c 237 1943 144 1 461248.0000 453407.7823 1.73%
241.57/242.46 c 242 2307 177 1 461248.0000 453553.7239 1.70%
247.46/248.34 c 248 2696 198 1 461248.0000 453909.1584 1.62%
252.84/253.73 c 254 2891 209 1 461248.0000 453975.5321 1.60%
258.13/259.03 c 259 3147 241 1 461248.0000 454155.9605 1.56%
263.31/264.29 c 264 3407 255 1 461248.0000 454218.6635 1.55%
268.49/269.45 c 269 3697 268 1 461248.0000 454276.4263 1.53%
274.57/275.51 c 276 4202 276 1 461248.0000 454337.0727 1.52%
279.76/280.71 c 281 4517 295 1 461248.0000 454441.1799 1.50%
285.14/286.11 c 286 4677 387 1 461248.0000 454459.2602 1.49%
290.72/291.78 c 292 4839 507 1 461248.0000 454490.8882 1.49%
292.91/293.95 c * 294 4854 520 1 459259.0000 454490.8882 1.05%
293.02/294.00 c * 294 4854 520 1 459257.0000 454490.8882 1.05%
293.02/294.07 c * 294 4854 520 1 459255.0000 454490.8882 1.05%
293.12/294.12 c * 294 4854 520 1 459253.0000 454490.8882 1.05%
293.31/294.32 c * 294 4883 237 1 459252.0000 454490.8882 1.05%
293.31/294.33 c * 294 4883 237 1 459251.0000 454490.8882 1.05%
293.31/294.36 c * 294 4883 237 1 459250.0000 454490.8882 1.05%
293.51/294.56 c * 295 4883 237 1 459249.0000 454490.8882 1.05%
297.20/298.20 c 298 5177 244 1 459249.0000 454515.4438 1.04%
302.18/303.29 c 303 5387 258 1 459249.0000 454611.3284 1.02%
307.56/308.67 c 309 5607 282 1 459249.0000 454670.8304 1.01%
313.25/314.31 c 314 5917 311 1 459249.0000 454770.4192 0.98%
318.33/319.41 c 319 6307 331 1 459249.0000 454857.6278 0.97%
323.51/324.64 c 325 6687 371 1 459249.0000 454911.3455 0.95%
329.00/330.12 c 330 7167 399 1 459249.0000 454995.6365 0.93%
334.08/335.20 c 335 7587 411 1 459249.0000 455024.2828 0.93%
339.26/340.41 c 340 8257 442 1 459249.0000 455059.7446 0.92%
344.35/345.57 c 346 8567 464 1 459249.0000 455079.3345 0.92%
349.42/350.66 c 351 8917 500 1 459249.0000 455108.2096 0.91%
355.21/356.45 c 356 9307 525 1 459249.0000 455138.5100 0.90%
360.39/361.67 c 362 9847 554 1 459249.0000 455159.8305 0.90%
365.88/367.15 c 367 10307 608 1 459249.0000 455190.8151 0.89%
370.96/372.28 c 372 10927 638 1 459249.0000 455226.2608 0.88%
376.14/377.40 c 377 11587 670 1 459249.0000 455238.9555 0.88%
381.22/382.55 c 383 12117 692 1 459249.0000 455266.0700 0.87%
386.90/388.29 c 388 12737 726 1 459249.0000 455290.5693 0.87%
392.09/393.43 c 393 13517 734 1 459249.0000 455308.4409 0.87%
397.17/398.51 c 399 14247 760 1 459249.0000 455340.9426 0.86%
402.76/404.15 c 404 15007 782 1 459249.0000 455369.5396 0.85%
407.23/408.69 c * 409 15190 805 1 459248.0000 455400.1829 0.84%
408.14/409.58 c 410 15287 801 1 459248.0000 455403.6233 0.84%
413.52/414.99 c 415 15657 823 1 459248.0000 455439.9870 0.84%
418.90/420.39 c 420 16037 838 1 459248.0000 455467.6003 0.83%
424.38/425.89 c 426 16447 863 1 459248.0000 455483.5652 0.83%
429.57/431.08 c 431 16907 875 1 459248.0000 455514.5104 0.82%
435.15/436.69 c 437 17399 905 1 459248.0000 455546.7968 0.81%
440.93/442.46 c 442 17907 912 1 459248.0000 455580.3416 0.81%
447.22/448.70 c 449 18417 922 1 459248.0000 455616.9091 0.80%
452.19/453.71 c 454 18797 946 1 459248.0000 455665.1395 0.79%
457.27/458.88 c 459 19224 965 1 459248.0000 455701.3766 0.78%
462.57/464.18 c 464 19667 996 1 459248.0000 455759.0503 0.77%
467.75/469.30 c 469 19957 1008 1 459248.0000 455791.4423 0.76%
473.03/474.65 c 475 20232 1013 1 459248.0000 455812.8478 0.75%
478.21/479.80 c 480 20817 1026 1 459248.0000 455824.0984 0.75%
483.19/484.84 c 485 21357 1046 1 459248.0000 455840.4202 0.75%
488.38/490.06 c 490 21887 1062 1 459248.0000 455884.7542 0.74%
493.86/495.59 c 496 22237 1078 1 459248.0000 455933.3824 0.73%
499.54/501.29 c 501 22777 1084 1 459248.0000 455976.5751 0.72%
505.32/507.01 c 507 23259 1120 1 459248.0000 456001.8085 0.71%
510.81/512.59 c 513 23675 1138 1 459248.0000 456015.6727 0.71%
516.40/518.12 c 518 24167 1166 1 459248.0000 456033.7816 0.70%
521.66/523.48 c 523 24727 1172 1 459248.0000 456049.7451 0.70%
527.35/529.12 c 529 25277 1180 1 459248.0000 456075.9458 0.70%
532.93/534.76 c 535 25712 1199 1 459248.0000 456106.6278 0.69%
538.22/540.08 c 540 26117 1210 1 459248.0000 456155.2979 0.68%
543.39/545.26 c 545 26657 1221 1 459248.0000 456174.6742 0.67%
548.88/550.79 c 551 27267 1243 1 459248.0000 456223.1028 0.66%
554.06/555.93 c 556 27827 1251 1 459248.0000 456266.5005 0.65%
559.54/561.48 c 561 28277 1275 1 459248.0000 456284.2522 0.65%
564.92/566.83 c 567 28810 1290 1 459248.0000 456293.5622 0.65%
570.11/572.10 c 572 29517 1305 1 459248.0000 456331.3691 0.64%
575.49/577.47 c 577 30367 1329 1 459248.0000 456352.7037 0.63%
581.27/583.20 c 583 30917 1339 1 459248.0000 456366.1216 0.63%
586.35/588.33 c 588 31467 1351 1 459248.0000 456372.5902 0.63%
591.64/593.68 c 594 32104 1369 1 459248.0000 456382.8190 0.63%
596.92/598.93 c 599 32727 1380 1 459248.0000 456402.5300 0.62%
602.00/604.06 c 604 33167 1416 1 459248.0000 456421.3109 0.62%
607.38/609.43 c 609 33757 1420 1 459248.0000 456448.8956 0.61%
607.78/609.84 c * 610 33757 1420 1 459247.0000 456448.8956 0.61%
612.36/614.43 c 614 34237 1420 1 459247.0000 456481.0947 0.61%
617.45/619.55 c 620 34767 1444 1 459247.0000 456496.4091 0.60%
622.63/624.79 c 625 35257 1454 1 459247.0000 456519.3473 0.60%
628.31/630.43 c 630 35967 1459 1 459247.0000 456535.7948 0.59%
633.50/635.69 c 636 36577 1475 1 459247.0000 456560.5011 0.59%
638.88/641.06 c 641 37297 1487 1 459247.0000 456574.0534 0.59%
643.96/646.12 c 646 37777 1515 1 459247.0000 456597.0018 0.58%
649.14/651.34 c 651 38227 1531 1 459247.0000 456607.8256 0.58%
654.12/656.37 c 656 38637 1545 1 459247.0000 456628.3217 0.57%
659.21/661.43 c 661 39182 1566 1 459247.0000 456646.8800 0.57%
664.29/666.52 c 667 39587 1561 1 459247.0000 456674.7584 0.56%
670.07/672.31 c 672 40147 1571 1 459247.0000 456689.8450 0.56%
675.66/677.97 c 678 41033 1589 1 459247.0000 456699.0983 0.56%
680.84/683.12 c 683 41477 1599 1 459247.0000 456720.3201 0.55%
685.92/688.24 c 688 41897 1615 1 459247.0000 456731.0998 0.55%
691.30/693.67 c 694 42558 1632 1 459247.0000 456732.9237 0.55%
697.29/699.63 c 700 43465 1659 1 459247.0000 456748.0848 0.55%
703.06/705.41 c 705 44297 1685 1 459247.0000 456761.3305 0.54%
708.16/710.54 c 711 44917 1709 1 459247.0000 456777.7949 0.54%
713.14/715.56 c 716 45507 1715 1 459247.0000 456801.1310 0.54%
718.42/720.88 c 721 46217 1745 1 459247.0000 456818.0292 0.53%
723.90/726.36 c 726 46787 1767 1 459247.0000 456833.8189 0.53%
729.58/732.00 c 732 47567 1793 1 459247.0000 456855.5640 0.52%
734.96/737.42 c 737 48017 1827 1 459247.0000 456865.4639 0.52%
740.65/743.14 c 743 48647 1839 1 459247.0000 456890.1613 0.52%
745.63/748.17 c 748 49207 1897 1 459247.0000 456906.0254 0.51%
750.71/753.25 c 753 49687 1930 1 459247.0000 456911.7782 0.51%
755.89/758.43 c 758 50070 1963 1 459247.0000 456921.7539 0.51%
761.28/763.84 c 764 50557 1973 1 459247.0000 456931.3569 0.51%
766.26/768.87 c 769 50917 1999 1 459247.0000 456940.7619 0.50%
772.14/774.72 c 775 51357 2027 1 459247.0000 456955.4586 0.50%
777.93/780.55 c 781 51864 2045 1 459247.0000 456959.3965 0.50%
783.11/785.77 c 786 52157 2114 1 459247.0000 456966.9014 0.50%
787.09/789.74 c * 790 52374 2131 1 459246.0000 456972.5034 0.50%
788.30/790.92 c 791 52437 2073 1 459246.0000 456973.1994 0.50%
793.48/796.15 c 796 52947 2063 1 459246.0000 456985.7608 0.49%
798.56/801.23 c 801 53497 2105 1 459246.0000 456999.6458 0.49%
803.74/806.48 c 806 53977 2133 1 459246.0000 457006.7858 0.49%
809.03/811.70 c 812 54546 2133 1 459246.0000 457019.4681 0.49%
814.61/817.34 c 817 55343 2145 1 459246.0000 457030.5277 0.48%
819.69/822.49 c 822 55887 2141 1 459246.0000 457047.5644 0.48%
825.08/827.88 c 828 56577 2139 1 459246.0000 457056.8023 0.48%
830.86/833.67 c 834 57260 2150 1 459246.0000 457072.0997 0.48%
835.94/838.78 c 839 57828 2156 1 459246.0000 457081.6431 0.47%
841.22/844.03 c 844 58377 2172 1 459246.0000 457088.3768 0.47%
846.21/849.09 c 849 58897 2206 1 459246.0000 457097.6851 0.47%
852.09/854.98 c 855 59503 2245 1 459246.0000 457101.4462 0.47%
857.47/860.35 c 860 60087 2255 1 459246.0000 457113.3834 0.47%
862.65/865.52 c 866 60737 2268 1 459246.0000 457127.7858 0.46%
868.14/871.04 c 871 61387 2268 1 459246.0000 457140.5100 0.46%
873.52/876.46 c 876 62277 2287 1 459246.0000 457148.6645 0.46%
879.11/882.00 c 882 62807 2337 1 459246.0000 457158.8530 0.46%
884.59/887.59 c 888 63413 2336 1 459246.0000 457170.4300 0.45%
889.77/892.74 c 893 63793 2355 1 459246.0000 457172.9748 0.45%
894.85/897.85 c 898 64207 2361 1 459246.0000 457177.7778 0.45%
900.23/903.22 c 903 64547 2373 1 459246.0000 457184.5451 0.45%
906.02/909.00 c 909 64897 2385 1 459246.0000 457199.3797 0.45%
911.00/914.04 c 914 65383 2379 1 459246.0000 457205.8853 0.45%
916.78/919.80 c 920 65817 2399 1 459246.0000 457210.1051 0.45%
922.07/925.12 c 925 66267 2416 1 459246.0000 457213.9363 0.44%
927.15/930.29 c 930 66857 2410 1 459246.0000 457224.1239 0.44%
932.43/935.55 c 936 67427 2424 1 459246.0000 457233.5438 0.44%
937.62/940.79 c 941 67987 2442 1 459246.0000 457240.8333 0.44%
943.00/946.19 c 946 68445 2452 1 459246.0000 457243.2500 0.44%
948.48/951.70 c 952 69053 2492 1 459246.0000 457244.1250 0.44%
953.66/956.85 c 957 69476 2527 1 459246.0000 457245.0000 0.44%
958.85/962.04 c 962 69960 2567 1 459246.0000 457245.0000 0.44%
963.83/967.05 c 967 69960 2567 1 459246.0000 457245.0000 0.44%
969.71/972.97 c 973 69960 2567 1 459246.0000 457245.0000 0.44%
975.60/978.84 c 979 69960 2567 1 459246.0000 457245.0000 0.44%
980.88/984.16 c 984 70358 2591 1 459246.0000 457249.3008 0.44%
985.96/989.25 c 989 70859 2594 1 459246.0000 457253.3420 0.44%
991.74/995.00 c 995 71387 2598 1 459246.0000 457258.9460 0.43%
997.11/1000.46 c 1000 71977 2593 1 459246.0000 457264.3965 0.43%
1003.00/1006.38 c 1006 72560 2596 1 459246.0000 457269.0498 0.43%
1008.19/1011.58 c 1012 72927 2598 1 459246.0000 457273.8263 0.43%
1013.46/1016.86 c 1017 73487 2598 1 459246.0000 457276.9733 0.43%
1018.95/1022.38 c 1022 74097 2607 1 459246.0000 457280.0438 0.43%
1024.33/1027.73 c 1028 74531 2612 1 459246.0000 457284.3269 0.43%
1029.42/1032.85 c 1033 74927 2633 1 459246.0000 457297.6221 0.43%
1034.60/1038.00 c 1038 75449 2639 1 459246.0000 457301.4732 0.43%
1039.58/1043.09 c 1043 75947 2661 1 459246.0000 457310.2072 0.42%
1044.76/1048.21 c 1048 76577 2679 1 459246.0000 457315.6203 0.42%
1049.75/1053.25 c 1053 77176 2670 1 459246.0000 457321.1618 0.42%
1055.54/1059.03 c 1059 77668 2681 1 459246.0000 457328.1802 0.42%
1060.81/1064.36 c 1064 78317 2702 1 459246.0000 457334.8876 0.42%
1065.99/1069.52 c 1070 78777 2712 1 459246.0000 457340.2432 0.42%
1071.37/1074.90 c 1075 79157 2732 1 459246.0000 457344.4686 0.42%
1076.46/1080.02 c 1080 79557 2733 1 459246.0000 457349.8889 0.41%
1081.64/1085.21 c 1085 79867 2745 1 459246.0000 457352.4529 0.41%
1086.62/1090.29 c 1090 80207 2755 1 459246.0000 457360.3976 0.41%
1091.81/1095.42 c 1095 80647 2763 1 459246.0000 457364.5933 0.41%
1096.78/1100.44 c 1100 81197 2757 1 459246.0000 457373.1414 0.41%
1102.38/1106.05 c 1106 81679 2765 1 459246.0000 457377.7973 0.41%
1108.15/1111.81 c 1112 82207 2763 1 459246.0000 457385.8571 0.41%
1113.13/1116.85 c 1117 82587 2775 1 459246.0000 457390.3818 0.41%
1118.22/1121.96 c 1122 83042 2784 1 459246.0000 457397.5667 0.40%
1123.89/1127.68 c 1128 83677 2811 1 459246.0000 457399.5990 0.40%
1128.98/1132.79 c 1133 84287 2827 1 459246.0000 457408.5612 0.40%
1134.16/1137.99 c 1138 85017 2845 1 459246.0000 457423.1124 0.40%
1139.54/1143.36 c 1143 85897 2853 1 459246.0000 457431.6690 0.40%
1145.33/1149.17 c 1149 86456 2866 1 459246.0000 457435.0944 0.40%
1150.80/1154.61 c 1155 86937 2883 1 459246.0000 457440.4581 0.39%
1155.99/1159.80 c 1160 87557 2895 1 459246.0000 457445.8755 0.39%
1161.77/1165.66 c 1166 88227 2912 1 459246.0000 457451.6785 0.39%
1166.76/1170.66 c 1171 88727 2915 1 459246.0000 457457.5827 0.39%
1172.04/1175.92 c 1176 89367 2940 1 459246.0000 457467.1111 0.39%
1177.02/1180.95 c 1181 90007 2944 1 459246.0000 457474.0917 0.39%
1182.21/1186.19 c 1186 90747 2950 1 459246.0000 457477.9322 0.39%
1187.29/1191.23 c 1191 91347 2984 1 459246.0000 457486.3722 0.38%
1193.17/1197.14 c 1197 92104 3003 1 459246.0000 457494.0000 0.38%
1198.25/1202.22 c 1202 92707 3034 1 459246.0000 457503.9864 0.38%
1203.63/1207.65 c 1208 93427 3068 1 459246.0000 457514.6978 0.38%
1209.12/1213.19 c 1213 94093 3070 1 459246.0000 457519.3431 0.38%
1214.79/1218.81 c 1219 94875 3084 1 459246.0000 457523.7919 0.38%
1220.28/1224.34 c 1224 95413 3103 1 459246.0000 457525.3844 0.38%
1226.15/1230.27 c 1230 95853 3086 1 459246.0000 457527.9482 0.38%
1231.64/1235.77 c 1236 96307 3097 1 459246.0000 457532.7303 0.37%
1237.51/1241.69 c 1242 96781 3097 1 459246.0000 457541.8737 0.37%
1242.69/1246.82 c 1247 97227 3089 1 459246.0000 457546.6251 0.37%
1247.89/1252.09 c 1252 97727 3096 1 459246.0000 457551.2292 0.37%
1252.96/1257.19 c 1257 98117 3132 1 459246.0000 457554.3916 0.37%
1258.05/1262.21 c 1262 98447 3139 1 459246.0000 457558.0532 0.37%
1263.03/1267.23 c 1267 98967 3146 1 459246.0000 457566.6719 0.37%
1268.40/1272.66 c 1273 99507 3141 1 459246.0000 457567.8923 0.37%
1273.59/1277.81 c 1278 99980 3166 1 459246.0000 457576.6667 0.36%
1278.97/1283.27 c 1283 100541 3197 1 459246.0000 457577.3333 0.36%
1284.55/1288.89 c 1289 101064 3211 1 459246.0000 457578.8575 0.36%
1289.84/1294.13 c 1294 101457 3202 1 459246.0000 457585.7258 0.36%
1295.31/1299.68 c 1300 102007 3213 1 459246.0000 457595.5967 0.36%
1300.39/1304.75 c 1305 102637 3233 1 459246.0000 457599.7931 0.36%
1305.98/1310.35 c 1310 103227 3247 1 459246.0000 457608.1868 0.36%
1310.96/1315.39 c 1315 103687 3269 1 459246.0000 457610.2800 0.36%
1316.24/1320.61 c 1321 104247 3263 1 459246.0000 457618.2828 0.36%
1321.73/1326.11 c 1326 104917 3266 1 459246.0000 457622.7019 0.35%
1326.91/1331.39 c 1331 105567 3298 1 459246.0000 457628.3335 0.35%
1332.29/1336.70 c 1337 106237 3284 1 459246.0000 457634.4972 0.35%
1337.68/1342.15 c 1342 106937 3279 1 459246.0000 457642.5149 0.35%
1342.85/1347.32 c 1347 107581 3280 1 459246.0000 457643.3000 0.35%
1348.04/1352.50 c 1352 108069 3320 1 459246.0000 457645.8185 0.35%
1353.23/1357.70 c 1358 108527 3345 1 459246.0000 457651.4074 0.35%
1358.31/1362.84 c 1363 109027 3360 1 459246.0000 457655.6857 0.35%
1363.38/1367.93 c 1368 109547 3362 1 459246.0000 457658.5216 0.35%
1369.07/1373.68 c 1374 110053 3365 1 459246.0000 457661.8530 0.35%
1374.46/1379.06 c 1379 110589 3376 1 459246.0000 457665.1395 0.35%
1380.13/1384.70 c 1385 111139 3382 1 459246.0000 457670.4259 0.34%
1385.42/1390.07 c 1390 111611 3374 1 459246.0000 457674.6897 0.34%
1390.59/1395.24 c 1395 112027 3380 1 459246.0000 457681.0292 0.34%
1395.77/1400.45 c 1400 112437 3384 1 459246.0000 457687.6930 0.34%
1401.56/1406.25 c 1406 112900 3397 1 459246.0000 457696.9244 0.34%
1406.94/1411.61 c 1412 113297 3386 1 459246.0000 457697.7021 0.34%
1411.92/1416.69 c 1417 113657 3399 1 459246.0000 457700.4839 0.34%
1417.80/1422.52 c 1423 114329 3382 1 459246.0000 457708.3189 0.34%
1423.08/1427.82 c 1428 114887 3375 1 459246.0000 457713.1523 0.33%
1428.76/1433.54 c 1434 115547 3390 1 459246.0000 457727.0972 0.33%
1433.74/1438.55 c 1439 116027 3402 1 459246.0000 457734.4419 0.33%
1438.93/1443.72 c 1444 116717 3400 1 459246.0000 457742.0443 0.33%
1444.11/1448.90 c 1449 117356 3417 1 459246.0000 457743.0000 0.33%
1449.19/1454.02 c 1454 118042 3433 1 459246.0000 457744.2500 0.33%
1454.28/1459.12 c 1459 118624 3459 1 459246.0000 457745.0000 0.33%
1459.36/1464.24 c 1464 119157 3482 1 459246.0000 457751.5465 0.33%
1465.25/1470.14 c 1470 119994 3489 1 459246.0000 457756.5064 0.33%
1471.12/1476.09 c 1476 120505 3487 1 459246.0000 457761.5185 0.32%
1477.00/1481.97 c 1482 121118 3490 1 459246.0000 457765.4599 0.32%
1482.68/1487.62 c 1488 121917 3508 1 459246.0000 457770.8622 0.32%
1488.36/1493.39 c 1493 122704 3515 1 459246.0000 457774.5986 0.32%
1493.64/1498.64 c 1499 123311 3518 1 459246.0000 457778.0000 0.32%
1498.73/1503.78 c 1504 123967 3522 1 459246.0000 457783.4615 0.32%
1503.81/1508.84 c 1509 124547 3520 1 459246.0000 457786.4167 0.32%
1509.00/1514.06 c 1514 125067 3519 1 459246.0000 457790.3973 0.32%
1514.18/1519.27 c 1519 125547 3532 1 459246.0000 457795.2413 0.32%
1519.86/1524.97 c 1525 126166 3554 1 459246.0000 457800.0736 0.32%
1525.23/1530.37 c 1530 126887 3559 1 459246.0000 457804.6540 0.31%
1531.21/1536.39 c 1536 127715 3567 1 459246.0000 457809.7382 0.31%
1536.50/1541.63 c 1542 128487 3555 1 459246.0000 457819.6177 0.31%
1541.48/1546.63 c 1547 129257 3549 1 459246.0000 457826.9672 0.31%
1546.46/1551.68 c 1552 130247 3541 1 459246.0000 457835.9420 0.31%
1551.75/1556.90 c 1557 131087 3561 1 459246.0000 457845.0000 0.31%
1556.84/1562.09 c 1562 131877 3555 1 459246.0000 457853.1744 0.30%
1562.02/1567.24 c 1567 132527 3559 1 459246.0000 457858.7368 0.30%
1567.30/1572.55 c 1573 132945 3572 1 459246.0000 457866.3333 0.30%
1572.28/1577.58 c 1578 133437 3580 1 459246.0000 457875.5049 0.30%
1577.47/1582.70 c 1583 133867 3603 1 459246.0000 457878.2784 0.30%
1582.76/1588.00 c 1588 134335 3605 1 459246.0000 457881.8607 0.30%
1588.53/1593.89 c 1594 134831 3619 1 459246.0000 457890.6701 0.30%
1593.92/1599.24 c 1599 135217 3619 1 459246.0000 457893.1512 0.30%
1599.00/1604.36 c 1604 135807 3605 1 459246.0000 457896.6812 0.29%
1604.08/1609.43 c 1609 136231 3603 1 459246.0000 457902.8633 0.29%
1609.97/1615.31 c 1615 136772 3585 1 459246.0000 457904.7805 0.29%
1615.25/1620.69 c 1621 137267 3586 1 459246.0000 457908.3445 0.29%
1620.64/1626.08 c 1626 137676 3595 1 459246.0000 457909.2857 0.29%
1625.81/1631.29 c 1631 138317 3613 1 459246.0000 457909.4524 0.29%
1631.70/1637.12 c 1637 138795 3659 1 459246.0000 457910.6667 0.29%
1637.67/1643.13 c 1643 139357 3713 1 459246.0000 457911.1667 0.29%
1643.25/1648.74 c 1649 139863 3727 1 459246.0000 457911.6505 0.29%
1649.23/1654.71 c 1655 140463 3747 1 459246.0000 457911.6667 0.29%
1654.42/1659.91 c 1660 140897 3723 1 459246.0000 457914.7117 0.29%
1659.79/1665.39 c 1665 141547 3731 1 459246.0000 457926.0764 0.29%
1665.27/1670.86 c 1671 142207 3725 1 459246.0000 457933.5163 0.29%
1670.66/1676.29 c 1676 142723 3714 1 459246.0000 457934.3831 0.29%
1675.94/1681.53 c 1682 143267 3732 1 459246.0000 457938.7474 0.29%
1681.22/1686.82 c 1687 143817 3735 1 459246.0000 457942.7222 0.28%
1686.20/1691.84 c 1692 144270 3727 1 459246.0000 457948.1872 0.28%
1691.49/1697.17 c 1697 144797 3741 1 459246.0000 457953.7143 0.28%
1696.67/1702.31 c 1702 145407 3728 1 459246.0000 457955.7343 0.28%
1702.05/1707.70 c 1708 146140 3713 1 459246.0000 457963.6400 0.28%
1707.24/1712.91 c 1713 146727 3728 1 459246.0000 457966.6495 0.28%
1712.33/1718.05 c 1718 147457 3741 1 459246.0000 457971.0408 0.28%
1717.90/1723.69 c 1724 148429 3744 1 459246.0000 457977.1606 0.28%
1723.09/1728.82 c 1729 148987 3733 1 459246.0000 457980.2371 0.28%
1728.38/1734.12 c 1734 149707 3739 1 459246.0000 457985.9192 0.28%
1733.36/1739.18 c 1739 150417 3743 1 459246.0000 457991.4552 0.27%
1738.74/1744.55 c 1745 151277 3738 1 459246.0000 457993.0000 0.27%
1744.63/1750.42 c 1750 151865 3738 1 459246.0000 457994.5423 0.27%
1749.61/1755.43 c 1755 152367 3753 1 459246.0000 457997.2455 0.27%
1755.39/1761.24 c 1761 152874 3745 1 459246.0000 458000.3125 0.27%
1761.27/1767.14 c 1767 153527 3750 1 459246.0000 458005.5580 0.27%
1766.26/1772.16 c 1772 154007 3752 1 459246.0000 458012.2623 0.27%
1771.33/1777.22 c 1777 154627 3764 1 459246.0000 458012.8179 0.27%
1776.41/1782.32 c 1782 155107 3770 1 459246.0000 458019.5973 0.27%
1781.60/1787.52 c 1788 155727 3780 1 459246.0000 458023.3975 0.27%
1786.68/1792.69 c 1793 156217 3774 1 459246.0000 458027.9686 0.27%
1791.96/1797.94 c 1798 156997 3784 1 459246.0000 458032.3710 0.26%
1796.94/1802.96 c 1803 157567 3794 1 459246.0000 458040.4554 0.26%
1802.04/1808.09 c 1808 158107 3775 1 459246.0000 458041.7554 0.26%
1807.71/1813.71 c 1814 158811 3785 1 459246.0000 458045.6743 0.26%
1813.00/1819.01 c 1819 159377 3771 1 459246.0000 458054.4048 0.26%
1818.67/1824.77 c 1825 160121 3772 1 459246.0000 458059.4643 0.26%
1824.15/1830.25 c 1830 160617 3774 1 459246.0000 458067.3211 0.26%
1829.84/1835.92 c 1836 161309 3780 1 459246.0000 458071.7004 0.26%
1835.92/1842.01 c 1842 161899 3779 1 459246.0000 458075.7138 0.26%
1840.90/1847.09 c 1847 162577 3775 1 459246.0000 458081.3318 0.25%
1846.38/1852.51 c 1853 163399 3759 1 459246.0000 458085.3154 0.25%
1851.97/1858.13 c 1858 164257 3752 1 459246.0000 458093.1848 0.25%
1857.64/1863.87 c 1864 165107 3747 1 459246.0000 458097.5013 0.25%
1862.92/1869.18 c 1869 165881 3744 1 459246.0000 458101.1429 0.25%
1868.70/1874.94 c 1875 166447 3747 1 459246.0000 458104.2410 0.25%
1874.18/1880.40 c 1880 167147 3741 1 459246.0000 458107.8535 0.25%
1879.27/1885.56 c 1886 167697 3751 1 459246.0000 458111.2527 0.25%
1884.55/1890.89 c 1891 168377 3758 1 459246.0000 458117.2685 0.25%
1889.63/1895.91 c 1896 168961 3770 1 459246.0000 458121.9994 0.25%
1894.71/1901.09 c 1901 169567 3756 1 459246.0000 458128.2669 0.24%
1899.89/1906.26 c 1906 170162 3769 1 459246.0000 458134.7514 0.24%
1905.57/1911.96 c 1912 170697 3766 1 459246.0000 458138.5687 0.24%
1910.86/1917.27 c 1917 171249 3751 1 459246.0000 458141.8769 0.24%
1916.33/1922.77 c 1923 171726 3746 1 459246.0000 458142.7159 0.24%
1921.52/1927.97 c 1928 172470 3774 1 459246.0000 458146.8210 0.24%
1927.19/1933.60 c 1934 172977 3751 1 459246.0000 458152.1783 0.24%
1932.59/1939.07 c 1939 173597 3751 1 459246.0000 458158.0199 0.24%
1937.67/1944.17 c 1944 174417 3760 1 459246.0000 458164.1509 0.24%
1942.85/1949.33 c 1949 175167 3758 1 459246.0000 458169.4449 0.23%
1948.23/1954.75 c 1955 175865 3784 1 459246.0000 458171.9627 0.23%
1953.42/1959.99 c 1960 176707 3764 1 459246.0000 458183.3603 0.23%
1958.61/1965.17 c 1965 177393 3774 1 459246.0000 458188.0739 0.23%
1963.99/1970.51 c 1971 178017 3782 1 459246.0000 458192.2756 0.23%
1968.97/1975.51 c 1976 178805 3774 1 459246.0000 458198.1823 0.23%
1973.95/1980.52 c 1981 179472 3758 1 459246.0000 458201.0684 0.23%
1978.93/1985.55 c 1986 180237 3748 1 459246.0000 458211.1017 0.23%
1984.11/1990.80 c 1991 180717 3769 1 459246.0000 458216.5518 0.22%
1989.41/1996.02 c 1996 181297 3762 1 459246.0000 458220.9450 0.22%
1994.59/2001.28 c 2001 182007 3762 1 459246.0000 458226.3333 0.22%
1999.97/2006.65 c 2007 182647 3750 1 459246.0000 458230.0931 0.22%
2005.05/2011.77 c 2012 183117 3732 1 459246.0000 458234.8537 0.22%
2010.34/2017.03 c 2017 183557 3750 1 459246.0000 458239.6267 0.22%
2015.72/2022.40 c 2022 184117 3737 1 459246.0000 458242.4102 0.22%
2021.60/2028.30 c 2028 184903 3760 1 459246.0000 458243.3704 0.22%
2027.29/2034.00 c 2034 185520 3807 1 459246.0000 458244.0000 0.22%
2032.27/2039.03 c 2039 186037 3822 1 459246.0000 458244.1250 0.22%
2037.25/2044.07 c 2044 186687 3814 1 459246.0000 458244.3333 0.22%
2042.73/2049.53 c 2050 187395 3808 1 459246.0000 458244.5000 0.22%
2048.22/2055.00 c 2055 188114 3826 1 459246.0000 458245.0000 0.22%
2053.20/2060.04 c 2060 188730 3845 1 459246.0000 458245.0000 0.22%
2058.28/2065.16 c 2065 189407 3831 1 459246.0000 458245.0000 0.22%
2063.66/2070.60 c 2071 190108 3852 1 459246.0000 458246.9407 0.22%
2068.75/2075.65 c 2076 190627 3814 1 459246.0000 458257.8781 0.22%
2073.82/2080.76 c 2081 191118 3811 1 459246.0000 458258.8490 0.22%
2079.12/2086.03 c 2086 191707 3806 1 459246.0000 458262.9630 0.21%
2084.59/2091.51 c 2092 192407 3795 1 459246.0000 458263.8949 0.21%
2089.67/2096.65 c 2097 193107 3797 1 459246.0000 458269.9939 0.21%
2095.16/2102.16 c 2102 193777 3785 1 459246.0000 458277.3157 0.21%
2100.33/2107.36 c 2107 194597 3781 1 459246.0000 458283.0000 0.21%
2105.30/2112.36 c 2112 195057 3778 1 459246.0000 458287.6357 0.21%
2110.68/2117.78 c 2118 195467 3779 1 459246.0000 458296.7078 0.21%
2115.86/2122.97 c 2123 196129 3784 1 459246.0000 458299.2287 0.21%
2121.13/2128.26 c 2128 196767 3779 1 459246.0000 458302.6788 0.21%
2126.11/2133.29 c 2133 197327 3773 1 459246.0000 458305.9088 0.21%
2131.69/2138.87 c 2139 197867 3784 1 459246.0000 458311.6667 0.20%
2137.06/2144.28 c 2144 198656 3761 1 459246.0000 458315.0608 0.20%
2142.44/2149.64 c 2150 199377 3738 1 459246.0000 458319.1726 0.20%
2147.62/2154.82 c 2155 199817 3743 1 459246.0000 458324.2690 0.20%
2152.59/2159.86 c 2160 200327 3735 1 459246.0000 458324.8333 0.20%
2158.47/2165.75 c 2166 200843 3744 1 459246.0000 458328.3333 0.20%
2163.44/2170.78 c 2171 201297 3727 1 459246.0000 458329.2603 0.20%
2168.62/2175.94 c 2176 201716 3732 1 459246.0000 458330.9369 0.20%
2173.60/2180.99 c 2181 202147 3747 1 459246.0000 458334.8859 0.20%
2178.79/2186.15 c 2186 202677 3727 1 459246.0000 458340.3632 0.20%
2183.85/2191.26 c 2191 203108 3716 1 459246.0000 458342.3022 0.20%
2189.83/2197.24 c 2197 203834 3716 1 459246.0000 458346.0603 0.20%
2195.00/2202.43 c 2202 204377 3701 1 459246.0000 458354.2388 0.19%
2200.68/2208.12 c 2208 204992 3699 1 459246.0000 458358.7895 0.19%
2206.15/2213.60 c 2214 205807 3684 1 459246.0000 458364.7772 0.19%
2211.33/2218.83 c 2219 206527 3692 1 459246.0000 458368.6250 0.19%
2216.81/2224.35 c 2224 207067 3690 1 459246.0000 458376.6883 0.19%
2222.49/2230.00 c 2230 207787 3684 1 459246.0000 458379.4921 0.19%
2227.57/2235.11 c 2235 208427 3668 1 459246.0000 458386.6012 0.19%
2232.94/2240.59 c 2241 209061 3678 1 459246.0000 458397.7220 0.19%
2238.21/2245.81 c 2246 209677 3650 1 459246.0000 458403.1224 0.18%
2243.28/2250.99 c 2251 210407 3648 1 459246.0000 458406.0384 0.18%
2248.64/2256.35 c 2256 211072 3621 1 459246.0000 458410.6667 0.18%
2254.42/2262.13 c 2262 211596 3653 1 459246.0000 458414.0538 0.18%
2259.48/2267.20 c 2267 212147 3618 1 459246.0000 458418.0589 0.18%
2265.16/2272.92 c 2273 212817 3613 1 459246.0000 458424.1110 0.18%
2270.53/2278.31 c 2278 213377 3604 1 459246.0000 458426.2273 0.18%
2276.39/2284.22 c 2284 213825 3602 1 459246.0000 458429.8161 0.18%
2281.76/2289.69 c 2290 214239 3604 1 459246.0000 458430.2244 0.18%
2287.24/2295.11 c 2295 214679 3592 1 459246.0000 458436.0628 0.18%
2292.21/2300.15 c 2300 215164 3589 1 459246.0000 458439.3307 0.18%
2297.28/2305.27 c 2305 215657 3599 1 459246.0000 458443.0833 0.18%
2302.36/2310.38 c 2310 216097 3615 1 459246.0000 458444.6667 0.17%
2308.03/2316.01 c 2316 216667 3615 1 459246.0000 458447.1015 0.17%
2313.20/2321.21 c 2321 217118 3576 1 459246.0000 458452.0383 0.17%
2318.76/2326.87 c 2327 217697 3585 1 459246.0000 458457.6310 0.17%
2323.95/2332.00 c 2332 218297 3568 1 459246.0000 458462.4283 0.17%
2329.21/2337.34 c 2337 218744 3565 1 459246.0000 458465.4245 0.17%
2334.89/2343.04 c 2343 219357 3558 1 459246.0000 458466.4722 0.17%
2340.26/2348.48 c 2348 219917 3561 1 459246.0000 458468.3359 0.17%
2345.34/2353.53 c 2354 220442 3544 1 459246.0000 458474.3085 0.17%
2350.72/2358.94 c 2359 221207 3537 1 459246.0000 458478.4452 0.17%
2356.09/2364.31 c 2364 221926 3538 1 459246.0000 458480.4943 0.17%
2361.47/2369.72 c 2370 222699 3527 1 459246.0000 458482.5776 0.17%
2366.74/2375.02 c 2375 223407 3509 1 459246.0000 458489.7169 0.16%
2372.22/2380.56 c 2381 224166 3511 1 459246.0000 458492.3150 0.16%
2377.29/2385.68 c 2386 224907 3500 1 459246.0000 458494.0000 0.16%
2382.37/2390.72 c 2391 225647 3493 1 459246.0000 458497.2278 0.16%
2387.34/2395.79 c 2396 226367 3494 1 459246.0000 458501.3125 0.16%
2392.81/2401.22 c 2401 227137 3484 1 459246.0000 458508.4004 0.16%
2398.29/2406.74 c 2407 227577 3499 1 459246.0000 458511.7204 0.16%
2403.37/2411.82 c 2412 228187 3478 1 459246.0000 458516.9168 0.16%
2408.35/2416.83 c 2417 228677 3474 1 459246.0000 458520.9073 0.16%
2413.53/2422.01 c 2422 229057 3478 1 459246.0000 458522.4118 0.16%
2419.30/2427.84 c 2428 229545 3468 1 459246.0000 458523.6523 0.16%
2425.27/2433.83 c 2434 230204 3463 1 459246.0000 458528.0547 0.16%
2430.25/2438.88 c 2439 230757 3455 1 459246.0000 458531.2021 0.16%
2435.83/2444.44 c 2444 231277 3464 1 459246.0000 458534.2767 0.16%
2441.50/2450.11 c 2450 231799 3450 1 459246.0000 458541.3702 0.15%
2446.97/2455.66 c 2456 232460 3448 1 459246.0000 458544.2388 0.15%
2452.65/2461.35 c 2461 232907 3449 1 459246.0000 458547.5370 0.15%
2457.62/2466.39 c 2466 233377 3438 1 459246.0000 458551.2308 0.15%
2463.11/2471.81 c 2472 234007 3419 1 459246.0000 458557.2558 0.15%
2468.77/2477.50 c 2478 234647 3417 1 459246.0000 458558.7949 0.15%
2473.95/2482.74 c 2483 235352 3414 1 459246.0000 458563.1818 0.15%
2479.23/2488.02 c 2488 235901 3423 1 459246.0000 458564.8850 0.15%
2485.00/2493.85 c 2494 236668 3422 1 459246.0000 458571.1581 0.15%
2490.18/2499.01 c 2499 237276 3422 1 459246.0000 458575.0813 0.15%
2495.16/2504.04 c 2504 237727 3412 1 459246.0000 458575.6667 0.15%
2500.84/2509.70 c 2510 238387 3406 1 459246.0000 458576.3704 0.15%
2505.81/2514.73 c 2515 238929 3404 1 459246.0000 458577.3333 0.15%
2511.39/2520.30 c 2520 239539 3403 1 459246.0000 458578.0000 0.15%
2517.08/2526.06 c 2526 240285 3395 1 459246.0000 458578.3333 0.15%
2522.26/2531.26 c 2531 240935 3391 1 459246.0000 458578.3333 0.15%
2527.73/2536.78 c 2537 241477 3383 1 459246.0000 458581.0829 0.14%
2533.12/2542.19 c 2542 241795 3387 1 459246.0000 458582.8840 0.14%
2538.29/2547.33 c 2547 242307 3384 1 459246.0000 458585.0000 0.14%
2543.27/2552.34 c 2552 242927 3389 1 459246.0000 458588.8393 0.14%
2548.54/2557.60 c 2558 243497 3391 1 459246.0000 458591.2114 0.14%
2553.73/2562.85 c 2563 243985 3390 1 459246.0000 458592.2651 0.14%
2558.81/2567.93 c 2568 244317 3406 1 459246.0000 458593.0623 0.14%
2564.18/2573.38 c 2573 244857 3380 1 459246.0000 458597.2078 0.14%
2569.26/2578.40 c 2578 245167 3387 1 459246.0000 458598.2482 0.14%
2574.25/2583.42 c 2583 245497 3397 1 459246.0000 458599.2169 0.14%
2579.23/2588.49 c 2588 246197 3388 1 459246.0000 458600.1830 0.14%
2584.92/2594.12 c 2594 246968 3376 1 459246.0000 458602.5758 0.14%
2589.99/2599.25 c 2599 247647 3381 1 459246.0000 458607.1139 0.14%
2595.07/2604.36 c 2604 248467 3364 1 459246.0000 458609.0543 0.14%
2600.16/2609.40 c 2609 249047 3345 1 459246.0000 458622.5965 0.14%
2605.83/2615.12 c 2615 249787 3342 1 459246.0000 458625.3142 0.14%
2611.81/2621.11 c 2621 250471 3354 1 459246.0000 458629.1033 0.13%
2616.88/2626.22 c 2626 251137 3348 1 459246.0000 458632.5556 0.13%
2621.87/2631.25 c 2631 251877 3342 1 459246.0000 458638.4394 0.13%
2627.24/2636.64 c 2637 252509 3346 1 459246.0000 458643.5344 0.13%
2632.63/2642.05 c 2642 253087 3340 1 459246.0000 458645.3384 0.13%
2637.90/2647.36 c 2647 253707 3342 1 459246.0000 458649.6376 0.13%
2643.08/2652.58 c 2653 254147 3335 1 459246.0000 458651.1856 0.13%
2648.26/2657.78 c 2658 254607 3320 1 459246.0000 458652.0228 0.13%
2653.64/2663.19 c 2663 255257 3326 1 459246.0000 458656.1836 0.13%
2659.41/2668.92 c 2669 255937 3344 1 459246.0000 458664.1207 0.13%
2664.49/2674.05 c 2674 256657 3347 1 459246.0000 458668.7288 0.13%
2669.57/2679.15 c 2679 257407 3340 1 459246.0000 458670.7471 0.13%
2675.04/2684.67 c 2685 258025 3351 1 459246.0000 458671.5714 0.13%
2680.11/2689.79 c 2690 258463 3361 1 459246.0000 458672.3208 0.13%
2685.30/2694.94 c 2695 259107 3337 1 459246.0000 458677.1485 0.12%
2690.77/2700.46 c 2700 259657 3338 1 459246.0000 458679.7437 0.12%
2695.86/2705.56 c 2706 260297 3350 1 459246.0000 458682.6740 0.12%
2700.93/2710.66 c 2711 260847 3378 1 459246.0000 458683.9561 0.12%
2706.72/2716.49 c 2716 261694 3378 1 459246.0000 458687.3239 0.12%
2711.91/2721.68 c 2722 262437 3365 1 459246.0000 458691.8307 0.12%
2717.29/2727.08 c 2727 263111 3358 1 459246.0000 458694.2912 0.12%
2722.58/2732.37 c 2732 263767 3373 1 459246.0000 458697.0939 0.12%
2728.55/2738.37 c 2738 264401 3384 1 459246.0000 458699.0069 0.12%
2733.84/2743.67 c 2744 264959 3412 1 459246.0000 458703.4278 0.12%
2738.93/2748.79 c 2749 265747 3404 1 459246.0000 458705.0952 0.12%
2744.01/2753.89 c 2754 266347 3412 1 459246.0000 458709.2857 0.12%
2749.30/2759.19 c 2759 266917 3425 1 459246.0000 458712.2101 0.12%
2754.78/2764.64 c 2765 267759 3414 1 459246.0000 458714.9005 0.12%
2759.87/2769.72 c 2770 268386 3408 1 459246.0000 458718.6558 0.11%
2764.85/2774.79 c 2775 268967 3423 1 459246.0000 458722.1825 0.11%
2770.64/2780.59 c 2781 269686 3418 1 459246.0000 458725.4271 0.11%
2776.13/2786.06 c 2786 270287 3418 1 459246.0000 458727.5946 0.11%
2781.41/2791.36 c 2791 270959 3436 1 459246.0000 458729.9581 0.11%
2787.19/2797.16 c 2797 271613 3439 1 459246.0000 458730.9087 0.11%
2792.47/2802.47 c 2802 272177 3438 1 459246.0000 458732.6346 0.11%
2798.26/2808.22 c 2808 273049 3436 1 459246.0000 458733.1633 0.11%
2803.44/2813.41 c 2813 273773 3442 1 459246.0000 458735.3846 0.11%
2808.43/2818.47 c 2818 274577 3435 1 459246.0000 458739.7368 0.11%
2813.91/2823.92 c 2824 275504 3448 1 459246.0000 458742.5000 0.11%
2819.79/2829.84 c 2830 276436 3445 1 459246.0000 458744.0000 0.11%
2825.18/2835.27 c 2835 277387 3428 1 459246.0000 458744.7420 0.11%
2830.66/2840.76 c 2841 278294 3405 1 459246.0000 458745.0000 0.11%
2835.85/2845.93 c 2846 278897 3372 1 459246.0000 458746.1114 0.11%
2841.04/2851.12 c 2851 279495 3385 1 459246.0000 458748.3301 0.11%
2846.32/2856.47 c 2856 280205 3386 1 459246.0000 458750.4053 0.11%
2851.71/2861.82 c 2862 281157 3383 1 459246.0000 458755.3131 0.11%
2856.69/2866.87 c 2867 281927 3386 1 459246.0000 458759.4864 0.11%
2861.78/2871.99 c 2872 282877 3408 1 459246.0000 458763.0185 0.11%
2867.06/2877.21 c 2877 283727 3412 1 459246.0000 458767.7015 0.10%
2872.44/2882.63 c 2883 284445 3404 1 459246.0000 458768.9740 0.10%
2877.73/2887.93 c 2888 285357 3401 1 459246.0000 458771.3005 0.10%
2882.71/2892.99 c 2893 286277 3400 1 459246.0000 458776.1300 0.10%
2888.81/2899.01 c 2899 287080 3399 1 459246.0000 458778.3333 0.10%
2894.48/2904.76 c 2905 287861 3416 1 459246.0000 458780.5049 0.10%
2899.57/2909.83 c 2910 288607 3410 1 459246.0000 458784.5064 0.10%
2904.66/2914.94 c 2915 289477 3401 1 459246.0000 458787.1489 0.10%
2909.84/2920.11 c 2920 290107 3405 1 459246.0000 458790.2569 0.10%
2915.42/2925.76 c 2926 290987 3413 1 459246.0000 458792.5997 0.10%
2920.51/2930.85 c 2931 291697 3391 1 459246.0000 458796.1247 0.10%
2925.70/2936.08 c 2936 292349 3396 1 459246.0000 458798.4222 0.10%
2930.79/2941.15 c 2941 293047 3386 1 459246.0000 458801.6776 0.10%
2935.77/2946.16 c 2946 293630 3386 1 459246.0000 458803.2841 0.10%
2941.55/2951.95 c 2952 294362 3382 1 459246.0000 458806.8338 0.10%
2946.74/2957.18 c 2957 295137 3385 1 459246.0000 458810.0853 0.10%
2952.22/2962.62 c 2963 295613 3386 1 459246.0000 458814.6385 0.09%
2957.51/2967.92 c 2968 296128 3371 1 459246.0000 458814.6385 0.09%
2963.09/2973.59 c 2974 296664 3374 1 459246.0000 458816.4286 0.09%
2968.38/2978.85 c 2979 297367 3378 1 459246.0000 458818.5170 0.09%
2973.57/2984.07 c 2984 297967 3366 1 459246.0000 458821.6322 0.09%
2978.74/2989.22 c 2989 298567 3362 1 459246.0000 458824.1331 0.09%
2984.04/2994.52 c 2995 299197 3370 1 459246.0000 458824.8439 0.09%
2989.12/2999.69 c 3000 299857 3360 1 459246.0000 458829.1148 0.09%
2994.41/3004.93 c 3005 300297 3363 1 459246.0000 458830.7940 0.09%
2999.49/3010.02 c 3010 300817 3366 1 459246.0000 458833.8309 0.09%
3004.68/3015.22 c 3015 301347 3365 1 459246.0000 458836.0296 0.09%
3010.06/3020.68 c 3021 302117 3362 1 459246.0000 458838.3022 0.09%
3015.15/3025.73 c 3026 302747 3354 1 459246.0000 458840.1050 0.09%
3020.44/3031.00 c 3031 303587 3354 1 459246.0000 458842.1242 0.09%
3026.32/3036.90 c 3037 304780 3364 1 459246.0000 458844.4619 0.09%
3031.51/3042.19 c 3042 305707 3371 1 459246.0000 458846.3610 0.09%
3036.59/3047.24 c 3047 306477 3380 1 459246.0000 458849.8073 0.09%
3041.88/3052.53 c 3053 307207 3399 1 459246.0000 458851.1112 0.09%
3047.16/3057.88 c 3058 307847 3381 1 459246.0000 458851.8627 0.09%
3052.65/3063.34 c 3063 308607 3371 1 459246.0000 458855.3080 0.09%
3058.23/3068.98 c 3069 309518 3360 1 459246.0000 458857.8702 0.08%
3063.32/3074.09 c 3074 310317 3355 1 459246.0000 458860.4672 0.08%
3068.41/3079.11 c 3079 311319 3356 1 459246.0000 458864.5278 0.08%
3073.49/3084.22 c 3084 311867 3355 1 459246.0000 458867.2475 0.08%
3079.07/3089.86 c 3090 312617 3353 1 459246.0000 458870.6833 0.08%
3084.65/3095.47 c 3095 313147 3376 1 459246.0000 458873.9994 0.08%
3089.84/3100.67 c 3101 313577 3370 1 459246.0000 458876.4929 0.08%
3095.02/3105.85 c 3106 314107 3360 1 459246.0000 458879.5247 0.08%
3100.01/3110.89 c 3111 314627 3364 1 459246.0000 458881.4196 0.08%
3105.30/3116.19 c 3116 315286 3367 1 459246.0000 458882.7441 0.08%
3110.39/3121.20 c 3121 315957 3348 1 459246.0000 458885.7970 0.08%
3115.37/3126.24 c 3126 316457 3356 1 459246.0000 458887.1657 0.08%
3120.75/3131.60 c 3132 317147 3362 1 459246.0000 458891.0414 0.08%
3125.84/3136.74 c 3137 317733 3390 1 459246.0000 458891.9810 0.08%
3131.33/3142.25 c 3142 318452 3377 1 459246.0000 458894.2306 0.08%
3136.41/3147.39 c 3147 319009 3384 1 459246.0000 458895.2970 0.08%
3141.60/3152.55 c 3153 319703 3390 1 459246.0000 458896.2170 0.08%
3147.08/3158.03 c 3158 320217 3400 1 459246.0000 458897.5976 0.08%
3152.47/3163.40 c 3163 320827 3399 1 459246.0000 458899.6422 0.08%
3157.65/3168.69 c 3169 321407 3389 1 459246.0000 458901.4249 0.08%
3162.84/3173.87 c 3174 322027 3381 1 459246.0000 458903.1586 0.07%
3167.92/3178.94 c 3179 322607 3390 1 459246.0000 458904.8953 0.07%
3173.20/3184.22 c 3184 323207 3395 1 459246.0000 458907.4934 0.07%
3178.19/3189.25 c 3189 323759 3397 1 459246.0000 458909.1667 0.07%
3183.28/3194.33 c 3194 324317 3402 1 459246.0000 458909.8345 0.07%
3188.36/3199.48 c 3199 324857 3398 1 459246.0000 458910.9849 0.07%
3193.74/3204.85 c 3205 325588 3394 1 459246.0000 458911.1667 0.07%
3199.33/3210.40 c 3210 326357 3380 1 459246.0000 458911.6667 0.07%
3204.52/3215.62 c 3216 326997 3381 1 459246.0000 458912.9625 0.07%
3209.60/3220.71 c 3221 327471 3383 1 459246.0000 458914.5969 0.07%
3215.49/3226.69 c 3227 328172 3385 1 459246.0000 458916.1671 0.07%
3220.67/3231.83 c 3232 328897 3376 1 459246.0000 458917.6453 0.07%
3226.26/3237.43 c 3237 329517 3371 1 459246.0000 458919.6575 0.07%
3231.54/3242.73 c 3243 330277 3367 1 459246.0000 458921.2089 0.07%
3237.03/3248.24 c 3248 330816 3380 1 459246.0000 458922.0619 0.07%
3242.21/3253.41 c 3253 331537 3374 1 459246.0000 458923.4259 0.07%
3247.90/3259.14 c 3259 332275 3376 1 459246.0000 458924.9262 0.07%
3253.68/3264.90 c 3265 332927 3370 1 459246.0000 458926.2652 0.07%
3258.97/3270.24 c 3270 333529 3385 1 459246.0000 458928.9651 0.07%
3264.15/3275.43 c 3275 334031 3374 1 459246.0000 458930.6044 0.07%
3269.53/3280.81 c 3281 334857 3376 1 459246.0000 458931.9903 0.07%
3275.12/3286.46 c 3286 335520 3367 1 459246.0000 458933.1318 0.07%
3280.61/3291.96 c 3292 336217 3356 1 459246.0000 458935.4522 0.07%
3285.89/3297.24 c 3297 336817 3356 1 459246.0000 458937.7623 0.07%
3290.98/3302.37 c 3302 337489 3349 1 459246.0000 458937.9126 0.07%
3296.86/3308.23 c 3308 338437 3340 1 459246.0000 458940.1494 0.07%
3302.45/3313.90 c 3314 339497 3344 1 459246.0000 458941.9635 0.07%
3307.64/3319.03 c 3319 340127 3353 1 459246.0000 458944.2800 0.07%
3312.82/3324.23 c 3324 340777 3356 1 459246.0000 458946.7368 0.07%
3318.10/3329.59 c 3330 341547 3356 1 459246.0000 458949.1648 0.06%
3323.28/3334.77 c 3335 342167 3357 1 459246.0000 458950.9646 0.06%
3328.37/3339.82 c 3340 342788 3347 1 459246.0000 458952.7209 0.06%
3333.46/3344.93 c 3345 343447 3352 1 459246.0000 458955.2304 0.06%
3338.84/3350.32 c 3350 344067 3374 1 459246.0000 458956.7677 0.06%
3343.83/3355.39 c 3355 344707 3371 1 459246.0000 458958.0122 0.06%
3349.22/3360.70 c 3361 345527 3360 1 459246.0000 458959.1281 0.06%
3354.20/3365.78 c 3366 346237 3356 1 459246.0000 458961.2629 0.06%
3359.39/3370.90 c 3371 347117 3340 1 459246.0000 458963.9279 0.06%
3364.38/3375.96 c 3376 347869 3344 1 459246.0000 458967.0242 0.06%
3369.66/3381.20 c 3381 348627 3348 1 459246.0000 458969.2747 0.06%
3375.24/3386.84 c 3387 349359 3348 1 459246.0000 458970.7557 0.06%
3380.33/3391.97 c 3392 349947 3341 1 459246.0000 458972.2727 0.06%
3385.42/3397.05 c 3397 350507 3364 1 459246.0000 458974.3729 0.06%
3391.30/3402.94 c 3403 351197 3365 1 459246.0000 458975.8708 0.06%
3396.98/3408.62 c 3409 352127 3351 1 459246.0000 458977.2186 0.06%
3401.96/3413.64 c 3414 352927 3357 1 459246.0000 458980.0958 0.06%
3407.55/3419.29 c 3419 353737 3347 1 459246.0000 458982.1748 0.06%
3412.73/3424.43 c 3424 354457 3355 1 459246.0000 458984.2608 0.06%
3418.43/3430.12 c 3430 355100 3362 1 459246.0000 458985.4192 0.06%
3423.70/3435.40 c 3435 355739 3370 1 459246.0000 458987.6587 0.06%
3428.79/3440.54 c 3441 356521 3366 1 459246.0000 458989.3552 0.06%
3434.08/3445.88 c 3446 357064 3371 1 459246.0000 458991.1949 0.06%
3439.16/3450.94 c 3451 357557 3385 1 459246.0000 458992.2912 0.06%
3445.14/3456.92 c 3457 358485 3381 1 459246.0000 458993.5937 0.05%
3450.93/3462.75 c 3463 359101 3393 1 459246.0000 458994.0870 0.05%
3457.10/3468.90 c 3469 359669 3419 1 459246.0000 458994.6071 0.05%
3462.19/3474.03 c 3474 360357 3411 1 459246.0000 458995.0000 0.05%
3467.29/3479.11 c 3479 361157 3406 1 459246.0000 458995.9411 0.05%
3472.27/3484.16 c 3484 361907 3393 1 459246.0000 458997.8195 0.05%
3477.45/3489.32 c 3489 362557 3399 1 459246.0000 458998.6012 0.05%
3483.24/3495.18 c 3495 363403 3404 1 459246.0000 458998.8530 0.05%
3488.32/3500.23 c 3500 364177 3384 1 459246.0000 458999.9557 0.05%
3493.41/3505.38 c 3505 365147 3376 1 459246.0000 459002.0021 0.05%
3498.69/3510.65 c 3511 365784 3370 1 459246.0000 459002.4048 0.05%
3503.87/3515.82 c 3516 366387 3359 1 459246.0000 459003.5225 0.05%
3509.06/3521.10 c 3521 367187 3367 1 459246.0000 459006.1519 0.05%
3514.44/3526.47 c 3526 367759 3353 1 459246.0000 459006.9048 0.05%
3519.53/3531.56 c 3532 368497 3365 1 459246.0000 459008.0412 0.05%
3524.91/3536.94 c 3537 369349 3357 1 459246.0000 459009.2338 0.05%
3530.20/3542.25 c 3542 369949 3355 1 459246.0000 459009.9930 0.05%
3535.28/3547.35 c 3547 370827 3349 1 459246.0000 459011.5000 0.05%
3540.66/3552.73 c 3553 371537 3352 1 459246.0000 459013.6029 0.05%
3546.14/3558.29 c 3558 372166 3348 1 459246.0000 459015.1301 0.05%
3551.42/3563.58 c 3564 372777 3343 1 459246.0000 459018.0617 0.05%
3556.82/3568.91 c 3569 373477 3343 1 459246.0000 459019.7692 0.05%
3561.91/3574.09 c 3574 374357 3328 1 459246.0000 459022.2778 0.05%
3567.29/3579.45 c 3579 375227 3326 1 459246.0000 459022.9337 0.05%
3572.77/3584.93 c 3585 375717 3359 1 459246.0000 459023.2879 0.05%
3577.86/3590.04 c 3590 376417 3317 1 459246.0000 459024.6347 0.05%
3583.54/3595.80 c 3596 377261 3324 1 459246.0000 459027.3042 0.05%
3587.93/3600.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.93/3600.14 c Total Time : 3600.15
3587.93/3600.14 c solving : 3600.15
3587.93/3600.14 c presolving : 66.49 (included in solving)
3587.93/3600.14 c B&B Tree :
3587.93/3600.14 c nodes (total) : 1
3587.93/3600.14 c Solution :
3587.93/3600.14 c Solutions found : 20
3587.93/3600.14 c Primal Bound : +4.59246000000000e+05
3587.93/3600.14 c Dual Bound : +4.59028583301950e+05
3587.93/3600.14 c Gap : 0.04736 %
3587.93/3600.14 c * Warning: final gap: 4.73645e-04 is greater than SCIPepsilon: 1.00000e-09
3587.93/3600.16 o 459246
3587.93/3600.16 s SATISFIABLE
3587.93/3600.16 v x1982 -x1981 -x1980 -x1979 x1978 -x1977 -x1976 -x1975 x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 x1967 -x1966 x1965 -x1964
3587.93/3600.16 v -x1963 x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945
3587.93/3600.16 v -x1944 -x1943 x1942 -x1941 -x1940 -x1939 x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927
3587.93/3600.16 v x1926 -x1925 -x1924 -x1923 x1922 -x1921 -x1920 -x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 x1911 -x1910 x1909 -x1908
3587.93/3600.16 v -x1907 x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 -x1891 -x1890
3587.93/3600.16 v -x1889 x1888 -x1887 x1886 -x1885 -x1884 -x1883 x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 x1871
3587.93/3600.16 v x1870 -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 x1860 -x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852
3587.93/3600.16 v -x1851 -x1850 x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833
3587.93/3600.16 v x1832 -x1831 x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814
3587.93/3600.16 v -x1813 -x1812 x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 x1796 -x1795
3587.93/3600.16 v x1794 -x1793 x1792 -x1791 x1790 -x1789 -x1788 x1787 x1786 -x1785 x1784 -x1783 -x1782 -x1781 x1780 -x1779 x1778 -x1777 -x1776
3587.93/3600.16 v x1775 x1774 -x1773 x1772 -x1771 -x1770 x1769 -x1768 x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758
3587.93/3600.16 v -x1757 -x1756 x1755 -x1754 -x1753 x1752 -x1751 -x1750 -x1749 x1748 -x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739
3587.93/3600.16 v -x1738 -x1737 -x1736 -x1735 -x1734 x1733 x1732 -x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721
3587.93/3600.16 v -x1720 -x1719 -x1718 x1717 -x1716 -x1715 x1714 -x1713 -x1712 -x1711 -x1710 x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702
3587.93/3600.16 v x1701 -x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 -x1688 x1687 x1686 -x1685 x1684 -x1683
3587.93/3600.16 v x1682 -x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664
3587.93/3600.16 v x1663 x1662 -x1661 x1660 -x1659 -x1658 x1657 -x1656 x1655 x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 x1647 -x1646 -x1645
3587.93/3600.16 v x1644 -x1643 -x1642 -x1641 x1640 -x1639 -x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626
3587.93/3600.16 v -x1625 x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608
3587.93/3600.16 v x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 x1594 -x1593 -x1592 -x1591 -x1590 x1589
3587.93/3600.16 v -x1588 -x1587 x1586 -x1585 -x1584 x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 -x1575 x1574 -x1573 -x1572 x1571
3587.93/3600.16 v -x1570 -x1569 -x1568 -x1567 -x1566 x1565 -x1564 -x1563 x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552
3587.93/3600.16 v x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534
3587.93/3600.16 v -x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 x1519 -x1518 -x1517 -x1516 -x1515
3587.93/3600.16 v -x1514 x1513 x1512 -x1511 -x1510 -x1509 x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497
3587.93/3600.16 v x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 x1480 -x1479 -x1478
3587.93/3600.16 v -x1477 x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 x1460 -x1459
3587.93/3600.16 v -x1458 -x1457 -x1456 x1455 x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441
3587.93/3600.16 v x1440 -x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 -x1429 x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422
3587.93/3600.16 v -x1421 -x1420 x1419 x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 x1406 -x1405 x1404 -x1403
3587.93/3600.16 v x1402 -x1401 -x1400 x1399 x1398 -x1397 -x1396 x1395 -x1394 x1393 -x1392 x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 -x1384
3587.93/3600.16 v x1383 x1382 -x1381 -x1380 x1379 x1378 -x1377 -x1376 x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 x1365
3587.93/3600.16 v -x1364 x1363 -x1362 x1361 -x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 x1346
3587.93/3600.16 v -x1345 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 -x1330 -x1329 -x1328 x1327
3587.93/3600.16 v -x1326 x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309
3587.93/3600.16 v x1308 -x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 -x1296 x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289
3587.93/3600.16 v x1288 -x1287 -x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270
3587.93/3600.16 v x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 x1254 -x1253 -x1252
3587.93/3600.16 v -x1251 -x1250 x1249 x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 x1234 -x1233
3587.93/3600.16 v -x1232 -x1231 -x1230 x1229 x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215
3587.93/3600.16 v x1214 -x1213 x1212 -x1211 -x1210 -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196
3587.93/3600.16 v x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177
3587.93/3600.16 v x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 x1162 -x1161 -x1160 -x1159
3587.93/3600.16 v x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 x1142 -x1141 -x1140
3587.93/3600.16 v -x1139 x1138 -x1137 x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 x1125 -x1124 -x1123 -x1122
3587.93/3600.16 v -x1121 x1120 -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 x1105 -x1104 -x1103
3587.93/3600.16 v -x1102 -x1101 x1100 -x1099 x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085
3587.93/3600.16 v -x1084 x1083 -x1082 x1081 -x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 x1069 x1068 -x1067 x1066 -x1065
3587.93/3600.16 v -x1064 x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 -x1046
3587.93/3600.16 v x1045 -x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 -x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 -x1028 -x1027
3587.93/3600.16 v -x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009
3587.93/3600.16 v x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002 -x1001 x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 x990 -x989 -x988
3587.93/3600.16 v -x987 -x986 x985 -x984 -x983 x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966
3587.93/3600.16 v -x965 -x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 x952 -x951 -x950 -x949 x948 -x947 -x946 -x945
3587.93/3600.16 v -x944 x943 -x942 -x941 x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 -x924 -x923
3587.93/3600.16 v x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 x913 x912 -x911 x910 -x909 x908 -x907 -x906 -x905 x904 -x903 x902 -x901 -x900
3587.93/3600.16 v -x899 -x898 -x897 -x896 x895 x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 x882 -x881 -x880 -x879
3587.93/3600.16 v x878 -x877 -x876 -x875 x874 -x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 -x864 -x863 -x862 x861 x860 -x859 x858 -x857 x856
3587.93/3600.16 v -x855 -x854 -x853 x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 -x841 -x840 -x839 x838 -x837 -x836 -x835
3587.93/3600.16 v -x834 x833 -x832 -x831 x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 x822 -x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812
3587.93/3600.16 v -x811 x810 -x809 x808 -x807 -x806 -x805 x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 x794 -x793 -x792 -x791 x790
3587.93/3600.16 v -x789 -x788 -x787 -x786 x785 -x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 x774 -x773 x772 -x771 x770 -x769 x768
3587.93/3600.16 v -x767 x766 -x765 x764 -x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 -x753 x752 -x751 x750 -x749 -x748 -x747 x746
3587.93/3600.16 v -x745 -x744 -x743 x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729 -x728 -x727 x726 -x725 -x724
3587.93/3600.16 v -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702
3587.93/3600.16 v x701 x700 -x699 x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 x681 -x680
3587.93/3600.16 v -x679 x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 x670 -x669 -x668 x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658
3587.93/3600.16 v -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 x649 x648 -x647 x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 x638 -x637 -x636
3587.93/3600.16 v -x635 x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 x618 -x617 -x616 x615 x614
3587.93/3600.16 v -x613 x612 -x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592
3587.93/3600.16 v -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 x572 -x571 -x570
3587.93/3600.16 v x569 x568 -x567 x566 -x565 -x564 -x563 -x562 x561 x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 x548
3587.93/3600.16 v -x547 -x546 -x545 x544 -x543 -x542 -x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 -x532 x531 -x530 -x529 x528 -x527 -x526
3587.93/3600.16 v -x525 x524 -x523 -x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 -x505 x504
3587.93/3600.16 v -x503 -x502 -x501 x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 x491 x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482
3587.93/3600.16 v -x481 -x480 x479 -x478 -x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 x464 -x463 x462 -x461 -x460
3587.93/3600.16 v x459 x458 -x457 x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 x439 -x438
3587.93/3600.16 v -x437 -x436 -x435 -x434 x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 x424 -x423 x422 -x421 -x420 -x419 x418 -x417 -x416
3587.93/3600.16 v -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 x402 -x401 -x400 -x399 x398 -x397 x396 -x395 x394
3587.93/3600.16 v -x393 x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 x384 -x383 x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373 x372
3587.93/3600.16 v -x371 -x370 -x369 -x368 x367 -x366 -x365 x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350
3587.93/3600.16 v -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 x340 -x339 x338 -x337 -x336 -x335 x334 -x333 x332 -x331 -x330 -x329 x328
3587.93/3600.16 v -x327 -x326 -x325 x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 x312 -x311 x310 -x309 x308 -x307 x306
3587.93/3600.16 v -x305 x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284
3587.93/3600.16 v x283 -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 x263 -x262
3587.93/3600.16 v -x261 x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 -x242 x241
3587.93/3600.16 v -x240 -x239 x238 -x237 x236 -x235 -x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 x220 -x219
3587.93/3600.16 v x218 -x217 -x216 -x215 x214 -x213 -x212 x211 -x210 -x209 x208 -x207 -x206 -x205 x204 -x203 x202 -x201 x200 -x199 x198 -x197 -x196
3587.93/3600.16 v -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174
3587.93/3600.16 v -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151
3587.93/3600.16 v -x150 x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 -x132 x131 -x130 -x129
3587.93/3600.16 v -x128 x127 x126 -x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109 x108 -x107 x106
3587.93/3600.16 v -x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 x96 -x95 -x94 x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 -x84 -x83 -x82 x81 x80
3587.93/3600.16 v -x79 -x78 -x77 x76 -x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 x54 -x53
3587.93/3600.16 v -x52 x51 x50 -x49 x48 -x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 x26 -x25
3588.03/3600.25 v x24 -x23 -x22 x21 x20 -x19 x18 -x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (46826 MiB free)
memory of node 1: 64473 MiB (37249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456507-1721720705/watcher-4456507-1721720705 -o /tmp/evaluation-result-4456507-1721720705/solver-4456507-1721720705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721718367-87286 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456507-1721720705.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=89309, runsolver pid=89306
[startup+0.100491 s]*
/proc/loadavg: 4.09 4.08 3.96 5/260 89310
/proc/meminfo: memFree=86035932/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=80084 memory=69192 CPUtime=0.09 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 15190 0 0 0 8 1 0 0 20 0 1 0 8598461 82006016 17298 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 20021 17298 2558 3032 0 16421 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80084 KiB
Current children cumulated memory: 69192 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.09 4.08 3.96 5/260 89310
/proc/meminfo: memFree=85988692/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=129776 memory=117092 CPUtime=0.2 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 27145 0 0 0 17 3 0 0 20 0 1 0 8598461 132890624 29273 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 32444 29273 2590 3032 0 28844 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 129776 KiB
Current children cumulated memory: 117092 KiB
[startup+0.305638 s]*
/proc/loadavg: 4.09 4.08 3.96 5/260 89310
/proc/meminfo: memFree=85949576/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=170160 memory=156752 CPUtime=0.29 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 37032 0 0 0 25 4 0 0 20 0 1 0 8598461 174243840 39122 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 42540 39188 2606 3032 0 38940 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 170160 KiB
Current children cumulated memory: 156752 KiB
[startup+0.700213 s]
/proc/loadavg: 4.09 4.08 3.96 5/260 89312
/proc/meminfo: memFree=85939612/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=182412 memory=165308 CPUtime=0.69 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 40613 0 0 0 64 5 0 0 20 0 1 0 8598461 186789888 41327 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 45603 41327 2638 3032 0 42003 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 182412 KiB
Current children cumulated memory: 165308 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.08 3.96 5/260 89312
/proc/meminfo: memFree=85937848/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=183192 memory=166100 CPUtime=1.48 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 40806 0 0 0 143 5 0 0 20 0 1 0 8598461 187588608 41525 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 45798 41525 2638 3032 0 42198 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 183192 KiB
Current children cumulated memory: 166100 KiB
[startup+3.10549 s]
/proc/loadavg: 4.08 4.08 3.96 5/260 89312
/proc/meminfo: memFree=85935092/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=184220 memory=167156 CPUtime=3.08 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 41063 0 0 0 303 5 0 0 20 0 1 0 8598461 188641280 41789 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 46055 41789 2638 3032 0 42455 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184220 KiB
Current children cumulated memory: 167156 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.08 3.96 5/261 89313
/proc/meminfo: memFree=85890824/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=236488 memory=213812 CPUtime=6.26 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 53288 0 0 0 619 7 0 0 20 0 1 0 8598461 242163712 53453 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 59122 53453 2814 3032 0 55522 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 236488 KiB
Current children cumulated memory: 213812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 3.96 5/261 89314
/proc/meminfo: memFree=85863364/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=270876 memory=239288 CPUtime=12.64 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 59600 0 0 0 1256 8 0 0 20 0 1 0 8598461 277377024 59822 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 67719 59822 2910 3032 0 64119 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 270876 KiB
Current children cumulated memory: 239288 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 3.96 5/261 89316
/proc/meminfo: memFree=85831020/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=298040 memory=264924 CPUtime=25.41 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 66227 0 0 0 2530 11 0 0 20 0 1 0 8598461 305192960 66231 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 74510 66231 2926 3032 0 70910 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 298040 KiB
Current children cumulated memory: 264924 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 3.97 5/258 89320
/proc/meminfo: memFree=85807428/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=319476 memory=284936 CPUtime=50.93 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 72760 0 0 0 5079 14 0 0 20 0 1 0 8598461 327143424 71234 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 79869 71234 3246 3032 0 76269 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 319476 KiB
Current children cumulated memory: 284936 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 3.98 5/260 89331
/proc/meminfo: memFree=85666844/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=531680 memory=418216 CPUtime=101.91 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 163830 0 0 0 10167 24 0 0 20 0 3 0 8598461 544440320 104554 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 132920 104554 3262 3032 0 115091 0
[pid=89309/tid=89324] ppid=89306 vsize=531680 memory=409888 CPUtime=35.46 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 89864 0 0 0 3538 8 0 0 20 0 3 0 8605126 544440320 104554 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=531680 memory=11624 CPUtime=0 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 8605131 544440320 104554 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 531680 KiB
Current children cumulated memory: 418216 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 3.99 5/260 89342
/proc/meminfo: memFree=85596508/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=592156 memory=476984 CPUtime=161.72 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 250751 0 0 0 16137 35 0 0 20 0 3 0 8598461 606367744 119246 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 148039 119246 3310 3032 0 133296 0
[pid=89309/tid=89324] ppid=89306 vsize=592156 memory=424904 CPUtime=95.27 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 175655 0 0 0 9508 19 0 0 20 0 3 0 8605126 606367744 119246 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=592156 memory=457552 CPUtime=0 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8605131 606367744 119246 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 592156 KiB
Current children cumulated memory: 476984 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/260 89352
/proc/meminfo: memFree=85446620/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=788764 memory=617276 CPUtime=221.54 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 346885 0 0 0 22106 48 0 0 20 0 3 0 8598461 807694336 154319 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 197191 154319 3310 3032 0 183832 0
[pid=89309/tid=89324] ppid=89306 vsize=788764 memory=34784 CPUtime=155.08 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 270416 0 0 0 15477 31 0 0 20 0 3 0 8605126 807694336 154319 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=788764 memory=613632 CPUtime=0 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 8605131 807694336 154319 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 788764 KiB
Current children cumulated memory: 617276 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/260 89362
/proc/meminfo: memFree=85160968/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=919836 memory=654400 CPUtime=281.35 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 415098 0 0 0 28077 58 0 0 20 0 3 0 8598461 941912064 163600 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 229959 163600 3310 3032 0 218530 0
[pid=89309/tid=89324] ppid=89306 vsize=919836 memory=5592 CPUtime=214.88 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 338601 0 0 0 21447 41 0 0 20 0 3 0 8605126 941912064 163600 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=919836 memory=665916 CPUtime=0 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 8605131 941912064 163600 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 919836 KiB
Current children cumulated memory: 654400 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/262 89377
/proc/meminfo: memFree=85101960/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=985372 memory=710292 CPUtime=341.15 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 487414 0 0 0 34046 69 0 0 20 0 3 0 8598461 1009020928 177573 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 246343 177573 3310 3032 0 229745 0
[pid=89309/tid=89324] ppid=89306 vsize=985372 memory=11624 CPUtime=274.67 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 409954 0 0 0 27415 52 0 0 20 0 3 0 8605126 1009020928 177573 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=985372 memory=11624 CPUtime=0 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 8605131 1009020928 177573 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 341.15 s
################
# More data... #
################
[pid=89309] ppid=89306 vsize=1524828 memory=1318744 CPUtime=3390.7 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2841941 0 0 0 338599 471 0 0 20 0 3 0 8598461 1561423872 329686 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 329686 3310 3032 0 365880 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1308800 CPUtime=3323.82 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2761932 0 0 0 331943 439 0 0 20 0 3 0 8605126 1561423872 329686 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=-7449910927628001408 CPUtime=0.03 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 3 0 8605131 1561423872 329686 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3390.7 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1318744 KiB
[startup+3462.3 s]
/proc/loadavg: 2.04 2.31 3.06 3/243 91562
/proc/meminfo: memFree=91529380/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1367524 CPUtime=3450.53 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2875722 0 0 0 344578 475 0 0 20 0 3 0 8598461 1561423872 341881 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 341881 3310 3032 0 366125 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1286960 CPUtime=3383.64 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2795699 0 0 0 337921 443 0 0 20 0 3 0 8605126 1561423872 341881 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=2268 CPUtime=0.03 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 3 0 8605131 1561423872 341881 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1367524 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.28 3.00 3/244 91573
/proc/meminfo: memFree=91490732/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1393280 CPUtime=3510.36 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2889857 0 0 0 350556 480 0 0 20 0 3 0 8598461 1561423872 348320 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 348320 3310 3032 0 366125 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1389716 CPUtime=3443.46 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2809815 0 0 0 343899 447 0 0 20 0 3 0 8605126 1561423872 348320 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=1393280 CPUtime=0.03 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 182 0 0 0 0 3 0 0 20 0 3 0 8605131 1561423872 348320 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1393280 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.24 2.94 3/244 91585
/proc/meminfo: memFree=91460904/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1405636 CPUtime=3570.18 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2917253 0 0 0 356533 485 0 0 20 0 3 0 8598461 1561423872 351409 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 351409 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1404916 CPUtime=3503.28 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2837185 0 0 0 349876 452 0 0 20 0 3 0 8605126 1561423872 351409 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=11624 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 184 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 351409 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3570.18 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1405636 KiB
[startup+3600.26 s]
# the end of solver process 89309 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.2 s, system=4.89411 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.09 2.24 2.94 3/244 91585
/proc/meminfo: memFree=91460764/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1405636 CPUtime=3571.88 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2923211 0 0 0 356703 485 0 0 20 0 3 0 8598461 1561423872 351409 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 351409 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=11708 CPUtime=3504.98 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2843141 0 0 0 350046 452 0 0 20 0 3 0 8605126 1561423872 351409 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=11736 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 351409 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1405636 KiB
[startup+3590.4 s]
/proc/loadavg: 2.08 2.24 2.93 3/244 91585
/proc/meminfo: memFree=91447764/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1418480 CPUtime=3578.25 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2923742 0 0 0 357340 485 0 0 20 0 3 0 8598461 1561423872 354620 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 354620 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=11624 CPUtime=3511.36 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2843672 0 0 0 350683 453 0 0 20 0 3 0 8605126 1561423872 354620 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=1405636 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 354620 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3578.25 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1418480 KiB
[startup+3596.8 s]
/proc/loadavg: 2.08 2.23 2.93 3/244 91586
/proc/meminfo: memFree=91445484/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1420528 CPUtime=3584.64 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2923902 0 0 0 357978 486 0 0 20 0 3 0 8598461 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 355132 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=12368 CPUtime=3517.74 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2843830 0 0 0 351321 453 0 0 20 0 3 0 8605126 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=1418480 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3584.64 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1420528 KiB
[startup+3598.4 s]
/proc/loadavg: 2.08 2.23 2.93 3/244 91586
/proc/meminfo: memFree=91445628/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1420528 CPUtime=3586.23 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2923915 0 0 0 358137 486 0 0 20 0 3 0 8598461 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 355132 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1420528 CPUtime=3519.33 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2843843 0 0 0 351480 453 0 0 20 0 3 0 8605126 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=1420528 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1420528 KiB
[startup+3599.2 s]
/proc/loadavg: 2.07 2.23 2.92 3/244 91586
/proc/meminfo: memFree=91445680/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1420528 CPUtime=3587.03 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2923916 0 0 0 358217 486 0 0 20 0 3 0 8598461 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 355132 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1420528 CPUtime=3520.13 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2843844 0 0 0 351560 453 0 0 20 0 3 0 8605126 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=12368 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1420528 KiB
[startup+3600 s]*
/proc/loadavg: 2.07 2.23 2.92 3/244 91586
/proc/meminfo: memFree=91445648/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1524828 memory=1420528 CPUtime=3587.83 cores=4,6
/proc/89309/stat : 89309 (fscip) S 89306 89309 87275 0 -1 1077936128 2923979 0 0 0 358297 486 0 0 20 0 3 0 8598461 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 381207 355132 3310 3032 0 369296 0
[pid=89309/tid=89324] ppid=89306 vsize=1524828 memory=1444744 CPUtime=3520.93 cores=4,6
/proc/89309/task/89324/stat : 89324 (fscip) R 89306 89309 87275 0 -1 4194368 2843907 0 0 0 351640 453 0 0 20 0 3 0 8605126 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
[pid=89309/tid=89325] ppid=89306 vsize=1524828 memory=11708 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 3 0 8605131 1561423872 355132 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 1524828 KiB
Current children cumulated memory: 1420528 KiB
[startup+3600.2 s]
/proc/loadavg: 2.07 2.23 2.92 3/244 91586
/proc/meminfo: memFree=91445648/131524600 swapFree=131071996/131071996
[pid=89309] ppid=89306 vsize=1178004 memory=1094652 CPUtime=3588.03 cores=4,6
/proc/89309/stat : 89309 (fscip) R 89306 89309 87275 0 -1 4194304 2944481 0 0 0 358315 488 0 0 20 0 2 0 8598461 1206276096 273663 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
/proc/89309/statm: 294501 273663 3310 3032 0 290579 0
[pid=89309/tid=89325] ppid=89306 vsize=1178004 memory=40444 CPUtime=0.04 cores=4,6
/proc/89309/task/89325/stat : 89325 (fscip) S 89306 89309 87275 0 -1 1077936192 186 0 0 0 0 4 0 0 20 0 2 0 8605131 1206276096 273663 134679101440 4194304 16613245 140735132657472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42844160 140735132664856 140735132664972 140735132664972 140735132671984 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 1178004 KiB
Current children cumulated memory: 1094652 KiB
Child status: 0
Real time (s): 3600.26
CPU time (s): 3588.09
CPU user time (s): 3583.2
CPU system time (s): 4.89411
CPU usage (%): 99.6621
Max. virtual memory (cumulated for all children) (KiB): 1524828
Max. memory (cumulated for all children) (KiB): 1420528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.2
system time used= 4.89411
maximum resident set size= 1420528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2952716
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= 17343
involuntary context switches= 3444
# summary of solver processes directly reported to runsolver:
# pid: 89309
# total CPU time (s): 3588.09
# total CPU user time (s): 3583.2
# total CPU system time (s): 4.89411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88652 second user time and 18.4019 second system time
The end
Begin job on nodeC014 at 2024-07-23 09:45:06
IDJOB=4456507
IDBENCH=144037
IDSOLVER=3044
FILE ID=nodeC014/4456507-1721720705
RUNJOBID= nodeC014-1721718367-87286
SLURM_JOB_ID= 7770396
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-1403_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456507-1721720705/watcher-4456507-1721720705 -o /tmp/evaluation-result-4456507-1721720705/solver-4456507-1721720705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721718367-87286 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456507-1721720705.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2cd9cebb7540fdd6e098c60b3eb18ca6
RANDOM SEED=1063529046
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.101
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.031
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.642
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.935
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.058
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.310
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.963
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 86094284 kB
MemAvailable: 121574372 kB
Buffers: 146032 kB
Cached: 36041056 kB
SwapCached: 0 kB
Active: 957948 kB
Inactive: 43653512 kB
Active(anon): 1564 kB
Inactive(anon): 8460204 kB
Active(file): 956384 kB
Inactive(file): 35193308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28720 kB
Writeback: 0 kB
AnonPages: 8421624 kB
Mapped: 134396 kB
Shmem: 37712 kB
KReclaimable: 340440 kB
Slab: 450672 kB
SReclaimable: 340440 kB
SUnreclaim: 110232 kB
KernelStack: 4188 kB
PageTables: 26004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4698040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1429504 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: 293588 kB
DirectMap2M: 27791360 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC014 at 2024-07-23 10:45:06