0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.13 c Default LC presolving (default).
0.09/0.13 c ** Before presolving: virtualMemUsedAtLc = 133892181, getVmSize() = 103792640, SCIPgetMemUsed() = 72711238, SCIPgetMemTotal() = 77432886, SCIPgetMemExternEstim() = 56459295
0.09/0.13 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
64.38/64.75 c ** Estimated virtualMemUsedAtSolver = 158310298, getVmSize() = 315473920, SCIPgetMemUsed() = 134339216, SCIPgetMemTotal() = 181006152, SCIPgetMemExternEstim() = 56459295
64.38/64.75 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
64.38/64.75 c Original Problem :
64.38/64.75 c Problem name : instance-4465057-1722390176
64.38/64.75 c Variables : 21518 (21518 binary, 0 integer, 0 implicit integer, 0 continuous)
64.38/64.75 c Constraints : 39738
64.38/64.75 c Objective sense : minimize
64.38/64.75 c Presolved Problem :
64.38/64.75 c Variables : 1603 (1603 binary, 0 integer, 0 implicit integer, 0 continuous)
64.38/64.75 c Constraints : 18681
64.38/64.75 c Constraints : Number
64.38/64.75 c setppc : 14284
64.38/64.75 c linear : 270
64.38/64.75 c logicor : 3874
64.38/64.75 c indicator : 253
64.38/64.75 c ** Instance transfer method used: 0
64.38/64.78 c ** ParaScipInstance copy increased the number of variables. **
64.48/64.81 c LC is working with racing ramp-up and with rebuilding tree after racing.
64.48/64.81 c Nodes Active
64.48/64.81 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
111.67/112.27 c * 112 0 1 1 513249.0000 - -
111.67/112.27 c 112 0 1 1 513249.0000 - -
111.76/112.33 c * 112 0 1 1 495247.0000 - -
122.32/122.97 c * 123 0 1 1 476252.0000 - -
122.32/122.97 c 123 0 1 1 476252.0000 - -
123.82/124.49 c * 124 0 1 1 464252.0000 - -
128.80/129.40 c 129 7 6 1 464252.0000 451096.5116 2.92%
134.39/135.07 c 135 16 15 1 464252.0000 451337.1219 2.86%
139.46/140.11 c 140 26 25 1 464252.0000 451337.1219 2.86%
145.74/146.41 c 146 36 35 1 464252.0000 451337.1219 2.86%
151.01/151.79 c 152 49 48 1 464252.0000 451337.1219 2.86%
156.59/157.34 c 157 67 58 1 464252.0000 451337.1219 2.86%
161.97/162.70 c 163 99 74 1 464252.0000 451384.5721 2.85%
163.26/164.02 c * 164 109 78 1 462252.0000 451384.5721 2.41%
167.35/168.11 c 168 281 145 1 462252.0000 451384.5721 2.41%
167.95/168.75 c * 169 281 145 1 461251.0000 451384.5721 2.19%
173.53/174.33 c 174 509 186 1 461251.0000 451514.7301 2.16%
179.21/180.04 c 180 612 245 1 461251.0000 451704.2848 2.11%
184.39/185.21 c 185 731 284 1 461251.0000 451746.2925 2.10%
189.37/190.28 c 190 842 329 1 461251.0000 451869.5350 2.08%
194.75/195.67 c 196 931 386 1 461251.0000 451883.5679 2.07%
197.34/198.27 c * 198 982 415 1 461250.0000 452019.1715 2.04%
205.32/206.27 c 206 1021 0 1 461250.0000 452859.7436 1.85%
210.60/211.57 c 212 1057 36 1 461250.0000 453187.2684 1.78%
215.78/216.74 c 217 1132 89 1 461250.0000 453229.5307 1.77%
218.08/219.00 c * 219 1192 111 1 461249.0000 453245.0000 1.77%
221.36/222.38 c 222 1552 160 1 461249.0000 453799.5000 1.64%
227.34/228.39 c * 228 1762 200 1 461248.0000 454220.1905 1.55%
227.34/228.39 c 228 1762 200 1 461248.0000 454220.1905 1.55%
232.62/233.63 c 234 2152 252 1 461248.0000 454460.6034 1.49%
237.80/238.83 c * 239 2272 334 1 459257.0000 454466.1667 1.05%
237.80/238.83 c 239 2272 334 1 459257.0000 454466.1667 1.05%
237.80/238.87 c * 239 2272 334 1 459256.0000 454466.1667 1.05%
237.90/238.94 c * 239 2272 334 1 459255.0000 454466.1667 1.05%
237.90/238.98 c * 239 2272 334 1 459253.0000 454466.1667 1.05%
238.11/239.19 c * 239 2292 196 1 459252.0000 454466.1667 1.05%
238.20/239.22 c * 239 2292 196 1 459251.0000 454466.1667 1.05%
238.20/239.29 c * 239 2292 196 1 459250.0000 454466.1667 1.05%
240.60/241.61 c * 242 2402 220 1 459249.0000 454554.1381 1.03%
243.28/244.35 c 244 2582 236 1 459249.0000 454576.8333 1.03%
243.58/244.64 c * 245 2582 236 1 459248.0000 454576.8333 1.03%
249.26/250.35 c 250 3191 256 1 459248.0000 454688.2778 1.00%
254.95/256.04 c 256 3543 272 1 459248.0000 454695.3107 1.00%
260.93/262.01 c 262 3982 307 1 459248.0000 454775.0904 0.98%
265.91/267.03 c 267 4272 339 1 459248.0000 454863.5840 0.96%
270.99/272.11 c 272 4750 366 1 459248.0000 454910.4167 0.95%
276.37/277.59 c 278 5322 409 1 459248.0000 455023.3125 0.93%
281.75/282.91 c 283 5642 431 1 459248.0000 455080.9212 0.92%
287.33/288.55 c 289 5974 453 1 459248.0000 455164.5516 0.90%
292.81/294.01 c 294 6222 481 1 459248.0000 455244.0000 0.88%
297.89/299.16 c 299 6401 496 1 459248.0000 455244.0000 0.88%
303.07/304.35 c 304 6459 508 1 459248.0000 455244.0000 0.88%
308.35/309.68 c 310 6752 549 1 459248.0000 455300.2915 0.87%
313.63/314.95 c 315 7142 571 1 459248.0000 455326.9241 0.86%
319.01/320.39 c 320 7487 590 1 459248.0000 455368.8666 0.85%
324.09/325.48 c 325 7812 607 1 459248.0000 455386.5238 0.85%
329.38/330.74 c 331 8222 619 1 459248.0000 455432.0616 0.84%
334.95/336.34 c 336 8822 643 1 459248.0000 455461.0208 0.83%
340.93/342.31 c 342 9436 669 1 459248.0000 455497.5385 0.82%
346.12/347.55 c 348 9836 685 1 459248.0000 455552.3571 0.81%
351.29/352.77 c 353 10342 703 1 459248.0000 455589.4525 0.80%
356.37/357.84 c 358 10738 724 1 459248.0000 455604.2429 0.80%
361.46/362.94 c 363 11092 748 1 459248.0000 455635.6071 0.79%
366.54/368.04 c 368 11436 766 1 459248.0000 455671.4663 0.78%
371.83/373.37 c 373 11782 787 1 459248.0000 455720.8571 0.77%
376.80/378.38 c 378 12112 798 1 459248.0000 455756.9496 0.77%
377.80/379.35 c * 379 12142 796 1 459247.0000 455770.0631 0.76%
382.79/384.35 c 384 12621 818 1 459247.0000 455780.2799 0.76%
387.87/389.47 c 389 13082 837 1 459247.0000 455802.1395 0.76%
393.05/394.64 c 395 13782 862 1 459247.0000 455810.6055 0.75%
398.72/400.32 c 400 14312 866 1 459247.0000 455853.5238 0.74%
403.90/405.58 c 406 14702 870 1 459247.0000 455879.7500 0.74%
408.99/410.64 c 411 14972 874 1 459247.0000 455900.8668 0.73%
414.48/416.15 c 416 15562 897 1 459247.0000 455921.7163 0.73%
420.45/422.11 c 422 16032 905 1 459247.0000 455945.0000 0.72%
426.43/428.19 c 428 16512 923 1 459247.0000 455974.1552 0.72%
432.01/433.71 c 434 17059 946 1 459247.0000 455989.9623 0.71%
437.39/439.10 c 439 17622 951 1 459247.0000 456021.6874 0.71%
442.46/444.26 c 444 18222 965 1 459247.0000 456039.5292 0.70%
448.45/450.26 c 450 18777 984 1 459247.0000 456077.3333 0.69%
453.73/455.51 c 456 19372 993 1 459247.0000 456113.8075 0.69%
459.01/460.81 c 461 19982 1015 1 459247.0000 456148.3547 0.68%
464.19/466.08 c 466 20432 1035 1 459247.0000 456179.5641 0.67%
469.76/471.62 c 472 20882 1062 1 459247.0000 456199.1558 0.67%
475.54/477.47 c 477 21489 1088 1 459247.0000 456235.3382 0.66%
480.83/482.79 c 483 21983 1100 1 459247.0000 456244.5000 0.66%
486.41/488.37 c 488 22362 1112 1 459247.0000 456260.0224 0.65%
491.89/493.89 c 494 22772 1111 1 459247.0000 456286.1821 0.65%
497.07/499.05 c 499 23312 1134 1 459247.0000 456310.2579 0.64%
502.75/504.77 c 505 23902 1137 1 459247.0000 456334.2727 0.64%
508.43/510.41 c 510 24472 1150 1 459247.0000 456369.6239 0.63%
514.91/516.91 c 517 24942 1160 1 459247.0000 456390.4986 0.63%
520.10/522.13 c 522 25377 1167 1 459247.0000 456401.1611 0.62%
525.08/527.17 c 527 25682 1172 1 459247.0000 456415.4879 0.62%
530.16/532.27 c 532 25982 1190 1 459247.0000 456424.7433 0.62%
536.04/538.12 c 538 26407 1197 1 459247.0000 456444.5000 0.61%
541.51/543.60 c 544 26912 1209 1 459247.0000 456455.8485 0.61%
546.70/548.89 c 549 27573 1213 1 459247.0000 456473.6254 0.61%
551.98/554.13 c 554 28004 1217 1 459247.0000 456492.9956 0.60%
557.86/560.07 c 560 28739 1223 1 459247.0000 456511.8657 0.60%
563.23/565.46 c 565 29406 1248 1 459247.0000 456516.7012 0.60%
568.52/570.77 c 571 29932 1291 1 459247.0000 456546.0833 0.59%
573.90/576.16 c 576 30722 1294 1 459247.0000 456569.2871 0.59%
578.98/581.29 c 581 31372 1290 1 459247.0000 456576.2854 0.58%
584.66/586.98 c 587 32054 1306 1 459247.0000 456577.3333 0.58%
590.14/592.45 c 592 32461 1320 1 459247.0000 456578.3333 0.58%
595.23/597.53 c 598 32807 1330 1 459247.0000 456596.6994 0.58%
600.81/603.12 c 603 33322 1347 1 459247.0000 456618.8359 0.58%
606.39/608.78 c 609 33982 1343 1 459247.0000 456648.9221 0.57%
611.67/614.02 c 614 34502 1364 1 459247.0000 456663.0273 0.57%
616.95/619.33 c 619 34932 1379 1 459247.0000 456678.5547 0.56%
622.33/624.71 c 625 35492 1407 1 459247.0000 456688.7778 0.56%
627.41/629.86 c 630 35901 1429 1 459247.0000 456702.9980 0.56%
632.59/635.05 c 635 36251 1466 1 459247.0000 456709.4309 0.56%
637.78/640.21 c 640 36722 1491 1 459247.0000 456742.1842 0.55%
642.95/645.43 c 645 37162 1507 1 459247.0000 456759.9887 0.54%
647.93/650.49 c 650 37672 1506 1 459247.0000 456765.4826 0.54%
653.02/655.54 c 656 38272 1500 1 459247.0000 456786.2667 0.54%
658.90/661.42 c 661 38898 1513 1 459247.0000 456800.0000 0.54%
664.38/666.90 c 667 39462 1536 1 459247.0000 456820.7087 0.53%
669.86/672.44 c 672 39875 1552 1 459247.0000 456824.1992 0.53%
674.83/677.48 c 677 40232 1560 1 459247.0000 456835.5455 0.53%
680.51/683.16 c 683 40712 1592 1 459247.0000 456856.2932 0.52%
685.79/688.46 c 688 41552 1587 1 459247.0000 456868.7500 0.52%
690.77/693.48 c 693 42092 1588 1 459247.0000 456876.1873 0.52%
696.35/699.07 c 699 42602 1594 1 459247.0000 456889.9184 0.52%
701.43/704.11 c 704 42958 1599 1 459247.0000 456903.4682 0.51%
706.91/709.60 c 710 43417 1613 1 459247.0000 456910.0833 0.51%
712.78/715.56 c 716 43847 1625 1 459247.0000 456910.6667 0.51%
718.37/721.16 c 721 44152 1631 1 459247.0000 456911.6667 0.51%
724.24/727.08 c 727 44622 1643 1 459247.0000 456925.3681 0.51%
729.31/732.14 c 732 45172 1653 1 459247.0000 456941.8684 0.50%
734.59/737.45 c 737 45762 1658 1 459247.0000 456966.4847 0.50%
740.07/742.90 c 743 46222 1682 1 459247.0000 456990.5123 0.49%
746.05/749.00 c 749 46654 1700 1 459247.0000 456994.5000 0.49%
751.73/754.69 c 755 47422 1704 1 459247.0000 457005.6163 0.49%
756.80/759.76 c 760 47882 1720 1 459247.0000 457014.1057 0.49%
762.19/765.13 c 765 48402 1729 1 459247.0000 457029.3011 0.49%
767.86/770.80 c 771 48952 1767 1 459247.0000 457051.3182 0.48%
773.63/776.69 c 777 49462 1799 1 459247.0000 457055.6704 0.48%
778.82/781.83 c 782 50092 1768 1 459247.0000 457065.5205 0.48%
784.28/787.37 c 787 50572 1777 1 459247.0000 457076.8333 0.47%
789.56/792.65 c 793 50934 1793 1 459247.0000 457077.8333 0.47%
794.84/797.99 c 798 51391 1800 1 459247.0000 457093.8045 0.47%
800.12/803.20 c 803 52032 1807 1 459247.0000 457116.5033 0.47%
806.00/809.14 c 809 52598 1812 1 459247.0000 457139.3566 0.46%
811.08/814.20 c 814 53122 1818 1 459247.0000 457148.0781 0.46%
816.35/819.57 c 820 53722 1807 1 459247.0000 457170.1574 0.45%
821.44/824.67 c 825 54342 1859 1 459247.0000 457174.2154 0.45%
826.61/829.87 c 830 55012 1866 1 459247.0000 457184.1203 0.45%
831.80/835.03 c 835 55752 1857 1 459247.0000 457212.1644 0.45%
836.97/840.25 c 840 56232 1898 1 459247.0000 457227.1985 0.44%
842.15/845.48 c 845 56649 1916 1 459247.0000 457229.8601 0.44%
847.23/850.58 c 851 57192 1964 1 459247.0000 457233.9762 0.44%
852.90/856.22 c 856 57902 1988 1 459247.0000 457239.8741 0.44%
858.38/861.70 c 862 58592 2027 1 459247.0000 457242.6667 0.44%
863.46/866.88 c 867 59382 2045 1 459247.0000 457243.2000 0.44%
868.83/872.23 c 872 60082 2063 1 459247.0000 457243.8783 0.44%
873.92/877.35 c 877 60442 2105 1 459247.0000 457244.1667 0.44%
879.60/883.00 c 883 61005 2121 1 459247.0000 457244.3333 0.44%
884.97/888.41 c 888 61504 2162 1 459247.0000 457244.5000 0.44%
890.45/893.96 c 894 62000 2188 1 459247.0000 457245.0000 0.44%
895.54/899.10 c 899 62472 2246 1 459247.0000 457245.0000 0.44%
900.70/904.20 c 904 63192 2303 1 459247.0000 457245.0000 0.44%
906.49/910.01 c 910 63683 2337 1 459247.0000 457250.1303 0.44%
912.17/915.72 c 916 64302 2329 1 459247.0000 457266.2701 0.43%
917.14/920.76 c 921 64892 2331 1 459247.0000 457277.1620 0.43%
922.53/926.14 c 926 65264 2331 1 459247.0000 457285.7567 0.43%
927.69/931.37 c 931 65782 2366 1 459247.0000 457286.9089 0.43%
932.87/936.57 c 937 66342 2371 1 459247.0000 457311.2023 0.42%
938.56/942.24 c 942 66972 2383 1 459247.0000 457317.0741 0.42%
943.73/947.49 c 947 67852 2413 1 459247.0000 457322.2976 0.42%
948.91/952.63 c 953 68642 2449 1 459247.0000 457333.4899 0.42%
954.30/958.08 c 958 69502 2491 1 459247.0000 457344.2000 0.42%
959.87/963.65 c 964 70402 2535 1 459247.0000 457356.4401 0.41%
965.14/968.93 c 969 71022 2548 1 459247.0000 457369.6853 0.41%
970.33/974.19 c 974 71602 2588 1 459247.0000 457376.4000 0.41%
975.60/979.40 c 979 72262 2590 1 459247.0000 457385.4050 0.41%
980.68/984.56 c 985 72702 2603 1 459247.0000 457396.4254 0.40%
985.87/989.78 c 990 73352 2595 1 459247.0000 457405.2708 0.40%
991.04/994.92 c 995 73793 2598 1 459247.0000 457410.9167 0.40%
996.22/1000.17 c 1000 74471 2626 1 459247.0000 457411.6667 0.40%
1001.69/1005.65 c 1006 75082 2638 1 459247.0000 457429.5003 0.40%
1006.87/1010.82 c 1011 75846 2652 1 459247.0000 457443.2250 0.39%
1012.85/1016.86 c 1017 76472 2683 1 459247.0000 457444.7834 0.39%
1018.23/1022.26 c 1022 76782 2713 1 459247.0000 457448.8048 0.39%
1023.71/1027.70 c 1028 77552 2721 1 459247.0000 457461.6471 0.39%
1029.29/1033.33 c 1033 78309 2758 1 459247.0000 457467.2222 0.39%
1034.67/1038.70 c 1039 78936 2762 1 459247.0000 457475.3841 0.39%
1040.05/1044.13 c 1044 79772 2764 1 459247.0000 457487.8870 0.38%
1045.12/1049.22 c 1049 80352 2787 1 459247.0000 457494.6250 0.38%
1050.40/1054.59 c 1055 81212 2826 1 459247.0000 457498.7000 0.38%
1055.48/1059.62 c 1060 81742 2837 1 459247.0000 457507.2059 0.38%
1060.75/1064.91 c 1065 82562 2845 1 459247.0000 457516.4645 0.38%
1065.94/1070.12 c 1070 83162 2863 1 459247.0000 457521.4222 0.38%
1071.31/1075.54 c 1076 83892 2873 1 459247.0000 457533.0044 0.37%
1077.09/1081.31 c 1081 84842 2873 1 459247.0000 457544.5000 0.37%
1082.57/1086.86 c 1087 85678 2895 1 459247.0000 457551.5571 0.37%
1087.75/1092.03 c 1092 86354 2896 1 459247.0000 457567.1902 0.37%
1092.73/1097.06 c 1097 87072 2900 1 459247.0000 457575.8333 0.37%
1097.90/1102.23 c * 1102 87662 2958 1 459246.0000 457576.8333 0.36%
1097.90/1102.23 c 1102 87662 2958 1 459246.0000 457576.8333 0.36%
1103.88/1108.24 c 1108 88520 2817 1 459246.0000 457577.3333 0.36%
1108.95/1113.39 c 1113 89072 2874 1 459246.0000 457577.5833 0.36%
1114.14/1118.54 c 1119 89572 2881 1 459246.0000 457578.3333 0.36%
1119.91/1124.31 c 1124 90402 2906 1 459246.0000 457588.3421 0.36%
1125.29/1129.72 c 1130 91062 2888 1 459246.0000 457601.8929 0.36%
1130.57/1135.03 c 1135 91587 2893 1 459246.0000 457614.8220 0.36%
1135.94/1140.49 c 1140 92422 2902 1 459246.0000 457622.3702 0.35%
1141.12/1145.61 c 1146 93362 2908 1 459246.0000 457635.6051 0.35%
1146.50/1151.08 c 1151 94132 2919 1 459246.0000 457645.0800 0.35%
1151.68/1156.28 c 1156 94892 2938 1 459246.0000 457656.2450 0.35%
1156.96/1161.53 c 1162 95373 2953 1 459246.0000 457661.6667 0.35%
1162.03/1166.61 c 1167 95992 2942 1 459246.0000 457669.3986 0.34%
1167.21/1171.83 c 1172 96652 2956 1 459246.0000 457673.7829 0.34%
1172.50/1177.15 c 1177 97362 2950 1 459246.0000 457681.5938 0.34%
1177.56/1182.23 c 1182 98102 2958 1 459246.0000 457688.5043 0.34%
1182.65/1187.30 c 1187 98662 2979 1 459246.0000 457697.5994 0.34%
1187.62/1192.35 c 1192 99462 3005 1 459246.0000 457711.7440 0.34%
1193.09/1197.84 c 1198 100112 3003 1 459246.0000 457722.3819 0.33%
1198.39/1203.18 c 1203 100782 2996 1 459246.0000 457733.7826 0.33%
1203.45/1208.26 c 1208 101237 3014 1 459246.0000 457743.1667 0.33%
1208.73/1213.53 c 1214 101840 3071 1 459246.0000 457744.0000 0.33%
1214.51/1219.36 c 1219 102510 3095 1 459246.0000 457744.5000 0.33%
1220.19/1225.04 c 1225 103442 3114 1 459246.0000 457747.8713 0.33%
1225.27/1230.19 c 1230 104162 3121 1 459246.0000 457759.1066 0.32%
1230.35/1235.22 c 1235 104982 3141 1 459246.0000 457768.3824 0.32%
1235.62/1240.51 c 1241 105962 3151 1 459246.0000 457774.9943 0.32%
1241.30/1246.24 c 1246 106692 3160 1 459246.0000 457791.3224 0.32%
1246.48/1251.48 c 1251 107642 3176 1 459246.0000 457797.7222 0.32%
1251.55/1256.51 c 1257 108232 3194 1 459246.0000 457800.6203 0.32%
1256.63/1261.66 c 1262 108832 3202 1 459246.0000 457808.4167 0.31%
1262.41/1267.44 c 1267 109312 3211 1 459246.0000 457822.0338 0.31%
1268.28/1273.31 c 1273 109978 3183 1 459246.0000 457827.2917 0.31%
1273.46/1278.52 c 1279 110792 3173 1 459246.0000 457833.3728 0.31%
1278.53/1283.60 c 1284 111452 3164 1 459246.0000 457842.3892 0.31%
1284.42/1289.60 c 1290 112253 3207 1 459246.0000 457850.8077 0.30%
1289.49/1294.61 c 1295 113142 3200 1 459246.0000 457859.0556 0.30%
1294.47/1299.65 c 1300 114022 3167 1 459246.0000 457871.0861 0.30%
1299.96/1305.16 c 1305 114727 3188 1 459246.0000 457881.7124 0.30%
1305.72/1310.94 c 1311 115492 3193 1 459246.0000 457889.8707 0.30%
1311.20/1316.48 c 1316 116512 3194 1 459246.0000 457894.8459 0.30%
1316.48/1321.71 c 1322 117332 3191 1 459246.0000 457908.0000 0.29%
1321.86/1327.15 c 1327 118231 3206 1 459246.0000 457909.6667 0.29%
1327.43/1332.76 c 1333 119179 3257 1 459246.0000 457910.6667 0.29%
1332.61/1337.95 c 1338 119986 3282 1 459246.0000 457910.6667 0.29%
1338.38/1343.79 c 1344 120868 3288 1 459246.0000 457911.0000 0.29%
1343.86/1349.29 c 1349 121762 3295 1 459246.0000 457911.2667 0.29%
1349.64/1355.03 c 1355 122734 3384 1 459246.0000 457911.6667 0.29%
1354.81/1360.28 c 1360 123626 3396 1 459246.0000 457923.6576 0.29%
1359.89/1365.38 c 1365 124321 3379 1 459246.0000 457930.8734 0.29%
1364.87/1370.39 c 1370 124892 3377 1 459246.0000 457946.3169 0.28%
1370.05/1375.50 c 1376 125662 3327 1 459246.0000 457960.4506 0.28%
1375.22/1380.78 c 1381 126200 3321 1 459246.0000 457966.8333 0.28%
1380.31/1385.83 c 1386 126912 3337 1 459246.0000 457978.2689 0.28%
1385.68/1391.29 c 1391 127932 3321 1 459246.0000 457987.2399 0.27%
1390.86/1396.42 c 1396 128712 3301 1 459246.0000 457994.2000 0.27%
1395.83/1401.48 c 1401 129402 3301 1 459246.0000 457995.1027 0.27%
1401.32/1406.94 c 1407 130202 3309 1 459246.0000 457999.4373 0.27%
1406.60/1412.25 c 1412 130802 3305 1 459246.0000 458007.0607 0.27%
1412.07/1417.77 c 1418 131452 3291 1 459246.0000 458009.5294 0.27%
1417.05/1422.78 c 1423 131982 3303 1 459246.0000 458013.0260 0.27%
1422.43/1428.11 c 1428 132692 3284 1 459246.0000 458017.8539 0.27%
1427.51/1433.29 c 1433 133252 3282 1 459246.0000 458022.0278 0.27%
1432.68/1438.48 c 1438 133952 3298 1 459246.0000 458040.8803 0.26%
1437.76/1443.53 c 1444 134702 3291 1 459246.0000 458053.1232 0.26%
1443.14/1448.97 c 1449 135676 3278 1 459246.0000 458061.7466 0.26%
1448.61/1454.43 c 1454 136384 3298 1 459246.0000 458068.9132 0.26%
1454.30/1460.17 c 1460 137050 3288 1 459246.0000 458076.0000 0.26%
1459.77/1465.63 c 1466 137813 3271 1 459246.0000 458076.8333 0.26%
1464.94/1470.85 c 1471 138302 3271 1 459246.0000 458077.4552 0.26%
1470.03/1475.92 c 1476 139032 3275 1 459246.0000 458082.1179 0.25%
1475.11/1481.02 c 1481 139862 3258 1 459246.0000 458093.6762 0.25%
1480.09/1486.09 c 1486 140832 3246 1 459246.0000 458101.0000 0.25%
1485.26/1491.29 c 1491 141572 3249 1 459246.0000 458102.6090 0.25%
1490.64/1496.67 c 1497 142212 3235 1 459246.0000 458115.7351 0.25%
1496.02/1502.05 c 1502 142885 3228 1 459246.0000 458130.0503 0.24%
1501.29/1507.39 c 1507 143522 3226 1 459246.0000 458133.5556 0.24%
1506.37/1512.44 c 1512 144012 3242 1 459246.0000 458141.6581 0.24%
1511.45/1517.57 c 1518 144602 3230 1 459246.0000 458145.7984 0.24%
1516.63/1522.71 c 1523 145382 3212 1 459246.0000 458158.2881 0.24%
1521.60/1527.73 c 1528 146222 3211 1 459246.0000 458162.2070 0.24%
1526.58/1532.78 c 1533 147002 3199 1 459246.0000 458175.6497 0.23%
1532.26/1538.40 c 1538 147894 3219 1 459246.0000 458182.5000 0.23%
1537.44/1543.61 c 1544 148502 3223 1 459246.0000 458194.7542 0.23%
1543.11/1549.33 c 1549 149195 3230 1 459246.0000 458202.5000 0.23%
1548.59/1554.82 c 1555 149812 3232 1 459246.0000 458212.1149 0.23%
1553.77/1560.08 c 1560 150252 3237 1 459246.0000 458221.8642 0.22%
1559.14/1565.48 c 1565 150972 3247 1 459246.0000 458231.4859 0.22%
1564.42/1570.76 c 1571 151731 3268 1 459246.0000 458232.8776 0.22%
1569.60/1575.99 c 1576 152418 3281 1 459246.0000 458237.3601 0.22%
1575.18/1581.59 c 1582 153222 3271 1 459246.0000 458242.0000 0.22%
1580.46/1586.85 c 1587 153862 3304 1 459246.0000 458242.6111 0.22%
1586.03/1592.48 c 1592 154474 3325 1 459246.0000 458242.6667 0.22%
1591.11/1597.51 c 1598 155178 3351 1 459246.0000 458243.1250 0.22%
1596.79/1603.20 c 1603 155821 3397 1 459246.0000 458243.1667 0.22%
1602.57/1609.06 c 1609 156394 3437 1 459246.0000 458243.4286 0.22%
1608.34/1614.85 c 1615 157102 3465 1 459246.0000 458243.5000 0.22%
1613.52/1620.05 c 1620 157647 3462 1 459246.0000 458243.5500 0.22%
1619.10/1625.60 c 1626 158262 3466 1 459246.0000 458243.6250 0.22%
1624.18/1630.70 c 1631 159062 3503 1 459246.0000 458243.7500 0.22%
1629.95/1636.56 c 1637 160218 3506 1 459246.0000 458244.0000 0.22%
1635.94/1642.53 c 1643 161259 3542 1 459246.0000 458244.0667 0.22%
1641.41/1648.05 c 1648 161942 3565 1 459246.0000 458244.2500 0.22%
1646.79/1653.40 c 1653 162732 3574 1 459246.0000 458244.4000 0.22%
1652.06/1658.79 c 1659 163468 3584 1 459246.0000 458244.5000 0.22%
1657.24/1663.97 c 1664 164028 3620 1 459246.0000 458244.6667 0.22%
1662.22/1668.99 c 1669 164757 3617 1 459246.0000 458245.0000 0.22%
1667.70/1674.46 c 1674 165599 3659 1 459246.0000 458245.0000 0.22%
1672.87/1679.63 c 1680 166502 3661 1 459246.0000 458247.1116 0.22%
1678.05/1684.89 c 1685 167462 3648 1 459246.0000 458259.8399 0.22%
1683.14/1689.95 c 1690 168322 3645 1 459246.0000 458272.5311 0.21%
1688.32/1695.11 c 1695 169272 3618 1 459246.0000 458286.8921 0.21%
1693.30/1700.11 c 1700 170022 3612 1 459246.0000 458294.5000 0.21%
1698.37/1705.29 c 1705 170922 3628 1 459246.0000 458301.4107 0.21%
1703.75/1710.60 c 1711 171886 3623 1 459246.0000 458306.8183 0.20%
1708.73/1715.66 c 1716 172712 3640 1 459246.0000 458313.9655 0.20%
1713.71/1720.67 c 1721 173482 3624 1 459246.0000 458323.1366 0.20%
1718.89/1725.83 c 1726 174282 3654 1 459246.0000 458334.3874 0.20%
1724.26/1731.24 c 1731 174992 3653 1 459246.0000 458343.4333 0.20%
1729.54/1736.51 c 1737 175682 3635 1 459246.0000 458353.1778 0.19%
1734.62/1741.69 c 1742 176291 3622 1 459246.0000 458355.8889 0.19%
1739.80/1746.80 c 1747 176944 3636 1 459246.0000 458366.0634 0.19%
1745.28/1752.32 c 1752 177592 3629 1 459246.0000 458370.7937 0.19%
1750.76/1757.85 c 1758 178251 3632 1 459246.0000 458377.9444 0.19%
1756.24/1763.32 c 1763 178902 3651 1 459246.0000 458383.4831 0.19%
1761.51/1768.61 c 1769 179502 3635 1 459246.0000 458387.5000 0.19%
1766.69/1773.81 c 1774 180192 3610 1 459246.0000 458390.8900 0.19%
1771.77/1778.98 c 1779 180862 3597 1 459246.0000 458398.2151 0.18%
1776.85/1784.00 c 1784 181722 3581 1 459246.0000 458409.3333 0.18%
1781.83/1789.03 c 1789 182372 3591 1 459246.0000 458411.0833 0.18%
1786.81/1794.09 c 1794 182982 3583 1 459246.0000 458422.5521 0.18%
1792.68/1799.96 c 1800 183795 3597 1 459246.0000 458430.8514 0.18%
1797.96/1805.28 c 1805 184752 3580 1 459246.0000 458444.6250 0.17%
1803.24/1810.56 c 1811 185478 3572 1 459246.0000 458447.2366 0.17%
1809.01/1816.30 c 1816 186137 3584 1 459246.0000 458459.6445 0.17%
1814.10/1821.46 c 1821 186622 3574 1 459246.0000 458465.4819 0.17%
1819.47/1826.89 c 1827 187312 3568 1 459246.0000 458470.0065 0.17%
1824.85/1832.20 c 1832 188212 3582 1 459246.0000 458474.4359 0.17%
1829.83/1837.28 c 1837 189112 3572 1 459246.0000 458487.8758 0.17%
1835.21/1842.64 c 1843 190342 3563 1 459246.0000 458494.0625 0.16%
1840.39/1847.86 c 1848 191205 3594 1 459246.0000 458495.0000 0.16%
1845.57/1853.09 c 1853 192082 3596 1 459246.0000 458509.6227 0.16%
1850.75/1858.25 c 1858 192802 3593 1 459246.0000 458516.5345 0.16%
1855.72/1863.28 c 1863 193392 3598 1 459246.0000 458522.1111 0.16%
1861.31/1868.83 c 1869 194012 3588 1 459246.0000 458524.9532 0.16%
1866.48/1874.01 c 1874 194732 3579 1 459246.0000 458531.0510 0.16%
1872.36/1879.91 c 1880 195513 3594 1 459246.0000 458537.0882 0.15%
1877.54/1885.16 c 1885 196042 3590 1 459246.0000 458544.5500 0.15%
1882.61/1890.29 c 1890 196672 3592 1 459246.0000 458551.1412 0.15%
1888.29/1895.99 c 1896 197452 3560 1 459246.0000 458556.7023 0.15%
1894.27/1901.95 c 1902 198164 3559 1 459246.0000 458562.2411 0.15%
1899.64/1907.39 c 1907 198802 3567 1 459246.0000 458565.1429 0.15%
1905.43/1913.16 c 1913 199505 3575 1 459246.0000 458568.3655 0.15%
1910.70/1918.42 c 1918 200134 3570 1 459246.0000 458574.8333 0.15%
1915.67/1923.45 c 1923 200940 3553 1 459246.0000 458575.6667 0.15%
1920.76/1928.58 c 1929 201632 3576 1 459246.0000 458576.1667 0.15%
1926.34/1934.16 c 1934 202351 3581 1 459246.0000 458576.5833 0.15%
1931.62/1939.41 c 1939 203132 3590 1 459246.0000 458576.7000 0.15%
1936.89/1944.74 c 1945 203962 3574 1 459246.0000 458577.0000 0.15%
1941.97/1949.82 c 1950 204508 3600 1 459246.0000 458577.0000 0.15%
1947.44/1955.30 c 1955 205328 3615 1 459246.0000 458577.3333 0.15%
1953.23/1961.16 c 1961 206452 3620 1 459246.0000 458577.6667 0.15%
1958.31/1966.23 c 1966 207271 3631 1 459246.0000 458577.6667 0.15%
1963.39/1971.33 c 1971 207836 3634 1 459246.0000 458578.0000 0.15%
1969.17/1977.17 c 1977 208495 3626 1 459246.0000 458578.3333 0.15%
1974.24/1982.28 c 1982 209392 3618 1 459246.0000 458587.3423 0.14%
1980.12/1988.14 c 1988 210299 3613 1 459246.0000 458598.5663 0.14%
1985.30/1993.33 c 1993 210932 3601 1 459246.0000 458615.5931 0.14%
1990.67/1998.79 c 1999 211942 3592 1 459246.0000 458629.0291 0.13%
1995.85/2003.96 c 2004 212692 3603 1 459246.0000 458634.5844 0.13%
2000.93/2009.09 c 2009 213382 3593 1 459246.0000 458643.8000 0.13%
2006.92/2015.04 c 2015 213981 3616 1 459246.0000 458648.2553 0.13%
2012.08/2020.26 c 2020 214532 3630 1 459246.0000 458651.8165 0.13%
2017.56/2025.72 c 2026 215392 3628 1 459246.0000 458660.9167 0.13%
2022.64/2030.84 c 2031 216302 3608 1 459246.0000 458671.5833 0.13%
2028.12/2036.34 c 2036 216892 3624 1 459246.0000 458674.3944 0.12%
2033.60/2041.89 c 2042 217562 3626 1 459246.0000 458678.9159 0.12%
2038.68/2046.93 c 2047 218182 3648 1 459246.0000 458687.5533 0.12%
2043.66/2051.96 c 2052 219182 3626 1 459246.0000 458696.8077 0.12%
2049.03/2057.30 c 2057 219852 3642 1 459246.0000 458701.3029 0.12%
2054.72/2063.05 c 2063 220815 3635 1 459246.0000 458709.7433 0.12%
2060.48/2068.88 c 2069 221701 3644 1 459246.0000 458719.8810 0.11%
2065.57/2073.93 c 2074 222510 3631 1 459246.0000 458728.2024 0.11%
2070.55/2078.95 c 2079 223152 3612 1 459246.0000 458730.8228 0.11%
2076.33/2084.75 c 2085 223739 3595 1 459246.0000 458741.0000 0.11%
2081.61/2090.07 c 2090 224362 3598 1 459246.0000 458742.2000 0.11%
2086.59/2095.08 c 2095 225062 3593 1 459246.0000 458742.8571 0.11%
2092.06/2100.51 c 2101 225982 3547 1 459246.0000 458743.2500 0.11%
2097.24/2105.71 c 2106 226752 3567 1 459246.0000 458743.8333 0.11%
2103.12/2111.60 c 2112 227494 3562 1 459246.0000 458744.0000 0.11%
2108.09/2116.65 c 2117 228400 3579 1 459246.0000 458744.0000 0.11%
2113.77/2122.36 c 2122 229554 3598 1 459246.0000 458744.3750 0.11%
2119.14/2127.73 c 2128 230604 3590 1 459246.0000 458745.0000 0.11%
2124.22/2132.83 c 2133 231304 3606 1 459246.0000 458745.0000 0.11%
2129.41/2138.00 c 2138 231990 3606 1 459246.0000 458754.8380 0.11%
2134.39/2143.06 c 2143 232652 3572 1 459246.0000 458764.5289 0.10%
2139.66/2148.40 c 2148 233472 3596 1 459246.0000 458774.6456 0.10%
2144.84/2153.56 c 2154 234201 3581 1 459246.0000 458777.9333 0.10%
2150.02/2158.76 c 2159 235052 3575 1 459246.0000 458783.6727 0.10%
2155.70/2164.48 c 2164 236082 3563 1 459246.0000 458795.0463 0.10%
2161.38/2170.13 c 2170 236882 3555 1 459246.0000 458800.5556 0.10%
2166.36/2175.16 c 2175 237642 3552 1 459246.0000 458804.2323 0.10%
2171.94/2180.78 c 2181 238522 3558 1 459246.0000 458815.7857 0.09%
2177.61/2186.40 c 2186 239302 3536 1 459246.0000 458827.3333 0.09%
2182.59/2191.42 c 2191 240012 3512 1 459246.0000 458840.3188 0.09%
2187.87/2196.78 c 2197 240782 3492 1 459246.0000 458843.6444 0.09%
2193.35/2202.24 c 2202 241522 3506 1 459246.0000 458844.8000 0.09%
2198.32/2207.29 c 2207 242382 3499 1 459246.0000 458847.0637 0.09%
2203.60/2212.51 c 2213 243292 3508 1 459246.0000 458850.7012 0.09%
2208.89/2217.85 c 2218 244232 3504 1 459246.0000 458860.3081 0.08%
2214.26/2223.28 c 2223 245073 3524 1 459246.0000 458870.0000 0.08%
2220.14/2229.13 c 2229 245822 3502 1 459246.0000 458877.9167 0.08%
2225.71/2234.77 c 2235 246652 3512 1 459246.0000 458880.9432 0.08%
2231.09/2240.17 c 2240 247345 3496 1 459246.0000 458883.2222 0.08%
2236.67/2245.70 c 2246 248152 3477 1 459246.0000 458890.2237 0.08%
2242.05/2251.13 c 2251 248822 3466 1 459246.0000 458897.7628 0.08%
2247.32/2256.40 c 2256 249542 3474 1 459246.0000 458901.3429 0.08%
2252.30/2261.41 c 2261 250502 3452 1 459246.0000 458907.1007 0.07%
2257.48/2266.64 c 2267 251482 3462 1 459246.0000 458909.5000 0.07%
2262.96/2272.13 c 2272 252614 3422 1 459246.0000 458909.9583 0.07%
2268.33/2277.56 c 2278 253632 3422 1 459246.0000 458910.5417 0.07%
2274.31/2283.53 c 2284 254554 3426 1 459246.0000 458910.6667 0.07%
2279.48/2288.73 c 2289 255197 3445 1 459246.0000 458910.8333 0.07%
2284.97/2294.26 c 2294 255830 3446 1 459246.0000 458911.0000 0.07%
2290.44/2299.73 c 2300 256432 3431 1 459246.0000 458911.2836 0.07%
2296.31/2305.61 c 2306 257385 3396 1 459246.0000 458911.6667 0.07%
2301.50/2310.87 c 2311 258165 3378 1 459246.0000 458911.6667 0.07%
2306.58/2315.94 c 2316 259026 3378 1 459246.0000 458929.8083 0.07%
2311.95/2321.31 c 2321 259688 3374 1 459246.0000 458936.2125 0.07%
2316.94/2326.33 c 2326 260242 3370 1 459246.0000 458951.1944 0.06%
2322.12/2331.50 c 2332 261052 3344 1 459246.0000 458966.7601 0.06%
2327.49/2336.92 c 2337 261942 3310 1 459246.0000 458973.5203 0.06%
2332.48/2341.95 c 2342 262630 3316 1 459246.0000 458982.6304 0.06%
2337.85/2347.36 c 2347 263342 3290 1 459246.0000 458984.1304 0.06%
2342.93/2352.46 c 2352 263882 3301 1 459246.0000 458987.6301 0.06%
2348.01/2357.50 c 2358 264912 3273 1 459246.0000 458993.3333 0.06%
2352.99/2362.57 c 2363 265492 3310 1 459246.0000 458994.8333 0.05%
2358.76/2368.36 c 2368 266282 3345 1 459246.0000 458995.1975 0.05%
2363.84/2373.48 c 2373 267272 3317 1 459246.0000 459009.2586 0.05%
2368.92/2378.56 c 2379 267992 3304 1 459246.0000 459021.5278 0.05%
2374.10/2383.72 c 2384 268552 3296 1 459246.0000 459031.4363 0.05%
2379.08/2388.76 c 2389 269262 3290 1 459246.0000 459040.5248 0.04%
2384.06/2393.78 c 2394 269952 3290 1 459246.0000 459044.1088 0.04%
2389.24/2398.96 c 2399 270572 3290 1 459246.0000 459051.8173 0.04%
2394.51/2404.28 c 2404 271273 3280 1 459246.0000 459054.5238 0.04%
2400.30/2410.01 c 2410 271982 3273 1 459246.0000 459059.2795 0.04%
2405.77/2415.58 c 2416 272666 3255 1 459246.0000 459076.0833 0.04%
2410.85/2420.67 c 2421 273344 3228 1 459246.0000 459077.3333 0.04%
2416.43/2426.30 c 2426 274018 3206 1 459246.0000 459078.3333 0.04%
2422.00/2431.87 c 2432 274992 3201 1 459246.0000 459091.1538 0.03%
2426.98/2436.89 c 2437 275832 3163 1 459246.0000 459113.7033 0.03%
2432.17/2442.02 c 2442 276382 3150 1 459246.0000 459119.7500 0.03%
2437.15/2447.08 c 2447 277182 3138 1 459246.0000 459127.1939 0.03%
2442.52/2452.42 c 2452 277946 3111 1 459246.0000 459132.1765 0.02%
2448.29/2458.25 c 2458 278782 3105 1 459246.0000 459138.4737 0.02%
2453.28/2463.28 c 2463 279522 3101 1 459246.0000 459149.7619 0.02%
2459.05/2469.00 c 2469 280232 3119 1 459246.0000 459156.7152 0.02%
2464.93/2474.91 c 2475 280954 3107 1 459246.0000 459160.0833 0.02%
2470.20/2480.24 c 2480 281552 3104 1 459246.0000 459164.0627 0.02%
2475.68/2485.71 c 2486 282102 3126 1 459246.0000 459171.8696 0.02%
2481.37/2491.46 c 2491 282700 3138 1 459246.0000 459173.1343 0.02%
2486.64/2496.77 c 2497 283182 3169 1 459246.0000 459175.3559 0.02%
2491.71/2501.89 c 2502 283922 3153 1 459246.0000 459178.9839 0.01%
2497.09/2507.24 c 2507 284662 3160 1 459246.0000 459179.7625 0.01%
2502.28/2512.49 c 2512 285272 3185 1 459246.0000 459182.3679 0.01%
2507.55/2517.72 c 2518 285892 3228 1 459246.0000 459188.5111 0.01%
2512.64/2522.87 c 2523 286442 3221 1 459246.0000 459195.0000 0.01%
2517.92/2528.14 c 2528 287112 3247 1 459246.0000 459199.7037 0.01%
2522.89/2533.17 c 2533 288132 3226 1 459246.0000 459215.7791 0.01%
2528.47/2538.72 c 2539 288902 3250 1 459246.0000 459221.8977 0.01%
2533.55/2543.83 c 2544 289592 3253 1 459246.0000 459227.1190 0.00%
2538.83/2549.15 c 2549 290352 3255 1 459246.0000 459230.7291 0.00%
2544.40/2554.74 c 2555 291198 3250 1 459246.0000 459232.2950 0.00%
2550.09/2560.45 c 2560 291811 3266 1 459246.0000 459233.5063 0.00%
2555.25/2565.68 c 2566 292752 3268 1 459246.0000 459240.3333 0.00%
2560.64/2571.10 c 2571 293662 3233 1 459246.0000 459241.5000 0.00%
2566.51/2576.97 c 2577 294306 3237 1 459246.0000 459241.7857 0.00%
2571.99/2582.42 c 2582 294932 3272 1 459246.0000 459242.0000 0.00%
2577.87/2588.37 c 2588 295682 3272 1 459246.0000 459242.1250 0.00%
2583.34/2593.80 c 2594 296382 3316 1 459246.0000 459242.2400 0.00%
2588.32/2598.82 c 2599 297123 3327 1 459246.0000 459242.2500 0.00%
2594.00/2604.59 c 2605 297764 3379 1 459246.0000 459242.3333 0.00%
2599.58/2610.12 c 2610 298713 3416 1 459246.0000 459242.4167 0.00%
2604.86/2615.44 c 2615 299390 3460 1 459246.0000 459242.4583 0.00%
2610.93/2621.56 c 2622 300078 3481 1 459246.0000 459242.5000 0.00%
2616.01/2626.62 c 2627 300719 3500 1 459246.0000 459242.5000 0.00%
2621.09/2631.70 c 2632 301322 3517 1 459246.0000 459242.5833 0.00%
2626.17/2636.88 c 2637 301949 3576 1 459246.0000 459242.6667 0.00%
2631.25/2641.92 c 2642 302582 3601 1 459246.0000 459242.7000 0.00%
2637.23/2647.94 c 2648 303403 3586 1 459246.0000 459242.7500 0.00%
2642.40/2653.18 c 2653 303970 3616 1 459246.0000 459242.7500 0.00%
2647.79/2658.50 c 2659 304792 3659 1 459246.0000 459242.8667 0.00%
2653.56/2664.31 c 2664 305917 3677 1 459246.0000 459243.0000 0.00%
2658.54/2669.35 c 2669 306699 3707 1 459246.0000 459243.0000 0.00%
2664.02/2674.82 c 2675 307134 3722 1 459246.0000 459243.0000 0.00%
2669.00/2679.89 c 2680 307802 3749 1 459246.0000 459243.0000 0.00%
2674.77/2685.67 c 2686 308841 3757 1 459246.0000 459243.0625 0.00%
2680.55/2691.40 c 2691 309644 3792 1 459246.0000 459243.0833 0.00%
2685.93/2696.83 c 2697 310213 3845 1 459246.0000 459243.1250 0.00%
2691.21/2702.14 c 2702 310748 3861 1 459246.0000 459243.1250 0.00%
2696.38/2707.30 c 2707 311320 3878 1 459246.0000 459243.1250 0.00%
2702.25/2713.28 c 2713 312039 3909 1 459246.0000 459243.1667 0.00%
2707.44/2718.40 c 2718 312639 3919 1 459246.0000 459243.1667 0.00%
2712.52/2723.57 c 2724 313244 3933 1 459246.0000 459243.1667 0.00%
2717.60/2728.62 c 2729 313972 3927 1 459246.0000 459243.1667 0.00%
2722.67/2733.76 c 2734 314819 3938 1 459246.0000 459243.1667 0.00%
2727.96/2739.09 c 2739 315445 3974 1 459246.0000 459243.1667 0.00%
2733.04/2744.17 c 2744 316127 3985 1 459246.0000 459243.1667 0.00%
2738.41/2749.52 c 2750 316818 3992 1 459246.0000 459243.2000 0.00%
2744.39/2755.51 c 2756 317546 3997 1 459246.0000 459243.2500 0.00%
2749.67/2760.88 c 2761 318143 4022 1 459246.0000 459243.2500 0.00%
2754.85/2766.00 c 2766 318761 4012 1 459246.0000 459243.2500 0.00%
2759.83/2771.05 c 2771 319500 4069 1 459246.0000 459243.2500 0.00%
2765.00/2776.25 c 2776 320315 4093 1 459246.0000 459243.2500 0.00%
2770.08/2781.35 c 2781 320863 4133 1 459246.0000 459243.2500 0.00%
2775.16/2786.44 c 2786 321694 4154 1 459246.0000 459243.2500 0.00%
2780.24/2791.57 c 2792 322254 4176 1 459246.0000 459243.2500 0.00%
2785.32/2796.61 c 2797 322812 4200 1 459246.0000 459243.2667 0.00%
2790.50/2801.88 c 2802 323630 4219 1 459246.0000 459243.3333 0.00%
2795.57/2806.94 c 2807 324052 4284 1 459246.0000 459243.3833 0.00%
2801.25/2812.62 c 2813 324783 4308 1 459246.0000 459243.5000 0.00%
2806.23/2817.66 c 2818 325577 4387 1 459246.0000 459243.5000 0.00%
2811.31/2822.73 c 2823 326189 4412 1 459246.0000 459243.5000 0.00%
2816.49/2827.92 c 2828 326891 4414 1 459246.0000 459243.5000 0.00%
2821.57/2833.01 c 2833 327446 4447 1 459246.0000 459243.5000 0.00%
2826.75/2838.23 c 2838 328422 4447 1 459246.0000 459243.5000 0.00%
2831.72/2843.28 c 2843 329313 4485 1 459246.0000 459243.5000 0.00%
2836.90/2848.48 c 2848 330015 4497 1 459246.0000 459243.5000 0.00%
2841.98/2853.54 c 2854 330823 4542 1 459246.0000 459243.5000 0.00%
2847.06/2858.67 c 2859 331520 4585 1 459246.0000 459243.5000 0.00%
2852.34/2863.92 c 2864 332244 4598 1 459246.0000 459243.5000 0.00%
2857.53/2869.11 c 2869 332955 4618 1 459246.0000 459243.5000 0.00%
2862.51/2874.18 c 2874 333555 4662 1 459246.0000 459243.5000 0.00%
2867.69/2879.37 c 2879 334225 4672 1 459246.0000 459243.5000 0.00%
2872.87/2884.53 c 2885 334779 4690 1 459246.0000 459243.5000 0.00%
2877.96/2889.69 c 2890 335276 4706 1 459246.0000 459243.5000 0.00%
2883.13/2894.87 c 2895 336073 4698 1 459246.0000 459243.5000 0.00%
2888.33/2900.01 c 2900 336602 4743 1 459246.0000 459243.5000 0.00%
2893.50/2905.24 c 2905 337200 4746 1 459246.0000 459243.5000 0.00%
2898.58/2910.32 c 2910 337687 4800 1 459246.0000 459243.5000 0.00%
2903.67/2915.46 c 2915 338289 4824 1 459246.0000 459243.5000 0.00%
2908.84/2920.67 c 2921 338842 4846 1 459246.0000 459243.5000 0.00%
2913.93/2925.74 c 2926 339553 4843 1 459246.0000 459243.5000 0.00%
2919.21/2931.03 c 2931 340315 4881 1 459246.0000 459243.5000 0.00%
2924.30/2936.12 c 2936 341002 4900 1 459246.0000 459243.5000 0.00%
2929.47/2941.34 c 2941 341592 4937 1 459246.0000 459243.5000 0.00%
2934.65/2946.54 c 2947 342227 4966 1 459246.0000 459243.5000 0.00%
2939.73/2951.65 c 2952 342903 4975 1 459246.0000 459243.5000 0.00%
2944.82/2956.73 c 2957 343572 4988 1 459246.0000 459243.5000 0.00%
2950.39/2962.39 c 2962 344295 5023 1 459246.0000 459243.5500 0.00%
2955.48/2967.46 c 2967 344780 5041 1 459246.0000 459243.5625 0.00%
2961.25/2973.24 c 2973 345415 5058 1 459246.0000 459243.5833 0.00%
2967.14/2979.17 c 2979 346142 5079 1 459246.0000 459243.6250 0.00%
2972.72/2984.76 c 2985 346978 5116 1 459246.0000 459243.6667 0.00%
2978.00/2990.08 c 2990 347513 5143 1 459246.0000 459243.6667 0.00%
2983.99/2996.02 c 2996 348118 5187 1 459246.0000 459243.7500 0.00%
2989.46/3001.52 c 3002 349172 5193 1 459246.0000 459243.8485 0.00%
2994.95/3007.08 c 3007 349532 5205 1 459246.0000 459244.0000 0.00%
3000.12/3012.22 c 3012 349532 5205 1 459246.0000 459244.0000 0.00%
3006.00/3018.13 c 3018 349532 5205 1 459246.0000 459244.0000 0.00%
3011.89/3024.06 c 3024 349975 5196 1 459246.0000 459244.0000 0.00%
3018.66/3030.89 c 3031 350416 5211 1 459246.0000 459244.0000 0.00%
3024.03/3036.29 c 3036 350416 5211 1 459246.0000 459244.0000 0.00%
3029.21/3041.46 c 3041 350416 5211 1 459246.0000 459244.0000 0.00%
3034.49/3046.79 c 3047 350417 5210 1 459246.0000 459244.0000 0.00%
3039.67/3051.90 c 3052 351238 5262 1 459246.0000 459244.0000 0.00%
3044.66/3056.96 c 3057 351993 5316 1 459246.0000 459244.0000 0.00%
3060.11/3072.45 c 3072 352035 5316 1 459246.0000 459244.0000 0.00%
3065.39/3077.71 c 3078 352735 5338 1 459246.0000 459244.0000 0.00%
3070.57/3082.91 c 3083 353351 5378 1 459246.0000 459244.0000 0.00%
3075.76/3088.17 c 3088 353924 5420 1 459246.0000 459244.0000 0.00%
3080.93/3093.36 c 3093 354647 5423 1 459246.0000 459244.0000 0.00%
3087.11/3099.59 c 3100 355371 5445 1 459246.0000 459244.0000 0.00%
3092.69/3105.16 c 3105 355371 5445 1 459246.0000 459244.0000 0.00%
3098.57/3111.10 c 3111 355371 5445 1 459246.0000 459244.0000 0.00%
3104.05/3116.57 c 3117 355939 5450 1 459246.0000 459244.0000 0.00%
3109.33/3121.84 c 3122 356574 5470 1 459246.0000 459244.0000 0.00%
3114.51/3127.00 c 3127 357522 5482 1 459246.0000 459244.0000 0.00%
3119.50/3132.09 c 3132 358250 5497 1 459246.0000 459244.0000 0.00%
3124.67/3137.22 c 3137 359166 5513 1 459246.0000 459244.0000 0.00%
3129.75/3142.35 c 3142 359887 5530 1 459246.0000 459244.0000 0.00%
3134.84/3147.40 c 3147 360624 5559 1 459246.0000 459244.0000 0.00%
3139.92/3152.52 c 3153 361371 5627 1 459246.0000 459244.0000 0.00%
3146.10/3158.76 c 3159 361771 5667 1 459246.0000 459244.0000 0.00%
3151.38/3164.03 c 3164 361771 5667 1 459246.0000 459244.0000 0.00%
3160.35/3173.05 c 3173 361772 5666 1 459246.0000 459244.0000 0.00%
3165.44/3178.15 c 3178 362534 5687 1 459246.0000 459244.0000 0.00%
3170.51/3183.29 c 3183 363461 5723 1 459246.0000 459244.0000 0.00%
3175.59/3188.38 c 3188 364323 5702 1 459246.0000 459244.0000 0.00%
3180.78/3193.51 c 3194 364925 5738 1 459246.0000 459244.0000 0.00%
3186.05/3198.84 c 3199 365708 5761 1 459246.0000 459244.0000 0.00%
3191.24/3204.02 c 3204 366519 5777 1 459246.0000 459244.0000 0.00%
3196.33/3209.14 c 3209 367160 5788 1 459246.0000 459244.0000 0.00%
3201.60/3214.48 c 3214 367723 5803 1 459246.0000 459244.0000 0.00%
3206.88/3219.78 c 3220 368383 5801 1 459246.0000 459244.0000 0.00%
3211.96/3224.85 c 3225 369181 5810 1 459246.0000 459244.0000 0.00%
3217.04/3229.94 c 3230 369975 5842 1 459246.0000 459244.0000 0.00%
3222.13/3235.07 c 3235 370610 5845 1 459246.0000 459244.0000 0.00%
3227.22/3240.16 c 3240 371321 5831 1 459246.0000 459244.0000 0.00%
3232.29/3245.29 c 3245 372199 5838 1 459246.0000 459244.0000 0.00%
3237.47/3250.45 c 3250 372999 5877 1 459246.0000 459244.0000 0.00%
3242.65/3255.64 c 3256 373687 5912 1 459246.0000 459244.0000 0.00%
3247.74/3260.78 c 3261 374415 5889 1 459246.0000 459244.0000 0.00%
3253.21/3266.21 c 3266 374571 5893 1 459246.0000 459244.0000 0.00%
3258.50/3271.56 c 3272 374571 5893 1 459246.0000 459244.0000 0.00%
3264.87/3277.96 c 3278 374572 5892 1 459246.0000 459244.0000 0.00%
3270.06/3283.11 c 3283 375237 5904 1 459246.0000 459244.0000 0.00%
3275.33/3288.40 c 3288 375845 5914 1 459246.0000 459244.0000 0.00%
3280.32/3293.48 c 3293 376456 5925 1 459246.0000 459244.0000 0.00%
3285.50/3298.69 c 3299 377054 5962 1 459246.0000 459244.0000 0.00%
3290.68/3303.81 c 3304 377925 5980 1 459246.0000 459244.0000 0.00%
3295.77/3308.91 c 3309 378829 5988 1 459246.0000 459244.0000 0.00%
3300.74/3313.98 c 3314 379577 6035 1 459246.0000 459244.0000 0.00%
3305.83/3319.05 c 3319 380070 6056 1 459246.0000 459244.0000 0.00%
3311.10/3324.30 c 3324 380689 6080 1 459246.0000 459244.0000 0.00%
3316.18/3329.49 c 3329 381418 6081 1 459246.0000 459244.0000 0.00%
3321.47/3334.70 c 3335 382068 6124 1 459246.0000 459244.0000 0.00%
3326.75/3340.01 c 3340 382750 6155 1 459246.0000 459244.0000 0.00%
3331.73/3345.09 c 3345 383494 6160 1 459246.0000 459244.0000 0.00%
3337.01/3350.32 c 3350 384278 6182 1 459246.0000 459244.0000 0.00%
3342.09/3355.49 c 3355 385058 6205 1 459246.0000 459244.0000 0.00%
3347.18/3360.59 c 3361 385632 6227 1 459246.0000 459244.0000 0.00%
3352.36/3365.71 c 3366 386249 6235 1 459246.0000 459244.0000 0.00%
3357.64/3371.01 c 3371 386821 6241 1 459246.0000 459244.0000 0.00%
3362.82/3376.25 c 3376 387524 6258 1 459246.0000 459244.0000 0.00%
3368.00/3381.45 c 3381 388262 6278 1 459246.0000 459244.0000 0.00%
3373.08/3386.52 c 3387 389066 6286 1 459246.0000 459244.0000 0.00%
3378.36/3391.87 c 3392 389725 6299 1 459246.0000 459244.0000 0.00%
3383.44/3396.97 c 3397 390392 6326 1 459246.0000 459244.0000 0.00%
3388.63/3402.19 c 3402 391164 6348 1 459246.0000 459244.0000 0.00%
3394.00/3407.51 c 3408 391813 6393 1 459246.0000 459244.0000 0.00%
3398.99/3412.57 c 3413 392495 6416 1 459246.0000 459244.0000 0.00%
3404.26/3417.87 c 3418 393217 6433 1 459246.0000 459244.0000 0.00%
3409.34/3422.92 c 3423 393912 6458 1 459246.0000 459244.0000 0.00%
3414.43/3428.05 c 3428 394553 6477 1 459246.0000 459244.0000 0.00%
3419.51/3433.16 c 3433 395343 6489 1 459246.0000 459244.0000 0.00%
3424.69/3438.38 c 3438 395967 6520 1 459246.0000 459244.0000 0.00%
3429.87/3443.52 c 3444 396568 6540 1 459246.0000 459244.0000 0.00%
3434.95/3448.64 c 3449 397400 6562 1 459246.0000 459244.0000 0.00%
3440.03/3453.73 c 3454 398143 6582 1 459246.0000 459244.0000 0.00%
3445.11/3458.82 c 3459 398786 6579 1 459246.0000 459244.0000 0.00%
3450.30/3464.02 c 3464 399519 6589 1 459246.0000 459244.0000 0.00%
3455.47/3469.21 c 3469 400168 6601 1 459246.0000 459244.0000 0.00%
3461.35/3475.19 c 3475 400171 6602 1 459246.0000 459244.0000 0.00%
3473.00/3486.85 c 3487 400172 6601 1 459246.0000 459244.0000 0.00%
3478.08/3491.95 c 3492 400775 6613 1 459246.0000 459244.0000 0.00%
3483.27/3497.16 c 3497 401412 6643 1 459246.0000 459244.0000 0.00%
3488.54/3502.47 c 3502 402098 6656 1 459246.0000 459244.0000 0.00%
3493.82/3507.70 c 3508 402847 6685 1 459246.0000 459244.0000 0.00%
3498.91/3512.83 c 3513 403578 6720 1 459246.0000 459244.0000 0.00%
3503.99/3517.92 c 3518 404548 6727 1 459246.0000 459244.0000 0.00%
3509.07/3523.05 c 3523 405309 6733 1 459246.0000 459244.0000 0.00%
3514.25/3528.21 c 3528 406012 6750 1 459246.0000 459244.0000 0.00%
3519.33/3533.32 c 3533 406550 6770 1 459246.0000 459244.0000 0.00%
3524.40/3538.40 c 3538 407139 6809 1 459246.0000 459244.0000 0.00%
3529.49/3543.50 c 3544 407841 6843 1 459246.0000 459244.0000 0.00%
3534.58/3548.64 c 3549 408530 6855 1 459246.0000 459244.0000 0.00%
3539.65/3553.79 c 3554 409528 6862 1 459246.0000 459244.0000 0.00%
3544.83/3558.90 c 3559 410261 6870 1 459246.0000 459244.0000 0.00%
3549.93/3564.06 c 3564 410875 6902 1 459246.0000 459244.0000 0.00%
3555.01/3569.13 c 3569 411543 6917 1 459246.0000 459244.0000 0.00%
3560.09/3574.25 c 3574 412343 6917 1 459246.0000 459244.0000 0.00%
3565.37/3579.52 c 3580 412993 6962 1 459246.0000 459244.0000 0.00%
3570.55/3584.72 c 3585 413831 6983 1 459246.0000 459244.0000 0.00%
3575.64/3589.80 c 3590 414825 7023 1 459246.0000 459244.0000 0.00%
3580.71/3594.97 c 3595 415783 7046 1 459246.0000 459244.0000 0.00%
3583.92/3598.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.92/3598.12 c Total Time : 3598.12
3583.92/3598.12 c solving : 3598.12
3583.92/3598.12 c presolving : 64.63 (included in solving)
3583.92/3598.12 c B&B Tree :
3583.92/3598.12 c nodes (total) : 1
3583.92/3598.12 c Solution :
3583.92/3598.12 c Solutions found : 20
3583.92/3598.12 c Primal Bound : +4.59246000000000e+05
3583.92/3598.12 c Dual Bound : +4.59244000000000e+05
3583.92/3598.12 c Gap : 0.00044 %
3583.92/3598.12 c * Warning: final gap: 4.35498e-06 is greater than SCIPepsilon: 1.00000e-09
3583.92/3598.14 o 459246
3583.92/3598.14 s SATISFIABLE
3583.92/3598.14 v x1982 -x1981 -x1980 -x1979 x1978 -x1977 -x1976 -x1975 -x1974 x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 x1966 -x1965 -x1964
3583.92/3598.14 v -x1963 x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945
3583.92/3598.14 v -x1944 -x1943 -x1942 -x1941 -x1940 x1939 x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927
3583.92/3598.14 v x1926 -x1925 -x1924 -x1923 x1922 -x1921 -x1920 -x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 x1910 -x1909 -x1908
3583.92/3598.14 v -x1907 x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 x1891 x1890 -x1889
3583.92/3598.14 v -x1888 -x1887 x1886 -x1885 -x1884 -x1883 -x1882 x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871
3583.92/3598.14 v x1870 -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852
3583.92/3598.14 v -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833
3583.92/3598.14 v x1832 -x1831 x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814
3583.92/3598.14 v -x1813 -x1812 x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 -x1796
3583.92/3598.14 v x1795 x1794 -x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 -x1783 -x1782 -x1781 x1780 -x1779 x1778 -x1777 x1776
3583.92/3598.14 v -x1775 -x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758
3583.92/3598.14 v -x1757 -x1756 x1755 -x1754 -x1753 x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739
3583.92/3598.14 v -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721
3583.92/3598.14 v -x1720 -x1719 x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702
3583.92/3598.14 v x1701 -x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 -x1688 x1687 x1686 -x1685 x1684 -x1683
3583.92/3598.14 v x1682 -x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664
3583.92/3598.14 v x1663 x1662 -x1661 x1660 -x1659 -x1658 x1657 -x1656 x1655 x1654 -x1653 -x1652 x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645
3583.92/3598.14 v x1644 -x1643 -x1642 -x1641 x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 x1626
3583.92/3598.14 v -x1625 x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 x1613 -x1612 x1611 -x1610 -x1609 -x1608
3583.92/3598.14 v -x1607 x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 x1595 -x1594 -x1593 -x1592 -x1591 -x1590 x1589
3583.92/3598.14 v -x1588 x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 x1580 -x1579 -x1578 -x1577 -x1576 x1575 -x1574 -x1573 -x1572 -x1571
3583.92/3598.14 v -x1570 x1569 -x1568 -x1567 x1566 -x1565 -x1564 x1563 -x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 x1553 x1552
3583.92/3598.14 v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 -x1544 x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534
3583.92/3598.14 v -x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 x1520 -x1519 -x1518 -x1517 -x1516 -x1515
3583.92/3598.14 v -x1514 x1513 x1512 -x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497
3583.92/3598.14 v x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 x1480 -x1479 -x1478
3583.92/3598.14 v -x1477 x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 x1460 -x1459
3583.92/3598.14 v -x1458 -x1457 -x1456 x1455 x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441
3583.92/3598.14 v x1440 -x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 -x1429 x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422
3583.92/3598.14 v -x1421 -x1420 x1419 x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 x1406 -x1405 x1404 -x1403
3583.92/3598.14 v x1402 -x1401 -x1400 x1399 x1398 -x1397 -x1396 x1395 -x1394 x1393 -x1392 x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 -x1384
3583.92/3598.14 v x1383 x1382 -x1381 -x1380 x1379 x1378 -x1377 -x1376 x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 x1365
3583.92/3598.14 v -x1364 x1363 -x1362 x1361 -x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 x1346
3583.92/3598.14 v -x1345 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 -x1330 -x1329 -x1328 x1327
3583.92/3598.14 v -x1326 x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309
3583.92/3598.14 v x1308 -x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 -x1296 x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289
3583.92/3598.14 v x1288 -x1287 -x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270
3583.92/3598.14 v x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252
3583.92/3598.14 v -x1251 -x1250 x1249 x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 x1235 -x1234 -x1233
3583.92/3598.14 v -x1232 -x1231 -x1230 x1229 x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 x1215
3583.92/3598.14 v -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196
3583.92/3598.14 v x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177
3583.92/3598.14 v x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 x1162 -x1161 -x1160 -x1159
3583.92/3598.14 v x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 x1142 -x1141 -x1140
3583.92/3598.14 v -x1139 x1138 -x1137 x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 x1125 -x1124 -x1123 -x1122
3583.92/3598.14 v -x1121 x1120 -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 x1105 -x1104 -x1103
3583.92/3598.14 v -x1102 -x1101 x1100 -x1099 x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085
3583.92/3598.14 v -x1084 x1083 -x1082 x1081 -x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 x1069 x1068 -x1067 x1066 -x1065
3583.92/3598.14 v -x1064 x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 -x1046
3583.92/3598.14 v x1045 -x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 -x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 -x1028 -x1027
3583.92/3598.14 v -x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009
3583.92/3598.14 v x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002 -x1001 x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 x990 -x989 -x988
3583.92/3598.14 v -x987 -x986 x985 -x984 -x983 x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966
3583.92/3598.14 v -x965 -x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 x952 -x951 -x950 -x949 x948 -x947 -x946 -x945
3583.92/3598.14 v -x944 x943 -x942 -x941 x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 -x924 -x923
3583.92/3598.14 v x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 x913 x912 -x911 x910 -x909 x908 -x907 -x906 -x905 x904 -x903 x902 -x901 -x900
3583.92/3598.14 v -x899 -x898 -x897 -x896 x895 x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 x882 -x881 -x880 -x879
3583.92/3598.14 v x878 -x877 -x876 -x875 x874 -x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 -x864 -x863 -x862 x861 x860 -x859 x858 -x857 x856
3583.92/3598.14 v -x855 -x854 -x853 x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 -x841 -x840 -x839 x838 -x837 -x836 -x835
3583.92/3598.14 v -x834 x833 -x832 -x831 x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 x822 -x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812
3583.92/3598.14 v -x811 x810 -x809 x808 -x807 -x806 -x805 x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 x794 -x793 -x792 -x791 x790
3583.92/3598.14 v -x789 -x788 -x787 -x786 x785 -x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 x774 -x773 x772 -x771 x770 -x769 x768
3583.92/3598.14 v -x767 x766 -x765 x764 -x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 -x753 x752 -x751 x750 -x749 -x748 -x747 x746
3583.92/3598.14 v -x745 -x744 -x743 x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729 -x728 -x727 x726 -x725 -x724
3583.92/3598.14 v -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 -x707 x706 -x705 x704 -x703 -x702
3583.92/3598.14 v -x701 x700 -x699 x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 x681 -x680
3583.92/3598.14 v -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 x670 -x669 -x668 x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658
3583.92/3598.14 v -x657 -x656 -x655 x654 -x653 x652 -x651 -x650 -x649 x648 -x647 x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 x638 -x637 -x636
3583.92/3598.14 v -x635 x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 x618 -x617 -x616 x615 x614
3583.92/3598.14 v -x613 x612 -x611 x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592
3583.92/3598.14 v -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 x572 -x571 -x570
3583.92/3598.14 v x569 x568 -x567 x566 -x565 x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 x548
3583.92/3598.14 v -x547 -x546 -x545 -x544 -x543 -x542 x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 -x532 x531 -x530 -x529 x528 -x527 -x526
3583.92/3598.14 v -x525 -x524 -x523 -x522 x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 -x505 x504
3583.92/3598.14 v -x503 -x502 -x501 x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 x492 -x491 x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482
3583.92/3598.14 v -x481 -x480 x479 -x478 -x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 x464 -x463 -x462 x461 x460
3583.92/3598.14 v -x459 x458 -x457 x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 x439 -x438
3583.92/3598.14 v -x437 -x436 -x435 -x434 x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 x424 -x423 x422 -x421 -x420 -x419 x418 -x417 -x416
3583.92/3598.14 v -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 x402 -x401 -x400 -x399 x398 -x397 x396 -x395 x394
3583.92/3598.14 v -x393 x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 x384 -x383 x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373 x372
3583.92/3598.14 v -x371 -x370 -x369 -x368 x367 -x366 -x365 x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350
3583.92/3598.14 v -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 x340 -x339 x338 -x337 -x336 -x335 x334 -x333 x332 -x331 -x330 -x329 x328
3583.92/3598.14 v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 x316 -x315 -x314 -x313 x312 -x311 x310 -x309 x308 -x307 x306
3583.92/3598.14 v -x305 x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284
3583.92/3598.14 v x283 -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 x264 -x263 -x262
3583.92/3598.14 v -x261 -x260 x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 x242 -x241
3583.92/3598.14 v -x240 -x239 x238 -x237 -x236 x235 -x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 x220 -x219
3583.92/3598.14 v x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 x204 -x203 x202 -x201 x200 -x199 x198 -x197 -x196
3583.92/3598.14 v -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174
3583.92/3598.14 v -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151
3583.92/3598.14 v -x150 x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 -x132 x131 -x130 -x129
3583.92/3598.14 v -x128 x127 x126 -x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109 x108 -x107 x106
3583.92/3598.14 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
3583.92/3598.14 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
3583.92/3598.14 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
3584.01/3598.21 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 (62670 MiB free)
memory of node 1: 64473 MiB (61710 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465057-1722390176/watcher-4465057-1722390176 -o /tmp/evaluation-result-4465057-1722390176/solver-4465057-1722390176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722390141-38844 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465057-1722390176.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=39394, runsolver pid=39391
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 2.41 1.72 2.59 5/264 39395
/proc/meminfo: memFree=127300792/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=89728 memory=78956 CPUtime=0.09 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 17677 0 0 0 6 3 0 0 20 0 1 0 5621955 91881472 19739 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 22432 19739 2555 3035 0 18828 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89728 KiB
Current children cumulated memory: 78956 KiB
[startup+0.205613 s]*
/proc/loadavg: 2.41 1.72 2.59 5/264 39395
/proc/meminfo: memFree=127247528/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=144564 memory=132440 CPUtime=0.19 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 30977 0 0 0 14 5 0 0 20 0 1 0 5621955 148033536 33110 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 36141 33110 2598 3035 0 32537 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 144564 KiB
Current children cumulated memory: 132440 KiB
[startup+0.305596 s]*
/proc/loadavg: 2.41 1.72 2.59 5/264 39395
/proc/meminfo: memFree=127213928/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=178732 memory=162332 CPUtime=0.3 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 38475 0 0 0 24 6 0 0 20 0 1 0 5621955 183021568 40583 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 44683 40583 2614 3035 0 41079 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 178732 KiB
Current children cumulated memory: 162332 KiB
[startup+0.700245 s]
/proc/loadavg: 2.41 1.72 2.59 5/264 39395
/proc/meminfo: memFree=127212080/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=182696 memory=165748 CPUtime=0.69 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 40664 0 0 0 62 7 0 0 20 0 1 0 5621955 187080704 41437 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 45674 41437 2646 3035 0 42070 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 182696 KiB
Current children cumulated memory: 165748 KiB
[startup+1.50024 s]
/proc/loadavg: 2.41 1.72 2.59 5/264 39395
/proc/meminfo: memFree=127210072/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=183208 memory=166012 CPUtime=1.49 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 40792 0 0 0 142 7 0 0 20 0 1 0 5621955 187604992 41503 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 45802 41503 2646 3035 0 42198 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 183208 KiB
Current children cumulated memory: 166012 KiB
[startup+3.10543 s]
/proc/loadavg: 2.61 1.77 2.61 5/264 39395
/proc/meminfo: memFree=127106116/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=184236 memory=167068 CPUtime=3.08 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 41050 0 0 0 301 7 0 0 20 0 1 0 5621955 188657664 41767 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 46059 41767 2646 3035 0 42455 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184236 KiB
Current children cumulated memory: 167068 KiB
[startup+6.30019 s]
/proc/loadavg: 2.61 1.77 2.61 5/266 39398
/proc/meminfo: memFree=125453088/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=248392 memory=222688 CPUtime=6.26 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 54999 0 0 0 617 9 0 0 20 0 1 0 5621955 254353408 55672 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 62098 55672 2854 3035 0 58494 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 248392 KiB
Current children cumulated memory: 222688 KiB
[startup+12.7002 s]
/proc/loadavg: 2.83 1.85 2.62 5/266 39398
/proc/meminfo: memFree=124899760/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=271772 memory=238560 CPUtime=12.64 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 58868 0 0 0 1253 11 0 0 20 0 1 0 5621955 278294528 59640 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 67943 59640 2934 3035 0 64339 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 271772 KiB
Current children cumulated memory: 238560 KiB
[startup+25.5002 s]
/proc/loadavg: 3.01 1.92 2.64 5/265 39592
/proc/meminfo: memFree=125213988/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=301488 memory=266352 CPUtime=25.37 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 66577 0 0 0 2523 14 0 0 20 0 1 0 5621955 308723712 66588 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 75372 66588 2950 3035 0 71768 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 301488 KiB
Current children cumulated memory: 266352 KiB
[startup+51.1051 s]
/proc/loadavg: 3.35 2.09 2.67 5/263 39642
/proc/meminfo: memFree=120452692/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=315632 memory=286232 CPUtime=50.86 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 71281 0 0 0 5068 18 0 0 20 0 1 0 5621955 323207168 71558 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 78908 71558 3254 3035 0 75304 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 315632 KiB
Current children cumulated memory: 286232 KiB
[startup+102.3 s]
/proc/loadavg: 3.84 2.44 2.76 5/266 39655
/proc/meminfo: memFree=94061904/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=465664 memory=413016 CPUtime=101.81 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 162309 0 0 0 10154 27 0 0 20 0 3 0 5621955 476839936 103254 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 116416 103254 3270 3035 0 112756 0
[pid=39394/tid=39646] ppid=39391 vsize=465664 memory=-5155634574409296773 CPUtime=37.33 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 90591 0 0 0 3726 7 0 0 20 0 3 0 5628431 476839936 103254 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=465664 memory=11408 CPUtime=0 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5628436 476839936 103254 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 465664 KiB
Current children cumulated memory: 413016 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.74 2.85 5/265 39713
/proc/meminfo: memFree=124323276/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=586616 memory=476500 CPUtime=161.57 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 240613 0 0 0 16123 34 0 0 20 0 3 0 5621955 600694784 119125 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 146654 119125 3318 3035 0 133636 0
[pid=39394/tid=39646] ppid=39391 vsize=586616 memory=447876 CPUtime=97.1 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 167921 0 0 0 9695 15 0 0 20 0 3 0 5628431 600694784 119125 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=586616 memory=11408 CPUtime=0 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5628436 600694784 119125 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 586616 KiB
Current children cumulated memory: 476500 KiB
[startup+222.3 s]
/proc/loadavg: 3.52 2.84 2.88 4/256 39754
/proc/meminfo: memFree=124760012/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=783224 memory=608148 CPUtime=221.36 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 345950 0 0 0 22088 48 0 0 20 0 3 0 5621955 802021376 152037 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 195806 152037 3318 3035 0 185296 0
[pid=39394/tid=39646] ppid=39391 vsize=783224 memory=11408 CPUtime=156.88 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 272144 0 0 0 15659 29 0 0 20 0 3 0 5628431 802021376 152037 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=783224 memory=11408 CPUtime=0 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5628436 802021376 152037 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 783224 KiB
Current children cumulated memory: 608148 KiB
[startup+282.3 s]
/proc/loadavg: 3.19 2.87 2.89 4/255 39766
/proc/meminfo: memFree=124625736/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=848760 memory=676016 CPUtime=281.15 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 394383 0 0 0 28059 56 0 0 20 0 3 0 5621955 869130240 169004 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 212190 169004 3318 3035 0 208327 0
[pid=39394/tid=39646] ppid=39391 vsize=848760 memory=659088 CPUtime=216.66 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 319661 0 0 0 21630 36 0 0 20 0 3 0 5628431 869130240 169004 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=848760 memory=11408 CPUtime=0 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5628436 869130240 169004 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 848760 KiB
Current children cumulated memory: 676016 KiB
[startup+342.3 s]
/proc/loadavg: 3.19 2.93 2.91 4/255 39776
/proc/meminfo: memFree=124448264/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=979832 memory=797484 CPUtime=340.93 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 468242 0 0 0 34029 64 0 0 20 0 3 0 5621955 1003347968 199371 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 244958 199371 3318 3035 0 239560 0
[pid=39394/tid=39646] ppid=39391 vsize=979832 memory=659088 CPUtime=276.44 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 393487 0 0 0 27600 44 0 0 20 0 3 0 5628431 1003347968 199371 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=979832 memory=11408 CPUtime=0 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5628436 1003347968 199371 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 340.93 s
################
# More data... #
################
/proc/loadavg: 3.16 3.12 3.09 4/254 41521
/proc/meminfo: memFree=122175012/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1519440 CPUtime=3388.82 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3426625 0 0 0 338470 412 0 0 20 0 3 0 5621955 1680695296 379860 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 379860 3318 3035 0 395493 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1499204 CPUtime=3324.01 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3349604 0 0 0 332020 381 0 0 20 0 3 0 5628431 1680695296 379860 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=1501088 CPUtime=0.03 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 124 0 0 0 1 2 0 0 20 0 3 0 5628436 1680695296 379860 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3388.82 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1519440 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.11 3.09 4/257 41536
/proc/meminfo: memFree=122114156/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1530500 CPUtime=3448.59 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3447449 0 0 0 344443 416 0 0 20 0 3 0 5621955 1680695296 382625 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 382625 3318 3035 0 395493 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1499204 CPUtime=3383.78 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3370408 0 0 0 337993 385 0 0 20 0 3 0 5628431 1680695296 382625 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=1530244 CPUtime=0.03 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 125 0 0 0 1 2 0 0 20 0 3 0 5628436 1680695296 382625 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3448.59 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1530500 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.11 3.09 4/257 41547
/proc/meminfo: memFree=122020204/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1560416 CPUtime=3508.36 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3518776 0 0 0 350413 423 0 0 20 0 3 0 5621955 1680695296 390104 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 390104 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1530244 CPUtime=3443.55 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3441715 0 0 0 343963 392 0 0 20 0 3 0 5628431 1680695296 390104 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=1544848 CPUtime=0.03 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 126 0 0 0 1 2 0 0 20 0 3 0 5628436 1680695296 390104 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3508.36 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1560416 KiB
[startup+3582.3 s]
/proc/loadavg: 2.95 3.07 3.08 3/248 41589
/proc/meminfo: memFree=123605288/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574936 CPUtime=3568.16 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3556021 0 0 0 356388 428 0 0 20 0 3 0 5621955 1680695296 393734 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393734 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1544848 CPUtime=3503.34 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3478940 0 0 0 349937 397 0 0 20 0 3 0 5628431 1680695296 393734 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=11408 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393734 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3568.16 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574936 KiB
[startup+3598.22 s]
# the end of solver process 39394 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.72 s, system=4.321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.87 3.05 3.07 3/248 41589
/proc/meminfo: memFree=123605348/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3569.86 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3556026 0 0 0 356558 428 0 0 20 0 3 0 5621955 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393735 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=31884 CPUtime=3505.04 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3478945 0 0 0 350107 397 0 0 20 0 3 0 5628431 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=7092 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3569.86 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574940 KiB
[startup+3590.4 s]
/proc/loadavg: 2.80 3.03 3.07 3/248 41590
/proc/meminfo: memFree=123605272/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3576.24 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3556855 0 0 0 357195 429 0 0 20 0 3 0 5621955 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393735 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1574936 CPUtime=3511.41 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3479774 0 0 0 350744 397 0 0 20 0 3 0 5628431 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=1574940 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3576.24 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574940 KiB
[startup+3593.6 s]
/proc/loadavg: 2.74 3.02 3.06 3/248 41590
/proc/meminfo: memFree=123605292/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3579.42 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3561432 0 0 0 357513 429 0 0 20 0 3 0 5621955 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393735 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3514.59 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3484351 0 0 0 351062 397 0 0 20 0 3 0 5628431 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=13012 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3579.42 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574940 KiB
[startup+3596.8 s]
/proc/loadavg: 2.74 3.02 3.06 3/248 41592
/proc/meminfo: memFree=123605232/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3582.61 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3562006 0 0 0 357832 429 0 0 20 0 3 0 5621955 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393735 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3517.79 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3484925 0 0 0 351381 398 0 0 20 0 3 0 5628431 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=1574936 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574940 KiB
[startup+3597.6 s]
/proc/loadavg: 2.74 3.02 3.06 3/248 41592
/proc/meminfo: memFree=123605264/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3583.41 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3562052 0 0 0 357912 429 0 0 20 0 3 0 5621955 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393735 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=2268 CPUtime=3518.59 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3484971 0 0 0 351461 398 0 0 20 0 3 0 5628431 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=33100 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574940 KiB
[startup+3598 s]*
/proc/loadavg: 2.68 3.00 3.05 3/248 41592
/proc/meminfo: memFree=123605240/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1641304 memory=1574940 CPUtime=3583.82 cores=0,2
/proc/39394/stat : 39394 (fscip) S 39391 39394 38834 0 -1 1077936128 3562054 0 0 0 357952 430 0 0 20 0 3 0 5621955 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 410326 393735 3318 3035 0 399077 0
[pid=39394/tid=39646] ppid=39391 vsize=1641304 memory=-7449916425186141559 CPUtime=3518.99 cores=0,2
/proc/39394/task/39646/stat : 39646 (fscip) R 39391 39394 38834 0 -1 4194368 3484973 0 0 0 351501 398 0 0 20 0 3 0 5628431 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
[pid=39394/tid=39647] ppid=39391 vsize=1641304 memory=-7665872539618802881 CPUtime=0.04 cores=0,2
/proc/39394/task/39647/stat : 39647 (fscip) S 39391 39394 38834 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 5628436 1680695296 393735 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
Current children cumulated CPU time: 3583.82 s
Current children cumulated vsize: 1641304 KiB
Current children cumulated memory: 1574940 KiB
[startup+3598.2 s]
/proc/loadavg: 2.68 3.00 3.05 3/248 41592
/proc/meminfo: memFree=123605240/131524600 swapFree=131071996/131071996
[pid=39394] ppid=39391 vsize=1117156 memory=982648 CPUtime=3584.01 cores=0,2
/proc/39394/stat : 39394 (fscip) R 39391 39394 38834 0 -1 4194304 3568829 0 0 0 357970 431 0 0 20 0 1 0 5621955 1143967744 245662 134679101440 4194304 16623229 140730526633696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 39288832 140730526635028 140730526635144 140730526635144 140730526642160 0
/proc/39394/statm: 279289 245662 3318 3035 0 258851 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 1117156 KiB
Current children cumulated memory: 982648 KiB
Child status: 0
Real time (s): 3598.22
CPU time (s): 3584.04
CPU user time (s): 3579.72
CPU system time (s): 4.321
CPU usage (%): 99.6059
Max. virtual memory (cumulated for all children) (KiB): 1641304
Max. memory (cumulated for all children) (KiB): 1574940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.72
system time used= 4.321
maximum resident set size= 1574940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3570455
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= 15468
involuntary context switches= 25067
# summary of solver processes directly reported to runsolver:
# pid: 39394
# total CPU time (s): 3584.04
# total CPU user time (s): 3579.72
# total CPU system time (s): 4.321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.9476 second user time and 14.7941 second system time
The end
Begin job on nodeC034 at 2024-07-31 03:42:56
IDJOB=4465057
IDBENCH=144037
IDSOLVER=3093
FILE ID=nodeC034/4465057-1722390176
RUNJOBID= nodeC034-1722390141-38844
SLURM_JOB_ID= 8249871
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4465057-1722390176/watcher-4465057-1722390176 -o /tmp/evaluation-result-4465057-1722390176/solver-4465057-1722390176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722390141-38844 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465057-1722390176.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2cd9cebb7540fdd6e098c60b3eb18ca6
RANDOM SEED=402284595
nodeC034.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 : 3658.422
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.51
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 : 3680.830
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.49
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 : 3660.888
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.51
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.983
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.49
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 : 3663.136
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.51
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 : 3680.822
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.49
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 : 3599.792
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.51
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.782
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127367148 kB
MemAvailable: 127585032 kB
Buffers: 109484 kB
Cached: 941932 kB
SwapCached: 0 kB
Active: 285940 kB
Inactive: 3389744 kB
Active(anon): 1544 kB
Inactive(anon): 2644056 kB
Active(file): 284396 kB
Inactive(file): 745688 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 93432 kB
Writeback: 0 kB
AnonPages: 2622344 kB
Mapped: 123612 kB
Shmem: 21336 kB
KReclaimable: 55244 kB
Slab: 135992 kB
SReclaimable: 55244 kB
SUnreclaim: 80748 kB
KernelStack: 4240 kB
PageTables: 14396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2790588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 329728 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC034 at 2024-07-31 04:42:55