0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 46837760, getVmSize() = 46837760, SCIPgetMemUsed() = 20802401, SCIPgetMemTotal() = 24548609, SCIPgetMemExternEstim() = 13477294
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.18 c ** Estimated virtualMemUsedAtSolver = 53547470, getVmSize() = 91262976, SCIPgetMemUsed() = 47269991, SCIPgetMemTotal() = 66843911, SCIPgetMemExternEstim() = 13477294
0.09/0.18 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.09/0.18 c Original Problem :
0.09/0.18 c Problem name : instance-4450150-1721406896
0.09/0.18 c Variables : 4329 (4329 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.18 c Constraints : 10136
0.09/0.18 c Objective sense : minimize
0.09/0.18 c Presolved Problem :
0.09/0.18 c Variables : 4306 (4306 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.18 c Constraints : 6227
0.09/0.18 c Constraints : Number
0.09/0.18 c setppc : 6226
0.09/0.18 c orbitope : 1
0.09/0.18 c ** Instance transfer method used: 0
0.09/0.19 c ** ParaScipInstance copy increased the number of variables. **
0.20/0.21 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.21 c Nodes Active
0.20/0.21 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.36/5.48 c 5 2 1 1 - 0.0000 -
10.95/11.00 c 11 32 31 1 - 0.0000 -
16.12/16.21 c 16 167 162 1 - 0.0000 -
21.41/21.52 c 22 399 198 1 - 0.0000 -
26.39/26.60 c 27 799 219 1 - 0.0000 -
31.77/31.95 c 32 1122 221 1 - 0.0000 -
36.85/37.05 c 37 1550 256 1 - 0.0000 -
42.13/42.31 c 42 1839 310 1 - 0.0000 -
47.11/47.37 c 47 2287 356 1 - 0.0000 -
52.30/52.55 c 53 2670 376 1 - 0.0000 -
57.68/57.99 c 58 3006 416 1 - 0.0000 -
62.76/63.05 c 63 3400 427 1 - 0.0000 -
67.94/68.21 c 68 3666 468 1 - 0.0000 -
73.12/73.49 c 73 4031 486 1 - 0.0000 -
78.30/78.66 c 79 4258 517 1 - 0.0000 -
83.79/84.16 c 84 4564 537 1 - 0.0000 -
89.16/89.55 c 90 4811 553 1 - 0.0000 -
94.34/94.80 c 95 5184 574 1 - 0.0000 -
99.62/100.00 c 100 5516 606 1 - 0.0000 -
104.81/105.29 c 105 5967 705 1 - 0.0000 -
109.89/110.38 c 110 6309 760 1 - 0.0000 -
115.16/115.66 c 116 6517 799 1 - 0.0000 -
120.44/120.93 c 121 6709 820 1 - 0.0000 -
125.92/126.43 c 126 6946 844 1 - 0.0000 -
131.10/131.65 c 132 7219 927 1 - 0.0000 -
136.39/136.91 c 137 7396 958 1 - 0.0000 -
141.67/142.24 c 142 7703 995 1 - 0.0000 -
147.15/147.74 c 148 7974 1017 1 - 0.0000 -
152.23/152.82 c 153 8261 1063 1 - 0.0000 -
157.21/157.89 c 158 8599 1122 1 - 0.0000 -
162.30/162.96 c 163 8782 1152 1 - 0.0000 -
167.48/168.14 c 168 9077 1173 1 - 0.0000 -
172.66/173.34 c 173 9465 1201 1 - 0.0000 -
178.23/178.98 c 179 9786 1261 1 - 0.0000 -
183.51/184.22 c 184 10193 1301 1 - 0.0000 -
188.70/189.47 c 189 10497 1335 1 - 0.0000 -
193.88/194.64 c 195 10785 1403 1 - 0.0000 -
199.16/199.98 c 200 11128 1451 1 - 0.0000 -
204.35/205.17 c 205 11485 1502 1 - 0.0000 -
209.52/210.33 c 210 11841 1549 1 - 0.0000 -
214.71/215.55 c 216 12147 1578 1 - 0.0000 -
219.78/220.67 c 221 12602 1613 1 - 0.0000 -
225.17/226.05 c 226 12985 1632 1 - 0.0000 -
230.25/231.18 c 231 13263 1676 1 - 0.0000 -
235.53/236.46 c 236 13663 1727 1 - 0.0000 -
240.70/241.68 c 242 13999 1752 1 - 0.0000 -
246.10/247.01 c 247 14317 1773 1 - 0.0000 -
251.17/252.12 c 252 14755 1827 1 - 0.0000 -
256.25/257.22 c 257 15182 1845 1 - 0.0000 -
261.33/262.37 c 262 15580 1916 1 - 0.0000 -
266.61/267.61 c 268 16001 1963 1 - 0.0000 -
271.60/272.66 c 273 16381 2054 1 - 0.0000 -
277.17/278.22 c 278 16860 2109 1 - 0.0000 -
282.25/283.39 c 283 17243 2138 1 - 0.0000 -
287.33/288.45 c 288 17742 2246 1 - 0.0000 -
292.72/293.85 c 294 18169 2260 1 - 0.0000 -
298.00/299.14 c 299 18494 2293 1 - 0.0000 -
303.08/304.22 c 304 18866 2348 1 - 0.0000 -
308.16/309.30 c 309 19376 2396 1 - 0.0000 -
313.14/314.36 c 314 19769 2449 1 - 0.0000 -
318.22/319.44 c 319 20150 2547 1 - 0.0000 -
323.30/324.58 c 325 20497 2622 1 - 0.0000 -
328.49/329.74 c 330 20895 2656 1 - 0.0000 -
333.67/334.94 c 335 21361 2716 1 - 0.0000 -
338.75/340.00 c 340 21647 2738 1 - 0.0000 -
344.13/345.41 c 345 21998 2795 1 - 0.0000 -
349.21/350.58 c 351 22373 2837 1 - 0.0000 -
354.70/356.00 c 356 22710 2891 1 - 0.0000 -
359.79/361.19 c 361 23089 2946 1 - 0.0000 -
364.97/366.39 c 366 23435 3001 1 - 0.0000 -
370.35/371.78 c 372 23886 3043 1 - 0.0000 -
375.43/376.88 c 377 24334 3102 1 - 0.0000 -
380.72/382.10 c 382 24767 3159 1 - 0.0000 -
385.72/387.18 c 387 25299 3230 1 - 0.0000 -
390.79/392.26 c 392 25718 3294 1 - 0.0000 -
396.27/397.73 c 398 26172 3361 1 - 0.0000 -
401.47/402.97 c 403 26572 3392 1 - 0.0000 -
406.75/408.23 c 408 26921 3447 1 - 0.0000 -
411.93/413.47 c 413 27318 3514 1 - 0.0000 -
417.32/418.83 c 419 27728 3565 1 - 0.0000 -
422.40/423.96 c 424 28108 3635 1 - 0.0000 -
427.69/429.25 c 429 28569 3713 1 - 0.0000 -
432.97/434.56 c 435 28872 3735 1 - 0.0000 -
438.06/439.64 c 440 29235 3774 1 - 0.0000 -
443.14/444.78 c 445 29613 3840 1 - 0.0000 -
448.73/450.31 c 450 30056 3873 1 - 0.0000 -
453.82/455.43 c 455 30543 3936 1 - 0.0000 -
459.00/460.65 c 461 30910 4026 1 - 0.0000 -
464.09/465.75 c 466 31293 4093 1 - 0.0000 -
469.27/470.98 c 471 31654 4142 1 - 0.0000 -
474.45/476.14 c 476 31992 4182 1 - 0.0000 -
479.63/481.35 c 481 32326 4239 1 - 0.0000 -
485.02/486.73 c 487 32639 4266 1 - 0.0000 -
490.50/492.23 c 492 32966 4312 1 - 0.0000 -
495.69/497.40 c 497 33352 4388 1 - 0.0000 -
500.77/502.58 c 503 33706 4434 1 - 0.0000 -
506.16/507.99 c 508 34073 4502 1 - 0.0000 -
512.14/513.92 c 514 34388 4565 1 - 0.0000 -
517.12/518.99 c 519 34906 4618 1 - 0.0000 -
522.40/524.24 c 524 35321 4670 1 - 0.0000 -
527.79/529.69 c 530 35753 4747 1 - 0.0000 -
532.98/534.82 c 535 36135 4802 1 - 0.0000 -
538.17/540.06 c 540 36480 4866 1 - 0.0000 -
543.45/545.35 c 545 36887 4906 1 - 0.0000 -
548.73/550.61 c 551 37217 4976 1 - 0.0000 -
553.82/555.79 c 556 37646 5020 1 - 0.0000 -
559.00/560.99 c 561 38014 5082 1 - 0.0000 -
564.19/566.16 c 566 38393 5197 1 - 0.0000 -
569.27/571.23 c 571 38868 5306 1 - 0.0000 -
574.45/576.48 c 576 39241 5356 1 - 0.0000 -
579.74/581.75 c 582 39570 5404 1 - 0.0000 -
584.92/586.94 c 587 40038 5474 1 - 0.0000 -
590.11/592.18 c 592 40418 5502 1 - 0.0000 -
595.19/597.22 c 597 40809 5582 1 - 0.0000 -
600.38/602.48 c 602 41235 5660 1 - 0.0000 -
605.66/607.79 c 608 41606 5740 1 - 0.0000 -
610.85/612.91 c 613 42004 5799 1 - 0.0000 -
615.83/617.99 c 618 42462 5868 1 - 0.0000 -
621.03/623.14 c 623 42831 5918 1 - 0.0000 -
626.11/628.25 c 628 43185 5938 1 - 0.0000 -
631.29/633.47 c 633 43518 6010 1 - 0.0000 -
636.48/638.69 c 639 43988 6058 1 - 0.0000 -
641.87/644.02 c 644 44447 6104 1 - 0.0000 -
646.96/649.12 c 649 44829 6160 1 - 0.0000 -
652.03/654.20 c 654 45230 6224 1 - 0.0000 -
657.23/659.48 c 659 45583 6292 1 - 0.0000 -
662.41/664.66 c 665 45958 6354 1 - 0.0000 -
667.59/669.82 c 670 46344 6428 1 - 0.0000 -
672.68/674.98 c 675 46729 6510 1 - 0.0000 -
678.16/680.44 c 680 47059 6553 1 - 0.0000 -
683.36/685.62 c 686 47542 6627 1 - 0.0000 -
688.64/690.92 c 691 47951 6688 1 - 0.0000 -
693.73/696.05 c 696 48349 6711 1 - 0.0000 -
699.02/701.32 c 701 48719 6747 1 - 0.0000 -
704.10/706.41 c 706 49132 6800 1 - 0.0000 -
709.19/711.51 c 712 49557 6862 1 - 0.0000 -
714.47/716.87 c 717 49949 6928 1 - 0.0000 -
719.55/721.99 c 722 50359 6978 1 - 0.0000 -
724.85/727.26 c 727 50807 7035 1 - 0.0000 -
730.23/732.64 c 733 51225 7113 1 - 0.0000 -
735.31/737.75 c 738 51612 7167 1 - 0.0000 -
740.60/743.06 c 743 51988 7203 1 - 0.0000 -
745.78/748.21 c 748 52334 7273 1 - 0.0000 -
750.78/753.26 c 753 52767 7298 1 - 0.0000 -
755.96/758.49 c 758 53074 7363 1 - 0.0000 -
761.04/763.54 c 764 53544 7419 1 - 0.0000 -
766.22/768.73 c 769 53899 7449 1 - 0.0000 -
771.31/773.87 c 774 54248 7487 1 - 0.0000 -
776.69/779.28 c 779 54616 7530 1 - 0.0000 -
781.77/784.33 c 784 54987 7577 1 - 0.0000 -
786.85/789.47 c 789 55356 7650 1 - 0.0000 -
792.33/794.97 c 795 55674 7785 1 - 0.0000 -
800.61/803.21 c 803 55966 7818 1 - 0.0000 -
805.88/808.51 c 809 56295 7919 1 - 0.0000 -
811.07/813.73 c 814 56614 7984 1 - 0.0000 -
816.25/818.91 c 819 56990 8051 1 - 0.0000 -
821.34/824.02 c 824 57378 8168 1 - 0.0000 -
826.62/829.34 c 829 57729 8229 1 - 0.0000 -
831.69/834.43 c 834 58014 8292 1 - 0.0000 -
836.88/839.63 c 840 58344 8351 1 - 0.0000 -
842.16/844.96 c 845 58714 8389 1 - 0.0000 -
847.84/850.64 c 851 59039 8444 1 - 0.0000 -
853.03/855.83 c 856 59324 8499 1 - 0.0000 -
858.41/861.23 c 861 59623 8539 1 - 0.0000 -
863.59/866.46 c 866 59974 8584 1 - 0.0000 -
868.88/871.75 c 872 60414 8642 1 - 0.0000 -
873.96/876.84 c 877 60956 8723 1 - 0.0000 -
879.33/882.29 c 882 61497 8764 1 - 0.0000 -
884.71/887.60 c 888 61895 8819 1 - 0.0000 -
890.11/893.01 c 893 62255 8897 1 - 0.0000 -
895.28/898.20 c 898 62606 9030 1 - 0.0000 -
900.36/903.33 c 903 62948 9132 1 - 0.0000 -
905.45/908.49 c 908 63310 9212 1 - 0.0000 -
910.83/913.89 c 914 63728 9245 1 - 0.0000 -
916.11/919.12 c 919 64059 9334 1 - 0.0000 -
921.39/924.41 c 924 64480 9427 1 - 0.0000 -
926.47/929.59 c 930 64831 9477 1 - 0.0000 -
931.85/934.98 c 935 65154 9534 1 - 0.0000 -
937.13/940.24 c 940 65538 9598 1 - 0.0000 -
942.32/945.44 c 945 65848 9665 1 - 0.0000 -
947.40/950.53 c 951 66200 9730 1 - 0.0000 -
952.58/955.75 c 956 66612 9803 1 - 0.0000 -
957.87/961.00 c 961 66973 9856 1 - 0.0000 -
962.95/966.13 c 966 67337 9931 1 - 0.0000 -
968.12/971.33 c 971 67698 9999 1 - 0.0000 -
973.31/976.52 c 977 67990 10044 1 - 0.0000 -
978.40/981.68 c 982 68364 10095 1 - 0.0000 -
983.88/987.10 c 987 68777 10132 1 - 0.0000 -
989.35/992.63 c 993 69204 10198 1 - 0.0000 -
994.63/997.92 c 998 69533 10260 1 - 0.0000 -
999.73/1003.10 c 1003 69854 10314 1 - 0.0000 -
1004.90/1008.28 c 1008 70361 10388 1 - 0.0000 -
1010.08/1013.42 c 1013 70739 10436 1 - 0.0000 -
1015.46/1018.83 c 1019 71102 10497 1 - 0.0000 -
1020.75/1024.13 c 1024 71434 10524 1 - 0.0000 -
1025.83/1029.23 c 1029 71864 10598 1 - 0.0000 -
1030.91/1034.31 c 1034 72295 10629 1 - 0.0000 -
1036.09/1039.51 c 1040 72711 10706 1 - 0.0000 -
1041.28/1044.73 c 1045 73030 10760 1 - 0.0000 -
1046.35/1049.85 c 1050 73390 10781 1 - 0.0000 -
1051.54/1055.02 c 1055 73844 10858 1 - 0.0000 -
1056.62/1060.18 c 1060 74213 10898 1 - 0.0000 -
1061.91/1065.43 c 1065 74596 10979 1 - 0.0000 -
1067.29/1070.82 c 1071 74960 11045 1 - 0.0000 -
1072.48/1076.07 c 1076 75315 11078 1 - 0.0000 -
1077.57/1081.16 c 1081 75652 11136 1 - 0.0000 -
1082.75/1086.31 c 1086 76068 11183 1 - 0.0000 -
1087.84/1091.46 c 1091 76427 11272 1 - 0.0000 -
1093.12/1096.76 c 1097 76770 11306 1 - 0.0000 -
1098.21/1101.89 c 1102 77213 11325 1 - 0.0000 -
1103.59/1107.21 c 1107 77596 11369 1 - 0.0000 -
1108.88/1112.54 c 1113 78090 11439 1 - 0.0000 -
1113.96/1117.62 c 1118 78478 11553 1 - 0.0000 -
1119.35/1123.08 c 1123 78832 11620 1 - 0.0000 -
1124.44/1128.16 c 1128 79235 11673 1 - 0.0000 -
1129.73/1133.44 c 1133 79682 11770 1 - 0.0000 -
1135.11/1138.83 c 1139 80059 11794 1 - 0.0000 -
1140.20/1143.96 c 1144 80455 11863 1 - 0.0000 -
1145.48/1149.23 c 1149 80909 11914 1 - 0.0000 -
1150.56/1154.37 c 1154 81263 11971 1 - 0.0000 -
1155.76/1159.53 c 1160 81621 12019 1 - 0.0000 -
1160.84/1164.67 c 1165 82042 12073 1 - 0.0000 -
1166.03/1169.80 c 1170 82456 12137 1 - 0.0000 -
1171.41/1175.25 c 1175 82875 12197 1 - 0.0000 -
1176.59/1180.43 c 1180 83319 12240 1 - 0.0000 -
1181.88/1185.71 c 1186 83717 12276 1 - 0.0000 -
1187.18/1191.08 c 1191 84094 12332 1 - 0.0000 -
1192.56/1196.42 c 1196 84523 12384 1 - 0.0000 -
1197.74/1201.60 c 1202 84862 12455 1 - 0.0000 -
1202.83/1206.79 c 1207 85267 12492 1 - 0.0000 -
1208.12/1212.10 c 1212 85663 12519 1 - 0.0000 -
1213.30/1217.29 c 1217 86071 12560 1 - 0.0000 -
1218.48/1222.43 c 1222 86556 12577 1 - 0.0000 -
1223.87/1227.82 c 1228 87032 12658 1 - 0.0000 -
1229.06/1233.02 c 1233 87420 12687 1 - 0.0000 -
1234.15/1238.16 c 1238 87923 12715 1 - 0.0000 -
1239.43/1243.48 c 1243 88365 12779 1 - 0.0000 -
1244.81/1248.80 c 1249 88860 12815 1 - 0.0000 -
1250.00/1254.03 c 1254 89248 12882 1 - 0.0000 -
1255.09/1259.13 c 1259 89594 12937 1 - 0.0000 -
1260.27/1264.33 c 1264 90059 12953 1 - 0.0000 -
1265.46/1269.54 c 1270 90493 13002 1 - 0.0000 -
1270.64/1274.72 c 1275 90914 13055 1 - 0.0000 -
1275.72/1279.80 c 1280 91306 13121 1 - 0.0000 -
1280.92/1285.01 c 1285 91761 13189 1 - 0.0000 -
1285.90/1290.10 c 1290 92121 13243 1 - 0.0000 -
1291.18/1295.32 c 1295 92515 13279 1 - 0.0000 -
1296.26/1300.43 c 1300 92931 13320 1 - 0.0000 -
1301.55/1305.76 c 1306 93301 13377 1 - 0.0000 -
1306.93/1311.14 c 1311 93675 13408 1 - 0.0000 -
1312.21/1316.48 c 1316 94078 13478 1 - 0.0000 -
1317.48/1321.78 c 1322 94450 13513 1 - 0.0000 -
1322.67/1326.91 c 1327 94845 13562 1 - 0.0000 -
1327.86/1332.12 c 1332 95242 13619 1 - 0.0000 -
1333.14/1337.42 c 1337 95634 13674 1 - 0.0000 -
1338.22/1342.54 c 1343 95985 13728 1 - 0.0000 -
1343.40/1347.77 c 1348 96359 13794 1 - 0.0000 -
1348.58/1352.96 c 1353 96720 13881 1 - 0.0000 -
1353.66/1358.05 c 1358 97121 13924 1 - 0.0000 -
1358.84/1363.26 c 1363 97541 13962 1 - 0.0000 -
1364.02/1368.42 c 1368 98012 14008 1 - 0.0000 -
1369.11/1373.53 c 1374 98400 14048 1 - 0.0000 -
1374.29/1378.79 c 1379 98796 14095 1 - 0.0000 -
1379.47/1383.97 c 1384 99181 14139 1 - 0.0000 -
1384.65/1389.12 c 1389 99600 14204 1 - 0.0000 -
1389.73/1394.21 c 1394 100035 14261 1 - 0.0000 -
1394.92/1399.40 c 1399 100449 14335 1 - 0.0000 -
1400.10/1404.60 c 1405 100861 14369 1 - 0.0000 -
1405.28/1409.87 c 1410 101293 14442 1 - 0.0000 -
1410.66/1415.26 c 1415 101769 14484 1 - 0.0000 -
1415.74/1420.35 c 1420 102163 14544 1 - 0.0000 -
1420.93/1425.53 c 1426 102559 14589 1 - 0.0000 -
1426.01/1430.64 c 1431 103006 14624 1 - 0.0000 -
1431.29/1435.95 c 1436 103210 14655 1 - 0.0000 -
1436.47/1441.12 c 1441 103633 14711 1 - 0.0000 -
1441.65/1446.31 c 1446 104047 14748 1 - 0.0000 -
1446.73/1451.43 c 1451 104461 14823 1 - 0.0000 -
1452.01/1456.72 c 1457 104867 14938 1 - 0.0000 -
1457.20/1461.94 c 1462 105255 14983 1 - 0.0000 -
1462.39/1467.17 c 1467 105748 15033 1 - 0.0000 -
1467.56/1472.38 c 1472 106206 15104 1 - 0.0000 -
1472.84/1477.60 c 1478 106537 15167 1 - 0.0000 -
1478.03/1482.89 c 1483 106918 15217 1 - 0.0000 -
1483.11/1487.96 c 1488 107270 15255 1 - 0.0000 -
1488.29/1493.17 c 1493 107551 15327 1 - 0.0000 -
1493.37/1498.29 c 1498 107927 15378 1 - 0.0000 -
1498.55/1503.48 c 1503 108280 15408 1 - 0.0000 -
1503.74/1508.66 c 1509 108726 15452 1 - 0.0000 -
1508.82/1513.75 c 1514 109190 15507 1 - 0.0000 -
1513.90/1518.81 c 1519 109758 15502 1 - 0.0000 -
1518.98/1523.94 c 1524 110114 15546 1 - 0.0000 -
1524.06/1529.04 c 1529 110536 15611 1 - 0.0000 -
1529.24/1534.23 c 1534 111029 15677 1 - 0.0000 -
1534.34/1539.36 c 1539 111422 15703 1 - 0.0000 -
1539.71/1544.76 c 1545 111781 15748 1 - 0.0000 -
1545.11/1550.19 c 1550 112267 15800 1 - 0.0000 -
1550.28/1555.34 c 1555 112656 15854 1 - 0.0000 -
1555.38/1560.47 c 1560 113118 15875 1 - 0.0000 -
1560.55/1565.60 c 1566 113456 15909 1 - 0.0000 -
1565.55/1570.65 c 1571 113860 15932 1 - 0.0000 -
1570.63/1575.70 c 1576 114294 16005 1 - 0.0000 -
1575.81/1580.90 c 1581 114735 16029 1 - 0.0000 -
1581.00/1586.12 c 1586 115201 16061 1 - 0.0000 -
1586.19/1591.35 c 1591 115606 16093 1 - 0.0000 -
1591.37/1596.55 c 1597 115951 16160 1 - 0.0000 -
1596.56/1601.70 c 1602 116333 16204 1 - 0.0000 -
1601.55/1606.77 c 1607 116806 16235 1 - 0.0000 -
1606.73/1611.95 c 1612 117319 16295 1 - 0.0000 -
1611.92/1617.18 c 1617 117767 16344 1 - 0.0000 -
1617.20/1622.43 c 1622 118067 16450 1 - 0.0000 -
1622.19/1627.49 c 1628 118460 16459 1 - 0.0000 -
1627.37/1632.60 c 1633 118863 16510 1 - 0.0000 -
1632.46/1637.75 c 1638 119265 16552 1 - 0.0000 -
1637.85/1643.17 c 1643 119656 16616 1 - 0.0000 -
1643.03/1648.38 c 1648 120042 16694 1 - 0.0000 -
1648.21/1653.50 c 1654 120474 16717 1 - 0.0000 -
1653.30/1658.63 c 1659 120915 16772 1 - 0.0000 -
1658.49/1663.81 c 1664 121342 16832 1 - 0.0000 -
1663.47/1668.87 c 1669 121770 16888 1 - 0.0000 -
1668.66/1674.03 c 1674 122145 16925 1 - 0.0000 -
1673.95/1679.37 c 1679 122504 17003 1 - 0.0000 -
1679.23/1684.61 c 1685 122995 17056 1 - 0.0000 -
1684.32/1689.72 c 1690 123415 17080 1 - 0.0000 -
1689.40/1694.86 c 1695 123841 17127 1 - 0.0000 -
1694.69/1700.15 c 1700 124273 17169 1 - 0.0000 -
1699.88/1705.38 c 1705 124648 17230 1 - 0.0000 -
1705.05/1710.57 c 1711 125057 17268 1 - 0.0000 -
1710.14/1715.68 c 1716 125447 17325 1 - 0.0000 -
1715.53/1721.07 c 1721 125814 17354 1 - 0.0000 -
1720.72/1726.23 c 1726 126197 17412 1 - 0.0000 -
1725.80/1731.38 c 1731 126633 17477 1 - 0.0000 -
1730.98/1736.59 c 1737 127009 17514 1 - 0.0000 -
1736.27/1741.80 c 1742 127447 17580 1 - 0.0000 -
1741.45/1747.00 c 1747 127832 17636 1 - 0.0000 -
1746.55/1752.19 c 1752 128232 17642 1 - 0.0000 -
1751.83/1757.43 c 1757 128567 17681 1 - 0.0000 -
1757.11/1762.70 c 1763 128958 17767 1 - 0.0000 -
1762.30/1767.93 c 1768 129338 17774 1 - 0.0000 -
1767.58/1773.27 c 1773 129694 17812 1 - 0.0000 -
1773.06/1778.70 c 1779 130022 17868 1 - 0.0000 -
1778.36/1784.04 c 1784 130303 17886 1 - 0.0000 -
1783.54/1789.21 c 1789 130602 17910 1 - 0.0000 -
1788.62/1794.32 c 1794 130984 17961 1 - 0.0000 -
1793.61/1799.39 c 1799 131322 17992 1 - 0.0000 -
1798.80/1804.55 c 1805 131645 18030 1 - 0.0000 -
1803.88/1809.61 c 1810 132029 18077 1 - 0.0000 -
1808.97/1814.79 c 1815 132388 18137 1 - 0.0000 -
1814.15/1819.93 c 1820 132762 18183 1 - 0.0000 -
1819.34/1825.13 c 1825 133225 18223 1 - 0.0000 -
1824.53/1830.31 c 1830 133684 18251 1 - 0.0000 -
1829.81/1835.63 c 1836 133992 18265 1 - 0.0000 -
1834.89/1840.75 c 1841 134433 18314 1 - 0.0000 -
1840.18/1846.00 c 1846 134833 18366 1 - 0.0000 -
1845.47/1851.35 c 1851 135189 18379 1 - 0.0000 -
1850.65/1856.55 c 1857 135596 18427 1 - 0.0000 -
1855.74/1861.67 c 1862 136038 18457 1 - 0.0000 -
1860.82/1866.72 c 1867 136479 18523 1 - 0.0000 -
1866.00/1871.97 c 1872 136760 18573 1 - 0.0000 -
1871.09/1877.04 c 1877 137219 18617 1 - 0.0000 -
1876.37/1882.37 c 1882 137646 18663 1 - 0.0000 -
1881.64/1887.68 c 1888 138051 18690 1 - 0.0000 -
1886.83/1892.87 c 1893 138407 18741 1 - 0.0000 -
1892.21/1898.26 c 1898 138777 18797 1 - 0.0000 -
1897.39/1903.43 c 1903 139159 18847 1 - 0.0000 -
1902.58/1908.68 c 1909 139506 18877 1 - 0.0000 -
1907.66/1913.75 c 1914 139785 18906 1 - 0.0000 -
1912.74/1918.87 c 1919 140176 18943 1 - 0.0000 -
1918.11/1924.28 c 1924 140584 19019 1 - 0.0000 -
1923.50/1929.62 c 1930 140906 19070 1 - 0.0000 -
1928.48/1934.68 c 1935 141295 19160 1 - 0.0000 -
1933.66/1939.85 c 1940 141700 19208 1 - 0.0000 -
1938.75/1944.94 c 1945 142102 19241 1 - 0.0000 -
1944.03/1950.21 c 1950 142399 19266 1 - 0.0000 -
1949.21/1955.41 c 1955 142698 19334 1 - 0.0000 -
1954.20/1960.48 c 1960 143088 19376 1 - 0.0000 -
1959.58/1965.80 c 1966 143549 19411 1 - 0.0000 -
1964.86/1971.13 c 1971 143935 19446 1 - 0.0000 -
1970.13/1976.47 c 1976 144302 19518 1 - 0.0000 -
1975.31/1981.65 c 1982 144653 19572 1 - 0.0000 -
1980.40/1986.79 c 1987 145083 19623 1 - 0.0000 -
1985.78/1992.10 c 1992 145448 19666 1 - 0.0000 -
1990.96/1997.33 c 1997 145830 19733 1 - 0.0000 -
1996.14/2002.55 c 2003 146233 19779 1 - 0.0000 -
2001.32/2007.78 c 2008 146619 19834 1 - 0.0000 -
2006.90/2013.30 c 2013 146913 19864 1 - 0.0000 -
2012.18/2018.62 c 2019 147276 19899 1 - 0.0000 -
2017.46/2023.91 c 2024 147647 19966 1 - 0.0000 -
2022.65/2029.14 c 2029 148032 19996 1 - 0.0000 -
2027.92/2034.42 c 2034 148308 20053 1 - 0.0000 -
2033.01/2039.50 c 2040 148668 20085 1 - 0.0000 -
2038.00/2044.58 c 2045 149083 20145 1 - 0.0000 -
2043.17/2049.71 c 2050 149505 20222 1 - 0.0000 -
2048.35/2054.92 c 2055 149885 20261 1 - 0.0000 -
2053.43/2060.05 c 2060 150290 20275 1 - 0.0000 -
2059.12/2065.71 c 2066 150655 20292 1 - 0.0000 -
2064.10/2070.75 c 2071 151098 20333 1 - 0.0000 -
2069.19/2075.84 c 2076 151549 20365 1 - 0.0000 -
2074.27/2080.96 c 2081 151998 20453 1 - 0.0000 -
2079.36/2086.10 c 2086 152412 20494 1 - 0.0000 -
2084.54/2091.20 c 2091 152744 20545 1 - 0.0000 -
2089.63/2096.37 c 2096 153129 20568 1 - 0.0000 -
2094.72/2101.48 c 2101 153623 20600 1 - 0.0000 -
2099.90/2106.66 c 2107 153999 20643 1 - 0.0000 -
2104.98/2111.75 c 2112 154384 20680 1 - 0.0000 -
2110.18/2116.98 c 2117 154839 20709 1 - 0.0000 -
2115.27/2122.03 c 2122 155191 20761 1 - 0.0000 -
2120.54/2127.30 c 2127 155661 20776 1 - 0.0000 -
2125.82/2132.62 c 2133 156058 20812 1 - 0.0000 -
2131.12/2137.93 c 2138 156436 20846 1 - 0.0000 -
2136.30/2143.11 c 2143 156839 20911 1 - 0.0000 -
2141.38/2148.20 c 2148 157226 20967 1 - 0.0000 -
2146.66/2153.53 c 2154 157640 21013 1 - 0.0000 -
2151.75/2158.66 c 2159 158010 21045 1 - 0.0000 -
2156.84/2163.79 c 2164 158394 21098 1 - 0.0000 -
2162.02/2168.99 c 2169 158825 21130 1 - 0.0000 -
2167.61/2174.52 c 2175 159174 21188 1 - 0.0000 -
2172.69/2179.66 c 2180 159538 21224 1 - 0.0000 -
2177.88/2184.83 c 2185 159905 21266 1 - 0.0000 -
2182.96/2189.92 c 2190 160267 21314 1 - 0.0000 -
2187.95/2194.98 c 2195 160756 21325 1 - 0.0000 -
2193.03/2200.08 c 2200 161063 21348 1 - 0.0000 -
2198.32/2205.33 c 2205 161501 21382 1 - 0.0000 -
2203.50/2210.51 c 2211 161892 21437 1 - 0.0000 -
2208.89/2215.99 c 2216 162128 21457 1 - 0.0000 -
2214.08/2221.15 c 2221 162514 21531 1 - 0.0000 -
2219.16/2226.21 c 2226 163079 21565 1 - 0.0000 -
2224.24/2231.39 c 2231 163494 21684 1 - 0.0000 -
2229.33/2236.44 c 2236 164153 21779 1 - 0.0000 -
2234.42/2241.52 c 2242 164807 21884 1 - 0.0000 -
2239.39/2246.59 c 2247 165397 21958 1 - 0.0000 -
2244.48/2251.67 c 2252 166053 21986 1 - 0.0000 -
2249.67/2256.83 c 2257 166696 22070 1 - 0.0000 -
2254.65/2261.89 c 2262 167273 22188 1 - 0.0000 -
2259.94/2267.13 c 2267 167657 22232 1 - 0.0000 -
2265.12/2272.33 c 2272 168027 22300 1 - 0.0000 -
2270.30/2277.55 c 2278 168347 22333 1 - 0.0000 -
2275.58/2282.85 c 2283 168757 22370 1 - 0.0000 -
2280.97/2288.28 c 2288 169103 22419 1 - 0.0000 -
2286.16/2293.49 c 2294 169415 22437 1 - 0.0000 -
2291.34/2298.66 c 2299 169776 22488 1 - 0.0000 -
2296.52/2303.81 c 2304 170104 22507 1 - 0.0000 -
2302.02/2309.34 c 2309 170402 22535 1 - 0.0000 -
2307.20/2314.51 c 2315 170807 22578 1 - 0.0000 -
2312.48/2319.80 c 2320 171192 22642 1 - 0.0000 -
2317.57/2324.98 c 2325 171603 22711 1 - 0.0000 -
2322.86/2330.26 c 2330 171975 22786 1 - 0.0000 -
2327.94/2335.39 c 2335 172362 22837 1 - 0.0000 -
2333.33/2340.79 c 2341 172835 22866 1 - 0.0000 -
2338.82/2346.25 c 2346 173129 22908 1 - 0.0000 -
2344.00/2351.42 c 2351 173564 22922 1 - 0.0000 -
2349.09/2356.56 c 2357 173937 22957 1 - 0.0000 -
2354.27/2361.76 c 2362 174323 22999 1 - 0.0000 -
2359.56/2367.02 c 2367 174757 23063 1 - 0.0000 -
2364.55/2372.09 c 2372 175077 23119 1 - 0.0000 -
2369.73/2377.26 c 2377 175508 23133 1 - 0.0000 -
2374.81/2382.39 c 2382 175899 23164 1 - 0.0000 -
2380.00/2387.52 c 2388 176312 23201 1 - 0.0000 -
2385.19/2392.79 c 2393 176658 23223 1 - 0.0000 -
2390.37/2397.92 c 2398 177035 23308 1 - 0.0000 -
2395.56/2403.15 c 2403 177361 23351 1 - 0.0000 -
2400.74/2408.35 c 2408 177777 23414 1 - 0.0000 -
2405.82/2413.44 c 2413 178139 23477 1 - 0.0000 -
2411.02/2418.66 c 2419 178663 23556 1 - 0.0000 -
2416.30/2423.92 c 2424 179122 23555 1 - 0.0000 -
2421.78/2429.48 c 2429 179428 23624 1 - 0.0000 -
2427.07/2434.70 c 2435 179836 23724 1 - 0.0000 -
2432.05/2439.77 c 2440 180333 23774 1 - 0.0000 -
2437.14/2444.87 c 2445 180692 23797 1 - 0.0000 -
2442.43/2450.17 c 2450 181039 23848 1 - 0.0000 -
2447.51/2455.28 c 2455 181410 23894 1 - 0.0000 -
2452.70/2460.46 c 2460 181787 23960 1 - 0.0000 -
2457.79/2465.56 c 2466 182234 23991 1 - 0.0000 -
2462.97/2470.74 c 2471 182618 24014 1 - 0.0000 -
2468.16/2475.91 c 2476 182978 24055 1 - 0.0000 -
2473.35/2481.19 c 2481 183291 24119 1 - 0.0000 -
2478.54/2486.39 c 2486 183689 24155 1 - 0.0000 -
2483.92/2491.72 c 2492 184147 24183 1 - 0.0000 -
2489.21/2497.01 c 2497 184516 24271 1 - 0.0000 -
2494.29/2502.13 c 2502 185000 24293 1 - 0.0000 -
2499.37/2507.23 c 2507 185356 24369 1 - 0.0000 -
2504.66/2512.54 c 2513 185674 24387 1 - 0.0000 -
2509.84/2517.74 c 2518 186130 24418 1 - 0.0000 -
2515.14/2523.01 c 2523 186557 24440 1 - 0.0000 -
2520.13/2528.06 c 2528 186920 24482 1 - 0.0000 -
2525.61/2533.53 c 2534 187322 24483 1 - 0.0000 -
2530.69/2538.66 c 2539 187654 24512 1 - 0.0000 -
2535.88/2543.83 c 2544 188049 24581 1 - 0.0000 -
2540.97/2549.00 c 2549 188502 24613 1 - 0.0000 -
2546.16/2554.11 c 2554 188903 24664 1 - 0.0000 -
2551.24/2559.26 c 2559 189258 24679 1 - 0.0000 -
2556.32/2564.38 c 2564 189597 24736 1 - 0.0000 -
2561.61/2569.68 c 2570 190009 24779 1 - 0.0000 -
2566.90/2574.91 c 2575 190430 24821 1 - 0.0000 -
2571.99/2580.08 c 2580 190768 24860 1 - 0.0000 -
2577.36/2585.43 c 2585 191179 24924 1 - 0.0000 -
2582.65/2590.71 c 2591 191515 24955 1 - 0.0000 -
2587.84/2595.90 c 2596 191930 24995 1 - 0.0000 -
2592.82/2600.97 c 2601 192267 25033 1 - 0.0000 -
2598.01/2606.10 c 2606 192596 25065 1 - 0.0000 -
2603.09/2611.25 c 2611 192972 25107 1 - 0.0000 -
2608.38/2616.52 c 2617 193308 25133 1 - 0.0000 -
2613.57/2621.73 c 2622 193671 25156 1 - 0.0000 -
2618.86/2627.01 c 2627 194183 25231 1 - 0.0000 -
2624.04/2632.23 c 2632 194534 25264 1 - 0.0000 -
2629.03/2637.29 c 2637 194958 25289 1 - 0.0000 -
2634.52/2642.75 c 2643 195408 25315 1 - 0.0000 -
2639.60/2647.80 c 2648 195882 25352 1 - 0.0000 -
2644.69/2652.97 c 2653 196314 25384 1 - 0.0000 -
2649.97/2658.23 c 2658 196821 25420 1 - 0.0000 -
2655.15/2663.42 c 2663 197218 25458 1 - 0.0000 -
2660.15/2668.47 c 2668 197607 25512 1 - 0.0000 -
2665.33/2673.68 c 2674 198024 25526 1 - 0.0000 -
2670.61/2678.99 c 2679 198335 25603 1 - 0.0000 -
2676.00/2684.39 c 2684 198720 25616 1 - 0.0000 -
2681.29/2689.66 c 2690 199077 25665 1 - 0.0000 -
2686.38/2694.73 c 2695 199551 25727 1 - 0.0000 -
2691.45/2699.89 c 2700 200113 25781 1 - 0.0000 -
2696.94/2705.32 c 2705 200425 25867 1 - 0.0000 -
2702.13/2710.56 c 2711 200833 25928 1 - 0.0000 -
2707.42/2715.85 c 2716 201151 25969 1 - 0.0000 -
2712.61/2721.01 c 2721 201520 25979 1 - 0.0000 -
2717.69/2726.13 c 2726 201975 26011 1 - 0.0000 -
2722.77/2731.22 c 2731 202330 26042 1 - 0.0000 -
2728.06/2736.58 c 2737 202665 26054 1 - 0.0000 -
2733.65/2742.13 c 2742 203085 26092 1 - 0.0000 -
2738.93/2747.44 c 2747 203473 26146 1 - 0.0000 -
2744.21/2752.75 c 2753 203748 26158 1 - 0.0000 -
2749.50/2758.03 c 2758 204050 26213 1 - 0.0000 -
2754.59/2763.19 c 2763 204406 26238 1 - 0.0000 -
2759.97/2768.53 c 2769 204810 26268 1 - 0.0000 -
2765.06/2773.64 c 2774 205217 26290 1 - 0.0000 -
2770.14/2778.73 c 2779 205627 26311 1 - 0.0000 -
2775.13/2783.79 c 2784 206159 26355 1 - 0.0000 -
2780.32/2788.96 c 2789 206577 26416 1 - 0.0000 -
2785.60/2794.29 c 2794 206913 26451 1 - 0.0000 -
2790.89/2799.53 c 2800 207282 26504 1 - 0.0000 -
2795.88/2804.59 c 2805 207640 26531 1 - 0.0000 -
2801.26/2809.94 c 2810 208099 26564 1 - 0.0000 -
2806.74/2815.40 c 2815 208563 26614 1 - 0.0000 -
2811.83/2820.53 c 2821 208873 26674 1 - 0.0000 -
2817.62/2826.32 c 2826 209440 26716 1 - 0.0000 -
2822.70/2831.49 c 2832 209751 26760 1 - 0.0000 -
2827.98/2836.70 c 2837 210098 26804 1 - 0.0000 -
2833.27/2842.03 c 2842 210379 26822 1 - 0.0000 -
2838.55/2847.35 c 2847 210675 26852 1 - 0.0000 -
2843.75/2852.59 c 2853 211052 26895 1 - 0.0000 -
2848.83/2857.68 c 2858 211504 26937 1 - 0.0000 -
2854.22/2863.03 c 2863 211877 26971 1 - 0.0000 -
2859.50/2868.30 c 2868 212264 27013 1 - 0.0000 -
2864.59/2873.46 c 2873 212618 27043 1 - 0.0000 -
2870.18/2879.02 c 2879 213015 27111 1 - 0.0000 -
2875.35/2884.26 c 2884 213471 27151 1 - 0.0000 -
2880.63/2889.59 c 2890 213911 27179 1 - 0.0000 -
2885.72/2894.66 c 2895 214359 27199 1 - 0.0000 -
2891.00/2899.93 c 2900 214710 27222 1 - 0.0000 -
2896.18/2905.15 c 2905 214991 27253 1 - 0.0000 -
2901.46/2910.41 c 2910 215331 27339 1 - 0.0000 -
2906.54/2915.58 c 2916 215621 27377 1 - 0.0000 -
2911.83/2920.89 c 2921 215996 27386 1 - 0.0000 -
2917.21/2926.21 c 2926 216390 27389 1 - 0.0000 -
2922.29/2931.33 c 2931 216789 27423 1 - 0.0000 -
2927.47/2936.53 c 2937 217132 27465 1 - 0.0000 -
2932.55/2941.60 c 2942 217544 27490 1 - 0.0000 -
2937.63/2946.76 c 2947 217947 27519 1 - 0.0000 -
2942.81/2951.95 c 2952 218429 27529 1 - 0.0000 -
2948.00/2957.15 c 2957 218798 27552 1 - 0.0000 -
2953.18/2962.35 c 2962 219207 27603 1 - 0.0000 -
2958.46/2967.64 c 2968 219614 27664 1 - 0.0000 -
2963.55/2972.76 c 2973 219997 27737 1 - 0.0000 -
2968.73/2977.92 c 2978 220300 27757 1 - 0.0000 -
2973.91/2983.16 c 2983 220741 27792 1 - 0.0000 -
2979.19/2988.45 c 2988 221156 27836 1 - 0.0000 -
2984.37/2993.65 c 2994 221566 27888 1 - 0.0000 -
2989.45/2998.74 c 2999 221898 27938 1 - 0.0000 -
2994.64/3003.91 c 3004 222241 27984 1 - 0.0000 -
2999.72/3009.07 c 3009 222608 27988 1 - 0.0000 -
3004.80/3014.19 c 3014 222986 28021 1 - 0.0000 -
3009.98/3019.34 c 3019 223457 28048 1 - 0.0000 -
3015.06/3024.43 c 3024 223866 28102 1 - 0.0000 -
3020.14/3029.53 c 3030 224257 28150 1 - 0.0000 -
3025.53/3034.91 c 3035 224532 28197 1 - 0.0000 -
3030.61/3040.01 c 3040 224903 28216 1 - 0.0000 -
3035.68/3045.18 c 3045 225260 28264 1 - 0.0000 -
3040.86/3050.33 c 3050 225681 28313 1 - 0.0000 -
3046.15/3055.68 c 3056 226038 28333 1 - 0.0000 -
3051.53/3061.02 c 3061 226288 28367 1 - 0.0000 -
3056.81/3066.30 c 3066 226645 28406 1 - 0.0000 -
3061.99/3071.52 c 3072 227096 28452 1 - 0.0000 -
3066.97/3076.59 c 3077 227460 28513 1 - 0.0000 -
3072.35/3081.90 c 3082 227836 28543 1 - 0.0000 -
3077.44/3087.03 c 3087 228229 28605 1 - 0.0000 -
3082.52/3092.13 c 3092 228544 28626 1 - 0.0000 -
3087.90/3097.55 c 3098 228892 28666 1 - 0.0000 -
3093.08/3102.78 c 3103 229255 28682 1 - 0.0000 -
3098.26/3107.93 c 3108 229658 28709 1 - 0.0000 -
3103.34/3113.04 c 3113 230040 28775 1 - 0.0000 -
3108.43/3118.16 c 3118 230376 28878 1 - 0.0000 -
3113.71/3123.46 c 3123 230702 28962 1 - 0.0000 -
3118.99/3128.70 c 3129 231026 28991 1 - 0.0000 -
3124.07/3133.83 c 3134 231348 29026 1 - 0.0000 -
3129.15/3138.99 c 3139 231797 29066 1 - 0.0000 -
3134.34/3144.16 c 3144 232196 29087 1 - 0.0000 -
3139.42/3149.29 c 3149 232727 29125 1 - 0.0000 -
3144.70/3154.50 c 3155 233221 29181 1 - 0.0000 -
3149.98/3159.80 c 3160 233718 29260 1 - 0.0000 -
3155.06/3164.92 c 3165 234288 29303 1 - 0.0000 -
3160.34/3170.24 c 3170 234628 29338 1 - 0.0000 -
3165.72/3175.60 c 3176 234867 29401 1 - 0.0000 -
3170.71/3180.68 c 3181 235248 29443 1 - 0.0000 -
3175.89/3185.84 c 3186 235578 29478 1 - 0.0000 -
3181.18/3191.11 c 3191 235927 29496 1 - 0.0000 -
3186.65/3196.63 c 3197 236307 29521 1 - 0.0000 -
3191.74/3201.71 c 3202 236846 29559 1 - 0.0000 -
3196.91/3206.90 c 3207 237238 29633 1 - 0.0000 -
3202.09/3212.16 c 3212 237527 29662 1 - 0.0000 -
3207.28/3217.32 c 3217 237952 29678 1 - 0.0000 -
3212.87/3222.90 c 3223 238243 29712 1 - 0.0000 -
3218.06/3228.17 c 3228 238571 29746 1 - 0.0000 -
3223.53/3233.61 c 3234 238925 29781 1 - 0.0000 -
3228.63/3238.72 c 3239 239306 29850 1 - 0.0000 -
3233.71/3243.85 c 3244 239759 29884 1 - 0.0000 -
3238.90/3249.03 c 3249 240211 29901 1 - 0.0000 -
3244.18/3254.36 c 3254 240542 29941 1 - 0.0000 -
3249.46/3259.63 c 3260 240909 29955 1 - 0.0000 -
3254.65/3264.80 c 3265 241395 30032 1 - 0.0000 -
3259.84/3270.10 c 3270 241726 30093 1 - 0.0000 -
3265.22/3275.43 c 3275 242215 30153 1 - 0.0000 -
3270.50/3280.75 c 3281 242607 30171 1 - 0.0000 -
3275.78/3286.10 c 3286 242804 30206 1 - 0.0000 -
3281.07/3291.32 c 3291 243140 30251 1 - 0.0000 -
3286.54/3296.80 c 3297 243436 30288 1 - 0.0000 -
3291.63/3301.91 c 3302 243940 30362 1 - 0.0000 -
3296.72/3307.08 c 3307 244381 30364 1 - 0.0000 -
3302.39/3312.79 c 3313 244683 30399 1 - 0.0000 -
3307.57/3317.92 c 3318 244983 30414 1 - 0.0000 -
3312.95/3323.31 c 3323 245332 30432 1 - 0.0000 -
3318.03/3328.47 c 3328 245734 30460 1 - 0.0000 -
3323.22/3333.62 c 3334 246178 30500 1 - 0.0000 -
3328.50/3338.93 c 3339 246474 30542 1 - 0.0000 -
3333.59/3344.10 c 3344 246783 30554 1 - 0.0000 -
3338.67/3349.19 c 3349 247191 30582 1 - 0.0000 -
3343.84/3354.37 c 3354 247488 30620 1 - 0.0000 -
3349.02/3359.54 c 3360 247925 30635 1 - 0.0000 -
3354.21/3364.76 c 3365 248258 30663 1 - 0.0000 -
3359.39/3369.91 c 3370 248681 30694 1 - 0.0000 -
3364.48/3375.10 c 3375 249053 30684 1 - 0.0000 -
3370.56/3381.12 c 3381 249479 30723 1 - 0.0000 -
3375.63/3386.29 c 3386 249888 30757 1 - 0.0000 -
3380.81/3391.45 c 3391 250338 30799 1 - 0.0000 -
3386.19/3396.88 c 3397 250768 30851 1 - 0.0000 -
3391.38/3402.02 c 3402 251322 30911 1 - 0.0000 -
3396.85/3407.54 c 3408 251809 30970 1 - 0.0000 -
3401.95/3412.69 c 3413 252218 31011 1 - 0.0000 -
3407.03/3417.76 c 3418 252548 31039 1 - 0.0000 -
3412.32/3423.01 c 3423 252935 31095 1 - 0.0000 -
3417.50/3428.28 c 3428 253331 31113 1 - 0.0000 -
3422.79/3433.59 c 3434 253617 31133 1 - 0.0000 -
3428.07/3438.89 c 3439 254046 31137 1 - 0.0000 -
3433.16/3443.98 c 3444 254473 31172 1 - 0.0000 -
3438.24/3449.04 c 3449 255042 31175 1 - 0.0000 -
3443.53/3454.38 c 3454 255373 31184 1 - 0.0000 -
3448.71/3459.50 c 3460 255693 31228 1 - 0.0000 -
3453.70/3464.57 c 3465 256088 31260 1 - 0.0000 -
3458.78/3469.66 c 3470 256539 31291 1 - 0.0000 -
3463.88/3474.78 c 3475 256941 31315 1 - 0.0000 -
3469.06/3479.94 c 3480 257255 31348 1 - 0.0000 -
3474.15/3485.06 c 3485 257564 31377 1 - 0.0000 -
3479.23/3490.12 c 3490 258051 31442 1 - 0.0000 -
3484.51/3495.44 c 3495 258481 31464 1 - 0.0000 -
3489.61/3500.54 c 3501 258901 31534 1 - 0.0000 -
3494.79/3505.74 c 3506 259329 31575 1 - 0.0000 -
3500.08/3511.08 c 3511 259679 31662 1 - 0.0000 -
3505.17/3516.14 c 3516 260325 31707 1 - 0.0000 -
3510.45/3521.48 c 3521 260738 31752 1 - 0.0000 -
3515.63/3526.67 c 3527 261096 31764 1 - 0.0000 -
3520.72/3531.79 c 3532 261452 31794 1 - 0.0000 -
3525.91/3536.94 c 3537 261975 31795 1 - 0.0000 -
3531.19/3542.20 c 3542 262325 31819 1 - 0.0000 -
3536.28/3547.39 c 3547 262630 31847 1 - 0.0000 -
3541.46/3552.53 c 3553 262959 31885 1 - 0.0000 -
3546.54/3557.69 c 3558 263339 31905 1 - 0.0000 -
3551.83/3562.91 c 3563 263658 31921 1 - 0.0000 -
3557.03/3568.15 c 3568 264113 31945 1 - 0.0000 -
3562.21/3573.39 c 3573 264561 31990 1 - 0.0000 -
3567.39/3578.56 c 3579 264911 32084 1 - 0.0000 -
3572.78/3583.92 c 3584 265342 32115 1 - 0.0000 -
3577.86/3589.01 c 3589 265698 32150 1 - 0.0000 -
3583.15/3594.31 c 3594 266038 32182 1 - 0.0000 -
3588.44/3599.66 c 3600 266533 32199 1 - 0.0000 -
3589.13/3600.33 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.13/3600.33 c Total Time : 3600.3400
3589.13/3600.33 c solving : 3600.3400
3589.13/3600.33 c presolving : 0.1464 (included in solving)
3589.13/3600.33 c B&B Tree :
3589.13/3600.33 c nodes (total) : 1
3589.13/3600.33 c Solution :
3589.13/3600.33 c Solutions found : 0
3589.13/3600.33 c Primal Bound : -
3589.13/3600.33 c Dual Bound : +0.00000000000000e+00
3589.13/3600.33 c Gap : -
3589.13/3600.35 s UNKNOWN
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: 63931 MiB (60942 MiB free)
memory of node 1: 64510 MiB (58715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450150-1721406896/watcher-4450150-1721406896 -o /tmp/evaluation-result-4450150-1721406896/solver-4450150-1721406896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037849 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450150-1721406896.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1040172, runsolver pid=1040169
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.03 4.09 4.08 5/265 1040175
/proc/meminfo: memFree=122496036/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=53704 memory=43060 CPUtime=0.09 cores=4,6
/proc/1040172/stat : 1040172 (fscip) R 1040169 1040172 1035639 0 -1 4194304 9622 0 0 0 8 1 0 0 20 0 1 0 192857892 54992896 10765 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 13426 10765 2670 3032 0 9826 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53704 KiB
Current children cumulated memory: 43060 KiB
[startup+0.207105 s]*
/proc/loadavg: 4.03 4.09 4.08 5/266 1040176
/proc/meminfo: memFree=122450632/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=178820 memory=88692 CPUtime=0.2 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 20557 0 0 0 17 3 0 0 20 0 2 0 192857892 183111680 22173 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 44705 22173 2750 3032 0 26518 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=178820 memory=6007641856751698051 CPUtime=0 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2705 0 0 0 0 0 0 0 20 0 2 0 192857910 183111680 22173 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 178820 KiB
Current children cumulated memory: 88692 KiB
[startup+0.306122 s]*
/proc/loadavg: 4.03 4.09 4.08 5/267 1040177
/proc/meminfo: memFree=122424760/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=196932 memory=114780 CPUtime=0.29 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 26965 0 0 0 26 3 0 0 20 0 3 0 192857892 201658368 28695 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 49233 28695 2814 3032 0 35313 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=196932 memory=-7664417297240778112 CPUtime=0.09 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 9110 0 0 0 9 0 0 0 20 0 3 0 192857910 201658368 28695 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=196932 memory=0 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192857913 201658368 28695 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 196932 KiB
Current children cumulated memory: 114780 KiB
[startup+0.70024 s]
/proc/loadavg: 4.03 4.09 4.08 5/267 1040177
/proc/meminfo: memFree=122419076/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=197076 memory=121152 CPUtime=0.68 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 28482 0 0 0 64 4 0 0 20 0 3 0 192857892 201805824 30288 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 49269 30288 2910 3032 0 36883 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=197076 memory=13120 CPUtime=0.48 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 10627 0 0 0 47 1 0 0 20 0 3 0 192857910 201805824 30288 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=197076 memory=0 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192857913 201805824 30288 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197076 KiB
Current children cumulated memory: 121152 KiB
[startup+1.50025 s]
/proc/loadavg: 4.03 4.09 4.08 5/267 1040177
/proc/meminfo: memFree=122416712/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=199484 memory=140740 CPUtime=1.47 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 42652 0 0 0 142 5 0 0 20 0 3 0 192857892 204271616 35185 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 49871 35185 2926 3032 0 42378 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=199484 memory=0 CPUtime=1.27 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 24797 0 0 0 125 2 0 0 20 0 3 0 192857910 204271616 35185 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=199484 memory=0 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192857913 204271616 35185 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 199484 KiB
Current children cumulated memory: 140740 KiB
[startup+3.10549 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 1040177
/proc/meminfo: memFree=122395700/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=199484 memory=141188 CPUtime=3.07 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 43129 0 0 0 302 5 0 0 20 0 3 0 192857892 204271616 35297 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 49871 35297 2926 3032 0 42378 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=199484 memory=13120 CPUtime=2.87 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 25272 0 0 0 285 2 0 0 20 0 3 0 192857910 204271616 35297 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=199484 memory=-7664417297240778112 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 192857913 204271616 35297 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 199484 KiB
Current children cumulated memory: 141188 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1040177
/proc/meminfo: memFree=122348692/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=265020 memory=177260 CPUtime=6.26 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 63546 0 0 0 618 8 0 0 20 0 3 0 192857892 271380480 44315 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 66255 44315 2974 3032 0 52715 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=265020 memory=-7664417297240778112 CPUtime=6.07 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 45653 0 0 0 602 5 0 0 20 0 3 0 192857910 271380480 44315 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=265020 memory=154448 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 192857913 271380480 44315 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 265020 KiB
Current children cumulated memory: 177260 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 1040178
/proc/meminfo: memFree=122338652/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=265020 memory=183688 CPUtime=12.64 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 91972 0 0 0 1255 9 0 0 20 0 3 0 192857892 271380480 45922 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 66255 45922 2974 3032 0 54092 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=265020 memory=-7313700408541549676 CPUtime=12.44 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 74040 0 0 0 1238 6 0 0 20 0 3 0 192857910 271380480 45922 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=265020 memory=177300 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 192857913 271380480 45922 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 265020 KiB
Current children cumulated memory: 183688 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 1040180
/proc/meminfo: memFree=122270884/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=265020 memory=215424 CPUtime=25.39 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 143351 0 0 0 2525 14 0 0 20 0 3 0 192857892 271380480 53856 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 66255 53856 2974 3032 0 61992 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=265020 memory=213424 CPUtime=25.19 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 125375 0 0 0 2508 11 0 0 20 0 3 0 192857910 271380480 53856 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=265020 memory=214584 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 192857913 271380480 53856 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 265020 KiB
Current children cumulated memory: 215424 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 1040184
/proc/meminfo: memFree=122197008/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=330708 memory=246324 CPUtime=50.9 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 207703 0 0 0 5070 20 0 0 20 0 3 0 192857892 338644992 61581 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 82677 61581 2974 3032 0 69796 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=330708 memory=213424 CPUtime=50.7 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 189687 0 0 0 5053 17 0 0 20 0 3 0 192857910 338644992 61581 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=330708 memory=246324 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 192857913 338644992 61581 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 330708 KiB
Current children cumulated memory: 246324 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 1040193
/proc/meminfo: memFree=122069184/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=330856 memory=265380 CPUtime=101.92 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 276446 0 0 0 10165 27 0 0 20 0 3 0 192857892 338796544 66345 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 82714 66345 2974 3032 0 75591 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=330856 memory=265352 CPUtime=101.72 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 258360 0 0 0 10148 24 0 0 20 0 3 0 192857910 338796544 66345 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=330856 memory=265352 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 192857913 338796544 66345 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 330856 KiB
Current children cumulated memory: 265380 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 1040205
/proc/meminfo: memFree=121919012/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=400660 memory=295880 CPUtime=161.7 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 322645 0 0 0 16139 31 0 0 20 0 3 0 192857892 410275840 73970 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 100165 73970 2974 3032 0 82619 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=400660 memory=266268 CPUtime=161.49 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 304535 0 0 0 16121 28 0 0 20 0 3 0 192857910 410275840 73970 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=400660 memory=-7313700408541549676 CPUtime=0 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 192857913 410275840 73970 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 400660 KiB
Current children cumulated memory: 295880 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 1040216
/proc/meminfo: memFree=121851836/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=402204 memory=297444 CPUtime=221.48 cores=4,6
################
# More data... #
################
/proc/1040172/statm: 281274 257466 2974 3032 0 267508 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1125096 memory=11400 CPUtime=3451.09 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2749079 0 0 0 344821 288 0 0 20 0 3 0 192857910 1152098304 257466 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1125096 memory=1025748 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1152098304 257466 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 1125096 KiB
Current children cumulated memory: 1029864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 1042073
/proc/meminfo: memFree=118262012/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1125096 memory=1042884 CPUtime=3511.34 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2787042 0 0 0 350832 302 0 0 20 0 3 0 192857892 1152098304 260721 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 281274 260721 2974 3032 0 268694 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1125096 memory=1040548 CPUtime=3510.92 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2768378 0 0 0 350801 291 0 0 20 0 3 0 192857910 1152098304 260721 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1125096 memory=1040824 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1152098304 260721 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3511.34 s
Current children cumulated vsize: 1125096 KiB
Current children cumulated memory: 1042884 KiB
[startup+3582.3 s]
/proc/loadavg: 3.52 3.98 4.04 3/250 1042147
/proc/meminfo: memFree=121621440/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1190784 memory=1080984 CPUtime=3571.18 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872066 0 0 0 356808 310 0 0 20 0 3 0 192857892 1219362816 270246 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297696 270246 2974 3032 0 277732 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1190784 memory=1047128 CPUtime=3570.76 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2853395 0 0 0 356777 299 0 0 20 0 3 0 192857910 1219362816 270246 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1190784 memory=2228 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1219362816 270246 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3571.18 s
Current children cumulated vsize: 1190784 KiB
Current children cumulated memory: 1080984 KiB
[startup+3600.36 s]
# the end of solver process 1040172 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.06 s, system=3.14224 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.39 3.95 4.03 3/250 1042147
/proc/meminfo: memFree=121621412/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1190784 memory=1080992 CPUtime=3572.88 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872119 0 0 0 356978 310 0 0 20 0 3 0 192857892 1219362816 270248 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297696 270248 2974 3032 0 277732 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1190784 memory=-7241642814537634412 CPUtime=3572.46 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2853446 0 0 0 356947 299 0 0 20 0 3 0 192857910 1219362816 270248 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1190784 memory=-6933350163988322498 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1219362816 270248 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 1190784 KiB
Current children cumulated memory: 1080992 KiB
[startup+3590.4 s]
/proc/loadavg: 3.28 3.91 4.02 3/250 1042147
/proc/meminfo: memFree=121621244/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1190784 memory=1081160 CPUtime=3579.26 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872492 0 0 0 357616 310 0 0 20 0 3 0 192857892 1219362816 270290 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297696 270290 2974 3032 0 277732 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1190784 memory=-7313700408541549676 CPUtime=3578.83 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2853819 0 0 0 357584 299 0 0 20 0 3 0 192857910 1219362816 270290 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1190784 memory=1080992 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1219362816 270290 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3579.26 s
Current children cumulated vsize: 1190784 KiB
Current children cumulated memory: 1081160 KiB
[startup+3596.8 s]
/proc/loadavg: 3.18 3.88 4.01 3/250 1042148
/proc/meminfo: memFree=121621256/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1190784 memory=1081164 CPUtime=3585.65 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872836 0 0 0 358254 311 0 0 20 0 3 0 192857892 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297696 270291 2974 3032 0 277732 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1190784 memory=16216 CPUtime=3585.22 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2854163 0 0 0 358222 300 0 0 20 0 3 0 192857910 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1190784 memory=1080804 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 1190784 KiB
Current children cumulated memory: 1081164 KiB
[startup+3598.4 s]
/proc/loadavg: 3.16 3.87 4.01 3/250 1042148
/proc/meminfo: memFree=121621292/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1190784 memory=1081164 CPUtime=3587.24 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872914 0 0 0 358413 311 0 0 20 0 3 0 192857892 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297696 270291 2974 3032 0 277732 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1190784 memory=1081164 CPUtime=3586.82 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2854241 0 0 0 358382 300 0 0 20 0 3 0 192857910 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1190784 memory=16216 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 1190784 KiB
Current children cumulated memory: 1081164 KiB
[startup+3599.2 s]
/proc/loadavg: 3.16 3.87 4.01 3/250 1042148
/proc/meminfo: memFree=121621260/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1190784 memory=1081164 CPUtime=3588.04 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872925 0 0 0 358493 311 0 0 20 0 3 0 192857892 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297696 270291 2974 3032 0 277732 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1190784 memory=11400 CPUtime=3587.62 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2854252 0 0 0 358462 300 0 0 20 0 3 0 192857910 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1190784 memory=45960 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1219362816 270291 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3588.04 s
Current children cumulated vsize: 1190784 KiB
Current children cumulated memory: 1081164 KiB
[startup+3600 s]*
/proc/loadavg: 3.16 3.87 4.01 3/250 1042148
/proc/meminfo: memFree=121621284/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1188512 memory=1078892 CPUtime=3588.84 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2872960 0 0 0 358573 311 0 0 20 0 3 0 192857892 1217036288 269723 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297128 269723 2974 3032 0 277164 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1188512 memory=-7241642814537634412 CPUtime=3588.42 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2854287 0 0 0 358542 300 0 0 20 0 3 0 192857910 1217036288 269723 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1188512 memory=-6933350163988322498 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1217036288 269723 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 1188512 KiB
Current children cumulated memory: 1078892 KiB
[startup+3600.2 s]
/proc/loadavg: 3.16 3.87 4.01 3/250 1042148
/proc/meminfo: memFree=121621284/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1188512 memory=1078892 CPUtime=3589.03 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2884338 0 0 0 358591 312 0 0 20 0 3 0 192857892 1217036288 269723 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 297128 269723 2974 3032 0 277164 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1188512 memory=2112 CPUtime=3588.61 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2865668 0 0 0 358560 301 0 0 20 0 3 0 192857910 1217036288 269723 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1188512 memory=1640 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1217036288 269723 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 1188512 KiB
Current children cumulated memory: 1078892 KiB
[startup+3600.3 s]
/proc/loadavg: 3.16 3.87 4.01 3/250 1042148
/proc/meminfo: memFree=121621284/131524600 swapFree=131071996/131071996
[pid=1040172] ppid=1040169 vsize=1187572 memory=1077952 CPUtime=3589.13 cores=4,6
/proc/1040172/stat : 1040172 (fscip) S 1040169 1040172 1035639 0 -1 1077936128 2887775 0 0 0 358601 312 0 0 20 0 3 0 192857892 1216073728 269488 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
/proc/1040172/statm: 296893 269488 2974 3032 0 276929 0
[pid=1040172/tid=1040176] ppid=1040169 vsize=1187572 memory=1080984 CPUtime=3588.71 cores=4,6
/proc/1040172/task/1040176/stat : 1040176 (fscip) R 1040169 1040172 1035639 0 -1 4194368 2869102 0 0 0 358570 301 0 0 20 0 3 0 192857910 1216073728 269488 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
[pid=1040172/tid=1040177] ppid=1040169 vsize=1187572 memory=1081164 CPUtime=0.03 cores=4,6
/proc/1040172/task/1040177/stat : 1040177 (fscip) S 1040169 1040172 1035639 0 -1 1077936192 55 0 0 0 1 2 0 0 20 0 3 0 192857913 1216073728 269488 134679101440 4194304 16613245 140720779626560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47869952 140720779629587 140720779629703 140720779629703 140720779636720 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 1187572 KiB
Current children cumulated memory: 1077952 KiB
Child status: 0
Real time (s): 3600.36
CPU time (s): 3589.2
CPU user time (s): 3586.06
CPU system time (s): 3.14224
CPU usage (%): 99.6901
Max. virtual memory (cumulated for all children) (KiB): 1190784
Max. memory (cumulated for all children) (KiB): 1081164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.06
system time used= 3.14224
maximum resident set size= 1081164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2889163
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= 10597
involuntary context switches= 4138
# summary of solver processes directly reported to runsolver:
# pid: 1040172
# total CPU time (s): 3589.2
# total CPU user time (s): 3586.06
# total CPU system time (s): 3.14224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20803 second user time and 17.3157 second system time
The end
Begin job on nodeC031 at 2024-07-19 18:35:09
IDJOB=4450150
IDBENCH=160408
IDSOLVER=3064
FILE ID=nodeC031/4450150-1721406896
RUNJOBID= nodeC031-1721403263-1037849
SLURM_JOB_ID= 7545454
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.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-4450150-1721406896/watcher-4450150-1721406896 -o /tmp/evaluation-result-4450150-1721406896/solver-4450150-1721406896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037849 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450150-1721406896.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7ad59296e2e055fc86df3342558d493
RANDOM SEED=211602312
nodeC031.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 : 3679.757
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.55
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 : 3687.644
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3638.022
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.55
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 : 7006.11
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 : 3658.570
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.55
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 : 3687.657
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3665.028
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.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122530164 kB
MemAvailable: 129079812 kB
Buffers: 511736 kB
Cached: 6804392 kB
SwapCached: 0 kB
Active: 1046928 kB
Inactive: 7159180 kB
Active(anon): 1536 kB
Inactive(anon): 934348 kB
Active(file): 1045392 kB
Inactive(file): 6224832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28804 kB
Writeback: 12 kB
AnonPages: 888256 kB
Mapped: 142912 kB
Shmem: 45912 kB
KReclaimable: 238144 kB
Slab: 367916 kB
SReclaimable: 238144 kB
SUnreclaim: 129772 kB
KernelStack: 4208 kB
PageTables: 11168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 941872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72288 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC031 at 2024-07-19 19:35:09