0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32542720, getVmSize() = 32542720, SCIPgetMemUsed() = 8872938, 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 = 24981504, getVmSize() = 42401792, SCIPgetMemUsed() = 10381999, SCIPgetMemTotal() = 19024807, 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-4463990-1722378595
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 : 1531 (1531 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2987
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2987
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.06 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.07 c * 0 0 1 1 1745.0000 - -
0.10/0.13 c * 0 0 1 1 1176.0000 - -
0.10/0.13 c * 0 0 1 1 1081.0000 - -
0.10/0.15 c * 0 0 1 1 1069.0000 - -
11.56/11.60 c 12 2 1 1 1069.0000 1007.7217 6.08%
19.05/19.10 c 19 4 3 1 1069.0000 1008.0926 6.04%
24.22/24.30 c 24 7 6 1 1069.0000 1008.0926 6.04%
27.61/27.75 c * 28 12 11 1 1054.0000 1008.0926 4.55%
29.30/29.47 c 29 25 24 1 1054.0000 1008.6667 4.49%
31.20/31.34 c * 31 45 44 1 1052.0000 1008.6667 4.30%
31.91/32.10 c * 32 62 54 1 1051.0000 1008.6667 4.20%
35.78/35.92 c 36 91 59 1 1051.0000 1008.8121 4.18%
43.06/43.25 c 43 148 84 1 1051.0000 1009.6646 4.09%
43.46/43.68 c * 44 148 84 1 1048.0000 1009.6646 3.80%
45.87/46.09 c * 46 225 88 1 1047.0000 1009.9081 3.67%
50.95/51.16 c * 51 273 96 1 1045.0000 1009.9293 3.47%
50.95/51.16 c 51 273 96 1 1045.0000 1009.9293 3.47%
56.12/56.39 c 56 409 118 1 1045.0000 1009.9293 3.47%
59.92/60.19 c * 60 462 127 1 1041.0000 1010.7168 3.00%
63.31/63.59 c 64 496 121 1 1041.0000 1010.9623 2.97%
68.99/69.21 c 69 564 163 1 1041.0000 1011.7043 2.90%
74.88/75.12 c 75 637 180 1 1041.0000 1012.1992 2.85%
80.45/80.78 c 81 810 205 1 1041.0000 1012.1992 2.85%
85.75/86.08 c 86 884 219 1 1041.0000 1012.1992 2.85%
91.52/91.87 c 92 935 238 1 1041.0000 1012.3292 2.83%
97.40/97.74 c 98 991 264 1 1041.0000 1012.4366 2.82%
103.78/104.18 c 104 1042 281 1 1041.0000 1012.4372 2.82%
108.96/109.33 c 109 1122 309 1 1041.0000 1012.6793 2.80%
115.44/115.89 c 116 1207 326 1 1041.0000 1012.6793 2.80%
120.74/121.19 c 121 1242 343 1 1041.0000 1012.9801 2.77%
126.81/127.20 c 127 1264 365 1 1041.0000 1013.0233 2.76%
133.09/133.54 c 134 1282 383 1 1041.0000 1013.1667 2.75%
138.27/138.78 c 139 1301 402 1 1041.0000 1013.3325 2.73%
143.36/143.81 c 144 1312 413 1 1041.0000 1013.4347 2.72%
150.24/150.76 c 151 1381 422 1 1041.0000 1013.4347 2.72%
156.52/157.09 c 157 1405 430 1 1041.0000 1013.4796 2.72%
161.61/162.13 c 162 1562 437 1 1041.0000 1013.7342 2.69%
168.28/168.87 c 169 1586 445 1 1041.0000 1013.8347 2.68%
174.76/175.30 c 175 1664 459 1 1041.0000 1014.4533 2.62%
180.34/180.93 c 181 1686 465 1 1041.0000 1014.4877 2.61%
186.02/186.66 c 187 1840 469 1 1041.0000 1014.4877 2.61%
191.30/191.95 c 192 1946 477 1 1041.0000 1014.5164 2.61%
197.98/198.67 c 199 1994 483 1 1041.0000 1014.5775 2.60%
204.27/204.93 c 205 2163 484 1 1041.0000 1014.7500 2.59%
210.05/210.70 c 211 2265 492 1 1041.0000 1014.8727 2.57%
215.83/216.56 c 217 2389 498 1 1041.0000 1014.8882 2.57%
220.92/221.66 c 222 2416 503 1 1041.0000 1015.0611 2.56%
226.00/226.78 c 227 2511 510 1 1041.0000 1015.1008 2.55%
231.58/232.37 c 232 2563 518 1 1041.0000 1015.1590 2.55%
232.18/232.95 c * 233 2563 518 1 1038.0000 1015.1590 2.25%
236.76/237.56 c 238 2702 464 1 1038.0000 1015.1590 2.25%
242.95/243.77 c 244 2815 473 1 1038.0000 1015.1848 2.25%
248.24/249.03 c 249 2951 477 1 1038.0000 1015.1848 2.25%
253.82/254.63 c 255 3059 479 1 1038.0000 1015.1852 2.25%
258.90/259.76 c 260 3202 478 1 1038.0000 1015.1852 2.25%
264.58/265.46 c 265 3283 485 1 1038.0000 1015.2694 2.24%
269.86/270.74 c 271 3324 492 1 1038.0000 1015.5122 2.21%
274.95/275.84 c 276 3376 498 1 1038.0000 1015.6297 2.20%
280.53/281.45 c 281 3432 508 1 1038.0000 1015.6623 2.20%
285.92/286.80 c 287 3480 516 1 1038.0000 1015.6623 2.20%
291.21/292.13 c 292 3577 519 1 1038.0000 1015.6667 2.20%
296.49/297.43 c 297 3635 519 1 1038.0000 1015.6966 2.20%
302.37/303.37 c 303 3728 522 1 1038.0000 1015.7389 2.19%
308.05/309.01 c 309 3793 529 1 1038.0000 1015.7755 2.19%
313.14/314.17 c 314 3821 7 1 1038.0000 1015.7755 2.19%
318.62/319.62 c 320 3876 26 1 1038.0000 1015.7755 2.19%
324.01/325.05 c 325 3965 45 1 1038.0000 1015.7755 2.19%
329.39/330.44 c 330 4059 45 1 1038.0000 1015.7755 2.19%
334.37/335.49 c 335 4145 49 1 1038.0000 1015.7887 2.19%
339.45/340.51 c 341 4255 57 1 1038.0000 1015.8492 2.18%
344.94/346.02 c 346 4398 60 1 1038.0000 1015.9534 2.17%
350.62/351.73 c 352 4516 72 1 1038.0000 1016.2491 2.14%
355.61/356.79 c 357 4628 78 1 1038.0000 1016.2654 2.14%
361.19/362.32 c 362 4731 79 1 1038.0000 1016.4152 2.12%
366.17/367.35 c 367 4768 84 1 1038.0000 1016.6441 2.10%
371.86/373.08 c 373 4867 101 1 1038.0000 1016.7879 2.09%
376.94/378.14 c 378 4987 103 1 1038.0000 1016.8575 2.08%
382.42/383.64 c 384 5055 119 1 1038.0000 1017.2551 2.04%
387.71/388.97 c 389 5115 135 1 1038.0000 1017.4434 2.02%
393.29/394.52 c 395 5197 143 1 1038.0000 1017.5446 2.01%
400.27/401.57 c 402 5316 144 1 1038.0000 1017.5874 2.01%
405.76/407.06 c 407 5405 157 1 1038.0000 1017.6406 2.00%
411.43/412.79 c 413 5508 168 1 1038.0000 1017.6966 2.00%
417.21/418.58 c 419 5617 177 1 1038.0000 1017.7609 1.99%
422.50/423.83 c 424 5705 177 1 1038.0000 1017.8078 1.98%
427.48/428.88 c 429 5737 189 1 1038.0000 1017.8601 1.98%
433.47/434.87 c 435 5805 199 1 1038.0000 1018.0185 1.96%
439.55/440.91 c 441 5902 206 1 1038.0000 1018.1574 1.95%
444.83/446.23 c 446 6093 205 1 1038.0000 1018.1574 1.95%
450.31/451.78 c 452 6187 219 1 1038.0000 1018.1628 1.95%
456.09/457.59 c 458 6286 228 1 1038.0000 1018.1664 1.95%
461.48/462.92 c 463 6410 230 1 1038.0000 1018.1815 1.95%
466.87/468.36 c 468 6505 239 1 1038.0000 1018.2555 1.94%
472.66/474.16 c 474 6579 241 1 1038.0000 1018.2555 1.94%
478.24/479.72 c 480 6705 249 1 1038.0000 1018.3715 1.93%
483.53/485.03 c 485 6745 255 1 1038.0000 1018.4115 1.92%
489.12/490.63 c 491 6859 261 1 1038.0000 1018.4170 1.92%
494.10/495.69 c 496 6982 272 1 1038.0000 1018.4493 1.92%
500.09/501.66 c 502 7191 273 1 1038.0000 1018.4902 1.92%
506.17/507.78 c 508 7345 271 1 1038.0000 1018.5539 1.91%
511.36/512.92 c 513 7488 292 1 1038.0000 1018.5935 1.91%
516.84/518.42 c 518 7607 299 1 1038.0000 1018.6422 1.90%
523.33/524.91 c 525 7658 300 1 1038.0000 1018.6677 1.90%
528.32/529.93 c 530 7683 303 1 1038.0000 1018.6869 1.90%
533.80/535.46 c 535 7827 309 1 1038.0000 1018.6869 1.90%
538.99/540.63 c 541 7975 315 1 1038.0000 1018.6869 1.90%
546.57/548.29 c 548 8115 311 1 1038.0000 1018.7096 1.89%
552.66/554.31 c 554 8288 316 1 1038.0000 1018.7258 1.89%
558.24/559.93 c 560 8511 315 1 1038.0000 1018.7504 1.89%
563.93/565.61 c 566 8700 324 1 1038.0000 1018.7515 1.89%
568.92/570.68 c 571 8748 332 1 1038.0000 1018.7586 1.89%
574.01/575.72 c 576 8819 345 1 1038.0000 1018.7602 1.89%
579.89/581.67 c 582 9017 347 1 1038.0000 1018.7957 1.88%
585.09/586.80 c 587 9150 356 1 1038.0000 1018.8654 1.88%
591.57/593.38 c 593 9276 360 1 1038.0000 1018.8750 1.88%
597.45/599.24 c 599 9380 382 1 1038.0000 1018.9383 1.87%
602.44/604.27 c 604 9445 383 1 1038.0000 1018.9784 1.87%
608.13/609.94 c 610 9538 398 1 1038.0000 1018.9801 1.87%
613.32/615.11 c 615 9645 417 1 1038.0000 1019.0746 1.86%
618.40/620.25 c 620 9675 421 1 1038.0000 1019.0813 1.86%
623.59/625.46 c 625 9761 435 1 1038.0000 1019.1017 1.85%
629.47/631.30 c 631 9885 437 1 1038.0000 1019.1380 1.85%
634.96/636.81 c 637 10077 439 1 1038.0000 1019.1667 1.85%
642.04/643.99 c 644 10255 431 1 1038.0000 1019.2398 1.84%
647.23/649.15 c 649 10357 443 1 1038.0000 1019.2844 1.84%
652.31/654.30 c 654 10476 456 1 1038.0000 1019.3204 1.83%
658.11/660.07 c 660 10645 465 1 1038.0000 1019.3410 1.83%
664.39/666.30 c 666 10748 470 1 1038.0000 1019.3505 1.83%
670.28/672.20 c 672 10834 476 1 1038.0000 1019.3757 1.83%
676.46/678.40 c 678 10858 484 1 1038.0000 1019.4036 1.82%
681.64/683.62 c 684 10958 488 1 1038.0000 1019.4343 1.82%
687.24/689.23 c 689 11017 495 1 1038.0000 1019.5016 1.81%
692.52/694.54 c 695 11167 497 1 1038.0000 1019.5155 1.81%
697.91/699.99 c 700 11218 508 1 1038.0000 1019.5290 1.81%
703.29/705.39 c 705 11275 511 1 1038.0000 1019.5338 1.81%
708.78/710.82 c 711 11364 522 1 1038.0000 1019.5479 1.81%
713.77/715.88 c 716 11444 526 1 1038.0000 1019.5601 1.81%
719.06/721.12 c 721 11508 532 1 1038.0000 1019.6023 1.80%
724.54/726.62 c 727 11596 532 1 1038.0000 1019.6157 1.80%
730.33/732.42 c 732 11738 540 1 1038.0000 1019.6293 1.80%
735.82/737.93 c 738 11847 551 1 1038.0000 1019.6565 1.80%
741.60/743.75 c 744 11907 549 1 1038.0000 1019.6711 1.80%
746.79/748.96 c 749 12062 556 1 1038.0000 1019.6780 1.80%
752.07/754.22 c 754 12205 567 1 1038.0000 1019.6858 1.80%
757.26/759.41 c 759 12425 569 1 1038.0000 1019.6870 1.80%
762.45/764.65 c 765 12515 577 1 1038.0000 1019.7125 1.79%
768.14/770.37 c 770 12588 588 1 1038.0000 1019.7230 1.79%
773.52/775.71 c 776 12711 583 1 1038.0000 1019.7354 1.79%
779.31/781.58 c 782 12840 602 1 1038.0000 1019.7420 1.79%
785.10/787.39 c 787 12933 613 1 1038.0000 1019.7554 1.79%
791.39/793.66 c 794 12968 616 1 1038.0000 1019.7616 1.79%
797.17/799.49 c 799 13165 621 1 1038.0000 1019.7776 1.79%
802.76/805.09 c 805 13264 636 1 1038.0000 1019.7828 1.79%
808.24/810.51 c 811 13378 636 1 1038.0000 1019.7965 1.79%
813.74/816.01 c 816 13531 645 1 1038.0000 1019.8111 1.78%
819.52/821.84 c 822 13704 652 1 1038.0000 1019.8762 1.78%
824.50/826.87 c 827 13780 656 1 1038.0000 1019.8882 1.78%
829.89/832.20 c 832 13875 671 1 1038.0000 1019.9646 1.77%
836.87/839.28 c 839 13976 678 1 1038.0000 1019.9709 1.77%
842.96/845.30 c 845 14131 683 1 1038.0000 1019.9800 1.77%
849.35/851.73 c 852 14168 694 1 1038.0000 1020.0142 1.76%
854.64/857.09 c 857 14246 700 1 1038.0000 1020.0266 1.76%
860.82/863.24 c 863 14352 714 1 1038.0000 1020.0915 1.76%
866.00/868.40 c 868 14486 708 1 1038.0000 1020.1087 1.75%
870.99/873.47 c 873 14645 709 1 1038.0000 1020.1112 1.75%
876.18/878.67 c 879 14791 717 1 1038.0000 1020.1112 1.75%
882.96/885.43 c 885 14938 722 1 1038.0000 1020.1136 1.75%
888.24/890.73 c 891 15045 735 1 1038.0000 1020.1547 1.75%
894.84/897.34 c 897 15098 740 1 1038.0000 1020.1974 1.75%
900.42/902.91 c 903 15196 746 1 1038.0000 1020.2441 1.74%
905.71/908.22 c 908 15266 750 1 1038.0000 1020.2441 1.74%
910.99/913.54 c 914 15394 760 1 1038.0000 1020.2455 1.74%
916.58/919.15 c 919 15533 763 1 1038.0000 1020.2467 1.74%
921.77/924.38 c 924 15623 771 1 1038.0000 1020.2534 1.74%
927.46/930.04 c 930 15771 775 1 1038.0000 1020.2753 1.74%
932.55/935.11 c 935 15928 788 1 1038.0000 1020.2900 1.74%
937.92/940.60 c 941 16055 793 1 1038.0000 1020.3063 1.73%
943.31/945.98 c 946 16116 802 1 1038.0000 1020.3117 1.73%
950.00/952.67 c 953 16265 805 1 1038.0000 1020.3236 1.73%
956.88/959.55 c 960 16356 824 1 1038.0000 1020.3973 1.73%
964.06/966.76 c 967 16378 834 1 1038.0000 1020.4642 1.72%
970.55/973.26 c 973 16428 842 1 1038.0000 1020.4859 1.72%
975.83/978.52 c 979 16594 840 1 1038.0000 1020.4859 1.72%
982.52/985.24 c 985 16686 852 1 1038.0000 1020.4951 1.72%
988.01/990.76 c 991 16747 865 1 1038.0000 1020.5119 1.71%
993.30/996.01 c 996 16945 863 1 1038.0000 1020.5140 1.71%
998.48/1001.27 c 1001 17090 872 1 1038.0000 1020.5140 1.71%
1003.67/1006.47 c 1006 17162 880 1 1038.0000 1020.5616 1.71%
1009.45/1012.23 c 1012 17227 885 1 1038.0000 1020.5689 1.71%
1015.74/1018.55 c 1019 17286 894 1 1038.0000 1020.5871 1.71%
1021.53/1024.34 c 1024 17366 904 1 1038.0000 1020.5981 1.71%
1027.11/1029.94 c 1030 17512 906 1 1038.0000 1020.5988 1.71%
1033.70/1036.52 c 1037 17528 910 1 1038.0000 1020.6073 1.70%
1038.99/1041.81 c 1042 17695 913 1 1038.0000 1020.6106 1.70%
1044.97/1047.81 c 1048 17717 919 1 1038.0000 1020.6106 1.70%
1050.56/1053.49 c 1053 17822 920 1 1038.0000 1020.6106 1.70%
1056.44/1059.35 c 1059 17915 927 1 1038.0000 1020.6411 1.70%
1062.14/1065.09 c 1065 17985 947 1 1038.0000 1020.6743 1.70%
1068.01/1070.99 c 1071 18105 951 1 1038.0000 1020.6802 1.70%
1073.40/1076.38 c 1076 18225 957 1 1038.0000 1020.6905 1.70%
1078.49/1081.46 c 1081 18369 961 1 1038.0000 1020.6905 1.70%
1083.88/1086.87 c 1087 18535 967 1 1038.0000 1020.6948 1.70%
1089.46/1092.44 c 1092 18691 977 1 1038.0000 1020.6949 1.70%
1094.55/1097.56 c 1098 18870 978 1 1038.0000 1020.6949 1.70%
1099.84/1102.83 c 1103 18966 980 1 1038.0000 1020.7018 1.69%
1105.02/1108.06 c 1108 19005 981 1 1038.0000 1020.7077 1.69%
1111.91/1114.96 c 1115 19135 985 1 1038.0000 1020.7133 1.69%
1117.20/1120.29 c 1120 19255 995 1 1038.0000 1020.7332 1.69%
1122.38/1125.47 c 1125 19413 999 1 1038.0000 1020.7332 1.69%
1127.87/1130.94 c 1131 19492 1008 1 1038.0000 1020.7557 1.69%
1133.35/1136.48 c 1136 19558 1022 1 1038.0000 1020.7796 1.69%
1139.15/1142.23 c 1142 19699 1025 1 1038.0000 1020.7865 1.69%
1144.53/1147.69 c 1148 19839 1033 1 1038.0000 1020.7950 1.69%
1150.52/1153.66 c 1154 20005 1041 1 1038.0000 1020.8142 1.68%
1155.91/1159.03 c 1159 20110 1046 1 1038.0000 1020.8174 1.68%
1161.29/1164.47 c 1164 20185 1051 1 1038.0000 1020.8280 1.68%
1168.08/1171.28 c 1171 20325 1063 1 1038.0000 1020.8350 1.68%
1173.16/1176.31 c 1176 20386 1072 1 1038.0000 1020.8370 1.68%
1179.25/1182.42 c 1182 20426 1074 1 1038.0000 1020.8588 1.68%
1184.44/1187.67 c 1188 20574 1084 1 1038.0000 1020.8588 1.68%
1191.62/1194.87 c 1195 20685 1091 1 1038.0000 1020.9037 1.67%
1197.70/1200.92 c 1201 20818 1102 1 1038.0000 1020.9102 1.67%
1203.49/1206.71 c 1207 20922 1114 1 1038.0000 1020.9236 1.67%
1209.97/1213.29 c 1213 21007 1119 1 1038.0000 1020.9424 1.67%
1215.26/1218.57 c 1219 21143 1131 1 1038.0000 1020.9603 1.67%
1220.65/1223.98 c 1224 21205 1143 1 1038.0000 1020.9731 1.67%
1226.03/1229.38 c 1229 21306 1144 1 1038.0000 1020.9731 1.67%
1231.72/1235.06 c 1235 21400 1154 1 1038.0000 1020.9738 1.67%
1237.71/1241.01 c 1241 21579 1157 1 1038.0000 1020.9874 1.67%
1242.80/1246.13 c 1246 21662 1158 1 1038.0000 1020.9893 1.67%
1248.79/1252.11 c 1252 21778 1164 1 1038.0000 1020.9970 1.67%
1253.78/1257.19 c 1257 21839 1169 1 1038.0000 1020.9984 1.67%
1259.06/1262.48 c 1262 21914 1170 1 1038.0000 1020.9984 1.67%
1264.65/1268.02 c 1268 21971 1181 1 1038.0000 1021.0027 1.66%
1270.03/1273.41 c 1273 22083 1191 1 1038.0000 1021.0142 1.66%
1275.92/1279.36 c 1279 22197 1193 1 1038.0000 1021.0251 1.66%
1281.80/1285.25 c 1285 22353 1199 1 1038.0000 1021.0302 1.66%
1288.19/1291.67 c 1292 22426 1202 1 1038.0000 1021.0391 1.66%
1293.68/1297.17 c 1297 22535 1207 1 1038.0000 1021.0405 1.66%
1298.86/1302.36 c 1302 22615 1223 1 1038.0000 1021.0520 1.66%
1304.05/1307.53 c 1308 22675 1233 1 1038.0000 1021.0714 1.66%
1309.54/1313.04 c 1313 22709 1241 1 1038.0000 1021.0736 1.66%
1314.92/1318.45 c 1318 22789 1249 1 1038.0000 1021.0865 1.66%
1320.30/1323.87 c 1324 22886 1254 1 1038.0000 1021.0950 1.66%
1325.79/1329.35 c 1329 23021 1257 1 1038.0000 1021.0950 1.66%
1330.78/1334.39 c 1334 23145 1261 1 1038.0000 1021.1326 1.65%
1336.06/1339.69 c 1340 23247 1275 1 1038.0000 1021.1707 1.65%
1341.56/1345.16 c 1345 23353 1293 1 1038.0000 1021.1967 1.65%
1346.84/1350.41 c 1350 23425 1295 1 1038.0000 1021.2021 1.64%
1352.62/1356.24 c 1356 23514 1296 1 1038.0000 1021.2082 1.64%
1358.01/1361.61 c 1362 23627 1293 1 1038.0000 1021.2458 1.64%
1363.40/1367.10 c 1367 23716 1298 1 1038.0000 1021.2523 1.64%
1368.49/1372.15 c 1372 23773 1309 1 1038.0000 1021.2550 1.64%
1374.57/1378.27 c 1378 23856 1310 1 1038.0000 1021.2707 1.64%
1379.85/1383.55 c 1384 23990 1314 1 1038.0000 1021.2707 1.64%
1384.94/1388.68 c 1389 24070 1320 1 1038.0000 1021.2722 1.64%
1390.72/1394.48 c 1394 24168 1324 1 1038.0000 1021.2735 1.64%
1395.91/1399.63 c 1400 24218 1332 1 1038.0000 1021.2756 1.64%
1401.10/1404.86 c 1405 24353 1337 1 1038.0000 1021.2756 1.64%
1407.08/1410.87 c 1411 24485 1341 1 1038.0000 1021.3059 1.63%
1412.17/1415.98 c 1416 24548 1346 1 1038.0000 1021.3132 1.63%
1418.56/1422.34 c 1422 24605 1349 1 1038.0000 1021.3298 1.63%
1424.54/1428.31 c 1428 24659 1365 1 1038.0000 1021.3505 1.63%
1429.53/1433.39 c 1433 24730 1374 1 1038.0000 1021.3511 1.63%
1436.11/1439.97 c 1440 24826 1380 1 1038.0000 1021.3664 1.63%
1441.70/1445.55 c 1446 24956 1386 1 1038.0000 1021.3664 1.63%
1447.09/1450.90 c 1451 25108 1384 1 1038.0000 1021.3682 1.63%
1452.47/1456.38 c 1456 25215 1389 1 1038.0000 1021.3848 1.63%
1457.56/1461.40 c 1461 25363 1399 1 1038.0000 1021.3934 1.63%
1462.65/1466.54 c 1467 25445 1401 1 1038.0000 1021.4048 1.62%
1468.53/1472.42 c 1472 25467 1411 1 1038.0000 1021.4082 1.62%
1473.72/1477.60 c 1478 25614 1414 1 1038.0000 1021.4082 1.62%
1479.11/1483.09 c 1483 25731 1415 1 1038.0000 1021.4082 1.62%
1485.49/1489.49 c 1490 25815 1415 1 1038.0000 1021.4140 1.62%
1491.78/1495.72 c 1496 25856 1430 1 1038.0000 1021.4306 1.62%
1496.77/1500.76 c 1501 25934 1432 1 1038.0000 1021.4401 1.62%
1502.65/1506.64 c 1507 26015 1445 1 1038.0000 1021.4566 1.62%
1507.74/1511.78 c 1512 26160 1448 1 1038.0000 1021.4566 1.62%
1513.72/1517.72 c 1518 26293 1447 1 1038.0000 1021.4712 1.62%
1519.20/1523.29 c 1523 26420 1458 1 1038.0000 1021.5034 1.61%
1524.38/1528.47 c 1528 26512 1462 1 1038.0000 1021.5037 1.61%
1529.47/1533.52 c 1534 26615 1471 1 1038.0000 1021.5110 1.61%
1535.45/1539.50 c 1540 26727 1479 1 1038.0000 1021.5153 1.61%
1541.13/1545.28 c 1545 26849 1483 1 1038.0000 1021.5153 1.61%
1547.11/1551.25 c 1551 26975 1491 1 1038.0000 1021.5515 1.61%
1552.40/1556.58 c 1557 27078 1500 1 1038.0000 1021.5546 1.61%
1557.48/1561.67 c 1562 27145 1503 1 1038.0000 1021.5605 1.61%
1562.77/1566.96 c 1567 27266 1512 1 1038.0000 1021.5605 1.61%
1568.46/1572.62 c 1573 27374 1524 1 1038.0000 1021.5724 1.61%
1574.14/1578.38 c 1578 27507 1535 1 1038.0000 1021.5944 1.61%
1579.52/1583.76 c 1584 27594 1542 1 1038.0000 1021.6167 1.60%
1584.81/1589.08 c 1589 27716 1552 1 1038.0000 1021.6167 1.60%
1590.29/1594.55 c 1595 27843 1561 1 1038.0000 1021.6293 1.60%
1595.78/1600.07 c 1600 27913 1571 1 1038.0000 1021.6606 1.60%
1601.76/1606.05 c 1606 27977 1579 1 1038.0000 1021.6786 1.60%
1606.94/1611.21 c 1611 28037 1589 1 1038.0000 1021.6822 1.60%
1612.62/1616.94 c 1617 28088 1592 1 1038.0000 1021.6946 1.60%
1617.61/1621.98 c 1622 28235 1593 1 1038.0000 1021.7117 1.59%
1623.49/1627.81 c 1628 28330 1608 1 1038.0000 1021.7140 1.59%
1629.07/1633.45 c 1633 28451 1613 1 1038.0000 1021.7190 1.59%
1634.25/1638.69 c 1639 28493 1621 1 1038.0000 1021.7543 1.59%
1639.93/1644.33 c 1644 28615 1627 1 1038.0000 1021.7708 1.59%
1645.03/1649.47 c 1649 28745 1635 1 1038.0000 1021.7867 1.59%
1650.21/1654.64 c 1655 28856 1646 1 1038.0000 1021.8019 1.59%
1655.19/1659.70 c 1660 28995 1655 1 1038.0000 1021.8027 1.59%
1660.28/1664.78 c 1665 29075 1659 1 1038.0000 1021.8027 1.59%
1665.67/1670.12 c 1670 29245 1669 1 1038.0000 1021.8137 1.58%
1670.75/1675.25 c 1675 29249 1673 1 1038.0000 1021.8137 1.58%
1676.13/1680.66 c 1681 29397 1681 1 1038.0000 1021.8343 1.58%
1681.62/1686.17 c 1686 29515 1691 1 1038.0000 1021.8745 1.58%
1687.00/1691.59 c 1692 29608 1704 1 1038.0000 1021.8923 1.58%
1692.18/1696.74 c 1697 29760 1706 1 1038.0000 1021.8923 1.58%
1697.47/1702.00 c 1702 29877 1717 1 1038.0000 1021.9096 1.57%
1702.65/1707.20 c 1707 29917 1727 1 1038.0000 1021.9174 1.57%
1707.84/1712.47 c 1712 29979 1731 1 1038.0000 1021.9256 1.57%
1713.33/1717.99 c 1718 30094 1736 1 1038.0000 1021.9341 1.57%
1719.11/1723.75 c 1724 30135 1745 1 1038.0000 1021.9376 1.57%
1725.99/1730.65 c 1731 30179 1757 1 1038.0000 1021.9561 1.57%
1731.98/1736.62 c 1737 30287 1765 1 1038.0000 1021.9570 1.57%
1737.07/1741.79 c 1742 30348 1774 1 1038.0000 1021.9740 1.57%
1742.95/1747.61 c 1748 30464 1786 1 1038.0000 1021.9744 1.57%
1748.04/1752.79 c 1753 30625 1793 1 1038.0000 1021.9797 1.57%
1753.44/1758.10 c 1758 30740 1804 1 1038.0000 1021.9799 1.57%
1758.42/1763.18 c 1763 30855 1815 1 1038.0000 1021.9959 1.57%
1763.61/1768.31 c 1768 30924 1820 1 1038.0000 1021.9981 1.57%
1769.20/1773.92 c 1774 31052 1836 1 1038.0000 1022.0051 1.57%
1776.88/1781.67 c 1782 31189 1839 1 1038.0000 1022.0253 1.56%
1783.56/1788.30 c 1788 31347 1847 1 1038.0000 1022.0500 1.56%
1789.14/1793.93 c 1794 31477 1861 1 1038.0000 1022.0585 1.56%
1794.33/1799.12 c 1799 31611 1863 1 1038.0000 1022.0692 1.56%
1799.92/1804.74 c 1805 31711 1871 1 1038.0000 1022.0915 1.56%
1805.10/1809.99 c 1810 31860 1874 1 1038.0000 1022.0946 1.56%
1810.80/1815.64 c 1816 31958 1874 1 1038.0000 1022.0946 1.56%
1816.29/1821.10 c 1821 32127 1877 1 1038.0000 1022.1024 1.56%
1822.77/1827.60 c 1828 32232 1880 1 1038.0000 1022.1225 1.55%
1828.35/1833.28 c 1833 32329 1891 1 1038.0000 1022.1302 1.55%
1837.24/1842.12 c 1842 32358 1894 1 1038.0000 1022.1302 1.55%
1842.82/1847.72 c 1848 32437 1897 1 1038.0000 1022.1302 1.55%
1847.91/1852.86 c 1853 32484 1900 1 1038.0000 1022.1609 1.55%
1853.79/1858.70 c 1859 32530 1904 1 1038.0000 1022.1644 1.55%
1859.28/1864.29 c 1864 32610 1908 1 1038.0000 1022.1686 1.55%
1864.86/1869.85 c 1870 32737 1915 1 1038.0000 1022.1700 1.55%
1871.15/1876.13 c 1876 32789 1925 1 1038.0000 1022.1834 1.55%
1876.84/1881.81 c 1882 32876 1932 1 1038.0000 1022.1876 1.55%
1882.32/1887.31 c 1887 33012 1948 1 1038.0000 1022.2140 1.54%
1887.51/1892.54 c 1893 33134 1952 1 1038.0000 1022.2174 1.54%
1893.10/1898.17 c 1898 33235 1957 1 1038.0000 1022.2334 1.54%
1898.28/1903.30 c 1903 33325 1967 1 1038.0000 1022.2353 1.54%
1904.17/1909.27 c 1909 33366 1978 1 1038.0000 1022.2394 1.54%
1909.56/1914.62 c 1915 33476 1982 1 1038.0000 1022.2415 1.54%
1914.95/1920.07 c 1920 33548 1992 1 1038.0000 1022.2436 1.54%
1920.14/1925.28 c 1925 33675 2001 1 1038.0000 1022.2653 1.54%
1926.42/1931.55 c 1932 33699 2011 1 1038.0000 1022.2853 1.54%
1933.01/1938.12 c 1938 33816 2016 1 1038.0000 1022.2870 1.54%
1938.89/1944.06 c 1944 33901 2033 1 1038.0000 1022.3211 1.53%
1945.57/1950.73 c 1951 33995 2041 1 1038.0000 1022.3469 1.53%
1951.46/1956.67 c 1957 34080 2052 1 1038.0000 1022.3515 1.53%
1957.14/1962.33 c 1962 34165 2057 1 1038.0000 1022.3515 1.53%
1962.33/1967.54 c 1968 34325 2059 1 1038.0000 1022.3515 1.53%
1969.21/1974.47 c 1974 34465 2065 1 1038.0000 1022.3605 1.53%
1975.20/1980.45 c 1980 34554 2074 1 1038.0000 1022.3675 1.53%
1980.39/1985.67 c 1986 34612 2086 1 1038.0000 1022.3743 1.53%
1986.47/1991.74 c 1992 34698 2096 1 1038.0000 1022.3977 1.53%
1993.16/1998.41 c 1998 34745 2103 1 1038.0000 1022.4136 1.52%
2000.54/2005.85 c 2006 34825 2119 1 1038.0000 1022.4295 1.52%
2007.43/2012.76 c 2013 35005 2119 1 1038.0000 1022.4422 1.52%
2012.91/2018.27 c 2018 35102 2132 1 1038.0000 1022.4438 1.52%
2018.30/2023.64 c 2024 35248 2140 1 1038.0000 1022.4501 1.52%
2023.99/2029.34 c 2029 35345 2149 1 1038.0000 1022.4542 1.52%
2029.18/2034.51 c 2035 35499 2147 1 1038.0000 1022.4542 1.52%
2034.17/2039.57 c 2040 35665 2159 1 1038.0000 1022.4740 1.52%
2039.76/2045.18 c 2045 35755 2167 1 1038.0000 1022.4802 1.52%
2045.14/2050.55 c 2051 35809 2175 1 1038.0000 1022.4802 1.52%
2051.53/2056.91 c 2057 35879 2177 1 1038.0000 1022.4893 1.52%
2057.01/2062.48 c 2062 36010 2188 1 1038.0000 1022.4943 1.52%
2062.50/2067.91 c 2068 36137 2199 1 1038.0000 1022.4988 1.52%
2067.98/2073.43 c 2073 36272 2202 1 1038.0000 1022.5144 1.51%
2073.07/2078.59 c 2079 36407 2207 1 1038.0000 1022.5148 1.51%
2078.56/2084.05 c 2084 36508 2220 1 1038.0000 1022.5169 1.51%
2084.15/2089.62 c 2090 36622 2226 1 1038.0000 1022.5191 1.51%
2090.84/2096.33 c 2096 36715 2229 1 1038.0000 1022.5224 1.51%
2096.02/2101.56 c 2102 36782 2248 1 1038.0000 1022.5242 1.51%
2101.41/2106.98 c 2107 36861 2253 1 1038.0000 1022.5250 1.51%
2106.90/2112.40 c 2112 36962 2264 1 1038.0000 1022.5539 1.51%
2112.48/2118.08 c 2118 37026 2274 1 1038.0000 1022.5587 1.51%
2117.96/2123.56 c 2124 37145 2283 1 1038.0000 1022.5615 1.51%
2123.65/2129.22 c 2129 37165 2287 1 1038.0000 1022.5646 1.51%
2129.45/2135.06 c 2135 37271 2291 1 1038.0000 1022.5650 1.51%
2134.54/2140.16 c 2140 37446 2288 1 1038.0000 1022.5650 1.51%
2140.61/2146.25 c 2146 37585 2305 1 1038.0000 1022.5854 1.51%
2145.80/2151.46 c 2151 37657 2311 1 1038.0000 1022.5886 1.51%
2152.08/2157.70 c 2158 37795 2319 1 1038.0000 1022.5951 1.51%
2157.38/2163.01 c 2163 37872 2332 1 1038.0000 1022.6028 1.51%
2162.86/2168.53 c 2169 37998 2344 1 1038.0000 1022.6184 1.50%
2168.14/2173.88 c 2174 38145 2353 1 1038.0000 1022.6347 1.50%
2173.73/2179.48 c 2179 38185 2359 1 1038.0000 1022.6347 1.50%
2178.83/2184.51 c 2185 38336 2360 1 1038.0000 1022.6376 1.50%
2184.81/2190.50 c 2190 38473 2367 1 1038.0000 1022.6620 1.50%
2189.90/2195.62 c 2196 38642 2370 1 1038.0000 1022.6620 1.50%
2195.78/2201.58 c 2202 38727 2387 1 1038.0000 1022.6785 1.50%
2202.28/2208.04 c 2208 38895 2395 1 1038.0000 1022.7013 1.50%
2207.56/2213.30 c 2213 39006 2402 1 1038.0000 1022.7068 1.50%
2215.14/2220.98 c 2221 39145 2415 1 1038.0000 1022.7194 1.49%
2220.92/2226.72 c 2227 39243 2427 1 1038.0000 1022.7355 1.49%
2226.71/2232.58 c 2233 39339 2433 1 1038.0000 1022.7355 1.49%
2232.69/2238.58 c 2239 39464 2450 1 1038.0000 1022.7506 1.49%
2238.29/2244.16 c 2244 39541 2461 1 1038.0000 1022.7540 1.49%
2244.17/2250.09 c 2250 39605 2471 1 1038.0000 1022.7642 1.49%
2249.75/2255.62 c 2256 39680 2480 1 1038.0000 1022.7709 1.49%
2254.84/2260.77 c 2261 39703 2481 1 1038.0000 1022.7709 1.49%
2260.43/2266.31 c 2266 39779 2481 1 1038.0000 1022.7784 1.49%
2266.81/2272.75 c 2273 39885 2489 1 1038.0000 1022.7838 1.49%
2272.10/2278.09 c 2278 40022 2502 1 1038.0000 1022.7910 1.49%
2277.78/2283.71 c 2284 40064 2510 1 1038.0000 1022.7968 1.49%
2283.37/2289.35 c 2289 40139 2517 1 1038.0000 1022.8048 1.49%
2290.16/2296.17 c 2296 40215 2523 1 1038.0000 1022.8171 1.48%
2295.45/2301.48 c 2301 40295 2541 1 1038.0000 1022.8359 1.48%
2301.43/2307.49 c 2308 40470 2544 1 1038.0000 1022.8367 1.48%
2306.62/2312.60 c 2313 40567 2551 1 1038.0000 1022.8456 1.48%
2311.71/2317.73 c 2318 40685 2563 1 1038.0000 1022.8507 1.48%
2317.19/2323.26 c 2323 40830 2570 1 1038.0000 1022.8684 1.48%
2322.38/2328.44 c 2328 40975 2579 1 1038.0000 1022.8760 1.48%
2327.77/2333.80 c 2334 41099 2585 1 1038.0000 1022.8760 1.48%
2333.45/2339.54 c 2340 41186 2590 1 1038.0000 1022.9027 1.48%
2339.23/2345.33 c 2345 41325 2597 1 1038.0000 1022.9045 1.48%
2344.43/2350.52 c 2351 41476 2604 1 1038.0000 1022.9045 1.48%
2350.02/2356.12 c 2356 41596 2610 1 1038.0000 1022.9059 1.48%
2355.30/2361.42 c 2361 41679 2611 1 1038.0000 1022.9066 1.48%
2360.39/2366.53 c 2367 41849 2611 1 1038.0000 1022.9066 1.48%
2365.88/2372.06 c 2372 41929 2613 1 1038.0000 1022.9104 1.48%
2370.96/2377.15 c 2377 42025 2615 1 1038.0000 1022.9158 1.47%
2376.63/2382.89 c 2383 42155 2621 1 1038.0000 1022.9240 1.47%
2382.22/2388.41 c 2388 42285 2625 1 1038.0000 1022.9270 1.47%
2387.40/2393.68 c 2394 42384 2636 1 1038.0000 1022.9276 1.47%
2392.49/2398.78 c 2399 42546 2638 1 1038.0000 1022.9276 1.47%
2397.57/2403.85 c 2404 42677 2641 1 1038.0000 1022.9330 1.47%
2402.66/2408.96 c 2409 42765 2649 1 1038.0000 1022.9399 1.47%
2407.94/2414.25 c 2414 42866 2662 1 1038.0000 1022.9428 1.47%
2413.53/2419.89 c 2420 42950 2668 1 1038.0000 1022.9439 1.47%
2419.01/2425.38 c 2425 43029 2685 1 1038.0000 1022.9668 1.47%
2424.50/2430.82 c 2431 43146 2688 1 1038.0000 1022.9682 1.47%
2430.08/2436.44 c 2436 43209 2697 1 1038.0000 1022.9761 1.47%
2435.46/2441.81 c 2442 43285 2707 1 1038.0000 1022.9858 1.47%
2440.55/2446.94 c 2447 43368 2710 1 1038.0000 1022.9858 1.47%
2445.53/2451.97 c 2452 43441 2713 1 1038.0000 1022.9978 1.47%
2451.62/2458.03 c 2458 43535 2723 1 1038.0000 1023.0185 1.46%
2457.00/2463.46 c 2463 43615 2733 1 1038.0000 1023.0406 1.46%
2462.38/2468.80 c 2469 43756 2742 1 1038.0000 1023.0406 1.46%
2468.36/2474.86 c 2475 43923 2747 1 1038.0000 1023.0412 1.46%
2473.56/2480.06 c 2480 44086 2744 1 1038.0000 1023.0412 1.46%
2478.73/2485.27 c 2485 44260 2740 1 1038.0000 1023.0412 1.46%
2484.02/2490.55 c 2491 44431 2745 1 1038.0000 1023.0412 1.46%
2489.10/2495.64 c 2496 44515 2745 1 1038.0000 1023.0470 1.46%
2494.49/2501.09 c 2501 44606 2752 1 1038.0000 1023.0472 1.46%
2500.37/2506.95 c 2507 44739 2759 1 1038.0000 1023.0485 1.46%
2505.46/2512.10 c 2512 44896 2756 1 1038.0000 1023.0485 1.46%
2511.33/2517.95 c 2518 45049 2761 1 1038.0000 1023.0495 1.46%
2516.32/2522.96 c 2523 45124 2770 1 1038.0000 1023.0514 1.46%
2522.00/2528.60 c 2529 45245 2771 1 1038.0000 1023.0515 1.46%
2526.99/2533.67 c 2534 45336 2782 1 1038.0000 1023.0553 1.46%
2534.27/2540.93 c 2541 45415 2787 1 1038.0000 1023.0591 1.46%
2541.15/2547.84 c 2548 45536 2792 1 1038.0000 1023.0606 1.46%
2547.53/2554.24 c 2554 45586 2812 1 1038.0000 1023.0701 1.46%
2552.92/2559.65 c 2560 45709 2825 1 1038.0000 1023.0707 1.46%
2558.20/2564.96 c 2565 45825 2827 1 1038.0000 1023.0777 1.46%
2563.30/2570.08 c 2570 46020 2826 1 1038.0000 1023.0777 1.46%
2568.58/2575.31 c 2575 46076 2834 1 1038.0000 1023.0948 1.46%
2574.27/2581.01 c 2581 46165 2843 1 1038.0000 1023.0976 1.46%
2579.95/2586.73 c 2587 46290 2850 1 1038.0000 1023.1026 1.46%
2585.84/2592.66 c 2593 46415 2859 1 1038.0000 1023.1134 1.46%
2591.82/2598.66 c 2599 46534 2870 1 1038.0000 1023.1169 1.45%
2598.40/2605.26 c 2605 46599 2873 1 1038.0000 1023.1202 1.45%
2603.49/2610.30 c 2610 46679 2877 1 1038.0000 1023.1214 1.45%
2609.28/2616.18 c 2616 46782 2882 1 1038.0000 1023.1262 1.45%
2614.46/2621.30 c 2621 46910 2888 1 1038.0000 1023.1262 1.45%
2620.35/2627.29 c 2627 47035 2887 1 1038.0000 1023.1344 1.45%
2625.54/2632.40 c 2632 47171 2889 1 1038.0000 1023.1344 1.45%
2631.03/2637.98 c 2638 47250 2898 1 1038.0000 1023.1376 1.45%
2636.42/2643.34 c 2643 47377 2905 1 1038.0000 1023.1389 1.45%
2641.80/2648.71 c 2649 47487 2907 1 1038.0000 1023.1433 1.45%
2647.79/2654.72 c 2655 47575 2911 1 1038.0000 1023.1438 1.45%
2654.08/2661.07 c 2661 47667 2923 1 1038.0000 1023.1626 1.45%
2659.26/2666.24 c 2666 47842 2924 1 1038.0000 1023.1626 1.45%
2664.45/2671.45 c 2671 47990 2930 1 1038.0000 1023.1657 1.45%
2670.14/2677.16 c 2677 48135 2943 1 1038.0000 1023.1681 1.45%
2675.52/2682.52 c 2683 48219 2955 1 1038.0000 1023.1732 1.45%
2680.62/2687.65 c 2688 48299 2971 1 1038.0000 1023.1740 1.45%
2686.80/2693.83 c 2694 48398 2980 1 1038.0000 1023.1764 1.45%
2692.39/2699.46 c 2699 48505 2989 1 1038.0000 1023.1776 1.45%
2697.47/2704.59 c 2705 48584 2994 1 1038.0000 1023.1781 1.45%
2702.56/2709.65 c 2710 48763 2995 1 1038.0000 1023.1843 1.45%
2707.95/2715.02 c 2715 48857 2999 1 1038.0000 1023.1867 1.45%
2715.33/2722.40 c 2722 48975 3007 1 1038.0000 1023.1885 1.45%
2720.51/2727.62 c 2728 49118 3016 1 1038.0000 1023.1885 1.45%
2726.50/2733.65 c 2734 49228 3030 1 1038.0000 1023.2004 1.45%
2731.99/2739.17 c 2739 49323 3037 1 1038.0000 1023.2042 1.45%
2737.38/2744.52 c 2745 49426 3040 1 1038.0000 1023.2066 1.45%
2742.97/2750.16 c 2750 49500 3050 1 1038.0000 1023.2073 1.45%
2748.45/2755.66 c 2756 49602 3056 1 1038.0000 1023.2100 1.45%
2753.64/2760.86 c 2761 49756 3054 1 1038.0000 1023.2100 1.45%
2758.94/2766.19 c 2766 49832 3066 1 1038.0000 1023.2256 1.44%
2765.82/2773.06 c 2773 49945 3069 1 1038.0000 1023.2332 1.44%
2771.30/2778.53 c 2779 49994 3082 1 1038.0000 1023.2333 1.44%
2776.28/2783.57 c 2784 50080 3086 1 1038.0000 1023.2383 1.44%
2781.57/2788.89 c 2789 50233 3087 1 1038.0000 1023.2409 1.44%
2788.65/2795.98 c 2796 50385 3091 1 1038.0000 1023.2531 1.44%
2794.15/2801.40 c 2801 50439 3107 1 1038.0000 1023.2870 1.44%
2799.84/2807.17 c 2807 50542 3118 1 1038.0000 1023.2915 1.44%
2805.72/2813.04 c 2813 50606 3126 1 1038.0000 1023.2927 1.44%
2811.11/2818.48 c 2818 50678 3134 1 1038.0000 1023.3015 1.44%
2816.29/2823.69 c 2824 50798 3140 1 1038.0000 1023.3146 1.44%
2822.28/2829.67 c 2830 50873 3147 1 1038.0000 1023.3152 1.44%
2828.46/2835.85 c 2836 50976 3158 1 1038.0000 1023.3235 1.43%
2833.94/2841.35 c 2841 51045 3171 1 1038.0000 1023.3295 1.43%
2839.33/2846.77 c 2847 51156 3178 1 1038.0000 1023.3331 1.43%
2845.22/2852.61 c 2853 51293 3189 1 1038.0000 1023.3332 1.43%
2850.91/2858.30 c 2858 51425 3205 1 1038.0000 1023.3529 1.43%
2855.99/2863.43 c 2863 51473 3215 1 1038.0000 1023.3555 1.43%
2861.18/2868.62 c 2869 51632 3214 1 1038.0000 1023.3555 1.43%
2867.26/2874.77 c 2875 51748 3224 1 1038.0000 1023.3608 1.43%
2873.05/2880.54 c 2881 51814 3232 1 1038.0000 1023.3642 1.43%
2878.94/2886.40 c 2886 51878 3238 1 1038.0000 1023.3705 1.43%
2884.63/2892.12 c 2892 52005 3239 1 1038.0000 1023.3705 1.43%
2890.62/2898.11 c 2898 52079 3247 1 1038.0000 1023.3764 1.43%
2896.50/2904.08 c 2904 52227 3253 1 1038.0000 1023.3805 1.43%
2901.68/2909.24 c 2909 52370 3256 1 1038.0000 1023.3805 1.43%
2907.27/2914.84 c 2915 52485 3267 1 1038.0000 1023.3924 1.43%
2913.25/2920.87 c 2921 52622 3276 1 1038.0000 1023.3932 1.43%
2918.55/2926.14 c 2926 52756 3278 1 1038.0000 1023.3935 1.43%
2924.33/2931.92 c 2932 52893 3283 1 1038.0000 1023.3963 1.43%
2929.62/2937.24 c 2937 53036 3280 1 1038.0000 1023.3963 1.43%
2934.71/2942.36 c 2942 53182 3282 1 1038.0000 1023.3963 1.43%
2940.69/2948.31 c 2948 53315 3283 1 1038.0000 1023.4031 1.43%
2947.38/2955.05 c 2955 53449 3289 1 1038.0000 1023.4091 1.43%
2952.96/2960.63 c 2961 53605 3299 1 1038.0000 1023.4183 1.42%
2959.45/2967.19 c 2967 53697 3307 1 1038.0000 1023.4326 1.42%
2964.63/2972.34 c 2972 53801 3319 1 1038.0000 1023.4382 1.42%
2970.12/2977.88 c 2978 53944 3324 1 1038.0000 1023.4415 1.42%
2975.81/2983.56 c 2984 54043 3323 1 1038.0000 1023.4415 1.42%
2981.10/2988.83 c 2989 54087 3331 1 1038.0000 1023.4493 1.42%
2986.68/2994.40 c 2994 54167 3343 1 1038.0000 1023.4493 1.42%
2991.87/2999.66 c 3000 54315 3345 1 1038.0000 1023.4532 1.42%
2996.96/3004.79 c 3005 54395 3353 1 1038.0000 1023.4532 1.42%
3002.94/3010.78 c 3011 54471 3363 1 1038.0000 1023.4676 1.42%
3008.13/3015.96 c 3016 54625 3361 1 1038.0000 1023.4695 1.42%
3013.91/3021.76 c 3022 54745 3377 1 1038.0000 1023.4703 1.42%
3020.80/3028.65 c 3029 54849 3385 1 1038.0000 1023.4727 1.42%
3026.59/3034.44 c 3034 54886 3392 1 1038.0000 1023.4836 1.42%
3031.68/3039.58 c 3040 54985 3395 1 1038.0000 1023.4884 1.42%
3038.06/3045.95 c 3046 55046 3404 1 1038.0000 1023.4894 1.42%
3044.55/3052.43 c 3052 55156 3412 1 1038.0000 1023.4951 1.42%
3049.63/3057.56 c 3058 55297 3417 1 1038.0000 1023.4951 1.42%
3055.61/3063.51 c 3064 55385 3427 1 1038.0000 1023.5013 1.42%
3060.70/3068.61 c 3069 55465 3435 1 1038.0000 1023.5047 1.42%
3065.80/3073.76 c 3074 55506 3444 1 1038.0000 1023.5061 1.42%
3070.78/3078.77 c 3079 55587 3461 1 1038.0000 1023.5198 1.41%
3076.18/3084.12 c 3084 55655 3465 1 1038.0000 1023.5264 1.41%
3082.06/3090.10 c 3090 55725 3467 1 1038.0000 1023.5301 1.41%
3087.74/3095.76 c 3096 55798 3484 1 1038.0000 1023.5348 1.41%
3092.83/3100.85 c 3101 55915 3491 1 1038.0000 1023.5430 1.41%
3097.92/3105.97 c 3106 55995 3499 1 1038.0000 1023.5440 1.41%
3103.90/3111.93 c 3112 56101 3513 1 1038.0000 1023.5456 1.41%
3109.89/3117.99 c 3118 56225 3515 1 1038.0000 1023.5639 1.41%
3115.87/3123.98 c 3124 56314 3530 1 1038.0000 1023.5691 1.41%
3121.96/3130.03 c 3130 56365 3537 1 1038.0000 1023.5822 1.41%
3126.95/3135.07 c 3135 56434 3546 1 1038.0000 1023.5831 1.41%
3132.94/3141.08 c 3141 56588 3556 1 1038.0000 1023.5880 1.41%
3138.03/3146.19 c 3146 56750 3548 1 1038.0000 1023.5880 1.41%
3143.81/3151.94 c 3152 56865 3553 1 1038.0000 1023.5923 1.41%
3149.10/3157.26 c 3157 57022 3550 1 1038.0000 1023.5923 1.41%
3154.08/3162.28 c 3162 57135 3553 1 1038.0000 1023.6084 1.41%
3159.97/3168.12 c 3168 57249 3561 1 1038.0000 1023.6085 1.41%
3165.05/3173.26 c 3173 57399 3563 1 1038.0000 1023.6102 1.41%
3170.55/3178.74 c 3179 57565 3567 1 1038.0000 1023.6153 1.41%
3176.73/3184.93 c 3185 57656 3580 1 1038.0000 1023.6268 1.40%
3181.82/3190.05 c 3190 57762 3592 1 1038.0000 1023.6271 1.40%
3187.60/3195.82 c 3196 57886 3596 1 1038.0000 1023.6311 1.40%
3193.48/3201.76 c 3202 57971 3611 1 1038.0000 1023.6359 1.40%
3198.77/3207.06 c 3207 58104 3614 1 1038.0000 1023.6359 1.40%
3204.15/3212.46 c 3212 58270 3610 1 1038.0000 1023.6359 1.40%
3210.04/3218.32 c 3218 58369 3621 1 1038.0000 1023.6414 1.40%
3215.23/3223.54 c 3224 58535 3633 1 1038.0000 1023.6521 1.40%
3220.51/3228.89 c 3229 58619 3641 1 1038.0000 1023.6609 1.40%
3225.90/3234.27 c 3234 58791 3641 1 1038.0000 1023.6633 1.40%
3231.88/3240.27 c 3240 58919 3659 1 1038.0000 1023.6639 1.40%
3237.58/3245.99 c 3246 59057 3663 1 1038.0000 1023.6717 1.40%
3242.77/3251.18 c 3251 59155 3673 1 1038.0000 1023.6791 1.40%
3248.15/3256.56 c 3257 59273 3677 1 1038.0000 1023.6791 1.40%
3253.84/3262.20 c 3262 59416 3686 1 1038.0000 1023.6852 1.40%
3259.22/3267.65 c 3268 59572 3686 1 1038.0000 1023.6852 1.40%
3264.72/3273.10 c 3273 59643 3691 1 1038.0000 1023.6893 1.40%
3270.49/3278.90 c 3279 59773 3703 1 1038.0000 1023.6949 1.40%
3275.58/3284.05 c 3284 59900 3704 1 1038.0000 1023.6949 1.40%
3280.57/3289.08 c 3289 60039 3707 1 1038.0000 1023.7024 1.40%
3286.36/3294.89 c 3295 60155 3713 1 1038.0000 1023.7193 1.39%
3291.55/3300.04 c 3300 60269 3715 1 1038.0000 1023.7193 1.39%
3297.53/3306.04 c 3306 60444 3722 1 1038.0000 1023.7203 1.39%
3302.81/3311.35 c 3311 60515 3731 1 1038.0000 1023.7271 1.39%
3308.00/3316.53 c 3317 60624 3734 1 1038.0000 1023.7271 1.39%
3312.99/3321.56 c 3322 60675 3745 1 1038.0000 1023.7342 1.39%
3318.87/3327.47 c 3327 60776 3756 1 1038.0000 1023.7370 1.39%
3323.96/3332.56 c 3333 60845 3763 1 1038.0000 1023.7393 1.39%
3329.14/3337.77 c 3338 60959 3777 1 1038.0000 1023.7393 1.39%
3335.54/3344.16 c 3344 61076 3782 1 1038.0000 1023.7479 1.39%
3340.92/3349.53 c 3350 61174 3798 1 1038.0000 1023.7624 1.39%
3346.51/3355.19 c 3355 61308 3802 1 1038.0000 1023.7642 1.39%
3352.29/3360.90 c 3361 61395 3805 1 1038.0000 1023.7643 1.39%
3357.78/3366.46 c 3366 61515 3819 1 1038.0000 1023.7729 1.39%
3363.17/3371.88 c 3372 61595 3817 1 1038.0000 1023.7739 1.39%
3368.36/3377.00 c 3377 61723 3819 1 1038.0000 1023.7739 1.39%
3373.64/3382.37 c 3382 61795 3827 1 1038.0000 1023.7778 1.39%
3379.52/3388.23 c 3388 61856 3840 1 1038.0000 1023.7782 1.39%
3385.51/3394.26 c 3394 61945 3845 1 1038.0000 1023.7851 1.39%
3391.19/3399.93 c 3400 62025 3855 1 1038.0000 1023.7866 1.39%
3396.29/3405.08 c 3405 62086 3868 1 1038.0000 1023.7940 1.39%
3401.68/3410.47 c 3410 62141 3883 1 1038.0000 1023.7996 1.39%
3406.86/3415.66 c 3416 62265 3887 1 1038.0000 1023.8061 1.39%
3412.65/3421.47 c 3421 62370 3896 1 1038.0000 1023.8071 1.39%
3418.73/3427.51 c 3428 62429 3905 1 1038.0000 1023.8078 1.39%
3423.82/3432.68 c 3433 62501 3911 1 1038.0000 1023.8138 1.39%
3428.91/3437.72 c 3438 62605 3919 1 1038.0000 1023.8159 1.39%
3434.59/3443.43 c 3443 62673 3929 1 1038.0000 1023.8174 1.39%
3439.78/3448.65 c 3449 62820 3928 1 1038.0000 1023.8174 1.39%
3444.87/3453.72 c 3454 62913 3937 1 1038.0000 1023.8192 1.39%
3450.26/3459.12 c 3459 63040 3942 1 1038.0000 1023.8192 1.39%
3455.35/3464.21 c 3464 63127 3953 1 1038.0000 1023.8194 1.39%
3460.33/3469.22 c 3469 63181 3963 1 1038.0000 1023.8236 1.38%
3466.62/3475.51 c 3476 63281 3961 1 1038.0000 1023.8236 1.38%
3472.70/3481.67 c 3482 63367 3965 1 1038.0000 1023.8237 1.38%
3478.39/3487.34 c 3487 63440 3974 1 1038.0000 1023.8249 1.38%
3484.18/3493.19 c 3493 63560 3974 1 1038.0000 1023.8293 1.38%
3489.36/3498.37 c 3498 63665 3973 1 1038.0000 1023.8295 1.38%
3495.25/3504.21 c 3504 63786 3982 1 1038.0000 1023.8311 1.38%
3500.63/3509.65 c 3510 63870 3986 1 1038.0000 1023.8317 1.38%
3506.53/3515.54 c 3516 64002 3986 1 1038.0000 1023.8317 1.38%
3512.31/3521.38 c 3521 64090 3994 1 1038.0000 1023.8340 1.38%
3518.00/3527.00 c 3527 64239 4001 1 1038.0000 1023.8372 1.38%
3523.88/3532.93 c 3533 64331 4001 1 1038.0000 1023.8372 1.38%
3529.17/3538.20 c 3538 64385 4009 1 1038.0000 1023.8396 1.38%
3534.36/3543.44 c 3543 64520 4012 1 1038.0000 1023.8396 1.38%
3540.24/3549.31 c 3549 64627 4025 1 1038.0000 1023.8441 1.38%
3545.43/3554.56 c 3555 64725 4035 1 1038.0000 1023.8477 1.38%
3551.51/3560.64 c 3561 64812 4040 1 1038.0000 1023.8481 1.38%
3557.50/3566.63 c 3567 64941 4049 1 1038.0000 1023.8558 1.38%
3562.79/3571.96 c 3572 65013 4071 1 1038.0000 1023.8812 1.38%
3567.88/3577.03 c 3577 65075 4077 1 1038.0000 1023.8890 1.38%
3573.36/3582.54 c 3583 65173 4089 1 1038.0000 1023.8892 1.38%
3578.85/3588.09 c 3588 65284 4094 1 1038.0000 1023.8894 1.38%
3584.74/3593.93 c 3594 65329 4103 1 1038.0000 1023.9003 1.38%
3588.83/3598.09 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.83/3598.09 c Total Time : 3598.10
3588.83/3598.09 c solving : 3598.10
3588.83/3598.09 c presolving : 0.04 (included in solving)
3588.83/3598.09 c B&B Tree :
3588.83/3598.09 c nodes (total) : 1
3588.83/3598.09 c Solution :
3588.83/3598.09 c Solutions found : 13
3588.83/3598.09 c Primal Bound : +1.03800000000000e+03
3588.83/3598.09 c Dual Bound : +1.02390378879871e+03
3588.83/3598.09 c Gap : 1.37671 %
3588.83/3598.09 c * Warning: final gap: 1.37671e-02 is greater than SCIPepsilon: 1.00000e-09
3588.83/3598.09 o 1038
3588.83/3598.09 s SATISFIABLE
3588.83/3598.09 v -x1968 -x1967 -x1966 x1965 -x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 x1956 x1955 -x1954 -x1953 x1952 -x1951 x1950 -x1949
3588.83/3598.09 v -x1948 x1947 -x1946 x1945 x1944 -x1943 -x1942 -x1941 -x1940 x1939 x1938 -x1937 x1936 x1935 x1934 x1933 -x1932 x1931 x1930
3588.83/3598.09 v x1929 x1928 -x1927 x1926 x1925 -x1924 x1923 x1922 x1921 -x1920 -x1919 -x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 x1911 -x1910
3588.83/3598.09 v x1909 x1908 x1907 -x1906 x1905 x1904 x1903 -x1902 x1901 -x1900 -x1899 -x1898 -x1897 x1896 x1895 -x1894 x1893 x1892 x1891 x1890
3588.83/3598.09 v -x1889 x1888 x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 x1880 -x1879 x1878 x1877 x1876 -x1875 x1874 x1873 x1872 x1871
3588.83/3598.09 v -x1870 -x1869 x1868 x1867 x1866 -x1865 -x1864 x1863 x1862 x1861 -x1860 -x1859 -x1858 -x1857 -x1856 x1855 -x1854 -x1853 -x1852
3588.83/3598.09 v x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 x1844 x1843 -x1842 x1841 x1840 x1839 x1838 -x1837 -x1836 x1835 -x1834 x1833
3588.83/3598.09 v x1832 -x1831 x1830 x1829 x1828 x1827 -x1826 -x1825 x1824 -x1823 x1822 -x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 x1814
3588.83/3598.09 v -x1813 -x1812 x1811 x1810 -x1809 x1808 x1807 x1806 -x1805 -x1804 x1803 x1802 -x1801 x1800 x1799 x1798 x1797 -x1796 -x1795 -x1794
3588.83/3598.09 v x1793 x1792 -x1791 x1790 x1789 x1788 -x1787 -x1786 x1785 -x1784 x1783 x1782 -x1781 x1780 x1779 -x1778 -x1777 -x1776 -x1775
3588.83/3598.09 v x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 x1764 x1763 -x1762 x1761 -x1760 x1759 x1758 x1757 -x1756
3588.83/3598.09 v -x1755 -x1754 -x1753 x1752 x1751 x1750 x1749 -x1748 -x1747 -x1746 -x1745 x1744 x1743 -x1742 -x1741 x1740 -x1739 -x1738 x1737
3588.83/3598.09 v x1736 x1735 -x1734 x1733 x1732 x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722 -x1721 x1720 x1719 -x1718 x1717
3588.83/3598.09 v x1716 -x1715 x1714 -x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 -x1705 -x1704 x1703 -x1702 x1701 -x1700 -x1699 x1698
3588.83/3598.09 v x1697 x1696 x1695 -x1694 x1693 x1692 -x1691 -x1690 x1689 x1688 x1687 x1686 x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 x1678
3588.83/3598.09 v x1677 x1676 x1675 -x1674 x1673 -x1672 -x1671 x1670 x1669 x1668 -x1667 x1666 x1665 x1664 x1663 x1662 x1661 x1660 -x1659 -x1658
3588.83/3598.09 v -x1657 x1656 x1655 x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 -x1647 x1646 x1645 x1644 x1643 x1642 x1641 x1640 x1639
3588.83/3598.09 v -x1638 x1637 x1636 x1635 x1634 x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619
3588.83/3598.09 v -x1618 -x1617 x1616 -x1615 x1614 x1613 x1612 -x1611 -x1610 x1609 x1608 x1607 -x1606 -x1605 x1604 x1603 x1602 x1601 -x1600
3588.83/3598.09 v -x1599 x1598 x1597 -x1596 -x1595 -x1594 x1593 x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 x1585 x1584 x1583 x1582 x1581 -x1580
3588.83/3598.09 v x1579 x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570 x1569 x1568 x1567 x1566 -x1565 -x1564 -x1563 x1562 x1561
3588.83/3598.09 v x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 x1553 x1552 x1551 x1550 x1549 -x1548 -x1547 x1546 -x1545 x1544 x1543 -x1542 x1541
3588.83/3598.09 v x1540 -x1539 -x1538 -x1537 x1536 -x1535 x1534 x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 x1526 x1525 -x1524 -x1523 -x1522
3588.83/3598.09 v -x1521 -x1520 x1519 -x1518 x1517 x1516 x1515 x1514 -x1513 x1512 x1511 -x1510 -x1509 x1508 -x1507 x1506 x1505 -x1504 x1503
3588.83/3598.09 v -x1502 x1501 x1500 -x1499 -x1498 -x1497 -x1496 x1495 x1494 x1493 x1492 -x1491 -x1490 -x1489 -x1488 x1487 x1486 x1485 x1484
3588.83/3598.09 v -x1483 x1482 x1481 x1480 -x1479 -x1478 x1477 -x1476 x1475 -x1474 x1473 x1472 x1471 x1470 x1469 -x1468 -x1467 x1466 x1465 -x1464
3588.83/3598.09 v -x1463 x1462 x1461 x1460 x1459 -x1458 x1457 -x1456 x1455 -x1454 x1453 -x1452 -x1451 x1450 -x1449 x1448 -x1447 -x1446 -x1445
3588.83/3598.09 v -x1444 x1443 x1442 x1441 x1440 x1439 -x1438 -x1437 -x1436 x1435 x1434 x1433 x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
3588.83/3598.09 v -x1425 x1424 -x1423 x1422 x1421 x1420 -x1419 x1418 -x1417 x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 x1408 -x1407 -x1406
3588.83/3598.09 v -x1405 x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 x1397 -x1396 -x1395 x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388
3588.83/3598.09 v x1387 -x1386 x1385 -x1384 -x1383 x1382 x1381 x1380 x1379 x1378 -x1377 x1376 x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 x1368
3588.83/3598.09 v x1367 x1366 x1365 -x1364 -x1363 x1362 x1361 x1360 x1359 -x1358 -x1357 -x1356 x1355 -x1354 x1353 -x1352 x1351 x1350 -x1349
3588.83/3598.09 v x1348 -x1347 x1346 -x1345 x1344 -x1343 -x1342 x1341 x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 x1333 -x1332 -x1331 x1330 -x1329
3588.83/3598.09 v x1328 x1327 -x1326 x1325 -x1324 -x1323 x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 x1313 x1312 x1311 x1310
3588.83/3598.09 v x1309 x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 x1295 -x1294 x1293 -x1292 -x1291
3588.83/3598.09 v x1290 -x1289 x1288 -x1287 -x1286 x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 x1278 x1277 x1276 -x1275 -x1274 x1273 -x1272
3588.83/3598.09 v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 -x1258 -x1257 x1256 -x1255 x1254 x1253
3588.83/3598.09 v x1252 -x1251 x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 x1239 -x1238 x1237 x1236 -x1235 -x1234 x1233
3588.83/3598.09 v x1232 -x1231 -x1230 x1229 x1228 x1227 -x1226 x1225 x1224 -x1223 -x1222 x1221 x1220 -x1219 x1218 x1217 -x1216 x1215 -x1214 -x1213
3588.83/3598.09 v x1212 -x1211 -x1210 x1209 -x1208 x1207 -x1206 x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 x1197 -x1196 x1195 x1194
3588.83/3598.09 v x1193 x1192 x1191 -x1190 x1189 -x1188 -x1187 x1186 x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178 -x1177 x1176 -x1175
3588.83/3598.09 v x1174 -x1173 -x1172 -x1171 -x1170 x1169 x1168 -x1167 x1166 x1165 x1164 x1163 x1162 -x1161 x1160 x1159 x1158 x1157 x1156 -x1155
3588.83/3598.09 v x1154 x1153 -x1152 -x1151 x1150 x1149 -x1148 -x1147 x1146 x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139 x1138 x1137 -x1136
3588.83/3598.09 v -x1135 x1134 -x1133 -x1132 -x1131 x1130 -x1129 x1128 -x1127 -x1126 -x1125 x1124 x1123 -x1122 x1121 x1120 x1119 x1118 -x1117 x1116
3588.83/3598.09 v x1115 x1114 x1113 x1112 -x1111 x1110 x1109 x1108 x1107 -x1106 -x1105 x1104 x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097
3588.83/3598.09 v x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 x1088 x1087 x1086 x1085 x1084 x1083 -x1082 -x1081 -x1080 x1079 -x1078
3588.83/3598.09 v -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 x1070 x1069 -x1068 x1067 x1066 x1065 x1064 -x1063 -x1062 -x1061 -x1060 x1059
3588.83/3598.09 v -x1058 -x1057 x1056 x1055 x1054 -x1053 -x1052 x1051 x1050 x1049 x1048 -x1047 -x1046 x1045 x1044 x1043 -x1042 -x1041 x1040 x1039
3588.83/3598.09 v x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 x1029 -x1028 x1027 x1026 x1025 -x1024 -x1023 x1022 x1021 -x1020
3588.83/3598.09 v -x1019 x1018 -x1017 -x1016 x1015 -x1014 x1013 x1012 -x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 x1003 -x1002 x1001 x1000
3588.83/3598.09 v -x999 x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 x988 x987 x986 x985 -x984 x983 -x982 x981 x980 x979 x978
3588.83/3598.09 v -x977 -x976 -x975 -x974 x973 x972 -x971 x970 x969 -x968 x967 -x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 -x956 -x955 x954
3588.83/3598.09 v -x953 x952 x951 -x950 -x949 -x948 x947 -x946 x945 x944 -x943 x942 -x941 x940 x939 -x938 x937 x936 -x935 -x934 -x933 x932
3588.83/3598.09 v x931 -x930 x929 -x928 -x927 -x926 x925 -x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 -x914 x913 -x912 x911 -x910 -x909
3588.83/3598.09 v x908 x907 -x906 -x905 x904 -x903 x902 -x901 x900 x899 -x898 x897 x896 -x895 -x894 x893 x892 -x891 -x890 x889 x888 -x887 -x886
3588.83/3598.09 v x885 -x884 x883 x882 -x881 -x880 -x879 x878 x877 x876 -x875 x874 -x873 -x872 x871 -x870 -x869 x868 -x867 x866 x865 -x864
3588.83/3598.09 v -x863 x862 x861 -x860 x859 -x858 -x857 x856 -x855 -x854 -x853 x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842
3588.83/3598.09 v x841 -x840 -x839 -x838 x837 x836 x835 x834 -x833 x832 x831 -x830 x829 x828 x827 -x826 x825 -x824 -x823 -x822 -x821 x820 -x819
3588.83/3598.09 v -x818 x817 x816 -x815 x814 x813 x812 -x811 -x810 -x809 x808 x807 x806 -x805 x804 -x803 x802 x801 x800 -x799 -x798 x797 -x796
3588.83/3598.09 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 x787 -x786 x785 -x784 -x783 x782 -x781 -x780 x779 -x778 -x777 -x776 x775 x774
3588.83/3598.09 v x773 -x772 -x771 x770 -x769 x768 -x767 -x766 x765 -x764 -x763 x762 x761 x760 -x759 x758 -x757 x756 x755 -x754 x753 -x752 x751
3588.83/3598.09 v -x750 -x749 x748 x747 -x746 x745 -x744 x743 x742 x741 x740 x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729
3588.83/3598.09 v x728 x727 x726 x725 x724 -x723 -x722 x721 x720 x719 x718 x717 -x716 x715 -x714 x713 -x712 -x711 x710 -x709 -x708 -x707 x706 x705
3588.83/3598.09 v x704 -x703 -x702 -x701 x700 x699 x698 x697 -x696 -x695 -x694 -x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 -x683 x682
3588.83/3598.10 v -x681 x680 x679 -x678 x677 -x676 -x675 x674 -x673 x672 x671 -x670 -x669 -x668 -x667 -x666 x665 x664 -x663 x662 x661 x660 -x659
3588.83/3598.10 v x658 -x657 x656 x655 -x654 x653 -x652 x651 x650 x649 x648 x647 -x646 x645 x644 x643 x642 -x641 x640 x639 -x638 -x637 x636
3588.83/3598.10 v -x635 -x634 -x633 -x632 -x631 x630 -x629 x628 x627 x626 -x625 -x624 -x623 -x622 x621 x620 -x619 x618 x617 x616 -x615 -x614 -x613
3588.83/3598.10 v -x612 -x611 -x610 -x609 x608 x607 x606 x605 x604 x603 -x602 x601 -x600 -x599 -x598 -x597 x596 x595 x594 x593 x592 x591 -x590
3588.83/3598.10 v x589 x588 -x587 -x586 -x585 -x584 x583 x582 -x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 -x572 -x571 x570 x569 x568
3588.83/3598.10 v x567 x566 x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 x556 x555 x554 -x553 -x552 x551 x550 x549 x548 -x547 x546 -x545
3588.83/3598.10 v x544 -x543 x542 -x541 -x540 -x539 x538 x537 -x536 -x535 x534 x533 x532 x531 -x530 x529 -x528 -x527 -x526 x525 x524 -x523 -x522
3588.83/3598.10 v x521 -x520 x519 x518 -x517 x516 x515 x514 -x513 -x512 x511 -x510 x509 -x508 x507 x506 -x505 -x504 -x503 x502 x501 -x500 -x499
3588.83/3598.10 v x498 -x497 -x496 x495 -x494 x493 x492 x491 -x490 -x489 x488 -x487 -x486 x485 -x484 -x483 x482 -x481 x480 x479 -x478 -x477
3588.83/3598.10 v -x476 x475 -x474 x473 -x472 x471 x470 x469 x468 -x467 x466 x465 -x464 x463 x462 -x461 x460 -x459 x458 x457 x456 x455 -x454 -x453
3588.83/3598.10 v x452 x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 x438 -x437 x436 -x435 -x434 x433 -x432 x431 -x430
3588.83/3598.10 v -x429 -x428 -x427 x426 x425 -x424 x423 -x422 -x421 x420 x419 x418 x417 x416 x415 -x414 -x413 -x412 -x411 x410 -x409 x408
3588.83/3598.10 v -x407 x406 x405 x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 x395 -x394 -x393 x392 x391 x390 -x389 -x388 -x387 x386 -x385
3588.83/3598.10 v -x384 x383 x382 x381 x380 -x379 x378 x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 x368 x367 x366 -x365 -x364 x363 -x362
3588.83/3598.10 v x361 x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 x352 x351 x350 x349 x348 -x347 x346 -x345 -x344 x343 -x342 x341 x340 x339
3588.83/3598.10 v x338 x337 x336 -x335 -x334 -x333 x332 x331 -x330 -x329 x328 -x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 x318 -x317 x316
3588.83/3598.10 v -x315 -x314 -x313 x312 x311 -x310 x309 x308 -x307 -x306 x305 x304 -x303 x302 -x301 -x300 x299 -x298 -x297 x296 -x295 -x294
3588.83/3598.10 v -x293 -x292 -x291 x290 x289 -x288 -x287 x286 -x285 -x284 x283 x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272
3588.83/3598.10 v x271 -x270 -x269 x268 -x267 x266 x265 x264 -x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 x251 x250 -x249
3588.83/3598.10 v x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 x234 -x233 -x232 x231 x230 -x229 -x228 x227
3588.83/3598.10 v -x226 x225 x224 x223 -x222 -x221 x220 -x219 x218 x217 x216 x215 x214 x213 -x212 x211 x210 x209 x208 -x207 -x206 x205 -x204
3588.83/3598.10 v -x203 -x202 -x201 -x200 -x199 -x198 x197 x196 x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 x186 x185 x184 x183 x182 -x181
3588.83/3598.10 v -x180 x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 x161 -x160 -x159 -x158
3588.83/3598.10 v x157 -x156 -x155 x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 -x145 x144 -x143 x142 -x141 x140 x139 -x138 x137 x136 x135
3588.83/3598.10 v -x134 -x133 x132 x131 x130 -x129 x128 -x127 -x126 x125 x124 -x123 x122 x121 x120 x119 -x118 x117 x116 x115 -x114 -x113 -x112
3588.83/3598.10 v x111 x110 x109 -x108 x107 x106 -x105 -x104 x103 x102 x101 -x100 x99 -x98 -x97 x96 x95 -x94 x93 -x92 -x91 x90 x89 -x88 -x87
3588.83/3598.10 v -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 x60 x59
3588.83/3598.10 v 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
3588.83/3598.10 v -x31 x30 x29 -x28 x27 x26 x25 -x24 -x23 x22 x21 x20 x19 -x18 x17 -x16 x15 -x14 -x13 x12 x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2
3588.83/3598.10 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 (60840 MiB free)
memory of node 1: 64473 MiB (61906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463990-1722378595/watcher-4463990-1722378595 -o /tmp/evaluation-result-4463990-1722378595/solver-4463990-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463990-1722378595.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30365, runsolver pid=30362
[startup+0.10009 s]*
/proc/loadavg: 0.15 0.11 0.09 5/264 30370
/proc/meminfo: memFree=125632836/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=131272 memory=45416 CPUtime=0.1 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 9730 0 0 0 9 1 0 0 20 0 3 0 4459752 134422528 11354 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 32818 11354 2790 3035 0 15231 0
[pid=30365/tid=30369] ppid=30362 vsize=131272 memory=4026561586 CPUtime=0.03 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 3566 0 0 0 3 0 0 0 20 0 3 0 4459758 134422528 11354 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=131272 memory=228556276070 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459759 134422528 11354 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131272 KiB
Current children cumulated memory: 45416 KiB
[startup+0.205503 s]*
/proc/loadavg: 0.15 0.11 0.09 5/264 30370
/proc/meminfo: memFree=125624184/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=132296 memory=52796 CPUtime=0.2 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 11467 0 0 0 19 1 0 0 20 0 3 0 4459752 135471104 13199 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 33074 13199 2934 3035 0 17004 0
[pid=30365/tid=30369] ppid=30362 vsize=132296 memory=664970838410264707 CPUtime=0.13 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 5303 0 0 0 13 0 0 0 20 0 3 0 4459758 135471104 13199 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=132296 memory=572 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459759 135471104 13199 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132296 KiB
Current children cumulated memory: 52796 KiB
[startup+0.305689 s]*
/proc/loadavg: 0.15 0.11 0.09 5/264 30370
/proc/meminfo: memFree=125589864/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=132296 memory=52796 CPUtime=0.3 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 11468 0 0 0 29 1 0 0 20 0 3 0 4459752 135471104 13199 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 33074 13199 2934 3035 0 17004 0
[pid=30365/tid=30369] ppid=30362 vsize=132296 memory=-5155633487783160709 CPUtime=0.23 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 5304 0 0 0 23 0 0 0 20 0 3 0 4459758 135471104 13199 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=132296 memory=0 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459759 135471104 13199 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132296 KiB
Current children cumulated memory: 52796 KiB
[startup+0.700171 s]
/proc/loadavg: 0.15 0.11 0.09 5/266 30372
/proc/meminfo: memFree=125508252/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=133752 memory=57312 CPUtime=0.68 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 12598 0 0 0 67 1 0 0 20 0 3 0 4459752 136962048 14328 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 33438 14328 2950 3035 0 18323 0
[pid=30365/tid=30369] ppid=30362 vsize=133752 memory=0 CPUtime=0.62 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 6434 0 0 0 62 0 0 0 20 0 3 0 4459758 136962048 14328 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=133752 memory=0 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459759 136962048 14328 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133752 KiB
Current children cumulated memory: 57312 KiB
[startup+1.5002 s]
/proc/loadavg: 0.15 0.11 0.09 5/266 30372
/proc/meminfo: memFree=125502856/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=133752 memory=58472 CPUtime=1.48 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 16609 0 0 0 147 1 0 0 20 0 3 0 4459752 136962048 14618 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 33438 14618 2950 3035 0 18649 0
[pid=30365/tid=30369] ppid=30362 vsize=133752 memory=0 CPUtime=1.41 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 10438 0 0 0 141 0 0 0 20 0 3 0 4459758 136962048 14618 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=133752 memory=0 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4459759 136962048 14618 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133752 KiB
Current children cumulated memory: 58472 KiB
[startup+3.10501 s]
/proc/loadavg: 0.46 0.18 0.11 5/266 30372
/proc/meminfo: memFree=125408388/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=140380 memory=74600 CPUtime=3.08 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 22541 0 0 0 306 2 0 0 20 0 3 0 4459752 143749120 18650 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 35095 18650 2950 3035 0 22877 0
[pid=30365/tid=30369] ppid=30362 vsize=140380 memory=0 CPUtime=3.02 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 16386 0 0 0 301 1 0 0 20 0 3 0 4459758 143749120 18650 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=140380 memory=2273 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4459759 143749120 18650 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 140380 KiB
Current children cumulated memory: 74600 KiB
[startup+6.30017 s]
/proc/loadavg: 0.46 0.18 0.11 5/266 30374
/proc/meminfo: memFree=125313728/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=169208 memory=109992 CPUtime=6.27 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 46047 0 0 0 623 4 0 0 20 0 3 0 4459752 173268992 27498 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 42302 27498 2950 3035 0 31967 0
[pid=30365/tid=30369] ppid=30362 vsize=169208 memory=85416 CPUtime=6.21 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 39872 0 0 0 618 3 0 0 20 0 3 0 4459758 173268992 27498 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=169208 memory=-5155633487783160709 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4459759 173268992 27498 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 169208 KiB
Current children cumulated memory: 109992 KiB
[startup+12.7002 s]
/proc/loadavg: 1.00 0.30 0.16 5/266 30374
/proc/meminfo: memFree=125226032/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=197308 memory=145720 CPUtime=12.65 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 70314 0 0 0 1259 6 0 0 20 0 3 0 4459752 202043392 36430 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 49327 36430 2950 3035 0 42220 0
[pid=30365/tid=30369] ppid=30362 vsize=197308 memory=164 CPUtime=12.59 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 64109 0 0 0 1254 5 0 0 20 0 3 0 4459758 202043392 36430 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=197308 memory=145640 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4459759 202043392 36430 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197308 KiB
Current children cumulated memory: 145720 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.42 0.20 5/266 30375
/proc/meminfo: memFree=125155592/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=197308 memory=146592 CPUtime=25.42 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 89621 0 0 0 2534 8 0 0 20 0 3 0 4459752 202043392 36648 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 49327 36648 2998 3035 0 42220 0
[pid=30365/tid=30369] ppid=30362 vsize=197308 memory=146148 CPUtime=25.36 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 83343 0 0 0 2529 7 0 0 20 0 3 0 4459758 202043392 36648 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=197308 memory=12340 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4459759 202043392 36648 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 197308 KiB
Current children cumulated memory: 146592 KiB
[startup+51.1055 s]
/proc/loadavg: 2.33 0.71 0.30 5/268 30439
/proc/meminfo: memFree=124990340/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=296328 memory=196848 CPUtime=50.95 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 157289 0 0 0 5082 13 0 0 20 0 3 0 4459752 303439872 49212 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 74082 49212 2998 3035 0 55679 0
[pid=30365/tid=30369] ppid=30362 vsize=296328 memory=196848 CPUtime=50.88 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 149826 0 0 0 5076 12 0 0 20 0 3 0 4459758 303439872 49212 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=296328 memory=156660 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4459759 303439872 49212 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 296328 KiB
Current children cumulated memory: 196848 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.31 0.53 5/268 30449
/proc/meminfo: memFree=124816220/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=304744 memory=224564 CPUtime=101.98 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 267339 0 0 0 10179 19 0 0 20 0 3 0 4459752 312057856 56141 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 76186 56141 2998 3035 0 63013 0
[pid=30365/tid=30369] ppid=30362 vsize=304744 memory=12400 CPUtime=101.91 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 259055 0 0 0 10173 18 0 0 20 0 3 0 4459758 312057856 56141 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=304744 memory=221660 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4459759 312057856 56141 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 304744 KiB
Current children cumulated memory: 224564 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.82 0.76 5/268 30459
/proc/meminfo: memFree=124621852/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=371460 memory=265780 CPUtime=161.8 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 344737 0 0 0 16155 25 0 0 20 0 3 0 4459752 380375040 66445 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 92865 66445 2998 3035 0 74175 0
[pid=30365/tid=30369] ppid=30362 vsize=371460 memory=258668 CPUtime=161.73 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 336390 0 0 0 16149 24 0 0 20 0 3 0 4459758 380375040 66445 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=371460 memory=265712 CPUtime=0 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4459759 380375040 66445 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 371460 KiB
################
# More data... #
################
/proc/30365/statm: 140567 127011 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=505252 CPUtime=3393.32 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1316146 0 0 0 339216 116 0 0 20 0 3 0 4459758 575762432 127011 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=507836 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 173 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127011 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/264 32009
/proc/meminfo: memFree=121983012/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508388 CPUtime=3453.45 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1337162 0 0 0 345222 123 0 0 20 0 3 0 4459752 575762432 127097 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127097 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=505252 CPUtime=3453.18 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1327448 0 0 0 345201 117 0 0 20 0 3 0 4459758 575762432 127097 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=12340 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127097 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/266 32189
/proc/meminfo: memFree=121967276/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508676 CPUtime=3513.31 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1346295 0 0 0 351206 125 0 0 20 0 3 0 4459752 575762432 127169 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127169 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=508676 CPUtime=3513.03 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1336571 0 0 0 351185 118 0 0 20 0 3 0 4459758 575762432 127169 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=-7452449699976537210 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127169 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/266 32199
/proc/meminfo: memFree=121952232/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3573.16 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1351713 0 0 0 357191 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=508940 CPUtime=3572.89 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1341978 0 0 0 357170 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=5596 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 179 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3598.11 s]
# the end of solver process 30365 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.68 s, system=1.26635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.08 5/266 32199
/proc/meminfo: memFree=121952288/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3574.86 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1351713 0 0 0 357361 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=2756 CPUtime=3574.59 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1341978 0 0 0 357340 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=4714027033234665119 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 179 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3574.86 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943744/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3581.24 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1353423 0 0 0 357999 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=12680 CPUtime=3580.97 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1343685 0 0 0 357978 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=12400 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 181 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3581.24 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943692/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3584.44 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1353579 0 0 0 358319 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=12340 CPUtime=3584.16 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1343841 0 0 0 358297 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=508940 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 181 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3584.44 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943664/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3586.03 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1353693 0 0 0 358478 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=11456 CPUtime=3585.76 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1343954 0 0 0 358457 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=5420 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 181 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32202
/proc/meminfo: memFree=121943672/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3587.63 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1353702 0 0 0 358638 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=12340 CPUtime=3587.35 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1343963 0 0 0 358616 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=508940 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 181 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.12 4.08 4/262 32202
/proc/meminfo: memFree=122525196/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3588.43 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1353702 0 0 0 358718 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=16144 CPUtime=3588.15 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1343963 0 0 0 358696 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=2336 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 181 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3588.43 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
[startup+3598 s]*
/proc/loadavg: 3.99 4.10 4.07 2/247 32263
/proc/meminfo: memFree=125359508/131524600 swapFree=131071996/131071996
[pid=30365] ppid=30362 vsize=562268 memory=508940 CPUtime=3588.83 cores=5,7
/proc/30365/stat : 30365 (fscip) S 30362 30365 30194 0 -1 1077936128 1353777 0 0 0 358758 125 0 0 20 0 3 0 4459752 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
/proc/30365/statm: 140567 127235 2998 3035 0 130363 0
[pid=30365/tid=30369] ppid=30362 vsize=562268 memory=-7452449699976537210 CPUtime=3588.56 cores=5,7
/proc/30365/task/30369/stat : 30369 (fscip) R 30362 30365 30194 0 -1 4194368 1344038 0 0 0 358737 119 0 0 20 0 3 0 4459758 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
[pid=30365/tid=30370] ppid=30362 vsize=562268 memory=-4421386491953113444 CPUtime=0.02 cores=5,7
/proc/30365/task/30370/stat : 30370 (fscip) S 30362 30365 30194 0 -1 1077936192 181 0 0 0 1 1 0 0 20 0 3 0 4459759 575762432 127235 134679101440 4194304 16623229 140722445139856 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45834240 140722445149206 140722445149322 140722445149322 140722445156336 0
Current children cumulated CPU time: 3588.83 s
Current children cumulated vsize: 562268 KiB
Current children cumulated memory: 508940 KiB
Child status: 0
Real time (s): 3598.11
CPU time (s): 3588.95
CPU user time (s): 3587.68
CPU system time (s): 1.26635
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 562268
Max. memory (cumulated for all children) (KiB): 508940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.68
system time used= 1.26635
maximum resident set size= 508940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1354541
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= 10151
involuntary context switches= 1648
# summary of solver processes directly reported to runsolver:
# pid: 30365
# total CPU time (s): 3588.95
# total CPU user time (s): 3587.68
# total CPU system time (s): 1.26635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79797 second user time and 14.2542 second system time
The end
Begin job on nodeC026 at 2024-07-31 00:29:55
IDJOB=4463990
IDBENCH=147528
IDSOLVER=3092
FILE ID=nodeC026/4463990-1722378595
RUNJOBID= nodeC026-1722378594-30207
SLURM_JOB_ID= 8249849
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.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-4463990-1722378595/watcher-4463990-1722378595 -o /tmp/evaluation-result-4463990-1722378595/solver-4463990-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463990-1722378595.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 814b6c4383076cbdda85b96364bc781d
RANDOM SEED=1453536771
nodeC026.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 : 3670.032
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 : 7000.59
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 : 3682.225
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 : 7006.70
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 : 3617.497
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 : 7000.59
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 : 3600.665
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 : 7006.70
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 : 3668.738
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 : 7000.59
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 : 3683.578
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 : 7006.70
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 : 3629.095
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 : 7000.59
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 : 3667.444
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 : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125697324 kB
MemAvailable: 129706928 kB
Buffers: 87384 kB
Cached: 4739428 kB
SwapCached: 0 kB
Active: 258596 kB
Inactive: 5057648 kB
Active(anon): 1464 kB
Inactive(anon): 508976 kB
Active(file): 257132 kB
Inactive(file): 4548672 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113896 kB
Writeback: 0 kB
AnonPages: 489228 kB
Mapped: 121932 kB
Shmem: 21336 kB
KReclaimable: 87248 kB
Slab: 171280 kB
SReclaimable: 87248 kB
SUnreclaim: 84032 kB
KernelStack: 4132 kB
PageTables: 9952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 739280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-31 01:29:54