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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 23109632, getVmSize() = 23109632, SCIPgetMemUsed() = 1259867, SCIPgetMemTotal() = 1603579, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 16008533, getVmSize() = 24915968, SCIPgetMemUsed() = 1451503, SCIPgetMemTotal() = 2318711, SCIPgetMemExternEstim() = 1048576
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4464554-1722385801
0.00/0.02 c Variables : 141 (141 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 376
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 141 (141 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 376
0.00/0.02 c Constraints : Number
0.00/0.02 c logicor : 376
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.36/5.48 c 5 1830 780 1 - 0.0000 -
10.44/10.52 c 11 8002 6636 1 - 0.0000 -
15.42/15.57 c 16 13842 12074 1 - 0.0000 -
20.51/20.61 c 21 19330 17043 1 - 0.0000 -
25.48/25.66 c 26 23952 21031 1 - 0.0000 -
30.57/30.72 c 31 29318 25904 1 - 0.0000 -
35.55/35.78 c 36 35385 31822 1 - 0.0000 -
40.64/40.85 c 41 40717 36825 1 - 0.0000 -
45.72/45.91 c 46 46034 41734 1 - 0.0000 -
50.70/50.96 c 51 50849 46259 1 - 0.0000 -
55.79/56.02 c 56 55789 50612 1 - 0.0000 -
60.78/61.08 c 61 60968 55202 1 - 0.0000 -
65.87/66.13 c 66 65534 59229 1 - 0.0000 -
70.85/71.19 c 71 70033 63282 1 - 0.0000 -
75.92/76.23 c 76 74745 67481 1 - 0.0000 -
80.90/81.29 c 81 79259 71330 1 - 0.0000 -
85.98/86.34 c 86 83877 75214 1 - 0.0000 -
90.97/91.39 c 91 88655 79680 1 - 0.0000 -
96.06/96.44 c 96 93072 83605 1 - 0.0000 -
101.04/101.49 c 102 97422 87251 1 - 0.0000 -
106.13/106.54 c 107 101579 90925 1 - 0.0000 -
111.11/111.59 c 112 106150 94883 1 - 0.0000 -
116.20/116.69 c 117 110501 98491 1 - 0.0000 -
121.28/121.78 c 122 114709 102174 1 - 0.0000 -
126.46/126.91 c 127 118649 105451 1 - 0.0000 -
131.45/131.96 c 132 123111 109363 1 - 0.0000 -
136.54/137.05 c 137 127316 112919 1 - 0.0000 -
141.63/142.13 c 142 131439 116430 1 - 0.0000 -
146.61/147.17 c 147 135224 119688 1 - 0.0000 -
151.78/152.36 c 152 139243 123285 1 - 0.0000 -
156.97/157.52 c 158 143667 126999 1 - 0.0000 -
162.15/162.70 c 163 147814 130597 1 - 0.0000 -
167.24/167.85 c 168 151729 134062 1 - 0.0000 -
172.32/172.93 c 173 155476 137349 1 - 0.0000 -
177.41/178.07 c 178 159547 140986 1 - 0.0000 -
182.50/183.13 c 183 163490 144479 1 - 0.0000 -
187.57/188.23 c 188 166879 147579 1 - 0.0000 -
192.76/193.42 c 193 171106 151620 1 - 0.0000 -
197.95/198.67 c 199 175127 155488 1 - 0.0000 -
203.13/203.82 c 204 178766 158663 1 - 0.0000 -
208.11/208.89 c 209 182171 161519 1 - 0.0000 -
213.20/213.96 c 214 185846 164815 1 - 0.0000 -
218.39/219.11 c 219 188978 167823 1 - 0.0000 -
223.46/224.24 c 224 192916 171625 1 - 0.0000 -
228.65/229.44 c 229 196239 174580 1 - 0.0000 -
233.84/234.62 c 235 199537 177533 1 - 0.0000 -
239.02/239.83 c 240 202817 180533 1 - 0.0000 -
244.21/245.02 c 245 206254 183825 1 - 0.0000 -
249.30/250.12 c 250 209782 186872 1 - 0.0000 -
254.47/255.35 c 255 213189 189853 1 - 0.0000 -
259.63/260.52 c 261 216558 192867 1 - 0.0000 -
264.81/265.70 c 266 220276 195760 1 - 0.0000 -
269.89/270.81 c 271 223431 198453 1 - 0.0000 -
275.09/276.02 c 276 226473 201241 1 - 0.0000 -
280.08/281.06 c 281 229593 203814 1 - 0.0000 -
285.15/286.16 c 286 232810 206473 1 - 0.0000 -
290.33/291.32 c 291 236469 209703 1 - 0.0000 -
295.41/296.43 c 296 239858 212883 1 - 0.0000 -
300.79/301.80 c 302 243246 216034 1 - 0.0000 -
306.17/307.21 c 307 246937 219357 1 - 0.0000 -
311.36/312.43 c 312 251476 223896 1 - 0.0000 -
316.54/317.68 c 318 254953 227149 1 - 0.0000 -
321.72/322.83 c 323 257831 229742 1 - 0.0000 -
327.10/328.26 c 328 260977 232602 1 - 0.0000 -
332.28/333.44 c 333 264305 235464 1 - 0.0000 -
337.47/338.67 c 339 267947 238946 1 - 0.0000 -
342.75/343.96 c 344 270911 241581 1 - 0.0000 -
348.13/349.34 c 349 273571 244106 1 - 0.0000 -
353.31/354.58 c 355 276623 247001 1 - 0.0000 -
358.39/359.64 c 360 279238 249385 1 - 0.0000 -
363.58/364.88 c 365 281838 251824 1 - 0.0000 -
368.77/370.06 c 370 284551 254475 1 - 0.0000 -
373.95/375.24 c 375 287166 256917 1 - 0.0000 -
379.33/380.61 c 381 289847 259407 1 - 0.0000 -
384.72/386.03 c 386 292681 262068 1 - 0.0000 -
389.99/391.34 c 391 295356 264482 1 - 0.0000 -
395.17/396.56 c 397 298175 266812 1 - 0.0000 -
400.46/401.80 c 402 300761 269008 1 - 0.0000 -
405.54/406.94 c 407 303109 271091 1 - 0.0000 -
410.82/412.25 c 412 305504 273241 1 - 0.0000 -
416.20/417.61 c 418 308108 275487 1 - 0.0000 -
421.39/422.88 c 423 310621 277751 1 - 0.0000 -
426.77/428.24 c 428 313689 280558 1 - 0.0000 -
432.25/433.72 c 434 315486 282200 1 - 0.0000 -
437.55/439.02 c 439 317151 283710 1 - 0.0000 -
442.91/444.47 c 444 319556 285851 1 - 0.0000 -
448.50/450.07 c 450 322032 287997 1 - 0.0000 -
454.18/455.75 c 456 324239 289921 1 - 0.0000 -
459.36/460.99 c 461 326789 292397 1 - 0.0000 -
464.84/466.45 c 466 329359 294644 1 - 0.0000 -
470.12/471.76 c 472 331978 297185 1 - 0.0000 -
475.70/477.30 c 477 334439 299382 1 - 0.0000 -
480.78/482.46 c 482 336885 301437 1 - 0.0000 -
486.27/487.96 c 488 339681 304052 1 - 0.0000 -
491.35/493.09 c 493 342037 305995 1 - 0.0000 -
496.82/498.51 c 499 344521 308252 1 - 0.0000 -
502.11/503.82 c 504 346916 310256 1 - 0.0000 -
507.40/509.20 c 509 348977 312038 1 - 0.0000 -
512.97/514.76 c 515 351521 314382 1 - 0.0000 -
518.76/520.53 c 521 354386 316944 1 - 0.0000 -
524.03/525.86 c 526 357158 319684 1 - 0.0000 -
529.62/531.41 c 531 360112 322345 1 - 0.0000 -
534.70/536.59 c 537 362261 324386 1 - 0.0000 -
540.20/542.08 c 542 364481 326468 1 - 0.0000 -
545.56/547.43 c 547 366591 328490 1 - 0.0000 -
551.04/552.95 c 553 368848 330615 1 - 0.0000 -
556.50/558.48 c 558 371416 333136 1 - 0.0000 -
561.69/563.63 c 564 373306 334888 1 - 0.0000 -
567.17/569.16 c 569 375982 337072 1 - 0.0000 -
572.73/574.79 c 575 378235 338943 1 - 0.0000 -
578.13/580.15 c 580 380628 341142 1 - 0.0000 -
583.50/585.56 c 586 382406 342566 1 - 0.0000 -
589.09/591.12 c 591 384461 344471 1 - 0.0000 -
594.56/596.61 c 597 386685 346523 1 - 0.0000 -
600.45/602.55 c 603 389005 348765 1 - 0.0000 -
605.63/607.77 c 608 390975 350664 1 - 0.0000 -
611.20/613.32 c 613 393172 352731 1 - 0.0000 -
616.48/618.68 c 619 395492 354733 1 - 0.0000 -
622.55/624.76 c 625 397951 356930 1 - 0.0000 -
627.95/630.11 c 630 400008 358844 1 - 0.0000 -
633.11/635.30 c 635 401955 360592 1 - 0.0000 -
638.70/640.95 c 641 404095 362502 1 - 0.0000 -
644.27/646.50 c 646 406649 364836 1 - 0.0000 -
649.56/651.89 c 652 408646 366595 1 - 0.0000 -
655.24/657.52 c 658 411063 368799 1 - 0.0000 -
661.22/663.53 c 664 413623 371089 1 - 0.0000 -
666.71/669.01 c 669 415369 372547 1 - 0.0000 -
672.08/674.43 c 674 417676 374677 1 - 0.0000 -
677.55/679.97 c 680 419946 376475 1 - 0.0000 -
682.93/685.31 c 685 421594 377986 1 - 0.0000 -
688.42/690.85 c 691 423624 379608 1 - 0.0000 -
694.09/696.52 c 697 425947 381828 1 - 0.0000 -
699.38/701.80 c 702 427635 383283 1 - 0.0000 -
704.67/707.18 c 707 429897 385325 1 - 0.0000 -
710.65/713.11 c 713 432239 387458 1 - 0.0000 -
716.42/718.96 c 719 434194 389069 1 - 0.0000 -
721.52/724.04 c 724 436390 391195 1 - 0.0000 -
726.78/729.31 c 729 438143 392838 1 - 0.0000 -
732.07/734.62 c 735 440231 394852 1 - 0.0000 -
737.25/739.84 c 740 442047 396562 1 - 0.0000 -
742.54/745.18 c 745 443702 397997 1 - 0.0000 -
747.91/750.57 c 751 445601 399626 1 - 0.0000 -
753.69/756.33 c 756 447739 401423 1 - 0.0000 -
759.27/761.91 c 762 449409 402863 1 - 0.0000 -
764.46/767.13 c 767 451343 404512 1 - 0.0000 -
769.64/772.38 c 772 453164 406048 1 - 0.0000 -
775.21/777.93 c 778 454979 407686 1 - 0.0000 -
780.98/783.74 c 784 456942 409355 1 - 0.0000 -
786.17/788.90 c 789 459071 411329 1 - 0.0000 -
791.55/794.30 c 794 460748 412700 1 - 0.0000 -
797.03/799.86 c 800 463236 414824 1 - 0.0000 -
802.23/805.05 c 805 465377 416205 1 - 0.0000 -
807.80/810.67 c 811 467398 417528 1 - 0.0000 -
813.58/816.40 c 816 469221 419235 1 - 0.0000 -
819.36/822.25 c 822 471123 420965 1 - 0.0000 -
824.64/827.59 c 828 473080 422677 1 - 0.0000 -
830.33/833.25 c 833 475115 424570 1 - 0.0000 -
835.41/838.39 c 838 477269 426507 1 - 0.0000 -
841.10/844.09 c 844 479281 428488 1 - 0.0000 -
846.47/849.49 c 849 480876 429977 1 - 0.0000 -
852.25/855.27 c 855 482824 431496 1 - 0.0000 -
857.53/860.50 c 860 485255 433413 1 - 0.0000 -
863.42/866.41 c 866 486949 434832 1 - 0.0000 -
869.01/872.05 c 872 488962 436658 1 - 0.0000 -
874.28/877.37 c 877 490545 438010 1 - 0.0000 -
879.76/882.88 c 883 492255 439539 1 - 0.0000 -
885.44/888.59 c 889 494578 441647 1 - 0.0000 -
890.93/894.07 c 894 496634 443593 1 - 0.0000 -
897.02/900.15 c 900 498853 445739 1 - 0.0000 -
902.29/905.45 c 905 500674 447359 1 - 0.0000 -
907.58/910.77 c 911 502012 448565 1 - 0.0000 -
913.06/916.28 c 916 503776 450136 1 - 0.0000 -
918.65/921.86 c 922 505363 451518 1 - 0.0000 -
924.23/927.49 c 927 507228 453006 1 - 0.0000 -
930.41/933.63 c 934 508899 454407 1 - 0.0000 -
935.90/939.14 c 939 510273 455655 1 - 0.0000 -
941.57/944.80 c 945 512196 457372 1 - 0.0000 -
947.15/950.48 c 950 513587 458659 1 - 0.0000 -
952.53/955.87 c 956 515417 460220 1 - 0.0000 -
958.41/961.70 c 962 517254 461819 1 - 0.0000 -
963.81/967.16 c 967 519004 463381 1 - 0.0000 -
969.18/972.56 c 973 520888 465117 1 - 0.0000 -
974.56/977.94 c 978 522783 466669 1 - 0.0000 -
980.76/984.11 c 984 524492 468135 1 - 0.0000 -
986.42/989.87 c 990 526432 469769 1 - 0.0000 -
991.62/995.04 c 995 528277 471360 1 - 0.0000 -
997.49/1000.95 c 1001 530318 473307 1 - 0.0000 -
1003.27/1006.74 c 1007 532208 474899 1 - 0.0000 -
1009.35/1012.80 c 1013 533777 476376 1 - 0.0000 -
1014.54/1018.04 c 1018 535682 478033 1 - 0.0000 -
1020.42/1023.90 c 1024 537185 479382 1 - 0.0000 -
1026.10/1029.62 c 1030 538875 480969 1 - 0.0000 -
1031.38/1034.99 c 1035 539111 481201 1 - 0.0000 -
1036.96/1040.50 c 1040 540625 482579 1 - 0.0000 -
1042.95/1046.57 c 1047 541938 483613 1 - 0.0000 -
1048.63/1052.23 c 1052 543157 484694 1 - 0.0000 -
1054.10/1057.75 c 1058 544589 485819 1 - 0.0000 -
1060.40/1064.11 c 1064 546513 487374 1 - 0.0000 -
1066.27/1069.90 c 1070 548497 489157 1 - 0.0000 -
1072.47/1076.16 c 1076 549657 490230 1 - 0.0000 -
1077.45/1081.19 c 1081 550971 491477 1 - 0.0000 -
1083.22/1086.93 c 1087 552857 493294 1 - 0.0000 -
1088.80/1092.58 c 1093 554264 494535 1 - 0.0000 -
1094.68/1098.41 c 1098 556085 496075 1 - 0.0000 -
1100.27/1104.03 c 1104 557673 497411 1 - 0.0000 -
1105.44/1109.20 c 1109 559298 498564 1 - 0.0000 -
1111.03/1114.80 c 1115 561178 500159 1 - 0.0000 -
1116.51/1120.36 c 1120 562856 501556 1 - 0.0000 -
1121.69/1125.56 c 1126 564184 502650 1 - 0.0000 -
1127.48/1131.37 c 1131 565617 504030 1 - 0.0000 -
1133.35/1137.20 c 1137 567604 505785 1 - 0.0000 -
1138.44/1142.39 c 1142 568782 506866 1 - 0.0000 -
1144.72/1148.69 c 1149 570472 508275 1 - 0.0000 -
1150.40/1154.33 c 1154 573153 510956 1 - 0.0000 -
1155.78/1159.70 c 1160 575174 512977 1 - 0.0000 -
1160.77/1164.73 c 1165 576868 514645 1 - 0.0000 -
1166.15/1170.16 c 1170 578558 516291 1 - 0.0000 -
1171.93/1175.97 c 1176 580404 517857 1 - 0.0000 -
1177.61/1181.61 c 1182 581409 518725 1 - 0.0000 -
1182.69/1186.71 c 1187 582943 520173 1 - 0.0000 -
1188.47/1192.57 c 1193 584418 521551 1 - 0.0000 -
1194.15/1198.23 c 1198 585921 522830 1 - 0.0000 -
1199.84/1203.97 c 1204 587795 524309 1 - 0.0000 -
1205.51/1209.63 c 1210 589312 525577 1 - 0.0000 -
1211.20/1215.35 c 1215 590691 526814 1 - 0.0000 -
1217.18/1221.31 c 1221 592468 528394 1 - 0.0000 -
1223.66/1227.84 c 1228 594336 530207 1 - 0.0000 -
1229.44/1233.60 c 1234 596652 532511 1 - 0.0000 -
1235.03/1239.21 c 1239 598674 534517 1 - 0.0000 -
1241.00/1245.25 c 1245 600602 536431 1 - 0.0000 -
1246.98/1251.28 c 1251 602629 538441 1 - 0.0000 -
1252.78/1257.10 c 1257 604218 540018 1 - 0.0000 -
1258.76/1263.08 c 1263 606027 541817 1 - 0.0000 -
1264.63/1268.94 c 1269 608228 544018 1 - 0.0000 -
1270.22/1274.59 c 1275 610185 545975 1 - 0.0000 -
1275.30/1279.64 c 1280 612028 547792 1 - 0.0000 -
1280.29/1284.68 c 1285 613598 549344 1 - 0.0000 -
1286.18/1290.58 c 1291 615156 550896 1 - 0.0000 -
1292.36/1296.71 c 1297 617166 552906 1 - 0.0000 -
1298.45/1302.85 c 1303 619165 554905 1 - 0.0000 -
1303.43/1307.87 c 1308 620636 556368 1 - 0.0000 -
1308.62/1313.10 c 1313 622326 558058 1 - 0.0000 -
1313.99/1318.44 c 1318 624001 559667 1 - 0.0000 -
1319.19/1323.61 c 1324 625588 561254 1 - 0.0000 -
1324.37/1328.84 c 1329 627584 563221 1 - 0.0000 -
1330.06/1334.50 c 1334 629134 564712 1 - 0.0000 -
1335.94/1340.43 c 1340 630727 566263 1 - 0.0000 -
1341.63/1346.14 c 1346 632121 567643 1 - 0.0000 -
1347.21/1351.76 c 1352 633307 568766 1 - 0.0000 -
1352.70/1357.26 c 1357 634552 569913 1 - 0.0000 -
1358.68/1363.21 c 1363 635991 571265 1 - 0.0000 -
1364.57/1369.14 c 1369 637301 572553 1 - 0.0000 -
1370.64/1375.22 c 1375 639177 574359 1 - 0.0000 -
1376.62/1381.23 c 1381 640573 575700 1 - 0.0000 -
1382.21/1386.82 c 1387 641521 576614 1 - 0.0000 -
1388.09/1392.76 c 1393 642651 577614 1 - 0.0000 -
1393.67/1398.34 c 1398 644137 578898 1 - 0.0000 -
1399.76/1404.41 c 1404 645446 580004 1 - 0.0000 -
1404.75/1409.48 c 1409 646941 581334 1 - 0.0000 -
1410.23/1414.92 c 1415 648521 582759 1 - 0.0000 -
1415.61/1420.34 c 1420 650047 584150 1 - 0.0000 -
1420.60/1425.37 c 1425 651264 585228 1 - 0.0000 -
1426.29/1431.05 c 1431 653007 586855 1 - 0.0000 -
1432.16/1437.00 c 1437 654261 587917 1 - 0.0000 -
1438.54/1443.32 c 1443 655908 589398 1 - 0.0000 -
1444.02/1448.83 c 1449 657369 590678 1 - 0.0000 -
1449.80/1454.61 c 1455 658637 591731 1 - 0.0000 -
1455.98/1460.83 c 1461 659969 593003 1 - 0.0000 -
1461.57/1466.49 c 1466 661339 594224 1 - 0.0000 -
1467.74/1472.61 c 1473 662704 595454 1 - 0.0000 -
1473.24/1478.15 c 1478 664061 596676 1 - 0.0000 -
1478.71/1483.66 c 1484 664942 597493 1 - 0.0000 -
1484.70/1489.68 c 1490 666753 599230 1 - 0.0000 -
1490.08/1495.02 c 1495 668243 600629 1 - 0.0000 -
1495.95/1500.99 c 1501 669986 602321 1 - 0.0000 -
1501.44/1506.41 c 1506 671242 603518 1 - 0.0000 -
1506.52/1511.57 c 1512 672783 604885 1 - 0.0000 -
1511.81/1516.88 c 1517 673979 605968 1 - 0.0000 -
1517.69/1522.77 c 1523 675127 607049 1 - 0.0000 -
1523.77/1528.84 c 1529 676609 608477 1 - 0.0000 -
1529.25/1534.39 c 1534 677753 609475 1 - 0.0000 -
1535.04/1540.12 c 1540 679116 610690 1 - 0.0000 -
1540.32/1545.40 c 1545 680367 611866 1 - 0.0000 -
1545.40/1550.53 c 1551 681732 613130 1 - 0.0000 -
1551.28/1556.42 c 1556 682875 614164 1 - 0.0000 -
1557.27/1562.49 c 1562 684401 615543 1 - 0.0000 -
1563.04/1568.22 c 1568 685654 616619 1 - 0.0000 -
1568.53/1573.71 c 1574 687247 617991 1 - 0.0000 -
1573.71/1578.94 c 1579 688318 618942 1 - 0.0000 -
1579.49/1584.77 c 1585 689089 619635 1 - 0.0000 -
1585.57/1590.80 c 1591 689784 620208 1 - 0.0000 -
1590.65/1595.90 c 1596 691055 621431 1 - 0.0000 -
1596.04/1601.31 c 1601 692389 622666 1 - 0.0000 -
1601.43/1606.75 c 1607 693429 623572 1 - 0.0000 -
1607.61/1612.96 c 1613 694927 624888 1 - 0.0000 -
1613.39/1618.71 c 1619 696576 626434 1 - 0.0000 -
1619.57/1624.90 c 1625 697754 627518 1 - 0.0000 -
1625.15/1630.54 c 1631 699254 628890 1 - 0.0000 -
1630.23/1635.65 c 1636 700898 630532 1 - 0.0000 -
1636.12/1641.58 c 1642 702239 631802 1 - 0.0000 -
1641.30/1646.71 c 1647 703521 632787 1 - 0.0000 -
1646.98/1652.47 c 1652 704817 633979 1 - 0.0000 -
1653.46/1659.00 c 1659 706447 635466 1 - 0.0000 -
1658.65/1664.12 c 1664 707956 636874 1 - 0.0000 -
1664.43/1669.95 c 1670 709584 638364 1 - 0.0000 -
1670.51/1676.03 c 1676 711102 639663 1 - 0.0000 -
1675.79/1681.32 c 1681 712458 640818 1 - 0.0000 -
1681.48/1687.08 c 1687 713901 642010 1 - 0.0000 -
1687.05/1692.62 c 1693 715373 643177 1 - 0.0000 -
1692.55/1698.12 c 1698 716258 643968 1 - 0.0000 -
1698.43/1704.02 c 1704 717906 645313 1 - 0.0000 -
1703.90/1709.56 c 1710 718823 646056 1 - 0.0000 -
1709.98/1715.67 c 1716 720076 647226 1 - 0.0000 -
1715.76/1721.47 c 1721 721079 648133 1 - 0.0000 -
1721.14/1726.83 c 1727 722098 649133 1 - 0.0000 -
1726.34/1732.07 c 1732 723369 650152 1 - 0.0000 -
1732.01/1737.76 c 1738 724983 651635 1 - 0.0000 -
1737.89/1743.69 c 1744 726327 652861 1 - 0.0000 -
1743.77/1749.59 c 1750 727501 653829 1 - 0.0000 -
1749.06/1754.88 c 1755 728749 654773 1 - 0.0000 -
1754.74/1760.52 c 1761 729776 655764 1 - 0.0000 -
1760.52/1766.37 c 1766 731054 656959 1 - 0.0000 -
1766.31/1772.12 c 1772 732211 658088 1 - 0.0000 -
1771.69/1777.51 c 1778 733533 659196 1 - 0.0000 -
1776.67/1782.60 c 1783 734740 660144 1 - 0.0000 -
1782.55/1788.48 c 1788 735876 661160 1 - 0.0000 -
1788.82/1794.78 c 1795 737396 662580 1 - 0.0000 -
1794.01/1799.90 c 1800 738326 663452 1 - 0.0000 -
1799.49/1805.45 c 1805 739751 664698 1 - 0.0000 -
1804.68/1810.67 c 1811 740779 665667 1 - 0.0000 -
1809.97/1815.97 c 1816 741641 666465 1 - 0.0000 -
1815.94/1821.92 c 1822 742834 667613 1 - 0.0000 -
1821.72/1827.80 c 1828 744084 668742 1 - 0.0000 -
1827.21/1833.22 c 1833 745214 669773 1 - 0.0000 -
1832.99/1839.03 c 1839 746553 670956 1 - 0.0000 -
1838.98/1845.08 c 1845 747761 672053 1 - 0.0000 -
1845.35/1851.45 c 1851 748988 673138 1 - 0.0000 -
1851.13/1857.26 c 1857 750645 674236 1 - 0.0000 -
1856.32/1862.43 c 1862 751831 675307 1 - 0.0000 -
1861.60/1867.74 c 1868 753018 676428 1 - 0.0000 -
1866.68/1872.88 c 1873 754023 677365 1 - 0.0000 -
1871.76/1877.98 c 1878 755217 678536 1 - 0.0000 -
1877.75/1883.99 c 1884 756587 679891 1 - 0.0000 -
1883.53/1889.74 c 1890 757892 680974 1 - 0.0000 -
1888.82/1895.04 c 1895 759056 682080 1 - 0.0000 -
1894.99/1901.28 c 1901 760287 683230 1 - 0.0000 -
1900.67/1906.94 c 1907 761602 684282 1 - 0.0000 -
1906.56/1912.86 c 1913 762511 685012 1 - 0.0000 -
1912.64/1918.98 c 1919 763906 686291 1 - 0.0000 -
1918.32/1924.61 c 1925 765251 687569 1 - 0.0000 -
1923.81/1930.19 c 1930 766417 688695 1 - 0.0000 -
1929.48/1935.86 c 1936 767402 689547 1 - 0.0000 -
1935.17/1941.50 c 1942 768536 690573 1 - 0.0000 -
1940.45/1946.87 c 1947 769479 691407 1 - 0.0000 -
1945.93/1952.38 c 1952 770791 692659 1 - 0.0000 -
1951.92/1958.37 c 1958 772476 694187 1 - 0.0000 -
1957.79/1964.20 c 1964 773667 695274 1 - 0.0000 -
1963.47/1969.96 c 1970 774752 696294 1 - 0.0000 -
1969.36/1975.82 c 1976 775949 697345 1 - 0.0000 -
1975.24/1981.75 c 1982 777559 698826 1 - 0.0000 -
1981.12/1987.66 c 1988 778878 700098 1 - 0.0000 -
1987.01/1993.56 c 1994 780139 700939 1 - 0.0000 -
1992.78/1999.37 c 1999 781536 702076 1 - 0.0000 -
1997.97/2004.50 c 2005 782515 702801 1 - 0.0000 -
2003.85/2010.43 c 2010 783855 704000 1 - 0.0000 -
2010.13/2016.77 c 2017 785397 705275 1 - 0.0000 -
2015.62/2022.20 c 2022 786851 706330 1 - 0.0000 -
2020.60/2027.29 c 2027 788055 707464 1 - 0.0000 -
2026.58/2033.22 c 2033 789548 708945 1 - 0.0000 -
2031.76/2038.42 c 2038 790803 710200 1 - 0.0000 -
2037.95/2044.60 c 2045 792288 711663 1 - 0.0000 -
2043.44/2050.18 c 2050 793444 712718 1 - 0.0000 -
2048.92/2055.60 c 2056 794576 713557 1 - 0.0000 -
2054.70/2061.43 c 2061 795723 714463 1 - 0.0000 -
2060.18/2066.92 c 2067 796489 715079 1 - 0.0000 -
2066.76/2073.50 c 2074 797785 716289 1 - 0.0000 -
2073.04/2079.83 c 2080 798754 717126 1 - 0.0000 -
2078.62/2085.44 c 2085 799641 717742 1 - 0.0000 -
2084.41/2091.29 c 2091 800728 718715 1 - 0.0000 -
2089.79/2096.61 c 2097 801791 719713 1 - 0.0000 -
2095.68/2102.56 c 2103 802831 720701 1 - 0.0000 -
2101.05/2107.98 c 2108 804073 721882 1 - 0.0000 -
2106.44/2113.33 c 2113 804934 722696 1 - 0.0000 -
2111.52/2118.46 c 2118 805835 723575 1 - 0.0000 -
2116.90/2123.83 c 2124 806895 724609 1 - 0.0000 -
2122.48/2129.45 c 2129 807922 725485 1 - 0.0000 -
2128.67/2135.69 c 2136 808888 726403 1 - 0.0000 -
2134.45/2141.41 c 2141 810168 727560 1 - 0.0000 -
2140.33/2147.33 c 2147 811296 728629 1 - 0.0000 -
2146.31/2153.37 c 2153 812396 729633 1 - 0.0000 -
2152.11/2159.15 c 2159 813579 730707 1 - 0.0000 -
2157.48/2164.50 c 2165 814147 731159 1 - 0.0000 -
2163.16/2170.26 c 2170 815062 731943 1 - 0.0000 -
2169.35/2176.47 c 2176 816179 732937 1 - 0.0000 -
2174.82/2181.95 c 2182 817579 734259 1 - 0.0000 -
2181.02/2188.11 c 2188 818524 735164 1 - 0.0000 -
2186.29/2193.48 c 2193 819657 736148 1 - 0.0000 -
2191.99/2199.20 c 2199 820953 737297 1 - 0.0000 -
2197.15/2204.30 c 2204 821754 738078 1 - 0.0000 -
2202.34/2209.57 c 2210 823143 739413 1 - 0.0000 -
2207.83/2215.10 c 2215 824159 740372 1 - 0.0000 -
2213.30/2220.56 c 2221 825151 741322 1 - 0.0000 -
2218.68/2225.91 c 2226 826231 742348 1 - 0.0000 -
2224.67/2231.91 c 2232 827151 743138 1 - 0.0000 -
2229.95/2237.27 c 2237 828162 744031 1 - 0.0000 -
2235.74/2243.08 c 2243 829101 744838 1 - 0.0000 -
2240.92/2248.22 c 2248 829749 745429 1 - 0.0000 -
2246.60/2253.90 c 2254 830507 746032 1 - 0.0000 -
2252.38/2259.76 c 2260 831302 746704 1 - 0.0000 -
2258.36/2265.71 c 2266 832476 747795 1 - 0.0000 -
2263.65/2271.06 c 2271 833647 748743 1 - 0.0000 -
2268.93/2276.32 c 2276 834561 749579 1 - 0.0000 -
2274.31/2281.77 c 2282 835774 750616 1 - 0.0000 -
2279.80/2287.21 c 2287 836832 751520 1 - 0.0000 -
2285.88/2293.36 c 2293 837948 752543 1 - 0.0000 -
2291.67/2299.19 c 2299 838899 753414 1 - 0.0000 -
2297.44/2304.95 c 2305 839856 754314 1 - 0.0000 -
2303.53/2311.05 c 2311 840717 755068 1 - 0.0000 -
2309.62/2317.14 c 2317 842176 756268 1 - 0.0000 -
2315.98/2323.52 c 2324 843471 757529 1 - 0.0000 -
2321.36/2328.90 c 2329 844261 758234 1 - 0.0000 -
2326.95/2334.53 c 2335 845291 759206 1 - 0.0000 -
2332.73/2340.30 c 2340 846349 760222 1 - 0.0000 -
2338.81/2346.48 c 2346 847315 761153 1 - 0.0000 -
2344.99/2352.63 c 2353 848708 762394 1 - 0.0000 -
2350.57/2358.27 c 2358 849507 763073 1 - 0.0000 -
2355.96/2363.63 c 2364 850751 764282 1 - 0.0000 -
2361.54/2369.20 c 2369 851625 765065 1 - 0.0000 -
2366.82/2374.58 c 2375 852871 766305 1 - 0.0000 -
2372.32/2380.02 c 2380 854054 767400 1 - 0.0000 -
2377.89/2385.64 c 2386 854834 768058 1 - 0.0000 -
2383.29/2391.09 c 2391 855922 769081 1 - 0.0000 -
2388.46/2396.29 c 2396 857029 770107 1 - 0.0000 -
2394.04/2401.89 c 2402 858053 770984 1 - 0.0000 -
2399.42/2407.29 c 2407 859121 771835 1 - 0.0000 -
2404.81/2412.69 c 2413 860101 772764 1 - 0.0000 -
2410.59/2418.44 c 2418 861392 773839 1 - 0.0000 -
2416.87/2424.72 c 2425 862118 774441 1 - 0.0000 -
2422.75/2430.66 c 2431 863116 775345 1 - 0.0000 -
2428.15/2436.10 c 2436 864516 776689 1 - 0.0000 -
2433.52/2441.48 c 2441 865549 777616 1 - 0.0000 -
2438.70/2446.60 c 2447 866204 778166 1 - 0.0000 -
2445.48/2453.46 c 2453 867241 779098 1 - 0.0000 -
2450.75/2458.75 c 2459 868403 780173 1 - 0.0000 -
2455.94/2464.01 c 2464 869114 780774 1 - 0.0000 -
2461.21/2469.26 c 2469 869867 781452 1 - 0.0000 -
2466.70/2474.74 c 2475 870739 782214 1 - 0.0000 -
2471.98/2480.07 c 2480 871834 782985 1 - 0.0000 -
2477.56/2485.69 c 2486 872951 783963 1 - 0.0000 -
2483.13/2491.21 c 2491 873959 784686 1 - 0.0000 -
2489.41/2497.53 c 2498 875195 785827 1 - 0.0000 -
2494.70/2502.87 c 2503 876067 786625 1 - 0.0000 -
2500.37/2508.58 c 2509 877343 787794 1 - 0.0000 -
2505.45/2513.62 c 2514 878391 788669 1 - 0.0000 -
2510.74/2518.97 c 2519 879176 789358 1 - 0.0000 -
2516.31/2524.55 c 2525 879877 789946 1 - 0.0000 -
2522.59/2530.85 c 2531 881068 790724 1 - 0.0000 -
2528.28/2536.58 c 2537 882153 791296 1 - 0.0000 -
2533.45/2541.74 c 2542 883253 792309 1 - 0.0000 -
2539.33/2547.66 c 2548 884392 793297 1 - 0.0000 -
2544.41/2552.72 c 2553 885212 793999 1 - 0.0000 -
2549.88/2558.25 c 2558 886052 794665 1 - 0.0000 -
2555.37/2563.70 c 2564 887173 795656 1 - 0.0000 -
2561.66/2570.03 c 2570 888387 796661 1 - 0.0000 -
2567.24/2575.67 c 2576 889851 798023 1 - 0.0000 -
2573.51/2581.94 c 2582 891079 799193 1 - 0.0000 -
2579.20/2587.65 c 2588 892086 800162 1 - 0.0000 -
2585.08/2593.56 c 2594 893445 801279 1 - 0.0000 -
2590.57/2599.07 c 2599 894481 802179 1 - 0.0000 -
2597.23/2605.77 c 2606 895971 803488 1 - 0.0000 -
2603.32/2611.83 c 2612 897178 804437 1 - 0.0000 -
2609.19/2617.71 c 2618 898013 805235 1 - 0.0000 -
2614.77/2623.30 c 2623 899250 806332 1 - 0.0000 -
2620.57/2629.17 c 2629 900146 807144 1 - 0.0000 -
2626.04/2634.65 c 2635 901252 808160 1 - 0.0000 -
2631.44/2640.07 c 2640 902153 809021 1 - 0.0000 -
2638.01/2646.67 c 2647 903195 810013 1 - 0.0000 -
2644.58/2653.25 c 2653 904441 811028 1 - 0.0000 -
2649.88/2658.50 c 2658 905461 812021 1 - 0.0000 -
2655.86/2664.58 c 2665 906472 812965 1 - 0.0000 -
2661.34/2670.01 c 2670 907971 814362 1 - 0.0000 -
2667.22/2675.94 c 2676 909266 815533 1 - 0.0000 -
2672.41/2681.19 c 2681 909862 816075 1 - 0.0000 -
2678.39/2687.15 c 2687 910661 816741 1 - 0.0000 -
2683.86/2692.67 c 2693 911465 817459 1 - 0.0000 -
2689.14/2697.96 c 2698 912114 818041 1 - 0.0000 -
2695.03/2703.84 c 2704 912939 818803 1 - 0.0000 -
2700.51/2709.39 c 2709 914099 819873 1 - 0.0000 -
2705.59/2714.43 c 2714 914787 820451 1 - 0.0000 -
2711.48/2720.38 c 2720 915779 821386 1 - 0.0000 -
2716.57/2725.41 c 2725 917011 822490 1 - 0.0000 -
2721.75/2730.62 c 2731 917913 823201 1 - 0.0000 -
2726.83/2735.74 c 2736 918734 823866 1 - 0.0000 -
2732.92/2741.87 c 2742 919893 825019 1 - 0.0000 -
2739.00/2747.99 c 2748 920515 825600 1 - 0.0000 -
2744.09/2753.10 c 2753 921189 826155 1 - 0.0000 -
2749.97/2758.96 c 2759 922197 826831 1 - 0.0000 -
2755.75/2764.73 c 2765 923223 827759 1 - 0.0000 -
2761.54/2770.58 c 2771 924302 828677 1 - 0.0000 -
2766.82/2775.87 c 2776 925194 829524 1 - 0.0000 -
2773.40/2782.43 c 2782 926204 830479 1 - 0.0000 -
2779.29/2788.38 c 2788 927446 831533 1 - 0.0000 -
2785.17/2794.25 c 2794 928471 832462 1 - 0.0000 -
2790.74/2799.85 c 2800 929384 833359 1 - 0.0000 -
2796.94/2806.08 c 2806 930427 834334 1 - 0.0000 -
2803.02/2812.19 c 2812 931711 835493 1 - 0.0000 -
2808.79/2818.00 c 2818 932618 836277 1 - 0.0000 -
2815.07/2824.27 c 2824 933641 837218 1 - 0.0000 -
2820.86/2830.06 c 2830 934721 838167 1 - 0.0000 -
2826.44/2835.65 c 2836 935691 839066 1 - 0.0000 -
2831.42/2840.66 c 2841 936813 840180 1 - 0.0000 -
2836.60/2845.82 c 2846 937662 840973 1 - 0.0000 -
2842.48/2851.71 c 2852 938606 841823 1 - 0.0000 -
2848.16/2857.42 c 2857 939768 842963 1 - 0.0000 -
2853.94/2863.26 c 2863 940932 843850 1 - 0.0000 -
2860.22/2869.52 c 2870 941506 844397 1 - 0.0000 -
2865.91/2875.22 c 2875 942385 845191 1 - 0.0000 -
2871.89/2881.29 c 2881 943381 846051 1 - 0.0000 -
2876.98/2886.37 c 2886 944069 846658 1 - 0.0000 -
2882.36/2891.74 c 2892 945146 847564 1 - 0.0000 -
2888.34/2897.79 c 2898 946021 848357 1 - 0.0000 -
2894.02/2903.42 c 2903 946876 849048 1 - 0.0000 -
2899.61/2909.09 c 2909 948031 850203 1 - 0.0000 -
2905.88/2915.38 c 2915 949141 851277 1 - 0.0000 -
2911.58/2921.06 c 2921 950078 852102 1 - 0.0000 -
2916.66/2926.12 c 2926 951157 853150 1 - 0.0000 -
2922.74/2932.25 c 2932 951943 853821 1 - 0.0000 -
2928.12/2937.67 c 2938 952911 854666 1 - 0.0000 -
2933.61/2943.11 c 2943 953713 855466 1 - 0.0000 -
2938.89/2948.45 c 2948 954859 856576 1 - 0.0000 -
2943.97/2953.50 c 2954 955489 857142 1 - 0.0000 -
2949.06/2958.69 c 2959 956601 858125 1 - 0.0000 -
2954.14/2963.72 c 2964 957616 859002 1 - 0.0000 -
2959.72/2969.36 c 2969 958688 860031 1 - 0.0000 -
2964.80/2974.46 c 2974 959591 860898 1 - 0.0000 -
2970.50/2980.14 c 2980 960817 861975 1 - 0.0000 -
2975.67/2985.39 c 2985 961509 862556 1 - 0.0000 -
2981.26/2990.94 c 2991 962420 863399 1 - 0.0000 -
2986.24/2995.95 c 2996 963076 864019 1 - 0.0000 -
2991.33/3001.09 c 3001 963904 864820 1 - 0.0000 -
2997.20/3006.95 c 3007 965009 865763 1 - 0.0000 -
3003.09/3012.87 c 3013 965869 866545 1 - 0.0000 -
3008.67/3018.49 c 3018 966724 867387 1 - 0.0000 -
3014.15/3023.91 c 3024 968077 868716 1 - 0.0000 -
3020.35/3030.14 c 3030 968876 869392 1 - 0.0000 -
3025.82/3035.67 c 3036 969845 870280 1 - 0.0000 -
3031.01/3040.82 c 3041 970809 871078 1 - 0.0000 -
3036.09/3045.97 c 3046 971963 871945 1 - 0.0000 -
3042.07/3051.94 c 3052 972926 872713 1 - 0.0000 -
3047.27/3057.15 c 3057 973618 873341 1 - 0.0000 -
3052.64/3062.56 c 3063 974668 874368 1 - 0.0000 -
3058.23/3068.16 c 3068 975314 874951 1 - 0.0000 -
3064.01/3073.93 c 3074 975664 875268 1 - 0.0000 -
3070.39/3080.35 c 3080 976346 875892 1 - 0.0000 -
3075.77/3085.78 c 3086 977411 876858 1 - 0.0000 -
3081.56/3091.52 c 3092 978163 877369 1 - 0.0000 -
3087.34/3097.32 c 3097 979374 878333 1 - 0.0000 -
3094.03/3104.03 c 3104 980324 879188 1 - 0.0000 -
3099.30/3109.32 c 3109 981034 879865 1 - 0.0000 -
3104.69/3114.77 c 3115 982119 880836 1 - 0.0000 -
3109.77/3119.83 c 3120 982808 881468 1 - 0.0000 -
3115.25/3125.39 c 3125 983784 882337 1 - 0.0000 -
3121.44/3131.51 c 3132 984681 883127 1 - 0.0000 -
3127.03/3137.11 c 3137 985672 884059 1 - 0.0000 -
3133.30/3143.46 c 3143 986831 884944 1 - 0.0000 -
3138.68/3148.86 c 3149 987641 885718 1 - 0.0000 -
3144.16/3154.30 c 3154 988919 886902 1 - 0.0000 -
3149.96/3160.15 c 3160 990079 887956 1 - 0.0000 -
3155.54/3165.77 c 3166 990943 888816 1 - 0.0000 -
3161.21/3171.42 c 3171 991871 889659 1 - 0.0000 -
3167.10/3177.38 c 3177 992863 890566 1 - 0.0000 -
3172.28/3182.57 c 3183 993661 891292 1 - 0.0000 -
3178.17/3188.40 c 3188 994737 892266 1 - 0.0000 -
3183.55/3193.89 c 3194 995692 893200 1 - 0.0000 -
3190.23/3200.57 c 3201 996822 894278 1 - 0.0000 -
3196.12/3206.46 c 3206 997809 895110 1 - 0.0000 -
3201.71/3212.06 c 3212 998766 895920 1 - 0.0000 -
3207.58/3217.92 c 3218 999571 896349 1 - 0.0000 -
3212.56/3222.98 c 3223 1000404 897083 1 - 0.0000 -
3218.55/3228.90 c 3229 1001037 897659 1 - 0.0000 -
3224.74/3235.18 c 3235 1002034 898547 1 - 0.0000 -
3230.72/3241.11 c 3241 1002969 899321 1 - 0.0000 -
3237.09/3247.59 c 3248 1004052 900370 1 - 0.0000 -
3242.97/3253.42 c 3253 1005421 901606 1 - 0.0000 -
3249.15/3259.63 c 3260 1006341 902425 1 - 0.0000 -
3255.33/3265.84 c 3266 1007209 903129 1 - 0.0000 -
3261.11/3271.61 c 3272 1008176 903997 1 - 0.0000 -
3266.79/3277.32 c 3277 1009028 904709 1 - 0.0000 -
3272.49/3283.03 c 3283 1009808 905410 1 - 0.0000 -
3277.66/3288.23 c 3288 1010874 906264 1 - 0.0000 -
3283.45/3294.03 c 3294 1011761 907100 1 - 0.0000 -
3290.13/3300.72 c 3301 1012731 907980 1 - 0.0000 -
3296.20/3306.87 c 3307 1013657 908723 1 - 0.0000 -
3302.29/3312.95 c 3313 1014688 909691 1 - 0.0000 -
3307.27/3318.01 c 3318 1015524 910410 1 - 0.0000 -
3313.26/3323.95 c 3324 1016452 911301 1 - 0.0000 -
3319.63/3330.36 c 3330 1017396 912215 1 - 0.0000 -
3326.32/3337.08 c 3337 1018372 913103 1 - 0.0000 -
3332.99/3343.77 c 3344 1019581 914312 1 - 0.0000 -
3338.68/3349.45 c 3349 1020802 915390 1 - 0.0000 -
3344.66/3355.41 c 3355 1021711 916122 1 - 0.0000 -
3350.04/3360.83 c 3361 1022293 916646 1 - 0.0000 -
3355.43/3366.26 c 3366 1023024 917214 1 - 0.0000 -
3361.01/3371.87 c 3372 1023779 917873 1 - 0.0000 -
3366.99/3377.81 c 3378 1024882 918976 1 - 0.0000 -
3372.98/3383.86 c 3384 1025718 919674 1 - 0.0000 -
3378.85/3389.72 c 3390 1026411 920309 1 - 0.0000 -
3383.93/3394.89 c 3395 1027022 920911 1 - 0.0000 -
3389.03/3399.97 c 3400 1027871 921642 1 - 0.0000 -
3394.71/3405.63 c 3406 1028677 922325 1 - 0.0000 -
3399.79/3410.74 c 3411 1029623 923038 1 - 0.0000 -
3405.98/3417.01 c 3417 1030489 923812 1 - 0.0000 -
3412.46/3423.46 c 3423 1031323 924566 1 - 0.0000 -
3418.23/3429.24 c 3429 1032233 925371 1 - 0.0000 -
3423.41/3434.45 c 3434 1032982 926072 1 - 0.0000 -
3428.90/3439.97 c 3440 1033533 926564 1 - 0.0000 -
3433.99/3445.09 c 3445 1033936 926868 1 - 0.0000 -
3439.77/3450.87 c 3451 1034689 927516 1 - 0.0000 -
3445.65/3456.70 c 3457 1035633 928324 1 - 0.0000 -
3450.83/3461.91 c 3462 1036866 929557 1 - 0.0000 -
3456.71/3467.84 c 3468 1038075 930766 1 - 0.0000 -
3462.01/3473.11 c 3473 1039175 931858 1 - 0.0000 -
3467.78/3478.99 c 3479 1040367 933044 1 - 0.0000 -
3474.46/3485.66 c 3486 1041426 934094 1 - 0.0000 -
3479.75/3490.91 c 3491 1042504 935172 1 - 0.0000 -
3485.94/3497.12 c 3497 1043443 936103 1 - 0.0000 -
3492.01/3503.25 c 3503 1044623 937283 1 - 0.0000 -
3497.09/3508.35 c 3508 1045492 938148 1 - 0.0000 -
3502.97/3514.26 c 3514 1046662 939298 1 - 0.0000 -
3508.25/3519.57 c 3520 1047568 940168 1 - 0.0000 -
3513.64/3524.94 c 3525 1048059 940638 1 - 0.0000 -
3519.12/3530.43 c 3530 1048916 941392 1 - 0.0000 -
3524.30/3535.68 c 3536 1049544 941987 1 - 0.0000 -
3529.39/3540.77 c 3541 1050355 942641 1 - 0.0000 -
3535.27/3546.60 c 3547 1050936 943156 1 - 0.0000 -
3540.25/3551.61 c 3552 1051678 943877 1 - 0.0000 -
3545.34/3556.74 c 3557 1052571 944755 1 - 0.0000 -
3551.12/3562.56 c 3563 1053253 945314 1 - 0.0000 -
3557.51/3568.93 c 3569 1054021 945981 1 - 0.0000 -
3562.99/3574.47 c 3574 1054684 946608 1 - 0.0000 -
3569.37/3580.80 c 3581 1055629 947383 1 - 0.0000 -
3574.46/3585.96 c 3586 1056573 948234 1 - 0.0000 -
3579.45/3590.98 c 3591 1057233 948826 1 - 0.0000 -
3585.42/3596.90 c 3597 1058335 949847 1 - 0.0000 -
3587.92/3599.43 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.92/3599.43 c Total Time : 3599.4300
3587.92/3599.43 c solving : 3599.4300
3587.92/3599.43 c presolving : 0.0136 (included in solving)
3587.92/3599.43 c B&B Tree :
3587.92/3599.43 c nodes (total) : 1
3587.92/3599.43 c Solution :
3587.92/3599.43 c Solutions found : 0
3587.92/3599.43 c Primal Bound : -
3587.92/3599.43 c Dual Bound : +0.00000000000000e+00
3587.92/3599.43 c Gap : -
3587.92/3599.43 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (51274 MiB free)
memory of node 1: 64473 MiB (52259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464554-1722385801/watcher-4464554-1722385801 -o /tmp/evaluation-result-4464554-1722385801/solver-4464554-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28658 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464554-1722385801.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33190, runsolver pid=33187
[startup+0.10011 s]*
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=106007720/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=22892 CPUtime=0.1 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3141 0 0 0 10 0 0 0 20 0 3 0 5177672 110444544 5723 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 5723 2950 3035 0 9318 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 1711 0 0 0 7 0 0 0 20 0 3 0 5177675 110444544 5723 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=232851243367 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 5723 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 22892 KiB
[startup+0.213603 s]*
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=106007248/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=23948 CPUtime=0.21 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3381 0 0 0 21 0 0 0 20 0 3 0 5177672 110444544 5987 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 5987 2950 3035 0 9318 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=664970838410264707 CPUtime=0.19 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 1951 0 0 0 19 0 0 0 20 0 3 0 5177675 110444544 5987 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=3617 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 5987 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 23948 KiB
[startup+0.313535 s]*
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=106003420/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=27176 CPUtime=0.31 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 4137 0 0 0 30 1 0 0 20 0 3 0 5177672 110444544 6794 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 6794 2966 3035 0 10249 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=-5155627981668445061 CPUtime=0.27 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 2707 0 0 0 27 0 0 0 20 0 3 0 5177675 110444544 6794 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=0 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 6794 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 27176 KiB
[startup+0.700419 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=106001728/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=28760 CPUtime=0.68 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 4547 0 0 0 67 1 0 0 20 0 3 0 5177672 110444544 7190 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 7190 2966 3035 0 10517 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=0 CPUtime=0.65 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3117 0 0 0 65 0 0 0 20 0 3 0 5177675 110444544 7190 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=0 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 7190 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 28760 KiB
[startup+1.50041 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=106001272/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=31224 CPUtime=1.48 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 7343 0 0 0 147 1 0 0 20 0 3 0 5177672 110444544 7806 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 7806 2966 3035 0 11104 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=0 CPUtime=1.45 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 5900 0 0 0 144 1 0 0 20 0 3 0 5177675 110444544 7806 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=0 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 7806 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 31224 KiB
[startup+3.11299 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=105992656/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=37568 CPUtime=3.08 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 9570 0 0 0 307 1 0 0 20 0 3 0 5177672 110444544 9392 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 9392 2966 3035 0 12600 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=2273 CPUtime=3.05 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 8123 0 0 0 304 1 0 0 20 0 3 0 5177675 110444544 9392 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=0 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 9392 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 37568 KiB
[startup+6.3003 s]
/proc/loadavg: 4.14 4.13 4.15 4/247 33226
/proc/meminfo: memFree=108961500/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=107856 memory=38796 CPUtime=6.26 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 13345 0 0 0 624 2 0 0 20 0 3 0 5177672 110444544 9699 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 26964 9699 3014 3035 0 12807 0
[pid=33190/tid=33192] ppid=33187 vsize=107856 memory=-5155627981668445061 CPUtime=6.23 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 11872 0 0 0 621 2 0 0 20 0 3 0 5177675 110444544 9699 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=107856 memory=38784 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5177675 110444544 9699 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 38796 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.13 4.15 5/257 33301
/proc/meminfo: memFree=108866404/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=109572 memory=44640 CPUtime=12.64 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 22680 0 0 0 1258 6 0 0 20 0 3 0 5177672 112201728 11160 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 27393 11160 3014 3035 0 14534 0
[pid=33190/tid=33192] ppid=33187 vsize=109572 memory=43296 CPUtime=12.6 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 21165 0 0 0 1255 5 0 0 20 0 3 0 5177675 112201728 11160 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=109572 memory=-7595720463122259832 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5177675 112201728 11160 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 44640 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.12 4.15 5/257 33303
/proc/meminfo: memFree=108832808/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=116596 memory=59376 CPUtime=25.38 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 44428 0 0 0 2527 11 0 0 20 0 3 0 5177672 119394304 14844 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 29149 14844 3014 3035 0 17996 0
[pid=33190/tid=33192] ppid=33187 vsize=116596 memory=-7595720463122259832 CPUtime=25.36 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 42837 0 0 0 2525 11 0 0 20 0 3 0 5177675 119394304 14844 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=116596 memory=57124 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5177675 119394304 14844 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 116596 KiB
Current children cumulated memory: 59376 KiB
[startup+51.1131 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 33308
/proc/meminfo: memFree=108252792/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=134172 memory=93636 CPUtime=50.91 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 82208 0 0 0 5071 20 0 0 20 0 3 0 5177672 137392128 23409 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 33543 23409 3014 3035 0 27265 0
[pid=33190/tid=33192] ppid=33187 vsize=134172 memory=80228 CPUtime=50.88 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 80524 0 0 0 5068 20 0 0 20 0 3 0 5177675 137392128 23409 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=134172 memory=12952 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5177675 137392128 23409 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 134172 KiB
Current children cumulated memory: 93636 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/254 33364
/proc/meminfo: memFree=116077224/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=238652 memory=151900 CPUtime=101.94 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 150496 0 0 0 10159 35 0 0 20 0 3 0 5177672 244379648 37975 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 59663 37975 3014 3035 0 42798 0
[pid=33190/tid=33192] ppid=33187 vsize=238652 memory=12160 CPUtime=101.9 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 148721 0 0 0 10156 34 0 0 20 0 3 0 5177675 244379648 37975 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=238652 memory=-7595720463122259832 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5177675 244379648 37975 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 238652 KiB
Current children cumulated memory: 151900 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/254 33375
/proc/meminfo: memFree=115752564/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=279496 memory=212264 CPUtime=161.76 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 224523 0 0 0 16126 50 0 0 20 0 3 0 5177672 286203904 53066 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 69874 53066 3014 3035 0 58215 0
[pid=33190/tid=33192] ppid=33187 vsize=279496 memory=138196 CPUtime=161.71 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 222696 0 0 0 16122 49 0 0 20 0 3 0 5177675 286203904 53066 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=279496 memory=208864 CPUtime=0 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5177675 286203904 53066 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 279496 KiB
################
# More data... #
################
/proc/33190/statm: 326627 310759 3014 3035 0 318699 0
[pid=33190/tid=33192] ppid=33187 vsize=1306508 memory=12160 CPUtime=3391.09 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3400930 0 0 0 338706 403 0 0 20 0 3 0 5177675 1337864192 310759 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1306508 memory=1242996 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 197 0 0 0 1 4 0 0 20 0 3 0 5177675 1337864192 310759 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 1306508 KiB
Current children cumulated memory: 1243036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 3.63 3.76 4/241 35047
/proc/meminfo: memFree=115452188/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1312292 memory=1252804 CPUtime=3451.23 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3451475 0 0 0 344703 420 0 0 20 0 3 0 5177672 1343787008 313201 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 328073 313201 3014 3035 0 320559 0
[pid=33190/tid=33192] ppid=33187 vsize=1312292 memory=1251508 CPUtime=3450.9 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3448584 0 0 0 344682 408 0 0 20 0 3 0 5177675 1343787008 313201 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1312292 memory=1252788 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 202 0 0 0 1 4 0 0 20 0 3 0 5177675 1343787008 313201 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 1312292 KiB
Current children cumulated memory: 1252804 KiB
[startup+3522.3 s]
/proc/loadavg: 3.51 3.53 3.71 4/242 35227
/proc/meminfo: memFree=115441544/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1318648 memory=1262296 CPUtime=3511.04 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3498713 0 0 0 350680 424 0 0 20 0 3 0 5177672 1350295552 315574 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 329662 315574 3014 3035 0 322836 0
[pid=33190/tid=33192] ppid=33187 vsize=1318648 memory=1243052 CPUtime=3510.7 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3495804 0 0 0 350658 412 0 0 20 0 3 0 5177675 1350295552 315574 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1318648 memory=1257804 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 204 0 0 0 1 4 0 0 20 0 3 0 5177675 1350295552 315574 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3511.04 s
Current children cumulated vsize: 1318648 KiB
Current children cumulated memory: 1262296 KiB
[startup+3582.3 s]
/proc/loadavg: 3.22 3.44 3.67 4/242 35238
/proc/meminfo: memFree=115432844/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1322376 memory=1270620 CPUtime=3570.86 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3548266 0 0 0 356657 429 0 0 20 0 3 0 5177672 1354113024 317655 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 330594 317655 3014 3035 0 324136 0
[pid=33190/tid=33192] ppid=33187 vsize=1322376 memory=12160 CPUtime=3570.52 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3545340 0 0 0 356635 417 0 0 20 0 3 0 5177675 1354113024 317655 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1322376 memory=1270620 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 206 0 0 0 1 4 0 0 20 0 3 0 5177675 1354113024 317655 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3570.86 s
Current children cumulated vsize: 1322376 KiB
Current children cumulated memory: 1270620 KiB
[startup+3599.44 s]
# the end of solver process 33190 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.61 s, system=4.36134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.22 3.44 3.67 4/242 35238
/proc/meminfo: memFree=115432756/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1322376 memory=1270628 CPUtime=3572.57 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3548385 0 0 0 356828 429 0 0 20 0 3 0 5177672 1354113024 317657 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 330594 317657 3014 3035 0 324136 0
[pid=33190/tid=33192] ppid=33187 vsize=1322376 memory=-7379547681008476026 CPUtime=3572.23 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3545459 0 0 0 356806 417 0 0 20 0 3 0 5177675 1354113024 317657 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1322376 memory=1268372 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 206 0 0 0 1 4 0 0 20 0 3 0 5177675 1354113024 317657 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 1322376 KiB
Current children cumulated memory: 1270628 KiB
[startup+3590.4 s]
/proc/loadavg: 3.19 3.43 3.67 4/242 35240
/proc/meminfo: memFree=115431284/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1324288 memory=1272228 CPUtime=3578.95 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3548965 0 0 0 357465 430 0 0 20 0 3 0 5177672 1356070912 318057 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 331072 318057 3014 3035 0 324614 0
[pid=33190/tid=33192] ppid=33187 vsize=1324288 memory=4281966242518691482 CPUtime=3578.6 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3546039 0 0 0 357443 417 0 0 20 0 3 0 5177675 1356070912 318057 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1324288 memory=-7595720463122259832 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 206 0 0 0 1 4 0 0 20 0 3 0 5177675 1356070912 318057 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3578.95 s
Current children cumulated vsize: 1324288 KiB
Current children cumulated memory: 1272228 KiB
[startup+3593.6 s]
/proc/loadavg: 3.19 3.43 3.67 4/242 35240
/proc/meminfo: memFree=115431056/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1324288 memory=1272376 CPUtime=3582.13 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3550382 0 0 0 357783 430 0 0 20 0 3 0 5177672 1356070912 318094 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 331072 318094 3014 3035 0 324614 0
[pid=33190/tid=33192] ppid=33187 vsize=1324288 memory=2256 CPUtime=3581.79 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3547452 0 0 0 357761 418 0 0 20 0 3 0 5177675 1356070912 318094 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1324288 memory=13080 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 208 0 0 0 1 4 0 0 20 0 3 0 5177675 1356070912 318094 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3582.13 s
Current children cumulated vsize: 1324288 KiB
Current children cumulated memory: 1272376 KiB
[startup+3596.8 s]
/proc/loadavg: 3.17 3.42 3.66 4/242 35240
/proc/meminfo: memFree=115430568/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1324288 memory=1272736 CPUtime=3585.32 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3550556 0 0 0 358102 430 0 0 20 0 3 0 5177672 1356070912 318184 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 331072 318184 3014 3035 0 324726 0
[pid=33190/tid=33192] ppid=33187 vsize=1324288 memory=1270672 CPUtime=3584.98 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3547626 0 0 0 358080 418 0 0 20 0 3 0 5177675 1356070912 318184 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1324288 memory=1271556 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 208 0 0 0 1 4 0 0 20 0 3 0 5177675 1356070912 318184 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 1324288 KiB
Current children cumulated memory: 1272736 KiB
[startup+3598.4 s]
/proc/loadavg: 3.17 3.42 3.66 4/242 35241
/proc/meminfo: memFree=115430396/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1319068 memory=1267636 CPUtime=3586.92 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3566022 0 0 0 358261 431 0 0 20 0 3 0 5177672 1350725632 316909 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 329767 316909 3014 3035 0 323421 0
[pid=33190/tid=33192] ppid=33187 vsize=1319068 memory=26883 CPUtime=3586.58 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3563099 0 0 0 358239 419 0 0 20 0 3 0 5177675 1350725632 316909 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1319068 memory=-7595720463122259832 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 208 0 0 0 1 4 0 0 20 0 3 0 5177675 1350725632 316909 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 1319068 KiB
Current children cumulated memory: 1267636 KiB
[startup+3599.2 s]
/proc/loadavg: 3.17 3.42 3.66 4/242 35241
/proc/meminfo: memFree=115532768/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=1003156 memory=951152 CPUtime=3587.72 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3581336 0 0 0 358338 434 0 0 20 0 3 0 5177672 1027231744 237933 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 250789 237788 3014 3035 0 244443 0
[pid=33190/tid=33192] ppid=33187 vsize=1002576 memory=-7379547681008476026 CPUtime=3587.38 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3578404 0 0 0 358316 422 0 0 20 0 3 0 5177675 1026637824 237788 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=1002576 memory=4281966242518691482 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 208 0 0 0 1 4 0 0 20 0 3 0 5177675 1026637824 237788 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 1003156 KiB
Current children cumulated memory: 951152 KiB
[startup+3599.4 s]
/proc/loadavg: 3.17 3.42 3.66 4/242 35241
/proc/meminfo: memFree=115532768/131655788 swapFree=131071996/131071996
[pid=33190] ppid=33187 vsize=891580 memory=840156 CPUtime=3587.92 cores=5,7
/proc/33190/stat : 33190 (fscip) S 33187 33190 28645 0 -1 1077936128 3582116 0 0 0 358358 434 0 0 20 0 3 0 5177672 912977920 210039 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
/proc/33190/statm: 222895 210039 3014 3035 0 216549 0
[pid=33190/tid=33192] ppid=33187 vsize=891580 memory=13080 CPUtime=3587.58 cores=5,7
/proc/33190/task/33192/stat : 33192 (fscip) R 33187 33190 28645 0 -1 4194368 3579184 0 0 0 358336 422 0 0 20 0 3 0 5177675 912977920 210039 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
[pid=33190/tid=33193] ppid=33187 vsize=891580 memory=12660 CPUtime=0.05 cores=5,7
/proc/33190/task/33193/stat : 33193 (fscip) S 33187 33190 28645 0 -1 1077936192 208 0 0 0 1 4 0 0 20 0 3 0 5177675 912977920 210039 134679101440 4194304 16623229 140734239997024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 25575424 140734239998998 140734239999114 140734239999114 140734240006128 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 891580 KiB
Current children cumulated memory: 840156 KiB
Child status: 0
Real time (s): 3599.44
CPU time (s): 3587.97
CPU user time (s): 3583.61
CPU system time (s): 4.36134
CPU usage (%): 99.6813
Max. virtual memory (cumulated for all children) (KiB): 1324288
Max. memory (cumulated for all children) (KiB): 1272856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.61
system time used= 4.36135
maximum resident set size= 1272856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3582427
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= 9931
involuntary context switches= 8186
# summary of solver processes directly reported to runsolver:
# pid: 33190
# total CPU time (s): 3587.97
# total CPU user time (s): 3583.61
# total CPU system time (s): 4.36134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.045 second user time and 34.4053 second system time
The end
Begin job on nodeC009 at 2024-07-31 02:30:01
IDJOB=4464554
IDBENCH=159214
IDSOLVER=3092
FILE ID=nodeC009/4464554-1722385801
RUNJOBID= nodeC009-1722378594-28658
SLURM_JOB_ID= 8249839
Free space on /tmp= 723660 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464554-1722385801/watcher-4464554-1722385801 -o /tmp/evaluation-result-4464554-1722385801/solver-4464554-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28658 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464554-1722385801.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d3332ca740d3ae6dd3f9a6cb3b2999d7
RANDOM SEED=1765878430
nodeC009.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 : 3667.423
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.99
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 : 3654.527
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.493
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.99
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.388
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.738
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.99
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 : 3492.005
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.518
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.99
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 106019616 kB
MemAvailable: 117984152 kB
Buffers: 101572 kB
Cached: 12663504 kB
SwapCached: 0 kB
Active: 301912 kB
Inactive: 24800736 kB
Active(anon): 1520 kB
Inactive(anon): 12357696 kB
Active(file): 300392 kB
Inactive(file): 12443040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28420 kB
Writeback: 0 kB
AnonPages: 12336792 kB
Mapped: 125148 kB
Shmem: 21320 kB
KReclaimable: 122604 kB
Slab: 204700 kB
SReclaimable: 122604 kB
SUnreclaim: 82096 kB
KernelStack: 4108 kB
PageTables: 34468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7136680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5582848 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: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC009 at 2024-07-31 03:30:00