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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 28438528, getVmSize() = 28438528, SCIPgetMemUsed() = 5345602, SCIPgetMemTotal() = 6661890, SCIPgetMemExternEstim() = 3299291
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.11 c ** Estimated virtualMemUsedAtSolver = 20922368, getVmSize() = 34328576, SCIPgetMemUsed() = 4978865, SCIPgetMemTotal() = 11256913, SCIPgetMemExternEstim() = 3299291
0.00/0.11 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.11 c Original Problem :
0.00/0.11 c Problem name : instance-4464689-1722390349
0.00/0.11 c Variables : 980 (980 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.11 c Constraints : 2543
0.00/0.11 c Objective sense : minimize
0.00/0.11 c Presolved Problem :
0.00/0.11 c Variables : 518 (518 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.11 c Constraints : 403
0.00/0.11 c Constraints : Number
0.00/0.11 c knapsack : 1
0.00/0.11 c and : 400
0.00/0.11 c linear : 2
0.00/0.11 c ** Instance transfer method used: 0
0.10/0.11 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.12 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.12 c Nodes Active
0.10/0.12 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.35/5.44 c 5 1552 493 1 - 0.0000 -
10.33/10.49 c 10 5157 235 1 - 0.0000 -
15.41/15.54 c 16 8613 500 1 - 0.0000 -
20.40/20.58 c 21 12510 880 1 - 0.0000 -
25.47/25.63 c 26 16149 1058 1 - 0.0000 -
30.45/30.68 c 31 19574 1235 1 - 0.0000 -
35.53/35.73 c 36 23336 1558 1 - 0.0000 -
40.52/40.78 c 41 26934 1890 1 - 0.0000 -
45.59/45.83 c 46 30686 2177 1 - 0.0000 -
50.58/50.88 c 51 34314 2300 1 - 0.0000 -
55.66/55.93 c 56 37948 2301 1 - 0.0000 -
60.65/60.98 c 61 41714 2653 1 - 0.0000 -
65.73/66.02 c 66 45487 2681 1 - 0.0000 -
70.72/71.07 c 71 49168 2616 1 - 0.0000 -
75.80/76.12 c 76 52902 2558 1 - 0.0000 -
80.78/81.17 c 81 56509 2537 1 - 0.0000 -
85.86/86.22 c 86 60314 2673 1 - 0.0000 -
90.84/91.27 c 91 64584 2795 1 - 0.0000 -
95.93/96.32 c 96 68877 3023 1 - 0.0000 -
100.91/101.37 c 101 72451 3367 1 - 0.0000 -
106.00/106.42 c 106 75743 3314 1 - 0.0000 -
110.97/111.47 c 111 78654 3323 1 - 0.0000 -
116.06/116.52 c 117 81839 3399 1 - 0.0000 -
121.04/121.57 c 122 85055 3669 1 - 0.0000 -
126.13/126.62 c 127 87979 3745 1 - 0.0000 -
131.11/131.66 c 132 91206 3833 1 - 0.0000 -
136.20/136.71 c 137 94807 4087 1 - 0.0000 -
141.18/141.76 c 142 98164 4570 1 - 0.0000 -
146.26/146.81 c 147 101597 4819 1 - 0.0000 -
151.25/151.86 c 152 105053 5228 1 - 0.0000 -
156.33/156.91 c 157 108117 4950 1 - 0.0000 -
161.31/161.96 c 162 110803 5101 1 - 0.0000 -
166.41/167.01 c 167 114238 4963 1 - 0.0000 -
171.39/172.06 c 172 118155 5378 1 - 0.0000 -
176.48/177.11 c 177 121961 5514 1 - 0.0000 -
181.46/182.16 c 182 125647 5793 1 - 0.0000 -
186.53/187.22 c 187 129086 5798 1 - 0.0000 -
191.52/192.27 c 192 132908 6123 1 - 0.0000 -
196.60/197.32 c 197 136973 6108 1 - 0.0000 -
201.58/202.37 c 202 140621 6161 1 - 0.0000 -
206.67/207.42 c 207 144483 6343 1 - 0.0000 -
211.65/212.47 c 212 147922 6506 1 - 0.0000 -
216.74/217.52 c 218 151801 6854 1 - 0.0000 -
221.72/222.57 c 223 155145 7096 1 - 0.0000 -
226.81/227.62 c 228 158208 7253 1 - 0.0000 -
231.78/232.67 c 233 162039 7528 1 - 0.0000 -
236.87/237.72 c 238 166004 7815 1 - 0.0000 -
241.86/242.77 c 243 169892 8046 1 - 0.0000 -
246.94/247.82 c 248 173577 8462 1 - 0.0000 -
251.93/252.87 c 253 177611 8686 1 - 0.0000 -
257.01/257.91 c 258 181188 8857 1 - 0.0000 -
261.99/262.96 c 263 184875 8861 1 - 0.0000 -
267.09/268.01 c 268 188807 8840 1 - 0.0000 -
272.07/273.06 c 273 191820 9100 1 - 0.0000 -
277.15/278.11 c 278 195307 9399 1 - 0.0000 -
282.14/283.16 c 283 199011 9502 1 - 0.0000 -
287.22/288.21 c 288 202619 9605 1 - 0.0000 -
292.20/293.26 c 293 206320 9662 1 - 0.0000 -
297.29/298.31 c 298 210058 9933 1 - 0.0000 -
302.27/303.36 c 303 213813 9797 1 - 0.0000 -
307.35/308.41 c 308 217737 10035 1 - 0.0000 -
312.34/313.46 c 313 221473 9954 1 - 0.0000 -
317.42/318.51 c 319 225148 10153 1 - 0.0000 -
322.41/323.56 c 324 228581 10223 1 - 0.0000 -
327.49/328.61 c 329 232239 10022 1 - 0.0000 -
332.48/333.66 c 334 235694 10147 1 - 0.0000 -
337.56/338.71 c 339 238888 10105 1 - 0.0000 -
342.54/343.76 c 344 242305 10047 1 - 0.0000 -
347.62/348.81 c 349 245451 10018 1 - 0.0000 -
352.60/353.86 c 354 248839 10243 1 - 0.0000 -
357.69/358.93 c 359 252153 10328 1 - 0.0000 -
362.68/363.97 c 364 255141 10285 1 - 0.0000 -
367.77/369.02 c 369 258319 10264 1 - 0.0000 -
372.75/374.07 c 374 261547 10288 1 - 0.0000 -
377.83/379.12 c 379 264789 10331 1 - 0.0000 -
382.82/384.17 c 384 268376 10562 1 - 0.0000 -
387.89/389.22 c 389 272055 10595 1 - 0.0000 -
392.87/394.27 c 394 275177 10505 1 - 0.0000 -
397.95/399.32 c 399 278830 10572 1 - 0.0000 -
402.94/404.37 c 404 283017 10766 1 - 0.0000 -
408.02/409.42 c 409 286924 10827 1 - 0.0000 -
413.01/414.47 c 414 290385 10862 1 - 0.0000 -
418.09/419.52 c 420 294147 11310 1 - 0.0000 -
423.08/424.57 c 425 298272 11816 1 - 0.0000 -
428.16/429.62 c 430 302563 11781 1 - 0.0000 -
433.15/434.67 c 435 306021 12153 1 - 0.0000 -
438.23/439.72 c 440 309633 12390 1 - 0.0000 -
443.21/444.77 c 445 313064 12400 1 - 0.0000 -
448.30/449.82 c 450 316912 12433 1 - 0.0000 -
453.28/454.87 c 455 320867 12527 1 - 0.0000 -
458.36/459.92 c 460 325305 12633 1 - 0.0000 -
463.36/464.97 c 465 328824 12609 1 - 0.0000 -
468.44/470.02 c 470 332410 13048 1 - 0.0000 -
473.42/475.07 c 475 336027 13381 1 - 0.0000 -
478.50/480.12 c 480 339895 13743 1 - 0.0000 -
483.47/485.17 c 485 343279 14052 1 - 0.0000 -
488.55/490.22 c 490 347021 14367 1 - 0.0000 -
493.52/495.28 c 495 350826 14386 1 - 0.0000 -
498.61/500.33 c 500 354588 14363 1 - 0.0000 -
503.59/505.38 c 505 358160 13888 1 - 0.0000 -
508.66/510.43 c 510 361393 13647 1 - 0.0000 -
513.64/515.47 c 515 364523 13498 1 - 0.0000 -
518.72/520.52 c 521 367750 13830 1 - 0.0000 -
523.70/525.57 c 526 371237 14093 1 - 0.0000 -
528.78/530.62 c 531 375101 14447 1 - 0.0000 -
533.75/535.67 c 536 378482 14658 1 - 0.0000 -
538.83/540.72 c 541 382177 14730 1 - 0.0000 -
543.82/545.77 c 546 385642 14759 1 - 0.0000 -
548.90/550.82 c 551 389479 14874 1 - 0.0000 -
553.87/555.87 c 556 392800 14876 1 - 0.0000 -
558.95/560.92 c 561 396464 14847 1 - 0.0000 -
563.92/565.97 c 566 399948 15022 1 - 0.0000 -
569.01/571.03 c 571 403444 15060 1 - 0.0000 -
573.99/576.07 c 576 406628 15293 1 - 0.0000 -
579.07/581.12 c 581 410311 15342 1 - 0.0000 -
584.05/586.17 c 586 414295 15070 1 - 0.0000 -
589.11/591.23 c 591 417419 14869 1 - 0.0000 -
594.09/596.28 c 596 421333 15359 1 - 0.0000 -
599.16/601.33 c 601 425750 15598 1 - 0.0000 -
604.14/606.38 c 606 429453 15863 1 - 0.0000 -
609.22/611.43 c 611 433412 15947 1 - 0.0000 -
614.20/616.48 c 616 437515 15920 1 - 0.0000 -
619.28/621.53 c 622 441643 15818 1 - 0.0000 -
624.26/626.58 c 627 445228 15954 1 - 0.0000 -
629.33/631.63 c 632 449380 15983 1 - 0.0000 -
634.32/636.68 c 637 452948 15875 1 - 0.0000 -
639.40/641.73 c 642 456954 16033 1 - 0.0000 -
644.37/646.78 c 647 460736 16072 1 - 0.0000 -
649.45/651.83 c 652 463973 15720 1 - 0.0000 -
654.43/656.88 c 657 467456 15634 1 - 0.0000 -
659.51/661.93 c 662 471092 15321 1 - 0.0000 -
664.48/666.98 c 667 474715 15162 1 - 0.0000 -
669.57/672.03 c 672 478313 14974 1 - 0.0000 -
674.56/677.08 c 677 482415 14844 1 - 0.0000 -
679.65/682.13 c 682 485603 14505 1 - 0.0000 -
684.62/687.18 c 687 488954 14377 1 - 0.0000 -
689.70/692.23 c 692 492723 14179 1 - 0.0000 -
694.69/697.28 c 697 496873 14230 1 - 0.0000 -
699.76/702.33 c 702 500720 13760 1 - 0.0000 -
704.75/707.38 c 707 504130 13467 1 - 0.0000 -
709.84/712.43 c 712 507958 13457 1 - 0.0000 -
714.82/717.48 c 717 511711 13262 1 - 0.0000 -
719.91/722.53 c 723 514883 13353 1 - 0.0000 -
724.88/727.58 c 728 518539 13224 1 - 0.0000 -
729.96/732.63 c 733 522070 12844 1 - 0.0000 -
734.94/737.68 c 738 525586 12640 1 - 0.0000 -
740.03/742.73 c 743 529038 12243 1 - 0.0000 -
745.00/747.78 c 748 532287 11789 1 - 0.0000 -
750.08/752.83 c 753 535987 11659 1 - 0.0000 -
755.06/757.88 c 758 539178 11653 1 - 0.0000 -
760.13/762.94 c 763 542473 11252 1 - 0.0000 -
765.12/767.98 c 768 546842 11556 1 - 0.0000 -
770.21/773.03 c 773 551118 11692 1 - 0.0000 -
775.19/778.08 c 778 554898 11708 1 - 0.0000 -
780.28/783.13 c 783 558765 11990 1 - 0.0000 -
785.27/788.19 c 788 562019 12714 1 - 0.0000 -
790.33/793.23 c 793 566004 13092 1 - 0.0000 -
795.32/798.28 c 798 569415 13241 1 - 0.0000 -
800.41/803.33 c 803 572752 13351 1 - 0.0000 -
805.38/808.38 c 808 576815 12947 1 - 0.0000 -
810.47/813.43 c 813 580609 12456 1 - 0.0000 -
815.46/818.48 c 818 584380 11974 1 - 0.0000 -
820.54/823.53 c 824 588486 11826 1 - 0.0000 -
825.53/828.58 c 829 592532 11795 1 - 0.0000 -
830.61/833.63 c 834 596368 11969 1 - 0.0000 -
835.60/838.68 c 839 600225 11719 1 - 0.0000 -
840.68/843.73 c 844 603860 11519 1 - 0.0000 -
845.66/848.78 c 849 607148 11190 1 - 0.0000 -
850.75/853.83 c 854 610917 10997 1 - 0.0000 -
855.73/858.88 c 859 614138 10794 1 - 0.0000 -
860.81/863.93 c 864 617725 10442 1 - 0.0000 -
865.80/868.98 c 869 621259 9715 1 - 0.0000 -
870.90/874.03 c 874 625067 9709 1 - 0.0000 -
875.88/879.08 c 879 628991 9465 1 - 0.0000 -
880.96/884.13 c 884 632638 9594 1 - 0.0000 -
885.95/889.18 c 889 636641 9502 1 - 0.0000 -
891.02/894.23 c 894 641150 9407 1 - 0.0000 -
896.01/899.28 c 899 645101 9346 1 - 0.0000 -
901.09/904.33 c 904 648420 8777 1 - 0.0000 -
906.07/909.38 c 909 652065 8534 1 - 0.0000 -
911.16/914.43 c 914 655949 8842 1 - 0.0000 -
916.14/919.48 c 919 659363 9085 1 - 0.0000 -
921.22/924.53 c 925 663743 8497 1 - 0.0000 -
926.21/929.58 c 930 667425 8151 1 - 0.0000 -
931.29/934.63 c 935 671360 7949 1 - 0.0000 -
936.28/939.68 c 940 675177 7807 1 - 0.0000 -
941.37/944.73 c 945 678929 7644 1 - 0.0000 -
946.35/949.78 c 950 681736 7576 1 - 0.0000 -
951.44/954.83 c 955 685601 7514 1 - 0.0000 -
956.42/959.88 c 960 689651 7481 1 - 0.0000 -
961.51/964.93 c 965 693494 7853 1 - 0.0000 -
966.49/969.98 c 970 697608 8217 1 - 0.0000 -
971.58/975.03 c 975 701289 8489 1 - 0.0000 -
976.56/980.09 c 980 704958 8730 1 - 0.0000 -
981.65/985.13 c 985 708897 8781 1 - 0.0000 -
986.63/990.18 c 990 712817 8882 1 - 0.0000 -
991.71/995.23 c 995 716561 8927 1 - 0.0000 -
996.69/1000.28 c 1000 720868 8708 1 - 0.0000 -
1001.77/1005.33 c 1005 725194 8506 1 - 0.0000 -
1006.76/1010.38 c 1010 728932 8314 1 - 0.0000 -
1011.84/1015.43 c 1015 731667 8777 1 - 0.0000 -
1016.82/1020.48 c 1020 734620 9166 1 - 0.0000 -
1021.91/1025.53 c 1026 738109 9467 1 - 0.0000 -
1026.90/1030.58 c 1031 741287 10044 1 - 0.0000 -
1031.98/1035.63 c 1036 744954 10258 1 - 0.0000 -
1036.96/1040.68 c 1041 748526 10282 1 - 0.0000 -
1042.05/1045.73 c 1046 751808 10278 1 - 0.0000 -
1047.03/1050.78 c 1051 755761 10598 1 - 0.0000 -
1052.12/1055.83 c 1056 759223 10957 1 - 0.0000 -
1057.10/1060.88 c 1061 762628 11386 1 - 0.0000 -
1062.19/1065.93 c 1066 766364 11668 1 - 0.0000 -
1067.18/1070.98 c 1071 770559 11884 1 - 0.0000 -
1072.26/1076.03 c 1076 774428 12232 1 - 0.0000 -
1077.25/1081.08 c 1081 778152 12487 1 - 0.0000 -
1082.34/1086.13 c 1086 782298 12849 1 - 0.0000 -
1087.33/1091.18 c 1091 786258 12941 1 - 0.0000 -
1092.39/1096.23 c 1096 790051 12938 1 - 0.0000 -
1097.38/1101.28 c 1101 793737 13393 1 - 0.0000 -
1102.46/1106.33 c 1106 797899 13509 1 - 0.0000 -
1107.44/1111.38 c 1111 802291 13566 1 - 0.0000 -
1112.52/1116.43 c 1116 806538 13527 1 - 0.0000 -
1117.51/1121.48 c 1121 810069 13600 1 - 0.0000 -
1122.59/1126.53 c 1127 813445 13611 1 - 0.0000 -
1127.58/1131.58 c 1132 816974 13528 1 - 0.0000 -
1132.65/1136.63 c 1137 820251 13397 1 - 0.0000 -
1137.64/1141.68 c 1142 824115 13480 1 - 0.0000 -
1142.72/1146.73 c 1147 827591 12896 1 - 0.0000 -
1147.71/1151.78 c 1152 831207 12378 1 - 0.0000 -
1152.79/1156.83 c 1157 834578 11853 1 - 0.0000 -
1157.77/1161.88 c 1162 838724 11803 1 - 0.0000 -
1162.85/1166.93 c 1167 842751 11870 1 - 0.0000 -
1167.83/1171.98 c 1172 846749 11774 1 - 0.0000 -
1172.91/1177.03 c 1177 850349 11630 1 - 0.0000 -
1177.90/1182.08 c 1182 854368 11117 1 - 0.0000 -
1182.99/1187.13 c 1187 858002 10918 1 - 0.0000 -
1187.96/1192.18 c 1192 861353 10452 1 - 0.0000 -
1193.04/1197.23 c 1197 865950 10594 1 - 0.0000 -
1198.03/1202.28 c 1202 870097 10579 1 - 0.0000 -
1203.11/1207.34 c 1207 872776 10619 1 - 0.0000 -
1208.09/1212.39 c 1212 875858 10470 1 - 0.0000 -
1213.18/1217.44 c 1217 879642 10828 1 - 0.0000 -
1218.16/1222.49 c 1222 883774 11307 1 - 0.0000 -
1223.24/1227.54 c 1228 888246 11239 1 - 0.0000 -
1228.24/1232.59 c 1233 892455 11588 1 - 0.0000 -
1233.31/1237.64 c 1238 896499 11469 1 - 0.0000 -
1238.30/1242.69 c 1243 900750 11503 1 - 0.0000 -
1243.38/1247.75 c 1248 904674 11302 1 - 0.0000 -
1248.36/1252.79 c 1253 908555 11175 1 - 0.0000 -
1253.46/1257.84 c 1258 912955 11043 1 - 0.0000 -
1258.44/1262.89 c 1263 916750 10831 1 - 0.0000 -
1263.53/1267.94 c 1268 920411 10547 1 - 0.0000 -
1268.51/1272.99 c 1273 924308 10828 1 - 0.0000 -
1273.60/1278.04 c 1278 927892 10936 1 - 0.0000 -
1278.59/1283.09 c 1283 931558 11031 1 - 0.0000 -
1283.66/1288.14 c 1288 935154 10533 1 - 0.0000 -
1288.65/1293.19 c 1293 939150 10094 1 - 0.0000 -
1293.73/1298.24 c 1298 943226 9482 1 - 0.0000 -
1298.71/1303.29 c 1303 946845 9058 1 - 0.0000 -
1303.80/1308.34 c 1308 950807 8897 1 - 0.0000 -
1308.78/1313.39 c 1313 954647 8404 1 - 0.0000 -
1313.86/1318.44 c 1318 958467 8261 1 - 0.0000 -
1318.85/1323.49 c 1324 962897 8351 1 - 0.0000 -
1323.93/1328.54 c 1329 966809 7949 1 - 0.0000 -
1328.92/1333.59 c 1334 970856 7946 1 - 0.0000 -
1334.00/1338.64 c 1339 974619 7647 1 - 0.0000 -
1338.98/1343.69 c 1344 978329 7334 1 - 0.0000 -
1344.07/1348.74 c 1349 982200 7285 1 - 0.0000 -
1349.05/1353.79 c 1354 986166 7199 1 - 0.0000 -
1354.14/1358.84 c 1359 989806 7021 1 - 0.0000 -
1359.12/1363.89 c 1364 993598 6956 1 - 0.0000 -
1364.21/1368.94 c 1369 997810 6801 1 - 0.0000 -
1369.19/1373.99 c 1374 1001780 6610 1 - 0.0000 -
1374.28/1379.04 c 1379 1005808 6681 1 - 0.0000 -
1379.27/1384.09 c 1384 1009743 6609 1 - 0.0000 -
1384.36/1389.14 c 1389 1012765 6606 1 - 0.0000 -
1389.34/1394.19 c 1394 1016369 6598 1 - 0.0000 -
1394.42/1399.24 c 1399 1020485 6879 1 - 0.0000 -
1399.40/1404.29 c 1404 1024481 6886 1 - 0.0000 -
1404.48/1409.34 c 1409 1029107 6800 1 - 0.0000 -
1409.46/1414.39 c 1414 1032654 7250 1 - 0.0000 -
1414.55/1419.44 c 1419 1036080 7384 1 - 0.0000 -
1419.54/1424.49 c 1424 1039902 7036 1 - 0.0000 -
1424.62/1429.54 c 1430 1043470 7151 1 - 0.0000 -
1429.60/1434.59 c 1435 1047219 7182 1 - 0.0000 -
1434.69/1439.64 c 1440 1051026 7296 1 - 0.0000 -
1439.67/1444.69 c 1445 1055082 7221 1 - 0.0000 -
1444.76/1449.74 c 1450 1059163 7071 1 - 0.0000 -
1449.74/1454.79 c 1455 1063364 6937 1 - 0.0000 -
1454.82/1459.84 c 1460 1067156 6858 1 - 0.0000 -
1459.80/1464.89 c 1465 1070823 6783 1 - 0.0000 -
1464.88/1469.94 c 1470 1074505 6665 1 - 0.0000 -
1469.87/1474.99 c 1475 1078448 6609 1 - 0.0000 -
1474.97/1480.04 c 1480 1082156 6519 1 - 0.0000 -
1479.95/1485.09 c 1485 1086193 6590 1 - 0.0000 -
1485.04/1490.14 c 1490 1089808 6680 1 - 0.0000 -
1490.10/1495.20 c 1495 1093852 6465 1 - 0.0000 -
1495.09/1500.24 c 1500 1097207 6390 1 - 0.0000 -
1500.07/1505.29 c 1505 1101090 6732 1 - 0.0000 -
1505.16/1510.34 c 1510 1105079 6824 1 - 0.0000 -
1510.14/1515.39 c 1515 1109289 6725 1 - 0.0000 -
1515.23/1520.44 c 1520 1113586 6580 1 - 0.0000 -
1520.21/1525.49 c 1526 1117916 6576 1 - 0.0000 -
1525.29/1530.54 c 1531 1122482 6955 1 - 0.0000 -
1530.28/1535.59 c 1536 1126495 6605 1 - 0.0000 -
1535.36/1540.64 c 1541 1131057 6766 1 - 0.0000 -
1540.34/1545.69 c 1546 1134753 6811 1 - 0.0000 -
1545.43/1550.74 c 1551 1138415 6645 1 - 0.0000 -
1550.41/1555.79 c 1556 1142494 6466 1 - 0.0000 -
1555.50/1560.84 c 1561 1146304 6546 1 - 0.0000 -
1560.49/1565.89 c 1566 1150234 6690 1 - 0.0000 -
1565.57/1570.94 c 1571 1154214 6482 1 - 0.0000 -
1570.55/1575.99 c 1576 1158112 6471 1 - 0.0000 -
1575.64/1581.04 c 1581 1161515 6657 1 - 0.0000 -
1580.62/1586.09 c 1586 1165567 6825 1 - 0.0000 -
1585.71/1591.14 c 1591 1170173 7085 1 - 0.0000 -
1590.69/1596.19 c 1596 1174457 7273 1 - 0.0000 -
1595.77/1601.24 c 1601 1179073 7223 1 - 0.0000 -
1600.75/1606.29 c 1606 1183418 6545 1 - 0.0000 -
1605.83/1611.34 c 1611 1187574 6565 1 - 0.0000 -
1610.82/1616.39 c 1616 1192186 6471 1 - 0.0000 -
1615.90/1621.44 c 1621 1196684 6384 1 - 0.0000 -
1620.89/1626.49 c 1626 1201435 6383 1 - 0.0000 -
1625.97/1631.54 c 1632 1205180 6355 1 - 0.0000 -
1630.95/1636.59 c 1637 1209079 6327 1 - 0.0000 -
1636.04/1641.64 c 1642 1213271 6310 1 - 0.0000 -
1641.02/1646.69 c 1647 1217039 6267 1 - 0.0000 -
1646.11/1651.74 c 1652 1221035 6277 1 - 0.0000 -
1651.08/1656.79 c 1657 1225246 6201 1 - 0.0000 -
1656.17/1661.84 c 1662 1229671 6209 1 - 0.0000 -
1661.15/1666.89 c 1667 1233786 6150 1 - 0.0000 -
1666.23/1671.94 c 1672 1237843 6269 1 - 0.0000 -
1671.22/1676.99 c 1677 1242096 6170 1 - 0.0000 -
1676.31/1682.04 c 1682 1246109 6183 1 - 0.0000 -
1681.30/1687.09 c 1687 1250028 6228 1 - 0.0000 -
1686.38/1692.14 c 1692 1254411 6214 1 - 0.0000 -
1691.36/1697.19 c 1697 1258956 6140 1 - 0.0000 -
1696.43/1702.24 c 1702 1262330 6186 1 - 0.0000 -
1701.42/1707.29 c 1707 1266211 6102 1 - 0.0000 -
1706.50/1712.34 c 1712 1270091 5955 1 - 0.0000 -
1711.48/1717.39 c 1717 1274580 5943 1 - 0.0000 -
1716.57/1722.44 c 1722 1278489 6024 1 - 0.0000 -
1721.55/1727.49 c 1728 1281566 5888 1 - 0.0000 -
1726.64/1732.54 c 1733 1285245 6630 1 - 0.0000 -
1731.61/1737.59 c 1738 1288761 6980 1 - 0.0000 -
1736.70/1742.64 c 1743 1292732 6593 1 - 0.0000 -
1741.68/1747.69 c 1748 1296656 6506 1 - 0.0000 -
1746.77/1752.76 c 1753 1300365 6527 1 - 0.0000 -
1751.85/1757.81 c 1758 1304193 6515 1 - 0.0000 -
1756.83/1762.86 c 1763 1307999 6714 1 - 0.0000 -
1761.92/1767.91 c 1768 1311611 6982 1 - 0.0000 -
1766.91/1772.96 c 1773 1315507 6714 1 - 0.0000 -
1771.99/1778.04 c 1778 1319107 6662 1 - 0.0000 -
1776.98/1783.09 c 1783 1323117 6621 1 - 0.0000 -
1782.07/1788.14 c 1788 1327315 6406 1 - 0.0000 -
1787.05/1793.19 c 1793 1331794 6294 1 - 0.0000 -
1792.12/1798.24 c 1798 1335909 6163 1 - 0.0000 -
1797.11/1803.29 c 1803 1340287 6295 1 - 0.0000 -
1802.20/1808.34 c 1808 1344193 6351 1 - 0.0000 -
1807.18/1813.39 c 1813 1348385 6097 1 - 0.0000 -
1812.26/1818.44 c 1818 1352737 6098 1 - 0.0000 -
1817.24/1823.49 c 1824 1356866 6120 1 - 0.0000 -
1822.33/1828.54 c 1829 1362152 6266 1 - 0.0000 -
1827.31/1833.59 c 1834 1367102 6334 1 - 0.0000 -
1832.40/1838.64 c 1839 1371767 6137 1 - 0.0000 -
1837.39/1843.69 c 1844 1376233 6651 1 - 0.0000 -
1842.47/1848.74 c 1849 1380441 6673 1 - 0.0000 -
1847.46/1853.79 c 1854 1385251 6025 1 - 0.0000 -
1852.54/1858.84 c 1859 1389602 5989 1 - 0.0000 -
1857.52/1863.89 c 1864 1393421 5862 1 - 0.0000 -
1862.61/1868.94 c 1869 1397169 5869 1 - 0.0000 -
1867.59/1873.99 c 1874 1400755 6007 1 - 0.0000 -
1872.68/1879.04 c 1879 1404891 5838 1 - 0.0000 -
1877.68/1884.09 c 1884 1409386 5833 1 - 0.0000 -
1882.75/1889.14 c 1889 1413428 5720 1 - 0.0000 -
1887.74/1894.19 c 1894 1418161 5728 1 - 0.0000 -
1892.81/1899.24 c 1899 1422504 5634 1 - 0.0000 -
1897.80/1904.29 c 1904 1426873 5633 1 - 0.0000 -
1902.89/1909.34 c 1909 1431146 5528 1 - 0.0000 -
1907.87/1914.39 c 1914 1435271 5533 1 - 0.0000 -
1912.95/1919.44 c 1919 1439154 5438 1 - 0.0000 -
1917.94/1924.49 c 1924 1443785 5532 1 - 0.0000 -
1923.03/1929.54 c 1930 1448213 5408 1 - 0.0000 -
1928.01/1934.59 c 1935 1451935 5537 1 - 0.0000 -
1933.09/1939.64 c 1940 1455540 5575 1 - 0.0000 -
1938.08/1944.69 c 1945 1459692 5211 1 - 0.0000 -
1943.16/1949.74 c 1950 1464115 5621 1 - 0.0000 -
1948.14/1954.79 c 1955 1468297 6182 1 - 0.0000 -
1953.23/1959.84 c 1960 1473092 6596 1 - 0.0000 -
1958.21/1964.89 c 1965 1477876 6746 1 - 0.0000 -
1963.30/1969.94 c 1970 1482939 5863 1 - 0.0000 -
1968.28/1974.99 c 1975 1487429 5564 1 - 0.0000 -
1973.37/1980.04 c 1980 1491914 5180 1 - 0.0000 -
1978.35/1985.09 c 1985 1496194 5093 1 - 0.0000 -
1983.43/1990.14 c 1990 1500010 4966 1 - 0.0000 -
1988.41/1995.19 c 1995 1504695 4942 1 - 0.0000 -
1993.48/2000.24 c 2000 1509023 5340 1 - 0.0000 -
1998.46/2005.29 c 2005 1513386 4882 1 - 0.0000 -
2003.53/2010.34 c 2010 1517744 4886 1 - 0.0000 -
2008.52/2015.39 c 2015 1521955 4797 1 - 0.0000 -
2013.59/2020.44 c 2020 1526152 4622 1 - 0.0000 -
2018.58/2025.49 c 2026 1530000 4641 1 - 0.0000 -
2023.64/2030.54 c 2031 1533962 4529 1 - 0.0000 -
2028.63/2035.59 c 2036 1538300 4511 1 - 0.0000 -
2033.70/2040.64 c 2041 1542555 4405 1 - 0.0000 -
2038.69/2045.69 c 2046 1546600 4436 1 - 0.0000 -
2043.77/2050.74 c 2051 1550848 4494 1 - 0.0000 -
2048.75/2055.79 c 2056 1554972 4546 1 - 0.0000 -
2053.83/2060.84 c 2061 1557909 5173 1 - 0.0000 -
2058.81/2065.89 c 2066 1561519 4952 1 - 0.0000 -
2063.89/2070.94 c 2071 1566016 4825 1 - 0.0000 -
2068.87/2075.99 c 2076 1570594 4850 1 - 0.0000 -
2073.96/2081.04 c 2081 1575079 4852 1 - 0.0000 -
2078.94/2086.09 c 2086 1579008 4831 1 - 0.0000 -
2084.02/2091.14 c 2091 1583388 4986 1 - 0.0000 -
2089.00/2096.19 c 2096 1588020 5461 1 - 0.0000 -
2094.06/2101.24 c 2101 1592343 5667 1 - 0.0000 -
2099.04/2106.29 c 2106 1596894 5288 1 - 0.0000 -
2104.12/2111.34 c 2111 1601172 4949 1 - 0.0000 -
2109.09/2116.39 c 2116 1604996 4964 1 - 0.0000 -
2114.17/2121.44 c 2121 1608967 4928 1 - 0.0000 -
2119.15/2126.49 c 2126 1613202 5016 1 - 0.0000 -
2124.22/2131.54 c 2132 1617095 5087 1 - 0.0000 -
2129.20/2136.59 c 2137 1621074 5259 1 - 0.0000 -
2134.28/2141.65 c 2142 1624872 5215 1 - 0.0000 -
2139.25/2146.69 c 2147 1628765 5032 1 - 0.0000 -
2144.34/2151.74 c 2152 1632412 4981 1 - 0.0000 -
2149.31/2156.79 c 2157 1636760 4980 1 - 0.0000 -
2154.39/2161.84 c 2162 1641624 5011 1 - 0.0000 -
2159.38/2166.89 c 2167 1645786 5006 1 - 0.0000 -
2164.47/2171.94 c 2172 1649413 5054 1 - 0.0000 -
2169.44/2176.99 c 2177 1653504 5062 1 - 0.0000 -
2174.52/2182.04 c 2182 1656918 4945 1 - 0.0000 -
2179.51/2187.09 c 2187 1661134 5249 1 - 0.0000 -
2184.60/2192.14 c 2192 1665053 5567 1 - 0.0000 -
2189.59/2197.19 c 2197 1669251 5250 1 - 0.0000 -
2194.66/2202.24 c 2202 1673316 5108 1 - 0.0000 -
2199.64/2207.29 c 2207 1677207 5109 1 - 0.0000 -
2204.73/2212.34 c 2212 1681234 5055 1 - 0.0000 -
2209.71/2217.39 c 2217 1685872 5084 1 - 0.0000 -
2214.79/2222.44 c 2222 1690601 5169 1 - 0.0000 -
2219.88/2227.51 c 2228 1694302 5056 1 - 0.0000 -
2224.87/2232.55 c 2233 1697595 5238 1 - 0.0000 -
2229.95/2237.60 c 2238 1701796 5701 1 - 0.0000 -
2234.94/2242.65 c 2243 1705629 5676 1 - 0.0000 -
2240.02/2247.70 c 2248 1709670 5024 1 - 0.0000 -
2245.00/2252.75 c 2253 1713301 4953 1 - 0.0000 -
2250.09/2257.80 c 2258 1717019 4981 1 - 0.0000 -
2255.07/2262.85 c 2263 1720870 4982 1 - 0.0000 -
2260.16/2267.90 c 2268 1724577 5196 1 - 0.0000 -
2265.25/2273.05 c 2273 1727724 5358 1 - 0.0000 -
2270.24/2278.09 c 2278 1730821 5389 1 - 0.0000 -
2275.32/2283.14 c 2283 1734180 5187 1 - 0.0000 -
2280.31/2288.19 c 2288 1737654 5073 1 - 0.0000 -
2285.37/2293.24 c 2293 1741197 4938 1 - 0.0000 -
2290.36/2298.29 c 2298 1745255 5103 1 - 0.0000 -
2295.44/2303.34 c 2303 1749714 5059 1 - 0.0000 -
2300.42/2308.39 c 2308 1753859 4969 1 - 0.0000 -
2305.51/2313.44 c 2313 1758155 4955 1 - 0.0000 -
2310.50/2318.49 c 2318 1761843 4990 1 - 0.0000 -
2315.58/2323.54 c 2324 1765968 4916 1 - 0.0000 -
2320.56/2328.59 c 2329 1769596 4908 1 - 0.0000 -
2325.64/2333.64 c 2334 1773442 4991 1 - 0.0000 -
2330.63/2338.69 c 2339 1775729 5006 1 - 0.0000 -
2335.72/2343.74 c 2344 1778161 4944 1 - 0.0000 -
2340.81/2348.80 c 2349 1782238 5232 1 - 0.0000 -
2345.78/2353.84 c 2354 1786664 5159 1 - 0.0000 -
2350.77/2358.89 c 2359 1790883 4980 1 - 0.0000 -
2355.86/2363.94 c 2364 1794917 5138 1 - 0.0000 -
2360.84/2368.99 c 2369 1798733 5077 1 - 0.0000 -
2365.94/2374.04 c 2374 1802213 5086 1 - 0.0000 -
2370.92/2379.09 c 2379 1806673 5025 1 - 0.0000 -
2376.00/2384.14 c 2384 1811341 5000 1 - 0.0000 -
2381.08/2389.24 c 2389 1815495 4973 1 - 0.0000 -
2386.07/2394.28 c 2394 1819457 4987 1 - 0.0000 -
2391.14/2399.33 c 2399 1823116 5194 1 - 0.0000 -
2396.12/2404.39 c 2404 1824878 5292 1 - 0.0000 -
2401.21/2409.44 c 2409 1826300 5572 1 - 0.0000 -
2406.19/2414.49 c 2414 1829494 5726 1 - 0.0000 -
2411.27/2419.58 c 2420 1832565 5661 1 - 0.0000 -
2416.36/2424.62 c 2425 1835571 5295 1 - 0.0000 -
2421.34/2429.67 c 2430 1839688 5240 1 - 0.0000 -
2426.42/2434.72 c 2435 1843862 5207 1 - 0.0000 -
2431.41/2439.77 c 2440 1848325 5414 1 - 0.0000 -
2436.48/2444.82 c 2445 1852253 5661 1 - 0.0000 -
2441.47/2449.87 c 2450 1857023 5888 1 - 0.0000 -
2446.55/2454.92 c 2455 1861470 5697 1 - 0.0000 -
2451.53/2459.97 c 2460 1865542 5206 1 - 0.0000 -
2456.61/2465.02 c 2465 1870089 5201 1 - 0.0000 -
2461.60/2470.07 c 2470 1874498 5254 1 - 0.0000 -
2466.69/2475.18 c 2475 1877954 5145 1 - 0.0000 -
2471.76/2480.22 c 2480 1882429 5127 1 - 0.0000 -
2476.74/2485.27 c 2485 1886414 5247 1 - 0.0000 -
2481.83/2490.32 c 2490 1891019 5367 1 - 0.0000 -
2486.82/2495.37 c 2495 1895760 5143 1 - 0.0000 -
2491.90/2500.42 c 2500 1899725 5205 1 - 0.0000 -
2496.88/2505.47 c 2505 1903888 5219 1 - 0.0000 -
2501.97/2510.52 c 2511 1908258 5141 1 - 0.0000 -
2506.95/2515.58 c 2516 1912257 5193 1 - 0.0000 -
2512.03/2520.63 c 2521 1915882 5127 1 - 0.0000 -
2517.12/2525.71 c 2526 1918551 5309 1 - 0.0000 -
2522.21/2530.80 c 2531 1921075 5387 1 - 0.0000 -
2527.19/2535.85 c 2536 1923536 5208 1 - 0.0000 -
2532.28/2540.90 c 2541 1926401 5126 1 - 0.0000 -
2537.26/2545.95 c 2546 1930081 5097 1 - 0.0000 -
2542.24/2551.01 c 2551 1934842 5284 1 - 0.0000 -
2547.33/2556.05 c 2556 1939426 5121 1 - 0.0000 -
2552.32/2561.10 c 2561 1943310 5095 1 - 0.0000 -
2557.40/2566.15 c 2566 1947168 5114 1 - 0.0000 -
2562.48/2571.20 c 2571 1951110 5124 1 - 0.0000 -
2567.46/2576.25 c 2576 1955166 5102 1 - 0.0000 -
2572.54/2581.30 c 2581 1958845 5132 1 - 0.0000 -
2577.53/2586.35 c 2586 1963046 5208 1 - 0.0000 -
2582.61/2591.40 c 2591 1967041 5100 1 - 0.0000 -
2587.59/2596.45 c 2596 1971390 5124 1 - 0.0000 -
2592.68/2601.50 c 2602 1975479 5083 1 - 0.0000 -
2597.67/2606.55 c 2607 1978851 5120 1 - 0.0000 -
2602.75/2611.60 c 2612 1983349 5115 1 - 0.0000 -
2607.74/2616.65 c 2617 1987215 5099 1 - 0.0000 -
2612.82/2621.70 c 2622 1990267 5112 1 - 0.0000 -
2617.81/2626.75 c 2627 1994049 5129 1 - 0.0000 -
2622.89/2631.80 c 2632 1997905 5191 1 - 0.0000 -
2627.87/2636.85 c 2637 2002188 5194 1 - 0.0000 -
2632.95/2641.90 c 2642 2006228 5442 1 - 0.0000 -
2637.94/2646.95 c 2647 2010877 5031 1 - 0.0000 -
2642.93/2652.01 c 2652 2015389 5161 1 - 0.0000 -
2648.02/2657.05 c 2657 2019539 5397 1 - 0.0000 -
2653.00/2662.10 c 2662 2024398 5260 1 - 0.0000 -
2658.09/2667.15 c 2667 2028974 5120 1 - 0.0000 -
2663.16/2672.20 c 2672 2033473 5170 1 - 0.0000 -
2668.15/2677.25 c 2677 2037593 5117 1 - 0.0000 -
2673.23/2682.30 c 2682 2041484 5108 1 - 0.0000 -
2678.21/2687.35 c 2687 2045290 5145 1 - 0.0000 -
2683.29/2692.40 c 2692 2049032 5004 1 - 0.0000 -
2688.28/2697.45 c 2697 2052738 5194 1 - 0.0000 -
2693.36/2702.50 c 2703 2056193 5095 1 - 0.0000 -
2698.35/2707.55 c 2708 2060048 5163 1 - 0.0000 -
2703.44/2712.60 c 2713 2064094 5242 1 - 0.0000 -
2708.42/2717.65 c 2718 2068696 5620 1 - 0.0000 -
2713.50/2722.70 c 2723 2073266 5358 1 - 0.0000 -
2718.49/2727.75 c 2728 2077890 5359 1 - 0.0000 -
2723.58/2732.80 c 2733 2082080 5369 1 - 0.0000 -
2728.57/2737.85 c 2738 2086451 5385 1 - 0.0000 -
2733.64/2742.90 c 2743 2090648 5311 1 - 0.0000 -
2738.63/2747.95 c 2748 2094695 5234 1 - 0.0000 -
2743.72/2753.02 c 2753 2098445 5497 1 - 0.0000 -
2748.71/2758.08 c 2758 2100545 6414 1 - 0.0000 -
2753.80/2763.16 c 2763 2103541 5557 1 - 0.0000 -
2758.87/2768.21 c 2768 2107951 5691 1 - 0.0000 -
2763.85/2773.26 c 2773 2111999 5588 1 - 0.0000 -
2768.94/2778.31 c 2778 2115987 5437 1 - 0.0000 -
2773.93/2783.36 c 2783 2120445 5435 1 - 0.0000 -
2779.01/2788.41 c 2788 2123975 5480 1 - 0.0000 -
2783.99/2793.46 c 2793 2127607 5500 1 - 0.0000 -
2789.18/2798.66 c 2799 2130963 5393 1 - 0.0000 -
2794.26/2803.70 c 2804 2133647 5350 1 - 0.0000 -
2799.25/2808.75 c 2809 2137710 5415 1 - 0.0000 -
2804.33/2813.80 c 2814 2142221 5569 1 - 0.0000 -
2809.32/2818.85 c 2819 2146541 5427 1 - 0.0000 -
2814.40/2823.90 c 2824 2150871 5616 1 - 0.0000 -
2819.39/2828.95 c 2829 2155376 5600 1 - 0.0000 -
2824.37/2834.01 c 2834 2159616 5655 1 - 0.0000 -
2829.46/2839.05 c 2839 2164047 5415 1 - 0.0000 -
2834.55/2844.14 c 2844 2167109 5476 1 - 0.0000 -
2839.54/2849.19 c 2849 2170969 5607 1 - 0.0000 -
2844.61/2854.24 c 2854 2174932 5473 1 - 0.0000 -
2849.59/2859.29 c 2859 2178877 5448 1 - 0.0000 -
2854.68/2864.34 c 2864 2183032 5308 1 - 0.0000 -
2859.66/2869.39 c 2869 2186687 5107 1 - 0.0000 -
2864.75/2874.44 c 2874 2190792 5115 1 - 0.0000 -
2869.73/2879.49 c 2880 2195002 5039 1 - 0.0000 -
2874.82/2884.54 c 2885 2197968 5259 1 - 0.0000 -
2879.80/2889.59 c 2890 2202213 5265 1 - 0.0000 -
2884.88/2894.64 c 2895 2205851 5107 1 - 0.0000 -
2889.97/2899.71 c 2900 2209023 5336 1 - 0.0000 -
2895.05/2904.83 c 2905 2213223 5186 1 - 0.0000 -
2900.04/2909.88 c 2910 2217431 5137 1 - 0.0000 -
2905.12/2914.93 c 2915 2221323 5041 1 - 0.0000 -
2910.10/2919.98 c 2920 2224897 5048 1 - 0.0000 -
2915.20/2925.03 c 2925 2228687 5000 1 - 0.0000 -
2920.19/2930.08 c 2930 2232391 4971 1 - 0.0000 -
2925.27/2935.13 c 2935 2235386 5003 1 - 0.0000 -
2930.25/2940.18 c 2940 2239425 4977 1 - 0.0000 -
2935.33/2945.23 c 2945 2243557 4822 1 - 0.0000 -
2940.31/2950.28 c 2950 2247856 4740 1 - 0.0000 -
2945.40/2955.33 c 2955 2252176 4692 1 - 0.0000 -
2950.38/2960.38 c 2960 2256390 4550 1 - 0.0000 -
2955.47/2965.43 c 2965 2258185 4583 1 - 0.0000 -
2960.46/2970.48 c 2970 2261628 4573 1 - 0.0000 -
2965.54/2975.53 c 2976 2265354 4765 1 - 0.0000 -
2970.53/2980.58 c 2981 2269625 4671 1 - 0.0000 -
2975.61/2985.63 c 2986 2274425 4735 1 - 0.0000 -
2980.59/2990.68 c 2991 2278945 4608 1 - 0.0000 -
2985.68/2995.73 c 2996 2282285 4550 1 - 0.0000 -
2990.76/3000.81 c 3001 2285824 4494 1 - 0.0000 -
2995.75/3005.85 c 3006 2289783 4344 1 - 0.0000 -
3000.84/3010.92 c 3011 2292966 4285 1 - 0.0000 -
3005.82/3015.97 c 3016 2296891 4243 1 - 0.0000 -
3010.91/3021.04 c 3021 2300703 4199 1 - 0.0000 -
3015.90/3026.08 c 3026 2304631 4285 1 - 0.0000 -
3020.98/3031.13 c 3031 2308701 4145 1 - 0.0000 -
3025.97/3036.18 c 3036 2312759 4021 1 - 0.0000 -
3031.05/3041.23 c 3041 2316647 3985 1 - 0.0000 -
3036.03/3046.28 c 3046 2320420 4069 1 - 0.0000 -
3041.11/3051.33 c 3051 2324022 4321 1 - 0.0000 -
3046.10/3056.38 c 3056 2328398 4097 1 - 0.0000 -
3051.19/3061.43 c 3061 2332096 4118 1 - 0.0000 -
3056.17/3066.48 c 3066 2335815 3892 1 - 0.0000 -
3061.25/3071.53 c 3072 2339849 3766 1 - 0.0000 -
3066.25/3076.58 c 3077 2343371 3610 1 - 0.0000 -
3071.33/3081.63 c 3082 2348494 3676 1 - 0.0000 -
3076.32/3086.68 c 3087 2352269 3441 1 - 0.0000 -
3081.39/3091.73 c 3092 2356241 3338 1 - 0.0000 -
3086.39/3096.78 c 3097 2359825 3266 1 - 0.0000 -
3091.46/3101.83 c 3102 2363663 3773 1 - 0.0000 -
3096.55/3106.90 c 3107 2366741 3228 1 - 0.0000 -
3101.54/3111.95 c 3112 2370020 3046 1 - 0.0000 -
3106.64/3117.01 c 3117 2373579 2553 1 - 0.0000 -
3111.62/3122.05 c 3122 2377632 2407 1 - 0.0000 -
3116.61/3127.10 c 3127 2381895 2396 1 - 0.0000 -
3121.69/3132.15 c 3132 2385471 2182 1 - 0.0000 -
3126.77/3137.20 c 3137 2388832 1702 1 - 0.0000 -
3131.76/3142.25 c 3142 2392302 1703 1 - 0.0000 -
3136.83/3147.31 c 3147 2395854 1431 1 - 0.0000 -
3141.83/3152.36 c 3152 2399113 1030 1 - 0.0000 -
3146.91/3157.40 c 3157 2402704 649 1 - 0.0000 -
3151.89/3162.46 c 3162 2406245 881 1 - 0.0000 -
3156.98/3167.51 c 3168 2410436 575 1 - 0.0000 -
3160.17/3170.70 c 3171 2412423 0 0 - 0.0000 -
3160.17/3170.74 c 3171 2412423 0 0 - 0.0000 -
3160.17/3170.74 c SCIP Status : c problem is solved [infeasible]
3160.17/3170.74 c Total Time : 3170.7300
3160.17/3170.74 c solving : 3170.7300
3160.17/3170.74 c presolving : 0.0803 (included in solving)
3160.17/3170.74 c B&B Tree :
3160.17/3170.74 c nodes (total) : 2412423
3160.17/3170.74 c Solution :
3160.17/3170.74 c Solutions found : 0
3160.17/3170.74 c Primal Bound : -
3160.17/3170.74 c Dual Bound : -
3160.17/3170.74 c Gap : -
3160.17/3170.74 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: 64096 MiB (63014 MiB free)
memory of node 1: 64473 MiB (63791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464689-1722390349/watcher-4464689-1722390349 -o /tmp/evaluation-result-4464689-1722390349/solver-4464689-1722390349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35753 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464689-1722390349.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35806, runsolver pid=35800
[startup+0.100713 s]*
/proc/loadavg: 1.80 1.63 2.49 6/239 35814
/proc/meminfo: memFree=129817720/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=43456 memory=24256 CPUtime=0.1 cores=1,3
/proc/35806/stat : 35806 (fscip) R 35800 35806 35100 0 -1 4194304 3554 0 0 0 9 1 0 0 20 0 2 0 5405499 44498944 6064 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 10864 6064 2790 3035 0 7259 0
[pid=35806/tid=35816] ppid=35800 vsize=43684 memory=4026531971 CPUtime=0 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 5405510 44732416 6130 134679101440 4194304 16623229 140723952933184 0 0 0 2147221247 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43456 KiB
Current children cumulated memory: 24256 KiB
[startup+0.214233 s]*
/proc/loadavg: 1.80 1.63 2.49 7/245 35820
/proc/meminfo: memFree=129764996/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=38904 CPUtime=0.21 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 7076 0 0 0 19 2 0 0 20 0 3 0 5405499 120369152 9726 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 9726 2966 3035 0 13358 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=8505393642823811203 CPUtime=0.1 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 3368 0 0 0 9 1 0 0 20 0 3 0 5405510 120369152 9726 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=80307 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 9726 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 38904 KiB
[startup+0.313988 s]*
/proc/loadavg: 1.80 1.63 2.49 6/247 35822
/proc/meminfo: memFree=129737548/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=39168 CPUtime=0.31 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 7161 0 0 0 29 2 0 0 20 0 3 0 5405499 120369152 9792 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 9792 2966 3035 0 13381 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=-5155635708197038981 CPUtime=0.2 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 3453 0 0 0 19 1 0 0 20 0 3 0 5405510 120369152 9792 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=0 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 9792 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 39168 KiB
[startup+0.700388 s]
/proc/loadavg: 1.80 1.63 2.49 6/247 35822
/proc/meminfo: memFree=129720996/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=41016 CPUtime=0.68 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 7634 0 0 0 65 3 0 0 20 0 3 0 5405499 120369152 10254 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 10254 2966 3035 0 13794 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=0 CPUtime=0.57 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 3926 0 0 0 56 1 0 0 20 0 3 0 5405510 120369152 10254 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=0 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 10254 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 41016 KiB
[startup+1.50038 s]
/proc/loadavg: 2.05 1.68 2.51 5/242 35836
/proc/meminfo: memFree=129768720/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=42768 CPUtime=1.47 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 10704 0 0 0 144 3 0 0 20 0 3 0 5405499 120369152 10692 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 10692 3014 3035 0 14076 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=0 CPUtime=1.37 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 6979 0 0 0 135 2 0 0 20 0 3 0 5405510 120369152 10692 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=0 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 10692 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 42768 KiB
[startup+3.11245 s]
/proc/loadavg: 2.05 1.68 2.51 4/239 36001
/proc/meminfo: memFree=129753432/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=47448 CPUtime=3.08 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 11852 0 0 0 304 4 0 0 20 0 3 0 5405499 120369152 11862 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 11862 3318 3035 0 14879 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=0 CPUtime=2.97 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 8125 0 0 0 294 3 0 0 20 0 3 0 5405510 120369152 11862 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=41016 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 11862 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 47448 KiB
[startup+6.30031 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36255
/proc/meminfo: memFree=129482120/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=48192 CPUtime=6.26 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 15435 0 0 0 621 5 0 0 20 0 3 0 5405499 120369152 12048 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 12048 3318 3035 0 15047 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=0 CPUtime=6.14 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 11681 0 0 0 611 3 0 0 20 0 3 0 5405510 120369152 12048 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=0 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 12048 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 48192 KiB
[startup+12.7003 s]
/proc/loadavg: 2.50 1.79 2.53 5/248 36305
/proc/meminfo: memFree=128396696/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=59384 CPUtime=12.62 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 28222 0 0 0 1255 7 0 0 20 0 3 0 5405499 120369152 14846 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 14846 3350 3035 0 18224 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=-7090754354903344768 CPUtime=12.5 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 24431 0 0 0 1245 5 0 0 20 0 3 0 5405510 120369152 14846 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=45568 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 14846 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 59384 KiB
[startup+25.5004 s]
/proc/loadavg: 2.73 1.87 2.55 5/248 36308
/proc/meminfo: memFree=128123492/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=67684 CPUtime=25.37 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 40769 0 0 0 2529 8 0 0 20 0 3 0 5405499 120369152 16921 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 16921 3350 3035 0 19670 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=65696 CPUtime=25.26 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 36948 0 0 0 2519 7 0 0 20 0 3 0 5405510 120369152 16921 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=64772 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 16921 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 67684 KiB
[startup+51.1127 s]
/proc/loadavg: 3.31 2.09 2.60 5/248 36311
/proc/meminfo: memFree=127879112/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=117548 memory=85704 CPUtime=50.89 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 50768 0 0 0 5076 13 0 0 20 0 3 0 5405499 120369152 21426 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 29387 21426 3350 3035 0 23781 0
[pid=35806/tid=35816] ppid=35800 vsize=117548 memory=85704 CPUtime=50.78 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 46901 0 0 0 5066 12 0 0 20 0 3 0 5405510 120369152 21426 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=117548 memory=85704 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5405512 120369152 21426 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 85704 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 2.45 2.70 5/248 36320
/proc/meminfo: memFree=127763888/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=183084 memory=96596 CPUtime=101.91 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 54743 0 0 0 10172 19 0 0 20 0 3 0 5405499 187478016 24149 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 45771 24149 3350 3035 0 26145 0
[pid=35806/tid=35816] ppid=35800 vsize=183084 memory=-7522818444154199671 CPUtime=101.79 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 50830 0 0 0 10162 17 0 0 20 0 3 0 5405510 187478016 24149 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=183084 memory=12624 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5405512 187478016 24149 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 183084 KiB
Current children cumulated memory: 96596 KiB
[startup+162.3 s]
/proc/loadavg: 4.65 2.93 2.85 5/248 36330
/proc/meminfo: memFree=127662428/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=183084 memory=113408 CPUtime=161.71 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 67690 0 0 0 16142 29 0 0 20 0 3 0 5405499 187478016 28352 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 45771 28352 3350 3035 0 30371 0
[pid=35806/tid=35816] ppid=35800 vsize=183084 memory=108544 CPUtime=161.59 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 63746 0 0 0 16131 28 0 0 20 0 3 0 5405510 187478016 28352 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=183084 memory=113408 CPUtime=0 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5405512 187478016 28352 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 183084 KiB
Current children cumulated memory: 113408 KiB
################
# More data... #
################
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=236844 CPUtime=2912.1 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 645207 0 0 0 290764 446 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=11516 CPUtime=0.03 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 128 0 0 0 0 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 2912.5 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/247 38029
/proc/meminfo: memFree=124241692/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=2972.32 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 650743 0 0 0 296766 466 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=2188 CPUtime=2971.91 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 646037 0 0 0 296737 454 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=236844 CPUtime=0.03 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 130 0 0 0 0 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 2972.32 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/247 38041
/proc/meminfo: memFree=124161088/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3032.14 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 651550 0 0 0 302740 474 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=11516 CPUtime=3031.73 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 646831 0 0 0 302711 462 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=11516 CPUtime=0.03 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3032.14 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/246 38051
/proc/meminfo: memFree=124118164/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3091.97 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 652465 0 0 0 308716 481 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=1972 CPUtime=3091.56 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 647729 0 0 0 308687 469 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=236844 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3091.97 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/247 38062
/proc/meminfo: memFree=124068528/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3151.79 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653188 0 0 0 314691 488 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=236844 CPUtime=3151.37 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648444 0 0 0 314661 476 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=236844 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3151.79 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3170.75 s]
# the end of solver process 35806 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3155.32 s, system=4.90264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3164.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/247 38064
/proc/meminfo: memFree=124066392/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3154.29 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653231 0 0 0 314940 489 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=236844 CPUtime=3153.87 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648479 0 0 0 314910 477 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=14720 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3168 s]*
/proc/loadavg: 4.12 4.11 4.09 5/247 38064
/proc/meminfo: memFree=124061128/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3157.49 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653252 0 0 0 315260 489 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=-7522818444154199671 CPUtime=3157.07 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648500 0 0 0 315230 477 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=-4421386504804590436 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3157.49 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3169.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/247 38064
/proc/meminfo: memFree=124061128/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3159.07 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653356 0 0 0 315418 489 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=14720 CPUtime=3158.65 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648604 0 0 0 315388 477 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=236844 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3159.07 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3170.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/247 38064
/proc/meminfo: memFree=124061108/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3159.87 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653385 0 0 0 315498 489 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=236844 CPUtime=3159.45 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648633 0 0 0 315468 477 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=4808 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3159.87 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3170.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/247 38064
/proc/meminfo: memFree=124061108/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3160.07 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653393 0 0 0 315518 489 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=10488 CPUtime=3159.65 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648641 0 0 0 315488 477 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=28992 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3160.07 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
[startup+3170.7 s]
/proc/loadavg: 4.12 4.11 4.09 5/247 38064
/proc/meminfo: memFree=124061108/131655788 swapFree=131071216/131071996
[pid=35806] ppid=35800 vsize=314156 memory=236844 CPUtime=3160.17 cores=1,3
/proc/35806/stat : 35806 (fscip) S 35800 35806 35100 0 -1 1077936128 653398 0 0 0 315528 489 0 0 20 0 3 0 5405499 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
/proc/35806/statm: 78539 59211 3350 3035 0 60936 0
[pid=35806/tid=35816] ppid=35800 vsize=314156 memory=236844 CPUtime=3159.75 cores=1,3
/proc/35806/task/35816/stat : 35816 (fscip) R 35800 35806 35100 0 -1 4194368 648646 0 0 0 315498 477 0 0 20 0 3 0 5405510 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
[pid=35806/tid=35817] ppid=35800 vsize=314156 memory=236844 CPUtime=0.04 cores=1,3
/proc/35806/task/35817/stat : 35817 (fscip) S 35800 35806 35100 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 5405512 321695744 59211 134679101440 4194304 16623229 140723952933184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 47529984 140723952935962 140723952936078 140723952936078 140723952943088 0
Current children cumulated CPU time: 3160.17 s
Current children cumulated vsize: 314156 KiB
Current children cumulated memory: 236844 KiB
Child status: 0
Real time (s): 3170.75
CPU time (s): 3160.23
CPU user time (s): 3155.32
CPU system time (s): 4.90264
CPU usage (%): 99.6682
Max. virtual memory (cumulated for all children) (KiB): 314156
Max. memory (cumulated for all children) (KiB): 236844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3155.32
system time used= 4.90264
maximum resident set size= 236844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654017
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= 9562
involuntary context switches= 1206
# summary of solver processes directly reported to runsolver:
# pid: 35806
# total CPU time (s): 3160.23
# total CPU user time (s): 3155.32
# total CPU system time (s): 4.90264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6221 second user time and 32.0751 second system time
The end
Begin job on nodeC007 at 2024-07-31 03:45:49
IDJOB=4464689
IDBENCH=175982
IDSOLVER=3092
FILE ID=nodeC007/4464689-1722390349
RUNJOBID= nodeC007-1722390349-35753
SLURM_JOB_ID= 8249877
Free space on /tmp= 723784 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464689-1722390349/watcher-4464689-1722390349 -o /tmp/evaluation-result-4464689-1722390349/solver-4464689-1722390349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35753 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464689-1722390349.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 928ae9c4ace7ac4d67936920dc463dea
RANDOM SEED=964884742
nodeC007.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 : 1197.187
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.58
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 : 1197.186
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.35
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.356
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.58
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.332
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.35
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 : 1197.187
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.58
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 : 1206.976
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.35
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 : 1278.812
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.58
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 : 1193.933
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129864444 kB
MemAvailable: 130156028 kB
Buffers: 100272 kB
Cached: 1030516 kB
SwapCached: 100 kB
Active: 262120 kB
Inactive: 1106744 kB
Active(anon): 1392 kB
Inactive(anon): 257768 kB
Active(file): 260728 kB
Inactive(file): 848976 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 113112 kB
Writeback: 8 kB
AnonPages: 238228 kB
Mapped: 87732 kB
Shmem: 21076 kB
KReclaimable: 44160 kB
Slab: 120424 kB
SReclaimable: 44160 kB
SUnreclaim: 76264 kB
KernelStack: 3520 kB
PageTables: 9148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 632028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 135168 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC007 at 2024-07-31 04:38:40