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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 23334912, getVmSize() = 23334912, SCIPgetMemUsed() = 1347367, SCIPgetMemTotal() = 1851943, 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 = 16278869, getVmSize() = 25501696, SCIPgetMemUsed() = 1558428, SCIPgetMemTotal() = 2817116, 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-4464543-1722385802
0.00/0.01 c Variables : 159 (159 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 424
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 159 (159 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 424
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 424
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.17/5.25 c 5 1942 880 1 - 0.0000 -
10.24/10.31 c 10 8055 6906 1 - 0.0000 -
15.23/15.36 c 15 12972 11712 1 - 0.0000 -
20.31/20.40 c 20 18335 16839 1 - 0.0000 -
25.29/25.45 c 25 23502 21809 1 - 0.0000 -
30.37/30.51 c 31 28547 26593 1 - 0.0000 -
35.35/35.57 c 36 33275 30917 1 - 0.0000 -
40.43/40.62 c 41 38062 35199 1 - 0.0000 -
45.41/45.68 c 46 43478 40368 1 - 0.0000 -
50.49/50.73 c 51 48559 45341 1 - 0.0000 -
55.47/55.78 c 56 53304 49954 1 - 0.0000 -
60.55/60.83 c 61 58432 54696 1 - 0.0000 -
65.63/65.91 c 66 63861 59332 1 - 0.0000 -
70.61/70.98 c 71 68751 63961 1 - 0.0000 -
75.69/76.03 c 76 73365 68164 1 - 0.0000 -
80.68/81.09 c 81 77855 72309 1 - 0.0000 -
85.75/86.13 c 86 82414 76706 1 - 0.0000 -
90.83/91.25 c 91 87228 80827 1 - 0.0000 -
95.91/96.30 c 96 91404 84702 1 - 0.0000 -
100.99/101.44 c 101 96414 88980 1 - 0.0000 -
105.97/106.49 c 106 100764 92855 1 - 0.0000 -
111.05/111.57 c 112 105305 96693 1 - 0.0000 -
116.13/116.66 c 117 110872 100556 1 - 0.0000 -
121.21/121.72 c 122 115761 103630 1 - 0.0000 -
126.19/126.78 c 127 120417 107198 1 - 0.0000 -
131.27/131.84 c 132 124852 110737 1 - 0.0000 -
136.35/136.93 c 137 129278 114558 1 - 0.0000 -
141.44/142.04 c 142 133971 118644 1 - 0.0000 -
146.52/147.17 c 147 138237 122581 1 - 0.0000 -
151.59/152.22 c 152 142264 126354 1 - 0.0000 -
156.67/157.34 c 157 147025 130685 1 - 0.0000 -
161.96/162.61 c 163 151081 134389 1 - 0.0000 -
167.03/167.76 c 168 155331 138219 1 - 0.0000 -
172.11/172.87 c 173 159395 142100 1 - 0.0000 -
177.40/178.12 c 178 163654 145876 1 - 0.0000 -
182.38/183.17 c 183 167853 149866 1 - 0.0000 -
187.45/188.26 c 188 172118 154027 1 - 0.0000 -
192.63/193.49 c 194 176571 157509 1 - 0.0000 -
197.71/198.54 c 199 180647 161287 1 - 0.0000 -
202.79/203.63 c 204 184483 165081 1 - 0.0000 -
207.88/208.73 c 209 188196 168666 1 - 0.0000 -
212.96/213.83 c 214 191871 172184 1 - 0.0000 -
218.04/218.95 c 219 195633 175697 1 - 0.0000 -
223.22/224.16 c 224 199477 179207 1 - 0.0000 -
228.30/229.25 c 229 203112 182600 1 - 0.0000 -
233.38/234.36 c 234 206850 185934 1 - 0.0000 -
238.46/239.44 c 239 210935 189452 1 - 0.0000 -
243.44/244.49 c 244 214108 192548 1 - 0.0000 -
248.82/249.81 c 250 217681 195764 1 - 0.0000 -
253.81/254.89 c 255 222032 199223 1 - 0.0000 -
259.09/260.17 c 260 225568 202547 1 - 0.0000 -
264.16/265.27 c 265 228897 205709 1 - 0.0000 -
269.24/270.39 c 270 232517 208825 1 - 0.0000 -
274.53/275.67 c 276 236213 212275 1 - 0.0000 -
279.81/280.92 c 281 239412 215212 1 - 0.0000 -
284.89/286.04 c 286 242872 218170 1 - 0.0000 -
290.26/291.43 c 291 246624 221468 1 - 0.0000 -
295.34/296.56 c 297 250112 224419 1 - 0.0000 -
300.43/301.62 c 302 253766 227560 1 - 0.0000 -
305.60/306.87 c 307 256962 230626 1 - 0.0000 -
310.79/312.03 c 312 260280 233561 1 - 0.0000 -
315.97/317.22 c 317 263609 236383 1 - 0.0000 -
321.05/322.31 c 322 266822 238950 1 - 0.0000 -
326.23/327.52 c 328 269965 241499 1 - 0.0000 -
331.31/332.68 c 333 273288 244380 1 - 0.0000 -
336.59/337.91 c 338 276342 246912 1 - 0.0000 -
341.77/343.14 c 343 279813 249730 1 - 0.0000 -
346.95/348.35 c 348 283094 252536 1 - 0.0000 -
352.23/353.62 c 354 286673 255690 1 - 0.0000 -
357.61/359.07 c 359 289614 258234 1 - 0.0000 -
362.90/364.36 c 364 292593 260996 1 - 0.0000 -
368.28/369.73 c 370 295605 263481 1 - 0.0000 -
373.36/374.88 c 375 298394 266032 1 - 0.0000 -
378.54/380.07 c 380 301563 269005 1 - 0.0000 -
383.81/385.31 c 385 304528 271728 1 - 0.0000 -
388.90/390.47 c 390 307407 274253 1 - 0.0000 -
394.18/395.77 c 396 310482 277188 1 - 0.0000 -
399.56/401.12 c 401 313459 280019 1 - 0.0000 -
404.94/406.54 c 407 316769 282911 1 - 0.0000 -
410.12/411.79 c 412 319231 285126 1 - 0.0000 -
415.89/417.50 c 418 322234 287613 1 - 0.0000 -
421.18/422.86 c 423 325591 290695 1 - 0.0000 -
426.26/427.99 c 428 328093 293096 1 - 0.0000 -
431.74/433.40 c 433 330951 295743 1 - 0.0000 -
437.22/438.93 c 439 333967 298591 1 - 0.0000 -
442.40/444.19 c 444 336879 300972 1 - 0.0000 -
447.78/449.59 c 450 339424 303434 1 - 0.0000 -
453.27/455.07 c 455 342043 305936 1 - 0.0000 -
458.54/460.31 c 460 344376 308234 1 - 0.0000 -
463.72/465.57 c 466 347348 310845 1 - 0.0000 -
469.20/471.07 c 471 350677 313717 1 - 0.0000 -
474.68/476.51 c 477 353495 316272 1 - 0.0000 -
479.86/481.70 c 482 356217 318619 1 - 0.0000 -
485.44/487.35 c 487 359375 321254 1 - 0.0000 -
490.82/492.70 c 493 362268 323620 1 - 0.0000 -
496.00/497.96 c 498 364767 325865 1 - 0.0000 -
501.29/503.21 c 503 367489 328340 1 - 0.0000 -
506.37/508.34 c 508 369943 330684 1 - 0.0000 -
511.54/513.51 c 514 372526 333060 1 - 0.0000 -
516.93/518.90 c 519 374978 335088 1 - 0.0000 -
522.12/524.18 c 524 377702 337271 1 - 0.0000 -
527.49/529.51 c 530 380061 339211 1 - 0.0000 -
532.67/534.74 c 535 382758 341345 1 - 0.0000 -
538.15/540.28 c 540 385351 343640 1 - 0.0000 -
543.72/545.84 c 546 387981 345785 1 - 0.0000 -
549.41/551.56 c 552 390802 348194 1 - 0.0000 -
554.59/556.75 c 557 393347 350333 1 - 0.0000 -
559.88/562.07 c 562 395672 352476 1 - 0.0000 -
565.05/567.25 c 567 398220 354582 1 - 0.0000 -
570.23/572.40 c 572 401040 356893 1 - 0.0000 -
575.71/577.96 c 578 403735 359305 1 - 0.0000 -
581.09/583.37 c 583 406144 361536 1 - 0.0000 -
586.47/588.76 c 589 408821 364044 1 - 0.0000 -
591.76/594.02 c 594 410833 365938 1 - 0.0000 -
597.43/599.76 c 600 413639 368540 1 - 0.0000 -
602.72/605.04 c 605 415783 370327 1 - 0.0000 -
608.19/610.53 c 611 418194 372574 1 - 0.0000 -
613.47/615.80 c 616 420739 374815 1 - 0.0000 -
618.77/621.12 c 621 423103 376800 1 - 0.0000 -
623.94/626.37 c 626 425348 378701 1 - 0.0000 -
629.12/631.56 c 632 427595 380672 1 - 0.0000 -
634.40/636.89 c 637 429648 382663 1 - 0.0000 -
639.78/642.24 c 642 431761 384658 1 - 0.0000 -
645.26/647.79 c 648 434391 386873 1 - 0.0000 -
650.54/653.04 c 653 436562 388599 1 - 0.0000 -
656.32/658.80 c 659 439079 390870 1 - 0.0000 -
661.60/664.13 c 664 441284 392967 1 - 0.0000 -
666.78/669.35 c 669 443479 394798 1 - 0.0000 -
672.46/675.01 c 675 445176 396352 1 - 0.0000 -
677.84/680.43 c 680 447718 398427 1 - 0.0000 -
683.63/686.28 c 686 450027 400657 1 - 0.0000 -
689.10/691.76 c 692 452184 402531 1 - 0.0000 -
694.88/697.57 c 698 455005 404734 1 - 0.0000 -
700.06/702.75 c 703 457521 406797 1 - 0.0000 -
705.44/708.13 c 708 459838 408845 1 - 0.0000 -
710.72/713.44 c 713 462017 410748 1 - 0.0000 -
715.91/718.62 c 719 463952 412357 1 - 0.0000 -
721.68/724.42 c 724 466021 414319 1 - 0.0000 -
727.57/730.31 c 730 468249 416396 1 - 0.0000 -
733.54/736.32 c 736 470789 418564 1 - 0.0000 -
738.63/741.43 c 741 472853 420359 1 - 0.0000 -
744.00/746.80 c 747 474982 422364 1 - 0.0000 -
749.39/752.24 c 752 477466 424532 1 - 0.0000 -
755.06/757.94 c 758 479798 426465 1 - 0.0000 -
760.44/763.38 c 763 481573 428062 1 - 0.0000 -
766.12/769.08 c 769 483622 429947 1 - 0.0000 -
772.21/775.13 c 775 486405 432520 1 - 0.0000 -
777.78/780.74 c 781 488746 434555 1 - 0.0000 -
783.17/786.15 c 786 491171 436521 1 - 0.0000 -
788.64/791.67 c 792 493254 438253 1 - 0.0000 -
794.23/797.25 c 797 495319 439910 1 - 0.0000 -
800.01/803.00 c 803 496871 441137 1 - 0.0000 -
805.49/808.53 c 809 499071 443088 1 - 0.0000 -
810.86/813.94 c 814 501178 444880 1 - 0.0000 -
816.74/819.85 c 820 503339 446853 1 - 0.0000 -
822.22/825.38 c 825 505483 448745 1 - 0.0000 -
827.71/830.86 c 831 507514 450383 1 - 0.0000 -
833.48/836.63 c 837 509735 452134 1 - 0.0000 -
839.17/842.38 c 842 512092 453993 1 - 0.0000 -
845.24/848.45 c 848 514386 456082 1 - 0.0000 -
850.32/853.57 c 854 516554 458108 1 - 0.0000 -
855.91/859.18 c 859 518481 459904 1 - 0.0000 -
861.59/864.89 c 865 520657 461957 1 - 0.0000 -
867.37/870.69 c 871 522781 463781 1 - 0.0000 -
873.24/876.59 c 877 524964 465726 1 - 0.0000 -
878.53/881.81 c 882 526508 467012 1 - 0.0000 -
884.50/887.80 c 888 528562 468940 1 - 0.0000 -
890.08/893.44 c 893 530466 470637 1 - 0.0000 -
895.16/898.53 c 899 532456 472211 1 - 0.0000 -
900.24/903.66 c 904 534003 473503 1 - 0.0000 -
906.02/909.42 c 909 536263 475433 1 - 0.0000 -
911.91/915.30 c 915 538311 477346 1 - 0.0000 -
917.18/920.67 c 921 540285 479121 1 - 0.0000 -
923.26/926.77 c 927 542761 481337 1 - 0.0000 -
929.03/932.53 c 933 544943 483328 1 - 0.0000 -
934.72/938.25 c 938 547135 485167 1 - 0.0000 -
940.10/943.65 c 944 549133 487040 1 - 0.0000 -
945.49/949.08 c 949 550994 488733 1 - 0.0000 -
950.76/954.33 c 954 552897 490396 1 - 0.0000 -
956.55/960.16 c 960 554912 492076 1 - 0.0000 -
962.02/965.66 c 966 557197 493883 1 - 0.0000 -
968.19/971.88 c 972 559781 495986 1 - 0.0000 -
973.77/977.45 c 977 561585 497554 1 - 0.0000 -
980.05/983.72 c 984 563811 499526 1 - 0.0000 -
985.42/989.14 c 989 565865 501199 1 - 0.0000 -
991.10/994.84 c 995 567796 502857 1 - 0.0000 -
996.97/1000.73 c 1001 569789 504547 1 - 0.0000 -
1002.45/1006.28 c 1006 572185 506769 1 - 0.0000 -
1007.53/1011.31 c 1011 573991 508409 1 - 0.0000 -
1013.10/1016.96 c 1017 576252 510121 1 - 0.0000 -
1018.28/1022.13 c 1022 578176 511732 1 - 0.0000 -
1023.95/1027.84 c 1028 579518 512595 1 - 0.0000 -
1029.33/1033.23 c 1033 580992 513851 1 - 0.0000 -
1034.81/1038.75 c 1039 582873 515471 1 - 0.0000 -
1040.20/1044.17 c 1044 585261 517254 1 - 0.0000 -
1045.77/1049.76 c 1050 587434 518865 1 - 0.0000 -
1051.54/1055.51 c 1056 589463 520648 1 - 0.0000 -
1057.12/1061.13 c 1061 591509 522379 1 - 0.0000 -
1062.89/1066.92 c 1067 593595 524080 1 - 0.0000 -
1068.17/1072.24 c 1072 595457 525648 1 - 0.0000 -
1073.75/1077.84 c 1078 597371 527249 1 - 0.0000 -
1079.72/1083.86 c 1084 599893 529047 1 - 0.0000 -
1085.90/1090.01 c 1090 601827 530899 1 - 0.0000 -
1091.08/1095.28 c 1095 603755 532507 1 - 0.0000 -
1096.56/1100.71 c 1101 605453 533510 1 - 0.0000 -
1102.34/1106.52 c 1107 607173 535052 1 - 0.0000 -
1107.71/1111.94 c 1112 608952 536639 1 - 0.0000 -
1112.99/1117.27 c 1117 610749 538336 1 - 0.0000 -
1118.38/1122.67 c 1123 612342 539818 1 - 0.0000 -
1124.65/1128.91 c 1129 614446 541892 1 - 0.0000 -
1130.23/1134.51 c 1135 616665 543840 1 - 0.0000 -
1135.61/1139.92 c 1140 618144 545035 1 - 0.0000 -
1140.99/1145.39 c 1145 619582 546401 1 - 0.0000 -
1146.47/1150.86 c 1151 621221 547946 1 - 0.0000 -
1152.25/1156.66 c 1157 623139 549782 1 - 0.0000 -
1157.93/1162.34 c 1162 624975 551393 1 - 0.0000 -
1163.81/1168.26 c 1168 626911 553183 1 - 0.0000 -
1169.29/1173.72 c 1174 628888 554839 1 - 0.0000 -
1174.87/1179.31 c 1179 630689 556378 1 - 0.0000 -
1180.84/1185.31 c 1185 632456 557927 1 - 0.0000 -
1186.23/1190.78 c 1191 634446 559508 1 - 0.0000 -
1191.31/1195.83 c 1196 636194 561205 1 - 0.0000 -
1196.79/1201.32 c 1201 637843 562657 1 - 0.0000 -
1202.87/1207.40 c 1207 639854 564458 1 - 0.0000 -
1208.45/1213.10 c 1213 642127 566234 1 - 0.0000 -
1214.72/1219.38 c 1219 644039 568072 1 - 0.0000 -
1220.50/1225.18 c 1225 646154 569772 1 - 0.0000 -
1226.29/1230.90 c 1231 647731 571229 1 - 0.0000 -
1231.96/1236.69 c 1237 649398 572811 1 - 0.0000 -
1237.45/1242.19 c 1242 651500 574543 1 - 0.0000 -
1243.01/1247.70 c 1248 653159 576045 1 - 0.0000 -
1248.20/1252.99 c 1253 655058 577535 1 - 0.0000 -
1253.77/1258.59 c 1259 656984 579148 1 - 0.0000 -
1258.95/1263.77 c 1264 658497 580626 1 - 0.0000 -
1264.92/1269.74 c 1270 660203 582000 1 - 0.0000 -
1270.50/1275.33 c 1275 661707 583305 1 - 0.0000 -
1276.19/1281.07 c 1281 663992 585009 1 - 0.0000 -
1281.96/1286.85 c 1287 665481 586195 1 - 0.0000 -
1286.94/1291.87 c 1292 667195 587870 1 - 0.0000 -
1292.53/1297.40 c 1297 668728 589265 1 - 0.0000 -
1298.01/1302.92 c 1303 670613 590850 1 - 0.0000 -
1303.89/1308.89 c 1309 672759 592687 1 - 0.0000 -
1308.97/1313.90 c 1314 674371 594263 1 - 0.0000 -
1314.65/1319.64 c 1320 676137 595632 1 - 0.0000 -
1320.63/1325.63 c 1326 677283 596638 1 - 0.0000 -
1325.71/1330.73 c 1331 679019 598219 1 - 0.0000 -
1331.49/1336.59 c 1337 680656 599795 1 - 0.0000 -
1337.37/1342.46 c 1342 682394 601378 1 - 0.0000 -
1343.84/1348.92 c 1349 684298 603121 1 - 0.0000 -
1349.82/1354.92 c 1355 685811 604539 1 - 0.0000 -
1355.30/1360.45 c 1360 687351 605977 1 - 0.0000 -
1361.08/1366.20 c 1366 689134 607552 1 - 0.0000 -
1366.07/1371.25 c 1371 690289 608504 1 - 0.0000 -
1371.54/1376.78 c 1377 691855 609863 1 - 0.0000 -
1377.61/1382.85 c 1383 693330 611219 1 - 0.0000 -
1383.49/1388.73 c 1389 694964 612651 1 - 0.0000 -
1388.77/1394.06 c 1394 696625 614193 1 - 0.0000 -
1395.05/1400.36 c 1400 698343 615865 1 - 0.0000 -
1401.22/1406.53 c 1407 699831 617238 1 - 0.0000 -
1406.81/1412.17 c 1412 702065 619069 1 - 0.0000 -
1412.68/1418.04 c 1418 703771 620603 1 - 0.0000 -
1417.87/1423.22 c 1423 705239 621883 1 - 0.0000 -
1423.84/1429.22 c 1429 707271 623692 1 - 0.0000 -
1429.81/1435.27 c 1435 709314 625570 1 - 0.0000 -
1434.90/1440.35 c 1440 710515 626735 1 - 0.0000 -
1440.37/1445.80 c 1446 712319 628426 1 - 0.0000 -
1446.05/1451.52 c 1452 714025 629904 1 - 0.0000 -
1451.84/1457.35 c 1457 715441 631145 1 - 0.0000 -
1457.11/1462.68 c 1463 717253 632949 1 - 0.0000 -
1463.29/1468.85 c 1469 719884 635568 1 - 0.0000 -
1469.37/1474.92 c 1475 721415 637026 1 - 0.0000 -
1474.86/1480.43 c 1480 723431 638922 1 - 0.0000 -
1480.73/1486.37 c 1486 725043 640477 1 - 0.0000 -
1486.91/1492.55 c 1493 726823 642157 1 - 0.0000 -
1492.40/1498.08 c 1498 728701 643919 1 - 0.0000 -
1498.07/1503.76 c 1504 730466 645457 1 - 0.0000 -
1503.46/1509.18 c 1509 731958 646783 1 - 0.0000 -
1509.63/1515.32 c 1515 733864 648577 1 - 0.0000 -
1515.01/1520.79 c 1521 735458 649871 1 - 0.0000 -
1520.49/1526.29 c 1526 737159 651360 1 - 0.0000 -
1526.08/1531.80 c 1532 738634 652586 1 - 0.0000 -
1531.26/1537.05 c 1537 740276 654083 1 - 0.0000 -
1537.34/1543.13 c 1543 742102 655598 1 - 0.0000 -
1542.62/1548.40 c 1548 743749 657081 1 - 0.0000 -
1548.30/1554.15 c 1554 745742 658872 1 - 0.0000 -
1554.28/1560.18 c 1560 747212 660106 1 - 0.0000 -
1560.55/1566.41 c 1566 748874 661616 1 - 0.0000 -
1566.34/1572.27 c 1572 750542 662957 1 - 0.0000 -
1572.51/1578.40 c 1578 752304 664455 1 - 0.0000 -
1577.80/1583.70 c 1584 753978 665841 1 - 0.0000 -
1583.67/1589.68 c 1590 755685 667533 1 - 0.0000 -
1589.55/1595.52 c 1596 757023 668869 1 - 0.0000 -
1594.64/1600.62 c 1601 758219 670000 1 - 0.0000 -
1600.02/1606.04 c 1606 759901 671388 1 - 0.0000 -
1605.80/1611.82 c 1612 761592 672950 1 - 0.0000 -
1611.08/1617.12 c 1617 762546 673873 1 - 0.0000 -
1617.45/1623.57 c 1624 764236 675337 1 - 0.0000 -
1623.34/1629.43 c 1629 765961 676828 1 - 0.0000 -
1629.32/1635.41 c 1635 767573 678160 1 - 0.0000 -
1635.00/1641.11 c 1641 768814 679392 1 - 0.0000 -
1640.48/1646.65 c 1647 770061 680557 1 - 0.0000 -
1646.06/1652.28 c 1652 771495 681810 1 - 0.0000 -
1651.94/1658.14 c 1658 773163 683408 1 - 0.0000 -
1657.82/1664.03 c 1664 774575 684628 1 - 0.0000 -
1664.30/1670.52 c 1671 776131 685927 1 - 0.0000 -
1670.17/1676.43 c 1676 777541 687237 1 - 0.0000 -
1675.15/1681.44 c 1681 779169 688623 1 - 0.0000 -
1680.75/1687.04 c 1687 780474 689828 1 - 0.0000 -
1685.92/1692.23 c 1692 781932 691037 1 - 0.0000 -
1691.70/1698.06 c 1698 783363 692361 1 - 0.0000 -
1697.38/1703.79 c 1704 784631 693490 1 - 0.0000 -
1703.36/1709.70 c 1710 786401 694848 1 - 0.0000 -
1708.75/1715.13 c 1715 787753 696002 1 - 0.0000 -
1714.52/1720.93 c 1721 788713 696833 1 - 0.0000 -
1721.00/1727.49 c 1728 790501 698268 1 - 0.0000 -
1726.68/1733.17 c 1733 792117 699630 1 - 0.0000 -
1732.26/1738.75 c 1739 793318 700765 1 - 0.0000 -
1737.25/1743.78 c 1744 794814 702067 1 - 0.0000 -
1743.32/1749.85 c 1750 796496 703639 1 - 0.0000 -
1748.41/1754.97 c 1755 798018 704882 1 - 0.0000 -
1754.38/1760.98 c 1761 799281 706006 1 - 0.0000 -
1759.97/1766.57 c 1767 800882 707159 1 - 0.0000 -
1766.34/1772.93 c 1773 802592 708572 1 - 0.0000 -
1771.83/1778.41 c 1778 803722 709596 1 - 0.0000 -
1777.30/1783.95 c 1784 805301 710918 1 - 0.0000 -
1782.40/1789.03 c 1789 806777 712131 1 - 0.0000 -
1787.38/1794.06 c 1794 807845 713051 1 - 0.0000 -
1792.65/1799.32 c 1799 809034 714057 1 - 0.0000 -
1797.63/1804.39 c 1804 810275 715094 1 - 0.0000 -
1803.52/1810.24 c 1810 811884 716234 1 - 0.0000 -
1808.89/1815.67 c 1816 813172 717215 1 - 0.0000 -
1814.58/1821.39 c 1821 814655 718493 1 - 0.0000 -
1819.96/1826.74 c 1827 816107 719748 1 - 0.0000 -
1826.34/1833.14 c 1833 817712 721308 1 - 0.0000 -
1832.41/1839.24 c 1839 818939 722305 1 - 0.0000 -
1838.00/1844.84 c 1845 820319 723432 1 - 0.0000 -
1843.48/1850.35 c 1850 822228 725009 1 - 0.0000 -
1848.46/1855.39 c 1855 823607 726172 1 - 0.0000 -
1854.35/1861.21 c 1861 825147 727582 1 - 0.0000 -
1860.02/1866.98 c 1867 826802 728913 1 - 0.0000 -
1865.50/1872.41 c 1872 828559 730347 1 - 0.0000 -
1871.09/1878.06 c 1878 830052 731650 1 - 0.0000 -
1876.96/1884.00 c 1884 831741 733122 1 - 0.0000 -
1882.94/1889.99 c 1890 833334 734512 1 - 0.0000 -
1888.62/1895.68 c 1896 835054 736036 1 - 0.0000 -
1894.90/1901.99 c 1902 836425 737262 1 - 0.0000 -
1900.67/1907.76 c 1908 838009 738612 1 - 0.0000 -
1905.96/1913.09 c 1913 839137 739692 1 - 0.0000 -
1911.94/1919.02 c 1919 840517 741010 1 - 0.0000 -
1917.52/1924.67 c 1925 841407 741852 1 - 0.0000 -
1922.80/1929.95 c 1930 842516 742875 1 - 0.0000 -
1927.89/1935.04 c 1935 843863 744046 1 - 0.0000 -
1933.16/1940.35 c 1940 845249 745209 1 - 0.0000 -
1938.95/1946.12 c 1946 846630 746545 1 - 0.0000 -
1944.83/1952.04 c 1952 847673 747470 1 - 0.0000 -
1950.31/1957.59 c 1958 849201 748887 1 - 0.0000 -
1955.79/1963.06 c 1963 850695 750273 1 - 0.0000 -
1961.07/1968.34 c 1968 851765 751289 1 - 0.0000 -
1967.24/1974.52 c 1975 853357 752706 1 - 0.0000 -
1973.12/1980.48 c 1980 854899 753980 1 - 0.0000 -
1978.90/1986.24 c 1986 856099 755139 1 - 0.0000 -
1985.09/1992.40 c 1992 857417 756287 1 - 0.0000 -
1990.07/1997.49 c 1998 858691 757383 1 - 0.0000 -
1996.04/2003.44 c 2003 859955 758631 1 - 0.0000 -
2001.43/2008.86 c 2009 861231 759763 1 - 0.0000 -
2007.21/2014.67 c 2015 861911 760407 1 - 0.0000 -
2012.69/2020.13 c 2020 863335 761706 1 - 0.0000 -
2018.37/2025.85 c 2026 864726 763037 1 - 0.0000 -
2023.45/2030.96 c 2031 865845 764156 1 - 0.0000 -
2028.54/2036.04 c 2036 867231 765538 1 - 0.0000 -
2034.52/2042.01 c 2042 868601 766906 1 - 0.0000 -
2039.69/2047.20 c 2047 869914 768165 1 - 0.0000 -
2045.17/2052.70 c 2053 870881 769127 1 - 0.0000 -
2050.16/2057.73 c 2058 872149 770392 1 - 0.0000 -
2055.14/2062.75 c 2063 873101 771322 1 - 0.0000 -
2061.12/2068.76 c 2069 874475 772680 1 - 0.0000 -
2066.70/2074.38 c 2074 875831 773960 1 - 0.0000 -
2071.89/2079.52 c 2080 877183 775225 1 - 0.0000 -
2077.37/2085.02 c 2085 878077 776119 1 - 0.0000 -
2083.65/2091.36 c 2091 879547 777546 1 - 0.0000 -
2089.43/2097.11 c 2097 881049 778932 1 - 0.0000 -
2095.10/2102.84 c 2103 882131 779959 1 - 0.0000 -
2100.88/2108.64 c 2109 883368 781165 1 - 0.0000 -
2107.45/2115.26 c 2115 884707 782489 1 - 0.0000 -
2113.74/2121.56 c 2122 886278 783862 1 - 0.0000 -
2119.32/2127.19 c 2127 887684 785074 1 - 0.0000 -
2124.70/2132.53 c 2133 888589 785799 1 - 0.0000 -
2130.77/2138.60 c 2139 890231 787176 1 - 0.0000 -
2135.76/2143.69 c 2144 891619 788472 1 - 0.0000 -
2140.84/2148.77 c 2149 892491 789320 1 - 0.0000 -
2147.02/2154.93 c 2155 893519 790334 1 - 0.0000 -
2152.40/2160.30 c 2160 894782 791468 1 - 0.0000 -
2158.58/2166.57 c 2167 896355 792762 1 - 0.0000 -
2165.06/2173.00 c 2173 897451 793754 1 - 0.0000 -
2171.92/2179.91 c 2180 898734 794814 1 - 0.0000 -
2177.70/2185.76 c 2186 900159 796078 1 - 0.0000 -
2183.49/2191.54 c 2192 901618 797256 1 - 0.0000 -
2189.37/2197.43 c 2197 903079 798554 1 - 0.0000 -
2194.34/2202.49 c 2202 904759 799901 1 - 0.0000 -
2200.53/2208.67 c 2209 906022 801019 1 - 0.0000 -
2205.92/2214.08 c 2214 907471 802320 1 - 0.0000 -
2211.29/2219.46 c 2219 908455 803103 1 - 0.0000 -
2216.57/2224.74 c 2225 909659 804116 1 - 0.0000 -
2221.65/2229.87 c 2230 910641 804996 1 - 0.0000 -
2228.03/2236.23 c 2236 912225 806572 1 - 0.0000 -
2234.01/2242.29 c 2242 913671 807976 1 - 0.0000 -
2239.89/2248.16 c 2248 914722 808900 1 - 0.0000 -
2244.87/2253.17 c 2253 916025 810191 1 - 0.0000 -
2250.15/2258.46 c 2258 917018 811133 1 - 0.0000 -
2255.84/2264.15 c 2264 917985 812100 1 - 0.0000 -
2261.02/2269.35 c 2269 918961 813068 1 - 0.0000 -
2266.89/2275.23 c 2275 920321 814231 1 - 0.0000 -
2272.38/2280.74 c 2281 921354 815225 1 - 0.0000 -
2277.56/2285.97 c 2286 922872 816462 1 - 0.0000 -
2283.84/2292.21 c 2292 924082 817336 1 - 0.0000 -
2288.82/2297.22 c 2297 925019 818158 1 - 0.0000 -
2294.40/2302.80 c 2303 926101 819216 1 - 0.0000 -
2299.69/2308.17 c 2308 927185 820207 1 - 0.0000 -
2306.36/2314.86 c 2315 928529 821508 1 - 0.0000 -
2312.43/2320.94 c 2321 929713 822609 1 - 0.0000 -
2318.11/2326.63 c 2327 930891 823783 1 - 0.0000 -
2323.50/2332.05 c 2332 932223 824880 1 - 0.0000 -
2328.98/2337.50 c 2338 933603 826183 1 - 0.0000 -
2334.85/2343.47 c 2343 934977 827368 1 - 0.0000 -
2340.74/2349.37 c 2349 936401 828371 1 - 0.0000 -
2346.31/2354.93 c 2355 937579 829332 1 - 0.0000 -
2352.39/2361.00 c 2361 938894 830505 1 - 0.0000 -
2357.77/2366.40 c 2366 940121 831539 1 - 0.0000 -
2362.85/2371.54 c 2372 941045 832325 1 - 0.0000 -
2368.73/2377.49 c 2378 942411 833327 1 - 0.0000 -
2374.42/2383.11 c 2383 943521 834198 1 - 0.0000 -
2380.09/2388.89 c 2389 944336 834906 1 - 0.0000 -
2385.38/2394.16 c 2394 945215 835617 1 - 0.0000 -
2391.75/2400.59 c 2401 946578 836730 1 - 0.0000 -
2397.73/2406.56 c 2407 947951 837954 1 - 0.0000 -
2402.81/2411.66 c 2412 948998 838726 1 - 0.0000 -
2408.39/2417.27 c 2417 950451 840016 1 - 0.0000 -
2414.27/2423.17 c 2423 951588 840976 1 - 0.0000 -
2420.54/2429.42 c 2429 953217 842199 1 - 0.0000 -
2425.92/2434.83 c 2435 954574 843476 1 - 0.0000 -
2431.60/2440.57 c 2441 955907 844703 1 - 0.0000 -
2437.38/2446.31 c 2446 957215 845768 1 - 0.0000 -
2442.36/2451.38 c 2451 958366 846849 1 - 0.0000 -
2448.64/2457.61 c 2458 959506 847957 1 - 0.0000 -
2453.72/2462.79 c 2463 960617 848932 1 - 0.0000 -
2459.01/2468.09 c 2468 961887 850002 1 - 0.0000 -
2464.19/2473.25 c 2473 962695 850622 1 - 0.0000 -
2469.77/2478.87 c 2479 963804 851613 1 - 0.0000 -
2475.55/2484.66 c 2485 965260 852856 1 - 0.0000 -
2480.62/2489.72 c 2490 966652 853881 1 - 0.0000 -
2486.40/2495.57 c 2496 967896 854983 1 - 0.0000 -
2492.28/2501.46 c 2501 969021 856011 1 - 0.0000 -
2497.76/2506.95 c 2507 970142 856960 1 - 0.0000 -
2503.54/2512.76 c 2513 971591 858345 1 - 0.0000 -
2509.52/2518.78 c 2519 973132 859643 1 - 0.0000 -
2515.00/2524.27 c 2524 974225 860573 1 - 0.0000 -
2520.98/2530.20 c 2530 975482 861547 1 - 0.0000 -
2526.06/2535.37 c 2535 976584 862459 1 - 0.0000 -
2531.95/2541.29 c 2541 977358 863091 1 - 0.0000 -
2537.33/2546.63 c 2547 978508 864106 1 - 0.0000 -
2542.41/2551.75 c 2552 979381 864835 1 - 0.0000 -
2547.89/2557.25 c 2557 980505 865765 1 - 0.0000 -
2554.37/2563.71 c 2564 982052 867041 1 - 0.0000 -
2559.65/2569.03 c 2569 983313 868199 1 - 0.0000 -
2564.73/2574.14 c 2574 984458 869171 1 - 0.0000 -
2570.21/2579.67 c 2580 985672 870039 1 - 0.0000 -
2576.18/2585.65 c 2586 986815 871028 1 - 0.0000 -
2581.87/2591.36 c 2591 988203 872069 1 - 0.0000 -
2587.94/2597.43 c 2597 989707 873266 1 - 0.0000 -
2593.83/2603.38 c 2603 990781 874131 1 - 0.0000 -
2599.51/2609.00 c 2609 992021 875139 1 - 0.0000 -
2604.48/2614.08 c 2614 993088 875990 1 - 0.0000 -
2609.66/2619.20 c 2619 994016 876717 1 - 0.0000 -
2615.44/2625.04 c 2625 995365 877823 1 - 0.0000 -
2620.82/2630.41 c 2630 996781 878907 1 - 0.0000 -
2626.10/2635.71 c 2636 997924 879909 1 - 0.0000 -
2631.79/2641.46 c 2641 999101 881054 1 - 0.0000 -
2637.96/2647.65 c 2648 1000427 882284 1 - 0.0000 -
2644.14/2653.80 c 2654 1001745 883521 1 - 0.0000 -
2649.22/2658.95 c 2659 1002671 884307 1 - 0.0000 -
2655.20/2664.95 c 2665 1004025 885440 1 - 0.0000 -
2661.09/2670.86 c 2671 1005431 886672 1 - 0.0000 -
2666.56/2676.31 c 2676 1006584 887603 1 - 0.0000 -
2671.94/2681.79 c 2682 1007709 888538 1 - 0.0000 -
2677.42/2687.22 c 2687 1008482 889195 1 - 0.0000 -
2682.61/2692.40 c 2692 1009503 890162 1 - 0.0000 -
2688.09/2697.94 c 2698 1010690 891136 1 - 0.0000 -
2693.56/2703.45 c 2703 1011777 892110 1 - 0.0000 -
2699.06/2708.99 c 2709 1012941 893049 1 - 0.0000 -
2705.03/2714.99 c 2715 1014201 894096 1 - 0.0000 -
2710.22/2720.15 c 2720 1015107 894901 1 - 0.0000 -
2715.29/2725.28 c 2725 1016467 896078 1 - 0.0000 -
2720.37/2730.34 c 2730 1017623 897119 1 - 0.0000 -
2725.96/2735.95 c 2736 1018939 898220 1 - 0.0000 -
2731.14/2741.14 c 2741 1019982 899153 1 - 0.0000 -
2736.42/2746.41 c 2746 1021354 900354 1 - 0.0000 -
2741.60/2751.63 c 2752 1022566 901440 1 - 0.0000 -
2746.99/2757.05 c 2757 1023723 902416 1 - 0.0000 -
2752.36/2762.48 c 2762 1024757 903266 1 - 0.0000 -
2757.65/2767.79 c 2768 1026275 904516 1 - 0.0000 -
2763.23/2773.31 c 2773 1027473 905627 1 - 0.0000 -
2768.41/2778.51 c 2779 1028188 906268 1 - 0.0000 -
2774.39/2784.52 c 2785 1029764 907501 1 - 0.0000 -
2779.87/2790.02 c 2790 1031159 908507 1 - 0.0000 -
2785.86/2796.01 c 2796 1032522 909664 1 - 0.0000 -
2792.03/2802.26 c 2802 1033785 910839 1 - 0.0000 -
2798.01/2808.21 c 2808 1035031 912006 1 - 0.0000 -
2804.68/2814.91 c 2815 1036546 913188 1 - 0.0000 -
2809.97/2820.24 c 2820 1037687 914233 1 - 0.0000 -
2815.45/2825.75 c 2826 1038571 915115 1 - 0.0000 -
2821.62/2831.94 c 2832 1039917 916461 1 - 0.0000 -
2826.60/2836.98 c 2837 1040801 917345 1 - 0.0000 -
2832.79/2843.10 c 2843 1042294 918722 1 - 0.0000 -
2837.77/2848.19 c 2848 1043508 919687 1 - 0.0000 -
2843.15/2853.52 c 2854 1044726 920687 1 - 0.0000 -
2848.74/2859.16 c 2859 1045882 921708 1 - 0.0000 -
2854.72/2865.12 c 2865 1046894 922537 1 - 0.0000 -
2861.19/2871.61 c 2872 1048427 923623 1 - 0.0000 -
2866.97/2877.43 c 2877 1049515 924566 1 - 0.0000 -
2872.25/2882.72 c 2883 1050690 925636 1 - 0.0000 -
2877.93/2888.43 c 2888 1051645 926355 1 - 0.0000 -
2883.01/2893.53 c 2894 1052367 926921 1 - 0.0000 -
2888.30/2898.87 c 2899 1053810 928104 1 - 0.0000 -
2894.08/2904.69 c 2905 1054978 929176 1 - 0.0000 -
2900.15/2910.74 c 2911 1055973 930107 1 - 0.0000 -
2905.94/2916.50 c 2917 1057178 931298 1 - 0.0000 -
2910.92/2921.53 c 2922 1058045 932110 1 - 0.0000 -
2917.40/2928.09 c 2928 1059326 933259 1 - 0.0000 -
2923.48/2934.15 c 2934 1060487 934379 1 - 0.0000 -
2929.75/2940.49 c 2940 1061902 935531 1 - 0.0000 -
2934.93/2945.63 c 2946 1063377 936578 1 - 0.0000 -
2940.12/2950.88 c 2951 1064358 937481 1 - 0.0000 -
2946.20/2956.91 c 2957 1065735 938713 1 - 0.0000 -
2951.68/2962.49 c 2962 1066835 939558 1 - 0.0000 -
2957.56/2968.33 c 2968 1067926 940586 1 - 0.0000 -
2964.14/2974.98 c 2975 1069158 941799 1 - 0.0000 -
2969.72/2980.58 c 2981 1070218 942738 1 - 0.0000 -
2975.09/2985.99 c 2986 1071474 943845 1 - 0.0000 -
2981.38/2992.24 c 2992 1073015 945231 1 - 0.0000 -
2987.95/2998.89 c 2999 1074341 946282 1 - 0.0000 -
2993.34/3004.28 c 3004 1075551 947283 1 - 0.0000 -
2999.31/3010.24 c 3010 1076743 948100 1 - 0.0000 -
3005.21/3016.10 c 3016 1077764 948912 1 - 0.0000 -
3010.68/3021.62 c 3022 1079091 950072 1 - 0.0000 -
3015.86/3026.80 c 3027 1079591 950505 1 - 0.0000 -
3021.24/3032.22 c 3032 1080717 951447 1 - 0.0000 -
3026.42/3037.48 c 3037 1082169 952623 1 - 0.0000 -
3032.21/3043.28 c 3043 1083385 953670 1 - 0.0000 -
3037.79/3048.84 c 3049 1084503 954646 1 - 0.0000 -
3042.86/3053.90 c 3054 1085358 955431 1 - 0.0000 -
3049.44/3060.50 c 3061 1086674 956619 1 - 0.0000 -
3054.73/3065.86 c 3066 1087803 957653 1 - 0.0000 -
3060.31/3071.44 c 3071 1088725 958308 1 - 0.0000 -
3065.69/3076.89 c 3077 1090117 959267 1 - 0.0000 -
3070.87/3082.05 c 3082 1091375 960097 1 - 0.0000 -
3076.05/3087.26 c 3087 1092514 961006 1 - 0.0000 -
3082.63/3093.82 c 3094 1093839 962220 1 - 0.0000 -
3089.01/3100.22 c 3100 1094963 963148 1 - 0.0000 -
3094.89/3106.11 c 3106 1096103 964247 1 - 0.0000 -
3100.97/3112.20 c 3112 1097452 965405 1 - 0.0000 -
3106.44/3117.79 c 3118 1098811 966536 1 - 0.0000 -
3111.63/3122.90 c 3123 1099674 967179 1 - 0.0000 -
3117.81/3129.11 c 3129 1100769 968169 1 - 0.0000 -
3123.99/3135.34 c 3135 1101941 969313 1 - 0.0000 -
3129.37/3140.70 c 3141 1103241 970555 1 - 0.0000 -
3135.24/3146.68 c 3147 1104648 971830 1 - 0.0000 -
3140.44/3151.89 c 3152 1105538 972635 1 - 0.0000 -
3145.51/3156.94 c 3157 1106757 973746 1 - 0.0000 -
3151.29/3162.79 c 3163 1108039 974712 1 - 0.0000 -
3156.98/3168.41 c 3168 1109254 975815 1 - 0.0000 -
3161.95/3173.46 c 3173 1109851 976393 1 - 0.0000 -
3167.94/3179.49 c 3180 1111122 977641 1 - 0.0000 -
3173.52/3185.01 c 3185 1112139 978617 1 - 0.0000 -
3179.50/3191.09 c 3191 1113691 979849 1 - 0.0000 -
3184.78/3196.39 c 3196 1115093 980731 1 - 0.0000 -
3190.56/3202.11 c 3202 1116263 981773 1 - 0.0000 -
3196.45/3208.07 c 3208 1117482 982847 1 - 0.0000 -
3202.12/3213.78 c 3214 1118386 983668 1 - 0.0000 -
3208.00/3219.63 c 3220 1119572 984650 1 - 0.0000 -
3213.08/3224.72 c 3225 1120088 985043 1 - 0.0000 -
3218.37/3230.09 c 3230 1121146 985894 1 - 0.0000 -
3224.54/3236.29 c 3236 1122409 987049 1 - 0.0000 -
3229.72/3241.49 c 3242 1123488 988017 1 - 0.0000 -
3235.99/3247.79 c 3248 1124791 989277 1 - 0.0000 -
3242.36/3254.19 c 3254 1126046 990532 1 - 0.0000 -
3248.54/3260.31 c 3260 1127221 991703 1 - 0.0000 -
3253.91/3265.79 c 3266 1128174 992656 1 - 0.0000 -
3259.09/3270.91 c 3271 1128984 993462 1 - 0.0000 -
3264.18/3276.10 c 3276 1129958 994395 1 - 0.0000 -
3269.46/3281.38 c 3281 1130441 994865 1 - 0.0000 -
3275.33/3287.20 c 3287 1131698 995995 1 - 0.0000 -
3280.90/3292.85 c 3293 1132807 996945 1 - 0.0000 -
3285.98/3297.98 c 3298 1133973 997952 1 - 0.0000 -
3291.86/3303.86 c 3304 1135091 998915 1 - 0.0000 -
3297.04/3309.09 c 3309 1135958 999686 1 - 0.0000 -
3302.31/3314.33 c 3314 1137091 1000559 1 - 0.0000 -
3307.59/3319.69 c 3320 1138161 1001557 1 - 0.0000 -
3313.86/3325.97 c 3326 1139148 1002544 1 - 0.0000 -
3319.84/3331.99 c 3332 1140233 1003623 1 - 0.0000 -
3325.22/3337.35 c 3337 1141197 1004571 1 - 0.0000 -
3330.90/3343.09 c 3343 1142295 1005669 1 - 0.0000 -
3336.67/3348.89 c 3349 1143296 1006646 1 - 0.0000 -
3343.54/3355.72 c 3356 1144441 1007778 1 - 0.0000 -
3349.42/3361.63 c 3362 1145526 1008823 1 - 0.0000 -
3355.29/3367.57 c 3368 1146671 1009950 1 - 0.0000 -
3360.97/3373.21 c 3373 1147809 1011053 1 - 0.0000 -
3366.35/3378.70 c 3379 1148921 1012143 1 - 0.0000 -
3372.72/3385.04 c 3385 1150024 1013176 1 - 0.0000 -
3378.70/3391.00 c 3391 1150943 1014087 1 - 0.0000 -
3384.27/3396.62 c 3397 1152089 1015179 1 - 0.0000 -
3390.94/3403.32 c 3403 1153197 1016258 1 - 0.0000 -
3396.12/3408.53 c 3409 1154258 1017305 1 - 0.0000 -
3401.71/3414.18 c 3414 1154904 1017920 1 - 0.0000 -
3407.48/3419.98 c 3420 1155862 1018857 1 - 0.0000 -
3412.75/3425.27 c 3425 1156481 1019422 1 - 0.0000 -
3419.02/3431.51 c 3432 1157404 1020250 1 - 0.0000 -
3425.00/3437.54 c 3438 1158458 1021231 1 - 0.0000 -
3430.68/3443.23 c 3443 1159279 1021976 1 - 0.0000 -
3435.85/3448.42 c 3448 1160288 1022844 1 - 0.0000 -
3441.33/3453.91 c 3454 1161541 1024011 1 - 0.0000 -
3446.42/3459.10 c 3459 1162562 1024888 1 - 0.0000 -
3451.79/3464.49 c 3464 1163523 1025637 1 - 0.0000 -
3457.26/3469.96 c 3470 1164625 1026517 1 - 0.0000 -
3462.54/3475.21 c 3475 1165401 1027197 1 - 0.0000 -
3467.62/3480.30 c 3480 1165963 1027706 1 - 0.0000 -
3473.79/3486.59 c 3487 1167067 1028804 1 - 0.0000 -
3478.97/3491.73 c 3492 1168089 1029804 1 - 0.0000 -
3484.84/3497.60 c 3498 1169352 1030914 1 - 0.0000 -
3490.33/3503.16 c 3503 1170284 1031727 1 - 0.0000 -
3496.10/3508.95 c 3509 1171397 1032695 1 - 0.0000 -
3502.08/3514.97 c 3515 1172159 1033373 1 - 0.0000 -
3508.05/3520.95 c 3521 1173269 1034345 1 - 0.0000 -
3513.42/3526.35 c 3526 1174061 1035135 1 - 0.0000 -
3518.41/3531.39 c 3531 1174941 1035945 1 - 0.0000 -
3525.18/3538.13 c 3538 1176419 1037118 1 - 0.0000 -
3531.45/3544.48 c 3544 1177485 1038053 1 - 0.0000 -
3537.23/3550.21 c 3550 1178551 1039081 1 - 0.0000 -
3542.50/3555.59 c 3556 1179413 1039829 1 - 0.0000 -
3548.68/3561.71 c 3562 1180423 1040705 1 - 0.0000 -
3554.85/3567.91 c 3568 1181486 1041682 1 - 0.0000 -
3560.73/3573.80 c 3574 1182574 1042687 1 - 0.0000 -
3566.50/3579.69 c 3580 1183435 1043484 1 - 0.0000 -
3572.67/3585.82 c 3586 1184499 1044463 1 - 0.0000 -
3578.86/3592.08 c 3592 1185899 1045823 1 - 0.0000 -
3584.63/3597.87 c 3598 1187216 1047112 1 - 0.0000 -
3586.42/3599.62 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.42/3599.62 c Total Time : 3599.6300
3586.42/3599.62 c solving : 3599.6300
3586.42/3599.62 c presolving : 0.0054 (included in solving)
3586.42/3599.62 c B&B Tree :
3586.42/3599.62 c nodes (total) : 1
3586.42/3599.62 c Solution :
3586.42/3599.62 c Solutions found : 0
3586.42/3599.62 c Primal Bound : -
3586.42/3599.62 c Dual Bound : +0.00000000000000e+00
3586.42/3599.62 c Gap : -
3586.42/3599.63 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: 63931 MiB (54104 MiB free)
memory of node 1: 64510 MiB (61593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464543-1722385802/watcher-4464543-1722385802 -o /tmp/evaluation-result-4464543-1722385802/solver-4464543-1722385802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29594 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464543-1722385802.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=34306, runsolver pid=34303
[startup+0.10009 s]*
/proc/loadavg: 4.14 4.15 4.13 5/262 34309
/proc/meminfo: memFree=118461992/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=24316 CPUtime=0.1 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3453 0 0 0 10 0 0 0 20 0 3 0 5179506 110956544 6079 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 6079 2950 3035 0 9606 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 1880 0 0 0 8 0 0 0 20 0 3 0 5179507 110956544 6079 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=228556276070 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 6079 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 24316 KiB
[startup+0.205544 s]*
/proc/loadavg: 4.14 4.15 4.13 5/262 34309
/proc/meminfo: memFree=118458832/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=27280 CPUtime=0.2 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 4166 0 0 0 20 0 0 0 20 0 3 0 5179506 110956544 6820 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 6820 2966 3035 0 10251 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=664970838410264707 CPUtime=0.19 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 2593 0 0 0 19 0 0 0 20 0 3 0 5179507 110956544 6820 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=3712 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 6820 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 27280 KiB
[startup+0.305535 s]*
/proc/loadavg: 4.13 4.15 4.13 5/262 34309
/proc/meminfo: memFree=118457012/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=29128 CPUtime=0.3 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 4634 0 0 0 30 0 0 0 20 0 3 0 5179506 110956544 7282 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 7282 2966 3035 0 10629 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=-5155632414041074565 CPUtime=0.29 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3061 0 0 0 29 0 0 0 20 0 3 0 5179507 110956544 7282 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=0 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 7282 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 29128 KiB
[startup+0.700244 s]
/proc/loadavg: 4.13 4.15 4.13 5/262 34309
/proc/meminfo: memFree=118455864/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=30448 CPUtime=0.69 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 4956 0 0 0 69 0 0 0 20 0 3 0 5179506 110956544 7612 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 7612 2966 3035 0 10815 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=0 CPUtime=0.68 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3383 0 0 0 68 0 0 0 20 0 3 0 5179507 110956544 7612 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=0 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 7612 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 30448 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.15 4.13 7/263 34341
/proc/meminfo: memFree=118849420/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=31748 CPUtime=1.48 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 8116 0 0 0 148 0 0 0 20 0 3 0 5179506 110956544 7937 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 7937 2966 3035 0 11318 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=0 CPUtime=1.47 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 6527 0 0 0 147 0 0 0 20 0 3 0 5179507 110956544 7937 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=0 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 7937 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 31748 KiB
[startup+3.10502 s]
/proc/loadavg: 4.13 4.15 4.13 5/261 34363
/proc/meminfo: memFree=126980344/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=33240 CPUtime=3.08 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 8605 0 0 0 307 1 0 0 20 0 3 0 5179506 110956544 8310 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 8310 2966 3035 0 11526 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=0 CPUtime=3.07 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 7013 0 0 0 306 1 0 0 20 0 3 0 5179507 110956544 8310 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=2273 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 8310 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 33240 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.14 4.13 5/266 34391
/proc/meminfo: memFree=126979332/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=108356 memory=39672 CPUtime=6.26 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 14338 0 0 0 625 1 0 0 20 0 3 0 5179506 110956544 9918 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27089 9918 3014 3035 0 12989 0
[pid=34306/tid=34308] ppid=34303 vsize=108356 memory=0 CPUtime=6.25 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 12720 0 0 0 624 1 0 0 20 0 3 0 5179507 110956544 9918 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=108356 memory=39668 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5179507 110956544 9918 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 39672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.13 5/266 34449
/proc/meminfo: memFree=126954476/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=111756 memory=46836 CPUtime=12.64 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 24989 0 0 0 1259 5 0 0 20 0 3 0 5179506 114438144 11709 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 27939 11709 3014 3035 0 14861 0
[pid=34306/tid=34308] ppid=34303 vsize=111756 memory=-7451323800069694336 CPUtime=12.63 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 23328 0 0 0 1258 5 0 0 20 0 3 0 5179507 114438144 11709 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=111756 memory=-7451323800069694336 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5179507 114438144 11709 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 111756 KiB
Current children cumulated memory: 46836 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 34450
/proc/meminfo: memFree=126923132/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=119544 memory=63808 CPUtime=25.39 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 47611 0 0 0 2530 9 0 0 20 0 3 0 5179506 122413056 15952 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 29886 15952 3014 3035 0 19180 0
[pid=34306/tid=34308] ppid=34303 vsize=119544 memory=61816 CPUtime=25.38 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 45870 0 0 0 2529 9 0 0 20 0 3 0 5179507 122413056 15952 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=119544 memory=55728 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5179507 122413056 15952 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 119544 KiB
Current children cumulated memory: 63808 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.15 4.13 5/265 34456
/proc/meminfo: memFree=126849776/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=134968 memory=95584 CPUtime=50.89 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 77031 0 0 0 5073 16 0 0 20 0 3 0 5179506 138207232 23896 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 33742 23896 3014 3035 0 27327 0
[pid=34306/tid=34308] ppid=34303 vsize=134968 memory=90476 CPUtime=50.88 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 75231 0 0 0 5072 16 0 0 20 0 3 0 5179507 138207232 23896 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=134968 memory=85088 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5179507 138207232 23896 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 134968 KiB
Current children cumulated memory: 95584 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/265 34464
/proc/meminfo: memFree=126631336/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=233348 memory=154124 CPUtime=101.89 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 139028 0 0 0 10160 29 0 0 20 0 3 0 5179506 238948352 38531 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 58337 38531 3014 3035 0 42890 0
[pid=34306/tid=34308] ppid=34303 vsize=233348 memory=101188 CPUtime=101.87 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 137147 0 0 0 10158 29 0 0 20 0 3 0 5179507 238948352 38531 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=233348 memory=11592 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5179507 238948352 38531 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 233348 KiB
Current children cumulated memory: 154124 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/266 34475
/proc/meminfo: memFree=126492520/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=261460 memory=213484 CPUtime=161.65 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 219042 0 0 0 16120 45 0 0 20 0 3 0 5179506 267735040 53371 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 65365 53371 3014 3035 0 58253 0
[pid=34306/tid=34308] ppid=34303 vsize=261460 memory=101188 CPUtime=161.63 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 217089 0 0 0 16118 45 0 0 20 0 3 0 5179507 267735040 53371 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=261460 memory=200440 CPUtime=0 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5179507 267735040 53371 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 261460 KiB
################
# More data... #
################
/proc/34306/statm: 358269 329171 3014 3035 0 339010 0
[pid=34306/tid=34308] ppid=34303 vsize=1433076 memory=1314976 CPUtime=3389.76 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 2856290 0 0 0 338567 409 0 0 20 0 3 0 5179507 1467469824 329171 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1433076 memory=1314992 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 169 0 0 0 1 2 0 0 20 0 3 0 5179507 1467469824 329171 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3389.95 s
Current children cumulated vsize: 1433076 KiB
Current children cumulated memory: 1316684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 36164
/proc/meminfo: memFree=126412332/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1435000 memory=1325132 CPUtime=3449.7 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 2904350 0 0 0 344551 419 0 0 20 0 3 0 5179506 1469440000 331283 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 358750 331283 3014 3035 0 340465 0
[pid=34306/tid=34308] ppid=34303 vsize=1435000 memory=1319500 CPUtime=3449.49 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 2901577 0 0 0 344537 412 0 0 20 0 3 0 5179507 1469440000 331283 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1435000 memory=11592 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 5179507 1469440000 331283 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3449.7 s
Current children cumulated vsize: 1435000 KiB
Current children cumulated memory: 1325132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/266 36344
/proc/meminfo: memFree=126366404/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1443500 memory=1342336 CPUtime=3509.44 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 2953821 0 0 0 350520 424 0 0 20 0 3 0 5179506 1478144000 335584 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 360875 335584 3014 3035 0 344285 0
[pid=34306/tid=34308] ppid=34303 vsize=1443500 memory=11592 CPUtime=3509.24 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 2951037 0 0 0 350506 418 0 0 20 0 3 0 5179507 1478144000 335584 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1443500 memory=1341264 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 174 0 0 0 1 2 0 0 20 0 3 0 5179507 1478144000 335584 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3509.44 s
Current children cumulated vsize: 1443500 KiB
Current children cumulated memory: 1342336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.27 4.15 5/266 36354
/proc/meminfo: memFree=126334836/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1468228 memory=1355220 CPUtime=3569.19 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3004007 0 0 0 356490 429 0 0 20 0 3 0 5179506 1503465472 338805 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 367057 338805 3014 3035 0 351299 0
[pid=34306/tid=34308] ppid=34303 vsize=1468228 memory=1348572 CPUtime=3568.99 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3001213 0 0 0 356476 423 0 0 20 0 3 0 5179507 1503465472 338805 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1468228 memory=1355216 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1503465472 338805 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3569.19 s
Current children cumulated vsize: 1468228 KiB
Current children cumulated memory: 1355220 KiB
[startup+3599.63 s]
# the end of solver process 34306 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.1 s, system=4.3649 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.50 4.27 4.15 5/266 36354
/proc/meminfo: memFree=126334400/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1468228 memory=1355228 CPUtime=3570.89 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3004523 0 0 0 356660 429 0 0 20 0 3 0 5179506 1503465472 338807 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 367057 338807 3014 3035 0 351299 0
[pid=34306/tid=34308] ppid=34303 vsize=1468228 memory=3 CPUtime=3570.69 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3001729 0 0 0 356646 423 0 0 20 0 3 0 5179507 1503465472 338807 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1468228 memory=-4050210904893408147 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1503465472 338807 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 1468228 KiB
Current children cumulated memory: 1355228 KiB
[startup+3590.4 s]
/proc/loadavg: 4.46 4.27 4.15 5/266 36356
/proc/meminfo: memFree=126331708/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1468228 memory=1355876 CPUtime=3577.26 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3004921 0 0 0 357296 430 0 0 20 0 3 0 5179506 1503465472 338969 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 367057 338969 3014 3035 0 351443 0
[pid=34306/tid=34308] ppid=34303 vsize=1468228 memory=1354784 CPUtime=3577.06 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3002127 0 0 0 357283 423 0 0 20 0 3 0 5179507 1503465472 338969 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1468228 memory=1354784 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1503465472 338969 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3577.26 s
Current children cumulated vsize: 1468228 KiB
Current children cumulated memory: 1355876 KiB
[startup+3593.6 s]
/proc/loadavg: 4.42 4.26 4.15 5/266 36357
/proc/meminfo: memFree=126329880/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1468228 memory=1356028 CPUtime=3580.45 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3006541 0 0 0 357615 430 0 0 20 0 3 0 5179506 1503465472 339007 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 367057 339007 3014 3035 0 351475 0
[pid=34306/tid=34308] ppid=34303 vsize=1468228 memory=0 CPUtime=3580.24 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3003747 0 0 0 357601 423 0 0 20 0 3 0 5179507 1503465472 339007 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1468228 memory=2048 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1503465472 339007 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3580.45 s
Current children cumulated vsize: 1468228 KiB
Current children cumulated memory: 1356028 KiB
[startup+3596.8 s]
/proc/loadavg: 4.42 4.26 4.15 5/266 36357
/proc/meminfo: memFree=126327536/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1469252 memory=1357088 CPUtime=3583.64 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3006918 0 0 0 357933 431 0 0 20 0 3 0 5179506 1504514048 339272 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 367313 339272 3014 3035 0 351731 0
[pid=34306/tid=34308] ppid=34303 vsize=1469252 memory=1355220 CPUtime=3583.43 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3004124 0 0 0 357919 424 0 0 20 0 3 0 5179507 1504514048 339272 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1469252 memory=1355828 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1504514048 339272 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 1469252 KiB
Current children cumulated memory: 1357088 KiB
[startup+3598.4 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126326820/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1469252 memory=1357476 CPUtime=3585.22 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3019927 0 0 0 358091 431 0 0 20 0 3 0 5179506 1504514048 339369 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 367313 339369 3014 3035 0 351827 0
[pid=34306/tid=34308] ppid=34303 vsize=1469252 memory=2788 CPUtime=3585.02 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3017141 0 0 0 358078 424 0 0 20 0 3 0 5179507 1504514048 339369 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1469252 memory=12976 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1504514048 339369 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 1469252 KiB
Current children cumulated memory: 1357476 KiB
[startup+3599.2 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126358988/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1337148 memory=1225384 CPUtime=3586.02 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3044367 0 0 0 358169 433 0 0 20 0 3 0 5179506 1369239552 306346 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 334287 306346 3014 3035 0 318801 0
[pid=34306/tid=34308] ppid=34303 vsize=1337148 memory=38896 CPUtime=3585.82 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3041572 0 0 0 358156 426 0 0 20 0 3 0 5179507 1369239552 306346 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1337148 memory=11592 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1369239552 306346 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 1337148 KiB
Current children cumulated memory: 1225384 KiB
[startup+3599.6 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126358988/131524600 swapFree=131071996/131071996
[pid=34306] ppid=34303 vsize=1202104 memory=1090340 CPUtime=3586.42 cores=0,2
/proc/34306/stat : 34306 (fscip) S 34303 34306 29584 0 -1 1077936128 3047583 0 0 0 358208 434 0 0 20 0 3 0 5179506 1230954496 272585 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
/proc/34306/statm: 300526 272585 3014 3035 0 285040 0
[pid=34306/tid=34308] ppid=34303 vsize=1202104 memory=52432 CPUtime=3586.22 cores=0,2
/proc/34306/task/34308/stat : 34308 (fscip) R 34303 34306 29584 0 -1 4194368 3044788 0 0 0 358195 427 0 0 20 0 3 0 5179507 1230954496 272585 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
[pid=34306/tid=34309] ppid=34303 vsize=1202104 memory=-7451323800069694336 CPUtime=0.03 cores=0,2
/proc/34306/task/34309/stat : 34309 (fscip) S 34303 34306 29584 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 5179507 1230954496 272585 134679101440 4194304 16623229 140723329947440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 48029696 140723329954838 140723329954954 140723329954954 140723329961968 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 1202104 KiB
Current children cumulated memory: 1090340 KiB
Child status: 0
Real time (s): 3599.63
CPU time (s): 3586.46
CPU user time (s): 3582.1
CPU system time (s): 4.3649
CPU usage (%): 99.6341
Max. virtual memory (cumulated for all children) (KiB): 1469252
Max. memory (cumulated for all children) (KiB): 1357476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.1
system time used= 4.3649
maximum resident set size= 1357476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3047608
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= 9846
involuntary context switches= 27741
# summary of solver processes directly reported to runsolver:
# pid: 34306
# total CPU time (s): 3586.46
# total CPU user time (s): 3582.1
# total CPU system time (s): 4.3649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83681 second user time and 16.8241 second system time
The end
Begin job on nodeC023 at 2024-07-31 02:30:02
IDJOB=4464543
IDBENCH=159709
IDSOLVER=3092
FILE ID=nodeC023/4464543-1722385802
RUNJOBID= nodeC023-1722378594-29594
SLURM_JOB_ID= 8249846
Free space on /tmp= 889924 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.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-4464543-1722385802/watcher-4464543-1722385802 -o /tmp/evaluation-result-4464543-1722385802/solver-4464543-1722385802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29594 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464543-1722385802.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fb50f41b260553fb8a191e5e9748bb0
RANDOM SEED=1390683433
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.089
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.984
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.937
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.921
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.017
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118475748 kB
MemAvailable: 119004568 kB
Buffers: 104536 kB
Cached: 1258040 kB
SwapCached: 0 kB
Active: 363668 kB
Inactive: 12187512 kB
Active(anon): 1544 kB
Inactive(anon): 11208436 kB
Active(file): 362124 kB
Inactive(file): 979076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29792 kB
Writeback: 0 kB
AnonPages: 11188672 kB
Mapped: 113276 kB
Shmem: 21336 kB
KReclaimable: 54536 kB
Slab: 135420 kB
SReclaimable: 54536 kB
SUnreclaim: 80884 kB
KernelStack: 4160 kB
PageTables: 31096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8416520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5019648 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: 164564 kB
DirectMap2M: 10094592 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC023 at 2024-07-31 03:30:02