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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 35155968, getVmSize() = 35155968, SCIPgetMemUsed() = 9075442, SCIPgetMemTotal() = 13337442, SCIPgetMemExternEstim() = 4730807
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.79/0.80 c ** Estimated virtualMemUsedAtSolver = 34992128, getVmSize() = 69820416, SCIPgetMemUsed() = 32400635, SCIPgetMemTotal() = 46585171, SCIPgetMemExternEstim() = 4730807
0.79/0.80 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.79/0.80 c Original Problem :
0.79/0.80 c Problem name : instance-4434792-1721117154
0.79/0.80 c Variables : 2130 (2130 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.80 c Constraints : 2495
0.79/0.80 c Objective sense : minimize
0.79/0.80 c Presolved Problem :
0.79/0.80 c Variables : 1505 (1505 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.80 c Constraints : 686
0.79/0.80 c Constraints : Number
0.79/0.80 c knapsack : 320
0.79/0.80 c setppc : 47
0.79/0.80 c orbitope : 319
0.79/0.80 c ** Instance transfer method used: 0
0.79/0.81 c ** ParaScipInstance copy increased the number of variables. **
0.79/0.82 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.82 c Nodes Active
0.79/0.82 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.74/5.80 c 6 122 113 1 - 5.0000 -
10.83/10.90 c 11 1003 304 1 - 5.0000 -
16.31/16.40 c 16 1716 1 1 - 5.0000 -
21.49/21.62 c 22 2003 262 1 - 5.0000 -
26.57/26.75 c 27 3006 409 1 - 5.0000 -
31.66/31.83 c 32 3605 657 1 - 5.0000 -
36.75/36.91 c 37 4476 910 1 - 5.0000 -
41.84/42.01 c 42 5300 1132 1 - 5.0000 -
46.82/47.10 c 47 6235 1351 1 - 5.0000 -
51.91/52.19 c 52 6964 1606 1 - 5.0000 -
56.98/57.27 c 57 7867 1841 1 - 5.0000 -
62.07/62.32 c 62 8684 2057 1 - 5.0000 -
67.05/67.37 c 67 9497 2341 1 - 5.0000 -
72.24/72.53 c 73 10260 2548 1 - 5.0000 -
77.42/77.71 c 78 10957 2808 1 - 5.0000 -
82.41/82.78 c 83 11755 3047 1 - 5.0000 -
87.49/87.89 c 88 12539 3339 1 - 5.0000 -
92.57/92.94 c 93 13330 3639 1 - 5.0000 -
97.55/97.99 c 98 14437 3965 1 - 5.0000 -
102.64/103.09 c 103 15323 4263 1 - 5.0000 -
107.72/108.15 c 108 16153 4505 1 - 5.0000 -
112.80/113.25 c 113 16956 4739 1 - 5.0000 -
117.88/118.32 c 118 17882 5006 1 - 5.0000 -
122.87/123.37 c 123 18792 5294 1 - 5.0000 -
127.95/128.48 c 128 19586 5781 1 - 5.0000 -
133.04/133.56 c 134 20487 6281 1 - 5.0000 -
138.12/138.64 c 139 21345 6709 1 - 5.0000 -
143.20/143.71 c 144 22178 7051 1 - 5.0000 -
148.29/148.83 c 149 23046 7391 1 - 5.0000 -
153.37/153.91 c 154 24029 7736 1 - 5.0000 -
158.36/159.01 c 159 24846 8104 1 - 5.0000 -
163.44/164.06 c 164 25735 8343 1 - 5.0000 -
168.43/169.10 c 169 26769 8698 1 - 5.0000 -
173.60/174.20 c 174 27907 9003 1 - 5.0000 -
178.69/179.30 c 179 28835 9343 1 - 5.0000 -
183.66/184.35 c 184 29800 9601 1 - 5.0000 -
188.75/189.40 c 189 30664 9874 1 - 5.0000 -
193.74/194.46 c 194 31476 10175 1 - 5.0000 -
198.82/199.59 c 200 32523 10537 1 - 5.0000 -
203.91/204.65 c 205 33564 10746 1 - 5.0000 -
209.09/209.84 c 210 34455 11010 1 - 5.0000 -
214.07/214.88 c 215 35472 11256 1 - 5.0000 -
219.15/220.01 c 220 36447 11508 1 - 5.0000 -
224.24/225.06 c 225 37335 11764 1 - 5.0000 -
229.32/230.17 c 230 38136 12081 1 - 5.0000 -
234.39/235.25 c 235 39006 12344 1 - 5.0000 -
239.48/240.32 c 240 39963 12605 1 - 5.0000 -
244.56/245.43 c 245 40835 12896 1 - 5.0000 -
249.65/250.52 c 251 41768 13192 1 - 5.0000 -
254.73/255.65 c 256 42739 13487 1 - 5.0000 -
259.81/260.70 c 261 43635 13809 1 - 5.0000 -
264.80/265.79 c 266 44574 14083 1 - 5.0000 -
269.89/270.88 c 271 45600 14458 1 - 5.0000 -
274.96/275.99 c 276 46534 14789 1 - 5.0000 -
280.06/281.03 c 281 47448 15098 1 - 5.0000 -
285.04/286.09 c 286 48516 15412 1 - 5.0000 -
290.22/291.21 c 291 49460 15768 1 - 5.0000 -
295.19/296.27 c 296 50374 16096 1 - 5.0000 -
300.28/301.34 c 301 51360 16371 1 - 5.0000 -
305.26/306.38 c 306 52328 16651 1 - 5.0000 -
310.35/311.46 c 311 53258 16983 1 - 5.0000 -
315.43/316.53 c 317 54256 17294 1 - 5.0000 -
320.51/321.61 c 322 55221 17598 1 - 5.0000 -
325.49/326.67 c 327 56175 17975 1 - 5.0000 -
330.58/331.74 c 332 57002 18279 1 - 5.0000 -
335.67/336.80 c 337 57960 18560 1 - 5.0000 -
340.65/341.88 c 342 58943 18925 1 - 5.0000 -
345.74/346.94 c 347 59862 19215 1 - 5.0000 -
350.72/352.01 c 352 60850 19481 1 - 5.0000 -
355.91/357.19 c 357 61667 19809 1 - 5.0000 -
361.08/362.31 c 362 62664 20096 1 - 5.0000 -
366.06/367.37 c 367 63520 20335 1 - 5.0000 -
371.15/372.43 c 372 64412 20644 1 - 5.0000 -
376.13/377.48 c 377 65304 20914 1 - 5.0000 -
381.22/382.53 c 383 66211 21192 1 - 5.0000 -
386.30/387.62 c 388 67110 21495 1 - 5.0000 -
391.29/392.69 c 393 68113 21750 1 - 5.0000 -
396.37/397.74 c 398 69120 22040 1 - 5.0000 -
401.45/402.80 c 403 70064 22366 1 - 5.0000 -
406.44/407.87 c 408 70983 22681 1 - 5.0000 -
411.52/412.92 c 413 71906 22991 1 - 5.0000 -
416.50/417.97 c 418 72920 23243 1 - 5.0000 -
421.60/423.04 c 423 73814 23532 1 - 5.0000 -
426.58/428.10 c 428 74709 23824 1 - 5.0000 -
431.67/433.15 c 433 75657 24116 1 - 5.0000 -
436.74/438.23 c 438 76499 24326 1 - 5.0000 -
441.73/443.29 c 443 77429 24635 1 - 5.0000 -
446.81/448.35 c 448 78262 25035 1 - 5.0000 -
451.89/453.41 c 453 79199 25307 1 - 5.0000 -
457.08/458.60 c 459 80159 25607 1 - 5.0000 -
462.06/463.67 c 464 81092 25913 1 - 5.0000 -
467.14/468.74 c 469 81998 26254 1 - 5.0000 -
472.23/473.83 c 474 82981 26584 1 - 5.0000 -
477.21/478.87 c 479 83868 26895 1 - 5.0000 -
482.30/483.96 c 484 84802 27156 1 - 5.0000 -
487.38/489.02 c 489 85716 27482 1 - 5.0000 -
492.36/494.07 c 494 86599 27817 1 - 5.0000 -
497.45/499.18 c 499 87473 28228 1 - 5.0000 -
502.53/504.23 c 504 88329 28552 1 - 5.0000 -
507.51/509.29 c 509 89260 28872 1 - 5.0000 -
512.60/514.33 c 514 90137 29232 1 - 5.0000 -
517.58/519.40 c 519 91065 29670 1 - 5.0000 -
522.66/524.46 c 524 92078 30009 1 - 5.0000 -
527.74/529.54 c 530 93036 30327 1 - 5.0000 -
532.73/534.59 c 535 94007 30594 1 - 5.0000 -
537.82/539.66 c 540 94998 30871 1 - 5.0000 -
542.90/544.74 c 545 95955 31177 1 - 5.0000 -
547.99/549.80 c 550 96840 31481 1 - 5.0000 -
552.97/554.89 c 555 97747 31798 1 - 5.0000 -
558.06/559.93 c 560 98667 32107 1 - 5.0000 -
563.15/565.01 c 565 99648 32456 1 - 5.0000 -
568.13/570.09 c 570 100551 32771 1 - 5.0000 -
573.30/575.20 c 575 101572 33110 1 - 5.0000 -
578.38/580.30 c 580 102424 33453 1 - 5.0000 -
583.47/585.40 c 585 103392 33826 1 - 5.0000 -
588.56/590.59 c 591 104337 34210 1 - 5.0000 -
593.64/595.65 c 596 105280 34553 1 - 5.0000 -
598.72/600.72 c 601 106115 34844 1 - 5.0000 -
603.81/605.80 c 606 107028 35146 1 - 5.0000 -
608.79/610.88 c 611 107938 35482 1 - 5.0000 -
613.88/615.95 c 616 108823 35804 1 - 5.0000 -
618.97/621.02 c 621 109790 36107 1 - 5.0000 -
623.96/626.06 c 626 110666 36424 1 - 5.0000 -
629.04/631.12 c 631 111577 36763 1 - 5.0000 -
634.11/636.24 c 636 112489 37098 1 - 5.0000 -
639.20/641.33 c 641 113445 37390 1 - 5.0000 -
644.28/646.41 c 646 114374 37715 1 - 5.0000 -
649.37/651.50 c 652 115396 38082 1 - 5.0000 -
654.35/656.58 c 657 116299 38378 1 - 5.0000 -
659.44/661.64 c 662 117166 38703 1 - 5.0000 -
664.52/666.70 c 667 118058 39067 1 - 5.0000 -
669.50/671.75 c 672 118882 39323 1 - 5.0000 -
674.59/676.80 c 677 119694 39547 1 - 5.0000 -
679.58/681.89 c 682 120609 39812 1 - 5.0000 -
684.66/686.96 c 687 121443 40092 1 - 5.0000 -
689.75/692.04 c 692 122379 40361 1 - 5.0000 -
694.74/697.08 c 697 123219 40588 1 - 5.0000 -
699.82/702.15 c 702 124120 40954 1 - 5.0000 -
704.90/707.23 c 707 125134 41262 1 - 5.0000 -
709.88/712.29 c 712 125955 41490 1 - 5.0000 -
714.97/717.34 c 717 126871 41767 1 - 5.0000 -
719.96/722.39 c 722 127736 42035 1 - 5.0000 -
725.14/727.50 c 728 128507 42324 1 - 5.0000 -
730.13/732.56 c 733 129359 42600 1 - 5.0000 -
735.20/737.63 c 738 130108 42917 1 - 5.0000 -
740.19/742.68 c 743 130963 43106 1 - 5.0000 -
745.27/747.74 c 748 131849 43414 1 - 5.0000 -
750.26/752.79 c 753 132711 43766 1 - 5.0000 -
755.35/757.88 c 758 133508 44109 1 - 5.0000 -
760.43/762.94 c 763 134394 44337 1 - 5.0000 -
765.53/768.04 c 768 135279 44508 1 - 5.0000 -
770.51/773.09 c 773 136277 44913 1 - 5.0000 -
775.59/778.15 c 778 137148 45259 1 - 5.0000 -
780.66/783.20 c 783 138041 45514 1 - 5.0000 -
785.65/788.29 c 788 139055 45662 1 - 5.0000 -
790.72/793.35 c 793 139890 45787 1 - 5.0000 -
795.81/798.44 c 798 140761 46022 1 - 5.0000 -
800.89/803.50 c 804 141855 46289 1 - 5.0000 -
805.88/808.56 c 809 142926 46609 1 - 5.0000 -
810.96/813.62 c 814 143859 46869 1 - 5.0000 -
815.94/818.68 c 819 144824 47156 1 - 5.0000 -
821.02/823.75 c 824 145831 47501 1 - 5.0000 -
826.11/828.82 c 829 146768 47900 1 - 5.0000 -
831.09/833.86 c 834 147659 48199 1 - 5.0000 -
836.18/838.92 c 839 148571 48488 1 - 5.0000 -
841.16/843.97 c 844 149461 48788 1 - 5.0000 -
846.25/849.03 c 849 150495 49137 1 - 5.0000 -
851.24/854.07 c 854 151598 49462 1 - 5.0000 -
856.32/859.13 c 859 152533 49718 1 - 5.0000 -
861.40/864.20 c 864 153576 50102 1 - 5.0000 -
866.38/869.25 c 869 154578 50354 1 - 5.0000 -
871.46/874.34 c 874 155555 50673 1 - 5.0000 -
876.54/879.40 c 879 156527 50990 1 - 5.0000 -
881.62/884.55 c 885 157434 51359 1 - 5.0000 -
886.71/889.62 c 890 158390 51682 1 - 5.0000 -
891.70/894.67 c 895 159361 52051 1 - 5.0000 -
896.77/899.72 c 900 160364 52432 1 - 5.0000 -
901.75/904.78 c 905 161327 52729 1 - 5.0000 -
906.83/909.83 c 910 162336 53047 1 - 5.0000 -
911.92/914.95 c 915 163286 53472 1 - 5.0000 -
916.89/920.01 c 920 164322 53748 1 - 5.0000 -
922.08/925.13 c 925 165350 54045 1 - 5.0000 -
927.07/930.19 c 930 166392 54381 1 - 5.0000 -
932.14/935.26 c 935 167329 54598 1 - 5.0000 -
937.22/940.32 c 940 168308 54962 1 - 5.0000 -
942.30/945.40 c 945 169287 55284 1 - 5.0000 -
947.28/950.48 c 950 170371 55606 1 - 5.0000 -
952.36/955.53 c 956 171412 55889 1 - 5.0000 -
957.44/960.61 c 961 172448 56147 1 - 5.0000 -
962.42/965.66 c 966 173460 56479 1 - 5.0000 -
967.51/970.71 c 971 174408 56752 1 - 5.0000 -
972.49/975.76 c 976 175442 57082 1 - 5.0000 -
977.58/980.84 c 981 176388 57361 1 - 5.0000 -
982.56/985.89 c 986 177375 57706 1 - 5.0000 -
987.65/990.94 c 991 178344 58041 1 - 5.0000 -
992.74/996.01 c 996 179394 58355 1 - 5.0000 -
997.73/1001.06 c 1001 180407 58724 1 - 5.0000 -
1002.81/1006.12 c 1006 181379 59020 1 - 5.0000 -
1007.80/1011.18 c 1011 182355 59298 1 - 5.0000 -
1012.87/1016.23 c 1016 183449 59674 1 - 5.0000 -
1017.86/1021.28 c 1021 184396 60006 1 - 5.0000 -
1022.95/1026.33 c 1026 185433 60289 1 - 5.0000 -
1027.93/1031.38 c 1031 186480 60638 1 - 5.0000 -
1033.01/1036.45 c 1036 187370 60923 1 - 5.0000 -
1038.11/1041.52 c 1042 188291 61174 1 - 5.0000 -
1043.19/1046.60 c 1047 189345 61445 1 - 5.0000 -
1048.17/1051.67 c 1052 190250 61793 1 - 5.0000 -
1053.26/1056.72 c 1057 191132 62165 1 - 5.0000 -
1058.34/1061.80 c 1062 192156 62545 1 - 5.0000 -
1063.33/1066.85 c 1067 193070 62884 1 - 5.0000 -
1068.42/1071.93 c 1072 194144 63221 1 - 5.0000 -
1073.51/1077.01 c 1077 195031 63474 1 - 5.0000 -
1078.60/1082.15 c 1082 196089 63810 1 - 5.0000 -
1083.58/1087.19 c 1087 197124 64102 1 - 5.0000 -
1088.66/1092.25 c 1092 198104 64363 1 - 5.0000 -
1093.74/1097.32 c 1097 199043 64724 1 - 5.0000 -
1098.73/1102.37 c 1102 200053 65057 1 - 5.0000 -
1103.81/1107.43 c 1107 201032 65308 1 - 5.0000 -
1108.80/1112.47 c 1112 201961 65602 1 - 5.0000 -
1113.89/1117.53 c 1118 202958 65899 1 - 5.0000 -
1118.87/1122.58 c 1123 203955 66213 1 - 5.0000 -
1123.95/1127.63 c 1128 204876 66470 1 - 5.0000 -
1129.04/1132.70 c 1133 205835 66729 1 - 5.0000 -
1134.03/1137.76 c 1138 206902 67054 1 - 5.0000 -
1139.11/1142.85 c 1143 207925 67448 1 - 5.0000 -
1144.10/1147.89 c 1148 208850 67758 1 - 5.0000 -
1149.29/1153.02 c 1153 209831 68038 1 - 5.0000 -
1154.28/1158.08 c 1158 210896 68351 1 - 5.0000 -
1159.45/1163.25 c 1163 211946 68638 1 - 5.0000 -
1164.53/1168.30 c 1168 212979 68986 1 - 5.0000 -
1169.52/1173.37 c 1173 213833 69339 1 - 5.0000 -
1174.60/1178.44 c 1178 214699 69609 1 - 5.0000 -
1179.69/1183.51 c 1184 215703 69913 1 - 5.0000 -
1184.78/1188.67 c 1189 216811 70227 1 - 5.0000 -
1189.95/1193.82 c 1194 217791 70491 1 - 5.0000 -
1194.94/1198.88 c 1199 218790 70790 1 - 5.0000 -
1200.01/1203.97 c 1204 219755 70995 1 - 5.0000 -
1205.11/1209.03 c 1209 220777 71298 1 - 5.0000 -
1210.20/1214.16 c 1214 221743 71603 1 - 5.0000 -
1215.26/1219.21 c 1219 222732 71922 1 - 5.0000 -
1220.24/1224.27 c 1224 223722 72159 1 - 5.0000 -
1225.33/1229.32 c 1229 224797 72487 1 - 5.0000 -
1230.31/1234.37 c 1234 225765 72780 1 - 5.0000 -
1235.39/1239.42 c 1239 226793 73100 1 - 5.0000 -
1240.38/1244.47 c 1244 227790 73330 1 - 5.0000 -
1245.45/1249.52 c 1250 228800 73720 1 - 5.0000 -
1250.43/1254.59 c 1255 229823 74072 1 - 5.0000 -
1255.52/1259.63 c 1260 230763 74344 1 - 5.0000 -
1260.50/1264.69 c 1265 231680 74655 1 - 5.0000 -
1265.58/1269.75 c 1270 232576 74990 1 - 5.0000 -
1270.67/1274.82 c 1275 233547 75376 1 - 5.0000 -
1275.65/1279.88 c 1280 234506 75703 1 - 5.0000 -
1280.73/1284.93 c 1285 235386 75971 1 - 5.0000 -
1285.83/1290.08 c 1290 236419 76233 1 - 5.0000 -
1290.91/1295.14 c 1295 237386 76523 1 - 5.0000 -
1295.97/1300.23 c 1300 238371 76804 1 - 5.0000 -
1301.05/1305.32 c 1305 239365 77096 1 - 5.0000 -
1306.04/1310.38 c 1310 240324 77403 1 - 5.0000 -
1311.22/1315.50 c 1316 241323 77679 1 - 5.0000 -
1316.20/1320.57 c 1321 242232 77962 1 - 5.0000 -
1321.28/1325.63 c 1326 243189 78245 1 - 5.0000 -
1326.26/1330.68 c 1331 244060 78473 1 - 5.0000 -
1331.34/1335.74 c 1336 245028 78751 1 - 5.0000 -
1336.33/1340.78 c 1341 246002 79015 1 - 5.0000 -
1341.41/1345.84 c 1346 246959 79255 1 - 5.0000 -
1346.49/1350.94 c 1351 247871 79546 1 - 5.0000 -
1351.58/1356.09 c 1356 248739 79843 1 - 5.0000 -
1356.66/1361.15 c 1361 249679 80093 1 - 5.0000 -
1361.73/1366.21 c 1366 250622 80461 1 - 5.0000 -
1366.71/1371.27 c 1371 251536 80828 1 - 5.0000 -
1371.79/1376.32 c 1376 252508 81144 1 - 5.0000 -
1376.78/1381.39 c 1381 253546 81450 1 - 5.0000 -
1381.86/1386.45 c 1386 254477 81791 1 - 5.0000 -
1386.94/1391.52 c 1392 255492 81996 1 - 5.0000 -
1392.02/1396.67 c 1397 256390 82263 1 - 5.0000 -
1397.10/1401.72 c 1402 257420 82473 1 - 5.0000 -
1402.09/1406.78 c 1407 258319 82802 1 - 5.0000 -
1407.16/1411.83 c 1412 259309 82993 1 - 5.0000 -
1412.15/1416.90 c 1417 260286 83292 1 - 5.0000 -
1417.23/1421.94 c 1422 261290 83583 1 - 5.0000 -
1422.33/1427.01 c 1427 262119 83878 1 - 5.0000 -
1427.30/1432.09 c 1432 263053 84259 1 - 5.0000 -
1432.38/1437.15 c 1437 264008 84539 1 - 5.0000 -
1437.46/1442.30 c 1442 264984 84851 1 - 5.0000 -
1442.53/1447.35 c 1447 265973 85157 1 - 5.0000 -
1447.61/1452.44 c 1452 266934 85421 1 - 5.0000 -
1452.70/1457.55 c 1458 267828 85678 1 - 5.0000 -
1457.78/1462.61 c 1463 268797 85945 1 - 5.0000 -
1462.76/1467.67 c 1468 269745 86260 1 - 5.0000 -
1467.85/1472.75 c 1473 270684 86495 1 - 5.0000 -
1472.92/1477.80 c 1478 271611 86805 1 - 5.0000 -
1478.00/1482.90 c 1483 272465 87139 1 - 5.0000 -
1482.99/1487.95 c 1488 273496 87459 1 - 5.0000 -
1488.08/1493.01 c 1493 274532 87739 1 - 5.0000 -
1493.06/1498.06 c 1498 275565 87979 1 - 5.0000 -
1498.15/1503.15 c 1503 276546 88272 1 - 5.0000 -
1503.22/1508.23 c 1508 277531 88551 1 - 5.0000 -
1508.20/1513.28 c 1513 278531 88853 1 - 5.0000 -
1513.29/1518.34 c 1518 279487 89142 1 - 5.0000 -
1518.28/1523.39 c 1523 280467 89386 1 - 5.0000 -
1523.36/1528.46 c 1528 281400 89686 1 - 5.0000 -
1528.45/1533.50 c 1534 282397 89980 1 - 5.0000 -
1533.44/1538.58 c 1539 283312 90257 1 - 5.0000 -
1538.52/1543.62 c 1544 284263 90572 1 - 5.0000 -
1543.50/1548.68 c 1549 285186 90838 1 - 5.0000 -
1548.59/1553.73 c 1554 286222 91117 1 - 5.0000 -
1553.67/1558.81 c 1559 287161 91445 1 - 5.0000 -
1558.66/1563.86 c 1564 288187 91693 1 - 5.0000 -
1563.74/1568.98 c 1569 289054 92004 1 - 5.0000 -
1568.84/1574.04 c 1574 290008 92293 1 - 5.0000 -
1573.83/1579.11 c 1579 291040 92609 1 - 5.0000 -
1578.90/1584.15 c 1584 292035 92878 1 - 5.0000 -
1583.98/1589.24 c 1589 293004 93179 1 - 5.0000 -
1588.97/1594.29 c 1594 293995 93444 1 - 5.0000 -
1594.05/1599.36 c 1599 295022 93690 1 - 5.0000 -
1599.13/1604.41 c 1604 295953 93897 1 - 5.0000 -
1604.12/1609.47 c 1609 296838 94177 1 - 5.0000 -
1609.21/1614.53 c 1615 297772 94435 1 - 5.0000 -
1614.29/1619.66 c 1620 298686 94744 1 - 5.0000 -
1619.38/1624.74 c 1625 299735 95034 1 - 5.0000 -
1624.46/1629.88 c 1630 300686 95342 1 - 5.0000 -
1629.55/1634.95 c 1635 301629 95643 1 - 5.0000 -
1634.65/1640.01 c 1640 302561 95948 1 - 5.0000 -
1639.73/1645.13 c 1645 303545 96226 1 - 5.0000 -
1644.72/1650.18 c 1650 304454 96517 1 - 5.0000 -
1649.78/1655.24 c 1655 305312 96731 1 - 5.0000 -
1654.87/1660.31 c 1660 306308 96977 1 - 5.0000 -
1659.86/1665.36 c 1665 307308 97208 1 - 5.0000 -
1664.95/1670.41 c 1670 308229 97452 1 - 5.0000 -
1669.93/1675.46 c 1675 309131 97670 1 - 5.0000 -
1675.02/1680.53 c 1681 310044 97891 1 - 5.0000 -
1679.99/1685.58 c 1686 310929 98069 1 - 5.0000 -
1685.08/1690.64 c 1691 311764 98325 1 - 5.0000 -
1690.17/1695.72 c 1696 312641 98554 1 - 5.0000 -
1695.25/1700.83 c 1701 313454 98962 1 - 5.0000 -
1700.33/1705.99 c 1706 314423 99246 1 - 5.0000 -
1705.43/1711.08 c 1711 315340 99476 1 - 5.0000 -
1710.51/1716.14 c 1716 316345 99765 1 - 5.0000 -
1715.50/1721.18 c 1721 317288 100018 1 - 5.0000 -
1720.57/1726.24 c 1726 318175 100255 1 - 5.0000 -
1725.66/1731.32 c 1731 319071 100620 1 - 5.0000 -
1730.64/1736.36 c 1736 320012 100855 1 - 5.0000 -
1735.73/1741.48 c 1741 320999 101186 1 - 5.0000 -
1740.81/1746.55 c 1747 322011 101445 1 - 5.0000 -
1745.90/1751.60 c 1752 322935 101712 1 - 5.0000 -
1750.89/1756.65 c 1757 323924 101963 1 - 5.0000 -
1755.97/1761.70 c 1762 324963 102296 1 - 5.0000 -
1761.05/1766.89 c 1767 325860 102612 1 - 5.0000 -
1766.14/1771.94 c 1772 326808 102932 1 - 5.0000 -
1771.13/1777.01 c 1777 327749 103256 1 - 5.0000 -
1776.21/1782.07 c 1782 328569 103570 1 - 5.0000 -
1781.30/1787.12 c 1787 329492 103826 1 - 5.0000 -
1786.27/1792.19 c 1792 330423 104026 1 - 5.0000 -
1791.35/1797.27 c 1797 331328 104219 1 - 5.0000 -
1796.43/1802.31 c 1802 332242 104605 1 - 5.0000 -
1801.52/1807.44 c 1807 333197 104832 1 - 5.0000 -
1806.60/1812.55 c 1813 334172 105068 1 - 5.0000 -
1811.69/1817.61 c 1818 335112 105327 1 - 5.0000 -
1816.67/1822.67 c 1823 336086 105566 1 - 5.0000 -
1821.76/1827.73 c 1828 336988 105870 1 - 5.0000 -
1826.75/1832.79 c 1833 337898 106231 1 - 5.0000 -
1831.93/1837.91 c 1838 338821 106536 1 - 5.0000 -
1836.92/1842.96 c 1843 339703 106760 1 - 5.0000 -
1842.01/1848.02 c 1848 340716 107070 1 - 5.0000 -
1846.99/1853.07 c 1853 341657 107390 1 - 5.0000 -
1852.08/1858.19 c 1858 342500 107759 1 - 5.0000 -
1857.15/1863.27 c 1863 343376 108083 1 - 5.0000 -
1862.24/1868.33 c 1868 344319 108430 1 - 5.0000 -
1867.23/1873.38 c 1873 345279 108742 1 - 5.0000 -
1872.31/1878.43 c 1878 346220 109056 1 - 5.0000 -
1877.30/1883.49 c 1883 347156 109234 1 - 5.0000 -
1882.48/1888.60 c 1889 348087 109481 1 - 5.0000 -
1887.46/1893.67 c 1894 349135 109775 1 - 5.0000 -
1892.55/1898.75 c 1899 350125 110025 1 - 5.0000 -
1897.64/1903.83 c 1904 351027 110243 1 - 5.0000 -
1902.62/1908.89 c 1909 351933 110573 1 - 5.0000 -
1907.70/1913.97 c 1914 352906 110852 1 - 5.0000 -
1912.80/1919.05 c 1919 353772 111136 1 - 5.0000 -
1917.89/1924.13 c 1924 354696 111434 1 - 5.0000 -
1922.96/1929.20 c 1929 355553 111649 1 - 5.0000 -
1927.94/1934.26 c 1934 356434 111876 1 - 5.0000 -
1933.14/1939.45 c 1939 357305 112070 1 - 5.0000 -
1938.11/1944.49 c 1944 358295 112343 1 - 5.0000 -
1943.20/1949.54 c 1950 359217 112613 1 - 5.0000 -
1948.29/1954.61 c 1955 360126 112848 1 - 5.0000 -
1953.28/1959.67 c 1960 361068 113202 1 - 5.0000 -
1958.36/1964.74 c 1965 361989 113418 1 - 5.0000 -
1963.34/1969.79 c 1970 362990 113627 1 - 5.0000 -
1968.53/1974.91 c 1975 363855 113857 1 - 5.0000 -
1973.51/1979.96 c 1980 364853 114112 1 - 5.0000 -
1978.61/1985.01 c 1985 365858 114347 1 - 5.0000 -
1983.69/1990.19 c 1990 366686 114733 1 - 5.0000 -
1988.76/1995.25 c 1995 367600 114933 1 - 5.0000 -
1993.85/2000.33 c 2000 368465 115236 1 - 5.0000 -
1998.84/2005.39 c 2005 369425 115489 1 - 5.0000 -
2003.92/2010.47 c 2010 370409 115740 1 - 5.0000 -
2009.01/2015.53 c 2016 371354 115944 1 - 5.0000 -
2014.09/2020.60 c 2021 372252 116129 1 - 5.0000 -
2019.07/2025.64 c 2026 373245 116358 1 - 5.0000 -
2024.16/2030.77 c 2031 374148 116579 1 - 5.0000 -
2029.24/2035.85 c 2036 374985 116837 1 - 5.0000 -
2034.33/2040.90 c 2041 375901 117088 1 - 5.0000 -
2039.31/2045.97 c 2046 376822 117330 1 - 5.0000 -
2044.39/2051.03 c 2051 377762 117493 1 - 5.0000 -
2049.38/2056.09 c 2056 378756 117726 1 - 5.0000 -
2054.46/2061.15 c 2061 379746 117999 1 - 5.0000 -
2059.53/2066.22 c 2066 380761 118198 1 - 5.0000 -
2064.50/2071.28 c 2071 381755 118479 1 - 5.0000 -
2069.59/2076.32 c 2076 382745 118747 1 - 5.0000 -
2074.67/2081.43 c 2081 383626 118958 1 - 5.0000 -
2079.65/2086.49 c 2086 384536 119280 1 - 5.0000 -
2084.73/2091.53 c 2092 385422 119504 1 - 5.0000 -
2089.82/2096.60 c 2097 386450 119774 1 - 5.0000 -
2094.79/2101.65 c 2102 387338 120064 1 - 5.0000 -
2099.87/2106.72 c 2107 388196 120299 1 - 5.0000 -
2104.96/2111.80 c 2112 389166 120502 1 - 5.0000 -
2110.04/2116.90 c 2117 390106 120722 1 - 5.0000 -
2115.01/2122.01 c 2122 391018 121020 1 - 5.0000 -
2120.11/2127.06 c 2127 391867 121428 1 - 5.0000 -
2125.19/2132.15 c 2132 392761 121853 1 - 5.0000 -
2130.18/2137.19 c 2137 393792 122123 1 - 5.0000 -
2135.25/2142.24 c 2142 394827 122379 1 - 5.0000 -
2140.34/2147.35 c 2147 395773 122596 1 - 5.0000 -
2145.42/2152.44 c 2152 396834 122890 1 - 5.0000 -
2150.50/2157.52 c 2158 397837 123252 1 - 5.0000 -
2155.50/2162.57 c 2163 398926 123549 1 - 5.0000 -
2160.58/2167.63 c 2168 399928 123774 1 - 5.0000 -
2165.56/2172.68 c 2173 400908 124007 1 - 5.0000 -
2170.65/2177.73 c 2178 401874 124257 1 - 5.0000 -
2175.73/2182.80 c 2183 402882 124555 1 - 5.0000 -
2180.94/2188.05 c 2188 403847 124772 1 - 5.0000 -
2186.02/2193.11 c 2193 404794 125057 1 - 5.0000 -
2191.01/2198.16 c 2198 405716 125279 1 - 5.0000 -
2196.08/2203.22 c 2203 406715 125498 1 - 5.0000 -
2201.17/2208.30 c 2208 407686 125728 1 - 5.0000 -
2206.15/2213.35 c 2213 408623 126094 1 - 5.0000 -
2211.24/2218.42 c 2218 409563 126330 1 - 5.0000 -
2216.22/2223.49 c 2223 410534 126641 1 - 5.0000 -
2221.41/2228.61 c 2229 411444 126883 1 - 5.0000 -
2226.49/2233.71 c 2234 412505 127127 1 - 5.0000 -
2231.48/2238.77 c 2239 413507 127401 1 - 5.0000 -
2236.57/2243.88 c 2244 414397 127634 1 - 5.0000 -
2241.65/2248.93 c 2249 415469 127874 1 - 5.0000 -
2246.64/2254.01 c 2254 416392 128125 1 - 5.0000 -
2251.74/2259.05 c 2259 417453 128376 1 - 5.0000 -
2256.72/2264.10 c 2264 418449 128624 1 - 5.0000 -
2261.80/2269.17 c 2269 419398 128885 1 - 5.0000 -
2266.87/2274.22 c 2274 420291 129102 1 - 5.0000 -
2271.96/2279.37 c 2279 421197 129381 1 - 5.0000 -
2277.05/2284.43 c 2284 422178 129637 1 - 5.0000 -
2282.03/2289.49 c 2290 423112 129879 1 - 5.0000 -
2287.12/2294.56 c 2295 424216 130141 1 - 5.0000 -
2292.20/2299.61 c 2300 425190 130387 1 - 5.0000 -
2297.29/2304.72 c 2305 426175 130610 1 - 5.0000 -
2302.37/2309.84 c 2310 427217 130898 1 - 5.0000 -
2307.47/2314.96 c 2315 428146 131128 1 - 5.0000 -
2312.56/2320.04 c 2320 429014 131332 1 - 5.0000 -
2317.65/2325.14 c 2325 430092 131587 1 - 5.0000 -
2322.71/2330.22 c 2330 431147 131835 1 - 5.0000 -
2327.71/2335.28 c 2335 432202 132092 1 - 5.0000 -
2332.79/2340.33 c 2340 433091 132369 1 - 5.0000 -
2337.87/2345.47 c 2345 434022 132632 1 - 5.0000 -
2342.97/2350.53 c 2351 435075 132844 1 - 5.0000 -
2347.95/2355.59 c 2356 436162 133083 1 - 5.0000 -
2353.03/2360.69 c 2361 437218 133357 1 - 5.0000 -
2358.13/2365.74 c 2366 438227 133642 1 - 5.0000 -
2363.11/2370.79 c 2371 439156 133869 1 - 5.0000 -
2368.19/2375.85 c 2376 440079 134088 1 - 5.0000 -
2373.28/2380.93 c 2381 441168 134304 1 - 5.0000 -
2378.26/2385.98 c 2386 442207 134643 1 - 5.0000 -
2383.36/2391.04 c 2391 443375 134897 1 - 5.0000 -
2388.45/2396.12 c 2396 444392 135133 1 - 5.0000 -
2393.43/2401.18 c 2401 445408 135315 1 - 5.0000 -
2398.50/2406.25 c 2406 446486 135569 1 - 5.0000 -
2403.59/2411.31 c 2411 447527 135826 1 - 5.0000 -
2408.58/2416.35 c 2416 448469 136059 1 - 5.0000 -
2413.66/2421.40 c 2421 449518 136350 1 - 5.0000 -
2418.65/2426.45 c 2426 450598 136567 1 - 5.0000 -
2423.74/2431.51 c 2432 451577 136813 1 - 5.0000 -
2428.72/2436.57 c 2437 452550 137166 1 - 5.0000 -
2433.80/2441.64 c 2442 453454 137401 1 - 5.0000 -
2438.90/2446.72 c 2447 454410 137670 1 - 5.0000 -
2443.88/2451.77 c 2452 455376 137864 1 - 5.0000 -
2448.97/2456.84 c 2457 456345 138129 1 - 5.0000 -
2454.17/2462.04 c 2462 457348 138308 1 - 5.0000 -
2459.25/2467.13 c 2467 458320 138653 1 - 5.0000 -
2464.23/2472.17 c 2472 459339 138878 1 - 5.0000 -
2469.31/2477.22 c 2477 460323 139061 1 - 5.0000 -
2474.40/2482.30 c 2482 461347 139346 1 - 5.0000 -
2479.38/2487.34 c 2487 462310 139536 1 - 5.0000 -
2484.47/2492.43 c 2492 463352 139837 1 - 5.0000 -
2489.46/2497.48 c 2497 464290 140088 1 - 5.0000 -
2494.64/2502.62 c 2503 465259 140336 1 - 5.0000 -
2499.63/2507.68 c 2508 466218 140618 1 - 5.0000 -
2504.71/2512.73 c 2513 467154 140818 1 - 5.0000 -
2509.69/2517.79 c 2518 468120 141110 1 - 5.0000 -
2514.78/2522.88 c 2523 469125 141317 1 - 5.0000 -
2519.87/2527.93 c 2528 470105 141587 1 - 5.0000 -
2524.96/2533.05 c 2533 471080 141788 1 - 5.0000 -
2529.93/2538.10 c 2538 471861 141987 1 - 5.0000 -
2535.01/2543.16 c 2543 472862 142309 1 - 5.0000 -
2540.09/2548.28 c 2548 473846 142542 1 - 5.0000 -
2545.17/2553.33 c 2553 474741 142777 1 - 5.0000 -
2550.16/2558.38 c 2558 475764 142989 1 - 5.0000 -
2555.25/2563.46 c 2563 476761 143208 1 - 5.0000 -
2560.33/2568.54 c 2569 477795 143439 1 - 5.0000 -
2565.42/2573.61 c 2574 478883 143695 1 - 5.0000 -
2570.50/2578.79 c 2579 479873 143890 1 - 5.0000 -
2575.58/2583.85 c 2584 480928 144143 1 - 5.0000 -
2580.68/2588.91 c 2589 481917 144413 1 - 5.0000 -
2585.66/2593.99 c 2594 482880 144645 1 - 5.0000 -
2590.75/2599.06 c 2599 483846 144899 1 - 5.0000 -
2595.74/2604.10 c 2604 484773 145206 1 - 5.0000 -
2600.91/2609.22 c 2609 485694 145442 1 - 5.0000 -
2606.01/2614.31 c 2614 486659 145730 1 - 5.0000 -
2610.99/2619.38 c 2619 487632 146192 1 - 5.0000 -
2616.08/2624.43 c 2624 488624 146441 1 - 5.0000 -
2621.06/2629.48 c 2629 489610 146652 1 - 5.0000 -
2626.15/2634.53 c 2635 490623 146884 1 - 5.0000 -
2631.23/2639.63 c 2640 491688 147182 1 - 5.0000 -
2636.32/2644.72 c 2645 492666 147451 1 - 5.0000 -
2641.30/2649.78 c 2650 493727 147644 1 - 5.0000 -
2646.39/2654.88 c 2655 494636 147911 1 - 5.0000 -
2651.48/2659.93 c 2660 495571 148099 1 - 5.0000 -
2656.46/2665.01 c 2665 496616 148375 1 - 5.0000 -
2661.55/2670.07 c 2670 497630 148633 1 - 5.0000 -
2666.64/2675.14 c 2675 498576 148969 1 - 5.0000 -
2671.62/2680.19 c 2680 499628 149284 1 - 5.0000 -
2676.69/2685.24 c 2685 500544 149476 1 - 5.0000 -
2681.69/2690.29 c 2690 501460 149702 1 - 5.0000 -
2686.77/2695.34 c 2695 502449 149880 1 - 5.0000 -
2691.85/2700.43 c 2700 503467 150070 1 - 5.0000 -
2696.93/2705.53 c 2706 504344 150213 1 - 5.0000 -
2701.93/2710.58 c 2711 505331 150411 1 - 5.0000 -
2707.01/2715.64 c 2716 506242 150730 1 - 5.0000 -
2711.99/2720.68 c 2721 507209 150952 1 - 5.0000 -
2717.08/2725.74 c 2726 508163 151199 1 - 5.0000 -
2722.17/2730.81 c 2731 509158 151528 1 - 5.0000 -
2727.36/2736.04 c 2736 510132 151681 1 - 5.0000 -
2732.35/2741.09 c 2741 511087 151906 1 - 5.0000 -
2737.44/2746.15 c 2746 511972 152159 1 - 5.0000 -
2742.52/2751.21 c 2751 513020 152391 1 - 5.0000 -
2747.50/2756.26 c 2756 514017 152643 1 - 5.0000 -
2752.58/2761.32 c 2761 514915 152827 1 - 5.0000 -
2757.57/2766.39 c 2766 515933 153076 1 - 5.0000 -
2762.66/2771.46 c 2771 516903 153307 1 - 5.0000 -
2767.74/2776.56 c 2777 517870 153500 1 - 5.0000 -
2772.83/2781.63 c 2782 518777 153700 1 - 5.0000 -
2777.82/2786.68 c 2787 519848 153991 1 - 5.0000 -
2782.90/2791.75 c 2792 520768 154203 1 - 5.0000 -
2787.98/2796.80 c 2797 521786 154462 1 - 5.0000 -
2792.98/2801.87 c 2802 522770 154720 1 - 5.0000 -
2798.06/2806.97 c 2807 523787 154987 1 - 5.0000 -
2803.16/2812.05 c 2812 524630 155184 1 - 5.0000 -
2808.15/2817.10 c 2817 525571 155434 1 - 5.0000 -
2813.32/2822.22 c 2822 526561 155644 1 - 5.0000 -
2818.30/2827.29 c 2827 527604 155942 1 - 5.0000 -
2823.38/2832.33 c 2832 528633 156236 1 - 5.0000 -
2828.48/2837.45 c 2837 529664 156498 1 - 5.0000 -
2833.56/2842.52 c 2843 530612 156709 1 - 5.0000 -
2838.54/2847.57 c 2848 531442 156961 1 - 5.0000 -
2843.63/2852.64 c 2853 532447 157188 1 - 5.0000 -
2848.62/2857.69 c 2858 533421 157416 1 - 5.0000 -
2853.70/2862.78 c 2863 534424 157611 1 - 5.0000 -
2858.78/2867.86 c 2868 535423 157857 1 - 5.0000 -
2863.87/2872.91 c 2873 536437 158084 1 - 5.0000 -
2868.86/2877.97 c 2878 537430 158254 1 - 5.0000 -
2873.95/2883.02 c 2883 538320 158517 1 - 5.0000 -
2878.94/2888.07 c 2888 539165 158694 1 - 5.0000 -
2884.03/2893.12 c 2893 540082 158885 1 - 5.0000 -
2889.01/2898.19 c 2898 541057 159080 1 - 5.0000 -
2894.08/2903.25 c 2903 542089 159289 1 - 5.0000 -
2899.17/2908.36 c 2908 543169 159488 1 - 5.0000 -
2904.26/2913.41 c 2913 544162 159757 1 - 5.0000 -
2909.34/2918.53 c 2919 545146 159967 1 - 5.0000 -
2914.33/2923.59 c 2924 546104 160150 1 - 5.0000 -
2919.41/2928.65 c 2929 547022 160379 1 - 5.0000 -
2924.50/2933.71 c 2934 548088 160617 1 - 5.0000 -
2929.49/2938.78 c 2939 548953 160890 1 - 5.0000 -
2934.57/2943.85 c 2944 549962 161085 1 - 5.0000 -
2939.65/2948.91 c 2949 550977 161279 1 - 5.0000 -
2944.64/2953.95 c 2954 551845 161434 1 - 5.0000 -
2949.74/2959.05 c 2959 552899 161670 1 - 5.0000 -
2954.73/2964.09 c 2964 553841 161903 1 - 5.0000 -
2959.81/2969.17 c 2969 554879 162110 1 - 5.0000 -
2964.89/2974.25 c 2974 555980 162347 1 - 5.0000 -
2969.97/2979.32 c 2979 556833 162555 1 - 5.0000 -
2975.05/2984.42 c 2984 557783 162791 1 - 5.0000 -
2980.04/2989.47 c 2989 558807 162953 1 - 5.0000 -
2985.13/2994.53 c 2995 559792 163239 1 - 5.0000 -
2990.21/2999.63 c 3000 560628 163578 1 - 5.0000 -
2995.20/3004.69 c 3005 561586 163761 1 - 5.0000 -
3000.28/3009.75 c 3010 562545 163980 1 - 5.0000 -
3005.37/3014.80 c 3015 563509 164215 1 - 5.0000 -
3010.46/3019.93 c 3020 564477 164455 1 - 5.0000 -
3015.44/3024.99 c 3025 565456 164627 1 - 5.0000 -
3020.54/3030.09 c 3030 566495 164827 1 - 5.0000 -
3025.63/3035.16 c 3035 567407 165068 1 - 5.0000 -
3030.80/3040.36 c 3040 568362 165278 1 - 5.0000 -
3035.88/3045.40 c 3045 569282 165521 1 - 5.0000 -
3040.86/3050.47 c 3050 570192 165773 1 - 5.0000 -
3045.95/3055.57 c 3056 571137 165989 1 - 5.0000 -
3051.03/3060.63 c 3061 572080 166233 1 - 5.0000 -
3056.01/3065.67 c 3066 573109 166425 1 - 5.0000 -
3061.09/3070.73 c 3071 574162 166675 1 - 5.0000 -
3066.18/3075.80 c 3076 575131 166901 1 - 5.0000 -
3071.16/3080.85 c 3081 576041 167062 1 - 5.0000 -
3076.24/3085.91 c 3086 577066 167268 1 - 5.0000 -
3081.22/3091.01 c 3091 578053 167446 1 - 5.0000 -
3086.31/3096.07 c 3096 579014 167657 1 - 5.0000 -
3091.40/3101.14 c 3101 580024 167911 1 - 5.0000 -
3096.38/3106.19 c 3106 580974 168216 1 - 5.0000 -
3101.45/3111.25 c 3111 581933 168428 1 - 5.0000 -
3106.53/3116.31 c 3116 582952 168623 1 - 5.0000 -
3111.51/3121.36 c 3121 583941 168878 1 - 5.0000 -
3116.59/3126.42 c 3126 584923 169046 1 - 5.0000 -
3121.67/3131.51 c 3132 585841 169350 1 - 5.0000 -
3126.65/3136.56 c 3137 586787 169516 1 - 5.0000 -
3131.84/3141.74 c 3142 587787 169824 1 - 5.0000 -
3136.92/3146.83 c 3147 588685 170045 1 - 5.0000 -
3141.90/3151.87 c 3152 589666 170216 1 - 5.0000 -
3146.99/3156.93 c 3157 590671 170485 1 - 5.0000 -
3151.96/3161.98 c 3162 591614 170743 1 - 5.0000 -
3157.16/3167.12 c 3167 592534 171009 1 - 5.0000 -
3162.23/3172.22 c 3172 593496 171147 1 - 5.0000 -
3167.32/3177.32 c 3177 594524 171430 1 - 5.0000 -
3172.39/3182.46 c 3182 595529 171640 1 - 5.0000 -
3177.48/3187.52 c 3188 596503 171812 1 - 5.0000 -
3182.65/3192.70 c 3193 597412 172036 1 - 5.0000 -
3187.64/3197.77 c 3198 598490 172199 1 - 5.0000 -
3192.72/3202.81 c 3203 599451 172439 1 - 5.0000 -
3197.70/3207.87 c 3208 600398 172682 1 - 5.0000 -
3202.79/3212.96 c 3213 601422 172872 1 - 5.0000 -
3207.88/3218.03 c 3218 602411 173070 1 - 5.0000 -
3212.96/3223.16 c 3223 603387 173274 1 - 5.0000 -
3218.03/3228.22 c 3228 604347 173470 1 - 5.0000 -
3223.11/3233.30 c 3233 605163 173858 1 - 5.0000 -
3228.09/3238.38 c 3238 606150 174031 1 - 5.0000 -
3233.18/3243.43 c 3243 607089 174269 1 - 5.0000 -
3238.16/3248.49 c 3248 608093 174397 1 - 5.0000 -
3243.24/3253.57 c 3254 609071 174566 1 - 5.0000 -
3248.32/3258.66 c 3259 610033 174778 1 - 5.0000 -
3253.41/3263.70 c 3264 611030 174934 1 - 5.0000 -
3258.39/3268.77 c 3269 611878 175125 1 - 5.0000 -
3263.47/3273.83 c 3274 612814 175348 1 - 5.0000 -
3268.45/3278.89 c 3279 613823 175552 1 - 5.0000 -
3273.53/3283.95 c 3284 614731 175746 1 - 5.0000 -
3278.62/3289.02 c 3289 615647 175935 1 - 5.0000 -
3283.60/3294.10 c 3294 616612 176213 1 - 5.0000 -
3288.77/3299.23 c 3299 617659 176395 1 - 5.0000 -
3293.86/3304.33 c 3304 618591 176631 1 - 5.0000 -
3298.95/3309.45 c 3309 619488 176799 1 - 5.0000 -
3304.03/3314.50 c 3315 620451 176977 1 - 5.0000 -
3309.02/3319.57 c 3320 621489 177146 1 - 5.0000 -
3314.10/3324.63 c 3325 622463 177442 1 - 5.0000 -
3319.09/3329.69 c 3330 623477 177675 1 - 5.0000 -
3324.17/3334.74 c 3335 624475 177910 1 - 5.0000 -
3329.26/3339.86 c 3340 625441 178110 1 - 5.0000 -
3334.35/3344.92 c 3345 626400 178252 1 - 5.0000 -
3339.33/3349.98 c 3350 627356 178453 1 - 5.0000 -
3344.41/3355.05 c 3355 628259 178671 1 - 5.0000 -
3349.50/3360.12 c 3360 629187 178885 1 - 5.0000 -
3354.49/3365.17 c 3365 630215 179106 1 - 5.0000 -
3359.56/3370.22 c 3370 631232 179254 1 - 5.0000 -
3364.54/3375.28 c 3375 632185 179529 1 - 5.0000 -
3369.63/3380.33 c 3380 633206 179780 1 - 5.0000 -
3374.71/3385.43 c 3385 634251 180043 1 - 5.0000 -
3379.70/3390.48 c 3390 635042 180579 1 - 5.0000 -
3384.79/3395.56 c 3396 636096 180810 1 - 5.0000 -
3389.88/3400.60 c 3401 636911 181076 1 - 5.0000 -
3394.86/3405.66 c 3406 637839 181295 1 - 5.0000 -
3399.95/3410.75 c 3411 638781 181467 1 - 5.0000 -
3405.03/3415.81 c 3416 639770 181632 1 - 5.0000 -
3410.02/3420.87 c 3421 640689 181841 1 - 5.0000 -
3415.10/3425.95 c 3426 641759 182010 1 - 5.0000 -
3420.08/3431.01 c 3431 642788 182176 1 - 5.0000 -
3425.27/3436.14 c 3436 643727 182349 1 - 5.0000 -
3430.35/3441.25 c 3441 644690 182581 1 - 5.0000 -
3435.54/3446.41 c 3446 645665 182748 1 - 5.0000 -
3440.62/3451.50 c 3452 646631 182909 1 - 5.0000 -
3445.60/3456.56 c 3457 647646 183146 1 - 5.0000 -
3450.69/3461.62 c 3462 648546 183368 1 - 5.0000 -
3455.67/3466.66 c 3467 649424 183468 1 - 5.0000 -
3460.76/3471.71 c 3472 650291 183685 1 - 5.0000 -
3465.74/3476.76 c 3477 651211 183802 1 - 5.0000 -
3470.82/3481.83 c 3482 652180 183985 1 - 5.0000 -
3475.91/3486.92 c 3487 653163 184175 1 - 5.0000 -
3481.01/3492.05 c 3492 654127 184346 1 - 5.0000 -
3486.09/3497.13 c 3497 655161 184530 1 - 5.0000 -
3491.07/3502.19 c 3502 656150 184702 1 - 5.0000 -
3496.24/3507.31 c 3507 657215 184858 1 - 5.0000 -
3501.23/3512.36 c 3512 658240 185086 1 - 5.0000 -
3506.31/3517.42 c 3517 659236 185282 1 - 5.0000 -
3511.41/3522.50 c 3522 660280 185509 1 - 5.0000 -
3516.49/3527.63 c 3528 661269 185726 1 - 5.0000 -
3521.47/3532.68 c 3533 662208 185987 1 - 5.0000 -
3526.56/3537.74 c 3538 663264 186212 1 - 5.0000 -
3531.65/3542.81 c 3543 664249 186424 1 - 5.0000 -
3536.63/3547.88 c 3548 665236 186576 1 - 5.0000 -
3541.71/3552.93 c 3553 666169 186745 1 - 5.0000 -
3546.70/3557.99 c 3558 667068 186872 1 - 5.0000 -
3551.79/3563.06 c 3563 667930 187062 1 - 5.0000 -
3556.88/3568.13 c 3568 668941 187270 1 - 5.0000 -
3561.87/3573.19 c 3573 669884 187419 1 - 5.0000 -
3566.94/3578.23 c 3578 670872 187638 1 - 5.0000 -
3571.93/3583.28 c 3583 671649 187837 1 - 5.0000 -
3577.01/3588.33 c 3588 672521 188019 1 - 5.0000 -
3582.09/3593.42 c 3593 673328 188217 1 - 5.0000 -
3587.08/3598.49 c 3598 674295 188367 1 - 5.0000 -
3589.18/3600.56 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.18/3600.56 c Total Time : 3600.5600
3589.18/3600.56 c solving : 3600.5600
3589.18/3600.56 c presolving : 0.7840 (included in solving)
3589.18/3600.56 c B&B Tree :
3589.18/3600.56 c nodes (total) : 1
3589.18/3600.56 c Solution :
3589.18/3600.56 c Solutions found : 0
3589.18/3600.56 c Primal Bound : -
3589.18/3600.56 c Dual Bound : +5.00000000000000e+00
3589.18/3600.56 c Gap : -
3589.18/3600.57 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: 64059 MiB (61568 MiB free)
memory of node 1: 64510 MiB (60393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434792-1721117154/watcher-4434792-1721117154 -o /tmp/evaluation-result-4434792-1721117154/solver-4434792-1721117154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832869 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434792-1721117154.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834323, runsolver pid=834320
[startup+0.100107 s]*
/proc/loadavg: 4.12 4.17 4.14 5/250 834324
/proc/meminfo: memFree=124864148/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=50100 memory=35964 CPUtime=0.1 cores=5,7
/proc/834323/stat : 834323 (fscip) R 834320 834323 832856 0 -1 4194304 6700 0 0 0 10 0 0 0 20 0 1 0 163872369 51302400 8991 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 12525 8991 2782 3032 0 8925 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50100 KiB
Current children cumulated memory: 35964 KiB
[startup+0.213232 s]*
/proc/loadavg: 4.12 4.17 4.14 5/250 834324
/proc/meminfo: memFree=124862664/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=51124 memory=37284 CPUtime=0.21 cores=5,7
/proc/834323/stat : 834323 (fscip) R 834320 834323 832856 0 -1 4194304 6993 0 0 0 21 0 0 0 20 0 1 0 163872369 52350976 9321 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 12781 9321 2782 3032 0 9181 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51124 KiB
Current children cumulated memory: 37284 KiB
[startup+0.312966 s]*
/proc/loadavg: 4.12 4.17 4.14 6/250 834324
/proc/meminfo: memFree=124861544/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=52148 memory=38076 CPUtime=0.31 cores=5,7
/proc/834323/stat : 834323 (fscip) R 834320 834323 832856 0 -1 4194304 7205 0 0 0 31 0 0 0 20 0 1 0 163872369 53399552 9519 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 13037 9519 2782 3032 0 9437 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52148 KiB
Current children cumulated memory: 38076 KiB
[startup+0.700348 s]
/proc/loadavg: 4.12 4.17 4.14 5/250 834324
/proc/meminfo: memFree=124849644/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=65208 memory=50484 CPUtime=0.69 cores=5,7
/proc/834323/stat : 834323 (fscip) R 834320 834323 832856 0 -1 4194304 10327 0 0 0 68 1 0 0 20 0 1 0 163872369 66772992 12621 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 16302 12621 2782 3032 0 12702 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65208 KiB
Current children cumulated memory: 50484 KiB
[startup+1.50072 s]
/proc/loadavg: 4.12 4.17 4.14 5/252 834326
/proc/meminfo: memFree=124820072/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=160520 memory=80832 CPUtime=1.48 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 17419 0 0 0 145 3 0 0 20 0 3 0 163872369 164372480 20208 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 40130 20208 2798 3032 0 24299 0
[pid=834323/tid=834325] ppid=834320 vsize=160520 memory=4312 CPUtime=0.67 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 4774 0 0 0 66 1 0 0 20 0 3 0 163872450 164372480 20208 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=160520 memory=2276 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 163872452 164372480 20208 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 160520 KiB
Current children cumulated memory: 80832 KiB
[startup+3.10575 s]
/proc/loadavg: 4.12 4.17 4.14 5/252 834326
/proc/meminfo: memFree=124767180/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=161364 memory=130880 CPUtime=3.06 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 35936 0 0 0 300 6 0 0 20 0 3 0 163872369 165236736 32720 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 40341 32720 2958 3032 0 36709 0
[pid=834323/tid=834325] ppid=834320 vsize=161364 memory=2276 CPUtime=2.25 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 23272 0 0 0 221 4 0 0 20 0 3 0 163872450 165236736 32720 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=161364 memory=25884 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 163872452 165236736 32720 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 161364 KiB
Current children cumulated memory: 130880 KiB
[startup+6.3004 s]
/proc/loadavg: 4.11 4.16 4.14 5/252 834327
/proc/meminfo: memFree=124759388/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=226900 memory=136240 CPUtime=6.24 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 46193 0 0 0 617 7 0 0 20 0 3 0 163872369 232345600 34060 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 56725 34060 2958 3032 0 38306 0
[pid=834323/tid=834325] ppid=834320 vsize=226900 memory=0 CPUtime=5.43 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 33523 0 0 0 538 5 0 0 20 0 3 0 163872450 232345600 34060 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=226900 memory=2314990959530164824 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 163872452 232345600 34060 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 226900 KiB
Current children cumulated memory: 136240 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.18 4.14 5/249 834327
/proc/meminfo: memFree=124748616/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=226900 memory=146908 CPUtime=12.62 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 74765 0 0 0 1252 10 0 0 20 0 3 0 163872369 232345600 36727 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 56725 36727 2958 3032 0 40915 0
[pid=834323/tid=834325] ppid=834320 vsize=226900 memory=130880 CPUtime=11.81 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 62062 0 0 0 1173 8 0 0 20 0 3 0 163872450 232345600 36727 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=226900 memory=142088 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 163872452 232345600 36727 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 226900 KiB
Current children cumulated memory: 146908 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.17 4.14 5/249 834330
/proc/meminfo: memFree=124700204/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=226900 memory=195192 CPUtime=25.38 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 139152 0 0 0 2522 16 0 0 20 0 3 0 163872369 232345600 48798 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 56725 48798 2958 3032 0 52785 0
[pid=834323/tid=834325] ppid=834320 vsize=226900 memory=11404 CPUtime=24.57 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 126416 0 0 0 2443 14 0 0 20 0 3 0 163872450 232345600 48798 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=226900 memory=195192 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 163872452 232345600 48798 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 226900 KiB
Current children cumulated memory: 195192 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.16 4.14 5/249 834333
/proc/meminfo: memFree=124690932/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=292436 memory=199160 CPUtime=50.92 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 207489 0 0 0 5068 24 0 0 20 0 3 0 163872369 299454464 49790 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 73109 49790 2958 3032 0 54234 0
[pid=834323/tid=834325] ppid=834320 vsize=292436 memory=199152 CPUtime=50.1 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 194701 0 0 0 4988 22 0 0 20 0 3 0 163872450 299454464 49790 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=292436 memory=199152 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 163872452 299454464 49790 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 292436 KiB
Current children cumulated memory: 199160 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/249 834342
/proc/meminfo: memFree=124686096/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=292436 memory=204720 CPUtime=101.93 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 269336 0 0 0 10161 32 0 0 20 0 3 0 163872369 299454464 51180 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 73109 51180 3262 3032 0 54781 0
[pid=834323/tid=834325] ppid=834320 vsize=292436 memory=11404 CPUtime=101.11 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 256498 0 0 0 10081 30 0 0 20 0 3 0 163872450 299454464 51180 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=292436 memory=204708 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 163872452 299454464 51180 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 292436 KiB
Current children cumulated memory: 204720 KiB
[startup+162.3 s]
/proc/loadavg: 4.85 4.36 4.21 5/249 834352
/proc/meminfo: memFree=124683100/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=292436 memory=207212 CPUtime=161.74 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 313583 0 0 0 16133 41 0 0 20 0 3 0 163872369 299454464 51803 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 73109 51803 3262 3032 0 55280 0
[pid=834323/tid=834325] ppid=834320 vsize=292436 memory=11404 CPUtime=160.91 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 300709 0 0 0 16052 39 0 0 20 0 3 0 163872450 299454464 51803 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=292436 memory=206384 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 163872452 299454464 51803 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 292436 KiB
Current children cumulated memory: 207212 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 4.31 4.20 5/249 834363
/proc/meminfo: memFree=124641932/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=292436 memory=231028 CPUtime=221.53 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 347264 0 0 0 22103 50 0 0 20 0 3 0 163872369 299454464 57757 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 73109 57757 3262 3032 0 61297 0
[pid=834323/tid=834325] ppid=834320 vsize=292436 memory=215432 CPUtime=220.71 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 334372 0 0 0 22023 48 0 0 20 0 3 0 163872450 299454464 57757 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=292436 memory=206384 CPUtime=0 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 163872452 299454464 57757 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 292436 KiB
Current children cumulated memory: 231028 KiB
################
# More data... #
################
/proc/834323/statm: 240119 226000 3294 3032 0 230587 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=888228 CPUtime=3450.22 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1244442 0 0 0 344672 350 0 0 20 0 3 0 163872450 983527424 226000 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=11404 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 67 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 226000 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 904000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.14 4.16 5/250 836331
/proc/meminfo: memFree=124122512/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=919820 CPUtime=3511.21 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1274344 0 0 0 350750 371 0 0 20 0 3 0 163872369 983527424 229955 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 229955 3294 3032 0 234661 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=918404 CPUtime=3510.03 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1260638 0 0 0 350649 354 0 0 20 0 3 0 163872450 983527424 229955 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=11404 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 229955 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 919820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/250 836341
/proc/meminfo: memFree=124110984/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=930516 CPUtime=3571.03 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1284431 0 0 0 356728 375 0 0 20 0 3 0 163872369 983527424 232629 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 232629 3294 3032 0 234747 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=930516 CPUtime=3569.85 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1270710 0 0 0 356627 358 0 0 20 0 3 0 163872450 983527424 232629 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=11404 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 232629 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 930516 KiB
[startup+3600.58 s]
# the end of solver process 834323 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.49 s, system=3.77551 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.15 5/250 836341
/proc/meminfo: memFree=124110800/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=930700 CPUtime=3572.74 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1284545 0 0 0 356899 375 0 0 20 0 3 0 163872369 983527424 232675 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 232675 3294 3032 0 234769 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=-6657841334833036134 CPUtime=3571.56 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1270824 0 0 0 356798 358 0 0 20 0 3 0 163872450 983527424 232675 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=-7305814578517467520 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 232675 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 930700 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.14 4.16 5/250 836343
/proc/meminfo: memFree=124108956/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=932444 CPUtime=3579.1 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1285080 0 0 0 357535 375 0 0 20 0 3 0 163872369 983527424 233111 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 233111 3294 3032 0 235039 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=11404 CPUtime=3577.92 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1271359 0 0 0 357434 358 0 0 20 0 3 0 163872450 983527424 233111 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=929860 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 69 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 233111 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3579.1 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 932444 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.13 4.16 5/250 836344
/proc/meminfo: memFree=124106268/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=935036 CPUtime=3585.48 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1287913 0 0 0 358173 375 0 0 20 0 3 0 163872369 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 233759 3294 3032 0 235686 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=11404 CPUtime=3584.3 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1274190 0 0 0 358072 358 0 0 20 0 3 0 163872450 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=928760 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 70 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 935036 KiB
[startup+3598.4 s]
/proc/loadavg: 4.17 4.13 4.16 5/250 836344
/proc/meminfo: memFree=124106268/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=935036 CPUtime=3587.08 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1287970 0 0 0 358333 375 0 0 20 0 3 0 163872369 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 233759 3294 3032 0 235686 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=41484 CPUtime=3585.9 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1274247 0 0 0 358232 358 0 0 20 0 3 0 163872450 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=12556 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 70 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 935036 KiB
[startup+3599.2 s]
/proc/loadavg: 4.17 4.13 4.16 5/250 836344
/proc/meminfo: memFree=124106268/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=935036 CPUtime=3587.88 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1287984 0 0 0 358413 375 0 0 20 0 3 0 163872369 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 233759 3294 3032 0 235686 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=6720659939590946155 CPUtime=3586.7 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1274260 0 0 0 358312 358 0 0 20 0 3 0 163872450 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=5524 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 70 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 233759 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 935036 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.13 4.16 5/250 836344
/proc/meminfo: memFree=124104348/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=936876 CPUtime=3588.69 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1288450 0 0 0 358493 376 0 0 20 0 3 0 163872369 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 234219 3294 3032 0 235878 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=-6657841334833036134 CPUtime=3587.52 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1274724 0 0 0 358393 359 0 0 20 0 3 0 163872450 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=-7305814578517467520 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 70 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3588.69 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 936876 KiB
[startup+3600.4 s]
/proc/loadavg: 4.15 4.13 4.16 5/250 836344
/proc/meminfo: memFree=124104348/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=936876 CPUtime=3589.08 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1292282 0 0 0 358532 376 0 0 20 0 3 0 163872369 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 234219 3294 3032 0 235878 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=41484 CPUtime=3587.9 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1278558 0 0 0 358431 359 0 0 20 0 3 0 163872450 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=6720659939590946155 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 70 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3589.08 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 936876 KiB
[startup+3600.5 s]
/proc/loadavg: 4.15 4.13 4.16 5/250 836344
/proc/meminfo: memFree=124104348/131655788 swapFree=131071996/131071996
[pid=834323] ppid=834320 vsize=960476 memory=936876 CPUtime=3589.18 cores=5,7
/proc/834323/stat : 834323 (fscip) S 834320 834323 832856 0 -1 1077936128 1292783 0 0 0 358542 376 0 0 20 0 3 0 163872369 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
/proc/834323/statm: 240119 234219 3294 3032 0 235878 0
[pid=834323/tid=834325] ppid=834320 vsize=960476 memory=41484 CPUtime=3588 cores=5,7
/proc/834323/task/834325/stat : 834325 (fscip) R 834320 834323 832856 0 -1 4194368 1279057 0 0 0 358441 359 0 0 20 0 3 0 163872450 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
[pid=834323/tid=834326] ppid=834320 vsize=960476 memory=5524 CPUtime=0.05 cores=5,7
/proc/834323/task/834326/stat : 834326 (fscip) S 834320 834323 832856 0 -1 1077936192 70 0 0 0 1 4 0 0 20 0 3 0 163872452 983527424 234219 134679101440 4194304 16613245 140720626421664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 40275968 140720626430997 140720626431113 140720626431113 140720626438128 0
Current children cumulated CPU time: 3589.18 s
Current children cumulated vsize: 960476 KiB
Current children cumulated memory: 936876 KiB
Child status: 0
Real time (s): 3600.58
CPU time (s): 3589.27
CPU user time (s): 3585.49
CPU system time (s): 3.77551
CPU usage (%): 99.6858
Max. virtual memory (cumulated for all children) (KiB): 960476
Max. memory (cumulated for all children) (KiB): 936876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.49
system time used= 3.77551
maximum resident set size= 936876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1293699
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= 10861
involuntary context switches= 4490
# summary of solver processes directly reported to runsolver:
# pid: 834323
# total CPU time (s): 3589.27
# total CPU user time (s): 3585.49
# total CPU system time (s): 3.77551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2561 second user time and 37.1585 second system time
The end
Begin job on nodeC012 at 2024-07-16 10:06:07
IDJOB=4434792
IDBENCH=148770
IDSOLVER=3064
FILE ID=nodeC012/4434792-1721117154
RUNJOBID= nodeC012-1721115597-832869
SLURM_JOB_ID= 7505652
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.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-4434792-1721117154/watcher-4434792-1721117154 -o /tmp/evaluation-result-4434792-1721117154/solver-4434792-1721117154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832869 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434792-1721117154.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1369443624
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3676.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.142
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.491
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3676.168
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3502.471
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.456
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124889300 kB
MemAvailable: 128470496 kB
Buffers: 396412 kB
Cached: 3983976 kB
SwapCached: 0 kB
Active: 676876 kB
Inactive: 5467212 kB
Active(anon): 1464 kB
Inactive(anon): 1799940 kB
Active(file): 675412 kB
Inactive(file): 3667272 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28312 kB
Writeback: 0 kB
AnonPages: 1764012 kB
Mapped: 140008 kB
Shmem: 37704 kB
KReclaimable: 157084 kB
Slab: 261016 kB
SReclaimable: 157084 kB
SUnreclaim: 103932 kB
KernelStack: 4060 kB
PageTables: 12452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1058840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52608 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1585152 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: 303944 kB
DirectMap2M: 33155072 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC012 at 2024-07-16 11:06:07