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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22540288, getVmSize() = 22540288, SCIPgetMemUsed() = 828041, SCIPgetMemTotal() = 1109401, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 16145066, getVmSize() = 25894912, SCIPgetMemUsed() = 1715370, SCIPgetMemTotal() = 3426682, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4434692-1721098181
0.00/0.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 17
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 14
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 12
0.00/0.01 c logicor : 2
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.08/5.28 c 5 8242 6707 1 - 0.0000 -
10.16/10.33 c 10 18786 14687 1 - 0.0000 -
15.14/15.38 c 15 30681 22902 1 - 0.0000 -
20.22/20.42 c 20 42052 30311 1 - 0.0000 -
25.21/25.48 c 25 53236 37451 1 - 0.0000 -
30.29/30.52 c 31 63797 43962 1 - 0.0000 -
35.27/35.56 c 36 73895 50068 1 - 0.0000 -
40.36/40.64 c 41 83681 56166 1 - 0.0000 -
45.33/45.68 c 46 93127 62119 1 - 0.0000 -
50.42/50.76 c 51 102403 68176 1 - 0.0000 -
55.50/55.81 c 56 112474 74229 1 - 0.0000 -
60.48/60.86 c 61 122165 80158 1 - 0.0000 -
65.56/65.97 c 66 131374 85965 1 - 0.0000 -
70.66/71.02 c 71 139611 91146 1 - 0.0000 -
75.64/76.09 c 76 148493 96604 1 - 0.0000 -
80.72/81.18 c 81 156364 101661 1 - 0.0000 -
85.80/86.26 c 86 164752 106811 1 - 0.0000 -
90.88/91.37 c 91 173196 112027 1 - 0.0000 -
95.96/96.44 c 96 181420 117193 1 - 0.0000 -
101.04/101.57 c 102 189419 122108 1 - 0.0000 -
106.13/106.65 c 107 197217 126716 1 - 0.0000 -
111.21/111.72 c 112 204977 131486 1 - 0.0000 -
116.30/116.82 c 117 213346 136229 1 - 0.0000 -
121.28/121.89 c 122 220380 140633 1 - 0.0000 -
126.36/126.99 c 127 228205 145028 1 - 0.0000 -
131.46/132.07 c 132 236463 149810 1 - 0.0000 -
136.62/137.23 c 137 243406 154055 1 - 0.0000 -
141.71/142.37 c 142 250525 158200 1 - 0.0000 -
146.99/147.61 c 148 257733 162789 1 - 0.0000 -
152.08/152.77 c 153 263253 166527 1 - 0.0000 -
157.26/157.92 c 158 269716 170464 1 - 0.0000 -
162.35/163.04 c 163 276060 174108 1 - 0.0000 -
167.44/168.11 c 168 283506 178086 1 - 0.0000 -
172.51/173.20 c 173 290370 182088 1 - 0.0000 -
177.49/178.26 c 178 296994 185814 1 - 0.0000 -
182.67/183.43 c 183 303625 189729 1 - 0.0000 -
187.76/188.56 c 189 310307 193327 1 - 0.0000 -
192.94/193.71 c 194 315729 196615 1 - 0.0000 -
198.13/198.93 c 199 322330 200172 1 - 0.0000 -
203.11/204.01 c 204 328399 203829 1 - 0.0000 -
208.29/209.14 c 209 334706 207494 1 - 0.0000 -
213.47/214.33 c 214 341032 211016 1 - 0.0000 -
218.55/219.44 c 219 347920 214758 1 - 0.0000 -
223.63/224.59 c 225 354278 218394 1 - 0.0000 -
228.82/229.75 c 230 359432 221442 1 - 0.0000 -
233.90/234.87 c 235 366962 225420 1 - 0.0000 -
239.20/240.11 c 240 373284 229015 1 - 0.0000 -
244.46/245.42 c 245 380143 232752 1 - 0.0000 -
249.66/250.66 c 251 386155 236130 1 - 0.0000 -
254.83/255.82 c 256 391459 239284 1 - 0.0000 -
260.04/261.08 c 261 396664 242471 1 - 0.0000 -
265.11/266.17 c 266 403365 246012 1 - 0.0000 -
270.39/271.45 c 271 408576 248987 1 - 0.0000 -
275.67/276.71 c 277 414202 252089 1 - 0.0000 -
280.76/281.84 c 282 419663 255177 1 - 0.0000 -
285.95/287.08 c 287 426027 258543 1 - 0.0000 -
291.12/292.20 c 292 431962 261708 1 - 0.0000 -
296.30/297.41 c 297 438210 264962 1 - 0.0000 -
301.48/302.66 c 303 444254 268098 1 - 0.0000 -
306.77/307.95 c 308 450269 271337 1 - 0.0000 -
312.35/313.54 c 314 456468 274568 1 - 0.0000 -
317.95/319.13 c 319 461928 277571 1 - 0.0000 -
323.22/324.48 c 324 467392 280397 1 - 0.0000 -
328.51/329.78 c 330 471052 282583 1 - 0.0000 -
333.99/335.23 c 335 476274 285325 1 - 0.0000 -
339.37/340.65 c 341 481482 288203 1 - 0.0000 -
344.46/345.74 c 346 487145 291080 1 - 0.0000 -
349.53/350.84 c 351 492335 293776 1 - 0.0000 -
354.83/356.12 c 356 496962 296443 1 - 0.0000 -
360.20/361.56 c 362 501838 299007 1 - 0.0000 -
365.39/366.79 c 367 507657 302054 1 - 0.0000 -
370.78/372.12 c 372 513333 304872 1 - 0.0000 -
376.16/377.51 c 378 519718 308101 1 - 0.0000 -
381.24/382.66 c 383 523407 310258 1 - 0.0000 -
386.53/387.94 c 388 528647 313116 1 - 0.0000 -
391.71/393.18 c 393 534472 315979 1 - 0.0000 -
396.99/398.43 c 398 539202 318347 1 - 0.0000 -
402.17/403.62 c 404 544176 320887 1 - 0.0000 -
407.57/409.01 c 409 549269 323480 1 - 0.0000 -
413.04/414.53 c 415 554982 326537 1 - 0.0000 -
418.12/419.67 c 420 560415 329254 1 - 0.0000 -
423.31/424.82 c 425 565417 331916 1 - 0.0000 -
428.79/430.35 c 430 569037 334070 1 - 0.0000 -
434.27/435.89 c 436 573417 336688 1 - 0.0000 -
439.57/441.19 c 441 579937 339738 1 - 0.0000 -
444.94/446.53 c 447 583694 341885 1 - 0.0000 -
450.43/452.09 c 452 587556 344163 1 - 0.0000 -
455.60/457.25 c 457 592585 346842 1 - 0.0000 -
461.19/462.82 c 463 597804 349671 1 - 0.0000 -
466.49/468.16 c 468 603268 352533 1 - 0.0000 -
471.56/473.22 c 473 607073 354626 1 - 0.0000 -
477.04/478.73 c 479 611307 357160 1 - 0.0000 -
482.53/484.24 c 484 616466 359891 1 - 0.0000 -
487.80/489.53 c 490 621302 362415 1 - 0.0000 -
493.20/494.96 c 495 626780 365081 1 - 0.0000 -
498.29/500.11 c 500 632343 367826 1 - 0.0000 -
503.86/505.69 c 506 637928 370560 1 - 0.0000 -
509.25/511.02 c 511 642439 372839 1 - 0.0000 -
514.53/516.36 c 516 647025 375447 1 - 0.0000 -
519.81/521.67 c 522 652079 378077 1 - 0.0000 -
524.99/526.86 c 527 657042 380470 1 - 0.0000 -
530.47/532.37 c 532 661575 382829 1 - 0.0000 -
535.66/537.57 c 538 665596 385016 1 - 0.0000 -
541.64/543.56 c 544 670428 387462 1 - 0.0000 -
546.83/548.70 c 549 675858 390174 1 - 0.0000 -
552.22/554.12 c 554 681249 392899 1 - 0.0000 -
557.79/559.79 c 560 685953 395213 1 - 0.0000 -
562.87/564.84 c 565 691011 397747 1 - 0.0000 -
568.86/570.86 c 571 694460 399725 1 - 0.0000 -
574.44/576.48 c 576 698933 402240 1 - 0.0000 -
580.04/582.03 c 582 703666 404735 1 - 0.0000 -
585.61/587.65 c 588 707930 406954 1 - 0.0000 -
590.80/592.86 c 593 711083 408881 1 - 0.0000 -
596.17/598.23 c 598 714063 410645 1 - 0.0000 -
601.66/603.78 c 604 717134 412552 1 - 0.0000 -
607.55/609.62 c 610 718843 413765 1 - 0.0000 -
613.32/615.45 c 615 721509 415579 1 - 0.0000 -
619.41/621.51 c 622 724612 417606 1 - 0.0000 -
624.69/626.85 c 627 726752 419082 1 - 0.0000 -
629.89/632.08 c 632 729781 420855 1 - 0.0000 -
635.46/637.69 c 638 733024 422856 1 - 0.0000 -
641.04/643.21 c 643 736940 425068 1 - 0.0000 -
646.63/648.82 c 649 740897 427215 1 - 0.0000 -
652.11/654.35 c 654 744644 429166 1 - 0.0000 -
657.19/659.49 c 660 746937 430659 1 - 0.0000 -
662.89/665.13 c 665 751206 432986 1 - 0.0000 -
667.96/670.27 c 670 755404 434996 1 - 0.0000 -
673.45/675.70 c 676 760873 437859 1 - 0.0000 -
679.03/681.34 c 681 764977 440125 1 - 0.0000 -
684.22/686.52 c 687 769229 442105 1 - 0.0000 -
689.40/691.76 c 692 773634 444318 1 - 0.0000 -
694.98/697.37 c 697 777667 446523 1 - 0.0000 -
700.67/703.09 c 703 781488 448512 1 - 0.0000 -
705.95/708.38 c 708 785427 450591 1 - 0.0000 -
711.33/713.71 c 714 789122 452614 1 - 0.0000 -
716.92/719.38 c 719 794162 454920 1 - 0.0000 -
722.50/724.93 c 725 796176 456286 1 - 0.0000 -
727.88/730.37 c 730 800590 458420 1 - 0.0000 -
733.27/735.79 c 736 805024 460828 1 - 0.0000 -
739.05/741.54 c 742 809002 462886 1 - 0.0000 -
744.65/747.17 c 747 813533 465079 1 - 0.0000 -
750.12/752.60 c 753 817756 467158 1 - 0.0000 -
755.70/758.24 c 758 821468 469204 1 - 0.0000 -
761.28/763.85 c 764 825202 471164 1 - 0.0000 -
766.58/769.14 c 769 829415 473371 1 - 0.0000 -
771.95/774.52 c 775 833850 475564 1 - 0.0000 -
777.34/779.90 c 780 839223 478169 1 - 0.0000 -
783.32/785.94 c 786 843379 480275 1 - 0.0000 -
788.90/791.55 c 792 847648 482368 1 - 0.0000 -
794.19/796.84 c 797 850763 484125 1 - 0.0000 -
799.77/802.43 c 802 855022 486211 1 - 0.0000 -
805.15/807.84 c 808 858607 487988 1 - 0.0000 -
810.93/813.68 c 814 860574 489307 1 - 0.0000 -
816.22/818.91 c 819 865222 491547 1 - 0.0000 -
821.71/824.43 c 824 869925 493805 1 - 0.0000 -
827.29/830.02 c 830 874583 496193 1 - 0.0000 -
832.56/835.33 c 835 878866 498282 1 - 0.0000 -
837.65/840.40 c 840 882456 500118 1 - 0.0000 -
843.34/846.12 c 846 886844 502360 1 - 0.0000 -
849.22/852.05 c 852 891369 504673 1 - 0.0000 -
854.68/857.50 c 858 895784 506830 1 - 0.0000 -
860.36/863.23 c 863 899290 508722 1 - 0.0000 -
865.84/868.73 c 869 903844 511034 1 - 0.0000 -
871.52/874.40 c 874 908022 513104 1 - 0.0000 -
877.50/880.40 c 880 912422 515278 1 - 0.0000 -
883.38/886.32 c 886 916707 517433 1 - 0.0000 -
889.56/892.51 c 893 920275 519289 1 - 0.0000 -
894.74/897.79 c 898 923840 521156 1 - 0.0000 -
900.53/903.54 c 904 927732 523088 1 - 0.0000 -
905.80/908.89 c 909 933226 525600 1 - 0.0000 -
911.48/914.50 c 914 938624 528028 1 - 0.0000 -
916.77/919.89 c 920 942798 530122 1 - 0.0000 -
922.65/925.71 c 926 946470 532000 1 - 0.0000 -
928.03/931.16 c 931 950823 534157 1 - 0.0000 -
933.50/936.61 c 937 954431 535905 1 - 0.0000 -
939.29/942.42 c 942 959632 538438 1 - 0.0000 -
944.67/947.85 c 948 963706 540360 1 - 0.0000 -
950.75/953.95 c 954 967930 542470 1 - 0.0000 -
956.14/959.35 c 959 971607 544315 1 - 0.0000 -
961.62/964.84 c 965 974444 545776 1 - 0.0000 -
967.00/970.26 c 970 978964 547958 1 - 0.0000 -
973.08/976.38 c 976 982365 549779 1 - 0.0000 -
978.77/982.07 c 982 986889 552021 1 - 0.0000 -
984.44/987.71 c 988 991478 554232 1 - 0.0000 -
990.42/993.79 c 994 994779 556111 1 - 0.0000 -
995.81/999.14 c 999 998469 557965 1 - 0.0000 -
1000.88/1004.25 c 1004 1001689 559577 1 - 0.0000 -
1006.46/1009.87 c 1010 1004926 561310 1 - 0.0000 -
1011.76/1015.16 c 1015 1007457 562763 1 - 0.0000 -
1017.43/1020.88 c 1021 1012332 565026 1 - 0.0000 -
1023.11/1026.59 c 1027 1015972 566890 1 - 0.0000 -
1028.78/1032.23 c 1032 1020524 569046 1 - 0.0000 -
1034.27/1037.74 c 1038 1023376 570558 1 - 0.0000 -
1039.75/1043.25 c 1043 1027762 572662 1 - 0.0000 -
1045.64/1049.18 c 1049 1031489 574441 1 - 0.0000 -
1051.71/1055.22 c 1055 1033106 575650 1 - 0.0000 -
1057.39/1060.97 c 1061 1036242 577514 1 - 0.0000 -
1062.87/1066.43 c 1066 1041430 579834 1 - 0.0000 -
1068.30/1072.00 c 1072 1044342 581176 1 - 0.0000 -
1073.58/1077.29 c 1077 1047385 582819 1 - 0.0000 -
1078.55/1082.29 c 1082 1050487 584421 1 - 0.0000 -
1084.04/1087.77 c 1088 1053843 586117 1 - 0.0000 -
1089.52/1093.25 c 1093 1057372 587908 1 - 0.0000 -
1094.81/1098.54 c 1099 1060687 589715 1 - 0.0000 -
1100.49/1104.22 c 1104 1063920 591432 1 - 0.0000 -
1106.67/1110.40 c 1110 1069447 593991 1 - 0.0000 -
1111.75/1115.51 c 1116 1071361 595035 1 - 0.0000 -
1117.13/1121.01 c 1121 1074657 596759 1 - 0.0000 -
1122.91/1126.75 c 1127 1077009 598075 1 - 0.0000 -
1128.21/1132.02 c 1132 1080467 599833 1 - 0.0000 -
1134.08/1137.98 c 1138 1082835 601247 1 - 0.0000 -
1139.66/1143.54 c 1144 1086446 603116 1 - 0.0000 -
1145.64/1149.55 c 1150 1091087 605387 1 - 0.0000 -
1151.02/1154.91 c 1155 1095264 607436 1 - 0.0000 -
1156.41/1160.32 c 1160 1097556 608822 1 - 0.0000 -
1162.19/1166.12 c 1166 1100594 610560 1 - 0.0000 -
1167.37/1171.32 c 1171 1103592 612130 1 - 0.0000 -
1172.75/1176.74 c 1177 1105902 613546 1 - 0.0000 -
1178.33/1182.38 c 1182 1109269 615267 1 - 0.0000 -
1183.91/1188.01 c 1188 1111696 616674 1 - 0.0000 -
1189.50/1193.55 c 1194 1116169 618781 1 - 0.0000 -
1195.47/1199.57 c 1200 1118594 620016 1 - 0.0000 -
1200.86/1204.95 c 1205 1121416 621472 1 - 0.0000 -
1206.44/1210.57 c 1211 1126419 623871 1 - 0.0000 -
1211.73/1215.82 c 1216 1128402 625158 1 - 0.0000 -
1217.22/1221.36 c 1221 1130815 626609 1 - 0.0000 -
1222.91/1227.10 c 1227 1133960 628330 1 - 0.0000 -
1228.78/1232.99 c 1233 1136116 629596 1 - 0.0000 -
1234.37/1238.59 c 1239 1139784 631378 1 - 0.0000 -
1240.45/1244.63 c 1245 1144108 633464 1 - 0.0000 -
1246.03/1250.25 c 1250 1148229 635539 1 - 0.0000 -
1251.02/1255.25 c 1255 1151659 637201 1 - 0.0000 -
1256.59/1260.84 c 1261 1155533 638969 1 - 0.0000 -
1261.68/1266.01 c 1266 1159117 640769 1 - 0.0000 -
1267.66/1271.97 c 1272 1163227 642829 1 - 0.0000 -
1273.64/1278.01 c 1278 1166543 644715 1 - 0.0000 -
1279.32/1283.66 c 1284 1170663 646751 1 - 0.0000 -
1284.82/1289.12 c 1289 1174230 648508 1 - 0.0000 -
1290.59/1294.95 c 1295 1177178 650206 1 - 0.0000 -
1295.86/1300.23 c 1300 1180064 651684 1 - 0.0000 -
1302.05/1306.42 c 1306 1182810 653126 1 - 0.0000 -
1307.23/1311.62 c 1312 1186227 654809 1 - 0.0000 -
1312.91/1317.35 c 1317 1190099 656783 1 - 0.0000 -
1318.39/1322.83 c 1323 1195129 659031 1 - 0.0000 -
1324.69/1329.12 c 1329 1199443 660955 1 - 0.0000 -
1330.76/1335.21 c 1335 1203677 662999 1 - 0.0000 -
1336.55/1341.06 c 1341 1207514 664874 1 - 0.0000 -
1341.83/1346.38 c 1346 1211917 666941 1 - 0.0000 -
1347.41/1351.93 c 1352 1215069 668589 1 - 0.0000 -
1353.29/1357.89 c 1358 1218439 670165 1 - 0.0000 -
1358.59/1363.19 c 1363 1222093 671973 1 - 0.0000 -
1364.17/1368.74 c 1369 1225632 673736 1 - 0.0000 -
1369.74/1374.36 c 1374 1228519 675203 1 - 0.0000 -
1375.13/1379.76 c 1380 1231791 676841 1 - 0.0000 -
1381.43/1386.02 c 1386 1233965 678061 1 - 0.0000 -
1387.41/1392.05 c 1392 1237979 679929 1 - 0.0000 -
1393.17/1397.86 c 1398 1241236 681522 1 - 0.0000 -
1398.76/1403.44 c 1403 1245463 683407 1 - 0.0000 -
1404.25/1408.96 c 1409 1249891 685509 1 - 0.0000 -
1409.83/1414.54 c 1415 1252693 686811 1 - 0.0000 -
1415.81/1420.57 c 1421 1256462 688596 1 - 0.0000 -
1421.60/1426.37 c 1426 1260240 690486 1 - 0.0000 -
1426.78/1431.51 c 1432 1264230 692338 1 - 0.0000 -
1432.57/1437.33 c 1437 1266672 693690 1 - 0.0000 -
1438.04/1442.88 c 1443 1270314 695458 1 - 0.0000 -
1443.83/1448.63 c 1449 1274766 697420 1 - 0.0000 -
1449.12/1453.97 c 1454 1279086 699466 1 - 0.0000 -
1454.70/1459.53 c 1460 1282747 701229 1 - 0.0000 -
1460.29/1465.13 c 1465 1286824 703070 1 - 0.0000 -
1465.97/1470.90 c 1471 1290072 704714 1 - 0.0000 -
1471.05/1476.00 c 1476 1291700 705824 1 - 0.0000 -
1476.83/1481.76 c 1482 1294519 707417 1 - 0.0000 -
1482.42/1487.33 c 1487 1298939 709775 1 - 0.0000 -
1488.60/1493.56 c 1494 1302248 711464 1 - 0.0000 -
1493.89/1498.84 c 1499 1302922 712056 1 - 0.0000 -
1500.37/1505.37 c 1505 1306540 714064 1 - 0.0000 -
1506.34/1511.31 c 1511 1310147 715795 1 - 0.0000 -
1512.05/1517.04 c 1517 1313406 717534 1 - 0.0000 -
1517.92/1522.93 c 1523 1316664 719310 1 - 0.0000 -
1523.30/1528.34 c 1528 1320654 721132 1 - 0.0000 -
1528.28/1533.36 c 1533 1323117 722373 1 - 0.0000 -
1534.27/1539.37 c 1539 1326947 724355 1 - 0.0000 -
1539.97/1545.01 c 1545 1330114 726042 1 - 0.0000 -
1545.53/1550.69 c 1551 1334112 727842 1 - 0.0000 -
1551.62/1556.72 c 1557 1336656 729192 1 - 0.0000 -
1557.40/1562.52 c 1563 1340144 730888 1 - 0.0000 -
1562.58/1567.76 c 1568 1342494 732240 1 - 0.0000 -
1568.08/1573.29 c 1573 1344125 733171 1 - 0.0000 -
1573.36/1578.50 c 1579 1347766 734842 1 - 0.0000 -
1578.64/1583.89 c 1584 1351060 736482 1 - 0.0000 -
1584.62/1589.82 c 1590 1354370 738084 1 - 0.0000 -
1590.61/1595.86 c 1596 1358217 740099 1 - 0.0000 -
1596.09/1601.33 c 1601 1360777 741329 1 - 0.0000 -
1601.67/1606.93 c 1607 1363862 742902 1 - 0.0000 -
1607.26/1612.59 c 1613 1367250 744592 1 - 0.0000 -
1613.44/1618.72 c 1619 1370749 746343 1 - 0.0000 -
1619.23/1624.55 c 1625 1373812 747800 1 - 0.0000 -
1624.50/1629.83 c 1630 1377312 749294 1 - 0.0000 -
1630.00/1635.35 c 1635 1379639 750597 1 - 0.0000 -
1635.28/1640.68 c 1641 1382474 752058 1 - 0.0000 -
1641.06/1646.41 c 1646 1385499 753543 1 - 0.0000 -
1647.24/1652.66 c 1653 1388787 755115 1 - 0.0000 -
1653.03/1658.45 c 1658 1390230 755998 1 - 0.0000 -
1659.21/1664.65 c 1665 1392470 757296 1 - 0.0000 -
1664.61/1670.01 c 1670 1395038 758560 1 - 0.0000 -
1670.69/1676.12 c 1676 1398389 760195 1 - 0.0000 -
1676.36/1681.88 c 1682 1403475 762417 1 - 0.0000 -
1682.34/1687.80 c 1688 1408102 764504 1 - 0.0000 -
1688.02/1693.51 c 1694 1410956 765934 1 - 0.0000 -
1693.71/1699.26 c 1699 1414905 767761 1 - 0.0000 -
1699.19/1704.71 c 1705 1419474 769864 1 - 0.0000 -
1704.59/1710.18 c 1710 1422283 771197 1 - 0.0000 -
1710.76/1716.39 c 1716 1426119 772925 1 - 0.0000 -
1716.56/1722.15 c 1722 1429572 774572 1 - 0.0000 -
1723.02/1728.61 c 1729 1432722 776168 1 - 0.0000 -
1728.52/1734.16 c 1734 1434625 777255 1 - 0.0000 -
1734.09/1739.70 c 1740 1438880 779016 1 - 0.0000 -
1739.88/1745.53 c 1746 1441164 780292 1 - 0.0000 -
1745.36/1751.03 c 1751 1445602 782266 1 - 0.0000 -
1750.73/1756.47 c 1756 1449109 783981 1 - 0.0000 -
1757.21/1762.99 c 1763 1451802 785388 1 - 0.0000 -
1762.98/1768.71 c 1769 1456208 787452 1 - 0.0000 -
1768.28/1774.04 c 1774 1459922 789288 1 - 0.0000 -
1773.74/1779.57 c 1780 1463057 790759 1 - 0.0000 -
1779.34/1785.11 c 1785 1466060 792166 1 - 0.0000 -
1785.41/1791.28 c 1791 1469589 793827 1 - 0.0000 -
1790.88/1796.79 c 1797 1471790 795112 1 - 0.0000 -
1797.45/1803.39 c 1803 1476455 797267 1 - 0.0000 -
1803.25/1809.12 c 1809 1480362 799058 1 - 0.0000 -
1808.72/1814.67 c 1815 1483336 800332 1 - 0.0000 -
1813.79/1819.79 c 1820 1487390 802144 1 - 0.0000 -
1819.97/1825.94 c 1826 1490027 803435 1 - 0.0000 -
1825.66/1831.63 c 1832 1492420 804764 1 - 0.0000 -
1831.63/1837.66 c 1838 1495654 806381 1 - 0.0000 -
1836.61/1842.69 c 1843 1496607 806968 1 - 0.0000 -
1842.79/1848.84 c 1849 1500558 808743 1 - 0.0000 -
1848.56/1854.68 c 1855 1504298 810399 1 - 0.0000 -
1854.44/1860.55 c 1861 1507782 812095 1 - 0.0000 -
1860.04/1866.18 c 1866 1509562 813133 1 - 0.0000 -
1865.80/1871.99 c 1872 1515222 815439 1 - 0.0000 -
1871.18/1877.36 c 1877 1518280 816933 1 - 0.0000 -
1876.26/1882.46 c 1882 1521906 818621 1 - 0.0000 -
1881.74/1887.96 c 1888 1526898 820695 1 - 0.0000 -
1887.52/1893.74 c 1894 1529245 821912 1 - 0.0000 -
1892.81/1899.09 c 1899 1532742 823465 1 - 0.0000 -
1898.08/1904.31 c 1904 1534652 824507 1 - 0.0000 -
1903.27/1909.59 c 1910 1538604 826269 1 - 0.0000 -
1908.54/1914.89 c 1915 1541509 827568 1 - 0.0000 -
1914.92/1921.23 c 1921 1546083 829632 1 - 0.0000 -
1919.99/1926.36 c 1926 1549347 831084 1 - 0.0000 -
1925.58/1931.93 c 1932 1553039 832884 1 - 0.0000 -
1931.56/1937.91 c 1938 1556809 834740 1 - 0.0000 -
1937.13/1943.51 c 1944 1560575 836446 1 - 0.0000 -
1942.91/1949.34 c 1949 1564106 838087 1 - 0.0000 -
1948.49/1954.96 c 1955 1568973 840216 1 - 0.0000 -
1953.87/1960.31 c 1960 1574037 842354 1 - 0.0000 -
1959.75/1966.28 c 1966 1577178 844001 1 - 0.0000 -
1965.43/1972.01 c 1972 1580722 845823 1 - 0.0000 -
1971.70/1978.20 c 1978 1582920 846989 1 - 0.0000 -
1977.39/1983.92 c 1984 1586370 848657 1 - 0.0000 -
1982.47/1989.01 c 1989 1589238 850039 1 - 0.0000 -
1988.05/1994.62 c 1995 1592650 851623 1 - 0.0000 -
1994.23/2000.87 c 2001 1594928 852891 1 - 0.0000 -
1999.92/2006.52 c 2007 1597317 854082 1 - 0.0000 -
2005.50/2012.16 c 2012 1601313 855870 1 - 0.0000 -
2011.17/2017.86 c 2018 1604200 857281 1 - 0.0000 -
2016.16/2022.89 c 2023 1605968 858275 1 - 0.0000 -
2022.24/2028.99 c 2029 1609338 859815 1 - 0.0000 -
2027.33/2034.02 c 2034 1611082 860639 1 - 0.0000 -
2032.90/2039.65 c 2040 1614021 862092 1 - 0.0000 -
2038.49/2045.27 c 2045 1617526 863595 1 - 0.0000 -
2043.98/2050.78 c 2051 1620442 865003 1 - 0.0000 -
2049.86/2056.67 c 2057 1623583 866553 1 - 0.0000 -
2055.84/2062.65 c 2063 1627298 868140 1 - 0.0000 -
2061.52/2068.35 c 2068 1631115 869901 1 - 0.0000 -
2067.11/2073.97 c 2074 1634895 871407 1 - 0.0000 -
2072.49/2079.31 c 2079 1637657 872741 1 - 0.0000 -
2078.19/2085.02 c 2085 1641666 874426 1 - 0.0000 -
2083.36/2090.22 c 2090 1643463 875199 1 - 0.0000 -
2088.44/2095.36 c 2095 1644247 875779 1 - 0.0000 -
2093.83/2100.77 c 2101 1644997 876405 1 - 0.0000 -
2099.71/2106.67 c 2107 1647249 877699 1 - 0.0000 -
2105.89/2112.81 c 2113 1650128 879236 1 - 0.0000 -
2111.68/2118.61 c 2119 1651912 880318 1 - 0.0000 -
2116.96/2123.92 c 2124 1653846 881446 1 - 0.0000 -
2122.84/2129.84 c 2130 1655523 882423 1 - 0.0000 -
2128.63/2135.66 c 2136 1657512 883584 1 - 0.0000 -
2135.02/2142.06 c 2142 1660292 885120 1 - 0.0000 -
2140.90/2147.92 c 2148 1662937 886471 1 - 0.0000 -
2146.88/2153.96 c 2154 1665722 887880 1 - 0.0000 -
2152.86/2159.98 c 2160 1666455 888381 1 - 0.0000 -
2159.14/2166.29 c 2166 1669664 889986 1 - 0.0000 -
2165.32/2172.49 c 2172 1672424 891359 1 - 0.0000 -
2171.20/2178.37 c 2178 1675117 892774 1 - 0.0000 -
2176.49/2183.60 c 2184 1678146 894037 1 - 0.0000 -
2182.57/2189.73 c 2190 1681478 895647 1 - 0.0000 -
2188.25/2195.45 c 2195 1684556 897139 1 - 0.0000 -
2193.63/2200.82 c 2201 1685930 897809 1 - 0.0000 -
2198.62/2205.85 c 2206 1687217 898686 1 - 0.0000 -
2204.11/2211.35 c 2211 1689465 899908 1 - 0.0000 -
2209.99/2217.21 c 2217 1691024 900911 1 - 0.0000 -
2214.97/2222.27 c 2222 1692413 901570 1 - 0.0000 -
2220.26/2227.53 c 2228 1694296 902615 1 - 0.0000 -
2226.13/2233.49 c 2234 1697315 904186 1 - 0.0000 -
2231.31/2238.61 c 2239 1700022 905561 1 - 0.0000 -
2237.00/2244.39 c 2244 1704124 907461 1 - 0.0000 -
2242.38/2249.74 c 2250 1705902 908451 1 - 0.0000 -
2248.06/2255.42 c 2255 1707897 909484 1 - 0.0000 -
2253.05/2260.48 c 2260 1710595 911002 1 - 0.0000 -
2258.44/2265.84 c 2266 1713726 912425 1 - 0.0000 -
2264.02/2271.45 c 2271 1716205 913508 1 - 0.0000 -
2269.61/2277.09 c 2277 1720684 915401 1 - 0.0000 -
2274.69/2282.14 c 2282 1722565 916360 1 - 0.0000 -
2280.16/2287.67 c 2288 1725398 917889 1 - 0.0000 -
2286.04/2293.53 c 2294 1728906 919413 1 - 0.0000 -
2291.53/2299.08 c 2299 1733314 921285 1 - 0.0000 -
2297.21/2304.77 c 2305 1734779 922188 1 - 0.0000 -
2302.29/2309.86 c 2310 1736084 922965 1 - 0.0000 -
2307.49/2315.09 c 2315 1740302 924855 1 - 0.0000 -
2313.57/2321.17 c 2321 1742069 925962 1 - 0.0000 -
2318.94/2326.55 c 2327 1743744 926915 1 - 0.0000 -
2324.33/2331.90 c 2332 1745513 928030 1 - 0.0000 -
2330.11/2337.71 c 2338 1748695 929624 1 - 0.0000 -
2335.10/2342.72 c 2343 1752354 931131 1 - 0.0000 -
2340.09/2347.74 c 2348 1754654 932243 1 - 0.0000 -
2345.87/2353.58 c 2354 1758128 933849 1 - 0.0000 -
2351.65/2359.32 c 2359 1761624 935309 1 - 0.0000 -
2357.93/2365.69 c 2366 1764276 936725 1 - 0.0000 -
2364.50/2372.28 c 2372 1768089 938516 1 - 0.0000 -
2369.90/2377.62 c 2378 1770008 939619 1 - 0.0000 -
2375.47/2383.25 c 2383 1772932 940929 1 - 0.0000 -
2381.37/2389.13 c 2389 1776642 942607 1 - 0.0000 -
2386.95/2394.75 c 2395 1779156 943849 1 - 0.0000 -
2392.13/2399.98 c 2400 1782807 945464 1 - 0.0000 -
2397.62/2405.42 c 2405 1786301 947036 1 - 0.0000 -
2404.00/2411.87 c 2412 1788924 948417 1 - 0.0000 -
2409.38/2417.23 c 2417 1792353 950068 1 - 0.0000 -
2415.47/2423.39 c 2423 1795876 951677 1 - 0.0000 -
2421.27/2429.15 c 2429 1800277 953596 1 - 0.0000 -
2426.93/2434.83 c 2435 1803505 955122 1 - 0.0000 -
2433.01/2440.92 c 2441 1808072 957065 1 - 0.0000 -
2438.60/2446.51 c 2447 1811062 958523 1 - 0.0000 -
2443.97/2452.01 c 2452 1814225 959921 1 - 0.0000 -
2449.45/2457.48 c 2457 1817461 961265 1 - 0.0000 -
2454.84/2462.80 c 2463 1820719 962687 1 - 0.0000 -
2460.22/2468.27 c 2468 1822472 963586 1 - 0.0000 -
2466.41/2474.41 c 2474 1823902 964528 1 - 0.0000 -
2471.50/2479.52 c 2480 1825067 965279 1 - 0.0000 -
2477.68/2485.70 c 2486 1827182 966550 1 - 0.0000 -
2482.97/2491.01 c 2491 1828824 967528 1 - 0.0000 -
2488.26/2496.37 c 2496 1831182 968804 1 - 0.0000 -
2493.74/2501.88 c 2502 1834133 970227 1 - 0.0000 -
2499.93/2508.10 c 2508 1838667 972221 1 - 0.0000 -
2506.11/2514.25 c 2514 1841915 973753 1 - 0.0000 -
2511.79/2520.00 c 2520 1845784 975540 1 - 0.0000 -
2517.57/2525.72 c 2526 1848987 977087 1 - 0.0000 -
2522.56/2530.76 c 2531 1851940 978466 1 - 0.0000 -
2528.14/2536.38 c 2536 1856966 980628 1 - 0.0000 -
2533.72/2541.96 c 2542 1861237 982535 1 - 0.0000 -
2539.41/2547.67 c 2548 1865057 984155 1 - 0.0000 -
2544.81/2553.04 c 2553 1868622 985710 1 - 0.0000 -
2550.08/2558.38 c 2558 1871816 987234 1 - 0.0000 -
2555.37/2563.65 c 2564 1874076 988300 1 - 0.0000 -
2561.15/2569.49 c 2569 1876716 989570 1 - 0.0000 -
2566.53/2574.89 c 2575 1880600 991424 1 - 0.0000 -
2572.22/2580.57 c 2581 1883978 992882 1 - 0.0000 -
2577.31/2585.61 c 2586 1885227 993667 1 - 0.0000 -
2583.29/2591.65 c 2592 1888867 995361 1 - 0.0000 -
2589.17/2597.52 c 2598 1892094 996804 1 - 0.0000 -
2595.35/2603.70 c 2604 1895415 998211 1 - 0.0000 -
2601.44/2609.89 c 2610 1897786 999510 1 - 0.0000 -
2606.83/2615.21 c 2615 1901183 1001103 1 - 0.0000 -
2613.31/2621.79 c 2622 1905312 1002946 1 - 0.0000 -
2618.99/2627.43 c 2627 1908174 1004494 1 - 0.0000 -
2624.27/2632.79 c 2633 1912580 1006266 1 - 0.0000 -
2630.25/2638.76 c 2639 1915175 1007559 1 - 0.0000 -
2636.04/2644.55 c 2645 1917402 1008616 1 - 0.0000 -
2641.81/2650.39 c 2650 1920845 1010190 1 - 0.0000 -
2647.91/2656.42 c 2656 1924062 1011777 1 - 0.0000 -
2654.28/2662.85 c 2663 1926432 1012989 1 - 0.0000 -
2659.66/2668.22 c 2668 1929532 1014389 1 - 0.0000 -
2665.35/2674.01 c 2674 1932655 1015910 1 - 0.0000 -
2671.03/2679.66 c 2680 1936535 1017620 1 - 0.0000 -
2676.53/2685.13 c 2685 1938862 1018809 1 - 0.0000 -
2682.60/2691.26 c 2691 1942612 1020519 1 - 0.0000 -
2688.68/2697.31 c 2697 1944737 1021574 1 - 0.0000 -
2694.07/2702.73 c 2703 1948522 1023147 1 - 0.0000 -
2699.36/2708.02 c 2708 1950517 1024244 1 - 0.0000 -
2704.94/2713.67 c 2714 1952589 1025246 1 - 0.0000 -
2710.52/2719.21 c 2719 1954106 1026135 1 - 0.0000 -
2715.60/2724.37 c 2724 1956359 1027282 1 - 0.0000 -
2721.19/2730.01 c 2730 1959794 1028817 1 - 0.0000 -
2726.97/2735.71 c 2736 1964182 1030726 1 - 0.0000 -
2732.65/2741.48 c 2741 1967508 1032170 1 - 0.0000 -
2737.83/2746.60 c 2747 1970380 1033476 1 - 0.0000 -
2742.82/2751.62 c 2752 1973275 1034731 1 - 0.0000 -
2748.22/2757.09 c 2757 1976112 1036022 1 - 0.0000 -
2754.39/2763.20 c 2763 1979635 1037557 1 - 0.0000 -
2759.38/2768.20 c 2768 1981624 1038636 1 - 0.0000 -
2765.65/2774.50 c 2774 1985280 1040248 1 - 0.0000 -
2770.83/2779.70 c 2780 1986682 1040978 1 - 0.0000 -
2776.82/2785.75 c 2786 1988017 1041827 1 - 0.0000 -
2782.80/2791.79 c 2792 1990320 1043082 1 - 0.0000 -
2788.39/2797.36 c 2797 1993472 1044586 1 - 0.0000 -
2793.88/2802.87 c 2803 1997268 1046198 1 - 0.0000 -
2798.97/2807.90 c 2808 2000813 1047649 1 - 0.0000 -
2804.75/2813.75 c 2814 2004748 1049314 1 - 0.0000 -
2810.23/2819.20 c 2819 2007907 1050753 1 - 0.0000 -
2816.13/2825.15 c 2825 2012112 1052590 1 - 0.0000 -
2821.11/2830.18 c 2830 2015084 1053912 1 - 0.0000 -
2826.88/2835.95 c 2836 2018632 1055452 1 - 0.0000 -
2832.09/2841.20 c 2841 2021248 1056696 1 - 0.0000 -
2838.15/2847.25 c 2847 2025152 1058318 1 - 0.0000 -
2843.94/2853.06 c 2853 2028123 1059685 1 - 0.0000 -
2849.22/2858.32 c 2858 2031274 1061204 1 - 0.0000 -
2854.20/2863.34 c 2863 2033380 1062226 1 - 0.0000 -
2859.19/2868.37 c 2868 2035915 1063399 1 - 0.0000 -
2865.38/2874.53 c 2875 2037872 1064444 1 - 0.0000 -
2870.56/2879.75 c 2880 2040353 1065661 1 - 0.0000 -
2876.74/2885.93 c 2886 2043367 1067249 1 - 0.0000 -
2882.23/2891.46 c 2891 2046102 1068734 1 - 0.0000 -
2887.92/2897.15 c 2897 2048707 1070215 1 - 0.0000 -
2893.69/2902.92 c 2903 2052128 1071852 1 - 0.0000 -
2899.07/2908.39 c 2908 2055607 1073397 1 - 0.0000 -
2904.27/2913.52 c 2914 2057462 1074216 1 - 0.0000 -
2910.14/2919.41 c 2919 2059576 1075242 1 - 0.0000 -
2915.63/2924.93 c 2925 2062950 1076592 1 - 0.0000 -
2921.01/2930.33 c 2930 2065561 1077771 1 - 0.0000 -
2926.81/2936.19 c 2936 2068675 1079215 1 - 0.0000 -
2932.58/2941.95 c 2942 2071782 1080752 1 - 0.0000 -
2938.26/2947.63 c 2948 2075795 1082559 1 - 0.0000 -
2943.45/2952.82 c 2953 2078227 1083697 1 - 0.0000 -
2949.33/2958.72 c 2959 2082015 1085369 1 - 0.0000 -
2955.21/2964.68 c 2965 2084753 1086727 1 - 0.0000 -
2961.10/2970.52 c 2971 2086643 1087629 1 - 0.0000 -
2966.60/2976.08 c 2976 2089672 1089072 1 - 0.0000 -
2972.76/2982.27 c 2982 2091927 1090097 1 - 0.0000 -
2978.45/2987.95 c 2988 2092925 1090803 1 - 0.0000 -
2984.34/2993.80 c 2994 2095872 1092238 1 - 0.0000 -
2989.72/2999.26 c 2999 2099078 1093718 1 - 0.0000 -
2995.31/3004.81 c 3005 2101109 1094777 1 - 0.0000 -
3000.89/3010.44 c 3010 2103609 1095979 1 - 0.0000 -
3006.17/3015.72 c 3016 2104960 1096704 1 - 0.0000 -
3011.47/3021.11 c 3021 2106173 1097447 1 - 0.0000 -
3016.65/3026.21 c 3026 2108136 1098506 1 - 0.0000 -
3022.03/3031.61 c 3032 2111772 1100116 1 - 0.0000 -
3028.22/3037.89 c 3038 2113893 1101187 1 - 0.0000 -
3034.00/3043.68 c 3044 2116492 1102414 1 - 0.0000 -
3039.98/3049.69 c 3050 2119627 1103857 1 - 0.0000 -
3046.06/3055.72 c 3056 2123053 1105327 1 - 0.0000 -
3051.54/3061.21 c 3061 2124552 1106108 1 - 0.0000 -
3057.13/3066.85 c 3067 2126652 1107216 1 - 0.0000 -
3062.61/3072.33 c 3072 2129400 1108492 1 - 0.0000 -
3067.81/3077.53 c 3078 2131877 1109709 1 - 0.0000 -
3073.08/3082.80 c 3083 2133336 1110404 1 - 0.0000 -
3078.96/3088.71 c 3089 2135892 1111652 1 - 0.0000 -
3084.65/3094.47 c 3094 2136870 1112316 1 - 0.0000 -
3089.64/3099.48 c 3099 2138272 1113140 1 - 0.0000 -
3094.93/3104.75 c 3105 2141008 1114400 1 - 0.0000 -
3100.90/3110.75 c 3111 2142846 1115380 1 - 0.0000 -
3107.59/3117.46 c 3117 2145133 1116565 1 - 0.0000 -
3113.29/3123.15 c 3123 2146969 1117397 1 - 0.0000 -
3118.35/3128.26 c 3128 2148696 1118362 1 - 0.0000 -
3123.75/3133.66 c 3134 2150809 1119385 1 - 0.0000 -
3129.14/3139.01 c 3139 2152336 1120300 1 - 0.0000 -
3134.31/3144.25 c 3144 2154519 1121380 1 - 0.0000 -
3139.80/3149.72 c 3150 2157553 1122544 1 - 0.0000 -
3144.99/3154.92 c 3155 2160523 1123892 1 - 0.0000 -
3150.96/3160.93 c 3161 2163925 1125464 1 - 0.0000 -
3157.06/3167.05 c 3167 2166288 1126613 1 - 0.0000 -
3163.53/3173.53 c 3174 2169282 1127975 1 - 0.0000 -
3168.92/3178.90 c 3179 2171773 1129072 1 - 0.0000 -
3174.60/3184.66 c 3185 2173733 1130046 1 - 0.0000 -
3180.00/3190.06 c 3190 2174963 1130810 1 - 0.0000 -
3186.36/3196.40 c 3196 2177205 1131972 1 - 0.0000 -
3191.97/3202.07 c 3202 2180286 1133359 1 - 0.0000 -
3196.95/3207.11 c 3207 2182135 1134262 1 - 0.0000 -
3203.04/3213.18 c 3213 2184327 1135358 1 - 0.0000 -
3208.80/3218.97 c 3219 2185826 1136249 1 - 0.0000 -
3215.59/3225.72 c 3226 2188168 1137337 1 - 0.0000 -
3221.57/3231.72 c 3232 2190568 1138481 1 - 0.0000 -
3226.86/3237.01 c 3237 2193522 1139765 1 - 0.0000 -
3232.34/3242.52 c 3243 2194836 1140485 1 - 0.0000 -
3238.42/3248.65 c 3249 2196766 1141461 1 - 0.0000 -
3245.30/3255.57 c 3256 2199449 1142740 1 - 0.0000 -
3250.49/3260.72 c 3261 2201469 1143718 1 - 0.0000 -
3256.97/3267.20 c 3267 2205564 1145475 1 - 0.0000 -
3263.66/3273.95 c 3274 2207912 1146577 1 - 0.0000 -
3269.24/3279.57 c 3280 2211655 1148232 1 - 0.0000 -
3274.84/3285.17 c 3285 2213604 1149187 1 - 0.0000 -
3280.30/3290.60 c 3291 2215702 1150269 1 - 0.0000 -
3285.60/3295.93 c 3296 2217030 1150945 1 - 0.0000 -
3291.57/3301.97 c 3302 2219133 1151958 1 - 0.0000 -
3296.67/3307.04 c 3307 2220926 1152869 1 - 0.0000 -
3302.45/3312.86 c 3313 2224496 1154331 1 - 0.0000 -
3307.64/3318.03 c 3318 2227123 1155546 1 - 0.0000 -
3313.11/3323.51 c 3324 2229452 1156623 1 - 0.0000 -
3318.80/3329.21 c 3329 2232698 1158061 1 - 0.0000 -
3324.88/3335.34 c 3335 2235852 1159469 1 - 0.0000 -
3330.47/3340.98 c 3341 2238030 1160437 1 - 0.0000 -
3337.74/3348.27 c 3348 2241182 1161879 1 - 0.0000 -
3344.33/3354.85 c 3355 2243388 1162925 1 - 0.0000 -
3350.41/3360.98 c 3361 2246305 1164286 1 - 0.0000 -
3356.50/3367.01 c 3367 2248442 1165323 1 - 0.0000 -
3361.59/3372.13 c 3372 2251014 1166511 1 - 0.0000 -
3367.26/3377.87 c 3378 2252777 1167476 1 - 0.0000 -
3373.15/3383.76 c 3384 2255628 1168795 1 - 0.0000 -
3378.33/3388.92 c 3389 2257602 1169795 1 - 0.0000 -
3384.01/3394.61 c 3395 2260422 1171091 1 - 0.0000 -
3389.70/3400.30 c 3400 2262404 1172075 1 - 0.0000 -
3395.50/3406.12 c 3406 2266306 1173621 1 - 0.0000 -
3401.38/3412.06 c 3412 2269712 1175011 1 - 0.0000 -
3407.25/3417.99 c 3418 2272547 1176232 1 - 0.0000 -
3412.35/3423.07 c 3423 2274420 1177179 1 - 0.0000 -
3417.43/3428.11 c 3428 2276665 1178218 1 - 0.0000 -
3424.01/3434.80 c 3435 2279103 1179322 1 - 0.0000 -
3429.20/3439.97 c 3440 2280760 1180113 1 - 0.0000 -
3434.57/3445.37 c 3445 2283158 1181127 1 - 0.0000 -
3440.46/3451.22 c 3451 2285820 1182383 1 - 0.0000 -
3446.14/3456.91 c 3457 2287366 1183107 1 - 0.0000 -
3452.83/3463.60 c 3464 2288952 1183833 1 - 0.0000 -
3458.51/3469.34 c 3469 2290180 1184579 1 - 0.0000 -
3464.40/3475.29 c 3475 2292662 1185723 1 - 0.0000 -
3469.87/3480.71 c 3481 2295650 1187047 1 - 0.0000 -
3475.66/3486.50 c 3486 2298625 1188440 1 - 0.0000 -
3481.25/3492.12 c 3492 2301170 1189501 1 - 0.0000 -
3486.73/3497.62 c 3498 2303616 1190631 1 - 0.0000 -
3492.61/3503.53 c 3504 2305882 1191855 1 - 0.0000 -
3498.00/3508.99 c 3509 2308332 1193013 1 - 0.0000 -
3503.88/3514.81 c 3515 2311152 1194313 1 - 0.0000 -
3509.56/3520.51 c 3521 2314522 1195735 1 - 0.0000 -
3514.85/3525.81 c 3526 2315834 1196527 1 - 0.0000 -
3520.93/3531.90 c 3532 2318432 1197777 1 - 0.0000 -
3526.92/3537.90 c 3538 2320516 1198811 1 - 0.0000 -
3532.20/3543.26 c 3543 2321854 1199517 1 - 0.0000 -
3537.69/3548.71 c 3549 2324123 1200574 1 - 0.0000 -
3543.57/3554.66 c 3555 2326954 1201729 1 - 0.0000 -
3549.55/3560.61 c 3561 2329895 1203032 1 - 0.0000 -
3555.24/3566.33 c 3566 2332019 1204060 1 - 0.0000 -
3560.52/3571.60 c 3572 2334437 1205202 1 - 0.0000 -
3567.11/3578.29 c 3578 2336389 1206206 1 - 0.0000 -
3572.48/3583.60 c 3584 2338374 1207189 1 - 0.0000 -
3578.77/3589.96 c 3590 2340474 1208097 1 - 0.0000 -
3584.15/3595.30 c 3595 2342597 1209128 1 - 0.0000 -
3591.95/3603.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.95/3603.16 c Total Time : 3603.1600
3591.95/3603.16 c solving : 3603.1600
3591.95/3603.16 c presolving : 0.0079 (included in solving)
3591.95/3603.16 c B&B Tree :
3591.95/3603.16 c nodes (total) : 1
3591.95/3603.16 c Solution :
3591.95/3603.16 c Solutions found : 0
3591.95/3603.16 c Primal Bound : -
3591.95/3603.16 c Dual Bound : +0.00000000000000e+00
3591.95/3603.16 c Gap : -
3591.95/3603.16 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (58915 MiB free)
memory of node 1: 64510 MiB (60165 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434692-1721098181/watcher-4434692-1721098181 -o /tmp/evaluation-result-4434692-1721098181/solver-4434692-1721098181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434692-1721098181.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=831843, runsolver pid=831840
[startup+0.100503 s]*
/proc/loadavg: 4.07 4.13 4.20 5/249 831846
/proc/meminfo: memFree=121928504/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=109360 memory=22312 CPUtime=0.09 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 3052 0 0 0 8 1 0 0 20 0 3 0 161976876 111984640 5578 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 27340 5578 2926 3032 0 9245 0
[pid=831843/tid=831845] ppid=831840 vsize=109360 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 1496 0 0 0 7 0 0 0 20 0 3 0 161976877 111984640 5578 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=109360 memory=232851243367 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161976878 111984640 5578 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109360 KiB
Current children cumulated memory: 22312 KiB
[startup+0.213512 s]*
/proc/loadavg: 4.15 4.14 4.20 5/249 831846
/proc/meminfo: memFree=121924472/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=109360 memory=26008 CPUtime=0.19 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4004 0 0 0 18 1 0 0 20 0 3 0 161976876 111984640 6502 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 27340 6502 2926 3032 0 10201 0
[pid=831843/tid=831845] ppid=831840 vsize=109360 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 2448 0 0 0 17 0 0 0 20 0 3 0 161976877 111984640 6502 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=109360 memory=19017 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161976878 111984640 6502 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109360 KiB
Current children cumulated memory: 26008 KiB
[startup+0.313502 s]*
/proc/loadavg: 4.15 4.14 4.20 5/249 831846
/proc/meminfo: memFree=121924220/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=109360 memory=26536 CPUtime=0.28 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4087 0 0 0 27 1 0 0 20 0 3 0 161976876 111984640 6634 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 27340 6634 2926 3032 0 10335 0
[pid=831843/tid=831845] ppid=831840 vsize=109360 memory=-6440828525835631468 CPUtime=0.26 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 2531 0 0 0 26 0 0 0 20 0 3 0 161976877 111984640 6634 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=109360 memory=0 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161976878 111984640 6634 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 109360 KiB
Current children cumulated memory: 26536 KiB
[startup+0.700504 s]
/proc/loadavg: 4.15 4.14 4.20 5/249 831846
/proc/meminfo: memFree=121921188/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=109360 memory=29968 CPUtime=0.63 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4963 0 0 0 62 1 0 0 20 0 3 0 161976876 111984640 7492 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 27340 7492 2926 3032 0 11206 0
[pid=831843/tid=831845] ppid=831840 vsize=109360 memory=0 CPUtime=0.62 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 3407 0 0 0 61 1 0 0 20 0 3 0 161976877 111984640 7492 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=109360 memory=0 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161976878 111984640 7492 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 109360 KiB
Current children cumulated memory: 29968 KiB
[startup+1.5005 s]
/proc/loadavg: 4.15 4.14 4.20 5/249 831846
/proc/meminfo: memFree=121916468/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=110060 memory=37800 CPUtime=1.42 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 9125 0 0 0 140 2 0 0 20 0 3 0 161976876 112701440 9450 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 27515 9450 2974 3032 0 13047 0
[pid=831843/tid=831845] ppid=831840 vsize=110060 memory=0 CPUtime=1.4 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 7554 0 0 0 139 1 0 0 20 0 3 0 161976877 112701440 9450 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=110060 memory=0 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161976878 112701440 9450 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 37800 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.14 4.20 5/249 831846
/proc/meminfo: memFree=121909668/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=110060 memory=39580 CPUtime=3.01 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 9692 0 0 0 298 3 0 0 20 0 3 0 161976876 112701440 9895 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 27515 9895 2974 3032 0 13510 0
[pid=831843/tid=831845] ppid=831840 vsize=110060 memory=0 CPUtime=2.99 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 8118 0 0 0 297 2 0 0 20 0 3 0 161976877 112701440 9895 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=110060 memory=3690710041027506165 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161976878 112701440 9895 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 39580 KiB
[startup+6.30035 s]
/proc/loadavg: 4.13 4.14 4.20 5/249 831846
/proc/meminfo: memFree=121901740/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=112496 memory=46264 CPUtime=6.17 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 15084 0 0 0 612 5 0 0 20 0 3 0 161976876 115195904 11566 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 28124 11566 2974 3032 0 15135 0
[pid=831843/tid=831845] ppid=831840 vsize=112496 memory=0 CPUtime=6.16 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 13488 0 0 0 611 5 0 0 20 0 3 0 161976877 115195904 11566 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=112496 memory=11516 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161976878 115195904 11566 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 112496 KiB
Current children cumulated memory: 46264 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.14 4.20 5/249 831847
/proc/meminfo: memFree=121883620/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=120112 memory=60260 CPUtime=12.55 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 28957 0 0 0 1246 9 0 0 20 0 3 0 161976876 122994688 15065 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 30028 15065 2974 3032 0 18756 0
[pid=831843/tid=831845] ppid=831840 vsize=120112 memory=11516 CPUtime=12.54 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 27329 0 0 0 1246 8 0 0 20 0 3 0 161976877 122994688 15065 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=120112 memory=41416 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161976878 122994688 15065 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 60260 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.13 4.20 5/249 831849
/proc/meminfo: memFree=121857020/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=133220 memory=80552 CPUtime=25.31 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 48677 0 0 0 2516 15 0 0 20 0 3 0 161976876 136417280 20138 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 33305 20138 2974 3032 0 23936 0
[pid=831843/tid=831845] ppid=831840 vsize=133220 memory=77968 CPUtime=25.29 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 47004 0 0 0 2515 14 0 0 20 0 3 0 161976877 136417280 20138 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=133220 memory=11516 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 161976878 136417280 20138 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 133220 KiB
Current children cumulated memory: 80552 KiB
[startup+51.1128 s]
/proc/loadavg: 4.21 4.15 4.20 5/252 831859
/proc/meminfo: memFree=121799068/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=166632 memory=124100 CPUtime=50.83 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 93950 0 0 0 5056 27 0 0 20 0 3 0 161976876 170631168 31025 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 41658 31025 2974 3032 0 35804 0
[pid=831843/tid=831845] ppid=831840 vsize=166632 memory=11516 CPUtime=50.81 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 92210 0 0 0 5055 26 0 0 20 0 3 0 161976877 170631168 31025 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=166632 memory=110708 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 161976878 170631168 31025 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 166632 KiB
Current children cumulated memory: 124100 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.19 5/252 831867
/proc/meminfo: memFree=121692240/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=282132 memory=191220 CPUtime=101.84 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 166756 0 0 0 10134 50 0 0 20 0 3 0 161976876 288903168 47805 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 70533 47805 2974 3032 0 53883 0
[pid=831843/tid=831845] ppid=831840 vsize=282132 memory=176824 CPUtime=101.82 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 164950 0 0 0 10133 49 0 0 20 0 3 0 161976877 288903168 47805 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=282132 memory=11516 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 161976878 288903168 47805 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 282132 KiB
Current children cumulated memory: 191220 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.18 5/252 831878
/proc/meminfo: memFree=121578472/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=339544 memory=264020 CPUtime=161.65 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 259640 0 0 0 16092 73 0 0 20 0 3 0 161976876 347693056 66005 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 84886 66005 2974 3032 0 72546 0
[pid=831843/tid=831845] ppid=831840 vsize=339544 memory=254688 CPUtime=161.61 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 257780 0 0 0 16090 71 0 0 20 0 3 0 161976877 347693056 66005 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=339544 memory=11516 CPUtime=0 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 161976878 347693056 66005 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 161.65 s
################
# More data... #
################
/proc/831843/statm: 477343 461001 2974 3032 0 472149 0
[pid=831843/tid=831845] ppid=831840 vsize=1909372 memory=1762836 CPUtime=3451.19 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 3925534 0 0 0 344454 665 0 0 20 0 3 0 161976877 1955196928 461001 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1909372 memory=1792900 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 161976878 1955196928 461001 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 1909372 KiB
Current children cumulated memory: 1844004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/249 833900
/proc/meminfo: memFree=121277332/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=1938816 memory=1875968 CPUtime=3511.36 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4008644 0 0 0 350448 688 0 0 20 0 3 0 161976876 1985347584 468992 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 484704 468992 2974 3032 0 480473 0
[pid=831843/tid=831845] ppid=831840 vsize=1938816 memory=1856816 CPUtime=3511.02 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4005873 0 0 0 350427 675 0 0 20 0 3 0 161976877 1985347584 468992 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1938816 memory=41416 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 146 0 0 0 2 4 0 0 20 0 3 0 161976878 1985347584 468992 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3511.36 s
Current children cumulated vsize: 1938816 KiB
Current children cumulated memory: 1875968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/249 833911
/proc/meminfo: memFree=121225776/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=2026764 memory=1905032 CPUtime=3571.19 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4098552 0 0 0 356419 700 0 0 20 0 3 0 161976876 2075406336 476258 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 506691 476258 2974 3032 0 486571 0
[pid=831843/tid=831845] ppid=831840 vsize=2026764 memory=11516 CPUtime=3570.85 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4095764 0 0 0 356398 687 0 0 20 0 3 0 161976877 2075406336 476258 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=2026764 memory=16224 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 2075406336 476258 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 2026764 KiB
Current children cumulated memory: 1905032 KiB
[startup+3603.17 s]
# the end of solver process 831843 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.88 s, system=7.13075 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.10 4.12 5/249 833911
/proc/meminfo: memFree=121225712/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=2026764 memory=1905032 CPUtime=3572.89 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4099722 0 0 0 356589 700 0 0 20 0 3 0 161976876 2075406336 476258 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 506691 476258 2974 3032 0 486571 0
[pid=831843/tid=831845] ppid=831840 vsize=2026764 memory=44724 CPUtime=3572.56 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4096934 0 0 0 356569 687 0 0 20 0 3 0 161976877 2075406336 476258 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=2026764 memory=1771 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 2075406336 476258 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 2026764 KiB
Current children cumulated memory: 1905032 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 833913
/proc/meminfo: memFree=121214716/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=2045160 memory=1909728 CPUtime=3585.64 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4115869 0 0 0 357861 703 0 0 20 0 3 0 161976876 2094243840 477432 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 511290 477432 2974 3032 0 491362 0
[pid=831843/tid=831845] ppid=831840 vsize=2045160 memory=11516 CPUtime=3585.3 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4113081 0 0 0 357840 690 0 0 20 0 3 0 161976877 2094243840 477432 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=2045160 memory=1906528 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 2094243840 477432 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 2045160 KiB
Current children cumulated memory: 1909728 KiB
[startup+3600 s]*
/proc/loadavg: 4.05 4.09 4.12 5/249 833914
/proc/meminfo: memFree=121212720/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=2045160 memory=1910128 CPUtime=3588.85 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4117038 0 0 0 358181 704 0 0 20 0 3 0 161976876 2094243840 477532 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 511290 477532 2974 3032 0 491458 0
[pid=831843/tid=831845] ppid=831840 vsize=2045160 memory=6720664337721212271 CPUtime=3588.51 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4114250 0 0 0 358160 691 0 0 20 0 3 0 161976877 2094243840 477532 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=2045160 memory=-7521987360631121272 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 2094243840 477532 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 2045160 KiB
Current children cumulated memory: 1910128 KiB
[startup+3601.6 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 833915
/proc/meminfo: memFree=121240364/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=1933080 memory=1798076 CPUtime=3590.43 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4156801 0 0 0 358336 707 0 0 20 0 3 0 161976876 1979473920 449519 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 483270 449519 2974 3032 0 463438 0
[pid=831843/tid=831845] ppid=831840 vsize=1933080 memory=1910128 CPUtime=3590.09 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4154008 0 0 0 358315 694 0 0 20 0 3 0 161976877 1979473920 449519 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1933080 memory=16224 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 1979473920 449519 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3590.43 s
Current children cumulated vsize: 1933080 KiB
Current children cumulated memory: 1798076 KiB
[startup+3602.4 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 833915
/proc/meminfo: memFree=121313980/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=1823464 memory=1688464 CPUtime=3591.23 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4157857 0 0 0 358415 708 0 0 20 0 3 0 161976876 1867227136 422116 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 455866 422116 2974 3032 0 436034 0
[pid=831843/tid=831845] ppid=831840 vsize=1823464 memory=6720659948264570219 CPUtime=3590.89 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4155064 0 0 0 358394 695 0 0 20 0 3 0 161976877 1867227136 422116 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1823464 memory=41416 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 1867227136 422116 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3591.23 s
Current children cumulated vsize: 1823464 KiB
Current children cumulated memory: 1688464 KiB
[startup+3602.8 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 833915
/proc/meminfo: memFree=121313980/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=1769648 memory=1634648 CPUtime=3591.63 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4158090 0 0 0 358455 708 0 0 20 0 3 0 161976876 1812119552 408662 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 442412 408662 2974 3032 0 422580 0
[pid=831843/tid=831845] ppid=831840 vsize=1769648 memory=7044 CPUtime=3591.29 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4155297 0 0 0 358434 695 0 0 20 0 3 0 161976877 1812119552 408662 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1769648 memory=1720404 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 1812119552 408662 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3591.63 s
Current children cumulated vsize: 1769648 KiB
Current children cumulated memory: 1634648 KiB
[startup+3603 s]*
/proc/loadavg: 4.05 4.09 4.12 5/249 833915
/proc/meminfo: memFree=121335408/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=1732896 memory=1597896 CPUtime=3591.84 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4158149 0 0 0 358476 708 0 0 20 0 3 0 161976876 1774485504 399474 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 433224 399474 2974 3032 0 413392 0
[pid=831843/tid=831845] ppid=831840 vsize=1732896 memory=6720664337721212271 CPUtime=3591.5 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4155356 0 0 0 358455 695 0 0 20 0 3 0 161976877 1774485504 399474 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1732896 memory=-7521987360631121272 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 1774485504 399474 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 1732896 KiB
Current children cumulated memory: 1597896 KiB
[startup+3603.11 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 833915
/proc/meminfo: memFree=121335408/131655788 swapFree=131071996/131071996
[pid=831843] ppid=831840 vsize=1704532 memory=1569532 CPUtime=3591.95 cores=1,3
/proc/831843/stat : 831843 (fscip) S 831840 831843 830624 0 -1 1077936128 4158158 0 0 0 358486 709 0 0 20 0 3 0 161976876 1745440768 392383 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
/proc/831843/statm: 426133 392383 2974 3032 0 406301 0
[pid=831843/tid=831845] ppid=831840 vsize=1704532 memory=1882296 CPUtime=3591.6 cores=1,3
/proc/831843/task/831845/stat : 831845 (fscip) R 831840 831843 830624 0 -1 4194368 4155365 0 0 0 358465 695 0 0 20 0 3 0 161976877 1745440768 392383 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
[pid=831843/tid=831846] ppid=831840 vsize=1704532 memory=1775112 CPUtime=0.06 cores=1,3
/proc/831843/task/831846/stat : 831846 (fscip) S 831840 831843 830624 0 -1 1077936192 149 0 0 0 2 4 0 0 20 0 3 0 161976878 1745440768 392383 134679101440 4194304 16613245 140735050835904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33259520 140735050843157 140735050843273 140735050843273 140735050850288 0
Current children cumulated CPU time: 3591.95 s
Current children cumulated vsize: 1704532 KiB
Current children cumulated memory: 1569532 KiB
Child status: 0
Real time (s): 3603.17
CPU time (s): 3592.01
CPU user time (s): 3584.88
CPU system time (s): 7.13075
CPU usage (%): 99.6903
Max. virtual memory (cumulated for all children) (KiB): 2045160
Max. memory (cumulated for all children) (KiB): 1910152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.88
system time used= 7.13075
maximum resident set size= 1910152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4158506
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= 10036
involuntary context switches= 4825
# summary of solver processes directly reported to runsolver:
# pid: 831843
# total CPU time (s): 3592.01
# total CPU user time (s): 3584.88
# total CPU system time (s): 7.13075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4819 second user time and 34.2114 second system time
The end
Begin job on nodeC006 at 2024-07-16 04:49:54
IDJOB=4434692
IDBENCH=147613
IDSOLVER=3064
FILE ID=nodeC006/4434692-1721098181
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.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-4434692-1721098181/watcher-4434692-1721098181 -o /tmp/evaluation-result-4434692-1721098181/solver-4434692-1721098181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434692-1721098181.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=1303168751
nodeC006.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 : 3674.697
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.94
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 : 3491.991
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.26
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.267
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.94
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.248
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.26
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 : 3509.787
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.94
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 : 3630.669
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.276
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.263
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121940180 kB
MemAvailable: 125644112 kB
Buffers: 395584 kB
Cached: 4105808 kB
SwapCached: 0 kB
Active: 693332 kB
Inactive: 8391128 kB
Active(anon): 1460 kB
Inactive(anon): 4619356 kB
Active(file): 691872 kB
Inactive(file): 3771772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28320 kB
Writeback: 0 kB
AnonPages: 4575848 kB
Mapped: 140292 kB
Shmem: 37704 kB
KReclaimable: 160636 kB
Slab: 265368 kB
SReclaimable: 160636 kB
SUnreclaim: 104732 kB
KernelStack: 3968 kB
PageTables: 18388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2989844 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2902016 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 05:49:57