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 = 22269952, getVmSize() = 22269952, SCIPgetMemUsed() = 689160, SCIPgetMemTotal() = 780328, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 15312213, getVmSize() = 23666688, SCIPgetMemUsed() = 778560, SCIPgetMemTotal() = 1128168, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4464342-1722379127
0.00/0.01 c Variables : 52 (52 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 2
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 52 (52 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 2
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 1
0.00/0.01 c logicor : 1
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.09/5.16 c 5 17888 943 1 - 0.0000 -
10.17/10.21 c 10 38285 3078 1 - 0.0000 -
15.15/15.26 c 15 53259 5116 1 - 0.0000 -
20.23/20.31 c 20 73157 6528 1 - 0.0000 -
25.22/25.36 c 25 93201 8054 1 - 0.0000 -
30.30/30.41 c 30 110967 8982 1 - 0.0000 -
35.29/35.46 c 35 129400 10131 1 - 0.0000 -
40.38/40.51 c 41 148058 11031 1 - 0.0000 -
45.37/45.56 c 46 165392 11967 1 - 0.0000 -
50.45/50.61 c 51 184695 13098 1 - 0.0000 -
55.44/55.66 c 56 206775 14219 1 - 0.0000 -
60.53/60.71 c 61 225002 15244 1 - 0.0000 -
65.51/65.76 c 66 242349 16019 1 - 0.0000 -
70.60/70.81 c 71 260681 17028 1 - 0.0000 -
75.58/75.86 c 76 278784 18133 1 - 0.0000 -
80.67/80.91 c 81 296616 19076 1 - 0.0000 -
85.66/85.96 c 86 314634 19992 1 - 0.0000 -
90.74/91.01 c 91 332287 21109 1 - 0.0000 -
95.74/96.06 c 96 350081 22366 1 - 0.0000 -
100.82/101.11 c 101 366667 23442 1 - 0.0000 -
105.81/106.16 c 106 383966 24623 1 - 0.0000 -
110.88/111.21 c 111 399811 26200 1 - 0.0000 -
115.86/116.26 c 116 419084 27291 1 - 0.0000 -
120.96/121.31 c 121 438863 28454 1 - 0.0000 -
125.94/126.36 c 126 454267 29936 1 - 0.0000 -
131.02/131.40 c 131 472091 30676 1 - 0.0000 -
136.01/136.45 c 136 488832 31403 1 - 0.0000 -
141.09/141.50 c 142 502754 32140 1 - 0.0000 -
146.08/146.55 c 147 518855 32902 1 - 0.0000 -
151.16/151.60 c 152 536663 33457 1 - 0.0000 -
156.15/156.65 c 157 555030 34403 1 - 0.0000 -
161.24/161.70 c 162 570999 35646 1 - 0.0000 -
166.22/166.75 c 167 587663 35932 1 - 0.0000 -
171.31/171.80 c 172 605656 36547 1 - 0.0000 -
176.29/176.85 c 177 623967 37221 1 - 0.0000 -
181.38/181.90 c 182 640027 37908 1 - 0.0000 -
186.37/186.95 c 187 655303 38474 1 - 0.0000 -
191.35/192.01 c 192 674889 39434 1 - 0.0000 -
196.44/197.05 c 197 690480 40366 1 - 0.0000 -
201.53/202.11 c 202 707595 41505 1 - 0.0000 -
206.51/207.18 c 207 724709 43020 1 - 0.0000 -
211.59/212.23 c 212 742983 44569 1 - 0.0000 -
216.58/217.29 c 217 762792 46126 1 - 0.0000 -
221.66/222.35 c 222 782943 47787 1 - 0.0000 -
226.74/227.41 c 227 801513 48843 1 - 0.0000 -
231.73/232.48 c 232 820434 49834 1 - 0.0000 -
236.81/237.53 c 238 840749 50663 1 - 0.0000 -
241.80/242.58 c 243 862130 52003 1 - 0.0000 -
246.88/247.64 c 248 880784 53447 1 - 0.0000 -
251.87/252.69 c 253 903991 54270 1 - 0.0000 -
256.95/257.74 c 258 922691 55490 1 - 0.0000 -
261.94/262.79 c 263 943214 57627 1 - 0.0000 -
267.02/267.84 c 268 966886 57907 1 - 0.0000 -
272.11/272.92 c 273 985994 59137 1 - 0.0000 -
277.09/277.96 c 278 1005380 60473 1 - 0.0000 -
282.18/283.01 c 283 1021979 61824 1 - 0.0000 -
287.26/288.11 c 288 1039758 63213 1 - 0.0000 -
292.24/293.19 c 293 1060756 64876 1 - 0.0000 -
297.32/298.24 c 298 1077978 66599 1 - 0.0000 -
302.40/303.32 c 303 1099908 67913 1 - 0.0000 -
307.39/308.37 c 308 1117100 69841 1 - 0.0000 -
312.47/313.42 c 313 1138054 71173 1 - 0.0000 -
317.45/318.49 c 318 1158881 71089 1 - 0.0000 -
322.54/323.54 c 324 1181993 71733 1 - 0.0000 -
327.52/328.59 c 329 1203093 73645 1 - 0.0000 -
332.61/333.64 c 334 1225198 74408 1 - 0.0000 -
337.59/338.69 c 339 1243929 75569 1 - 0.0000 -
342.68/343.78 c 344 1262495 77117 1 - 0.0000 -
347.77/348.83 c 349 1287458 77018 1 - 0.0000 -
352.75/353.88 c 354 1311075 76883 1 - 0.0000 -
357.84/358.93 c 359 1327663 78539 1 - 0.0000 -
362.94/364.02 c 364 1351684 78938 1 - 0.0000 -
367.92/369.07 c 369 1370096 79368 1 - 0.0000 -
373.01/374.12 c 374 1383312 80374 1 - 0.0000 -
378.09/379.26 c 379 1395830 81544 1 - 0.0000 -
383.17/384.31 c 384 1409311 82822 1 - 0.0000 -
388.25/389.49 c 390 1423212 84173 1 - 0.0000 -
393.35/394.57 c 395 1437202 85141 1 - 0.0000 -
398.43/399.64 c 400 1452681 86182 1 - 0.0000 -
403.41/404.69 c 405 1467639 87476 1 - 0.0000 -
408.50/409.74 c 410 1480812 88635 1 - 0.0000 -
413.58/414.85 c 415 1494978 89920 1 - 0.0000 -
418.66/419.90 c 420 1513321 90911 1 - 0.0000 -
423.77/425.07 c 425 1526730 92324 1 - 0.0000 -
428.84/430.11 c 430 1542572 93464 1 - 0.0000 -
433.83/435.16 c 435 1555735 94295 1 - 0.0000 -
438.91/440.28 c 440 1569489 95153 1 - 0.0000 -
444.00/445.33 c 445 1584259 95903 1 - 0.0000 -
448.98/450.38 c 450 1599710 96202 1 - 0.0000 -
454.07/455.43 c 455 1613895 96376 1 - 0.0000 -
459.05/460.48 c 460 1628621 96625 1 - 0.0000 -
464.43/465.80 c 466 1637134 97877 1 - 0.0000 -
469.42/470.84 c 471 1650506 98165 1 - 0.0000 -
474.62/476.08 c 476 1664514 98815 1 - 0.0000 -
479.99/481.48 c 481 1679491 99551 1 - 0.0000 -
485.17/486.69 c 487 1694449 99534 1 - 0.0000 -
490.25/491.73 c 492 1711662 99357 1 - 0.0000 -
495.24/496.78 c 497 1730682 99171 1 - 0.0000 -
500.33/501.83 c 502 1749263 98965 1 - 0.0000 -
505.52/507.06 c 507 1767314 99226 1 - 0.0000 -
510.61/512.15 c 512 1785094 99201 1 - 0.0000 -
515.68/517.20 c 517 1798860 100023 1 - 0.0000 -
520.66/522.25 c 522 1807031 100816 1 - 0.0000 -
525.75/527.33 c 527 1821609 100570 1 - 0.0000 -
530.73/532.38 c 532 1838807 100738 1 - 0.0000 -
536.03/537.64 c 538 1850954 100930 1 - 0.0000 -
541.11/542.74 c 543 1861413 102491 1 - 0.0000 -
546.30/547.92 c 548 1876357 103265 1 - 0.0000 -
551.39/553.06 c 553 1895811 103228 1 - 0.0000 -
556.57/558.24 c 558 1913055 103124 1 - 0.0000 -
561.56/563.29 c 563 1927781 103270 1 - 0.0000 -
566.74/568.40 c 568 1943650 103861 1 - 0.0000 -
571.93/573.65 c 574 1956309 104590 1 - 0.0000 -
577.12/578.83 c 579 1966724 105453 1 - 0.0000 -
582.10/583.89 c 584 1988192 106267 1 - 0.0000 -
587.19/588.96 c 589 2008458 106601 1 - 0.0000 -
592.28/594.05 c 594 2032564 106285 1 - 0.0000 -
597.46/599.25 c 599 2056730 106041 1 - 0.0000 -
602.55/604.37 c 604 2077624 106079 1 - 0.0000 -
607.63/609.42 c 609 2089034 107623 1 - 0.0000 -
612.82/614.61 c 615 2102304 109015 1 - 0.0000 -
617.80/619.68 c 620 2119841 110388 1 - 0.0000 -
622.89/624.73 c 625 2135590 111938 1 - 0.0000 -
627.87/629.78 c 630 2157907 113491 1 - 0.0000 -
633.17/635.03 c 635 2175596 114667 1 - 0.0000 -
638.35/640.21 c 640 2193404 115531 1 - 0.0000 -
643.34/645.27 c 645 2208201 116560 1 - 0.0000 -
648.42/650.31 c 650 2223084 117303 1 - 0.0000 -
653.40/655.36 c 655 2238536 118193 1 - 0.0000 -
658.89/660.82 c 661 2249887 119260 1 - 0.0000 -
664.19/666.18 c 666 2264662 120959 1 - 0.0000 -
669.36/671.33 c 671 2280873 122898 1 - 0.0000 -
674.34/676.38 c 676 2292069 124340 1 - 0.0000 -
679.44/681.46 c 681 2307948 126345 1 - 0.0000 -
684.52/686.57 c 687 2324125 127880 1 - 0.0000 -
689.60/691.66 c 692 2342834 129498 1 - 0.0000 -
694.89/696.98 c 697 2354792 131222 1 - 0.0000 -
699.98/702.05 c 702 2370758 132524 1 - 0.0000 -
705.16/707.21 c 707 2380753 133839 1 - 0.0000 -
710.14/712.26 c 712 2394504 134824 1 - 0.0000 -
715.23/717.36 c 717 2413798 135497 1 - 0.0000 -
720.31/722.49 c 722 2430287 135703 1 - 0.0000 -
725.40/727.54 c 728 2449882 135889 1 - 0.0000 -
730.49/732.62 c 733 2471891 135968 1 - 0.0000 -
735.57/737.72 c 738 2488434 136853 1 - 0.0000 -
740.66/742.89 c 743 2510497 137980 1 - 0.0000 -
745.95/748.14 c 748 2528583 139278 1 - 0.0000 -
750.95/753.19 c 753 2552839 139041 1 - 0.0000 -
756.01/758.26 c 758 2570291 139709 1 - 0.0000 -
761.11/763.35 c 763 2587529 141109 1 - 0.0000 -
766.29/768.54 c 769 2603541 142897 1 - 0.0000 -
771.48/773.74 c 774 2619214 144914 1 - 0.0000 -
776.46/778.78 c 779 2636253 146597 1 - 0.0000 -
781.54/783.89 c 784 2652437 148289 1 - 0.0000 -
786.63/788.93 c 789 2666448 149930 1 - 0.0000 -
791.72/794.10 c 794 2687150 151646 1 - 0.0000 -
796.81/799.15 c 799 2699867 153639 1 - 0.0000 -
802.19/804.50 c 805 2717198 155159 1 - 0.0000 -
807.38/809.75 c 810 2735074 156581 1 - 0.0000 -
812.56/814.97 c 815 2752951 157606 1 - 0.0000 -
817.66/820.06 c 820 2771556 158557 1 - 0.0000 -
822.83/825.24 c 825 2788417 159666 1 - 0.0000 -
827.82/830.29 c 830 2803868 160685 1 - 0.0000 -
832.90/835.34 c 835 2823683 161067 1 - 0.0000 -
838.09/840.50 c 840 2842667 161715 1 - 0.0000 -
843.18/845.67 c 846 2853903 163463 1 - 0.0000 -
848.36/850.82 c 851 2869836 165100 1 - 0.0000 -
853.56/856.02 c 856 2883525 166845 1 - 0.0000 -
858.74/861.22 c 861 2897600 168584 1 - 0.0000 -
863.82/866.37 c 866 2914540 170004 1 - 0.0000 -
868.91/871.49 c 872 2928524 171460 1 - 0.0000 -
874.60/877.19 c 877 2936309 173300 1 - 0.0000 -
879.67/882.27 c 882 2948563 175210 1 - 0.0000 -
884.96/887.57 c 888 2960326 177085 1 - 0.0000 -
890.06/892.66 c 893 2973073 178596 1 - 0.0000 -
895.14/897.78 c 898 2984788 180309 1 - 0.0000 -
900.22/902.88 c 903 2997761 181768 1 - 0.0000 -
905.81/908.41 c 908 3010270 183439 1 - 0.0000 -
910.99/913.62 c 914 3027721 184641 1 - 0.0000 -
916.09/918.74 c 919 3042924 185828 1 - 0.0000 -
921.18/923.80 c 924 3064416 187270 1 - 0.0000 -
926.25/928.91 c 929 3083442 188695 1 - 0.0000 -
931.35/934.05 c 934 3099781 189760 1 - 0.0000 -
936.44/939.13 c 939 3115787 190778 1 - 0.0000 -
941.52/944.29 c 944 3134574 191571 1 - 0.0000 -
946.60/949.39 c 949 3151917 192390 1 - 0.0000 -
951.79/954.59 c 955 3170550 192885 1 - 0.0000 -
956.88/959.65 c 960 3189140 193153 1 - 0.0000 -
961.96/964.70 c 965 3207497 193537 1 - 0.0000 -
966.94/969.79 c 970 3218109 195157 1 - 0.0000 -
972.03/974.84 c 975 3233716 196628 1 - 0.0000 -
977.02/979.89 c 980 3254881 196713 1 - 0.0000 -
982.32/985.11 c 985 3274330 197659 1 - 0.0000 -
987.40/990.27 c 990 3291564 198653 1 - 0.0000 -
993.08/995.95 c 996 3304717 200694 1 - 0.0000 -
998.18/1001.02 c 1001 3327439 201046 1 - 0.0000 -
1003.65/1006.56 c 1007 3346505 201752 1 - 0.0000 -
1008.73/1011.68 c 1012 3372602 201574 1 - 0.0000 -
1013.92/1016.87 c 1017 3395674 202028 1 - 0.0000 -
1019.12/1022.07 c 1022 3421799 201759 1 - 0.0000 -
1024.39/1027.35 c 1027 3444484 202168 1 - 0.0000 -
1029.47/1032.41 c 1032 3454616 203846 1 - 0.0000 -
1034.76/1037.70 c 1038 3475573 204101 1 - 0.0000 -
1040.06/1043.10 c 1043 3497119 204625 1 - 0.0000 -
1045.33/1048.36 c 1048 3518792 204962 1 - 0.0000 -
1050.41/1053.45 c 1053 3539012 205478 1 - 0.0000 -
1055.49/1058.50 c 1059 3551957 206249 1 - 0.0000 -
1060.48/1063.58 c 1064 3566890 207452 1 - 0.0000 -
1065.56/1068.65 c 1069 3584037 207882 1 - 0.0000 -
1070.73/1073.83 c 1074 3604726 207645 1 - 0.0000 -
1075.81/1079.01 c 1079 3625809 207904 1 - 0.0000 -
1081.19/1084.35 c 1084 3639129 209296 1 - 0.0000 -
1086.37/1089.53 c 1090 3652457 210666 1 - 0.0000 -
1091.65/1094.89 c 1095 3667741 211891 1 - 0.0000 -
1097.13/1100.37 c 1100 3682804 213148 1 - 0.0000 -
1102.21/1105.49 c 1106 3695161 214553 1 - 0.0000 -
1107.39/1110.63 c 1111 3710721 215964 1 - 0.0000 -
1112.67/1116.01 c 1116 3725166 216954 1 - 0.0000 -
1117.76/1121.10 c 1121 3739461 218641 1 - 0.0000 -
1122.93/1126.23 c 1126 3752812 219814 1 - 0.0000 -
1128.11/1131.41 c 1131 3772513 220853 1 - 0.0000 -
1133.20/1136.54 c 1137 3789551 221119 1 - 0.0000 -
1138.28/1141.63 c 1142 3805115 221812 1 - 0.0000 -
1143.48/1146.80 c 1147 3814706 223116 1 - 0.0000 -
1148.46/1151.86 c 1152 3830021 224257 1 - 0.0000 -
1153.55/1156.91 c 1157 3847471 225104 1 - 0.0000 -
1158.83/1162.24 c 1162 3861838 226427 1 - 0.0000 -
1164.11/1167.54 c 1168 3876447 227884 1 - 0.0000 -
1169.20/1172.63 c 1173 3895584 228249 1 - 0.0000 -
1174.39/1177.84 c 1178 3918374 228090 1 - 0.0000 -
1179.77/1183.21 c 1183 3927470 229560 1 - 0.0000 -
1184.76/1188.26 c 1188 3941205 230678 1 - 0.0000 -
1189.85/1193.36 c 1193 3960965 230616 1 - 0.0000 -
1194.93/1198.41 c 1198 3981702 230419 1 - 0.0000 -
1200.12/1203.68 c 1204 4003196 230158 1 - 0.0000 -
1205.31/1208.83 c 1209 4020798 230444 1 - 0.0000 -
1210.69/1214.25 c 1214 4042374 230548 1 - 0.0000 -
1215.78/1219.38 c 1219 4055114 231898 1 - 0.0000 -
1221.16/1224.70 c 1225 4069462 233318 1 - 0.0000 -
1226.46/1230.04 c 1230 4086184 234600 1 - 0.0000 -
1231.44/1235.09 c 1235 4100911 236261 1 - 0.0000 -
1236.62/1240.29 c 1240 4113724 237620 1 - 0.0000 -
1241.81/1245.49 c 1246 4130165 238875 1 - 0.0000 -
1246.90/1250.55 c 1251 4141032 240091 1 - 0.0000 -
1252.28/1255.91 c 1256 4153967 241496 1 - 0.0000 -
1257.37/1261.05 c 1261 4170918 242771 1 - 0.0000 -
1262.36/1266.10 c 1266 4187160 243219 1 - 0.0000 -
1267.63/1271.34 c 1271 4205511 243598 1 - 0.0000 -
1273.02/1276.78 c 1277 4214625 244939 1 - 0.0000 -
1278.11/1281.84 c 1282 4225845 246165 1 - 0.0000 -
1283.19/1286.97 c 1287 4243170 247321 1 - 0.0000 -
1288.78/1292.56 c 1293 4257157 247884 1 - 0.0000 -
1294.07/1297.80 c 1298 4268552 249443 1 - 0.0000 -
1299.26/1303.10 c 1303 4284880 250581 1 - 0.0000 -
1304.34/1308.15 c 1308 4305129 250426 1 - 0.0000 -
1309.42/1313.27 c 1313 4319745 251244 1 - 0.0000 -
1314.91/1318.77 c 1319 4335374 252753 1 - 0.0000 -
1320.09/1323.95 c 1324 4353237 253110 1 - 0.0000 -
1325.19/1329.07 c 1329 4371886 253077 1 - 0.0000 -
1330.36/1334.29 c 1334 4394064 252813 1 - 0.0000 -
1335.45/1339.36 c 1339 4417096 252440 1 - 0.0000 -
1341.15/1345.06 c 1345 4438631 252345 1 - 0.0000 -
1346.23/1350.16 c 1350 4461102 251915 1 - 0.0000 -
1351.51/1355.47 c 1355 4480454 251677 1 - 0.0000 -
1356.69/1360.60 c 1361 4502487 251306 1 - 0.0000 -
1361.78/1365.74 c 1366 4520669 251098 1 - 0.0000 -
1366.77/1370.79 c 1371 4541735 250888 1 - 0.0000 -
1371.95/1375.93 c 1376 4561969 251096 1 - 0.0000 -
1376.94/1380.99 c 1381 4583361 250730 1 - 0.0000 -
1382.14/1386.16 c 1386 4603466 250531 1 - 0.0000 -
1387.41/1391.44 c 1391 4617637 252007 1 - 0.0000 -
1392.40/1396.49 c 1396 4636607 251989 1 - 0.0000 -
1397.99/1402.02 c 1402 4653534 252000 1 - 0.0000 -
1402.98/1407.06 c 1407 4676863 251303 1 - 0.0000 -
1408.07/1412.19 c 1412 4699968 250626 1 - 0.0000 -
1413.54/1417.62 c 1418 4712717 251937 1 - 0.0000 -
1418.52/1422.68 c 1423 4733083 251863 1 - 0.0000 -
1423.71/1427.83 c 1428 4749041 252407 1 - 0.0000 -
1429.10/1433.25 c 1433 4759884 253562 1 - 0.0000 -
1434.48/1438.63 c 1439 4772037 254761 1 - 0.0000 -
1439.77/1443.90 c 1444 4782939 255905 1 - 0.0000 -
1445.26/1449.45 c 1449 4792093 257177 1 - 0.0000 -
1450.64/1454.80 c 1455 4802756 258388 1 - 0.0000 -
1455.72/1459.96 c 1460 4813794 259521 1 - 0.0000 -
1461.12/1465.32 c 1465 4825614 260531 1 - 0.0000 -
1466.19/1470.47 c 1470 4840215 261638 1 - 0.0000 -
1471.28/1475.52 c 1476 4854873 262484 1 - 0.0000 -
1476.47/1480.77 c 1481 4865938 263570 1 - 0.0000 -
1481.95/1486.21 c 1486 4875830 264724 1 - 0.0000 -
1487.14/1491.48 c 1491 4887713 265411 1 - 0.0000 -
1492.84/1497.11 c 1497 4896557 266335 1 - 0.0000 -
1497.90/1502.23 c 1502 4910826 267133 1 - 0.0000 -
1503.00/1507.36 c 1507 4924375 267674 1 - 0.0000 -
1508.18/1512.53 c 1513 4935652 268731 1 - 0.0000 -
1513.57/1517.97 c 1518 4947394 269489 1 - 0.0000 -
1518.76/1523.13 c 1523 4960697 270502 1 - 0.0000 -
1523.94/1528.32 c 1528 4973546 271160 1 - 0.0000 -
1528.92/1533.36 c 1533 4986856 271594 1 - 0.0000 -
1534.11/1538.59 c 1539 5001405 271839 1 - 0.0000 -
1539.50/1543.90 c 1544 5015349 272929 1 - 0.0000 -
1544.59/1549.02 c 1549 5035101 272833 1 - 0.0000 -
1549.68/1554.13 c 1554 5043286 273388 1 - 0.0000 -
1554.67/1559.19 c 1559 5056374 274598 1 - 0.0000 -
1559.74/1564.25 c 1564 5072451 274524 1 - 0.0000 -
1565.23/1569.77 c 1570 5083614 275765 1 - 0.0000 -
1570.72/1575.23 c 1575 5094859 277240 1 - 0.0000 -
1576.40/1580.92 c 1581 5102772 278451 1 - 0.0000 -
1581.38/1585.96 c 1586 5113452 279765 1 - 0.0000 -
1587.16/1591.72 c 1592 5123490 281087 1 - 0.0000 -
1592.95/1597.56 c 1598 5130447 282444 1 - 0.0000 -
1598.04/1602.64 c 1603 5139796 283697 1 - 0.0000 -
1603.62/1608.23 c 1608 5146632 284893 1 - 0.0000 -
1608.81/1613.42 c 1613 5155450 285989 1 - 0.0000 -
1613.99/1618.64 c 1619 5166277 287208 1 - 0.0000 -
1619.88/1624.58 c 1625 5173456 288587 1 - 0.0000 -
1625.07/1629.72 c 1630 5183079 289694 1 - 0.0000 -
1630.47/1635.19 c 1635 5195534 290917 1 - 0.0000 -
1635.54/1640.26 c 1640 5209711 292182 1 - 0.0000 -
1641.73/1646.40 c 1646 5220217 293418 1 - 0.0000 -
1646.71/1651.46 c 1651 5231888 294297 1 - 0.0000 -
1652.20/1656.95 c 1657 5242144 295628 1 - 0.0000 -
1657.48/1662.20 c 1662 5258851 296881 1 - 0.0000 -
1663.07/1667.80 c 1668 5269476 298400 1 - 0.0000 -
1668.26/1673.03 c 1673 5285278 299486 1 - 0.0000 -
1673.64/1678.40 c 1678 5298634 300527 1 - 0.0000 -
1678.63/1683.46 c 1683 5315357 301552 1 - 0.0000 -
1683.81/1688.60 c 1689 5328462 302436 1 - 0.0000 -
1689.00/1693.87 c 1694 5343410 303384 1 - 0.0000 -
1694.19/1699.08 c 1699 5356771 304420 1 - 0.0000 -
1699.87/1704.76 c 1705 5373314 304977 1 - 0.0000 -
1705.05/1709.96 c 1710 5386698 305456 1 - 0.0000 -
1710.74/1715.60 c 1716 5403294 305980 1 - 0.0000 -
1715.82/1720.72 c 1721 5423454 306048 1 - 0.0000 -
1721.13/1726.06 c 1726 5439826 306500 1 - 0.0000 -
1726.39/1731.32 c 1731 5460808 306398 1 - 0.0000 -
1731.79/1736.71 c 1737 5482038 306780 1 - 0.0000 -
1737.08/1742.04 c 1742 5497250 306900 1 - 0.0000 -
1742.95/1747.90 c 1748 5508446 307310 1 - 0.0000 -
1748.33/1753.34 c 1753 5521113 308493 1 - 0.0000 -
1753.62/1758.65 c 1759 5531978 309670 1 - 0.0000 -
1758.71/1763.75 c 1764 5543974 310820 1 - 0.0000 -
1764.01/1769.02 c 1769 5554164 311883 1 - 0.0000 -
1769.10/1774.16 c 1774 5564394 312853 1 - 0.0000 -
1774.27/1779.39 c 1779 5573565 313920 1 - 0.0000 -
1779.66/1784.71 c 1785 5585074 315023 1 - 0.0000 -
1785.44/1790.52 c 1791 5597915 316036 1 - 0.0000 -
1790.53/1795.63 c 1796 5610084 316668 1 - 0.0000 -
1795.81/1800.99 c 1801 5616994 317216 1 - 0.0000 -
1801.10/1806.26 c 1806 5629406 318106 1 - 0.0000 -
1806.48/1811.64 c 1812 5643530 318974 1 - 0.0000 -
1811.98/1817.12 c 1817 5656470 320178 1 - 0.0000 -
1817.05/1822.29 c 1822 5670564 321510 1 - 0.0000 -
1822.95/1828.17 c 1828 5681288 322376 1 - 0.0000 -
1828.02/1833.21 c 1833 5697815 323619 1 - 0.0000 -
1833.61/1838.80 c 1839 5713840 325478 1 - 0.0000 -
1838.99/1844.20 c 1844 5727807 326861 1 - 0.0000 -
1844.28/1849.51 c 1850 5745702 328650 1 - 0.0000 -
1849.36/1854.64 c 1855 5763770 330178 1 - 0.0000 -
1854.86/1860.11 c 1860 5777776 331702 1 - 0.0000 -
1860.14/1865.46 c 1865 5796335 333567 1 - 0.0000 -
1865.33/1870.69 c 1871 5807127 335112 1 - 0.0000 -
1870.72/1876.02 c 1876 5820924 336501 1 - 0.0000 -
1876.30/1881.65 c 1882 5837700 337885 1 - 0.0000 -
1881.69/1887.04 c 1887 5857052 339279 1 - 0.0000 -
1887.57/1892.95 c 1893 5871264 341151 1 - 0.0000 -
1893.55/1898.95 c 1899 5881174 342645 1 - 0.0000 -
1898.83/1904.20 c 1904 5895148 344569 1 - 0.0000 -
1904.32/1909.79 c 1910 5906766 346361 1 - 0.0000 -
1910.30/1915.74 c 1916 5915880 348077 1 - 0.0000 -
1915.49/1921.01 c 1921 5927230 349915 1 - 0.0000 -
1920.96/1926.40 c 1926 5935240 351215 1 - 0.0000 -
1926.05/1931.56 c 1932 5945922 352727 1 - 0.0000 -
1931.24/1936.78 c 1937 5958571 354636 1 - 0.0000 -
1936.63/1942.12 c 1942 5970182 356169 1 - 0.0000 -
1942.11/1947.60 c 1948 5981678 357458 1 - 0.0000 -
1947.40/1952.91 c 1953 5993111 358951 1 - 0.0000 -
1952.98/1958.51 c 1959 6004907 360637 1 - 0.0000 -
1958.26/1963.88 c 1964 6017040 362216 1 - 0.0000 -
1963.84/1969.44 c 1969 6028347 363719 1 - 0.0000 -
1969.03/1974.60 c 1975 6039208 365370 1 - 0.0000 -
1974.02/1979.65 c 1980 6054184 367030 1 - 0.0000 -
1979.31/1984.98 c 1985 6066297 368677 1 - 0.0000 -
1984.40/1990.09 c 1990 6076866 370112 1 - 0.0000 -
1989.97/1995.66 c 1996 6090361 371715 1 - 0.0000 -
1995.15/2000.84 c 2001 6101044 373258 1 - 0.0000 -
2000.45/2006.15 c 2006 6118315 375219 1 - 0.0000 -
2006.12/2011.88 c 2012 6136284 376812 1 - 0.0000 -
2011.42/2017.17 c 2017 6150956 378492 1 - 0.0000 -
2016.89/2022.60 c 2023 6164617 379669 1 - 0.0000 -
2021.99/2027.77 c 2028 6187527 381131 1 - 0.0000 -
2027.66/2033.41 c 2033 6202835 382119 1 - 0.0000 -
2033.26/2039.06 c 2039 6216639 383661 1 - 0.0000 -
2038.35/2044.11 c 2044 6228424 385022 1 - 0.0000 -
2043.53/2049.30 c 2049 6239069 386691 1 - 0.0000 -
2048.71/2054.57 c 2055 6258029 387763 1 - 0.0000 -
2054.31/2060.15 c 2060 6267950 389438 1 - 0.0000 -
2059.39/2065.27 c 2065 6285441 390841 1 - 0.0000 -
2064.46/2070.37 c 2070 6304996 392168 1 - 0.0000 -
2069.85/2075.73 c 2076 6319767 393601 1 - 0.0000 -
2075.34/2081.22 c 2081 6339208 395346 1 - 0.0000 -
2080.42/2086.39 c 2086 6359888 396672 1 - 0.0000 -
2085.90/2091.89 c 2092 6380924 398501 1 - 0.0000 -
2091.20/2097.15 c 2097 6393555 400266 1 - 0.0000 -
2096.37/2102.39 c 2102 6411393 401856 1 - 0.0000 -
2101.56/2107.53 c 2108 6433955 403244 1 - 0.0000 -
2107.05/2113.05 c 2113 6449726 404701 1 - 0.0000 -
2112.62/2118.68 c 2119 6458774 406113 1 - 0.0000 -
2118.20/2124.27 c 2124 6477763 407382 1 - 0.0000 -
2123.69/2129.72 c 2130 6502589 408800 1 - 0.0000 -
2129.18/2135.22 c 2135 6517549 410164 1 - 0.0000 -
2134.37/2140.45 c 2140 6540358 411269 1 - 0.0000 -
2139.65/2145.73 c 2146 6561314 412505 1 - 0.0000 -
2145.05/2151.13 c 2151 6578007 413728 1 - 0.0000 -
2150.12/2156.28 c 2156 6594942 414493 1 - 0.0000 -
2155.41/2161.59 c 2162 6610062 415899 1 - 0.0000 -
2160.69/2166.84 c 2167 6631230 416795 1 - 0.0000 -
2165.99/2172.18 c 2172 6650335 417804 1 - 0.0000 -
2171.87/2178.07 c 2178 6666994 419509 1 - 0.0000 -
2177.45/2183.67 c 2184 6676830 421369 1 - 0.0000 -
2182.94/2189.12 c 2189 6694186 423237 1 - 0.0000 -
2188.01/2194.24 c 2194 6715064 425089 1 - 0.0000 -
2193.30/2199.53 c 2200 6735657 426304 1 - 0.0000 -
2198.48/2204.76 c 2205 6751621 428034 1 - 0.0000 -
2204.07/2210.31 c 2210 6770666 430055 1 - 0.0000 -
2209.87/2216.17 c 2216 6786455 431368 1 - 0.0000 -
2215.24/2221.57 c 2222 6805003 432526 1 - 0.0000 -
2220.42/2226.75 c 2227 6826008 433826 1 - 0.0000 -
2226.10/2232.44 c 2232 6850446 435198 1 - 0.0000 -
2231.39/2237.70 c 2238 6874763 436325 1 - 0.0000 -
2236.78/2243.12 c 2243 6902098 437046 1 - 0.0000 -
2241.95/2248.34 c 2248 6924796 438141 1 - 0.0000 -
2247.05/2253.45 c 2253 6936280 439189 1 - 0.0000 -
2252.42/2258.80 c 2259 6945520 440965 1 - 0.0000 -
2257.82/2264.22 c 2264 6954928 442419 1 - 0.0000 -
2263.00/2269.46 c 2269 6965411 443756 1 - 0.0000 -
2268.19/2274.69 c 2275 6977945 445051 1 - 0.0000 -
2273.58/2280.03 c 2280 6988598 446418 1 - 0.0000 -
2278.57/2285.08 c 2285 6999302 447516 1 - 0.0000 -
2283.65/2290.13 c 2290 7012586 448906 1 - 0.0000 -
2289.23/2295.70 c 2296 7023065 450703 1 - 0.0000 -
2294.53/2301.05 c 2301 7029485 451833 1 - 0.0000 -
2299.80/2306.35 c 2306 7040781 453430 1 - 0.0000 -
2305.09/2311.66 c 2312 7051451 454988 1 - 0.0000 -
2310.48/2317.08 c 2317 7060894 456687 1 - 0.0000 -
2315.95/2322.52 c 2323 7070646 457903 1 - 0.0000 -
2321.34/2327.92 c 2328 7084025 459012 1 - 0.0000 -
2326.54/2333.15 c 2333 7101147 459970 1 - 0.0000 -
2331.71/2338.33 c 2338 7109614 461025 1 - 0.0000 -
2336.90/2343.54 c 2344 7121701 462220 1 - 0.0000 -
2341.99/2348.65 c 2349 7136048 463173 1 - 0.0000 -
2347.78/2354.40 c 2354 7148784 463891 1 - 0.0000 -
2353.16/2359.80 c 2360 7163525 464711 1 - 0.0000 -
2358.36/2365.03 c 2365 7173809 465653 1 - 0.0000 -
2363.35/2370.08 c 2370 7187002 466498 1 - 0.0000 -
2368.53/2375.22 c 2375 7199156 466770 1 - 0.0000 -
2373.51/2380.27 c 2380 7214653 467208 1 - 0.0000 -
2379.19/2385.90 c 2386 7231014 467369 1 - 0.0000 -
2385.08/2391.88 c 2392 7241417 469068 1 - 0.0000 -
2391.06/2397.86 c 2398 7244490 469939 1 - 0.0000 -
2396.45/2403.25 c 2403 7251218 471465 1 - 0.0000 -
2402.13/2408.90 c 2409 7259951 472908 1 - 0.0000 -
2407.62/2414.47 c 2414 7269762 474499 1 - 0.0000 -
2413.00/2419.85 c 2420 7281431 476024 1 - 0.0000 -
2418.10/2424.90 c 2425 7292361 476866 1 - 0.0000 -
2423.19/2430.09 c 2430 7308348 477393 1 - 0.0000 -
2428.87/2435.70 c 2436 7322844 477829 1 - 0.0000 -
2434.16/2441.07 c 2441 7338993 478102 1 - 0.0000 -
2439.34/2446.29 c 2446 7352483 479455 1 - 0.0000 -
2444.93/2451.80 c 2452 7361875 480501 1 - 0.0000 -
2450.12/2457.08 c 2457 7373655 482053 1 - 0.0000 -
2455.49/2462.41 c 2462 7396430 482794 1 - 0.0000 -
2460.88/2467.89 c 2468 7411109 484182 1 - 0.0000 -
2466.66/2473.60 c 2474 7421286 485697 1 - 0.0000 -
2471.65/2478.66 c 2479 7443810 486731 1 - 0.0000 -
2477.24/2484.24 c 2484 7454624 487896 1 - 0.0000 -
2482.63/2489.61 c 2490 7467334 489172 1 - 0.0000 -
2488.01/2495.05 c 2495 7477164 490970 1 - 0.0000 -
2493.48/2500.57 c 2501 7486777 492657 1 - 0.0000 -
2498.87/2505.95 c 2506 7493596 493952 1 - 0.0000 -
2504.15/2511.28 c 2511 7500894 495274 1 - 0.0000 -
2510.14/2517.21 c 2517 7509747 496793 1 - 0.0000 -
2515.73/2522.89 c 2523 7519008 498154 1 - 0.0000 -
2521.21/2528.31 c 2528 7531531 499945 1 - 0.0000 -
2526.70/2533.80 c 2534 7539873 501125 1 - 0.0000 -
2532.09/2539.27 c 2539 7549774 502498 1 - 0.0000 -
2537.27/2544.46 c 2544 7560739 503723 1 - 0.0000 -
2542.65/2549.83 c 2550 7572518 505320 1 - 0.0000 -
2547.75/2554.97 c 2555 7582861 506732 1 - 0.0000 -
2553.13/2560.33 c 2560 7589804 508177 1 - 0.0000 -
2558.93/2566.13 c 2566 7596532 509487 1 - 0.0000 -
2564.10/2571.33 c 2571 7602334 511067 1 - 0.0000 -
2569.49/2576.79 c 2577 7611659 512566 1 - 0.0000 -
2574.89/2582.19 c 2582 7620952 514091 1 - 0.0000 -
2580.56/2587.88 c 2588 7628440 515581 1 - 0.0000 -
2585.76/2593.05 c 2593 7639877 517072 1 - 0.0000 -
2591.44/2598.78 c 2599 7648271 518330 1 - 0.0000 -
2597.22/2604.53 c 2605 7654372 519641 1 - 0.0000 -
2603.11/2610.47 c 2610 7666373 521522 1 - 0.0000 -
2608.20/2615.58 c 2616 7676157 522742 1 - 0.0000 -
2613.38/2620.77 c 2621 7687553 524032 1 - 0.0000 -
2618.67/2626.10 c 2626 7699674 525311 1 - 0.0000 -
2623.85/2631.23 c 2631 7711797 526684 1 - 0.0000 -
2629.44/2636.82 c 2637 7723824 528265 1 - 0.0000 -
2634.82/2642.22 c 2642 7731798 529571 1 - 0.0000 -
2640.22/2647.62 c 2648 7745649 530670 1 - 0.0000 -
2645.80/2653.27 c 2653 7754970 532051 1 - 0.0000 -
2650.88/2658.31 c 2658 7767892 533217 1 - 0.0000 -
2656.37/2663.84 c 2664 7778910 534131 1 - 0.0000 -
2661.46/2668.93 c 2669 7792744 535186 1 - 0.0000 -
2666.66/2674.14 c 2674 7807817 536045 1 - 0.0000 -
2671.94/2679.48 c 2679 7818394 536940 1 - 0.0000 -
2677.22/2684.72 c 2685 7827585 538490 1 - 0.0000 -
2682.40/2689.92 c 2690 7839804 539643 1 - 0.0000 -
2687.50/2695.08 c 2695 7852388 540609 1 - 0.0000 -
2692.97/2700.52 c 2701 7859046 541621 1 - 0.0000 -
2697.97/2705.57 c 2706 7873563 542715 1 - 0.0000 -
2703.65/2711.24 c 2711 7884721 543647 1 - 0.0000 -
2709.04/2716.67 c 2717 7896863 544503 1 - 0.0000 -
2714.33/2721.93 c 2722 7910322 545244 1 - 0.0000 -
2719.81/2727.40 c 2727 7924854 546380 1 - 0.0000 -
2725.60/2733.22 c 2733 7929773 547827 1 - 0.0000 -
2731.40/2739.08 c 2739 7934904 549114 1 - 0.0000 -
2737.57/2745.23 c 2745 7936118 549624 1 - 0.0000 -
2742.76/2750.43 c 2750 7938686 550518 1 - 0.0000 -
2748.34/2756.05 c 2756 7945924 552218 1 - 0.0000 -
2753.62/2761.34 c 2761 7953055 553569 1 - 0.0000 -
2758.71/2766.44 c 2766 7959850 554792 1 - 0.0000 -
2764.20/2771.98 c 2772 7968504 556392 1 - 0.0000 -
2769.98/2777.78 c 2778 7976457 557697 1 - 0.0000 -
2775.57/2783.31 c 2783 7986260 559024 1 - 0.0000 -
2780.85/2788.69 c 2789 7997561 560291 1 - 0.0000 -
2786.04/2793.81 c 2794 8009839 561453 1 - 0.0000 -
2791.52/2799.33 c 2799 8023069 562823 1 - 0.0000 -
2796.79/2804.66 c 2805 8038617 563855 1 - 0.0000 -
2801.98/2809.82 c 2810 8056765 564713 1 - 0.0000 -
2807.36/2815.26 c 2815 8071041 565626 1 - 0.0000 -
2812.54/2820.48 c 2820 8085081 566494 1 - 0.0000 -
2817.63/2825.53 c 2826 8100326 567197 1 - 0.0000 -
2823.61/2831.53 c 2832 8107737 568436 1 - 0.0000 -
2828.79/2836.73 c 2837 8112554 569723 1 - 0.0000 -
2834.67/2842.66 c 2843 8120524 571157 1 - 0.0000 -
2840.24/2848.20 c 2848 8125970 572533 1 - 0.0000 -
2845.73/2853.73 c 2854 8132946 573717 1 - 0.0000 -
2851.02/2859.09 c 2859 8142999 575236 1 - 0.0000 -
2856.39/2864.48 c 2864 8152644 576249 1 - 0.0000 -
2861.77/2869.81 c 2870 8161934 577193 1 - 0.0000 -
2866.86/2874.95 c 2875 8171011 577964 1 - 0.0000 -
2872.63/2880.78 c 2881 8182308 578977 1 - 0.0000 -
2878.81/2887.01 c 2887 8188420 580375 1 - 0.0000 -
2884.69/2892.89 c 2893 8194424 581735 1 - 0.0000 -
2890.18/2898.34 c 2898 8204562 583303 1 - 0.0000 -
2895.46/2903.60 c 2904 8213815 584276 1 - 0.0000 -
2900.86/2909.02 c 2909 8226965 585120 1 - 0.0000 -
2906.14/2914.30 c 2914 8232601 586242 1 - 0.0000 -
2911.42/2919.63 c 2920 8243807 587656 1 - 0.0000 -
2916.61/2924.89 c 2925 8262292 588621 1 - 0.0000 -
2921.81/2930.01 c 2930 8277134 589183 1 - 0.0000 -
2927.08/2935.34 c 2935 8288680 590111 1 - 0.0000 -
2932.37/2940.60 c 2941 8305314 590790 1 - 0.0000 -
2937.46/2945.78 c 2946 8321729 591656 1 - 0.0000 -
2943.54/2951.82 c 2952 8333971 592412 1 - 0.0000 -
2948.84/2957.12 c 2957 8349185 593284 1 - 0.0000 -
2954.31/2962.63 c 2963 8355328 594439 1 - 0.0000 -
2959.60/2967.94 c 2968 8367232 595079 1 - 0.0000 -
2964.79/2973.19 c 2973 8378654 596119 1 - 0.0000 -
2969.97/2978.30 c 2978 8393762 597011 1 - 0.0000 -
2975.36/2983.78 c 2984 8412577 598066 1 - 0.0000 -
2980.55/2988.99 c 2989 8427210 598863 1 - 0.0000 -
2985.92/2994.30 c 2994 8448173 599516 1 - 0.0000 -
2991.11/2999.52 c 3000 8456764 600739 1 - 0.0000 -
2996.79/3005.25 c 3005 8463722 602257 1 - 0.0000 -
3002.29/3010.78 c 3011 8472002 603357 1 - 0.0000 -
3007.37/3015.88 c 3016 8484487 603808 1 - 0.0000 -
3012.46/3020.93 c 3021 8500227 604476 1 - 0.0000 -
3018.45/3026.92 c 3027 8512416 605605 1 - 0.0000 -
3024.22/3032.79 c 3033 8524404 607351 1 - 0.0000 -
3029.71/3038.24 c 3038 8530388 608713 1 - 0.0000 -
3035.10/3043.67 c 3044 8543875 610130 1 - 0.0000 -
3040.78/3049.30 c 3049 8554236 611723 1 - 0.0000 -
3046.17/3054.76 c 3055 8565494 613315 1 - 0.0000 -
3051.57/3060.12 c 3060 8577694 614903 1 - 0.0000 -
3057.04/3065.68 c 3066 8584794 615981 1 - 0.0000 -
3062.43/3071.09 c 3071 8592450 617297 1 - 0.0000 -
3068.21/3076.88 c 3077 8599264 618747 1 - 0.0000 -
3073.90/3082.51 c 3083 8606209 620238 1 - 0.0000 -
3079.99/3088.66 c 3089 8615985 621972 1 - 0.0000 -
3085.76/3094.47 c 3094 8623533 623584 1 - 0.0000 -
3091.15/3099.85 c 3100 8634013 625281 1 - 0.0000 -
3096.74/3105.45 c 3105 8643014 626959 1 - 0.0000 -
3103.33/3112.10 c 3112 8649574 628427 1 - 0.0000 -
3109.01/3117.72 c 3118 8657569 630122 1 - 0.0000 -
3114.30/3123.09 c 3123 8667222 631716 1 - 0.0000 -
3120.47/3129.25 c 3129 8677734 633392 1 - 0.0000 -
3125.67/3134.49 c 3134 8689105 634973 1 - 0.0000 -
3131.05/3139.84 c 3140 8699798 636570 1 - 0.0000 -
3136.44/3145.26 c 3145 8711640 638144 1 - 0.0000 -
3141.63/3150.42 c 3150 8722814 639686 1 - 0.0000 -
3146.81/3155.65 c 3156 8734848 641076 1 - 0.0000 -
3152.80/3161.64 c 3162 8744610 642600 1 - 0.0000 -
3157.99/3166.85 c 3167 8756027 644203 1 - 0.0000 -
3163.37/3172.28 c 3172 8767828 645682 1 - 0.0000 -
3169.06/3177.99 c 3178 8782738 647290 1 - 0.0000 -
3174.45/3183.31 c 3183 8797577 648985 1 - 0.0000 -
3179.93/3188.86 c 3189 8811594 650766 1 - 0.0000 -
3185.62/3194.51 c 3195 8824470 652436 1 - 0.0000 -
3190.61/3199.59 c 3200 8834171 653649 1 - 0.0000 -
3196.29/3205.20 c 3205 8843760 655003 1 - 0.0000 -
3201.48/3210.43 c 3210 8850756 656165 1 - 0.0000 -
3207.17/3216.17 c 3216 8858190 657723 1 - 0.0000 -
3212.45/3221.46 c 3221 8871810 659295 1 - 0.0000 -
3218.23/3227.27 c 3227 8882910 660741 1 - 0.0000 -
3223.92/3232.95 c 3233 8892952 662327 1 - 0.0000 -
3229.61/3238.68 c 3239 8901710 663773 1 - 0.0000 -
3235.39/3244.45 c 3244 8914217 665298 1 - 0.0000 -
3241.09/3250.19 c 3250 8922159 666886 1 - 0.0000 -
3246.35/3255.48 c 3255 8934826 668640 1 - 0.0000 -
3252.25/3261.39 c 3261 8941831 670083 1 - 0.0000 -
3257.73/3266.88 c 3267 8953360 671340 1 - 0.0000 -
3263.22/3272.35 c 3272 8966252 672780 1 - 0.0000 -
3268.50/3277.62 c 3278 8976104 674130 1 - 0.0000 -
3274.00/3283.15 c 3283 8990358 675874 1 - 0.0000 -
3279.57/3288.79 c 3289 9003132 677274 1 - 0.0000 -
3284.87/3294.05 c 3294 9012054 678556 1 - 0.0000 -
3290.65/3299.81 c 3300 9024829 680343 1 - 0.0000 -
3295.95/3305.12 c 3305 9032794 681538 1 - 0.0000 -
3301.72/3310.93 c 3311 9045093 683199 1 - 0.0000 -
3307.21/3316.49 c 3316 9055984 684667 1 - 0.0000 -
3312.99/3322.22 c 3322 9070944 686115 1 - 0.0000 -
3318.27/3327.56 c 3328 9081055 687446 1 - 0.0000 -
3324.17/3333.41 c 3333 9093858 689093 1 - 0.0000 -
3329.86/3339.14 c 3339 9101945 690588 1 - 0.0000 -
3335.43/3344.70 c 3345 9117437 692348 1 - 0.0000 -
3341.32/3350.64 c 3351 9132533 694082 1 - 0.0000 -
3347.10/3356.42 c 3356 9148026 695869 1 - 0.0000 -
3352.18/3361.55 c 3362 9159153 697186 1 - 0.0000 -
3357.97/3367.35 c 3367 9171051 698782 1 - 0.0000 -
3363.67/3373.05 c 3373 9181506 700013 1 - 0.0000 -
3368.94/3378.39 c 3378 9194857 701469 1 - 0.0000 -
3374.64/3384.06 c 3384 9203936 702651 1 - 0.0000 -
3380.62/3390.04 c 3390 9216794 704185 1 - 0.0000 -
3386.49/3395.91 c 3396 9228872 705651 1 - 0.0000 -
3392.29/3401.72 c 3402 9242208 707377 1 - 0.0000 -
3398.17/3407.62 c 3408 9256784 709173 1 - 0.0000 -
3403.75/3413.24 c 3413 9265061 710804 1 - 0.0000 -
3409.34/3418.84 c 3419 9273032 712332 1 - 0.0000 -
3414.82/3424.34 c 3424 9284057 713899 1 - 0.0000 -
3420.11/3429.61 c 3430 9293010 715158 1 - 0.0000 -
3425.89/3435.49 c 3435 9305094 716872 1 - 0.0000 -
3431.49/3441.01 c 3441 9308674 717754 1 - 0.0000 -
3436.67/3446.29 c 3446 9320790 719390 1 - 0.0000 -
3442.47/3452.06 c 3452 9334063 720917 1 - 0.0000 -
3448.34/3457.95 c 3458 9346754 722572 1 - 0.0000 -
3454.03/3463.65 c 3464 9355634 724160 1 - 0.0000 -
3459.52/3469.14 c 3469 9358978 725080 1 - 0.0000 -
3465.79/3475.42 c 3475 9360266 725550 1 - 0.0000 -
3470.89/3480.51 c 3481 9361824 726208 1 - 0.0000 -
3476.67/3486.39 c 3486 9367897 727785 1 - 0.0000 -
3483.05/3492.71 c 3493 9374505 729435 1 - 0.0000 -
3489.13/3498.82 c 3499 9380495 730669 1 - 0.0000 -
3494.71/3504.47 c 3504 9385411 732007 1 - 0.0000 -
3501.09/3510.89 c 3511 9392684 733862 1 - 0.0000 -
3506.98/3516.73 c 3517 9401954 735602 1 - 0.0000 -
3512.17/3521.94 c 3522 9409870 736922 1 - 0.0000 -
3517.75/3527.51 c 3528 9419760 738700 1 - 0.0000 -
3523.54/3533.31 c 3533 9424542 740000 1 - 0.0000 -
3529.53/3539.40 c 3539 9432861 741427 1 - 0.0000 -
3535.01/3544.81 c 3545 9441130 742896 1 - 0.0000 -
3540.50/3550.39 c 3550 9454307 744691 1 - 0.0000 -
3546.09/3555.94 c 3556 9463440 745858 1 - 0.0000 -
3551.87/3561.70 c 3562 9471388 747378 1 - 0.0000 -
3558.06/3567.99 c 3568 9481399 748879 1 - 0.0000 -
3563.75/3573.68 c 3574 9488585 750275 1 - 0.0000 -
3569.43/3579.33 c 3579 9496548 751556 1 - 0.0000 -
3574.51/3584.47 c 3584 9505987 752951 1 - 0.0000 -
3580.00/3589.97 c 3590 9515189 754377 1 - 0.0000 -
3585.59/3595.55 c 3596 9527641 756169 1 - 0.0000 -
3591.08/3601.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.08/3601.05 c Total Time : 3601.0600
3591.08/3601.05 c solving : 3601.0600
3591.08/3601.05 c presolving : 0.0035 (included in solving)
3591.08/3601.05 c B&B Tree :
3591.08/3601.05 c nodes (total) : 1
3591.08/3601.05 c Solution :
3591.08/3601.05 c Solutions found : 0
3591.08/3601.05 c Primal Bound : -
3591.08/3601.05 c Dual Bound : +0.00000000000000e+00
3591.08/3601.05 c Gap : -
3591.08/3601.05 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 (62875 MiB free)
memory of node 1: 64510 MiB (60217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464342-1722379127/watcher-4464342-1722379127 -o /tmp/evaluation-result-4464342-1722379127/solver-4464342-1722379127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28871 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464342-1722379127.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
Start 4.18.0-301.1.el8.x86_64
Start 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=29282, runsolver pid=29279
[startup+0.100092 s]*
/proc/loadavg: 4.18 3.50 1.89 5/246 29285
/proc/meminfo: memFree=126040416/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=17888 CPUtime=0.1 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 1902 0 0 0 10 0 0 0 20 0 3 0 4509661 108716032 4472 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 4472 2918 3035 0 7911 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 851 0 0 0 9 0 0 0 20 0 3 0 4509662 108716032 4472 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=232851243367 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 4472 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 17888 KiB
[startup+0.21279 s]*
/proc/loadavg: 4.18 3.50 1.89 5/246 29285
/proc/meminfo: memFree=126038632/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=19268 CPUtime=0.21 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 2170 0 0 0 21 0 0 0 20 0 3 0 4509661 108716032 4817 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 4817 2950 3035 0 8153 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=664970838410264707 CPUtime=0.2 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 1119 0 0 0 20 0 0 0 20 0 3 0 4509662 108716032 4817 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=18990 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 4817 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 19268 KiB
[startup+0.312651 s]*
/proc/loadavg: 4.18 3.50 1.89 5/246 29285
/proc/meminfo: memFree=126038492/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=19536 CPUtime=0.31 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 2276 0 0 0 31 0 0 0 20 0 3 0 4509661 108716032 4884 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 4884 2950 3035 0 8229 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=-5155625786922986629 CPUtime=0.3 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 1225 0 0 0 30 0 0 0 20 0 3 0 4509662 108716032 4884 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=0 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 4884 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 19536 KiB
[startup+0.700379 s]
/proc/loadavg: 4.18 3.50 1.89 5/246 29285
/proc/meminfo: memFree=126037344/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=20592 CPUtime=0.69 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 2538 0 0 0 69 0 0 0 20 0 3 0 4509661 108716032 5148 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 5148 2950 3035 0 8488 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=0 CPUtime=0.67 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 1487 0 0 0 67 0 0 0 20 0 3 0 4509662 108716032 5148 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=0 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 5148 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 20592 KiB
[startup+1.50042 s]
/proc/loadavg: 4.18 3.50 1.89 5/246 29285
/proc/meminfo: memFree=126036980/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=20784 CPUtime=1.48 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 3758 0 0 0 148 0 0 0 20 0 3 0 4509661 108716032 5196 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 5196 2950 3035 0 8552 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=0 CPUtime=1.47 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 2691 0 0 0 147 0 0 0 20 0 3 0 4509662 108716032 5196 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=0 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 5196 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 20784 KiB
[startup+3.11238 s]
/proc/loadavg: 4.16 3.51 1.90 5/246 29285
/proc/meminfo: memFree=126034536/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=21104 CPUtime=3.09 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 3962 0 0 0 308 1 0 0 20 0 3 0 4509661 108716032 5276 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 5276 2950 3035 0 8616 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=0 CPUtime=3.08 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 2892 0 0 0 307 1 0 0 20 0 3 0 4509662 108716032 5276 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=0 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 5276 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 21104 KiB
[startup+6.30038 s]
/proc/loadavg: 4.16 3.51 1.90 5/246 29285
/proc/meminfo: memFree=126033060/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106168 memory=23124 CPUtime=6.28 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 5644 0 0 0 625 3 0 0 20 0 3 0 4509661 108716032 5781 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26542 5781 2998 3035 0 8979 0
[pid=29282/tid=29284] ppid=29279 vsize=106168 memory=-5155625786922986629 CPUtime=6.26 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4550 0 0 0 624 2 0 0 20 0 3 0 4509662 108716032 5781 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106168 memory=-5155625786922986629 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4509663 108716032 5781 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 106168 KiB
Current children cumulated memory: 23124 KiB
[startup+12.7004 s]
/proc/loadavg: 4.23 3.53 1.92 5/246 29287
/proc/meminfo: memFree=126026244/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=106748 memory=28360 CPUtime=12.66 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 10483 0 0 0 1261 5 0 0 20 0 3 0 4509661 109309952 7090 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 26687 7090 2998 3035 0 10183 0
[pid=29282/tid=29284] ppid=29279 vsize=106748 memory=-5155625786922986629 CPUtime=12.64 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 9356 0 0 0 1259 5 0 0 20 0 3 0 4509662 109309952 7090 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=106748 memory=25768 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4509663 109309952 7090 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 106748 KiB
Current children cumulated memory: 28360 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 3.56 1.95 5/246 29289
/proc/meminfo: memFree=126014276/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=111776 memory=39736 CPUtime=25.42 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 23331 0 0 0 2532 10 0 0 20 0 3 0 4509661 114458624 9934 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 27944 9934 3014 3035 0 13082 0
[pid=29282/tid=29284] ppid=29279 vsize=111776 memory=37984 CPUtime=25.4 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 22140 0 0 0 2530 10 0 0 20 0 3 0 4509662 114458624 9934 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=111776 memory=11488 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4509663 114458624 9934 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 111776 KiB
Current children cumulated memory: 39736 KiB
[startup+51.1125 s]
/proc/loadavg: 4.12 3.59 2.01 5/246 29294
/proc/meminfo: memFree=125994620/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=119800 memory=55000 CPUtime=50.96 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 43233 0 0 0 5074 22 0 0 20 0 3 0 4509661 122675200 13750 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 29950 13750 3014 3035 0 17468 0
[pid=29282/tid=29284] ppid=29279 vsize=119800 memory=48880 CPUtime=50.94 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 41973 0 0 0 5073 21 0 0 20 0 3 0 4509662 122675200 13750 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=119800 memory=16592 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4509663 122675200 13750 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 119800 KiB
Current children cumulated memory: 55000 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.69 2.13 5/248 29306
/proc/meminfo: memFree=125920156/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=140812 memory=89144 CPUtime=102.01 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 88651 0 0 0 10153 48 0 0 20 0 3 0 4509661 144191488 22286 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 35203 22286 3014 3035 0 26800 0
[pid=29282/tid=29284] ppid=29279 vsize=140812 memory=85324 CPUtime=101.98 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 87320 0 0 0 10151 47 0 0 20 0 3 0 4509662 144191488 22286 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=140812 memory=16592 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4509663 144191488 22286 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 140812 KiB
Current children cumulated memory: 89144 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 3.78 2.26 5/248 29316
/proc/meminfo: memFree=125869396/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=174012 memory=134440 CPUtime=161.83 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 137298 0 0 0 16109 74 0 0 20 0 3 0 4509661 178188288 33610 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 43503 33610 3014 3035 0 39378 0
[pid=29282/tid=29284] ppid=29279 vsize=174012 memory=133240 CPUtime=161.81 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 135920 0 0 0 16108 73 0 0 20 0 3 0 4509662 178188288 33610 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=174012 memory=-7521975118735695225 CPUtime=0 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4509663 178188288 33610 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
################
# More data... #
################
/proc/29282/statm: 386518 367777 3014 3035 0 379421 0
[pid=29282/tid=29284] ppid=29279 vsize=1546072 memory=1431804 CPUtime=3392.55 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 3982524 0 0 0 338008 1247 0 0 20 0 3 0 4509662 1583177728 367777 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1546072 memory=1430500 CPUtime=0.04 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 138 0 0 0 1 3 0 0 20 0 3 0 4509663 1583177728 367777 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 1546072 KiB
Current children cumulated memory: 1471108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.23 4.21 5/246 31332
/proc/meminfo: memFree=122837184/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1568208 memory=1501608 CPUtime=3452.73 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4095610 0 0 0 343994 1279 0 0 20 0 3 0 4509661 1605844992 375402 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 392052 375402 3014 3035 0 386476 0
[pid=29282/tid=29284] ppid=29279 vsize=1568208 memory=1431804 CPUtime=3452.4 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4093372 0 0 0 343973 1267 0 0 20 0 3 0 4509662 1605844992 375402 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1568208 memory=1430500 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 143 0 0 0 1 4 0 0 20 0 3 0 4509663 1605844992 375402 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 1568208 KiB
Current children cumulated memory: 1501608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.20 4.20 5/246 31342
/proc/meminfo: memFree=122775628/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1581404 memory=1521476 CPUtime=3512.57 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4201291 0 0 0 349963 1294 0 0 20 0 3 0 4509661 1619357696 380369 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 395351 380369 3014 3035 0 390912 0
[pid=29282/tid=29284] ppid=29279 vsize=1581404 memory=1516340 CPUtime=3512.24 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4199037 0 0 0 349942 1282 0 0 20 0 3 0 4509662 1619357696 380369 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1581404 memory=38792 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 145 0 0 0 1 4 0 0 20 0 3 0 4509663 1619357696 380369 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1581404 KiB
Current children cumulated memory: 1521476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.64 4.32 4.24 5/246 31353
/proc/meminfo: memFree=122684368/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1656384 memory=1538712 CPUtime=3572.42 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4310618 0 0 0 355932 1310 0 0 20 0 3 0 4509661 1696137216 384678 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 414096 384678 3014 3035 0 394426 0
[pid=29282/tid=29284] ppid=29279 vsize=1656384 memory=11488 CPUtime=3572.08 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4308348 0 0 0 355910 1298 0 0 20 0 3 0 4509662 1696137216 384678 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1656384 memory=104 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4509663 1696137216 384678 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 1656384 KiB
Current children cumulated memory: 1538712 KiB
[startup+3601.06 s]
# the end of solver process 29282 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.9 s, system=13.2508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.67 4.33 4.25 5/246 31353
/proc/meminfo: memFree=122683192/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1656964 memory=1539696 CPUtime=3574.13 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4311091 0 0 0 356102 1311 0 0 20 0 3 0 4509661 1696731136 384924 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 414241 384924 3014 3035 0 394667 0
[pid=29282/tid=29284] ppid=29279 vsize=1656964 memory=6082485497490789739 CPUtime=3573.79 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4308821 0 0 0 356080 1299 0 0 20 0 3 0 4509662 1696731136 384924 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1656964 memory=4642249814661820058 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4509663 1696731136 384924 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 1656964 KiB
Current children cumulated memory: 1539696 KiB
[startup+3590.4 s]
/proc/loadavg: 4.70 4.35 4.25 5/246 31354
/proc/meminfo: memFree=122680864/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1656964 memory=1540332 CPUtime=3580.51 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4312374 0 0 0 356738 1313 0 0 20 0 3 0 4509661 1696731136 385083 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 414241 385083 3014 3035 0 394795 0
[pid=29282/tid=29284] ppid=29279 vsize=1656964 memory=16592 CPUtime=3580.16 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4310104 0 0 0 356716 1300 0 0 20 0 3 0 4509662 1696731136 385083 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1656964 memory=1538720 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4509663 1696731136 385083 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3580.51 s
Current children cumulated vsize: 1656964 KiB
Current children cumulated memory: 1540332 KiB
[startup+3596.8 s]
/proc/loadavg: 4.72 4.36 4.25 5/246 31354
/proc/meminfo: memFree=122648184/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1658568 memory=1542772 CPUtime=3586.89 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4319154 0 0 0 357375 1314 0 0 20 0 3 0 4509661 1698373632 385693 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 414642 385693 3014 3035 0 395372 0
[pid=29282/tid=29284] ppid=29279 vsize=1658568 memory=1537464 CPUtime=3586.54 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4316884 0 0 0 357353 1301 0 0 20 0 3 0 4509662 1698373632 385693 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1658568 memory=5448 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4509663 1698373632 385693 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 1658568 KiB
Current children cumulated memory: 1542772 KiB
[startup+3598.4 s]
/proc/loadavg: 4.72 4.36 4.25 5/246 31356
/proc/meminfo: memFree=122647148/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1659340 memory=1543580 CPUtime=3588.48 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4349530 0 0 0 357532 1316 0 0 20 0 3 0 4509661 1699164160 385895 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 414835 385895 3014 3035 0 395565 0
[pid=29282/tid=29284] ppid=29279 vsize=1659340 memory=2212 CPUtime=3588.14 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4347265 0 0 0 357511 1303 0 0 20 0 3 0 4509662 1699164160 385895 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1659340 memory=1543580 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4509663 1699164160 385895 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 1659340 KiB
Current children cumulated memory: 1543580 KiB
[startup+3600 s]*
/proc/loadavg: 4.74 4.37 4.26 5/246 31356
/proc/meminfo: memFree=122856556/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1412828 memory=1297088 CPUtime=3590.09 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4390465 0 0 0 357689 1320 0 0 20 0 3 0 4509661 1446735872 324272 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 353207 324272 3014 3035 0 333937 0
[pid=29282/tid=29284] ppid=29279 vsize=1412828 memory=28516 CPUtime=3589.75 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4388203 0 0 0 357668 1307 0 0 20 0 3 0 4509662 1446735872 324272 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1412828 memory=7151835598093388398 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4509663 1446735872 324272 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3590.09 s
Current children cumulated vsize: 1412828 KiB
Current children cumulated memory: 1297088 KiB
[startup+3600.8 s]
/proc/loadavg: 4.74 4.37 4.26 5/246 31356
/proc/meminfo: memFree=122856556/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1303964 memory=1188228 CPUtime=3590.88 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4396186 0 0 0 357767 1321 0 0 20 0 3 0 4509661 1335259136 297057 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 325991 297057 3014 3035 0 306721 0
[pid=29282/tid=29284] ppid=29279 vsize=1303964 memory=-7521975118735695225 CPUtime=3590.53 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4393913 0 0 0 357745 1308 0 0 20 0 3 0 4509662 1335259136 297057 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1303964 memory=4872 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 149 0 0 0 1 4 0 0 20 0 3 0 4509663 1335259136 297057 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3590.88 s
Current children cumulated vsize: 1303964 KiB
Current children cumulated memory: 1188228 KiB
[startup+3601 s]*
/proc/loadavg: 4.74 4.37 4.26 5/246 31356
/proc/meminfo: memFree=122885928/131655788 swapFree=131071996/131071996
[pid=29282] ppid=29279 vsize=1267192 memory=1151456 CPUtime=3591.08 cores=4,6
/proc/29282/stat : 29282 (fscip) S 29279 29282 28860 0 -1 1077936128 4398069 0 0 0 357787 1321 0 0 20 0 3 0 4509661 1297604608 287864 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
/proc/29282/statm: 316798 287864 3014 3035 0 297528 0
[pid=29282/tid=29284] ppid=29279 vsize=1266168 memory=11688 CPUtime=3590.75 cores=4,6
/proc/29282/task/29284/stat : 29284 (fscip) R 29279 29282 28860 0 -1 4194368 4395799 0 0 0 357766 1309 0 0 20 0 3 0 4509662 1296556032 287608 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
[pid=29282/tid=29285] ppid=29279 vsize=1266168 memory=11744 CPUtime=0.05 cores=4,6
/proc/29282/task/29285/stat : 29285 (fscip) S 29279 29282 28860 0 -1 1077936192 149 0 0 0 1 4 0 0 20 0 3 0 4509663 1296556032 287608 134679101440 4194304 16623229 140736229714192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43446272 140736229721114 140736229721230 140736229721230 140736229728240 0
Current children cumulated CPU time: 3591.08 s
Current children cumulated vsize: 1267192 KiB
Current children cumulated memory: 1151456 KiB
Child status: 0
Real time (s): 3601.06
CPU time (s): 3591.15
CPU user time (s): 3577.9
CPU system time (s): 13.2508
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 1659340
Max. memory (cumulated for all children) (KiB): 1543580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.9
system time used= 13.2508
maximum resident set size= 1543580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4398170
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= 10496
involuntary context switches= 5322
# summary of solver processes directly reported to runsolver:
# pid: 29282
# total CPU time (s): 3591.15
# total CPU user time (s): 3577.9
# total CPU system time (s): 13.2508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.633 second user time and 37.6558 second system time
The end
Begin job on nodeC010 at 2024-07-31 00:38:47
IDJOB=4464342
IDBENCH=148106
IDSOLVER=3092
FILE ID=nodeC010/4464342-1722379127
RUNJOBID= nodeC010-1722378594-28871
SLURM_JOB_ID= 8249840
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.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-4464342-1722379127/watcher-4464342-1722379127 -o /tmp/evaluation-result-4464342-1722379127/solver-4464342-1722379127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28871 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464342-1722379127.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=99795441
nodeC010.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 : 3666.705
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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 : 3652.426
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.33
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.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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.170
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.33
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 : 3606.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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 : 3654.973
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.33
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.124
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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.309
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126047252 kB
MemAvailable: 128909012 kB
Buffers: 85292 kB
Cached: 3618712 kB
SwapCached: 0 kB
Active: 247952 kB
Inactive: 4923152 kB
Active(anon): 1984 kB
Inactive(anon): 1494612 kB
Active(file): 245968 kB
Inactive(file): 3428540 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 27960 kB
Writeback: 0 kB
AnonPages: 1467160 kB
Mapped: 131352 kB
Shmem: 29504 kB
KReclaimable: 54568 kB
Slab: 130008 kB
SReclaimable: 54568 kB
SUnreclaim: 75440 kB
KernelStack: 3964 kB
PageTables: 12108 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1106996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 886784 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: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC010 at 2024-07-31 01:38:49