0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 23093248, getVmSize() = 23093248, SCIPgetMemUsed() = 1259787, SCIPgetMemTotal() = 1603579, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15997610, getVmSize() = 24899584, SCIPgetMemUsed() = 1451423, SCIPgetMemTotal() = 2318711, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4447520-1721354072
0.00/0.00 c Variables : 141 (141 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 376
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 141 (141 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 376
0.00/0.00 c Constraints : Number
0.00/0.00 c logicor : 376
0.00/0.00 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.21 c 5 2234 1181 1 - 0.0000 -
10.15/10.25 c 10 9246 7812 1 - 0.0000 -
15.22/15.30 c 15 15699 13715 1 - 0.0000 -
20.20/20.34 c 20 21441 18980 1 - 0.0000 -
25.28/25.40 c 25 26893 23539 1 - 0.0000 -
30.25/30.45 c 30 33609 30177 1 - 0.0000 -
35.33/35.50 c 36 39121 35299 1 - 0.0000 -
40.31/40.55 c 41 44341 40190 1 - 0.0000 -
45.38/45.60 c 46 49622 45063 1 - 0.0000 -
50.37/50.65 c 51 54680 49665 1 - 0.0000 -
55.44/55.73 c 56 59945 54348 1 - 0.0000 -
60.42/60.79 c 61 64762 58556 1 - 0.0000 -
65.50/65.83 c 66 69418 62738 1 - 0.0000 -
70.57/70.90 c 71 74370 67133 1 - 0.0000 -
75.55/75.95 c 76 78943 71032 1 - 0.0000 -
80.63/81.00 c 81 83684 75047 1 - 0.0000 -
85.60/86.05 c 86 88524 79549 1 - 0.0000 -
90.68/91.12 c 91 92831 83379 1 - 0.0000 -
95.66/96.19 c 96 97397 87234 1 - 0.0000 -
100.74/101.25 c 101 101597 90940 1 - 0.0000 -
105.82/106.31 c 106 106298 94991 1 - 0.0000 -
110.90/111.40 c 111 110636 98586 1 - 0.0000 -
115.88/116.45 c 116 114742 102207 1 - 0.0000 -
120.96/121.50 c 122 118771 105561 1 - 0.0000 -
125.94/126.58 c 127 123289 109538 1 - 0.0000 -
131.02/131.68 c 132 127542 113145 1 - 0.0000 -
136.09/136.74 c 137 131720 116595 1 - 0.0000 -
141.18/141.85 c 142 135624 120084 1 - 0.0000 -
146.26/146.94 c 147 139592 123623 1 - 0.0000 -
151.35/152.10 c 152 144069 127369 1 - 0.0000 -
156.42/157.15 c 157 148144 130886 1 - 0.0000 -
161.50/162.21 c 162 152022 134320 1 - 0.0000 -
166.49/167.29 c 167 155730 137593 1 - 0.0000 -
171.56/172.37 c 172 159883 141252 1 - 0.0000 -
176.64/177.49 c 177 163911 144858 1 - 0.0000 -
181.73/182.55 c 183 167619 148319 1 - 0.0000 -
186.91/187.74 c 188 171737 152207 1 - 0.0000 -
191.88/192.79 c 193 175427 155782 1 - 0.0000 -
197.07/197.99 c 198 179025 158914 1 - 0.0000 -
202.26/203.15 c 203 182637 161970 1 - 0.0000 -
207.33/208.24 c 208 186389 165351 1 - 0.0000 -
212.50/213.40 c 213 189496 168330 1 - 0.0000 -
217.69/218.65 c 219 193531 172238 1 - 0.0000 -
222.77/223.78 c 224 196881 175143 1 - 0.0000 -
227.95/228.99 c 229 200127 178117 1 - 0.0000 -
233.32/234.33 c 234 203790 181501 1 - 0.0000 -
238.51/239.52 c 240 207191 184601 1 - 0.0000 -
243.69/244.76 c 245 210656 187610 1 - 0.0000 -
248.97/250.01 c 250 214375 190935 1 - 0.0000 -
254.06/255.17 c 255 218026 194111 1 - 0.0000 -
259.33/260.44 c 260 221499 196875 1 - 0.0000 -
264.41/265.50 c 266 224383 199329 1 - 0.0000 -
269.49/270.64 c 271 227514 202068 1 - 0.0000 -
274.57/275.79 c 276 230831 204791 1 - 0.0000 -
279.75/280.90 c 281 234347 207752 1 - 0.0000 -
284.84/286.05 c 286 237848 210970 1 - 0.0000 -
290.10/291.35 c 291 241274 214250 1 - 0.0000 -
295.49/296.75 c 297 244724 217197 1 - 0.0000 -
300.97/302.26 c 302 249216 221636 1 - 0.0000 -
306.25/307.55 c 308 253550 225851 1 - 0.0000 -
311.53/312.86 c 313 256694 228727 1 - 0.0000 -
316.71/318.02 c 318 259967 231665 1 - 0.0000 -
321.79/323.11 c 323 263171 234448 1 - 0.0000 -
326.97/328.35 c 328 266864 237905 1 - 0.0000 -
332.24/333.67 c 334 270249 240980 1 - 0.0000 -
337.52/338.96 c 339 272819 243362 1 - 0.0000 -
342.60/344.05 c 344 275774 246170 1 - 0.0000 -
347.88/349.38 c 349 278781 249062 1 - 0.0000 -
353.06/354.57 c 355 281429 251426 1 - 0.0000 -
358.34/359.80 c 360 284333 254257 1 - 0.0000 -
363.63/365.17 c 365 287137 256903 1 - 0.0000 -
369.00/370.52 c 371 289847 259407 1 - 0.0000 -
374.18/375.77 c 376 292681 262068 1 - 0.0000 -
379.36/380.92 c 381 295356 264482 1 - 0.0000 -
384.45/386.02 c 386 298289 266893 1 - 0.0000 -
389.63/391.28 c 391 300817 269039 1 - 0.0000 -
394.91/396.55 c 397 303345 271318 1 - 0.0000 -
400.28/401.92 c 402 305921 273587 1 - 0.0000 -
405.47/407.17 c 407 308464 275813 1 - 0.0000 -
410.55/412.28 c 412 311102 278228 1 - 0.0000 -
415.73/417.48 c 417 314155 280953 1 - 0.0000 -
421.10/422.83 c 423 315531 282245 1 - 0.0000 -
426.29/428.08 c 428 317676 284166 1 - 0.0000 -
431.66/433.40 c 433 320271 286507 1 - 0.0000 -
436.95/438.77 c 439 322281 288187 1 - 0.0000 -
442.32/444.11 c 444 324844 290526 1 - 0.0000 -
447.60/449.42 c 449 327390 292961 1 - 0.0000 -
452.88/454.77 c 455 330089 295321 1 - 0.0000 -
458.36/460.20 c 460 333005 298133 1 - 0.0000 -
463.44/465.37 c 465 335325 300065 1 - 0.0000 -
468.82/470.74 c 471 337771 302229 1 - 0.0000 -
474.01/475.90 c 476 340708 304927 1 - 0.0000 -
479.29/481.22 c 481 343281 307178 1 - 0.0000 -
484.37/486.37 c 486 345687 309241 1 - 0.0000 -
489.65/491.67 c 492 347841 311094 1 - 0.0000 -
495.33/497.36 c 497 350445 313333 1 - 0.0000 -
500.51/502.59 c 503 353000 315558 1 - 0.0000 -
505.99/508.09 c 508 356193 318723 1 - 0.0000 -
511.17/513.21 c 513 359103 321523 1 - 0.0000 -
516.46/518.52 c 519 361637 323796 1 - 0.0000 -
521.84/523.90 c 524 363874 325891 1 - 0.0000 -
526.92/529.01 c 529 365963 327903 1 - 0.0000 -
532.39/534.54 c 535 368309 330112 1 - 0.0000 -
537.68/539.87 c 540 370778 332498 1 - 0.0000 -
543.06/545.25 c 545 372891 334552 1 - 0.0000 -
548.34/550.54 c 551 375467 336678 1 - 0.0000 -
553.83/556.06 c 556 377894 338691 1 - 0.0000 -
559.30/561.50 c 562 380224 340756 1 - 0.0000 -
564.48/566.77 c 567 382146 342381 1 - 0.0000 -
569.66/571.98 c 572 383849 343913 1 - 0.0000 -
575.14/577.42 c 577 386329 346190 1 - 0.0000 -
580.73/583.00 c 583 388681 348441 1 - 0.0000 -
585.80/588.13 c 588 390614 350318 1 - 0.0000 -
591.28/593.60 c 594 392859 352439 1 - 0.0000 -
596.67/599.10 c 599 395297 354538 1 - 0.0000 -
602.15/604.50 c 604 397583 356582 1 - 0.0000 -
607.42/609.80 c 610 399884 358720 1 - 0.0000 -
612.91/615.30 c 615 402001 360632 1 - 0.0000 -
618.59/621.07 c 621 404417 362820 1 - 0.0000 -
623.87/626.38 c 626 406781 364940 1 - 0.0000 -
629.75/632.29 c 632 409126 367016 1 - 0.0000 -
635.54/638.04 c 638 411837 369430 1 - 0.0000 -
641.11/643.63 c 644 414102 371520 1 - 0.0000 -
646.59/649.18 c 649 415989 373069 1 - 0.0000 -
651.97/654.58 c 655 418442 375272 1 - 0.0000 -
657.25/659.85 c 660 420367 376766 1 - 0.0000 -
662.93/665.54 c 666 422229 378414 1 - 0.0000 -
668.42/671.04 c 671 424504 380478 1 - 0.0000 -
673.89/676.58 c 677 426757 382542 1 - 0.0000 -
679.47/682.12 c 682 428829 384340 1 - 0.0000 -
684.85/687.57 c 688 431073 386386 1 - 0.0000 -
690.23/692.99 c 693 433206 388273 1 - 0.0000 -
695.51/698.25 c 698 435104 389949 1 - 0.0000 -
701.09/703.82 c 704 437317 392108 1 - 0.0000 -
706.47/709.28 c 709 439591 394259 1 - 0.0000 -
711.95/714.71 c 715 441549 396127 1 - 0.0000 -
717.93/720.79 c 721 443386 397758 1 - 0.0000 -
723.51/726.36 c 726 445547 399578 1 - 0.0000 -
729.20/732.02 c 732 447704 401388 1 - 0.0000 -
734.37/737.23 c 737 449241 402695 1 - 0.0000 -
739.96/742.82 c 743 451343 404512 1 - 0.0000 -
745.64/748.52 c 749 453191 406075 1 - 0.0000 -
751.12/754.01 c 754 455114 407809 1 - 0.0000 -
756.29/759.21 c 759 456942 409355 1 - 0.0000 -
761.68/764.65 c 765 459261 411484 1 - 0.0000 -
767.06/770.00 c 770 460891 412831 1 - 0.0000 -
772.73/775.71 c 776 463437 414988 1 - 0.0000 -
778.22/781.28 c 781 465694 416444 1 - 0.0000 -
784.10/787.13 c 787 467842 417933 1 - 0.0000 -
789.48/792.58 c 793 469603 419569 1 - 0.0000 -
794.96/798.09 c 798 471541 421375 1 - 0.0000 -
800.14/803.23 c 803 473197 422760 1 - 0.0000 -
805.72/808.84 c 809 475328 424749 1 - 0.0000 -
811.21/814.31 c 814 477602 426840 1 - 0.0000 -
816.79/819.95 c 820 479711 428902 1 - 0.0000 -
822.06/825.27 c 825 481298 430309 1 - 0.0000 -
827.75/830.90 c 831 483415 432016 1 - 0.0000 -
832.83/836.08 c 836 485401 433507 1 - 0.0000 -
838.60/841.86 c 842 487321 435194 1 - 0.0000 -
844.19/847.49 c 847 489208 436876 1 - 0.0000 -
849.67/852.96 c 853 490968 438383 1 - 0.0000 -
855.45/858.74 c 859 492911 440088 1 - 0.0000 -
861.12/864.42 c 864 495003 442042 1 - 0.0000 -
866.91/870.29 c 870 497378 444320 1 - 0.0000 -
872.88/876.23 c 876 499759 446576 1 - 0.0000 -
878.16/881.52 c 882 501118 447785 1 - 0.0000 -
883.54/886.96 c 887 502608 449085 1 - 0.0000 -
889.02/892.43 c 892 504353 450664 1 - 0.0000 -
894.30/897.74 c 898 506133 452131 1 - 0.0000 -
899.88/903.34 c 903 507742 453424 1 - 0.0000 -
905.96/909.42 c 909 509246 454725 1 - 0.0000 -
911.44/914.97 c 915 511074 456427 1 - 0.0000 -
916.92/920.48 c 920 512511 457683 1 - 0.0000 -
922.51/926.10 c 926 514356 459348 1 - 0.0000 -
927.59/931.17 c 931 515749 460449 1 - 0.0000 -
933.57/937.13 c 937 517797 462273 1 - 0.0000 -
938.84/942.47 c 942 519686 464028 1 - 0.0000 -
944.13/947.75 c 948 521601 465640 1 - 0.0000 -
950.11/953.74 c 954 523766 467499 1 - 0.0000 -
955.89/959.51 c 960 525337 468978 1 - 0.0000 -
961.17/964.80 c 965 527287 470487 1 - 0.0000 -
966.54/970.25 c 970 529148 472209 1 - 0.0000 -
972.34/976.05 c 976 530864 473779 1 - 0.0000 -
978.41/982.12 c 982 533001 475623 1 - 0.0000 -
983.89/987.67 c 988 534561 477113 1 - 0.0000 -
989.47/993.26 c 993 536191 478434 1 - 0.0000 -
994.85/998.68 c 999 538027 480206 1 - 0.0000 -
1000.43/1004.22 c 1004 538981 481075 1 - 0.0000 -
1006.21/1010.08 c 1010 539714 481763 1 - 0.0000 -
1011.30/1015.13 c 1015 541135 482996 1 - 0.0000 -
1017.18/1021.02 c 1021 542276 483924 1 - 0.0000 -
1023.05/1026.98 c 1027 543875 485292 1 - 0.0000 -
1028.63/1032.59 c 1033 545576 486640 1 - 0.0000 -
1034.11/1038.01 c 1038 547218 488059 1 - 0.0000 -
1039.30/1043.20 c 1043 548878 489527 1 - 0.0000 -
1045.08/1049.01 c 1049 550039 490612 1 - 0.0000 -
1050.06/1054.05 c 1054 551341 491838 1 - 0.0000 -
1055.54/1059.53 c 1060 553099 493507 1 - 0.0000 -
1061.13/1065.16 c 1065 554486 494700 1 - 0.0000 -
1067.20/1071.29 c 1071 556506 496472 1 - 0.0000 -
1072.58/1076.65 c 1077 558174 497827 1 - 0.0000 -
1078.16/1082.27 c 1082 559784 498978 1 - 0.0000 -
1083.84/1087.97 c 1088 561871 500680 1 - 0.0000 -
1089.23/1093.36 c 1093 563593 502155 1 - 0.0000 -
1094.50/1098.66 c 1099 565119 503532 1 - 0.0000 -
1100.48/1104.68 c 1105 566571 504840 1 - 0.0000 -
1106.06/1110.20 c 1110 568018 506151 1 - 0.0000 -
1111.34/1115.59 c 1116 569759 507682 1 - 0.0000 -
1117.62/1121.89 c 1122 571827 509630 1 - 0.0000 -
1123.10/1127.32 c 1127 573968 511771 1 - 0.0000 -
1128.38/1132.63 c 1133 576044 513833 1 - 0.0000 -
1134.07/1138.31 c 1138 577982 515751 1 - 0.0000 -
1139.85/1144.13 c 1144 579859 517373 1 - 0.0000 -
1145.33/1149.67 c 1150 581048 518393 1 - 0.0000 -
1150.81/1155.17 c 1155 582463 519727 1 - 0.0000 -
1156.49/1160.87 c 1161 584051 521197 1 - 0.0000 -
1162.56/1166.95 c 1167 585711 522677 1 - 0.0000 -
1168.34/1172.73 c 1173 587443 523990 1 - 0.0000 -
1173.52/1177.92 c 1178 588841 525223 1 - 0.0000 -
1179.20/1183.65 c 1184 590321 526525 1 - 0.0000 -
1185.19/1189.65 c 1190 592175 528101 1 - 0.0000 -
1190.97/1195.43 c 1195 593754 529625 1 - 0.0000 -
1196.94/1201.44 c 1201 596049 531912 1 - 0.0000 -
1202.53/1207.09 c 1207 598333 534182 1 - 0.0000 -
1207.61/1212.18 c 1212 599851 535688 1 - 0.0000 -
1213.18/1217.70 c 1218 601677 537500 1 - 0.0000 -
1218.96/1223.54 c 1224 603462 539268 1 - 0.0000 -
1224.94/1229.58 c 1230 605351 541145 1 - 0.0000 -
1230.53/1235.11 c 1235 607273 543063 1 - 0.0000 -
1235.81/1240.43 c 1240 609238 545028 1 - 0.0000 -
1241.08/1245.75 c 1246 611097 546882 1 - 0.0000 -
1246.16/1250.82 c 1251 612796 548548 1 - 0.0000 -
1252.35/1257.04 c 1257 614564 550304 1 - 0.0000 -
1258.43/1263.12 c 1263 616468 552208 1 - 0.0000 -
1264.41/1269.12 c 1269 618548 554288 1 - 0.0000 -
1270.58/1275.31 c 1275 620401 556133 1 - 0.0000 -
1276.77/1281.54 c 1282 622326 558058 1 - 0.0000 -
1282.04/1286.83 c 1287 624001 559667 1 - 0.0000 -
1287.13/1291.97 c 1292 625588 561254 1 - 0.0000 -
1292.31/1297.16 c 1297 627584 563221 1 - 0.0000 -
1297.89/1302.78 c 1303 629134 564712 1 - 0.0000 -
1303.76/1308.65 c 1309 630727 566263 1 - 0.0000 -
1309.45/1314.30 c 1314 632121 567643 1 - 0.0000 -
1314.93/1319.83 c 1320 633307 568766 1 - 0.0000 -
1320.31/1325.25 c 1325 634552 569913 1 - 0.0000 -
1325.59/1330.57 c 1331 635736 571021 1 - 0.0000 -
1331.97/1336.97 c 1337 637301 572553 1 - 0.0000 -
1338.05/1343.06 c 1343 639177 574359 1 - 0.0000 -
1344.13/1349.14 c 1349 640581 575708 1 - 0.0000 -
1349.91/1354.90 c 1355 641696 576775 1 - 0.0000 -
1355.29/1360.35 c 1360 642651 577614 1 - 0.0000 -
1360.77/1365.84 c 1366 644137 578898 1 - 0.0000 -
1366.75/1371.83 c 1372 645446 580004 1 - 0.0000 -
1371.73/1376.89 c 1377 646941 581334 1 - 0.0000 -
1377.11/1382.28 c 1382 648521 582759 1 - 0.0000 -
1382.50/1387.61 c 1388 650047 584150 1 - 0.0000 -
1388.58/1393.73 c 1394 651591 585543 1 - 0.0000 -
1394.35/1399.54 c 1400 653375 587188 1 - 0.0000 -
1400.03/1405.26 c 1405 654388 588025 1 - 0.0000 -
1406.01/1411.29 c 1411 656155 589645 1 - 0.0000 -
1411.60/1416.85 c 1417 657809 591071 1 - 0.0000 -
1417.18/1422.42 c 1422 658898 591989 1 - 0.0000 -
1422.16/1427.47 c 1427 659969 593003 1 - 0.0000 -
1428.03/1433.33 c 1433 661344 594229 1 - 0.0000 -
1433.72/1439.10 c 1439 662704 595454 1 - 0.0000 -
1439.30/1444.63 c 1445 664061 596676 1 - 0.0000 -
1445.28/1450.69 c 1451 665072 597623 1 - 0.0000 -
1451.46/1456.90 c 1457 666912 599383 1 - 0.0000 -
1457.03/1462.48 c 1462 668633 601008 1 - 0.0000 -
1463.12/1468.54 c 1469 670245 602576 1 - 0.0000 -
1468.40/1473.87 c 1474 671506 603756 1 - 0.0000 -
1473.48/1478.94 c 1479 673105 605193 1 - 0.0000 -
1479.26/1484.74 c 1485 674243 606210 1 - 0.0000 -
1484.55/1490.08 c 1490 675405 607302 1 - 0.0000 -
1490.42/1495.94 c 1496 676798 608666 1 - 0.0000 -
1496.30/1501.82 c 1502 677915 609612 1 - 0.0000 -
1501.98/1507.57 c 1508 679407 610962 1 - 0.0000 -
1507.07/1512.62 c 1513 680669 612114 1 - 0.0000 -
1513.34/1518.94 c 1519 682107 613490 1 - 0.0000 -
1518.82/1524.46 c 1524 683478 614620 1 - 0.0000 -
1524.60/1530.20 c 1530 684957 616060 1 - 0.0000 -
1530.09/1535.78 c 1536 686483 617305 1 - 0.0000 -
1536.26/1541.95 c 1542 687671 618401 1 - 0.0000 -
1541.94/1547.64 c 1548 688701 619275 1 - 0.0000 -
1547.73/1553.40 c 1553 689569 620030 1 - 0.0000 -
1552.71/1558.48 c 1558 690255 620673 1 - 0.0000 -
1558.98/1564.76 c 1565 692065 622342 1 - 0.0000 -
1564.86/1570.69 c 1571 693124 623309 1 - 0.0000 -
1570.44/1576.26 c 1576 694555 624559 1 - 0.0000 -
1575.72/1581.57 c 1582 695937 625797 1 - 0.0000 -
1581.90/1587.73 c 1588 697461 627246 1 - 0.0000 -
1587.98/1593.80 c 1594 698741 628377 1 - 0.0000 -
1593.36/1599.22 c 1599 700558 630194 1 - 0.0000 -
1598.84/1604.74 c 1605 701924 631500 1 - 0.0000 -
1604.02/1609.98 c 1610 703126 632522 1 - 0.0000 -
1609.90/1615.83 c 1616 704351 633533 1 - 0.0000 -
1615.68/1621.66 c 1622 705937 634978 1 - 0.0000 -
1621.46/1627.42 c 1627 707607 636525 1 - 0.0000 -
1627.15/1633.16 c 1633 709249 638073 1 - 0.0000 -
1632.82/1638.81 c 1639 710708 639357 1 - 0.0000 -
1638.51/1644.50 c 1644 711880 640332 1 - 0.0000 -
1644.19/1650.22 c 1650 713756 641865 1 - 0.0000 -
1649.46/1655.58 c 1656 715084 642961 1 - 0.0000 -
1654.65/1660.73 c 1661 716078 643811 1 - 0.0000 -
1659.74/1665.84 c 1666 717266 644734 1 - 0.0000 -
1665.12/1671.23 c 1671 718409 645642 1 - 0.0000 -
1670.90/1677.05 c 1677 719584 646765 1 - 0.0000 -
1676.57/1682.78 c 1683 720526 647580 1 - 0.0000 -
1682.75/1688.96 c 1689 721756 648797 1 - 0.0000 -
1688.23/1694.45 c 1694 723126 649948 1 - 0.0000 -
1694.01/1700.25 c 1700 724568 651269 1 - 0.0000 -
1699.90/1706.11 c 1706 725971 652526 1 - 0.0000 -
1705.57/1711.87 c 1712 727255 653653 1 - 0.0000 -
1711.85/1718.19 c 1718 728749 654773 1 - 0.0000 -
1718.23/1724.53 c 1725 729921 655905 1 - 0.0000 -
1723.71/1730.03 c 1730 731297 657197 1 - 0.0000 -
1728.69/1735.08 c 1735 732211 658088 1 - 0.0000 -
1734.67/1741.03 c 1741 733695 659314 1 - 0.0000 -
1740.65/1747.01 c 1747 734992 660350 1 - 0.0000 -
1746.22/1752.66 c 1753 736306 661533 1 - 0.0000 -
1751.31/1757.72 c 1758 737513 662697 1 - 0.0000 -
1756.59/1763.00 c 1763 738522 663648 1 - 0.0000 -
1762.07/1768.53 c 1769 739975 664906 1 - 0.0000 -
1767.25/1773.77 c 1774 741278 666137 1 - 0.0000 -
1773.43/1779.95 c 1780 742324 667126 1 - 0.0000 -
1779.01/1785.53 c 1786 743241 667994 1 - 0.0000 -
1784.99/1791.55 c 1792 744599 669212 1 - 0.0000 -
1790.16/1796.75 c 1797 745839 670352 1 - 0.0000 -
1795.46/1802.09 c 1802 747151 671469 1 - 0.0000 -
1800.72/1807.37 c 1807 748034 672302 1 - 0.0000 -
1806.11/1812.78 c 1813 749492 673542 1 - 0.0000 -
1811.79/1818.40 c 1818 750883 674468 1 - 0.0000 -
1817.86/1824.59 c 1825 752303 675771 1 - 0.0000 -
1824.05/1830.73 c 1831 753786 677132 1 - 0.0000 -
1829.62/1836.38 c 1836 755001 678320 1 - 0.0000 -
1836.00/1842.75 c 1843 756587 679891 1 - 0.0000 -
1841.48/1848.26 c 1848 757892 680974 1 - 0.0000 -
1846.56/1853.30 c 1853 759056 682080 1 - 0.0000 -
1852.44/1859.25 c 1859 760287 683230 1 - 0.0000 -
1858.02/1864.81 c 1865 761607 684287 1 - 0.0000 -
1863.91/1870.73 c 1871 762598 685099 1 - 0.0000 -
1869.19/1876.04 c 1876 763906 686291 1 - 0.0000 -
1874.96/1881.83 c 1882 765276 687590 1 - 0.0000 -
1880.26/1887.12 c 1887 766641 688894 1 - 0.0000 -
1886.14/1893.03 c 1893 767715 689849 1 - 0.0000 -
1892.21/1899.11 c 1899 768784 690774 1 - 0.0000 -
1897.99/1904.97 c 1905 770081 691966 1 - 0.0000 -
1904.07/1911.01 c 1911 771877 693666 1 - 0.0000 -
1909.06/1916.02 c 1916 773141 694790 1 - 0.0000 -
1914.83/1921.86 c 1922 774111 695718 1 - 0.0000 -
1919.92/1926.90 c 1927 775327 696803 1 - 0.0000 -
1925.20/1932.22 c 1932 776559 697865 1 - 0.0000 -
1931.47/1938.52 c 1939 778401 699635 1 - 0.0000 -
1937.36/1944.47 c 1944 779881 700768 1 - 0.0000 -
1943.54/1950.63 c 1951 781111 701737 1 - 0.0000 -
1950.21/1957.38 c 1957 782564 702848 1 - 0.0000 -
1956.49/1963.62 c 1964 784217 704346 1 - 0.0000 -
1961.98/1969.12 c 1969 786078 705672 1 - 0.0000 -
1967.96/1975.17 c 1975 787289 706698 1 - 0.0000 -
1973.14/1980.32 c 1980 788797 708206 1 - 0.0000 -
1978.32/1985.54 c 1986 790231 709628 1 - 0.0000 -
1983.70/1990.92 c 1991 791496 710893 1 - 0.0000 -
1989.98/1997.21 c 1997 792689 712035 1 - 0.0000 -
1996.26/2003.51 c 2004 794274 713300 1 - 0.0000 -
2001.94/2009.21 c 2009 795404 714267 1 - 0.0000 -
2006.92/2014.22 c 2014 796255 714885 1 - 0.0000 -
2012.71/2020.01 c 2020 797521 716060 1 - 0.0000 -
2018.38/2025.71 c 2026 798444 716834 1 - 0.0000 -
2024.26/2031.67 c 2032 799574 717691 1 - 0.0000 -
2029.34/2036.73 c 2037 800404 718416 1 - 0.0000 -
2034.43/2041.89 c 2042 801715 719645 1 - 0.0000 -
2040.11/2047.53 c 2048 802576 720462 1 - 0.0000 -
2046.29/2053.75 c 2054 803864 721685 1 - 0.0000 -
2052.17/2059.60 c 2060 805109 722863 1 - 0.0000 -
2057.35/2064.87 c 2065 805888 723628 1 - 0.0000 -
2063.63/2071.12 c 2071 807558 725136 1 - 0.0000 -
2068.70/2076.28 c 2076 808361 725900 1 - 0.0000 -
2074.00/2081.56 c 2082 809101 726569 1 - 0.0000 -
2079.98/2087.54 c 2088 810667 728051 1 - 0.0000 -
2085.65/2093.28 c 2093 811631 728944 1 - 0.0000 -
2091.23/2098.81 c 2099 812924 730145 1 - 0.0000 -
2097.22/2104.89 c 2105 813834 730848 1 - 0.0000 -
2103.19/2110.83 c 2111 814866 731753 1 - 0.0000 -
2108.78/2116.46 c 2116 816079 732837 1 - 0.0000 -
2114.16/2121.86 c 2122 817202 733901 1 - 0.0000 -
2119.94/2127.61 c 2128 818401 735047 1 - 0.0000 -
2126.02/2133.75 c 2134 819657 736148 1 - 0.0000 -
2131.31/2139.01 c 2139 820953 737297 1 - 0.0000 -
2136.98/2144.74 c 2145 822151 738475 1 - 0.0000 -
2142.17/2149.98 c 2150 823336 739606 1 - 0.0000 -
2148.85/2156.64 c 2157 824677 740864 1 - 0.0000 -
2153.93/2161.71 c 2162 825701 741830 1 - 0.0000 -
2159.41/2167.26 c 2167 826783 742815 1 - 0.0000 -
2165.58/2173.44 c 2173 827986 743861 1 - 0.0000 -
2171.86/2179.79 c 2180 829101 744838 1 - 0.0000 -
2177.65/2185.56 c 2186 829982 745603 1 - 0.0000 -
2183.83/2191.77 c 2192 830822 746276 1 - 0.0000 -
2189.01/2196.91 c 2197 831633 747013 1 - 0.0000 -
2194.10/2202.06 c 2202 832764 748040 1 - 0.0000 -
2200.47/2208.41 c 2208 834172 749257 1 - 0.0000 -
2205.76/2213.73 c 2214 835376 750227 1 - 0.0000 -
2211.73/2219.76 c 2220 836621 751331 1 - 0.0000 -
2217.21/2225.28 c 2225 837719 752358 1 - 0.0000 -
2222.70/2230.74 c 2231 838616 753133 1 - 0.0000 -
2228.09/2236.11 c 2236 839572 754047 1 - 0.0000 -
2233.36/2241.42 c 2241 840556 754919 1 - 0.0000 -
2238.35/2246.43 c 2246 841537 755768 1 - 0.0000 -
2243.43/2251.52 c 2252 842802 756872 1 - 0.0000 -
2249.41/2257.54 c 2258 844201 758195 1 - 0.0000 -
2255.59/2263.76 c 2264 845175 759102 1 - 0.0000 -
2260.78/2268.96 c 2269 846116 759989 1 - 0.0000 -
2266.45/2274.67 c 2275 847251 761095 1 - 0.0000 -
2271.94/2280.14 c 2280 848209 761967 1 - 0.0000 -
2277.01/2285.23 c 2285 849266 762891 1 - 0.0000 -
2282.21/2290.47 c 2290 850602 764141 1 - 0.0000 -
2287.69/2295.90 c 2296 851486 764926 1 - 0.0000 -
2293.57/2301.86 c 2302 852871 766305 1 - 0.0000 -
2298.55/2306.89 c 2307 854054 767400 1 - 0.0000 -
2303.83/2312.14 c 2312 854834 768058 1 - 0.0000 -
2308.82/2317.17 c 2317 855922 769081 1 - 0.0000 -
2315.29/2323.65 c 2324 857353 770410 1 - 0.0000 -
2320.78/2329.11 c 2329 858387 771280 1 - 0.0000 -
2325.86/2334.22 c 2334 859561 772256 1 - 0.0000 -
2331.74/2340.13 c 2340 860687 773348 1 - 0.0000 -
2337.52/2345.95 c 2346 861878 774205 1 - 0.0000 -
2344.19/2352.67 c 2353 862901 775130 1 - 0.0000 -
2349.59/2358.01 c 2358 864231 776434 1 - 0.0000 -
2355.46/2363.98 c 2364 865549 777616 1 - 0.0000 -
2361.34/2369.87 c 2370 866668 778570 1 - 0.0000 -
2366.63/2375.11 c 2375 867241 779098 1 - 0.0000 -
2372.51/2381.05 c 2381 868599 780348 1 - 0.0000 -
2378.88/2387.47 c 2387 869432 781068 1 - 0.0000 -
2384.57/2393.18 c 2393 870458 781971 1 - 0.0000 -
2390.24/2398.85 c 2399 871765 782947 1 - 0.0000 -
2395.53/2404.19 c 2404 872743 783809 1 - 0.0000 -
2400.61/2409.25 c 2409 873824 784611 1 - 0.0000 -
2406.09/2414.74 c 2415 874801 785450 1 - 0.0000 -
2411.27/2419.99 c 2420 875872 786454 1 - 0.0000 -
2416.66/2425.30 c 2425 876929 787437 1 - 0.0000 -
2422.73/2431.48 c 2431 878391 788669 1 - 0.0000 -
2427.81/2436.56 c 2437 879176 789358 1 - 0.0000 -
2433.60/2442.30 c 2442 879953 790002 1 - 0.0000 -
2439.08/2447.83 c 2448 881068 790724 1 - 0.0000 -
2445.16/2453.92 c 2454 882215 791358 1 - 0.0000 -
2450.64/2459.46 c 2459 883591 792603 1 - 0.0000 -
2456.72/2465.52 c 2466 884654 793556 1 - 0.0000 -
2463.10/2471.97 c 2472 885673 794374 1 - 0.0000 -
2468.88/2477.77 c 2478 887058 795574 1 - 0.0000 -
2474.96/2483.82 c 2484 888151 796431 1 - 0.0000 -
2480.54/2489.46 c 2489 889438 797627 1 - 0.0000 -
2486.12/2495.06 c 2495 890724 798838 1 - 0.0000 -
2491.20/2500.10 c 2500 891728 799816 1 - 0.0000 -
2496.98/2505.99 c 2506 892895 800780 1 - 0.0000 -
2502.56/2511.51 c 2512 894149 801919 1 - 0.0000 -
2507.84/2516.82 c 2517 895382 803033 1 - 0.0000 -
2513.52/2522.55 c 2523 896651 803967 1 - 0.0000 -
2518.70/2527.80 c 2528 897676 804909 1 - 0.0000 -
2525.39/2534.45 c 2534 898812 805931 1 - 0.0000 -
2530.76/2539.87 c 2540 899821 806882 1 - 0.0000 -
2536.24/2545.39 c 2545 900697 807619 1 - 0.0000 -
2542.12/2551.22 c 2551 901814 808684 1 - 0.0000 -
2548.10/2557.24 c 2557 902926 809771 1 - 0.0000 -
2554.58/2563.76 c 2564 904042 810784 1 - 0.0000 -
2560.16/2569.39 c 2569 905291 811858 1 - 0.0000 -
2565.34/2574.51 c 2575 906062 812587 1 - 0.0000 -
2570.42/2579.62 c 2580 907382 813805 1 - 0.0000 -
2575.81/2585.06 c 2585 908671 814959 1 - 0.0000 -
2581.29/2590.55 c 2591 909652 815891 1 - 0.0000 -
2587.06/2596.37 c 2596 910495 816609 1 - 0.0000 -
2593.15/2602.42 c 2602 911243 817237 1 - 0.0000 -
2598.23/2607.54 c 2608 911851 817778 1 - 0.0000 -
2604.81/2614.19 c 2614 912939 818803 1 - 0.0000 -
2610.19/2619.57 c 2620 914099 819873 1 - 0.0000 -
2616.37/2625.71 c 2626 914867 820531 1 - 0.0000 -
2621.85/2631.23 c 2631 916009 821592 1 - 0.0000 -
2627.93/2637.34 c 2637 917501 822856 1 - 0.0000 -
2633.51/2642.93 c 2643 918396 823579 1 - 0.0000 -
2639.29/2648.76 c 2649 919559 824685 1 - 0.0000 -
2645.17/2654.60 c 2655 920387 825490 1 - 0.0000 -
2651.15/2660.66 c 2661 921057 826045 1 - 0.0000 -
2656.93/2666.42 c 2666 922074 826735 1 - 0.0000 -
2662.52/2672.08 c 2672 923116 827666 1 - 0.0000 -
2667.90/2677.46 c 2677 923908 828302 1 - 0.0000 -
2674.47/2684.07 c 2684 925194 829524 1 - 0.0000 -
2680.84/2690.49 c 2690 926204 830479 1 - 0.0000 -
2686.73/2696.35 c 2696 927604 831644 1 - 0.0000 -
2692.21/2701.86 c 2702 928471 832462 1 - 0.0000 -
2697.70/2707.30 c 2707 929428 833403 1 - 0.0000 -
2703.57/2713.27 c 2713 930427 834334 1 - 0.0000 -
2709.45/2719.17 c 2719 931711 835493 1 - 0.0000 -
2715.03/2724.76 c 2725 932618 836277 1 - 0.0000 -
2721.11/2730.80 c 2731 933641 837218 1 - 0.0000 -
2726.70/2736.42 c 2736 934721 838167 1 - 0.0000 -
2732.08/2741.83 c 2742 935691 839066 1 - 0.0000 -
2737.85/2747.68 c 2748 937026 840385 1 - 0.0000 -
2743.84/2753.66 c 2754 938083 841318 1 - 0.0000 -
2749.72/2759.56 c 2760 939426 842632 1 - 0.0000 -
2755.09/2764.98 c 2765 940224 843288 1 - 0.0000 -
2761.07/2770.98 c 2771 941206 844121 1 - 0.0000 -
2766.96/2776.84 c 2777 941811 844673 1 - 0.0000 -
2772.25/2782.15 c 2782 942664 845407 1 - 0.0000 -
2777.92/2787.87 c 2788 943591 846252 1 - 0.0000 -
2784.50/2794.44 c 2794 944769 847231 1 - 0.0000 -
2790.28/2800.20 c 2800 945891 848239 1 - 0.0000 -
2795.75/2805.78 c 2806 946751 848923 1 - 0.0000 -
2801.54/2811.58 c 2812 947837 850009 1 - 0.0000 -
2807.03/2817.07 c 2817 948841 851003 1 - 0.0000 -
2813.50/2823.51 c 2824 949997 852031 1 - 0.0000 -
2819.08/2829.16 c 2829 951191 853172 1 - 0.0000 -
2824.97/2835.02 c 2835 951943 853821 1 - 0.0000 -
2830.14/2840.25 c 2840 952911 854666 1 - 0.0000 -
2835.32/2845.49 c 2845 953713 855466 1 - 0.0000 -
2840.51/2850.61 c 2851 954821 856538 1 - 0.0000 -
2846.39/2856.55 c 2857 955709 857278 1 - 0.0000 -
2851.77/2861.99 c 2862 956931 858444 1 - 0.0000 -
2857.34/2867.54 c 2868 958026 859412 1 - 0.0000 -
2862.93/2873.15 c 2873 959193 860527 1 - 0.0000 -
2869.00/2879.25 c 2879 960452 861629 1 - 0.0000 -
2874.79/2885.04 c 2885 961133 862196 1 - 0.0000 -
2880.37/2890.66 c 2891 962064 863085 1 - 0.0000 -
2886.25/2896.53 c 2897 963076 864019 1 - 0.0000 -
2892.62/2902.90 c 2903 964056 864924 1 - 0.0000 -
2898.41/2908.78 c 2909 965161 865897 1 - 0.0000 -
2903.69/2914.10 c 2914 966037 866713 1 - 0.0000 -
2908.88/2919.28 c 2919 967060 867711 1 - 0.0000 -
2914.06/2924.40 c 2924 968086 868725 1 - 0.0000 -
2919.14/2929.52 c 2930 968876 869392 1 - 0.0000 -
2924.52/2934.91 c 2935 969890 870325 1 - 0.0000 -
2930.61/2941.03 c 2941 971011 871231 1 - 0.0000 -
2936.59/2947.06 c 2947 972374 872250 1 - 0.0000 -
2941.86/2952.36 c 2952 973062 872849 1 - 0.0000 -
2947.65/2958.18 c 2958 974185 873908 1 - 0.0000 -
2953.42/2963.90 c 2964 975215 874856 1 - 0.0000 -
2958.80/2969.39 c 2969 975431 875068 1 - 0.0000 -
2964.88/2975.41 c 2975 976122 875692 1 - 0.0000 -
2970.16/2980.75 c 2981 976978 876470 1 - 0.0000 -
2976.05/2986.65 c 2987 977947 877223 1 - 0.0000 -
2982.03/2992.60 c 2993 979096 878091 1 - 0.0000 -
2987.01/2997.66 c 2998 979743 878638 1 - 0.0000 -
2992.40/3003.00 c 3003 980652 879516 1 - 0.0000 -
2998.27/3008.90 c 3009 981701 880466 1 - 0.0000 -
3003.96/3014.61 c 3015 982710 881370 1 - 0.0000 -
3009.53/3020.24 c 3020 983596 882162 1 - 0.0000 -
3015.21/3025.98 c 3026 984544 883000 1 - 0.0000 -
3020.60/3031.34 c 3031 985367 883778 1 - 0.0000 -
3025.58/3036.35 c 3036 986348 884543 1 - 0.0000 -
3031.66/3042.47 c 3042 987522 885611 1 - 0.0000 -
3037.35/3048.12 c 3048 988685 886668 1 - 0.0000 -
3042.92/3053.75 c 3054 989731 887608 1 - 0.0000 -
3049.31/3060.14 c 3060 990943 888816 1 - 0.0000 -
3054.69/3065.58 c 3066 991871 889659 1 - 0.0000 -
3061.66/3072.52 c 3073 992934 890637 1 - 0.0000 -
3067.64/3078.52 c 3079 994067 891675 1 - 0.0000 -
3072.93/3083.80 c 3084 995011 892540 1 - 0.0000 -
3079.11/3090.05 c 3090 996141 893613 1 - 0.0000 -
3084.78/3095.75 c 3096 997192 894578 1 - 0.0000 -
3091.36/3102.30 c 3102 998238 895482 1 - 0.0000 -
3096.34/3107.31 c 3107 999230 896175 1 - 0.0000 -
3101.63/3112.67 c 3113 999931 896669 1 - 0.0000 -
3107.21/3118.22 c 3118 1000843 897473 1 - 0.0000 -
3113.29/3124.37 c 3124 1001674 898239 1 - 0.0000 -
3118.67/3129.74 c 3130 1002660 899059 1 - 0.0000 -
3123.85/3134.98 c 3135 1003234 899568 1 - 0.0000 -
3129.83/3140.93 c 3141 1004436 900652 1 - 0.0000 -
3135.61/3146.79 c 3147 1005880 902036 1 - 0.0000 -
3141.50/3152.65 c 3153 1006575 902582 1 - 0.0000 -
3146.88/3158.06 c 3158 1007561 903458 1 - 0.0000 -
3152.86/3164.08 c 3164 1008546 904342 1 - 0.0000 -
3158.84/3170.02 c 3170 1009313 904972 1 - 0.0000 -
3164.12/3175.30 c 3175 1010423 905858 1 - 0.0000 -
3169.99/3181.26 c 3181 1011437 906827 1 - 0.0000 -
3175.57/3186.88 c 3187 1012267 907556 1 - 0.0000 -
3180.87/3192.16 c 3192 1013241 908392 1 - 0.0000 -
3186.54/3197.85 c 3198 1014172 909190 1 - 0.0000 -
3192.82/3204.14 c 3204 1015166 910070 1 - 0.0000 -
3198.60/3209.95 c 3210 1015912 910786 1 - 0.0000 -
3204.48/3215.87 c 3216 1017056 911875 1 - 0.0000 -
3210.36/3221.70 c 3222 1018193 912931 1 - 0.0000 -
3215.44/3226.87 c 3227 1018818 913549 1 - 0.0000 -
3221.32/3232.73 c 3233 1019781 914508 1 - 0.0000 -
3226.30/3237.77 c 3238 1021051 915587 1 - 0.0000 -
3231.98/3243.49 c 3243 1021982 916379 1 - 0.0000 -
3237.68/3249.12 c 3249 1022598 916875 1 - 0.0000 -
3244.15/3255.61 c 3256 1023434 917530 1 - 0.0000 -
3249.72/3261.28 c 3261 1024326 918420 1 - 0.0000 -
3256.00/3267.59 c 3268 1025285 919334 1 - 0.0000 -
3261.09/3272.60 c 3273 1025997 919909 1 - 0.0000 -
3266.17/3277.76 c 3278 1026728 920617 1 - 0.0000 -
3271.65/3283.29 c 3283 1027437 921289 1 - 0.0000 -
3277.44/3289.01 c 3289 1028439 922115 1 - 0.0000 -
3283.02/3294.60 c 3295 1029371 922842 1 - 0.0000 -
3288.69/3300.39 c 3300 1030303 923689 1 - 0.0000 -
3294.48/3306.13 c 3306 1031084 924363 1 - 0.0000 -
3300.25/3311.94 c 3312 1032141 925279 1 - 0.0000 -
3305.64/3317.39 c 3317 1032972 926062 1 - 0.0000 -
3311.92/3323.66 c 3324 1033533 926564 1 - 0.0000 -
3318.19/3329.91 c 3330 1034122 927034 1 - 0.0000 -
3323.78/3335.50 c 3336 1034981 927721 1 - 0.0000 -
3328.96/3340.78 c 3341 1035904 928595 1 - 0.0000 -
3334.44/3346.29 c 3346 1037188 929879 1 - 0.0000 -
3339.62/3351.45 c 3351 1038389 931076 1 - 0.0000 -
3344.80/3356.63 c 3357 1039404 932081 1 - 0.0000 -
3350.38/3362.22 c 3362 1040509 933186 1 - 0.0000 -
3355.67/3367.55 c 3368 1041426 934094 1 - 0.0000 -
3361.45/3373.36 c 3373 1042617 935285 1 - 0.0000 -
3366.63/3378.56 c 3379 1043443 936103 1 - 0.0000 -
3372.51/3384.43 c 3384 1044623 937283 1 - 0.0000 -
3378.58/3390.59 c 3391 1045746 938402 1 - 0.0000 -
3384.17/3396.13 c 3396 1046831 939467 1 - 0.0000 -
3389.56/3401.52 c 3402 1047729 940325 1 - 0.0000 -
3394.74/3406.74 c 3407 1048297 940857 1 - 0.0000 -
3399.81/3411.85 c 3412 1048993 941448 1 - 0.0000 -
3406.20/3418.28 c 3418 1049943 942325 1 - 0.0000 -
3412.67/3424.70 c 3425 1050757 942977 1 - 0.0000 -
3417.75/3429.87 c 3430 1051543 943742 1 - 0.0000 -
3423.63/3435.78 c 3436 1052571 944755 1 - 0.0000 -
3430.02/3442.12 c 3442 1053341 945392 1 - 0.0000 -
3435.30/3447.47 c 3447 1054021 945981 1 - 0.0000 -
3440.58/3452.78 c 3453 1054684 946608 1 - 0.0000 -
3446.75/3458.91 c 3459 1055629 947383 1 - 0.0000 -
3452.74/3464.90 c 3465 1056908 948546 1 - 0.0000 -
3458.12/3470.35 c 3470 1057594 949156 1 - 0.0000 -
3463.21/3475.42 c 3475 1058489 949980 1 - 0.0000 -
3469.38/3481.66 c 3482 1059333 950700 1 - 0.0000 -
3474.57/3486.85 c 3487 1060319 951507 1 - 0.0000 -
3480.15/3492.47 c 3492 1061323 952224 1 - 0.0000 -
3485.62/3497.93 c 3498 1062119 952885 1 - 0.0000 -
3491.61/3503.94 c 3504 1062832 953456 1 - 0.0000 -
3497.59/3509.96 c 3510 1063321 953753 1 - 0.0000 -
3503.17/3515.55 c 3516 1064429 954314 1 - 0.0000 -
3508.55/3520.97 c 3521 1065109 954734 1 - 0.0000 -
3513.83/3526.23 c 3526 1066233 955361 1 - 0.0000 -
3519.62/3532.03 c 3532 1066876 955699 1 - 0.0000 -
3524.70/3537.19 c 3537 1067685 956108 1 - 0.0000 -
3530.37/3542.84 c 3543 1068235 956395 1 - 0.0000 -
3535.76/3548.22 c 3548 1069094 956832 1 - 0.0000 -
3542.34/3554.86 c 3555 1069857 957402 1 - 0.0000 -
3547.72/3560.24 c 3560 1070797 957930 1 - 0.0000 -
3553.40/3565.99 c 3566 1071563 958622 1 - 0.0000 -
3559.48/3572.06 c 3572 1072438 959432 1 - 0.0000 -
3564.76/3577.38 c 3577 1073346 960314 1 - 0.0000 -
3571.03/3583.61 c 3584 1074461 961332 1 - 0.0000 -
3576.91/3589.59 c 3590 1075226 962024 1 - 0.0000 -
3583.29/3595.99 c 3596 1076161 962914 1 - 0.0000 -
3588.98/3601.67 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.98/3601.67 c Total Time : 3601.6700
3588.98/3601.67 c solving : 3601.6700
3588.98/3601.67 c presolving : 0.0046 (included in solving)
3588.98/3601.67 c B&B Tree :
3588.98/3601.67 c nodes (total) : 1
3588.98/3601.67 c Solution :
3588.98/3601.67 c Solutions found : 0
3588.98/3601.67 c Primal Bound : -
3588.98/3601.67 c Dual Bound : +0.00000000000000e+00
3588.98/3601.67 c Gap : -
3588.98/3601.68 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: 63968 MiB (62823 MiB free)
memory of node 1: 64473 MiB (63304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447520-1721354072/watcher-4447520-1721354072 -o /tmp/evaluation-result-4447520-1721354072/solver-4447520-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982051 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447520-1721354072.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
solver pid=982215, runsolver pid=982212
Current StackSize limit: 8192 KiB
[startup+0.10027 s]*
/proc/loadavg: 1.97 2.26 2.89 6/266 982220
/proc/meminfo: memFree=129126656/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=23064 CPUtime=0.09 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3179 0 0 0 9 0 0 0 20 0 3 0 187574269 110428160 5766 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 5766 2926 3032 0 9318 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 1753 0 0 0 8 0 0 0 20 0 3 0 187574270 110428160 5766 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=232851243367 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 5766 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 23064 KiB
[startup+0.2058 s]*
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129115016/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=28028 CPUtime=0.19 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 4472 0 0 0 19 0 0 0 20 0 3 0 187574269 110428160 7007 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 7007 2942 3032 0 10511 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3046 0 0 0 18 0 0 0 20 0 3 0 187574270 110428160 7007 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=1656803 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 7007 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 28028 KiB
[startup+0.305916 s]*
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129110024/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=27932 CPUtime=0.29 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 4493 0 0 0 29 0 0 0 20 0 3 0 187574269 110428160 6983 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 6983 2942 3032 0 10515 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=-6658689036806437738 CPUtime=0.28 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3067 0 0 0 28 0 0 0 20 0 3 0 187574270 110428160 6983 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=0 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 6983 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 27932 KiB
[startup+0.700223 s]
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129098776/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=30040 CPUtime=0.68 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 5031 0 0 0 68 0 0 0 20 0 3 0 187574269 110428160 7510 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 7510 2942 3032 0 11076 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=0 CPUtime=0.67 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3605 0 0 0 67 0 0 0 20 0 3 0 187574270 110428160 7510 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=0 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 7510 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 30040 KiB
[startup+1.5002 s]
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129094608/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=31628 CPUtime=1.48 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 8262 0 0 0 147 1 0 0 20 0 3 0 187574269 110428160 7907 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 7907 2942 3032 0 11318 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=0 CPUtime=1.46 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 6821 0 0 0 146 0 0 0 20 0 3 0 187574270 110428160 7907 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=0 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 7907 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 31628 KiB
[startup+3.10577 s]
/proc/loadavg: 2.13 2.29 2.90 5/266 982220
/proc/meminfo: memFree=129065132/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=37824 CPUtime=3.08 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 10141 0 0 0 307 1 0 0 20 0 3 0 187574269 110428160 9456 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 9456 2990 3032 0 12618 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=0 CPUtime=3.07 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 8696 0 0 0 306 1 0 0 20 0 3 0 187574270 110428160 9456 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=2273 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 9456 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 37824 KiB
[startup+6.30025 s]
/proc/loadavg: 2.13 2.29 2.90 5/266 982220
/proc/meminfo: memFree=129039476/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=107840 memory=38704 CPUtime=6.27 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 13341 0 0 0 625 2 0 0 20 0 3 0 187574269 110428160 9676 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 26960 9676 2990 3032 0 12806 0
[pid=982215/tid=982217] ppid=982212 vsize=107840 memory=37824 CPUtime=6.25 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 11870 0 0 0 624 1 0 0 20 0 3 0 187574270 110428160 9676 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=107840 memory=-6658689036806437738 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187574270 110428160 9676 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 38704 KiB
[startup+12.7002 s]
/proc/loadavg: 2.28 2.32 2.91 5/266 982222
/proc/meminfo: memFree=129011444/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=110368 memory=46452 CPUtime=12.63 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 24331 0 0 0 1259 4 0 0 20 0 3 0 187574269 113016832 11613 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 27592 11613 2990 3032 0 14758 0
[pid=982215/tid=982217] ppid=982212 vsize=110368 memory=164 CPUtime=12.62 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 22818 0 0 0 1258 4 0 0 20 0 3 0 187574270 113016832 11613 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=110368 memory=42292 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 187574270 113016832 11613 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 110368 KiB
Current children cumulated memory: 46452 KiB
[startup+25.5003 s]
/proc/loadavg: 2.73 2.42 2.93 5/266 982223
/proc/meminfo: memFree=128956060/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=119592 memory=65804 CPUtime=25.38 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 48216 0 0 0 2529 9 0 0 20 0 3 0 187574269 122462208 16451 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 29898 16451 2990 3032 0 19981 0
[pid=982215/tid=982217] ppid=982212 vsize=119592 memory=60756 CPUtime=25.37 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 46621 0 0 0 2528 9 0 0 20 0 3 0 187574270 122462208 16451 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=119592 memory=11608 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 187574270 122462208 16451 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 119592 KiB
Current children cumulated memory: 65804 KiB
[startup+51.1057 s]
/proc/loadavg: 3.23 2.56 2.96 5/264 982228
/proc/meminfo: memFree=128861312/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=134736 memory=96756 CPUtime=50.87 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 79234 0 0 0 5070 17 0 0 20 0 3 0 187574269 137969664 24189 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 33684 24189 2990 3032 0 27809 0
[pid=982215/tid=982217] ppid=982212 vsize=134736 memory=95568 CPUtime=50.85 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 77580 0 0 0 5069 16 0 0 20 0 3 0 187574270 137969664 24189 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=134736 memory=69996 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 187574270 137969664 24189 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 134736 KiB
Current children cumulated memory: 96756 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 2.83 3.04 5/266 982620
/proc/meminfo: memFree=128675172/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=242908 memory=158588 CPUtime=101.83 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 160864 0 0 0 10150 33 0 0 20 0 3 0 187574269 248737792 39647 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 60727 39647 2990 3032 0 44508 0
[pid=982215/tid=982217] ppid=982212 vsize=242908 memory=12384 CPUtime=101.82 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 159103 0 0 0 10149 33 0 0 20 0 3 0 187574270 248737792 39647 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=242908 memory=151996 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 187574270 248737792 39647 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 242908 KiB
Current children cumulated memory: 158588 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.08 3.11 6/266 982630
/proc/meminfo: memFree=128483008/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=280832 memory=216124 CPUtime=161.6 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 235669 0 0 0 16111 49 0 0 20 0 3 0 187574269 287571968 54031 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 70208 54031 2990 3032 0 58978 0
[pid=982215/tid=982217] ppid=982212 vsize=280832 memory=209552 CPUtime=161.58 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 233849 0 0 0 16109 49 0 0 20 0 3 0 187574270 287571968 54031 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=280832 memory=214160 CPUtime=0 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 187574270 287571968 54031 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 280832 KiB
################
# More data... #
################
/proc/982215/statm: 329346 315845 2990 3032 0 322836 0
[pid=982215/tid=982217] ppid=982212 vsize=1317384 memory=1247332 CPUtime=3390.15 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3147554 0 0 0 338632 383 0 0 20 0 3 0 187574270 1349001216 315845 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1317384 memory=1257464 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 191 0 0 0 1 2 0 0 20 0 3 0 187574270 1349001216 315845 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3390.35 s
Current children cumulated vsize: 1317384 KiB
Current children cumulated memory: 1263380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/264 984025
/proc/meminfo: memFree=123532356/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1321112 memory=1271440 CPUtime=3450.15 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3219355 0 0 0 344620 395 0 0 20 0 3 0 187574269 1352818688 317860 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 330278 317860 2990 3032 0 324136 0
[pid=982215/tid=982217] ppid=982212 vsize=1321112 memory=1247332 CPUtime=3449.94 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3216514 0 0 0 344607 387 0 0 20 0 3 0 187574270 1352818688 317860 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1321112 memory=1257464 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 193 0 0 0 1 2 0 0 20 0 3 0 187574270 1352818688 317860 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3450.15 s
Current children cumulated vsize: 1321112 KiB
Current children cumulated memory: 1271440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/265 984037
/proc/meminfo: memFree=123459860/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1327824 memory=1281624 CPUtime=3509.95 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3287006 0 0 0 350594 401 0 0 20 0 3 0 187574269 1359691776 320406 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 331956 320406 2990 3032 0 326310 0
[pid=982215/tid=982217] ppid=982212 vsize=1327824 memory=1280536 CPUtime=3509.74 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3284146 0 0 0 350581 393 0 0 20 0 3 0 187574270 1359691776 320406 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1327824 memory=11608 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 198 0 0 0 1 2 0 0 20 0 3 0 187574270 1359691776 320406 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3509.95 s
Current children cumulated vsize: 1327824 KiB
Current children cumulated memory: 1281624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984048
/proc/meminfo: memFree=123394184/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1353108 memory=1294476 CPUtime=3569.74 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3356087 0 0 0 356568 406 0 0 20 0 3 0 187574269 1385582592 323619 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 338277 323619 2990 3032 0 333360 0
[pid=982215/tid=982217] ppid=982212 vsize=1353108 memory=11608 CPUtime=3569.53 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3353205 0 0 0 356554 399 0 0 20 0 3 0 187574270 1385582592 323619 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1353108 memory=11608 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1385582592 323619 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 1353108 KiB
Current children cumulated memory: 1294476 KiB
[startup+3601.68 s]
# the end of solver process 982215 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.92 s, system=4.14813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.19 4.15 5/265 984048
/proc/meminfo: memFree=123392884/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1353108 memory=1294500 CPUtime=3571.44 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3356294 0 0 0 356738 406 0 0 20 0 3 0 187574269 1385582592 323625 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 338277 323625 2990 3032 0 333360 0
[pid=982215/tid=982217] ppid=982212 vsize=1353108 memory=1716988 CPUtime=3571.23 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3353412 0 0 0 356724 399 0 0 20 0 3 0 187574270 1385582592 323625 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1353108 memory=2756 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1385582592 323625 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 1353108 KiB
Current children cumulated memory: 1294500 KiB
[startup+3590.4 s]
/proc/loadavg: 4.28 4.22 4.16 5/265 984050
/proc/meminfo: memFree=123387224/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1353108 memory=1294544 CPUtime=3577.82 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3371659 0 0 0 357374 408 0 0 20 0 3 0 187574269 1385582592 323636 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 338277 323636 2990 3032 0 333360 0
[pid=982215/tid=982217] ppid=982212 vsize=1353108 memory=1294500 CPUtime=3577.6 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3368777 0 0 0 357360 400 0 0 20 0 3 0 187574270 1385582592 323636 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1353108 memory=12384 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1385582592 323636 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3577.82 s
Current children cumulated vsize: 1353108 KiB
Current children cumulated memory: 1294544 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.22 4.16 5/265 984050
/proc/meminfo: memFree=123379856/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1353108 memory=1294596 CPUtime=3584.19 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3372465 0 0 0 358011 408 0 0 20 0 3 0 187574269 1385582592 323649 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 338277 323649 2990 3032 0 333360 0
[pid=982215/tid=982217] ppid=982212 vsize=1353108 memory=1291760 CPUtime=3583.99 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3369583 0 0 0 357998 401 0 0 20 0 3 0 187574270 1385582592 323649 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1353108 memory=11608 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1385582592 323649 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 1353108 KiB
Current children cumulated memory: 1294596 KiB
[startup+3600 s]*
/proc/loadavg: 4.24 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1353108 memory=1295044 CPUtime=3587.38 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3372730 0 0 0 358330 408 0 0 20 0 3 0 187574269 1385582592 323761 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 338277 323761 2990 3032 0 333360 0
[pid=982215/tid=982217] ppid=982212 vsize=1353108 memory=6720662134302327406 CPUtime=3587.18 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3369848 0 0 0 358317 401 0 0 20 0 3 0 187574270 1385582592 323761 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1353108 memory=-7448521292198273920 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1385582592 323761 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 1353108 KiB
Current children cumulated memory: 1295044 KiB
[startup+3600.8 s]
/proc/loadavg: 4.24 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1298024 memory=1240060 CPUtime=3588.17 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3422072 0 0 0 358407 410 0 0 20 0 3 0 187574269 1329176576 310015 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 324506 310015 2990 3032 0 319589 0
[pid=982215/tid=982217] ppid=982212 vsize=1298024 memory=6720662134302327406 CPUtime=3587.97 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3419191 0 0 0 358394 403 0 0 20 0 3 0 187574270 1329176576 310015 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1298024 memory=1840 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1329176576 310015 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3588.17 s
Current children cumulated vsize: 1298024 KiB
Current children cumulated memory: 1240060 KiB
[startup+3601.2 s]
/proc/loadavg: 4.24 4.22 4.16 4/257 984082
/proc/meminfo: memFree=124406308/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=1133744 memory=1075780 CPUtime=3588.58 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3429877 0 0 0 358446 412 0 0 20 0 3 0 187574269 1160953856 268945 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 283436 268945 2990 3032 0 278519 0
[pid=982215/tid=982217] ppid=982212 vsize=1133744 memory=1289924 CPUtime=3588.37 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3426994 0 0 0 358433 404 0 0 20 0 3 0 187574270 1160953856 268945 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=1133744 memory=32020 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 1160953856 268945 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 1133744 KiB
Current children cumulated memory: 1075780 KiB
[startup+3601.6 s]
/proc/loadavg: 4.24 4.22 4.16 4/257 984082
/proc/meminfo: memFree=124406308/131524600 swapFree=131071996/131071996
[pid=982215] ppid=982212 vsize=946848 memory=888888 CPUtime=3588.98 cores=0,2
/proc/982215/stat : 982215 (fscip) S 982212 982215 982041 0 -1 1077936128 3433208 0 0 0 358485 413 0 0 20 0 3 0 187574269 969572352 222222 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
/proc/982215/statm: 236712 222222 2990 3032 0 231795 0
[pid=982215/tid=982217] ppid=982212 vsize=946848 memory=1295044 CPUtime=3588.76 cores=0,2
/proc/982215/task/982217/stat : 982217 (fscip) R 982212 982215 982041 0 -1 4194368 3430325 0 0 0 358471 405 0 0 20 0 3 0 187574270 969572352 222222 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
[pid=982215/tid=982219] ppid=982212 vsize=946848 memory=1294984 CPUtime=0.03 cores=0,2
/proc/982215/task/982219/stat : 982219 (fscip) S 982212 982215 982041 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 187574270 969572352 222222 134679101440 4194304 16613245 140727424065200 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25190400 140727424070676 140727424070792 140727424070792 140727424077808 0
Current children cumulated CPU time: 3588.98 s
Current children cumulated vsize: 946848 KiB
Current children cumulated memory: 888888 KiB
Child status: 0
Real time (s): 3601.68
CPU time (s): 3589.07
CPU user time (s): 3584.92
CPU system time (s): 4.14813
CPU usage (%): 99.6497
Max. virtual memory (cumulated for all children) (KiB): 1353108
Max. memory (cumulated for all children) (KiB): 1295144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.92
system time used= 4.14813
maximum resident set size= 1295144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3433624
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= 9851
involuntary context switches= 24674
# summary of solver processes directly reported to runsolver:
# pid: 982215
# total CPU time (s): 3589.07
# total CPU user time (s): 3584.92
# total CPU system time (s): 4.14813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5703 second user time and 11.5952 second system time
The end
Begin job on nodeC028 at 2024-07-19 03:54:45
IDJOB=4447520
IDBENCH=159214
IDSOLVER=3064
FILE ID=nodeC028/4447520-1721354072
RUNJOBID= nodeC028-1721354084-982051
SLURM_JOB_ID= 7542773
Free space on /tmp= 890008 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4447520-1721354072/watcher-4447520-1721354072 -o /tmp/evaluation-result-4447520-1721354072/solver-4447520-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982051 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447520-1721354072.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d3332ca740d3ae6dd3f9a6cb3b2999d7
RANDOM SEED=22335364
nodeC028.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 : 3638.845
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.56
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 : 3649.463
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 : 7005.59
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 : 3669.155
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.56
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 : 3672.147
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 : 7005.59
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 : 3659.644
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3666.083
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 : 7005.59
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 : 3600.291
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.56
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.269
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129162580 kB
MemAvailable: 129685748 kB
Buffers: 503192 kB
Cached: 861744 kB
SwapCached: 0 kB
Active: 1003196 kB
Inactive: 762812 kB
Active(anon): 1452 kB
Inactive(anon): 437300 kB
Active(file): 1001744 kB
Inactive(file): 325512 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113076 kB
Writeback: 4 kB
AnonPages: 398924 kB
Mapped: 129736 kB
Shmem: 37720 kB
KReclaimable: 71468 kB
Slab: 178896 kB
SReclaimable: 71468 kB
SUnreclaim: 107428 kB
KernelStack: 4020 kB
PageTables: 10272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 828584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 04:54:46