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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 40857600, getVmSize() = 40857600, SCIPgetMemUsed() = 14488307, SCIPgetMemTotal() = 18754451, SCIPgetMemExternEstim() = 9394957
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.13 c ** Estimated virtualMemUsedAtSolver = 42257836, getVmSize() = 78290944, SCIPgetMemUsed() = 36191357, SCIPgetMemTotal() = 53991797, SCIPgetMemExternEstim() = 9394957
0.10/0.13 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.13 c Original Problem :
0.10/0.13 c Problem name : instance-4451560-1721425483
0.10/0.13 c Variables : 3282 (3282 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.13 c Constraints : 6986
0.10/0.13 c Objective sense : minimize
0.10/0.13 c Presolved Problem :
0.10/0.13 c Variables : 3265 (3265 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.13 c Constraints : 6943
0.10/0.13 c Constraints : Number
0.10/0.13 c setppc : 6942
0.10/0.13 c orbitope : 1
0.10/0.13 c ** Instance transfer method used: 0
0.10/0.15 c ** ParaScipInstance copy increased the number of variables. **
0.10/0.18 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.18 c Nodes Active
0.10/0.18 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.34/6.46 c 6 20 19 1 - 0.0000 -
11.43/11.57 c 12 481 186 1 - 0.0000 -
16.62/16.73 c 17 1465 243 1 - 0.0000 -
21.70/21.81 c 22 2563 296 1 - 0.0000 -
26.69/26.88 c 27 3717 384 1 - 0.0000 -
31.77/31.96 c 32 4772 519 1 - 0.0000 -
36.87/37.05 c 37 5914 595 1 - 0.0000 -
41.85/42.10 c 42 7038 636 1 - 0.0000 -
46.93/47.15 c 47 8117 648 1 - 0.0000 -
52.10/52.30 c 52 9338 676 1 - 0.0000 -
57.10/57.38 c 57 10392 795 1 - 0.0000 -
62.18/62.46 c 62 11402 840 1 - 0.0000 -
67.37/67.60 c 68 12468 890 1 - 0.0000 -
72.35/72.68 c 73 13649 902 1 - 0.0000 -
77.44/77.79 c 78 14822 920 1 - 0.0000 -
82.52/82.86 c 83 15846 937 1 - 0.0000 -
87.61/88.01 c 88 16788 1036 1 - 0.0000 -
92.70/93.08 c 93 17787 1139 1 - 0.0000 -
97.78/98.14 c 98 18717 1165 1 - 0.0000 -
102.85/103.20 c 103 19639 1198 1 - 0.0000 -
107.84/108.27 c 108 20635 1248 1 - 0.0000 -
112.92/113.32 c 113 21513 1311 1 - 0.0000 -
117.91/118.38 c 118 22420 1344 1 - 0.0000 -
123.00/123.47 c 123 23265 1410 1 - 0.0000 -
128.08/128.55 c 129 24318 1471 1 - 0.0000 -
133.17/133.61 c 134 25262 1487 1 - 0.0000 -
138.25/138.76 c 139 26196 1621 1 - 0.0000 -
143.34/143.84 c 144 27058 1713 1 - 0.0000 -
148.42/148.90 c 149 28080 1678 1 - 0.0000 -
153.41/153.97 c 154 28925 1755 1 - 0.0000 -
158.50/159.09 c 159 29789 1819 1 - 0.0000 -
163.59/164.16 c 164 30680 1888 1 - 0.0000 -
168.66/169.22 c 169 31540 2028 1 - 0.0000 -
173.64/174.29 c 174 32414 2062 1 - 0.0000 -
178.83/179.40 c 179 33291 2119 1 - 0.0000 -
183.92/184.53 c 185 34157 2179 1 - 0.0000 -
188.99/189.64 c 190 35109 2248 1 - 0.0000 -
193.98/194.69 c 195 36036 2264 1 - 0.0000 -
199.06/199.76 c 200 36894 2305 1 - 0.0000 -
204.15/204.85 c 205 37748 2310 1 - 0.0000 -
209.23/209.91 c 210 38745 2341 1 - 0.0000 -
214.21/215.01 c 215 39574 2432 1 - 0.0000 -
219.30/220.06 c 220 40520 2475 1 - 0.0000 -
224.39/225.15 c 225 41347 2495 1 - 0.0000 -
229.47/230.22 c 230 42183 2569 1 - 0.0000 -
234.55/235.35 c 235 43124 2639 1 - 0.0000 -
239.63/240.44 c 240 44102 2711 1 - 0.0000 -
244.72/245.50 c 246 44983 2724 1 - 0.0000 -
249.70/250.58 c 251 45803 2747 1 - 0.0000 -
255.59/256.45 c 256 46689 2709 1 - 0.0000 -
260.67/261.59 c 262 47682 2699 1 - 0.0000 -
265.75/266.65 c 267 48762 2637 1 - 0.0000 -
270.83/271.72 c 272 49687 2635 1 - 0.0000 -
275.83/276.78 c 277 50777 2634 1 - 0.0000 -
280.90/281.85 c 282 51757 2690 1 - 0.0000 -
285.99/286.92 c 287 52691 2670 1 - 0.0000 -
291.07/292.02 c 292 53686 2667 1 - 0.0000 -
296.06/297.08 c 297 54759 2670 1 - 0.0000 -
301.23/302.23 c 302 55669 2732 1 - 0.0000 -
306.31/307.33 c 307 56553 2771 1 - 0.0000 -
311.40/312.43 c 312 57594 2712 1 - 0.0000 -
316.48/317.52 c 318 58799 2712 1 - 0.0000 -
321.47/322.57 c 323 60115 2706 1 - 0.0000 -
326.55/327.63 c 328 61091 2749 1 - 0.0000 -
331.64/332.79 c 333 62047 2784 1 - 0.0000 -
336.82/337.93 c 338 63091 2803 1 - 0.0000 -
341.91/343.02 c 343 64102 2827 1 - 0.0000 -
347.00/348.12 c 348 65253 2847 1 - 0.0000 -
351.99/353.18 c 353 66381 2822 1 - 0.0000 -
357.16/358.31 c 358 67082 2962 1 - 0.0000 -
362.24/363.46 c 363 67863 3137 1 - 0.0000 -
367.33/368.55 c 369 68765 3157 1 - 0.0000 -
372.52/373.77 c 374 69478 3409 1 - 0.0000 -
377.71/378.90 c 379 70203 3639 1 - 0.0000 -
382.69/383.98 c 384 70977 3768 1 - 0.0000 -
387.79/389.05 c 389 71711 4037 1 - 0.0000 -
392.77/394.10 c 394 72560 4236 1 - 0.0000 -
397.85/399.17 c 399 73438 4278 1 - 0.0000 -
402.93/404.22 c 404 74330 4397 1 - 0.0000 -
407.91/409.28 c 409 75251 4490 1 - 0.0000 -
413.01/414.34 c 414 76135 4531 1 - 0.0000 -
417.99/419.39 c 419 76991 4636 1 - 0.0000 -
423.07/424.46 c 424 77883 4689 1 - 0.0000 -
428.16/429.53 c 430 78968 4724 1 - 0.0000 -
433.25/434.64 c 435 79873 4785 1 - 0.0000 -
438.33/439.75 c 440 80710 4816 1 - 0.0000 -
443.42/444.82 c 445 81642 4834 1 - 0.0000 -
448.41/449.88 c 450 82562 4947 1 - 0.0000 -
453.49/454.93 c 455 83417 5030 1 - 0.0000 -
458.59/460.04 c 460 84385 5098 1 - 0.0000 -
463.58/465.09 c 465 85409 5119 1 - 0.0000 -
468.66/470.15 c 470 86311 5140 1 - 0.0000 -
473.73/475.20 c 475 87264 5163 1 - 0.0000 -
478.72/480.27 c 480 88268 5192 1 - 0.0000 -
483.81/485.33 c 485 89198 5219 1 - 0.0000 -
488.90/490.41 c 490 90093 5210 1 - 0.0000 -
493.88/495.48 c 495 90960 5246 1 - 0.0000 -
498.96/500.56 c 501 91835 5287 1 - 0.0000 -
504.06/505.64 c 506 92743 5349 1 - 0.0000 -
509.14/510.70 c 511 93683 5361 1 - 0.0000 -
514.13/515.79 c 516 94645 5384 1 - 0.0000 -
519.21/520.86 c 521 95549 5377 1 - 0.0000 -
524.30/525.97 c 526 96372 5438 1 - 0.0000 -
529.49/531.12 c 531 97207 5429 1 - 0.0000 -
534.48/536.17 c 536 98092 5473 1 - 0.0000 -
539.56/541.23 c 541 98945 5477 1 - 0.0000 -
544.55/546.30 c 546 99909 5508 1 - 0.0000 -
549.62/551.37 c 551 100949 5534 1 - 0.0000 -
554.81/556.51 c 557 101839 5564 1 - 0.0000 -
559.79/561.58 c 562 102723 5592 1 - 0.0000 -
564.88/566.67 c 567 103681 5608 1 - 0.0000 -
569.97/571.73 c 572 104547 5660 1 - 0.0000 -
575.06/576.80 c 577 105446 5676 1 - 0.0000 -
580.04/581.89 c 582 106259 5718 1 - 0.0000 -
585.12/586.94 c 587 107226 5730 1 - 0.0000 -
590.22/592.07 c 592 107983 5758 1 - 0.0000 -
595.30/597.12 c 597 108878 5820 1 - 0.0000 -
600.36/602.25 c 602 109701 5840 1 - 0.0000 -
605.45/607.34 c 607 110590 5918 1 - 0.0000 -
610.54/612.40 c 612 111303 5917 1 - 0.0000 -
615.52/617.45 c 617 112113 5965 1 - 0.0000 -
620.59/622.59 c 623 113006 6001 1 - 0.0000 -
625.78/627.73 c 628 113864 6019 1 - 0.0000 -
630.77/632.78 c 633 114725 6044 1 - 0.0000 -
635.84/637.83 c 638 115545 6072 1 - 0.0000 -
640.82/642.89 c 643 116535 6093 1 - 0.0000 -
646.02/648.04 c 648 117403 6123 1 - 0.0000 -
651.01/653.09 c 653 118359 6139 1 - 0.0000 -
656.09/658.15 c 658 119226 6149 1 - 0.0000 -
661.15/663.21 c 663 120043 6149 1 - 0.0000 -
666.13/668.28 c 668 120953 6185 1 - 0.0000 -
671.22/673.37 c 673 121751 6215 1 - 0.0000 -
676.31/678.42 c 678 122504 6256 1 - 0.0000 -
681.29/683.47 c 683 123313 6271 1 - 0.0000 -
686.37/688.53 c 689 124275 6330 1 - 0.0000 -
691.45/693.68 c 694 125081 6339 1 - 0.0000 -
696.54/698.74 c 699 125950 6355 1 - 0.0000 -
701.61/703.84 c 704 126764 6365 1 - 0.0000 -
706.70/708.94 c 709 127556 6392 1 - 0.0000 -
711.79/714.02 c 714 128450 6396 1 - 0.0000 -
716.87/719.11 c 719 129292 6460 1 - 0.0000 -
721.86/724.17 c 724 130166 6510 1 - 0.0000 -
726.93/729.22 c 729 131010 6533 1 - 0.0000 -
732.02/734.31 c 734 131865 6536 1 - 0.0000 -
737.00/739.38 c 739 132732 6562 1 - 0.0000 -
742.08/744.44 c 744 133574 6594 1 - 0.0000 -
747.17/749.55 c 750 134488 6622 1 - 0.0000 -
752.26/754.64 c 755 135341 6661 1 - 0.0000 -
757.35/759.70 c 760 136218 6662 1 - 0.0000 -
762.32/764.77 c 765 137130 6674 1 - 0.0000 -
767.52/769.92 c 770 137923 6713 1 - 0.0000 -
772.61/775.04 c 775 138787 6729 1 - 0.0000 -
777.69/780.16 c 780 139589 6785 1 - 0.0000 -
782.77/785.26 c 785 140511 6783 1 - 0.0000 -
787.85/790.33 c 790 141498 6845 1 - 0.0000 -
792.94/795.42 c 795 142369 6861 1 - 0.0000 -
798.02/800.58 c 801 143146 6887 1 - 0.0000 -
803.21/805.72 c 806 143836 6886 1 - 0.0000 -
808.29/810.80 c 811 144554 6904 1 - 0.0000 -
813.38/815.93 c 816 145321 6905 1 - 0.0000 -
818.48/821.10 c 821 146126 6941 1 - 0.0000 -
823.56/826.17 c 826 146878 6984 1 - 0.0000 -
828.64/831.22 c 831 147647 7013 1 - 0.0000 -
833.62/836.28 c 836 148427 7023 1 - 0.0000 -
838.81/841.42 c 841 149238 7089 1 - 0.0000 -
843.80/846.48 c 846 150134 7109 1 - 0.0000 -
848.88/851.55 c 852 150984 7136 1 - 0.0000 -
853.97/856.61 c 857 151888 7160 1 - 0.0000 -
859.26/861.92 c 862 152703 7216 1 - 0.0000 -
864.34/867.04 c 867 153563 7227 1 - 0.0000 -
869.43/872.12 c 872 154417 7229 1 - 0.0000 -
874.42/877.17 c 877 155238 7236 1 - 0.0000 -
879.49/882.26 c 882 156089 7287 1 - 0.0000 -
884.58/887.31 c 887 156937 7325 1 - 0.0000 -
889.57/892.37 c 892 157890 7344 1 - 0.0000 -
894.65/897.42 c 897 158899 7274 1 - 0.0000 -
899.64/902.47 c 902 159849 7259 1 - 0.0000 -
904.72/907.53 c 908 160836 7148 1 - 0.0000 -
909.70/912.59 c 913 161792 7100 1 - 0.0000 -
914.79/917.64 c 918 162767 7074 1 - 0.0000 -
919.88/922.70 c 923 163545 7232 1 - 0.0000 -
924.87/927.75 c 928 164483 7256 1 - 0.0000 -
931.85/934.72 c 935 165283 1 1 - 0.0000 -
937.03/939.90 c 940 165429 49 1 - 0.0000 -
942.12/945.10 c 945 165618 99 1 - 0.0000 -
947.21/950.16 c 950 166629 105 1 - 0.0000 -
952.28/955.20 c 955 167793 146 1 - 0.0000 -
957.27/960.25 c 960 169133 125 1 - 0.0000 -
962.35/965.30 c 965 170426 113 1 - 0.0000 -
967.43/970.41 c 970 171581 149 1 - 0.0000 -
972.42/975.46 c 975 172767 184 1 - 0.0000 -
977.50/980.57 c 981 173949 181 1 - 0.0000 -
982.59/985.64 c 986 175349 174 1 - 0.0000 -
987.58/990.69 c 991 176578 181 1 - 0.0000 -
992.66/995.74 c 996 177886 186 1 - 0.0000 -
997.65/1000.79 c 1001 179181 177 1 - 0.0000 -
1002.73/1005.88 c 1006 180521 203 1 - 0.0000 -
1007.82/1010.93 c 1011 181928 213 1 - 0.0000 -
1012.91/1016.03 c 1016 183237 237 1 - 0.0000 -
1017.89/1021.09 c 1021 184522 311 1 - 0.0000 -
1022.98/1026.13 c 1026 185850 331 1 - 0.0000 -
1027.97/1031.19 c 1031 187292 351 1 - 0.0000 -
1033.03/1036.24 c 1036 188793 299 1 - 0.0000 -
1038.02/1041.29 c 1041 190165 363 1 - 0.0000 -
1043.11/1046.36 c 1046 191541 292 1 - 0.0000 -
1048.19/1051.41 c 1051 193042 290 1 - 0.0000 -
1053.38/1056.66 c 1057 194324 290 1 - 0.0000 -
1058.46/1061.71 c 1062 195664 283 1 - 0.0000 -
1063.45/1066.77 c 1067 197023 268 1 - 0.0000 -
1068.53/1071.82 c 1072 198349 267 1 - 0.0000 -
1073.52/1076.87 c 1077 199707 257 1 - 0.0000 -
1078.61/1081.93 c 1082 201049 250 1 - 0.0000 -
1083.59/1086.98 c 1087 202242 241 1 - 0.0000 -
1088.67/1092.03 c 1092 203599 244 1 - 0.0000 -
1093.65/1097.08 c 1097 205053 240 1 - 0.0000 -
1098.74/1102.13 c 1102 206492 240 1 - 0.0000 -
1103.73/1107.18 c 1107 207926 217 1 - 0.0000 -
1108.90/1112.38 c 1112 209311 196 1 - 0.0000 -
1113.98/1117.44 c 1117 210726 209 1 - 0.0000 -
1118.97/1122.49 c 1122 212112 186 1 - 0.0000 -
1124.06/1127.58 c 1128 213441 187 1 - 0.0000 -
1129.14/1132.63 c 1133 214980 203 1 - 0.0000 -
1134.12/1137.68 c 1138 216397 181 1 - 0.0000 -
1139.21/1142.74 c 1143 217728 196 1 - 0.0000 -
1144.19/1147.79 c 1148 219038 167 1 - 0.0000 -
1149.38/1152.98 c 1153 220537 167 1 - 0.0000 -
1154.48/1158.06 c 1158 222007 166 1 - 0.0000 -
1159.57/1163.11 c 1163 223402 154 1 - 0.0000 -
1164.55/1168.16 c 1168 224786 150 1 - 0.0000 -
1169.63/1173.21 c 1173 226300 134 1 - 0.0000 -
1174.61/1178.26 c 1178 227757 126 1 - 0.0000 -
1179.70/1183.31 c 1183 229072 152 1 - 0.0000 -
1184.68/1188.36 c 1188 230425 161 1 - 0.0000 -
1189.76/1193.41 c 1193 231854 162 1 - 0.0000 -
1194.75/1198.46 c 1198 233371 165 1 - 0.0000 -
1199.83/1203.51 c 1204 234650 162 1 - 0.0000 -
1205.12/1208.81 c 1209 235965 150 1 - 0.0000 -
1210.21/1213.91 c 1214 237370 156 1 - 0.0000 -
1215.20/1218.98 c 1219 238796 149 1 - 0.0000 -
1220.28/1224.03 c 1224 240214 133 1 - 0.0000 -
1225.37/1229.14 c 1229 241538 123 1 - 0.0000 -
1230.44/1234.20 c 1234 242796 120 1 - 0.0000 -
1235.43/1239.25 c 1239 244091 111 1 - 0.0000 -
1240.52/1244.34 c 1244 245422 110 1 - 0.0000 -
1246.10/1249.92 c 1250 246679 108 1 - 0.0000 -
1251.09/1254.98 c 1255 247893 111 1 - 0.0000 -
1256.18/1260.09 c 1260 248962 139 1 - 0.0000 -
1261.26/1265.14 c 1265 249997 151 1 - 0.0000 -
1266.34/1270.20 c 1270 250923 173 1 - 0.0000 -
1271.43/1275.30 c 1275 251951 195 1 - 0.0000 -
1276.41/1280.35 c 1280 252891 229 1 - 0.0000 -
1281.50/1285.43 c 1285 253807 278 1 - 0.0000 -
1286.48/1290.48 c 1290 254601 349 1 - 0.0000 -
1291.57/1295.54 c 1296 255623 361 1 - 0.0000 -
1296.55/1300.59 c 1301 256587 369 1 - 0.0000 -
1301.64/1305.64 c 1306 257492 367 1 - 0.0000 -
1306.72/1310.71 c 1311 258564 358 1 - 0.0000 -
1311.71/1315.76 c 1316 259670 324 1 - 0.0000 -
1316.79/1320.83 c 1321 260713 320 1 - 0.0000 -
1321.78/1325.88 c 1326 261651 338 1 - 0.0000 -
1326.87/1330.93 c 1331 262692 322 1 - 0.0000 -
1331.96/1336.11 c 1336 263679 305 1 - 0.0000 -
1337.04/1341.16 c 1341 264700 286 1 - 0.0000 -
1342.12/1346.23 c 1346 265829 271 1 - 0.0000 -
1347.11/1351.28 c 1351 266964 253 1 - 0.0000 -
1352.19/1356.33 c 1356 268003 244 1 - 0.0000 -
1357.18/1361.39 c 1361 269113 217 1 - 0.0000 -
1362.26/1366.44 c 1366 270248 184 1 - 0.0000 -
1367.25/1371.49 c 1371 271360 158 1 - 0.0000 -
1372.33/1376.55 c 1377 272393 164 1 - 0.0000 -
1377.31/1381.59 c 1382 273429 163 1 - 0.0000 -
1382.40/1386.64 c 1387 274657 150 1 - 0.0000 -
1388.49/1392.71 c 1393 275827 134 1 - 0.0000 -
1393.47/1397.77 c 1398 276950 110 1 - 0.0000 -
1398.56/1402.83 c 1403 278202 100 1 - 0.0000 -
1403.54/1407.88 c 1408 279329 99 1 - 0.0000 -
1408.63/1412.94 c 1413 280432 96 1 - 0.0000 -
1413.61/1417.99 c 1418 281586 98 1 - 0.0000 -
1418.70/1423.04 c 1423 282727 89 1 - 0.0000 -
1423.69/1428.09 c 1428 283983 83 1 - 0.0000 -
1428.78/1433.14 c 1433 285220 68 1 - 0.0000 -
1433.76/1438.19 c 1438 286400 63 1 - 0.0000 -
1438.83/1443.24 c 1443 287496 61 1 - 0.0000 -
1443.91/1448.32 c 1448 288627 66 1 - 0.0000 -
1449.00/1453.41 c 1453 289680 54 1 - 0.0000 -
1453.99/1458.47 c 1458 290607 72 1 - 0.0000 -
1459.07/1463.55 c 1464 291523 108 1 - 0.0000 -
1464.15/1468.61 c 1469 292475 66 1 - 0.0000 -
1469.24/1473.70 c 1474 293428 76 1 - 0.0000 -
1474.23/1478.75 c 1479 294481 80 1 - 0.0000 -
1479.32/1483.81 c 1484 295487 91 1 - 0.0000 -
1484.31/1488.87 c 1489 296461 113 1 - 0.0000 -
1489.39/1493.92 c 1494 297497 131 1 - 0.0000 -
1494.37/1498.97 c 1499 298524 150 1 - 0.0000 -
1499.47/1504.02 c 1504 299587 127 1 - 0.0000 -
1504.45/1509.07 c 1509 300579 149 1 - 0.0000 -
1509.54/1514.12 c 1514 301684 116 1 - 0.0000 -
1514.52/1519.17 c 1519 302776 105 1 - 0.0000 -
1519.60/1524.22 c 1524 303794 87 1 - 0.0000 -
1524.58/1529.27 c 1529 304763 76 1 - 0.0000 -
1529.67/1534.33 c 1534 305763 84 1 - 0.0000 -
1534.64/1539.38 c 1539 306657 104 1 - 0.0000 -
1539.73/1544.44 c 1544 307713 97 1 - 0.0000 -
1544.71/1549.49 c 1549 308734 67 1 - 0.0000 -
1549.79/1554.59 c 1555 309738 86 1 - 0.0000 -
1554.87/1559.64 c 1560 310727 99 1 - 0.0000 -
1559.96/1564.76 c 1565 311615 82 1 - 0.0000 -
1565.04/1569.81 c 1570 312604 114 1 - 0.0000 -
1570.01/1574.86 c 1575 313646 111 1 - 0.0000 -
1575.10/1579.91 c 1580 314554 101 1 - 0.0000 -
1580.08/1584.97 c 1585 315585 99 1 - 0.0000 -
1585.16/1590.02 c 1590 316575 99 1 - 0.0000 -
1590.14/1595.07 c 1595 317540 101 1 - 0.0000 -
1595.23/1600.12 c 1600 318560 101 1 - 0.0000 -
1600.30/1605.25 c 1605 319577 111 1 - 0.0000 -
1605.38/1610.30 c 1610 320568 115 1 - 0.0000 -
1610.37/1615.37 c 1615 321567 116 1 - 0.0000 -
1615.45/1620.43 c 1620 322584 114 1 - 0.0000 -
1620.53/1625.50 c 1626 323521 123 1 - 0.0000 -
1625.51/1630.55 c 1631 324596 121 1 - 0.0000 -
1630.59/1635.60 c 1636 325647 115 1 - 0.0000 -
1635.58/1640.65 c 1641 326638 115 1 - 0.0000 -
1640.65/1645.72 c 1646 327642 118 1 - 0.0000 -
1645.64/1650.77 c 1651 328757 119 1 - 0.0000 -
1650.72/1655.82 c 1656 329770 120 1 - 0.0000 -
1655.70/1660.88 c 1661 330769 143 1 - 0.0000 -
1660.78/1665.94 c 1666 331759 138 1 - 0.0000 -
1665.77/1670.99 c 1671 332734 117 1 - 0.0000 -
1670.85/1676.04 c 1676 333710 109 1 - 0.0000 -
1675.93/1681.14 c 1681 334780 119 1 - 0.0000 -
1680.91/1686.19 c 1686 335798 109 1 - 0.0000 -
1685.99/1691.25 c 1691 336842 109 1 - 0.0000 -
1690.97/1696.29 c 1696 337868 112 1 - 0.0000 -
1696.05/1701.34 c 1701 338909 107 1 - 0.0000 -
1701.13/1706.40 c 1706 339880 127 1 - 0.0000 -
1706.11/1711.46 c 1711 340903 128 1 - 0.0000 -
1711.19/1716.51 c 1717 341887 133 1 - 0.0000 -
1716.17/1721.56 c 1722 342954 149 1 - 0.0000 -
1721.26/1726.61 c 1727 344066 109 1 - 0.0000 -
1726.34/1731.71 c 1732 345240 120 1 - 0.0000 -
1731.32/1736.76 c 1737 346409 111 1 - 0.0000 -
1736.40/1741.82 c 1742 347494 105 1 - 0.0000 -
1741.38/1746.87 c 1747 348564 100 1 - 0.0000 -
1746.46/1751.96 c 1752 349560 99 1 - 0.0000 -
1751.56/1757.07 c 1757 350536 89 1 - 0.0000 -
1756.64/1762.12 c 1762 351588 83 1 - 0.0000 -
1761.62/1767.18 c 1767 352666 91 1 - 0.0000 -
1766.69/1772.23 c 1772 353652 101 1 - 0.0000 -
1771.67/1777.28 c 1777 354719 115 1 - 0.0000 -
1776.75/1782.33 c 1782 355740 112 1 - 0.0000 -
1781.74/1787.38 c 1787 356810 103 1 - 0.0000 -
1786.81/1792.43 c 1792 357799 87 1 - 0.0000 -
1791.80/1797.48 c 1797 358815 91 1 - 0.0000 -
1796.98/1802.61 c 1803 359877 116 1 - 0.0000 -
1801.97/1807.66 c 1808 360973 86 1 - 0.0000 -
1807.05/1812.71 c 1813 361999 79 1 - 0.0000 -
1812.02/1817.76 c 1818 363022 84 1 - 0.0000 -
1817.10/1822.81 c 1823 364111 131 1 - 0.0000 -
1822.09/1827.86 c 1828 365193 140 1 - 0.0000 -
1827.17/1832.91 c 1833 366235 116 1 - 0.0000 -
1832.16/1837.96 c 1838 367245 126 1 - 0.0000 -
1837.24/1843.01 c 1843 368338 121 1 - 0.0000 -
1842.32/1848.12 c 1848 369433 73 1 - 0.0000 -
1847.32/1853.17 c 1853 370347 95 1 - 0.0000 -
1852.38/1858.25 c 1858 371321 99 1 - 0.0000 -
1857.47/1863.31 c 1863 372298 92 1 - 0.0000 -
1862.46/1868.36 c 1868 373189 100 1 - 0.0000 -
1867.55/1873.41 c 1873 374210 101 1 - 0.0000 -
1872.53/1878.46 c 1878 375257 75 1 - 0.0000 -
1877.61/1883.51 c 1884 376252 77 1 - 0.0000 -
1882.60/1888.56 c 1889 377332 83 1 - 0.0000 -
1887.68/1893.63 c 1894 378292 137 1 - 0.0000 -
1892.67/1898.68 c 1899 379395 114 1 - 0.0000 -
1897.76/1903.73 c 1904 380477 75 1 - 0.0000 -
1902.74/1908.78 c 1909 381469 98 1 - 0.0000 -
1907.83/1913.83 c 1914 382454 100 1 - 0.0000 -
1912.82/1918.88 c 1919 383469 84 1 - 0.0000 -
1917.90/1923.93 c 1924 384505 72 1 - 0.0000 -
1922.89/1928.98 c 1929 385391 73 1 - 0.0000 -
1927.98/1934.03 c 1934 386402 68 1 - 0.0000 -
1932.96/1939.08 c 1939 387385 61 1 - 0.0000 -
1938.05/1944.13 c 1944 388428 83 1 - 0.0000 -
1943.04/1949.18 c 1949 389404 71 1 - 0.0000 -
1948.11/1954.23 c 1954 390518 65 1 - 0.0000 -
1953.09/1959.28 c 1959 391581 54 1 - 0.0000 -
1958.17/1964.33 c 1964 392557 64 1 - 0.0000 -
1963.26/1969.46 c 1969 393597 51 1 - 0.0000 -
1968.35/1974.50 c 1974 394647 52 1 - 0.0000 -
1973.44/1979.62 c 1980 395667 55 1 - 0.0000 -
1978.42/1984.66 c 1985 396695 61 1 - 0.0000 -
1983.51/1989.71 c 1990 397769 45 1 - 0.0000 -
1988.49/1994.76 c 1995 398862 40 1 - 0.0000 -
1993.58/1999.81 c 2000 399848 49 1 - 0.0000 -
1998.57/2004.86 c 2005 400825 58 1 - 0.0000 -
2003.66/2009.91 c 2010 401846 41 1 - 0.0000 -
2008.64/2014.96 c 2015 402736 41 1 - 0.0000 -
2013.62/2020.01 c 2020 403696 84 1 - 0.0000 -
2019.00/2025.32 c 2025 404576 38 1 - 0.0000 -
2023.98/2030.37 c 2030 405507 32 1 - 0.0000 -
2029.07/2035.43 c 2035 406502 39 1 - 0.0000 -
2034.05/2040.48 c 2040 407442 31 1 - 0.0000 -
2039.14/2045.53 c 2046 408356 29 1 - 0.0000 -
2044.22/2050.64 c 2051 409245 72 1 - 0.0000 -
2049.22/2055.69 c 2056 410147 115 1 - 0.0000 -
2054.30/2060.76 c 2061 411070 210 1 - 0.0000 -
2059.38/2065.81 c 2066 412135 181 1 - 0.0000 -
2064.37/2070.88 c 2071 413122 191 1 - 0.0000 -
2069.46/2075.94 c 2076 414198 146 1 - 0.0000 -
2074.55/2081.05 c 2081 415283 59 1 - 0.0000 -
2079.54/2086.10 c 2086 416177 64 1 - 0.0000 -
2084.63/2091.17 c 2091 417204 73 1 - 0.0000 -
2089.70/2096.22 c 2096 418386 87 1 - 0.0000 -
2094.68/2101.27 c 2101 419586 70 1 - 0.0000 -
2099.76/2106.32 c 2106 420549 80 1 - 0.0000 -
2104.75/2111.38 c 2111 421501 77 1 - 0.0000 -
2109.84/2116.43 c 2116 422558 106 1 - 0.0000 -
2114.82/2121.48 c 2121 423589 87 1 - 0.0000 -
2119.91/2126.54 c 2127 424546 150 1 - 0.0000 -
2124.89/2131.58 c 2132 425515 239 1 - 0.0000 -
2129.98/2136.63 c 2137 426556 256 1 - 0.0000 -
2134.96/2141.68 c 2142 427653 240 1 - 0.0000 -
2140.05/2146.74 c 2147 428467 327 1 - 0.0000 -
2145.03/2151.79 c 2152 429341 403 1 - 0.0000 -
2150.12/2156.84 c 2157 430355 304 1 - 0.0000 -
2155.10/2161.89 c 2162 431425 154 1 - 0.0000 -
2160.19/2166.97 c 2167 432451 115 1 - 0.0000 -
2165.27/2172.02 c 2172 433433 125 1 - 0.0000 -
2170.26/2177.07 c 2177 434521 132 1 - 0.0000 -
2175.34/2182.18 c 2182 435517 129 1 - 0.0000 -
2180.42/2187.23 c 2187 436559 134 1 - 0.0000 -
2185.39/2192.28 c 2192 437638 128 1 - 0.0000 -
2190.48/2197.33 c 2197 438707 144 1 - 0.0000 -
2195.56/2202.40 c 2202 439877 143 1 - 0.0000 -
2200.55/2207.45 c 2207 440997 130 1 - 0.0000 -
2205.63/2212.50 c 2212 442080 130 1 - 0.0000 -
2210.62/2217.55 c 2218 443087 126 1 - 0.0000 -
2215.80/2222.72 c 2223 444110 137 1 - 0.0000 -
2220.79/2227.77 c 2228 445157 136 1 - 0.0000 -
2225.88/2232.82 c 2233 446264 157 1 - 0.0000 -
2230.87/2237.87 c 2238 447346 145 1 - 0.0000 -
2235.95/2242.98 c 2243 448327 138 1 - 0.0000 -
2241.04/2248.03 c 2248 449301 143 1 - 0.0000 -
2246.03/2253.08 c 2253 450359 147 1 - 0.0000 -
2251.11/2258.18 c 2258 451408 136 1 - 0.0000 -
2256.18/2263.23 c 2263 452475 202 1 - 0.0000 -
2261.27/2268.37 c 2268 453531 175 1 - 0.0000 -
2266.36/2273.46 c 2273 454534 173 1 - 0.0000 -
2271.44/2278.52 c 2279 455617 172 1 - 0.0000 -
2276.42/2283.56 c 2284 456583 185 1 - 0.0000 -
2281.52/2288.64 c 2289 457542 171 1 - 0.0000 -
2286.49/2293.69 c 2294 458414 191 1 - 0.0000 -
2291.58/2298.78 c 2299 459398 193 1 - 0.0000 -
2296.67/2303.84 c 2304 460405 203 1 - 0.0000 -
2301.75/2308.90 c 2309 461343 187 1 - 0.0000 -
2306.74/2313.95 c 2314 462438 190 1 - 0.0000 -
2311.73/2319.01 c 2319 463459 196 1 - 0.0000 -
2316.92/2324.13 c 2324 464467 197 1 - 0.0000 -
2321.90/2329.18 c 2329 465500 219 1 - 0.0000 -
2326.97/2334.23 c 2334 466552 196 1 - 0.0000 -
2331.96/2339.28 c 2339 467502 191 1 - 0.0000 -
2337.04/2344.39 c 2344 468519 197 1 - 0.0000 -
2342.13/2349.46 c 2349 469556 199 1 - 0.0000 -
2347.22/2354.51 c 2355 470487 195 1 - 0.0000 -
2352.20/2359.56 c 2360 471497 218 1 - 0.0000 -
2357.28/2364.61 c 2365 472405 197 1 - 0.0000 -
2362.28/2369.66 c 2370 473278 223 1 - 0.0000 -
2367.36/2374.71 c 2375 474166 203 1 - 0.0000 -
2372.34/2379.76 c 2380 475222 223 1 - 0.0000 -
2377.44/2384.81 c 2385 476321 214 1 - 0.0000 -
2382.42/2389.86 c 2390 477409 221 1 - 0.0000 -
2387.51/2394.92 c 2395 478517 255 1 - 0.0000 -
2392.49/2399.97 c 2400 479681 241 1 - 0.0000 -
2397.58/2405.02 c 2405 480754 235 1 - 0.0000 -
2402.57/2410.08 c 2410 481742 237 1 - 0.0000 -
2407.65/2415.17 c 2415 482722 233 1 - 0.0000 -
2412.72/2420.22 c 2420 483791 244 1 - 0.0000 -
2417.91/2425.41 c 2425 484697 273 1 - 0.0000 -
2422.90/2430.48 c 2430 485648 284 1 - 0.0000 -
2427.98/2435.55 c 2436 486657 269 1 - 0.0000 -
2433.07/2440.60 c 2441 487670 256 1 - 0.0000 -
2438.05/2445.66 c 2446 488687 262 1 - 0.0000 -
2443.14/2450.71 c 2451 489707 255 1 - 0.0000 -
2448.13/2455.77 c 2456 490727 259 1 - 0.0000 -
2453.21/2460.82 c 2461 491702 259 1 - 0.0000 -
2458.20/2465.88 c 2466 492741 254 1 - 0.0000 -
2463.40/2471.03 c 2471 493831 259 1 - 0.0000 -
2468.38/2476.09 c 2476 494819 262 1 - 0.0000 -
2473.47/2481.14 c 2481 495829 263 1 - 0.0000 -
2478.55/2486.20 c 2486 496762 264 1 - 0.0000 -
2483.53/2491.26 c 2491 497582 266 1 - 0.0000 -
2488.62/2496.31 c 2496 498590 284 1 - 0.0000 -
2493.70/2501.44 c 2501 499612 271 1 - 0.0000 -
2498.79/2506.54 c 2507 500621 260 1 - 0.0000 -
2503.87/2511.65 c 2512 501597 266 1 - 0.0000 -
2508.95/2516.70 c 2517 502513 293 1 - 0.0000 -
2513.94/2521.75 c 2522 503435 284 1 - 0.0000 -
2519.03/2526.80 c 2527 504477 288 1 - 0.0000 -
2524.01/2531.85 c 2532 505511 291 1 - 0.0000 -
2529.21/2537.09 c 2537 506579 302 1 - 0.0000 -
2534.29/2542.15 c 2542 507689 301 1 - 0.0000 -
2539.28/2547.19 c 2547 508781 298 1 - 0.0000 -
2544.35/2552.24 c 2552 509876 297 1 - 0.0000 -
2549.34/2557.29 c 2557 510929 300 1 - 0.0000 -
2554.43/2562.34 c 2562 512080 313 1 - 0.0000 -
2559.41/2567.39 c 2567 513082 308 1 - 0.0000 -
2564.50/2572.44 c 2572 514254 297 1 - 0.0000 -
2569.48/2577.49 c 2577 515340 308 1 - 0.0000 -
2574.57/2582.54 c 2583 516359 329 1 - 0.0000 -
2579.56/2587.59 c 2588 517469 308 1 - 0.0000 -
2584.64/2592.64 c 2593 518518 303 1 - 0.0000 -
2589.62/2597.69 c 2598 519478 316 1 - 0.0000 -
2594.72/2602.74 c 2603 520427 340 1 - 0.0000 -
2599.70/2607.79 c 2608 521377 304 1 - 0.0000 -
2604.78/2612.86 c 2613 522388 308 1 - 0.0000 -
2609.87/2617.91 c 2618 523463 285 1 - 0.0000 -
2614.85/2622.99 c 2623 524573 266 1 - 0.0000 -
2619.95/2628.04 c 2628 525669 259 1 - 0.0000 -
2624.93/2633.09 c 2633 526748 257 1 - 0.0000 -
2630.02/2638.14 c 2638 527841 267 1 - 0.0000 -
2635.01/2643.19 c 2643 528962 261 1 - 0.0000 -
2640.08/2648.24 c 2648 529974 261 1 - 0.0000 -
2645.06/2653.29 c 2653 531052 289 1 - 0.0000 -
2650.15/2658.34 c 2658 531977 268 1 - 0.0000 -
2655.13/2663.39 c 2663 532845 277 1 - 0.0000 -
2660.22/2668.44 c 2668 533814 278 1 - 0.0000 -
2665.21/2673.49 c 2673 534783 267 1 - 0.0000 -
2670.29/2678.54 c 2679 535831 262 1 - 0.0000 -
2675.38/2683.63 c 2684 536921 262 1 - 0.0000 -
2680.36/2688.68 c 2689 537985 264 1 - 0.0000 -
2685.45/2693.74 c 2694 538994 256 1 - 0.0000 -
2690.43/2698.79 c 2699 540041 263 1 - 0.0000 -
2695.52/2703.84 c 2704 541146 258 1 - 0.0000 -
2700.61/2708.90 c 2709 542059 293 1 - 0.0000 -
2705.59/2713.95 c 2714 542969 272 1 - 0.0000 -
2710.57/2719.01 c 2719 543917 262 1 - 0.0000 -
2715.77/2724.14 c 2724 544862 259 1 - 0.0000 -
2720.75/2729.19 c 2729 545841 276 1 - 0.0000 -
2725.93/2734.36 c 2734 546813 282 1 - 0.0000 -
2731.02/2739.42 c 2739 547726 288 1 - 0.0000 -
2736.10/2744.56 c 2745 548696 285 1 - 0.0000 -
2741.18/2749.62 c 2750 549704 273 1 - 0.0000 -
2746.27/2754.72 c 2755 550762 280 1 - 0.0000 -
2751.26/2759.77 c 2760 551817 277 1 - 0.0000 -
2756.65/2765.13 c 2765 552744 263 1 - 0.0000 -
2761.64/2770.18 c 2770 553743 279 1 - 0.0000 -
2766.72/2775.23 c 2775 554721 278 1 - 0.0000 -
2771.70/2780.28 c 2780 555707 280 1 - 0.0000 -
2776.78/2785.33 c 2785 556768 281 1 - 0.0000 -
2781.77/2790.39 c 2790 557801 283 1 - 0.0000 -
2786.86/2795.44 c 2795 558801 294 1 - 0.0000 -
2791.95/2800.50 c 2800 559849 291 1 - 0.0000 -
2797.03/2805.61 c 2806 560840 288 1 - 0.0000 -
2802.02/2810.66 c 2811 561796 295 1 - 0.0000 -
2807.10/2815.73 c 2816 562777 298 1 - 0.0000 -
2812.09/2820.79 c 2821 563717 304 1 - 0.0000 -
2817.18/2825.84 c 2826 564806 314 1 - 0.0000 -
2822.16/2830.89 c 2831 565901 314 1 - 0.0000 -
2827.25/2835.94 c 2836 566953 310 1 - 0.0000 -
2832.24/2840.99 c 2841 568001 303 1 - 0.0000 -
2837.33/2846.10 c 2846 569050 318 1 - 0.0000 -
2842.42/2851.15 c 2851 570117 296 1 - 0.0000 -
2847.49/2856.20 c 2856 571083 296 1 - 0.0000 -
2852.47/2861.25 c 2861 572097 302 1 - 0.0000 -
2857.56/2866.30 c 2866 573196 294 1 - 0.0000 -
2862.55/2871.35 c 2871 574218 291 1 - 0.0000 -
2867.63/2876.40 c 2876 575206 280 1 - 0.0000 -
2872.62/2881.46 c 2881 576223 278 1 - 0.0000 -
2877.71/2886.52 c 2887 577250 276 1 - 0.0000 -
2882.70/2891.57 c 2892 578344 274 1 - 0.0000 -
2887.78/2896.62 c 2897 579451 270 1 - 0.0000 -
2892.77/2901.67 c 2902 580431 264 1 - 0.0000 -
2897.85/2906.74 c 2907 581517 260 1 - 0.0000 -
2902.94/2911.81 c 2912 582520 295 1 - 0.0000 -
2907.93/2916.85 c 2917 583608 260 1 - 0.0000 -
2913.02/2921.90 c 2922 584558 261 1 - 0.0000 -
2918.00/2926.95 c 2927 585599 263 1 - 0.0000 -
2923.10/2932.01 c 2932 586605 258 1 - 0.0000 -
2928.08/2937.06 c 2937 587568 247 1 - 0.0000 -
2933.17/2942.13 c 2942 588576 249 1 - 0.0000 -
2938.16/2947.18 c 2947 589638 241 1 - 0.0000 -
2943.23/2952.25 c 2952 590699 239 1 - 0.0000 -
2948.31/2957.30 c 2957 591792 242 1 - 0.0000 -
2953.30/2962.35 c 2962 592912 254 1 - 0.0000 -
2958.38/2967.40 c 2967 593926 236 1 - 0.0000 -
2963.38/2972.46 c 2972 594946 239 1 - 0.0000 -
2968.46/2977.51 c 2978 595979 238 1 - 0.0000 -
2973.44/2982.56 c 2983 597073 243 1 - 0.0000 -
2978.53/2987.61 c 2988 598006 245 1 - 0.0000 -
2983.52/2992.66 c 2993 599050 241 1 - 0.0000 -
2988.60/2997.71 c 2998 600008 244 1 - 0.0000 -
2993.59/3002.76 c 3003 601034 241 1 - 0.0000 -
2998.68/3007.81 c 3008 602065 233 1 - 0.0000 -
3003.76/3012.93 c 3013 603139 230 1 - 0.0000 -
3008.74/3017.98 c 3018 604273 231 1 - 0.0000 -
3013.84/3023.03 c 3023 605406 239 1 - 0.0000 -
3018.82/3028.08 c 3028 606517 239 1 - 0.0000 -
3023.91/3033.13 c 3033 607670 235 1 - 0.0000 -
3028.90/3038.18 c 3038 608834 230 1 - 0.0000 -
3033.97/3043.24 c 3043 609987 226 1 - 0.0000 -
3038.95/3048.29 c 3048 611050 232 1 - 0.0000 -
3044.02/3053.34 c 3053 612064 231 1 - 0.0000 -
3049.11/3058.44 c 3058 613057 237 1 - 0.0000 -
3054.19/3063.51 c 3064 613977 250 1 - 0.0000 -
3059.18/3068.59 c 3069 615021 245 1 - 0.0000 -
3064.26/3073.64 c 3074 616031 283 1 - 0.0000 -
3069.24/3078.69 c 3079 616993 249 1 - 0.0000 -
3074.43/3083.80 c 3084 617877 277 1 - 0.0000 -
3079.40/3088.85 c 3089 618912 255 1 - 0.0000 -
3084.49/3093.90 c 3094 619987 246 1 - 0.0000 -
3089.47/3098.95 c 3099 621011 258 1 - 0.0000 -
3094.45/3104.01 c 3104 622117 251 1 - 0.0000 -
3099.54/3109.05 c 3109 623235 248 1 - 0.0000 -
3104.63/3114.12 c 3114 624271 235 1 - 0.0000 -
3110.00/3119.54 c 3120 625177 223 1 - 0.0000 -
3114.98/3124.59 c 3125 626138 225 1 - 0.0000 -
3120.06/3129.64 c 3130 627122 225 1 - 0.0000 -
3125.05/3134.69 c 3135 628206 201 1 - 0.0000 -
3130.14/3139.74 c 3140 629304 209 1 - 0.0000 -
3135.13/3144.79 c 3145 630305 203 1 - 0.0000 -
3140.21/3149.88 c 3150 631329 200 1 - 0.0000 -
3145.29/3154.93 c 3155 632326 189 1 - 0.0000 -
3150.28/3159.98 c 3160 633415 179 1 - 0.0000 -
3155.38/3165.07 c 3165 634439 186 1 - 0.0000 -
3160.47/3170.13 c 3170 635429 194 1 - 0.0000 -
3165.54/3175.21 c 3175 636425 182 1 - 0.0000 -
3170.72/3180.41 c 3180 637381 172 1 - 0.0000 -
3175.71/3185.45 c 3185 638268 221 1 - 0.0000 -
3180.80/3190.51 c 3191 639232 221 1 - 0.0000 -
3185.77/3195.56 c 3196 640197 221 1 - 0.0000 -
3190.85/3200.61 c 3201 641147 197 1 - 0.0000 -
3195.84/3205.66 c 3206 642149 187 1 - 0.0000 -
3200.92/3210.71 c 3211 643132 194 1 - 0.0000 -
3205.91/3215.76 c 3216 644167 191 1 - 0.0000 -
3211.09/3220.99 c 3221 645242 186 1 - 0.0000 -
3216.18/3226.04 c 3226 646198 176 1 - 0.0000 -
3221.16/3231.09 c 3231 647234 163 1 - 0.0000 -
3226.24/3236.14 c 3236 648252 158 1 - 0.0000 -
3231.32/3241.24 c 3241 649223 157 1 - 0.0000 -
3236.30/3246.29 c 3246 650316 140 1 - 0.0000 -
3241.39/3251.36 c 3251 651318 141 1 - 0.0000 -
3246.47/3256.40 c 3256 652318 140 1 - 0.0000 -
3251.57/3261.52 c 3262 653337 143 1 - 0.0000 -
3256.55/3266.56 c 3267 654435 141 1 - 0.0000 -
3261.74/3271.71 c 3272 655386 150 1 - 0.0000 -
3266.72/3276.76 c 3277 656404 135 1 - 0.0000 -
3271.81/3281.81 c 3282 657438 120 1 - 0.0000 -
3276.79/3286.88 c 3287 658509 125 1 - 0.0000 -
3281.88/3291.93 c 3292 659538 127 1 - 0.0000 -
3286.86/3296.98 c 3297 660635 112 1 - 0.0000 -
3291.96/3302.03 c 3302 661698 97 1 - 0.0000 -
3296.95/3307.08 c 3307 662682 88 1 - 0.0000 -
3302.03/3312.13 c 3312 663643 94 1 - 0.0000 -
3307.01/3317.18 c 3317 664657 86 1 - 0.0000 -
3312.08/3322.23 c 3322 665735 91 1 - 0.0000 -
3317.26/3327.47 c 3327 666863 71 1 - 0.0000 -
3322.35/3332.52 c 3333 668050 54 1 - 0.0000 -
3327.34/3337.57 c 3338 669225 38 1 - 0.0000 -
3332.41/3342.62 c 3343 670385 26 1 - 0.0000 -
3337.40/3347.67 c 3348 671639 24 1 - 0.0000 -
3342.48/3352.73 c 3353 672817 30 1 - 0.0000 -
3347.47/3357.78 c 3358 673720 35 1 - 0.0000 -
3352.54/3362.83 c 3363 674892 23 1 - 0.0000 -
3357.53/3367.88 c 3368 676007 41 1 - 0.0000 -
3362.61/3372.93 c 3373 677425 45 1 - 0.0000 -
3367.60/3377.98 c 3378 678674 43 1 - 0.0000 -
3372.69/3383.03 c 3383 680063 39 1 - 0.0000 -
3377.67/3388.09 c 3388 681225 47 1 - 0.0000 -
3382.77/3393.15 c 3393 682375 58 1 - 0.0000 -
3387.84/3398.20 c 3398 683603 67 1 - 0.0000 -
3392.83/3403.25 c 3403 685363 85 1 - 0.0000 -
3397.91/3408.31 c 3408 687500 83 1 - 0.0000 -
3402.89/3413.36 c 3413 688791 74 1 - 0.0000 -
3407.98/3418.41 c 3418 689933 94 1 - 0.0000 -
3412.97/3423.46 c 3423 691172 104 1 - 0.0000 -
3418.06/3428.52 c 3429 692556 111 1 - 0.0000 -
3423.04/3433.58 c 3434 694206 97 1 - 0.0000 -
3428.13/3438.63 c 3439 695454 113 1 - 0.0000 -
3433.11/3443.68 c 3444 696754 112 1 - 0.0000 -
3438.20/3448.73 c 3449 697974 96 1 - 0.0000 -
3443.19/3453.78 c 3454 699240 79 1 - 0.0000 -
3448.27/3458.83 c 3459 700634 77 1 - 0.0000 -
3453.26/3463.88 c 3464 701886 74 1 - 0.0000 -
3458.34/3468.93 c 3469 703187 60 1 - 0.0000 -
3463.32/3473.98 c 3474 704501 61 1 - 0.0000 -
3468.41/3479.10 c 3479 705792 71 1 - 0.0000 -
3473.49/3484.15 c 3484 707066 59 1 - 0.0000 -
3478.56/3489.21 c 3489 708379 60 1 - 0.0000 -
3483.55/3494.26 c 3494 709641 61 1 - 0.0000 -
3488.63/3499.31 c 3499 710796 52 1 - 0.0000 -
3493.61/3504.38 c 3504 711981 56 1 - 0.0000 -
3498.70/3509.43 c 3509 713101 49 1 - 0.0000 -
3503.78/3514.53 c 3515 714208 81 1 - 0.0000 -
3508.76/3519.58 c 3520 715176 57 1 - 0.0000 -
3514.14/3524.98 c 3525 716157 47 1 - 0.0000 -
3519.23/3530.04 c 3530 717090 91 1 - 0.0000 -
3524.22/3535.09 c 3535 718065 62 1 - 0.0000 -
3529.31/3540.14 c 3540 719183 63 1 - 0.0000 -
3534.37/3545.21 c 3545 720414 62 1 - 0.0000 -
3539.35/3550.26 c 3550 721585 61 1 - 0.0000 -
3544.44/3555.31 c 3555 722773 54 1 - 0.0000 -
3549.42/3560.36 c 3560 723872 71 1 - 0.0000 -
3554.50/3565.41 c 3565 725081 68 1 - 0.0000 -
3559.49/3570.47 c 3570 726203 70 1 - 0.0000 -
3564.57/3575.51 c 3576 727326 65 1 - 0.0000 -
3569.55/3580.59 c 3581 728506 75 1 - 0.0000 -
3574.63/3585.64 c 3586 729654 67 1 - 0.0000 -
3579.62/3590.69 c 3591 730788 72 1 - 0.0000 -
3584.70/3595.74 c 3596 731781 72 1 - 0.0000 -
3589.00/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.00/3600.05 c Total Time : 3600.0400
3589.00/3600.05 c solving : 3600.0400
3589.00/3600.05 c presolving : 0.1117 (included in solving)
3589.00/3600.05 c B&B Tree :
3589.00/3600.05 c nodes (total) : 1
3589.00/3600.05 c Solution :
3589.00/3600.05 c Solutions found : 0
3589.00/3600.05 c Primal Bound : -
3589.00/3600.05 c Dual Bound : +0.00000000000000e+00
3589.00/3600.05 c Gap : -
3589.00/3600.06 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: 64096 MiB (59348 MiB free)
memory of node 1: 64473 MiB (61093 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451560-1721425483/watcher-4451560-1721425483 -o /tmp/evaluation-result-4451560-1721425483/solver-4451560-1721425483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033550 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451560-1721425483.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
Current StackSize limit: 8192 KiB
solver pid=1036352, runsolver pid=1036349
[startup+0.1001 s]*
/proc/loadavg: 4.06 4.19 4.24 5/250 1036353
/proc/meminfo: memFree=123306028/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=57832 memory=41736 CPUtime=0.1 cores=4,6
/proc/1036352/stat : 1036352 (fscip) R 1036349 1036352 1033539 0 -1 4194304 8812 0 0 0 9 1 0 0 20 0 1 0 194707040 59219968 10434 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 14458 10434 2750 3032 0 10858 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57832 KiB
Current children cumulated memory: 41736 KiB
[startup+0.21368 s]*
/proc/loadavg: 4.06 4.19 4.24 6/252 1036355
/proc/meminfo: memFree=123257700/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=180736 memory=85080 CPUtime=0.2 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 19651 0 0 0 16 4 0 0 20 0 3 0 194707040 185073664 21270 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 45184 21270 2766 3032 0 27547 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=180736 memory=6007641856751698051 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 5205 0 0 0 4 1 0 0 20 0 3 0 194707054 185073664 21270 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=180736 memory=18025 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194707058 185073664 21270 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 180736 KiB
Current children cumulated memory: 85080 KiB
[startup+0.313696 s]*
/proc/loadavg: 4.06 4.19 4.24 5/252 1036355
/proc/meminfo: memFree=123252156/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=181636 memory=90340 CPUtime=0.29 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 20954 0 0 0 24 5 0 0 20 0 3 0 194707040 185995264 22585 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 45409 22585 2766 3032 0 28821 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=181636 memory=-7736474891278836602 CPUtime=0.14 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 6508 0 0 0 12 2 0 0 20 0 3 0 194707054 185995264 22585 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=181636 memory=0 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194707058 185995264 22585 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 181636 KiB
Current children cumulated memory: 90340 KiB
[startup+0.700346 s]
/proc/loadavg: 4.06 4.19 4.24 5/252 1036355
/proc/meminfo: memFree=123237600/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=185972 memory=105672 CPUtime=0.66 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 24891 0 0 0 60 6 0 0 20 0 3 0 194707040 190435328 26418 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 46493 26418 2910 3032 0 32644 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=185972 memory=0 CPUtime=0.51 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 10445 0 0 0 48 3 0 0 20 0 3 0 194707054 190435328 26418 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=185972 memory=0 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194707058 190435328 26418 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 185972 KiB
Current children cumulated memory: 105672 KiB
[startup+1.50035 s]
/proc/loadavg: 4.06 4.19 4.24 5/252 1036355
/proc/meminfo: memFree=123235892/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=187436 memory=122544 CPUtime=1.46 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 37188 0 0 0 139 7 0 0 20 0 3 0 194707040 191934464 30636 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 46859 30636 2926 3032 0 37307 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=187436 memory=0 CPUtime=1.3 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 22742 0 0 0 126 4 0 0 20 0 3 0 194707054 191934464 30636 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=187436 memory=0 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194707058 191934464 30636 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 187436 KiB
Current children cumulated memory: 122544 KiB
[startup+3.11271 s]
/proc/loadavg: 4.06 4.19 4.24 5/252 1036355
/proc/meminfo: memFree=123188920/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=187436 memory=139492 CPUtime=3.07 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 42788 0 0 0 299 8 0 0 20 0 3 0 194707040 191934464 34873 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 46859 34873 2926 3032 0 42382 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=187436 memory=0 CPUtime=2.91 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 28340 0 0 0 286 5 0 0 20 0 3 0 194707054 191934464 34873 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=187436 memory=2209 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194707058 191934464 34873 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 187436 KiB
Current children cumulated memory: 139492 KiB
[startup+6.30032 s]
/proc/loadavg: 4.05 4.19 4.24 5/252 1036355
/proc/meminfo: memFree=123175808/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=252972 memory=148372 CPUtime=6.24 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 48352 0 0 0 616 8 0 0 20 0 3 0 194707040 259043328 37093 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 63243 37093 2926 3032 0 43594 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=252972 memory=148372 CPUtime=6.09 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 33879 0 0 0 603 6 0 0 20 0 3 0 194707054 259043328 37093 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=252972 memory=12740 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 194707058 259043328 37093 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 252972 KiB
Current children cumulated memory: 148372 KiB
[startup+12.7004 s]
/proc/loadavg: 4.05 4.19 4.24 5/252 1036356
/proc/meminfo: memFree=123156088/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=253112 memory=165792 CPUtime=12.63 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 86793 0 0 0 1251 12 0 0 20 0 3 0 194707040 259186688 41448 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 63278 41448 2974 3032 0 48510 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=253112 memory=158172 CPUtime=12.47 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 72257 0 0 0 1238 9 0 0 20 0 3 0 194707054 259186688 41448 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=253112 memory=12740 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 194707058 259186688 41448 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 253112 KiB
Current children cumulated memory: 165792 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.19 4.24 5/252 1036358
/proc/meminfo: memFree=123126072/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=253256 memory=166332 CPUtime=25.39 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 106680 0 0 0 2525 14 0 0 20 0 3 0 194707040 259334144 41583 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 63314 41583 2974 3032 0 54458 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=253256 memory=0 CPUtime=25.23 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 92100 0 0 0 2512 11 0 0 20 0 3 0 194707054 259334144 41583 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=253256 memory=166320 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 194707058 259334144 41583 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 253256 KiB
Current children cumulated memory: 166332 KiB
[startup+51.1128 s]
/proc/loadavg: 4.14 4.19 4.24 5/251 1036362
/proc/meminfo: memFree=123033076/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=318792 memory=192484 CPUtime=50.93 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 147385 0 0 0 5074 19 0 0 20 0 3 0 194707040 326443008 48121 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 79698 48121 2974 3032 0 61616 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=318792 memory=192484 CPUtime=50.76 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 132739 0 0 0 5061 15 0 0 20 0 3 0 194707054 326443008 48121 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=318792 memory=192304 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 194707058 326443008 48121 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 318792 KiB
Current children cumulated memory: 192484 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.23 5/250 1036373
/proc/meminfo: memFree=122883488/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=318792 memory=223484 CPUtime=101.96 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 199140 0 0 0 10170 26 0 0 20 0 3 0 194707040 326443008 55871 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 79698 55871 2974 3032 0 69354 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=318792 memory=223416 CPUtime=101.79 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 184427 0 0 0 10156 23 0 0 20 0 3 0 194707054 326443008 55871 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=318792 memory=12740 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 194707058 326443008 55871 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 318792 KiB
Current children cumulated memory: 223484 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.22 5/250 1036383
/proc/meminfo: memFree=122734568/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=395052 memory=264352 CPUtime=161.78 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 243421 0 0 0 16146 32 0 0 20 0 3 0 194707040 404533248 66088 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 98763 66088 2974 3032 0 81428 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=395052 memory=50128 CPUtime=161.61 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 228668 0 0 0 16132 29 0 0 20 0 3 0 194707054 404533248 66088 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=395052 memory=50128 CPUtime=0 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 194707058 404533248 66088 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 395052 KiB
Current children cumulated memory: 264352 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.21 5/250 1036393
################
# More data... #
################
/proc/1036352/statm: 172393 161225 2974 3032 0 165258 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=12740 CPUtime=3391.42 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1317707 0 0 0 338800 342 0 0 20 0 3 0 194707054 706121728 161225 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=644900 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 119 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 161225 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 644900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.18 5/251 1038922
/proc/meminfo: memFree=121141100/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=645172 CPUtime=3451.77 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1336851 0 0 0 344812 365 0 0 20 0 3 0 194707040 706121728 161293 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 161293 2974 3032 0 165258 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=12740 CPUtime=3451.25 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1321148 0 0 0 344779 346 0 0 20 0 3 0 194707054 706121728 161293 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=645172 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 120 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 161293 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 645172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/251 1038932
/proc/meminfo: memFree=121124040/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=755108 memory=661324 CPUtime=3511.55 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1344657 0 0 0 350786 369 0 0 20 0 3 0 194707040 773230592 165331 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 188777 165331 2974 3032 0 168657 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=755108 memory=645172 CPUtime=3511.04 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1328936 0 0 0 350753 351 0 0 20 0 3 0 194707054 773230592 165331 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=755108 memory=644844 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 121 0 0 0 1 4 0 0 20 0 3 0 194707058 773230592 165331 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 755108 KiB
Current children cumulated memory: 661324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/252 1038944
/proc/meminfo: memFree=121123584/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=755108 memory=661468 CPUtime=3571.35 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1348282 0 0 0 356762 373 0 0 20 0 3 0 194707040 773230592 165367 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 188777 165367 2974 3032 0 168657 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=755108 memory=661468 CPUtime=3570.83 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1332544 0 0 0 356729 354 0 0 20 0 3 0 194707054 773230592 165367 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=755108 memory=661468 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 773230592 165367 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 755108 KiB
Current children cumulated memory: 661468 KiB
[startup+3600.07 s]
# the end of solver process 1036352 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.31 s, system=3.75639 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.17 5/252 1038944
/proc/meminfo: memFree=121123556/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=755108 memory=661468 CPUtime=3573.05 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1348284 0 0 0 356932 373 0 0 20 0 3 0 194707040 773230592 165367 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 188777 165367 2974 3032 0 168657 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=755108 memory=-7736474891429502584 CPUtime=3572.53 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1332545 0 0 0 356899 354 0 0 20 0 3 0 194707054 773230592 165367 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=755108 memory=-7169588686297259384 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 773230592 165367 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 755108 KiB
Current children cumulated memory: 661468 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.14 4.17 5/252 1038946
/proc/meminfo: memFree=121139432/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=643660 CPUtime=3579.42 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1348996 0 0 0 357568 374 0 0 20 0 3 0 194707040 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 160915 2974 3032 0 168295 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=661468 CPUtime=3578.9 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1333252 0 0 0 357535 355 0 0 20 0 3 0 194707054 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=661468 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3579.42 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 643660 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.14 4.17 5/252 1038946
/proc/meminfo: memFree=121139404/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=643660 CPUtime=3585.8 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1349015 0 0 0 358206 374 0 0 20 0 3 0 194707040 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 160915 2974 3032 0 168295 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=661468 CPUtime=3585.28 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1333263 0 0 0 358173 355 0 0 20 0 3 0 194707054 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=281118763663952 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 643660 KiB
[startup+3598.4 s]
/proc/loadavg: 4.09 4.14 4.17 5/252 1038947
/proc/meminfo: memFree=121139432/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=643660 CPUtime=3587.39 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1349016 0 0 0 358365 374 0 0 20 0 3 0 194707040 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 160915 2974 3032 0 168295 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=643660 CPUtime=3586.87 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1333264 0 0 0 358332 355 0 0 20 0 3 0 194707054 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=11936 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 643660 KiB
[startup+3599.2 s]
/proc/loadavg: 4.09 4.14 4.17 5/252 1038947
/proc/meminfo: memFree=121139432/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=643660 CPUtime=3588.19 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1349018 0 0 0 358445 374 0 0 20 0 3 0 194707040 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 160915 2974 3032 0 168295 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=50128 CPUtime=3587.66 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1333266 0 0 0 358411 355 0 0 20 0 3 0 194707054 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=11936 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 643660 KiB
[startup+3599.6 s]
/proc/loadavg: 4.09 4.14 4.17 5/252 1038947
/proc/meminfo: memFree=121139432/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=643660 CPUtime=3588.59 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1349018 0 0 0 358485 374 0 0 20 0 3 0 194707040 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 160915 2974 3032 0 168295 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=1828 CPUtime=3588.06 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1333266 0 0 0 358451 355 0 0 20 0 3 0 194707054 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=1976 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3588.59 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 643660 KiB
[startup+3600 s]*
/proc/loadavg: 4.17 4.15 4.17 5/252 1038947
/proc/meminfo: memFree=121139432/131655788 swapFree=131071996/131071996
[pid=1036352] ppid=1036349 vsize=689572 memory=643660 CPUtime=3589 cores=4,6
/proc/1036352/stat : 1036352 (fscip) S 1036349 1036352 1033539 0 -1 1077936128 1349060 0 0 0 358526 374 0 0 20 0 3 0 194707040 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
/proc/1036352/statm: 172393 160915 2974 3032 0 168295 0
[pid=1036352/tid=1036354] ppid=1036349 vsize=689572 memory=-7736474891429502584 CPUtime=3588.47 cores=4,6
/proc/1036352/task/1036354/stat : 1036354 (fscip) R 1036349 1036352 1033539 0 -1 4194368 1333306 0 0 0 358492 355 0 0 20 0 3 0 194707054 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
[pid=1036352/tid=1036355] ppid=1036349 vsize=689572 memory=-7169588686297259384 CPUtime=0.05 cores=4,6
/proc/1036352/task/1036355/stat : 1036355 (fscip) S 1036349 1036352 1033539 0 -1 1077936192 122 0 0 0 1 4 0 0 20 0 3 0 194707058 706121728 160915 134679101440 4194304 16613245 140723379244976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37978112 140723379254291 140723379254407 140723379254407 140723379261424 0
Current children cumulated CPU time: 3589 s
Current children cumulated vsize: 689572 KiB
Current children cumulated memory: 643660 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3589.07
CPU user time (s): 3585.31
CPU system time (s): 3.75639
CPU usage (%): 99.6943
Max. virtual memory (cumulated for all children) (KiB): 755108
Max. memory (cumulated for all children) (KiB): 661476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.31
system time used= 3.75639
maximum resident set size= 661476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1349777
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= 10984
involuntary context switches= 2430
# summary of solver processes directly reported to runsolver:
# pid: 1036352
# total CPU time (s): 3589.07
# total CPU user time (s): 3585.31
# total CPU system time (s): 3.75639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8566 second user time and 37.2248 second system time
The end
Begin job on nodeC005 at 2024-07-19 23:44:54
IDJOB=4451560
IDBENCH=162581
IDSOLVER=3064
FILE ID=nodeC005/4451560-1721425483
RUNJOBID= nodeC005-1721421610-1033550
SLURM_JOB_ID= 7545501
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.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-4451560-1721425483/watcher-4451560-1721425483 -o /tmp/evaluation-result-4451560-1721425483/solver-4451560-1721425483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033550 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451560-1721425483.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f51b92e6ea4641775f90070f7fcfd036
RANDOM SEED=730924019
nodeC005.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 : 0xb00001f
cpu MHz : 3667.017
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3669.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.388
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.329
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3491.782
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3634.755
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.328
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123333172 kB
MemAvailable: 128893328 kB
Buffers: 538872 kB
Cached: 5802632 kB
SwapCached: 0 kB
Active: 1142152 kB
Inactive: 6478604 kB
Active(anon): 3440 kB
Inactive(anon): 1321708 kB
Active(file): 1138712 kB
Inactive(file): 5156896 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28224 kB
Writeback: 56 kB
AnonPages: 1278444 kB
Mapped: 144040 kB
Shmem: 45896 kB
KReclaimable: 209496 kB
Slab: 328884 kB
SReclaimable: 209496 kB
SUnreclaim: 119388 kB
KernelStack: 3984 kB
PageTables: 12100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1035516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 548864 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC005 at 2024-07-20 00:44:55