0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 39698432, getVmSize() = 39698432, SCIPgetMemUsed() = 13247213, SCIPgetMemTotal() = 17828821, SCIPgetMemExternEstim() = 7064717
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.00/1.09 c ** Estimated virtualMemUsedAtSolver = 50859606, getVmSize() = 92782592, SCIPgetMemUsed() = 49590804, SCIPgetMemTotal() = 69224692, SCIPgetMemExternEstim() = 7064717
1.00/1.09 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.00/1.09 c Original Problem :
1.00/1.09 c Problem name : instance-4434795-1721119074
1.00/1.09 c Variables : 3216 (3216 binary, 0 integer, 0 implicit integer, 0 continuous)
1.00/1.09 c Constraints : 3658
1.00/1.09 c Objective sense : minimize
1.00/1.09 c Presolved Problem :
1.00/1.09 c Variables : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1.00/1.09 c Constraints : 830
1.00/1.09 c Constraints : Number
1.00/1.09 c knapsack : 384
1.00/1.09 c setppc : 63
1.00/1.09 c orbitope : 383
1.00/1.09 c ** Instance transfer method used: 0
1.00/1.10 c ** ParaScipInstance copy increased the number of variables. **
1.00/1.10 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.00/1.10 c Nodes Active
1.00/1.10 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.98/6.07 c 6 97 96 1 - 6.0000 -
11.06/11.18 c 11 497 166 1 - 6.0000 -
16.35/16.48 c 16 839 202 1 - 6.0000 -
21.43/21.57 c 22 1304 261 1 - 6.0000 -
26.61/26.73 c 27 1796 269 1 - 6.0000 -
31.70/31.81 c 32 2204 342 1 - 6.0000 -
36.69/36.89 c 37 2593 405 1 - 6.0000 -
41.78/41.98 c 42 3053 411 1 - 6.0000 -
46.86/47.05 c 47 3488 444 1 - 6.0000 -
51.96/52.15 c 52 3884 476 1 - 6.0000 -
57.13/57.35 c 57 4447 537 1 - 6.0000 -
62.21/62.43 c 62 4907 616 1 - 6.0000 -
67.31/67.50 c 68 5355 679 1 - 6.0000 -
72.39/72.61 c 73 5814 691 1 - 6.0000 -
77.38/77.69 c 78 6208 717 1 - 6.0000 -
82.56/82.89 c 83 6618 797 1 - 6.0000 -
87.75/88.05 c 88 6961 829 1 - 6.0000 -
92.84/93.14 c 93 7374 848 1 - 6.0000 -
97.92/98.29 c 98 7802 908 1 - 6.0000 -
103.10/103.41 c 103 8136 935 1 - 6.0000 -
108.10/108.47 c 108 8465 972 1 - 6.0000 -
113.28/113.61 c 114 8926 1018 1 - 6.0000 -
118.27/118.69 c 119 9328 1058 1 - 6.0000 -
123.45/123.83 c 124 9705 1100 1 - 6.0000 -
128.44/128.89 c 129 10102 1164 1 - 6.0000 -
133.63/134.00 c 134 10464 1225 1 - 6.0000 -
138.61/139.09 c 139 10817 1286 1 - 6.0000 -
143.79/144.22 c 144 11232 1347 1 - 6.0000 -
148.79/149.28 c 149 11779 1381 1 - 6.0000 -
153.87/154.33 c 154 12136 1449 1 - 6.0000 -
158.95/159.40 c 159 12545 1492 1 - 6.0000 -
164.04/164.51 c 165 12908 1592 1 - 6.0000 -
169.13/169.62 c 170 13309 1613 1 - 6.0000 -
174.42/174.97 c 175 13686 1706 1 - 6.0000 -
179.51/180.06 c 180 14050 1748 1 - 6.0000 -
184.60/185.18 c 185 14421 1821 1 - 6.0000 -
189.68/190.26 c 190 14777 1888 1 - 6.0000 -
194.76/195.33 c 195 15182 1942 1 - 6.0000 -
199.85/200.43 c 200 15365 52 1 - 6.0000 -
204.94/205.54 c 206 15612 142 1 - 6.0000 -
210.32/210.90 c 211 16082 193 1 - 6.0000 -
215.31/215.99 c 216 16565 196 1 - 6.0000 -
220.50/221.14 c 221 16837 219 1 - 6.0000 -
225.88/226.54 c 227 17017 276 1 - 6.0000 -
230.98/231.66 c 232 17322 315 1 - 6.0000 -
236.06/236.75 c 237 17639 362 1 - 6.0000 -
241.25/241.92 c 242 17893 400 1 - 6.0000 -
246.34/247.02 c 247 18188 427 1 - 6.0000 -
251.43/252.19 c 252 18487 442 1 - 6.0000 -
256.51/257.26 c 257 18845 465 1 - 6.0000 -
261.59/262.30 c 262 19143 483 1 - 6.0000 -
266.58/267.39 c 267 19593 582 1 - 6.0000 -
271.67/272.46 c 272 20095 728 1 - 6.0000 -
276.75/277.56 c 278 20665 848 1 - 6.0000 -
281.84/282.63 c 283 21205 872 1 - 6.0000 -
286.93/287.76 c 288 21639 951 1 - 6.0000 -
292.11/292.90 c 293 22116 1020 1 - 6.0000 -
297.20/298.01 c 298 22590 1131 1 - 6.0000 -
302.29/303.14 c 303 23049 1239 1 - 6.0000 -
307.37/308.25 c 308 23559 1353 1 - 6.0000 -
312.56/313.40 c 313 24038 1420 1 - 6.0000 -
317.54/318.46 c 318 24522 1501 1 - 6.0000 -
322.63/323.52 c 324 24998 1557 1 - 6.0000 -
327.62/328.58 c 329 25460 1619 1 - 6.0000 -
332.71/333.65 c 334 25911 1661 1 - 6.0000 -
337.79/338.71 c 339 26404 1708 1 - 6.0000 -
342.78/343.78 c 344 26891 1780 1 - 6.0000 -
347.87/348.87 c 349 27345 1807 1 - 6.0000 -
352.95/353.98 c 354 27823 1831 1 - 6.0000 -
358.04/359.05 c 359 28379 1890 1 - 6.0000 -
363.13/364.11 c 364 29046 2006 1 - 6.0000 -
368.11/369.18 c 369 29701 2049 1 - 6.0000 -
373.19/374.23 c 374 30370 2154 1 - 6.0000 -
378.17/379.28 c 379 30969 2224 1 - 6.0000 -
383.26/384.34 c 384 31471 2281 1 - 6.0000 -
388.44/389.54 c 390 32014 2428 1 - 6.0000 -
393.52/394.67 c 395 32602 2534 1 - 6.0000 -
398.60/399.74 c 400 33192 2597 1 - 6.0000 -
403.69/404.87 c 405 33778 2686 1 - 6.0000 -
408.78/409.95 c 410 34415 2745 1 - 6.0000 -
413.86/415.02 c 415 35034 2809 1 - 6.0000 -
419.04/420.27 c 420 35650 2895 1 - 6.0000 -
424.13/425.34 c 425 36276 3029 1 - 6.0000 -
429.21/430.41 c 430 36854 3112 1 - 6.0000 -
434.29/435.52 c 436 37422 3211 1 - 6.0000 -
439.48/440.77 c 441 37938 3287 1 - 6.0000 -
444.56/445.83 c 446 38440 3381 1 - 6.0000 -
449.55/450.88 c 451 38993 3457 1 - 6.0000 -
454.74/456.02 c 456 39501 3541 1 - 6.0000 -
459.92/461.20 c 461 40014 3587 1 - 6.0000 -
464.90/466.27 c 466 40581 3665 1 - 6.0000 -
469.99/471.38 c 471 41087 3684 1 - 6.0000 -
475.07/476.44 c 476 41602 3779 1 - 6.0000 -
480.16/481.51 c 482 42095 3829 1 - 6.0000 -
485.24/486.61 c 487 42666 3884 1 - 6.0000 -
490.23/491.68 c 492 43220 3966 1 - 6.0000 -
495.31/496.77 c 497 43828 4046 1 - 6.0000 -
500.40/501.85 c 502 44301 4101 1 - 6.0000 -
505.48/506.99 c 507 44719 4112 1 - 6.0000 -
510.58/512.06 c 512 45265 4187 1 - 6.0000 -
515.67/517.13 c 517 45994 4322 1 - 6.0000 -
520.74/522.21 c 522 46500 4398 1 - 6.0000 -
525.83/527.31 c 527 46951 4446 1 - 6.0000 -
530.82/532.38 c 532 47548 4518 1 - 6.0000 -
536.01/537.56 c 538 48151 4593 1 - 6.0000 -
541.10/542.65 c 543 48714 4654 1 - 6.0000 -
546.18/547.72 c 548 49277 4763 1 - 6.0000 -
551.27/552.80 c 553 49868 4814 1 - 6.0000 -
556.25/557.87 c 558 50464 4915 1 - 6.0000 -
561.34/562.94 c 563 50986 4985 1 - 6.0000 -
566.43/568.07 c 568 51516 5059 1 - 6.0000 -
571.61/573.22 c 573 52082 5120 1 - 6.0000 -
576.81/578.44 c 578 52608 5191 1 - 6.0000 -
582.19/583.86 c 584 53133 5229 1 - 6.0000 -
587.27/588.93 c 589 53663 5322 1 - 6.0000 -
592.36/594.06 c 594 54164 5395 1 - 6.0000 -
597.55/599.23 c 599 54660 5553 1 - 6.0000 -
602.63/604.36 c 604 55288 5631 1 - 6.0000 -
607.91/609.65 c 610 55875 5699 1 - 6.0000 -
612.99/614.79 c 615 56428 5747 1 - 6.0000 -
618.17/619.98 c 620 56866 5822 1 - 6.0000 -
623.27/625.05 c 625 57386 5898 1 - 6.0000 -
628.25/630.10 c 630 57968 5981 1 - 6.0000 -
633.34/635.17 c 635 58456 6047 1 - 6.0000 -
638.41/640.25 c 640 58949 6129 1 - 6.0000 -
643.49/645.36 c 645 59493 6216 1 - 6.0000 -
648.68/650.51 c 651 59948 6221 1 - 6.0000 -
653.67/655.56 c 656 60437 6286 1 - 6.0000 -
658.75/660.69 c 661 60830 6271 1 - 6.0000 -
663.93/665.80 c 666 61372 6308 1 - 6.0000 -
669.01/670.90 c 671 61894 6360 1 - 6.0000 -
674.00/675.96 c 676 62402 6388 1 - 6.0000 -
679.09/681.04 c 681 63016 6447 1 - 6.0000 -
684.08/686.08 c 686 63553 6479 1 - 6.0000 -
689.25/691.20 c 691 64087 6537 1 - 6.0000 -
694.33/696.39 c 696 64491 6555 1 - 6.0000 -
699.42/701.45 c 701 64828 6571 1 - 6.0000 -
704.50/706.58 c 707 65229 6607 1 - 6.0000 -
709.58/711.68 c 712 65610 6667 1 - 6.0000 -
714.98/717.02 c 717 65964 6695 1 - 6.0000 -
720.06/722.16 c 722 66286 6740 1 - 6.0000 -
725.14/727.29 c 727 66642 6717 1 - 6.0000 -
730.22/732.38 c 732 66962 6726 1 - 6.0000 -
735.31/737.49 c 738 67365 6731 1 - 6.0000 -
740.49/742.63 c 743 67713 6753 1 - 6.0000 -
745.57/747.73 c 748 68200 6781 1 - 6.0000 -
750.76/752.93 c 753 68534 6830 1 - 6.0000 -
755.95/758.15 c 758 68843 6865 1 - 6.0000 -
761.03/763.20 c 763 69409 6895 1 - 6.0000 -
766.12/768.35 c 768 69721 6884 1 - 6.0000 -
771.20/773.42 c 773 70150 6903 1 - 6.0000 -
776.28/778.53 c 779 70537 6890 1 - 6.0000 -
781.36/783.63 c 784 70862 6922 1 - 6.0000 -
786.45/788.71 c 789 71394 6931 1 - 6.0000 -
791.53/793.82 c 794 71714 6914 1 - 6.0000 -
796.62/798.98 c 799 71929 6934 1 - 6.0000 -
801.71/804.10 c 804 72200 6991 1 - 6.0000 -
806.89/809.21 c 809 72494 7043 1 - 6.0000 -
811.97/814.35 c 814 72771 7069 1 - 6.0000 -
817.06/819.46 c 819 73029 7086 1 - 6.0000 -
822.24/824.60 c 825 73274 7122 1 - 6.0000 -
827.33/829.73 c 830 73473 7120 1 - 6.0000 -
832.41/834.81 c 835 73802 7157 1 - 6.0000 -
837.50/839.93 c 840 74212 7163 1 - 6.0000 -
842.77/845.22 c 845 74441 7199 1 - 6.0000 -
847.87/850.33 c 850 74675 7192 1 - 6.0000 -
852.95/855.42 c 855 74945 7208 1 - 6.0000 -
858.03/860.50 c 861 75248 7231 1 - 6.0000 -
863.11/865.66 c 866 75577 7250 1 - 6.0000 -
868.20/870.74 c 871 75883 7263 1 - 6.0000 -
873.28/875.81 c 876 76266 7267 1 - 6.0000 -
878.27/880.89 c 881 76698 7269 1 - 6.0000 -
883.45/886.01 c 886 77073 7281 1 - 6.0000 -
889.04/891.67 c 892 77383 7350 1 - 6.0000 -
894.12/896.79 c 897 77675 7350 1 - 6.0000 -
899.20/901.88 c 902 77983 7369 1 - 6.0000 -
904.29/906.98 c 907 78260 7432 1 - 6.0000 -
909.48/912.11 c 912 78706 7497 1 - 6.0000 -
914.56/917.23 c 917 79095 7560 1 - 6.0000 -
919.54/922.28 c 922 79538 7552 1 - 6.0000 -
924.63/927.37 c 927 79952 7536 1 - 6.0000 -
929.72/932.46 c 932 80312 7539 1 - 6.0000 -
934.90/937.65 c 938 80684 7541 1 - 6.0000 -
939.98/942.75 c 943 80963 7564 1 - 6.0000 -
945.27/948.00 c 948 81279 7554 1 - 6.0000 -
950.25/953.09 c 953 81608 7583 1 - 6.0000 -
955.34/958.14 c 958 82021 7576 1 - 6.0000 -
960.42/963.20 c 963 82374 7577 1 - 6.0000 -
965.51/968.31 c 968 82728 7627 1 - 6.0000 -
970.59/973.42 c 973 83028 7649 1 - 6.0000 -
975.59/978.47 c 978 83391 7635 1 - 6.0000 -
980.67/983.56 c 984 83757 7688 1 - 6.0000 -
985.76/988.66 c 989 84024 7802 1 - 6.0000 -
990.85/993.73 c 994 84345 7838 1 - 6.0000 -
995.93/998.85 c 999 84609 7880 1 - 6.0000 -
1001.02/1003.92 c 1004 84931 7920 1 - 6.0000 -
1006.11/1009.04 c 1009 85197 7982 1 - 6.0000 -
1011.29/1014.22 c 1014 85449 8023 1 - 6.0000 -
1016.39/1019.35 c 1019 85708 8071 1 - 6.0000 -
1021.46/1024.45 c 1024 85965 8106 1 - 6.0000 -
1026.65/1029.60 c 1030 86183 8130 1 - 6.0000 -
1031.74/1034.73 c 1035 86386 8127 1 - 6.0000 -
1036.82/1039.86 c 1040 86701 8186 1 - 6.0000 -
1041.92/1044.93 c 1045 87027 8214 1 - 6.0000 -
1046.90/1049.99 c 1050 87444 8277 1 - 6.0000 -
1052.09/1055.11 c 1055 87819 8316 1 - 6.0000 -
1057.17/1060.21 c 1060 88124 8357 1 - 6.0000 -
1062.27/1065.32 c 1065 88580 8444 1 - 6.0000 -
1067.25/1070.40 c 1070 88913 8491 1 - 6.0000 -
1072.34/1075.47 c 1075 89316 8514 1 - 6.0000 -
1077.42/1080.57 c 1081 89646 8555 1 - 6.0000 -
1082.61/1085.71 c 1086 90034 8577 1 - 6.0000 -
1087.70/1090.81 c 1091 90358 8577 1 - 6.0000 -
1092.69/1095.87 c 1096 90682 8566 1 - 6.0000 -
1097.77/1100.96 c 1101 91003 8577 1 - 6.0000 -
1102.97/1106.12 c 1106 91229 8517 1 - 6.0000 -
1108.05/1111.28 c 1111 91550 8521 1 - 6.0000 -
1113.13/1116.36 c 1116 91804 8523 1 - 6.0000 -
1118.22/1121.46 c 1121 92126 8540 1 - 6.0000 -
1123.31/1126.51 c 1127 92574 8555 1 - 6.0000 -
1128.40/1131.61 c 1132 92847 8533 1 - 6.0000 -
1133.48/1136.70 c 1137 93125 8557 1 - 6.0000 -
1138.57/1141.81 c 1142 93447 8596 1 - 6.0000 -
1143.66/1146.91 c 1147 93704 8586 1 - 6.0000 -
1148.65/1151.97 c 1152 93951 8593 1 - 6.0000 -
1153.84/1157.12 c 1157 94232 8620 1 - 6.0000 -
1158.83/1162.19 c 1162 94509 8649 1 - 6.0000 -
1164.01/1167.36 c 1167 94815 8679 1 - 6.0000 -
1169.09/1172.45 c 1172 95132 8677 1 - 6.0000 -
1174.18/1177.54 c 1178 95431 8692 1 - 6.0000 -
1179.27/1182.64 c 1183 95688 8721 1 - 6.0000 -
1184.46/1187.86 c 1188 96048 8718 1 - 6.0000 -
1189.75/1193.13 c 1193 96308 8718 1 - 6.0000 -
1194.83/1198.25 c 1198 96576 8736 1 - 6.0000 -
1199.92/1203.36 c 1203 96841 8753 1 - 6.0000 -
1205.11/1208.50 c 1208 97099 8773 1 - 6.0000 -
1210.19/1213.63 c 1214 97338 8802 1 - 6.0000 -
1215.27/1218.77 c 1219 97585 8844 1 - 6.0000 -
1220.47/1223.97 c 1224 97823 8864 1 - 6.0000 -
1225.66/1229.11 c 1229 98054 8836 1 - 6.0000 -
1230.74/1234.27 c 1234 98348 8839 1 - 6.0000 -
1235.82/1239.33 c 1239 98628 8854 1 - 6.0000 -
1240.92/1244.44 c 1244 98926 8878 1 - 6.0000 -
1246.00/1249.53 c 1250 99188 8890 1 - 6.0000 -
1251.09/1254.67 c 1255 99430 8909 1 - 6.0000 -
1256.17/1259.74 c 1260 99740 8913 1 - 6.0000 -
1261.36/1264.91 c 1265 100069 8935 1 - 6.0000 -
1266.34/1269.97 c 1270 100415 8967 1 - 6.0000 -
1271.44/1275.06 c 1275 100699 9007 1 - 6.0000 -
1276.53/1280.18 c 1280 100953 9043 1 - 6.0000 -
1281.71/1285.37 c 1285 101232 9081 1 - 6.0000 -
1286.90/1290.52 c 1291 101527 9095 1 - 6.0000 -
1291.99/1295.62 c 1296 101748 9116 1 - 6.0000 -
1297.07/1300.74 c 1301 102006 9134 1 - 6.0000 -
1302.16/1305.85 c 1306 102361 9146 1 - 6.0000 -
1307.45/1311.18 c 1311 102633 9189 1 - 6.0000 -
1312.53/1316.26 c 1316 102896 9256 1 - 6.0000 -
1317.62/1321.34 c 1321 103200 9273 1 - 6.0000 -
1322.71/1326.47 c 1326 103502 9303 1 - 6.0000 -
1327.79/1331.56 c 1332 103844 9325 1 - 6.0000 -
1332.89/1336.61 c 1337 104133 9356 1 - 6.0000 -
1337.87/1341.69 c 1342 104363 9399 1 - 6.0000 -
1342.95/1346.77 c 1347 104570 9462 1 - 6.0000 -
1348.05/1351.87 c 1352 104867 9491 1 - 6.0000 -
1353.24/1357.07 c 1357 105159 9521 1 - 6.0000 -
1358.33/1362.17 c 1362 105442 9564 1 - 6.0000 -
1363.41/1367.23 c 1367 105739 9568 1 - 6.0000 -
1368.49/1372.34 c 1372 106033 9590 1 - 6.0000 -
1373.58/1377.44 c 1377 106453 9667 1 - 6.0000 -
1378.67/1382.56 c 1383 106873 9731 1 - 6.0000 -
1383.86/1387.70 c 1388 107226 9750 1 - 6.0000 -
1388.85/1392.79 c 1393 107584 9804 1 - 6.0000 -
1393.93/1397.86 c 1398 108044 9819 1 - 6.0000 -
1399.12/1403.03 c 1403 108367 9776 1 - 6.0000 -
1404.21/1408.15 c 1408 108692 9805 1 - 6.0000 -
1409.29/1413.22 c 1413 108937 9810 1 - 6.0000 -
1414.38/1418.30 c 1418 109280 9863 1 - 6.0000 -
1419.37/1423.38 c 1423 109559 9834 1 - 6.0000 -
1424.45/1428.43 c 1428 109933 9859 1 - 6.0000 -
1429.54/1433.56 c 1434 110330 9997 1 - 6.0000 -
1434.63/1438.63 c 1439 110832 10098 1 - 6.0000 -
1439.71/1443.73 c 1444 111343 10279 1 - 6.0000 -
1444.90/1448.90 c 1449 111793 10281 1 - 6.0000 -
1450.10/1454.18 c 1454 112073 10252 1 - 6.0000 -
1455.28/1459.32 c 1459 112272 10235 1 - 6.0000 -
1460.36/1464.40 c 1464 112654 10294 1 - 6.0000 -
1465.35/1469.46 c 1469 113061 10349 1 - 6.0000 -
1470.54/1474.60 c 1475 113494 10402 1 - 6.0000 -
1475.52/1479.66 c 1480 113948 10464 1 - 6.0000 -
1480.61/1484.73 c 1485 114369 10514 1 - 6.0000 -
1485.70/1489.80 c 1490 114883 10578 1 - 6.0000 -
1490.99/1495.12 c 1495 115314 10604 1 - 6.0000 -
1496.07/1500.20 c 1500 115749 10656 1 - 6.0000 -
1501.35/1505.57 c 1506 116220 10704 1 - 6.0000 -
1506.54/1510.73 c 1511 116677 10735 1 - 6.0000 -
1511.63/1515.84 c 1516 117010 10767 1 - 6.0000 -
1516.72/1520.93 c 1521 117409 10799 1 - 6.0000 -
1521.81/1526.06 c 1526 117896 10857 1 - 6.0000 -
1526.99/1531.24 c 1531 118356 10888 1 - 6.0000 -
1532.08/1536.35 c 1536 118781 10922 1 - 6.0000 -
1537.16/1541.43 c 1541 119227 10952 1 - 6.0000 -
1542.25/1546.54 c 1547 119589 10967 1 - 6.0000 -
1547.43/1551.74 c 1552 119924 10969 1 - 6.0000 -
1552.52/1556.83 c 1557 120530 11026 1 - 6.0000 -
1557.51/1561.89 c 1562 121030 11132 1 - 6.0000 -
1562.69/1567.02 c 1567 121503 11208 1 - 6.0000 -
1567.87/1572.26 c 1572 121986 11286 1 - 6.0000 -
1573.06/1577.46 c 1577 122418 11336 1 - 6.0000 -
1578.15/1582.55 c 1583 122896 11414 1 - 6.0000 -
1583.23/1587.67 c 1588 123260 11392 1 - 6.0000 -
1588.32/1592.75 c 1593 123687 11450 1 - 6.0000 -
1593.41/1597.82 c 1598 124192 11541 1 - 6.0000 -
1598.79/1603.23 c 1603 124721 11611 1 - 6.0000 -
1603.98/1608.43 c 1608 125171 11673 1 - 6.0000 -
1608.97/1613.49 c 1614 125805 11726 1 - 6.0000 -
1614.05/1618.57 c 1619 126311 11803 1 - 6.0000 -
1619.13/1623.67 c 1624 126803 11842 1 - 6.0000 -
1624.22/1628.76 c 1629 127200 11860 1 - 6.0000 -
1629.51/1634.06 c 1634 127611 11907 1 - 6.0000 -
1634.70/1639.27 c 1639 128002 11930 1 - 6.0000 -
1639.99/1644.55 c 1645 128213 11883 1 - 6.0000 -
1645.07/1649.65 c 1650 128646 11967 1 - 6.0000 -
1650.16/1654.71 c 1655 129041 11984 1 - 6.0000 -
1655.45/1660.09 c 1660 129237 11941 1 - 6.0000 -
1660.54/1665.18 c 1665 129707 11979 1 - 6.0000 -
1665.62/1670.25 c 1670 130225 12036 1 - 6.0000 -
1670.70/1675.37 c 1675 130686 12089 1 - 6.0000 -
1675.90/1680.50 c 1680 131119 12093 1 - 6.0000 -
1680.98/1685.62 c 1686 131450 12104 1 - 6.0000 -
1686.07/1690.72 c 1691 131912 12119 1 - 6.0000 -
1691.06/1695.78 c 1696 132275 12127 1 - 6.0000 -
1696.14/1700.88 c 1701 132668 12136 1 - 6.0000 -
1701.33/1706.04 c 1706 133082 12156 1 - 6.0000 -
1706.41/1711.15 c 1711 133404 12148 1 - 6.0000 -
1711.49/1716.25 c 1716 133725 12147 1 - 6.0000 -
1716.58/1721.33 c 1721 134112 12213 1 - 6.0000 -
1721.68/1726.40 c 1726 134514 12271 1 - 6.0000 -
1726.66/1731.47 c 1731 134945 12336 1 - 6.0000 -
1732.15/1736.94 c 1737 135437 12374 1 - 6.0000 -
1737.24/1742.10 c 1742 135681 12330 1 - 6.0000 -
1742.33/1747.19 c 1747 136034 12346 1 - 6.0000 -
1747.41/1752.27 c 1752 136430 12365 1 - 6.0000 -
1752.69/1757.50 c 1758 136761 12383 1 - 6.0000 -
1757.79/1762.61 c 1763 137153 12404 1 - 6.0000 -
1762.87/1767.78 c 1768 137517 12411 1 - 6.0000 -
1768.06/1772.99 c 1773 137942 12401 1 - 6.0000 -
1773.14/1778.07 c 1778 138317 12416 1 - 6.0000 -
1778.23/1783.18 c 1783 138746 12436 1 - 6.0000 -
1783.51/1788.47 c 1788 139113 12415 1 - 6.0000 -
1788.59/1793.56 c 1794 139430 12438 1 - 6.0000 -
1793.79/1798.70 c 1799 139785 12440 1 - 6.0000 -
1798.87/1803.89 c 1804 140161 12459 1 - 6.0000 -
1804.06/1809.00 c 1809 140629 12425 1 - 6.0000 -
1809.05/1814.08 c 1814 140960 12426 1 - 6.0000 -
1814.14/1819.15 c 1819 141289 12443 1 - 6.0000 -
1819.51/1824.59 c 1825 141746 12519 1 - 6.0000 -
1824.60/1829.66 c 1830 142003 12472 1 - 6.0000 -
1829.69/1834.75 c 1835 142495 12485 1 - 6.0000 -
1834.87/1839.90 c 1840 142881 12460 1 - 6.0000 -
1839.97/1845.02 c 1845 143220 12447 1 - 6.0000 -
1845.26/1850.35 c 1850 143509 12491 1 - 6.0000 -
1850.34/1855.43 c 1855 143903 12442 1 - 6.0000 -
1855.43/1860.55 c 1861 144281 12452 1 - 6.0000 -
1860.61/1865.70 c 1866 144666 12505 1 - 6.0000 -
1865.70/1870.89 c 1871 145088 12470 1 - 6.0000 -
1870.89/1876.05 c 1876 145469 12489 1 - 6.0000 -
1876.17/1881.35 c 1881 145777 12494 1 - 6.0000 -
1881.45/1886.60 c 1887 145978 12440 1 - 6.0000 -
1886.54/1891.70 c 1892 146359 12419 1 - 6.0000 -
1891.64/1896.83 c 1897 146678 12415 1 - 6.0000 -
1896.72/1901.91 c 1902 147028 12384 1 - 6.0000 -
1901.81/1907.10 c 1907 147343 12397 1 - 6.0000 -
1906.90/1912.14 c 1912 147601 12417 1 - 6.0000 -
1912.08/1917.36 c 1917 147852 12429 1 - 6.0000 -
1917.27/1922.50 c 1922 148112 12455 1 - 6.0000 -
1922.35/1927.62 c 1928 148383 12484 1 - 6.0000 -
1927.54/1932.82 c 1933 148642 12497 1 - 6.0000 -
1932.63/1937.91 c 1938 148871 12516 1 - 6.0000 -
1937.82/1943.11 c 1943 149117 12569 1 - 6.0000 -
1943.21/1948.52 c 1949 149499 12629 1 - 6.0000 -
1948.29/1953.62 c 1954 149807 12728 1 - 6.0000 -
1953.28/1958.68 c 1959 150168 12795 1 - 6.0000 -
1958.37/1963.76 c 1964 150566 12892 1 - 6.0000 -
1963.45/1968.88 c 1969 151013 12937 1 - 6.0000 -
1968.64/1974.00 c 1974 151410 13008 1 - 6.0000 -
1973.63/1979.10 c 1979 151729 13055 1 - 6.0000 -
1978.91/1984.33 c 1984 152082 13114 1 - 6.0000 -
1984.00/1989.43 c 1989 152400 13151 1 - 6.0000 -
1989.08/1994.53 c 1995 152776 13189 1 - 6.0000 -
1994.17/1999.60 c 2000 153180 13248 1 - 6.0000 -
1999.26/2004.70 c 2005 153513 13280 1 - 6.0000 -
2004.24/2009.77 c 2010 153901 13292 1 - 6.0000 -
2009.33/2014.89 c 2015 154246 13318 1 - 6.0000 -
2014.52/2020.06 c 2020 154535 13330 1 - 6.0000 -
2019.80/2025.34 c 2025 154801 13359 1 - 6.0000 -
2024.99/2030.50 c 2031 155137 13396 1 - 6.0000 -
2029.98/2035.59 c 2036 155432 13418 1 - 6.0000 -
2035.17/2040.73 c 2041 155696 13467 1 - 6.0000 -
2040.26/2045.83 c 2046 155926 13509 1 - 6.0000 -
2045.34/2050.98 c 2051 156210 13554 1 - 6.0000 -
2050.43/2056.08 c 2056 156561 13593 1 - 6.0000 -
2055.61/2061.26 c 2061 156832 13600 1 - 6.0000 -
2060.71/2066.34 c 2066 157207 13634 1 - 6.0000 -
2065.80/2071.44 c 2071 157521 13722 1 - 6.0000 -
2070.78/2076.49 c 2076 157958 13799 1 - 6.0000 -
2075.87/2081.56 c 2082 158389 13938 1 - 6.0000 -
2081.05/2086.74 c 2087 158804 13993 1 - 6.0000 -
2086.14/2091.82 c 2092 159161 14007 1 - 6.0000 -
2091.22/2096.92 c 2097 159493 14028 1 - 6.0000 -
2096.32/2102.02 c 2102 159814 14098 1 - 6.0000 -
2101.40/2107.11 c 2107 160252 14164 1 - 6.0000 -
2106.48/2112.23 c 2112 160639 14264 1 - 6.0000 -
2111.57/2117.37 c 2117 160911 14308 1 - 6.0000 -
2116.75/2122.53 c 2123 161245 14393 1 - 6.0000 -
2121.85/2127.66 c 2128 161652 14460 1 - 6.0000 -
2127.03/2132.81 c 2133 162063 14489 1 - 6.0000 -
2132.22/2138.02 c 2138 162503 14620 1 - 6.0000 -
2137.20/2143.10 c 2143 162880 14764 1 - 6.0000 -
2142.28/2148.16 c 2148 163306 14857 1 - 6.0000 -
2147.36/2153.26 c 2153 163766 14922 1 - 6.0000 -
2152.54/2158.43 c 2158 164217 15017 1 - 6.0000 -
2157.63/2163.52 c 2164 164618 15077 1 - 6.0000 -
2162.72/2168.63 c 2169 165045 15162 1 - 6.0000 -
2167.80/2173.70 c 2174 165524 15328 1 - 6.0000 -
2172.89/2178.80 c 2179 165944 15423 1 - 6.0000 -
2177.97/2183.98 c 2184 166369 15533 1 - 6.0000 -
2183.05/2189.03 c 2189 166803 15598 1 - 6.0000 -
2188.14/2194.12 c 2194 167167 15641 1 - 6.0000 -
2193.23/2199.23 c 2199 167663 15725 1 - 6.0000 -
2198.31/2204.32 c 2204 168052 15808 1 - 6.0000 -
2203.30/2209.39 c 2209 168512 15890 1 - 6.0000 -
2208.48/2214.58 c 2215 168962 15977 1 - 6.0000 -
2213.57/2219.67 c 2220 169391 16113 1 - 6.0000 -
2218.76/2224.85 c 2225 169869 16203 1 - 6.0000 -
2223.85/2229.94 c 2230 170346 16268 1 - 6.0000 -
2229.23/2235.38 c 2235 170706 16274 1 - 6.0000 -
2234.32/2240.47 c 2240 171049 16269 1 - 6.0000 -
2239.41/2245.59 c 2246 171449 16341 1 - 6.0000 -
2244.59/2250.74 c 2251 171837 16409 1 - 6.0000 -
2249.68/2255.88 c 2256 172164 16393 1 - 6.0000 -
2254.76/2260.99 c 2261 172454 16430 1 - 6.0000 -
2259.86/2266.06 c 2266 172740 16477 1 - 6.0000 -
2264.94/2271.19 c 2271 172997 16524 1 - 6.0000 -
2270.12/2276.30 c 2276 173198 16566 1 - 6.0000 -
2275.12/2281.38 c 2281 173480 16594 1 - 6.0000 -
2280.20/2286.47 c 2286 173772 16661 1 - 6.0000 -
2285.29/2291.55 c 2292 174067 16727 1 - 6.0000 -
2290.48/2296.70 c 2297 174360 16781 1 - 6.0000 -
2295.46/2301.78 c 2302 174631 16822 1 - 6.0000 -
2300.55/2306.86 c 2307 174871 16840 1 - 6.0000 -
2305.63/2311.99 c 2312 175090 16874 1 - 6.0000 -
2310.72/2317.09 c 2317 175360 16906 1 - 6.0000 -
2316.11/2322.49 c 2322 175692 17024 1 - 6.0000 -
2321.30/2327.61 c 2328 176033 17074 1 - 6.0000 -
2326.28/2332.68 c 2333 176359 17123 1 - 6.0000 -
2331.47/2337.89 c 2338 176619 17159 1 - 6.0000 -
2336.66/2343.06 c 2343 176919 17243 1 - 6.0000 -
2341.75/2348.16 c 2348 177297 17339 1 - 6.0000 -
2346.83/2353.28 c 2353 177739 17486 1 - 6.0000 -
2352.11/2358.55 c 2359 178137 17565 1 - 6.0000 -
2357.30/2363.71 c 2364 178497 17640 1 - 6.0000 -
2362.29/2368.79 c 2369 178902 17690 1 - 6.0000 -
2367.37/2373.84 c 2374 179401 17749 1 - 6.0000 -
2372.47/2378.96 c 2379 179848 17811 1 - 6.0000 -
2377.56/2384.02 c 2384 180241 17854 1 - 6.0000 -
2382.54/2389.09 c 2389 180608 17858 1 - 6.0000 -
2387.82/2394.34 c 2394 180994 17852 1 - 6.0000 -
2392.91/2399.43 c 2399 181411 17899 1 - 6.0000 -
2398.00/2404.57 c 2405 181820 17982 1 - 6.0000 -
2403.08/2409.64 c 2410 182130 18003 1 - 6.0000 -
2408.07/2414.69 c 2415 182443 17995 1 - 6.0000 -
2413.36/2419.94 c 2420 182868 18035 1 - 6.0000 -
2418.84/2425.46 c 2425 183226 18072 1 - 6.0000 -
2423.93/2430.51 c 2431 183610 18098 1 - 6.0000 -
2429.01/2435.64 c 2436 183903 18119 1 - 6.0000 -
2434.10/2440.70 c 2441 184373 18167 1 - 6.0000 -
2439.19/2445.89 c 2446 184797 18194 1 - 6.0000 -
2444.38/2451.04 c 2451 185225 18285 1 - 6.0000 -
2449.46/2456.17 c 2456 185615 18330 1 - 6.0000 -
2454.54/2461.24 c 2461 185999 18387 1 - 6.0000 -
2459.63/2466.32 c 2466 186370 18385 1 - 6.0000 -
2464.72/2471.43 c 2471 186700 18388 1 - 6.0000 -
2469.81/2476.54 c 2477 187116 18446 1 - 6.0000 -
2475.09/2481.88 c 2482 187553 18490 1 - 6.0000 -
2480.28/2487.01 c 2487 187950 18538 1 - 6.0000 -
2485.37/2492.12 c 2492 188354 18569 1 - 6.0000 -
2490.46/2497.28 c 2497 188741 18621 1 - 6.0000 -
2495.65/2502.41 c 2502 189074 18684 1 - 6.0000 -
2500.73/2507.59 c 2508 189420 18744 1 - 6.0000 -
2505.92/2512.71 c 2513 189813 18767 1 - 6.0000 -
2510.91/2517.79 c 2518 190192 18790 1 - 6.0000 -
2516.09/2522.92 c 2523 190544 18799 1 - 6.0000 -
2521.18/2528.01 c 2528 190938 18856 1 - 6.0000 -
2526.16/2533.09 c 2533 191315 18898 1 - 6.0000 -
2531.25/2538.15 c 2538 191728 18930 1 - 6.0000 -
2536.33/2543.22 c 2543 192065 18941 1 - 6.0000 -
2541.42/2548.35 c 2548 192457 18952 1 - 6.0000 -
2546.51/2553.46 c 2553 192824 19007 1 - 6.0000 -
2551.79/2558.72 c 2559 193210 19053 1 - 6.0000 -
2556.88/2563.82 c 2564 193618 19104 1 - 6.0000 -
2561.97/2568.95 c 2569 193946 19122 1 - 6.0000 -
2567.06/2574.00 c 2574 194349 19154 1 - 6.0000 -
2572.14/2579.14 c 2579 194770 19175 1 - 6.0000 -
2577.22/2584.22 c 2584 195136 19219 1 - 6.0000 -
2582.31/2589.35 c 2589 195525 19230 1 - 6.0000 -
2587.49/2594.54 c 2595 195858 19221 1 - 6.0000 -
2592.59/2599.68 c 2600 196203 19242 1 - 6.0000 -
2597.98/2605.04 c 2605 196525 19287 1 - 6.0000 -
2603.06/2610.16 c 2610 196964 19364 1 - 6.0000 -
2608.44/2615.59 c 2616 197369 19411 1 - 6.0000 -
2613.53/2620.66 c 2621 197756 19445 1 - 6.0000 -
2618.72/2625.80 c 2626 198133 19466 1 - 6.0000 -
2623.70/2630.87 c 2631 198541 19480 1 - 6.0000 -
2628.79/2635.93 c 2636 198984 19533 1 - 6.0000 -
2633.88/2641.09 c 2641 199389 19598 1 - 6.0000 -
2639.07/2646.23 c 2646 199813 19674 1 - 6.0000 -
2644.25/2651.44 c 2651 200179 19719 1 - 6.0000 -
2649.54/2656.70 c 2657 200271 19668 1 - 6.0000 -
2654.52/2661.77 c 2662 200677 19712 1 - 6.0000 -
2659.71/2666.95 c 2667 201040 19735 1 - 6.0000 -
2664.91/2672.17 c 2672 201347 19759 1 - 6.0000 -
2670.09/2677.35 c 2677 201777 19844 1 - 6.0000 -
2675.17/2682.49 c 2682 202189 19863 1 - 6.0000 -
2680.56/2687.89 c 2688 202555 19904 1 - 6.0000 -
2685.75/2693.02 c 2693 202942 19914 1 - 6.0000 -
2690.83/2698.12 c 2698 203274 19943 1 - 6.0000 -
2695.92/2703.28 c 2703 203594 20022 1 - 6.0000 -
2701.00/2708.35 c 2708 204002 20090 1 - 6.0000 -
2706.09/2713.42 c 2713 204382 20173 1 - 6.0000 -
2711.18/2718.52 c 2719 204815 20237 1 - 6.0000 -
2716.37/2723.75 c 2724 205049 20255 1 - 6.0000 -
2721.45/2728.82 c 2729 205294 20306 1 - 6.0000 -
2726.64/2734.00 c 2734 205596 20324 1 - 6.0000 -
2731.73/2739.10 c 2739 205914 20340 1 - 6.0000 -
2736.81/2744.25 c 2744 206254 20392 1 - 6.0000 -
2741.89/2749.39 c 2749 206493 20460 1 - 6.0000 -
2746.98/2754.46 c 2754 206812 20487 1 - 6.0000 -
2752.07/2759.59 c 2760 207081 20469 1 - 6.0000 -
2757.16/2764.66 c 2765 207446 20503 1 - 6.0000 -
2762.25/2769.73 c 2770 207752 20540 1 - 6.0000 -
2767.23/2774.79 c 2775 208016 20534 1 - 6.0000 -
2772.32/2779.85 c 2780 208345 20555 1 - 6.0000 -
2777.40/2784.95 c 2785 208612 20572 1 - 6.0000 -
2782.49/2790.01 c 2790 208880 20589 1 - 6.0000 -
2787.59/2795.16 c 2795 209080 20573 1 - 6.0000 -
2792.67/2800.26 c 2800 209391 20616 1 - 6.0000 -
2797.75/2805.39 c 2805 209691 20606 1 - 6.0000 -
2802.84/2810.44 c 2810 210041 20628 1 - 6.0000 -
2807.93/2815.55 c 2816 210345 20664 1 - 6.0000 -
2813.22/2820.84 c 2821 210632 20772 1 - 6.0000 -
2818.41/2826.08 c 2826 210956 20840 1 - 6.0000 -
2823.50/2831.18 c 2831 211263 20867 1 - 6.0000 -
2828.67/2836.30 c 2836 211578 20887 1 - 6.0000 -
2833.66/2841.37 c 2841 211824 20868 1 - 6.0000 -
2838.75/2846.49 c 2846 212087 20909 1 - 6.0000 -
2843.93/2851.63 c 2852 212371 20895 1 - 6.0000 -
2849.12/2856.86 c 2857 212687 20930 1 - 6.0000 -
2854.32/2862.06 c 2862 212884 20906 1 - 6.0000 -
2859.59/2867.33 c 2867 213236 20923 1 - 6.0000 -
2864.68/2872.42 c 2872 213637 20947 1 - 6.0000 -
2869.77/2877.51 c 2878 214005 20984 1 - 6.0000 -
2874.75/2882.59 c 2883 214435 21044 1 - 6.0000 -
2879.94/2887.72 c 2888 214812 21080 1 - 6.0000 -
2885.03/2892.82 c 2893 215144 21118 1 - 6.0000 -
2890.12/2897.98 c 2898 215500 21175 1 - 6.0000 -
2895.40/2903.20 c 2903 215747 21171 1 - 6.0000 -
2900.48/2908.35 c 2908 216163 21227 1 - 6.0000 -
2905.57/2913.47 c 2913 216512 21291 1 - 6.0000 -
2910.66/2918.57 c 2919 216899 21349 1 - 6.0000 -
2916.05/2923.93 c 2924 217153 21335 1 - 6.0000 -
2921.43/2929.39 c 2929 217184 21290 1 - 6.0000 -
2926.62/2934.58 c 2935 217212 21244 1 - 6.0000 -
2932.30/2940.29 c 2940 217242 21197 1 - 6.0000 -
2938.09/2946.05 c 2946 217273 21141 1 - 6.0000 -
2943.78/2951.78 c 2952 217296 21100 1 - 6.0000 -
2949.26/2957.25 c 2957 217307 21077 1 - 6.0000 -
2954.24/2962.29 c 2962 217477 21116 1 - 6.0000 -
2959.54/2967.56 c 2968 217875 21142 1 - 6.0000 -
2964.72/2972.72 c 2973 218289 21160 1 - 6.0000 -
2969.80/2977.87 c 2978 218732 21204 1 - 6.0000 -
2974.99/2983.06 c 2983 219064 21253 1 - 6.0000 -
2980.18/2988.22 c 2988 219449 21382 1 - 6.0000 -
2985.27/2993.32 c 2993 219845 21427 1 - 6.0000 -
2990.45/2998.51 c 2999 220226 21419 1 - 6.0000 -
2995.63/3003.70 c 3004 220546 21378 1 - 6.0000 -
3000.92/3009.04 c 3009 220901 21394 1 - 6.0000 -
3006.01/3014.12 c 3014 221272 21425 1 - 6.0000 -
3011.29/3019.49 c 3020 221678 21505 1 - 6.0000 -
3016.49/3024.69 c 3025 222105 21511 1 - 6.0000 -
3021.77/3029.92 c 3030 222361 21480 1 - 6.0000 -
3026.86/3035.01 c 3035 222733 21585 1 - 6.0000 -
3031.94/3040.11 c 3040 223042 21627 1 - 6.0000 -
3037.12/3045.31 c 3045 223281 21674 1 - 6.0000 -
3042.22/3050.45 c 3050 223550 21716 1 - 6.0000 -
3047.30/3055.57 c 3056 223847 21753 1 - 6.0000 -
3052.39/3060.67 c 3061 224175 21770 1 - 6.0000 -
3057.78/3066.07 c 3066 224490 21799 1 - 6.0000 -
3062.87/3071.19 c 3071 224817 21845 1 - 6.0000 -
3067.95/3076.29 c 3076 225064 21895 1 - 6.0000 -
3073.03/3081.39 c 3081 225363 21981 1 - 6.0000 -
3078.42/3086.72 c 3087 225702 22059 1 - 6.0000 -
3083.61/3091.93 c 3092 225921 22131 1 - 6.0000 -
3088.70/3097.01 c 3097 226132 22212 1 - 6.0000 -
3093.78/3102.17 c 3102 226431 22286 1 - 6.0000 -
3098.96/3107.33 c 3107 226714 22366 1 - 6.0000 -
3104.05/3112.42 c 3112 226985 22423 1 - 6.0000 -
3109.15/3117.58 c 3118 227211 22495 1 - 6.0000 -
3114.23/3122.67 c 3123 227513 22598 1 - 6.0000 -
3119.32/3127.74 c 3128 227794 22664 1 - 6.0000 -
3124.40/3132.89 c 3133 228151 22718 1 - 6.0000 -
3129.49/3137.98 c 3138 228493 22768 1 - 6.0000 -
3134.58/3143.06 c 3143 228771 22837 1 - 6.0000 -
3140.36/3148.82 c 3149 229013 22902 1 - 6.0000 -
3145.94/3154.42 c 3154 229169 23000 1 - 6.0000 -
3151.04/3159.57 c 3160 229338 23068 1 - 6.0000 -
3156.22/3164.70 c 3165 229565 23145 1 - 6.0000 -
3161.31/3169.82 c 3170 229819 23219 1 - 6.0000 -
3166.40/3174.91 c 3175 230143 23283 1 - 6.0000 -
3171.49/3180.02 c 3180 230421 23336 1 - 6.0000 -
3176.57/3185.12 c 3185 230715 23444 1 - 6.0000 -
3181.66/3190.21 c 3190 231035 23500 1 - 6.0000 -
3186.75/3195.31 c 3195 231238 23542 1 - 6.0000 -
3191.84/3200.42 c 3200 231421 23557 1 - 6.0000 -
3196.92/3205.55 c 3206 231704 23607 1 - 6.0000 -
3202.11/3210.71 c 3211 231927 23650 1 - 6.0000 -
3207.10/3215.79 c 3216 232208 23704 1 - 6.0000 -
3212.28/3220.90 c 3221 232471 23747 1 - 6.0000 -
3217.27/3225.99 c 3226 232736 23842 1 - 6.0000 -
3222.46/3231.11 c 3231 233080 23940 1 - 6.0000 -
3227.45/3236.19 c 3236 233425 24065 1 - 6.0000 -
3232.54/3241.25 c 3241 233918 24145 1 - 6.0000 -
3237.62/3246.33 c 3246 234346 24155 1 - 6.0000 -
3242.71/3251.46 c 3251 234740 24201 1 - 6.0000 -
3247.79/3256.59 c 3257 235234 24270 1 - 6.0000 -
3252.98/3261.74 c 3262 235638 24290 1 - 6.0000 -
3258.06/3266.84 c 3267 236003 24311 1 - 6.0000 -
3263.16/3271.95 c 3272 236316 24328 1 - 6.0000 -
3268.25/3277.04 c 3277 236715 24373 1 - 6.0000 -
3273.34/3282.16 c 3282 237070 24377 1 - 6.0000 -
3278.42/3287.24 c 3287 237417 24392 1 - 6.0000 -
3283.50/3292.36 c 3292 237767 24397 1 - 6.0000 -
3288.60/3297.49 c 3298 238095 24455 1 - 6.0000 -
3293.88/3302.70 c 3303 238338 24527 1 - 6.0000 -
3298.97/3307.81 c 3308 238634 24570 1 - 6.0000 -
3304.36/3313.26 c 3313 238855 24589 1 - 6.0000 -
3309.54/3318.41 c 3318 239142 24620 1 - 6.0000 -
3314.63/3323.52 c 3324 239383 24664 1 - 6.0000 -
3319.81/3328.71 c 3329 239629 24738 1 - 6.0000 -
3325.00/3333.91 c 3334 239841 24779 1 - 6.0000 -
3330.09/3339.01 c 3339 240103 24815 1 - 6.0000 -
3335.19/3344.10 c 3344 240335 24862 1 - 6.0000 -
3340.17/3349.19 c 3349 240621 24895 1 - 6.0000 -
3345.25/3354.29 c 3354 241012 24939 1 - 6.0000 -
3350.34/3359.39 c 3359 241359 24991 1 - 6.0000 -
3355.53/3364.59 c 3365 241612 25068 1 - 6.0000 -
3360.71/3369.75 c 3370 241901 25081 1 - 6.0000 -
3365.90/3374.91 c 3375 242175 25097 1 - 6.0000 -
3371.09/3380.16 c 3380 242401 25213 1 - 6.0000 -
3376.38/3385.44 c 3385 242610 25281 1 - 6.0000 -
3381.46/3390.55 c 3391 242860 25360 1 - 6.0000 -
3386.65/3395.75 c 3396 243115 25416 1 - 6.0000 -
3391.84/3400.99 c 3401 243367 25480 1 - 6.0000 -
3397.03/3406.15 c 3406 243634 25541 1 - 6.0000 -
3402.21/3411.33 c 3411 243832 25593 1 - 6.0000 -
3407.30/3416.48 c 3416 244074 25636 1 - 6.0000 -
3412.48/3421.68 c 3422 244324 25652 1 - 6.0000 -
3417.57/3426.76 c 3427 244627 25676 1 - 6.0000 -
3422.67/3431.87 c 3432 244898 25749 1 - 6.0000 -
3427.86/3437.04 c 3437 245120 25785 1 - 6.0000 -
3432.94/3442.15 c 3442 245344 25814 1 - 6.0000 -
3438.12/3447.30 c 3447 245609 25848 1 - 6.0000 -
3443.11/3452.38 c 3452 245854 25967 1 - 6.0000 -
3448.30/3457.50 c 3458 246096 26028 1 - 6.0000 -
3453.38/3462.64 c 3463 246345 26043 1 - 6.0000 -
3458.47/3467.71 c 3468 246608 26103 1 - 6.0000 -
3463.56/3472.80 c 3473 246890 26149 1 - 6.0000 -
3468.65/3477.97 c 3478 247190 26194 1 - 6.0000 -
3473.84/3483.15 c 3483 247464 26272 1 - 6.0000 -
3478.92/3488.29 c 3488 247745 26340 1 - 6.0000 -
3484.11/3493.45 c 3493 248013 26387 1 - 6.0000 -
3489.19/3498.51 c 3499 248306 26426 1 - 6.0000 -
3494.38/3503.74 c 3504 248625 26491 1 - 6.0000 -
3499.57/3508.95 c 3509 249004 26536 1 - 6.0000 -
3504.85/3514.28 c 3514 249211 26609 1 - 6.0000 -
3510.04/3519.40 c 3519 249468 26648 1 - 6.0000 -
3515.13/3524.56 c 3525 249771 26700 1 - 6.0000 -
3520.32/3529.71 c 3530 250026 26720 1 - 6.0000 -
3525.40/3534.88 c 3535 250241 26745 1 - 6.0000 -
3530.60/3540.02 c 3540 250482 26789 1 - 6.0000 -
3535.69/3545.15 c 3545 250755 26873 1 - 6.0000 -
3540.77/3550.26 c 3550 251082 26979 1 - 6.0000 -
3545.86/3555.39 c 3555 251366 27021 1 - 6.0000 -
3551.04/3560.52 c 3561 251639 27063 1 - 6.0000 -
3556.33/3565.80 c 3566 251914 27096 1 - 6.0000 -
3561.31/3570.87 c 3571 252208 27127 1 - 6.0000 -
3566.40/3575.94 c 3576 252511 27154 1 - 6.0000 -
3571.50/3581.04 c 3581 252885 27209 1 - 6.0000 -
3576.58/3586.12 c 3586 253199 27229 1 - 6.0000 -
3581.66/3591.22 c 3591 253406 27226 1 - 6.0000 -
3587.05/3596.62 c 3597 253709 27243 1 - 6.0000 -
3590.55/3600.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.55/3600.18 c Total Time : 3600.1900
3590.55/3600.18 c solving : 3600.1900
3590.55/3600.18 c presolving : 1.0663 (included in solving)
3590.55/3600.18 c B&B Tree :
3590.55/3600.18 c nodes (total) : 1
3590.55/3600.18 c Solution :
3590.55/3600.18 c Solutions found : 0
3590.55/3600.18 c Primal Bound : -
3590.55/3600.18 c Dual Bound : +6.00000000000000e+00
3590.55/3600.18 c Gap : -
3590.64/3600.20 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 (62038 MiB free)
memory of node 1: 64510 MiB (60480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434795-1721119074/watcher-4434795-1721119074 -o /tmp/evaluation-result-4434795-1721119074/solver-4434795-1721119074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874156 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434795-1721119074.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=874214, runsolver pid=874201
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 2.31 3.33 3.83 8/256 874217
/proc/meminfo: memFree=125331688/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=51840 memory=40768 CPUtime=0.1 cores=5,7
/proc/874214/stat : 874214 (fscip) R 874201 874214 874143 0 -1 4194304 8246 0 0 0 9 1 0 0 20 0 1 0 164069297 53084160 10192 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 12960 10192 2750 3032 0 9360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51840 KiB
Current children cumulated memory: 40768 KiB
[startup+0.206523 s]*
/proc/loadavg: 2.44 3.34 3.83 8/256 874217
/proc/meminfo: memFree=125303936/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=63320 memory=46648 CPUtime=0.2 cores=5,7
/proc/874214/stat : 874214 (fscip) R 874201 874214 874143 0 -1 4194304 9714 0 0 0 19 1 0 0 20 0 1 0 164069297 64839680 11662 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 15830 11662 2782 3032 0 12230 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63320 KiB
Current children cumulated memory: 46648 KiB
[startup+0.306453 s]*
/proc/loadavg: 2.44 3.34 3.83 7/256 874217
/proc/meminfo: memFree=125283716/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=64336 memory=47704 CPUtime=0.3 cores=5,7
/proc/874214/stat : 874214 (fscip) R 874201 874214 874143 0 -1 4194304 9972 0 0 0 29 1 0 0 20 0 1 0 164069297 65880064 11926 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 16084 11926 2782 3032 0 12484 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64336 KiB
Current children cumulated memory: 47704 KiB
[startup+0.700143 s]
/proc/loadavg: 2.44 3.34 3.83 7/256 874217
/proc/meminfo: memFree=125274060/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=66368 memory=50344 CPUtime=0.69 cores=5,7
/proc/874214/stat : 874214 (fscip) R 874201 874214 874143 0 -1 4194304 10612 0 0 0 68 1 0 0 20 0 1 0 164069297 67960832 12586 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 16592 12586 2782 3032 0 12992 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66368 KiB
Current children cumulated memory: 50344 KiB
[startup+1.50046 s]
/proc/loadavg: 2.44 3.34 3.83 7/256 874217
/proc/meminfo: memFree=125211044/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=187728 memory=111308 CPUtime=1.49 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 25371 0 0 0 146 3 0 0 20 0 3 0 164069297 192233472 27827 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 46932 27827 2798 3032 0 32443 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 187728 KiB
Current children cumulated memory: 111308 KiB
[startup+3.10596 s]
/proc/loadavg: 2.44 3.34 3.83 7/260 874269
/proc/meminfo: memFree=125023408/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=163088 CPUtime=3.09 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 51344 0 0 0 302 7 0 0 20 0 3 0 164069297 259342336 40772 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 40772 2910 3032 0 46499 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=198340509722 CPUtime=1.98 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 32975 0 0 0 194 4 0 0 20 0 3 0 164069407 259342336 40772 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=0 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 40772 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 163088 KiB
[startup+6.30024 s]
/proc/loadavg: 2.57 3.35 3.83 7/264 874275
/proc/meminfo: memFree=124672192/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=170380 CPUtime=6.27 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 70522 0 0 0 619 8 0 0 20 0 3 0 164069297 259342336 42595 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 42595 2910 3032 0 47905 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=0 CPUtime=5.17 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 52147 0 0 0 511 6 0 0 20 0 3 0 164069407 259342336 42595 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=0 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 42595 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 170380 KiB
[startup+12.7002 s]
/proc/loadavg: 2.68 3.36 3.83 7/264 874275
/proc/meminfo: memFree=124596592/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=176064 CPUtime=12.65 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 98378 0 0 0 1255 10 0 0 20 0 3 0 164069297 259342336 44016 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 44016 2958 3032 0 49493 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=170704 CPUtime=11.55 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 79968 0 0 0 1147 8 0 0 20 0 3 0 164069407 259342336 44016 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=170432 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 44016 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 176064 KiB
[startup+25.5003 s]
/proc/loadavg: 2.88 3.38 3.83 7/264 874276
/proc/meminfo: memFree=124526852/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=176104 CPUtime=25.42 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 119666 0 0 0 2530 12 0 0 20 0 3 0 164069297 259342336 44026 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 44026 2958 3032 0 49493 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=0 CPUtime=24.32 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 101221 0 0 0 2422 10 0 0 20 0 3 0 164069407 259342336 44026 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=11544 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 44026 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 176104 KiB
[startup+51.1062 s]
/proc/loadavg: 3.52 3.49 3.86 7/263 874281
/proc/meminfo: memFree=124474752/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=195040 CPUtime=50.95 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 175388 0 0 0 5079 16 0 0 20 0 3 0 164069297 259342336 48760 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 48760 2958 3032 0 54463 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=11544 CPUtime=49.85 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 156887 0 0 0 4971 14 0 0 20 0 3 0 164069407 259342336 48760 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=43136 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 48760 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 195040 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 3.60 3.88 7/263 874289
/proc/meminfo: memFree=124408160/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=196604 CPUtime=102.01 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 238885 0 0 0 10179 22 0 0 20 0 3 0 164069297 259342336 49151 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 49151 2958 3032 0 54463 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=176104 CPUtime=100.91 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 220330 0 0 0 10071 20 0 0 20 0 3 0 164069407 259342336 49151 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=196604 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 49151 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 196604 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.71 3.90 7/265 874304
/proc/meminfo: memFree=124396400/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=197996 CPUtime=161.85 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 270329 0 0 0 16159 26 0 0 20 0 3 0 164069297 259342336 49499 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 49499 2958 3032 0 54951 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=197984 CPUtime=160.74 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 251737 0 0 0 16050 24 0 0 20 0 3 0 164069407 259342336 49499 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=11544 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 49499 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 197996 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.78 3.91 7/265 874314
/proc/meminfo: memFree=124364628/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=214768 CPUtime=221.69 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 304322 0 0 0 22139 30 0 0 20 0 3 0 164069297 259342336 53692 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 63316 53692 2958 3032 0 59437 0
[pid=874214/tid=874218] ppid=874201 vsize=253264 memory=200552 CPUtime=220.58 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 285712 0 0 0 22031 27 0 0 20 0 3 0 164069407 259342336 53692 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=253264 memory=200552 CPUtime=0 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 164069408 259342336 53692 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 214768 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.84 3.92 7/265 874324
/proc/meminfo: memFree=124326588/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=253264 memory=216504 CPUtime=281.54 cores=5,7
################
# More data... #
################
[pid=874214] ppid=874201 vsize=526748 memory=445528 CPUtime=3393.23 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 736817 0 0 0 339166 157 0 0 20 0 3 0 164069297 539389952 111382 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 111382 3278 3032 0 114060 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=16060 CPUtime=3391.89 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 717296 0 0 0 339045 144 0 0 20 0 3 0 164069407 539389952 111382 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=445244 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 77 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 111382 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 445528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/263 876129
/proc/meminfo: memFree=123227056/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=446928 CPUtime=3453.08 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 740077 0 0 0 345150 158 0 0 20 0 3 0 164069297 539389952 111732 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 111732 3278 3032 0 114452 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=446928 CPUtime=3451.75 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 720536 0 0 0 345029 146 0 0 20 0 3 0 164069407 539389952 111732 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=43136 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 78 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 111732 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 446928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.13 4.10 6/262 876139
/proc/meminfo: memFree=123204188/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468080 CPUtime=3512.94 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 748756 0 0 0 351133 161 0 0 20 0 3 0 164069297 539389952 117020 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117020 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=446928 CPUtime=3511.59 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 729197 0 0 0 351011 148 0 0 20 0 3 0 164069407 539389952 117020 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=468072 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 79 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117020 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/262 876150
/proc/meminfo: memFree=123203688/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468172 CPUtime=3572.79 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 752251 0 0 0 357116 163 0 0 20 0 3 0 164069297 539389952 117043 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117043 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=13196 CPUtime=3571.44 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 732674 0 0 0 356994 150 0 0 20 0 3 0 164069407 539389952 117043 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=2656 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 80 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117043 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468172 KiB
[startup+3600.2 s]
# the end of solver process 874214 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.01 s, system=1.64863 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 6/262 876150
/proc/meminfo: memFree=123203648/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468172 CPUtime=3574.49 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 752273 0 0 0 357286 163 0 0 20 0 3 0 164069297 539389952 117043 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117043 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=-6730181486179433323 CPUtime=3573.14 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 732696 0 0 0 357164 150 0 0 20 0 3 0 164069407 539389952 117043 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 80 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117043 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468172 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 6/262 876152
/proc/meminfo: memFree=123203584/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468196 CPUtime=3580.87 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 753781 0 0 0 357924 163 0 0 20 0 3 0 164069297 539389952 117049 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117049 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=468176 CPUtime=3579.52 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 734202 0 0 0 357801 151 0 0 20 0 3 0 164069407 539389952 117049 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117049 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3580.87 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468196 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 6/262 876154
/proc/meminfo: memFree=123203340/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468356 CPUtime=3587.25 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 753921 0 0 0 358562 163 0 0 20 0 3 0 164069297 539389952 117089 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117089 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=0 CPUtime=3585.9 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 734341 0 0 0 358439 151 0 0 20 0 3 0 164069407 539389952 117089 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=468148 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117089 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468356 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 6/262 876154
/proc/meminfo: memFree=123199980/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468388 CPUtime=3588.85 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 753988 0 0 0 358722 163 0 0 20 0 3 0 164069297 539389952 117097 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117097 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=468388 CPUtime=3587.5 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 734408 0 0 0 358599 151 0 0 20 0 3 0 164069407 539389952 117097 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=43136 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117097 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468388 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.12 4.09 6/262 876154
/proc/meminfo: memFree=123199696/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468584 CPUtime=3589.64 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 754035 0 0 0 358801 163 0 0 20 0 3 0 164069297 539389952 117146 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117146 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=13196 CPUtime=3588.3 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 734455 0 0 0 358679 151 0 0 20 0 3 0 164069407 539389952 117146 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=5472 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117146 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3589.64 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468584 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 6/262 876154
/proc/meminfo: memFree=123199652/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=526748 memory=468788 CPUtime=3590.45 cores=5,7
/proc/874214/stat : 874214 (fscip) S 874201 874214 874143 0 -1 1077936128 754094 0 0 0 358882 163 0 0 20 0 3 0 164069297 539389952 117197 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 131687 117197 3278 3032 0 120066 0
[pid=874214/tid=874218] ppid=874201 vsize=526748 memory=-6730181486179433323 CPUtime=3589.1 cores=5,7
/proc/874214/task/874218/stat : 874218 (fscip) R 874201 874214 874143 0 -1 4194368 734512 0 0 0 358759 151 0 0 20 0 3 0 164069407 539389952 117197 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
[pid=874214/tid=874219] ppid=874201 vsize=526748 memory=7080 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 164069408 539389952 117197 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3590.45 s
Current children cumulated vsize: 526748 KiB
Current children cumulated memory: 468788 KiB
[startup+3600.2 s]
/proc/loadavg: 4.15 4.12 4.09 6/262 876154
/proc/meminfo: memFree=123199652/131524600 swapFree=131071996/131071996
[pid=874214] ppid=874201 vsize=349980 memory=283792 CPUtime=3590.64 cores=5,7
/proc/874214/stat : 874214 (fscip) R 874201 874214 874143 0 -1 4194304 756547 0 0 0 358900 164 0 0 20 0 2 0 164069297 358379520 70948 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
/proc/874214/statm: 87495 70948 3278 3032 0 83672 0
[pid=874214/tid=874219] ppid=874201 vsize=349980 memory=6720661030495863148 CPUtime=0.03 cores=5,7
/proc/874214/task/874219/stat : 874219 (fscip) S 874201 874214 874143 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 2 0 164069408 358379520 70948 134679101440 4194304 16613245 140727347871744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43253760 140727347876885 140727347877001 140727347877001 140727347884016 0
Current children cumulated CPU time: 3590.64 s
Current children cumulated vsize: 349980 KiB
Current children cumulated memory: 283792 KiB
Child status: 0
Real time (s): 3600.2
CPU time (s): 3590.66
CPU user time (s): 3589.01
CPU system time (s): 1.64863
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 526748
Max. memory (cumulated for all children) (KiB): 468788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.01
system time used= 1.64863
maximum resident set size= 468788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756592
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= 10690
involuntary context switches= 2124
# summary of solver processes directly reported to runsolver:
# pid: 874214
# total CPU time (s): 3590.66
# total CPU user time (s): 3589.01
# total CPU system time (s): 1.64863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99701 second user time and 20.2313 second system time
The end
Begin job on nodeC017 at 2024-07-16 10:38:07
IDJOB=4434795
IDBENCH=148772
IDSOLVER=3064
FILE ID=nodeC017/4434795-1721119074
RUNJOBID= nodeC017-1721119087-874156
SLURM_JOB_ID= 7505668
Free space on /tmp= 890080 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.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-4434795-1721119074/watcher-4434795-1721119074 -o /tmp/evaluation-result-4434795-1721119074/solver-4434795-1721119074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874156 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434795-1721119074.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1689370645
nodeC017.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 : 3542.213
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.46
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 : 3643.578
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3623.116
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.46
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 : 3431.277
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3630.565
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.46
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 : 3602.909
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3572.209
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.46
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 : 3630.561
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125462068 kB
MemAvailable: 129715544 kB
Buffers: 403896 kB
Cached: 4643876 kB
SwapCached: 0 kB
Active: 920076 kB
Inactive: 4457900 kB
Active(anon): 1436 kB
Inactive(anon): 366492 kB
Active(file): 918640 kB
Inactive(file): 4091408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114452 kB
Writeback: 8 kB
AnonPages: 330188 kB
Mapped: 103880 kB
Shmem: 37720 kB
KReclaimable: 166152 kB
Slab: 280132 kB
SReclaimable: 166152 kB
SUnreclaim: 113980 kB
KernelStack: 3824 kB
PageTables: 9348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 670696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC017 at 2024-07-16 11:38:07