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.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 89654528, getVmSize() = 74911744, SCIPgetMemUsed() = 45003699, SCIPgetMemTotal() = 49912187, SCIPgetMemExternEstim() = 39742341
0.00/0.09 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.97/1.05 c ** Estimated virtualMemUsedAtSolver = 86599103, getVmSize() = 123686912, SCIPgetMemUsed() = 62333266, SCIPgetMemTotal() = 90156314, SCIPgetMemExternEstim() = 39742341
0.97/1.05 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.97/1.05 c Original Problem :
0.97/1.05 c Problem name : instance-4464404-1722378601
0.97/1.05 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.97/1.05 c Constraints : 39645
0.97/1.05 c Objective sense : minimize
0.97/1.05 c Presolved Problem :
0.97/1.05 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.97/1.05 c Constraints : 39728
0.97/1.05 c Constraints : Number
0.97/1.05 c setppc : 39683
0.97/1.05 c logicor : 45
0.97/1.05 c ** Instance transfer method used: 0
0.97/1.10 c ** ParaScipInstance copy does not increase the number of variables. **
1.08/1.14 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.08/1.14 c Nodes Active
1.08/1.14 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.65/6.73 c 7 2 1 1 - 0.0000 -
12.44/12.54 c 13 65 64 1 - 0.0000 -
17.93/18.08 c 18 226 185 1 - 0.0000 -
23.31/23.45 c 23 423 258 1 - 0.0000 -
28.49/28.65 c 29 572 317 1 - 0.0000 -
33.68/33.85 c 34 776 365 1 - 0.0000 -
38.97/39.19 c 39 934 399 1 - 0.0000 -
45.15/45.34 c 45 1003 420 1 - 0.0000 -
50.13/50.36 c 50 1084 439 1 - 0.0000 -
55.41/55.64 c 56 1205 470 1 - 0.0000 -
61.00/61.27 c 61 1398 495 1 - 0.0000 -
66.49/66.78 c 67 1655 532 1 - 0.0000 -
71.77/72.08 c 72 1761 566 1 - 0.0000 -
77.25/77.56 c 78 1915 588 1 - 0.0000 -
83.14/83.48 c 83 2075 606 1 - 0.0000 -
88.52/88.84 c 89 2270 639 1 - 0.0000 -
94.10/94.46 c 94 2533 692 1 - 0.0000 -
99.29/99.60 c 100 2855 736 1 - 0.0000 -
105.07/105.48 c 105 3017 774 1 - 0.0000 -
110.95/111.37 c 111 3207 916 1 - 0.0000 -
116.93/117.31 c 117 3349 998 1 - 0.0000 -
122.02/122.40 c 122 3696 1097 1 - 0.0000 -
127.40/127.81 c 128 4050 1159 1 - 0.0000 -
132.39/132.87 c 133 4366 1293 1 - 0.0000 -
138.17/138.68 c 139 4707 1398 1 - 0.0000 -
143.36/143.82 c 144 5076 1473 1 - 0.0000 -
148.35/148.89 c 149 5384 1555 1 - 0.0000 -
153.73/154.26 c 154 5816 1653 1 - 0.0000 -
160.21/160.74 c 161 5950 1735 1 - 0.0000 -
165.89/166.42 c 166 6018 1783 1 - 0.0000 -
172.57/173.14 c 173 6059 1816 1 - 0.0000 -
178.46/179.05 c 179 6393 1934 1 - 0.0000 -
183.55/184.12 c 184 6834 2063 1 - 0.0000 -
188.53/189.17 c 189 7343 2164 1 - 0.0000 -
194.31/194.99 c 195 7766 2239 1 - 0.0000 -
199.50/200.10 c 200 8187 2314 1 - 0.0000 -
204.57/205.20 c 205 8708 2411 1 - 0.0000 -
210.36/211.08 c 211 9183 2522 1 - 0.0000 -
215.45/216.15 c 216 9593 2634 1 - 0.0000 -
220.53/221.23 c 221 9997 2720 1 - 0.0000 -
225.51/226.28 c 226 10515 2782 1 - 0.0000 -
230.59/231.36 c 231 10993 2864 1 - 0.0000 -
235.68/236.44 c 236 11472 2961 1 - 0.0000 -
240.67/241.49 c 242 12006 3033 1 - 0.0000 -
245.75/246.55 c 247 12488 3125 1 - 0.0000 -
250.83/251.63 c 252 12945 3206 1 - 0.0000 -
255.81/256.67 c 257 13432 3291 1 - 0.0000 -
261.29/262.18 c 262 13907 3368 1 - 0.0000 -
267.37/268.21 c 268 14184 3479 1 - 0.0000 -
272.35/273.26 c 273 14756 3557 1 - 0.0000 -
277.43/278.31 c 278 15316 3627 1 - 0.0000 -
283.90/284.88 c 285 15733 3730 1 - 0.0000 -
289.48/290.41 c 290 15784 3779 1 - 0.0000 -
294.47/295.47 c 295 16227 3896 1 - 0.0000 -
299.54/300.52 c 301 16840 3975 1 - 0.0000 -
305.32/306.37 c 306 17282 4121 1 - 0.0000 -
310.40/311.45 c 311 17795 4262 1 - 0.0000 -
315.48/316.55 c 317 18225 4378 1 - 0.0000 -
320.47/321.60 c 322 18740 4487 1 - 0.0000 -
325.54/326.64 c 327 19292 4585 1 - 0.0000 -
330.52/331.69 c 332 19854 4701 1 - 0.0000 -
335.60/336.76 c 337 20331 4792 1 - 0.0000 -
340.78/341.92 c 342 20746 4915 1 - 0.0000 -
345.76/346.97 c 347 21268 5023 1 - 0.0000 -
351.44/352.63 c 353 21786 5133 1 - 0.0000 -
356.82/358.10 c 358 22208 5243 1 - 0.0000 -
361.91/363.19 c 363 22705 5350 1 - 0.0000 -
367.08/368.30 c 368 23171 5466 1 - 0.0000 -
372.06/373.38 c 373 23628 5623 1 - 0.0000 -
377.14/378.42 c 378 24094 5715 1 - 0.0000 -
382.62/383.90 c 384 24607 5798 1 - 0.0000 -
387.60/388.95 c 389 25091 5892 1 - 0.0000 -
392.69/394.02 c 394 25598 5977 1 - 0.0000 -
397.67/399.09 c 399 26119 6022 1 - 0.0000 -
402.85/404.23 c 404 26585 6144 1 - 0.0000 -
407.83/409.29 c 409 27124 6241 1 - 0.0000 -
412.92/414.33 c 414 27595 6342 1 - 0.0000 -
418.01/419.40 c 419 28021 6524 1 - 0.0000 -
423.18/424.63 c 425 28475 6654 1 - 0.0000 -
428.27/429.72 c 430 28993 6782 1 - 0.0000 -
433.75/435.22 c 435 29511 6932 1 - 0.0000 -
438.74/440.29 c 440 30018 7057 1 - 0.0000 -
444.72/446.21 c 446 30545 7162 1 - 0.0000 -
450.40/451.98 c 452 31065 7220 1 - 0.0000 -
455.59/457.16 c 457 31562 7351 1 - 0.0000 -
460.67/462.21 c 462 32087 7442 1 - 0.0000 -
465.75/467.30 c 467 32606 7536 1 - 0.0000 -
470.74/472.37 c 472 33090 7640 1 - 0.0000 -
475.82/477.42 c 477 33578 7718 1 - 0.0000 -
480.81/482.48 c 482 34100 7784 1 - 0.0000 -
485.90/487.53 c 488 34615 7873 1 - 0.0000 -
490.88/492.58 c 493 35103 7951 1 - 0.0000 -
495.97/497.64 c 498 35666 8012 1 - 0.0000 -
500.95/502.69 c 503 36218 8062 1 - 0.0000 -
506.03/507.75 c 508 36769 8123 1 - 0.0000 -
511.12/512.80 c 513 37349 8149 1 - 0.0000 -
516.10/517.86 c 518 37897 8219 1 - 0.0000 -
521.19/522.90 c 523 38454 8290 1 - 0.0000 -
526.17/527.98 c 528 38996 8346 1 - 0.0000 -
531.25/533.03 c 533 39508 8426 1 - 0.0000 -
536.54/538.31 c 538 40056 8514 1 - 0.0000 -
542.02/543.81 c 544 40476 8630 1 - 0.0000 -
547.10/548.99 c 549 40900 8730 1 - 0.0000 -
552.19/554.05 c 554 41478 8814 1 - 0.0000 -
557.28/559.12 c 559 42085 8849 1 - 0.0000 -
562.26/564.16 c 564 42611 8903 1 - 0.0000 -
567.34/569.21 c 569 43183 9023 1 - 0.0000 -
572.32/574.26 c 574 43774 9086 1 - 0.0000 -
577.40/579.31 c 579 44388 9138 1 - 0.0000 -
582.39/584.37 c 584 45002 9182 1 - 0.0000 -
587.48/589.43 c 589 45601 9253 1 - 0.0000 -
592.47/594.47 c 594 46229 9280 1 - 0.0000 -
597.75/599.78 c 600 46745 9364 1 - 0.0000 -
602.83/604.84 c 605 47291 9478 1 - 0.0000 -
607.92/609.90 c 610 47824 9587 1 - 0.0000 -
612.90/614.96 c 615 48405 9672 1 - 0.0000 -
617.99/620.01 c 620 48993 9762 1 - 0.0000 -
623.16/625.26 c 625 49511 9858 1 - 0.0000 -
628.25/630.32 c 630 50072 9945 1 - 0.0000 -
633.24/635.38 c 635 50608 10045 1 - 0.0000 -
638.31/640.44 c 640 51178 10117 1 - 0.0000 -
643.40/645.50 c 646 51759 10176 1 - 0.0000 -
648.39/650.57 c 651 52360 10253 1 - 0.0000 -
653.47/655.61 c 656 52979 10308 1 - 0.0000 -
658.46/660.66 c 661 53602 10378 1 - 0.0000 -
663.54/665.71 c 666 54207 10435 1 - 0.0000 -
668.53/670.76 c 671 54804 10510 1 - 0.0000 -
673.61/675.82 c 676 55407 10592 1 - 0.0000 -
678.59/680.88 c 681 55962 10713 1 - 0.0000 -
683.67/685.93 c 686 56506 10821 1 - 0.0000 -
688.77/691.01 c 691 57062 10923 1 - 0.0000 -
693.75/696.05 c 696 57664 11019 1 - 0.0000 -
698.83/701.10 c 701 58289 11098 1 - 0.0000 -
703.81/706.15 c 706 58922 11169 1 - 0.0000 -
708.90/711.20 c 711 59558 11237 1 - 0.0000 -
713.98/716.30 c 716 60127 11349 1 - 0.0000 -
718.96/721.37 c 721 60634 11445 1 - 0.0000 -
724.05/726.42 c 726 61221 11532 1 - 0.0000 -
729.03/731.47 c 731 61816 11629 1 - 0.0000 -
734.12/736.54 c 737 62398 11743 1 - 0.0000 -
739.11/741.59 c 742 62980 11825 1 - 0.0000 -
744.20/746.65 c 747 63556 11901 1 - 0.0000 -
749.28/751.76 c 752 64112 12001 1 - 0.0000 -
754.36/756.81 c 757 64700 12063 1 - 0.0000 -
759.44/761.91 c 762 65260 12155 1 - 0.0000 -
764.43/766.95 c 767 65834 12263 1 - 0.0000 -
769.51/772.00 c 772 66479 12338 1 - 0.0000 -
774.50/777.08 c 777 67041 12460 1 - 0.0000 -
779.57/782.13 c 782 67605 12560 1 - 0.0000 -
784.55/787.19 c 787 68176 12637 1 - 0.0000 -
789.64/792.24 c 792 68786 12725 1 - 0.0000 -
795.12/797.72 c 798 69310 12847 1 - 0.0000 -
800.19/802.80 c 803 69879 12930 1 - 0.0000 -
805.18/807.86 c 808 70435 12996 1 - 0.0000 -
810.26/812.91 c 813 70946 13059 1 - 0.0000 -
815.24/817.98 c 818 71492 13097 1 - 0.0000 -
820.33/823.02 c 823 72038 13141 1 - 0.0000 -
826.21/828.98 c 829 72547 13224 1 - 0.0000 -
831.29/834.03 c 834 73142 13303 1 - 0.0000 -
836.28/839.09 c 839 73674 13405 1 - 0.0000 -
841.36/844.13 c 844 74167 13476 1 - 0.0000 -
846.35/849.19 c 849 74707 13552 1 - 0.0000 -
851.43/854.24 c 854 75272 13617 1 - 0.0000 -
856.52/859.31 c 859 75861 13686 1 - 0.0000 -
861.50/864.35 c 864 76405 13794 1 - 0.0000 -
866.58/869.43 c 869 76987 13886 1 - 0.0000 -
871.56/874.49 c 874 77571 13952 1 - 0.0000 -
876.66/879.53 c 880 78164 14021 1 - 0.0000 -
881.64/884.59 c 885 78804 14081 1 - 0.0000 -
886.72/889.65 c 890 79379 14180 1 - 0.0000 -
891.81/894.71 c 895 79995 14272 1 - 0.0000 -
896.79/899.76 c 900 80611 14392 1 - 0.0000 -
901.88/904.81 c 905 81242 14495 1 - 0.0000 -
906.86/909.86 c 910 81811 14620 1 - 0.0000 -
911.95/914.93 c 915 82405 14756 1 - 0.0000 -
916.94/919.98 c 920 82991 14856 1 - 0.0000 -
922.03/925.05 c 925 83567 14930 1 - 0.0000 -
927.12/930.11 c 930 84157 15028 1 - 0.0000 -
932.10/935.17 c 935 84762 15089 1 - 0.0000 -
937.18/940.22 c 940 85338 15213 1 - 0.0000 -
942.26/945.30 c 945 85905 15334 1 - 0.0000 -
947.25/950.39 c 950 86494 15409 1 - 0.0000 -
952.33/955.44 c 955 87037 15508 1 - 0.0000 -
957.42/960.50 c 961 87592 15613 1 - 0.0000 -
962.40/965.58 c 966 88116 15735 1 - 0.0000 -
967.49/970.64 c 971 88676 15853 1 - 0.0000 -
972.47/975.69 c 976 89253 15942 1 - 0.0000 -
977.57/980.75 c 981 89813 16026 1 - 0.0000 -
982.64/985.81 c 986 90402 16113 1 - 0.0000 -
987.64/990.87 c 991 91022 16195 1 - 0.0000 -
992.72/995.91 c 996 91625 16268 1 - 0.0000 -
997.70/1000.98 c 1001 92248 16345 1 - 0.0000 -
1002.80/1006.03 c 1006 92849 16434 1 - 0.0000 -
1007.88/1011.12 c 1011 93429 16518 1 - 0.0000 -
1012.87/1016.17 c 1016 93970 16641 1 - 0.0000 -
1017.94/1021.22 c 1021 94531 16736 1 - 0.0000 -
1022.93/1026.28 c 1026 95137 16810 1 - 0.0000 -
1028.02/1031.35 c 1031 95742 16897 1 - 0.0000 -
1033.11/1036.41 c 1036 96347 16986 1 - 0.0000 -
1038.29/1041.62 c 1042 96895 17078 1 - 0.0000 -
1043.28/1046.67 c 1047 97374 17211 1 - 0.0000 -
1048.36/1051.75 c 1052 97967 17280 1 - 0.0000 -
1053.45/1056.81 c 1057 98522 17393 1 - 0.0000 -
1058.43/1061.85 c 1062 99091 17458 1 - 0.0000 -
1063.52/1066.91 c 1067 99669 17538 1 - 0.0000 -
1068.50/1071.97 c 1072 100273 17610 1 - 0.0000 -
1073.58/1077.03 c 1077 100854 17693 1 - 0.0000 -
1078.57/1082.09 c 1082 101430 17787 1 - 0.0000 -
1083.66/1087.13 c 1087 101992 17861 1 - 0.0000 -
1088.65/1092.18 c 1092 102606 17901 1 - 0.0000 -
1093.73/1097.25 c 1097 103170 18017 1 - 0.0000 -
1098.81/1102.30 c 1102 103729 18148 1 - 0.0000 -
1103.80/1107.37 c 1107 104365 18274 1 - 0.0000 -
1108.88/1112.42 c 1112 104971 18322 1 - 0.0000 -
1113.87/1117.46 c 1117 105557 18454 1 - 0.0000 -
1118.95/1122.52 c 1123 106145 18562 1 - 0.0000 -
1123.94/1127.57 c 1128 106744 18665 1 - 0.0000 -
1129.03/1132.63 c 1133 107314 18793 1 - 0.0000 -
1134.01/1137.67 c 1138 107919 18856 1 - 0.0000 -
1139.09/1142.74 c 1143 108530 18911 1 - 0.0000 -
1144.08/1147.79 c 1148 109105 19006 1 - 0.0000 -
1149.17/1152.87 c 1153 109193 19022 1 - 0.0000 -
1154.65/1158.37 c 1158 109367 19054 1 - 0.0000 -
1159.83/1163.52 c 1164 109686 19117 1 - 0.0000 -
1165.12/1168.87 c 1169 109982 19165 1 - 0.0000 -
1170.61/1174.37 c 1174 110267 19218 1 - 0.0000 -
1175.69/1179.50 c 1180 110747 19300 1 - 0.0000 -
1181.08/1184.82 c 1185 110873 19332 1 - 0.0000 -
1186.27/1190.05 c 1190 111293 19388 1 - 0.0000 -
1191.45/1195.23 c 1195 111648 19443 1 - 0.0000 -
1196.64/1200.46 c 1200 111880 19475 1 - 0.0000 -
1201.72/1205.50 c 1206 112432 19563 1 - 0.0000 -
1207.22/1211.05 c 1211 112869 19640 1 - 0.0000 -
1212.49/1216.39 c 1216 113228 19715 1 - 0.0000 -
1217.58/1221.44 c 1221 113840 19776 1 - 0.0000 -
1223.36/1227.27 c 1227 114283 19845 1 - 0.0000 -
1229.45/1233.36 c 1233 114605 19925 1 - 0.0000 -
1234.83/1238.74 c 1239 114840 19992 1 - 0.0000 -
1240.62/1244.58 c 1245 115188 20038 1 - 0.0000 -
1246.70/1250.63 c 1251 115561 20099 1 - 0.0000 -
1252.19/1256.10 c 1256 116049 20191 1 - 0.0000 -
1257.18/1261.18 c 1261 116470 20246 1 - 0.0000 -
1262.56/1266.55 c 1267 117003 20304 1 - 0.0000 -
1267.64/1271.60 c 1272 117604 20395 1 - 0.0000 -
1272.82/1276.87 c 1277 117948 20461 1 - 0.0000 -
1277.92/1281.91 c 1282 118520 20555 1 - 0.0000 -
1282.90/1286.96 c 1287 119148 20617 1 - 0.0000 -
1287.99/1292.02 c 1292 119736 20687 1 - 0.0000 -
1292.98/1297.07 c 1297 120376 20722 1 - 0.0000 -
1298.06/1302.12 c 1302 121008 20794 1 - 0.0000 -
1303.05/1307.17 c 1307 121580 20850 1 - 0.0000 -
1308.13/1312.22 c 1312 122215 20915 1 - 0.0000 -
1313.12/1317.27 c 1317 122818 20985 1 - 0.0000 -
1318.20/1322.32 c 1322 123459 21054 1 - 0.0000 -
1323.49/1327.69 c 1328 124037 21106 1 - 0.0000 -
1328.58/1332.74 c 1333 124682 21169 1 - 0.0000 -
1333.55/1337.78 c 1338 125329 21223 1 - 0.0000 -
1339.15/1343.34 c 1343 125601 21283 1 - 0.0000 -
1344.13/1348.39 c 1348 126189 21371 1 - 0.0000 -
1349.61/1353.82 c 1354 126734 21406 1 - 0.0000 -
1354.60/1358.88 c 1359 127351 21467 1 - 0.0000 -
1360.39/1364.69 c 1365 127700 21519 1 - 0.0000 -
1365.46/1369.76 c 1370 128172 21592 1 - 0.0000 -
1370.56/1374.83 c 1375 128705 21669 1 - 0.0000 -
1375.54/1379.89 c 1380 129313 21751 1 - 0.0000 -
1380.92/1385.23 c 1385 129745 21821 1 - 0.0000 -
1386.11/1390.49 c 1390 130250 21910 1 - 0.0000 -
1391.20/1395.54 c 1396 130868 21992 1 - 0.0000 -
1396.59/1400.97 c 1401 131453 22081 1 - 0.0000 -
1401.67/1406.04 c 1406 132036 22198 1 - 0.0000 -
1406.65/1411.09 c 1411 132661 22273 1 - 0.0000 -
1411.74/1416.15 c 1416 133242 22358 1 - 0.0000 -
1416.73/1421.19 c 1421 133843 22457 1 - 0.0000 -
1421.81/1426.24 c 1426 134479 22519 1 - 0.0000 -
1426.79/1431.29 c 1431 135112 22582 1 - 0.0000 -
1432.69/1437.12 c 1437 135405 22639 1 - 0.0000 -
1437.67/1442.19 c 1442 135942 22718 1 - 0.0000 -
1443.04/1447.50 c 1448 136476 22785 1 - 0.0000 -
1448.03/1452.55 c 1453 137037 22892 1 - 0.0000 -
1453.11/1457.66 c 1458 137551 22966 1 - 0.0000 -
1458.69/1463.25 c 1463 138091 23052 1 - 0.0000 -
1463.78/1468.32 c 1468 138637 23152 1 - 0.0000 -
1468.75/1473.38 c 1473 139212 23223 1 - 0.0000 -
1473.84/1478.43 c 1478 139806 23303 1 - 0.0000 -
1478.82/1483.48 c 1483 140400 23403 1 - 0.0000 -
1483.91/1488.55 c 1489 141018 23489 1 - 0.0000 -
1488.99/1493.61 c 1494 141624 23585 1 - 0.0000 -
1493.97/1498.67 c 1499 142193 23688 1 - 0.0000 -
1499.05/1503.71 c 1504 142754 23803 1 - 0.0000 -
1504.03/1508.76 c 1509 143343 23892 1 - 0.0000 -
1509.11/1513.83 c 1514 143923 24008 1 - 0.0000 -
1514.10/1518.87 c 1519 144534 24101 1 - 0.0000 -
1519.18/1523.96 c 1524 145031 24186 1 - 0.0000 -
1524.27/1529.08 c 1529 145535 24268 1 - 0.0000 -
1529.36/1534.12 c 1534 146108 24381 1 - 0.0000 -
1534.34/1539.19 c 1539 146708 24493 1 - 0.0000 -
1539.42/1544.23 c 1544 147227 24596 1 - 0.0000 -
1544.40/1549.29 c 1549 147823 24712 1 - 0.0000 -
1549.49/1554.34 c 1554 148413 24814 1 - 0.0000 -
1554.47/1559.39 c 1559 149016 24955 1 - 0.0000 -
1559.56/1564.44 c 1564 149625 25088 1 - 0.0000 -
1564.55/1569.49 c 1570 150223 25208 1 - 0.0000 -
1569.64/1574.54 c 1575 150830 25333 1 - 0.0000 -
1574.62/1579.59 c 1580 151460 25427 1 - 0.0000 -
1579.70/1584.65 c 1585 152100 25519 1 - 0.0000 -
1584.79/1589.70 c 1590 152742 25599 1 - 0.0000 -
1589.78/1594.75 c 1595 153405 25660 1 - 0.0000 -
1594.86/1599.80 c 1600 154067 25718 1 - 0.0000 -
1599.85/1604.86 c 1605 154672 25815 1 - 0.0000 -
1604.93/1609.91 c 1610 155277 25914 1 - 0.0000 -
1609.91/1614.96 c 1615 155893 25994 1 - 0.0000 -
1615.00/1620.01 c 1620 156527 26064 1 - 0.0000 -
1619.98/1625.06 c 1625 157115 26150 1 - 0.0000 -
1625.07/1630.13 c 1630 157748 26237 1 - 0.0000 -
1630.15/1635.21 c 1635 158356 26347 1 - 0.0000 -
1635.14/1640.27 c 1640 158970 26439 1 - 0.0000 -
1640.23/1645.33 c 1645 159581 26532 1 - 0.0000 -
1645.21/1650.37 c 1650 160224 26615 1 - 0.0000 -
1650.60/1655.76 c 1656 160713 26666 1 - 0.0000 -
1655.99/1661.15 c 1661 161120 26747 1 - 0.0000 -
1661.07/1666.20 c 1666 161699 26824 1 - 0.0000 -
1666.05/1671.26 c 1671 162281 26892 1 - 0.0000 -
1671.34/1676.56 c 1677 162761 26960 1 - 0.0000 -
1676.42/1681.61 c 1682 163256 27045 1 - 0.0000 -
1681.41/1686.66 c 1687 163828 27123 1 - 0.0000 -
1686.70/1691.90 c 1692 164412 27191 1 - 0.0000 -
1691.68/1696.96 c 1697 164891 27280 1 - 0.0000 -
1696.78/1702.08 c 1702 165362 27353 1 - 0.0000 -
1701.86/1707.14 c 1707 165904 27407 1 - 0.0000 -
1706.94/1712.20 c 1712 166460 27505 1 - 0.0000 -
1711.92/1717.26 c 1717 167053 27588 1 - 0.0000 -
1717.01/1722.30 c 1722 167648 27667 1 - 0.0000 -
1722.00/1727.36 c 1727 168233 27742 1 - 0.0000 -
1727.09/1732.41 c 1732 168812 27855 1 - 0.0000 -
1732.07/1737.46 c 1737 169422 27937 1 - 0.0000 -
1737.16/1742.52 c 1743 170053 28010 1 - 0.0000 -
1742.15/1747.57 c 1748 170668 28061 1 - 0.0000 -
1747.23/1752.62 c 1753 171273 28147 1 - 0.0000 -
1752.22/1757.67 c 1758 171835 28207 1 - 0.0000 -
1757.30/1762.73 c 1763 172465 28269 1 - 0.0000 -
1762.29/1767.78 c 1768 173080 28332 1 - 0.0000 -
1767.38/1772.83 c 1773 173711 28405 1 - 0.0000 -
1772.36/1777.88 c 1778 174327 28479 1 - 0.0000 -
1777.44/1782.93 c 1783 174952 28533 1 - 0.0000 -
1782.42/1787.99 c 1788 175589 28596 1 - 0.0000 -
1787.51/1793.03 c 1793 176228 28673 1 - 0.0000 -
1792.49/1798.10 c 1798 176840 28759 1 - 0.0000 -
1797.58/1803.15 c 1803 177469 28840 1 - 0.0000 -
1802.65/1808.20 c 1808 178033 28896 1 - 0.0000 -
1807.63/1813.25 c 1813 178616 29003 1 - 0.0000 -
1812.72/1818.30 c 1818 179217 29108 1 - 0.0000 -
1817.70/1823.35 c 1823 179839 29202 1 - 0.0000 -
1822.78/1828.40 c 1828 180480 29277 1 - 0.0000 -
1827.77/1833.45 c 1833 181114 29365 1 - 0.0000 -
1832.84/1838.50 c 1839 181732 29447 1 - 0.0000 -
1837.83/1843.57 c 1844 182358 29537 1 - 0.0000 -
1842.91/1848.62 c 1849 182986 29613 1 - 0.0000 -
1847.89/1853.68 c 1854 183603 29696 1 - 0.0000 -
1853.77/1859.56 c 1860 184199 29744 1 - 0.0000 -
1859.05/1864.83 c 1865 184572 29809 1 - 0.0000 -
1864.04/1869.87 c 1870 185128 29915 1 - 0.0000 -
1869.12/1874.92 c 1875 185551 29984 1 - 0.0000 -
1874.11/1879.97 c 1880 186150 30047 1 - 0.0000 -
1879.20/1885.02 c 1885 186783 30124 1 - 0.0000 -
1884.18/1890.08 c 1890 187423 30170 1 - 0.0000 -
1889.27/1895.13 c 1895 188044 30243 1 - 0.0000 -
1894.25/1900.17 c 1900 188663 30326 1 - 0.0000 -
1899.33/1905.22 c 1905 189288 30419 1 - 0.0000 -
1904.32/1910.27 c 1910 189946 30473 1 - 0.0000 -
1909.41/1915.32 c 1915 190599 30522 1 - 0.0000 -
1914.39/1920.37 c 1920 191145 30602 1 - 0.0000 -
1919.47/1925.43 c 1925 191756 30679 1 - 0.0000 -
1924.46/1930.47 c 1930 192363 30748 1 - 0.0000 -
1929.55/1935.54 c 1936 192995 30848 1 - 0.0000 -
1934.53/1940.58 c 1941 193629 30924 1 - 0.0000 -
1939.62/1945.63 c 1946 194267 31006 1 - 0.0000 -
1944.60/1950.68 c 1951 194919 31050 1 - 0.0000 -
1949.68/1955.74 c 1956 195558 31137 1 - 0.0000 -
1954.68/1960.78 c 1961 196203 31192 1 - 0.0000 -
1959.86/1965.99 c 1966 196774 31239 1 - 0.0000 -
1965.15/1971.29 c 1971 197261 31284 1 - 0.0000 -
1970.73/1976.88 c 1977 197694 31347 1 - 0.0000 -
1975.81/1981.93 c 1982 198276 31399 1 - 0.0000 -
1980.80/1986.99 c 1987 198904 31427 1 - 0.0000 -
1985.88/1992.03 c 1992 199510 31458 1 - 0.0000 -
1990.87/1997.08 c 1997 200086 31578 1 - 0.0000 -
1995.95/2002.14 c 2002 200687 31659 1 - 0.0000 -
2000.94/2007.18 c 2007 201298 31747 1 - 0.0000 -
2006.02/2012.23 c 2012 201929 31818 1 - 0.0000 -
2011.00/2017.28 c 2017 202506 31887 1 - 0.0000 -
2016.10/2022.33 c 2022 203136 31947 1 - 0.0000 -
2021.08/2027.38 c 2027 203787 31996 1 - 0.0000 -
2026.17/2032.43 c 2032 204414 32057 1 - 0.0000 -
2031.15/2037.48 c 2037 205039 32134 1 - 0.0000 -
2036.24/2042.55 c 2043 205655 32232 1 - 0.0000 -
2041.32/2047.61 c 2048 206253 32358 1 - 0.0000 -
2046.31/2052.68 c 2053 206816 32461 1 - 0.0000 -
2052.09/2058.46 c 2058 207034 32553 1 - 0.0000 -
2057.57/2063.91 c 2064 207444 32625 1 - 0.0000 -
2063.36/2069.73 c 2070 207664 32715 1 - 0.0000 -
2068.45/2074.85 c 2075 207861 32792 1 - 0.0000 -
2074.03/2080.46 c 2080 208108 32895 1 - 0.0000 -
2080.41/2086.82 c 2087 208343 32972 1 - 0.0000 -
2085.89/2092.35 c 2092 208674 33041 1 - 0.0000 -
2091.08/2097.54 c 2098 208946 33099 1 - 0.0000 -
2096.46/2102.91 c 2103 209319 33196 1 - 0.0000 -
2101.75/2108.22 c 2108 209722 33269 1 - 0.0000 -
2107.64/2114.14 c 2114 210080 33351 1 - 0.0000 -
2112.63/2119.19 c 2119 210466 33471 1 - 0.0000 -
2118.10/2124.64 c 2125 210901 33570 1 - 0.0000 -
2123.20/2129.70 c 2130 211351 33680 1 - 0.0000 -
2128.18/2134.75 c 2135 211899 33788 1 - 0.0000 -
2133.66/2140.27 c 2140 212390 33875 1 - 0.0000 -
2138.75/2145.37 c 2145 212867 33964 1 - 0.0000 -
2143.84/2150.46 c 2150 213383 34038 1 - 0.0000 -
2148.92/2155.53 c 2156 213942 34147 1 - 0.0000 -
2154.01/2160.61 c 2161 214487 34248 1 - 0.0000 -
2158.99/2165.68 c 2166 215054 34345 1 - 0.0000 -
2164.18/2170.86 c 2171 215555 34446 1 - 0.0000 -
2169.76/2176.46 c 2176 216082 34573 1 - 0.0000 -
2175.24/2181.92 c 2182 216202 34627 1 - 0.0000 -
2180.23/2186.99 c 2187 216497 34690 1 - 0.0000 -
2186.02/2192.70 c 2193 216755 34736 1 - 0.0000 -
2191.59/2198.39 c 2198 217019 34786 1 - 0.0000 -
2197.39/2204.14 c 2204 217419 34830 1 - 0.0000 -
2203.07/2209.82 c 2210 217879 34922 1 - 0.0000 -
2208.45/2215.25 c 2215 218282 34989 1 - 0.0000 -
2213.73/2220.55 c 2221 218799 35058 1 - 0.0000 -
2218.82/2225.63 c 2226 219320 35145 1 - 0.0000 -
2223.90/2230.71 c 2231 219876 35249 1 - 0.0000 -
2228.89/2235.77 c 2236 220404 35333 1 - 0.0000 -
2234.18/2241.04 c 2241 220860 35378 1 - 0.0000 -
2240.17/2247.07 c 2247 221273 35449 1 - 0.0000 -
2245.26/2252.13 c 2252 221676 35522 1 - 0.0000 -
2250.24/2257.19 c 2257 222179 35631 1 - 0.0000 -
2255.82/2262.72 c 2263 222602 35718 1 - 0.0000 -
2261.30/2268.21 c 2268 223010 35792 1 - 0.0000 -
2266.29/2273.28 c 2273 223555 35875 1 - 0.0000 -
2271.37/2278.33 c 2278 224065 35997 1 - 0.0000 -
2276.65/2283.67 c 2284 224589 36089 1 - 0.0000 -
2281.75/2288.75 c 2289 225003 36167 1 - 0.0000 -
2286.83/2293.83 c 2294 225528 36268 1 - 0.0000 -
2291.81/2298.87 c 2299 226079 36363 1 - 0.0000 -
2296.90/2303.98 c 2304 226656 36435 1 - 0.0000 -
2302.58/2309.67 c 2310 227065 36498 1 - 0.0000 -
2307.57/2314.68 c 2315 227478 36595 1 - 0.0000 -
2312.66/2319.72 c 2320 227951 36696 1 - 0.0000 -
2317.65/2324.77 c 2325 228501 36784 1 - 0.0000 -
2322.73/2329.82 c 2330 229053 36858 1 - 0.0000 -
2328.32/2335.43 c 2335 229483 36946 1 - 0.0000 -
2333.40/2340.50 c 2341 230031 37036 1 - 0.0000 -
2338.49/2345.68 c 2346 230549 37110 1 - 0.0000 -
2343.77/2350.92 c 2351 231014 37169 1 - 0.0000 -
2348.86/2356.01 c 2356 231528 37269 1 - 0.0000 -
2353.85/2361.07 c 2361 232079 37358 1 - 0.0000 -
2359.02/2366.28 c 2366 232491 37430 1 - 0.0000 -
2364.11/2371.33 c 2371 232841 37508 1 - 0.0000 -
2369.20/2376.41 c 2376 233230 37589 1 - 0.0000 -
2374.28/2381.50 c 2382 233755 37700 1 - 0.0000 -
2379.27/2386.54 c 2387 234280 37797 1 - 0.0000 -
2384.35/2391.64 c 2392 234791 37892 1 - 0.0000 -
2389.34/2396.69 c 2397 235270 37969 1 - 0.0000 -
2394.41/2401.78 c 2402 235771 38052 1 - 0.0000 -
2399.50/2406.84 c 2407 236316 38153 1 - 0.0000 -
2404.48/2411.89 c 2412 236865 38242 1 - 0.0000 -
2409.67/2417.07 c 2417 237378 38310 1 - 0.0000 -
2414.75/2422.12 c 2422 237924 38398 1 - 0.0000 -
2420.32/2427.73 c 2428 238291 38467 1 - 0.0000 -
2425.41/2432.81 c 2433 238824 38542 1 - 0.0000 -
2430.40/2437.86 c 2438 239374 38632 1 - 0.0000 -
2435.47/2442.94 c 2443 239937 38701 1 - 0.0000 -
2440.56/2448.00 c 2448 240493 38779 1 - 0.0000 -
2445.54/2453.04 c 2453 241057 38845 1 - 0.0000 -
2450.53/2458.09 c 2458 241625 38955 1 - 0.0000 -
2456.00/2463.58 c 2464 242100 39074 1 - 0.0000 -
2461.19/2468.80 c 2469 242586 39164 1 - 0.0000 -
2466.28/2473.86 c 2474 243070 39260 1 - 0.0000 -
2471.36/2478.91 c 2479 243624 39364 1 - 0.0000 -
2476.35/2483.96 c 2484 244142 39482 1 - 0.0000 -
2481.54/2489.19 c 2489 244678 39576 1 - 0.0000 -
2486.62/2494.23 c 2494 245113 39637 1 - 0.0000 -
2491.70/2499.30 c 2499 245571 39723 1 - 0.0000 -
2496.89/2504.50 c 2505 246063 39821 1 - 0.0000 -
2501.87/2509.56 c 2510 246614 39924 1 - 0.0000 -
2506.96/2514.63 c 2515 247068 40020 1 - 0.0000 -
2512.05/2519.71 c 2520 247569 40119 1 - 0.0000 -
2517.03/2524.77 c 2525 248103 40217 1 - 0.0000 -
2522.12/2529.81 c 2530 248698 40298 1 - 0.0000 -
2527.81/2535.52 c 2536 249143 40378 1 - 0.0000 -
2533.78/2541.58 c 2542 249361 40450 1 - 0.0000 -
2539.08/2546.85 c 2547 249464 40507 1 - 0.0000 -
2544.46/2552.26 c 2552 249843 40610 1 - 0.0000 -
2549.64/2557.44 c 2557 250298 40721 1 - 0.0000 -
2554.63/2562.49 c 2562 250871 40816 1 - 0.0000 -
2559.71/2567.54 c 2568 251382 40907 1 - 0.0000 -
2564.70/2572.59 c 2573 251948 41007 1 - 0.0000 -
2569.78/2577.68 c 2578 252509 41090 1 - 0.0000 -
2574.87/2582.73 c 2583 253092 41195 1 - 0.0000 -
2579.96/2587.80 c 2588 253642 41290 1 - 0.0000 -
2584.94/2592.85 c 2593 254195 41387 1 - 0.0000 -
2590.03/2597.91 c 2598 254740 41508 1 - 0.0000 -
2595.01/2602.97 c 2603 255317 41600 1 - 0.0000 -
2600.10/2608.03 c 2608 255891 41688 1 - 0.0000 -
2606.18/2614.14 c 2614 256312 41777 1 - 0.0000 -
2611.26/2619.21 c 2619 256840 41895 1 - 0.0000 -
2616.36/2624.30 c 2624 257368 41995 1 - 0.0000 -
2621.34/2629.36 c 2629 257911 42108 1 - 0.0000 -
2626.42/2634.41 c 2634 258456 42217 1 - 0.0000 -
2631.40/2639.47 c 2639 259009 42324 1 - 0.0000 -
2636.59/2644.61 c 2645 259527 42446 1 - 0.0000 -
2641.99/2650.10 c 2650 259977 42536 1 - 0.0000 -
2647.07/2655.16 c 2655 260513 42630 1 - 0.0000 -
2652.15/2660.22 c 2660 261073 42736 1 - 0.0000 -
2657.14/2665.27 c 2665 261639 42820 1 - 0.0000 -
2662.22/2670.33 c 2670 262194 42919 1 - 0.0000 -
2668.00/2676.13 c 2676 262508 42967 1 - 0.0000 -
2673.00/2681.18 c 2681 262957 43054 1 - 0.0000 -
2678.08/2686.24 c 2686 263381 43146 1 - 0.0000 -
2683.46/2691.67 c 2692 263866 43255 1 - 0.0000 -
2688.54/2696.73 c 2697 264382 43335 1 - 0.0000 -
2693.63/2701.88 c 2702 264674 43403 1 - 0.0000 -
2699.21/2707.47 c 2707 264908 43485 1 - 0.0000 -
2704.59/2712.88 c 2713 265462 43569 1 - 0.0000 -
2709.88/2718.12 c 2718 266009 43674 1 - 0.0000 -
2714.87/2723.16 c 2723 266553 43774 1 - 0.0000 -
2719.94/2728.21 c 2728 267115 43854 1 - 0.0000 -
2725.23/2733.56 c 2734 267524 43947 1 - 0.0000 -
2730.30/2738.61 c 2739 268041 44060 1 - 0.0000 -
2735.28/2743.67 c 2744 268579 44156 1 - 0.0000 -
2740.37/2748.73 c 2749 269094 44281 1 - 0.0000 -
2745.35/2753.78 c 2754 269643 44370 1 - 0.0000 -
2750.44/2758.83 c 2759 270190 44457 1 - 0.0000 -
2755.52/2763.91 c 2764 270721 44562 1 - 0.0000 -
2760.51/2768.97 c 2769 271243 44658 1 - 0.0000 -
2765.59/2774.04 c 2774 271798 44747 1 - 0.0000 -
2770.57/2779.09 c 2779 272324 44859 1 - 0.0000 -
2775.65/2784.17 c 2784 272866 44961 1 - 0.0000 -
2780.74/2789.22 c 2789 273378 45057 1 - 0.0000 -
2785.71/2794.27 c 2794 273896 45135 1 - 0.0000 -
2790.80/2799.35 c 2799 274473 45216 1 - 0.0000 -
2795.88/2804.43 c 2804 274988 45323 1 - 0.0000 -
2800.87/2809.50 c 2810 275503 45414 1 - 0.0000 -
2805.94/2814.59 c 2815 275957 45518 1 - 0.0000 -
2811.02/2819.63 c 2820 276497 45632 1 - 0.0000 -
2816.11/2824.72 c 2825 277049 45728 1 - 0.0000 -
2821.10/2829.76 c 2830 277631 45816 1 - 0.0000 -
2826.27/2834.99 c 2835 278052 45897 1 - 0.0000 -
2831.36/2840.06 c 2840 278595 45966 1 - 0.0000 -
2836.44/2845.12 c 2845 279153 46054 1 - 0.0000 -
2841.43/2850.17 c 2850 279710 46143 1 - 0.0000 -
2846.50/2855.23 c 2855 280256 46235 1 - 0.0000 -
2851.59/2860.31 c 2860 280793 46334 1 - 0.0000 -
2856.57/2865.39 c 2865 281351 46430 1 - 0.0000 -
2861.66/2870.44 c 2870 281890 46537 1 - 0.0000 -
2866.63/2875.48 c 2875 282440 46609 1 - 0.0000 -
2871.71/2880.55 c 2881 282953 46670 1 - 0.0000 -
2876.80/2885.60 c 2886 283496 46761 1 - 0.0000 -
2881.78/2890.65 c 2891 284041 46850 1 - 0.0000 -
2886.87/2895.78 c 2896 284545 46918 1 - 0.0000 -
2891.95/2900.82 c 2901 285079 47002 1 - 0.0000 -
2897.03/2905.90 c 2906 285646 47065 1 - 0.0000 -
2902.01/2910.96 c 2911 286231 47166 1 - 0.0000 -
2907.10/2916.01 c 2916 286798 47275 1 - 0.0000 -
2912.08/2921.08 c 2921 287378 47378 1 - 0.0000 -
2917.17/2926.14 c 2926 287952 47468 1 - 0.0000 -
2922.24/2931.20 c 2931 288515 47533 1 - 0.0000 -
2927.23/2936.25 c 2936 289064 47618 1 - 0.0000 -
2932.31/2941.32 c 2941 289582 47691 1 - 0.0000 -
2937.29/2946.38 c 2946 290154 47775 1 - 0.0000 -
2942.38/2951.47 c 2951 290573 47856 1 - 0.0000 -
2947.76/2956.80 c 2957 291138 47915 1 - 0.0000 -
2952.73/2961.86 c 2962 291687 48023 1 - 0.0000 -
2957.82/2966.92 c 2967 292221 48133 1 - 0.0000 -
2963.30/2972.44 c 2972 292565 48193 1 - 0.0000 -
2968.38/2977.50 c 2978 293057 48245 1 - 0.0000 -
2973.37/2982.55 c 2983 293598 48356 1 - 0.0000 -
2978.74/2987.90 c 2988 294137 48433 1 - 0.0000 -
2983.73/2992.97 c 2993 294654 48494 1 - 0.0000 -
2988.82/2998.02 c 2998 295208 48572 1 - 0.0000 -
2993.80/3003.07 c 3003 295769 48661 1 - 0.0000 -
2999.28/3008.58 c 3009 296260 48740 1 - 0.0000 -
3005.56/3014.81 c 3015 296713 48803 1 - 0.0000 -
3010.55/3019.85 c 3020 297285 48883 1 - 0.0000 -
3015.75/3025.10 c 3025 297700 48930 1 - 0.0000 -
3021.22/3030.51 c 3031 298162 49000 1 - 0.0000 -
3027.21/3036.52 c 3037 298705 49105 1 - 0.0000 -
3032.39/3041.79 c 3042 299240 49196 1 - 0.0000 -
3037.48/3046.84 c 3047 299832 49282 1 - 0.0000 -
3043.67/3053.01 c 3053 300263 49377 1 - 0.0000 -
3049.25/3058.62 c 3059 300409 49431 1 - 0.0000 -
3054.84/3064.26 c 3064 300490 49472 1 - 0.0000 -
3060.22/3069.69 c 3070 300867 49551 1 - 0.0000 -
3065.61/3075.00 c 3075 301373 49647 1 - 0.0000 -
3070.60/3080.06 c 3080 301870 49754 1 - 0.0000 -
3075.69/3085.12 c 3085 302423 49817 1 - 0.0000 -
3080.67/3090.18 c 3090 302966 49882 1 - 0.0000 -
3085.76/3095.24 c 3095 303518 49948 1 - 0.0000 -
3090.84/3100.31 c 3100 304046 50024 1 - 0.0000 -
3095.92/3105.48 c 3105 304573 50117 1 - 0.0000 -
3101.01/3110.56 c 3111 305159 50191 1 - 0.0000 -
3106.09/3115.63 c 3116 305695 50297 1 - 0.0000 -
3111.09/3120.69 c 3121 306242 50386 1 - 0.0000 -
3116.17/3125.75 c 3126 306847 50447 1 - 0.0000 -
3123.15/3132.78 c 3133 307070 50540 1 - 0.0000 -
3128.93/3138.50 c 3139 307270 50622 1 - 0.0000 -
3133.93/3143.56 c 3144 307844 50742 1 - 0.0000 -
3139.41/3149.09 c 3149 308083 50819 1 - 0.0000 -
3145.30/3154.93 c 3155 308172 50876 1 - 0.0000 -
3151.39/3161.01 c 3161 308427 50983 1 - 0.0000 -
3157.56/3167.22 c 3167 308502 51048 1 - 0.0000 -
3163.16/3172.87 c 3173 308562 51108 1 - 0.0000 -
3169.04/3178.78 c 3179 308710 51196 1 - 0.0000 -
3174.13/3183.86 c 3184 309279 51293 1 - 0.0000 -
3179.21/3188.91 c 3189 309762 51370 1 - 0.0000 -
3185.50/3195.29 c 3195 310128 51452 1 - 0.0000 -
3191.18/3200.99 c 3201 310660 51538 1 - 0.0000 -
3196.38/3206.19 c 3206 311088 51628 1 - 0.0000 -
3201.45/3211.24 c 3211 311636 51726 1 - 0.0000 -
3206.43/3216.30 c 3216 312191 51831 1 - 0.0000 -
3211.52/3221.34 c 3221 312753 51931 1 - 0.0000 -
3216.51/3226.39 c 3226 313142 52018 1 - 0.0000 -
3221.60/3231.46 c 3231 313622 52114 1 - 0.0000 -
3226.68/3236.50 c 3237 314167 52215 1 - 0.0000 -
3231.67/3241.55 c 3242 314725 52305 1 - 0.0000 -
3236.76/3246.60 c 3247 315278 52378 1 - 0.0000 -
3241.74/3251.68 c 3252 315826 52484 1 - 0.0000 -
3246.83/3256.74 c 3257 316378 52592 1 - 0.0000 -
3251.82/3261.78 c 3262 316963 52679 1 - 0.0000 -
3256.90/3266.83 c 3267 317528 52762 1 - 0.0000 -
3261.89/3271.88 c 3272 318101 52859 1 - 0.0000 -
3267.07/3277.05 c 3277 318644 52966 1 - 0.0000 -
3272.16/3282.11 c 3282 319231 53035 1 - 0.0000 -
3277.55/3287.57 c 3288 319728 53104 1 - 0.0000 -
3282.63/3292.62 c 3293 320296 53188 1 - 0.0000 -
3287.62/3297.68 c 3298 320850 53282 1 - 0.0000 -
3292.70/3302.73 c 3303 321388 53370 1 - 0.0000 -
3297.68/3307.79 c 3308 321927 53471 1 - 0.0000 -
3302.78/3312.84 c 3313 322509 53563 1 - 0.0000 -
3308.16/3318.27 c 3318 323067 53651 1 - 0.0000 -
3313.25/3323.34 c 3323 323613 53731 1 - 0.0000 -
3318.23/3328.39 c 3328 324111 53809 1 - 0.0000 -
3323.62/3333.72 c 3334 324675 53863 1 - 0.0000 -
3328.61/3338.79 c 3339 325271 53947 1 - 0.0000 -
3333.69/3343.88 c 3344 325857 54029 1 - 0.0000 -
3338.78/3348.94 c 3349 326420 54118 1 - 0.0000 -
3343.86/3354.00 c 3354 326984 54200 1 - 0.0000 -
3348.85/3359.05 c 3359 327575 54275 1 - 0.0000 -
3353.94/3364.12 c 3364 328153 54363 1 - 0.0000 -
3359.02/3369.21 c 3369 328712 54474 1 - 0.0000 -
3364.00/3374.27 c 3374 329310 54586 1 - 0.0000 -
3369.09/3379.33 c 3379 329889 54659 1 - 0.0000 -
3374.08/3384.37 c 3384 330473 54725 1 - 0.0000 -
3379.16/3389.44 c 3389 331027 54835 1 - 0.0000 -
3384.15/3394.49 c 3394 331570 54946 1 - 0.0000 -
3389.54/3399.80 c 3400 332049 55025 1 - 0.0000 -
3394.82/3405.19 c 3405 332583 55099 1 - 0.0000 -
3399.91/3410.25 c 3410 333145 55147 1 - 0.0000 -
3405.19/3415.55 c 3416 333621 55207 1 - 0.0000 -
3410.28/3420.61 c 3421 334206 55286 1 - 0.0000 -
3415.27/3425.66 c 3426 334791 55343 1 - 0.0000 -
3420.35/3430.71 c 3431 335378 55402 1 - 0.0000 -
3425.34/3435.77 c 3436 335964 55444 1 - 0.0000 -
3430.52/3440.91 c 3441 336512 55504 1 - 0.0000 -
3435.51/3445.97 c 3446 337059 55591 1 - 0.0000 -
3440.60/3451.06 c 3451 337558 55642 1 - 0.0000 -
3445.69/3456.12 c 3456 338129 55709 1 - 0.0000 -
3450.68/3461.17 c 3461 338715 55775 1 - 0.0000 -
3455.75/3466.23 c 3466 339288 55848 1 - 0.0000 -
3460.74/3471.27 c 3471 339839 55969 1 - 0.0000 -
3465.83/3476.32 c 3476 340419 56063 1 - 0.0000 -
3470.92/3481.40 c 3481 340995 56169 1 - 0.0000 -
3475.91/3486.44 c 3486 341545 56273 1 - 0.0000 -
3480.99/3491.50 c 3492 342077 56389 1 - 0.0000 -
3485.97/3496.56 c 3497 342683 56471 1 - 0.0000 -
3491.06/3501.65 c 3502 343299 56524 1 - 0.0000 -
3497.34/3507.96 c 3508 343633 56566 1 - 0.0000 -
3502.43/3513.02 c 3513 344254 56663 1 - 0.0000 -
3507.42/3518.10 c 3518 344820 56743 1 - 0.0000 -
3512.50/3523.15 c 3523 345401 56826 1 - 0.0000 -
3517.58/3528.22 c 3528 345992 56897 1 - 0.0000 -
3522.55/3533.28 c 3533 346423 56956 1 - 0.0000 -
3528.13/3538.83 c 3539 346890 57021 1 - 0.0000 -
3533.22/3543.98 c 3544 347406 57119 1 - 0.0000 -
3538.30/3549.03 c 3549 347968 57221 1 - 0.0000 -
3543.29/3554.09 c 3554 348475 57336 1 - 0.0000 -
3548.37/3559.15 c 3559 349034 57453 1 - 0.0000 -
3553.45/3564.22 c 3564 349618 57535 1 - 0.0000 -
3558.93/3569.76 c 3570 350193 57632 1 - 0.0000 -
3564.41/3575.24 c 3575 350643 57682 1 - 0.0000 -
3569.40/3580.29 c 3580 351205 57772 1 - 0.0000 -
3574.47/3585.35 c 3585 351763 57856 1 - 0.0000 -
3580.76/3591.68 c 3592 351936 57933 1 - 0.0000 -
3586.34/3597.20 c 3597 352121 57994 1 - 0.0000 -
3587.64/3598.55 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.64/3598.56 c Total Time : 3598.5600
3587.64/3598.56 c solving : 3598.5600
3587.64/3598.56 c presolving : 0.9638 (included in solving)
3587.64/3598.56 c B&B Tree :
3587.64/3598.56 c nodes (total) : 1
3587.64/3598.56 c Solution :
3587.64/3598.56 c Solutions found : 0
3587.64/3598.56 c Primal Bound : -
3587.64/3598.56 c Dual Bound : +0.00000000000000e+00
3587.64/3598.56 c Gap : -
3587.64/3598.59 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 (63090 MiB free)
memory of node 1: 64510 MiB (63883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464404-1722378601/watcher-4464404-1722378601 -o /tmp/evaluation-result-4464404-1722378601/solver-4464404-1722378601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28891 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464404-1722378601.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29007, runsolver pid=29004
[startup+0.100895 s]*
/proc/loadavg: 0.36 0.14 0.11 5/267 29008
/proc/meminfo: memFree=129968468/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=75204 memory=62944 CPUtime=0.09 cores=1,3
/proc/29007/stat : 29007 (fscip) R 29004 29007 28879 0 -1 4194304 13532 0 0 0 7 2 0 0 20 0 1 0 4460611 77008896 15736 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 18801 15736 2598 3035 0 15197 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75204 KiB
Current children cumulated memory: 62944 KiB
[startup+0.205915 s]*
/proc/loadavg: 0.36 0.14 0.11 5/267 29008
/proc/meminfo: memFree=129956988/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=83964 memory=72836 CPUtime=0.19 cores=1,3
/proc/29007/stat : 29007 (fscip) R 29004 29007 28879 0 -1 4194304 21247 0 0 0 16 3 0 0 20 0 1 0 4460611 85979136 18209 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 20991 18209 2694 3035 0 17387 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83964 KiB
Current children cumulated memory: 72836 KiB
[startup+0.305914 s]*
/proc/loadavg: 0.36 0.14 0.11 5/267 29008
/proc/meminfo: memFree=129941316/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=98396 memory=87048 CPUtime=0.29 cores=1,3
/proc/29007/stat : 29007 (fscip) R 29004 29007 28879 0 -1 4194304 26340 0 0 0 25 4 0 0 20 0 1 0 4460611 100757504 21762 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 24599 21762 2710 3035 0 20995 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98396 KiB
Current children cumulated memory: 87048 KiB
[startup+0.700156 s]
/proc/loadavg: 0.36 0.14 0.11 5/267 29008
/proc/meminfo: memFree=129925524/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=123312 memory=102804 CPUtime=0.67 cores=1,3
/proc/29007/stat : 29007 (fscip) R 29004 29007 28879 0 -1 4194304 30286 0 0 0 63 4 0 0 20 0 1 0 4460611 126271488 25701 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 30828 25701 2758 3035 0 27224 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 123312 KiB
Current children cumulated memory: 102804 KiB
[startup+1.50023 s]
/proc/loadavg: 0.36 0.14 0.11 5/267 29008
/proc/meminfo: memFree=129922704/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=278008 memory=193956 CPUtime=1.47 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 59850 0 0 0 139 8 0 0 20 0 3 0 4460611 284680192 48489 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 69502 48489 2774 3035 0 52949 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 278008 KiB
Current children cumulated memory: 193956 KiB
[startup+3.1058 s]
/proc/loadavg: 0.73 0.22 0.13 5/269 29012
/proc/meminfo: memFree=129769640/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=343544 memory=251432 CPUtime=3.07 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 86509 0 0 0 295 12 0 0 20 0 3 0 4460611 351789056 62858 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 85886 62858 2950 3035 0 69511 0
[pid=29007/tid=29009] ppid=29004 vsize=343544 memory=198340509722 CPUtime=1.99 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 49653 0 0 0 193 6 0 0 20 0 3 0 4460717 351789056 62858 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=343544 memory=0 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4460726 351789056 62858 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 343544 KiB
Current children cumulated memory: 251432 KiB
[startup+6.30025 s]
/proc/loadavg: 0.73 0.22 0.13 6/269 29012
/proc/meminfo: memFree=129697020/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=409080 memory=305036 CPUtime=6.25 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 116204 0 0 0 611 14 0 0 20 0 3 0 4460611 418897920 76259 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 102270 76259 2950 3035 0 89066 0
[pid=29007/tid=29009] ppid=29004 vsize=409080 memory=305036 CPUtime=5.17 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 79346 0 0 0 508 9 0 0 20 0 3 0 4460717 418897920 76259 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=409080 memory=12856 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4460726 418897920 76259 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 409080 KiB
Current children cumulated memory: 305036 KiB
[startup+12.7002 s]
/proc/loadavg: 0.99 0.28 0.15 5/269 29012
/proc/meminfo: memFree=129652816/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=409080 memory=328888 CPUtime=12.64 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 148392 0 0 0 1247 17 0 0 20 0 3 0 4460611 418897920 82222 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 102270 82222 2950 3035 0 95684 0
[pid=29007/tid=29009] ppid=29004 vsize=409080 memory=12856 CPUtime=11.56 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 111482 0 0 0 1144 12 0 0 20 0 3 0 4460717 418897920 82222 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=409080 memory=305064 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4460726 418897920 82222 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 409080 KiB
Current children cumulated memory: 328888 KiB
[startup+25.5003 s]
/proc/loadavg: 1.66 0.47 0.22 5/271 29073
/proc/meminfo: memFree=129612736/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=409080 memory=329224 CPUtime=25.41 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 189463 0 0 0 2520 21 0 0 20 0 3 0 4460611 418897920 82306 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 102270 82306 2998 3035 0 98116 0
[pid=29007/tid=29009] ppid=29004 vsize=409080 memory=328888 CPUtime=24.32 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 152494 0 0 0 2417 15 0 0 20 0 3 0 4460717 418897920 82306 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=409080 memory=11628 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4460726 418897920 82306 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 409080 KiB
Current children cumulated memory: 329224 KiB
[startup+51.1059 s]
/proc/loadavg: 2.62 0.79 0.33 5/270 29126
/proc/meminfo: memFree=129401668/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=474616 memory=361228 CPUtime=50.93 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 251506 0 0 0 5068 25 0 0 20 0 3 0 4460611 486006784 90307 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 118654 90307 2998 3035 0 112961 0
[pid=29007/tid=29009] ppid=29004 vsize=474616 memory=341380 CPUtime=49.85 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 214475 0 0 0 4965 20 0 0 20 0 3 0 4460717 486006784 90307 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=474616 memory=11628 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4460726 486006784 90307 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 474616 KiB
Current children cumulated memory: 361228 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.30 0.53 5/270 29134
/proc/meminfo: memFree=129238176/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=540152 memory=422280 CPUtime=101.98 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 367262 0 0 0 10162 36 0 0 20 0 3 0 4460611 553115648 105570 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 135038 105570 2998 3035 0 128446 0
[pid=29007/tid=29009] ppid=29004 vsize=540152 memory=422268 CPUtime=100.89 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 330148 0 0 0 10059 30 0 0 20 0 3 0 4460717 553115648 105570 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=540152 memory=422268 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4460726 553115648 105570 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 540152 KiB
Current children cumulated memory: 422280 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 1.90 0.79 5/270 29144
/proc/meminfo: memFree=129128296/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=605688 memory=440844 CPUtime=161.8 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 444000 0 0 0 16136 44 0 0 20 0 3 0 4460611 620224512 110211 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 151422 110211 2998 3035 0 133079 0
[pid=29007/tid=29009] ppid=29004 vsize=605688 memory=11628 CPUtime=160.71 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 406803 0 0 0 16033 38 0 0 20 0 3 0 4460717 620224512 110211 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=605688 memory=431748 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4460726 620224512 110211 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 605688 KiB
Current children cumulated memory: 440844 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 2.36 1.02 5/269 29155
/proc/meminfo: memFree=128989028/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=671224 memory=503316 CPUtime=221.62 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 512434 0 0 0 22108 54 0 0 20 0 3 0 4460611 687333376 125829 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 167806 125829 2998 3035 0 150167 0
[pid=29007/tid=29009] ppid=29004 vsize=671224 memory=449640 CPUtime=220.53 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 475206 0 0 0 22005 48 0 0 20 0 3 0 4460717 687333376 125829 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=671224 memory=449640 CPUtime=0 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4460726 687333376 125829 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 671224 KiB
Current children cumulated memory: 503316 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 2.68 1.21 5/269 29166
/proc/meminfo: memFree=128921124/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=671224 memory=504404 CPUtime=281.41 cores=1,3
################
# More data... #
################
Current children cumulated memory: 1594044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.05 5/264 30687
/proc/meminfo: memFree=125289048/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1701148 memory=1612932 CPUtime=3392.03 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1335424 0 0 0 338839 364 0 0 20 0 3 0 4460611 1741975552 403233 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 425287 403233 2998 3035 0 415069 0
[pid=29007/tid=29009] ppid=29004 vsize=1701148 memory=1590532 CPUtime=3390.69 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1297531 0 0 0 338719 350 0 0 20 0 3 0 4460717 1741975552 403233 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1701148 memory=1589540 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 4460726 1741975552 403233 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 1701148 KiB
Current children cumulated memory: 1612932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/264 30699
/proc/meminfo: memFree=125234852/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1701148 memory=1627544 CPUtime=3451.86 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1342713 0 0 0 344816 370 0 0 20 0 3 0 4460611 1741975552 406886 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 425287 406886 2998 3035 0 418885 0
[pid=29007/tid=29009] ppid=29004 vsize=1701148 memory=1590532 CPUtime=3450.53 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1304807 0 0 0 344697 356 0 0 20 0 3 0 4460717 1741975552 406886 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1701148 memory=1589540 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4460726 1741975552 406886 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3451.86 s
Current children cumulated vsize: 1701148 KiB
Current children cumulated memory: 1627544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.05 5/265 30878
/proc/meminfo: memFree=125184928/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1718496 memory=1646964 CPUtime=3511.69 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1355736 0 0 0 350793 376 0 0 20 0 3 0 4460611 1759739904 411741 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 429624 411741 2998 3035 0 423484 0
[pid=29007/tid=29009] ppid=29004 vsize=1718496 memory=12856 CPUtime=3510.35 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1317818 0 0 0 350673 362 0 0 20 0 3 0 4460717 1759739904 411741 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1718496 memory=11628 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 4460726 1759739904 411741 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 1718496 KiB
Current children cumulated memory: 1646964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.16 4.07 5/265 30888
/proc/meminfo: memFree=125125132/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1739472 memory=1666796 CPUtime=3571.49 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1366412 0 0 0 356765 384 0 0 20 0 3 0 4460611 1781219328 416699 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 434868 416699 2998 3035 0 428733 0
[pid=29007/tid=29009] ppid=29004 vsize=1739472 memory=1664244 CPUtime=3570.15 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1328482 0 0 0 356645 370 0 0 20 0 3 0 4460717 1781219328 416699 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1739472 memory=12856 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1781219328 416699 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 1739472 KiB
Current children cumulated memory: 1666796 KiB
[startup+3598.62 s]
# the end of solver process 29007 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.8 s, system=3.96605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.16 4.06 5/265 30890
/proc/meminfo: memFree=125123216/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1739472 memory=1667044 CPUtime=3573.19 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1366619 0 0 0 356934 385 0 0 20 0 3 0 4460611 1781219328 416761 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 434868 416761 2998 3035 0 428733 0
[pid=29007/tid=29009] ppid=29004 vsize=1739472 memory=-7594032712773623935 CPUtime=3571.84 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1328689 0 0 0 356814 370 0 0 20 0 3 0 4460717 1781219328 416761 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1739472 memory=-7738211608633243838 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1781219328 416761 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 1739472 KiB
Current children cumulated memory: 1667044 KiB
[startup+3590.4 s]
/proc/loadavg: 4.20 4.15 4.06 5/265 30890
/proc/meminfo: memFree=125120920/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1740492 memory=1668296 CPUtime=3579.56 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1368097 0 0 0 357570 386 0 0 20 0 3 0 4460611 1782263808 417074 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 435123 417074 2998 3035 0 428988 0
[pid=29007/tid=29009] ppid=29004 vsize=1740492 memory=11628 CPUtime=3578.22 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1330167 0 0 0 357450 372 0 0 20 0 3 0 4460717 1782263808 417074 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1740492 memory=279502916189248 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1782263808 417074 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3579.56 s
Current children cumulated vsize: 1740492 KiB
Current children cumulated memory: 1668296 KiB
[startup+3593.6 s]
/proc/loadavg: 4.20 4.15 4.06 5/265 30891
/proc/meminfo: memFree=125118056/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1742096 memory=1669780 CPUtime=3582.75 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1368988 0 0 0 357887 388 0 0 20 0 3 0 4460611 1783906304 417445 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 435524 417445 2998 3035 0 429389 0
[pid=29007/tid=29009] ppid=29004 vsize=1742096 memory=1668368 CPUtime=3581.4 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1331058 0 0 0 357767 373 0 0 20 0 3 0 4460717 1783906304 417445 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1742096 memory=5432 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1783906304 417445 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3582.75 s
Current children cumulated vsize: 1742096 KiB
Current children cumulated memory: 1669780 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.17 4.07 5/264 30938
/proc/meminfo: memFree=125781292/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1742096 memory=1670004 CPUtime=3585.94 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1369523 0 0 0 358206 388 0 0 20 0 3 0 4460611 1783906304 417501 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 435524 417501 2998 3035 0 429389 0
[pid=29007/tid=29009] ppid=29004 vsize=1742096 memory=1669820 CPUtime=3584.59 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1331593 0 0 0 358086 373 0 0 20 0 3 0 4460717 1783906304 417501 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1742096 memory=12420 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1783906304 417501 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3585.94 s
Current children cumulated vsize: 1742096 KiB
Current children cumulated memory: 1670004 KiB
[startup+3597.6 s]
/proc/loadavg: 4.26 4.17 4.07 4/260 30953
/proc/meminfo: memFree=127483416/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1742544 memory=1670644 CPUtime=3586.74 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1369789 0 0 0 358286 388 0 0 20 0 3 0 4460611 1784365056 417661 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 435636 417661 2998 3035 0 429501 0
[pid=29007/tid=29009] ppid=29004 vsize=1742544 memory=12420 CPUtime=3585.39 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1331859 0 0 0 358166 373 0 0 20 0 3 0 4460717 1784365056 417661 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1742544 memory=5432 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1784365056 417661 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 1742544 KiB
Current children cumulated memory: 1670644 KiB
[startup+3598.4 s]
/proc/loadavg: 4.26 4.17 4.07 5/263 30985
/proc/meminfo: memFree=127416532/131524600 swapFree=131071996/131071996
[pid=29007] ppid=29004 vsize=1742544 memory=1670784 CPUtime=3587.54 cores=1,3
/proc/29007/stat : 29007 (fscip) S 29004 29007 28879 0 -1 1077936128 1465580 0 0 0 358360 394 0 0 20 0 3 0 4460611 1784365056 417696 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
/proc/29007/statm: 435636 417696 2998 3035 0 429501 0
[pid=29007/tid=29009] ppid=29004 vsize=1742544 memory=7192 CPUtime=3586.19 cores=1,3
/proc/29007/task/29009/stat : 29009 (fscip) R 29004 29007 28879 0 -1 4194368 1427650 0 0 0 358240 379 0 0 20 0 3 0 4460717 1784365056 417696 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
[pid=29007/tid=29010] ppid=29004 vsize=1742544 memory=11628 CPUtime=0.03 cores=1,3
/proc/29007/task/29010/stat : 29010 (fscip) S 29004 29007 28879 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4460726 1784365056 417696 134679101440 4194304 16623229 140728919425888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33554432 140728919434262 140728919434378 140728919434378 140728919441392 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 1742544 KiB
Current children cumulated memory: 1670784 KiB
[startup+3598.6 s]*
/proc/loadavg: 4.24 4.16 4.07 5/262 30985
/proc/meminfo: memFree=127778264/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.62
CPU time (s): 3587.76
CPU user time (s): 3583.8
CPU system time (s): 3.96605
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 1742544
Max. memory (cumulated for all children) (KiB): 1670784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.8
system time used= 3.96605
maximum resident set size= 1670784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1472144
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= 10660
involuntary context switches= 4078
# summary of solver processes directly reported to runsolver:
# pid: 29007
# total CPU time (s): 3587.76
# total CPU user time (s): 3583.8
# total CPU system time (s): 3.96605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04508 second user time and 18.7667 second system time
The end
Begin job on nodeC027 at 2024-07-31 00:30:01
IDJOB=4464404
IDBENCH=147833
IDSOLVER=3092
FILE ID=nodeC027/4464404-1722378601
RUNJOBID= nodeC027-1722378597-28891
SLURM_JOB_ID= 8249850
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.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-4464404-1722378601/watcher-4464404-1722378601 -o /tmp/evaluation-result-4464404-1722378601/solver-4464404-1722378601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28891 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464404-1722378601.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=881201410
nodeC027.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 : 3674.578
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.88
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 : 3680.711
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.31
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 : 3600.321
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.88
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 : 3667.954
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.31
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 : 3674.599
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.88
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 : 3678.629
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.31
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 : 3600.339
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.88
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.528
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130022188 kB
MemAvailable: 129817932 kB
Buffers: 84372 kB
Cached: 547708 kB
SwapCached: 0 kB
Active: 243476 kB
Inactive: 786436 kB
Active(anon): 1560 kB
Inactive(anon): 417628 kB
Active(file): 241916 kB
Inactive(file): 368808 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85948 kB
Writeback: 40 kB
AnonPages: 396588 kB
Mapped: 124768 kB
Shmem: 21336 kB
KReclaimable: 49332 kB
Slab: 129852 kB
SReclaimable: 49332 kB
SUnreclaim: 80520 kB
KernelStack: 4316 kB
PageTables: 10004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 732344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC027 at 2024-07-31 01:30:00