0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32526336, getVmSize() = 32526336, SCIPgetMemUsed() = 8874490, SCIPgetMemTotal() = 10624578, SCIPgetMemExternEstim() = 5427093
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 24869546, getVmSize() = 42082304, SCIPgetMemUsed() = 10169591, SCIPgetMemTotal() = 18820103, SCIPgetMemExternEstim() = 5427093
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4434661-1721082413
0.00/0.06 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 4000
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2742
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2742
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.08 c * 0 0 1 1 1692.0000 - -
0.09/0.13 c * 0 0 1 1 1170.0000 - -
0.09/0.13 c * 0 0 1 1 1084.0000 - -
0.09/0.15 c * 0 0 1 1 1075.0000 - -
12.06/12.16 c 12 2 1 1 1075.0000 1001.5914 7.33%
18.54/18.62 c 19 5 4 1 1075.0000 1002.0809 7.28%
24.61/24.71 c 25 10 9 1 1075.0000 1002.0809 7.28%
29.60/29.71 c * 30 12 11 1 1062.0000 1002.0809 5.98%
29.60/29.71 c * 30 42 41 1 1061.0000 1002.0809 5.88%
29.60/29.78 c * 30 42 41 1 1060.0000 1002.0809 5.78%
29.60/29.78 c 30 42 41 1 1060.0000 1002.0809 5.78%
29.70/29.82 c * 30 42 41 1 1059.0000 1002.0809 5.68%
35.18/35.35 c 35 110 51 1 1059.0000 1002.6180 5.62%
40.37/40.55 c 41 131 66 1 1059.0000 1002.6941 5.62%
46.45/46.69 c 47 174 87 1 1059.0000 1003.4727 5.53%
51.94/52.14 c 52 243 98 1 1059.0000 1003.7242 5.51%
56.03/56.24 c * 56 252 99 1 1053.0000 1003.8952 4.89%
56.03/56.25 c * 56 252 99 1 1049.0000 1003.8952 4.49%
59.92/60.18 c 60 267 96 1 1049.0000 1004.2479 4.46%
65.20/65.43 c 65 336 109 1 1049.0000 1004.4571 4.43%
65.50/65.70 c * 66 336 109 1 1046.0000 1004.4571 4.14%
65.50/65.71 c * 66 336 109 1 1045.0000 1004.4571 4.04%
70.57/70.81 c 71 406 108 1 1045.0000 1004.6217 4.02%
70.79/71.01 c * 71 406 108 1 1043.0000 1004.6217 3.82%
75.87/76.16 c 76 480 114 1 1043.0000 1004.8612 3.80%
82.44/82.73 c 83 575 131 1 1043.0000 1005.2724 3.75%
83.64/83.92 c * 84 601 137 1 1040.0000 1005.2724 3.45%
88.03/88.30 c 88 658 128 1 1040.0000 1005.2724 3.45%
93.51/93.88 c 94 693 141 1 1040.0000 1005.3237 3.45%
99.60/99.91 c 100 775 153 1 1040.0000 1005.3237 3.45%
105.38/105.74 c 106 951 157 1 1040.0000 1005.4775 3.43%
111.67/112.02 c 112 965 167 1 1040.0000 1005.5638 3.42%
117.15/117.56 c 118 982 170 1 1040.0000 1005.5698 3.42%
123.65/124.01 c 124 1035 179 1 1040.0000 1005.6117 3.42%
130.03/130.49 c 130 1097 189 1 1040.0000 1005.9416 3.39%
136.11/136.55 c 137 1127 193 1 1040.0000 1006.0193 3.38%
142.49/142.98 c 143 1215 205 1 1040.0000 1006.5016 3.33%
148.38/148.89 c 149 1392 208 1 1040.0000 1006.6650 3.31%
153.46/153.99 c 154 1432 212 1 1040.0000 1006.9072 3.29%
160.44/160.97 c 161 1534 222 1 1040.0000 1006.9496 3.28%
166.23/166.73 c 167 1600 236 1 1040.0000 1007.0834 3.27%
173.62/174.17 c 174 1646 244 1 1040.0000 1007.2523 3.25%
179.00/179.54 c 180 1737 253 1 1040.0000 1007.2643 3.25%
184.09/184.69 c 185 1834 260 1 1040.0000 1007.4773 3.23%
189.28/189.83 c 190 1962 258 1 1040.0000 1007.5000 3.23%
194.27/194.89 c 195 2034 264 1 1040.0000 1007.5000 3.23%
199.56/200.19 c 200 2082 270 1 1040.0000 1007.8196 3.19%
205.64/206.27 c 206 2155 275 1 1040.0000 1007.8196 3.19%
211.53/212.19 c 212 2258 286 1 1040.0000 1007.9396 3.18%
216.92/217.50 c 218 2412 292 1 1040.0000 1008.1343 3.16%
222.20/222.81 c 223 2492 298 1 1040.0000 1008.2771 3.15%
227.29/227.90 c 228 2524 306 1 1040.0000 1008.2799 3.15%
232.67/233.33 c 233 2585 311 1 1040.0000 1008.2972 3.14%
238.16/238.87 c 239 2655 315 1 1040.0000 1008.2972 3.14%
243.45/244.14 c 244 2709 323 1 1040.0000 1008.3564 3.14%
249.13/249.84 c 250 2727 333 1 1040.0000 1008.5513 3.12%
254.92/255.64 c 256 2811 341 1 1040.0000 1008.5613 3.12%
260.60/261.36 c 261 2898 344 1 1040.0000 1008.5889 3.11%
265.99/266.79 c 267 3042 348 1 1040.0000 1008.5958 3.11%
272.27/273.03 c 273 3112 356 1 1040.0000 1008.6317 3.11%
277.66/278.46 c 278 3216 364 1 1040.0000 1008.6317 3.11%
284.64/285.49 c 285 3382 358 1 1040.0000 1008.8493 3.09%
290.63/291.46 c 291 3427 371 1 1040.0000 1008.8887 3.08%
296.91/297.71 c 298 3526 376 1 1040.0000 1008.9352 3.08%
302.89/303.72 c 304 3615 383 1 1040.0000 1008.9625 3.08%
308.18/309.03 c 309 3772 384 1 1040.0000 1009.1446 3.06%
313.56/314.40 c 314 3832 392 1 1040.0000 1009.1616 3.06%
318.85/319.72 c 320 3896 400 1 1040.0000 1009.1616 3.06%
326.53/327.47 c 327 3953 405 1 1040.0000 1009.2500 3.05%
332.02/332.99 c 333 4058 414 1 1040.0000 1009.2500 3.05%
337.31/338.29 c 338 4224 412 1 1040.0000 1009.2500 3.05%
342.59/343.52 c 344 4292 418 1 1040.0000 1009.3523 3.04%
347.58/348.52 c 349 4319 423 1 1040.0000 1009.3523 3.04%
354.07/355.01 c 355 4456 426 1 1040.0000 1009.3691 3.03%
359.76/360.78 c 361 4519 439 1 1040.0000 1009.4064 3.03%
365.05/366.04 c 366 4593 447 1 1040.0000 1009.5446 3.02%
370.13/371.18 c 371 4648 454 1 1040.0000 1009.5837 3.01%
375.31/376.32 c 376 4717 461 1 1040.0000 1009.6091 3.01%
383.39/384.44 c 384 4737 465 1 1040.0000 1009.7040 3.00%
388.37/389.49 c 390 4789 473 1 1040.0000 1009.7349 3.00%
393.76/394.81 c 395 4846 478 1 1040.0000 1009.7558 3.00%
399.64/400.74 c 401 4954 482 1 1040.0000 1009.7979 2.99%
405.63/406.71 c 407 5023 489 1 1040.0000 1009.8012 2.99%
410.81/411.94 c 412 5181 491 1 1040.0000 1009.8012 2.99%
416.11/417.25 c 417 5292 490 1 1040.0000 1009.8774 2.98%
422.69/423.82 c 424 5336 500 1 1040.0000 1009.9894 2.97%
428.27/429.43 c 429 5393 507 1 1040.0000 1010.1293 2.96%
434.26/435.43 c 435 5466 518 1 1040.0000 1010.1657 2.95%
439.95/441.19 c 441 5559 519 1 1040.0000 1010.2159 2.95%
445.94/447.12 c 447 5636 522 1 1040.0000 1010.3321 2.94%
451.42/452.61 c 453 5696 530 1 1040.0000 1010.3948 2.93%
457.20/458.45 c 458 5743 539 1 1040.0000 1010.4015 2.93%
463.19/464.47 c 464 5778 4 1 1040.0000 1010.4015 2.93%
468.68/469.96 c 470 5850 38 1 1040.0000 1010.4015 2.93%
474.56/475.82 c 476 5967 41 1 1040.0000 1010.4015 2.93%
479.65/480.93 c 481 6085 55 1 1040.0000 1010.5224 2.92%
484.85/486.15 c 486 6185 57 1 1040.0000 1010.5882 2.91%
489.93/491.24 c 491 6316 64 1 1040.0000 1010.5882 2.91%
495.11/496.43 c 496 6404 72 1 1040.0000 1010.6987 2.90%
500.30/501.68 c 502 6495 79 1 1040.0000 1010.8794 2.88%
505.79/507.17 c 507 6631 83 1 1040.0000 1010.8794 2.88%
511.57/512.91 c 513 6711 81 1 1040.0000 1010.8794 2.88%
517.47/518.83 c 519 6866 82 1 1040.0000 1010.9266 2.88%
522.95/524.31 c 524 7013 85 1 1040.0000 1010.9266 2.88%
528.65/530.06 c 530 7145 89 1 1040.0000 1011.1581 2.85%
533.73/535.14 c 535 7285 93 1 1040.0000 1011.3538 2.83%
539.31/540.73 c 541 7344 102 1 1040.0000 1011.4619 2.82%
547.39/548.83 c 549 7379 107 1 1040.0000 1011.6235 2.81%
553.28/554.71 c 555 7546 114 1 1040.0000 1011.6974 2.80%
558.57/560.06 c 560 7693 115 1 1040.0000 1011.6974 2.80%
565.35/566.83 c 567 7745 121 1 1040.0000 1011.8474 2.78%
570.84/572.35 c 572 7816 132 1 1040.0000 1012.0791 2.76%
576.63/578.13 c 578 7964 150 1 1040.0000 1012.1417 2.75%
582.41/583.97 c 584 8001 151 1 1040.0000 1012.1417 2.75%
587.70/589.23 c 589 8105 153 1 1040.0000 1012.3630 2.73%
593.19/594.72 c 595 8224 160 1 1040.0000 1012.3630 2.73%
598.37/599.98 c 600 8368 166 1 1040.0000 1012.5432 2.71%
603.66/605.20 c 605 8428 166 1 1040.0000 1012.5432 2.71%
609.25/610.82 c 611 8465 171 1 1040.0000 1012.5802 2.71%
614.44/616.08 c 616 8545 173 1 1040.0000 1012.6199 2.70%
619.72/621.32 c 621 8585 179 1 1040.0000 1012.6965 2.70%
625.91/627.58 c 628 8695 189 1 1040.0000 1012.7216 2.69%
631.79/633.40 c 633 8773 195 1 1040.0000 1012.7275 2.69%
637.08/638.77 c 639 8799 199 1 1040.0000 1012.7503 2.69%
643.07/644.70 c 645 8875 205 1 1040.0000 1012.8897 2.68%
648.56/650.24 c 650 8914 218 1 1040.0000 1012.8897 2.68%
653.64/655.33 c 655 8957 231 1 1040.0000 1013.1137 2.65%
658.93/660.65 c 661 9015 241 1 1040.0000 1013.3132 2.63%
664.11/665.82 c 666 9127 245 1 1040.0000 1013.3132 2.63%
670.69/672.43 c 672 9226 252 1 1040.0000 1013.3504 2.63%
677.98/679.77 c 680 9309 265 1 1040.0000 1013.4631 2.62%
683.46/685.24 c 685 9365 271 1 1040.0000 1013.5554 2.61%
688.84/690.67 c 691 9495 275 1 1040.0000 1013.7547 2.59%
694.23/696.02 c 696 9555 285 1 1040.0000 1013.8346 2.58%
700.91/702.78 c 703 9636 288 1 1040.0000 1013.8718 2.58%
706.39/708.26 c 708 9707 299 1 1040.0000 1013.9914 2.56%
711.77/713.69 c 714 9773 309 1 1040.0000 1013.9976 2.56%
718.05/719.97 c 720 9907 309 1 1040.0000 1014.0216 2.56%
723.25/725.19 c 725 9963 321 1 1040.0000 1014.1236 2.55%
728.33/730.27 c 730 10020 332 1 1040.0000 1014.2416 2.54%
735.71/737.69 c 738 10128 334 1 1040.0000 1014.2718 2.54%
741.49/743.47 c 743 10183 343 1 1040.0000 1014.3445 2.53%
747.47/749.42 c 749 10329 347 1 1040.0000 1014.3987 2.52%
753.06/755.03 c 755 10399 351 1 1040.0000 1014.4338 2.52%
758.74/760.72 c 761 10523 357 1 1040.0000 1014.4469 2.52%
764.82/766.83 c 767 10558 366 1 1040.0000 1014.5797 2.51%
771.11/773.11 c 773 10606 374 1 1040.0000 1014.6243 2.50%
777.10/779.13 c 779 10668 386 1 1040.0000 1014.6707 2.50%
784.08/786.11 c 786 10759 401 1 1040.0000 1014.7005 2.49%
790.35/792.49 c 792 10880 406 1 1040.0000 1014.7137 2.49%
795.44/797.54 c 798 11027 407 1 1040.0000 1014.7137 2.49%
800.42/802.59 c 803 11143 409 1 1040.0000 1014.7137 2.49%
806.31/808.45 c 808 11166 412 1 1040.0000 1014.7460 2.49%
812.00/814.17 c 814 11303 423 1 1040.0000 1014.7607 2.49%
817.08/819.26 c 819 11351 435 1 1040.0000 1014.7776 2.49%
822.56/824.74 c 825 11454 440 1 1040.0000 1014.7776 2.49%
829.04/831.20 c 831 11555 445 1 1040.0000 1014.8013 2.48%
836.71/838.99 c 839 11699 457 1 1040.0000 1014.8465 2.48%
842.20/844.48 c 844 11815 461 1 1040.0000 1014.8656 2.48%
848.08/850.35 c 850 11936 470 1 1040.0000 1014.8935 2.47%
853.67/855.97 c 856 12027 477 1 1040.0000 1014.8973 2.47%
860.55/862.82 c 863 12175 481 1 1040.0000 1014.9823 2.46%
865.64/867.99 c 868 12306 488 1 1040.0000 1014.9823 2.46%
871.22/873.50 c 874 12431 501 1 1040.0000 1015.0382 2.46%
876.81/879.10 c 879 12590 508 1 1040.0000 1015.2297 2.44%
878.60/880.99 c * 881 12631 515 1 1039.0000 1015.2460 2.34%
882.19/884.54 c 885 12719 517 1 1039.0000 1015.2789 2.34%
887.18/889.54 c 890 12808 528 1 1039.0000 1015.2953 2.33%
892.36/894.79 c 895 13010 532 1 1039.0000 1015.2992 2.33%
897.85/900.29 c 900 13115 539 1 1039.0000 1015.2999 2.33%
905.22/907.61 c 908 13253 541 1 1039.0000 1015.3158 2.33%
911.21/913.67 c 914 13259 545 1 1039.0000 1015.3158 2.33%
916.60/919.03 c 919 13305 543 1 1039.0000 1015.3382 2.33%
922.58/925.10 c 925 13376 550 1 1039.0000 1015.3463 2.33%
928.56/931.08 c 931 13447 555 1 1039.0000 1015.3660 2.33%
936.13/938.69 c 939 13459 561 1 1039.0000 1015.3661 2.33%
941.22/943.76 c 944 13537 563 1 1039.0000 1015.3661 2.33%
946.70/949.22 c 949 13625 567 1 1039.0000 1015.3939 2.32%
952.09/954.66 c 955 13665 579 1 1039.0000 1015.4577 2.32%
958.07/960.64 c 961 13735 585 1 1039.0000 1015.4771 2.32%
964.85/967.45 c 967 13805 593 1 1039.0000 1015.5201 2.31%
969.93/972.57 c 973 13912 596 1 1039.0000 1015.5201 2.31%
975.82/978.41 c 978 14024 606 1 1039.0000 1015.5484 2.31%
980.91/983.58 c 984 14057 613 1 1039.0000 1015.6152 2.30%
986.50/989.11 c 989 14141 621 1 1039.0000 1015.6240 2.30%
992.27/994.94 c 995 14313 623 1 1039.0000 1015.6240 2.30%
997.86/1000.56 c 1001 14455 627 1 1039.0000 1015.6456 2.30%
1003.14/1005.87 c 1006 14575 637 1 1039.0000 1015.6660 2.30%
1008.13/1010.89 c 1011 14627 651 1 1039.0000 1015.6799 2.30%
1014.21/1016.95 c 1017 14796 654 1 1039.0000 1015.6894 2.30%
1022.69/1025.40 c 1025 14829 657 1 1039.0000 1015.6954 2.29%
1028.77/1031.52 c 1032 14956 666 1 1039.0000 1015.7465 2.29%
1034.06/1036.87 c 1037 14987 675 1 1039.0000 1015.7715 2.29%
1040.04/1042.83 c 1043 15016 684 1 1039.0000 1015.8107 2.28%
1045.23/1048.00 c 1048 15172 686 1 1039.0000 1015.8107 2.28%
1050.91/1053.78 c 1054 15306 688 1 1039.0000 1015.8133 2.28%
1056.79/1059.66 c 1060 15446 692 1 1039.0000 1015.8173 2.28%
1062.78/1065.60 c 1066 15578 708 1 1039.0000 1015.8535 2.28%
1069.27/1072.15 c 1072 15716 714 1 1039.0000 1015.8901 2.27%
1074.86/1077.70 c 1078 15866 724 1 1039.0000 1015.9022 2.27%
1080.54/1083.49 c 1084 15970 728 1 1039.0000 1015.9607 2.27%
1085.63/1088.58 c 1089 16055 737 1 1039.0000 1016.0421 2.26%
1093.61/1096.57 c 1097 16119 745 1 1039.0000 1016.0470 2.26%
1099.69/1102.62 c 1103 16238 760 1 1039.0000 1016.0863 2.26%
1105.38/1108.32 c 1108 16367 777 1 1039.0000 1016.1322 2.25%
1110.86/1113.84 c 1114 16549 783 1 1039.0000 1016.1408 2.25%
1116.65/1119.62 c 1120 16665 789 1 1039.0000 1016.1640 2.25%
1122.54/1125.59 c 1126 16669 793 1 1039.0000 1016.1640 2.25%
1128.14/1131.18 c 1131 16775 811 1 1039.0000 1016.2488 2.24%
1133.62/1136.62 c 1137 16843 813 1 1039.0000 1016.2488 2.24%
1139.60/1142.64 c 1143 16934 822 1 1039.0000 1016.2719 2.24%
1144.99/1148.00 c 1148 17056 824 1 1039.0000 1016.2719 2.24%
1150.87/1153.91 c 1154 17159 833 1 1039.0000 1016.3031 2.23%
1156.07/1159.16 c 1159 17208 840 1 1039.0000 1016.3091 2.23%
1163.34/1166.48 c 1166 17219 845 1 1039.0000 1016.3155 2.23%
1168.63/1171.72 c 1172 17327 845 1 1039.0000 1016.3155 2.23%
1175.92/1179.02 c 1179 17458 848 1 1039.0000 1016.3155 2.23%
1182.49/1185.69 c 1186 17587 859 1 1039.0000 1016.3483 2.23%
1188.48/1191.63 c 1192 17683 869 1 1039.0000 1016.3594 2.23%
1193.77/1196.94 c 1197 17782 864 1 1039.0000 1016.3594 2.23%
1200.25/1203.43 c 1203 17866 862 1 1039.0000 1016.3615 2.23%
1205.34/1208.59 c 1209 18008 870 1 1039.0000 1016.3615 2.23%
1210.83/1214.04 c 1214 18087 887 1 1039.0000 1016.3935 2.22%
1216.01/1219.23 c 1219 18138 894 1 1039.0000 1016.4044 2.22%
1221.50/1224.77 c 1225 18199 899 1 1039.0000 1016.4094 2.22%
1226.90/1230.15 c 1230 18265 899 1 1039.0000 1016.4189 2.22%
1232.98/1236.20 c 1236 18352 914 1 1039.0000 1016.4310 2.22%
1239.56/1242.82 c 1243 18475 917 1 1039.0000 1016.4408 2.22%
1245.25/1248.55 c 1249 18499 931 1 1039.0000 1016.4440 2.22%
1250.53/1253.83 c 1254 18544 944 1 1039.0000 1016.4534 2.22%
1255.73/1259.05 c 1259 18624 944 1 1039.0000 1016.4534 2.22%
1262.82/1266.10 c 1266 18702 950 1 1039.0000 1016.4554 2.22%
1269.20/1272.54 c 1273 18783 955 1 1039.0000 1016.4600 2.22%
1274.69/1278.03 c 1278 18851 957 1 1039.0000 1016.4643 2.22%
1280.36/1283.71 c 1284 18921 961 1 1039.0000 1016.4643 2.22%
1285.95/1289.30 c 1289 18965 965 1 1039.0000 1016.4711 2.22%
1292.04/1295.40 c 1295 18993 965 1 1039.0000 1016.4711 2.22%
1297.02/1300.43 c 1300 19072 976 1 1039.0000 1016.4727 2.22%
1302.81/1306.20 c 1306 19105 979 1 1039.0000 1016.4869 2.21%
1308.40/1311.84 c 1312 19155 991 1 1039.0000 1016.5345 2.21%
1313.69/1317.16 c 1317 19235 995 1 1039.0000 1016.5391 2.21%
1319.68/1323.15 c 1323 19296 1000 1 1039.0000 1016.5391 2.21%
1326.06/1329.58 c 1330 19346 1010 1 1039.0000 1016.5686 2.21%
1331.15/1334.61 c 1335 19408 1010 1 1039.0000 1016.5686 2.21%
1339.03/1342.53 c 1343 19459 1011 1 1039.0000 1016.5767 2.21%
1344.02/1347.56 c 1348 19502 1022 1 1039.0000 1016.5889 2.20%
1350.10/1353.66 c 1354 19569 1037 1 1039.0000 1016.6497 2.20%
1355.79/1359.37 c 1359 19657 1043 1 1039.0000 1016.6571 2.20%
1362.58/1366.17 c 1366 19777 1049 1 1039.0000 1016.6623 2.20%
1369.25/1372.81 c 1373 19861 1059 1 1039.0000 1016.6946 2.19%
1374.25/1377.82 c 1378 19917 1057 1 1039.0000 1016.7036 2.19%
1379.93/1383.54 c 1384 19975 1067 1 1039.0000 1016.7285 2.19%
1385.32/1388.95 c 1389 20045 1069 1 1039.0000 1016.7314 2.19%
1393.00/1396.68 c 1397 20105 1085 1 1039.0000 1016.7349 2.19%
1398.99/1402.62 c 1403 20272 1094 1 1039.0000 1016.7717 2.19%
1404.67/1408.31 c 1408 20504 1100 1 1039.0000 1016.7941 2.18%
1410.06/1413.71 c 1414 20668 1110 1 1039.0000 1016.8619 2.18%
1415.06/1418.79 c 1419 20783 1115 1 1039.0000 1016.8754 2.18%
1423.24/1426.92 c 1427 20829 1119 1 1039.0000 1016.8761 2.18%
1428.72/1432.45 c 1432 21046 1122 1 1039.0000 1016.8761 2.18%
1434.51/1438.23 c 1438 21305 1127 1 1039.0000 1016.8832 2.17%
1440.49/1444.24 c 1444 21462 1132 1 1039.0000 1016.8834 2.17%
1446.58/1450.38 c 1450 21557 1141 1 1039.0000 1016.9017 2.17%
1452.46/1456.29 c 1456 21744 1154 1 1039.0000 1016.9019 2.17%
1457.96/1461.72 c 1462 21866 1158 1 1039.0000 1016.9092 2.17%
1463.94/1467.78 c 1468 21897 1165 1 1039.0000 1016.9302 2.17%
1469.93/1473.75 c 1474 22025 1167 1 1039.0000 1016.9367 2.17%
1475.22/1479.01 c 1479 22160 1182 1 1039.0000 1016.9384 2.17%
1480.30/1484.14 c 1484 22285 1183 1 1039.0000 1016.9624 2.17%
1485.29/1489.15 c 1489 22415 1195 1 1039.0000 1016.9895 2.16%
1490.37/1494.20 c 1494 22580 1206 1 1039.0000 1016.9947 2.16%
1495.56/1499.47 c 1499 22619 1211 1 1039.0000 1016.9958 2.16%
1501.25/1505.14 c 1505 22767 1215 1 1039.0000 1016.9974 2.16%
1508.33/1512.21 c 1512 22837 1223 1 1039.0000 1017.0443 2.16%
1513.52/1517.43 c 1517 23005 1235 1 1039.0000 1017.0624 2.16%
1521.20/1525.15 c 1525 23095 1251 1 1039.0000 1017.1064 2.15%
1527.09/1531.04 c 1531 23215 1261 1 1039.0000 1017.1122 2.15%
1532.08/1536.06 c 1536 23305 1265 1 1039.0000 1017.1352 2.15%
1538.66/1542.65 c 1543 23466 1272 1 1039.0000 1017.1655 2.15%
1544.05/1548.01 c 1548 23554 1280 1 1039.0000 1017.1739 2.15%
1549.23/1553.26 c 1553 23747 1281 1 1039.0000 1017.1739 2.15%
1555.92/1559.97 c 1560 23849 1293 1 1039.0000 1017.1776 2.15%
1561.02/1565.03 c 1565 23897 1301 1 1039.0000 1017.1834 2.14%
1566.30/1570.33 c 1570 24021 1303 1 1039.0000 1017.1834 2.14%
1571.89/1575.96 c 1576 24064 1306 1 1039.0000 1017.1893 2.14%
1577.18/1581.27 c 1581 24098 1314 1 1039.0000 1017.1963 2.14%
1582.97/1587.06 c 1587 24153 1323 1 1039.0000 1017.2023 2.14%
1588.96/1593.03 c 1593 24222 1328 1 1039.0000 1017.2054 2.14%
1594.34/1598.48 c 1598 24365 1327 1 1039.0000 1017.2054 2.14%
1599.62/1603.72 c 1604 24457 1331 1 1039.0000 1017.2233 2.14%
1605.51/1609.64 c 1610 24545 1337 1 1039.0000 1017.2599 2.14%
1610.60/1614.75 c 1615 24565 1343 1 1039.0000 1017.2710 2.14%
1616.08/1620.29 c 1620 24626 1354 1 1039.0000 1017.3035 2.13%
1621.77/1625.96 c 1626 24704 1356 1 1039.0000 1017.3035 2.13%
1626.87/1631.09 c 1631 24832 1358 1 1039.0000 1017.3035 2.13%
1632.15/1636.34 c 1636 24960 1370 1 1039.0000 1017.3186 2.13%
1637.94/1642.12 c 1642 25035 1375 1 1039.0000 1017.3740 2.13%
1642.93/1647.13 c 1647 25079 1381 1 1039.0000 1017.3740 2.13%
1648.71/1652.95 c 1653 25125 1385 1 1039.0000 1017.3813 2.12%
1655.09/1659.34 c 1659 25226 1384 1 1039.0000 1017.4014 2.12%
1660.88/1665.19 c 1665 25365 1391 1 1039.0000 1017.4083 2.12%
1668.06/1672.33 c 1672 25466 1390 1 1039.0000 1017.4083 2.12%
1673.75/1678.05 c 1678 25589 1405 1 1039.0000 1017.4289 2.12%
1679.13/1683.45 c 1683 25599 1411 1 1039.0000 1017.4344 2.12%
1685.13/1689.43 c 1689 25698 1422 1 1039.0000 1017.4533 2.12%
1691.11/1695.49 c 1696 25761 1425 1 1039.0000 1017.4654 2.12%
1696.40/1700.70 c 1701 25866 1430 1 1039.0000 1017.4689 2.12%
1701.69/1706.01 c 1706 25980 1442 1 1039.0000 1017.4834 2.11%
1708.68/1713.02 c 1713 26057 1449 1 1039.0000 1017.4947 2.11%
1713.77/1718.15 c 1718 26085 1457 1 1039.0000 1017.5024 2.11%
1719.66/1724.05 c 1724 26150 1468 1 1039.0000 1017.5165 2.11%
1725.44/1729.89 c 1730 26281 1479 1 1039.0000 1017.5204 2.11%
1730.82/1735.23 c 1735 26437 1473 1 1039.0000 1017.5204 2.11%
1737.31/1741.76 c 1742 26506 1478 1 1039.0000 1017.5240 2.11%
1742.39/1746.85 c 1747 26602 1494 1 1039.0000 1017.5335 2.11%
1748.28/1752.74 c 1753 26698 1500 1 1039.0000 1017.5459 2.11%
1753.87/1758.30 c 1758 26788 1508 1 1039.0000 1017.5488 2.11%
1759.76/1764.21 c 1764 26880 1514 1 1039.0000 1017.5520 2.11%
1767.44/1771.91 c 1772 26959 1523 1 1039.0000 1017.5644 2.11%
1772.63/1777.18 c 1777 27087 1533 1 1039.0000 1017.5755 2.11%
1778.21/1782.74 c 1783 27216 1546 1 1039.0000 1017.5870 2.10%
1784.00/1788.58 c 1789 27367 1553 1 1039.0000 1017.5907 2.10%
1789.09/1793.66 c 1794 27455 1557 1 1039.0000 1017.5975 2.10%
1794.27/1798.88 c 1799 27571 1561 1 1039.0000 1017.5975 2.10%
1800.06/1804.67 c 1805 27733 1563 1 1039.0000 1017.5982 2.10%
1805.75/1810.39 c 1810 27875 1575 1 1039.0000 1017.6355 2.10%
1811.63/1816.21 c 1816 27975 1579 1 1039.0000 1017.6355 2.10%
1817.23/1821.88 c 1822 28039 1593 1 1039.0000 1017.6507 2.10%
1822.62/1827.27 c 1827 28103 1597 1 1039.0000 1017.6552 2.10%
1828.20/1832.81 c 1833 28254 1602 1 1039.0000 1017.6622 2.10%
1836.28/1840.90 c 1841 28339 1607 1 1039.0000 1017.6983 2.09%
1841.48/1846.18 c 1846 28461 1613 1 1039.0000 1017.7151 2.09%
1846.66/1851.33 c 1851 28546 1620 1 1039.0000 1017.7165 2.09%
1852.15/1856.87 c 1857 28576 1626 1 1039.0000 1017.7238 2.09%
1858.03/1862.72 c 1863 28722 1620 1 1039.0000 1017.7238 2.09%
1864.01/1868.72 c 1869 28810 1624 1 1039.0000 1017.7321 2.09%
1869.51/1874.28 c 1874 28958 1630 1 1039.0000 1017.7352 2.09%
1874.70/1879.47 c 1879 29120 1630 1 1039.0000 1017.7352 2.09%
1880.29/1885.02 c 1885 29279 1633 1 1039.0000 1017.7361 2.09%
1885.47/1890.25 c 1890 29424 1638 1 1039.0000 1017.7445 2.09%
1890.76/1895.51 c 1896 29544 1642 1 1039.0000 1017.7499 2.09%
1896.14/1900.99 c 1901 29706 1648 1 1039.0000 1017.7764 2.09%
1901.83/1906.65 c 1907 29837 1651 1 1039.0000 1017.7779 2.09%
1907.41/1912.24 c 1912 29918 1662 1 1039.0000 1017.7859 2.08%
1912.80/1917.66 c 1918 30013 1665 1 1039.0000 1017.7882 2.08%
1917.89/1922.79 c 1923 30149 1675 1 1039.0000 1017.8010 2.08%
1923.38/1928.25 c 1928 30284 1682 1 1039.0000 1017.8300 2.08%
1930.56/1935.45 c 1935 30359 1683 1 1039.0000 1017.8300 2.08%
1936.55/1941.46 c 1941 30489 1687 1 1039.0000 1017.8407 2.08%
1941.63/1946.57 c 1947 30657 1687 1 1039.0000 1017.8407 2.08%
1947.52/1952.45 c 1952 30754 1698 1 1039.0000 1017.8514 2.08%
1952.70/1957.62 c 1958 30895 1707 1 1039.0000 1017.8514 2.08%
1958.60/1963.50 c 1964 31005 1717 1 1039.0000 1017.8664 2.08%
1963.89/1968.83 c 1969 31111 1727 1 1039.0000 1017.8792 2.07%
1969.67/1974.62 c 1975 31275 1733 1 1039.0000 1017.9011 2.07%
1976.36/1981.34 c 1981 31387 1739 1 1039.0000 1017.9072 2.07%
1982.24/1987.29 c 1987 31532 1754 1 1039.0000 1017.9183 2.07%
1987.43/1992.49 c 1992 31645 1769 1 1039.0000 1017.9411 2.07%
1993.12/1998.19 c 1998 31727 1779 1 1039.0000 1017.9536 2.07%
1998.70/2003.77 c 2004 31779 1781 1 1039.0000 1017.9556 2.07%
2004.29/2009.37 c 2009 31847 1789 1 1039.0000 1017.9601 2.07%
2009.48/2014.50 c 2015 31939 1797 1 1039.0000 1017.9618 2.07%
2014.87/2019.98 c 2020 32000 1800 1 1039.0000 1017.9653 2.07%
2020.06/2025.13 c 2025 32131 1801 1 1039.0000 1017.9713 2.07%
2025.44/2030.55 c 2031 32242 1812 1 1039.0000 1017.9776 2.07%
2030.73/2035.81 c 2036 32348 1820 1 1039.0000 1017.9801 2.06%
2035.92/2041.02 c 2041 32507 1831 1 1039.0000 1017.9842 2.06%
2041.30/2046.40 c 2046 32562 1842 1 1039.0000 1017.9864 2.06%
2046.30/2051.42 c 2051 32699 1859 1 1039.0000 1018.0041 2.06%
2051.89/2057.07 c 2057 32872 1870 1 1039.0000 1018.0069 2.06%
2058.07/2063.24 c 2063 32949 1873 1 1039.0000 1018.0082 2.06%
2064.26/2069.45 c 2069 33151 1877 1 1039.0000 1018.0090 2.06%
2069.64/2074.81 c 2075 33215 1877 1 1039.0000 1018.0196 2.06%
2074.94/2080.14 c 2080 33306 1890 1 1039.0000 1018.0384 2.06%
2080.02/2085.26 c 2085 33425 1897 1 1039.0000 1018.0719 2.06%
2085.81/2091.06 c 2091 33555 1907 1 1039.0000 1018.0966 2.05%
2091.19/2096.40 c 2096 33634 1918 1 1039.0000 1018.1203 2.05%
2096.89/2102.16 c 2102 33728 1930 1 1039.0000 1018.1208 2.05%
2102.37/2107.61 c 2108 33845 1941 1 1039.0000 1018.1334 2.05%
2108.05/2113.30 c 2113 33915 1953 1 1039.0000 1018.1423 2.05%
2113.94/2119.21 c 2119 33965 1959 1 1039.0000 1018.1431 2.05%
2120.92/2126.27 c 2126 33985 1965 1 1039.0000 1018.1729 2.05%
2126.81/2132.11 c 2132 34023 1979 1 1039.0000 1018.1843 2.04%
2133.59/2138.94 c 2139 34096 1992 1 1039.0000 1018.1944 2.04%
2138.98/2144.39 c 2144 34237 1997 1 1039.0000 1018.1949 2.04%
2144.47/2149.88 c 2150 34330 2010 1 1039.0000 1018.2385 2.04%
2151.85/2157.26 c 2157 34470 2014 1 1039.0000 1018.2507 2.04%
2157.23/2162.62 c 2163 34525 2017 1 1039.0000 1018.2692 2.04%
2163.82/2169.25 c 2169 34625 2033 1 1039.0000 1018.2930 2.03%
2169.41/2174.83 c 2175 34727 2041 1 1039.0000 1018.2980 2.03%
2176.60/2182.02 c 2182 34809 2053 1 1039.0000 1018.3176 2.03%
2181.69/2187.17 c 2187 34959 2055 1 1039.0000 1018.3176 2.03%
2187.47/2192.97 c 2193 35148 2056 1 1039.0000 1018.3176 2.03%
2192.67/2198.14 c 2198 35329 2053 1 1039.0000 1018.3176 2.03%
2199.35/2204.86 c 2205 35406 2060 1 1039.0000 1018.3357 2.03%
2204.64/2210.13 c 2210 35446 2068 1 1039.0000 1018.3368 2.03%
2209.63/2215.14 c 2215 35578 2070 1 1039.0000 1018.3368 2.03%
2214.62/2220.16 c 2220 35701 2071 1 1039.0000 1018.3368 2.03%
2220.39/2225.90 c 2226 35773 2075 1 1039.0000 1018.3431 2.03%
2225.98/2231.57 c 2232 35860 2080 1 1039.0000 1018.3481 2.03%
2231.47/2237.00 c 2237 35931 2083 1 1039.0000 1018.3700 2.03%
2237.06/2242.65 c 2243 35983 2091 1 1039.0000 1018.3700 2.03%
2246.04/2251.69 c * 2252 36006 2092 1 1038.0000 1018.3700 1.93%
2246.04/2251.69 c 2252 36006 2092 1 1038.0000 1018.3700 1.93%
2251.62/2257.24 c 2257 36158 2088 1 1038.0000 1018.3780 1.93%
2256.82/2262.41 c 2262 36289 2107 1 1038.0000 1018.3956 1.93%
2261.99/2267.65 c 2268 36445 2111 1 1038.0000 1018.4085 1.92%
2267.68/2273.39 c 2273 36585 2117 1 1038.0000 1018.4205 1.92%
2273.57/2279.22 c 2279 36619 2133 1 1038.0000 1018.4330 1.92%
2279.05/2284.76 c 2285 36725 2141 1 1038.0000 1018.4350 1.92%
2285.24/2290.91 c 2291 36790 2150 1 1038.0000 1018.4385 1.92%
2290.43/2296.16 c 2296 36930 2166 1 1038.0000 1018.4456 1.92%
2296.42/2302.15 c 2302 37023 2173 1 1038.0000 1018.4456 1.92%
2301.41/2307.18 c 2307 37135 2177 1 1038.0000 1018.4665 1.92%
2306.69/2312.42 c 2312 37185 2195 1 1038.0000 1018.4838 1.92%
2311.98/2317.77 c 2318 37342 2202 1 1038.0000 1018.4838 1.92%
2317.86/2323.66 c 2324 37447 2203 1 1038.0000 1018.4857 1.92%
2323.65/2329.47 c 2329 37562 2206 1 1038.0000 1018.4857 1.92%
2328.73/2334.53 c 2335 37637 2215 1 1038.0000 1018.4963 1.91%
2334.73/2340.58 c 2341 37778 2220 1 1038.0000 1018.4963 1.91%
2340.11/2345.98 c 2346 37874 2226 1 1038.0000 1018.4974 1.91%
2346.10/2351.93 c 2352 37953 2231 1 1038.0000 1018.5015 1.91%
2351.99/2357.81 c 2358 38023 2237 1 1038.0000 1018.5071 1.91%
2357.67/2363.51 c 2364 38100 2240 1 1038.0000 1018.5108 1.91%
2364.06/2369.92 c 2370 38196 2248 1 1038.0000 1018.5296 1.91%
2369.94/2375.82 c 2376 38355 2261 1 1038.0000 1018.5348 1.91%
2375.13/2381.01 c 2381 38410 2280 1 1038.0000 1018.5585 1.91%
2380.62/2386.52 c 2387 38585 2285 1 1038.0000 1018.5682 1.91%
2385.91/2391.86 c 2392 38743 2281 1 1038.0000 1018.5682 1.91%
2391.70/2397.61 c 2398 38885 2277 1 1038.0000 1018.5718 1.91%
2396.89/2402.80 c 2403 39040 2282 1 1038.0000 1018.5718 1.91%
2403.18/2409.15 c 2409 39107 2295 1 1038.0000 1018.5873 1.91%
2408.76/2414.78 c 2415 39255 2303 1 1038.0000 1018.6076 1.90%
2414.34/2420.35 c 2420 39325 2311 1 1038.0000 1018.6084 1.90%
2419.63/2425.69 c 2426 39368 2326 1 1038.0000 1018.6257 1.90%
2425.02/2431.02 c 2431 39490 2340 1 1038.0000 1018.6307 1.90%
2430.21/2436.27 c 2436 39545 2343 1 1038.0000 1018.6478 1.90%
2435.39/2441.41 c 2441 39721 2347 1 1038.0000 1018.6478 1.90%
2441.09/2447.12 c 2447 39804 2362 1 1038.0000 1018.6650 1.90%
2446.07/2452.17 c 2452 39975 2371 1 1038.0000 1018.6689 1.90%
2451.16/2457.27 c 2457 40165 2375 1 1038.0000 1018.6782 1.90%
2457.24/2463.34 c 2463 40222 2400 1 1038.0000 1018.6989 1.89%
2462.83/2468.98 c 2469 40444 2412 1 1038.0000 1018.7110 1.89%
2469.12/2475.23 c 2475 40495 2423 1 1038.0000 1018.7251 1.89%
2474.21/2480.36 c 2480 40641 2429 1 1038.0000 1018.7251 1.89%
2479.50/2485.64 c 2486 40785 2423 1 1038.0000 1018.7255 1.89%
2484.99/2491.17 c 2491 40835 2439 1 1038.0000 1018.7271 1.89%
2490.27/2496.49 c 2496 40965 2461 1 1038.0000 1018.7390 1.89%
2495.36/2501.55 c 2502 41080 2482 1 1038.0000 1018.7458 1.89%
2500.95/2507.16 c 2507 41230 2494 1 1038.0000 1018.7501 1.89%
2506.84/2513.01 c 2513 41375 2501 1 1038.0000 1018.7676 1.89%
2511.93/2518.14 c 2518 41507 2513 1 1038.0000 1018.7690 1.89%
2517.51/2523.77 c 2524 41658 2516 1 1038.0000 1018.7735 1.89%
2522.90/2529.16 c 2529 41720 2532 1 1038.0000 1018.7813 1.89%
2528.38/2534.62 c 2535 41779 2551 1 1038.0000 1018.7952 1.89%
2533.47/2539.75 c 2540 41861 2557 1 1038.0000 1018.7999 1.88%
2538.66/2544.90 c 2545 41985 2567 1 1038.0000 1018.8038 1.88%
2543.95/2550.27 c 2550 42077 2581 1 1038.0000 1018.8094 1.88%
2549.63/2555.99 c 2556 42155 2585 1 1038.0000 1018.8207 1.88%
2555.02/2561.35 c 2561 42317 2593 1 1038.0000 1018.8207 1.88%
2560.40/2566.77 c 2567 42393 2605 1 1038.0000 1018.8359 1.88%
2565.99/2572.36 c 2572 42485 2617 1 1038.0000 1018.8566 1.88%
2571.58/2577.96 c 2578 42544 2624 1 1038.0000 1018.8566 1.88%
2578.77/2585.14 c 2585 42655 2627 1 1038.0000 1018.8604 1.88%
2583.85/2590.24 c 2590 42715 2641 1 1038.0000 1018.8704 1.88%
2589.44/2595.86 c 2596 42790 2648 1 1038.0000 1018.8747 1.88%
2594.53/2600.96 c 2601 42875 2671 1 1038.0000 1018.8955 1.88%
2600.02/2606.49 c 2606 42965 2693 1 1038.0000 1018.9127 1.87%
2605.80/2612.22 c 2612 43037 2691 1 1038.0000 1018.9127 1.87%
2611.09/2617.53 c 2618 43148 2694 1 1038.0000 1018.9127 1.87%
2616.67/2623.18 c 2623 43227 2707 1 1038.0000 1018.9171 1.87%
2622.45/2628.96 c 2629 43297 2709 1 1038.0000 1018.9197 1.87%
2628.23/2634.72 c 2635 43404 2720 1 1038.0000 1018.9199 1.87%
2633.63/2640.17 c 2640 43475 2717 1 1038.0000 1018.9199 1.87%
2639.51/2646.03 c 2646 43533 2725 1 1038.0000 1018.9324 1.87%
2644.78/2651.35 c 2651 43640 2728 1 1038.0000 1018.9326 1.87%
2650.17/2656.75 c 2657 43737 2729 1 1038.0000 1018.9326 1.87%
2655.76/2662.39 c 2662 43861 2727 1 1038.0000 1018.9326 1.87%
2660.94/2667.51 c 2668 43944 2734 1 1038.0000 1018.9327 1.87%
2666.43/2673.06 c 2673 44082 2742 1 1038.0000 1018.9358 1.87%
2672.31/2678.94 c 2679 44177 2749 1 1038.0000 1018.9400 1.87%
2677.79/2684.45 c 2684 44293 2747 1 1038.0000 1018.9400 1.87%
2683.18/2689.82 c 2690 44325 2753 1 1038.0000 1018.9465 1.87%
2688.37/2695.09 c 2695 44432 2762 1 1038.0000 1018.9465 1.87%
2693.85/2700.59 c 2701 44519 2767 1 1038.0000 1018.9469 1.87%
2699.83/2706.57 c 2707 44604 2778 1 1038.0000 1018.9541 1.87%
2705.41/2712.12 c 2712 44642 2786 1 1038.0000 1018.9604 1.87%
2711.59/2718.30 c 2718 44739 2791 1 1038.0000 1018.9657 1.87%
2717.17/2723.97 c 2724 44817 2791 1 1038.0000 1018.9658 1.87%
2722.95/2729.75 c 2730 44941 2801 1 1038.0000 1018.9668 1.87%
2728.04/2734.80 c 2735 45013 2805 1 1038.0000 1018.9771 1.87%
2733.13/2739.90 c 2740 45165 2809 1 1038.0000 1018.9822 1.87%
2738.61/2745.43 c 2745 45276 2828 1 1038.0000 1018.9899 1.87%
2744.60/2751.42 c 2751 45435 2833 1 1038.0000 1018.9916 1.87%
2749.78/2756.67 c 2757 45584 2844 1 1038.0000 1019.0121 1.86%
2755.47/2762.39 c 2762 45732 2852 1 1038.0000 1019.0170 1.86%
2761.55/2768.40 c 2768 45812 2856 1 1038.0000 1019.0261 1.86%
2767.14/2774.04 c 2774 45863 2867 1 1038.0000 1019.0374 1.86%
2772.52/2779.43 c 2779 45955 2875 1 1038.0000 1019.0411 1.86%
2778.00/2784.98 c 2785 46079 2885 1 1038.0000 1019.0643 1.86%
2783.28/2790.26 c 2790 46206 2896 1 1038.0000 1019.0811 1.86%
2789.18/2796.17 c 2796 46369 2903 1 1038.0000 1019.0834 1.86%
2795.25/2802.28 c 2802 46489 2907 1 1038.0000 1019.0851 1.86%
2800.73/2807.77 c 2808 46631 2921 1 1038.0000 1019.0966 1.85%
2806.02/2813.06 c 2813 46705 2933 1 1038.0000 1019.1054 1.85%
2811.20/2818.28 c 2818 46869 2945 1 1038.0000 1019.1079 1.85%
2817.18/2824.29 c 2824 46927 2953 1 1038.0000 1019.1250 1.85%
2822.27/2829.33 c 2829 47075 2965 1 1038.0000 1019.1401 1.85%
2827.96/2835.04 c 2835 47196 2974 1 1038.0000 1019.1422 1.85%
2833.34/2840.44 c 2840 47333 2989 1 1038.0000 1019.1515 1.85%
2839.23/2846.32 c 2846 47435 2997 1 1038.0000 1019.1563 1.85%
2845.01/2852.15 c 2852 47590 3016 1 1038.0000 1019.1582 1.85%
2850.29/2857.40 c 2857 47795 3015 1 1038.0000 1019.1589 1.85%
2856.17/2863.38 c 2863 47876 3032 1 1038.0000 1019.1621 1.85%
2861.66/2868.83 c 2869 48006 3040 1 1038.0000 1019.1649 1.85%
2866.74/2873.91 c 2874 48193 3047 1 1038.0000 1019.1649 1.85%
2872.63/2879.82 c 2880 48303 3051 1 1038.0000 1019.1664 1.85%
2878.12/2885.35 c 2885 48455 3065 1 1038.0000 1019.1780 1.85%
2883.10/2890.38 c 2890 48505 3077 1 1038.0000 1019.1827 1.85%
2889.08/2896.33 c 2896 48615 3091 1 1038.0000 1019.1848 1.85%
2894.37/2901.62 c 2902 48757 3109 1 1038.0000 1019.1931 1.85%
2900.65/2907.92 c 2908 48835 3113 1 1038.0000 1019.2011 1.84%
2905.74/2913.08 c 2913 48951 3119 1 1038.0000 1019.2011 1.84%
2911.22/2918.54 c 2919 49075 3131 1 1038.0000 1019.2135 1.84%
2916.71/2924.08 c 2924 49199 3145 1 1038.0000 1019.2191 1.84%
2922.18/2929.56 c 2930 49306 3148 1 1038.0000 1019.2191 1.84%
2928.17/2935.54 c 2936 49393 3155 1 1038.0000 1019.2238 1.84%
2933.76/2941.13 c 2941 49480 3160 1 1038.0000 1019.2246 1.84%
2939.24/2946.61 c 2947 49594 3170 1 1038.0000 1019.2309 1.84%
2945.03/2952.41 c 2952 49661 3183 1 1038.0000 1019.2441 1.84%
2950.11/2957.55 c 2958 49812 3188 1 1038.0000 1019.2503 1.84%
2955.10/2962.57 c 2963 49952 3194 1 1038.0000 1019.2506 1.84%
2960.58/2968.06 c 2968 50099 3197 1 1038.0000 1019.2548 1.84%
2966.36/2973.84 c 2974 50265 3201 1 1038.0000 1019.2649 1.84%
2971.65/2979.14 c 2979 50339 3219 1 1038.0000 1019.2746 1.84%
2977.64/2985.15 c 2985 50464 3234 1 1038.0000 1019.3049 1.83%
2984.31/2991.89 c 2992 50549 3243 1 1038.0000 1019.3148 1.83%
2990.30/2997.82 c 2998 50628 3250 1 1038.0000 1019.3157 1.83%
2995.69/3003.22 c 3003 50721 3257 1 1038.0000 1019.3161 1.83%
3001.17/3008.77 c 3009 50771 3261 1 1038.0000 1019.3190 1.83%
3006.47/3014.04 c 3014 50952 3262 1 1038.0000 1019.3190 1.83%
3013.15/3020.74 c 3021 51075 3267 1 1038.0000 1019.3243 1.83%
3018.23/3025.85 c 3026 51223 3273 1 1038.0000 1019.3243 1.83%
3023.82/3031.41 c 3031 51319 3279 1 1038.0000 1019.3295 1.83%
3028.82/3036.49 c 3036 51502 3280 1 1038.0000 1019.3295 1.83%
3033.90/3041.50 c 3042 51641 3285 1 1038.0000 1019.3306 1.83%
3039.58/3047.21 c 3047 51781 3299 1 1038.0000 1019.3466 1.83%
3045.17/3052.88 c 3053 51907 3317 1 1038.0000 1019.3564 1.83%
3050.86/3058.59 c 3059 51998 3320 1 1038.0000 1019.3570 1.83%
3056.45/3064.14 c 3064 52139 3323 1 1038.0000 1019.3642 1.83%
3062.04/3069.70 c 3070 52228 3340 1 1038.0000 1019.3756 1.83%
3069.72/3077.45 c 3077 52300 3354 1 1038.0000 1019.3850 1.83%
3074.91/3082.60 c 3083 52490 3354 1 1038.0000 1019.3850 1.83%
3080.79/3088.50 c 3089 52693 3359 1 1038.0000 1019.3917 1.83%
3086.39/3094.19 c 3094 52885 3367 1 1038.0000 1019.3983 1.82%
3091.86/3099.62 c 3100 52943 3385 1 1038.0000 1019.4071 1.82%
3097.05/3104.81 c 3105 53092 3384 1 1038.0000 1019.4071 1.82%
3102.35/3110.13 c 3110 53264 3392 1 1038.0000 1019.4136 1.82%
3107.43/3115.23 c 3115 53399 3403 1 1038.0000 1019.4173 1.82%
3113.22/3121.01 c 3121 53465 3421 1 1038.0000 1019.4308 1.82%
3118.21/3126.03 c 3126 53603 3431 1 1038.0000 1019.4395 1.82%
3124.19/3132.03 c 3132 53760 3444 1 1038.0000 1019.4428 1.82%
3129.58/3137.41 c 3137 53864 3444 1 1038.0000 1019.4428 1.82%
3135.86/3143.74 c 3144 53981 3457 1 1038.0000 1019.4439 1.82%
3140.95/3148.81 c 3149 54015 3461 1 1038.0000 1019.4475 1.82%
3146.34/3154.24 c 3154 54035 3465 1 1038.0000 1019.4488 1.82%
3151.72/3159.63 c 3160 54174 3474 1 1038.0000 1019.4488 1.82%
3156.81/3164.70 c 3165 54345 3475 1 1038.0000 1019.4496 1.82%
3162.20/3170.13 c 3170 54481 3489 1 1038.0000 1019.4515 1.82%
3167.19/3175.17 c 3175 54566 3496 1 1038.0000 1019.4718 1.82%
3172.47/3180.49 c 3180 54675 3513 1 1038.0000 1019.4856 1.82%
3178.17/3186.11 c 3186 54778 3528 1 1038.0000 1019.4877 1.82%
3183.56/3191.55 c 3192 54816 3528 1 1038.0000 1019.4894 1.82%
3189.44/3197.42 c 3197 54945 3533 1 1038.0000 1019.4894 1.82%
3195.33/3203.34 c 3203 55037 3543 1 1038.0000 1019.5035 1.81%
3201.71/3209.70 c 3210 55137 3555 1 1038.0000 1019.5238 1.81%
3207.90/3215.97 c 3216 55166 3572 1 1038.0000 1019.5293 1.81%
3213.09/3221.14 c 3221 55313 3581 1 1038.0000 1019.5314 1.81%
3218.87/3226.90 c 3227 55465 3597 1 1038.0000 1019.5332 1.81%
3224.66/3232.72 c 3233 55604 3608 1 1038.0000 1019.5343 1.81%
3229.95/3238.05 c 3238 55733 3617 1 1038.0000 1019.5356 1.81%
3235.83/3243.98 c 3244 55801 3635 1 1038.0000 1019.5413 1.81%
3241.52/3249.62 c 3250 55993 3641 1 1038.0000 1019.5448 1.81%
3247.60/3255.77 c 3256 56076 3646 1 1038.0000 1019.5455 1.81%
3253.69/3261.80 c 3262 56222 3658 1 1038.0000 1019.5495 1.81%
3259.48/3267.68 c 3268 56335 3669 1 1038.0000 1019.5533 1.81%
3265.26/3273.45 c 3273 56495 3675 1 1038.0000 1019.5556 1.81%
3270.55/3278.73 c 3279 56570 3680 1 1038.0000 1019.5556 1.81%
3276.14/3284.39 c 3284 56672 3690 1 1038.0000 1019.5571 1.81%
3281.62/3289.86 c 3290 56743 3687 1 1038.0000 1019.5571 1.81%
3287.41/3295.66 c 3296 56895 3687 1 1038.0000 1019.5576 1.81%
3292.70/3300.98 c 3301 56943 3709 1 1038.0000 1019.5689 1.81%
3298.08/3306.36 c 3306 57055 3715 1 1038.0000 1019.5695 1.81%
3303.08/3311.36 c 3311 57135 3721 1 1038.0000 1019.5735 1.81%
3308.77/3317.01 c 3317 57181 3733 1 1038.0000 1019.5762 1.81%
3314.45/3322.71 c 3323 57321 3733 1 1038.0000 1019.5762 1.81%
3319.74/3328.05 c 3328 57393 3741 1 1038.0000 1019.5821 1.81%
3325.62/3333.92 c 3334 57532 3744 1 1038.0000 1019.5822 1.81%
3331.31/3339.64 c 3340 57667 3755 1 1038.0000 1019.5860 1.81%
3336.70/3345.02 c 3345 57771 3761 1 1038.0000 1019.5884 1.81%
3341.79/3350.14 c 3350 58002 3762 1 1038.0000 1019.5884 1.81%
3347.57/3355.90 c 3356 58105 3771 1 1038.0000 1019.6096 1.80%
3352.76/3361.12 c 3361 58275 3775 1 1038.0000 1019.6118 1.80%
3359.54/3367.98 c 3368 58310 3786 1 1038.0000 1019.6197 1.80%
3365.03/3373.40 c 3373 58498 3790 1 1038.0000 1019.6197 1.80%
3370.81/3379.22 c 3379 58672 3798 1 1038.0000 1019.6200 1.80%
3376.10/3384.50 c 3385 58807 3811 1 1038.0000 1019.6226 1.80%
3383.60/3392.06 c 3392 58905 3821 1 1038.0000 1019.6251 1.80%
3389.38/3397.84 c 3398 59075 3831 1 1038.0000 1019.6391 1.80%
3394.57/3403.00 c 3403 59220 3842 1 1038.0000 1019.6405 1.80%
3399.65/3408.11 c 3408 59395 3839 1 1038.0000 1019.6448 1.80%
3404.64/3413.18 c 3413 59455 3851 1 1038.0000 1019.6595 1.80%
3409.73/3418.27 c 3418 59595 3865 1 1038.0000 1019.6622 1.80%
3414.91/3423.44 c 3423 59679 3879 1 1038.0000 1019.6631 1.80%
3422.29/3430.81 c 3431 59800 3884 1 1038.0000 1019.6658 1.80%
3428.18/3436.76 c 3437 59936 3890 1 1038.0000 1019.6744 1.80%
3433.96/3442.57 c 3443 60083 3905 1 1038.0000 1019.6802 1.80%
3439.15/3447.79 c 3448 60245 3915 1 1038.0000 1019.6844 1.80%
3444.64/3453.24 c 3453 60415 3927 1 1038.0000 1019.6884 1.80%
3450.12/3458.71 c 3459 60551 3939 1 1038.0000 1019.7044 1.79%
3455.32/3463.97 c 3464 60745 3937 1 1038.0000 1019.7100 1.79%
3460.91/3469.51 c 3470 60916 3952 1 1038.0000 1019.7189 1.79%
3466.09/3474.71 c 3475 61045 3963 1 1038.0000 1019.7243 1.79%
3471.78/3480.47 c 3480 61129 3967 1 1038.0000 1019.7243 1.79%
3477.17/3485.83 c 3486 61244 3976 1 1038.0000 1019.7308 1.79%
3482.65/3491.32 c 3491 61418 3984 1 1038.0000 1019.7330 1.79%
3487.64/3496.37 c 3496 61538 3996 1 1038.0000 1019.7412 1.79%
3492.73/3501.45 c 3501 61665 4011 1 1038.0000 1019.7466 1.79%
3497.72/3506.48 c 3506 61802 4016 1 1038.0000 1019.7468 1.79%
3503.10/3511.87 c 3512 61941 4023 1 1038.0000 1019.7468 1.79%
3508.30/3517.01 c 3517 62099 4019 1 1038.0000 1019.7468 1.79%
3513.28/3522.06 c 3522 62250 4026 1 1038.0000 1019.7470 1.79%
3518.87/3527.60 c 3528 62413 4033 1 1038.0000 1019.7474 1.79%
3524.85/3533.62 c 3534 62579 4047 1 1038.0000 1019.7649 1.79%
3531.74/3540.50 c 3540 62720 4060 1 1038.0000 1019.7729 1.79%
3536.83/3545.69 c 3546 62838 4074 1 1038.0000 1019.7756 1.79%
3541.91/3550.71 c 3551 62991 4081 1 1038.0000 1019.7783 1.79%
3547.00/3555.80 c 3556 63118 4088 1 1038.0000 1019.7829 1.79%
3552.09/3560.96 c 3561 63224 4088 1 1038.0000 1019.7829 1.79%
3557.37/3566.29 c 3566 63367 4097 1 1038.0000 1019.8063 1.78%
3562.56/3571.49 c 3571 63437 4105 1 1038.0000 1019.8074 1.78%
3568.15/3577.01 c 3577 63552 4106 1 1038.0000 1019.8074 1.78%
3573.34/3582.22 c 3582 63655 4115 1 1038.0000 1019.8181 1.78%
3578.93/3587.80 c 3588 63775 4131 1 1038.0000 1019.8316 1.78%
3584.02/3592.91 c 3593 63883 4145 1 1038.0000 1019.8403 1.78%
3589.60/3598.50 c 3599 63940 4156 1 1038.0000 1019.8484 1.78%
3591.10/3600.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.10/3600.08 c Total Time : 3600.08
3591.10/3600.08 c solving : 3600.08
3591.10/3600.08 c presolving : 0.05 (included in solving)
3591.10/3600.08 c B&B Tree :
3591.10/3600.08 c nodes (total) : 1
3591.10/3600.08 c Solution :
3591.10/3600.08 c Solutions found : 17
3591.10/3600.08 c Primal Bound : +1.03800000000000e+03
3591.10/3600.08 c Dual Bound : +1.01985170656733e+03
3591.10/3600.08 c Gap : 1.77950 %
3591.10/3600.08 c * Warning: final gap: 1.77950e-02 is greater than SCIPepsilon: 1.00000e-09
3591.10/3600.08 o 1038
3591.10/3600.08 s SATISFIABLE
3591.10/3600.08 v -x1968 x1967 x1966 x1965 x1964 x1963 x1962 -x1961 -x1960 x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 x1952 x1951 -x1950 -x1949
3591.10/3600.08 v x1948 -x1947 -x1946 x1945 x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 x1935 -x1934 -x1933 -x1932 -x1931 x1930
3591.10/3600.08 v -x1929 -x1928 -x1927 -x1926 x1925 x1924 -x1923 x1922 x1921 x1920 -x1919 x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 x1911
3591.10/3600.08 v -x1910 -x1909 -x1908 -x1907 x1906 -x1905 x1904 -x1903 -x1902 x1901 -x1900 -x1899 x1898 x1897 x1896 x1895 x1894 -x1893 x1892
3591.10/3600.08 v x1891 -x1890 x1889 -x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872
3591.10/3600.08 v x1871 -x1870 x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 x1857 -x1856 -x1855 x1854 -x1853 -x1852
3591.10/3600.08 v -x1851 x1850 x1849 x1848 x1847 x1846 x1845 x1844 -x1843 -x1842 -x1841 x1840 x1839 -x1838 x1837 -x1836 -x1835 -x1834 x1833
3591.10/3600.08 v -x1832 x1831 -x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 x1823 -x1822 -x1821 x1820 -x1819 x1818 x1817 x1816 -x1815 x1814
3591.10/3600.08 v -x1813 x1812 x1811 x1810 x1809 x1808 x1807 x1806 x1805 x1804 x1803 -x1802 x1801 -x1800 x1799 x1798 -x1797 -x1796 -x1795 x1794
3591.10/3600.08 v -x1793 x1792 x1791 x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775
3591.10/3600.08 v -x1774 -x1773 x1772 x1771 -x1770 -x1769 -x1768 x1767 -x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 x1759 -x1758 -x1757 -x1756
3591.10/3600.08 v x1755 -x1754 -x1753 x1752 x1751 x1750 -x1749 x1748 -x1747 x1746 x1745 x1744 -x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 -x1736
3591.10/3600.08 v -x1735 -x1734 -x1733 -x1732 x1731 -x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 x1722 -x1721 -x1720 x1719 -x1718 -x1717
3591.10/3600.08 v x1716 x1715 -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 -x1701 x1700 x1699 -x1698 -x1697
3591.10/3600.08 v x1696 x1695 x1694 x1693 x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 x1683 -x1682 x1681 x1680 -x1679 x1678
3591.10/3600.08 v x1677 -x1676 -x1675 -x1674 x1673 -x1672 x1671 x1670 x1669 x1668 x1667 x1666 -x1665 x1664 x1663 -x1662 x1661 x1660 x1659 x1658
3591.10/3600.08 v x1657 -x1656 -x1655 -x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 x1639
3591.10/3600.08 v -x1638 x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 -x1626 x1625 x1624 -x1623 x1622 x1621 -x1620
3591.10/3600.08 v -x1619 x1618 -x1617 x1616 x1615 x1614 x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 x1603 x1602 x1601 x1600
3591.10/3600.08 v x1599 x1598 x1597 x1596 -x1595 -x1594 -x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 -x1585 x1584 x1583 x1582 -x1581
3591.10/3600.08 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 x1574 x1573 -x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 -x1565 x1564 x1563 x1562
3591.10/3600.08 v -x1561 x1560 x1559 -x1558 -x1557 x1556 x1555 x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543
3591.10/3600.08 v x1542 -x1541 -x1540 x1539 x1538 -x1537 x1536 -x1535 x1534 x1533 x1532 -x1531 -x1530 x1529 x1528 -x1527 x1526 x1525 -x1524 x1523
3591.10/3600.08 v x1522 x1521 x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 x1508 x1507 -x1506 x1505 x1504
3591.10/3600.08 v x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 x1495 x1494 -x1493 -x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484
3591.10/3600.08 v x1483 x1482 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465
3591.10/3600.08 v -x1464 -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 -x1448 -x1447 x1446
3591.10/3600.08 v -x1445 -x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 x1432 -x1431 -x1430 x1429 x1428 -x1427
3591.10/3600.08 v x1426 -x1425 x1424 -x1423 x1422 x1421 -x1420 x1419 -x1418 -x1417 x1416 -x1415 x1414 x1413 -x1412 x1411 x1410 -x1409 -x1408
3591.10/3600.08 v x1407 x1406 x1405 x1404 x1403 x1402 x1401 -x1400 x1399 -x1398 x1397 x1396 x1395 -x1394 x1393 x1392 -x1391 -x1390 -x1389 -x1388
3591.10/3600.08 v -x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 -x1380 x1379 -x1378 x1377 -x1376 x1375 -x1374 x1373 -x1372 -x1371 x1370 -x1369
3591.10/3600.08 v x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 x1359 x1358 -x1357 -x1356 x1355 x1354 x1353 x1352 x1351 x1350
3591.10/3600.08 v -x1349 x1348 -x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 -x1340 x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331
3591.10/3600.08 v x1330 x1329 -x1328 x1327 -x1326 x1325 x1324 x1323 x1322 -x1321 x1320 -x1319 x1318 -x1317 -x1316 x1315 x1314 x1313 -x1312
3591.10/3600.08 v x1311 -x1310 x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 x1298 -x1297 -x1296 -x1295 x1294 x1293 -x1292
3591.10/3600.08 v -x1291 x1290 -x1289 -x1288 -x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 x1279 x1278 x1277 x1276 -x1275 x1274 -x1273
3591.10/3600.08 v x1272 -x1271 -x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 x1256 x1255 x1254
3591.10/3600.08 v -x1253 -x1252 -x1251 x1250 -x1249 x1248 x1247 -x1246 -x1245 x1244 x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 x1236 x1235
3591.10/3600.08 v x1234 x1233 -x1232 x1231 x1230 x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216
3591.10/3600.08 v -x1215 -x1214 -x1213 -x1212 x1211 -x1210 x1209 x1208 x1207 x1206 x1205 -x1204 -x1203 x1202 x1201 x1200 -x1199 x1198 x1197 x1196
3591.10/3600.08 v x1195 x1194 -x1193 x1192 -x1191 x1190 x1189 -x1188 -x1187 x1186 x1185 -x1184 x1183 x1182 x1181 -x1180 -x1179 x1178 -x1177
3591.10/3600.08 v x1176 -x1175 -x1174 x1173 x1172 -x1171 -x1170 x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 x1162 x1161 x1160 x1159 x1158 x1157
3591.10/3600.08 v -x1156 -x1155 -x1154 x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139
3591.10/3600.08 v x1138 x1137 x1136 -x1135 -x1134 -x1133 x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 -x1120 -x1119
3591.10/3600.08 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 x1108 -x1107 -x1106 x1105 x1104 x1103 x1102 x1101 x1100
3591.10/3600.08 v x1099 x1098 -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 x1090 x1089 -x1088 x1087 x1086 -x1085 -x1084 x1083 x1082 x1081
3591.10/3600.08 v x1080 -x1079 x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 -x1065 -x1064 -x1063 x1062
3591.10/3600.08 v x1061 x1060 x1059 x1058 -x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 x1042
3591.10/3600.08 v -x1041 x1040 x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 x1024 x1023
3591.10/3600.08 v -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 x1006 -x1005 x1004
3591.10/3600.08 v -x1003 x1002 -x1001 -x1000 -x999 x998 -x997 x996 -x995 -x994 x993 x992 -x991 -x990 x989 x988 -x987 -x986 x985 x984 -x983 -x982
3591.10/3600.08 v -x981 -x980 -x979 -x978 x977 x976 x975 x974 -x973 x972 -x971 x970 x969 x968 x967 x966 x965 -x964 -x963 -x962 -x961 -x960 -x959
3591.10/3600.08 v -x958 -x957 x956 -x955 -x954 -x953 x952 -x951 x950 x949 -x948 x947 -x946 -x945 -x944 -x943 x942 x941 -x940 -x939 -x938 x937
3591.10/3600.08 v x936 -x935 x934 -x933 x932 x931 -x930 x929 -x928 -x927 x926 x925 -x924 x923 -x922 -x921 x920 -x919 -x918 -x917 x916 -x915
3591.10/3600.08 v -x914 x913 x912 x911 x910 x909 x908 x907 x906 -x905 -x904 x903 -x902 x901 x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892
3591.10/3600.08 v x891 x890 x889 x888 -x887 -x886 x885 x884 x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 x873 x872 x871 -x870 x869
3591.10/3600.08 v -x868 -x867 -x866 -x865 x864 x863 x862 x861 x860 -x859 x858 x857 x856 -x855 x854 -x853 -x852 x851 x850 x849 -x848 -x847 x846
3591.10/3600.08 v -x845 -x844 x843 -x842 -x841 -x840 x839 x838 -x837 x836 x835 x834 x833 -x832 x831 x830 x829 -x828 x827 x826 -x825 x824 x823
3591.10/3600.08 v -x822 -x821 x820 x819 x818 x817 -x816 -x815 x814 x813 -x812 x811 -x810 -x809 -x808 x807 -x806 x805 x804 -x803 -x802 x801 -x800
3591.10/3600.08 v x799 x798 -x797 -x796 -x795 -x794 x793 -x792 x791 -x790 x789 x788 x787 -x786 x785 -x784 x783 x782 -x781 -x780 x779 x778 -x777
3591.10/3600.08 v -x776 -x775 x774 x773 -x772 x771 -x770 x769 x768 x767 x766 x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 x757 -x756 -x755
3591.10/3600.08 v -x754 -x753 -x752 -x751 -x750 x749 x748 -x747 x746 -x745 -x744 -x743 x742 -x741 x740 x739 x738 -x737 x736 -x735 x734 -x733 x732
3591.10/3600.08 v x731 x730 -x729 x728 -x727 x726 x725 x724 x723 -x722 -x721 x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 x710 x709
3591.10/3600.08 v x708 -x707 x706 x705 x704 x703 x702 x701 -x700 x699 -x698 x697 x696 x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 x686
3591.10/3600.08 v -x685 x684 -x683 x682 -x681 x680 x679 x678 x677 -x676 x675 -x674 -x673 x672 x671 -x670 -x669 -x668 -x667 x666 -x665 x664
3591.10/3600.08 v x663 x662 x661 x660 -x659 x658 x657 x656 x655 x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 x644 -x643 x642 x641 x640
3591.10/3600.08 v x639 x638 -x637 x636 -x635 -x634 x633 x632 x631 -x630 -x629 -x628 -x627 x626 x625 x624 -x623 x622 -x621 x620 x619 x618 -x617
3591.10/3600.08 v -x616 -x615 -x614 x613 -x612 -x611 x610 -x609 x608 x607 -x606 -x605 -x604 x603 -x602 x601 x600 -x599 x598 x597 x596 x595
3591.10/3600.08 v -x594 x593 x592 x591 x590 x589 -x588 -x587 x586 x585 x584 x583 x582 x581 x580 x579 -x578 x577 x576 x575 x574 -x573 -x572 x571
3591.10/3600.08 v x570 x569 x568 x567 x566 -x565 -x564 -x563 x562 -x561 -x560 x559 x558 x557 x556 x555 x554 -x553 x552 -x551 -x550 -x549 x548
3591.10/3600.08 v -x547 -x546 x545 x544 -x543 x542 x541 x540 -x539 x538 -x537 x536 -x535 -x534 x533 -x532 x531 x530 x529 -x528 x527 -x526 -x525
3591.10/3600.08 v x524 x523 x522 x521 x520 -x519 -x518 x517 x516 -x515 -x514 x513 x512 x511 x510 -x509 x508 x507 -x506 x505 -x504 x503 x502 x501
3591.10/3600.08 v x500 x499 -x498 -x497 x496 x495 -x494 x493 -x492 x491 -x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482 x481 x480 -x479 x478
3591.10/3600.08 v -x477 x476 x475 x474 x473 -x472 -x471 x470 x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 x460 x459 x458 -x457 -x456 -x455
3591.10/3600.08 v x454 -x453 x452 -x451 x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 -x437 -x436 -x435 x434 -x433 -x432
3591.10/3600.08 v -x431 x430 -x429 x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 x420 x419 x418 x417 -x416 x415 x414 -x413 x412 -x411 x410 x409
3591.10/3600.08 v -x408 x407 x406 -x405 -x404 x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 x388 x387
3591.10/3600.08 v -x386 -x385 x384 x383 x382 -x381 -x380 -x379 -x378 x377 -x376 x375 x374 x373 -x372 -x371 -x370 -x369 x368 x367 x366 x365 x364
3591.10/3600.08 v x363 x362 -x361 x360 -x359 x358 -x357 -x356 x355 -x354 x353 -x352 -x351 x350 x349 x348 -x347 -x346 x345 -x344 x343 -x342 x341
3591.10/3600.08 v -x340 x339 -x338 x337 -x336 x335 x334 x333 x332 x331 x330 x329 -x328 x327 x326 -x325 x324 x323 x322 x321 x320 -x319 x318 -x317
3591.10/3600.08 v x316 -x315 x314 -x313 -x312 -x311 x310 x309 x308 -x307 x306 x305 x304 x303 x302 x301 -x300 x299 -x298 x297 -x296 -x295 -x294
3591.10/3600.08 v x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 x283 -x282 -x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 -x271
3591.10/3600.08 v -x270 x269 -x268 -x267 x266 x265 -x264 x263 x262 x261 -x260 x259 -x258 -x257 -x256 x255 -x254 x253 -x252 -x251 -x250 -x249
3591.10/3600.08 v x248 x247 x246 -x245 -x244 x243 -x242 x241 x240 -x239 -x238 -x237 x236 x235 x234 -x233 -x232 x231 x230 -x229 x228 x227 -x226
3591.10/3600.08 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 x212 x211 -x210 -x209 -x208 -x207 -x206 -x205
3591.10/3600.08 v x204 x203 x202 x201 -x200 -x199 -x198 x197 x196 x195 x194 -x193 x192 -x191 -x190 -x189 -x188 x187 x186 -x185 -x184 -x183 x182
3591.10/3600.08 v -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159
3591.10/3600.08 v x158 x157 x156 x155 x154 -x153 x152 -x151 x150 -x149 -x148 -x147 x146 -x145 x144 -x143 -x142 -x141 x140 x139 x138 -x137
3591.10/3600.08 v x136 -x135 x134 -x133 -x132 -x131 x130 x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 -x114
3591.10/3600.08 v x113 -x112 x111 x110 -x109 x108 x107 x106 x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 -x94 -x93 -x92 x91 x90 -x89
3591.10/3600.08 v x88 -x87 x86 x85 -x84 -x83 -x82 -x81 x80 x79 x78 -x77 x76 x75 x74 -x73 x72 x71 x70 x69 x68 -x67 -x66 -x65 x64 x63 -x62 -x61
3591.10/3600.08 v x60 -x59 -x58 -x57 x56 x55 x54 x53 x52 x51 -x50 x49 x48 x47 -x46 x45 x44 x43 x42 -x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 -x31
3591.10/3600.08 v x30 x29 -x28 x27 x26 -x25 x24 -x23 x22 -x21 -x20 -x19 x18 x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 x4 x3 x2
3591.10/3600.08 v 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 (63042 MiB free)
memory of node 1: 64473 MiB (63437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434661-1721082413/watcher-4434661-1721082413 -o /tmp/evaluation-result-4434661-1721082413/solver-4434661-1721082413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843389 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434661-1721082413.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=843446, runsolver pid=843435
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.19 2.11 3.20 7/266 843460
/proc/meminfo: memFree=129379128/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=131020 memory=45044 CPUtime=0.09 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 9615 0 0 0 8 1 0 0 20 0 3 0 160403706 134164480 11261 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 32755 11261 2782 3032 0 15117 0
[pid=843446/tid=843456] ppid=843435 vsize=131020 memory=4026531971 CPUtime=0.02 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 3507 0 0 0 2 0 0 0 20 0 3 0 160403712 134164480 11261 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=131020 memory=16956 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 134164480 11261 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131020 KiB
Current children cumulated memory: 45044 KiB
[startup+0.206317 s]*
/proc/loadavg: 1.19 2.11 3.20 6/266 843460
/proc/meminfo: memFree=129350596/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=132044 memory=52316 CPUtime=0.21 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 11342 0 0 0 19 2 0 0 20 0 3 0 160403706 135213056 13079 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 33011 13079 2894 3032 0 16872 0
[pid=843446/tid=843456] ppid=843435 vsize=132044 memory=4782652875487838339 CPUtime=0.13 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 5234 0 0 0 12 1 0 0 20 0 3 0 160403712 135213056 13079 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=132044 memory=16956 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 135213056 13079 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 132044 KiB
Current children cumulated memory: 52316 KiB
[startup+0.306037 s]*
/proc/loadavg: 1.19 2.11 3.20 7/266 843460
/proc/meminfo: memFree=129349628/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=132560 memory=53432 CPUtime=0.3 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 11595 0 0 0 28 2 0 0 20 0 3 0 160403706 135741440 13358 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 33140 13358 2910 3032 0 17191 0
[pid=843446/tid=843456] ppid=843435 vsize=132560 memory=-6514009816462179174 CPUtime=0.23 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 5487 0 0 0 22 1 0 0 20 0 3 0 160403712 135741440 13358 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=132560 memory=0 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 135741440 13358 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132560 KiB
Current children cumulated memory: 53432 KiB
[startup+0.700202 s]
/proc/loadavg: 1.19 2.11 3.20 8/266 843460
/proc/meminfo: memFree=129333968/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=133500 memory=56836 CPUtime=0.69 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 12453 0 0 0 67 2 0 0 20 0 3 0 160403706 136704000 14209 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 33375 14209 2910 3032 0 18083 0
[pid=843446/tid=843456] ppid=843435 vsize=133500 memory=0 CPUtime=0.62 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 6345 0 0 0 61 1 0 0 20 0 3 0 160403712 136704000 14209 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=133500 memory=0 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 136704000 14209 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133500 KiB
Current children cumulated memory: 56836 KiB
[startup+1.5002 s]
/proc/loadavg: 1.19 2.11 3.20 7/266 843460
/proc/meminfo: memFree=129330188/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=134064 memory=64264 CPUtime=1.48 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 17937 0 0 0 146 2 0 0 20 0 3 0 160403706 137281536 16066 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 33516 16066 2910 3032 0 20019 0
[pid=843446/tid=843456] ppid=843435 vsize=134064 memory=0 CPUtime=1.41 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 11823 0 0 0 140 1 0 0 20 0 3 0 160403712 137281536 16066 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=134064 memory=0 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 160403713 137281536 16066 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 134064 KiB
Current children cumulated memory: 64264 KiB
[startup+3.10622 s]
/proc/loadavg: 1.19 2.11 3.20 7/266 843462
/proc/meminfo: memFree=129220780/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=158640 memory=98448 CPUtime=3.09 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 30187 0 0 0 305 4 0 0 20 0 3 0 160403706 162447360 24612 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 39660 24612 2910 3032 0 28944 0
[pid=843446/tid=843456] ppid=843435 vsize=158640 memory=0 CPUtime=3.02 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 24075 0 0 0 299 3 0 0 20 0 3 0 160403712 162447360 24612 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=158640 memory=2273 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 160403713 162447360 24612 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158640 KiB
Current children cumulated memory: 98448 KiB
[startup+6.30019 s]
/proc/loadavg: 1.41 2.15 3.20 7/266 843462
/proc/meminfo: memFree=129070644/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=201792 memory=144432 CPUtime=6.27 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 63075 0 0 0 621 6 0 0 20 0 3 0 160403706 206635008 36108 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 50448 36108 2910 3032 0 40594 0
[pid=843446/tid=843456] ppid=843435 vsize=201792 memory=0 CPUtime=6.2 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 56957 0 0 0 615 5 0 0 20 0 3 0 160403712 206635008 36108 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=201792 memory=12304 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 160403713 206635008 36108 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201792 KiB
Current children cumulated memory: 144432 KiB
[startup+12.7002 s]
/proc/loadavg: 1.70 2.19 3.21 7/266 843462
/proc/meminfo: memFree=128946040/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=263236 memory=174836 CPUtime=12.66 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 87637 0 0 0 1258 8 0 0 20 0 3 0 160403706 269553664 43709 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 65809 43709 2910 3032 0 49024 0
[pid=843446/tid=843456] ppid=843435 vsize=263236 memory=12304 CPUtime=12.58 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 81488 0 0 0 1251 7 0 0 20 0 3 0 160403712 269553664 43709 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=263236 memory=85880 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160403713 269553664 43709 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 263236 KiB
Current children cumulated memory: 174836 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 2.28 3.22 7/266 843465
/proc/meminfo: memFree=128936148/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=263236 memory=176436 CPUtime=25.42 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 108018 0 0 0 2533 9 0 0 20 0 3 0 160403706 269553664 44109 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 65809 44109 2958 3032 0 49024 0
[pid=843446/tid=843456] ppid=843435 vsize=263236 memory=12304 CPUtime=25.35 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 101788 0 0 0 2527 8 0 0 20 0 3 0 160403712 269553664 44109 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=263236 memory=175244 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 160403713 269553664 44109 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 263236 KiB
Current children cumulated memory: 176436 KiB
[startup+51.1063 s]
/proc/loadavg: 2.90 2.44 3.25 7/266 843468
/proc/meminfo: memFree=128718260/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=328772 memory=237904 CPUtime=50.94 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 198043 0 0 0 5079 15 0 0 20 0 3 0 160403706 336662528 59476 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 82193 59476 2958 3032 0 66430 0
[pid=843446/tid=843456] ppid=843435 vsize=328772 memory=5628 CPUtime=50.87 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 191332 0 0 0 5073 14 0 0 20 0 3 0 160403712 336662528 59476 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=328772 memory=226016 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 160403713 336662528 59476 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 328772 KiB
Current children cumulated memory: 237904 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.71 3.30 7/268 843646
/proc/meminfo: memFree=128614788/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=320132 memory=256560 CPUtime=101.99 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 269627 0 0 0 10177 22 0 0 20 0 3 0 160403706 327815168 64140 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 80033 64140 2958 3032 0 71678 0
[pid=843446/tid=843456] ppid=843435 vsize=320132 memory=260640 CPUtime=101.91 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 262090 0 0 0 10170 21 0 0 20 0 3 0 160403712 327815168 64140 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=320132 memory=12304 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 160403713 327815168 64140 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 320132 KiB
Current children cumulated memory: 256560 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.95 3.35 7/268 843657
/proc/meminfo: memFree=128511132/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=323524 memory=270524 CPUtime=161.84 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 312199 0 0 0 16159 25 0 0 20 0 3 0 160403706 331288576 67631 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 80881 67631 2958 3032 0 75386 0
[pid=843446/tid=843456] ppid=843435 vsize=323524 memory=259384 CPUtime=161.76 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 304626 0 0 0 16152 24 0 0 20 0 3 0 160403712 331288576 67631 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=323524 memory=270524 CPUtime=0 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 160403713 331288576 67631 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 323524 KiB
################
# More data... #
################
/proc/843446/statm: 184682 161349 2974 3032 0 164354 0
[pid=843446/tid=843456] ppid=843435 vsize=738728 memory=12304 CPUtime=3393.6 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1015519 0 0 0 339265 95 0 0 20 0 3 0 160403712 756457472 161349 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=738728 memory=12304 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 171 0 0 0 0 1 0 0 20 0 3 0 160403713 756457472 161349 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 738728 KiB
Current children cumulated memory: 645396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 7/264 844886
/proc/meminfo: memFree=126996448/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645612 CPUtime=3453.72 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1030122 0 0 0 345269 103 0 0 20 0 3 0 160403706 758177792 161403 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161403 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=12304 CPUtime=3453.46 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1021129 0 0 0 345250 96 0 0 20 0 3 0 160403712 758177792 161403 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=645612 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 173 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161403 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/265 845279
/proc/meminfo: memFree=126996068/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645676 CPUtime=3513.58 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1034040 0 0 0 351255 103 0 0 20 0 3 0 160403706 758177792 161419 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161419 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=645612 CPUtime=3513.31 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1025020 0 0 0 351235 96 0 0 20 0 3 0 160403712 758177792 161419 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=645676 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 175 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161419 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/264 845290
/proc/meminfo: memFree=126992656/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645804 CPUtime=3573.44 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039654 0 0 0 357240 104 0 0 20 0 3 0 160403706 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161451 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=645632 CPUtime=3573.17 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030610 0 0 0 357220 97 0 0 20 0 3 0 160403712 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=6720665441460764270 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645804 KiB
[startup+3600.09 s]
# the end of solver process 843446 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.14 s, system=1.05632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 7/264 845291
/proc/meminfo: memFree=126991284/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645804 CPUtime=3575.14 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039852 0 0 0 357410 104 0 0 20 0 3 0 160403706 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161451 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=645804 CPUtime=3574.87 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030808 0 0 0 357390 97 0 0 20 0 3 0 160403712 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=4880 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3575.14 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645804 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.14 4.10 7/264 845291
/proc/meminfo: memFree=126991288/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645804 CPUtime=3581.52 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039892 0 0 0 358048 104 0 0 20 0 3 0 160403706 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161451 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=645804 CPUtime=3581.25 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030847 0 0 0 358028 97 0 0 20 0 3 0 160403712 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=645804 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161451 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3581.52 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645804 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991184/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645868 CPUtime=3587.91 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039898 0 0 0 358687 104 0 0 20 0 3 0 160403706 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161467 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=645804 CPUtime=3587.63 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030853 0 0 0 358666 97 0 0 20 0 3 0 160403712 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=12304 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645868 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991192/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645868 CPUtime=3589.5 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039907 0 0 0 358846 104 0 0 20 0 3 0 160403706 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161467 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=645868 CPUtime=3589.23 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030862 0 0 0 358826 97 0 0 20 0 3 0 160403712 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=17084 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645868 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991156/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645868 CPUtime=3590.3 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039963 0 0 0 358926 104 0 0 20 0 3 0 160403706 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161467 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=43312 CPUtime=3590.03 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030918 0 0 0 358906 97 0 0 20 0 3 0 160403712 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=6720666540972392041 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3590.3 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645868 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991156/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645868 CPUtime=3590.7 cores=4,6
/proc/843446/stat : 843446 (fscip) S 843435 843446 843378 0 -1 1077936128 1039969 0 0 0 358966 104 0 0 20 0 3 0 160403706 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161467 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=43312 CPUtime=3590.43 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030924 0 0 0 358946 97 0 0 20 0 3 0 160403712 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=6720665441460764270 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645868 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.13 4.10 8/264 845293
/proc/meminfo: memFree=126991220/131524600 swapFree=131071996/131071996
[pid=843446] ppid=843435 vsize=740408 memory=645868 CPUtime=3591.1 cores=4,6
/proc/843446/stat : 843446 (fscip) R 843435 843446 843378 0 -1 1077936128 1039978 0 0 0 359006 104 0 0 20 0 3 0 160403706 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
/proc/843446/statm: 185102 161467 2974 3032 0 164774 0
[pid=843446/tid=843456] ppid=843435 vsize=740408 memory=29364 CPUtime=3590.83 cores=4,6
/proc/843446/task/843456/stat : 843456 (fscip) R 843435 843446 843378 0 -1 4194368 1030933 0 0 0 358986 97 0 0 20 0 3 0 160403712 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
[pid=843446/tid=843460] ppid=843435 vsize=740408 memory=19572 CPUtime=0.01 cores=4,6
/proc/843446/task/843460/stat : 843460 (fscip) S 843435 843446 843378 0 -1 1077936192 177 0 0 0 0 1 0 0 20 0 3 0 160403713 758177792 161467 134679101440 4194304 16613245 140733803237840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47734784 140733803246613 140733803246729 140733803246729 140733803253744 0
Current children cumulated CPU time: 3591.1 s
Current children cumulated vsize: 740408 KiB
Current children cumulated memory: 645868 KiB
Child status: 0
Real time (s): 3600.09
CPU time (s): 3591.2
CPU user time (s): 3590.14
CPU system time (s): 1.05632
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 740408
Max. memory (cumulated for all children) (KiB): 645868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.14
system time used= 1.05632
maximum resident set size= 645868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1040927
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= 9989
involuntary context switches= 1926
# summary of solver processes directly reported to runsolver:
# pid: 843446
# total CPU time (s): 3591.2
# total CPU user time (s): 3590.14
# total CPU system time (s): 1.05632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47054 second user time and 19.0786 second system time
The end
Begin job on nodeC018 at 2024-07-16 00:27:05
IDJOB=4434661
IDBENCH=147535
IDSOLVER=3064
FILE ID=nodeC018/4434661-1721082413
RUNJOBID= nodeC018-1721082425-843389
SLURM_JOB_ID= 7505562
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434661-1721082413/watcher-4434661-1721082413 -o /tmp/evaluation-result-4434661-1721082413/solver-4434661-1721082413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843389 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434661-1721082413.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=475558305
nodeC018.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 : 3585.841
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.52
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 : 3629.863
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.30
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 : 3487.762
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.52
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 : 3358.989
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.30
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 : 3477.744
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.52
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 : 3339.352
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.30
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 : 3595.201
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.52
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 : 3661.866
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129518572 kB
MemAvailable: 129781608 kB
Buffers: 367840 kB
Cached: 737548 kB
SwapCached: 0 kB
Active: 661608 kB
Inactive: 761852 kB
Active(anon): 1440 kB
Inactive(anon): 354672 kB
Active(file): 660168 kB
Inactive(file): 407180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112776 kB
Writeback: 8 kB
AnonPages: 316552 kB
Mapped: 105408 kB
Shmem: 37720 kB
KReclaimable: 71024 kB
Slab: 176852 kB
SReclaimable: 71024 kB
SUnreclaim: 105828 kB
KernelStack: 3856 kB
PageTables: 9480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 738056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 232148 kB
DirectMap2M: 16318464 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC018 at 2024-07-16 01:27:05