0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 28426240, getVmSize() = 28426240, SCIPgetMemUsed() = 5345522, SCIPgetMemTotal() = 6661890, SCIPgetMemExternEstim() = 3299291
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 20910080, getVmSize() = 34304000, SCIPgetMemUsed() = 4978785, SCIPgetMemTotal() = 11256913, SCIPgetMemExternEstim() = 3299291
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4453960-1721451479
0.00/0.03 c Variables : 980 (980 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 2543
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 518 (518 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 403
0.00/0.03 c Constraints : Number
0.00/0.03 c knapsack : 1
0.00/0.03 c and : 400
0.00/0.03 c linear : 2
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.26/5.30 c 5 2238 592 1 - 0.0000 -
10.24/10.35 c 10 5789 297 1 - 0.0000 -
15.32/15.40 c 15 9225 568 1 - 0.0000 -
20.31/20.44 c 20 13012 916 1 - 0.0000 -
25.28/25.49 c 26 16705 1087 1 - 0.0000 -
30.37/30.54 c 31 20311 1274 1 - 0.0000 -
35.36/35.58 c 36 24025 1619 1 - 0.0000 -
40.44/40.63 c 41 27817 2002 1 - 0.0000 -
45.43/45.68 c 46 31560 2205 1 - 0.0000 -
50.51/50.73 c 51 35387 2251 1 - 0.0000 -
55.48/55.78 c 56 39154 2392 1 - 0.0000 -
60.57/60.85 c 61 43206 2655 1 - 0.0000 -
65.65/65.90 c 66 46911 2654 1 - 0.0000 -
70.64/70.95 c 71 50805 2572 1 - 0.0000 -
75.73/76.00 c 76 54575 2473 1 - 0.0000 -
80.71/81.05 c 81 58176 2660 1 - 0.0000 -
85.69/86.10 c 86 62465 2705 1 - 0.0000 -
90.78/91.15 c 91 66978 3109 1 - 0.0000 -
95.86/96.20 c 96 70940 3211 1 - 0.0000 -
100.84/101.27 c 101 74436 3312 1 - 0.0000 -
105.92/106.32 c 106 77771 3286 1 - 0.0000 -
110.90/111.37 c 111 80965 3416 1 - 0.0000 -
115.99/116.42 c 116 84459 3632 1 - 0.0000 -
120.97/121.47 c 121 87515 3741 1 - 0.0000 -
126.06/126.54 c 127 90914 3888 1 - 0.0000 -
131.04/131.59 c 132 94553 4070 1 - 0.0000 -
136.12/136.64 c 137 98100 4557 1 - 0.0000 -
141.11/141.69 c 142 101779 4846 1 - 0.0000 -
146.19/146.74 c 147 105369 5289 1 - 0.0000 -
151.18/151.79 c 152 108566 4972 1 - 0.0000 -
156.26/156.84 c 157 111546 5110 1 - 0.0000 -
161.24/161.89 c 162 115401 5020 1 - 0.0000 -
166.32/166.94 c 167 119350 5486 1 - 0.0000 -
171.31/171.99 c 172 123327 5620 1 - 0.0000 -
176.39/177.04 c 177 127103 5854 1 - 0.0000 -
181.38/182.09 c 182 130788 5963 1 - 0.0000 -
186.46/187.14 c 187 135241 6170 1 - 0.0000 -
191.44/192.19 c 192 139017 6064 1 - 0.0000 -
196.52/197.24 c 197 142776 6277 1 - 0.0000 -
201.50/202.29 c 202 146536 6489 1 - 0.0000 -
206.60/207.34 c 207 149951 6698 1 - 0.0000 -
211.58/212.39 c 212 153588 6996 1 - 0.0000 -
216.66/217.44 c 217 156721 7182 1 - 0.0000 -
221.64/222.49 c 222 160215 7359 1 - 0.0000 -
226.72/227.54 c 228 164292 7736 1 - 0.0000 -
231.71/232.59 c 233 168075 7908 1 - 0.0000 -
236.79/237.64 c 238 171865 8256 1 - 0.0000 -
241.78/242.69 c 243 175776 8594 1 - 0.0000 -
246.85/247.74 c 248 179550 8830 1 - 0.0000 -
251.85/252.79 c 253 183554 8861 1 - 0.0000 -
256.93/257.83 c 258 187137 8807 1 - 0.0000 -
261.91/262.88 c 263 190712 8965 1 - 0.0000 -
266.99/267.93 c 268 194094 9359 1 - 0.0000 -
271.98/272.98 c 273 197390 9503 1 - 0.0000 -
277.07/278.03 c 278 201129 9623 1 - 0.0000 -
282.05/283.08 c 283 204718 9600 1 - 0.0000 -
287.12/288.13 c 288 208283 9809 1 - 0.0000 -
292.11/293.18 c 293 211925 9877 1 - 0.0000 -
297.19/298.23 c 298 215577 9872 1 - 0.0000 -
302.17/303.28 c 303 219208 9983 1 - 0.0000 -
307.26/308.33 c 308 222723 9909 1 - 0.0000 -
312.24/313.38 c 313 226144 10214 1 - 0.0000 -
317.33/318.43 c 318 229627 10147 1 - 0.0000 -
322.30/323.48 c 323 233262 10095 1 - 0.0000 -
327.39/328.53 c 329 236925 10108 1 - 0.0000 -
332.37/333.58 c 334 240255 10001 1 - 0.0000 -
337.45/338.63 c 339 243778 9949 1 - 0.0000 -
342.44/343.68 c 344 247308 10167 1 - 0.0000 -
347.53/348.73 c 349 250646 10262 1 - 0.0000 -
352.50/353.78 c 354 254139 10355 1 - 0.0000 -
357.59/358.83 c 359 257468 10243 1 - 0.0000 -
362.57/363.88 c 364 260898 10282 1 - 0.0000 -
367.66/368.93 c 369 264290 10421 1 - 0.0000 -
372.64/373.98 c 374 267955 10517 1 - 0.0000 -
377.73/379.03 c 379 271947 10592 1 - 0.0000 -
382.71/384.08 c 384 275192 10504 1 - 0.0000 -
387.79/389.13 c 389 278942 10578 1 - 0.0000 -
392.78/394.18 c 394 282878 10757 1 - 0.0000 -
397.86/399.23 c 399 286875 10828 1 - 0.0000 -
402.84/404.28 c 404 290366 10877 1 - 0.0000 -
407.92/409.33 c 409 294384 11337 1 - 0.0000 -
412.91/414.38 c 414 298399 11814 1 - 0.0000 -
417.99/419.43 c 419 302421 11783 1 - 0.0000 -
422.98/424.48 c 424 305996 12149 1 - 0.0000 -
428.06/429.53 c 430 309753 12371 1 - 0.0000 -
433.04/434.58 c 435 313218 12419 1 - 0.0000 -
438.12/439.63 c 440 317038 12459 1 - 0.0000 -
443.11/444.68 c 445 320723 12502 1 - 0.0000 -
448.19/449.73 c 450 325001 12640 1 - 0.0000 -
453.18/454.78 c 455 328678 12565 1 - 0.0000 -
458.26/459.83 c 460 332490 13055 1 - 0.0000 -
463.24/464.88 c 465 336000 13376 1 - 0.0000 -
468.32/469.93 c 470 339653 13725 1 - 0.0000 -
473.31/474.98 c 475 343202 14047 1 - 0.0000 -
478.40/480.03 c 480 347161 14376 1 - 0.0000 -
483.38/485.08 c 485 350822 14387 1 - 0.0000 -
488.46/490.13 c 490 354295 14376 1 - 0.0000 -
493.45/495.18 c 495 357696 14000 1 - 0.0000 -
498.52/500.23 c 500 361003 13710 1 - 0.0000 -
503.51/505.28 c 505 364264 13550 1 - 0.0000 -
508.59/510.33 c 510 367718 13825 1 - 0.0000 -
513.57/515.38 c 515 371304 14094 1 - 0.0000 -
518.66/520.43 c 520 374894 14438 1 - 0.0000 -
523.64/525.48 c 525 378358 14644 1 - 0.0000 -
528.72/530.53 c 531 381852 14738 1 - 0.0000 -
533.71/535.58 c 536 385141 14714 1 - 0.0000 -
538.79/540.63 c 541 388762 14886 1 - 0.0000 -
543.78/545.68 c 546 392328 14877 1 - 0.0000 -
548.86/550.73 c 551 396212 14875 1 - 0.0000 -
553.84/555.78 c 556 399946 15022 1 - 0.0000 -
558.93/560.83 c 561 403690 15079 1 - 0.0000 -
563.91/565.88 c 566 407174 15327 1 - 0.0000 -
569.00/570.93 c 571 410957 15282 1 - 0.0000 -
573.97/575.98 c 576 414510 15023 1 - 0.0000 -
579.07/581.03 c 581 418076 14973 1 - 0.0000 -
584.05/586.08 c 586 422133 15441 1 - 0.0000 -
589.14/591.13 c 591 426420 15616 1 - 0.0000 -
594.11/596.18 c 596 430377 15900 1 - 0.0000 -
599.19/601.23 c 601 434350 15856 1 - 0.0000 -
604.18/606.28 c 606 438167 15865 1 - 0.0000 -
609.25/611.33 c 611 442195 15829 1 - 0.0000 -
614.24/616.38 c 616 445968 15973 1 - 0.0000 -
619.32/621.43 c 621 450062 16042 1 - 0.0000 -
624.31/626.48 c 626 453524 15826 1 - 0.0000 -
629.39/631.53 c 632 457691 16064 1 - 0.0000 -
634.36/636.59 c 637 461551 15853 1 - 0.0000 -
639.44/641.64 c 642 464979 15747 1 - 0.0000 -
644.43/646.69 c 647 468345 15529 1 - 0.0000 -
649.51/651.74 c 652 471875 15291 1 - 0.0000 -
654.48/656.79 c 657 475754 15224 1 - 0.0000 -
659.57/661.84 c 662 479219 14902 1 - 0.0000 -
664.55/666.89 c 667 483106 14819 1 - 0.0000 -
669.63/671.94 c 672 486448 14429 1 - 0.0000 -
674.62/676.99 c 677 490152 14348 1 - 0.0000 -
679.70/682.04 c 682 493686 14175 1 - 0.0000 -
684.69/687.09 c 687 497667 14232 1 - 0.0000 -
689.77/692.14 c 692 501028 13694 1 - 0.0000 -
694.85/697.21 c 697 504430 13453 1 - 0.0000 -
699.82/702.26 c 702 508080 13456 1 - 0.0000 -
704.91/707.31 c 707 511657 13250 1 - 0.0000 -
709.89/712.36 c 712 515173 13391 1 - 0.0000 -
714.97/717.41 c 717 518868 13205 1 - 0.0000 -
719.95/722.46 c 722 522203 12853 1 - 0.0000 -
725.04/727.51 c 728 525724 12631 1 - 0.0000 -
730.02/732.56 c 733 529303 12243 1 - 0.0000 -
735.11/737.61 c 738 532774 11747 1 - 0.0000 -
740.09/742.66 c 743 536591 11564 1 - 0.0000 -
745.17/747.71 c 748 540099 11441 1 - 0.0000 -
750.16/752.76 c 753 543944 11421 1 - 0.0000 -
755.24/757.81 c 758 548297 11649 1 - 0.0000 -
760.23/762.86 c 763 552690 11654 1 - 0.0000 -
765.31/767.91 c 768 556876 11709 1 - 0.0000 -
770.29/772.96 c 773 560627 12196 1 - 0.0000 -
775.39/778.01 c 778 563827 12939 1 - 0.0000 -
780.37/783.06 c 783 567748 13197 1 - 0.0000 -
785.46/788.11 c 788 571509 13256 1 - 0.0000 -
790.44/793.16 c 793 575527 13361 1 - 0.0000 -
795.52/798.21 c 798 579771 12700 1 - 0.0000 -
800.50/803.26 c 803 583632 12028 1 - 0.0000 -
805.59/808.31 c 808 587556 11934 1 - 0.0000 -
810.57/813.36 c 813 591531 11744 1 - 0.0000 -
815.66/818.41 c 818 595428 12014 1 - 0.0000 -
820.64/823.46 c 823 599392 11750 1 - 0.0000 -
825.73/828.51 c 829 603096 11577 1 - 0.0000 -
830.72/833.56 c 834 606734 11269 1 - 0.0000 -
835.80/838.61 c 839 610503 10975 1 - 0.0000 -
840.78/843.66 c 844 614064 10791 1 - 0.0000 -
845.87/848.75 c 849 617846 10428 1 - 0.0000 -
850.95/853.80 c 854 621289 9725 1 - 0.0000 -
855.94/858.85 c 859 625034 9702 1 - 0.0000 -
861.02/863.90 c 864 628856 9488 1 - 0.0000 -
866.01/868.95 c 869 632827 9615 1 - 0.0000 -
871.09/874.00 c 874 637166 9549 1 - 0.0000 -
876.08/879.07 c 879 641464 9389 1 - 0.0000 -
881.16/884.12 c 884 645531 9282 1 - 0.0000 -
886.15/889.17 c 889 649150 8703 1 - 0.0000 -
891.23/894.22 c 894 653176 8645 1 - 0.0000 -
896.21/899.27 c 899 656945 8923 1 - 0.0000 -
901.29/904.32 c 904 660523 9103 1 - 0.0000 -
906.29/909.37 c 909 664564 8310 1 - 0.0000 -
911.37/914.42 c 914 668188 8058 1 - 0.0000 -
916.35/919.47 c 919 672047 7902 1 - 0.0000 -
921.44/924.52 c 925 676172 7843 1 - 0.0000 -
926.43/929.57 c 930 679836 7583 1 - 0.0000 -
931.51/934.62 c 935 683073 7605 1 - 0.0000 -
936.49/939.67 c 940 686886 7441 1 - 0.0000 -
941.57/944.72 c 945 691279 7644 1 - 0.0000 -
946.56/949.78 c 950 695543 8013 1 - 0.0000 -
951.64/954.83 c 955 699724 8355 1 - 0.0000 -
956.63/959.88 c 960 703643 8672 1 - 0.0000 -
961.72/964.93 c 965 707765 8689 1 - 0.0000 -
966.80/970.00 c 970 712040 8859 1 - 0.0000 -
971.79/975.05 c 975 716181 8961 1 - 0.0000 -
976.77/980.10 c 980 720392 8699 1 - 0.0000 -
981.86/985.15 c 985 724934 8509 1 - 0.0000 -
986.94/990.20 c 990 728657 8246 1 - 0.0000 -
991.92/995.25 c 995 731713 8788 1 - 0.0000 -
997.00/1000.30 c 1000 735030 9235 1 - 0.0000 -
1001.99/1005.35 c 1005 738528 9480 1 - 0.0000 -
1007.07/1010.40 c 1010 741830 10043 1 - 0.0000 -
1012.06/1015.45 c 1015 745248 10248 1 - 0.0000 -
1017.15/1020.50 c 1021 748774 10298 1 - 0.0000 -
1022.13/1025.55 c 1026 752068 10267 1 - 0.0000 -
1027.21/1030.60 c 1031 756296 10599 1 - 0.0000 -
1032.20/1035.65 c 1036 759713 10971 1 - 0.0000 -
1037.29/1040.70 c 1041 763325 11476 1 - 0.0000 -
1042.27/1045.75 c 1046 767295 11742 1 - 0.0000 -
1047.36/1050.80 c 1051 771492 11959 1 - 0.0000 -
1052.34/1055.85 c 1056 775403 12312 1 - 0.0000 -
1057.42/1060.90 c 1061 779465 12614 1 - 0.0000 -
1062.41/1065.95 c 1066 783669 12960 1 - 0.0000 -
1067.50/1071.00 c 1071 787622 12987 1 - 0.0000 -
1072.48/1076.05 c 1076 791768 13191 1 - 0.0000 -
1077.46/1081.10 c 1081 795800 13386 1 - 0.0000 -
1082.55/1086.15 c 1086 799883 13461 1 - 0.0000 -
1087.62/1091.20 c 1091 804351 13656 1 - 0.0000 -
1092.61/1096.25 c 1096 808546 13635 1 - 0.0000 -
1097.69/1101.30 c 1101 812322 13664 1 - 0.0000 -
1102.67/1106.35 c 1106 816033 13587 1 - 0.0000 -
1107.76/1111.40 c 1111 819761 13380 1 - 0.0000 -
1112.75/1116.45 c 1116 823724 13505 1 - 0.0000 -
1117.83/1121.50 c 1122 827611 12898 1 - 0.0000 -
1122.81/1126.55 c 1127 831551 12212 1 - 0.0000 -
1127.90/1131.63 c 1132 835323 11849 1 - 0.0000 -
1132.89/1136.68 c 1137 839263 11762 1 - 0.0000 -
1137.97/1141.73 c 1142 843163 11854 1 - 0.0000 -
1142.96/1146.78 c 1147 847200 11757 1 - 0.0000 -
1148.04/1151.83 c 1152 850878 11607 1 - 0.0000 -
1153.02/1156.88 c 1157 854969 11099 1 - 0.0000 -
1158.11/1161.93 c 1162 858744 10738 1 - 0.0000 -
1163.09/1166.98 c 1167 862637 10515 1 - 0.0000 -
1168.17/1172.03 c 1172 866922 10646 1 - 0.0000 -
1173.16/1177.08 c 1177 871079 10544 1 - 0.0000 -
1178.25/1182.14 c 1182 873635 10657 1 - 0.0000 -
1183.24/1187.19 c 1187 877486 10628 1 - 0.0000 -
1188.31/1192.23 c 1192 881354 11093 1 - 0.0000 -
1193.29/1197.28 c 1197 885672 11262 1 - 0.0000 -
1198.38/1202.33 c 1202 889773 11352 1 - 0.0000 -
1203.37/1207.38 c 1207 893967 11609 1 - 0.0000 -
1208.44/1212.43 c 1212 897708 11490 1 - 0.0000 -
1213.43/1217.48 c 1217 901756 11510 1 - 0.0000 -
1218.51/1222.53 c 1223 905807 11303 1 - 0.0000 -
1223.50/1227.58 c 1228 909891 11087 1 - 0.0000 -
1228.58/1232.63 c 1233 914168 10974 1 - 0.0000 -
1233.56/1237.68 c 1238 918023 10711 1 - 0.0000 -
1238.65/1242.73 c 1243 922019 10652 1 - 0.0000 -
1243.63/1247.78 c 1248 925971 10933 1 - 0.0000 -
1248.72/1252.83 c 1253 929858 11083 1 - 0.0000 -
1253.71/1257.88 c 1258 933696 10618 1 - 0.0000 -
1258.79/1262.93 c 1263 937336 10332 1 - 0.0000 -
1263.77/1267.98 c 1268 941362 9682 1 - 0.0000 -
1268.86/1273.03 c 1273 945269 9002 1 - 0.0000 -
1273.85/1278.08 c 1278 949508 8974 1 - 0.0000 -
1278.93/1283.13 c 1283 953437 8510 1 - 0.0000 -
1283.92/1288.18 c 1288 957356 8191 1 - 0.0000 -
1289.00/1293.23 c 1293 961670 8223 1 - 0.0000 -
1293.98/1298.28 c 1298 965895 8122 1 - 0.0000 -
1299.07/1303.33 c 1303 969906 7952 1 - 0.0000 -
1304.05/1308.38 c 1308 973952 7659 1 - 0.0000 -
1309.13/1313.43 c 1313 977952 7370 1 - 0.0000 -
1314.12/1318.48 c 1318 982136 7278 1 - 0.0000 -
1319.20/1323.53 c 1324 986202 7203 1 - 0.0000 -
1324.19/1328.58 c 1329 989910 7013 1 - 0.0000 -
1329.27/1333.63 c 1334 994111 6933 1 - 0.0000 -
1334.26/1338.68 c 1339 998301 6786 1 - 0.0000 -
1339.34/1343.73 c 1344 1002616 6623 1 - 0.0000 -
1344.33/1348.78 c 1349 1006528 6630 1 - 0.0000 -
1349.41/1353.83 c 1354 1010442 6565 1 - 0.0000 -
1354.39/1358.88 c 1359 1013161 6582 1 - 0.0000 -
1359.48/1363.93 c 1364 1017019 6643 1 - 0.0000 -
1364.46/1368.98 c 1369 1021092 6879 1 - 0.0000 -
1369.55/1374.03 c 1374 1025401 6863 1 - 0.0000 -
1374.53/1379.08 c 1379 1029901 6899 1 - 0.0000 -
1379.62/1384.13 c 1384 1033403 7343 1 - 0.0000 -
1384.60/1389.18 c 1389 1037084 7451 1 - 0.0000 -
1389.69/1394.23 c 1394 1040891 6987 1 - 0.0000 -
1394.66/1399.28 c 1399 1044866 7239 1 - 0.0000 -
1399.75/1404.33 c 1404 1048833 7218 1 - 0.0000 -
1404.74/1409.38 c 1409 1052567 7332 1 - 0.0000 -
1409.82/1414.43 c 1414 1056915 7062 1 - 0.0000 -
1414.80/1419.48 c 1419 1060891 6971 1 - 0.0000 -
1419.89/1424.53 c 1425 1064950 6912 1 - 0.0000 -
1424.97/1429.60 c 1430 1068990 6803 1 - 0.0000 -
1429.96/1434.65 c 1435 1072788 6705 1 - 0.0000 -
1435.04/1439.70 c 1440 1077116 6589 1 - 0.0000 -
1440.03/1444.75 c 1445 1080921 6714 1 - 0.0000 -
1445.11/1449.80 c 1450 1084706 6434 1 - 0.0000 -
1450.10/1454.85 c 1455 1088694 6688 1 - 0.0000 -
1455.17/1459.90 c 1460 1092741 6443 1 - 0.0000 -
1460.16/1464.95 c 1465 1096083 6368 1 - 0.0000 -
1465.25/1470.00 c 1470 1100345 6661 1 - 0.0000 -
1470.23/1475.05 c 1475 1104572 6869 1 - 0.0000 -
1475.22/1480.10 c 1480 1108810 6665 1 - 0.0000 -
1480.30/1485.15 c 1485 1112873 6547 1 - 0.0000 -
1485.38/1490.20 c 1490 1117220 6544 1 - 0.0000 -
1490.36/1495.25 c 1495 1121872 6927 1 - 0.0000 -
1495.45/1500.30 c 1500 1126111 6607 1 - 0.0000 -
1500.43/1505.35 c 1505 1130713 6748 1 - 0.0000 -
1505.52/1510.40 c 1510 1134513 6764 1 - 0.0000 -
1510.50/1515.45 c 1515 1138101 6627 1 - 0.0000 -
1515.58/1520.50 c 1521 1142335 6478 1 - 0.0000 -
1520.57/1525.55 c 1526 1146298 6544 1 - 0.0000 -
1525.65/1530.60 c 1531 1150566 6696 1 - 0.0000 -
1530.63/1535.65 c 1536 1154760 6496 1 - 0.0000 -
1535.72/1540.70 c 1541 1158772 6469 1 - 0.0000 -
1540.71/1545.75 c 1546 1162317 6579 1 - 0.0000 -
1545.79/1550.80 c 1551 1167075 6971 1 - 0.0000 -
1550.77/1555.85 c 1556 1171861 7196 1 - 0.0000 -
1555.86/1560.90 c 1561 1176500 7216 1 - 0.0000 -
1560.85/1565.95 c 1566 1181318 7049 1 - 0.0000 -
1565.93/1571.00 c 1571 1185791 6464 1 - 0.0000 -
1570.92/1576.05 c 1576 1190209 6603 1 - 0.0000 -
1575.90/1581.10 c 1581 1194806 6433 1 - 0.0000 -
1580.98/1586.15 c 1586 1199312 6449 1 - 0.0000 -
1586.06/1591.20 c 1591 1203558 6408 1 - 0.0000 -
1591.04/1596.25 c 1596 1207357 6373 1 - 0.0000 -
1596.13/1601.30 c 1601 1211510 6331 1 - 0.0000 -
1601.11/1606.35 c 1606 1215740 6258 1 - 0.0000 -
1606.20/1611.40 c 1611 1219855 6373 1 - 0.0000 -
1611.17/1616.45 c 1616 1224004 6218 1 - 0.0000 -
1616.26/1621.50 c 1622 1228813 6254 1 - 0.0000 -
1621.25/1626.55 c 1627 1233537 6167 1 - 0.0000 -
1626.33/1631.60 c 1632 1237935 6255 1 - 0.0000 -
1631.31/1636.65 c 1637 1242660 6151 1 - 0.0000 -
1636.40/1641.70 c 1642 1246840 6150 1 - 0.0000 -
1641.38/1646.75 c 1647 1251269 6262 1 - 0.0000 -
1646.47/1651.80 c 1652 1256218 6147 1 - 0.0000 -
1651.45/1656.85 c 1657 1260064 6192 1 - 0.0000 -
1656.54/1661.90 c 1662 1263677 6160 1 - 0.0000 -
1661.52/1666.95 c 1667 1268124 6050 1 - 0.0000 -
1666.61/1672.00 c 1672 1272611 6083 1 - 0.0000 -
1671.59/1677.05 c 1677 1276968 5916 1 - 0.0000 -
1676.67/1682.10 c 1682 1280330 6060 1 - 0.0000 -
1681.66/1687.15 c 1687 1284441 5988 1 - 0.0000 -
1686.74/1692.20 c 1692 1287990 7021 1 - 0.0000 -
1691.72/1697.25 c 1697 1292308 6584 1 - 0.0000 -
1696.81/1702.30 c 1702 1296585 6507 1 - 0.0000 -
1701.79/1707.35 c 1707 1300532 6556 1 - 0.0000 -
1706.87/1712.40 c 1712 1304668 6507 1 - 0.0000 -
1711.85/1717.45 c 1717 1308616 6823 1 - 0.0000 -
1716.93/1722.50 c 1723 1312359 7013 1 - 0.0000 -
1721.92/1727.55 c 1728 1316465 6746 1 - 0.0000 -
1727.01/1732.60 c 1733 1320207 6616 1 - 0.0000 -
1732.00/1737.65 c 1738 1324720 6479 1 - 0.0000 -
1737.08/1742.70 c 1743 1329302 6312 1 - 0.0000 -
1742.06/1747.75 c 1748 1333315 6280 1 - 0.0000 -
1747.14/1752.80 c 1753 1337834 6114 1 - 0.0000 -
1752.13/1757.85 c 1758 1341902 6499 1 - 0.0000 -
1757.22/1762.90 c 1763 1346183 6219 1 - 0.0000 -
1762.20/1767.95 c 1768 1350530 6040 1 - 0.0000 -
1767.29/1773.00 c 1773 1354670 6006 1 - 0.0000 -
1772.27/1778.05 c 1778 1359549 6213 1 - 0.0000 -
1777.26/1783.10 c 1783 1364759 6243 1 - 0.0000 -
1782.34/1788.15 c 1788 1369442 6019 1 - 0.0000 -
1787.42/1793.20 c 1793 1374091 6414 1 - 0.0000 -
1792.41/1798.25 c 1798 1378184 6723 1 - 0.0000 -
1797.49/1803.30 c 1803 1382821 6333 1 - 0.0000 -
1802.48/1808.35 c 1808 1387222 6023 1 - 0.0000 -
1807.56/1813.44 c 1813 1391202 5971 1 - 0.0000 -
1812.55/1818.49 c 1818 1395134 5858 1 - 0.0000 -
1817.63/1823.54 c 1824 1399389 6040 1 - 0.0000 -
1822.72/1828.60 c 1829 1403143 5866 1 - 0.0000 -
1827.70/1833.65 c 1834 1407585 5782 1 - 0.0000 -
1832.79/1838.71 c 1839 1411946 5818 1 - 0.0000 -
1837.77/1843.76 c 1844 1416035 5726 1 - 0.0000 -
1842.86/1848.81 c 1849 1420535 5702 1 - 0.0000 -
1847.84/1853.86 c 1854 1424813 5658 1 - 0.0000 -
1852.93/1858.91 c 1859 1429042 5598 1 - 0.0000 -
1857.91/1863.96 c 1864 1433202 5500 1 - 0.0000 -
1863.00/1869.03 c 1869 1437236 5496 1 - 0.0000 -
1867.98/1874.08 c 1874 1441647 5451 1 - 0.0000 -
1873.07/1879.13 c 1879 1446019 5461 1 - 0.0000 -
1878.05/1884.18 c 1884 1450493 5361 1 - 0.0000 -
1883.14/1889.25 c 1889 1454144 5628 1 - 0.0000 -
1888.22/1894.30 c 1894 1458088 5303 1 - 0.0000 -
1893.21/1899.35 c 1899 1462401 5390 1 - 0.0000 -
1898.29/1904.40 c 1904 1466524 5966 1 - 0.0000 -
1903.27/1909.45 c 1909 1470928 6446 1 - 0.0000 -
1908.36/1914.50 c 1915 1475790 6614 1 - 0.0000 -
1913.35/1919.55 c 1920 1480542 6705 1 - 0.0000 -
1918.43/1924.60 c 1925 1485727 5547 1 - 0.0000 -
1923.41/1929.65 c 1930 1489970 5288 1 - 0.0000 -
1928.50/1934.70 c 1935 1494305 5119 1 - 0.0000 -
1933.49/1939.75 c 1940 1497865 5082 1 - 0.0000 -
1938.57/1944.80 c 1945 1502522 4960 1 - 0.0000 -
1943.55/1949.85 c 1950 1507263 5275 1 - 0.0000 -
1948.64/1954.90 c 1955 1511563 4997 1 - 0.0000 -
1953.62/1959.95 c 1960 1515966 4818 1 - 0.0000 -
1958.71/1965.00 c 1965 1520760 4725 1 - 0.0000 -
1963.69/1970.05 c 1970 1525203 4667 1 - 0.0000 -
1968.68/1975.10 c 1975 1529214 4664 1 - 0.0000 -
1973.76/1980.15 c 1980 1533417 4498 1 - 0.0000 -
1978.85/1985.20 c 1985 1538061 4529 1 - 0.0000 -
1983.84/1990.25 c 1990 1542371 4404 1 - 0.0000 -
1988.92/1995.30 c 1995 1546230 4580 1 - 0.0000 -
1993.90/2000.35 c 2000 1550404 4534 1 - 0.0000 -
1998.99/2005.40 c 2005 1554442 4534 1 - 0.0000 -
2003.98/2010.45 c 2010 1557360 5129 1 - 0.0000 -
2009.06/2015.50 c 2016 1560711 4883 1 - 0.0000 -
2014.05/2020.55 c 2021 1565159 4834 1 - 0.0000 -
2019.12/2025.60 c 2026 1569611 4782 1 - 0.0000 -
2024.11/2030.65 c 2031 1574263 4854 1 - 0.0000 -
2029.20/2035.70 c 2036 1578490 4798 1 - 0.0000 -
2034.18/2040.75 c 2041 1582533 4907 1 - 0.0000 -
2039.26/2045.80 c 2046 1587039 5371 1 - 0.0000 -
2044.25/2050.85 c 2051 1591732 5670 1 - 0.0000 -
2049.34/2055.90 c 2056 1596693 5264 1 - 0.0000 -
2054.33/2060.95 c 2061 1601338 4923 1 - 0.0000 -
2059.42/2066.00 c 2066 1605425 4963 1 - 0.0000 -
2064.39/2071.05 c 2071 1609684 4966 1 - 0.0000 -
2069.38/2076.10 c 2076 1614397 4913 1 - 0.0000 -
2074.46/2081.15 c 2081 1618637 5047 1 - 0.0000 -
2079.55/2086.20 c 2086 1622880 5244 1 - 0.0000 -
2084.53/2091.25 c 2091 1627202 5083 1 - 0.0000 -
2089.62/2096.30 c 2096 1630861 5033 1 - 0.0000 -
2094.60/2101.35 c 2101 1634922 5041 1 - 0.0000 -
2099.69/2106.40 c 2106 1640015 4997 1 - 0.0000 -
2104.67/2111.45 c 2111 1644356 4982 1 - 0.0000 -
2109.75/2116.50 c 2117 1647790 5064 1 - 0.0000 -
2114.74/2121.55 c 2122 1651918 5066 1 - 0.0000 -
2119.83/2126.60 c 2127 1655726 4943 1 - 0.0000 -
2124.81/2131.65 c 2132 1659627 5131 1 - 0.0000 -
2129.90/2136.70 c 2137 1663814 5477 1 - 0.0000 -
2134.88/2141.75 c 2142 1667944 5530 1 - 0.0000 -
2139.97/2146.80 c 2147 1672465 5033 1 - 0.0000 -
2144.95/2151.85 c 2152 1676478 4953 1 - 0.0000 -
2150.04/2156.90 c 2157 1680804 5062 1 - 0.0000 -
2155.02/2161.95 c 2162 1685800 5112 1 - 0.0000 -
2160.12/2167.00 c 2167 1690624 5186 1 - 0.0000 -
2165.09/2172.08 c 2172 1694303 5057 1 - 0.0000 -
2170.19/2177.12 c 2177 1697702 5253 1 - 0.0000 -
2175.16/2182.17 c 2182 1701860 5715 1 - 0.0000 -
2180.24/2187.22 c 2187 1706169 5580 1 - 0.0000 -
2185.23/2192.27 c 2192 1710488 4990 1 - 0.0000 -
2190.30/2197.32 c 2197 1714521 5000 1 - 0.0000 -
2195.29/2202.37 c 2202 1718443 4927 1 - 0.0000 -
2200.37/2207.42 c 2207 1722845 4970 1 - 0.0000 -
2205.35/2212.47 c 2212 1726182 5270 1 - 0.0000 -
2210.43/2217.52 c 2218 1729238 5425 1 - 0.0000 -
2215.41/2222.58 c 2223 1732719 5117 1 - 0.0000 -
2220.49/2227.63 c 2228 1736603 5012 1 - 0.0000 -
2225.48/2232.68 c 2233 1740401 4952 1 - 0.0000 -
2230.56/2237.73 c 2238 1744599 5095 1 - 0.0000 -
2235.54/2242.78 c 2243 1749332 5062 1 - 0.0000 -
2240.63/2247.83 c 2248 1753677 4960 1 - 0.0000 -
2245.60/2252.88 c 2253 1758168 4956 1 - 0.0000 -
2250.69/2257.93 c 2258 1762226 4941 1 - 0.0000 -
2255.66/2262.98 c 2263 1766407 4958 1 - 0.0000 -
2260.75/2268.09 c 2268 1770389 4887 1 - 0.0000 -
2265.83/2273.15 c 2273 1773959 5047 1 - 0.0000 -
2270.92/2278.29 c 2278 1776558 4972 1 - 0.0000 -
2276.00/2283.34 c 2283 1779265 4959 1 - 0.0000 -
2281.00/2288.39 c 2288 1783829 5192 1 - 0.0000 -
2286.07/2293.44 c 2293 1788386 4948 1 - 0.0000 -
2291.06/2298.49 c 2298 1792606 5088 1 - 0.0000 -
2296.15/2303.54 c 2304 1796571 5136 1 - 0.0000 -
2301.13/2308.59 c 2309 1800411 5011 1 - 0.0000 -
2306.22/2313.64 c 2314 1804511 5031 1 - 0.0000 -
2311.21/2318.69 c 2319 1809279 5194 1 - 0.0000 -
2316.28/2323.74 c 2324 1813699 4988 1 - 0.0000 -
2321.28/2328.79 c 2329 1817598 4970 1 - 0.0000 -
2326.36/2333.84 c 2334 1821771 5087 1 - 0.0000 -
2331.34/2338.89 c 2339 1824583 5286 1 - 0.0000 -
2336.43/2343.99 c 2344 1825224 5329 1 - 0.0000 -
2341.52/2349.04 c 2349 1828214 5712 1 - 0.0000 -
2346.61/2354.13 c 2354 1831478 5864 1 - 0.0000 -
2351.69/2359.21 c 2359 1834536 5437 1 - 0.0000 -
2356.67/2364.26 c 2364 1838131 5282 1 - 0.0000 -
2361.76/2369.31 c 2369 1842437 5219 1 - 0.0000 -
2366.74/2374.36 c 2374 1846757 5286 1 - 0.0000 -
2371.83/2379.41 c 2379 1850739 5660 1 - 0.0000 -
2376.81/2384.46 c 2384 1855318 5828 1 - 0.0000 -
2381.89/2389.51 c 2390 1860336 5714 1 - 0.0000 -
2386.89/2394.56 c 2395 1864599 5266 1 - 0.0000 -
2391.96/2399.61 c 2400 1868942 5305 1 - 0.0000 -
2396.95/2404.66 c 2405 1873492 5197 1 - 0.0000 -
2402.04/2409.73 c 2410 1876989 5154 1 - 0.0000 -
2407.02/2414.78 c 2415 1881439 5119 1 - 0.0000 -
2412.11/2419.83 c 2420 1885357 5149 1 - 0.0000 -
2417.09/2424.88 c 2425 1889790 5382 1 - 0.0000 -
2422.18/2429.94 c 2430 1894404 5161 1 - 0.0000 -
2427.16/2434.98 c 2435 1899050 5232 1 - 0.0000 -
2432.25/2440.03 c 2440 1903259 5157 1 - 0.0000 -
2437.23/2445.08 c 2445 1907578 5154 1 - 0.0000 -
2442.32/2450.13 c 2450 1911774 5176 1 - 0.0000 -
2447.31/2455.18 c 2455 1915587 5127 1 - 0.0000 -
2452.39/2460.24 c 2460 1918426 5307 1 - 0.0000 -
2457.47/2465.33 c 2465 1920906 5417 1 - 0.0000 -
2462.46/2470.38 c 2470 1923392 5193 1 - 0.0000 -
2467.55/2475.43 c 2475 1926339 5127 1 - 0.0000 -
2472.53/2480.48 c 2480 1930059 5102 1 - 0.0000 -
2477.62/2485.53 c 2486 1934836 5282 1 - 0.0000 -
2482.60/2490.58 c 2491 1939408 5105 1 - 0.0000 -
2487.68/2495.63 c 2496 1943237 5094 1 - 0.0000 -
2492.67/2500.68 c 2501 1947367 5092 1 - 0.0000 -
2497.75/2505.73 c 2506 1951596 5082 1 - 0.0000 -
2502.74/2510.78 c 2511 1955722 5177 1 - 0.0000 -
2507.82/2515.83 c 2516 1959670 5104 1 - 0.0000 -
2512.81/2520.88 c 2521 1964311 5186 1 - 0.0000 -
2517.90/2525.93 c 2526 1968735 5202 1 - 0.0000 -
2522.89/2530.98 c 2531 1973334 5137 1 - 0.0000 -
2527.97/2536.03 c 2536 1977294 5159 1 - 0.0000 -
2532.96/2541.08 c 2541 1981294 5169 1 - 0.0000 -
2538.04/2546.13 c 2546 1985624 5126 1 - 0.0000 -
2543.12/2551.20 c 2551 1988966 5077 1 - 0.0000 -
2548.11/2556.26 c 2556 1992814 5094 1 - 0.0000 -
2553.18/2561.31 c 2561 1997070 5219 1 - 0.0000 -
2558.16/2566.36 c 2566 2001406 5122 1 - 0.0000 -
2563.24/2571.41 c 2571 2005647 5487 1 - 0.0000 -
2568.23/2576.46 c 2576 2010301 5047 1 - 0.0000 -
2573.32/2581.51 c 2582 2014812 5117 1 - 0.0000 -
2578.29/2586.56 c 2587 2018851 5445 1 - 0.0000 -
2583.37/2591.61 c 2592 2023660 5267 1 - 0.0000 -
2588.36/2596.66 c 2597 2028137 5170 1 - 0.0000 -
2593.43/2601.71 c 2602 2033015 5130 1 - 0.0000 -
2598.42/2606.76 c 2607 2037277 5123 1 - 0.0000 -
2603.50/2611.81 c 2612 2041417 5098 1 - 0.0000 -
2608.48/2616.86 c 2617 2045279 5143 1 - 0.0000 -
2613.56/2621.91 c 2622 2049113 5003 1 - 0.0000 -
2618.55/2626.96 c 2627 2052935 5172 1 - 0.0000 -
2623.63/2632.01 c 2632 2056671 5078 1 - 0.0000 -
2628.62/2637.06 c 2637 2060950 5133 1 - 0.0000 -
2633.69/2642.11 c 2642 2065108 5243 1 - 0.0000 -
2638.68/2647.16 c 2647 2069830 5320 1 - 0.0000 -
2643.76/2652.21 c 2652 2074363 5281 1 - 0.0000 -
2648.74/2657.26 c 2657 2078839 5391 1 - 0.0000 -
2653.84/2662.31 c 2662 2083076 5337 1 - 0.0000 -
2658.81/2667.36 c 2667 2087679 5324 1 - 0.0000 -
2663.90/2672.41 c 2672 2091997 5250 1 - 0.0000 -
2668.88/2677.46 c 2677 2096247 5123 1 - 0.0000 -
2673.97/2682.51 c 2683 2099339 5885 1 - 0.0000 -
2678.96/2687.56 c 2688 2101629 6661 1 - 0.0000 -
2684.04/2692.61 c 2693 2105957 5571 1 - 0.0000 -
2689.02/2697.66 c 2698 2110170 5668 1 - 0.0000 -
2694.11/2702.71 c 2703 2114301 5492 1 - 0.0000 -
2699.10/2707.76 c 2708 2118392 5435 1 - 0.0000 -
2704.18/2712.82 c 2713 2122806 5437 1 - 0.0000 -
2709.17/2717.86 c 2718 2126441 5371 1 - 0.0000 -
2714.25/2722.91 c 2723 2130869 5401 1 - 0.0000 -
2719.34/2728.04 c 2728 2132709 5349 1 - 0.0000 -
2724.33/2733.09 c 2733 2137070 5379 1 - 0.0000 -
2729.42/2738.14 c 2738 2141506 5538 1 - 0.0000 -
2734.40/2743.19 c 2743 2146237 5378 1 - 0.0000 -
2739.48/2748.24 c 2748 2150588 5645 1 - 0.0000 -
2744.46/2753.29 c 2753 2155180 5639 1 - 0.0000 -
2749.55/2758.34 c 2758 2159751 5629 1 - 0.0000 -
2754.53/2763.39 c 2763 2164474 5388 1 - 0.0000 -
2759.61/2768.44 c 2768 2167672 5452 1 - 0.0000 -
2764.60/2773.49 c 2774 2171613 5603 1 - 0.0000 -
2769.68/2778.54 c 2779 2175618 5473 1 - 0.0000 -
2774.67/2783.59 c 2784 2179558 5333 1 - 0.0000 -
2779.75/2788.64 c 2789 2183491 5323 1 - 0.0000 -
2784.74/2793.69 c 2794 2187293 5089 1 - 0.0000 -
2789.83/2798.74 c 2799 2191874 5059 1 - 0.0000 -
2794.81/2803.79 c 2804 2195798 5186 1 - 0.0000 -
2799.90/2808.84 c 2809 2199538 5264 1 - 0.0000 -
2804.88/2813.89 c 2814 2203868 5185 1 - 0.0000 -
2809.97/2818.94 c 2819 2207448 5114 1 - 0.0000 -
2814.96/2823.99 c 2824 2210871 5260 1 - 0.0000 -
2820.05/2829.04 c 2829 2215480 5140 1 - 0.0000 -
2825.13/2834.11 c 2834 2219340 5106 1 - 0.0000 -
2830.11/2839.16 c 2839 2223527 5081 1 - 0.0000 -
2835.19/2844.21 c 2844 2227285 4987 1 - 0.0000 -
2840.17/2849.26 c 2849 2231252 4953 1 - 0.0000 -
2845.25/2854.37 c 2854 2234422 4929 1 - 0.0000 -
2850.34/2859.42 c 2859 2238547 5019 1 - 0.0000 -
2855.31/2864.47 c 2864 2242700 4923 1 - 0.0000 -
2860.40/2869.52 c 2870 2246788 4750 1 - 0.0000 -
2865.38/2874.57 c 2875 2251058 4713 1 - 0.0000 -
2870.46/2879.62 c 2880 2255537 4573 1 - 0.0000 -
2875.45/2884.67 c 2885 2257941 4600 1 - 0.0000 -
2880.53/2889.72 c 2890 2261097 4596 1 - 0.0000 -
2885.50/2894.79 c 2895 2264797 4780 1 - 0.0000 -
2890.59/2899.84 c 2900 2268848 4590 1 - 0.0000 -
2895.57/2904.89 c 2905 2273583 4779 1 - 0.0000 -
2900.65/2909.94 c 2910 2278416 4595 1 - 0.0000 -
2905.64/2914.99 c 2915 2282029 4573 1 - 0.0000 -
2910.72/2920.06 c 2920 2285496 4492 1 - 0.0000 -
2915.90/2925.22 c 2925 2289512 4361 1 - 0.0000 -
2920.89/2930.27 c 2930 2292734 4289 1 - 0.0000 -
2925.97/2935.33 c 2935 2296769 4251 1 - 0.0000 -
2930.96/2940.38 c 2940 2300590 4213 1 - 0.0000 -
2936.05/2945.43 c 2945 2304410 4295 1 - 0.0000 -
2941.03/2950.48 c 2950 2308503 4139 1 - 0.0000 -
2946.11/2955.53 c 2956 2312800 4025 1 - 0.0000 -
2951.10/2960.58 c 2961 2316647 3985 1 - 0.0000 -
2956.19/2965.63 c 2966 2320431 4072 1 - 0.0000 -
2961.17/2970.69 c 2971 2323969 4340 1 - 0.0000 -
2966.25/2975.74 c 2976 2328212 4114 1 - 0.0000 -
2971.25/2980.79 c 2981 2331994 4116 1 - 0.0000 -
2976.33/2985.84 c 2986 2335608 3896 1 - 0.0000 -
2981.32/2990.89 c 2991 2339464 3760 1 - 0.0000 -
2986.40/2995.94 c 2996 2343013 3622 1 - 0.0000 -
2991.49/3001.00 c 3001 2347847 3704 1 - 0.0000 -
2996.47/3006.05 c 3006 2351645 3427 1 - 0.0000 -
3001.45/3011.10 c 3011 2355505 3369 1 - 0.0000 -
3006.55/3016.15 c 3016 2359312 3260 1 - 0.0000 -
3011.63/3021.20 c 3021 2363104 3407 1 - 0.0000 -
3016.61/3026.25 c 3026 2366202 3255 1 - 0.0000 -
3021.69/3031.30 c 3031 2369695 3156 1 - 0.0000 -
3026.68/3036.37 c 3036 2373005 2642 1 - 0.0000 -
3031.77/3041.42 c 3041 2376978 2459 1 - 0.0000 -
3036.75/3046.47 c 3046 2381010 2432 1 - 0.0000 -
3041.83/3051.53 c 3052 2384898 2133 1 - 0.0000 -
3046.82/3056.58 c 3057 2388443 1826 1 - 0.0000 -
3051.91/3061.63 c 3062 2391783 1718 1 - 0.0000 -
3056.89/3066.68 c 3067 2395335 1392 1 - 0.0000 -
3061.98/3071.73 c 3072 2398653 1146 1 - 0.0000 -
3066.97/3076.78 c 3077 2402055 596 1 - 0.0000 -
3072.05/3081.87 c 3082 2405686 846 1 - 0.0000 -
3077.13/3086.92 c 3087 2410131 606 1 - 0.0000 -
3080.53/3090.34 c 3090 2412423 0 0 - 0.0000 -
3080.53/3090.36 c 3090 2412423 0 0 - 0.0000 -
3080.53/3090.36 c SCIP Status : c problem is solved [infeasible]
3080.53/3090.36 c Total Time : 3090.3700
3080.53/3090.36 c solving : 3090.3700
3080.53/3090.36 c presolving : 0.0267 (included in solving)
3080.53/3090.36 c B&B Tree :
3080.53/3090.36 c nodes (total) : 2412423
3080.53/3090.36 c Solution :
3080.53/3090.36 c Solutions found : 0
3080.53/3090.36 c Primal Bound : -
3080.53/3090.36 c Dual Bound : -
3080.53/3090.36 c Gap : -
3080.53/3090.36 s UNSATISFIABLE
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 (60767 MiB free)
memory of node 1: 64510 MiB (62185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453960-1721451479/watcher-4453960-1721451479 -o /tmp/evaluation-result-4453960-1721451479/solver-4453960-1721451479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059845 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4453960-1721451479.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1064574, runsolver pid=1064571
Current StackSize limit: 8192 KiB
[startup+0.100257 s]*
/proc/loadavg: 4.25 4.15 4.10 5/263 1064577
/proc/meminfo: memFree=125876656/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=39012 CPUtime=0.09 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 7160 0 0 0 9 0 0 0 20 0 3 0 197315302 120356864 9753 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 9753 2926 3032 0 13380 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=4026561586 CPUtime=0.05 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 3451 0 0 0 5 0 0 0 20 0 3 0 197315305 120356864 9753 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=232851243367 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 9753 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 39012 KiB
[startup+0.206275 s]*
/proc/loadavg: 4.25 4.15 4.10 5/263 1064577
/proc/meminfo: memFree=125875312/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=40076 CPUtime=0.19 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 7559 0 0 0 19 0 0 0 20 0 3 0 197315302 120356864 10019 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 10019 2942 3032 0 13653 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=6876556183782621315 CPUtime=0.15 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 3850 0 0 0 15 0 0 0 20 0 3 0 197315305 120356864 10019 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=14907 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 10019 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 40076 KiB
[startup+0.306274 s]*
/proc/loadavg: 4.25 4.15 4.10 5/263 1064577
/proc/meminfo: memFree=125874304/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=40868 CPUtime=0.28 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 7772 0 0 0 28 0 0 0 20 0 3 0 197315302 120356864 10217 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 10217 2942 3032 0 13792 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=-7520302109299073404 CPUtime=0.24 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 4063 0 0 0 24 0 0 0 20 0 3 0 197315305 120356864 10217 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=0 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 10217 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 40868 KiB
[startup+0.700258 s]
/proc/loadavg: 4.25 4.15 4.10 5/263 1064577
/proc/meminfo: memFree=125874172/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=42188 CPUtime=0.67 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 8101 0 0 0 66 1 0 0 20 0 3 0 197315302 120356864 10547 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 10547 2942 3032 0 14135 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=0 CPUtime=0.63 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 4392 0 0 0 63 0 0 0 20 0 3 0 197315305 120356864 10547 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=0 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 10547 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 42188 KiB
[startup+1.50024 s]
/proc/loadavg: 4.25 4.15 4.10 5/263 1064577
/proc/meminfo: memFree=125871568/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=45760 CPUtime=1.47 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 12323 0 0 0 146 1 0 0 20 0 3 0 197315302 120356864 11440 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 11440 2990 3032 0 14722 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=0 CPUtime=1.43 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 8600 0 0 0 142 1 0 0 20 0 3 0 197315305 120356864 11440 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=0 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 11440 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 45760 KiB
[startup+3.10528 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 1064578
/proc/meminfo: memFree=125868452/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=48380 CPUtime=3.07 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 12852 0 0 0 306 1 0 0 20 0 3 0 197315302 120356864 12095 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 12095 3310 3032 0 15046 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=2273 CPUtime=3.03 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 9124 0 0 0 302 1 0 0 20 0 3 0 197315305 120356864 12095 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=0 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 12095 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 48380 KiB
[startup+6.30023 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 1064578
/proc/meminfo: memFree=125868516/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=48420 CPUtime=6.25 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 16817 0 0 0 623 2 0 0 20 0 3 0 197315302 120356864 12105 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 12105 3310 3032 0 15046 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=-7520302109299073404 CPUtime=6.2 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 13068 0 0 0 619 1 0 0 20 0 3 0 197315305 120356864 12105 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=48416 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 12105 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 48420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 1064580
/proc/meminfo: memFree=125857824/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=59512 CPUtime=12.63 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 29286 0 0 0 1258 5 0 0 20 0 3 0 197315302 120356864 14878 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 14878 3326 3032 0 18293 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=48380 CPUtime=12.59 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 25503 0 0 0 1255 4 0 0 20 0 3 0 197315305 120356864 14878 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=0 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 14878 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 59512 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.15 4.10 5/263 1064581
/proc/meminfo: memFree=125852392/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=65068 CPUtime=25.39 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 41317 0 0 0 2530 9 0 0 20 0 3 0 197315302 120356864 16267 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 16267 3326 3032 0 19847 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=57836 CPUtime=25.34 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 37493 0 0 0 2526 8 0 0 20 0 3 0 197315305 120356864 16267 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=11588 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 16267 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 65068 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 1064584
/proc/meminfo: memFree=125837400/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=117536 memory=79444 CPUtime=50.91 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 65403 0 0 0 5076 15 0 0 20 0 3 0 197315302 120356864 19861 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 29384 19861 3326 3032 0 23772 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=117536 memory=79428 CPUtime=50.86 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 61519 0 0 0 5072 14 0 0 20 0 3 0 197315305 120356864 19861 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=117536 memory=79428 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 197315306 120356864 19861 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 79444 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/263 1064594
/proc/meminfo: memFree=125815332/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=183072 memory=101004 CPUtime=101.94 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 104210 0 0 0 10170 24 0 0 20 0 3 0 197315302 187465728 25251 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 45768 25251 3326 3032 0 29146 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=183072 memory=89080 CPUtime=101.89 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 100242 0 0 0 10166 23 0 0 20 0 3 0 197315305 187465728 25251 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=183072 memory=89076 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 197315306 187465728 25251 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 183072 KiB
Current children cumulated memory: 101004 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 1064609
/proc/meminfo: memFree=125808820/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=183072 memory=118956 CPUtime=161.74 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 134478 0 0 0 16141 33 0 0 20 0 3 0 197315302 187465728 29739 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 45768 29739 3326 3032 0 33624 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=183072 memory=107104 CPUtime=161.69 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 130470 0 0 0 16137 32 0 0 20 0 3 0 197315305 187465728 29739 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=183072 memory=11588 CPUtime=0 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 197315306 187465728 29739 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 183072 KiB
################
# More data... #
################
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=236756 CPUtime=2972.61 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 380789 0 0 0 296877 384 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=11588 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 165 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 2972.84 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/262 1066282
/proc/meminfo: memFree=123037376/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3032.67 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386293 0 0 0 302871 396 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=11588 CPUtime=3032.43 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381578 0 0 0 302853 390 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=236756 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3032.67 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3090.37 s]
# the end of solver process 1064574 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3076.58 s, system=4.02624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3046.4 s]
/proc/loadavg: 4.11 4.10 4.10 5/262 1066282
/proc/meminfo: memFree=123035232/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3036.75 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386304 0 0 0 303279 396 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=47392 CPUtime=3036.52 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381589 0 0 0 303261 391 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=236756 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3036.75 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3072 s]*
/proc/loadavg: 4.07 4.09 4.10 5/262 1066286
/proc/meminfo: memFree=123015572/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3062.29 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386573 0 0 0 305829 400 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=-6807887676285750631 CPUtime=3062.05 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381858 0 0 0 305811 394 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=1401636096533618746 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3062.29 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3078.4 s]
/proc/loadavg: 4.13 4.11 4.10 5/262 1066287
/proc/meminfo: memFree=122995536/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3068.66 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386604 0 0 0 306466 400 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=236756 CPUtime=3068.43 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381889 0 0 0 306448 395 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=11588 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3068.66 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3084.8 s]
/proc/loadavg: 4.12 4.11 4.10 5/262 1066289
/proc/meminfo: memFree=122993424/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3075.04 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386606 0 0 0 307103 401 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=236756 CPUtime=3074.81 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381891 0 0 0 307085 396 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=47392 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3075.04 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3088 s]*
/proc/loadavg: 4.11 4.10 4.10 5/262 1066289
/proc/meminfo: memFree=122993416/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3078.24 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386606 0 0 0 307422 402 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=-6807887676285750631 CPUtime=3078 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381891 0 0 0 307404 396 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=1401636096533618746 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3078.24 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3089.6 s]
/proc/loadavg: 4.11 4.10 4.10 5/262 1066289
/proc/meminfo: memFree=122993416/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3079.83 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386613 0 0 0 307581 402 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=47392 CPUtime=3079.59 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381898 0 0 0 307563 396 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=236756 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3079.83 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3090 s]*
/proc/loadavg: 4.11 4.10 4.10 5/262 1066289
/proc/meminfo: memFree=122987752/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3080.23 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386618 0 0 0 307621 402 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=-6807887676285750631 CPUtime=3080 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381903 0 0 0 307604 396 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=1401636096533618746 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3080.23 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3090.2 s]
/proc/loadavg: 4.11 4.10 4.10 5/262 1066289
/proc/meminfo: memFree=122987752/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3080.43 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386623 0 0 0 307641 402 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=2336 CPUtime=3080.19 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381908 0 0 0 307623 396 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=100 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3080.43 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
[startup+3090.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/262 1066289
/proc/meminfo: memFree=122987752/131524600 swapFree=131071996/131071996
[pid=1064574] ppid=1064571 vsize=314144 memory=236756 CPUtime=3080.53 cores=4,6
/proc/1064574/stat : 1064574 (fscip) S 1064571 1064574 1059834 0 -1 1077936128 386624 0 0 0 307651 402 0 0 20 0 3 0 197315302 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
/proc/1064574/statm: 78536 59189 3326 3032 0 60921 0
[pid=1064574/tid=1064576] ppid=1064571 vsize=314144 memory=236756 CPUtime=3080.29 cores=4,6
/proc/1064574/task/1064576/stat : 1064576 (fscip) R 1064571 1064574 1059834 0 -1 4194368 381909 0 0 0 307633 396 0 0 20 0 3 0 197315305 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
[pid=1064574/tid=1064577] ppid=1064571 vsize=314144 memory=236756 CPUtime=0.02 cores=4,6
/proc/1064574/task/1064577/stat : 1064577 (fscip) S 1064571 1064574 1059834 0 -1 1077936192 168 0 0 0 1 1 0 0 20 0 3 0 197315306 321683456 59189 134679101440 4194304 16613245 140724155037328 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43589632 140724155044883 140724155044999 140724155044999 140724155052016 0
Current children cumulated CPU time: 3080.53 s
Current children cumulated vsize: 314144 KiB
Current children cumulated memory: 236756 KiB
Child status: 0
Real time (s): 3090.37
CPU time (s): 3080.61
CPU user time (s): 3076.58
CPU system time (s): 4.02624
CPU usage (%): 99.6841
Max. virtual memory (cumulated for all children) (KiB): 314144
Max. memory (cumulated for all children) (KiB): 236756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3076.58
system time used= 4.02624
maximum resident set size= 236756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387141
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= 9308
involuntary context switches= 1182
# summary of solver processes directly reported to runsolver:
# pid: 1064574
# total CPU time (s): 3080.61
# total CPU user time (s): 3076.58
# total CPU system time (s): 4.02624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75529 second user time and 14.2459 second system time
The end
Begin job on nodeC029 at 2024-07-20 06:58:12
IDJOB=4453960
IDBENCH=175982
IDSOLVER=3064
FILE ID=nodeC029/4453960-1721451479
RUNJOBID= nodeC029-1721446720-1059845
SLURM_JOB_ID= 7545672
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq5/normalized-20array_alg_ineq5.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-4453960-1721451479/watcher-4453960-1721451479 -o /tmp/evaluation-result-4453960-1721451479/solver-4453960-1721451479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059845 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4453960-1721451479.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 928ae9c4ace7ac4d67936920dc463dea
RANDOM SEED=1480173956
nodeC029.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 : 3667.772
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 : 7000.09
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 : 3686.870
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.98
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.435
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 : 7000.09
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 : 3600.467
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.98
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 : 3660.644
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 : 7000.09
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 : 3686.861
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.98
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 : 3672.118
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 : 7000.09
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.543
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125904916 kB
MemAvailable: 128785400 kB
Buffers: 540272 kB
Cached: 3154584 kB
SwapCached: 0 kB
Active: 1053992 kB
Inactive: 3878384 kB
Active(anon): 1472 kB
Inactive(anon): 1281956 kB
Active(file): 1052520 kB
Inactive(file): 2596428 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28492 kB
Writeback: 0 kB
AnonPages: 1237516 kB
Mapped: 138560 kB
Shmem: 45912 kB
KReclaimable: 142364 kB
Slab: 260880 kB
SReclaimable: 142364 kB
SUnreclaim: 118516 kB
KernelStack: 4224 kB
PageTables: 11412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1314440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1077248 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-20 07:49:42