0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.15 c Default LC presolving (default).
0.09/0.15 c ** Before presolving: virtualMemUsedAtLc = 131098018, getVmSize() = 99184640, SCIPgetMemUsed() = 64233338, SCIPgetMemTotal() = 73248794, SCIPgetMemExternEstim() = 57849224
0.09/0.15 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.19/1.25 c ** Estimated virtualMemUsedAtSolver = 228799799, getVmSize() = 320827392, SCIPgetMemUsed() = 147710547, SCIPgetMemTotal() = 285350475, SCIPgetMemExternEstim() = 57849224
1.19/1.25 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.19/1.25 c Original Problem :
1.19/1.25 c Problem name : instance-4464047-1722378594
1.19/1.25 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.25 c Constraints : 59186
1.19/1.25 c Objective sense : minimize
1.19/1.25 c Presolved Problem :
1.19/1.25 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.25 c Constraints : 59186
1.19/1.25 c Constraints : Number
1.19/1.25 c setppc : 59186
1.19/1.25 c ** Instance transfer method used: 0
1.29/1.32 c ** ParaScipInstance copy does not increase the number of variables. **
1.29/1.38 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.29/1.38 c Nodes Active
1.29/1.38 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.58/2.61 c * 3 0 1 1 -27.0000 - -
2.58/2.66 c * 3 0 1 1 -33.0000 - -
20.93/21.09 c 21 2 1 1 -33.0000 -45.0000 36.36%
22.12/22.28 c * 22 2 1 1 -35.0000 -45.0000 28.57%
27.30/27.47 c 27 39 38 1 -35.0000 -45.0000 28.57%
32.30/32.48 c 32 52 51 1 -35.0000 -45.0000 28.57%
38.89/39.02 c 39 69 68 1 -35.0000 -45.0000 28.57%
44.66/44.84 c 45 87 86 1 -35.0000 -45.0000 28.57%
48.65/48.89 c * 49 97 92 1 -36.0000 -45.0000 25.00%
50.95/51.12 c 51 106 96 1 -36.0000 -45.0000 25.00%
56.93/57.10 c 57 137 107 1 -36.0000 -45.0000 25.00%
62.11/62.32 c 62 183 129 1 -36.0000 -45.0000 25.00%
66.70/66.91 c * 67 239 159 1 -37.0000 -45.0000 21.62%
67.19/67.43 c 67 258 164 1 -37.0000 -45.0000 21.62%
72.78/73.02 c 73 316 190 1 -37.0000 -45.0000 21.62%
77.87/78.19 c 78 410 234 1 -37.0000 -45.0000 21.62%
82.26/82.52 c * 83 465 257 1 -38.0000 -45.0000 18.42%
83.25/83.50 c 84 489 236 1 -38.0000 -45.0000 18.42%
91.53/91.82 c 92 513 246 1 -38.0000 -45.0000 18.42%
96.61/96.91 c 97 529 250 1 -38.0000 -45.0000 18.42%
102.30/102.60 c 103 568 265 1 -38.0000 -45.0000 18.42%
108.18/108.58 c 109 652 295 1 -38.0000 -45.0000 18.42%
113.97/114.33 c 114 718 331 1 -38.0000 -45.0000 18.42%
120.55/120.95 c 121 809 362 1 -38.0000 -45.0000 18.42%
125.64/126.03 c 126 858 397 1 -38.0000 -45.0000 18.42%
126.34/126.72 c * 127 858 397 1 -39.0000 -45.0000 15.38%
126.34/126.73 c * 127 858 397 1 -40.0000 -45.0000 12.50%
133.22/133.68 c 134 1137 361 1 -40.0000 -45.0000 12.50%
139.30/139.79 c 140 1183 371 1 -40.0000 -45.0000 12.50%
153.27/153.77 c 154 1211 0 1 -40.0000 -45.0000 12.50%
158.85/159.33 c 159 1222 11 1 -40.0000 -45.0000 12.50%
164.73/165.23 c 165 1384 63 1 -40.0000 -45.0000 12.50%
169.81/170.33 c 170 1536 111 1 -40.0000 -45.0000 12.50%
175.00/175.50 c 176 1581 154 1 -40.0000 -45.0000 12.50%
181.49/182.06 c 182 1588 161 1 -40.0000 -45.0000 12.50%
189.27/189.82 c 190 1608 179 1 -40.0000 -45.0000 12.50%
194.65/195.28 c 195 1682 249 1 -40.0000 -45.0000 12.50%
200.63/201.24 c 201 1730 293 1 -40.0000 -45.0000 12.50%
205.72/206.39 c 206 1857 408 1 -40.0000 -45.0000 12.50%
211.51/212.14 c 212 1895 442 1 -40.0000 -45.0000 12.50%
217.40/218.09 c 218 1914 457 1 -40.0000 -45.0000 12.50%
223.48/224.16 c 224 1935 466 1 -40.0000 -45.0000 12.50%
231.35/232.09 c 232 1962 491 1 -40.0000 -45.0000 12.50%
236.44/237.13 c 237 2029 548 1 -40.0000 -45.0000 12.50%
242.62/243.39 c 243 2075 584 1 -40.0000 -45.0000 12.50%
252.09/252.88 c 253 2142 633 1 -40.0000 -45.0000 12.50%
257.97/258.76 c 259 2219 686 1 -40.0000 -45.0000 12.50%
263.65/264.42 c 264 2311 766 1 -40.0000 -45.0000 12.50%
269.43/270.29 c 270 2353 798 1 -40.0000 -45.0000 12.50%
275.41/276.29 c 276 2456 877 1 -40.0000 -45.0000 12.50%
280.90/281.72 c 282 2493 894 1 -40.0000 -45.0000 12.50%
286.29/287.11 c 287 2533 924 1 -40.0000 -45.0000 12.50%
291.27/292.14 c 292 2586 961 1 -40.0000 -45.0000 12.50%
297.45/298.35 c 298 2661 1012 1 -40.0000 -45.0000 12.50%
304.02/304.97 c 305 2713 1056 1 -40.0000 -45.0000 12.50%
310.11/311.02 c 311 2782 1103 1 -40.0000 -45.0000 12.50%
315.58/316.53 c 317 2893 1186 1 -40.0000 -45.0000 12.50%
321.36/322.37 c 322 2973 1254 1 -40.0000 -45.0000 12.50%
328.54/329.58 c 330 3060 1319 1 -40.0000 -45.0000 12.50%
334.52/335.58 c 336 3186 1403 1 -40.0000 -45.0000 12.50%
340.50/341.54 c 342 3235 1436 1 -40.0000 -45.0000 12.50%
347.19/348.28 c 348 3297 1482 1 -40.0000 -45.0000 12.50%
352.57/353.67 c 354 3365 1530 1 -40.0000 -45.0000 12.50%
360.75/361.80 c 362 3409 1552 1 -40.0000 -45.0000 12.50%
366.34/367.40 c 367 3493 1622 1 -40.0000 -45.0000 12.50%
371.42/372.54 c 373 3626 1739 1 -40.0000 -45.0000 12.50%
377.60/378.73 c 379 3689 1790 1 -40.0000 -45.0000 12.50%
383.69/384.88 c 385 3790 1857 1 -40.0000 -45.0000 12.50%
389.08/390.25 c 390 3884 1915 1 -40.0000 -45.0000 12.50%
396.86/398.06 c 398 3959 1970 1 -40.0000 -45.0000 12.50%
403.03/404.20 c 404 4063 2064 1 -40.0000 -45.0000 12.50%
408.33/409.58 c 410 4096 2097 1 -40.0000 -45.0000 12.50%
414.01/415.20 c 415 4191 2162 1 -40.0000 -45.0000 12.50%
420.00/421.29 c 421 4302 2247 1 -40.0000 -45.0000 12.50%
425.08/426.36 c 426 4462 2393 1 -40.0000 -45.0000 12.50%
432.06/433.31 c 433 4618 2519 1 -40.0000 -45.0000 12.50%
438.05/439.36 c 439 4678 2567 1 -40.0000 -45.0000 12.50%
443.23/444.57 c 445 4835 2696 1 -40.0000 -45.0000 12.50%
448.42/449.74 c 450 5019 2842 1 -40.0000 -45.0000 12.50%
453.60/454.95 c 455 5193 2986 1 -40.0000 -45.0000 12.50%
459.19/460.53 c 461 5276 3055 1 -40.0000 -45.0000 12.50%
466.97/468.36 c 468 5329 3100 1 -40.0000 -45.0000 12.50%
472.26/473.63 c 474 5501 3218 1 -40.0000 -45.0000 12.50%
478.24/479.64 c 480 5514 3229 1 -40.0000 -45.0000 12.50%
484.23/485.61 c 486 5538 3239 1 -40.0000 -45.0000 12.50%
489.52/490.91 c 491 5623 3304 1 -40.0000 -45.0000 12.50%
495.90/497.30 c 497 5666 3341 1 -40.0000 -45.0000 12.50%
503.38/504.84 c 505 5679 3348 1 -40.0000 -45.0000 12.50%
509.86/511.37 c 511 5740 3387 1 -40.0000 -45.0000 12.50%
515.94/517.42 c 517 5840 3455 1 -40.0000 -45.0000 12.50%
523.23/524.73 c 525 5864 3473 1 -40.0000 -45.0000 12.50%
528.52/530.04 c 530 5951 3542 1 -40.0000 -45.0000 12.50%
535.40/536.98 c 537 6066 3639 1 -40.0000 -45.0000 12.50%
542.18/543.78 c 544 6156 3713 1 -40.0000 -45.0000 12.50%
547.37/548.92 c 549 6347 3844 1 -40.0000 -45.0000 12.50%
553.35/554.92 c 555 6480 3947 1 -40.0000 -45.0000 12.50%
558.74/560.34 c 560 6524 3981 1 -40.0000 -45.0000 12.50%
564.22/565.85 c 566 6596 4031 1 -40.0000 -45.0000 12.50%
570.20/571.86 c 572 6756 4143 1 -40.0000 -45.0000 12.50%
575.29/576.95 c 577 6906 4249 1 -40.0000 -45.0000 12.50%
580.28/581.99 c 582 7002 4315 1 -40.0000 -45.0000 12.50%
588.85/590.53 c 591 7130 4409 1 -40.0000 -45.0000 12.50%
594.14/595.87 c 596 7283 4528 1 -40.0000 -45.0000 12.50%
601.02/602.75 c 603 7334 4565 1 -40.0000 -45.0000 12.50%
606.31/608.09 c 608 7483 4686 1 -40.0000 -45.0000 12.50%
612.09/613.83 c 614 7578 4749 1 -40.0000 -45.0000 12.50%
617.17/618.99 c 619 7726 4863 1 -40.0000 -45.0000 12.50%
624.86/626.69 c 627 7772 4899 1 -40.0000 -45.0000 12.50%
630.14/631.94 c 632 7943 5012 1 -40.0000 -45.0000 12.50%
637.73/639.51 c 640 8074 5123 1 -40.0000 -45.0000 12.50%
642.81/644.64 c 645 8244 5247 1 -40.0000 -45.0000 12.50%
648.49/650.34 c 650 8373 5340 1 -40.0000 -45.0000 12.50%
654.48/656.32 c 656 8486 5427 1 -40.0000 -45.0000 12.50%
660.37/662.20 c 662 8626 5551 1 -40.0000 -45.0000 12.50%
665.35/667.25 c 667 8675 5580 1 -40.0000 -45.0000 12.50%
670.44/672.32 c 672 8872 5719 1 -40.0000 -45.0000 12.50%
676.72/678.67 c 679 8972 5785 1 -40.0000 -45.0000 12.50%
683.10/685.06 c 685 9011 5818 1 -40.0000 -45.0000 12.50%
690.68/692.69 c 693 9166 5917 1 -40.0000 -45.0000 12.50%
695.77/697.74 c 698 9298 6007 1 -40.0000 -45.0000 12.50%
701.36/703.38 c 703 9482 6113 1 -40.0000 -45.0000 12.50%
708.53/710.56 c 711 9664 6247 1 -40.0000 -45.0000 12.50%
714.52/716.53 c 717 9773 6314 1 -40.0000 -45.0000 12.50%
719.90/721.97 c 722 9886 6381 1 -40.0000 -45.0000 12.50%
727.28/729.38 c 729 10072 6529 1 -40.0000 -45.0000 12.50%
734.16/736.22 c 736 10181 6602 1 -40.0000 -45.0000 12.50%
739.24/741.30 c 741 10343 6722 1 -40.0000 -45.0000 12.50%
744.72/746.85 c 747 10421 6772 1 -40.0000 -45.0000 12.50%
751.21/753.38 c 753 10564 6865 1 -40.0000 -45.0000 12.50%
756.99/759.15 c 759 10655 6932 1 -40.0000 -45.0000 12.50%
762.77/764.95 c 765 10836 7055 1 -40.0000 -45.0000 12.50%
767.96/770.14 c 770 10919 7108 1 -40.0000 -45.0000 12.50%
775.24/777.40 c 777 11034 7195 1 -40.0000 -45.0000 12.50%
780.42/782.61 c 783 11143 7272 1 -40.0000 -45.0000 12.50%
785.72/787.90 c 788 11335 7406 1 -40.0000 -45.0000 12.50%
793.69/795.96 c 796 11492 7517 1 -40.0000 -45.0000 12.50%
799.18/801.44 c 801 11649 7636 1 -40.0000 -45.0000 12.50%
805.06/807.35 c 807 11756 7705 1 -40.0000 -45.0000 12.50%
810.85/813.12 c 813 11807 7742 1 -40.0000 -45.0000 12.50%
818.02/820.37 c 820 11899 7812 1 -40.0000 -45.0000 12.50%
823.41/825.72 c 826 11956 7857 1 -40.0000 -45.0000 12.50%
828.50/830.87 c 831 11992 7881 1 -40.0000 -45.0000 12.50%
834.79/837.12 c 837 12121 7972 1 -40.0000 -45.0000 12.50%
842.96/845.31 c 845 12248 8057 1 -40.0000 -45.0000 12.50%
848.25/850.66 c 851 12386 8157 1 -40.0000 -45.0000 12.50%
853.43/855.81 c 856 12463 8214 1 -40.0000 -45.0000 12.50%
860.12/862.51 c 863 12576 8297 1 -40.0000 -45.0000 12.50%
865.90/868.33 c 868 12653 8348 1 -40.0000 -45.0000 12.50%
872.58/875.04 c 875 12713 8396 1 -40.0000 -45.0000 12.50%
877.58/880.08 c 880 12795 8462 1 -40.0000 -45.0000 12.50%
883.86/886.36 c 886 12825 8482 1 -40.0000 -45.0000 12.50%
890.44/892.90 c 893 12927 8546 1 -40.0000 -45.0000 12.50%
895.63/898.16 c 898 13064 8631 1 -40.0000 -45.0000 12.50%
901.31/903.83 c 904 13192 8731 1 -40.0000 -45.0000 12.50%
906.40/908.93 c 909 13351 8852 1 -40.0000 -45.0000 12.50%
911.59/914.12 c 914 13413 8894 1 -40.0000 -45.0000 12.50%
917.06/919.68 c 920 13525 8974 1 -40.0000 -45.0000 12.50%
922.56/925.13 c 925 13608 9043 1 -40.0000 -45.0000 12.50%
927.84/930.41 c 930 13777 9182 1 -40.0000 -45.0000 12.50%
932.93/935.50 c 936 13963 9330 1 -40.0000 -45.0000 12.50%
939.01/941.63 c 942 14133 9446 1 -40.0000 -45.0000 12.50%
943.99/946.69 c 947 14202 9513 1 -40.0000 -45.0000 12.50%
949.18/951.84 c 952 14368 9649 1 -40.0000 -45.0000 12.50%
954.27/956.99 c 957 14566 9809 1 -40.0000 -45.0000 12.50%
959.36/962.08 c 962 14730 9953 1 -40.0000 -45.0000 12.50%
964.74/967.47 c 967 14829 10040 1 -40.0000 -45.0000 12.50%
974.01/976.71 c 977 14849 10056 1 -40.0000 -45.0000 12.50%
981.20/983.91 c 984 14880 10079 1 -40.0000 -45.0000 12.50%
989.28/992.10 c 992 14930 10111 1 -40.0000 -45.0000 12.50%
996.96/999.71 c 1000 14955 10128 1 -40.0000 -45.0000 12.50%
1002.35/1005.15 c 1005 14972 10139 1 -40.0000 -45.0000 12.50%
1009.13/1011.99 c 1012 15003 10162 1 -40.0000 -45.0000 12.50%
1016.51/1019.39 c 1019 15037 10194 1 -40.0000 -45.0000 12.50%
1025.89/1028.74 c 1029 15081 10224 1 -40.0000 -45.0000 12.50%
1033.37/1036.29 c 1036 15121 10248 1 -40.0000 -45.0000 12.50%
1039.27/1042.19 c 1042 15175 10280 1 -40.0000 -45.0000 12.50%
1045.94/1048.82 c 1049 15179 10282 1 -40.0000 -45.0000 12.50%
1051.92/1054.81 c 1055 15237 10328 1 -40.0000 -45.0000 12.50%
1057.42/1060.32 c 1060 15271 10354 1 -40.0000 -45.0000 12.50%
1066.10/1069.01 c 1069 15308 10383 1 -40.0000 -45.0000 12.50%
1072.18/1075.14 c 1075 15339 10410 1 -40.0000 -45.0000 12.50%
1079.45/1082.49 c 1082 15432 10469 1 -40.0000 -45.0000 12.50%
1084.94/1087.92 c 1088 15480 10505 1 -40.0000 -45.0000 12.50%
1090.93/1093.95 c 1094 15494 10517 1 -40.0000 -45.0000 12.50%
1096.02/1099.04 c 1099 15540 10551 1 -40.0000 -45.0000 12.50%
1101.90/1104.94 c 1105 15629 10632 1 -40.0000 -45.0000 12.50%
1109.88/1112.91 c 1113 15761 10730 1 -40.0000 -45.0000 12.50%
1115.77/1118.87 c 1119 15795 10752 1 -40.0000 -45.0000 12.50%
1123.25/1126.32 c 1126 15817 10766 1 -40.0000 -45.0000 12.50%
1129.04/1132.15 c 1132 15873 10804 1 -40.0000 -45.0000 12.50%
1136.02/1139.12 c 1139 15918 10837 1 -40.0000 -45.0000 12.50%
1141.70/1144.83 c 1145 15956 10855 1 -40.0000 -45.0000 12.50%
1147.09/1150.22 c 1150 15989 10876 1 -40.0000 -45.0000 12.50%
1152.48/1155.62 c 1156 16061 10928 1 -40.0000 -45.0000 12.50%
1158.26/1161.48 c 1161 16105 10958 1 -40.0000 -45.0000 12.50%
1164.95/1168.12 c 1168 16158 10983 1 -40.0000 -45.0000 12.50%
1170.13/1173.32 c 1173 16268 11067 1 -40.0000 -45.0000 12.50%
1175.32/1178.54 c 1179 16335 11114 1 -40.0000 -45.0000 12.50%
1180.81/1184.01 c 1184 16408 11157 1 -40.0000 -45.0000 12.50%
1186.60/1189.81 c 1190 16416 11163 1 -40.0000 -45.0000 12.50%
1194.07/1197.31 c 1197 16449 11186 1 -40.0000 -45.0000 12.50%
1199.96/1203.25 c 1203 16481 11210 1 -40.0000 -45.0000 12.50%
1205.34/1208.64 c 1209 16494 11221 1 -40.0000 -45.0000 12.50%
1213.92/1217.23 c 1217 16567 11274 1 -40.0000 -45.0000 12.50%
1218.91/1222.28 c 1222 16647 11324 1 -40.0000 -45.0000 12.50%
1224.80/1228.11 c 1228 16726 11371 1 -40.0000 -45.0000 12.50%
1231.38/1234.79 c 1235 16883 11476 1 -40.0000 -45.0000 12.50%
1236.96/1240.31 c 1240 16952 11519 1 -40.0000 -45.0000 12.50%
1242.95/1246.36 c 1246 17082 11599 1 -40.0000 -45.0000 12.50%
1248.04/1251.45 c 1251 17128 11631 1 -40.0000 -45.0000 12.50%
1253.12/1256.52 c 1257 17210 11673 1 -40.0000 -45.0000 12.50%
1258.81/1262.28 c 1262 17314 11727 1 -40.0000 -45.0000 12.50%
1264.69/1268.17 c 1268 17372 11751 1 -40.0000 -45.0000 12.50%
1270.27/1273.79 c 1274 17444 11785 1 -40.0000 -45.0000 12.50%
1276.76/1280.27 c 1280 17545 11850 1 -40.0000 -45.0000 12.50%
1282.85/1286.33 c 1286 17617 11898 1 -40.0000 -45.0000 12.50%
1289.82/1293.39 c 1293 17683 11942 1 -40.0000 -45.0000 12.50%
1294.91/1298.41 c 1298 17778 12001 1 -40.0000 -45.0000 12.50%
1299.99/1303.54 c 1304 17888 12067 1 -40.0000 -45.0000 12.50%
1305.38/1308.91 c 1309 17925 12084 1 -40.0000 -45.0000 12.50%
1311.66/1315.21 c 1315 17947 12086 1 -40.0000 -45.0000 12.50%
1319.15/1322.71 c 1323 18044 12137 1 -40.0000 -45.0000 12.50%
1324.44/1328.09 c 1328 18212 12227 1 -40.0000 -45.0000 12.50%
1329.73/1333.33 c 1333 18355 12310 1 -40.0000 -45.0000 12.50%
1335.71/1339.39 c 1339 18404 12349 1 -40.0000 -45.0000 12.50%
1340.79/1344.41 c 1344 18541 12434 1 -40.0000 -45.0000 12.50%
1346.68/1350.34 c 1350 18632 12471 1 -40.0000 -45.0000 12.50%
1354.06/1357.77 c 1358 18715 12514 1 -40.0000 -45.0000 12.50%
1359.65/1363.37 c 1363 18840 12589 1 -40.0000 -45.0000 12.50%
1364.74/1368.46 c 1368 19094 12723 1 -40.0000 -45.0000 12.50%
1370.72/1374.43 c 1374 19259 12804 1 -40.0000 -45.0000 12.50%
1379.30/1383.04 c 1383 19390 12865 1 -40.0000 -45.0000 12.50%
1384.69/1388.49 c 1388 19506 12941 1 -40.0000 -45.0000 12.50%
1389.87/1393.63 c 1394 19743 13082 1 -40.0000 -45.0000 12.50%
1396.15/1399.98 c 1400 19823 13118 1 -40.0000 -45.0000 12.50%
1403.53/1407.39 c 1407 19933 13168 1 -40.0000 -45.0000 12.50%
1408.92/1412.71 c 1413 20010 13215 1 -40.0000 -45.0000 12.50%
1413.91/1417.76 c 1418 20160 13311 1 -40.0000 -45.0000 12.50%
1419.70/1423.50 c 1424 20386 13433 1 -40.0000 -45.0000 12.50%
1425.08/1428.95 c 1429 20644 13573 1 -40.0000 -45.0000 12.50%
1430.06/1433.96 c 1434 20802 13633 1 -40.0000 -45.0000 12.50%
1435.15/1439.04 c 1439 20958 13725 1 -40.0000 -45.0000 12.50%
1441.64/1445.53 c 1446 21023 13768 1 -40.0000 -45.0000 12.50%
1448.82/1452.74 c 1453 21209 13876 1 -40.0000 -45.0000 12.50%
1456.40/1460.32 c 1460 21414 13979 1 -40.0000 -45.0000 12.50%
1463.48/1467.49 c 1467 21516 14037 1 -40.0000 -45.0000 12.50%
1468.67/1472.60 c 1473 21611 14112 1 -40.0000 -45.0000 12.50%
1474.55/1478.52 c 1479 21790 14233 1 -40.0000 -45.0000 12.50%
1479.84/1483.82 c 1484 21806 14241 1 -40.0000 -45.0000 12.50%
1487.72/1491.75 c 1492 21854 14257 1 -40.0000 -45.0000 12.50%
1493.02/1497.03 c 1497 21877 14264 1 -40.0000 -45.0000 12.50%
1499.39/1503.49 c 1503 21906 14277 1 -40.0000 -45.0000 12.50%
1505.48/1509.52 c 1510 21974 14315 1 -40.0000 -45.0000 12.50%
1510.76/1514.86 c 1515 22082 14381 1 -40.0000 -45.0000 12.50%
1515.85/1519.96 c 1520 22310 14517 1 -40.0000 -45.0000 12.50%
1520.94/1525.06 c 1525 22554 14653 1 -40.0000 -45.0000 12.50%
1526.03/1530.16 c 1530 22757 14784 1 -40.0000 -45.0000 12.50%
1531.11/1535.27 c 1535 22947 14908 1 -40.0000 -45.0000 12.50%
1536.60/1540.76 c 1541 23124 15007 1 -40.0000 -45.0000 12.50%
1543.28/1547.44 c 1547 23266 15081 1 -40.0000 -45.0000 12.50%
1549.26/1553.48 c 1553 23276 15085 1 -40.0000 -45.0000 12.50%
1556.35/1560.58 c 1561 23314 15103 1 -40.0000 -45.0000 12.50%
1561.84/1566.04 c 1566 23353 15128 1 -40.0000 -45.0000 12.50%
1566.02/1570.24 c * 1570 23388 15141 1 -41.0000 -45.0000 9.76%
1568.32/1572.52 c 1573 23413 10749 1 -41.0000 -45.0000 9.76%
1573.51/1577.70 c 1578 23581 10785 1 -41.0000 -45.0000 9.76%
1578.99/1583.24 c 1583 23788 10858 1 -41.0000 -45.0000 9.76%
1584.88/1589.11 c 1589 23951 10929 1 -41.0000 -45.0000 9.76%
1589.86/1594.18 c 1594 24172 11034 1 -41.0000 -45.0000 9.76%
1594.95/1599.20 c 1599 24267 11059 1 -41.0000 -45.0000 9.76%
1600.13/1604.45 c 1604 24408 11106 1 -41.0000 -45.0000 9.76%
1605.62/1609.90 c 1610 24633 11187 1 -41.0000 -45.0000 9.76%
1610.60/1614.94 c 1615 24763 11233 1 -41.0000 -45.0000 9.76%
1616.29/1620.66 c 1621 24923 11303 1 -41.0000 -45.0000 9.76%
1621.38/1625.74 c 1626 25240 11422 1 -41.0000 -45.0000 9.76%
1627.86/1632.25 c 1632 25377 11473 1 -41.0000 -45.0000 9.76%
1633.95/1638.37 c 1638 25619 11544 1 -41.0000 -45.0000 9.76%
1639.04/1643.49 c 1643 25909 11666 1 -41.0000 -45.0000 9.76%
1648.01/1652.44 c 1652 26050 11709 1 -41.0000 -45.0000 9.76%
1653.10/1657.50 c 1658 26153 11750 1 -41.0000 -45.0000 9.76%
1658.09/1662.57 c 1663 26188 11763 1 -41.0000 -45.0000 9.76%
1663.18/1667.62 c 1668 26202 11769 1 -41.0000 -45.0000 9.76%
1669.06/1673.54 c 1674 26407 11842 1 -41.0000 -45.0000 9.76%
1674.34/1678.83 c 1679 26558 11893 1 -41.0000 -45.0000 9.76%
1680.43/1684.92 c 1685 26677 11936 1 -41.0000 -45.0000 9.76%
1686.42/1690.93 c 1691 26710 11947 1 -41.0000 -45.0000 9.76%
1693.00/1697.50 c 1698 26766 11963 1 -41.0000 -45.0000 9.76%
1698.88/1703.43 c 1703 26923 12040 1 -41.0000 -45.0000 9.76%
1705.37/1709.99 c 1710 27173 12156 1 -41.0000 -45.0000 9.76%
1711.35/1715.94 c 1716 27368 12263 1 -41.0000 -45.0000 9.76%
1717.23/1721.85 c 1722 27439 12296 1 -41.0000 -45.0000 9.76%
1722.72/1727.33 c 1727 27548 12351 1 -41.0000 -45.0000 9.76%
1729.51/1734.14 c 1734 27560 12355 1 -41.0000 -45.0000 9.76%
1735.09/1739.77 c 1740 27606 12371 1 -41.0000 -45.0000 9.76%
1741.08/1745.75 c 1746 27734 12429 1 -41.0000 -45.0000 9.76%
1749.16/1753.82 c 1754 27890 12507 1 -41.0000 -45.0000 9.76%
1755.35/1760.06 c 1760 27914 12515 1 -41.0000 -45.0000 9.76%
1761.72/1766.46 c 1766 28095 12564 1 -41.0000 -45.0000 9.76%
1768.01/1772.78 c 1773 28139 12588 1 -41.0000 -45.0000 9.76%
1773.59/1778.31 c 1778 28189 12610 1 -41.0000 -45.0000 9.76%
1775.99/1780.76 c * 1781 28227 12624 1 -42.0000 -45.0000 7.14%
1779.38/1784.11 c 1784 28262 7601 1 -42.0000 -45.0000 7.14%
1785.86/1790.65 c 1791 28339 7624 1 -42.0000 -45.0000 7.14%
1791.15/1795.95 c 1796 28425 7644 1 -42.0000 -45.0000 7.14%
1796.13/1800.99 c 1801 28429 7644 1 -42.0000 -45.0000 7.14%
1804.11/1808.90 c 1809 28479 7648 1 -42.0000 -45.0000 7.14%
1809.80/1814.60 c 1815 28529 7662 1 -42.0000 -45.0000 7.14%
1814.79/1819.67 c 1820 28733 7714 1 -42.0000 -45.0000 7.14%
1820.08/1824.95 c 1825 28907 7750 1 -42.0000 -45.0000 7.14%
1825.26/1830.19 c 1830 29073 7774 1 -42.0000 -45.0000 7.14%
1830.95/1835.88 c 1836 29250 7824 1 -42.0000 -45.0000 7.14%
1836.33/1841.24 c 1841 29479 7873 1 -42.0000 -45.0000 7.14%
1841.61/1846.59 c 1847 29632 7898 1 -42.0000 -45.0000 7.14%
1847.60/1852.59 c 1853 29764 7934 1 -42.0000 -45.0000 7.14%
1852.99/1857.96 c 1858 29779 7935 1 -42.0000 -45.0000 7.14%
1858.57/1863.50 c 1864 30007 7989 1 -42.0000 -45.0000 7.14%
1863.86/1868.84 c 1869 30208 8036 1 -42.0000 -45.0000 7.14%
1869.64/1874.61 c 1875 30366 8076 1 -42.0000 -45.0000 7.14%
1874.83/1879.82 c 1880 30568 8118 1 -42.0000 -45.0000 7.14%
1882.12/1887.14 c 1887 30839 8171 1 -42.0000 -45.0000 7.14%
1887.19/1892.24 c 1892 31086 8242 1 -42.0000 -45.0000 7.14%
1892.99/1898.09 c 1898 31265 8279 1 -42.0000 -45.0000 7.14%
1898.37/1903.45 c 1903 31512 8334 1 -42.0000 -45.0000 7.14%
1903.56/1908.62 c 1909 31606 8356 1 -42.0000 -45.0000 7.14%
1909.84/1914.94 c 1915 31883 8407 1 -42.0000 -45.0000 7.14%
1915.53/1920.62 c 1921 32122 8472 1 -42.0000 -45.0000 7.14%
1920.61/1925.72 c 1926 32406 8520 1 -42.0000 -45.0000 7.14%
1925.70/1930.87 c 1931 32595 8587 1 -42.0000 -45.0000 7.14%
1930.79/1935.96 c 1936 32832 8630 1 -42.0000 -45.0000 7.14%
1936.38/1941.51 c 1942 33068 8656 1 -42.0000 -45.0000 7.14%
1941.46/1946.62 c 1947 33357 8733 1 -42.0000 -45.0000 7.14%
1947.24/1952.49 c 1952 33529 8769 1 -42.0000 -45.0000 7.14%
1953.33/1958.51 c 1959 33697 8797 1 -42.0000 -45.0000 7.14%
1958.32/1963.57 c 1964 34050 8874 1 -42.0000 -45.0000 7.14%
1963.50/1968.73 c 1969 34188 8910 1 -42.0000 -45.0000 7.14%
1968.59/1973.86 c 1974 34378 8996 1 -42.0000 -45.0000 7.14%
1973.97/1979.26 c 1979 34536 9016 1 -42.0000 -45.0000 7.14%
1979.26/1984.59 c 1985 34841 9067 1 -42.0000 -45.0000 7.14%
1985.05/1990.39 c 1990 35008 9110 1 -42.0000 -45.0000 7.14%
1990.13/1995.47 c 1995 35309 9175 1 -42.0000 -45.0000 7.14%
1996.72/2002.09 c 2002 35521 9223 1 -42.0000 -45.0000 7.14%
2002.40/2007.79 c 2008 35783 9283 1 -42.0000 -45.0000 7.14%
2008.39/2013.78 c 2014 36008 9332 1 -42.0000 -45.0000 7.14%
2013.47/2018.85 c 2019 36320 9404 1 -42.0000 -45.0000 7.14%
2018.86/2024.29 c 2024 36339 9407 1 -42.0000 -45.0000 7.14%
2024.65/2030.03 c 2030 36585 9485 1 -42.0000 -45.0000 7.14%
2029.73/2035.12 c 2035 36848 9540 1 -42.0000 -45.0000 7.14%
2035.02/2040.41 c 2040 37095 9579 1 -42.0000 -45.0000 7.14%
2040.61/2046.03 c 2046 37354 9620 1 -42.0000 -45.0000 7.14%
2046.59/2052.00 c 2052 37611 9667 1 -42.0000 -45.0000 7.14%
2054.46/2059.98 c 2060 37736 9684 1 -42.0000 -45.0000 7.14%
2060.45/2065.97 c 2066 37843 9695 1 -42.0000 -45.0000 7.14%
2065.63/2071.16 c 2071 38111 9745 1 -42.0000 -45.0000 7.14%
2070.82/2076.34 c 2076 38294 9778 1 -42.0000 -45.0000 7.14%
2077.30/2082.80 c 2083 38422 9826 1 -42.0000 -45.0000 7.14%
2083.28/2088.87 c 2089 38707 9873 1 -42.0000 -45.0000 7.14%
2088.97/2094.52 c 2095 38983 9933 1 -42.0000 -45.0000 7.14%
2095.85/2101.46 c 2101 39060 9940 1 -42.0000 -45.0000 7.14%
2104.63/2110.28 c 2110 39213 9963 1 -42.0000 -45.0000 7.14%
2112.61/2118.24 c 2118 39366 9974 1 -42.0000 -45.0000 7.14%
2118.09/2123.76 c 2124 39593 10027 1 -42.0000 -45.0000 7.14%
2123.48/2129.14 c 2129 39874 10064 1 -42.0000 -45.0000 7.14%
2128.67/2134.33 c 2134 40108 10100 1 -42.0000 -45.0000 7.14%
2133.95/2139.66 c 2140 40320 10134 1 -42.0000 -45.0000 7.14%
2139.74/2145.48 c 2145 40513 10177 1 -42.0000 -45.0000 7.14%
2144.83/2150.53 c 2151 40726 10218 1 -42.0000 -45.0000 7.14%
2150.11/2155.89 c 2156 40985 10263 1 -42.0000 -45.0000 7.14%
2155.69/2161.43 c 2161 41165 10281 1 -42.0000 -45.0000 7.14%
2163.58/2169.35 c 2169 41368 10316 1 -42.0000 -45.0000 7.14%
2169.56/2175.34 c 2175 41500 10346 1 -42.0000 -45.0000 7.14%
2174.75/2180.54 c 2181 41688 10396 1 -42.0000 -45.0000 7.14%
2180.53/2186.35 c 2186 41788 10416 1 -42.0000 -45.0000 7.14%
2185.82/2191.60 c 2192 41900 10453 1 -42.0000 -45.0000 7.14%
2191.01/2196.83 c 2197 42089 10498 1 -42.0000 -45.0000 7.14%
2196.20/2202.07 c 2202 42214 10535 1 -42.0000 -45.0000 7.14%
2201.38/2207.22 c 2207 42402 10605 1 -42.0000 -45.0000 7.14%
2206.37/2212.29 c 2212 42691 10660 1 -42.0000 -45.0000 7.14%
2211.75/2217.67 c 2218 42944 10723 1 -42.0000 -45.0000 7.14%
2216.83/2222.74 c 2223 43156 10767 1 -42.0000 -45.0000 7.14%
2222.42/2228.34 c 2228 43393 10810 1 -42.0000 -45.0000 7.14%
2228.21/2234.17 c 2234 43481 10822 1 -42.0000 -45.0000 7.14%
2233.49/2239.40 c 2239 43663 10834 1 -42.0000 -45.0000 7.14%
2238.58/2244.54 c 2245 43936 10881 1 -42.0000 -45.0000 7.14%
2243.67/2249.67 c 2250 44238 10942 1 -42.0000 -45.0000 7.14%
2250.45/2256.42 c 2256 44343 10949 1 -42.0000 -45.0000 7.14%
2255.53/2261.50 c 2262 44600 10986 1 -42.0000 -45.0000 7.14%
2260.52/2266.54 c 2267 44764 11018 1 -42.0000 -45.0000 7.14%
2266.41/2272.47 c 2272 44962 11070 1 -42.0000 -45.0000 7.14%
2271.60/2277.64 c 2278 45152 11156 1 -42.0000 -45.0000 7.14%
2276.68/2282.72 c 2283 45438 11262 1 -42.0000 -45.0000 7.14%
2281.66/2287.77 c 2288 45770 11340 1 -42.0000 -45.0000 7.14%
2287.66/2293.79 c 2294 45964 11384 1 -42.0000 -45.0000 7.14%
2295.84/2301.98 c 2302 46069 11405 1 -42.0000 -45.0000 7.14%
2301.02/2307.11 c 2307 46283 11497 1 -42.0000 -45.0000 7.14%
2306.01/2312.19 c 2312 46581 11549 1 -42.0000 -45.0000 7.14%
2311.39/2317.56 c 2318 46761 11579 1 -42.0000 -45.0000 7.14%
2316.68/2322.80 c 2323 47027 11641 1 -42.0000 -45.0000 7.14%
2321.67/2327.87 c 2328 47344 11716 1 -42.0000 -45.0000 7.14%
2327.45/2333.60 c 2334 47618 11768 1 -42.0000 -45.0000 7.14%
2333.34/2339.50 c 2340 47736 11788 1 -42.0000 -45.0000 7.14%
2339.82/2346.06 c 2346 47927 11839 1 -42.0000 -45.0000 7.14%
2344.91/2351.13 c 2351 48176 11898 1 -42.0000 -45.0000 7.14%
2349.99/2356.23 c 2356 48479 11949 1 -42.0000 -45.0000 7.14%
2355.08/2361.31 c 2361 48812 12032 1 -42.0000 -45.0000 7.14%
2360.27/2366.52 c 2367 48933 12047 1 -42.0000 -45.0000 7.14%
2365.25/2371.54 c 2372 49145 12085 1 -42.0000 -45.0000 7.14%
2370.24/2376.56 c 2377 49386 12118 1 -42.0000 -45.0000 7.14%
2375.32/2381.67 c 2382 49533 12149 1 -42.0000 -45.0000 7.14%
2380.41/2386.78 c 2387 49812 12222 1 -42.0000 -45.0000 7.14%
2385.70/2392.01 c 2392 50078 12286 1 -42.0000 -45.0000 7.14%
2390.79/2397.16 c 2397 50387 12347 1 -42.0000 -45.0000 7.14%
2395.87/2402.25 c 2402 50702 12410 1 -42.0000 -45.0000 7.14%
2401.06/2407.42 c 2407 50934 12466 1 -42.0000 -45.0000 7.14%
2407.04/2413.41 c 2413 51027 12507 1 -42.0000 -45.0000 7.14%
2412.42/2418.80 c 2419 51176 12542 1 -42.0000 -45.0000 7.14%
2417.91/2424.33 c 2424 51369 12585 1 -42.0000 -45.0000 7.14%
2423.00/2429.43 c 2429 51643 12643 1 -42.0000 -45.0000 7.14%
2428.09/2434.54 c 2435 51941 12703 1 -42.0000 -45.0000 7.14%
2433.17/2439.60 c 2440 52281 12759 1 -42.0000 -45.0000 7.14%
2439.05/2445.51 c 2446 52575 12797 1 -42.0000 -45.0000 7.14%
2444.24/2450.70 c 2451 52867 12881 1 -42.0000 -45.0000 7.14%
2449.22/2455.78 c 2456 53181 12921 1 -42.0000 -45.0000 7.14%
2454.32/2460.89 c 2461 53415 12953 1 -42.0000 -45.0000 7.14%
2459.50/2466.05 c 2466 53732 12986 1 -42.0000 -45.0000 7.14%
2464.59/2471.14 c 2471 54055 13029 1 -42.0000 -45.0000 7.14%
2470.47/2477.01 c 2477 54369 13089 1 -42.0000 -45.0000 7.14%
2476.26/2482.80 c 2483 54664 13160 1 -42.0000 -45.0000 7.14%
2481.34/2487.92 c 2488 54999 13203 1 -42.0000 -45.0000 7.14%
2486.83/2493.44 c 2493 55302 13222 1 -42.0000 -45.0000 7.14%
2491.91/2498.58 c 2499 55562 13246 1 -42.0000 -45.0000 7.14%
2497.80/2504.50 c 2504 55768 13284 1 -42.0000 -45.0000 7.14%
2502.98/2509.61 c 2510 56051 13309 1 -42.0000 -45.0000 7.14%
2508.06/2514.70 c 2515 56310 13406 1 -42.0000 -45.0000 7.14%
2513.15/2519.85 c 2520 56580 13439 1 -42.0000 -45.0000 7.14%
2518.23/2524.95 c 2525 56849 13472 1 -42.0000 -45.0000 7.14%
2523.33/2530.03 c 2530 57102 13517 1 -42.0000 -45.0000 7.14%
2528.61/2535.31 c 2535 57348 13525 1 -42.0000 -45.0000 7.14%
2533.69/2540.42 c 2540 57660 13565 1 -42.0000 -45.0000 7.14%
2541.39/2548.17 c 2548 57927 13584 1 -42.0000 -45.0000 7.14%
2547.56/2554.32 c 2554 57964 13589 1 -42.0000 -45.0000 7.14%
2552.74/2559.53 c 2560 58079 13606 1 -42.0000 -45.0000 7.14%
2557.84/2564.67 c 2565 58356 13665 1 -42.0000 -45.0000 7.14%
2562.92/2569.74 c 2570 58627 13724 1 -42.0000 -45.0000 7.14%
2568.00/2574.86 c 2575 58903 13768 1 -42.0000 -45.0000 7.14%
2573.09/2579.92 c 2580 59202 13791 1 -42.0000 -45.0000 7.14%
2578.18/2585.06 c 2585 59366 13819 1 -42.0000 -45.0000 7.14%
2584.66/2591.58 c 2592 59434 13837 1 -42.0000 -45.0000 7.14%
2591.34/2598.25 c 2598 59583 13871 1 -42.0000 -45.0000 7.14%
2596.72/2603.63 c 2604 59720 13922 1 -42.0000 -45.0000 7.14%
2601.92/2608.88 c 2609 59842 13938 1 -42.0000 -45.0000 7.14%
2607.80/2614.79 c 2615 60046 14010 1 -42.0000 -45.0000 7.14%
2612.99/2619.93 c 2620 60321 14083 1 -42.0000 -45.0000 7.14%
2619.67/2626.69 c 2627 60559 14151 1 -42.0000 -45.0000 7.14%
2626.55/2633.57 c 2634 60592 14160 1 -42.0000 -45.0000 7.14%
2632.83/2639.87 c 2640 60658 14180 1 -42.0000 -45.0000 7.14%
2638.02/2645.05 c 2645 60890 14220 1 -42.0000 -45.0000 7.14%
2643.50/2650.57 c 2651 61051 14257 1 -42.0000 -45.0000 7.14%
2648.59/2655.64 c 2656 61319 14295 1 -42.0000 -45.0000 7.14%
2655.97/2663.05 c 2663 61480 14316 1 -42.0000 -45.0000 7.14%
2662.35/2669.42 c 2669 61585 14343 1 -42.0000 -45.0000 7.14%
2667.64/2674.75 c 2675 61833 14391 1 -42.0000 -45.0000 7.14%
2672.73/2679.82 c 2680 62109 14457 1 -42.0000 -45.0000 7.14%
2678.51/2685.68 c 2686 62384 14500 1 -42.0000 -45.0000 7.14%
2683.90/2691.03 c 2691 62516 14532 1 -42.0000 -45.0000 7.14%
2689.68/2696.82 c 2697 62574 14542 1 -42.0000 -45.0000 7.14%
2694.66/2701.84 c 2702 62626 14566 1 -42.0000 -45.0000 7.14%
2700.24/2707.41 c 2707 62712 14574 1 -42.0000 -45.0000 7.14%
2706.22/2713.45 c 2713 62865 14589 1 -42.0000 -45.0000 7.14%
2713.40/2720.62 c 2721 62983 14605 1 -42.0000 -45.0000 7.14%
2718.78/2726.05 c 2726 63172 14640 1 -42.0000 -45.0000 7.14%
2723.87/2731.12 c 2731 63339 14677 1 -42.0000 -45.0000 7.14%
2729.05/2736.34 c 2736 63566 14798 1 -42.0000 -45.0000 7.14%
2734.13/2741.42 c 2741 63846 14882 1 -42.0000 -45.0000 7.14%
2740.51/2747.88 c 2748 64018 14922 1 -42.0000 -45.0000 7.14%
2747.69/2755.09 c 2755 64171 14947 1 -42.0000 -45.0000 7.14%
2752.78/2760.14 c 2760 64455 15001 1 -42.0000 -45.0000 7.14%
2759.15/2766.53 c 2767 64577 15047 1 -42.0000 -45.0000 7.14%
2765.03/2772.40 c 2772 64872 15114 1 -42.0000 -45.0000 7.14%
2770.91/2778.37 c 2778 65048 15162 1 -42.0000 -45.0000 7.14%
2776.60/2784.05 c 2784 65175 15229 1 -42.0000 -45.0000 7.14%
2781.78/2789.29 c 2789 65415 15333 1 -42.0000 -45.0000 7.14%
2786.86/2794.37 c 2794 65663 15429 1 -42.0000 -45.0000 7.14%
2792.05/2799.50 c 2800 66039 15515 1 -42.0000 -45.0000 7.14%
2797.03/2804.58 c 2805 66373 15575 1 -42.0000 -45.0000 7.14%
2802.31/2809.84 c 2810 66598 15608 1 -42.0000 -45.0000 7.14%
2807.39/2814.93 c 2815 66960 15660 1 -42.0000 -45.0000 7.14%
2812.58/2820.15 c 2820 67166 15692 1 -42.0000 -45.0000 7.14%
2818.36/2825.94 c 2826 67397 15743 1 -42.0000 -45.0000 7.14%
2823.44/2831.09 c 2831 67697 15807 1 -42.0000 -45.0000 7.14%
2828.52/2836.16 c 2836 68056 15836 1 -42.0000 -45.0000 7.14%
2835.70/2843.31 c 2843 68315 15909 1 -42.0000 -45.0000 7.14%
2841.68/2849.34 c 2849 68529 15939 1 -42.0000 -45.0000 7.14%
2846.76/2854.42 c 2854 68867 15967 1 -42.0000 -45.0000 7.14%
2851.75/2859.48 c 2859 69215 16015 1 -42.0000 -45.0000 7.14%
2856.83/2864.52 c 2865 69395 16043 1 -42.0000 -45.0000 7.14%
2862.21/2869.98 c 2870 69550 16066 1 -42.0000 -45.0000 7.14%
2867.59/2875.39 c 2875 69739 16123 1 -42.0000 -45.0000 7.14%
2873.67/2881.43 c 2881 69991 16151 1 -42.0000 -45.0000 7.14%
2878.85/2886.66 c 2887 70227 16231 1 -42.0000 -45.0000 7.14%
2884.04/2891.83 c 2892 70479 16253 1 -42.0000 -45.0000 7.14%
2889.12/2896.96 c 2897 70713 16279 1 -42.0000 -45.0000 7.14%
2894.50/2902.33 c 2902 70942 16294 1 -42.0000 -45.0000 7.14%
2901.19/2909.04 c 2909 71091 16311 1 -42.0000 -45.0000 7.14%
2906.27/2914.11 c 2914 71339 16354 1 -42.0000 -45.0000 7.14%
2914.34/2922.29 c 2922 71595 16382 1 -42.0000 -45.0000 7.14%
2920.32/2928.26 c 2928 71734 16419 1 -42.0000 -45.0000 7.14%
2925.40/2933.37 c 2933 71980 16473 1 -42.0000 -45.0000 7.14%
2930.49/2938.43 c 2938 72259 16516 1 -42.0000 -45.0000 7.14%
2935.67/2943.69 c 2944 72516 16569 1 -42.0000 -45.0000 7.14%
2940.86/2948.86 c 2949 72772 16627 1 -42.0000 -45.0000 7.14%
2947.24/2955.21 c 2955 73019 16662 1 -42.0000 -45.0000 7.14%
2953.14/2961.19 c 2961 73236 16692 1 -42.0000 -45.0000 7.14%
2958.42/2966.42 c 2966 73526 16736 1 -42.0000 -45.0000 7.14%
2963.50/2971.54 c 2972 73818 16786 1 -42.0000 -45.0000 7.14%
2969.39/2977.48 c 2977 74055 16813 1 -42.0000 -45.0000 7.14%
2975.36/2983.42 c 2983 74319 16867 1 -42.0000 -45.0000 7.14%
2981.35/2989.41 c 2989 74556 16908 1 -42.0000 -45.0000 7.14%
2986.94/2995.02 c 2995 74831 16959 1 -42.0000 -45.0000 7.14%
2991.92/3000.07 c 3000 75116 16992 1 -42.0000 -45.0000 7.14%
2997.30/3005.47 c 3005 75328 17028 1 -42.0000 -45.0000 7.14%
3002.59/3010.76 c 3011 75472 17052 1 -42.0000 -45.0000 7.14%
3011.17/3019.34 c 3019 75502 17056 1 -42.0000 -45.0000 7.14%
3016.65/3024.88 c 3025 75719 17095 1 -42.0000 -45.0000 7.14%
3021.74/3029.96 c 3030 76012 17144 1 -42.0000 -45.0000 7.14%
3029.22/3037.43 c 3037 76298 17170 1 -42.0000 -45.0000 7.14%
3034.20/3042.49 c 3042 76645 17269 1 -42.0000 -45.0000 7.14%
3039.29/3047.57 c 3048 76956 17324 1 -42.0000 -45.0000 7.14%
3044.97/3053.28 c 3053 77209 17349 1 -42.0000 -45.0000 7.14%
3052.75/3061.00 c 3061 77485 17405 1 -42.0000 -45.0000 7.14%
3058.13/3066.43 c 3066 77652 17428 1 -42.0000 -45.0000 7.14%
3063.73/3072.00 c 3072 77865 17481 1 -42.0000 -45.0000 7.14%
3069.10/3077.45 c 3077 78104 17522 1 -42.0000 -45.0000 7.14%
3074.19/3082.54 c 3083 78441 17599 1 -42.0000 -45.0000 7.14%
3079.78/3088.15 c 3088 78666 17666 1 -42.0000 -45.0000 7.14%
3084.96/3093.35 c 3093 78897 17717 1 -42.0000 -45.0000 7.14%
3090.65/3099.07 c 3099 79209 17729 1 -42.0000 -45.0000 7.14%
3095.83/3104.29 c 3104 79479 17803 1 -42.0000 -45.0000 7.14%
3101.21/3109.63 c 3110 79773 17889 1 -42.0000 -45.0000 7.14%
3106.20/3114.69 c 3115 80095 17931 1 -42.0000 -45.0000 7.14%
3111.39/3119.87 c 3120 80300 17984 1 -42.0000 -45.0000 7.14%
3116.77/3125.20 c 3125 80508 18006 1 -42.0000 -45.0000 7.14%
3122.35/3130.82 c 3131 80737 18047 1 -42.0000 -45.0000 7.14%
3128.24/3136.74 c 3137 81007 18119 1 -42.0000 -45.0000 7.14%
3134.22/3142.71 c 3143 81210 18150 1 -42.0000 -45.0000 7.14%
3140.41/3148.96 c 3149 81473 18201 1 -42.0000 -45.0000 7.14%
3145.49/3154.07 c 3154 81785 18257 1 -42.0000 -45.0000 7.14%
3150.97/3159.53 c 3160 81924 18282 1 -42.0000 -45.0000 7.14%
3156.37/3164.98 c 3165 82114 18314 1 -42.0000 -45.0000 7.14%
3161.75/3170.36 c 3170 82329 18349 1 -42.0000 -45.0000 7.14%
3168.83/3177.47 c 3177 82438 18362 1 -42.0000 -45.0000 7.14%
3173.92/3182.55 c 3183 82710 18482 1 -42.0000 -45.0000 7.14%
3179.20/3187.86 c 3188 82951 18589 1 -42.0000 -45.0000 7.14%
3184.28/3192.99 c 3193 83265 18693 1 -42.0000 -45.0000 7.14%
3189.38/3198.09 c 3198 83618 18764 1 -42.0000 -45.0000 7.14%
3194.66/3203.38 c 3203 83967 18833 1 -42.0000 -45.0000 7.14%
3200.74/3209.40 c 3209 84274 18884 1 -42.0000 -45.0000 7.14%
3205.82/3214.54 c 3215 84576 18978 1 -42.0000 -45.0000 7.14%
3210.91/3219.63 c 3220 84880 19036 1 -42.0000 -45.0000 7.14%
3215.99/3224.73 c 3225 85174 19074 1 -42.0000 -45.0000 7.14%
3220.98/3229.79 c 3230 85437 19133 1 -42.0000 -45.0000 7.14%
3226.46/3235.26 c 3235 85735 19163 1 -42.0000 -45.0000 7.14%
3231.65/3240.46 c 3240 86065 19201 1 -42.0000 -45.0000 7.14%
3236.94/3245.79 c 3246 86344 19268 1 -42.0000 -45.0000 7.14%
3242.22/3251.00 c 3251 86604 19320 1 -42.0000 -45.0000 7.14%
3247.90/3256.70 c 3257 86702 19332 1 -42.0000 -45.0000 7.14%
3254.48/3263.38 c 3263 86862 19356 1 -42.0000 -45.0000 7.14%
3259.57/3268.45 c 3268 87158 19414 1 -42.0000 -45.0000 7.14%
3265.46/3274.31 c 3274 87372 19438 1 -42.0000 -45.0000 7.14%
3270.54/3279.46 c 3279 87662 19520 1 -42.0000 -45.0000 7.14%
3276.02/3284.93 c 3285 87912 19550 1 -42.0000 -45.0000 7.14%
3281.31/3290.25 c 3290 87988 19562 1 -42.0000 -45.0000 7.14%
3286.40/3295.37 c 3295 88287 19613 1 -42.0000 -45.0000 7.14%
3291.39/3300.39 c 3300 88468 19662 1 -42.0000 -45.0000 7.14%
3296.57/3305.50 c 3306 88486 19666 1 -42.0000 -45.0000 7.14%
3302.45/3311.46 c 3311 88702 19702 1 -42.0000 -45.0000 7.14%
3307.55/3316.53 c 3317 89005 19757 1 -42.0000 -45.0000 7.14%
3313.23/3322.29 c 3322 89184 19796 1 -42.0000 -45.0000 7.14%
3318.71/3327.76 c 3328 89192 19800 1 -42.0000 -45.0000 7.14%
3323.80/3332.84 c 3333 89227 19805 1 -42.0000 -45.0000 7.14%
3329.09/3338.16 c 3338 89338 19826 1 -42.0000 -45.0000 7.14%
3335.66/3344.74 c 3345 89564 19864 1 -42.0000 -45.0000 7.14%
3340.85/3349.91 c 3350 89854 19906 1 -42.0000 -45.0000 7.14%
3345.84/3354.97 c 3355 90155 19951 1 -42.0000 -45.0000 7.14%
3350.93/3360.03 c 3360 90425 20021 1 -42.0000 -45.0000 7.14%
3356.11/3365.26 c 3365 90713 20071 1 -42.0000 -45.0000 7.14%
3362.00/3371.11 c 3371 90959 20101 1 -42.0000 -45.0000 7.14%
3367.18/3376.36 c 3376 91239 20149 1 -42.0000 -45.0000 7.14%
3372.66/3381.81 c 3382 91334 20160 1 -42.0000 -45.0000 7.14%
3377.75/3386.91 c 3387 91630 20195 1 -42.0000 -45.0000 7.14%
3384.74/3393.99 c 3394 91723 20222 1 -42.0000 -45.0000 7.14%
3390.52/3399.78 c 3400 91902 20257 1 -42.0000 -45.0000 7.14%
3395.80/3405.02 c 3405 92216 20301 1 -42.0000 -45.0000 7.14%
3400.79/3410.09 c 3410 92500 20365 1 -42.0000 -45.0000 7.14%
3406.47/3415.74 c 3416 92731 20414 1 -42.0000 -45.0000 7.14%
3411.77/3421.04 c 3421 92838 20429 1 -42.0000 -45.0000 7.14%
3416.85/3426.11 c 3426 93134 20505 1 -42.0000 -45.0000 7.14%
3425.13/3434.45 c 3434 93293 20566 1 -42.0000 -45.0000 7.14%
3433.01/3442.30 c 3442 93382 20601 1 -42.0000 -45.0000 7.14%
3438.49/3447.89 c 3448 93497 20598 1 -42.0000 -45.0000 7.14%
3443.97/3453.35 c 3453 93738 20633 1 -42.0000 -45.0000 7.14%
3451.66/3461.04 c 3461 93979 20648 1 -42.0000 -45.0000 7.14%
3456.84/3466.28 c 3466 94227 20692 1 -42.0000 -45.0000 7.14%
3462.13/3471.50 c 3472 94568 20749 1 -42.0000 -45.0000 7.14%
3468.91/3478.30 c 3478 94789 20810 1 -42.0000 -45.0000 7.14%
3475.19/3484.60 c 3485 94962 20821 1 -42.0000 -45.0000 7.14%
3480.77/3490.20 c 3490 95118 20853 1 -42.0000 -45.0000 7.14%
3485.86/3495.31 c 3495 95446 20893 1 -42.0000 -45.0000 7.14%
3490.85/3500.38 c 3500 95765 20948 1 -42.0000 -45.0000 7.14%
3497.33/3506.85 c 3507 96038 20999 1 -42.0000 -45.0000 7.14%
3502.41/3511.94 c 3512 96327 21074 1 -42.0000 -45.0000 7.14%
3507.50/3517.02 c 3517 96660 21117 1 -42.0000 -45.0000 7.14%
3512.59/3522.11 c 3522 96969 21172 1 -42.0000 -45.0000 7.14%
3517.68/3527.23 c 3527 97269 21202 1 -42.0000 -45.0000 7.14%
3522.85/3532.44 c 3532 97560 21261 1 -42.0000 -45.0000 7.14%
3528.85/3538.40 c 3538 97783 21286 1 -42.0000 -45.0000 7.14%
3533.93/3543.59 c 3544 98082 21363 1 -42.0000 -45.0000 7.14%
3540.21/3549.81 c 3550 98352 21409 1 -42.0000 -45.0000 7.14%
3545.51/3555.14 c 3555 98487 21432 1 -42.0000 -45.0000 7.14%
3550.58/3560.20 c 3560 98766 21451 1 -42.0000 -45.0000 7.14%
3555.57/3565.25 c 3565 99111 21494 1 -42.0000 -45.0000 7.14%
3560.76/3570.44 c 3570 99286 21529 1 -42.0000 -45.0000 7.14%
3565.74/3575.49 c 3575 99520 21589 1 -42.0000 -45.0000 7.14%
3571.23/3580.96 c 3581 99747 21636 1 -42.0000 -45.0000 7.14%
3576.32/3586.04 c 3586 100032 21681 1 -42.0000 -45.0000 7.14%
3581.41/3591.12 c 3591 100294 21721 1 -42.0000 -45.0000 7.14%
3586.49/3596.21 c 3596 100552 21768 1 -42.0000 -45.0000 7.14%
3588.58/3598.35 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.58/3598.35 c Total Time : 3598.34
3588.58/3598.35 c solving : 3598.34
3588.58/3598.35 c presolving : 1.10 (included in solving)
3588.58/3598.35 c B&B Tree :
3588.58/3598.35 c nodes (total) : 1
3588.58/3598.35 c Solution :
3588.58/3598.35 c Solutions found : 11
3588.58/3598.35 c Primal Bound : -4.20000000000000e+01
3588.58/3598.35 c Dual Bound : -4.50000000000000e+01
3588.58/3598.35 c Gap : 7.14286 %
3588.58/3598.35 c * Warning: final gap: 7.14286e-02 is greater than SCIPepsilon: 1.00000e-09
3588.58/3598.35 o -42
3588.58/3598.35 s SATISFIABLE
3588.58/3598.35 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3588.58/3598.35 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3588.58/3598.35 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78
3588.58/3598.35 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3588.58/3598.35 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3588.58/3598.35 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3588.58/3598.35 v -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166
3588.58/3598.35 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3588.58/3598.35 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3588.58/3598.35 v x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229
3588.58/3598.35 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3588.58/3598.35 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3588.58/3598.35 v -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292
3588.58/3598.35 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313
3588.58/3598.35 v -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3588.58/3598.35 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
3588.58/3598.35 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376
3588.58/3598.35 v -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
3588.58/3598.35 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418
3588.58/3598.35 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3588.58/3598.35 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
3588.58/3598.35 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481
3588.58/3598.35 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3588.58/3598.35 v -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523
3588.58/3598.35 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
3588.58/3598.35 v -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
3588.58/3598.35 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586
3588.58/3598.35 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
3588.58/3598.35 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628
3588.58/3598.35 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649
3588.58/3598.35 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
3588.58/3598.35 v -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
3588.68/3598.40 v -x692 x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
3588.68/3598.40 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733
3588.68/3598.40 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
3588.68/3598.40 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
3588.68/3598.40 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
3588.68/3598.40 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817
3588.68/3598.40 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
3588.68/3598.40 v -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859
3588.68/3598.40 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
3588.68/3598.40 v x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901
3588.68/3598.40 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
3588.68/3598.40 v -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
3588.68/3598.40 v -x943 -x944 -x945
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 (63195 MiB free)
memory of node 1: 64473 MiB (63736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464047-1722378594/watcher-4464047-1722378594 -o /tmp/evaluation-result-4464047-1722378594/solver-4464047-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27316 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464047-1722378594.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
solver pid=27370, runsolver pid=27363
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 0.09 0.09 0.09 6/261 27378
/proc/meminfo: memFree=129848452/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=68064 memory=57184 CPUtime=0.09 cores=5,7
/proc/27370/stat : 27370 (fscip) R 27363 27370 27303 0 -1 4194304 12375 0 0 0 8 1 0 0 20 0 1 0 4247629 69697536 14296 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 17016 14296 2555 3035 0 13412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68064 KiB
Current children cumulated memory: 57184 KiB
[startup+0.206026 s]*
/proc/loadavg: 0.09 0.09 0.09 6/263 27380
/proc/meminfo: memFree=129763668/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=102128 memory=90404 CPUtime=0.2 cores=5,7
/proc/27370/stat : 27370 (fscip) R 27363 27370 27303 0 -1 4194304 20590 0 0 0 17 3 0 0 20 0 1 0 4247629 104579072 22601 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 25532 22601 2614 3035 0 21928 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102128 KiB
Current children cumulated memory: 90404 KiB
[startup+0.305693 s]*
/proc/loadavg: 0.09 0.09 0.09 5/265 27382
/proc/meminfo: memFree=129673312/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=136708 memory=125448 CPUtime=0.3 cores=5,7
/proc/27370/stat : 27370 (fscip) R 27363 27370 27303 0 -1 4194304 30282 0 0 0 25 5 0 0 20 0 1 0 4247629 139988992 31362 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 34177 31362 2678 3035 0 30573 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 136708 KiB
Current children cumulated memory: 125448 KiB
[startup+0.700184 s]
/proc/loadavg: 0.09 0.09 0.09 5/265 27382
/proc/meminfo: memFree=129641532/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=122328 memory=110596 CPUtime=0.69 cores=5,7
/proc/27370/stat : 27370 (fscip) R 27363 27370 27303 0 -1 4194304 37733 0 0 0 63 6 0 0 20 0 1 0 4247629 125263872 27649 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 30582 27649 2758 3035 0 26978 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122328 KiB
Current children cumulated memory: 110596 KiB
[startup+1.50022 s]
/proc/loadavg: 0.09 0.09 0.09 6/265 27382
/proc/meminfo: memFree=129510580/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=461756 memory=366528 CPUtime=1.48 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 78800 0 0 0 134 14 0 0 20 0 3 0 4247629 472838144 91632 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 115439 91632 2790 3035 0 99498 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 461756 KiB
Current children cumulated memory: 366528 KiB
[startup+3.10586 s]
/proc/loadavg: 0.41 0.15 0.11 6/269 27386
/proc/meminfo: memFree=128750816/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=695384 memory=605536 CPUtime=3.09 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 132631 0 0 0 286 23 0 0 20 0 3 0 4247629 712073216 151384 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 173846 151384 2982 3035 0 163063 0
[pid=27370/tid=27383] ppid=27363 vsize=695384 memory=198340509722 CPUtime=1.76 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 73507 0 0 0 165 11 0 0 20 0 3 0 4247755 712073216 151384 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=695384 memory=0 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4247767 712073216 151384 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 695384 KiB
Current children cumulated memory: 605536 KiB
[startup+6.30024 s]
/proc/loadavg: 0.41 0.15 0.11 7/269 27434
/proc/meminfo: memFree=128517656/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=760920 memory=629496 CPUtime=6.27 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 144131 0 0 0 604 23 0 0 20 0 3 0 4247629 779182080 157374 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 190230 157374 2998 3035 0 172441 0
[pid=27370/tid=27383] ppid=27363 vsize=760920 memory=629496 CPUtime=4.95 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 85005 0 0 0 483 12 0 0 20 0 3 0 4247755 779182080 157374 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=760920 memory=19878 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4247767 779182080 157374 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 760920 KiB
Current children cumulated memory: 629496 KiB
[startup+12.7002 s]
/proc/loadavg: 0.69 0.22 0.13 7/269 27436
/proc/meminfo: memFree=128513024/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=760920 memory=633016 CPUtime=12.65 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 192802 0 0 0 1239 26 0 0 20 0 3 0 4247629 779182080 158254 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 190230 158254 2998 3035 0 183084 0
[pid=27370/tid=27383] ppid=27363 vsize=760920 memory=11536 CPUtime=11.33 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 133667 0 0 0 1118 15 0 0 20 0 3 0 4247755 779182080 158254 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=760920 memory=632144 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4247767 779182080 158254 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 760920 KiB
Current children cumulated memory: 633016 KiB
[startup+25.5003 s]
/proc/loadavg: 1.50 0.42 0.20 7/269 27437
/proc/meminfo: memFree=128423412/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=891992 memory=711920 CPUtime=25.41 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 272926 0 0 0 2510 31 0 0 20 0 3 0 4247629 913399808 177980 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 222998 177980 2998 3035 0 217490 0
[pid=27370/tid=27383] ppid=27363 vsize=891992 memory=14712 CPUtime=24.09 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 213543 0 0 0 2389 20 0 0 20 0 3 0 4247755 913399808 177980 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=891992 memory=0 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4247767 913399808 177980 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 891992 KiB
Current children cumulated memory: 711920 KiB
[startup+51.1059 s]
/proc/loadavg: 2.35 0.71 0.30 7/269 27443
/proc/meminfo: memFree=128348692/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=957528 memory=739884 CPUtime=50.95 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 338805 0 0 0 5060 35 0 0 20 0 3 0 4247629 980508672 184971 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 239382 184971 2998 3035 0 224774 0
[pid=27370/tid=27383] ppid=27363 vsize=957528 memory=711928 CPUtime=49.63 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 279125 0 0 0 4939 24 0 0 20 0 3 0 4247755 980508672 184971 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=957528 memory=633020 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4247767 980508672 184971 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 957528 KiB
Current children cumulated memory: 739884 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.23 0.50 7/271 27514
/proc/meminfo: memFree=128265316/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=1002000 memory=761848 CPUtime=102 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 463934 0 0 0 10156 44 0 0 20 0 3 0 4247629 1026048000 190462 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 250500 190462 2998 3035 0 245796 0
[pid=27370/tid=27383] ppid=27363 vsize=1002000 memory=761840 CPUtime=100.67 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 403729 0 0 0 10035 32 0 0 20 0 3 0 4247755 1026048000 190462 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=1002000 memory=761812 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4247767 1026048000 190462 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1002000 KiB
Current children cumulated memory: 761848 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 7/271 27526
/proc/meminfo: memFree=128091168/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=1204164 memory=819868 CPUtime=161.84 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 587071 0 0 0 16129 55 0 0 20 0 3 0 4247629 1233063936 204967 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 301041 204967 2998 3035 0 285097 0
[pid=27370/tid=27383] ppid=27363 vsize=1204164 memory=768888 CPUtime=160.5 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 526545 0 0 0 16007 43 0 0 20 0 3 0 4247755 1233063936 204967 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=1204164 memory=775848 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4247767 1233063936 204967 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1204164 KiB
Current children cumulated memory: 819868 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.18 0.94 7/271 27537
/proc/meminfo: memFree=127873228/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=1294884 memory=858320 CPUtime=221.68 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 628585 0 0 0 22108 60 0 0 20 0 3 0 4247629 1325961216 214580 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 323721 214580 3302 3035 0 315014 0
[pid=27370/tid=27383] ppid=27363 vsize=1294884 memory=11536 CPUtime=220.34 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 567976 0 0 0 21986 48 0 0 20 0 3 0 4247755 1325961216 214580 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=1294884 memory=858312 CPUtime=0 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4247767 1325961216 214580 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1294884 KiB
Current children cumulated memory: 858320 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.55 1.15 6/269 27596
/proc/meminfo: memFree=128069500/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=1381992 memory=925456 CPUtime=281.5 cores=5,7
################
# More data... #
################
[pid=27370] ppid=27363 vsize=2645980 memory=2186288 CPUtime=3393.11 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4383741 0 0 0 338949 362 0 0 20 0 3 0 4247629 2709483520 546572 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 661495 546572 3302 3035 0 643972 0
[pid=27370/tid=27383] ppid=27363 vsize=2645980 memory=2163228 CPUtime=3391.61 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4321725 0 0 0 338817 344 0 0 20 0 3 0 4247755 2709483520 546572 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2645980 memory=2167540 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 4247767 2709483520 546572 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 2645980 KiB
Current children cumulated memory: 2186288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.06 6/264 29200
/proc/meminfo: memFree=124802244/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2252840 CPUtime=3452.95 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4466689 0 0 0 344926 369 0 0 20 0 3 0 4247629 2776592384 563210 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 563210 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=2163228 CPUtime=3451.43 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4404648 0 0 0 344793 350 0 0 20 0 3 0 4247755 2776592384 563210 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=2167540 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 177 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 563210 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2252840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.07 5/264 29210
/proc/meminfo: memFree=124788116/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2256116 CPUtime=3512.78 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4534132 0 0 0 350904 374 0 0 20 0 3 0 4247629 2776592384 564029 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 564029 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=2255292 CPUtime=3511.26 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4472068 0 0 0 350771 355 0 0 20 0 3 0 4247755 2776592384 564029 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=2256092 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 564029 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2256116 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/265 29389
/proc/meminfo: memFree=124769844/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2256732 CPUtime=3572.62 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4601740 0 0 0 356883 379 0 0 20 0 3 0 4247629 2776592384 564183 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 564183 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=2256708 CPUtime=3571.1 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4539666 0 0 0 356750 360 0 0 20 0 3 0 4247755 2776592384 564183 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=12076 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 564183 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2256732 KiB
[startup+3598.42 s]
# the end of solver process 27370 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.87 s, system=3.83737 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.15 4.08 5/265 29389
/proc/meminfo: memFree=124763560/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2262916 CPUtime=3574.32 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4601949 0 0 0 357053 379 0 0 20 0 3 0 4247629 2776592384 565729 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 565729 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=-7234307692537405051 CPUtime=3572.8 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4539875 0 0 0 356920 360 0 0 20 0 3 0 4247755 2776592384 565729 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=4714597675474513561 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 565729 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3574.32 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2262916 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.15 4.08 6/266 29391
/proc/meminfo: memFree=124762028/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2262956 CPUtime=3580.7 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4602793 0 0 0 357690 380 0 0 20 0 3 0 4247629 2776592384 565739 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 565739 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=2256652 CPUtime=3579.18 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4540709 0 0 0 357557 361 0 0 20 0 3 0 4247755 2776592384 565739 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=2256708 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 565739 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3580.7 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2262956 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.14 4.07 6/266 29391
/proc/meminfo: memFree=124760768/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2262960 CPUtime=3583.89 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4603591 0 0 0 358009 380 0 0 20 0 3 0 4247629 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 565740 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=2262916 CPUtime=3582.37 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4541496 0 0 0 357876 361 0 0 20 0 3 0 4247755 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=2262956 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3583.89 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2262960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.14 4.07 6/266 29391
/proc/meminfo: memFree=124759784/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2262960 CPUtime=3587.09 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4604207 0 0 0 358328 381 0 0 20 0 3 0 4247629 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 565740 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=2256732 CPUtime=3585.57 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4542112 0 0 0 358195 362 0 0 20 0 3 0 4247755 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=2262916 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3587.09 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2262960 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.14 4.07 6/266 29393
/proc/meminfo: memFree=124759304/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2262960 CPUtime=3587.88 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4604276 0 0 0 358407 381 0 0 20 0 3 0 4247629 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 565740 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=14712 CPUtime=3586.36 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4542181 0 0 0 358274 362 0 0 20 0 3 0 4247755 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=12076 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2262960 KiB
[startup+3598 s]*
/proc/loadavg: 4.13 4.14 4.07 6/266 29395
/proc/meminfo: memFree=124758608/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=2711516 memory=2262960 CPUtime=3588.29 cores=5,7
/proc/27370/stat : 27370 (fscip) S 27363 27370 27303 0 -1 1077936128 4604306 0 0 0 358448 381 0 0 20 0 3 0 4247629 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 677879 565740 3302 3035 0 657763 0
[pid=27370/tid=27383] ppid=27363 vsize=2711516 memory=-7234307692537405051 CPUtime=3586.77 cores=5,7
/proc/27370/task/27383/stat : 27383 (fscip) R 27363 27370 27303 0 -1 4194368 4542211 0 0 0 358315 362 0 0 20 0 3 0 4247755 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
[pid=27370/tid=27384] ppid=27363 vsize=2711516 memory=4786655269512441497 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4247767 2776592384 565740 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3588.29 s
Current children cumulated vsize: 2711516 KiB
Current children cumulated memory: 2262960 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.14 4.07 6/266 29395
/proc/meminfo: memFree=124758608/131524600 swapFree=131071996/131071996
[pid=27370] ppid=27363 vsize=1822668 memory=1541540 CPUtime=3588.68 cores=5,7
/proc/27370/stat : 27370 (fscip) R 27363 27370 27303 0 -1 4194304 4618980 0 0 0 358486 382 0 0 20 0 2 0 4247629 1866412032 385385 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
/proc/27370/statm: 455667 385385 3302 3035 0 447631 0
[pid=27370/tid=27384] ppid=27363 vsize=1822668 memory=2262960 CPUtime=0.03 cores=5,7
/proc/27370/task/27384/stat : 27384 (fscip) S 27363 27370 27303 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 2 0 4247767 1866412032 385385 134679101440 4194304 16623229 140727436135568 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25899008 140727436141590 140727436141706 140727436141706 140727436148720 0
Current children cumulated CPU time: 3588.68 s
Current children cumulated vsize: 1822668 KiB
Current children cumulated memory: 1541540 KiB
Child status: 0
Real time (s): 3598.42
CPU time (s): 3588.7
CPU user time (s): 3584.87
CPU system time (s): 3.83737
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 2711516
Max. memory (cumulated for all children) (KiB): 2262960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.87
system time used= 3.83737
maximum resident set size= 2262960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4619151
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= 8925
involuntary context switches= 2690
# summary of solver processes directly reported to runsolver:
# pid: 27370
# total CPU time (s): 3588.7
# total CPU user time (s): 3584.87
# total CPU system time (s): 3.83737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13315 second user time and 17.9477 second system time
The end
Begin job on nodeC015 at 2024-07-31 00:29:54
IDJOB=4464047
IDBENCH=146680
IDSOLVER=3092
FILE ID=nodeC015/4464047-1722378594
RUNJOBID= nodeC015-1722378594-27316
SLURM_JOB_ID= 8249828
Free space on /tmp= 890048 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.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-4464047-1722378594/watcher-4464047-1722378594 -o /tmp/evaluation-result-4464047-1722378594/solver-4464047-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27316 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464047-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1497379858
nodeC015.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 : 3655.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
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 : 3681.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3629.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.932
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3644.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
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 : 3600.011
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
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 : 3680.912
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129989084 kB
MemAvailable: 129850236 kB
Buffers: 89496 kB
Cached: 610420 kB
SwapCached: 0 kB
Active: 247792 kB
Inactive: 816004 kB
Active(anon): 1464 kB
Inactive(anon): 385824 kB
Active(file): 246328 kB
Inactive(file): 430180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116896 kB
Writeback: 0 kB
AnonPages: 364100 kB
Mapped: 98884 kB
Shmem: 23384 kB
KReclaimable: 48932 kB
Slab: 129620 kB
SReclaimable: 48932 kB
SUnreclaim: 80688 kB
KernelStack: 4048 kB
PageTables: 9232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 777948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 158420 kB
DirectMap2M: 12197888 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC015 at 2024-07-31 01:29:53