0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 28332032, getVmSize() = 28332032, SCIPgetMemUsed() = 4369876, SCIPgetMemTotal() = 6744476, SCIPgetMemExternEstim() = 2039873
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 21920426, getVmSize() = 37429248, SCIPgetMemUsed() = 8857376, SCIPgetMemTotal() = 14608536, SCIPgetMemExternEstim() = 2039873
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4464450-1722382202
0.00/0.05 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 1015
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 525 (525 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 960
0.00/0.05 c Constraints : Number
0.00/0.05 c setppc : 260
0.00/0.05 c linear : 25
0.00/0.05 c logicor : 675
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06 c Nodes Active
0.00/0.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.26/5.31 c 5 763 118 1 - 0.0000 -
10.24/10.38 c 10 3151 133 1 - 0.0000 -
15.32/15.47 c 15 5752 147 1 - 0.0000 -
20.41/20.52 c 21 7423 296 1 - 0.0000 -
25.40/25.57 c 26 7879 576 1 - 0.0000 -
30.58/30.78 c 31 8287 829 1 - 0.0000 -
35.67/35.88 c 36 9288 1112 1 - 0.0000 -
40.76/41.01 c 41 10006 1372 1 - 0.0000 -
45.85/46.08 c 46 10766 1601 1 - 0.0000 -
50.94/51.18 c 51 11830 1805 1 - 0.0000 -
56.01/56.26 c 56 14055 1957 1 - 0.0000 -
61.09/61.31 c 61 15874 2123 1 - 0.0000 -
66.08/66.36 c 66 17490 2372 1 - 0.0000 -
71.16/71.44 c 71 18863 2693 1 - 0.0000 -
76.15/76.49 c 76 21106 2849 1 - 0.0000 -
81.23/81.56 c 82 23100 3084 1 - 0.0000 -
86.32/86.64 c 87 25397 3255 1 - 0.0000 -
91.40/91.71 c 92 26955 3489 1 - 0.0000 -
96.38/96.76 c 97 29754 3616 1 - 0.0000 -
101.47/101.82 c 102 32343 3609 1 - 0.0000 -
106.46/106.87 c 107 34415 3755 1 - 0.0000 -
111.54/111.92 c 112 36961 3870 1 - 0.0000 -
116.52/116.98 c 117 39267 3871 1 - 0.0000 -
121.62/122.03 c 122 41426 3970 1 - 0.0000 -
126.60/127.11 c 127 43869 4034 1 - 0.0000 -
131.69/132.15 c 132 46069 4153 1 - 0.0000 -
136.76/137.20 c 137 48445 4327 1 - 0.0000 -
141.74/142.25 c 142 50670 4412 1 - 0.0000 -
146.83/147.30 c 147 52979 4405 1 - 0.0000 -
151.82/152.35 c 152 55270 4428 1 - 0.0000 -
156.90/157.40 c 157 57705 4504 1 - 0.0000 -
161.89/162.45 c 162 60104 4540 1 - 0.0000 -
166.97/167.54 c 168 62418 4578 1 - 0.0000 -
171.95/172.59 c 173 64674 4661 1 - 0.0000 -
177.04/177.66 c 178 66643 4763 1 - 0.0000 -
182.13/182.74 c 183 68485 4864 1 - 0.0000 -
187.11/187.79 c 188 70714 4947 1 - 0.0000 -
192.19/192.84 c 193 72783 5001 1 - 0.0000 -
197.18/197.89 c 198 75286 5002 1 - 0.0000 -
202.26/202.95 c 203 77528 4993 1 - 0.0000 -
207.25/207.99 c 208 79367 5107 1 - 0.0000 -
212.35/213.04 c 213 81118 5176 1 - 0.0000 -
217.32/218.09 c 218 83351 5242 1 - 0.0000 -
222.41/223.15 c 223 85542 5237 1 - 0.0000 -
227.39/228.19 c 228 87408 5268 1 - 0.0000 -
232.47/233.25 c 233 89108 5293 1 - 0.0000 -
237.45/238.29 c 238 91173 5338 1 - 0.0000 -
242.54/243.34 c 243 93063 5389 1 - 0.0000 -
247.63/248.40 c 248 95196 5425 1 - 0.0000 -
252.61/253.44 c 253 96750 5540 1 - 0.0000 -
257.69/258.51 c 259 98675 5602 1 - 0.0000 -
262.68/263.57 c 264 100475 5711 1 - 0.0000 -
267.77/268.63 c 269 102204 5782 1 - 0.0000 -
272.75/273.68 c 274 104188 5821 1 - 0.0000 -
277.83/278.74 c 279 105949 5908 1 - 0.0000 -
282.81/283.79 c 284 107683 6057 1 - 0.0000 -
287.90/288.84 c 289 109393 6179 1 - 0.0000 -
292.89/293.89 c 294 111106 6297 1 - 0.0000 -
297.97/298.94 c 299 112848 6358 1 - 0.0000 -
302.94/303.99 c 304 114540 6469 1 - 0.0000 -
308.03/309.04 c 309 115958 6536 1 - 0.0000 -
313.02/314.10 c 314 117796 6561 1 - 0.0000 -
318.10/319.15 c 319 119471 6637 1 - 0.0000 -
323.18/324.21 c 324 121177 6683 1 - 0.0000 -
328.26/329.30 c 329 123053 6702 1 - 0.0000 -
333.25/334.34 c 334 124834 6754 1 - 0.0000 -
338.33/339.40 c 339 126540 6843 1 - 0.0000 -
343.32/344.45 c 344 128352 6835 1 - 0.0000 -
348.40/349.51 c 350 130267 6919 1 - 0.0000 -
353.39/354.56 c 355 132160 7052 1 - 0.0000 -
358.47/359.61 c 360 133977 7165 1 - 0.0000 -
363.46/364.66 c 365 135830 7209 1 - 0.0000 -
368.54/369.71 c 370 137607 7271 1 - 0.0000 -
373.53/374.77 c 375 139415 7269 1 - 0.0000 -
378.61/379.81 c 380 141114 7337 1 - 0.0000 -
383.60/384.86 c 385 142871 7347 1 - 0.0000 -
388.68/389.91 c 390 144602 7326 1 - 0.0000 -
393.67/394.96 c 395 146280 7390 1 - 0.0000 -
398.77/400.01 c 400 148037 7397 1 - 0.0000 -
403.75/405.07 c 405 149852 7399 1 - 0.0000 -
408.84/410.12 c 410 151677 7385 1 - 0.0000 -
413.82/415.16 c 415 153394 7353 1 - 0.0000 -
418.89/420.23 c 420 155093 7340 1 - 0.0000 -
423.87/425.28 c 425 156793 7315 1 - 0.0000 -
428.97/430.34 c 430 158502 7343 1 - 0.0000 -
434.05/435.41 c 435 159828 7376 1 - 0.0000 -
439.04/440.46 c 440 161370 7457 1 - 0.0000 -
444.12/445.51 c 446 162867 7479 1 - 0.0000 -
449.11/450.56 c 451 164560 7482 1 - 0.0000 -
454.19/455.61 c 456 166121 7533 1 - 0.0000 -
459.17/460.67 c 461 167653 7590 1 - 0.0000 -
464.26/465.73 c 466 169126 7590 1 - 0.0000 -
469.35/470.80 c 471 170666 7625 1 - 0.0000 -
474.33/475.85 c 476 172069 7732 1 - 0.0000 -
479.42/480.93 c 481 173531 7778 1 - 0.0000 -
484.40/485.99 c 486 175101 7826 1 - 0.0000 -
489.50/491.03 c 491 176606 7882 1 - 0.0000 -
494.58/496.11 c 496 178057 7906 1 - 0.0000 -
499.57/501.16 c 501 179802 7937 1 - 0.0000 -
504.63/506.22 c 506 181405 7948 1 - 0.0000 -
509.61/511.26 c 511 182975 7974 1 - 0.0000 -
514.69/516.31 c 516 184651 8031 1 - 0.0000 -
519.68/521.37 c 521 186171 8059 1 - 0.0000 -
524.76/526.41 c 526 187609 8130 1 - 0.0000 -
529.74/531.47 c 531 188997 8192 1 - 0.0000 -
534.83/536.53 c 537 190439 8247 1 - 0.0000 -
539.91/541.60 c 542 191809 8337 1 - 0.0000 -
544.88/546.65 c 547 193313 8362 1 - 0.0000 -
549.97/551.70 c 552 194820 8392 1 - 0.0000 -
554.96/556.75 c 557 196271 8422 1 - 0.0000 -
560.03/561.80 c 562 197648 8512 1 - 0.0000 -
565.12/566.95 c 567 198843 8580 1 - 0.0000 -
570.20/572.01 c 572 200653 8725 1 - 0.0000 -
575.19/577.06 c 577 202368 8718 1 - 0.0000 -
580.26/582.13 c 582 204101 8688 1 - 0.0000 -
585.24/587.18 c 587 205807 8675 1 - 0.0000 -
590.32/592.24 c 592 207483 8731 1 - 0.0000 -
595.30/597.29 c 597 209219 8708 1 - 0.0000 -
600.38/602.36 c 602 211076 8741 1 - 0.0000 -
605.46/607.41 c 607 213014 8754 1 - 0.0000 -
610.44/612.46 c 612 214923 8787 1 - 0.0000 -
615.52/617.51 c 618 216779 8746 1 - 0.0000 -
620.51/622.57 c 623 218677 8733 1 - 0.0000 -
625.58/627.62 c 628 220202 8769 1 - 0.0000 -
630.57/632.68 c 633 221852 8813 1 - 0.0000 -
635.64/637.74 c 638 223613 8822 1 - 0.0000 -
640.63/642.78 c 643 225151 8905 1 - 0.0000 -
645.71/647.84 c 648 226757 8948 1 - 0.0000 -
650.70/652.88 c 653 228636 8975 1 - 0.0000 -
655.78/657.93 c 658 230624 9006 1 - 0.0000 -
660.76/662.99 c 663 232322 9047 1 - 0.0000 -
665.85/668.05 c 668 233949 9116 1 - 0.0000 -
670.84/673.10 c 673 235682 9189 1 - 0.0000 -
675.92/678.14 c 678 237298 9225 1 - 0.0000 -
681.00/683.23 c 683 239259 9347 1 - 0.0000 -
685.98/688.29 c 688 241165 9413 1 - 0.0000 -
691.07/693.33 c 693 243102 9395 1 - 0.0000 -
696.06/698.38 c 698 244933 9462 1 - 0.0000 -
701.24/703.50 c 704 246793 9472 1 - 0.0000 -
706.22/708.55 c 709 248473 9480 1 - 0.0000 -
711.32/713.60 c 714 250210 9558 1 - 0.0000 -
716.30/718.66 c 719 251959 9586 1 - 0.0000 -
721.38/723.70 c 724 253585 9604 1 - 0.0000 -
726.38/728.75 c 729 255268 9639 1 - 0.0000 -
731.45/733.81 c 734 256823 9696 1 - 0.0000 -
736.45/738.86 c 739 258406 9744 1 - 0.0000 -
741.53/743.91 c 744 259982 9775 1 - 0.0000 -
746.51/748.96 c 749 261555 9883 1 - 0.0000 -
751.61/754.02 c 754 262866 9943 1 - 0.0000 -
756.60/759.07 c 759 264437 10001 1 - 0.0000 -
761.69/764.12 c 764 266163 10019 1 - 0.0000 -
766.67/769.19 c 769 267666 10154 1 - 0.0000 -
771.75/774.24 c 774 269611 10173 1 - 0.0000 -
776.73/779.29 c 779 271097 10203 1 - 0.0000 -
781.81/784.34 c 784 272937 10243 1 - 0.0000 -
786.80/789.39 c 789 274593 10281 1 - 0.0000 -
791.89/794.44 c 794 276182 10291 1 - 0.0000 -
796.97/799.51 c 800 277715 10322 1 - 0.0000 -
801.96/804.59 c 805 279246 10405 1 - 0.0000 -
807.04/809.64 c 810 280897 10445 1 - 0.0000 -
812.03/814.69 c 815 282856 10462 1 - 0.0000 -
817.31/819.96 c 820 284520 10460 1 - 0.0000 -
822.40/825.02 c 825 286148 10472 1 - 0.0000 -
827.39/830.07 c 830 287691 10513 1 - 0.0000 -
832.47/835.13 c 835 288901 10723 1 - 0.0000 -
837.46/840.18 c 840 289883 10810 1 - 0.0000 -
842.53/845.24 c 845 291217 10886 1 - 0.0000 -
847.62/850.30 c 850 292738 10929 1 - 0.0000 -
852.60/855.35 c 855 294346 10930 1 - 0.0000 -
857.69/860.41 c 860 295769 10999 1 - 0.0000 -
862.68/865.46 c 865 297211 11014 1 - 0.0000 -
867.77/870.52 c 871 298754 11061 1 - 0.0000 -
872.75/875.57 c 876 300175 11380 1 - 0.0000 -
877.84/880.62 c 881 301646 11468 1 - 0.0000 -
882.83/885.67 c 886 303196 11532 1 - 0.0000 -
887.91/890.72 c 891 304700 11603 1 - 0.0000 -
892.89/895.77 c 896 306034 11637 1 - 0.0000 -
897.98/900.83 c 901 307360 11741 1 - 0.0000 -
902.96/905.89 c 906 308519 11807 1 - 0.0000 -
908.05/910.94 c 911 310183 11868 1 - 0.0000 -
913.03/916.01 c 916 311536 11939 1 - 0.0000 -
918.13/921.07 c 921 312805 12004 1 - 0.0000 -
923.21/926.11 c 926 314294 12030 1 - 0.0000 -
928.20/931.17 c 931 315620 12085 1 - 0.0000 -
933.27/936.22 c 936 316848 12088 1 - 0.0000 -
938.26/941.27 c 941 318586 12107 1 - 0.0000 -
943.54/946.58 c 947 320001 12131 1 - 0.0000 -
948.63/951.63 c 952 321524 12180 1 - 0.0000 -
953.62/956.68 c 957 322950 12199 1 - 0.0000 -
958.70/961.74 c 962 324343 12197 1 - 0.0000 -
963.69/966.79 c 967 325743 12233 1 - 0.0000 -
968.77/971.84 c 972 327234 12217 1 - 0.0000 -
973.76/976.89 c 977 328694 12270 1 - 0.0000 -
978.84/981.94 c 982 330090 12326 1 - 0.0000 -
983.83/986.99 c 987 331632 12383 1 - 0.0000 -
988.92/992.09 c 992 333056 12463 1 - 0.0000 -
994.02/997.14 c 997 334408 12525 1 - 0.0000 -
999.00/1002.19 c 1002 335834 12536 1 - 0.0000 -
1004.07/1007.24 c 1007 337376 12618 1 - 0.0000 -
1009.15/1012.30 c 1012 338964 12650 1 - 0.0000 -
1014.14/1017.35 c 1017 340367 12688 1 - 0.0000 -
1019.23/1022.40 c 1022 341857 12700 1 - 0.0000 -
1024.22/1027.46 c 1027 343192 12755 1 - 0.0000 -
1029.30/1032.51 c 1033 344838 12781 1 - 0.0000 -
1034.29/1037.59 c 1038 346227 12872 1 - 0.0000 -
1039.37/1042.64 c 1043 347529 12896 1 - 0.0000 -
1044.36/1047.69 c 1048 348880 12900 1 - 0.0000 -
1049.44/1052.75 c 1053 350325 12943 1 - 0.0000 -
1054.63/1057.92 c 1058 351606 12988 1 - 0.0000 -
1059.61/1063.01 c 1063 353095 13017 1 - 0.0000 -
1064.70/1068.05 c 1068 354841 13018 1 - 0.0000 -
1069.78/1073.12 c 1073 356231 13043 1 - 0.0000 -
1074.77/1078.16 c 1078 357542 13098 1 - 0.0000 -
1079.84/1083.26 c 1083 358713 13137 1 - 0.0000 -
1084.93/1088.32 c 1088 359923 13208 1 - 0.0000 -
1090.01/1093.44 c 1093 361168 13263 1 - 0.0000 -
1095.10/1098.53 c 1099 362337 13312 1 - 0.0000 -
1100.08/1103.57 c 1104 363609 13317 1 - 0.0000 -
1105.16/1108.64 c 1109 364791 13326 1 - 0.0000 -
1110.24/1113.70 c 1114 365992 13371 1 - 0.0000 -
1115.23/1118.76 c 1119 367223 13378 1 - 0.0000 -
1120.32/1123.81 c 1124 368495 13436 1 - 0.0000 -
1125.30/1128.89 c 1129 369672 13448 1 - 0.0000 -
1130.38/1133.96 c 1134 370902 13499 1 - 0.0000 -
1135.37/1139.01 c 1139 372547 13525 1 - 0.0000 -
1140.45/1144.05 c 1144 374171 13635 1 - 0.0000 -
1145.44/1149.10 c 1149 375588 13664 1 - 0.0000 -
1150.53/1154.16 c 1154 377039 13675 1 - 0.0000 -
1155.60/1159.24 c 1159 378252 13713 1 - 0.0000 -
1160.68/1164.32 c 1164 379352 13725 1 - 0.0000 -
1165.67/1169.39 c 1169 380422 13785 1 - 0.0000 -
1170.75/1174.44 c 1174 381689 13815 1 - 0.0000 -
1175.74/1179.49 c 1180 382951 13861 1 - 0.0000 -
1180.82/1184.56 c 1185 384053 13836 1 - 0.0000 -
1185.91/1189.62 c 1190 385296 13830 1 - 0.0000 -
1190.89/1194.68 c 1195 386422 13812 1 - 0.0000 -
1195.98/1199.74 c 1200 387531 13816 1 - 0.0000 -
1200.96/1204.79 c 1205 388736 13844 1 - 0.0000 -
1206.05/1209.85 c 1210 390130 13878 1 - 0.0000 -
1211.14/1214.92 c 1215 391368 13917 1 - 0.0000 -
1216.23/1220.02 c 1220 392523 13901 1 - 0.0000 -
1221.22/1225.07 c 1225 393746 13977 1 - 0.0000 -
1226.30/1230.11 c 1230 395008 13938 1 - 0.0000 -
1231.29/1235.17 c 1235 396267 13946 1 - 0.0000 -
1236.36/1240.24 c 1240 397485 13953 1 - 0.0000 -
1241.34/1245.29 c 1245 398560 13978 1 - 0.0000 -
1246.44/1250.37 c 1250 399759 14006 1 - 0.0000 -
1251.92/1255.84 c 1256 400967 14036 1 - 0.0000 -
1256.90/1260.88 c 1261 402513 14068 1 - 0.0000 -
1261.98/1265.95 c 1266 404031 14039 1 - 0.0000 -
1267.09/1271.01 c 1271 405426 14106 1 - 0.0000 -
1272.07/1276.06 c 1276 406867 14111 1 - 0.0000 -
1277.15/1281.12 c 1281 408305 14114 1 - 0.0000 -
1282.14/1286.17 c 1286 409896 14129 1 - 0.0000 -
1287.21/1291.23 c 1291 411566 14161 1 - 0.0000 -
1292.20/1296.28 c 1296 413077 14221 1 - 0.0000 -
1297.28/1301.32 c 1301 414582 14215 1 - 0.0000 -
1302.26/1306.37 c 1306 415897 14224 1 - 0.0000 -
1307.36/1311.42 c 1311 417380 14271 1 - 0.0000 -
1312.34/1316.48 c 1316 418978 14258 1 - 0.0000 -
1317.42/1321.53 c 1322 420169 14274 1 - 0.0000 -
1322.41/1326.57 c 1327 421450 14303 1 - 0.0000 -
1327.50/1331.62 c 1332 422570 14301 1 - 0.0000 -
1332.48/1336.68 c 1337 423791 14316 1 - 0.0000 -
1337.57/1341.73 c 1342 425341 14322 1 - 0.0000 -
1342.65/1346.80 c 1347 426593 14322 1 - 0.0000 -
1347.64/1351.85 c 1352 427857 14354 1 - 0.0000 -
1352.73/1356.91 c 1357 429143 14401 1 - 0.0000 -
1357.71/1361.98 c 1362 430609 14411 1 - 0.0000 -
1362.81/1367.02 c 1367 431794 14574 1 - 0.0000 -
1367.79/1372.07 c 1372 433264 14663 1 - 0.0000 -
1372.88/1377.13 c 1377 434500 14738 1 - 0.0000 -
1377.95/1382.20 c 1382 435705 14741 1 - 0.0000 -
1382.94/1387.25 c 1387 437102 14784 1 - 0.0000 -
1388.03/1392.31 c 1392 438153 14796 1 - 0.0000 -
1393.01/1397.36 c 1397 439480 14800 1 - 0.0000 -
1398.09/1402.41 c 1402 440867 14801 1 - 0.0000 -
1403.08/1407.46 c 1407 442238 14818 1 - 0.0000 -
1408.17/1412.51 c 1413 443895 14855 1 - 0.0000 -
1413.15/1417.56 c 1418 445412 14918 1 - 0.0000 -
1418.23/1422.62 c 1423 446768 14995 1 - 0.0000 -
1423.22/1427.69 c 1428 448080 14962 1 - 0.0000 -
1428.31/1432.73 c 1433 449418 14948 1 - 0.0000 -
1433.29/1437.78 c 1438 450909 14981 1 - 0.0000 -
1439.18/1443.64 c 1444 451188 113 1 - 0.0000 -
1444.26/1448.75 c 1449 452011 414 1 - 0.0000 -
1449.35/1453.81 c 1454 454132 538 1 - 0.0000 -
1454.34/1458.86 c 1459 456044 803 1 - 0.0000 -
1459.42/1463.91 c 1464 458178 1010 1 - 0.0000 -
1464.40/1468.97 c 1469 460124 1194 1 - 0.0000 -
1469.50/1474.02 c 1474 462349 1272 1 - 0.0000 -
1474.49/1479.07 c 1479 464637 1316 1 - 0.0000 -
1479.57/1484.12 c 1484 466743 1466 1 - 0.0000 -
1484.56/1489.17 c 1489 468948 1571 1 - 0.0000 -
1489.63/1494.22 c 1494 471134 1716 1 - 0.0000 -
1494.61/1499.28 c 1499 473470 1779 1 - 0.0000 -
1499.70/1504.32 c 1504 475443 1912 1 - 0.0000 -
1504.69/1509.37 c 1509 477472 2007 1 - 0.0000 -
1509.77/1514.42 c 1514 479268 2156 1 - 0.0000 -
1514.76/1519.48 c 1519 481416 2274 1 - 0.0000 -
1519.84/1524.53 c 1525 483682 2337 1 - 0.0000 -
1524.83/1529.59 c 1530 485621 2469 1 - 0.0000 -
1529.92/1534.65 c 1535 487634 2521 1 - 0.0000 -
1535.00/1539.70 c 1540 489788 2615 1 - 0.0000 -
1539.99/1544.75 c 1545 491900 2667 1 - 0.0000 -
1545.07/1549.80 c 1550 493750 2745 1 - 0.0000 -
1550.05/1554.85 c 1555 495712 2802 1 - 0.0000 -
1555.14/1559.90 c 1560 498148 2881 1 - 0.0000 -
1560.13/1564.95 c 1565 500343 2927 1 - 0.0000 -
1565.12/1570.01 c 1570 502499 2967 1 - 0.0000 -
1570.20/1575.05 c 1575 504669 2972 1 - 0.0000 -
1575.20/1580.10 c 1580 506850 3040 1 - 0.0000 -
1580.28/1585.15 c 1585 508625 3148 1 - 0.0000 -
1585.35/1590.22 c 1590 510602 3292 1 - 0.0000 -
1590.34/1595.27 c 1595 512587 3445 1 - 0.0000 -
1595.43/1600.32 c 1600 514659 3507 1 - 0.0000 -
1600.41/1605.37 c 1605 516793 3550 1 - 0.0000 -
1605.49/1610.46 c 1610 518743 3596 1 - 0.0000 -
1610.58/1615.51 c 1616 520797 3677 1 - 0.0000 -
1615.57/1620.56 c 1621 522835 3760 1 - 0.0000 -
1620.66/1625.61 c 1626 524683 3892 1 - 0.0000 -
1625.64/1630.66 c 1631 526559 4113 1 - 0.0000 -
1630.73/1635.71 c 1636 528587 4226 1 - 0.0000 -
1635.71/1640.78 c 1641 530265 4439 1 - 0.0000 -
1640.80/1645.83 c 1646 532225 4486 1 - 0.0000 -
1645.88/1650.90 c 1651 533874 4689 1 - 0.0000 -
1650.87/1655.95 c 1656 535561 4796 1 - 0.0000 -
1655.85/1661.01 c 1661 537182 4923 1 - 0.0000 -
1660.95/1666.05 c 1666 539058 5035 1 - 0.0000 -
1665.93/1671.10 c 1671 540918 5127 1 - 0.0000 -
1671.02/1676.15 c 1676 542589 5320 1 - 0.0000 -
1676.09/1681.20 c 1681 544374 5466 1 - 0.0000 -
1681.08/1686.25 c 1686 546212 5519 1 - 0.0000 -
1686.16/1691.30 c 1691 547945 5488 1 - 0.0000 -
1691.14/1696.35 c 1696 549770 5578 1 - 0.0000 -
1696.23/1701.40 c 1701 551451 5659 1 - 0.0000 -
1701.22/1706.45 c 1706 553190 5725 1 - 0.0000 -
1706.31/1711.50 c 1712 554872 5773 1 - 0.0000 -
1711.29/1716.57 c 1717 556384 5916 1 - 0.0000 -
1716.38/1721.64 c 1722 557990 6006 1 - 0.0000 -
1721.46/1726.70 c 1727 559600 6103 1 - 0.0000 -
1726.44/1731.75 c 1732 561158 6172 1 - 0.0000 -
1731.54/1736.82 c 1737 562511 6279 1 - 0.0000 -
1736.52/1741.86 c 1742 564115 6368 1 - 0.0000 -
1741.61/1746.92 c 1747 565667 6426 1 - 0.0000 -
1746.59/1751.97 c 1752 567436 6545 1 - 0.0000 -
1751.68/1757.02 c 1757 569147 6618 1 - 0.0000 -
1756.67/1762.07 c 1762 571000 6672 1 - 0.0000 -
1761.76/1767.12 c 1767 572646 6802 1 - 0.0000 -
1766.74/1772.17 c 1772 574228 6821 1 - 0.0000 -
1771.81/1777.23 c 1777 576008 6903 1 - 0.0000 -
1776.80/1782.29 c 1782 577724 6987 1 - 0.0000 -
1781.89/1787.33 c 1787 579486 7049 1 - 0.0000 -
1786.87/1792.38 c 1792 581542 7064 1 - 0.0000 -
1791.95/1797.43 c 1797 583149 7201 1 - 0.0000 -
1797.04/1802.53 c 1803 584439 7334 1 - 0.0000 -
1802.13/1807.61 c 1808 585607 7399 1 - 0.0000 -
1807.21/1812.75 c 1813 586678 7508 1 - 0.0000 -
1812.30/1817.82 c 1818 587768 7591 1 - 0.0000 -
1817.28/1822.87 c 1823 589215 7635 1 - 0.0000 -
1822.37/1827.94 c 1828 590903 7664 1 - 0.0000 -
1827.35/1832.98 c 1833 592560 7733 1 - 0.0000 -
1832.44/1838.03 c 1838 594122 7806 1 - 0.0000 -
1837.42/1843.08 c 1843 595652 7815 1 - 0.0000 -
1842.50/1848.16 c 1848 597191 7909 1 - 0.0000 -
1847.58/1853.21 c 1853 598844 7982 1 - 0.0000 -
1852.57/1858.26 c 1858 600397 8057 1 - 0.0000 -
1857.66/1863.32 c 1863 602089 8129 1 - 0.0000 -
1862.64/1868.36 c 1868 603836 8146 1 - 0.0000 -
1867.73/1873.43 c 1873 605208 8239 1 - 0.0000 -
1872.71/1878.48 c 1878 606910 8315 1 - 0.0000 -
1877.79/1883.53 c 1884 608462 8429 1 - 0.0000 -
1882.78/1888.59 c 1889 610138 8460 1 - 0.0000 -
1887.87/1893.63 c 1894 611940 8511 1 - 0.0000 -
1892.95/1898.74 c 1899 613631 8566 1 - 0.0000 -
1897.94/1903.79 c 1904 615178 8627 1 - 0.0000 -
1903.02/1908.84 c 1909 616754 8689 1 - 0.0000 -
1908.01/1913.89 c 1914 618446 8764 1 - 0.0000 -
1913.50/1919.39 c 1919 620240 8863 1 - 0.0000 -
1918.58/1924.44 c 1924 621731 8932 1 - 0.0000 -
1923.57/1929.49 c 1930 623245 8991 1 - 0.0000 -
1928.65/1934.54 c 1935 624827 9073 1 - 0.0000 -
1933.73/1939.60 c 1940 626457 9183 1 - 0.0000 -
1938.72/1944.66 c 1945 628016 9219 1 - 0.0000 -
1943.81/1949.71 c 1950 629635 9332 1 - 0.0000 -
1948.80/1954.78 c 1955 631246 9421 1 - 0.0000 -
1953.88/1959.86 c 1960 632796 9496 1 - 0.0000 -
1958.97/1964.90 c 1965 634428 9735 1 - 0.0000 -
1963.95/1969.97 c 1970 635875 9777 1 - 0.0000 -
1969.05/1975.02 c 1975 637327 9796 1 - 0.0000 -
1974.03/1980.06 c 1980 638957 9834 1 - 0.0000 -
1979.12/1985.13 c 1985 640418 9895 1 - 0.0000 -
1984.19/1990.20 c 1990 641814 9944 1 - 0.0000 -
1989.18/1995.25 c 1995 643308 9990 1 - 0.0000 -
1994.26/2000.32 c 2000 644788 9985 1 - 0.0000 -
1999.25/2005.38 c 2005 646174 10051 1 - 0.0000 -
2004.33/2010.43 c 2010 647789 10186 1 - 0.0000 -
2009.42/2015.50 c 2016 649159 10294 1 - 0.0000 -
2014.40/2020.57 c 2021 650570 10352 1 - 0.0000 -
2019.49/2025.61 c 2026 652090 10361 1 - 0.0000 -
2024.47/2030.66 c 2031 653524 10401 1 - 0.0000 -
2029.57/2035.71 c 2036 655133 10477 1 - 0.0000 -
2034.54/2040.77 c 2041 656536 10541 1 - 0.0000 -
2039.64/2045.82 c 2046 657708 10601 1 - 0.0000 -
2044.62/2050.88 c 2051 659305 10624 1 - 0.0000 -
2049.71/2055.92 c 2056 660737 10686 1 - 0.0000 -
2054.80/2061.02 c 2061 662191 10825 1 - 0.0000 -
2059.89/2066.13 c 2066 663390 10950 1 - 0.0000 -
2064.88/2071.17 c 2071 664798 11025 1 - 0.0000 -
2069.94/2076.26 c 2076 665971 11123 1 - 0.0000 -
2075.03/2081.31 c 2081 667060 11157 1 - 0.0000 -
2080.02/2086.36 c 2086 668578 11196 1 - 0.0000 -
2085.10/2091.42 c 2091 669630 11237 1 - 0.0000 -
2090.10/2096.47 c 2096 670965 11353 1 - 0.0000 -
2095.18/2101.57 c 2102 672515 11494 1 - 0.0000 -
2100.26/2106.62 c 2107 674149 11488 1 - 0.0000 -
2105.25/2111.67 c 2112 675818 11473 1 - 0.0000 -
2110.34/2116.74 c 2117 677335 11530 1 - 0.0000 -
2115.32/2121.79 c 2122 678732 11521 1 - 0.0000 -
2120.41/2126.84 c 2127 680204 11568 1 - 0.0000 -
2125.49/2131.90 c 2132 681617 11594 1 - 0.0000 -
2130.48/2136.94 c 2137 683200 11618 1 - 0.0000 -
2135.47/2141.99 c 2142 684654 11659 1 - 0.0000 -
2140.55/2147.05 c 2147 686300 11661 1 - 0.0000 -
2145.54/2152.10 c 2152 688140 11679 1 - 0.0000 -
2150.63/2157.15 c 2157 689544 11728 1 - 0.0000 -
2155.70/2162.22 c 2162 690853 11772 1 - 0.0000 -
2160.68/2167.28 c 2167 692149 11839 1 - 0.0000 -
2165.78/2172.35 c 2172 693516 11927 1 - 0.0000 -
2170.85/2177.44 c 2177 694853 12011 1 - 0.0000 -
2175.84/2182.49 c 2182 696599 12054 1 - 0.0000 -
2180.93/2187.55 c 2188 698147 12083 1 - 0.0000 -
2186.01/2192.61 c 2193 699689 12156 1 - 0.0000 -
2191.00/2197.65 c 2198 701070 12209 1 - 0.0000 -
2196.08/2202.70 c 2203 702697 12228 1 - 0.0000 -
2201.07/2207.75 c 2208 704134 12298 1 - 0.0000 -
2206.15/2212.81 c 2213 705624 12315 1 - 0.0000 -
2211.14/2217.85 c 2218 707229 12360 1 - 0.0000 -
2216.23/2222.90 c 2223 708778 12403 1 - 0.0000 -
2221.22/2227.95 c 2228 710374 12548 1 - 0.0000 -
2226.20/2233.01 c 2233 711968 12606 1 - 0.0000 -
2231.29/2238.05 c 2238 713513 12676 1 - 0.0000 -
2236.27/2243.10 c 2243 715265 12758 1 - 0.0000 -
2241.37/2248.15 c 2248 716843 12819 1 - 0.0000 -
2246.43/2253.20 c 2253 718239 12813 1 - 0.0000 -
2251.42/2258.25 c 2258 719871 12828 1 - 0.0000 -
2256.51/2263.30 c 2263 721422 12818 1 - 0.0000 -
2261.49/2268.35 c 2268 723087 12812 1 - 0.0000 -
2266.58/2273.40 c 2273 724565 12844 1 - 0.0000 -
2271.56/2278.45 c 2278 726011 12905 1 - 0.0000 -
2276.65/2283.50 c 2284 727398 12926 1 - 0.0000 -
2281.83/2288.79 c 2289 728687 12943 1 - 0.0000 -
2287.02/2293.93 c 2294 729931 12984 1 - 0.0000 -
2292.00/2298.98 c 2299 731474 13029 1 - 0.0000 -
2297.10/2304.03 c 2304 732991 13075 1 - 0.0000 -
2302.09/2309.08 c 2309 734521 13117 1 - 0.0000 -
2307.17/2314.13 c 2314 736103 13228 1 - 0.0000 -
2312.16/2319.18 c 2319 737635 13294 1 - 0.0000 -
2317.23/2324.23 c 2324 739222 13333 1 - 0.0000 -
2322.21/2329.28 c 2329 740689 13371 1 - 0.0000 -
2327.30/2334.37 c 2334 742080 13439 1 - 0.0000 -
2332.38/2339.43 c 2339 743521 13432 1 - 0.0000 -
2337.37/2344.48 c 2344 744982 13547 1 - 0.0000 -
2342.46/2349.53 c 2350 746611 13602 1 - 0.0000 -
2347.45/2354.58 c 2355 748124 13648 1 - 0.0000 -
2352.53/2359.63 c 2360 749652 13744 1 - 0.0000 -
2357.51/2364.68 c 2365 751327 13760 1 - 0.0000 -
2362.60/2369.74 c 2370 752821 13769 1 - 0.0000 -
2367.58/2374.78 c 2375 754190 13804 1 - 0.0000 -
2372.67/2379.83 c 2380 755567 13854 1 - 0.0000 -
2377.66/2384.88 c 2385 757052 13873 1 - 0.0000 -
2382.74/2389.93 c 2390 758254 14012 1 - 0.0000 -
2387.84/2395.02 c 2395 759338 14116 1 - 0.0000 -
2392.92/2400.12 c 2400 760857 14145 1 - 0.0000 -
2397.91/2405.17 c 2405 762273 14236 1 - 0.0000 -
2402.98/2410.28 c 2410 763463 14270 1 - 0.0000 -
2408.07/2415.36 c 2415 764384 14310 1 - 0.0000 -
2413.16/2420.43 c 2420 765559 14301 1 - 0.0000 -
2418.14/2425.47 c 2425 766688 14362 1 - 0.0000 -
2423.22/2430.54 c 2431 768056 14360 1 - 0.0000 -
2428.21/2435.59 c 2436 769329 14419 1 - 0.0000 -
2433.29/2440.64 c 2441 770606 14475 1 - 0.0000 -
2438.38/2445.70 c 2446 772002 14586 1 - 0.0000 -
2443.37/2450.74 c 2451 773399 14638 1 - 0.0000 -
2448.35/2455.79 c 2456 774664 14714 1 - 0.0000 -
2453.43/2460.85 c 2461 775910 14733 1 - 0.0000 -
2458.52/2465.90 c 2466 777013 14727 1 - 0.0000 -
2463.50/2470.95 c 2471 778609 14793 1 - 0.0000 -
2468.50/2476.01 c 2476 780086 14938 1 - 0.0000 -
2473.59/2481.05 c 2481 781554 15017 1 - 0.0000 -
2478.57/2486.11 c 2486 782912 15060 1 - 0.0000 -
2483.66/2491.15 c 2491 784247 15181 1 - 0.0000 -
2488.73/2496.21 c 2496 785512 15199 1 - 0.0000 -
2493.72/2501.26 c 2501 786830 15245 1 - 0.0000 -
2498.80/2506.33 c 2506 788025 15275 1 - 0.0000 -
2503.88/2511.41 c 2511 789398 15278 1 - 0.0000 -
2508.87/2516.48 c 2516 790690 15321 1 - 0.0000 -
2513.96/2521.52 c 2522 792125 15327 1 - 0.0000 -
2518.94/2526.57 c 2527 793443 15348 1 - 0.0000 -
2524.03/2531.63 c 2532 794792 15381 1 - 0.0000 -
2529.01/2536.67 c 2537 796237 15441 1 - 0.0000 -
2534.09/2541.72 c 2542 797645 15505 1 - 0.0000 -
2539.08/2546.78 c 2547 798904 15551 1 - 0.0000 -
2544.17/2551.82 c 2552 800170 15579 1 - 0.0000 -
2549.16/2556.87 c 2557 801516 15596 1 - 0.0000 -
2554.24/2561.92 c 2562 802776 15599 1 - 0.0000 -
2559.44/2567.11 c 2567 803951 15591 1 - 0.0000 -
2564.42/2572.15 c 2572 805347 15641 1 - 0.0000 -
2569.50/2577.20 c 2577 806504 15672 1 - 0.0000 -
2574.48/2582.28 c 2582 807637 15721 1 - 0.0000 -
2579.57/2587.34 c 2587 809244 15737 1 - 0.0000 -
2584.55/2592.39 c 2592 810698 15745 1 - 0.0000 -
2589.63/2597.44 c 2597 812056 15747 1 - 0.0000 -
2594.72/2602.53 c 2603 813154 15762 1 - 0.0000 -
2599.71/2607.57 c 2608 814307 15800 1 - 0.0000 -
2604.79/2612.64 c 2613 815680 15917 1 - 0.0000 -
2609.78/2617.68 c 2618 816902 16026 1 - 0.0000 -
2614.86/2622.73 c 2623 818111 16093 1 - 0.0000 -
2619.84/2627.79 c 2628 819362 16094 1 - 0.0000 -
2624.93/2632.85 c 2633 820652 16124 1 - 0.0000 -
2630.02/2637.90 c 2638 822025 16137 1 - 0.0000 -
2635.00/2642.95 c 2643 823193 16149 1 - 0.0000 -
2639.99/2648.01 c 2648 824461 16189 1 - 0.0000 -
2645.08/2653.05 c 2653 825750 16210 1 - 0.0000 -
2650.07/2658.10 c 2658 827056 16273 1 - 0.0000 -
2655.15/2663.18 c 2663 828278 16331 1 - 0.0000 -
2660.23/2668.25 c 2668 829639 16358 1 - 0.0000 -
2665.31/2673.33 c 2673 830996 16410 1 - 0.0000 -
2670.29/2678.37 c 2678 832247 16469 1 - 0.0000 -
2675.38/2683.47 c 2683 833456 16541 1 - 0.0000 -
2680.47/2688.53 c 2689 834560 16602 1 - 0.0000 -
2685.46/2693.58 c 2694 835688 16608 1 - 0.0000 -
2690.54/2698.65 c 2699 836794 16647 1 - 0.0000 -
2695.62/2703.71 c 2704 837985 16663 1 - 0.0000 -
2700.61/2708.76 c 2709 839131 16723 1 - 0.0000 -
2705.70/2713.81 c 2714 840244 16733 1 - 0.0000 -
2710.68/2718.86 c 2719 841361 16730 1 - 0.0000 -
2715.77/2723.91 c 2724 842435 16729 1 - 0.0000 -
2720.75/2728.96 c 2729 843481 16789 1 - 0.0000 -
2725.86/2734.03 c 2734 844478 16826 1 - 0.0000 -
2730.84/2739.09 c 2739 845576 16819 1 - 0.0000 -
2735.92/2744.14 c 2744 846593 16829 1 - 0.0000 -
2741.00/2749.20 c 2749 847779 16839 1 - 0.0000 -
2745.98/2754.26 c 2754 848901 16844 1 - 0.0000 -
2751.07/2759.30 c 2759 850070 16858 1 - 0.0000 -
2756.05/2764.36 c 2764 851151 16848 1 - 0.0000 -
2761.14/2769.41 c 2769 852194 16885 1 - 0.0000 -
2766.12/2774.47 c 2774 853402 16900 1 - 0.0000 -
2771.21/2779.52 c 2780 854403 16902 1 - 0.0000 -
2776.29/2784.62 c 2785 855515 16911 1 - 0.0000 -
2781.27/2789.67 c 2790 856516 16946 1 - 0.0000 -
2786.37/2794.71 c 2795 857777 17026 1 - 0.0000 -
2791.35/2799.77 c 2800 858849 17080 1 - 0.0000 -
2796.44/2804.83 c 2805 860207 17148 1 - 0.0000 -
2801.42/2809.87 c 2810 861539 17170 1 - 0.0000 -
2806.50/2814.93 c 2815 862813 17253 1 - 0.0000 -
2811.49/2819.98 c 2820 864169 17295 1 - 0.0000 -
2816.58/2825.04 c 2825 865633 17380 1 - 0.0000 -
2821.56/2830.09 c 2830 867005 17426 1 - 0.0000 -
2826.66/2835.15 c 2835 868315 17418 1 - 0.0000 -
2831.64/2840.19 c 2840 869652 17422 1 - 0.0000 -
2836.71/2845.24 c 2845 871005 17456 1 - 0.0000 -
2841.70/2850.29 c 2850 872532 17463 1 - 0.0000 -
2846.78/2855.34 c 2855 873966 17501 1 - 0.0000 -
2851.77/2860.39 c 2860 875455 17527 1 - 0.0000 -
2856.86/2865.46 c 2865 876619 17530 1 - 0.0000 -
2861.94/2870.53 c 2871 877711 17568 1 - 0.0000 -
2866.92/2875.58 c 2876 879071 17611 1 - 0.0000 -
2872.01/2880.62 c 2881 880527 17603 1 - 0.0000 -
2877.00/2885.67 c 2886 881992 17620 1 - 0.0000 -
2882.08/2890.72 c 2891 883343 17660 1 - 0.0000 -
2887.07/2895.77 c 2896 884670 17669 1 - 0.0000 -
2892.15/2900.83 c 2901 886056 17709 1 - 0.0000 -
2897.23/2905.91 c 2906 887087 17895 1 - 0.0000 -
2902.22/2910.96 c 2911 887943 17932 1 - 0.0000 -
2907.32/2916.07 c 2916 888813 17983 1 - 0.0000 -
2912.41/2921.12 c 2921 889688 18008 1 - 0.0000 -
2917.39/2926.19 c 2926 890694 18049 1 - 0.0000 -
2922.46/2931.24 c 2931 892083 18165 1 - 0.0000 -
2927.55/2936.30 c 2936 893457 18199 1 - 0.0000 -
2932.53/2941.36 c 2941 894862 18253 1 - 0.0000 -
2937.62/2946.41 c 2946 896258 18286 1 - 0.0000 -
2942.60/2951.46 c 2951 897676 18315 1 - 0.0000 -
2947.69/2956.52 c 2957 899032 18309 1 - 0.0000 -
2952.68/2961.57 c 2962 900422 18321 1 - 0.0000 -
2957.76/2966.63 c 2967 901640 18312 1 - 0.0000 -
2962.75/2971.67 c 2972 902945 18290 1 - 0.0000 -
2967.83/2976.72 c 2977 904135 18329 1 - 0.0000 -
2972.81/2981.78 c 2982 905388 18381 1 - 0.0000 -
2977.90/2986.85 c 2987 906682 18390 1 - 0.0000 -
2982.89/2991.89 c 2992 907972 18446 1 - 0.0000 -
2987.97/2996.95 c 2997 909327 18484 1 - 0.0000 -
2993.06/3002.03 c 3002 910653 18511 1 - 0.0000 -
2998.04/3007.09 c 3007 911961 18519 1 - 0.0000 -
3003.13/3012.15 c 3012 913189 18523 1 - 0.0000 -
3008.21/3017.29 c 3017 914412 18549 1 - 0.0000 -
3013.29/3022.34 c 3022 915909 18655 1 - 0.0000 -
3018.27/3027.39 c 3027 917341 18735 1 - 0.0000 -
3023.36/3032.45 c 3032 918678 18749 1 - 0.0000 -
3028.45/3037.51 c 3038 919997 18765 1 - 0.0000 -
3033.43/3042.57 c 3043 921224 18801 1 - 0.0000 -
3038.51/3047.67 c 3048 922591 18881 1 - 0.0000 -
3043.60/3052.73 c 3053 923855 18921 1 - 0.0000 -
3048.68/3057.80 c 3058 924998 18964 1 - 0.0000 -
3053.67/3062.85 c 3063 926260 18972 1 - 0.0000 -
3058.76/3067.90 c 3068 927377 18971 1 - 0.0000 -
3063.74/3072.98 c 3073 928438 18926 1 - 0.0000 -
3068.83/3078.03 c 3078 929564 18949 1 - 0.0000 -
3073.81/3083.08 c 3083 930617 18938 1 - 0.0000 -
3078.90/3088.16 c 3088 931753 18923 1 - 0.0000 -
3083.97/3093.23 c 3093 932852 18952 1 - 0.0000 -
3088.96/3098.27 c 3098 934150 18986 1 - 0.0000 -
3094.05/3103.35 c 3103 935426 19055 1 - 0.0000 -
3099.13/3108.41 c 3108 936553 19055 1 - 0.0000 -
3104.12/3113.46 c 3113 937655 19105 1 - 0.0000 -
3109.20/3118.53 c 3119 938773 19127 1 - 0.0000 -
3114.29/3123.60 c 3124 939816 19144 1 - 0.0000 -
3119.27/3128.65 c 3129 940874 19203 1 - 0.0000 -
3124.26/3133.70 c 3134 942012 19251 1 - 0.0000 -
3129.34/3138.75 c 3139 942982 19281 1 - 0.0000 -
3134.43/3143.80 c 3144 944319 19291 1 - 0.0000 -
3139.42/3148.86 c 3149 945672 19280 1 - 0.0000 -
3144.51/3153.91 c 3154 947119 19314 1 - 0.0000 -
3149.49/3158.97 c 3159 948431 19319 1 - 0.0000 -
3154.58/3164.02 c 3164 949736 19353 1 - 0.0000 -
3159.57/3169.07 c 3169 950910 19408 1 - 0.0000 -
3164.66/3174.15 c 3174 952306 19550 1 - 0.0000 -
3169.73/3179.21 c 3179 953631 19625 1 - 0.0000 -
3174.71/3184.26 c 3184 954950 19656 1 - 0.0000 -
3179.80/3189.32 c 3189 956278 19678 1 - 0.0000 -
3184.78/3194.37 c 3194 957574 19714 1 - 0.0000 -
3189.87/3199.42 c 3199 958873 19767 1 - 0.0000 -
3194.85/3204.49 c 3204 960081 19797 1 - 0.0000 -
3199.94/3209.54 c 3210 961293 19811 1 - 0.0000 -
3204.92/3214.59 c 3215 962420 19847 1 - 0.0000 -
3210.01/3219.67 c 3220 963648 19921 1 - 0.0000 -
3215.10/3224.72 c 3225 964975 19932 1 - 0.0000 -
3220.08/3229.77 c 3230 966081 19946 1 - 0.0000 -
3225.16/3234.82 c 3235 967112 19963 1 - 0.0000 -
3230.26/3239.96 c 3240 968178 20167 1 - 0.0000 -
3235.45/3245.14 c 3245 968983 20467 1 - 0.0000 -
3240.53/3250.23 c 3250 969861 20533 1 - 0.0000 -
3245.50/3255.28 c 3255 971141 20575 1 - 0.0000 -
3250.59/3260.34 c 3260 972515 20583 1 - 0.0000 -
3255.58/3265.39 c 3265 973853 20566 1 - 0.0000 -
3260.66/3270.46 c 3270 975059 20569 1 - 0.0000 -
3265.75/3275.51 c 3276 976006 20596 1 - 0.0000 -
3270.74/3280.56 c 3281 977117 20620 1 - 0.0000 -
3275.82/3285.62 c 3286 978266 20618 1 - 0.0000 -
3280.81/3290.66 c 3291 979517 20647 1 - 0.0000 -
3285.89/3295.73 c 3296 980611 20690 1 - 0.0000 -
3290.87/3300.78 c 3301 981498 20725 1 - 0.0000 -
3295.96/3305.84 c 3306 982619 20768 1 - 0.0000 -
3300.94/3310.89 c 3311 983767 20819 1 - 0.0000 -
3306.03/3315.95 c 3316 985079 20871 1 - 0.0000 -
3311.12/3321.01 c 3321 986423 20918 1 - 0.0000 -
3316.11/3326.06 c 3326 987684 21017 1 - 0.0000 -
3321.19/3331.11 c 3331 988896 21087 1 - 0.0000 -
3326.18/3336.17 c 3336 990097 21133 1 - 0.0000 -
3331.25/3341.22 c 3341 991395 21174 1 - 0.0000 -
3336.24/3346.26 c 3346 992679 21207 1 - 0.0000 -
3341.33/3351.32 c 3351 993948 21217 1 - 0.0000 -
3346.31/3356.36 c 3356 995024 21314 1 - 0.0000 -
3351.39/3361.42 c 3361 996180 21337 1 - 0.0000 -
3356.38/3366.47 c 3366 997332 21348 1 - 0.0000 -
3361.47/3371.54 c 3372 998382 21339 1 - 0.0000 -
3366.45/3376.59 c 3377 999403 21349 1 - 0.0000 -
3371.54/3381.64 c 3382 1000490 21353 1 - 0.0000 -
3376.52/3386.69 c 3387 1001686 21385 1 - 0.0000 -
3381.61/3391.75 c 3392 1002972 21387 1 - 0.0000 -
3386.70/3396.80 c 3397 1004220 21427 1 - 0.0000 -
3391.68/3401.86 c 3402 1005386 21447 1 - 0.0000 -
3396.76/3406.92 c 3407 1006512 21462 1 - 0.0000 -
3401.75/3411.98 c 3412 1007686 21520 1 - 0.0000 -
3406.83/3417.02 c 3417 1008884 21540 1 - 0.0000 -
3411.82/3422.07 c 3422 1010227 21564 1 - 0.0000 -
3416.90/3427.13 c 3427 1011562 21542 1 - 0.0000 -
3421.89/3432.17 c 3432 1012872 21546 1 - 0.0000 -
3426.97/3437.23 c 3437 1014059 21541 1 - 0.0000 -
3431.95/3442.28 c 3442 1015303 21556 1 - 0.0000 -
3437.04/3447.33 c 3447 1016486 21564 1 - 0.0000 -
3442.02/3452.39 c 3452 1017627 21541 1 - 0.0000 -
3447.11/3457.45 c 3457 1018880 21557 1 - 0.0000 -
3452.19/3462.50 c 3462 1020127 21538 1 - 0.0000 -
3457.18/3467.54 c 3468 1021408 21591 1 - 0.0000 -
3462.26/3472.62 c 3473 1022542 21600 1 - 0.0000 -
3467.35/3477.70 c 3478 1023717 21599 1 - 0.0000 -
3472.33/3482.79 c 3483 1024825 21631 1 - 0.0000 -
3477.42/3487.84 c 3488 1025860 21712 1 - 0.0000 -
3482.40/3492.88 c 3493 1026937 21792 1 - 0.0000 -
3487.50/3497.93 c 3498 1028027 21854 1 - 0.0000 -
3492.47/3502.99 c 3503 1029070 21843 1 - 0.0000 -
3497.58/3508.07 c 3508 1030174 21833 1 - 0.0000 -
3502.67/3513.11 c 3513 1031244 21823 1 - 0.0000 -
3507.65/3518.17 c 3518 1032299 21788 1 - 0.0000 -
3512.72/3523.21 c 3523 1033377 21779 1 - 0.0000 -
3517.71/3528.27 c 3528 1034438 21792 1 - 0.0000 -
3522.79/3533.32 c 3533 1035552 21792 1 - 0.0000 -
3527.78/3538.38 c 3538 1036553 21760 1 - 0.0000 -
3532.87/3543.45 c 3543 1037556 21755 1 - 0.0000 -
3537.85/3548.49 c 3548 1038603 21789 1 - 0.0000 -
3542.93/3553.56 c 3554 1039681 21811 1 - 0.0000 -
3548.02/3558.62 c 3559 1040679 21806 1 - 0.0000 -
3553.00/3563.66 c 3564 1041811 21825 1 - 0.0000 -
3558.09/3568.71 c 3569 1042927 21825 1 - 0.0000 -
3563.08/3573.76 c 3574 1044050 21838 1 - 0.0000 -
3568.16/3578.82 c 3579 1045102 21847 1 - 0.0000 -
3573.15/3583.88 c 3584 1046187 21840 1 - 0.0000 -
3578.23/3588.94 c 3589 1047349 21841 1 - 0.0000 -
3583.22/3593.98 c 3594 1048449 21839 1 - 0.0000 -
3587.42/3598.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.42/3598.18 c Total Time : 3598.1700
3587.42/3598.18 c solving : 3598.1700
3587.42/3598.18 c presolving : 0.0411 (included in solving)
3587.42/3598.18 c B&B Tree :
3587.42/3598.18 c nodes (total) : 1
3587.42/3598.18 c Solution :
3587.42/3598.18 c Solutions found : 0
3587.42/3598.18 c Primal Bound : -
3587.42/3598.18 c Dual Bound : +0.00000000000000e+00
3587.42/3598.18 c Gap : -
3587.42/3598.18 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: 64059 MiB (63122 MiB free)
memory of node 1: 64510 MiB (62236 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464450-1722382202/watcher-4464450-1722382202 -o /tmp/evaluation-result-4464450-1722382202/solver-4464450-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464450-1722382202.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30687, runsolver pid=30684
[startup+0.100565 s]*
/proc/loadavg: 5.73 4.61 4.24 6/244 30690
/proc/meminfo: memFree=128275160/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=121248 memory=33568 CPUtime=0.1 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 6461 0 0 0 9 1 0 0 20 0 3 0 4590898 124157952 8392 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 30312 8392 2774 3035 0 12233 0
[pid=30687/tid=30689] ppid=30684 vsize=121248 memory=4026531971 CPUtime=0.04 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1640 0 0 0 4 0 0 0 20 0 3 0 4590903 124157952 8392 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=121248 memory=73505 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590905 124157952 8392 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 33568 KiB
[startup+0.217571 s]*
/proc/loadavg: 5.59 4.60 4.23 5/244 30690
/proc/meminfo: memFree=128225484/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=121248 memory=36808 CPUtime=0.2 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 7098 0 0 0 19 1 0 0 20 0 3 0 4590898 124157952 9202 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 30312 9202 2934 3035 0 12909 0
[pid=30687/tid=30689] ppid=30684 vsize=121248 memory=8026368251766898807 CPUtime=0.14 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 2277 0 0 0 14 0 0 0 20 0 3 0 4590903 124157952 9202 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=121248 memory=219966414314 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590905 124157952 9202 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 36808 KiB
[startup+0.313669 s]*
/proc/loadavg: 5.59 4.60 4.23 6/244 30690
/proc/meminfo: memFree=128229456/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=121248 memory=39772 CPUtime=0.3 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 7842 0 0 0 29 1 0 0 20 0 3 0 4590898 124157952 9943 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 30312 9943 2950 3035 0 13649 0
[pid=30687/tid=30689] ppid=30684 vsize=121248 memory=8292091841214455961 CPUtime=0.24 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 3021 0 0 0 24 0 0 0 20 0 3 0 4590903 124157952 9943 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=121248 memory=-5155631280119638917 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590905 124157952 9943 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 39772 KiB
[startup+0.700384 s]
/proc/loadavg: 5.59 4.60 4.23 7/242 30690
/proc/meminfo: memFree=128197604/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=121248 memory=62740 CPUtime=0.67 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 13537 0 0 0 65 2 0 0 20 0 3 0 4590898 124157952 15685 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 30312 15685 2950 3035 0 19780 0
[pid=30687/tid=30689] ppid=30684 vsize=121248 memory=0 CPUtime=0.61 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 8716 0 0 0 60 1 0 0 20 0 3 0 4590903 124157952 15685 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=121248 memory=0 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590905 124157952 15685 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 62740 KiB
[startup+1.5004 s]
/proc/loadavg: 5.59 4.60 4.23 6/248 30701
/proc/meminfo: memFree=128088932/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=121248 memory=89048 CPUtime=1.47 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 26190 0 0 0 143 4 0 0 20 0 3 0 4590898 124157952 22262 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 30312 22262 3014 3035 0 26420 0
[pid=30687/tid=30689] ppid=30684 vsize=121248 memory=0 CPUtime=1.41 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 21348 0 0 0 138 3 0 0 20 0 3 0 4590903 124157952 22262 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=121248 memory=0 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590905 124157952 22262 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 89048 KiB
[startup+3.11365 s]
/proc/loadavg: 5.59 4.60 4.23 5/250 30703
/proc/meminfo: memFree=127641848/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=121248 memory=89632 CPUtime=3.08 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 27646 0 0 0 304 4 0 0 20 0 3 0 4590898 124157952 22408 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 30312 22408 3014 3035 0 26564 0
[pid=30687/tid=30689] ppid=30684 vsize=121248 memory=-5155631280119638917 CPUtime=3.02 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 22796 0 0 0 299 3 0 0 20 0 3 0 4590903 124157952 22408 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=121248 memory=0 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4590905 124157952 22408 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 89632 KiB
[startup+6.30039 s]
/proc/loadavg: 5.47 4.59 4.23 6/250 30703
/proc/meminfo: memFree=126775972/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=189656 memory=102536 CPUtime=6.25 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 46196 0 0 0 620 5 0 0 20 0 3 0 4590898 194207744 25634 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 47414 25634 3014 3035 0 30023 0
[pid=30687/tid=30689] ppid=30684 vsize=189656 memory=11648 CPUtime=6.2 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 41313 0 0 0 615 5 0 0 20 0 3 0 4590903 194207744 25634 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=189656 memory=89760 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4590905 194207744 25634 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 189656 KiB
Current children cumulated memory: 102536 KiB
[startup+12.7004 s]
/proc/loadavg: 5.35 4.58 4.23 6/250 30705
/proc/meminfo: memFree=125405852/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=189656 memory=111004 CPUtime=12.63 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 64784 0 0 0 1256 7 0 0 20 0 3 0 4590898 194207744 27751 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 47414 27751 3014 3035 0 32191 0
[pid=30687/tid=30689] ppid=30684 vsize=189656 memory=68548 CPUtime=12.58 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 59839 0 0 0 1252 6 0 0 20 0 3 0 4590903 194207744 27751 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=189656 memory=0 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4590905 194207744 27751 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 189656 KiB
Current children cumulated memory: 111004 KiB
[startup+25.5004 s]
/proc/loadavg: 5.22 4.58 4.23 6/251 30707
/proc/meminfo: memFree=123736928/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=189656 memory=122688 CPUtime=25.4 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 108792 0 0 0 2529 11 0 0 20 0 3 0 4590898 194207744 30672 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 47414 30672 3014 3035 0 35191 0
[pid=30687/tid=30689] ppid=30684 vsize=189656 memory=0 CPUtime=25.34 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 103765 0 0 0 2524 10 0 0 20 0 3 0 4590903 194207744 30672 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=189656 memory=0 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4590905 194207744 30672 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 189656 KiB
Current children cumulated memory: 122688 KiB
[startup+51.1131 s]
/proc/loadavg: 4.81 4.54 4.23 6/250 30713
/proc/meminfo: memFree=121980736/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=189656 memory=128688 CPUtime=50.94 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 156452 0 0 0 5078 16 0 0 20 0 3 0 4590898 194207744 32172 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 47414 32172 3014 3035 0 36984 0
[pid=30687/tid=30689] ppid=30684 vsize=189656 memory=12800 CPUtime=50.88 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 151316 0 0 0 5073 15 0 0 20 0 3 0 4590903 194207744 32172 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=189656 memory=128600 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4590905 194207744 32172 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 189656 KiB
Current children cumulated memory: 128688 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.47 4.22 6/250 30722
/proc/meminfo: memFree=121929856/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=189656 memory=138404 CPUtime=101.97 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 195356 0 0 0 10174 23 0 0 20 0 3 0 4590898 194207744 34601 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 47414 34601 3014 3035 0 39382 0
[pid=30687/tid=30689] ppid=30684 vsize=189656 memory=138352 CPUtime=101.9 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 190074 0 0 0 10168 22 0 0 20 0 3 0 4590903 194207744 34601 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=189656 memory=11648 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4590905 194207744 34601 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 189656 KiB
Current children cumulated memory: 138404 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.41 4.22 6/250 30733
/proc/meminfo: memFree=121887248/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=189656 memory=138796 CPUtime=161.79 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 222293 0 0 0 16148 31 0 0 20 0 3 0 4590898 194207744 34699 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 47414 34699 3014 3035 0 39382 0
[pid=30687/tid=30689] ppid=30684 vsize=189656 memory=138704 CPUtime=161.72 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 216931 0 0 0 16142 30 0 0 20 0 3 0 4590903 194207744 34699 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=189656 memory=2304 CPUtime=0 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4590905 194207744 34699 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 161.79 s
################
# More data... #
################
/proc/30687/statm: 113616 98878 3014 3035 0 105298 0
[pid=30687/tid=30689] ppid=30684 vsize=454464 memory=392260 CPUtime=3451.59 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1418786 0 0 0 344751 408 0 0 20 0 3 0 4590903 465371136 98878 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=454464 memory=395512 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 4590905 465371136 98878 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 454464 KiB
Current children cumulated memory: 395512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.17 5/251 32563
/proc/meminfo: memFree=104023860/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=416228 CPUtime=3511.82 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1444204 0 0 0 350753 429 0 0 20 0 3 0 4590898 532480000 104057 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104057 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=12800 CPUtime=3511.42 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1437692 0 0 0 350728 414 0 0 20 0 3 0 4590903 532480000 104057 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=416228 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104057 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 416228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/251 32574
/proc/meminfo: memFree=104015912/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3571.65 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1475544 0 0 0 356729 436 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=12800 CPUtime=3571.23 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1469014 0 0 0 356703 420 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=418356 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 159 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3598.19 s]
# the end of solver process 30687 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.09 s, system=4.41097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.17 4.17 5/251 32574
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3573.36 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1475550 0 0 0 356900 436 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=6996 CPUtime=3572.94 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1469020 0 0 0 356874 420 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=12800 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 159 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3590.4 s]
/proc/loadavg: 4.23 4.18 4.18 5/251 32575
/proc/meminfo: memFree=104015976/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3579.73 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1493961 0 0 0 357536 437 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=11648 CPUtime=3579.32 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1487427 0 0 0 357510 422 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=12800 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3579.73 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3593.6 s]
/proc/loadavg: 4.22 4.18 4.18 5/251 32575
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3582.92 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1494198 0 0 0 357854 438 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=418356 CPUtime=3582.5 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1487664 0 0 0 357828 422 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=418356 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3582.92 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3595.2 s]
/proc/loadavg: 4.22 4.18 4.18 5/251 32575
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3584.51 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1494230 0 0 0 358013 438 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=418356 CPUtime=3584.09 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1487696 0 0 0 357987 422 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=418356 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3584.51 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3596.8 s]
/proc/loadavg: 4.28 4.19 4.18 5/251 32575
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3586.11 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1502328 0 0 0 358172 439 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=12800 CPUtime=3585.69 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1495794 0 0 0 358146 423 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=418356 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3597.6 s]
/proc/loadavg: 4.28 4.19 4.18 5/251 32575
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3586.91 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1502410 0 0 0 358252 439 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=11840 CPUtime=3586.49 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1495876 0 0 0 358226 423 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=2304 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3586.91 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3598 s]*
/proc/loadavg: 4.28 4.19 4.18 5/251 32575
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3587.32 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1503096 0 0 0 358293 439 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=-5155630176279489413 CPUtime=3586.9 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1496605 0 0 0 358267 423 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=4498980151027723933 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
[startup+3598.11 s]
/proc/loadavg: 4.28 4.19 4.18 5/251 32575
/proc/meminfo: memFree=104015948/131655788 swapFree=131071472/131071996
[pid=30687] ppid=30684 vsize=520000 memory=418356 CPUtime=3587.42 cores=4,6
/proc/30687/stat : 30687 (fscip) S 30684 30687 28297 0 -1 1077936128 1507409 0 0 0 358303 439 0 0 20 0 3 0 4590898 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
/proc/30687/statm: 130000 104589 3014 3035 0 110797 0
[pid=30687/tid=30689] ppid=30684 vsize=520000 memory=-7236276917862752888 CPUtime=3587 cores=4,6
/proc/30687/task/30689/stat : 30689 (fscip) R 30684 30687 28297 0 -1 4194368 1500872 0 0 0 358277 423 0 0 20 0 3 0 4590903 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
[pid=30687/tid=30690] ppid=30684 vsize=520000 memory=418356 CPUtime=0.05 cores=4,6
/proc/30687/task/30690/stat : 30690 (fscip) S 30684 30687 28297 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4590905 532480000 104589 134679101440 4194304 16623229 140737171165200 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50995200 140737171170330 140737171170446 140737171170446 140737171177456 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 520000 KiB
Current children cumulated memory: 418356 KiB
Child status: 0
Real time (s): 3598.19
CPU time (s): 3587.5
CPU user time (s): 3583.09
CPU system time (s): 4.41097
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 520000
Max. memory (cumulated for all children) (KiB): 418356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.09
system time used= 4.41097
maximum resident set size= 418356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1509204
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= 10911
involuntary context switches= 2532
# summary of solver processes directly reported to runsolver:
# pid: 30687
# total CPU time (s): 3587.5
# total CPU user time (s): 3583.09
# total CPU system time (s): 4.41097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.961 second user time and 34.2744 second system time
The end
Begin job on nodeC008 at 2024-07-31 01:30:02
IDJOB=4464450
IDBENCH=155406
IDSOLVER=3092
FILE ID=nodeC008/4464450-1722382202
RUNJOBID= nodeC008-1722378594-28308
SLURM_JOB_ID= 8249838
Free space on /tmp= 723744 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.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-4464450-1722382202/watcher-4464450-1722382202 -o /tmp/evaluation-result-4464450-1722382202/solver-4464450-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464450-1722382202.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=1367756045
nodeC008.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 : 3566.703
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 : 6984.63
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 : 3492.420
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.27
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.365
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 : 6984.63
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.365
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.27
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 : 3547.343
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 : 6984.63
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 : 3670.815
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.27
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.365
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 : 6984.63
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.519
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128381024 kB
MemAvailable: 128574920 kB
Buffers: 84180 kB
Cached: 949812 kB
SwapCached: 72 kB
Active: 246892 kB
Inactive: 2605148 kB
Active(anon): 1448 kB
Inactive(anon): 1837732 kB
Active(file): 245444 kB
Inactive(file): 767416 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 75760 kB
Writeback: 0 kB
AnonPages: 1818084 kB
Mapped: 100356 kB
Shmem: 21104 kB
KReclaimable: 42136 kB
Slab: 117260 kB
SReclaimable: 42136 kB
SUnreclaim: 75124 kB
KernelStack: 3760 kB
PageTables: 12352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1684608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723500 MiB
End job on nodeC008 at 2024-07-31 02:30:00