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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 25845760, getVmSize() = 25845760, SCIPgetMemUsed() = 2784155, SCIPgetMemTotal() = 4278059, SCIPgetMemExternEstim() = 1336279
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 19243008, getVmSize() = 31883264, SCIPgetMemUsed() = 5556257, SCIPgetMemTotal() = 9145913, SCIPgetMemExternEstim() = 1336279
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4445990-1721324371
0.00/0.02 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 830
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 375 (375 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 785
0.00/0.02 c Constraints : Number
0.00/0.02 c setppc : 95
0.00/0.02 c linear : 15
0.00/0.02 c logicor : 675
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.66/5.72 c 6 1770 365 1 - 0.0000 -
10.65/10.77 c 11 5354 647 1 - 0.0000 -
15.74/15.82 c 16 8645 767 1 - 0.0000 -
20.72/20.87 c 21 11956 916 1 - 0.0000 -
25.81/25.93 c 26 14395 1196 1 - 0.0000 -
31.00/31.10 c 31 14903 161 1 - 0.0000 -
36.18/36.30 c 36 15176 434 1 - 0.0000 -
41.17/41.36 c 41 16382 713 1 - 0.0000 -
46.25/46.41 c 46 18488 1188 1 - 0.0000 -
51.24/51.48 c 51 20629 1552 1 - 0.0000 -
56.32/56.53 c 57 23199 1852 1 - 0.0000 -
61.30/61.59 c 62 25849 2136 1 - 0.0000 -
66.38/66.64 c 67 28645 2424 1 - 0.0000 -
71.47/71.72 c 72 31443 2669 1 - 0.0000 -
76.45/76.78 c 77 34574 2894 1 - 0.0000 -
81.54/81.84 c 82 36551 3218 1 - 0.0000 -
86.53/86.89 c 87 39900 3362 1 - 0.0000 -
91.61/91.96 c 92 42843 3564 1 - 0.0000 -
96.70/97.01 c 97 45994 3741 1 - 0.0000 -
101.68/102.06 c 102 49932 3832 1 - 0.0000 -
106.76/107.11 c 107 53483 3893 1 - 0.0000 -
111.75/112.17 c 112 56487 4006 1 - 0.0000 -
116.83/117.22 c 117 59529 4285 1 - 0.0000 -
121.91/122.30 c 122 61994 4511 1 - 0.0000 -
126.91/127.34 c 127 64969 4641 1 - 0.0000 -
131.99/132.41 c 132 67530 4829 1 - 0.0000 -
136.97/137.46 c 137 70417 5040 1 - 0.0000 -
142.06/142.53 c 143 73373 5188 1 - 0.0000 -
147.04/147.58 c 148 75645 5348 1 - 0.0000 -
152.12/152.64 c 153 78922 5652 1 - 0.0000 -
157.11/157.69 c 158 81882 5825 1 - 0.0000 -
162.20/162.75 c 163 84982 5880 1 - 0.0000 -
167.28/167.80 c 168 87405 6060 1 - 0.0000 -
172.26/172.85 c 173 91278 6127 1 - 0.0000 -
177.34/177.90 c 178 94827 6188 1 - 0.0000 -
182.33/182.95 c 183 98530 6213 1 - 0.0000 -
187.42/188.00 c 188 102146 6266 1 - 0.0000 -
192.41/193.05 c 193 105775 6307 1 - 0.0000 -
197.39/198.10 c 198 109580 6318 1 - 0.0000 -
202.56/203.20 c 203 113074 6304 1 - 0.0000 -
207.55/208.25 c 208 116208 6414 1 - 0.0000 -
212.64/213.30 c 213 119721 6503 1 - 0.0000 -
217.63/218.35 c 218 122979 6571 1 - 0.0000 -
222.71/223.41 c 223 126086 6589 1 - 0.0000 -
227.69/228.46 c 228 128970 6626 1 - 0.0000 -
232.77/233.52 c 234 131218 6899 1 - 0.0000 -
237.77/238.57 c 239 134788 6925 1 - 0.0000 -
242.84/243.62 c 244 138139 6988 1 - 0.0000 -
247.83/248.67 c 249 141577 7061 1 - 0.0000 -
252.91/253.72 c 254 145330 7025 1 - 0.0000 -
257.90/258.77 c 259 148992 7035 1 - 0.0000 -
262.98/263.82 c 264 152641 7042 1 - 0.0000 -
267.97/268.87 c 269 156091 7109 1 - 0.0000 -
273.06/273.95 c 274 159085 7195 1 - 0.0000 -
278.14/279.00 c 279 161992 7363 1 - 0.0000 -
283.13/284.05 c 284 165860 7354 1 - 0.0000 -
288.21/289.11 c 289 168940 7461 1 - 0.0000 -
293.19/294.16 c 294 172443 7550 1 - 0.0000 -
298.27/299.21 c 299 176031 7517 1 - 0.0000 -
303.26/304.26 c 304 179223 7677 1 - 0.0000 -
308.34/309.31 c 309 182310 7794 1 - 0.0000 -
313.33/314.36 c 314 185676 7877 1 - 0.0000 -
318.41/319.41 c 319 188723 7910 1 - 0.0000 -
323.40/324.47 c 324 190948 7937 1 - 0.0000 -
328.49/329.52 c 330 193584 8123 1 - 0.0000 -
333.47/334.57 c 335 196753 8150 1 - 0.0000 -
338.55/339.62 c 340 199753 8249 1 - 0.0000 -
343.54/344.67 c 345 203405 8349 1 - 0.0000 -
348.63/349.72 c 350 206853 8413 1 - 0.0000 -
353.61/354.77 c 355 210247 8459 1 - 0.0000 -
358.69/359.83 c 360 213699 8615 1 - 0.0000 -
363.68/364.87 c 365 217160 8717 1 - 0.0000 -
368.76/369.92 c 370 220512 8719 1 - 0.0000 -
373.74/374.97 c 375 223767 8732 1 - 0.0000 -
378.84/380.02 c 380 227153 8742 1 - 0.0000 -
383.82/385.07 c 385 230554 8765 1 - 0.0000 -
388.90/390.12 c 390 233914 8795 1 - 0.0000 -
393.89/395.17 c 395 237105 8819 1 - 0.0000 -
398.96/400.22 c 400 240371 8849 1 - 0.0000 -
403.95/405.27 c 405 243476 8878 1 - 0.0000 -
409.04/410.32 c 410 246500 8942 1 - 0.0000 -
414.02/415.37 c 415 249517 8962 1 - 0.0000 -
419.11/420.42 c 420 252556 8991 1 - 0.0000 -
424.09/425.47 c 425 255674 8986 1 - 0.0000 -
429.18/430.52 c 431 258903 9063 1 - 0.0000 -
434.17/435.57 c 436 262166 9047 1 - 0.0000 -
439.25/440.62 c 441 265357 9019 1 - 0.0000 -
444.23/445.67 c 446 268526 9015 1 - 0.0000 -
449.32/450.72 c 451 271936 9041 1 - 0.0000 -
454.31/455.77 c 456 275193 9068 1 - 0.0000 -
459.39/460.82 c 461 278378 9046 1 - 0.0000 -
464.37/465.87 c 466 281469 9112 1 - 0.0000 -
469.45/470.92 c 471 284797 9231 1 - 0.0000 -
474.44/475.97 c 476 287962 9339 1 - 0.0000 -
479.53/481.03 c 481 291182 9366 1 - 0.0000 -
484.52/486.08 c 486 294445 9346 1 - 0.0000 -
489.60/491.13 c 491 297360 9395 1 - 0.0000 -
494.58/496.18 c 496 300519 9404 1 - 0.0000 -
499.66/501.23 c 501 303646 9407 1 - 0.0000 -
504.65/506.28 c 506 306834 9448 1 - 0.0000 -
509.73/511.33 c 511 309740 9497 1 - 0.0000 -
514.71/516.38 c 516 312750 9523 1 - 0.0000 -
519.80/521.43 c 521 315686 9563 1 - 0.0000 -
524.79/526.48 c 526 318583 9567 1 - 0.0000 -
529.87/531.53 c 532 321516 9565 1 - 0.0000 -
534.86/536.58 c 537 324310 9591 1 - 0.0000 -
539.93/541.63 c 542 327227 9639 1 - 0.0000 -
544.92/546.68 c 547 330352 9626 1 - 0.0000 -
550.01/551.73 c 552 333295 9621 1 - 0.0000 -
554.99/556.78 c 557 336251 9665 1 - 0.0000 -
560.08/561.83 c 562 339250 9699 1 - 0.0000 -
565.06/566.88 c 567 342233 9809 1 - 0.0000 -
570.14/571.93 c 572 345308 9850 1 - 0.0000 -
575.12/576.98 c 577 348281 9885 1 - 0.0000 -
580.21/582.03 c 582 351182 9958 1 - 0.0000 -
585.20/587.08 c 587 353977 10063 1 - 0.0000 -
590.29/592.13 c 592 356554 10056 1 - 0.0000 -
595.27/597.18 c 597 359258 10171 1 - 0.0000 -
600.35/602.23 c 602 361770 10206 1 - 0.0000 -
605.33/607.28 c 607 364464 10245 1 - 0.0000 -
610.41/612.33 c 612 367040 10264 1 - 0.0000 -
615.39/617.38 c 617 369644 10322 1 - 0.0000 -
620.47/622.44 c 622 372143 10394 1 - 0.0000 -
625.45/627.49 c 628 374694 10473 1 - 0.0000 -
630.53/632.54 c 633 377229 10516 1 - 0.0000 -
635.52/637.59 c 638 379804 10538 1 - 0.0000 -
640.59/642.64 c 643 382223 10537 1 - 0.0000 -
645.58/647.69 c 648 384603 10561 1 - 0.0000 -
650.66/652.74 c 653 387009 10577 1 - 0.0000 -
655.64/657.79 c 658 389292 10644 1 - 0.0000 -
660.72/662.84 c 663 391724 10694 1 - 0.0000 -
665.80/667.90 c 668 394101 10644 1 - 0.0000 -
670.79/672.95 c 673 396491 10679 1 - 0.0000 -
675.87/678.01 c 678 398865 10731 1 - 0.0000 -
680.85/683.06 c 683 401220 10757 1 - 0.0000 -
685.94/688.11 c 688 403491 10977 1 - 0.0000 -
690.93/693.16 c 693 405822 11077 1 - 0.0000 -
696.00/698.21 c 698 408098 11152 1 - 0.0000 -
700.99/703.26 c 703 410341 11170 1 - 0.0000 -
706.08/708.31 c 708 412589 11178 1 - 0.0000 -
711.06/713.36 c 713 414933 11215 1 - 0.0000 -
716.14/718.41 c 718 417170 11371 1 - 0.0000 -
721.13/723.46 c 723 419260 11410 1 - 0.0000 -
726.22/728.51 c 729 421394 11546 1 - 0.0000 -
731.20/733.56 c 734 423527 11590 1 - 0.0000 -
736.28/738.61 c 739 425639 11614 1 - 0.0000 -
741.27/743.66 c 744 427819 11667 1 - 0.0000 -
746.35/748.71 c 749 429912 11755 1 - 0.0000 -
751.33/753.76 c 754 432043 11849 1 - 0.0000 -
756.42/758.81 c 759 434180 11922 1 - 0.0000 -
761.41/763.86 c 764 436417 11930 1 - 0.0000 -
766.50/768.91 c 769 438675 11927 1 - 0.0000 -
771.48/773.96 c 774 440877 11940 1 - 0.0000 -
776.56/779.01 c 779 443185 11979 1 - 0.0000 -
781.55/784.06 c 784 445515 11971 1 - 0.0000 -
786.64/789.11 c 789 447729 12000 1 - 0.0000 -
791.62/794.16 c 794 449590 12104 1 - 0.0000 -
796.70/799.21 c 799 451656 12182 1 - 0.0000 -
801.68/804.26 c 804 453638 12229 1 - 0.0000 -
806.77/809.31 c 809 455667 12208 1 - 0.0000 -
811.75/814.36 c 814 457604 12280 1 - 0.0000 -
816.84/819.42 c 819 459627 12308 1 - 0.0000 -
821.82/824.47 c 824 461762 12337 1 - 0.0000 -
826.92/829.52 c 830 463952 12360 1 - 0.0000 -
831.90/834.58 c 835 466004 12385 1 - 0.0000 -
836.98/839.63 c 840 468220 12431 1 - 0.0000 -
841.97/844.68 c 845 470309 12570 1 - 0.0000 -
847.05/849.73 c 850 472341 12645 1 - 0.0000 -
852.03/854.78 c 855 474295 12708 1 - 0.0000 -
857.12/859.83 c 860 476309 12734 1 - 0.0000 -
862.11/864.89 c 865 478467 12926 1 - 0.0000 -
867.19/869.96 c 870 480457 12986 1 - 0.0000 -
872.28/875.02 c 875 482231 12957 1 - 0.0000 -
877.26/880.07 c 880 484239 12972 1 - 0.0000 -
882.35/885.14 c 885 486376 12964 1 - 0.0000 -
887.33/890.19 c 890 488447 12948 1 - 0.0000 -
892.41/895.24 c 895 490467 12962 1 - 0.0000 -
897.40/900.29 c 900 492590 12982 1 - 0.0000 -
902.48/905.34 c 905 494555 12998 1 - 0.0000 -
907.47/910.39 c 910 496666 13015 1 - 0.0000 -
912.56/915.44 c 915 498963 13023 1 - 0.0000 -
917.54/920.49 c 920 501042 13004 1 - 0.0000 -
922.62/925.54 c 926 503232 12984 1 - 0.0000 -
927.61/930.59 c 931 505257 13010 1 - 0.0000 -
932.69/935.64 c 936 507145 13058 1 - 0.0000 -
937.68/940.69 c 941 509192 13055 1 - 0.0000 -
942.77/945.74 c 946 511206 13069 1 - 0.0000 -
947.75/950.79 c 951 513280 13067 1 - 0.0000 -
952.84/955.84 c 956 515375 13114 1 - 0.0000 -
957.82/960.89 c 961 517597 13141 1 - 0.0000 -
962.91/965.94 c 966 519823 13201 1 - 0.0000 -
967.89/970.99 c 971 521986 13174 1 - 0.0000 -
972.97/976.04 c 976 524283 13135 1 - 0.0000 -
977.96/981.09 c 981 526513 13184 1 - 0.0000 -
983.05/986.14 c 986 528489 13252 1 - 0.0000 -
988.04/991.19 c 991 530736 13276 1 - 0.0000 -
993.12/996.24 c 996 532962 13245 1 - 0.0000 -
998.10/1001.29 c 1001 535130 13275 1 - 0.0000 -
1003.19/1006.35 c 1006 537528 13252 1 - 0.0000 -
1008.27/1011.42 c 1011 539618 13251 1 - 0.0000 -
1013.25/1016.47 c 1016 541875 13221 1 - 0.0000 -
1018.34/1021.52 c 1022 544100 13237 1 - 0.0000 -
1023.32/1026.57 c 1027 546549 13218 1 - 0.0000 -
1028.41/1031.62 c 1032 548810 13234 1 - 0.0000 -
1033.39/1036.68 c 1037 550921 13251 1 - 0.0000 -
1038.48/1041.74 c 1042 552883 13238 1 - 0.0000 -
1043.46/1046.79 c 1047 555058 13249 1 - 0.0000 -
1048.54/1051.84 c 1052 557568 13248 1 - 0.0000 -
1053.53/1056.89 c 1057 559657 13247 1 - 0.0000 -
1058.61/1061.94 c 1062 561771 13272 1 - 0.0000 -
1063.61/1066.99 c 1067 563778 13338 1 - 0.0000 -
1068.69/1072.04 c 1072 565770 13408 1 - 0.0000 -
1073.68/1077.09 c 1077 567875 13463 1 - 0.0000 -
1078.76/1082.14 c 1082 570212 13445 1 - 0.0000 -
1083.75/1087.19 c 1087 572373 13405 1 - 0.0000 -
1088.82/1092.24 c 1092 574420 13394 1 - 0.0000 -
1093.81/1097.29 c 1097 576664 13356 1 - 0.0000 -
1098.89/1102.34 c 1102 578730 13374 1 - 0.0000 -
1103.88/1107.39 c 1107 581196 13398 1 - 0.0000 -
1108.96/1112.44 c 1112 583567 13430 1 - 0.0000 -
1114.04/1117.50 c 1118 585996 13422 1 - 0.0000 -
1119.03/1122.55 c 1123 588419 13418 1 - 0.0000 -
1124.11/1127.60 c 1128 590801 13397 1 - 0.0000 -
1129.09/1132.66 c 1133 593139 13385 1 - 0.0000 -
1134.18/1137.71 c 1138 595568 13378 1 - 0.0000 -
1139.15/1142.76 c 1143 598096 13431 1 - 0.0000 -
1144.23/1147.81 c 1148 600920 13484 1 - 0.0000 -
1149.23/1152.86 c 1153 603765 13477 1 - 0.0000 -
1154.30/1157.91 c 1158 606686 13503 1 - 0.0000 -
1159.29/1162.96 c 1163 609546 13489 1 - 0.0000 -
1164.37/1168.01 c 1168 612369 13469 1 - 0.0000 -
1169.36/1173.06 c 1173 615181 13424 1 - 0.0000 -
1174.44/1178.11 c 1178 617898 13370 1 - 0.0000 -
1179.42/1183.16 c 1183 620483 13359 1 - 0.0000 -
1184.50/1188.21 c 1188 623219 13417 1 - 0.0000 -
1189.48/1193.27 c 1193 625965 13520 1 - 0.0000 -
1194.55/1198.32 c 1198 628572 13656 1 - 0.0000 -
1199.54/1203.37 c 1203 631106 13720 1 - 0.0000 -
1204.62/1208.42 c 1208 633995 13714 1 - 0.0000 -
1209.61/1213.47 c 1213 636466 13689 1 - 0.0000 -
1214.69/1218.52 c 1219 639095 13662 1 - 0.0000 -
1219.68/1223.57 c 1224 641830 13661 1 - 0.0000 -
1224.76/1228.62 c 1229 644616 13719 1 - 0.0000 -
1229.75/1233.67 c 1234 647346 13797 1 - 0.0000 -
1234.83/1238.72 c 1239 650010 13809 1 - 0.0000 -
1239.82/1243.77 c 1244 652477 13764 1 - 0.0000 -
1244.91/1248.82 c 1249 655298 13791 1 - 0.0000 -
1249.89/1253.87 c 1254 658053 13895 1 - 0.0000 -
1254.97/1258.92 c 1259 660713 13910 1 - 0.0000 -
1259.96/1263.97 c 1264 663528 13965 1 - 0.0000 -
1265.05/1269.02 c 1269 666275 13979 1 - 0.0000 -
1270.03/1274.07 c 1274 668979 14060 1 - 0.0000 -
1275.11/1279.12 c 1279 671706 14007 1 - 0.0000 -
1280.10/1284.17 c 1284 674529 13976 1 - 0.0000 -
1285.18/1289.22 c 1289 677267 13941 1 - 0.0000 -
1290.16/1294.27 c 1294 679906 13920 1 - 0.0000 -
1295.25/1299.32 c 1299 682689 13870 1 - 0.0000 -
1300.24/1304.37 c 1304 685258 13890 1 - 0.0000 -
1305.32/1309.42 c 1309 688248 13900 1 - 0.0000 -
1310.30/1314.47 c 1314 690900 13888 1 - 0.0000 -
1315.39/1319.52 c 1320 693717 13887 1 - 0.0000 -
1320.38/1324.57 c 1325 696623 14036 1 - 0.0000 -
1325.46/1329.62 c 1330 699699 14111 1 - 0.0000 -
1330.45/1334.67 c 1335 702522 14015 1 - 0.0000 -
1335.53/1339.72 c 1340 705240 14002 1 - 0.0000 -
1340.52/1344.77 c 1345 708033 14028 1 - 0.0000 -
1345.60/1349.82 c 1350 710652 13967 1 - 0.0000 -
1350.59/1354.87 c 1355 713466 13979 1 - 0.0000 -
1355.67/1359.93 c 1360 716098 13991 1 - 0.0000 -
1360.66/1364.98 c 1365 718472 13989 1 - 0.0000 -
1365.75/1370.03 c 1370 720979 14026 1 - 0.0000 -
1370.74/1375.08 c 1375 723425 13999 1 - 0.0000 -
1375.82/1380.14 c 1380 725396 14053 1 - 0.0000 -
1380.90/1385.20 c 1385 727010 14065 1 - 0.0000 -
1385.89/1390.26 c 1390 728425 14074 1 - 0.0000 -
1390.98/1395.32 c 1395 729857 14048 1 - 0.0000 -
1395.96/1400.38 c 1400 731789 14084 1 - 0.0000 -
1401.05/1405.47 c 1405 733715 14298 1 - 0.0000 -
1406.13/1410.54 c 1411 735575 14222 1 - 0.0000 -
1411.22/1415.60 c 1416 737768 14268 1 - 0.0000 -
1416.20/1420.65 c 1421 740607 14282 1 - 0.0000 -
1421.28/1425.70 c 1426 743682 14321 1 - 0.0000 -
1426.27/1430.76 c 1431 746585 14289 1 - 0.0000 -
1431.36/1435.81 c 1436 749741 14275 1 - 0.0000 -
1436.34/1440.86 c 1441 752554 14412 1 - 0.0000 -
1441.42/1445.91 c 1446 755273 14563 1 - 0.0000 -
1446.41/1450.98 c 1451 757853 14642 1 - 0.0000 -
1451.49/1456.03 c 1456 760416 14665 1 - 0.0000 -
1456.48/1461.10 c 1461 762688 14662 1 - 0.0000 -
1461.56/1466.14 c 1466 764939 14733 1 - 0.0000 -
1466.55/1471.19 c 1471 766999 14801 1 - 0.0000 -
1471.63/1476.26 c 1476 768915 14886 1 - 0.0000 -
1476.71/1481.35 c 1481 770998 14985 1 - 0.0000 -
1481.80/1486.40 c 1486 773173 15072 1 - 0.0000 -
1486.79/1491.45 c 1491 775303 15182 1 - 0.0000 -
1491.87/1496.52 c 1497 777223 15291 1 - 0.0000 -
1496.86/1501.58 c 1502 779142 15294 1 - 0.0000 -
1501.94/1506.63 c 1507 781049 15448 1 - 0.0000 -
1506.92/1511.69 c 1512 782991 15579 1 - 0.0000 -
1512.01/1516.76 c 1517 784475 15742 1 - 0.0000 -
1517.10/1521.80 c 1522 786206 15893 1 - 0.0000 -
1522.09/1526.86 c 1527 788482 15952 1 - 0.0000 -
1527.17/1531.91 c 1532 790487 15994 1 - 0.0000 -
1532.16/1536.97 c 1537 792543 16147 1 - 0.0000 -
1537.25/1542.04 c 1542 794299 16292 1 - 0.0000 -
1542.23/1547.09 c 1547 796165 16460 1 - 0.0000 -
1547.32/1552.14 c 1552 798008 16476 1 - 0.0000 -
1552.39/1557.21 c 1557 799784 16711 1 - 0.0000 -
1557.38/1562.26 c 1562 801545 16816 1 - 0.0000 -
1562.47/1567.31 c 1567 803540 16818 1 - 0.0000 -
1567.46/1572.37 c 1572 805806 16819 1 - 0.0000 -
1572.54/1577.44 c 1577 807970 16902 1 - 0.0000 -
1577.53/1582.49 c 1582 810072 16961 1 - 0.0000 -
1582.61/1587.54 c 1588 811993 17049 1 - 0.0000 -
1587.59/1592.59 c 1593 813581 17088 1 - 0.0000 -
1592.68/1597.64 c 1598 815725 17166 1 - 0.0000 -
1597.67/1602.69 c 1603 818444 17272 1 - 0.0000 -
1602.76/1607.75 c 1608 820878 17223 1 - 0.0000 -
1607.84/1612.80 c 1613 822816 17278 1 - 0.0000 -
1612.83/1617.85 c 1618 825149 17359 1 - 0.0000 -
1617.91/1622.90 c 1623 827455 17425 1 - 0.0000 -
1622.90/1627.95 c 1628 829849 17546 1 - 0.0000 -
1627.98/1633.00 c 1633 832611 17609 1 - 0.0000 -
1632.97/1638.05 c 1638 835317 17667 1 - 0.0000 -
1637.96/1643.10 c 1643 837988 17798 1 - 0.0000 -
1643.04/1648.15 c 1648 840726 17799 1 - 0.0000 -
1648.12/1653.20 c 1653 843529 17871 1 - 0.0000 -
1653.11/1658.25 c 1658 846623 17910 1 - 0.0000 -
1658.19/1663.30 c 1663 849602 17942 1 - 0.0000 -
1663.17/1668.35 c 1668 852322 17982 1 - 0.0000 -
1668.26/1673.40 c 1673 855158 17991 1 - 0.0000 -
1673.25/1678.45 c 1678 857912 18067 1 - 0.0000 -
1678.33/1683.50 c 1684 860536 18081 1 - 0.0000 -
1683.31/1688.55 c 1689 863230 18106 1 - 0.0000 -
1688.39/1693.60 c 1694 865811 18134 1 - 0.0000 -
1693.38/1698.65 c 1699 868376 18203 1 - 0.0000 -
1698.45/1703.70 c 1704 870805 18287 1 - 0.0000 -
1703.44/1708.75 c 1709 873200 18316 1 - 0.0000 -
1708.52/1713.80 c 1714 875731 18367 1 - 0.0000 -
1713.50/1718.85 c 1719 878244 18394 1 - 0.0000 -
1718.58/1723.93 c 1724 880314 18414 1 - 0.0000 -
1723.56/1728.97 c 1729 882538 18449 1 - 0.0000 -
1728.65/1734.02 c 1734 884905 18496 1 - 0.0000 -
1733.63/1739.07 c 1739 887228 18486 1 - 0.0000 -
1738.72/1744.12 c 1744 889629 18540 1 - 0.0000 -
1743.70/1749.17 c 1749 892244 18573 1 - 0.0000 -
1748.79/1754.22 c 1754 894842 18581 1 - 0.0000 -
1753.77/1759.27 c 1759 897372 18594 1 - 0.0000 -
1758.86/1764.32 c 1764 899951 18617 1 - 0.0000 -
1763.84/1769.37 c 1769 902225 18671 1 - 0.0000 -
1768.92/1774.42 c 1774 904585 18661 1 - 0.0000 -
1773.91/1779.47 c 1779 907115 18699 1 - 0.0000 -
1778.99/1784.52 c 1785 909810 18791 1 - 0.0000 -
1784.08/1789.60 c 1790 912604 18849 1 - 0.0000 -
1789.07/1794.64 c 1795 915166 18903 1 - 0.0000 -
1794.05/1799.69 c 1800 917783 18970 1 - 0.0000 -
1799.13/1804.74 c 1805 920275 19020 1 - 0.0000 -
1804.13/1809.79 c 1810 922730 19071 1 - 0.0000 -
1809.21/1814.84 c 1815 925180 19041 1 - 0.0000 -
1814.19/1819.89 c 1820 927692 19036 1 - 0.0000 -
1819.28/1824.94 c 1825 930142 19126 1 - 0.0000 -
1824.27/1829.99 c 1830 932522 19254 1 - 0.0000 -
1829.35/1835.04 c 1835 935148 19266 1 - 0.0000 -
1834.34/1840.09 c 1840 937823 19261 1 - 0.0000 -
1839.42/1845.14 c 1845 940359 19207 1 - 0.0000 -
1844.41/1850.19 c 1850 942838 19290 1 - 0.0000 -
1849.49/1855.24 c 1855 945361 19331 1 - 0.0000 -
1854.48/1860.29 c 1860 947820 19398 1 - 0.0000 -
1859.56/1865.34 c 1865 950206 19419 1 - 0.0000 -
1864.55/1870.39 c 1870 952474 19440 1 - 0.0000 -
1869.63/1875.44 c 1875 954813 19434 1 - 0.0000 -
1874.62/1880.49 c 1880 957216 19431 1 - 0.0000 -
1879.70/1885.54 c 1886 959487 19420 1 - 0.0000 -
1884.69/1890.59 c 1891 961767 19467 1 - 0.0000 -
1889.77/1895.66 c 1896 963951 19416 1 - 0.0000 -
1894.86/1900.72 c 1901 966268 19422 1 - 0.0000 -
1899.83/1905.76 c 1906 968581 19423 1 - 0.0000 -
1904.92/1910.81 c 1911 970944 19423 1 - 0.0000 -
1909.90/1915.86 c 1916 973275 19477 1 - 0.0000 -
1914.99/1920.91 c 1921 975493 19517 1 - 0.0000 -
1919.98/1925.96 c 1926 977793 19543 1 - 0.0000 -
1925.06/1931.01 c 1931 980095 19578 1 - 0.0000 -
1930.06/1936.06 c 1936 982381 19618 1 - 0.0000 -
1935.14/1941.12 c 1941 984566 19630 1 - 0.0000 -
1940.12/1946.17 c 1946 986757 19690 1 - 0.0000 -
1945.21/1951.22 c 1951 989157 19702 1 - 0.0000 -
1950.19/1956.28 c 1956 991538 19703 1 - 0.0000 -
1955.28/1961.33 c 1961 993913 19731 1 - 0.0000 -
1960.26/1966.38 c 1966 996242 19772 1 - 0.0000 -
1965.34/1971.43 c 1971 998566 19772 1 - 0.0000 -
1970.33/1976.49 c 1976 1000868 19878 1 - 0.0000 -
1975.41/1981.54 c 1982 1003196 19936 1 - 0.0000 -
1980.40/1986.59 c 1987 1005572 19918 1 - 0.0000 -
1985.49/1991.64 c 1992 1007914 19923 1 - 0.0000 -
1990.57/1996.70 c 1997 1010307 19937 1 - 0.0000 -
1995.55/2001.75 c 2002 1012525 19935 1 - 0.0000 -
2000.64/2006.80 c 2007 1014797 19957 1 - 0.0000 -
2005.62/2011.85 c 2012 1017117 20005 1 - 0.0000 -
2010.72/2016.90 c 2017 1019378 20042 1 - 0.0000 -
2015.70/2021.95 c 2022 1021878 20045 1 - 0.0000 -
2020.78/2027.00 c 2027 1024502 20042 1 - 0.0000 -
2025.77/2032.05 c 2032 1026909 20042 1 - 0.0000 -
2030.76/2037.10 c 2037 1029233 20074 1 - 0.0000 -
2035.84/2042.15 c 2042 1031666 20058 1 - 0.0000 -
2040.92/2047.20 c 2047 1034237 20078 1 - 0.0000 -
2045.91/2052.25 c 2052 1036564 20198 1 - 0.0000 -
2050.99/2057.30 c 2057 1038756 20282 1 - 0.0000 -
2055.97/2062.35 c 2062 1041162 20273 1 - 0.0000 -
2061.06/2067.40 c 2067 1043548 20300 1 - 0.0000 -
2066.05/2072.45 c 2072 1045977 20302 1 - 0.0000 -
2071.13/2077.50 c 2078 1048510 20347 1 - 0.0000 -
2076.12/2082.55 c 2083 1051160 20361 1 - 0.0000 -
2081.21/2087.60 c 2088 1053683 20379 1 - 0.0000 -
2086.19/2092.65 c 2093 1056141 20360 1 - 0.0000 -
2091.28/2097.70 c 2098 1058648 20395 1 - 0.0000 -
2096.26/2102.75 c 2103 1061006 20374 1 - 0.0000 -
2101.34/2107.80 c 2108 1063528 20395 1 - 0.0000 -
2106.33/2112.85 c 2113 1065700 20544 1 - 0.0000 -
2111.42/2117.90 c 2118 1067790 20637 1 - 0.0000 -
2116.40/2122.95 c 2123 1070042 20756 1 - 0.0000 -
2121.49/2128.00 c 2128 1072178 20855 1 - 0.0000 -
2126.48/2133.05 c 2133 1074510 20939 1 - 0.0000 -
2131.46/2138.10 c 2138 1076669 21005 1 - 0.0000 -
2136.55/2143.15 c 2143 1078827 21053 1 - 0.0000 -
2141.63/2148.20 c 2148 1081052 21118 1 - 0.0000 -
2146.61/2153.25 c 2153 1083342 21150 1 - 0.0000 -
2151.70/2158.30 c 2158 1085882 21166 1 - 0.0000 -
2156.68/2163.35 c 2163 1088243 21209 1 - 0.0000 -
2161.76/2168.40 c 2168 1090409 21235 1 - 0.0000 -
2166.75/2173.46 c 2173 1092456 21262 1 - 0.0000 -
2171.83/2178.51 c 2179 1094982 21261 1 - 0.0000 -
2176.82/2183.56 c 2184 1097499 21266 1 - 0.0000 -
2181.91/2188.61 c 2189 1100033 21275 1 - 0.0000 -
2186.89/2193.67 c 2194 1102411 21277 1 - 0.0000 -
2191.98/2198.73 c 2199 1104810 21278 1 - 0.0000 -
2196.97/2203.78 c 2204 1107033 21308 1 - 0.0000 -
2202.05/2208.83 c 2209 1109228 21309 1 - 0.0000 -
2207.04/2213.88 c 2214 1111480 21432 1 - 0.0000 -
2212.12/2218.93 c 2219 1113621 21502 1 - 0.0000 -
2217.10/2223.98 c 2224 1115921 21510 1 - 0.0000 -
2222.20/2229.04 c 2229 1117971 21573 1 - 0.0000 -
2227.18/2234.10 c 2234 1120160 21609 1 - 0.0000 -
2232.27/2239.15 c 2239 1122363 21646 1 - 0.0000 -
2237.35/2244.20 c 2244 1124744 21623 1 - 0.0000 -
2242.33/2249.25 c 2249 1127092 21646 1 - 0.0000 -
2247.42/2254.30 c 2254 1129317 21704 1 - 0.0000 -
2252.40/2259.35 c 2259 1131652 21735 1 - 0.0000 -
2257.49/2264.40 c 2264 1134043 21783 1 - 0.0000 -
2262.57/2269.50 c 2270 1136275 21796 1 - 0.0000 -
2267.56/2274.55 c 2275 1138696 21834 1 - 0.0000 -
2272.64/2279.61 c 2280 1140797 21812 1 - 0.0000 -
2277.63/2284.67 c 2285 1143318 21862 1 - 0.0000 -
2282.72/2289.72 c 2290 1145732 21866 1 - 0.0000 -
2287.70/2294.77 c 2295 1148103 21865 1 - 0.0000 -
2292.78/2299.82 c 2300 1150564 21864 1 - 0.0000 -
2297.77/2304.87 c 2305 1152954 21886 1 - 0.0000 -
2302.85/2309.92 c 2310 1155191 21871 1 - 0.0000 -
2307.85/2314.97 c 2315 1157484 21897 1 - 0.0000 -
2313.03/2320.10 c 2320 1159294 22207 1 - 0.0000 -
2318.01/2325.16 c 2325 1161348 22255 1 - 0.0000 -
2323.10/2330.22 c 2330 1163501 22297 1 - 0.0000 -
2328.08/2335.27 c 2335 1165614 22392 1 - 0.0000 -
2333.17/2340.32 c 2340 1167755 22488 1 - 0.0000 -
2338.15/2345.37 c 2345 1169886 22507 1 - 0.0000 -
2343.24/2350.42 c 2350 1171835 22564 1 - 0.0000 -
2348.22/2355.47 c 2355 1173697 22571 1 - 0.0000 -
2353.31/2360.52 c 2361 1175655 22599 1 - 0.0000 -
2358.29/2365.57 c 2366 1177583 22611 1 - 0.0000 -
2363.38/2370.62 c 2371 1179807 22732 1 - 0.0000 -
2368.37/2375.67 c 2376 1181911 22678 1 - 0.0000 -
2373.45/2380.72 c 2381 1184184 22695 1 - 0.0000 -
2378.44/2385.77 c 2386 1186464 22794 1 - 0.0000 -
2383.52/2390.82 c 2391 1188750 22925 1 - 0.0000 -
2388.51/2395.87 c 2396 1191011 22973 1 - 0.0000 -
2393.59/2400.92 c 2401 1193306 22956 1 - 0.0000 -
2398.57/2405.97 c 2406 1195438 22956 1 - 0.0000 -
2403.67/2411.02 c 2411 1197507 22942 1 - 0.0000 -
2408.65/2416.07 c 2416 1199666 22924 1 - 0.0000 -
2413.74/2421.12 c 2421 1201856 22920 1 - 0.0000 -
2418.72/2426.17 c 2426 1204076 22912 1 - 0.0000 -
2423.81/2431.22 c 2431 1206366 22922 1 - 0.0000 -
2428.79/2436.27 c 2436 1208614 22948 1 - 0.0000 -
2433.87/2441.39 c 2441 1210378 22930 1 - 0.0000 -
2438.95/2446.43 c 2446 1212617 22943 1 - 0.0000 -
2443.95/2451.48 c 2451 1215170 22969 1 - 0.0000 -
2449.03/2456.53 c 2457 1217502 22976 1 - 0.0000 -
2454.01/2461.59 c 2462 1219849 23017 1 - 0.0000 -
2459.10/2466.64 c 2467 1222299 23009 1 - 0.0000 -
2464.09/2471.69 c 2472 1225018 23017 1 - 0.0000 -
2469.17/2476.74 c 2477 1227471 23029 1 - 0.0000 -
2474.16/2481.79 c 2482 1229459 23033 1 - 0.0000 -
2479.24/2486.86 c 2487 1231968 23074 1 - 0.0000 -
2484.33/2491.91 c 2492 1235021 23046 1 - 0.0000 -
2489.31/2496.96 c 2497 1237432 23050 1 - 0.0000 -
2494.40/2502.03 c 2502 1239391 23214 1 - 0.0000 -
2499.48/2507.11 c 2507 1240469 23548 1 - 0.0000 -
2504.47/2512.17 c 2512 1241536 23892 1 - 0.0000 -
2509.55/2517.22 c 2517 1242437 24127 1 - 0.0000 -
2514.63/2522.32 c 2522 1243396 24257 1 - 0.0000 -
2519.71/2527.40 c 2527 1244672 24444 1 - 0.0000 -
2524.70/2532.46 c 2532 1246260 24523 1 - 0.0000 -
2529.78/2537.51 c 2538 1248141 24615 1 - 0.0000 -
2534.77/2542.56 c 2543 1250199 24644 1 - 0.0000 -
2539.86/2547.62 c 2548 1251825 24656 1 - 0.0000 -
2544.84/2552.68 c 2553 1253714 24696 1 - 0.0000 -
2549.93/2557.74 c 2558 1255611 24756 1 - 0.0000 -
2554.90/2562.79 c 2563 1257509 24793 1 - 0.0000 -
2559.99/2567.84 c 2568 1259547 24866 1 - 0.0000 -
2565.07/2572.90 c 2573 1261555 24861 1 - 0.0000 -
2570.05/2577.95 c 2578 1263437 24871 1 - 0.0000 -
2575.14/2583.00 c 2583 1265527 24859 1 - 0.0000 -
2580.13/2588.06 c 2588 1267744 24939 1 - 0.0000 -
2585.21/2593.11 c 2593 1269673 25078 1 - 0.0000 -
2590.19/2598.16 c 2598 1271923 25201 1 - 0.0000 -
2595.28/2603.21 c 2603 1274304 25332 1 - 0.0000 -
2600.26/2608.27 c 2608 1276719 25416 1 - 0.0000 -
2605.35/2613.33 c 2613 1279073 25423 1 - 0.0000 -
2610.33/2618.38 c 2618 1281314 25459 1 - 0.0000 -
2615.41/2623.43 c 2623 1283134 25495 1 - 0.0000 -
2620.40/2628.48 c 2628 1285472 25554 1 - 0.0000 -
2625.48/2633.53 c 2634 1287768 25563 1 - 0.0000 -
2630.47/2638.58 c 2639 1289940 25580 1 - 0.0000 -
2635.55/2643.64 c 2644 1291914 25631 1 - 0.0000 -
2640.63/2648.72 c 2649 1293695 25609 1 - 0.0000 -
2645.62/2653.77 c 2654 1295480 25610 1 - 0.0000 -
2650.70/2658.83 c 2659 1297102 25617 1 - 0.0000 -
2655.68/2663.88 c 2664 1298853 25628 1 - 0.0000 -
2660.77/2668.94 c 2669 1300611 25594 1 - 0.0000 -
2665.75/2673.99 c 2674 1302414 25602 1 - 0.0000 -
2670.83/2679.04 c 2679 1304437 25603 1 - 0.0000 -
2675.81/2684.09 c 2684 1306244 25642 1 - 0.0000 -
2680.89/2689.17 c 2689 1307753 25659 1 - 0.0000 -
2685.97/2694.22 c 2694 1309441 25677 1 - 0.0000 -
2690.96/2699.27 c 2699 1311186 25746 1 - 0.0000 -
2696.03/2704.32 c 2704 1312803 25719 1 - 0.0000 -
2701.02/2709.37 c 2709 1314612 25747 1 - 0.0000 -
2706.10/2714.43 c 2714 1316370 25740 1 - 0.0000 -
2711.08/2719.48 c 2719 1318088 25725 1 - 0.0000 -
2716.16/2724.53 c 2725 1319903 25710 1 - 0.0000 -
2721.14/2729.59 c 2730 1321559 25754 1 - 0.0000 -
2726.23/2734.63 c 2735 1323179 25773 1 - 0.0000 -
2731.20/2739.69 c 2740 1324889 25783 1 - 0.0000 -
2736.29/2744.74 c 2745 1326727 25796 1 - 0.0000 -
2741.27/2749.79 c 2750 1328572 25790 1 - 0.0000 -
2746.35/2754.84 c 2755 1330137 25901 1 - 0.0000 -
2751.43/2759.91 c 2760 1331529 26156 1 - 0.0000 -
2756.42/2764.96 c 2765 1333084 26246 1 - 0.0000 -
2761.50/2770.02 c 2770 1334538 26327 1 - 0.0000 -
2766.48/2775.07 c 2775 1336044 26325 1 - 0.0000 -
2771.56/2780.12 c 2780 1337557 26353 1 - 0.0000 -
2776.55/2785.17 c 2785 1338930 26351 1 - 0.0000 -
2781.62/2790.22 c 2790 1340562 26362 1 - 0.0000 -
2786.61/2795.27 c 2795 1342108 26357 1 - 0.0000 -
2791.69/2800.32 c 2800 1343834 26359 1 - 0.0000 -
2796.67/2805.37 c 2805 1345561 26414 1 - 0.0000 -
2801.75/2810.42 c 2810 1347149 26363 1 - 0.0000 -
2806.74/2815.48 c 2815 1348980 26405 1 - 0.0000 -
2811.82/2820.56 c 2821 1350640 26403 1 - 0.0000 -
2816.90/2825.61 c 2826 1352211 26409 1 - 0.0000 -
2821.88/2830.67 c 2831 1353656 26500 1 - 0.0000 -
2826.97/2835.72 c 2836 1355299 26490 1 - 0.0000 -
2831.95/2840.77 c 2841 1356720 26511 1 - 0.0000 -
2837.02/2845.82 c 2846 1358438 26517 1 - 0.0000 -
2842.01/2850.87 c 2851 1360116 26605 1 - 0.0000 -
2847.09/2855.92 c 2856 1361696 26685 1 - 0.0000 -
2852.08/2860.97 c 2861 1363351 26673 1 - 0.0000 -
2857.16/2866.02 c 2866 1365085 26834 1 - 0.0000 -
2862.14/2871.07 c 2871 1366568 26883 1 - 0.0000 -
2867.22/2876.12 c 2876 1368387 26927 1 - 0.0000 -
2872.21/2881.17 c 2881 1370475 26939 1 - 0.0000 -
2877.28/2886.22 c 2886 1372455 26952 1 - 0.0000 -
2882.26/2891.27 c 2891 1374342 26948 1 - 0.0000 -
2887.44/2896.42 c 2896 1376129 26934 1 - 0.0000 -
2892.43/2901.47 c 2901 1377953 26927 1 - 0.0000 -
2897.51/2906.52 c 2907 1379632 27027 1 - 0.0000 -
2902.49/2911.57 c 2912 1381814 27113 1 - 0.0000 -
2907.57/2916.62 c 2917 1384049 27129 1 - 0.0000 -
2912.55/2921.67 c 2922 1386305 27066 1 - 0.0000 -
2917.64/2926.72 c 2927 1388411 27066 1 - 0.0000 -
2922.62/2931.77 c 2932 1390960 27105 1 - 0.0000 -
2927.70/2936.82 c 2937 1393618 27098 1 - 0.0000 -
2932.68/2941.87 c 2942 1396156 27107 1 - 0.0000 -
2937.77/2946.95 c 2947 1399242 27194 1 - 0.0000 -
2942.86/2952.00 c 2952 1402094 27181 1 - 0.0000 -
2947.85/2957.05 c 2957 1404680 27160 1 - 0.0000 -
2952.83/2962.10 c 2962 1406556 27163 1 - 0.0000 -
2957.90/2967.15 c 2967 1408554 27213 1 - 0.0000 -
2962.98/2972.20 c 2972 1410733 27266 1 - 0.0000 -
2967.97/2977.25 c 2977 1412527 27583 1 - 0.0000 -
2973.05/2982.32 c 2982 1414441 27806 1 - 0.0000 -
2978.03/2987.37 c 2987 1416250 27972 1 - 0.0000 -
2983.12/2992.42 c 2992 1418323 28129 1 - 0.0000 -
2988.10/2997.47 c 2997 1420185 28154 1 - 0.0000 -
2993.18/3002.52 c 3003 1422093 28113 1 - 0.0000 -
2998.17/3007.57 c 3008 1424173 28212 1 - 0.0000 -
3003.26/3012.62 c 3013 1426178 28362 1 - 0.0000 -
3008.24/3017.67 c 3018 1428081 28496 1 - 0.0000 -
3013.32/3022.72 c 3023 1429947 28526 1 - 0.0000 -
3018.31/3027.77 c 3028 1431682 28596 1 - 0.0000 -
3023.39/3032.82 c 3033 1433332 28635 1 - 0.0000 -
3028.37/3037.87 c 3038 1435051 28709 1 - 0.0000 -
3033.45/3042.92 c 3043 1436703 28781 1 - 0.0000 -
3038.43/3047.98 c 3048 1438359 28791 1 - 0.0000 -
3043.52/3053.02 c 3053 1440020 28840 1 - 0.0000 -
3048.51/3058.07 c 3058 1441576 28986 1 - 0.0000 -
3053.58/3063.12 c 3063 1443228 29039 1 - 0.0000 -
3058.57/3068.17 c 3068 1444903 29050 1 - 0.0000 -
3063.64/3073.23 c 3073 1446513 29132 1 - 0.0000 -
3068.62/3078.27 c 3078 1448018 29159 1 - 0.0000 -
3073.71/3083.32 c 3083 1449457 29174 1 - 0.0000 -
3078.69/3088.37 c 3088 1451017 29171 1 - 0.0000 -
3083.78/3093.42 c 3093 1452574 29178 1 - 0.0000 -
3088.76/3098.47 c 3098 1454222 29274 1 - 0.0000 -
3093.84/3103.52 c 3104 1455983 29408 1 - 0.0000 -
3098.93/3108.61 c 3109 1457600 29489 1 - 0.0000 -
3103.91/3113.65 c 3114 1459082 29525 1 - 0.0000 -
3108.99/3118.70 c 3119 1460650 29621 1 - 0.0000 -
3113.98/3123.75 c 3124 1462412 29671 1 - 0.0000 -
3119.06/3128.80 c 3129 1464010 29689 1 - 0.0000 -
3124.05/3133.85 c 3134 1465609 29728 1 - 0.0000 -
3129.13/3138.90 c 3139 1467181 29750 1 - 0.0000 -
3134.11/3143.95 c 3144 1468717 29825 1 - 0.0000 -
3139.20/3149.00 c 3149 1470172 29905 1 - 0.0000 -
3144.19/3154.05 c 3154 1471616 29916 1 - 0.0000 -
3149.27/3159.11 c 3159 1473082 29902 1 - 0.0000 -
3154.25/3164.19 c 3164 1474626 29947 1 - 0.0000 -
3159.33/3169.24 c 3169 1476172 30007 1 - 0.0000 -
3164.41/3174.31 c 3174 1477739 29992 1 - 0.0000 -
3169.39/3179.36 c 3179 1479346 30031 1 - 0.0000 -
3174.49/3184.41 c 3184 1481041 30213 1 - 0.0000 -
3179.47/3189.46 c 3189 1482645 30235 1 - 0.0000 -
3184.55/3194.51 c 3195 1484192 30257 1 - 0.0000 -
3189.54/3199.57 c 3200 1485137 30329 1 - 0.0000 -
3194.62/3204.63 c 3205 1486147 30360 1 - 0.0000 -
3199.60/3209.68 c 3210 1487467 30467 1 - 0.0000 -
3204.69/3214.73 c 3215 1488816 30479 1 - 0.0000 -
3209.67/3219.78 c 3220 1490335 30521 1 - 0.0000 -
3214.75/3224.85 c 3225 1491925 30556 1 - 0.0000 -
3219.83/3229.91 c 3230 1493589 30611 1 - 0.0000 -
3224.82/3234.95 c 3235 1495258 30618 1 - 0.0000 -
3229.90/3240.04 c 3240 1496915 30659 1 - 0.0000 -
3234.89/3245.09 c 3245 1498695 30676 1 - 0.0000 -
3239.97/3250.14 c 3250 1500407 30678 1 - 0.0000 -
3245.05/3255.20 c 3255 1502103 30700 1 - 0.0000 -
3250.03/3260.25 c 3260 1503648 30690 1 - 0.0000 -
3255.12/3265.30 c 3265 1505207 30673 1 - 0.0000 -
3260.09/3270.35 c 3270 1507014 30730 1 - 0.0000 -
3265.18/3275.40 c 3275 1508688 30698 1 - 0.0000 -
3270.16/3280.45 c 3280 1510260 30767 1 - 0.0000 -
3275.25/3285.50 c 3286 1512633 30811 1 - 0.0000 -
3280.23/3290.55 c 3291 1515090 30768 1 - 0.0000 -
3285.32/3295.60 c 3296 1517284 30782 1 - 0.0000 -
3290.30/3300.66 c 3301 1518927 30742 1 - 0.0000 -
3295.38/3305.71 c 3306 1520138 30776 1 - 0.0000 -
3300.37/3310.76 c 3311 1521838 30801 1 - 0.0000 -
3305.46/3315.81 c 3316 1523453 30775 1 - 0.0000 -
3310.43/3320.88 c 3321 1524646 30885 1 - 0.0000 -
3315.52/3325.96 c 3326 1525662 30899 1 - 0.0000 -
3320.60/3331.01 c 3331 1526976 30946 1 - 0.0000 -
3325.59/3336.06 c 3336 1528566 30959 1 - 0.0000 -
3330.67/3341.16 c 3341 1529961 30987 1 - 0.0000 -
3335.75/3346.22 c 3346 1531697 30980 1 - 0.0000 -
3340.73/3351.26 c 3351 1533504 30980 1 - 0.0000 -
3345.81/3356.31 c 3356 1535410 30992 1 - 0.0000 -
3350.80/3361.36 c 3361 1536884 30990 1 - 0.0000 -
3355.88/3366.41 c 3366 1538565 30974 1 - 0.0000 -
3360.87/3371.46 c 3371 1540251 31006 1 - 0.0000 -
3365.95/3376.51 c 3377 1542112 31070 1 - 0.0000 -
3370.93/3381.56 c 3382 1544095 31071 1 - 0.0000 -
3376.01/3386.61 c 3387 1546075 31077 1 - 0.0000 -
3380.99/3391.66 c 3392 1547964 31071 1 - 0.0000 -
3386.07/3396.71 c 3397 1549881 31092 1 - 0.0000 -
3391.06/3401.77 c 3402 1551884 31166 1 - 0.0000 -
3396.15/3406.83 c 3407 1553939 31224 1 - 0.0000 -
3401.13/3411.88 c 3412 1555848 31239 1 - 0.0000 -
3406.21/3416.93 c 3417 1557682 31267 1 - 0.0000 -
3411.20/3421.98 c 3422 1559584 31290 1 - 0.0000 -
3416.29/3427.03 c 3427 1561793 31294 1 - 0.0000 -
3421.27/3432.08 c 3432 1563965 31340 1 - 0.0000 -
3426.35/3437.13 c 3437 1565845 31329 1 - 0.0000 -
3431.34/3442.18 c 3442 1567806 31396 1 - 0.0000 -
3436.42/3447.23 c 3447 1569563 31367 1 - 0.0000 -
3441.40/3452.28 c 3452 1571304 31346 1 - 0.0000 -
3446.48/3457.33 c 3457 1573103 31359 1 - 0.0000 -
3451.46/3462.38 c 3462 1574821 31340 1 - 0.0000 -
3456.54/3467.43 c 3467 1576578 31352 1 - 0.0000 -
3461.53/3472.48 c 3472 1578307 31335 1 - 0.0000 -
3466.61/3477.53 c 3478 1579904 31356 1 - 0.0000 -
3471.60/3482.58 c 3483 1581635 31330 1 - 0.0000 -
3476.67/3487.63 c 3488 1583437 31337 1 - 0.0000 -
3481.66/3492.68 c 3493 1585259 31331 1 - 0.0000 -
3486.74/3497.73 c 3498 1586992 31360 1 - 0.0000 -
3491.72/3502.78 c 3503 1588715 31354 1 - 0.0000 -
3496.80/3507.83 c 3508 1590437 31357 1 - 0.0000 -
3501.79/3512.88 c 3513 1592207 31357 1 - 0.0000 -
3506.87/3517.93 c 3518 1593937 31345 1 - 0.0000 -
3511.86/3522.99 c 3523 1595613 31327 1 - 0.0000 -
3516.95/3528.03 c 3528 1597275 31309 1 - 0.0000 -
3521.94/3533.08 c 3533 1599438 31285 1 - 0.0000 -
3527.02/3538.13 c 3538 1601987 31304 1 - 0.0000 -
3532.01/3543.18 c 3543 1604737 31319 1 - 0.0000 -
3537.09/3548.23 c 3548 1606699 31322 1 - 0.0000 -
3542.07/3553.28 c 3553 1608593 31340 1 - 0.0000 -
3547.15/3558.33 c 3558 1610286 31317 1 - 0.0000 -
3552.13/3563.38 c 3563 1612140 31356 1 - 0.0000 -
3557.22/3568.43 c 3568 1614030 31395 1 - 0.0000 -
3562.20/3573.48 c 3573 1615938 31352 1 - 0.0000 -
3567.29/3578.54 c 3579 1617763 31308 1 - 0.0000 -
3572.26/3583.58 c 3584 1619528 31312 1 - 0.0000 -
3577.35/3588.63 c 3589 1621318 31313 1 - 0.0000 -
3582.33/3593.68 c 3594 1623037 31296 1 - 0.0000 -
3587.42/3598.73 c 3599 1624843 31312 1 - 0.0000 -
3588.82/3600.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.82/3600.18 c Total Time : 3600.1800
3588.82/3600.18 c solving : 3600.1800
3588.82/3600.18 c presolving : 0.0169 (included in solving)
3588.82/3600.18 c B&B Tree :
3588.82/3600.18 c nodes (total) : 1
3588.82/3600.18 c Solution :
3588.82/3600.18 c Solutions found : 0
3588.82/3600.18 c Primal Bound : -
3588.82/3600.18 c Dual Bound : +0.00000000000000e+00
3588.82/3600.18 c Gap : -
3588.82/3600.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: 63931 MiB (60148 MiB free)
memory of node 1: 64510 MiB (61722 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445990-1721324371/watcher-4445990-1721324371 -o /tmp/evaluation-result-4445990-1721324371/solver-4445990-1721324371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445990-1721324371.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=973847, runsolver pid=973844
Current StackSize limit: 8192 KiB
[startup+0.10072 s]*
/proc/loadavg: 4.29 4.25 4.20 5/263 973850
/proc/meminfo: memFree=124774228/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=115320 memory=33088 CPUtime=0.09 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 5687 0 0 0 9 0 0 0 20 0 3 0 184596250 118087680 8272 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 28830 8272 2894 3032 0 12141 0
[pid=973847/tid=973849] ppid=973844 vsize=115320 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 2667 0 0 0 6 0 0 0 20 0 3 0 184596252 118087680 8272 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=115320 memory=237146210664 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184596253 118087680 8272 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115320 KiB
Current children cumulated memory: 33088 KiB
[startup+0.206718 s]*
/proc/loadavg: 4.29 4.25 4.20 5/263 973850
/proc/meminfo: memFree=124769860/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=115320 memory=37756 CPUtime=0.2 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 6807 0 0 0 19 1 0 0 20 0 3 0 184596250 118087680 9439 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 28830 9439 2942 3032 0 13140 0
[pid=973847/tid=973849] ppid=973844 vsize=115320 memory=4782652875487838339 CPUtime=0.16 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 3787 0 0 0 16 0 0 0 20 0 3 0 184596252 118087680 9439 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=115320 memory=1285800 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184596253 118087680 9439 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115320 KiB
Current children cumulated memory: 37756 KiB
[startup+0.30589 s]*
/proc/loadavg: 4.29 4.25 4.20 5/263 973850
/proc/meminfo: memFree=124761344/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=119212 memory=46204 CPUtime=0.29 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 8914 0 0 0 28 1 0 0 20 0 3 0 184596250 122073088 11551 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 29803 11551 2942 3032 0 15349 0
[pid=973847/tid=973849] ppid=973844 vsize=119212 memory=-6440826309615729512 CPUtime=0.26 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 5894 0 0 0 26 0 0 0 20 0 3 0 184596252 122073088 11551 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=119212 memory=0 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184596253 122073088 11551 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119212 KiB
Current children cumulated memory: 46204 KiB
[startup+0.700254 s]
/proc/loadavg: 4.29 4.25 4.20 5/263 973850
/proc/meminfo: memFree=124744544/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=133408 memory=70756 CPUtime=0.68 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 15034 0 0 0 66 2 0 0 20 0 3 0 184596250 136609792 17689 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 33352 17689 2942 3032 0 22293 0
[pid=973847/tid=973849] ppid=973844 vsize=133408 memory=0 CPUtime=0.65 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 12014 0 0 0 64 1 0 0 20 0 3 0 184596252 136609792 17689 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=133408 memory=0 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184596253 136609792 17689 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133408 KiB
Current children cumulated memory: 70756 KiB
[startup+1.50026 s]
/proc/loadavg: 4.29 4.25 4.20 5/263 973852
/proc/meminfo: memFree=124734780/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=133408 memory=73352 CPUtime=1.48 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 18787 0 0 0 146 2 0 0 20 0 3 0 184596250 136609792 18338 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 33352 18338 2942 3032 0 22714 0
[pid=973847/tid=973849] ppid=973844 vsize=133408 memory=0 CPUtime=1.45 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 15767 0 0 0 143 2 0 0 20 0 3 0 184596252 136609792 18338 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=133408 memory=0 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184596253 136609792 18338 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133408 KiB
Current children cumulated memory: 73352 KiB
[startup+3.10568 s]
/proc/loadavg: 4.27 4.24 4.20 5/263 973852
/proc/meminfo: memFree=124717952/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=142396 memory=88672 CPUtime=3.08 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 27529 0 0 0 304 4 0 0 20 0 3 0 184596250 145813504 22168 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 35599 22168 2942 3032 0 26985 0
[pid=973847/tid=973849] ppid=973844 vsize=142396 memory=2273 CPUtime=3.05 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 24493 0 0 0 302 3 0 0 20 0 3 0 184596252 145813504 22168 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=142396 memory=0 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 184596253 145813504 22168 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142396 KiB
Current children cumulated memory: 88672 KiB
[startup+6.30019 s]
/proc/loadavg: 4.27 4.24 4.20 5/263 973852
/proc/meminfo: memFree=124710192/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=142396 memory=94984 CPUtime=6.26 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 38271 0 0 0 622 4 0 0 20 0 3 0 184596250 145813504 23746 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 35599 23746 2990 3032 0 28819 0
[pid=973847/tid=973849] ppid=973844 vsize=142396 memory=-6440826309615729512 CPUtime=6.24 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 35211 0 0 0 620 4 0 0 20 0 3 0 184596252 145813504 23746 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=142396 memory=94984 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 184596253 145813504 23746 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142396 KiB
Current children cumulated memory: 94984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.25 4.20 5/263 973853
/proc/meminfo: memFree=124695892/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=142396 memory=107964 CPUtime=12.65 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 59993 0 0 0 1257 8 0 0 20 0 3 0 184596250 145813504 26991 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 35599 26991 2990 3032 0 31788 0
[pid=973847/tid=973849] ppid=973844 vsize=142396 memory=88672 CPUtime=12.61 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 56892 0 0 0 1254 7 0 0 20 0 3 0 184596252 145813504 26991 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=142396 memory=0 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 184596253 145813504 26991 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 142396 KiB
Current children cumulated memory: 107964 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.24 4.20 5/263 973855
/proc/meminfo: memFree=124665056/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=207932 memory=125676 CPUtime=25.41 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 102406 0 0 0 2528 13 0 0 20 0 3 0 184596250 212922368 31419 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 51983 31419 2990 3032 0 35823 0
[pid=973847/tid=973849] ppid=973844 vsize=207932 memory=99220 CPUtime=25.37 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 99234 0 0 0 2525 12 0 0 20 0 3 0 184596252 212922368 31419 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=207932 memory=7676 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 184596253 212922368 31419 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 207932 KiB
Current children cumulated memory: 125676 KiB
[startup+51.1058 s]
/proc/loadavg: 4.24 4.24 4.20 5/266 973864
/proc/meminfo: memFree=124627600/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=207932 memory=143568 CPUtime=50.94 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 158596 0 0 0 5075 19 0 0 20 0 3 0 184596250 212922368 35892 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 51983 35892 2990 3032 0 40017 0
[pid=973847/tid=973849] ppid=973844 vsize=207932 memory=143568 CPUtime=50.91 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 155348 0 0 0 5073 18 0 0 20 0 3 0 184596252 212922368 35892 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=207932 memory=143568 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 184596253 212922368 35892 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 207932 KiB
Current children cumulated memory: 143568 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.21 4.19 5/266 973875
/proc/meminfo: memFree=124604896/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=212004 memory=147608 CPUtime=101.97 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 194580 0 0 0 10170 27 0 0 20 0 3 0 184596250 217092096 36902 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 53001 36902 2990 3032 0 41035 0
[pid=973847/tid=973849] ppid=973844 vsize=212004 memory=147596 CPUtime=101.94 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 191240 0 0 0 10167 27 0 0 20 0 3 0 184596252 217092096 36902 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=212004 memory=147596 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 184596253 217092096 36902 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 212004 KiB
Current children cumulated memory: 147608 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/266 973886
/proc/meminfo: memFree=124515632/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=214964 memory=167416 CPUtime=161.8 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 238061 0 0 0 16141 39 0 0 20 0 3 0 184596250 220123136 41854 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 53741 41854 2990 3032 0 46504 0
[pid=973847/tid=973849] ppid=973844 vsize=214964 memory=162416 CPUtime=161.76 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 234664 0 0 0 16138 38 0 0 20 0 3 0 184596252 220123136 41854 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=214964 memory=7676 CPUtime=0 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 184596253 220123136 41854 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 214964 KiB
################
# More data... #
################
/proc/973847/statm: 102058 90371 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=361484 CPUtime=3451.18 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1250674 0 0 0 344652 466 0 0 20 0 3 0 184596252 418029568 90371 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=27460 CPUtime=0.03 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 157 0 0 0 0 3 0 0 20 0 3 0 184596253 418029568 90371 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 975834
/proc/meminfo: memFree=112716136/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361492 CPUtime=3511.26 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1283427 0 0 0 350641 485 0 0 20 0 3 0 184596250 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90373 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=27460 CPUtime=3510.98 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1279174 0 0 0 350621 477 0 0 20 0 3 0 184596252 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=361488 CPUtime=0.03 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 159 0 0 0 0 3 0 0 20 0 3 0 184596253 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3511.26 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 975844
/proc/meminfo: memFree=112715444/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361492 CPUtime=3571.07 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1312449 0 0 0 356613 494 0 0 20 0 3 0 184596250 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90373 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=4892 CPUtime=3570.78 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1308185 0 0 0 356592 486 0 0 20 0 3 0 184596252 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=361492 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361492 KiB
[startup+3600.18 s]
# the end of solver process 973847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.91 s, system=4.99724 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 975844
/proc/meminfo: memFree=112715448/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361492 CPUtime=3572.77 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1312451 0 0 0 356783 494 0 0 20 0 3 0 184596250 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90373 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=-6587191098482015077 CPUtime=3572.48 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1308187 0 0 0 356762 486 0 0 20 0 3 0 184596252 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=-9044459746194447340 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90373 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361492 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 975844
/proc/meminfo: memFree=112715420/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3579.15 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1338488 0 0 0 357418 497 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=27460 CPUtime=3578.86 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1334217 0 0 0 357397 489 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=4892 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3579.15 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 975845
/proc/meminfo: memFree=112715328/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3585.52 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1338616 0 0 0 358055 497 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=361512 CPUtime=3585.23 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1334345 0 0 0 358034 489 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=16888 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 975845
/proc/meminfo: memFree=112715300/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3587.12 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1338618 0 0 0 358214 498 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=361512 CPUtime=3586.83 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1334347 0 0 0 358193 490 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=2240 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
[startup+3599.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 975845
/proc/meminfo: memFree=112715292/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3587.92 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1338619 0 0 0 358294 498 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=16256 CPUtime=3587.63 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1334348 0 0 0 358273 490 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=27460 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
[startup+3599.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 975845
/proc/meminfo: memFree=112715292/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3588.32 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1338619 0 0 0 358334 498 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=6720664346311213424 CPUtime=3588.03 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1334348 0 0 0 358313 490 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=27460 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3588.32 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 975845
/proc/meminfo: memFree=112715292/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3588.72 cores=1,3
/proc/973847/stat : 973847 (fscip) R 973844 973847 968454 0 -1 1077936128 1339325 0 0 0 358374 498 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=-6587191098482015077 CPUtime=3588.43 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1335054 0 0 0 358353 490 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=-9044459746194447340 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3588.72 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
[startup+3600.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 975845
/proc/meminfo: memFree=112715292/131524600 swapFree=130799128/131071996
[pid=973847] ppid=973844 vsize=408232 memory=361512 CPUtime=3588.82 cores=1,3
/proc/973847/stat : 973847 (fscip) S 973844 973847 968454 0 -1 1077936128 1343598 0 0 0 358384 498 0 0 20 0 3 0 184596250 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
/proc/973847/statm: 102058 90378 2990 3032 0 96041 0
[pid=973847/tid=973849] ppid=973844 vsize=408232 memory=361512 CPUtime=3588.53 cores=1,3
/proc/973847/task/973849/stat : 973849 (fscip) R 973844 973847 968454 0 -1 4194368 1339326 0 0 0 358363 490 0 0 20 0 3 0 184596252 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
[pid=973847/tid=973850] ppid=973844 vsize=408232 memory=27784 CPUtime=0.04 cores=1,3
/proc/973847/task/973850/stat : 973850 (fscip) S 973844 973847 968454 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 184596253 418029568 90378 134679101440 4194304 16613245 140731491252176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54411264 140731491259412 140731491259528 140731491259528 140731491266544 0
Current children cumulated CPU time: 3588.82 s
Current children cumulated vsize: 408232 KiB
Current children cumulated memory: 361512 KiB
Child status: 0
Real time (s): 3600.18
CPU time (s): 3588.9
CPU user time (s): 3583.91
CPU system time (s): 4.99724
CPU usage (%): 99.6867
Max. virtual memory (cumulated for all children) (KiB): 408232
Max. memory (cumulated for all children) (KiB): 361512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.91
system time used= 4.99724
maximum resident set size= 361512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1345808
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= 10866
involuntary context switches= 2364
# summary of solver processes directly reported to runsolver:
# pid: 973847
# total CPU time (s): 3588.9
# total CPU user time (s): 3583.91
# total CPU system time (s): 4.99724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32823 second user time and 17.4609 second system time
The end
Begin job on nodeC014 at 2024-07-18 19:39:43
IDJOB=4445990
IDBENCH=155408
IDSOLVER=3064
FILE ID=nodeC014/4445990-1721324371
RUNJOBID= nodeC014-1721318012-968466
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820146.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-4445990-1721324371/watcher-4445990-1721324371 -o /tmp/evaluation-result-4445990-1721324371/solver-4445990-1721324371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445990-1721324371.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 081659ee65bc936cbb896171f511d736
RANDOM SEED=558936754
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.354
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.483
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.411
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.028
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.131
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124796380 kB
MemAvailable: 128030112 kB
Buffers: 451976 kB
Cached: 3585304 kB
SwapCached: 12916 kB
Active: 1381236 kB
Inactive: 4757460 kB
Active(anon): 9300 kB
Inactive(anon): 2112660 kB
Active(file): 1371936 kB
Inactive(file): 2644800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799128 kB
Dirty: 27956 kB
Writeback: 0 kB
AnonPages: 2086608 kB
Mapped: 85120 kB
Shmem: 20520 kB
KReclaimable: 113288 kB
Slab: 211060 kB
SReclaimable: 113288 kB
SUnreclaim: 97772 kB
KernelStack: 4236 kB
PageTables: 13912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2041892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1140736 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC014 at 2024-07-18 20:39:44