0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.14 c Default LC presolving (default).
0.09/0.14 c ** Before presolving: virtualMemUsedAtLc = 113597034, getVmSize() = 94359552, SCIPgetMemUsed() = 50571986, SCIPgetMemTotal() = 69695674, SCIPgetMemExternEstim() = 43901360
0.09/0.14 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
1.18/1.28 c ** Estimated virtualMemUsedAtSolver = 228262218, getVmSize() = 328011776, SCIPgetMemUsed() = 142962896, SCIPgetMemTotal() = 298491968, SCIPgetMemExternEstim() = 43901360
1.18/1.28 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.18/1.28 c Original Problem :
1.18/1.28 c Problem name : instance-4464333-1722378742
1.18/1.28 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.28 c Constraints : 43010
1.18/1.28 c Objective sense : minimize
1.18/1.28 c Presolved Problem :
1.18/1.28 c Variables : 1003 (1003 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.28 c Constraints : 41662
1.18/1.28 c Constraints : Number
1.18/1.28 c setppc : 168
1.18/1.28 c orbitope : 5
1.18/1.28 c logicor : 41489
1.18/1.28 c ** Instance transfer method used: 0
1.28/1.33 c ** ParaScipInstance copy increased the number of variables. **
1.28/1.39 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.28/1.39 c Nodes Active
1.28/1.39 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
17.74/17.81 c 18 2 1 1 - 0.0000 -
23.92/24.00 c 24 9 8 1 - 0.0000 -
43.57/43.80 c 44 17 16 1 - 0.0000 -
49.65/49.80 c 50 28 27 1 - 0.0000 -
55.03/55.26 c 55 37 36 1 - 0.0000 -
60.52/60.75 c 61 54 53 1 - 0.0000 -
66.50/66.73 c 67 89 88 1 - 0.0000 -
72.39/72.66 c 73 113 112 1 - 0.0000 -
77.47/77.78 c 78 163 162 1 - 0.0000 -
90.94/91.30 c 91 188 187 1 - 0.0000 -
98.31/98.65 c 99 300 263 1 - 0.0000 -
103.40/103.75 c 104 490 317 1 - 0.0000 -
108.49/108.84 c 109 709 336 1 - 0.0000 -
113.57/113.97 c 114 962 360 1 - 0.0000 -
118.75/119.10 c 119 1217 369 1 - 0.0000 -
123.74/124.19 c 124 1528 367 1 - 0.0000 -
128.91/129.31 c 129 1793 355 1 - 0.0000 -
134.01/134.43 c 134 2047 356 1 - 0.0000 -
138.99/139.48 c 139 2313 348 1 - 0.0000 -
144.07/144.58 c 145 2566 347 1 - 0.0000 -
149.25/149.72 c 150 2846 362 1 - 0.0000 -
154.34/154.87 c 155 3106 359 1 - 0.0000 -
159.42/159.98 c 160 3391 354 1 - 0.0000 -
164.61/165.16 c 165 3668 354 1 - 0.0000 -
169.79/170.31 c 170 3922 344 1 - 0.0000 -
174.88/175.44 c 175 4177 358 1 - 0.0000 -
180.06/180.65 c 181 4342 419 1 - 0.0000 -
185.24/185.83 c 186 4568 433 1 - 0.0000 -
190.32/190.93 c 191 4780 451 1 - 0.0000 -
195.42/196.08 c 196 5034 468 1 - 0.0000 -
200.60/201.25 c 201 5271 463 1 - 0.0000 -
205.68/206.35 c 206 5514 455 1 - 0.0000 -
210.77/211.49 c 212 5771 443 1 - 0.0000 -
217.75/218.47 c 218 5982 430 1 - 0.0000 -
222.83/223.57 c 224 6231 423 1 - 0.0000 -
227.92/228.68 c 229 6515 400 1 - 0.0000 -
233.31/234.08 c 234 6746 392 1 - 0.0000 -
238.39/239.15 c 239 6958 387 1 - 0.0000 -
243.57/244.33 c 244 7220 377 1 - 0.0000 -
248.66/249.45 c 249 7525 362 1 - 0.0000 -
253.74/254.58 c 255 7767 350 1 - 0.0000 -
258.83/259.66 c 260 8006 342 1 - 0.0000 -
264.01/264.81 c 265 8255 344 1 - 0.0000 -
269.10/269.92 c 270 8518 336 1 - 0.0000 -
274.19/275.07 c 275 8794 344 1 - 0.0000 -
279.37/280.20 c 280 9090 350 1 - 0.0000 -
284.55/285.40 c 285 9409 350 1 - 0.0000 -
289.64/290.54 c 291 9700 363 1 - 0.0000 -
294.72/295.63 c 296 9978 371 1 - 0.0000 -
299.71/300.69 c 301 10256 363 1 - 0.0000 -
304.80/305.76 c 306 10603 366 1 - 0.0000 -
309.88/310.85 c 311 10957 364 1 - 0.0000 -
314.97/315.95 c 316 11265 381 1 - 0.0000 -
320.05/321.10 c 321 11609 368 1 - 0.0000 -
325.33/326.31 c 326 11909 364 1 - 0.0000 -
330.42/331.41 c 331 12178 371 1 - 0.0000 -
335.40/336.49 c 336 12458 359 1 - 0.0000 -
340.59/341.64 c 342 12790 374 1 - 0.0000 -
345.67/346.78 c 347 13056 381 1 - 0.0000 -
350.86/351.90 c 352 13335 367 1 - 0.0000 -
355.95/357.03 c 357 13621 373 1 - 0.0000 -
361.03/362.11 c 362 13866 362 1 - 0.0000 -
366.11/367.24 c 367 14124 367 1 - 0.0000 -
371.30/372.40 c 372 14394 352 1 - 0.0000 -
376.28/377.48 c 377 14698 362 1 - 0.0000 -
381.46/382.60 c 383 15004 354 1 - 0.0000 -
390.24/391.46 c 391 15007 355 1 - 0.0000 -
395.43/396.67 c 397 15322 344 1 - 0.0000 -
400.51/401.79 c 402 15659 337 1 - 0.0000 -
405.70/406.91 c 407 16009 335 1 - 0.0000 -
410.68/411.97 c 412 16356 328 1 - 0.0000 -
415.87/417.12 c 417 16552 387 1 - 0.0000 -
420.95/422.22 c 422 16786 427 1 - 0.0000 -
426.03/427.39 c 427 17025 452 1 - 0.0000 -
431.22/432.56 c 433 17246 489 1 - 0.0000 -
436.31/437.69 c 438 17459 519 1 - 0.0000 -
441.39/442.77 c 443 17726 519 1 - 0.0000 -
446.57/447.92 c 448 17929 562 1 - 0.0000 -
451.67/453.05 c 453 18160 557 1 - 0.0000 -
456.75/458.11 c 458 18439 556 1 - 0.0000 -
461.83/463.23 c 463 18730 557 1 - 0.0000 -
466.92/468.32 c 468 18982 563 1 - 0.0000 -
472.10/473.50 c 474 19209 582 1 - 0.0000 -
477.18/478.66 c 479 19452 585 1 - 0.0000 -
482.37/483.80 c 484 19720 584 1 - 0.0000 -
487.45/488.90 c 489 19966 589 1 - 0.0000 -
492.54/494.02 c 494 20198 642 1 - 0.0000 -
497.62/499.11 c 499 20505 644 1 - 0.0000 -
502.70/504.20 c 504 20787 655 1 - 0.0000 -
507.89/509.41 c 509 20998 687 1 - 0.0000 -
512.87/514.46 c 514 21269 686 1 - 0.0000 -
517.96/519.56 c 520 21528 696 1 - 0.0000 -
523.04/524.61 c 525 21829 696 1 - 0.0000 -
528.02/529.67 c 530 22083 695 1 - 0.0000 -
533.20/534.87 c 535 22340 704 1 - 0.0000 -
538.29/539.98 c 540 22641 700 1 - 0.0000 -
543.38/545.05 c 545 22924 714 1 - 0.0000 -
548.46/550.15 c 550 23201 704 1 - 0.0000 -
553.53/555.27 c 555 23482 699 1 - 0.0000 -
558.61/560.34 c 560 23817 701 1 - 0.0000 -
563.70/565.46 c 565 24085 682 1 - 0.0000 -
568.78/570.52 c 571 24316 691 1 - 0.0000 -
573.87/575.63 c 576 24590 672 1 - 0.0000 -
578.85/580.69 c 581 24852 665 1 - 0.0000 -
583.93/585.78 c 586 25100 656 1 - 0.0000 -
589.11/590.90 c 591 25387 658 1 - 0.0000 -
594.19/596.02 c 596 25668 658 1 - 0.0000 -
599.18/601.10 c 601 25930 650 1 - 0.0000 -
604.36/606.21 c 606 26226 656 1 - 0.0000 -
609.45/611.31 c 611 26491 652 1 - 0.0000 -
614.53/616.40 c 616 26760 668 1 - 0.0000 -
619.61/621.52 c 622 27026 672 1 - 0.0000 -
624.69/626.61 c 627 27293 667 1 - 0.0000 -
629.67/631.68 c 632 27569 657 1 - 0.0000 -
634.75/636.75 c 637 27851 637 1 - 0.0000 -
639.93/641.93 c 642 28070 632 1 - 0.0000 -
645.03/647.04 c 647 28312 627 1 - 0.0000 -
650.11/652.12 c 652 28574 620 1 - 0.0000 -
655.19/657.25 c 657 28799 620 1 - 0.0000 -
660.27/662.37 c 662 29073 609 1 - 0.0000 -
665.35/667.45 c 667 29350 597 1 - 0.0000 -
670.43/672.55 c 673 29659 586 1 - 0.0000 -
675.51/677.63 c 678 29920 586 1 - 0.0000 -
680.60/682.73 c 683 30193 594 1 - 0.0000 -
685.68/687.83 c 688 30462 587 1 - 0.0000 -
690.76/692.91 c 693 30718 592 1 - 0.0000 -
695.85/698.05 c 698 30924 598 1 - 0.0000 -
701.02/703.21 c 703 31126 582 1 - 0.0000 -
706.11/708.33 c 708 31362 573 1 - 0.0000 -
711.19/713.47 c 713 31624 563 1 - 0.0000 -
716.27/718.56 c 719 31897 562 1 - 0.0000 -
721.36/723.63 c 724 32169 573 1 - 0.0000 -
726.34/728.69 c 729 32467 560 1 - 0.0000 -
731.52/733.82 c 734 32735 557 1 - 0.0000 -
736.60/738.94 c 739 32976 550 1 - 0.0000 -
741.69/744.01 c 744 33264 562 1 - 0.0000 -
746.78/749.10 c 749 33614 558 1 - 0.0000 -
751.76/754.20 c 754 33927 560 1 - 0.0000 -
756.83/759.28 c 759 34201 555 1 - 0.0000 -
761.91/764.38 c 764 34401 554 1 - 0.0000 -
767.10/769.51 c 770 34648 555 1 - 0.0000 -
772.08/774.58 c 775 34960 539 1 - 0.0000 -
777.16/779.69 c 780 35217 535 1 - 0.0000 -
782.34/784.80 c 785 35459 535 1 - 0.0000 -
787.43/789.93 c 790 35696 524 1 - 0.0000 -
792.52/795.01 c 795 35944 534 1 - 0.0000 -
797.50/800.09 c 800 36241 538 1 - 0.0000 -
802.58/805.18 c 805 36522 534 1 - 0.0000 -
807.75/810.34 c 810 36780 536 1 - 0.0000 -
812.84/815.43 c 815 37058 529 1 - 0.0000 -
817.92/820.54 c 821 37295 532 1 - 0.0000 -
823.00/825.69 c 826 37506 529 1 - 0.0000 -
828.09/830.75 c 831 37761 524 1 - 0.0000 -
833.17/835.84 c 836 38018 529 1 - 0.0000 -
838.25/840.93 c 841 38261 516 1 - 0.0000 -
843.33/846.06 c 846 38536 537 1 - 0.0000 -
848.42/851.16 c 851 38808 548 1 - 0.0000 -
853.49/856.26 c 856 39036 538 1 - 0.0000 -
858.67/861.42 c 861 39287 533 1 - 0.0000 -
863.75/866.51 c 867 39556 527 1 - 0.0000 -
868.83/871.60 c 872 39834 523 1 - 0.0000 -
873.92/876.75 c 877 40103 522 1 - 0.0000 -
879.00/881.82 c 882 40374 524 1 - 0.0000 -
884.08/886.91 c 887 40665 507 1 - 0.0000 -
896.35/899.24 c 899 40818 505 1 - 0.0000 -
901.43/904.30 c 904 41100 494 1 - 0.0000 -
906.51/909.46 c 909 41370 499 1 - 0.0000 -
911.59/914.57 c 915 41640 488 1 - 0.0000 -
916.77/919.76 c 920 41870 480 1 - 0.0000 -
921.85/924.82 c 925 42118 484 1 - 0.0000 -
926.83/929.88 c 930 42412 485 1 - 0.0000 -
931.91/934.97 c 935 42678 474 1 - 0.0000 -
937.01/940.06 c 940 42968 463 1 - 0.0000 -
942.09/945.16 c 945 43260 480 1 - 0.0000 -
947.16/950.27 c 950 43546 488 1 - 0.0000 -
952.24/955.39 c 955 43848 482 1 - 0.0000 -
957.33/960.48 c 960 44158 457 1 - 0.0000 -
962.41/965.58 c 966 44450 451 1 - 0.0000 -
967.49/970.65 c 971 44678 453 1 - 0.0000 -
972.56/975.76 c 976 44944 455 1 - 0.0000 -
977.75/980.96 c 981 45191 453 1 - 0.0000 -
982.84/986.08 c 986 45446 453 1 - 0.0000 -
987.92/991.16 c 991 45698 448 1 - 0.0000 -
993.00/996.25 c 996 45982 438 1 - 0.0000 -
998.08/1001.31 c 1001 46256 438 1 - 0.0000 -
1003.26/1006.50 c 1007 46462 432 1 - 0.0000 -
1008.35/1011.61 c 1012 46715 426 1 - 0.0000 -
1013.43/1016.75 c 1017 46978 418 1 - 0.0000 -
1018.51/1021.88 c 1022 47260 408 1 - 0.0000 -
1023.59/1026.97 c 1027 47508 405 1 - 0.0000 -
1028.68/1032.04 c 1032 47773 397 1 - 0.0000 -
1033.76/1037.13 c 1037 48019 401 1 - 0.0000 -
1038.83/1042.22 c 1042 48235 398 1 - 0.0000 -
1043.91/1047.34 c 1047 48467 390 1 - 0.0000 -
1049.09/1052.51 c 1053 48711 385 1 - 0.0000 -
1054.17/1057.63 c 1058 48979 370 1 - 0.0000 -
1059.26/1062.77 c 1063 49289 370 1 - 0.0000 -
1064.34/1067.88 c 1068 49595 367 1 - 0.0000 -
1069.41/1072.99 c 1073 49874 369 1 - 0.0000 -
1074.50/1078.09 c 1078 50157 362 1 - 0.0000 -
1079.67/1083.20 c 1083 50410 351 1 - 0.0000 -
1084.75/1088.30 c 1088 50669 354 1 - 0.0000 -
1089.74/1093.38 c 1093 50893 352 1 - 0.0000 -
1094.82/1098.46 c 1098 51149 355 1 - 0.0000 -
1099.90/1103.54 c 1104 51392 344 1 - 0.0000 -
1104.98/1108.66 c 1109 51657 333 1 - 0.0000 -
1110.05/1113.77 c 1114 51887 351 1 - 0.0000 -
1115.23/1118.93 c 1119 52130 385 1 - 0.0000 -
1120.32/1124.10 c 1124 52366 392 1 - 0.0000 -
1125.50/1129.21 c 1129 52634 402 1 - 0.0000 -
1130.59/1134.33 c 1134 52903 409 1 - 0.0000 -
1135.68/1139.47 c 1139 53162 400 1 - 0.0000 -
1140.76/1144.57 c 1145 53448 387 1 - 0.0000 -
1145.84/1149.64 c 1150 53705 364 1 - 0.0000 -
1150.93/1154.76 c 1155 53969 333 1 - 0.0000 -
1156.01/1159.86 c 1160 54244 329 1 - 0.0000 -
1161.10/1164.95 c 1165 54555 330 1 - 0.0000 -
1166.18/1170.08 c 1170 54812 329 1 - 0.0000 -
1171.27/1175.15 c 1175 55100 322 1 - 0.0000 -
1176.34/1180.28 c 1180 55372 331 1 - 0.0000 -
1181.53/1185.40 c 1185 55612 326 1 - 0.0000 -
1186.61/1190.59 c 1191 55864 330 1 - 0.0000 -
1191.69/1195.67 c 1196 56138 319 1 - 0.0000 -
1196.88/1200.81 c 1201 56379 336 1 - 0.0000 -
1202.07/1206.03 c 1206 56615 336 1 - 0.0000 -
1207.15/1211.15 c 1211 56897 328 1 - 0.0000 -
1212.23/1216.24 c 1216 57228 318 1 - 0.0000 -
1217.31/1221.34 c 1221 57503 323 1 - 0.0000 -
1222.39/1226.46 c 1226 57773 322 1 - 0.0000 -
1227.58/1231.61 c 1232 58019 325 1 - 0.0000 -
1232.66/1236.71 c 1237 58373 315 1 - 0.0000 -
1237.75/1241.81 c 1242 58663 323 1 - 0.0000 -
1242.73/1246.88 c 1247 58951 315 1 - 0.0000 -
1247.82/1251.99 c 1252 59248 314 1 - 0.0000 -
1253.00/1257.12 c 1257 59519 310 1 - 0.0000 -
1258.18/1262.30 c 1262 59757 319 1 - 0.0000 -
1263.27/1267.46 c 1267 59988 322 1 - 0.0000 -
1269.06/1273.27 c 1273 60184 326 1 - 0.0000 -
1274.14/1278.34 c 1278 60424 311 1 - 0.0000 -
1279.22/1283.40 c 1283 60690 311 1 - 0.0000 -
1284.30/1288.56 c 1289 60971 323 1 - 0.0000 -
1289.49/1293.74 c 1294 61260 337 1 - 0.0000 -
1294.57/1298.82 c 1299 61592 342 1 - 0.0000 -
1299.66/1303.94 c 1304 61887 350 1 - 0.0000 -
1304.74/1309.07 c 1309 62165 346 1 - 0.0000 -
1309.82/1314.16 c 1314 62440 339 1 - 0.0000 -
1314.90/1319.23 c 1319 62737 343 1 - 0.0000 -
1319.99/1324.35 c 1324 63052 346 1 - 0.0000 -
1325.07/1329.41 c 1329 63385 342 1 - 0.0000 -
1330.15/1334.51 c 1335 63658 340 1 - 0.0000 -
1335.24/1339.61 c 1340 63956 330 1 - 0.0000 -
1340.33/1344.75 c 1345 64238 323 1 - 0.0000 -
1345.41/1349.85 c 1350 64527 320 1 - 0.0000 -
1350.49/1354.90 c 1355 64838 314 1 - 0.0000 -
1355.48/1359.97 c 1360 65124 314 1 - 0.0000 -
1360.56/1365.04 c 1365 65391 319 1 - 0.0000 -
1365.65/1370.14 c 1370 65693 314 1 - 0.0000 -
1370.82/1375.31 c 1375 65915 364 1 - 0.0000 -
1375.91/1380.42 c 1380 66172 403 1 - 0.0000 -
1380.99/1385.57 c 1386 66470 405 1 - 0.0000 -
1386.18/1390.73 c 1391 66750 440 1 - 0.0000 -
1391.26/1395.82 c 1396 67001 464 1 - 0.0000 -
1396.84/1401.41 c 1401 67299 480 1 - 0.0000 -
1401.93/1406.52 c 1407 67618 490 1 - 0.0000 -
1406.91/1411.58 c 1412 67965 490 1 - 0.0000 -
1411.99/1416.67 c 1417 68240 514 1 - 0.0000 -
1417.18/1421.80 c 1422 68465 532 1 - 0.0000 -
1422.26/1426.95 c 1427 68718 567 1 - 0.0000 -
1427.36/1432.02 c 1432 69040 539 1 - 0.0000 -
1432.44/1437.14 c 1437 69356 541 1 - 0.0000 -
1437.52/1442.28 c 1442 69660 537 1 - 0.0000 -
1442.60/1447.35 c 1447 69978 535 1 - 0.0000 -
1447.68/1452.46 c 1452 70236 573 1 - 0.0000 -
1452.76/1457.55 c 1458 70520 572 1 - 0.0000 -
1457.85/1462.64 c 1463 70804 549 1 - 0.0000 -
1462.93/1467.72 c 1468 71120 553 1 - 0.0000 -
1468.02/1472.83 c 1473 71404 563 1 - 0.0000 -
1473.10/1477.92 c 1478 71723 560 1 - 0.0000 -
1478.29/1483.19 c 1483 72022 569 1 - 0.0000 -
1483.37/1488.29 c 1488 72345 554 1 - 0.0000 -
1488.45/1493.37 c 1493 72638 546 1 - 0.0000 -
1493.63/1498.51 c 1499 72978 552 1 - 0.0000 -
1498.61/1503.59 c 1504 73248 556 1 - 0.0000 -
1503.80/1508.72 c 1509 73496 572 1 - 0.0000 -
1508.88/1513.87 c 1514 73759 571 1 - 0.0000 -
1513.96/1518.97 c 1519 74021 582 1 - 0.0000 -
1519.05/1524.10 c 1524 74296 581 1 - 0.0000 -
1524.14/1529.18 c 1529 74650 581 1 - 0.0000 -
1529.31/1534.30 c 1534 74946 575 1 - 0.0000 -
1534.40/1539.41 c 1539 75223 569 1 - 0.0000 -
1539.38/1544.49 c 1544 75565 571 1 - 0.0000 -
1544.56/1549.60 c 1550 75883 566 1 - 0.0000 -
1549.64/1554.71 c 1555 76159 574 1 - 0.0000 -
1554.73/1559.80 c 1560 76413 572 1 - 0.0000 -
1559.81/1564.95 c 1565 76698 590 1 - 0.0000 -
1565.01/1570.10 c 1570 76986 604 1 - 0.0000 -
1569.99/1575.16 c 1575 77302 584 1 - 0.0000 -
1575.06/1580.28 c 1580 77612 585 1 - 0.0000 -
1580.15/1585.36 c 1585 77916 580 1 - 0.0000 -
1585.23/1590.46 c 1590 78236 585 1 - 0.0000 -
1590.32/1595.53 c 1596 78586 586 1 - 0.0000 -
1595.40/1600.64 c 1601 78867 589 1 - 0.0000 -
1600.48/1605.79 c 1606 79171 586 1 - 0.0000 -
1605.56/1610.87 c 1611 79453 586 1 - 0.0000 -
1610.65/1615.97 c 1616 79744 585 1 - 0.0000 -
1615.74/1621.07 c 1621 79998 595 1 - 0.0000 -
1620.82/1626.14 c 1626 80317 587 1 - 0.0000 -
1625.90/1631.26 c 1631 80600 594 1 - 0.0000 -
1630.99/1636.34 c 1636 80869 592 1 - 0.0000 -
1636.07/1641.46 c 1641 81139 597 1 - 0.0000 -
1641.15/1646.52 c 1647 81436 595 1 - 0.0000 -
1646.23/1651.65 c 1652 81692 591 1 - 0.0000 -
1651.32/1656.74 c 1657 81942 589 1 - 0.0000 -
1656.41/1661.83 c 1662 82221 587 1 - 0.0000 -
1661.60/1667.00 c 1667 82499 605 1 - 0.0000 -
1666.68/1672.13 c 1672 82825 600 1 - 0.0000 -
1671.76/1677.20 c 1677 83037 613 1 - 0.0000 -
1676.84/1682.30 c 1682 83317 616 1 - 0.0000 -
1681.82/1687.39 c 1687 83615 621 1 - 0.0000 -
1686.91/1692.47 c 1692 83903 622 1 - 0.0000 -
1691.99/1697.59 c 1698 84201 618 1 - 0.0000 -
1697.07/1702.68 c 1703 84455 624 1 - 0.0000 -
1702.25/1707.84 c 1708 84743 650 1 - 0.0000 -
1707.34/1712.92 c 1713 85046 644 1 - 0.0000 -
1712.43/1718.00 c 1718 85359 629 1 - 0.0000 -
1717.41/1723.07 c 1723 85658 630 1 - 0.0000 -
1722.50/1728.16 c 1728 85955 632 1 - 0.0000 -
1727.68/1733.30 c 1733 86276 634 1 - 0.0000 -
1732.66/1738.38 c 1738 86620 640 1 - 0.0000 -
1737.84/1743.53 c 1744 86945 626 1 - 0.0000 -
1742.92/1748.61 c 1749 87246 623 1 - 0.0000 -
1747.91/1753.69 c 1754 87533 629 1 - 0.0000 -
1753.09/1758.83 c 1759 87809 638 1 - 0.0000 -
1758.17/1763.94 c 1764 88091 629 1 - 0.0000 -
1763.26/1769.06 c 1769 88400 640 1 - 0.0000 -
1768.35/1774.17 c 1774 88718 623 1 - 0.0000 -
1773.42/1779.25 c 1779 89003 627 1 - 0.0000 -
1778.50/1784.32 c 1784 89286 628 1 - 0.0000 -
1783.48/1789.39 c 1789 89582 632 1 - 0.0000 -
1788.57/1794.46 c 1794 89823 651 1 - 0.0000 -
1793.66/1799.52 c 1800 90136 653 1 - 0.0000 -
1798.74/1804.64 c 1805 90452 649 1 - 0.0000 -
1803.83/1809.70 c 1810 90732 653 1 - 0.0000 -
1808.91/1814.83 c 1815 91023 670 1 - 0.0000 -
1813.99/1819.96 c 1820 91285 667 1 - 0.0000 -
1819.08/1825.03 c 1825 91579 659 1 - 0.0000 -
1824.17/1830.11 c 1830 91864 658 1 - 0.0000 -
1829.15/1835.19 c 1835 92154 660 1 - 0.0000 -
1834.23/1840.29 c 1840 92474 668 1 - 0.0000 -
1839.31/1845.39 c 1845 92798 668 1 - 0.0000 -
1844.39/1850.49 c 1850 93074 672 1 - 0.0000 -
1849.47/1855.58 c 1856 93387 668 1 - 0.0000 -
1854.56/1860.66 c 1861 93678 669 1 - 0.0000 -
1859.65/1865.73 c 1866 94010 661 1 - 0.0000 -
1864.73/1870.85 c 1871 94287 681 1 - 0.0000 -
1869.81/1875.96 c 1876 94594 687 1 - 0.0000 -
1874.90/1881.03 c 1881 94890 680 1 - 0.0000 -
1880.08/1886.21 c 1886 95156 679 1 - 0.0000 -
1885.16/1891.31 c 1891 95446 675 1 - 0.0000 -
1890.25/1896.44 c 1896 95713 671 1 - 0.0000 -
1895.33/1901.52 c 1902 96020 661 1 - 0.0000 -
1900.41/1906.64 c 1907 96308 661 1 - 0.0000 -
1905.50/1911.73 c 1912 96545 661 1 - 0.0000 -
1910.58/1916.83 c 1917 96859 664 1 - 0.0000 -
1915.56/1921.89 c 1922 97181 659 1 - 0.0000 -
1920.75/1927.02 c 1927 97444 665 1 - 0.0000 -
1925.84/1932.13 c 1932 97690 681 1 - 0.0000 -
1930.82/1937.19 c 1937 98035 682 1 - 0.0000 -
1935.91/1942.28 c 1942 98364 667 1 - 0.0000 -
1941.09/1947.44 c 1947 98707 659 1 - 0.0000 -
1946.17/1952.52 c 1953 98981 654 1 - 0.0000 -
1951.25/1957.63 c 1958 99287 639 1 - 0.0000 -
1956.34/1962.72 c 1963 99580 639 1 - 0.0000 -
1961.42/1967.81 c 1968 99881 638 1 - 0.0000 -
1966.51/1972.90 c 1973 100192 633 1 - 0.0000 -
1971.59/1978.03 c 1978 100484 634 1 - 0.0000 -
1976.58/1983.08 c 1983 100766 648 1 - 0.0000 -
1981.66/1988.19 c 1988 101083 650 1 - 0.0000 -
1986.84/1993.33 c 1993 101387 645 1 - 0.0000 -
1991.92/1998.40 c 1998 101664 646 1 - 0.0000 -
1996.91/2003.46 c 2003 101944 646 1 - 0.0000 -
2002.00/2008.58 c 2009 102226 656 1 - 0.0000 -
2007.18/2013.71 c 2014 102491 663 1 - 0.0000 -
2012.26/2018.81 c 2019 102765 679 1 - 0.0000 -
2017.35/2023.97 c 2024 103040 663 1 - 0.0000 -
2022.43/2029.10 c 2029 103273 662 1 - 0.0000 -
2027.51/2034.16 c 2034 103597 648 1 - 0.0000 -
2032.59/2039.29 c 2039 103846 651 1 - 0.0000 -
2037.77/2044.45 c 2044 104115 656 1 - 0.0000 -
2042.86/2049.54 c 2050 104405 655 1 - 0.0000 -
2047.95/2054.64 c 2055 104679 649 1 - 0.0000 -
2053.03/2059.77 c 2060 104742 660 1 - 0.0000 -
2058.21/2064.92 c 2065 104951 700 1 - 0.0000 -
2063.20/2069.98 c 2070 105192 716 1 - 0.0000 -
2068.38/2075.11 c 2075 105438 717 1 - 0.0000 -
2073.46/2080.24 c 2080 105681 727 1 - 0.0000 -
2078.54/2085.34 c 2085 105932 754 1 - 0.0000 -
2083.73/2090.52 c 2091 106179 769 1 - 0.0000 -
2088.92/2095.75 c 2096 106425 772 1 - 0.0000 -
2094.10/2100.91 c 2101 106657 776 1 - 0.0000 -
2099.18/2106.05 c 2106 106942 774 1 - 0.0000 -
2104.36/2111.24 c 2111 107198 791 1 - 0.0000 -
2109.45/2116.33 c 2116 107511 807 1 - 0.0000 -
2114.53/2121.40 c 2121 107805 816 1 - 0.0000 -
2119.52/2126.48 c 2126 108083 804 1 - 0.0000 -
2124.60/2131.59 c 2132 108382 801 1 - 0.0000 -
2129.69/2136.65 c 2137 108627 820 1 - 0.0000 -
2134.77/2141.72 c 2142 108875 820 1 - 0.0000 -
2139.76/2146.78 c 2147 109144 810 1 - 0.0000 -
2144.84/2151.86 c 2152 109358 819 1 - 0.0000 -
2149.92/2156.93 c 2157 109598 815 1 - 0.0000 -
2155.01/2162.05 c 2162 109881 815 1 - 0.0000 -
2160.10/2167.12 c 2167 110173 813 1 - 0.0000 -
2165.18/2172.23 c 2172 110442 810 1 - 0.0000 -
2170.27/2177.31 c 2177 110657 831 1 - 0.0000 -
2175.35/2182.44 c 2182 110900 838 1 - 0.0000 -
2180.33/2187.49 c 2188 111127 855 1 - 0.0000 -
2185.42/2192.59 c 2193 111394 829 1 - 0.0000 -
2190.61/2197.74 c 2198 111631 835 1 - 0.0000 -
2195.69/2202.85 c 2203 111894 825 1 - 0.0000 -
2200.77/2207.94 c 2208 112159 821 1 - 0.0000 -
2205.86/2213.04 c 2213 112393 819 1 - 0.0000 -
2210.94/2218.13 c 2218 112661 817 1 - 0.0000 -
2216.03/2223.26 c 2223 112898 819 1 - 0.0000 -
2221.21/2228.44 c 2228 113176 821 1 - 0.0000 -
2226.30/2233.56 c 2234 113443 817 1 - 0.0000 -
2231.38/2238.62 c 2239 113760 812 1 - 0.0000 -
2236.46/2243.72 c 2244 114000 810 1 - 0.0000 -
2241.55/2248.80 c 2249 114290 804 1 - 0.0000 -
2246.63/2253.91 c 2254 114553 794 1 - 0.0000 -
2251.82/2259.10 c 2259 114784 792 1 - 0.0000 -
2256.80/2264.18 c 2264 115046 787 1 - 0.0000 -
2261.98/2269.32 c 2269 115320 798 1 - 0.0000 -
2267.07/2274.45 c 2274 115609 784 1 - 0.0000 -
2272.16/2279.57 c 2280 115853 776 1 - 0.0000 -
2277.34/2284.74 c 2285 116099 778 1 - 0.0000 -
2282.32/2289.79 c 2290 116385 775 1 - 0.0000 -
2287.41/2294.84 c 2295 116642 770 1 - 0.0000 -
2292.50/2299.93 c 2300 116891 771 1 - 0.0000 -
2297.58/2305.07 c 2305 117129 761 1 - 0.0000 -
2302.67/2310.18 c 2310 117431 746 1 - 0.0000 -
2307.85/2315.35 c 2315 117649 747 1 - 0.0000 -
2313.03/2320.51 c 2321 117902 742 1 - 0.0000 -
2318.12/2325.62 c 2326 118160 732 1 - 0.0000 -
2323.31/2330.84 c 2331 118424 731 1 - 0.0000 -
2328.39/2335.92 c 2336 118670 722 1 - 0.0000 -
2333.48/2341.04 c 2341 118959 710 1 - 0.0000 -
2338.57/2346.16 c 2346 119258 717 1 - 0.0000 -
2343.64/2351.29 c 2351 119515 704 1 - 0.0000 -
2348.73/2356.40 c 2356 119792 696 1 - 0.0000 -
2353.81/2361.46 c 2361 120077 696 1 - 0.0000 -
2359.09/2366.70 c 2367 120330 699 1 - 0.0000 -
2364.18/2371.81 c 2372 120608 687 1 - 0.0000 -
2369.27/2376.90 c 2377 120888 684 1 - 0.0000 -
2374.36/2382.03 c 2382 121180 686 1 - 0.0000 -
2379.34/2387.09 c 2387 121455 679 1 - 0.0000 -
2384.52/2392.25 c 2392 121728 681 1 - 0.0000 -
2389.60/2397.32 c 2397 122021 683 1 - 0.0000 -
2394.69/2402.41 c 2402 122278 692 1 - 0.0000 -
2399.78/2407.50 c 2408 122541 690 1 - 0.0000 -
2404.76/2412.56 c 2413 122804 689 1 - 0.0000 -
2409.84/2417.63 c 2418 123140 690 1 - 0.0000 -
2414.92/2422.72 c 2423 123433 686 1 - 0.0000 -
2420.01/2427.86 c 2428 123748 675 1 - 0.0000 -
2425.10/2432.97 c 2433 124018 682 1 - 0.0000 -
2430.19/2438.08 c 2438 124290 678 1 - 0.0000 -
2435.37/2443.27 c 2443 124557 677 1 - 0.0000 -
2440.45/2448.36 c 2448 124877 673 1 - 0.0000 -
2445.53/2453.48 c 2453 125154 669 1 - 0.0000 -
2450.62/2458.59 c 2459 125419 663 1 - 0.0000 -
2455.70/2463.64 c 2464 125696 661 1 - 0.0000 -
2460.79/2468.73 c 2469 126027 659 1 - 0.0000 -
2465.87/2473.80 c 2474 126357 660 1 - 0.0000 -
2470.85/2478.87 c 2479 126722 659 1 - 0.0000 -
2475.94/2483.98 c 2484 127023 673 1 - 0.0000 -
2481.03/2489.05 c 2489 127352 658 1 - 0.0000 -
2486.11/2494.16 c 2494 127639 686 1 - 0.0000 -
2491.19/2499.26 c 2499 127902 663 1 - 0.0000 -
2496.37/2504.41 c 2504 128186 669 1 - 0.0000 -
2501.46/2509.56 c 2510 128441 657 1 - 0.0000 -
2506.55/2514.63 c 2515 128706 661 1 - 0.0000 -
2511.63/2519.72 c 2520 128972 666 1 - 0.0000 -
2516.71/2524.80 c 2525 129229 663 1 - 0.0000 -
2521.80/2529.90 c 2530 129486 672 1 - 0.0000 -
2526.88/2535.00 c 2535 129747 684 1 - 0.0000 -
2531.87/2540.06 c 2540 130047 683 1 - 0.0000 -
2536.95/2545.19 c 2545 130318 667 1 - 0.0000 -
2542.04/2550.23 c 2550 130600 659 1 - 0.0000 -
2547.12/2555.34 c 2555 130872 658 1 - 0.0000 -
2552.20/2560.43 c 2560 131132 655 1 - 0.0000 -
2557.28/2565.50 c 2566 131368 665 1 - 0.0000 -
2562.37/2570.62 c 2571 131666 652 1 - 0.0000 -
2567.45/2575.74 c 2576 131965 645 1 - 0.0000 -
2572.54/2580.81 c 2581 132253 644 1 - 0.0000 -
2577.73/2586.02 c 2586 132557 638 1 - 0.0000 -
2582.81/2591.10 c 2591 132841 634 1 - 0.0000 -
2587.80/2596.19 c 2596 133122 628 1 - 0.0000 -
2592.87/2601.27 c 2601 133377 622 1 - 0.0000 -
2598.05/2606.40 c 2606 133631 618 1 - 0.0000 -
2603.14/2611.55 c 2612 133894 622 1 - 0.0000 -
2608.53/2616.91 c 2617 134040 624 1 - 0.0000 -
2613.71/2622.11 c 2622 134314 619 1 - 0.0000 -
2618.70/2627.19 c 2627 134599 619 1 - 0.0000 -
2623.78/2632.28 c 2632 134865 627 1 - 0.0000 -
2628.86/2637.38 c 2637 135172 618 1 - 0.0000 -
2633.94/2642.44 c 2642 135440 615 1 - 0.0000 -
2639.04/2647.53 c 2648 135750 627 1 - 0.0000 -
2644.12/2652.63 c 2653 136058 615 1 - 0.0000 -
2649.20/2657.72 c 2658 136334 615 1 - 0.0000 -
2654.28/2662.85 c 2663 136648 609 1 - 0.0000 -
2659.36/2667.97 c 2668 136932 607 1 - 0.0000 -
2664.46/2673.04 c 2673 137249 611 1 - 0.0000 -
2669.55/2678.16 c 2678 137551 612 1 - 0.0000 -
2674.62/2683.26 c 2683 137805 606 1 - 0.0000 -
2679.81/2688.45 c 2688 138082 593 1 - 0.0000 -
2684.99/2693.69 c 2694 138351 595 1 - 0.0000 -
2690.17/2698.82 c 2699 138644 588 1 - 0.0000 -
2695.25/2703.98 c 2704 138943 585 1 - 0.0000 -
2700.35/2709.06 c 2709 139229 593 1 - 0.0000 -
2705.43/2714.16 c 2714 139515 591 1 - 0.0000 -
2710.51/2719.27 c 2719 139818 584 1 - 0.0000 -
2715.60/2724.36 c 2724 140137 591 1 - 0.0000 -
2720.68/2729.43 c 2729 140462 581 1 - 0.0000 -
2725.76/2734.57 c 2735 140737 588 1 - 0.0000 -
2730.84/2739.65 c 2740 140999 586 1 - 0.0000 -
2735.93/2744.76 c 2745 141320 588 1 - 0.0000 -
2741.01/2749.81 c 2750 141566 587 1 - 0.0000 -
2746.10/2754.93 c 2755 141884 595 1 - 0.0000 -
2751.19/2760.01 c 2760 142206 594 1 - 0.0000 -
2756.28/2765.10 c 2765 142503 590 1 - 0.0000 -
2761.35/2770.23 c 2770 142794 593 1 - 0.0000 -
2766.44/2775.30 c 2775 143067 593 1 - 0.0000 -
2771.43/2780.36 c 2780 143355 592 1 - 0.0000 -
2776.51/2785.45 c 2785 143666 591 1 - 0.0000 -
2781.59/2790.54 c 2791 143964 585 1 - 0.0000 -
2786.68/2795.66 c 2796 144263 586 1 - 0.0000 -
2791.76/2800.74 c 2801 144583 587 1 - 0.0000 -
2796.84/2805.83 c 2806 144882 606 1 - 0.0000 -
2801.93/2810.95 c 2811 145166 616 1 - 0.0000 -
2807.01/2816.07 c 2816 145459 613 1 - 0.0000 -
2812.10/2821.16 c 2821 145756 610 1 - 0.0000 -
2817.19/2826.24 c 2826 146054 616 1 - 0.0000 -
2822.27/2831.36 c 2831 146349 618 1 - 0.0000 -
2827.35/2836.46 c 2836 146693 623 1 - 0.0000 -
2832.43/2841.54 c 2842 147043 630 1 - 0.0000 -
2837.51/2846.61 c 2847 147455 614 1 - 0.0000 -
2842.60/2851.77 c 2852 147775 625 1 - 0.0000 -
2847.69/2856.86 c 2857 148083 616 1 - 0.0000 -
2852.77/2861.95 c 2862 148369 616 1 - 0.0000 -
2857.86/2867.04 c 2867 148713 615 1 - 0.0000 -
2862.94/2872.12 c 2872 149037 612 1 - 0.0000 -
2868.02/2877.20 c 2877 149318 615 1 - 0.0000 -
2873.00/2882.26 c 2882 149670 614 1 - 0.0000 -
2878.08/2887.35 c 2887 150012 621 1 - 0.0000 -
2883.18/2892.44 c 2892 150347 611 1 - 0.0000 -
2888.25/2897.51 c 2898 150643 625 1 - 0.0000 -
2893.34/2902.60 c 2903 150900 634 1 - 0.0000 -
2898.33/2907.68 c 2908 151234 641 1 - 0.0000 -
2903.40/2912.75 c 2913 151608 636 1 - 0.0000 -
2908.48/2917.84 c 2918 151987 639 1 - 0.0000 -
2913.56/2922.90 c 2923 152372 647 1 - 0.0000 -
2918.66/2928.01 c 2928 152709 646 1 - 0.0000 -
2923.74/2933.12 c 2933 153034 645 1 - 0.0000 -
2928.82/2938.20 c 2938 153348 632 1 - 0.0000 -
2933.90/2943.30 c 2943 153636 625 1 - 0.0000 -
2939.09/2948.50 c 2949 153964 620 1 - 0.0000 -
2944.17/2953.61 c 2954 154325 614 1 - 0.0000 -
2949.25/2958.70 c 2959 154665 614 1 - 0.0000 -
2954.33/2963.81 c 2964 155006 611 1 - 0.0000 -
2959.42/2968.93 c 2969 155331 609 1 - 0.0000 -
2964.51/2974.02 c 2974 155611 619 1 - 0.0000 -
2969.60/2979.15 c 2979 155906 610 1 - 0.0000 -
2974.67/2984.28 c 2984 156236 610 1 - 0.0000 -
2979.76/2989.37 c 2989 156584 620 1 - 0.0000 -
2984.84/2994.43 c 2994 156918 615 1 - 0.0000 -
2989.93/2999.58 c 3000 157234 606 1 - 0.0000 -
2995.01/3004.69 c 3005 157500 612 1 - 0.0000 -
3000.19/3009.82 c 3010 157783 609 1 - 0.0000 -
3005.18/3014.88 c 3015 158088 621 1 - 0.0000 -
3010.26/3019.97 c 3020 158391 611 1 - 0.0000 -
3015.46/3025.13 c 3025 158708 613 1 - 0.0000 -
3020.53/3030.21 c 3030 159063 620 1 - 0.0000 -
3025.62/3035.33 c 3035 159356 624 1 - 0.0000 -
3030.70/3040.45 c 3040 159624 623 1 - 0.0000 -
3035.78/3045.59 c 3046 159940 612 1 - 0.0000 -
3040.87/3050.66 c 3051 160292 618 1 - 0.0000 -
3046.05/3055.81 c 3056 160663 614 1 - 0.0000 -
3051.13/3060.96 c 3061 160933 625 1 - 0.0000 -
3056.23/3066.06 c 3066 161216 622 1 - 0.0000 -
3061.31/3071.17 c 3071 161496 615 1 - 0.0000 -
3066.39/3076.28 c 3076 161797 619 1 - 0.0000 -
3071.48/3081.38 c 3081 162117 609 1 - 0.0000 -
3076.56/3086.49 c 3086 162381 610 1 - 0.0000 -
3081.64/3091.55 c 3092 162748 602 1 - 0.0000 -
3086.72/3096.67 c 3097 163064 601 1 - 0.0000 -
3091.90/3101.80 c 3102 163387 604 1 - 0.0000 -
3096.99/3106.93 c 3107 163713 609 1 - 0.0000 -
3101.98/3111.97 c 3112 164040 608 1 - 0.0000 -
3107.07/3117.08 c 3117 164358 599 1 - 0.0000 -
3112.15/3122.16 c 3122 164754 611 1 - 0.0000 -
3117.23/3127.23 c 3127 165127 596 1 - 0.0000 -
3122.32/3132.37 c 3132 165400 588 1 - 0.0000 -
3127.40/3137.45 c 3137 165720 589 1 - 0.0000 -
3132.49/3142.55 c 3143 165993 596 1 - 0.0000 -
3137.57/3147.69 c 3148 166252 593 1 - 0.0000 -
3142.65/3152.79 c 3153 166525 595 1 - 0.0000 -
3147.84/3157.95 c 3158 166794 583 1 - 0.0000 -
3153.22/3163.34 c 3163 167043 584 1 - 0.0000 -
3158.21/3168.39 c 3168 167386 586 1 - 0.0000 -
3163.29/3173.49 c 3174 167715 579 1 - 0.0000 -
3168.37/3178.59 c 3179 167979 581 1 - 0.0000 -
3173.55/3183.70 c 3184 168249 577 1 - 0.0000 -
3178.64/3188.80 c 3189 168554 564 1 - 0.0000 -
3183.73/3193.90 c 3194 168841 568 1 - 0.0000 -
3188.82/3199.08 c 3199 169129 552 1 - 0.0000 -
3193.90/3204.16 c 3204 169432 545 1 - 0.0000 -
3198.98/3209.23 c 3209 169700 558 1 - 0.0000 -
3204.06/3214.33 c 3214 170008 572 1 - 0.0000 -
3209.15/3219.46 c 3219 170260 591 1 - 0.0000 -
3214.33/3224.61 c 3225 170515 598 1 - 0.0000 -
3219.31/3229.69 c 3230 170783 589 1 - 0.0000 -
3224.50/3234.81 c 3235 171047 585 1 - 0.0000 -
3229.58/3239.93 c 3240 171340 592 1 - 0.0000 -
3234.68/3245.00 c 3245 171609 585 1 - 0.0000 -
3239.66/3250.09 c 3250 171849 599 1 - 0.0000 -
3244.74/3255.18 c 3255 172113 604 1 - 0.0000 -
3249.92/3260.34 c 3260 172390 603 1 - 0.0000 -
3255.01/3265.42 c 3265 172690 611 1 - 0.0000 -
3259.99/3270.46 c 3270 172958 617 1 - 0.0000 -
3265.07/3275.55 c 3276 173263 616 1 - 0.0000 -
3270.26/3280.70 c 3281 173563 618 1 - 0.0000 -
3275.34/3285.80 c 3286 173827 624 1 - 0.0000 -
3280.43/3290.91 c 3291 174123 620 1 - 0.0000 -
3285.52/3296.01 c 3296 174422 621 1 - 0.0000 -
3290.60/3301.13 c 3301 174679 612 1 - 0.0000 -
3295.68/3306.23 c 3306 174961 607 1 - 0.0000 -
3300.76/3311.31 c 3311 175255 604 1 - 0.0000 -
3305.85/3316.40 c 3316 175530 612 1 - 0.0000 -
3310.93/3321.51 c 3322 175783 608 1 - 0.0000 -
3315.91/3326.57 c 3327 176037 604 1 - 0.0000 -
3321.00/3331.67 c 3332 176298 597 1 - 0.0000 -
3326.19/3336.80 c 3337 176535 600 1 - 0.0000 -
3331.17/3341.87 c 3342 176768 604 1 - 0.0000 -
3336.35/3347.03 c 3347 177001 592 1 - 0.0000 -
3341.43/3352.17 c 3352 177297 590 1 - 0.0000 -
3346.52/3357.26 c 3357 177574 594 1 - 0.0000 -
3351.70/3362.41 c 3362 177808 599 1 - 0.0000 -
3356.79/3367.51 c 3368 178072 604 1 - 0.0000 -
3361.77/3372.59 c 3373 178347 585 1 - 0.0000 -
3366.86/3377.69 c 3378 178637 575 1 - 0.0000 -
3372.04/3382.81 c 3383 178921 562 1 - 0.0000 -
3377.12/3387.94 c 3388 179226 554 1 - 0.0000 -
3382.21/3393.07 c 3393 179491 551 1 - 0.0000 -
3387.38/3398.25 c 3398 179765 550 1 - 0.0000 -
3392.47/3403.36 c 3403 180026 553 1 - 0.0000 -
3397.65/3408.52 c 3409 180275 549 1 - 0.0000 -
3402.75/3413.61 c 3414 180512 536 1 - 0.0000 -
3407.83/3418.70 c 3419 180834 538 1 - 0.0000 -
3412.91/3423.81 c 3424 181106 538 1 - 0.0000 -
3417.90/3428.88 c 3429 181375 534 1 - 0.0000 -
3423.09/3434.01 c 3434 181661 536 1 - 0.0000 -
3428.07/3439.07 c 3439 182035 541 1 - 0.0000 -
3433.16/3444.16 c 3444 182360 537 1 - 0.0000 -
3438.23/3449.23 c 3449 182659 525 1 - 0.0000 -
3443.31/3454.34 c 3454 182950 524 1 - 0.0000 -
3448.40/3459.46 c 3459 183271 526 1 - 0.0000 -
3453.49/3464.59 c 3465 183597 521 1 - 0.0000 -
3458.57/3469.66 c 3470 183872 528 1 - 0.0000 -
3463.65/3474.78 c 3475 184179 524 1 - 0.0000 -
3468.74/3479.87 c 3480 184498 518 1 - 0.0000 -
3473.83/3484.96 c 3485 184853 524 1 - 0.0000 -
3478.91/3490.01 c 3490 185174 519 1 - 0.0000 -
3484.00/3495.11 c 3495 185463 517 1 - 0.0000 -
3489.09/3500.21 c 3500 185785 513 1 - 0.0000 -
3494.17/3505.32 c 3505 186106 518 1 - 0.0000 -
3499.25/3510.42 c 3510 186462 516 1 - 0.0000 -
3504.34/3515.58 c 3516 186740 511 1 - 0.0000 -
3509.42/3520.66 c 3521 187073 504 1 - 0.0000 -
3514.51/3525.74 c 3526 187383 503 1 - 0.0000 -
3519.60/3530.80 c 3531 187642 502 1 - 0.0000 -
3524.68/3535.90 c 3536 187984 499 1 - 0.0000 -
3529.77/3541.02 c 3541 188270 515 1 - 0.0000 -
3534.75/3546.08 c 3546 188589 508 1 - 0.0000 -
3539.84/3551.17 c 3551 188880 501 1 - 0.0000 -
3545.03/3556.31 c 3556 189146 499 1 - 0.0000 -
3550.11/3561.42 c 3561 189412 494 1 - 0.0000 -
3555.10/3566.48 c 3566 189666 491 1 - 0.0000 -
3560.18/3571.58 c 3572 189937 492 1 - 0.0000 -
3565.26/3576.69 c 3577 190216 485 1 - 0.0000 -
3570.35/3581.79 c 3582 190521 484 1 - 0.0000 -
3575.43/3586.86 c 3587 190816 487 1 - 0.0000 -
3580.63/3592.04 c 3592 191102 485 1 - 0.0000 -
3585.72/3597.10 c 3597 191320 493 1 - 0.0000 -
3586.71/3598.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.71/3598.12 c Total Time : 3598.1100
3586.71/3598.12 c solving : 3598.1100
3586.71/3598.12 c presolving : 1.1365 (included in solving)
3586.71/3598.12 c B&B Tree :
3586.71/3598.12 c nodes (total) : 1
3586.71/3598.12 c Solution :
3586.71/3598.12 c Solutions found : 0
3586.71/3598.12 c Primal Bound : -
3586.71/3598.12 c Dual Bound : +0.00000000000000e+00
3586.71/3598.12 c Gap : -
3586.71/3598.15 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 (55668 MiB free)
memory of node 1: 64473 MiB (56473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464333-1722378742/watcher-4464333-1722378742 -o /tmp/evaluation-result-4464333-1722378742/solver-4464333-1722378742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31127 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464333-1722378742.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31660, runsolver pid=31657
[startup+0.100384 s]*
/proc/loadavg: 3.90 1.73 0.71 5/267 31661
/proc/meminfo: memFree=114791604/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=61892 memory=51832 CPUtime=0.09 cores=4,6
/proc/31660/stat : 31660 (fscip) R 31657 31660 31114 0 -1 4194304 10818 0 0 0 8 1 0 0 20 0 1 0 4474077 63377408 12958 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 15473 12958 2539 3035 0 11869 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61892 KiB
Current children cumulated memory: 51832 KiB
[startup+0.205986 s]*
/proc/loadavg: 3.90 1.73 0.71 5/267 31661
/proc/meminfo: memFree=114751060/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=106504 memory=93424 CPUtime=0.19 cores=4,6
/proc/31660/stat : 31660 (fscip) R 31657 31660 31114 0 -1 4194304 20714 0 0 0 17 2 0 0 20 0 1 0 4474077 109060096 23356 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 26626 23356 2614 3035 0 23022 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106504 KiB
Current children cumulated memory: 93424 KiB
[startup+0.305968 s]*
/proc/loadavg: 3.90 1.73 0.71 5/267 31661
/proc/meminfo: memFree=114747840/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=107564 memory=95384 CPUtime=0.3 cores=4,6
/proc/31660/stat : 31660 (fscip) R 31657 31660 31114 0 -1 4194304 28542 0 0 0 26 4 0 0 20 0 1 0 4474077 110145536 23846 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 26891 23846 2694 3035 0 23287 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107564 KiB
Current children cumulated memory: 95384 KiB
[startup+0.700251 s]
/proc/loadavg: 3.90 1.73 0.71 5/267 31661
/proc/meminfo: memFree=114733336/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=223144 memory=196140 CPUtime=0.69 cores=4,6
/proc/31660/stat : 31660 (fscip) R 31657 31660 31114 0 -1 4194304 39219 0 0 0 62 7 0 0 20 0 1 0 4474077 228499456 49035 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 55786 49035 2742 3035 0 52182 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 223144 KiB
Current children cumulated memory: 196140 KiB
[startup+1.50024 s]
/proc/loadavg: 3.90 1.73 0.71 5/267 31661
/proc/meminfo: memFree=114568280/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=493204 memory=387960 CPUtime=1.48 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 73468 0 0 0 136 12 0 0 20 0 3 0 4474077 505040896 96990 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 123301 96990 2774 3035 0 105147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 493204 KiB
Current children cumulated memory: 387960 KiB
[startup+3.10621 s]
/proc/loadavg: 3.90 1.73 0.71 5/269 31665
/proc/meminfo: memFree=114348000/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=559096 memory=462584 CPUtime=3.08 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 97812 0 0 0 294 14 0 0 20 0 3 0 4474077 572514304 115646 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 139774 115646 2934 3035 0 124249 0
[pid=31660/tid=31662] ppid=31657 vsize=559096 memory=198340509722 CPUtime=1.76 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 42027 0 0 0 172 4 0 0 20 0 3 0 4474205 572514304 115646 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=559096 memory=0 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4474216 572514304 115646 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 559096 KiB
Current children cumulated memory: 462584 KiB
[startup+6.30027 s]
/proc/loadavg: 3.91 1.77 0.73 5/269 31665
/proc/meminfo: memFree=114346560/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=559096 memory=462584 CPUtime=6.27 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 105449 0 0 0 612 15 0 0 20 0 3 0 4474077 572514304 115646 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 139774 115646 2934 3035 0 124249 0
[pid=31660/tid=31662] ppid=31657 vsize=559096 memory=0 CPUtime=4.94 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 49658 0 0 0 490 4 0 0 20 0 3 0 4474205 572514304 115646 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=559096 memory=0 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4474216 572514304 115646 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 559096 KiB
Current children cumulated memory: 462584 KiB
[startup+12.7003 s]
/proc/loadavg: 3.91 1.80 0.75 5/269 31666
/proc/meminfo: memFree=114331988/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=628704 memory=496680 CPUtime=12.65 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 138007 0 0 0 1248 17 0 0 20 0 3 0 4474077 643792896 124170 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 157176 124170 2950 3035 0 140414 0
[pid=31660/tid=31662] ppid=31657 vsize=628704 memory=0 CPUtime=11.33 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 82208 0 0 0 1126 7 0 0 20 0 3 0 4474205 643792896 124170 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=628704 memory=462584 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4474216 643792896 124170 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 628704 KiB
Current children cumulated memory: 496680 KiB
[startup+25.5003 s]
/proc/loadavg: 3.93 1.91 0.80 6/269 31668
/proc/meminfo: memFree=114236496/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=694240 memory=569312 CPUtime=25.41 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 180001 0 0 0 2519 22 0 0 20 0 3 0 4474077 710901760 142328 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 173560 142328 2950 3035 0 162360 0
[pid=31660/tid=31662] ppid=31657 vsize=694240 memory=11436 CPUtime=24.09 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 124161 0 0 0 2397 12 0 0 20 0 3 0 4474205 710901760 142328 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=694240 memory=569312 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4474216 710901760 142328 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 694240 KiB
Current children cumulated memory: 569312 KiB
[startup+51.106 s]
/proc/loadavg: 4.08 2.11 0.89 5/269 31672
/proc/meminfo: memFree=114234180/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=694240 memory=570028 CPUtime=50.95 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 214275 0 0 0 5071 24 0 0 20 0 3 0 4474077 710901760 142507 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 173560 142507 2998 3035 0 162360 0
[pid=31660/tid=31662] ppid=31657 vsize=694240 memory=569564 CPUtime=49.62 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 158402 0 0 0 4948 14 0 0 20 0 3 0 4474205 710901760 142507 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=694240 memory=569564 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4474216 710901760 142507 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 694240 KiB
Current children cumulated memory: 570028 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 2.42 1.06 5/268 31682
/proc/meminfo: memFree=114187524/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=759940 memory=615136 CPUtime=102.01 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 316669 0 0 0 10169 32 0 0 20 0 3 0 4474077 778178560 153784 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 189985 153784 2998 3035 0 172947 0
[pid=31660/tid=31662] ppid=31657 vsize=759940 memory=140709571224177 CPUtime=100.67 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 260742 0 0 0 10046 21 0 0 20 0 3 0 4474205 778178560 153784 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=759940 memory=614932 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4474216 778178560 153784 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 759940 KiB
Current children cumulated memory: 615136 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 2.74 1.26 5/267 31693
/proc/meminfo: memFree=114172484/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=759940 memory=615184 CPUtime=161.81 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 339532 0 0 0 16146 35 0 0 20 0 3 0 4474077 778178560 153796 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 189985 153796 2998 3035 0 172947 0
[pid=31660/tid=31662] ppid=31657 vsize=759940 memory=615184 CPUtime=160.48 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 283573 0 0 0 16024 24 0 0 20 0 3 0 4474205 778178560 153796 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=759940 memory=615184 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4474216 778178560 153796 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 759940 KiB
Current children cumulated memory: 615184 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.99 1.44 5/263 31704
/proc/meminfo: memFree=114124420/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=759940 memory=642404 CPUtime=221.64 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 396880 0 0 0 22122 42 0 0 20 0 3 0 4474077 778178560 160601 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 189985 160601 2998 3035 0 179994 0
[pid=31660/tid=31662] ppid=31657 vsize=759940 memory=11436 CPUtime=220.3 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 340902 0 0 0 21999 31 0 0 20 0 3 0 4474205 778178560 160601 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=759940 memory=642404 CPUtime=0 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4474216 778178560 160601 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 759940 KiB
Current children cumulated memory: 642404 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.19 1.61 5/264 31715
/proc/meminfo: memFree=114107200/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=759940 memory=642408 CPUtime=281.46 cores=4,6
################
# More data... #
################
/proc/31660/statm: 206369 166995 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=667980 CPUtime=3449.71 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1645028 0 0 0 344741 230 0 0 20 0 3 0 4474205 845287424 166995 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=11436 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 160 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 166995 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 667980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/267 34084
/proc/meminfo: memFree=121882716/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=672316 CPUtime=3511.12 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1722867 0 0 0 350858 254 0 0 20 0 3 0 4474077 845287424 168079 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 168079 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=11436 CPUtime=3509.53 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1665892 0 0 0 350719 234 0 0 20 0 3 0 4474205 845287424 168079 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=11436 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 162 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 168079 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 672316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/268 34095
/proc/meminfo: memFree=121811140/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=673768 CPUtime=3570.95 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1741522 0 0 0 356839 256 0 0 20 0 3 0 4474077 845287424 168442 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 168442 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=673768 CPUtime=3569.36 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1684531 0 0 0 356700 236 0 0 20 0 3 0 4474205 845287424 168442 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=11436 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 168442 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 673768 KiB
[startup+3598.17 s]
# the end of solver process 31660 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.18 s, system=2.60313 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.07 5/268 34095
/proc/meminfo: memFree=121807352/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=677568 CPUtime=3572.65 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1741573 0 0 0 357009 256 0 0 20 0 3 0 4474077 845287424 169392 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 169392 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=-7667496582183477370 CPUtime=3571.06 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1684582 0 0 0 356870 236 0 0 20 0 3 0 4474205 845287424 169392 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=6944656591801718942 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 169392 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 677568 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.07 5/268 34095
/proc/meminfo: memFree=121807408/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=677568 CPUtime=3579.03 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1742012 0 0 0 357646 257 0 0 20 0 3 0 4474077 845287424 169392 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 169392 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=673768 CPUtime=3577.44 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1685021 0 0 0 357507 237 0 0 20 0 3 0 4474205 845287424 169392 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=4776 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 169392 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3579.03 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 677568 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.07 5/268 34098
/proc/meminfo: memFree=121807156/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=682212 CPUtime=3582.22 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1742087 0 0 0 357965 257 0 0 20 0 3 0 4474077 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 170553 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=677568 CPUtime=3580.63 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1685096 0 0 0 357826 237 0 0 20 0 3 0 4474205 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=677568 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3582.22 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 682212 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.12 4.07 5/268 34098
/proc/meminfo: memFree=121802448/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=682212 CPUtime=3583.82 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1742140 0 0 0 358125 257 0 0 20 0 3 0 4474077 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 170553 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=31052 CPUtime=3582.23 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1685149 0 0 0 357986 237 0 0 20 0 3 0 4474205 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=682212 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3583.82 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 682212 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.07 5/268 34098
/proc/meminfo: memFree=121802484/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=682212 CPUtime=3585.41 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1742163 0 0 0 358284 257 0 0 20 0 3 0 4474077 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 170553 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=11436 CPUtime=3583.82 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1685172 0 0 0 358145 237 0 0 20 0 3 0 4474205 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=15016 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 682212 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.12 4.07 5/268 34098
/proc/meminfo: memFree=121802484/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=682212 CPUtime=3586.21 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1742181 0 0 0 358364 257 0 0 20 0 3 0 4474077 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 170553 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=5420 CPUtime=3584.62 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1685190 0 0 0 358225 237 0 0 20 0 3 0 4474205 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=16140 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 682212 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.12 4.07 5/268 34098
/proc/meminfo: memFree=121802484/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=682212 CPUtime=3586.61 cores=4,6
/proc/31660/stat : 31660 (fscip) R 31657 31660 31114 0 -1 1077936128 1742727 0 0 0 358404 257 0 0 20 0 3 0 4474077 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 170553 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=-7667496582183477370 CPUtime=3585.02 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1685891 0 0 0 358265 237 0 0 20 0 3 0 4474205 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=7152396361908456046 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 170553 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 682212 KiB
[startup+3598.11 s]
/proc/loadavg: 4.08 4.12 4.07 5/268 34098
/proc/meminfo: memFree=121802484/131524600 swapFree=131071996/131071996
[pid=31660] ppid=31657 vsize=825476 memory=682232 CPUtime=3586.71 cores=4,6
/proc/31660/stat : 31660 (fscip) S 31657 31660 31114 0 -1 1077936128 1756867 0 0 0 358413 258 0 0 20 0 3 0 4474077 845287424 170558 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
/proc/31660/statm: 206369 170558 2998 3035 0 186079 0
[pid=31660/tid=31662] ppid=31657 vsize=825476 memory=357874 CPUtime=3585.12 cores=4,6
/proc/31660/task/31662/stat : 31662 (fscip) R 31657 31660 31114 0 -1 4194368 1699873 0 0 0 358274 238 0 0 20 0 3 0 4474205 845287424 170558 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
[pid=31660/tid=31663] ppid=31657 vsize=825476 memory=-7235995442886041467 CPUtime=0.04 cores=4,6
/proc/31660/task/31663/stat : 31663 (fscip) S 31657 31660 31114 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4474216 845287424 170558 134679101440 4194304 16623229 140730260642368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32423936 140730260644886 140730260645002 140730260645002 140730260652016 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 825476 KiB
Current children cumulated memory: 682232 KiB
Child status: 0
Real time (s): 3598.17
CPU time (s): 3586.78
CPU user time (s): 3584.18
CPU system time (s): 2.60313
CPU usage (%): 99.6836
Max. virtual memory (cumulated for all children) (KiB): 825476
Max. memory (cumulated for all children) (KiB): 682232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.18
system time used= 2.60312
maximum resident set size= 682232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1767898
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= 10498
involuntary context switches= 1083
# summary of solver processes directly reported to runsolver:
# pid: 31660
# total CPU time (s): 3586.78
# total CPU user time (s): 3584.18
# total CPU system time (s): 2.60313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9016 second user time and 15.1017 second system time
The end
Begin job on nodeC025 at 2024-07-31 00:32:22
IDJOB=4464333
IDBENCH=147891
IDSOLVER=3092
FILE ID=nodeC025/4464333-1722378742
RUNJOBID= nodeC025-1722378594-31127
SLURM_JOB_ID= 8249848
Free space on /tmp= 889928 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.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-4464333-1722378742/watcher-4464333-1722378742 -o /tmp/evaluation-result-4464333-1722378742/solver-4464333-1722378742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31127 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464333-1722378742.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=292526229
nodeC025.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 : 3666.615
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 : 7000.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.053
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.96
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 : 3600.216
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 : 7000.10
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.090
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.96
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 : 3668.726
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 : 7000.10
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 : 3683.097
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.96
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 : 3660.800
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 : 7000.10
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.284
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 114832972 kB
MemAvailable: 120913980 kB
Buffers: 86572 kB
Cached: 6771472 kB
SwapCached: 0 kB
Active: 331512 kB
Inactive: 15741576 kB
Active(anon): 1560 kB
Inactive(anon): 9234816 kB
Active(file): 329952 kB
Inactive(file): 6506760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29604 kB
Writeback: 0 kB
AnonPages: 9215088 kB
Mapped: 124876 kB
Shmem: 21336 kB
KReclaimable: 168240 kB
Slab: 258128 kB
SReclaimable: 168240 kB
SUnreclaim: 89888 kB
KernelStack: 4288 kB
PageTables: 27388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7927172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3205120 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: 248532 kB
DirectMap2M: 11059200 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC025 at 2024-07-31 01:32:20