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.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 45293568, getVmSize() = 45293568, SCIPgetMemUsed() = 18558747, SCIPgetMemTotal() = 23011451, SCIPgetMemExternEstim() = 11922953
0.00/0.07 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.31/0.41 c ** Estimated virtualMemUsedAtSolver = 47704960, getVmSize() = 83841024, SCIPgetMemUsed() = 42077768, SCIPgetMemTotal() = 59634488, SCIPgetMemExternEstim() = 11922953
0.31/0.41 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.31/0.41 c Original Problem :
0.31/0.41 c Problem name : instance-4464565-1722385812
0.31/0.41 c Variables : 3834 (3834 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.41 c Constraints : 8964
0.31/0.41 c Objective sense : minimize
0.31/0.41 c Presolved Problem :
0.31/0.41 c Variables : 3811 (3811 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.41 c Constraints : 5506
0.31/0.41 c Constraints : Number
0.31/0.41 c setppc : 5505
0.31/0.41 c orbitope : 1
0.31/0.41 c ** Instance transfer method used: 0
0.41/0.43 c ** ParaScipInstance copy increased the number of variables. **
0.41/0.45 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.41/0.45 c Nodes Active
0.41/0.45 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.45/5.56 c 6 2 1 1 - 0.0000 -
10.63/10.76 c 11 143 142 1 - 0.0000 -
15.82/15.97 c 16 352 291 1 - 0.0000 -
20.91/21.07 c 21 697 437 1 - 0.0000 -
26.09/26.26 c 26 1225 544 1 - 0.0000 -
31.16/31.34 c 31 1848 671 1 - 0.0000 -
36.26/36.45 c 36 2310 746 1 - 0.0000 -
41.44/41.67 c 42 2921 855 1 - 0.0000 -
46.62/46.86 c 47 3399 1003 1 - 0.0000 -
51.70/51.92 c 52 4064 1208 1 - 0.0000 -
56.90/57.17 c 57 4709 1344 1 - 0.0000 -
61.97/62.21 c 62 5317 1514 1 - 0.0000 -
67.06/67.36 c 67 5996 1723 1 - 0.0000 -
72.25/72.53 c 73 6644 1972 1 - 0.0000 -
77.33/77.64 c 78 7392 2182 1 - 0.0000 -
82.41/82.70 c 83 8170 2319 1 - 0.0000 -
87.50/87.80 c 88 8793 2467 1 - 0.0000 -
92.48/92.89 c 93 9413 2630 1 - 0.0000 -
97.57/97.99 c 98 9987 2799 1 - 0.0000 -
102.76/103.15 c 103 10718 2926 1 - 0.0000 -
107.94/108.37 c 108 11313 3119 1 - 0.0000 -
113.02/113.42 c 113 12048 3238 1 - 0.0000 -
118.01/118.48 c 118 12802 3407 1 - 0.0000 -
123.09/123.56 c 124 13384 3533 1 - 0.0000 -
128.17/128.67 c 129 13978 3732 1 - 0.0000 -
133.47/134.01 c 134 14502 3867 1 - 0.0000 -
138.55/139.09 c 139 15148 3995 1 - 0.0000 -
143.63/144.19 c 144 15719 4103 1 - 0.0000 -
148.91/149.40 c 149 16214 4239 1 - 0.0000 -
153.90/154.46 c 154 16814 4344 1 - 0.0000 -
158.98/159.54 c 160 17417 4434 1 - 0.0000 -
164.16/164.73 c 165 17944 4593 1 - 0.0000 -
169.34/169.94 c 170 18593 4676 1 - 0.0000 -
174.45/175.09 c 175 19160 4814 1 - 0.0000 -
179.53/180.17 c 180 19637 5047 1 - 0.0000 -
184.80/185.48 c 185 20194 5172 1 - 0.0000 -
189.89/190.55 c 191 20759 5294 1 - 0.0000 -
195.07/195.74 c 196 21272 5462 1 - 0.0000 -
200.26/200.97 c 201 21787 5607 1 - 0.0000 -
205.36/206.08 c 206 22319 5768 1 - 0.0000 -
210.53/211.27 c 211 22951 5903 1 - 0.0000 -
215.61/216.32 c 216 23539 6026 1 - 0.0000 -
220.59/221.37 c 221 24080 6156 1 - 0.0000 -
226.28/227.03 c 227 24537 6279 1 - 0.0000 -
231.27/232.08 c 232 25114 6404 1 - 0.0000 -
236.36/237.14 c 237 25663 6521 1 - 0.0000 -
241.43/242.23 c 242 26167 6640 1 - 0.0000 -
246.41/247.28 c 247 26645 6771 1 - 0.0000 -
251.49/252.34 c 252 27190 6906 1 - 0.0000 -
256.58/257.40 c 257 27678 7063 1 - 0.0000 -
261.57/262.47 c 262 28187 7143 1 - 0.0000 -
266.66/267.53 c 268 28680 7274 1 - 0.0000 -
271.84/272.73 c 273 29246 7349 1 - 0.0000 -
277.03/277.92 c 278 29788 7483 1 - 0.0000 -
282.01/282.97 c 283 30367 7569 1 - 0.0000 -
287.10/288.04 c 288 30903 7707 1 - 0.0000 -
292.09/293.09 c 293 31424 7844 1 - 0.0000 -
297.18/298.18 c 298 31965 7970 1 - 0.0000 -
302.25/303.25 c 303 32498 8087 1 - 0.0000 -
307.33/308.30 c 308 33009 8227 1 - 0.0000 -
312.42/313.43 c 313 33570 8359 1 - 0.0000 -
317.50/318.53 c 319 34093 8511 1 - 0.0000 -
322.69/323.79 c 324 34647 8673 1 - 0.0000 -
327.78/328.86 c 329 35212 8793 1 - 0.0000 -
332.86/333.92 c 334 35806 8902 1 - 0.0000 -
337.96/339.06 c 339 36325 9049 1 - 0.0000 -
343.13/344.22 c 344 36891 9166 1 - 0.0000 -
348.22/349.32 c 349 37383 9302 1 - 0.0000 -
353.30/354.45 c 354 37897 9406 1 - 0.0000 -
358.39/359.50 c 360 38531 9516 1 - 0.0000 -
363.47/364.61 c 365 39098 9642 1 - 0.0000 -
368.55/369.72 c 370 39616 9753 1 - 0.0000 -
373.65/374.83 c 375 40139 9892 1 - 0.0000 -
378.63/379.89 c 380 40719 9980 1 - 0.0000 -
383.71/384.98 c 385 41173 10151 1 - 0.0000 -
388.80/390.05 c 390 41760 10240 1 - 0.0000 -
393.88/395.15 c 395 42324 10390 1 - 0.0000 -
398.87/400.19 c 400 42853 10513 1 - 0.0000 -
404.04/405.33 c 405 43378 10649 1 - 0.0000 -
409.03/410.37 c 410 43941 10768 1 - 0.0000 -
414.31/415.60 c 416 44483 10868 1 - 0.0000 -
419.29/420.68 c 421 45095 10966 1 - 0.0000 -
424.79/426.16 c 426 45610 11077 1 - 0.0000 -
429.97/431.37 c 431 46150 11140 1 - 0.0000 -
435.05/436.47 c 436 46714 11212 1 - 0.0000 -
440.23/441.61 c 442 47278 11333 1 - 0.0000 -
445.22/446.69 c 447 47837 11436 1 - 0.0000 -
450.30/451.73 c 452 48264 11549 1 - 0.0000 -
455.39/456.84 c 457 48703 11645 1 - 0.0000 -
460.47/461.90 c 462 49218 11746 1 - 0.0000 -
465.57/467.02 c 467 49774 11859 1 - 0.0000 -
470.55/472.09 c 472 50267 11996 1 - 0.0000 -
475.64/477.14 c 477 50822 12104 1 - 0.0000 -
480.81/482.36 c 482 51357 12185 1 - 0.0000 -
485.90/487.41 c 487 51908 12271 1 - 0.0000 -
490.99/492.52 c 493 52372 12373 1 - 0.0000 -
496.27/497.88 c 498 52842 12515 1 - 0.0000 -
501.46/503.03 c 503 53388 12608 1 - 0.0000 -
506.56/508.17 c 508 53815 12717 1 - 0.0000 -
511.62/513.25 c 513 54324 12871 1 - 0.0000 -
516.71/518.30 c 518 54792 12996 1 - 0.0000 -
521.70/523.36 c 523 55409 13116 1 - 0.0000 -
526.88/528.53 c 529 55913 13216 1 - 0.0000 -
531.96/533.64 c 534 56417 13336 1 - 0.0000 -
537.06/538.70 c 539 56865 13425 1 - 0.0000 -
542.04/543.76 c 544 57308 13518 1 - 0.0000 -
547.12/548.87 c 549 57805 13587 1 - 0.0000 -
552.21/553.99 c 554 58332 13689 1 - 0.0000 -
557.29/559.04 c 559 58872 13769 1 - 0.0000 -
562.37/564.12 c 564 59368 13834 1 - 0.0000 -
567.45/569.24 c 569 59840 13943 1 - 0.0000 -
572.54/574.30 c 574 60378 14030 1 - 0.0000 -
577.52/579.36 c 579 60864 14089 1 - 0.0000 -
582.70/584.53 c 585 61412 14177 1 - 0.0000 -
587.89/589.70 c 590 61869 14288 1 - 0.0000 -
592.87/594.79 c 595 62356 14382 1 - 0.0000 -
597.95/599.85 c 600 62907 14451 1 - 0.0000 -
603.05/604.91 c 605 63373 14513 1 - 0.0000 -
608.43/610.33 c 610 63816 14610 1 - 0.0000 -
613.41/615.38 c 615 64295 14731 1 - 0.0000 -
618.50/620.44 c 620 64803 14825 1 - 0.0000 -
623.58/625.53 c 626 65275 14901 1 - 0.0000 -
628.67/630.63 c 631 65809 15002 1 - 0.0000 -
633.76/635.76 c 636 66295 15085 1 - 0.0000 -
638.84/640.88 c 641 66820 15193 1 - 0.0000 -
643.93/645.99 c 646 67261 15287 1 - 0.0000 -
649.02/651.10 c 651 67795 15333 1 - 0.0000 -
654.10/656.16 c 656 68235 15458 1 - 0.0000 -
659.48/661.53 c 662 68680 15569 1 - 0.0000 -
664.46/666.59 c 667 69106 15633 1 - 0.0000 -
669.55/671.67 c 672 69553 15690 1 - 0.0000 -
674.63/676.77 c 677 70063 15759 1 - 0.0000 -
679.82/681.92 c 682 70524 15848 1 - 0.0000 -
684.81/687.01 c 687 71049 15920 1 - 0.0000 -
689.89/692.10 c 692 71481 15958 1 - 0.0000 -
695.07/697.27 c 697 71997 16069 1 - 0.0000 -
700.26/702.44 c 702 72425 16186 1 - 0.0000 -
705.34/707.55 c 708 72886 16275 1 - 0.0000 -
710.53/712.73 c 713 73320 16407 1 - 0.0000 -
715.51/717.78 c 718 73812 16515 1 - 0.0000 -
720.69/722.93 c 723 74305 16560 1 - 0.0000 -
725.69/727.99 c 728 74787 16640 1 - 0.0000 -
730.78/733.09 c 733 75324 16745 1 - 0.0000 -
735.96/738.27 c 738 75799 16835 1 - 0.0000 -
741.04/743.33 c 743 76215 16936 1 - 0.0000 -
746.23/748.58 c 749 76738 16999 1 - 0.0000 -
751.31/753.68 c 754 77192 17073 1 - 0.0000 -
756.39/758.78 c 759 77636 17176 1 - 0.0000 -
761.58/763.93 c 764 78059 17238 1 - 0.0000 -
766.68/769.02 c 769 78480 17303 1 - 0.0000 -
771.76/774.13 c 774 78893 17403 1 - 0.0000 -
776.74/779.19 c 779 79311 17546 1 - 0.0000 -
781.92/784.32 c 784 79767 17622 1 - 0.0000 -
786.90/789.37 c 789 80245 17711 1 - 0.0000 -
791.99/794.46 c 794 80746 17784 1 - 0.0000 -
797.69/800.14 c 800 81100 17899 1 - 0.0000 -
802.76/805.29 c 805 81534 18026 1 - 0.0000 -
808.04/810.55 c 811 82024 18093 1 - 0.0000 -
813.23/815.78 c 816 82498 18172 1 - 0.0000 -
818.31/820.87 c 821 82975 18250 1 - 0.0000 -
823.41/825.98 c 826 83477 18335 1 - 0.0000 -
828.50/831.05 c 831 83962 18404 1 - 0.0000 -
833.58/836.16 c 836 84449 18498 1 - 0.0000 -
838.76/841.33 c 841 84915 18583 1 - 0.0000 -
843.85/846.42 c 846 85415 18658 1 - 0.0000 -
848.92/851.53 c 852 85901 18716 1 - 0.0000 -
854.02/856.65 c 857 86352 18817 1 - 0.0000 -
859.10/861.75 c 862 86810 18932 1 - 0.0000 -
864.18/866.86 c 867 87272 19039 1 - 0.0000 -
869.26/871.94 c 872 87744 19106 1 - 0.0000 -
874.35/877.04 c 877 88205 19154 1 - 0.0000 -
879.43/882.12 c 882 88679 19250 1 - 0.0000 -
884.50/887.22 c 887 89087 19341 1 - 0.0000 -
889.68/892.40 c 892 89587 19425 1 - 0.0000 -
894.67/897.46 c 897 90091 19493 1 - 0.0000 -
899.75/902.54 c 903 90572 19549 1 - 0.0000 -
904.84/907.60 c 908 90967 19614 1 - 0.0000 -
909.93/912.79 c 913 91449 19714 1 - 0.0000 -
915.11/917.98 c 918 91937 19800 1 - 0.0000 -
920.20/923.07 c 923 92434 19877 1 - 0.0000 -
925.37/928.20 c 928 92917 19964 1 - 0.0000 -
930.45/933.32 c 933 93390 20045 1 - 0.0000 -
935.54/938.44 c 938 93812 20115 1 - 0.0000 -
940.62/943.53 c 944 94319 20187 1 - 0.0000 -
945.71/948.68 c 949 94815 20275 1 - 0.0000 -
950.79/953.75 c 954 95294 20354 1 - 0.0000 -
955.87/958.84 c 959 95825 20428 1 - 0.0000 -
960.96/963.91 c 964 96325 20553 1 - 0.0000 -
966.05/969.02 c 969 96819 20647 1 - 0.0000 -
971.03/974.06 c 974 97319 20740 1 - 0.0000 -
976.32/979.31 c 979 97776 20848 1 - 0.0000 -
981.29/984.40 c 984 98197 20943 1 - 0.0000 -
986.38/989.46 c 989 98688 21051 1 - 0.0000 -
991.46/994.54 c 995 99212 21145 1 - 0.0000 -
996.55/999.64 c 1000 99742 21216 1 - 0.0000 -
1001.63/1004.70 c 1005 100243 21304 1 - 0.0000 -
1006.61/1009.78 c 1010 100804 21362 1 - 0.0000 -
1011.80/1014.99 c 1015 101372 21453 1 - 0.0000 -
1016.90/1020.10 c 1020 101898 21551 1 - 0.0000 -
1021.98/1025.19 c 1025 102442 21694 1 - 0.0000 -
1027.66/1030.88 c 1031 102952 21770 1 - 0.0000 -
1032.95/1036.13 c 1036 103466 21852 1 - 0.0000 -
1038.02/1041.20 c 1041 104051 21943 1 - 0.0000 -
1043.11/1046.33 c 1046 104505 22002 1 - 0.0000 -
1048.20/1051.40 c 1051 105015 22032 1 - 0.0000 -
1053.18/1056.47 c 1056 105528 22097 1 - 0.0000 -
1058.27/1061.59 c 1062 106048 22196 1 - 0.0000 -
1063.36/1066.64 c 1067 106481 22283 1 - 0.0000 -
1068.64/1071.93 c 1072 107012 22349 1 - 0.0000 -
1073.62/1076.98 c 1077 107471 22430 1 - 0.0000 -
1078.81/1082.15 c 1082 108024 22515 1 - 0.0000 -
1083.88/1087.24 c 1087 108545 22583 1 - 0.0000 -
1088.97/1092.30 c 1092 109071 22651 1 - 0.0000 -
1094.06/1097.44 c 1097 109574 22789 1 - 0.0000 -
1099.24/1102.61 c 1103 110071 22908 1 - 0.0000 -
1104.22/1107.66 c 1108 110662 22977 1 - 0.0000 -
1109.41/1112.84 c 1113 111228 23053 1 - 0.0000 -
1114.50/1117.97 c 1118 111731 23174 1 - 0.0000 -
1119.78/1123.26 c 1123 112227 23255 1 - 0.0000 -
1125.58/1129.07 c 1129 112725 23359 1 - 0.0000 -
1130.75/1134.25 c 1134 113238 23422 1 - 0.0000 -
1135.94/1139.41 c 1139 113794 23489 1 - 0.0000 -
1140.93/1144.49 c 1144 114244 23601 1 - 0.0000 -
1146.10/1149.69 c 1150 114758 23683 1 - 0.0000 -
1151.38/1154.90 c 1155 115279 23740 1 - 0.0000 -
1156.37/1159.97 c 1160 115821 23816 1 - 0.0000 -
1161.46/1165.07 c 1165 116261 23928 1 - 0.0000 -
1166.54/1170.17 c 1170 116732 24008 1 - 0.0000 -
1171.61/1175.23 c 1175 117256 24077 1 - 0.0000 -
1176.69/1180.34 c 1180 117715 24169 1 - 0.0000 -
1181.67/1185.39 c 1185 118267 24195 1 - 0.0000 -
1186.75/1190.44 c 1190 118812 24292 1 - 0.0000 -
1191.94/1195.68 c 1196 119353 24342 1 - 0.0000 -
1197.01/1200.77 c 1201 119903 24413 1 - 0.0000 -
1202.19/1205.91 c 1206 120321 24518 1 - 0.0000 -
1207.27/1211.01 c 1211 120737 24598 1 - 0.0000 -
1212.26/1216.07 c 1216 121202 24700 1 - 0.0000 -
1217.35/1221.19 c 1221 121711 24793 1 - 0.0000 -
1222.52/1226.31 c 1226 122214 24863 1 - 0.0000 -
1227.50/1231.37 c 1231 122762 24911 1 - 0.0000 -
1232.69/1236.57 c 1237 123243 24952 1 - 0.0000 -
1237.88/1241.77 c 1242 123775 25000 1 - 0.0000 -
1242.97/1246.83 c 1247 124296 25045 1 - 0.0000 -
1248.05/1251.97 c 1252 124762 25111 1 - 0.0000 -
1253.14/1257.06 c 1257 125226 25187 1 - 0.0000 -
1258.13/1262.10 c 1262 125716 25259 1 - 0.0000 -
1263.41/1267.35 c 1267 126252 25318 1 - 0.0000 -
1268.39/1272.39 c 1272 126778 25432 1 - 0.0000 -
1273.57/1277.51 c 1278 127315 25518 1 - 0.0000 -
1278.56/1282.55 c 1283 127853 25593 1 - 0.0000 -
1283.74/1287.78 c 1288 128399 25616 1 - 0.0000 -
1288.83/1292.83 c 1293 128768 25772 1 - 0.0000 -
1295.52/1299.58 c 1300 129007 1 1 - 0.0000 -
1300.60/1304.67 c 1305 129348 83 1 - 0.0000 -
1305.79/1309.83 c 1310 129854 92 1 - 0.0000 -
1310.77/1314.88 c 1315 130437 124 1 - 0.0000 -
1315.96/1320.02 c 1320 131035 150 1 - 0.0000 -
1320.94/1325.08 c 1325 131657 188 1 - 0.0000 -
1326.03/1330.13 c 1330 132356 190 1 - 0.0000 -
1331.02/1335.18 c 1335 133061 190 1 - 0.0000 -
1336.09/1340.24 c 1340 133580 213 1 - 0.0000 -
1341.17/1345.37 c 1345 134170 226 1 - 0.0000 -
1346.26/1350.43 c 1350 134929 236 1 - 0.0000 -
1351.34/1355.57 c 1356 135586 275 1 - 0.0000 -
1356.42/1360.61 c 1361 136210 282 1 - 0.0000 -
1361.41/1365.66 c 1366 137007 286 1 - 0.0000 -
1366.50/1370.71 c 1371 137748 325 1 - 0.0000 -
1371.48/1375.76 c 1376 138616 334 1 - 0.0000 -
1376.57/1380.81 c 1381 139704 341 1 - 0.0000 -
1381.65/1385.94 c 1386 140787 346 1 - 0.0000 -
1386.64/1390.99 c 1391 141694 372 1 - 0.0000 -
1391.73/1396.06 c 1396 142690 415 1 - 0.0000 -
1396.81/1401.16 c 1401 143607 441 1 - 0.0000 -
1402.20/1406.56 c 1407 144167 442 1 - 0.0000 -
1407.38/1411.70 c 1412 144897 469 1 - 0.0000 -
1412.36/1416.78 c 1417 145839 488 1 - 0.0000 -
1417.45/1421.82 c 1422 146959 508 1 - 0.0000 -
1422.53/1426.92 c 1427 147905 528 1 - 0.0000 -
1427.63/1432.09 c 1432 148516 535 1 - 0.0000 -
1432.80/1437.22 c 1437 149211 525 1 - 0.0000 -
1437.79/1442.30 c 1442 149977 556 1 - 0.0000 -
1443.07/1447.50 c 1448 150758 578 1 - 0.0000 -
1448.15/1452.61 c 1453 151808 609 1 - 0.0000 -
1453.34/1457.81 c 1458 152964 638 1 - 0.0000 -
1458.42/1462.97 c 1463 154100 659 1 - 0.0000 -
1463.52/1468.02 c 1468 155296 676 1 - 0.0000 -
1468.51/1473.07 c 1473 156378 724 1 - 0.0000 -
1473.59/1478.14 c 1478 157427 745 1 - 0.0000 -
1478.66/1483.20 c 1483 158490 737 1 - 0.0000 -
1484.25/1488.80 c 1489 159525 737 1 - 0.0000 -
1489.23/1493.85 c 1494 160504 764 1 - 0.0000 -
1494.21/1498.89 c 1499 161569 753 1 - 0.0000 -
1499.41/1504.11 c 1504 162343 884 1 - 0.0000 -
1504.50/1509.15 c 1509 163299 964 1 - 0.0000 -
1509.67/1514.31 c 1514 164284 1055 1 - 0.0000 -
1514.66/1519.38 c 1519 165167 1196 1 - 0.0000 -
1519.74/1524.44 c 1524 166148 1262 1 - 0.0000 -
1524.72/1529.49 c 1530 167137 1413 1 - 0.0000 -
1529.80/1534.55 c 1535 168097 1471 1 - 0.0000 -
1534.90/1539.61 c 1540 169188 1457 1 - 0.0000 -
1539.88/1544.66 c 1545 170224 1512 1 - 0.0000 -
1544.96/1549.70 c 1550 171303 1477 1 - 0.0000 -
1549.95/1554.76 c 1555 172345 1472 1 - 0.0000 -
1555.03/1559.82 c 1560 173414 1409 1 - 0.0000 -
1560.12/1565.01 c 1565 174430 1385 1 - 0.0000 -
1565.21/1570.05 c 1570 175467 1425 1 - 0.0000 -
1570.19/1575.10 c 1575 176575 1436 1 - 0.0000 -
1575.28/1580.15 c 1580 177640 1409 1 - 0.0000 -
1580.35/1585.20 c 1585 178769 1443 1 - 0.0000 -
1585.44/1590.31 c 1590 179893 1467 1 - 0.0000 -
1590.42/1595.35 c 1595 180980 1457 1 - 0.0000 -
1595.51/1600.42 c 1600 182065 1403 1 - 0.0000 -
1600.49/1605.46 c 1605 183170 1364 1 - 0.0000 -
1605.58/1610.52 c 1611 184316 1336 1 - 0.0000 -
1610.55/1615.58 c 1616 185480 1293 1 - 0.0000 -
1615.65/1620.62 c 1621 186464 1289 1 - 0.0000 -
1620.62/1625.68 c 1626 187549 1311 1 - 0.0000 -
1625.72/1630.72 c 1631 188491 1300 1 - 0.0000 -
1630.70/1635.77 c 1636 189593 1285 1 - 0.0000 -
1635.78/1640.82 c 1641 190622 1328 1 - 0.0000 -
1640.76/1645.88 c 1646 191766 1312 1 - 0.0000 -
1645.85/1650.93 c 1651 192697 1306 1 - 0.0000 -
1650.84/1655.98 c 1656 193750 1326 1 - 0.0000 -
1655.93/1661.04 c 1661 194791 1369 1 - 0.0000 -
1661.02/1666.17 c 1666 195723 1435 1 - 0.0000 -
1666.09/1671.23 c 1671 196712 1452 1 - 0.0000 -
1671.07/1676.28 c 1676 197741 1552 1 - 0.0000 -
1676.15/1681.34 c 1681 198675 1587 1 - 0.0000 -
1681.14/1686.39 c 1686 199696 1595 1 - 0.0000 -
1686.22/1691.43 c 1691 200745 1596 1 - 0.0000 -
1691.21/1696.48 c 1696 201745 1626 1 - 0.0000 -
1696.99/1702.25 c 1702 202782 1642 1 - 0.0000 -
1702.07/1707.36 c 1707 203767 1689 1 - 0.0000 -
1707.16/1712.41 c 1712 204630 1716 1 - 0.0000 -
1712.15/1717.47 c 1717 205269 1731 1 - 0.0000 -
1717.23/1722.53 c 1723 205899 1726 1 - 0.0000 -
1722.31/1727.62 c 1728 206681 1718 1 - 0.0000 -
1727.30/1732.68 c 1733 207635 1751 1 - 0.0000 -
1732.68/1738.06 c 1738 208454 1766 1 - 0.0000 -
1737.76/1743.16 c 1743 209058 1816 1 - 0.0000 -
1742.84/1748.21 c 1748 209688 1825 1 - 0.0000 -
1747.82/1753.27 c 1753 210357 1830 1 - 0.0000 -
1752.90/1758.33 c 1758 210982 1824 1 - 0.0000 -
1757.88/1763.38 c 1763 211676 1835 1 - 0.0000 -
1762.96/1768.42 c 1768 212349 1820 1 - 0.0000 -
1768.04/1773.58 c 1774 213141 1858 1 - 0.0000 -
1773.12/1778.64 c 1779 213901 1872 1 - 0.0000 -
1778.20/1783.76 c 1784 214694 1900 1 - 0.0000 -
1783.28/1788.83 c 1789 215580 1949 1 - 0.0000 -
1788.27/1793.87 c 1794 216757 1938 1 - 0.0000 -
1793.34/1798.92 c 1799 217726 1952 1 - 0.0000 -
1798.32/1803.97 c 1804 218502 1982 1 - 0.0000 -
1803.41/1809.06 c 1809 219460 2097 1 - 0.0000 -
1808.50/1814.11 c 1814 220312 2151 1 - 0.0000 -
1813.48/1819.16 c 1819 221316 2187 1 - 0.0000 -
1818.54/1824.21 c 1824 222362 2201 1 - 0.0000 -
1823.62/1829.31 c 1829 223440 2171 1 - 0.0000 -
1828.61/1834.35 c 1834 224528 2202 1 - 0.0000 -
1833.68/1839.41 c 1839 225425 2245 1 - 0.0000 -
1838.67/1844.46 c 1844 226378 2246 1 - 0.0000 -
1843.75/1849.50 c 1850 227318 2285 1 - 0.0000 -
1848.72/1854.55 c 1855 228306 2305 1 - 0.0000 -
1853.81/1859.67 c 1860 229110 2321 1 - 0.0000 -
1858.89/1864.73 c 1865 230087 2310 1 - 0.0000 -
1863.97/1869.89 c 1870 230962 2310 1 - 0.0000 -
1869.05/1874.94 c 1875 231946 2337 1 - 0.0000 -
1874.14/1880.07 c 1880 232891 2332 1 - 0.0000 -
1879.31/1885.21 c 1885 233850 2345 1 - 0.0000 -
1884.29/1890.26 c 1890 234753 2367 1 - 0.0000 -
1889.57/1895.51 c 1896 235749 2406 1 - 0.0000 -
1894.65/1900.63 c 1901 236826 2433 1 - 0.0000 -
1899.63/1905.69 c 1906 237759 2440 1 - 0.0000 -
1904.72/1910.77 c 1911 238712 2500 1 - 0.0000 -
1909.79/1915.81 c 1916 239741 2495 1 - 0.0000 -
1914.88/1920.99 c 1921 240517 2482 1 - 0.0000 -
1919.98/1926.03 c 1926 241563 2475 1 - 0.0000 -
1924.96/1931.10 c 1931 242509 2543 1 - 0.0000 -
1930.05/1936.16 c 1936 243545 2562 1 - 0.0000 -
1935.12/1941.21 c 1941 244538 2582 1 - 0.0000 -
1940.10/1946.25 c 1946 245533 2601 1 - 0.0000 -
1945.19/1951.31 c 1951 246559 2658 1 - 0.0000 -
1950.17/1956.36 c 1956 247486 2711 1 - 0.0000 -
1955.25/1961.40 c 1961 248380 2748 1 - 0.0000 -
1960.25/1966.46 c 1966 249145 2766 1 - 0.0000 -
1965.33/1971.51 c 1972 249939 2768 1 - 0.0000 -
1970.31/1976.56 c 1977 250775 2783 1 - 0.0000 -
1975.40/1981.62 c 1982 251759 2826 1 - 0.0000 -
1980.38/1986.68 c 1987 252959 2843 1 - 0.0000 -
1985.46/1991.73 c 1992 254148 2818 1 - 0.0000 -
1990.54/1996.85 c 1997 255193 2853 1 - 0.0000 -
1995.62/2001.94 c 2002 256114 2864 1 - 0.0000 -
2000.60/2006.99 c 2007 256855 2897 1 - 0.0000 -
2005.69/2012.04 c 2012 257744 2890 1 - 0.0000 -
2010.68/2017.10 c 2017 258649 2918 1 - 0.0000 -
2015.84/2022.26 c 2022 259784 2884 1 - 0.0000 -
2020.92/2027.31 c 2027 260765 2889 1 - 0.0000 -
2025.91/2032.36 c 2032 261820 2884 1 - 0.0000 -
2030.99/2037.47 c 2037 262919 2878 1 - 0.0000 -
2036.07/2042.53 c 2043 263882 2884 1 - 0.0000 -
2041.05/2047.58 c 2048 264882 2907 1 - 0.0000 -
2046.23/2052.71 c 2053 265835 2924 1 - 0.0000 -
2051.21/2057.76 c 2058 266689 2956 1 - 0.0000 -
2056.29/2062.85 c 2063 267724 3000 1 - 0.0000 -
2061.37/2067.90 c 2068 268661 3157 1 - 0.0000 -
2066.35/2072.96 c 2073 269599 3167 1 - 0.0000 -
2071.45/2078.01 c 2078 270574 3146 1 - 0.0000 -
2076.43/2083.09 c 2083 271540 3153 1 - 0.0000 -
2082.20/2088.83 c 2089 272329 3195 1 - 0.0000 -
2087.28/2093.91 c 2094 273399 3223 1 - 0.0000 -
2092.27/2098.97 c 2099 274464 3192 1 - 0.0000 -
2097.35/2104.02 c 2104 275433 3244 1 - 0.0000 -
2102.34/2109.07 c 2109 276532 3240 1 - 0.0000 -
2107.43/2114.15 c 2114 277608 3243 1 - 0.0000 -
2112.50/2119.20 c 2119 278235 3364 1 - 0.0000 -
2117.58/2124.31 c 2124 279062 3508 1 - 0.0000 -
2122.57/2129.36 c 2129 279927 3579 1 - 0.0000 -
2127.66/2134.42 c 2134 280784 3650 1 - 0.0000 -
2132.64/2139.48 c 2139 281810 3689 1 - 0.0000 -
2137.72/2144.52 c 2145 282824 3765 1 - 0.0000 -
2142.81/2149.66 c 2150 283753 3860 1 - 0.0000 -
2147.90/2154.77 c 2155 284662 3907 1 - 0.0000 -
2152.98/2159.82 c 2160 285739 3901 1 - 0.0000 -
2157.96/2164.86 c 2165 286612 3879 1 - 0.0000 -
2163.05/2169.91 c 2170 287512 3916 1 - 0.0000 -
2168.03/2174.97 c 2175 288542 3961 1 - 0.0000 -
2173.13/2180.03 c 2180 289304 4039 1 - 0.0000 -
2178.11/2185.08 c 2185 290184 4108 1 - 0.0000 -
2183.19/2190.16 c 2190 291143 4145 1 - 0.0000 -
2188.26/2195.23 c 2195 292081 4156 1 - 0.0000 -
2193.34/2200.30 c 2200 293001 4203 1 - 0.0000 -
2198.32/2205.35 c 2205 293990 4183 1 - 0.0000 -
2203.50/2210.59 c 2211 294727 4233 1 - 0.0000 -
2208.68/2215.70 c 2216 295691 4243 1 - 0.0000 -
2213.67/2220.75 c 2221 296664 4267 1 - 0.0000 -
2218.75/2225.80 c 2226 297641 4304 1 - 0.0000 -
2223.72/2230.87 c 2231 298694 4310 1 - 0.0000 -
2228.81/2235.92 c 2236 299727 4330 1 - 0.0000 -
2233.90/2241.02 c 2241 300695 4356 1 - 0.0000 -
2238.98/2246.17 c 2246 301630 4396 1 - 0.0000 -
2244.05/2251.22 c 2251 302658 4429 1 - 0.0000 -
2249.13/2256.34 c 2256 303661 4457 1 - 0.0000 -
2254.21/2261.44 c 2261 304217 4496 1 - 0.0000 -
2259.30/2266.53 c 2267 304922 4491 1 - 0.0000 -
2264.28/2271.59 c 2272 305595 4513 1 - 0.0000 -
2269.56/2276.85 c 2277 306303 4540 1 - 0.0000 -
2274.64/2281.90 c 2282 307197 4552 1 - 0.0000 -
2279.62/2286.96 c 2287 308108 4563 1 - 0.0000 -
2284.60/2292.01 c 2292 309047 4571 1 - 0.0000 -
2289.69/2297.07 c 2297 309950 4613 1 - 0.0000 -
2294.78/2302.13 c 2302 310884 4588 1 - 0.0000 -
2299.84/2307.26 c 2307 311762 4647 1 - 0.0000 -
2304.92/2312.31 c 2312 312685 4633 1 - 0.0000 -
2309.91/2317.36 c 2317 313658 4635 1 - 0.0000 -
2315.38/2322.89 c 2323 314579 4671 1 - 0.0000 -
2320.46/2327.99 c 2328 315571 4694 1 - 0.0000 -
2325.56/2333.04 c 2333 316641 4724 1 - 0.0000 -
2330.63/2338.14 c 2338 317485 4766 1 - 0.0000 -
2335.70/2343.23 c 2343 318345 4774 1 - 0.0000 -
2340.89/2348.45 c 2348 319197 4829 1 - 0.0000 -
2345.87/2353.49 c 2354 320123 4871 1 - 0.0000 -
2350.94/2358.54 c 2359 320977 4946 1 - 0.0000 -
2356.02/2363.61 c 2364 321883 4952 1 - 0.0000 -
2361.01/2368.68 c 2369 322867 4956 1 - 0.0000 -
2366.08/2373.72 c 2374 323820 4982 1 - 0.0000 -
2371.07/2378.78 c 2379 324733 4993 1 - 0.0000 -
2376.25/2383.96 c 2384 325654 5028 1 - 0.0000 -
2381.34/2389.03 c 2389 326621 5055 1 - 0.0000 -
2386.42/2394.12 c 2394 327644 5071 1 - 0.0000 -
2391.50/2399.24 c 2399 328675 5087 1 - 0.0000 -
2396.58/2404.30 c 2404 329576 5123 1 - 0.0000 -
2401.56/2409.37 c 2409 330498 5110 1 - 0.0000 -
2407.53/2415.35 c 2415 331266 5170 1 - 0.0000 -
2412.61/2420.40 c 2420 332260 5187 1 - 0.0000 -
2417.60/2425.44 c 2425 333075 5237 1 - 0.0000 -
2422.67/2430.50 c 2431 333937 5250 1 - 0.0000 -
2427.65/2435.56 c 2436 334902 5249 1 - 0.0000 -
2432.74/2440.60 c 2441 335820 5278 1 - 0.0000 -
2437.72/2445.65 c 2446 336811 5334 1 - 0.0000 -
2442.80/2450.70 c 2451 337581 5457 1 - 0.0000 -
2447.78/2455.75 c 2456 338593 5378 1 - 0.0000 -
2452.86/2460.86 c 2461 339522 5377 1 - 0.0000 -
2457.95/2465.91 c 2466 340456 5401 1 - 0.0000 -
2462.93/2471.00 c 2471 341414 5431 1 - 0.0000 -
2468.01/2476.07 c 2476 342408 5442 1 - 0.0000 -
2473.09/2481.17 c 2481 343354 5475 1 - 0.0000 -
2478.17/2486.22 c 2486 344256 5497 1 - 0.0000 -
2483.15/2491.29 c 2491 345231 5513 1 - 0.0000 -
2488.23/2496.33 c 2496 346192 5527 1 - 0.0000 -
2493.21/2501.38 c 2501 347093 5550 1 - 0.0000 -
2498.29/2506.46 c 2506 348205 5540 1 - 0.0000 -
2503.48/2511.69 c 2512 348980 5691 1 - 0.0000 -
2508.55/2516.74 c 2517 350051 5668 1 - 0.0000 -
2513.54/2521.79 c 2522 350992 5715 1 - 0.0000 -
2518.62/2526.88 c 2527 351868 5778 1 - 0.0000 -
2523.71/2531.95 c 2532 352853 5785 1 - 0.0000 -
2528.69/2537.00 c 2537 353889 5803 1 - 0.0000 -
2533.78/2542.04 c 2542 354883 5850 1 - 0.0000 -
2538.76/2547.09 c 2547 355896 5910 1 - 0.0000 -
2543.94/2552.21 c 2552 356860 5980 1 - 0.0000 -
2549.73/2558.02 c 2558 357827 5997 1 - 0.0000 -
2554.72/2563.07 c 2563 358822 5981 1 - 0.0000 -
2559.80/2568.13 c 2568 359548 6074 1 - 0.0000 -
2564.79/2573.18 c 2573 360425 6119 1 - 0.0000 -
2569.86/2578.26 c 2578 361288 6200 1 - 0.0000 -
2574.95/2583.31 c 2583 362352 6182 1 - 0.0000 -
2579.93/2588.36 c 2588 363445 6261 1 - 0.0000 -
2585.02/2593.41 c 2593 364571 6245 1 - 0.0000 -
2590.01/2598.47 c 2598 365543 6370 1 - 0.0000 -
2595.09/2603.57 c 2604 366554 6392 1 - 0.0000 -
2600.27/2608.73 c 2609 367513 6479 1 - 0.0000 -
2605.36/2613.80 c 2614 368444 6585 1 - 0.0000 -
2610.35/2618.85 c 2619 369462 6624 1 - 0.0000 -
2615.43/2623.90 c 2624 370513 6648 1 - 0.0000 -
2620.41/2628.95 c 2629 371543 6647 1 - 0.0000 -
2625.39/2634.01 c 2634 372512 6692 1 - 0.0000 -
2630.49/2639.05 c 2639 373526 6705 1 - 0.0000 -
2635.57/2644.11 c 2644 374556 6728 1 - 0.0000 -
2640.55/2649.16 c 2649 375575 6762 1 - 0.0000 -
2646.23/2654.86 c 2655 376570 6809 1 - 0.0000 -
2651.31/2659.94 c 2660 377555 6805 1 - 0.0000 -
2656.30/2664.99 c 2665 378527 6845 1 - 0.0000 -
2661.58/2670.20 c 2670 379378 6898 1 - 0.0000 -
2666.56/2675.26 c 2675 380493 6897 1 - 0.0000 -
2671.65/2680.31 c 2680 381448 6978 1 - 0.0000 -
2676.64/2685.35 c 2685 382467 7016 1 - 0.0000 -
2681.72/2690.40 c 2690 383500 6976 1 - 0.0000 -
2686.80/2695.51 c 2696 384547 6993 1 - 0.0000 -
2691.79/2700.56 c 2701 385552 6931 1 - 0.0000 -
2696.87/2705.61 c 2706 386562 6926 1 - 0.0000 -
2701.86/2710.66 c 2711 387564 6945 1 - 0.0000 -
2706.94/2715.78 c 2716 388401 7072 1 - 0.0000 -
2712.03/2720.84 c 2721 389330 7089 1 - 0.0000 -
2717.01/2725.90 c 2726 390274 7127 1 - 0.0000 -
2722.11/2730.99 c 2731 391240 7172 1 - 0.0000 -
2727.20/2736.03 c 2736 392225 7170 1 - 0.0000 -
2732.18/2741.08 c 2741 393182 7187 1 - 0.0000 -
2737.26/2746.13 c 2746 394206 7088 1 - 0.0000 -
2742.25/2751.18 c 2751 395202 7091 1 - 0.0000 -
2747.32/2756.24 c 2756 396108 7135 1 - 0.0000 -
2752.31/2761.28 c 2761 397028 7172 1 - 0.0000 -
2757.39/2766.34 c 2766 397976 7149 1 - 0.0000 -
2762.48/2771.40 c 2771 398940 7209 1 - 0.0000 -
2767.46/2776.44 c 2776 399929 7227 1 - 0.0000 -
2772.55/2781.50 c 2782 400938 7280 1 - 0.0000 -
2777.53/2786.55 c 2787 401882 7421 1 - 0.0000 -
2782.61/2791.61 c 2792 402790 7450 1 - 0.0000 -
2787.60/2796.65 c 2797 403658 7525 1 - 0.0000 -
2792.69/2801.73 c 2802 404544 7524 1 - 0.0000 -
2797.67/2806.77 c 2807 405476 7525 1 - 0.0000 -
2802.76/2811.82 c 2812 406404 7526 1 - 0.0000 -
2807.75/2816.88 c 2817 407338 7478 1 - 0.0000 -
2812.82/2821.92 c 2822 408367 7481 1 - 0.0000 -
2817.81/2826.98 c 2827 409450 7477 1 - 0.0000 -
2823.20/2832.33 c 2832 410299 7474 1 - 0.0000 -
2828.19/2837.38 c 2837 411275 7503 1 - 0.0000 -
2833.27/2842.45 c 2842 412176 7600 1 - 0.0000 -
2838.35/2847.52 c 2848 413150 7616 1 - 0.0000 -
2843.34/2852.56 c 2853 414171 7646 1 - 0.0000 -
2848.42/2857.68 c 2858 415209 7632 1 - 0.0000 -
2853.61/2862.81 c 2863 416063 7776 1 - 0.0000 -
2858.59/2867.85 c 2868 417068 7792 1 - 0.0000 -
2863.67/2872.90 c 2873 418042 7788 1 - 0.0000 -
2868.66/2877.96 c 2878 419069 7798 1 - 0.0000 -
2873.64/2883.01 c 2883 420051 7732 1 - 0.0000 -
2878.83/2888.14 c 2888 421023 7786 1 - 0.0000 -
2883.82/2893.18 c 2893 422034 7750 1 - 0.0000 -
2888.88/2898.24 c 2898 423121 7719 1 - 0.0000 -
2893.87/2903.28 c 2903 424151 7690 1 - 0.0000 -
2898.96/2908.33 c 2908 425191 7672 1 - 0.0000 -
2903.94/2913.39 c 2913 426244 7666 1 - 0.0000 -
2909.03/2918.46 c 2918 427104 7718 1 - 0.0000 -
2914.11/2923.52 c 2924 428123 7745 1 - 0.0000 -
2919.10/2928.57 c 2929 429052 7794 1 - 0.0000 -
2924.18/2933.62 c 2934 430071 7798 1 - 0.0000 -
2929.16/2938.68 c 2939 431086 7809 1 - 0.0000 -
2934.26/2943.72 c 2944 432114 7827 1 - 0.0000 -
2940.23/2949.70 c 2950 433151 7794 1 - 0.0000 -
2945.31/2954.87 c 2955 434234 7810 1 - 0.0000 -
2950.40/2959.93 c 2960 435239 7835 1 - 0.0000 -
2955.38/2964.97 c 2965 436242 7833 1 - 0.0000 -
2960.47/2970.03 c 2970 437267 7794 1 - 0.0000 -
2965.45/2975.07 c 2975 438205 7793 1 - 0.0000 -
2970.53/2980.12 c 2980 439286 7789 1 - 0.0000 -
2975.51/2985.17 c 2985 440265 7772 1 - 0.0000 -
2980.58/2990.23 c 2990 441270 7791 1 - 0.0000 -
2985.57/2995.29 c 2995 442216 7826 1 - 0.0000 -
2990.64/3000.35 c 3000 443130 7825 1 - 0.0000 -
2995.82/3005.53 c 3006 444114 7839 1 - 0.0000 -
3000.81/3010.58 c 3011 445097 7859 1 - 0.0000 -
3005.89/3015.64 c 3016 446091 7855 1 - 0.0000 -
3010.87/3020.69 c 3021 447059 7874 1 - 0.0000 -
3015.94/3025.78 c 3026 448087 7855 1 - 0.0000 -
3021.03/3030.83 c 3031 449055 7843 1 - 0.0000 -
3026.01/3035.88 c 3036 450082 7841 1 - 0.0000 -
3031.09/3040.93 c 3041 451147 7854 1 - 0.0000 -
3036.08/3045.99 c 3046 452202 7867 1 - 0.0000 -
3041.18/3051.03 c 3051 453160 7869 1 - 0.0000 -
3046.16/3056.08 c 3056 454228 7887 1 - 0.0000 -
3051.25/3061.13 c 3061 455232 7912 1 - 0.0000 -
3056.23/3066.19 c 3066 456326 7946 1 - 0.0000 -
3061.31/3071.24 c 3071 457443 7972 1 - 0.0000 -
3066.29/3076.30 c 3076 458558 7936 1 - 0.0000 -
3071.37/3081.36 c 3081 459609 7913 1 - 0.0000 -
3077.96/3087.98 c 3088 460527 7905 1 - 0.0000 -
3083.05/3093.08 c 3093 461405 7986 1 - 0.0000 -
3088.13/3098.12 c 3098 462380 7968 1 - 0.0000 -
3093.20/3103.20 c 3103 463361 7962 1 - 0.0000 -
3098.28/3108.33 c 3108 464373 7984 1 - 0.0000 -
3103.26/3113.39 c 3113 465566 7988 1 - 0.0000 -
3108.34/3118.49 c 3118 466432 8005 1 - 0.0000 -
3113.42/3123.58 c 3124 467437 8012 1 - 0.0000 -
3118.51/3128.67 c 3129 468460 8032 1 - 0.0000 -
3123.58/3133.75 c 3134 469337 8093 1 - 0.0000 -
3128.67/3138.80 c 3139 470391 8143 1 - 0.0000 -
3133.65/3143.84 c 3144 471366 8182 1 - 0.0000 -
3138.63/3148.89 c 3149 472380 8175 1 - 0.0000 -
3143.82/3154.03 c 3154 473343 8214 1 - 0.0000 -
3148.80/3159.08 c 3159 474330 8197 1 - 0.0000 -
3153.88/3164.13 c 3164 475285 8227 1 - 0.0000 -
3158.95/3169.20 c 3169 476247 8250 1 - 0.0000 -
3164.03/3174.32 c 3174 477206 8262 1 - 0.0000 -
3169.01/3179.37 c 3179 478039 8365 1 - 0.0000 -
3174.09/3184.42 c 3184 478930 8453 1 - 0.0000 -
3179.08/3189.48 c 3189 479906 8482 1 - 0.0000 -
3184.25/3194.60 c 3195 480936 8523 1 - 0.0000 -
3189.23/3199.64 c 3200 482001 8557 1 - 0.0000 -
3194.21/3204.71 c 3205 482976 8572 1 - 0.0000 -
3199.29/3209.76 c 3210 483927 8606 1 - 0.0000 -
3204.37/3214.81 c 3215 484986 8661 1 - 0.0000 -
3209.35/3219.86 c 3220 486032 8675 1 - 0.0000 -
3214.44/3224.97 c 3225 487036 8695 1 - 0.0000 -
3219.53/3230.05 c 3230 488050 8745 1 - 0.0000 -
3224.52/3235.10 c 3235 488997 8792 1 - 0.0000 -
3229.60/3240.19 c 3240 489926 8807 1 - 0.0000 -
3234.67/3245.24 c 3245 490924 8740 1 - 0.0000 -
3239.66/3250.29 c 3250 491728 8764 1 - 0.0000 -
3244.74/3255.35 c 3255 492832 8862 1 - 0.0000 -
3249.73/3260.39 c 3260 493956 8872 1 - 0.0000 -
3254.81/3265.45 c 3265 495216 8929 1 - 0.0000 -
3259.80/3270.50 c 3270 496581 8930 1 - 0.0000 -
3264.88/3275.54 c 3276 497885 8908 1 - 0.0000 -
3269.96/3280.60 c 3281 498847 8923 1 - 0.0000 -
3274.95/3285.65 c 3286 499723 8963 1 - 0.0000 -
3280.03/3290.77 c 3291 500672 8987 1 - 0.0000 -
3285.13/3295.82 c 3296 501613 8966 1 - 0.0000 -
3290.21/3300.90 c 3301 502437 8972 1 - 0.0000 -
3295.30/3306.05 c 3306 503386 8965 1 - 0.0000 -
3300.29/3311.09 c 3311 504390 8953 1 - 0.0000 -
3305.37/3316.19 c 3316 505473 8977 1 - 0.0000 -
3310.45/3321.23 c 3321 506249 9095 1 - 0.0000 -
3315.43/3326.29 c 3326 507154 9184 1 - 0.0000 -
3320.51/3331.35 c 3331 508010 9269 1 - 0.0000 -
3325.61/3336.46 c 3336 508961 9295 1 - 0.0000 -
3330.79/3341.61 c 3342 509920 9312 1 - 0.0000 -
3335.87/3346.78 c 3347 510955 9379 1 - 0.0000 -
3340.96/3351.82 c 3352 511966 9370 1 - 0.0000 -
3346.15/3357.03 c 3357 512863 9397 1 - 0.0000 -
3351.14/3362.07 c 3362 513841 9437 1 - 0.0000 -
3356.31/3367.22 c 3367 514743 9482 1 - 0.0000 -
3361.30/3372.28 c 3372 515720 9492 1 - 0.0000 -
3366.39/3377.32 c 3377 516749 9516 1 - 0.0000 -
3371.36/3382.37 c 3382 517806 9510 1 - 0.0000 -
3376.45/3387.43 c 3387 518792 9526 1 - 0.0000 -
3381.44/3392.48 c 3392 519773 9552 1 - 0.0000 -
3386.52/3397.55 c 3398 520682 9553 1 - 0.0000 -
3391.61/3402.60 c 3403 521710 9557 1 - 0.0000 -
3396.60/3407.68 c 3408 522523 9693 1 - 0.0000 -
3401.67/3412.76 c 3413 523452 9751 1 - 0.0000 -
3406.76/3417.81 c 3418 524312 9809 1 - 0.0000 -
3411.75/3422.88 c 3423 525259 9853 1 - 0.0000 -
3416.84/3427.95 c 3428 526091 9879 1 - 0.0000 -
3421.82/3433.01 c 3433 527077 9934 1 - 0.0000 -
3426.92/3438.06 c 3438 528044 9918 1 - 0.0000 -
3431.90/3443.10 c 3443 529049 9933 1 - 0.0000 -
3436.99/3448.16 c 3448 530102 9955 1 - 0.0000 -
3442.06/3453.21 c 3453 531120 9980 1 - 0.0000 -
3447.04/3458.25 c 3458 532217 9993 1 - 0.0000 -
3452.13/3463.30 c 3463 533144 9985 1 - 0.0000 -
3457.21/3468.45 c 3468 533975 10075 1 - 0.0000 -
3462.29/3473.52 c 3474 534913 10176 1 - 0.0000 -
3467.39/3478.67 c 3479 535941 10224 1 - 0.0000 -
3472.47/3483.72 c 3484 537020 10259 1 - 0.0000 -
3477.55/3488.81 c 3489 538024 10327 1 - 0.0000 -
3482.54/3493.86 c 3494 539017 10387 1 - 0.0000 -
3487.62/3498.90 c 3499 540017 10391 1 - 0.0000 -
3492.61/3503.96 c 3504 541005 10443 1 - 0.0000 -
3497.81/3509.14 c 3509 542056 10508 1 - 0.0000 -
3502.88/3514.20 c 3514 543060 10539 1 - 0.0000 -
3507.86/3519.24 c 3519 544106 10568 1 - 0.0000 -
3512.95/3524.33 c 3524 545124 10584 1 - 0.0000 -
3517.93/3529.37 c 3529 546106 10670 1 - 0.0000 -
3523.02/3534.43 c 3534 547071 10653 1 - 0.0000 -
3528.01/3539.47 c 3539 548027 10680 1 - 0.0000 -
3534.19/3545.61 c 3546 549000 10678 1 - 0.0000 -
3539.17/3550.67 c 3551 550037 10678 1 - 0.0000 -
3544.25/3555.72 c 3556 550907 10725 1 - 0.0000 -
3549.34/3560.83 c 3561 551930 10774 1 - 0.0000 -
3554.32/3565.87 c 3566 553050 10793 1 - 0.0000 -
3559.40/3570.95 c 3571 554030 10835 1 - 0.0000 -
3564.39/3576.01 c 3576 555059 10856 1 - 0.0000 -
3569.48/3581.06 c 3581 556114 10879 1 - 0.0000 -
3574.55/3586.13 c 3586 557029 10925 1 - 0.0000 -
3579.63/3591.20 c 3591 558026 11024 1 - 0.0000 -
3584.62/3596.25 c 3596 559102 11023 1 - 0.0000 -
3586.43/3598.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.43/3598.11 c Total Time : 3598.1000
3586.43/3598.11 c solving : 3598.1000
3586.43/3598.11 c presolving : 0.3316 (included in solving)
3586.43/3598.11 c B&B Tree :
3586.43/3598.11 c nodes (total) : 1
3586.43/3598.11 c Solution :
3586.43/3598.11 c Solutions found : 0
3586.43/3598.11 c Primal Bound : -
3586.43/3598.11 c Dual Bound : +0.00000000000000e+00
3586.43/3598.11 c Gap : -
3586.53/3598.12 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: 64096 MiB (58825 MiB free)
memory of node 1: 64473 MiB (57188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464565-1722385812/watcher-4464565-1722385812 -o /tmp/evaluation-result-4464565-1722385812/solver-4464565-1722385812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27296 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464565-1722385812.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
Current StackSize limit: 8192 KiB
solver pid=31937, runsolver pid=31934
[startup+0.100098 s]*
/proc/loadavg: 4.10 4.13 4.12 5/251 31938
/proc/meminfo: memFree=118772540/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=47732 memory=36080 CPUtime=0.1 cores=5,7
/proc/31937/stat : 31937 (fscip) R 31934 31937 27283 0 -1 4194304 6686 0 0 0 9 1 0 0 20 0 1 0 4951297 48877568 9020 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 11933 9020 2598 3035 0 8329 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 36080 KiB
[startup+0.213131 s]*
/proc/loadavg: 4.10 4.13 4.12 5/251 31938
/proc/meminfo: memFree=118768496/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=49732 memory=39340 CPUtime=0.21 cores=5,7
/proc/31937/stat : 31937 (fscip) R 31934 31937 27283 0 -1 4194304 8765 0 0 0 19 2 0 0 20 0 1 0 4951297 50925568 9835 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 12433 9835 2694 3035 0 8829 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49732 KiB
Current children cumulated memory: 39340 KiB
[startup+0.313072 s]*
/proc/loadavg: 4.10 4.13 4.12 5/251 31938
/proc/meminfo: memFree=118766676/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=49732 memory=39340 CPUtime=0.31 cores=5,7
/proc/31937/stat : 31937 (fscip) R 31934 31937 27283 0 -1 4194304 8775 0 0 0 29 2 0 0 20 0 1 0 4951297 50925568 9835 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 12433 9835 2694 3035 0 8829 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49732 KiB
Current children cumulated memory: 39340 KiB
[startup+0.700357 s]
/proc/loadavg: 4.10 4.13 4.12 5/253 31940
/proc/meminfo: memFree=118718948/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=183372 memory=99052 CPUtime=0.68 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 23663 0 0 0 62 6 0 0 20 0 3 0 4951297 187772928 24763 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 45843 24763 2854 3035 0 31541 0
[pid=31937/tid=31939] ppid=31934 vsize=183372 memory=1944 CPUtime=0.24 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 7915 0 0 0 23 1 0 0 20 0 3 0 4951338 187772928 24763 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=183372 memory=2369 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951343 187772928 24763 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183372 KiB
Current children cumulated memory: 99052 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.13 4.12 5/253 31940
/proc/meminfo: memFree=118703976/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=183372 memory=103500 CPUtime=1.46 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 25303 0 0 0 139 7 0 0 20 0 3 0 4951297 187772928 25875 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 45843 25875 2934 3035 0 32521 0
[pid=31937/tid=31939] ppid=31934 vsize=183372 memory=2369 CPUtime=1.03 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 9555 0 0 0 101 2 0 0 20 0 3 0 4951338 187772928 25875 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=183372 memory=0 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951343 187772928 25875 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 183372 KiB
Current children cumulated memory: 103500 KiB
[startup+3.11275 s]
/proc/loadavg: 4.18 4.14 4.13 5/253 31940
/proc/meminfo: memFree=118671360/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=185308 memory=121584 CPUtime=3.07 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 37947 0 0 0 298 9 0 0 20 0 3 0 4951297 189755392 30396 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 46327 30396 2950 3035 0 38248 0
[pid=31937/tid=31939] ppid=31934 vsize=185308 memory=0 CPUtime=2.64 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 22194 0 0 0 260 4 0 0 20 0 3 0 4951338 189755392 30396 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=185308 memory=0 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4951343 189755392 30396 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 185308 KiB
Current children cumulated memory: 121584 KiB
[startup+6.30033 s]
/proc/loadavg: 4.18 4.14 4.13 5/253 31942
/proc/meminfo: memFree=118642908/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=250844 memory=159488 CPUtime=6.25 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 61047 0 0 0 614 11 0 0 20 0 3 0 4951297 256864256 39872 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 62711 39872 2998 3035 0 47600 0
[pid=31937/tid=31939] ppid=31934 vsize=250844 memory=0 CPUtime=5.81 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 45264 0 0 0 575 6 0 0 20 0 3 0 4951338 256864256 39872 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=250844 memory=124424 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4951343 256864256 39872 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 250844 KiB
Current children cumulated memory: 159488 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.14 4.13 5/253 31942
/proc/meminfo: memFree=118631368/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=250844 memory=169960 CPUtime=12.63 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 96484 0 0 0 1249 14 0 0 20 0 3 0 4951297 256864256 42490 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 62711 42490 2998 3035 0 51195 0
[pid=31937/tid=31939] ppid=31934 vsize=250844 memory=0 CPUtime=12.2 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 80667 0 0 0 1211 9 0 0 20 0 3 0 4951338 256864256 42490 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=250844 memory=12700 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4951343 256864256 42490 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 250844 KiB
Current children cumulated memory: 169960 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.12 5/255 32003
/proc/meminfo: memFree=118551184/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=250844 memory=185872 CPUtime=25.38 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 144976 0 0 0 2520 18 0 0 20 0 3 0 4951297 256864256 46468 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 62711 46468 2998 3035 0 54179 0
[pid=31937/tid=31939] ppid=31934 vsize=250844 memory=185796 CPUtime=24.95 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 129109 0 0 0 2481 14 0 0 20 0 3 0 4951338 256864256 46468 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=250844 memory=12700 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4951343 256864256 46468 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 250844 KiB
Current children cumulated memory: 185872 KiB
[startup+51.113 s]
/proc/loadavg: 4.16 4.14 4.13 5/254 32007
/proc/meminfo: memFree=118530472/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=250844 memory=200632 CPUtime=50.92 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 205098 0 0 0 5067 25 0 0 20 0 3 0 4951297 256864256 50158 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 62711 50158 2998 3035 0 58474 0
[pid=31937/tid=31939] ppid=31934 vsize=250844 memory=200628 CPUtime=50.48 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 189173 0 0 0 5028 20 0 0 20 0 3 0 4951338 256864256 50158 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=250844 memory=200628 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4951343 256864256 50158 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 250844 KiB
Current children cumulated memory: 200632 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/254 32016
/proc/meminfo: memFree=118514316/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=316380 memory=213532 CPUtime=101.95 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 271405 0 0 0 10162 33 0 0 20 0 3 0 4951297 323973120 53383 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 79095 53383 2998 3035 0 61343 0
[pid=31937/tid=31939] ppid=31934 vsize=316380 memory=213512 CPUtime=101.51 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 255409 0 0 0 10123 28 0 0 20 0 3 0 4951338 323973120 53383 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=316380 memory=11424 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4951343 323973120 53383 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 316380 KiB
Current children cumulated memory: 213532 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/254 32026
/proc/meminfo: memFree=118455200/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=316380 memory=247492 CPUtime=161.76 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 324200 0 0 0 16135 41 0 0 20 0 3 0 4951297 323973120 61873 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 79095 61873 2998 3035 0 70053 0
[pid=31937/tid=31939] ppid=31934 vsize=316380 memory=11424 CPUtime=161.32 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 308166 0 0 0 16096 36 0 0 20 0 3 0 4951338 323973120 61873 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=316380 memory=11424 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4951343 323973120 61873 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 316380 KiB
Current children cumulated memory: 247492 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/254 32037
/proc/meminfo: memFree=118446300/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=316380 memory=247548 CPUtime=221.59 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 351293 0 0 0 22114 45 0 0 20 0 3 0 4951297 323973120 61887 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 79095 61887 2998 3035 0 70053 0
[pid=31937/tid=31939] ppid=31934 vsize=316380 memory=247544 CPUtime=221.14 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 335240 0 0 0 22074 40 0 0 20 0 3 0 4951338 323973120 61887 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=316380 memory=11424 CPUtime=0 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4951343 323973120 61887 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
################
# More data... #
################
[pid=31937] ppid=31934 vsize=536304 memory=468424 CPUtime=3451.14 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1063664 0 0 0 344845 269 0 0 20 0 3 0 4951297 549175296 117106 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 117106 2998 3035 0 119479 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=11424 CPUtime=3450.36 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1047018 0 0 0 344786 250 0 0 20 0 3 0 4951338 549175296 117106 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=-7019822660772258429 CPUtime=0.04 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 3 0 0 20 0 3 0 4951343 549175296 117106 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 468424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 33905
/proc/meminfo: memFree=120757368/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3510.95 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1071411 0 0 0 350823 272 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=479324 CPUtime=3510.18 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1054756 0 0 0 350765 253 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=11424 CPUtime=0.04 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 3 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.10 3/238 33954
/proc/meminfo: memFree=121652284/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3570.76 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1075853 0 0 0 356801 275 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=479324 CPUtime=3569.98 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059186 0 0 0 356742 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=-7019822660772258429 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3570.76 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3598.13 s]
# the end of solver process 31937 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.78 s, system=2.77122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.99 4.11 4.08 3/236 33977
/proc/meminfo: memFree=121682028/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3572.46 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076104 0 0 0 356971 275 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=-7596001938098971515 CPUtime=3571.68 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059437 0 0 0 356912 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=-6138830440590234152 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3590.4 s]
/proc/loadavg: 3.83 4.07 4.07 3/236 33979
/proc/meminfo: memFree=121682076/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3578.83 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076477 0 0 0 357608 275 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=11424 CPUtime=3578.05 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059810 0 0 0 357549 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=11424 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3578.83 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3593.6 s]
/proc/loadavg: 3.68 4.04 4.06 3/236 33979
/proc/meminfo: memFree=121682056/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3582.03 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076522 0 0 0 357927 276 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=11424 CPUtime=3581.24 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059855 0 0 0 357868 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=479324 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3582.03 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3595.2 s]
/proc/loadavg: 3.68 4.04 4.06 3/236 33980
/proc/meminfo: memFree=121682048/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3583.62 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076547 0 0 0 358086 276 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=12832 CPUtime=3582.84 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059880 0 0 0 358028 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=11424 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3583.62 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3596.8 s]
/proc/loadavg: 3.68 4.04 4.06 3/236 33980
/proc/meminfo: memFree=121682100/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3585.22 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076558 0 0 0 358246 276 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=479324 CPUtime=3584.43 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059891 0 0 0 358187 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=479324 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3597.6 s]
/proc/loadavg: 3.68 4.04 4.06 3/236 33980
/proc/meminfo: memFree=121682132/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3586.02 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076559 0 0 0 358326 276 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=12832 CPUtime=3585.23 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059892 0 0 0 358267 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=-7019822660772258429 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3598 s]*
/proc/loadavg: 3.55 4.00 4.05 3/236 33980
/proc/meminfo: memFree=121682116/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=536304 memory=479324 CPUtime=3586.43 cores=5,7
/proc/31937/stat : 31937 (fscip) S 31934 31937 27283 0 -1 1077936128 1076592 0 0 0 358367 276 0 0 20 0 3 0 4951297 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 134076 119831 2998 3035 0 122603 0
[pid=31937/tid=31939] ppid=31934 vsize=536304 memory=-7596001938098971515 CPUtime=3585.64 cores=5,7
/proc/31937/task/31939/stat : 31939 (fscip) R 31934 31937 27283 0 -1 4194368 1059959 0 0 0 358308 256 0 0 20 0 3 0 4951338 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
[pid=31937/tid=31940] ppid=31934 vsize=536304 memory=-7522038826519527357 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 4951343 549175296 119831 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 536304 KiB
Current children cumulated memory: 479324 KiB
[startup+3598.11 s]
/proc/loadavg: 3.55 4.00 4.05 3/236 33980
/proc/meminfo: memFree=121682116/131655788 swapFree=131071472/131071996
[pid=31937] ppid=31934 vsize=491144 memory=435144 CPUtime=3586.53 cores=5,7
/proc/31937/stat : 31937 (fscip) R 31934 31937 27283 0 -1 4194304 1077693 0 0 0 358377 276 0 0 20 0 2 0 4951297 502931456 108786 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
/proc/31937/statm: 122786 108786 2998 3035 0 111313 0
[pid=31937/tid=31940] ppid=31934 vsize=491144 memory=479324 CPUtime=0.05 cores=5,7
/proc/31937/task/31940/stat : 31940 (fscip) S 31934 31937 27283 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 2 0 4951343 502931456 108786 134679101440 4194304 16623229 140731942610816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45723648 140731942614038 140731942614154 140731942614154 140731942621168 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 491144 KiB
Current children cumulated memory: 435144 KiB
Child status: 0
Real time (s): 3598.13
CPU time (s): 3586.56
CPU user time (s): 3583.78
CPU system time (s): 2.77122
CPU usage (%): 99.6783
Max. virtual memory (cumulated for all children) (KiB): 536304
Max. memory (cumulated for all children) (KiB): 479324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.78
system time used= 2.77122
maximum resident set size= 479324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078811
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= 10750
involuntary context switches= 1953
# summary of solver processes directly reported to runsolver:
# pid: 31937
# total CPU time (s): 3586.56
# total CPU user time (s): 3583.78
# total CPU system time (s): 2.77122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.5264 second user time and 28.6705 second system time
The end
Begin job on nodeC012 at 2024-07-31 02:30:12
IDJOB=4464565
IDBENCH=160390
IDSOLVER=3092
FILE ID=nodeC012/4464565-1722385812
RUNJOBID= nodeC012-1722378594-27296
SLURM_JOB_ID= 8249842
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.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-4464565-1722385812/watcher-4464565-1722385812 -o /tmp/evaluation-result-4464565-1722385812/solver-4464565-1722385812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27296 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464565-1722385812.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06224f4c25a1c1b3a15eb701c288d1cc
RANDOM SEED=624940052
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3650.525
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.407
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3671.925
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1596.278
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.389
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118798364 kB
MemAvailable: 126389532 kB
Buffers: 99004 kB
Cached: 8293696 kB
SwapCached: 48 kB
Active: 269752 kB
Inactive: 12078312 kB
Active(anon): 1432 kB
Inactive(anon): 3975520 kB
Active(file): 268320 kB
Inactive(file): 8102792 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 86356 kB
Writeback: 4 kB
AnonPages: 3955380 kB
Mapped: 123716 kB
Shmem: 21248 kB
KReclaimable: 120512 kB
Slab: 203444 kB
SReclaimable: 120512 kB
SUnreclaim: 82932 kB
KernelStack: 4016 kB
PageTables: 16868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2735256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6464 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2801664 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: 199496 kB
DirectMap2M: 13336576 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC012 at 2024-07-31 03:30:10