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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 33697792, getVmSize() = 33697792, SCIPgetMemUsed() = 9116476, SCIPgetMemTotal() = 11730884, SCIPgetMemExternEstim() = 6904972
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.09/1.13 c ** Estimated virtualMemUsedAtSolver = 29290496, getVmSize() = 54173696, SCIPgetMemUsed() = 15329898, SCIPgetMemTotal() = 30407914, SCIPgetMemExternEstim() = 6904972
1.09/1.13 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.09/1.13 c Original Problem :
1.09/1.13 c Problem name : instance-4452460-1721430266
1.09/1.13 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.13 c Constraints : 6271
1.09/1.13 c Objective sense : minimize
1.09/1.13 c Presolved Problem :
1.09/1.13 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.13 c Constraints : 4407
1.09/1.13 c Constraints : Number
1.09/1.13 c knapsack : 21
1.09/1.13 c setppc : 4386
1.09/1.13 c ** Instance transfer method used: 0
1.09/1.13 c ** ParaScipInstance copy does not increase the number of variables. **
1.09/1.14 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.09/1.14 c Nodes Active
1.09/1.14 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.45/7.58 c 8 2 1 1 - 0.0000 -
12.95/13.00 c 13 100 15 1 - 0.0000 -
18.72/18.84 c 19 175 16 1 - 0.0000 -
24.21/24.35 c 24 241 20 1 - 0.0000 -
29.69/29.81 c 30 301 13 1 - 0.0000 -
35.58/35.70 c 36 337 11 1 - 0.0000 -
41.45/41.63 c 42 371 15 1 - 0.0000 -
47.63/47.81 c 48 391 15 1 - 0.0000 -
53.31/53.52 c 54 427 13 1 - 0.0000 -
59.90/60.20 c 60 451 10 1 - 0.0000 -
67.17/67.43 c 67 502 21 1 - 0.0000 -
72.65/72.90 c 73 530 21 1 - 0.0000 -
77.84/78.12 c 78 649 32 1 - 0.0000 -
83.31/83.66 c 84 777 20 1 - 0.0000 -
89.20/89.52 c 90 883 22 1 - 0.0000 -
94.79/95.14 c 95 980 19 1 - 0.0000 -
100.17/100.51 c 101 1124 28 1 - 0.0000 -
119.40/119.81 c 120 1169 1 1 - 0.0000 -
126.08/126.51 c 127 1183 15 1 - 0.0000 -
131.17/131.65 c 132 1220 18 1 - 0.0000 -
136.56/137.02 c 137 1363 75 1 - 0.0000 -
141.63/142.11 c 142 2054 79 1 - 0.0000 -
146.72/147.26 c 147 2489 32 1 - 0.0000 -
151.80/152.33 c 152 3647 47 1 - 0.0000 -
156.88/157.47 c 157 4029 54 1 - 0.0000 -
162.07/162.63 c 163 4322 61 1 - 0.0000 -
167.15/167.75 c 168 4626 59 1 - 0.0000 -
172.23/172.85 c 173 4959 54 1 - 0.0000 -
177.31/177.95 c 178 5424 75 1 - 0.0000 -
182.40/183.07 c 183 6049 48 1 - 0.0000 -
187.48/188.16 c 188 6426 49 1 - 0.0000 -
192.97/193.66 c 194 6658 68 1 - 0.0000 -
198.05/198.73 c 199 7113 81 1 - 0.0000 -
203.14/203.80 c 204 7484 76 1 - 0.0000 -
208.62/209.39 c 209 7890 86 1 - 0.0000 -
213.80/214.57 c 215 8789 110 1 - 0.0000 -
218.88/219.64 c 220 9647 118 1 - 0.0000 -
223.97/224.72 c 225 10033 99 1 - 0.0000 -
229.05/229.80 c 230 10458 102 1 - 0.0000 -
234.03/234.88 c 235 10813 101 1 - 0.0000 -
239.22/240.00 c 240 11149 109 1 - 0.0000 -
244.20/245.08 c 245 11510 111 1 - 0.0000 -
249.29/250.18 c 250 11883 121 1 - 0.0000 -
254.37/255.29 c 255 12224 123 1 - 0.0000 -
259.56/260.40 c 260 12527 126 1 - 0.0000 -
264.65/265.55 c 266 12830 127 1 - 0.0000 -
269.73/270.61 c 271 13209 138 1 - 0.0000 -
274.82/275.70 c 276 13546 116 1 - 0.0000 -
279.91/280.82 c 281 13954 120 1 - 0.0000 -
285.20/286.11 c 286 14406 134 1 - 0.0000 -
290.19/291.19 c 291 14919 152 1 - 0.0000 -
295.37/296.32 c 296 15252 180 1 - 0.0000 -
300.45/301.47 c 301 15552 190 1 - 0.0000 -
305.54/306.59 c 307 15885 179 1 - 0.0000 -
310.73/311.74 c 312 16222 199 1 - 0.0000 -
315.82/316.82 c 317 16520 198 1 - 0.0000 -
320.90/321.93 c 322 16790 177 1 - 0.0000 -
325.99/327.07 c 327 17111 147 1 - 0.0000 -
331.08/332.13 c 332 17457 132 1 - 0.0000 -
336.26/337.31 c 337 17803 183 1 - 0.0000 -
341.35/342.44 c 342 18131 233 1 - 0.0000 -
346.44/347.53 c 348 18431 211 1 - 0.0000 -
351.52/352.68 c 353 18791 189 1 - 0.0000 -
356.61/357.75 c 358 19175 204 1 - 0.0000 -
361.69/362.87 c 363 19537 189 1 - 0.0000 -
366.79/367.99 c 368 19885 179 1 - 0.0000 -
372.17/373.37 c 373 20188 177 1 - 0.0000 -
377.25/378.46 c 378 20557 232 1 - 0.0000 -
382.44/383.62 c 384 20907 243 1 - 0.0000 -
387.52/388.71 c 389 21315 258 1 - 0.0000 -
392.62/393.80 c 394 21638 262 1 - 0.0000 -
397.60/398.89 c 399 21964 266 1 - 0.0000 -
402.79/404.07 c 404 22281 254 1 - 0.0000 -
407.97/409.20 c 409 22578 268 1 - 0.0000 -
413.06/414.35 c 414 22886 264 1 - 0.0000 -
418.25/419.54 c 420 23212 276 1 - 0.0000 -
423.33/424.67 c 425 23557 293 1 - 0.0000 -
428.52/429.81 c 430 23831 271 1 - 0.0000 -
433.60/434.94 c 435 24218 278 1 - 0.0000 -
438.69/440.05 c 440 24505 269 1 - 0.0000 -
443.79/445.11 c 445 24789 263 1 - 0.0000 -
448.87/450.21 c 450 25134 267 1 - 0.0000 -
453.96/455.39 c 455 25455 280 1 - 0.0000 -
459.04/460.45 c 460 25755 278 1 - 0.0000 -
464.23/465.63 c 466 26059 246 1 - 0.0000 -
469.31/470.76 c 471 26366 273 1 - 0.0000 -
475.20/476.66 c 477 26773 266 1 - 0.0000 -
480.29/481.75 c 482 27114 266 1 - 0.0000 -
485.38/486.85 c 487 27458 283 1 - 0.0000 -
490.46/491.92 c 492 27840 291 1 - 0.0000 -
495.55/497.03 c 497 28213 305 1 - 0.0000 -
500.64/502.14 c 502 28575 315 1 - 0.0000 -
505.72/507.26 c 507 28957 297 1 - 0.0000 -
510.90/512.41 c 512 29350 320 1 - 0.0000 -
515.99/517.51 c 518 29811 322 1 - 0.0000 -
521.08/522.61 c 523 30254 328 1 - 0.0000 -
526.17/527.70 c 528 30686 331 1 - 0.0000 -
531.15/532.79 c 533 31215 382 1 - 0.0000 -
536.24/537.86 c 538 31561 402 1 - 0.0000 -
541.32/542.96 c 543 31901 405 1 - 0.0000 -
546.41/548.02 c 548 32271 366 1 - 0.0000 -
551.50/553.11 c 553 32706 393 1 - 0.0000 -
556.58/558.28 c 558 33116 385 1 - 0.0000 -
561.66/563.34 c 563 33615 375 1 - 0.0000 -
566.75/568.46 c 568 33963 380 1 - 0.0000 -
571.83/573.53 c 574 34290 376 1 - 0.0000 -
576.92/578.61 c 579 34662 375 1 - 0.0000 -
581.90/583.69 c 584 35023 379 1 - 0.0000 -
587.08/588.80 c 589 35422 374 1 - 0.0000 -
592.17/593.94 c 594 35754 366 1 - 0.0000 -
597.25/599.01 c 599 36100 379 1 - 0.0000 -
602.34/604.13 c 604 36500 395 1 - 0.0000 -
607.42/609.29 c 609 36786 407 1 - 0.0000 -
612.51/614.39 c 614 37092 411 1 - 0.0000 -
617.59/619.49 c 619 37466 410 1 - 0.0000 -
622.77/624.64 c 625 37799 435 1 - 0.0000 -
627.86/629.78 c 630 38089 444 1 - 0.0000 -
633.04/634.94 c 635 38446 444 1 - 0.0000 -
638.23/640.11 c 640 38784 450 1 - 0.0000 -
643.22/645.18 c 645 39101 432 1 - 0.0000 -
648.40/650.35 c 650 39463 454 1 - 0.0000 -
653.48/655.49 c 655 39818 449 1 - 0.0000 -
658.76/660.72 c 661 40116 450 1 - 0.0000 -
663.85/665.84 c 666 40522 435 1 - 0.0000 -
669.03/671.00 c 671 40791 431 1 - 0.0000 -
674.02/676.06 c 676 41067 446 1 - 0.0000 -
679.10/681.15 c 681 41367 422 1 - 0.0000 -
684.19/686.26 c 686 41620 420 1 - 0.0000 -
689.27/691.39 c 691 41914 422 1 - 0.0000 -
694.45/696.51 c 697 42258 434 1 - 0.0000 -
699.54/701.60 c 702 42623 423 1 - 0.0000 -
704.72/706.83 c 707 42930 420 1 - 0.0000 -
709.80/711.98 c 712 43213 470 1 - 0.0000 -
714.90/717.06 c 717 43469 483 1 - 0.0000 -
719.98/722.13 c 722 43769 485 1 - 0.0000 -
725.06/727.25 c 727 44157 494 1 - 0.0000 -
730.14/732.37 c 732 44519 505 1 - 0.0000 -
735.22/737.46 c 737 44858 494 1 - 0.0000 -
740.31/742.56 c 743 45174 483 1 - 0.0000 -
745.40/747.68 c 748 45456 474 1 - 0.0000 -
750.48/752.77 c 753 45745 511 1 - 0.0000 -
755.67/757.94 c 758 46027 549 1 - 0.0000 -
760.76/763.06 c 763 46352 526 1 - 0.0000 -
765.85/768.15 c 768 46661 566 1 - 0.0000 -
770.93/773.25 c 773 46958 531 1 - 0.0000 -
776.11/778.40 c 778 47309 519 1 - 0.0000 -
781.20/783.50 c 784 47630 502 1 - 0.0000 -
786.28/788.61 c 789 47903 505 1 - 0.0000 -
791.28/793.66 c 794 48205 489 1 - 0.0000 -
796.36/798.78 c 799 48513 476 1 - 0.0000 -
801.44/803.89 c 804 48791 440 1 - 0.0000 -
806.63/809.04 c 809 49049 451 1 - 0.0000 -
811.82/814.24 c 814 49251 447 1 - 0.0000 -
816.91/819.35 c 819 49495 466 1 - 0.0000 -
821.99/824.45 c 824 49790 471 1 - 0.0000 -
827.28/829.73 c 830 50047 470 1 - 0.0000 -
832.37/834.80 c 835 50357 458 1 - 0.0000 -
837.35/839.88 c 840 50702 469 1 - 0.0000 -
842.44/844.97 c 845 51190 480 1 - 0.0000 -
847.53/850.08 c 850 51600 475 1 - 0.0000 -
852.62/855.15 c 855 51978 477 1 - 0.0000 -
857.70/860.21 c 860 52344 473 1 - 0.0000 -
862.68/865.28 c 865 52718 489 1 - 0.0000 -
867.77/870.35 c 870 53201 499 1 - 0.0000 -
872.86/875.48 c 875 53605 481 1 - 0.0000 -
878.04/880.66 c 881 53874 482 1 - 0.0000 -
883.24/885.85 c 886 54251 485 1 - 0.0000 -
888.33/890.90 c 891 54513 516 1 - 0.0000 -
893.42/896.05 c 896 54823 508 1 - 0.0000 -
898.51/901.14 c 901 55273 520 1 - 0.0000 -
903.59/906.27 c 906 55629 542 1 - 0.0000 -
908.68/911.37 c 911 55968 549 1 - 0.0000 -
913.76/916.48 c 916 56343 551 1 - 0.0000 -
918.85/921.55 c 922 56809 551 1 - 0.0000 -
923.94/926.65 c 927 57221 557 1 - 0.0000 -
929.02/931.72 c 932 57582 554 1 - 0.0000 -
934.11/936.80 c 937 57932 536 1 - 0.0000 -
939.10/941.89 c 942 58277 550 1 - 0.0000 -
944.29/947.01 c 947 58591 568 1 - 0.0000 -
949.37/952.16 c 952 58856 560 1 - 0.0000 -
954.46/957.28 c 957 59226 589 1 - 0.0000 -
959.55/962.36 c 962 59531 592 1 - 0.0000 -
964.64/967.44 c 967 59865 586 1 - 0.0000 -
969.72/972.53 c 973 60230 585 1 - 0.0000 -
974.81/977.60 c 978 60589 616 1 - 0.0000 -
979.89/982.71 c 983 60969 607 1 - 0.0000 -
984.88/987.79 c 988 61277 602 1 - 0.0000 -
990.17/993.07 c 993 61548 601 1 - 0.0000 -
995.35/998.28 c 998 61821 584 1 - 0.0000 -
1000.54/1003.44 c 1003 62127 588 1 - 0.0000 -
1005.63/1008.52 c 1009 62408 581 1 - 0.0000 -
1011.02/1013.97 c 1014 62717 608 1 - 0.0000 -
1016.11/1019.04 c 1019 63032 592 1 - 0.0000 -
1021.70/1024.68 c 1025 63305 578 1 - 0.0000 -
1026.88/1029.80 c 1030 63639 585 1 - 0.0000 -
1031.87/1034.89 c 1035 63916 584 1 - 0.0000 -
1037.85/1040.81 c 1041 64219 583 1 - 0.0000 -
1042.94/1045.91 c 1046 64547 589 1 - 0.0000 -
1048.03/1051.07 c 1051 64910 594 1 - 0.0000 -
1053.12/1056.19 c 1056 65255 587 1 - 0.0000 -
1058.40/1061.43 c 1061 65571 585 1 - 0.0000 -
1063.49/1066.57 c 1067 65875 571 1 - 0.0000 -
1068.57/1071.67 c 1072 66326 576 1 - 0.0000 -
1073.66/1076.74 c 1077 66736 563 1 - 0.0000 -
1078.75/1081.83 c 1082 67071 567 1 - 0.0000 -
1083.84/1086.94 c 1087 67375 565 1 - 0.0000 -
1088.93/1092.05 c 1092 67707 570 1 - 0.0000 -
1094.02/1097.16 c 1097 68032 568 1 - 0.0000 -
1099.10/1102.23 c 1102 68478 577 1 - 0.0000 -
1104.18/1107.32 c 1107 69073 582 1 - 0.0000 -
1109.77/1112.93 c 1113 69396 562 1 - 0.0000 -
1114.87/1118.09 c 1118 69673 574 1 - 0.0000 -
1120.05/1123.20 c 1123 69981 566 1 - 0.0000 -
1125.14/1128.37 c 1128 70315 562 1 - 0.0000 -
1130.22/1133.45 c 1133 70596 587 1 - 0.0000 -
1135.41/1138.65 c 1139 70894 581 1 - 0.0000 -
1140.50/1143.74 c 1144 71216 579 1 - 0.0000 -
1145.58/1148.85 c 1149 71554 566 1 - 0.0000 -
1150.67/1153.97 c 1154 71855 557 1 - 0.0000 -
1155.86/1159.13 c 1159 72248 558 1 - 0.0000 -
1161.04/1164.34 c 1164 72529 562 1 - 0.0000 -
1166.13/1169.45 c 1169 72779 565 1 - 0.0000 -
1171.21/1174.51 c 1175 73094 589 1 - 0.0000 -
1176.30/1179.63 c 1180 73412 585 1 - 0.0000 -
1181.40/1184.71 c 1185 73746 586 1 - 0.0000 -
1186.48/1189.88 c 1190 74058 573 1 - 0.0000 -
1191.68/1195.02 c 1195 74270 563 1 - 0.0000 -
1196.76/1200.14 c 1200 74545 562 1 - 0.0000 -
1201.84/1205.28 c 1205 74818 559 1 - 0.0000 -
1207.03/1210.40 c 1210 75120 561 1 - 0.0000 -
1212.12/1215.50 c 1216 75388 559 1 - 0.0000 -
1217.10/1220.58 c 1221 75636 555 1 - 0.0000 -
1222.19/1225.69 c 1226 75979 566 1 - 0.0000 -
1227.38/1230.80 c 1231 76338 561 1 - 0.0000 -
1232.47/1235.95 c 1236 76588 595 1 - 0.0000 -
1237.66/1241.12 c 1241 76865 581 1 - 0.0000 -
1242.74/1246.20 c 1246 77187 575 1 - 0.0000 -
1247.83/1251.32 c 1251 77513 557 1 - 0.0000 -
1252.91/1256.40 c 1256 77740 558 1 - 0.0000 -
1258.00/1261.53 c 1262 78005 562 1 - 0.0000 -
1263.10/1266.61 c 1267 78302 560 1 - 0.0000 -
1268.18/1271.73 c 1272 78611 552 1 - 0.0000 -
1273.37/1276.90 c 1277 78878 563 1 - 0.0000 -
1278.36/1281.99 c 1282 79127 551 1 - 0.0000 -
1283.55/1287.11 c 1287 79420 551 1 - 0.0000 -
1288.62/1292.23 c 1292 79701 540 1 - 0.0000 -
1293.71/1297.31 c 1297 80002 550 1 - 0.0000 -
1298.79/1302.42 c 1302 80288 550 1 - 0.0000 -
1303.77/1307.49 c 1307 80652 541 1 - 0.0000 -
1308.86/1312.58 c 1313 80969 540 1 - 0.0000 -
1314.05/1317.75 c 1318 81178 561 1 - 0.0000 -
1319.14/1322.88 c 1323 81357 545 1 - 0.0000 -
1324.23/1327.98 c 1328 81573 538 1 - 0.0000 -
1329.42/1333.12 c 1333 81806 554 1 - 0.0000 -
1334.50/1338.20 c 1338 82089 565 1 - 0.0000 -
1339.59/1343.31 c 1343 82354 548 1 - 0.0000 -
1344.68/1348.45 c 1348 82589 529 1 - 0.0000 -
1349.76/1353.57 c 1354 82849 519 1 - 0.0000 -
1354.85/1358.69 c 1359 83157 594 1 - 0.0000 -
1360.04/1363.81 c 1364 83451 600 1 - 0.0000 -
1365.12/1368.91 c 1369 83751 588 1 - 0.0000 -
1370.32/1374.12 c 1374 84037 569 1 - 0.0000 -
1375.40/1379.27 c 1379 84291 544 1 - 0.0000 -
1380.48/1384.34 c 1384 84540 522 1 - 0.0000 -
1385.58/1389.43 c 1389 84994 517 1 - 0.0000 -
1390.56/1394.49 c 1394 85382 519 1 - 0.0000 -
1395.65/1399.58 c 1400 85741 521 1 - 0.0000 -
1400.74/1404.69 c 1405 86067 517 1 - 0.0000 -
1405.82/1409.79 c 1410 86383 518 1 - 0.0000 -
1410.91/1414.85 c 1415 86669 540 1 - 0.0000 -
1416.20/1420.16 c 1420 86940 546 1 - 0.0000 -
1421.38/1425.33 c 1425 87244 519 1 - 0.0000 -
1426.48/1430.40 c 1430 87541 523 1 - 0.0000 -
1431.66/1435.68 c 1436 87853 538 1 - 0.0000 -
1436.75/1440.76 c 1441 88133 540 1 - 0.0000 -
1441.83/1445.82 c 1446 88363 548 1 - 0.0000 -
1446.92/1450.93 c 1451 88687 519 1 - 0.0000 -
1452.01/1456.03 c 1456 89017 516 1 - 0.0000 -
1457.10/1461.10 c 1461 89326 499 1 - 0.0000 -
1462.18/1466.24 c 1466 89686 500 1 - 0.0000 -
1467.27/1471.36 c 1471 90051 541 1 - 0.0000 -
1472.46/1476.53 c 1477 90360 499 1 - 0.0000 -
1477.54/1481.69 c 1482 90689 485 1 - 0.0000 -
1482.63/1486.77 c 1487 90967 480 1 - 0.0000 -
1487.82/1491.94 c 1492 91326 487 1 - 0.0000 -
1492.81/1496.99 c 1497 91625 471 1 - 0.0000 -
1498.19/1502.38 c 1502 91930 473 1 - 0.0000 -
1503.38/1507.58 c 1508 92256 463 1 - 0.0000 -
1508.57/1512.71 c 1513 92507 483 1 - 0.0000 -
1513.65/1517.83 c 1518 92701 475 1 - 0.0000 -
1518.74/1522.99 c 1523 92957 465 1 - 0.0000 -
1523.93/1528.15 c 1528 93253 475 1 - 0.0000 -
1529.11/1533.30 c 1533 93516 467 1 - 0.0000 -
1534.20/1538.44 c 1538 93898 461 1 - 0.0000 -
1539.38/1543.62 c 1544 94205 436 1 - 0.0000 -
1544.47/1548.70 c 1549 94498 415 1 - 0.0000 -
1549.45/1553.79 c 1554 94751 399 1 - 0.0000 -
1554.54/1558.89 c 1559 95033 406 1 - 0.0000 -
1559.63/1563.99 c 1564 95325 393 1 - 0.0000 -
1564.82/1569.17 c 1569 95605 386 1 - 0.0000 -
1570.00/1574.32 c 1574 95877 395 1 - 0.0000 -
1575.18/1579.52 c 1580 96160 390 1 - 0.0000 -
1580.16/1584.59 c 1585 96397 379 1 - 0.0000 -
1585.35/1589.70 c 1590 96691 371 1 - 0.0000 -
1590.33/1594.78 c 1595 97080 369 1 - 0.0000 -
1595.51/1599.92 c 1600 97378 373 1 - 0.0000 -
1600.60/1605.08 c 1605 97698 362 1 - 0.0000 -
1605.69/1610.16 c 1610 98029 353 1 - 0.0000 -
1611.26/1615.73 c 1616 98230 376 1 - 0.0000 -
1616.36/1620.82 c 1621 98605 366 1 - 0.0000 -
1621.44/1625.92 c 1626 98983 370 1 - 0.0000 -
1626.53/1631.05 c 1631 99266 357 1 - 0.0000 -
1631.61/1636.16 c 1636 99505 380 1 - 0.0000 -
1636.79/1641.30 c 1641 99869 393 1 - 0.0000 -
1641.87/1646.44 c 1646 100121 397 1 - 0.0000 -
1646.95/1651.54 c 1652 100415 371 1 - 0.0000 -
1652.04/1656.61 c 1657 100652 365 1 - 0.0000 -
1657.12/1661.78 c 1662 100944 360 1 - 0.0000 -
1662.31/1666.95 c 1667 101191 365 1 - 0.0000 -
1667.39/1672.06 c 1672 101502 354 1 - 0.0000 -
1672.48/1677.12 c 1677 101772 356 1 - 0.0000 -
1677.57/1682.21 c 1682 102074 342 1 - 0.0000 -
1682.66/1687.33 c 1687 102324 340 1 - 0.0000 -
1687.74/1692.43 c 1692 102600 350 1 - 0.0000 -
1692.93/1697.64 c 1698 102812 351 1 - 0.0000 -
1698.02/1702.76 c 1703 103064 366 1 - 0.0000 -
1703.20/1707.91 c 1708 103308 359 1 - 0.0000 -
1708.29/1713.04 c 1713 103645 350 1 - 0.0000 -
1713.48/1718.20 c 1718 103905 348 1 - 0.0000 -
1718.56/1723.37 c 1723 104169 351 1 - 0.0000 -
1723.65/1728.46 c 1728 104515 347 1 - 0.0000 -
1728.73/1733.56 c 1734 104814 348 1 - 0.0000 -
1733.92/1738.72 c 1739 105082 351 1 - 0.0000 -
1739.11/1743.92 c 1744 105315 384 1 - 0.0000 -
1744.20/1749.09 c 1749 105548 369 1 - 0.0000 -
1749.29/1754.17 c 1754 105816 371 1 - 0.0000 -
1754.38/1759.25 c 1759 106147 392 1 - 0.0000 -
1759.46/1764.36 c 1764 106480 381 1 - 0.0000 -
1764.55/1769.48 c 1769 106824 373 1 - 0.0000 -
1769.73/1774.60 c 1775 107091 378 1 - 0.0000 -
1774.82/1779.74 c 1780 107376 381 1 - 0.0000 -
1779.91/1784.86 c 1785 107709 372 1 - 0.0000 -
1784.99/1789.98 c 1790 108008 367 1 - 0.0000 -
1790.88/1795.83 c 1796 108245 360 1 - 0.0000 -
1795.86/1800.90 c 1801 108535 412 1 - 0.0000 -
1801.05/1806.05 c 1806 108781 451 1 - 0.0000 -
1806.14/1811.18 c 1811 109050 445 1 - 0.0000 -
1811.33/1816.32 c 1816 109347 431 1 - 0.0000 -
1816.42/1821.44 c 1821 109619 469 1 - 0.0000 -
1821.50/1826.56 c 1827 109815 501 1 - 0.0000 -
1826.59/1831.68 c 1832 110061 471 1 - 0.0000 -
1831.77/1836.82 c 1837 110376 485 1 - 0.0000 -
1836.86/1841.90 c 1842 110657 477 1 - 0.0000 -
1841.95/1847.02 c 1847 110889 471 1 - 0.0000 -
1847.04/1852.16 c 1852 111177 444 1 - 0.0000 -
1852.12/1857.25 c 1857 111430 436 1 - 0.0000 -
1857.20/1862.33 c 1862 111689 412 1 - 0.0000 -
1862.29/1867.41 c 1867 111956 415 1 - 0.0000 -
1867.39/1872.51 c 1873 112290 429 1 - 0.0000 -
1872.48/1877.62 c 1878 112576 415 1 - 0.0000 -
1877.66/1882.84 c 1883 112864 413 1 - 0.0000 -
1882.75/1887.95 c 1888 113171 400 1 - 0.0000 -
1887.84/1893.05 c 1893 113402 379 1 - 0.0000 -
1892.93/1898.16 c 1898 113700 381 1 - 0.0000 -
1898.01/1903.26 c 1903 113977 383 1 - 0.0000 -
1903.09/1908.34 c 1908 114261 371 1 - 0.0000 -
1908.18/1913.47 c 1913 114557 378 1 - 0.0000 -
1913.27/1918.57 c 1919 114856 387 1 - 0.0000 -
1918.45/1923.72 c 1924 115068 382 1 - 0.0000 -
1923.54/1928.88 c 1929 115274 364 1 - 0.0000 -
1928.63/1933.95 c 1934 115522 361 1 - 0.0000 -
1933.72/1939.07 c 1939 115839 360 1 - 0.0000 -
1938.81/1944.15 c 1944 116174 357 1 - 0.0000 -
1943.90/1949.29 c 1949 116542 346 1 - 0.0000 -
1949.08/1954.45 c 1954 116775 349 1 - 0.0000 -
1954.77/1960.13 c 1960 116952 349 1 - 0.0000 -
1959.85/1965.21 c 1965 117151 360 1 - 0.0000 -
1964.94/1970.32 c 1970 117335 346 1 - 0.0000 -
1970.03/1975.43 c 1975 117590 346 1 - 0.0000 -
1975.11/1980.55 c 1981 117824 348 1 - 0.0000 -
1980.20/1985.64 c 1986 118057 350 1 - 0.0000 -
1985.29/1990.73 c 1991 118343 391 1 - 0.0000 -
1990.37/1995.82 c 1996 118680 432 1 - 0.0000 -
1995.46/2000.99 c 2001 118964 440 1 - 0.0000 -
2000.75/2006.24 c 2006 119275 500 1 - 0.0000 -
2005.94/2011.45 c 2011 119530 516 1 - 0.0000 -
2011.03/2016.55 c 2017 119813 516 1 - 0.0000 -
2016.12/2021.67 c 2022 120076 529 1 - 0.0000 -
2021.30/2026.87 c 2027 120362 553 1 - 0.0000 -
2026.39/2031.97 c 2032 120742 578 1 - 0.0000 -
2031.58/2037.11 c 2037 121065 557 1 - 0.0000 -
2036.66/2042.21 c 2042 121283 554 1 - 0.0000 -
2041.74/2047.34 c 2047 121563 558 1 - 0.0000 -
2046.83/2052.49 c 2052 121801 548 1 - 0.0000 -
2051.92/2057.57 c 2058 122008 555 1 - 0.0000 -
2057.01/2062.68 c 2063 122208 543 1 - 0.0000 -
2062.19/2067.82 c 2068 122475 534 1 - 0.0000 -
2067.28/2072.93 c 2073 122735 525 1 - 0.0000 -
2072.36/2078.08 c 2078 122985 519 1 - 0.0000 -
2077.66/2083.30 c 2083 123261 536 1 - 0.0000 -
2082.74/2088.42 c 2088 123510 525 1 - 0.0000 -
2087.93/2093.62 c 2094 123781 513 1 - 0.0000 -
2093.01/2098.78 c 2099 124008 510 1 - 0.0000 -
2098.20/2103.95 c 2104 124231 495 1 - 0.0000 -
2103.39/2109.16 c 2109 124490 495 1 - 0.0000 -
2108.47/2114.26 c 2114 124762 493 1 - 0.0000 -
2113.66/2119.41 c 2119 125072 495 1 - 0.0000 -
2118.75/2124.50 c 2124 125371 483 1 - 0.0000 -
2123.84/2129.61 c 2130 125634 470 1 - 0.0000 -
2129.02/2134.80 c 2135 125902 457 1 - 0.0000 -
2134.11/2139.91 c 2140 126192 460 1 - 0.0000 -
2139.20/2145.02 c 2145 126425 443 1 - 0.0000 -
2144.29/2150.19 c 2150 126650 440 1 - 0.0000 -
2149.47/2155.36 c 2155 126888 430 1 - 0.0000 -
2154.55/2160.46 c 2160 127119 426 1 - 0.0000 -
2159.64/2165.53 c 2166 127393 434 1 - 0.0000 -
2164.73/2170.61 c 2171 127608 430 1 - 0.0000 -
2169.91/2175.84 c 2176 127887 402 1 - 0.0000 -
2175.00/2180.94 c 2181 128111 404 1 - 0.0000 -
2180.09/2186.04 c 2186 128365 436 1 - 0.0000 -
2185.19/2191.19 c 2191 128618 414 1 - 0.0000 -
2190.37/2196.30 c 2196 128943 408 1 - 0.0000 -
2195.45/2201.43 c 2201 129270 410 1 - 0.0000 -
2200.54/2206.55 c 2207 129576 410 1 - 0.0000 -
2205.63/2211.68 c 2212 129928 409 1 - 0.0000 -
2210.71/2216.79 c 2217 130213 417 1 - 0.0000 -
2215.90/2221.91 c 2222 130487 414 1 - 0.0000 -
2220.99/2227.03 c 2227 130661 398 1 - 0.0000 -
2226.08/2232.12 c 2232 130918 400 1 - 0.0000 -
2231.06/2237.18 c 2237 131232 402 1 - 0.0000 -
2236.25/2242.34 c 2242 131544 419 1 - 0.0000 -
2241.33/2247.46 c 2247 131816 397 1 - 0.0000 -
2246.42/2252.57 c 2253 132055 413 1 - 0.0000 -
2251.51/2257.65 c 2258 132289 415 1 - 0.0000 -
2256.69/2262.81 c 2263 132500 390 1 - 0.0000 -
2261.79/2267.99 c 2268 132806 400 1 - 0.0000 -
2266.88/2273.09 c 2273 133052 395 1 - 0.0000 -
2272.06/2278.24 c 2278 133360 419 1 - 0.0000 -
2277.15/2283.32 c 2283 133592 403 1 - 0.0000 -
2282.24/2288.44 c 2288 133849 410 1 - 0.0000 -
2287.32/2293.58 c 2294 134103 404 1 - 0.0000 -
2292.41/2298.66 c 2299 134394 445 1 - 0.0000 -
2297.80/2304.07 c 2304 134643 442 1 - 0.0000 -
2302.98/2309.24 c 2309 134883 440 1 - 0.0000 -
2308.17/2314.40 c 2314 135149 432 1 - 0.0000 -
2313.25/2319.57 c 2320 135427 428 1 - 0.0000 -
2318.34/2324.68 c 2325 135692 435 1 - 0.0000 -
2323.64/2329.95 c 2330 135924 426 1 - 0.0000 -
2328.83/2335.14 c 2335 136202 423 1 - 0.0000 -
2333.91/2340.26 c 2340 136437 420 1 - 0.0000 -
2339.00/2345.37 c 2345 136745 407 1 - 0.0000 -
2344.18/2350.58 c 2351 136974 423 1 - 0.0000 -
2349.37/2355.73 c 2356 137172 410 1 - 0.0000 -
2354.45/2360.83 c 2361 137379 407 1 - 0.0000 -
2359.44/2365.90 c 2366 137709 411 1 - 0.0000 -
2364.63/2371.05 c 2371 138013 413 1 - 0.0000 -
2369.92/2376.37 c 2376 138166 400 1 - 0.0000 -
2375.10/2381.50 c 2382 138405 410 1 - 0.0000 -
2380.29/2386.75 c 2387 138613 400 1 - 0.0000 -
2385.58/2392.06 c 2392 138878 384 1 - 0.0000 -
2390.67/2397.17 c 2397 139146 378 1 - 0.0000 -
2395.85/2402.37 c 2402 139349 385 1 - 0.0000 -
2401.04/2407.53 c 2408 139576 386 1 - 0.0000 -
2406.22/2412.75 c 2413 139780 365 1 - 0.0000 -
2411.31/2417.88 c 2418 140016 364 1 - 0.0000 -
2416.51/2423.06 c 2423 140229 351 1 - 0.0000 -
2421.60/2428.15 c 2428 140531 352 1 - 0.0000 -
2426.88/2433.48 c 2433 141001 346 1 - 0.0000 -
2431.97/2438.59 c 2439 141268 351 1 - 0.0000 -
2437.05/2443.69 c 2444 141484 334 1 - 0.0000 -
2442.14/2448.76 c 2449 141739 330 1 - 0.0000 -
2447.23/2453.84 c 2454 142080 350 1 - 0.0000 -
2452.42/2459.07 c 2459 142435 329 1 - 0.0000 -
2457.50/2464.19 c 2464 142662 335 1 - 0.0000 -
2462.68/2469.36 c 2469 142870 343 1 - 0.0000 -
2467.87/2474.59 c 2475 143096 339 1 - 0.0000 -
2472.95/2479.66 c 2480 143352 330 1 - 0.0000 -
2478.04/2484.79 c 2485 143631 327 1 - 0.0000 -
2483.22/2489.93 c 2490 143904 322 1 - 0.0000 -
2488.32/2495.02 c 2495 144150 310 1 - 0.0000 -
2493.50/2500.21 c 2500 144404 311 1 - 0.0000 -
2498.58/2505.35 c 2505 144634 301 1 - 0.0000 -
2503.77/2510.52 c 2511 144819 298 1 - 0.0000 -
2508.95/2515.71 c 2516 145088 301 1 - 0.0000 -
2514.03/2520.84 c 2521 145298 302 1 - 0.0000 -
2519.12/2525.97 c 2526 145526 301 1 - 0.0000 -
2524.40/2531.20 c 2531 145709 304 1 - 0.0000 -
2529.49/2536.33 c 2536 145900 301 1 - 0.0000 -
2534.57/2541.50 c 2542 146140 310 1 - 0.0000 -
2539.76/2546.61 c 2547 146496 319 1 - 0.0000 -
2544.85/2551.70 c 2552 146863 314 1 - 0.0000 -
2549.93/2556.84 c 2557 147173 326 1 - 0.0000 -
2555.12/2562.02 c 2562 147405 320 1 - 0.0000 -
2560.12/2567.07 c 2567 147649 311 1 - 0.0000 -
2565.21/2572.15 c 2572 147998 315 1 - 0.0000 -
2570.29/2577.22 c 2577 148390 340 1 - 0.0000 -
2575.28/2582.28 c 2582 148761 322 1 - 0.0000 -
2580.46/2587.46 c 2587 149053 306 1 - 0.0000 -
2585.55/2592.55 c 2593 149367 312 1 - 0.0000 -
2590.63/2597.67 c 2598 149572 303 1 - 0.0000 -
2595.82/2602.81 c 2603 149899 297 1 - 0.0000 -
2600.91/2607.90 c 2608 150215 295 1 - 0.0000 -
2606.11/2613.13 c 2613 150481 299 1 - 0.0000 -
2611.19/2618.24 c 2618 150862 309 1 - 0.0000 -
2616.28/2623.37 c 2623 151204 301 1 - 0.0000 -
2621.37/2628.44 c 2628 151486 307 1 - 0.0000 -
2626.45/2633.53 c 2634 151929 314 1 - 0.0000 -
2631.44/2638.58 c 2639 152367 304 1 - 0.0000 -
2636.52/2643.67 c 2644 152853 312 1 - 0.0000 -
2641.61/2648.78 c 2649 153316 306 1 - 0.0000 -
2646.80/2653.90 c 2654 153670 313 1 - 0.0000 -
2651.78/2658.99 c 2659 153953 314 1 - 0.0000 -
2656.98/2664.15 c 2664 154222 303 1 - 0.0000 -
2662.06/2669.28 c 2669 154499 311 1 - 0.0000 -
2667.15/2674.38 c 2674 154699 319 1 - 0.0000 -
2672.43/2679.61 c 2680 154951 304 1 - 0.0000 -
2677.42/2684.67 c 2685 155217 302 1 - 0.0000 -
2682.51/2689.76 c 2690 155613 313 1 - 0.0000 -
2687.59/2694.89 c 2695 155894 295 1 - 0.0000 -
2692.98/2700.22 c 2700 156091 308 1 - 0.0000 -
2698.08/2705.34 c 2705 156271 324 1 - 0.0000 -
2703.16/2710.41 c 2710 156461 333 1 - 0.0000 -
2708.35/2715.60 c 2716 156654 330 1 - 0.0000 -
2713.54/2720.87 c 2721 156826 331 1 - 0.0000 -
2718.63/2725.95 c 2726 157026 323 1 - 0.0000 -
2723.72/2731.05 c 2731 157189 328 1 - 0.0000 -
2728.81/2736.16 c 2736 157358 325 1 - 0.0000 -
2733.89/2741.24 c 2741 157606 320 1 - 0.0000 -
2739.08/2746.44 c 2746 157877 328 1 - 0.0000 -
2744.16/2751.54 c 2752 158119 317 1 - 0.0000 -
2749.25/2756.65 c 2757 158391 307 1 - 0.0000 -
2754.33/2761.76 c 2762 158674 312 1 - 0.0000 -
2759.42/2766.85 c 2767 158983 321 1 - 0.0000 -
2765.01/2772.45 c 2772 159216 325 1 - 0.0000 -
2770.10/2777.59 c 2778 159434 356 1 - 0.0000 -
2775.18/2782.69 c 2783 159684 349 1 - 0.0000 -
2780.37/2787.81 c 2788 159949 359 1 - 0.0000 -
2785.46/2792.98 c 2793 160164 346 1 - 0.0000 -
2790.65/2798.10 c 2798 160379 341 1 - 0.0000 -
2795.74/2803.23 c 2803 160605 336 1 - 0.0000 -
2800.93/2808.40 c 2808 160807 336 1 - 0.0000 -
2806.11/2813.67 c 2814 161048 328 1 - 0.0000 -
2811.20/2818.75 c 2819 161262 345 1 - 0.0000 -
2816.49/2824.06 c 2824 161454 349 1 - 0.0000 -
2821.58/2829.13 c 2829 161646 361 1 - 0.0000 -
2826.76/2834.35 c 2834 161849 351 1 - 0.0000 -
2831.85/2839.46 c 2839 162122 373 1 - 0.0000 -
2837.04/2844.62 c 2845 162380 366 1 - 0.0000 -
2842.12/2849.72 c 2850 162661 366 1 - 0.0000 -
2847.21/2854.89 c 2855 162935 364 1 - 0.0000 -
2852.29/2859.99 c 2860 163200 370 1 - 0.0000 -
2857.39/2865.07 c 2865 163463 365 1 - 0.0000 -
2862.47/2870.19 c 2870 163707 357 1 - 0.0000 -
2867.66/2875.31 c 2875 163985 360 1 - 0.0000 -
2872.74/2880.41 c 2880 164280 366 1 - 0.0000 -
2877.73/2885.49 c 2885 164530 346 1 - 0.0000 -
2882.92/2890.62 c 2891 164802 340 1 - 0.0000 -
2888.11/2895.85 c 2896 164991 335 1 - 0.0000 -
2893.40/2901.12 c 2901 165137 332 1 - 0.0000 -
2898.49/2906.27 c 2906 165344 339 1 - 0.0000 -
2903.57/2911.37 c 2911 165549 340 1 - 0.0000 -
2908.76/2916.51 c 2917 165719 350 1 - 0.0000 -
2914.05/2921.88 c 2922 165875 345 1 - 0.0000 -
2919.24/2927.05 c 2927 166039 343 1 - 0.0000 -
2924.52/2932.30 c 2932 166228 338 1 - 0.0000 -
2929.61/2937.42 c 2937 166465 359 1 - 0.0000 -
2934.70/2942.55 c 2943 166646 343 1 - 0.0000 -
2939.78/2947.68 c 2948 166823 348 1 - 0.0000 -
2945.17/2953.01 c 2953 166979 344 1 - 0.0000 -
2950.35/2958.20 c 2958 167134 349 1 - 0.0000 -
2955.43/2963.37 c 2963 167419 322 1 - 0.0000 -
2960.52/2968.47 c 2968 167680 323 1 - 0.0000 -
2965.80/2973.73 c 2974 167902 333 1 - 0.0000 -
2970.88/2978.84 c 2979 168119 339 1 - 0.0000 -
2975.97/2983.93 c 2984 168369 345 1 - 0.0000 -
2981.06/2989.05 c 2989 168637 335 1 - 0.0000 -
2986.14/2994.14 c 2994 168880 359 1 - 0.0000 -
2991.32/2999.30 c 2999 169092 343 1 - 0.0000 -
2996.31/3004.37 c 3004 169334 346 1 - 0.0000 -
3001.39/3009.47 c 3009 169541 341 1 - 0.0000 -
3006.58/3014.64 c 3015 169849 337 1 - 0.0000 -
3011.76/3019.82 c 3020 170090 329 1 - 0.0000 -
3016.84/3024.90 c 3025 170290 325 1 - 0.0000 -
3021.83/3029.99 c 3030 170530 309 1 - 0.0000 -
3026.92/3035.08 c 3035 170746 306 1 - 0.0000 -
3032.20/3040.35 c 3040 170944 314 1 - 0.0000 -
3037.28/3045.49 c 3045 171133 306 1 - 0.0000 -
3042.46/3050.60 c 3051 171317 302 1 - 0.0000 -
3047.65/3055.86 c 3056 171476 307 1 - 0.0000 -
3052.73/3060.97 c 3061 171677 302 1 - 0.0000 -
3057.92/3066.13 c 3066 171932 314 1 - 0.0000 -
3063.01/3071.29 c 3071 172179 319 1 - 0.0000 -
3068.19/3076.42 c 3076 172398 318 1 - 0.0000 -
3073.28/3081.53 c 3082 172625 321 1 - 0.0000 -
3078.46/3086.75 c 3087 172905 313 1 - 0.0000 -
3083.54/3091.88 c 3092 173108 302 1 - 0.0000 -
3088.73/3097.00 c 3097 173318 315 1 - 0.0000 -
3093.82/3102.18 c 3102 173522 310 1 - 0.0000 -
3099.00/3107.38 c 3107 173728 296 1 - 0.0000 -
3104.18/3112.54 c 3113 173936 303 1 - 0.0000 -
3109.36/3117.78 c 3118 174108 306 1 - 0.0000 -
3114.55/3122.99 c 3123 174335 335 1 - 0.0000 -
3119.83/3128.20 c 3128 174519 318 1 - 0.0000 -
3125.01/3133.43 c 3133 174741 318 1 - 0.0000 -
3130.60/3139.10 c 3139 174911 309 1 - 0.0000 -
3135.88/3144.34 c 3144 175141 319 1 - 0.0000 -
3140.96/3149.43 c 3149 175365 311 1 - 0.0000 -
3146.05/3154.57 c 3155 175559 301 1 - 0.0000 -
3151.13/3159.69 c 3160 175772 304 1 - 0.0000 -
3156.41/3164.92 c 3165 175930 307 1 - 0.0000 -
3161.50/3170.01 c 3170 176079 304 1 - 0.0000 -
3166.59/3175.17 c 3175 176305 302 1 - 0.0000 -
3171.68/3180.26 c 3180 176548 301 1 - 0.0000 -
3176.86/3185.43 c 3185 176824 295 1 - 0.0000 -
3182.04/3190.60 c 3191 177066 291 1 - 0.0000 -
3187.13/3195.73 c 3196 177311 294 1 - 0.0000 -
3192.21/3200.84 c 3201 177569 295 1 - 0.0000 -
3197.30/3205.96 c 3206 177838 299 1 - 0.0000 -
3202.38/3211.06 c 3211 178074 281 1 - 0.0000 -
3207.76/3216.42 c 3216 178374 279 1 - 0.0000 -
3212.85/3221.52 c 3222 178650 284 1 - 0.0000 -
3217.94/3226.69 c 3227 178943 293 1 - 0.0000 -
3223.22/3231.94 c 3232 179192 275 1 - 0.0000 -
3228.42/3237.14 c 3237 179406 279 1 - 0.0000 -
3233.60/3242.38 c 3242 179618 269 1 - 0.0000 -
3238.78/3247.54 c 3248 179768 270 1 - 0.0000 -
3243.87/3252.65 c 3253 180077 277 1 - 0.0000 -
3248.95/3257.77 c 3258 180319 281 1 - 0.0000 -
3254.14/3262.92 c 3263 180557 288 1 - 0.0000 -
3259.23/3268.03 c 3268 180793 278 1 - 0.0000 -
3264.33/3273.16 c 3273 181006 268 1 - 0.0000 -
3269.41/3278.24 c 3278 181307 288 1 - 0.0000 -
3274.49/3283.34 c 3283 181561 297 1 - 0.0000 -
3279.58/3288.49 c 3288 181810 275 1 - 0.0000 -
3284.77/3293.60 c 3294 181975 270 1 - 0.0000 -
3289.85/3298.73 c 3299 182189 264 1 - 0.0000 -
3294.94/3303.82 c 3304 182451 263 1 - 0.0000 -
3300.03/3308.91 c 3309 182743 264 1 - 0.0000 -
3305.01/3313.99 c 3314 183054 264 1 - 0.0000 -
3310.10/3319.09 c 3319 183302 252 1 - 0.0000 -
3315.29/3324.20 c 3324 183511 260 1 - 0.0000 -
3320.37/3329.32 c 3329 183729 254 1 - 0.0000 -
3325.46/3334.47 c 3334 183950 259 1 - 0.0000 -
3330.54/3339.59 c 3340 184219 267 1 - 0.0000 -
3335.83/3344.84 c 3345 184412 262 1 - 0.0000 -
3341.02/3350.00 c 3350 184609 259 1 - 0.0000 -
3346.12/3355.15 c 3355 184786 256 1 - 0.0000 -
3351.30/3360.37 c 3360 184992 269 1 - 0.0000 -
3356.39/3365.48 c 3365 185214 275 1 - 0.0000 -
3361.67/3370.75 c 3371 185407 272 1 - 0.0000 -
3366.85/3375.95 c 3376 185589 277 1 - 0.0000 -
3371.94/3381.05 c 3381 185750 262 1 - 0.0000 -
3377.02/3386.19 c 3386 186001 265 1 - 0.0000 -
3382.20/3391.39 c 3391 186192 264 1 - 0.0000 -
3387.39/3396.55 c 3397 186415 268 1 - 0.0000 -
3392.48/3401.64 c 3402 186620 255 1 - 0.0000 -
3397.66/3406.80 c 3407 186823 252 1 - 0.0000 -
3402.65/3411.88 c 3412 187004 262 1 - 0.0000 -
3407.94/3417.10 c 3417 187179 266 1 - 0.0000 -
3413.12/3422.34 c 3422 187363 258 1 - 0.0000 -
3418.20/3427.45 c 3427 187523 259 1 - 0.0000 -
3423.38/3432.66 c 3433 187717 269 1 - 0.0000 -
3428.57/3437.82 c 3438 187941 251 1 - 0.0000 -
3433.65/3442.91 c 3443 188153 248 1 - 0.0000 -
3438.84/3448.15 c 3448 188341 246 1 - 0.0000 -
3443.92/3453.29 c 3453 188516 259 1 - 0.0000 -
3449.20/3458.55 c 3459 188771 278 1 - 0.0000 -
3454.28/3463.65 c 3464 188988 292 1 - 0.0000 -
3459.57/3468.97 c 3469 189159 315 1 - 0.0000 -
3464.76/3474.14 c 3474 189359 333 1 - 0.0000 -
3469.84/3479.26 c 3479 189547 320 1 - 0.0000 -
3475.02/3484.46 c 3484 189716 328 1 - 0.0000 -
3480.20/3489.67 c 3490 189891 321 1 - 0.0000 -
3485.49/3494.90 c 3495 190116 324 1 - 0.0000 -
3490.58/3500.00 c 3500 190301 317 1 - 0.0000 -
3495.67/3505.18 c 3505 190472 309 1 - 0.0000 -
3500.85/3510.39 c 3510 190632 306 1 - 0.0000 -
3506.04/3515.52 c 3516 190810 304 1 - 0.0000 -
3511.32/3520.84 c 3521 191011 294 1 - 0.0000 -
3516.41/3525.98 c 3526 191171 287 1 - 0.0000 -
3521.60/3531.18 c 3531 191362 283 1 - 0.0000 -
3526.98/3536.55 c 3537 191523 278 1 - 0.0000 -
3532.17/3541.75 c 3542 191670 270 1 - 0.0000 -
3537.36/3546.94 c 3547 191833 278 1 - 0.0000 -
3542.55/3552.11 c 3552 192011 287 1 - 0.0000 -
3547.64/3557.25 c 3557 192179 285 1 - 0.0000 -
3552.73/3562.32 c 3562 192303 273 1 - 0.0000 -
3557.81/3567.47 c 3567 192452 253 1 - 0.0000 -
3563.30/3572.92 c 3573 192628 260 1 - 0.0000 -
3568.69/3578.30 c 3578 192756 246 1 - 0.0000 -
3573.88/3583.50 c 3584 192953 262 1 - 0.0000 -
3578.97/3588.63 c 3589 193152 287 1 - 0.0000 -
3584.55/3594.25 c 3594 193350 273 1 - 0.0000 -
3589.64/3599.35 c 3599 193758 296 1 - 0.0000 -
3590.34/3600.02 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.34/3600.02 c Total Time : 3600.0200
3590.34/3600.02 c solving : 3600.0200
3590.34/3600.02 c presolving : 1.1117 (included in solving)
3590.34/3600.02 c B&B Tree :
3590.34/3600.02 c nodes (total) : 1
3590.34/3600.02 c Solution :
3590.34/3600.02 c Solutions found : 0
3590.34/3600.02 c Primal Bound : -
3590.34/3600.02 c Dual Bound : +0.00000000000000e+00
3590.34/3600.02 c Gap : -
3590.34/3600.03 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 (61187 MiB free)
memory of node 1: 64473 MiB (61733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452460-1721430266/watcher-4452460-1721430266 -o /tmp/evaluation-result-4452460-1721430266/solver-4452460-1721430266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028663 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452460-1721430266.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1034059, runsolver pid=1034056
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.11 4.12 4.09 5/262 1034060
/proc/meminfo: memFree=125849864/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=41044 memory=30444 CPUtime=0.09 cores=5,7
/proc/1034059/stat : 1034059 (fscip) R 1034056 1034059 1028650 0 -1 4194304 5903 0 0 0 9 0 0 0 20 0 1 0 195191591 42029056 7611 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 10261 7611 2686 3032 0 6661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41044 KiB
Current children cumulated memory: 30444 KiB
[startup+0.205684 s]*
/proc/loadavg: 4.11 4.12 4.09 5/262 1034060
/proc/meminfo: memFree=125847680/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=43280 memory=32732 CPUtime=0.19 cores=5,7
/proc/1034059/stat : 1034059 (fscip) R 1034056 1034059 1028650 0 -1 4194304 6425 0 0 0 19 0 0 0 20 0 1 0 195191591 44318720 8183 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 10820 8183 2734 3032 0 7220 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43280 KiB
Current children cumulated memory: 32732 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.11 4.12 4.09 5/262 1034060
/proc/meminfo: memFree=125847204/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=43536 memory=32996 CPUtime=0.29 cores=5,7
/proc/1034059/stat : 1034059 (fscip) R 1034056 1034059 1028650 0 -1 4194304 6491 0 0 0 29 0 0 0 20 0 1 0 195191591 44580864 8249 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 10884 8249 2734 3032 0 7284 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43536 KiB
Current children cumulated memory: 32996 KiB
[startup+0.700176 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1034060
/proc/meminfo: memFree=125847064/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=44180 memory=33896 CPUtime=0.68 cores=5,7
/proc/1034059/stat : 1034059 (fscip) R 1034056 1034059 1028650 0 -1 4194304 7217 0 0 0 68 0 0 0 20 0 1 0 195191591 45240320 8474 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 11045 8474 2734 3032 0 7445 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 33896 KiB
[startup+1.50052 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1034060
/proc/meminfo: memFree=125846104/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=140148 memory=60196 CPUtime=1.49 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 14576 0 0 0 148 1 0 0 20 0 3 0 195191591 143511552 15049 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 35037 15049 2782 3032 0 18978 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140148 KiB
Current children cumulated memory: 60196 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 1034062
/proc/meminfo: memFree=125803136/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=146660 memory=79144 CPUtime=3.08 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 21690 0 0 0 306 2 0 0 20 0 3 0 195191591 150179840 19786 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 36665 19786 2942 3032 0 24173 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=146660 memory=198340509722 CPUtime=1.94 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 11473 0 0 0 194 0 0 0 20 0 3 0 195191704 150179840 19786 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=146660 memory=0 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 195191705 150179840 19786 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146660 KiB
Current children cumulated memory: 79144 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 1034062
/proc/meminfo: memFree=125732780/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=146660 memory=92996 CPUtime=6.25 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 28600 0 0 0 623 2 0 0 20 0 3 0 195191591 150179840 23249 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 36665 23249 2942 3032 0 27859 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=146660 memory=0 CPUtime=5.12 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 18379 0 0 0 511 1 0 0 20 0 3 0 195191704 150179840 23249 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=146660 memory=15996 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 195191705 150179840 23249 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 146660 KiB
Current children cumulated memory: 92996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 1034063
/proc/meminfo: memFree=125667880/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=146660 memory=102928 CPUtime=12.64 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 43441 0 0 0 1260 4 0 0 20 0 3 0 195191591 150179840 25732 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 36665 25732 2942 3032 0 30015 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=146660 memory=101536 CPUtime=11.5 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 33157 0 0 0 1148 2 0 0 20 0 3 0 195191704 150179840 25732 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=146660 memory=92996 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 195191705 150179840 25732 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 146660 KiB
Current children cumulated memory: 102928 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 1034065
/proc/meminfo: memFree=125619196/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=146660 memory=112772 CPUtime=25.41 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 70708 0 0 0 2534 7 0 0 20 0 3 0 195191591 150179840 28193 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 36665 28193 2990 3032 0 32480 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=146660 memory=11648 CPUtime=24.27 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 60339 0 0 0 2422 5 0 0 20 0 3 0 195191704 150179840 28193 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=146660 memory=0 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 195191705 150179840 28193 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 146660 KiB
Current children cumulated memory: 112772 KiB
[startup+51.1049 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1034069
/proc/meminfo: memFree=125599348/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=212196 memory=124448 CPUtime=50.93 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 105346 0 0 0 5084 9 0 0 20 0 3 0 195191591 217288704 31112 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 53049 31112 2990 3032 0 35408 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=212196 memory=114872 CPUtime=49.79 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 94869 0 0 0 4971 8 0 0 20 0 3 0 195191704 217288704 31112 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=212196 memory=5432 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 195191705 217288704 31112 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 212196 KiB
Current children cumulated memory: 124448 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 1034079
/proc/meminfo: memFree=125506548/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=212196 memory=159800 CPUtime=101.96 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 176096 0 0 0 10181 15 0 0 20 0 3 0 195191591 217288704 39950 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 53049 39950 3006 3032 0 44678 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=212196 memory=11648 CPUtime=100.81 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 165492 0 0 0 10068 13 0 0 20 0 3 0 195191704 217288704 39950 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=212196 memory=46416 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 195191705 217288704 39950 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 212196 KiB
Current children cumulated memory: 159800 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/263 1034089
/proc/meminfo: memFree=125480656/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=278692 memory=183096 CPUtime=161.77 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 213699 0 0 0 16158 19 0 0 20 0 3 0 195191591 285380608 45774 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 69673 45774 3006 3032 0 50692 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=278692 memory=183096 CPUtime=160.62 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 203024 0 0 0 16045 17 0 0 20 0 3 0 195191704 285380608 45774 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=278692 memory=183096 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 195191705 285380608 45774 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 278692 KiB
Current children cumulated memory: 183096 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/261 1034146
/proc/meminfo: memFree=125930792/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=278692 memory=184556 CPUtime=221.58 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 239302 0 0 0 22137 21 0 0 20 0 3 0 195191591 285380608 46139 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 69673 46139 3326 3032 0 50692 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=278692 memory=184376 CPUtime=220.42 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 228559 0 0 0 22023 19 0 0 20 0 3 0 195191704 285380608 46139 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=278692 memory=11648 CPUtime=0 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 195191705 285380608 46139 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 278692 KiB
Current children cumulated memory: 184556 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 1034203
/proc/meminfo: memFree=125363288/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=281052 memory=186988 CPUtime=281.4 cores=5,7
################
# More data... #
################
/proc/1034059/statm: 70691 50285 3326 3032 0 53991 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=282764 memory=11648 CPUtime=3391.83 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 411382 0 0 0 339116 67 0 0 20 0 3 0 195191704 289550336 50285 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=282764 memory=201140 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 195191705 289550336 50285 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 282764 KiB
Current children cumulated memory: 201140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/266 1036008
/proc/meminfo: memFree=124490556/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=282764 memory=201140 CPUtime=3452.99 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 424858 0 0 0 345225 74 0 0 20 0 3 0 195191591 289550336 50285 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70691 50285 3326 3032 0 53991 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=282764 memory=11648 CPUtime=3451.65 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 413324 0 0 0 345097 68 0 0 20 0 3 0 195191704 289550336 50285 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=282764 memory=201140 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 173 0 0 0 1 1 0 0 20 0 3 0 195191705 289550336 50285 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 282764 KiB
Current children cumulated memory: 201140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.18 6/266 1036020
/proc/meminfo: memFree=124487480/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=282764 memory=201220 CPUtime=3512.82 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 426493 0 0 0 351207 75 0 0 20 0 3 0 195191591 289550336 50305 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70691 50305 3326 3032 0 53991 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=282764 memory=46416 CPUtime=3511.47 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 414949 0 0 0 351079 68 0 0 20 0 3 0 195191704 289550336 50305 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=282764 memory=201220 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 195191705 289550336 50305 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 282764 KiB
Current children cumulated memory: 201220 KiB
[startup+3582.3 s]
/proc/loadavg: 3.60 4.05 4.12 4/256 1036061
/proc/meminfo: memFree=125002476/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3572.68 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428465 0 0 0 357193 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=201220 CPUtime=3571.33 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416912 0 0 0 357065 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=202236 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3600.04 s]
# the end of solver process 1034059 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.63 s, system=0.762902 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.60 4.05 4.12 4/256 1036061
/proc/meminfo: memFree=125002476/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3574.38 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428465 0 0 0 357363 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=-7240236539081626471 CPUtime=3573.03 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416912 0 0 0 357235 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=-6933350163988321990 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3590.4 s]
/proc/loadavg: 3.55 4.03 4.12 4/256 1036062
/proc/meminfo: memFree=124998372/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3580.76 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428474 0 0 0 358001 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=202236 CPUtime=3579.41 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416921 0 0 0 357873 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=11648 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3596.8 s]
/proc/loadavg: 3.54 4.02 4.11 4/256 1036063
/proc/meminfo: memFree=124998280/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3587.15 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428479 0 0 0 358640 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=11648 CPUtime=3585.79 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416926 0 0 0 358511 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=202236 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3598.4 s]
/proc/loadavg: 3.54 4.02 4.11 4/256 1036065
/proc/meminfo: memFree=124997500/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3588.74 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428479 0 0 0 358799 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=46416 CPUtime=3587.39 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416926 0 0 0 358671 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=12952 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3599.2 s]
/proc/loadavg: 3.54 4.02 4.11 4/256 1036065
/proc/meminfo: memFree=124997500/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3589.54 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428479 0 0 0 358879 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=5480 CPUtime=3588.19 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416926 0 0 0 358751 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=5432 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3589.54 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3599.6 s]
/proc/loadavg: 3.54 4.02 4.11 4/256 1036065
/proc/meminfo: memFree=124997500/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3589.94 cores=5,7
/proc/1034059/stat : 1034059 (fscip) S 1034056 1034059 1028650 0 -1 1077936128 428479 0 0 0 358919 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=1816 CPUtime=3588.59 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416926 0 0 0 358791 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=32224 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3589.94 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
[startup+3600 s]*
/proc/loadavg: 3.54 4.02 4.11 4/256 1036065
/proc/meminfo: memFree=124997492/131524600 swapFree=131070704/131071996
[pid=1034059] ppid=1034056 vsize=283944 memory=202236 CPUtime=3590.34 cores=5,7
/proc/1034059/stat : 1034059 (fscip) R 1034056 1034059 1028650 0 -1 1077936128 428481 0 0 0 358959 75 0 0 20 0 3 0 195191591 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
/proc/1034059/statm: 70986 50559 3326 3032 0 54286 0
[pid=1034059/tid=1034061] ppid=1034056 vsize=283944 memory=-7240236539081626471 CPUtime=3588.99 cores=5,7
/proc/1034059/task/1034061/stat : 1034061 (fscip) R 1034056 1034059 1028650 0 -1 4194368 416928 0 0 0 358831 68 0 0 20 0 3 0 195191704 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
[pid=1034059/tid=1034062] ppid=1034056 vsize=283944 memory=-6933350163988321990 CPUtime=0.02 cores=5,7
/proc/1034059/task/1034062/stat : 1034062 (fscip) S 1034056 1034059 1028650 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 195191705 290758656 50559 134679101440 4194304 16613245 140728368348000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45813760 140728368354323 140728368354439 140728368354439 140728368361456 0
Current children cumulated CPU time: 3590.34 s
Current children cumulated vsize: 283944 KiB
Current children cumulated memory: 202236 KiB
Child status: 0
Real time (s): 3600.04
CPU time (s): 3590.39
CPU user time (s): 3589.63
CPU system time (s): 0.762902
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 283944
Max. memory (cumulated for all children) (KiB): 203032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.63
system time used= 0.762902
maximum resident set size= 203032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429234
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= 10612
involuntary context switches= 1219
# summary of solver processes directly reported to runsolver:
# pid: 1034059
# total CPU time (s): 3590.39
# total CPU user time (s): 3589.63
# total CPU system time (s): 0.762902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68688 second user time and 13.4179 second system time
The end
Begin job on nodeC023 at 2024-07-20 01:04:39
IDJOB=4452460
IDBENCH=164378
IDSOLVER=3064
FILE ID=nodeC023/4452460-1721430266
RUNJOBID= nodeC023-1721423005-1028663
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-mine-90-10.0.u.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-4452460-1721430266/watcher-4452460-1721430266 -o /tmp/evaluation-result-4452460-1721430266/solver-4452460-1721430266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028663 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452460-1721430266.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 655e29d3d11acc2b2e2d8217bccdc3c7
RANDOM SEED=830171328
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 : 3600.030
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 : 3673.160
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.48
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 : 3664.971
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 : 3600.192
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.48
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 : 3665.009
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 : 3667.244
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.48
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 : 3599.902
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 : 3675.982
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125870268 kB
MemAvailable: 128064528 kB
Buffers: 567000 kB
Cached: 2463556 kB
SwapCached: 80 kB
Active: 1200280 kB
Inactive: 3882336 kB
Active(anon): 1580 kB
Inactive(anon): 2096252 kB
Active(file): 1198700 kB
Inactive(file): 1786084 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 28420 kB
Writeback: 0 kB
AnonPages: 2052084 kB
Mapped: 141316 kB
Shmem: 45728 kB
KReclaimable: 98596 kB
Slab: 192424 kB
SReclaimable: 98596 kB
SUnreclaim: 93828 kB
KernelStack: 4176 kB
PageTables: 13540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1881452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 729088 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC023 at 2024-07-20 02:04:39