0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 36433920, getVmSize() = 36433920, SCIPgetMemUsed() = 9947820, SCIPgetMemTotal() = 14500244, SCIPgetMemExternEstim() = 7046960
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.22 c ** Estimated virtualMemUsedAtSolver = 33383765, getVmSize() = 63717376, SCIPgetMemUsed() = 23395791, SCIPgetMemTotal() = 40008583, SCIPgetMemExternEstim() = 7046960
0.19/0.22 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.22 c Original Problem :
0.19/0.22 c Problem name : instance-4464674-1722387131
0.19/0.22 c Variables : 1260 (1260 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.22 c Constraints : 5990
0.19/0.22 c Objective sense : minimize
0.19/0.22 c Presolved Problem :
0.19/0.22 c Variables : 1254 (1254 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.22 c Constraints : 5701
0.19/0.22 c Constraints : Number
0.19/0.22 c knapsack : 1
0.19/0.22 c setppc : 2409
0.19/0.22 c linear : 1
0.19/0.22 c logicor : 3290
0.19/0.22 c ** Instance transfer method used: 0
0.19/0.23 c ** ParaScipInstance copy does not increase the number of variables. **
0.19/0.24 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.19/0.24 c Nodes Active
0.19/0.24 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.06/5.18 c 5 2 1 1 - 0.0000 -
16.53/16.64 c 17 16 15 1 - 0.0000 -
22.51/22.69 c 23 35 34 1 - 0.0000 -
27.90/28.05 c 28 126 50 1 - 0.0000 -
33.48/33.66 c 34 235 49 1 - 0.0000 -
39.27/39.45 c 39 377 68 1 - 0.0000 -
44.55/44.77 c 45 432 71 1 - 0.0000 -
50.23/50.49 c 50 501 102 1 - 0.0000 -
55.63/55.84 c 56 576 126 1 - 0.0000 -
61.11/61.31 c 61 675 137 1 - 0.0000 -
66.90/67.19 c 67 767 160 1 - 0.0000 -
72.68/72.97 c 73 877 1 1 - 0.0000 -
81.05/81.30 c 81 894 18 1 - 0.0000 -
86.54/86.87 c 87 1057 44 1 - 0.0000 -
91.83/92.13 c 92 1152 50 1 - 0.0000 -
96.92/97.24 c 97 1275 57 1 - 0.0000 -
102.30/102.61 c 103 1427 72 1 - 0.0000 -
107.39/107.74 c 108 1650 77 1 - 0.0000 -
112.47/112.86 c 113 1966 74 1 - 0.0000 -
117.56/117.95 c 118 2258 77 1 - 0.0000 -
122.94/123.30 c 123 2515 78 1 - 0.0000 -
127.93/128.39 c 128 2746 88 1 - 0.0000 -
133.11/133.58 c 134 2984 92 1 - 0.0000 -
138.21/138.68 c 139 3248 99 1 - 0.0000 -
143.29/143.76 c 144 3523 100 1 - 0.0000 -
148.68/149.16 c 149 3663 139 1 - 0.0000 -
154.15/154.65 c 155 3891 157 1 - 0.0000 -
160.04/160.56 c 161 4090 201 1 - 0.0000 -
165.23/165.74 c 166 4329 202 1 - 0.0000 -
170.31/170.81 c 171 4590 221 1 - 0.0000 -
175.41/175.96 c 176 4787 239 1 - 0.0000 -
180.69/181.27 c 181 4981 271 1 - 0.0000 -
185.88/186.48 c 186 5179 299 1 - 0.0000 -
190.96/191.58 c 192 5473 305 1 - 0.0000 -
196.45/197.05 c 197 5593 348 1 - 0.0000 -
201.93/202.51 c 203 5738 391 1 - 0.0000 -
207.21/207.80 c 208 5924 415 1 - 0.0000 -
212.60/213.20 c 213 6088 457 1 - 0.0000 -
217.88/218.55 c 219 6275 494 1 - 0.0000 -
223.37/224.04 c 224 6463 526 1 - 0.0000 -
228.75/229.42 c 229 6602 565 1 - 0.0000 -
234.14/234.80 c 235 6751 611 1 - 0.0000 -
241.03/241.78 c 242 6857 639 1 - 0.0000 -
246.32/247.06 c 247 7007 677 1 - 0.0000 -
251.50/252.21 c 252 7186 704 1 - 0.0000 -
256.58/257.33 c 257 7364 736 1 - 0.0000 -
262.07/262.81 c 263 7508 795 1 - 0.0000 -
267.36/268.11 c 268 7649 814 1 - 0.0000 -
272.64/273.47 c 273 7837 863 1 - 0.0000 -
277.82/278.67 c 279 7974 914 1 - 0.0000 -
283.22/284.09 c 284 8141 968 1 - 0.0000 -
288.60/289.48 c 289 8311 982 1 - 0.0000 -
293.88/294.75 c 295 8544 986 1 - 0.0000 -
299.16/300.10 c 300 8737 1013 1 - 0.0000 -
304.54/305.46 c 305 8881 1069 1 - 0.0000 -
309.73/310.64 c 311 9060 1113 1 - 0.0000 -
315.12/316.00 c 316 9234 1143 1 - 0.0000 -
320.29/321.24 c 321 9407 1174 1 - 0.0000 -
325.47/326.42 c 326 9620 1216 1 - 0.0000 -
330.55/331.53 c 332 9827 1231 1 - 0.0000 -
335.63/336.65 c 337 10014 1268 1 - 0.0000 -
340.92/341.95 c 342 10181 1306 1 - 0.0000 -
346.60/347.64 c 348 10342 1338 1 - 0.0000 -
351.88/352.99 c 353 10539 1372 1 - 0.0000 -
357.27/358.36 c 358 10770 1404 1 - 0.0000 -
362.45/363.50 c 364 10968 1448 1 - 0.0000 -
367.43/368.58 c 369 11150 1474 1 - 0.0000 -
372.61/373.76 c 374 11359 1503 1 - 0.0000 -
377.90/379.09 c 379 11523 1550 1 - 0.0000 -
382.98/384.19 c 384 11752 1562 1 - 0.0000 -
388.26/389.43 c 389 11921 1576 1 - 0.0000 -
393.34/394.58 c 395 12086 1604 1 - 0.0000 -
398.82/400.09 c 400 12309 1625 1 - 0.0000 -
403.90/405.19 c 405 12516 1644 1 - 0.0000 -
409.18/410.43 c 410 12733 1674 1 - 0.0000 -
414.36/415.63 c 416 12937 1693 1 - 0.0000 -
419.45/420.74 c 421 13190 1711 1 - 0.0000 -
424.93/426.25 c 426 13347 1739 1 - 0.0000 -
430.11/431.43 c 431 13553 1751 1 - 0.0000 -
435.49/436.84 c 437 13721 1793 1 - 0.0000 -
440.88/442.27 c 442 13927 1830 1 - 0.0000 -
445.96/447.35 c 447 14131 1847 1 - 0.0000 -
451.54/452.95 c 453 14309 1856 1 - 0.0000 -
457.02/458.40 c 458 14484 1872 1 - 0.0000 -
462.40/463.88 c 464 14711 1893 1 - 0.0000 -
467.59/469.03 c 469 14949 1908 1 - 0.0000 -
472.76/474.25 c 474 15122 1930 1 - 0.0000 -
478.15/479.67 c 480 15320 1946 1 - 0.0000 -
483.63/485.14 c 485 15507 1971 1 - 0.0000 -
488.61/490.19 c 490 15708 1992 1 - 0.0000 -
494.09/495.62 c 496 15910 2021 1 - 0.0000 -
499.48/501.07 c 501 16070 2049 1 - 0.0000 -
504.85/506.43 c 506 16227 2071 1 - 0.0000 -
510.54/512.16 c 512 16404 2105 1 - 0.0000 -
515.82/517.40 c 517 16570 2120 1 - 0.0000 -
520.90/522.59 c 523 16734 2158 1 - 0.0000 -
526.18/527.84 c 528 16906 2191 1 - 0.0000 -
531.66/533.31 c 533 17070 2211 1 - 0.0000 -
536.94/538.62 c 539 17227 2260 1 - 0.0000 -
542.03/543.73 c 544 17432 2278 1 - 0.0000 -
547.42/549.12 c 549 17636 2296 1 - 0.0000 -
552.79/554.57 c 555 17820 2328 1 - 0.0000 -
557.87/559.68 c 560 18042 2344 1 - 0.0000 -
562.96/564.78 c 565 18248 2367 1 - 0.0000 -
568.24/570.06 c 570 18453 2373 1 - 0.0000 -
573.32/575.15 c 575 18643 2404 1 - 0.0000 -
578.50/580.35 c 580 18849 2412 1 - 0.0000 -
583.58/585.41 c 585 19024 2444 1 - 0.0000 -
589.07/590.90 c 591 19220 2479 1 - 0.0000 -
594.45/596.37 c 596 19438 2501 1 - 0.0000 -
603.22/605.15 c 605 19633 2524 1 - 0.0000 -
608.30/610.25 c 610 19822 2535 1 - 0.0000 -
613.68/615.64 c 616 20011 2585 1 - 0.0000 -
618.96/620.97 c 621 20265 2599 1 - 0.0000 -
624.34/626.30 c 626 20477 2627 1 - 0.0000 -
629.82/631.82 c 632 20651 2657 1 - 0.0000 -
635.20/637.27 c 637 20871 2685 1 - 0.0000 -
641.00/643.08 c 643 21023 2727 1 - 0.0000 -
646.07/648.16 c 648 21191 2769 1 - 0.0000 -
651.46/653.57 c 654 21444 2779 1 - 0.0000 -
656.73/658.83 c 659 21666 2803 1 - 0.0000 -
661.81/663.94 c 664 21897 2825 1 - 0.0000 -
666.90/669.02 c 669 22169 2843 1 - 0.0000 -
672.08/674.20 c 674 22366 2881 1 - 0.0000 -
677.17/679.31 c 679 22548 2913 1 - 0.0000 -
682.35/684.51 c 685 22765 2920 1 - 0.0000 -
687.43/689.66 c 690 22982 2928 1 - 0.0000 -
692.71/694.94 c 695 23243 2932 1 - 0.0000 -
697.99/700.24 c 700 23431 2960 1 - 0.0000 -
703.37/705.64 c 706 23657 2973 1 - 0.0000 -
708.45/710.70 c 711 23938 2969 1 - 0.0000 -
713.63/715.93 c 716 24158 2991 1 - 0.0000 -
718.72/721.00 c 721 24359 3003 1 - 0.0000 -
723.89/726.29 c 726 24508 3020 1 - 0.0000 -
729.38/731.78 c 732 24657 3058 1 - 0.0000 -
734.86/737.28 c 737 24856 3069 1 - 0.0000 -
740.25/742.67 c 743 25084 3086 1 - 0.0000 -
745.33/747.73 c 748 25310 3116 1 - 0.0000 -
750.71/753.12 c 753 25515 3130 1 - 0.0000 -
755.99/758.44 c 758 25700 3156 1 - 0.0000 -
761.37/763.84 c 764 25790 3188 1 - 0.0000 -
766.55/769.00 c 769 25966 3214 1 - 0.0000 -
771.74/774.20 c 774 26158 3237 1 - 0.0000 -
776.82/779.36 c 779 26312 3255 1 - 0.0000 -
782.40/784.94 c 785 26485 3262 1 - 0.0000 -
787.49/790.09 c 790 26698 3271 1 - 0.0000 -
792.78/795.35 c 795 26851 3307 1 - 0.0000 -
797.96/800.51 c 801 27082 3324 1 - 0.0000 -
803.05/805.70 c 806 27263 3349 1 - 0.0000 -
808.44/811.01 c 811 27459 3381 1 - 0.0000 -
813.52/816.15 c 816 27633 3392 1 - 0.0000 -
818.80/821.40 c 821 27806 3423 1 - 0.0000 -
824.59/827.23 c 827 27997 3445 1 - 0.0000 -
829.67/832.35 c 832 28229 3472 1 - 0.0000 -
834.96/837.67 c 838 28419 3499 1 - 0.0000 -
840.35/843.08 c 843 28628 3517 1 - 0.0000 -
845.64/848.39 c 848 28816 3562 1 - 0.0000 -
850.72/853.46 c 853 29020 3569 1 - 0.0000 -
856.01/858.75 c 859 29203 3608 1 - 0.0000 -
861.30/864.05 c 864 29328 3620 1 - 0.0000 -
866.48/869.22 c 869 29526 3634 1 - 0.0000 -
871.56/874.34 c 874 29670 3661 1 - 0.0000 -
876.64/879.44 c 879 29911 3692 1 - 0.0000 -
881.73/884.53 c 885 30119 3719 1 - 0.0000 -
886.82/889.64 c 890 30346 3716 1 - 0.0000 -
892.10/894.92 c 895 30581 3728 1 - 0.0000 -
897.39/900.20 c 900 30797 3759 1 - 0.0000 -
902.47/905.30 c 905 31038 3775 1 - 0.0000 -
907.76/910.69 c 911 31254 3797 1 - 0.0000 -
913.04/915.90 c 916 31456 3824 1 - 0.0000 -
918.14/921.07 c 921 31669 3839 1 - 0.0000 -
923.62/926.56 c 927 31827 3869 1 - 0.0000 -
929.40/932.30 c 932 32034 3888 1 - 0.0000 -
934.78/937.79 c 938 32266 3905 1 - 0.0000 -
939.88/942.87 c 943 32540 3916 1 - 0.0000 -
945.46/948.44 c 948 32757 3940 1 - 0.0000 -
950.64/953.62 c 954 32971 3949 1 - 0.0000 -
955.73/958.77 c 959 33149 3959 1 - 0.0000 -
960.91/964.00 c 964 33373 3966 1 - 0.0000 -
966.30/969.35 c 969 33545 3993 1 - 0.0000 -
971.58/974.67 c 975 33788 4007 1 - 0.0000 -
976.87/979.91 c 980 34009 4006 1 - 0.0000 -
982.06/985.16 c 985 34228 4003 1 - 0.0000 -
987.14/990.23 c 990 34440 4020 1 - 0.0000 -
992.33/995.43 c 995 34611 4046 1 - 0.0000 -
997.51/1000.63 c 1001 34795 4073 1 - 0.0000 -
1003.00/1006.19 c 1006 35013 4101 1 - 0.0000 -
1008.19/1011.30 c 1011 35281 4100 1 - 0.0000 -
1014.07/1017.23 c 1017 35447 4112 1 - 0.0000 -
1019.35/1022.54 c 1023 35655 4125 1 - 0.0000 -
1024.84/1028.09 c 1028 35857 4144 1 - 0.0000 -
1029.92/1033.16 c 1033 36091 4161 1 - 0.0000 -
1035.21/1038.46 c 1038 36307 4173 1 - 0.0000 -
1040.49/1043.74 c 1044 36514 4193 1 - 0.0000 -
1045.58/1048.83 c 1049 36720 4217 1 - 0.0000 -
1050.96/1054.25 c 1054 36928 4249 1 - 0.0000 -
1056.15/1059.42 c 1059 37137 4256 1 - 0.0000 -
1061.23/1064.56 c 1065 37316 4273 1 - 0.0000 -
1066.32/1069.62 c 1070 37508 4285 1 - 0.0000 -
1071.50/1074.84 c 1075 37739 4306 1 - 0.0000 -
1076.59/1079.96 c 1080 37990 4304 1 - 0.0000 -
1081.78/1085.15 c 1085 38232 4316 1 - 0.0000 -
1086.96/1090.33 c 1090 38489 4333 1 - 0.0000 -
1092.15/1095.55 c 1096 38724 4352 1 - 0.0000 -
1097.24/1100.64 c 1101 38965 4362 1 - 0.0000 -
1102.82/1106.21 c 1106 39204 4366 1 - 0.0000 -
1107.80/1111.28 c 1111 39439 4375 1 - 0.0000 -
1113.08/1116.51 c 1117 39582 4403 1 - 0.0000 -
1118.07/1121.58 c 1122 39820 4399 1 - 0.0000 -
1123.15/1126.69 c 1127 40057 4407 1 - 0.0000 -
1128.34/1131.82 c 1132 40241 4419 1 - 0.0000 -
1133.53/1137.08 c 1137 40477 4440 1 - 0.0000 -
1138.80/1142.39 c 1142 40747 4453 1 - 0.0000 -
1144.69/1148.28 c 1148 41015 4449 1 - 0.0000 -
1149.77/1153.35 c 1153 41227 4463 1 - 0.0000 -
1155.06/1158.64 c 1159 41487 4447 1 - 0.0000 -
1160.25/1163.87 c 1164 41713 4465 1 - 0.0000 -
1165.83/1169.49 c 1169 41872 4491 1 - 0.0000 -
1171.11/1174.73 c 1175 42145 4491 1 - 0.0000 -
1176.30/1179.95 c 1180 42387 4502 1 - 0.0000 -
1181.38/1185.08 c 1185 42607 4521 1 - 0.0000 -
1186.57/1190.27 c 1190 42839 4537 1 - 0.0000 -
1191.66/1195.34 c 1195 43028 4567 1 - 0.0000 -
1196.84/1200.50 c 1200 43240 4589 1 - 0.0000 -
1201.92/1205.65 c 1206 43440 4600 1 - 0.0000 -
1207.50/1211.21 c 1211 43648 4619 1 - 0.0000 -
1212.58/1216.30 c 1216 43837 4635 1 - 0.0000 -
1217.67/1221.47 c 1221 44057 4649 1 - 0.0000 -
1222.86/1226.66 c 1227 44228 4646 1 - 0.0000 -
1228.44/1232.23 c 1232 44425 4670 1 - 0.0000 -
1233.53/1237.32 c 1237 44617 4688 1 - 0.0000 -
1238.81/1242.66 c 1243 44767 4718 1 - 0.0000 -
1244.50/1248.33 c 1248 44937 4733 1 - 0.0000 -
1249.88/1253.77 c 1254 45163 4759 1 - 0.0000 -
1255.18/1259.05 c 1259 45335 4791 1 - 0.0000 -
1260.55/1264.49 c 1264 45545 4816 1 - 0.0000 -
1265.74/1269.63 c 1270 45750 4824 1 - 0.0000 -
1270.93/1274.84 c 1275 45922 4843 1 - 0.0000 -
1276.12/1280.03 c 1280 46158 4850 1 - 0.0000 -
1281.40/1285.34 c 1285 46374 4862 1 - 0.0000 -
1286.48/1290.43 c 1290 46538 4886 1 - 0.0000 -
1291.76/1295.77 c 1296 46699 4913 1 - 0.0000 -
1296.84/1300.83 c 1301 46943 4922 1 - 0.0000 -
1302.13/1306.12 c 1306 47111 4950 1 - 0.0000 -
1307.21/1311.22 c 1311 47317 4958 1 - 0.0000 -
1312.49/1316.54 c 1317 47483 4985 1 - 0.0000 -
1317.67/1321.73 c 1322 47674 5012 1 - 0.0000 -
1322.76/1326.85 c 1327 47905 5038 1 - 0.0000 -
1327.84/1331.92 c 1332 48147 5052 1 - 0.0000 -
1333.03/1337.13 c 1337 48325 5095 1 - 0.0000 -
1338.11/1342.24 c 1342 48555 5093 1 - 0.0000 -
1343.19/1347.34 c 1347 48750 5106 1 - 0.0000 -
1348.88/1353.06 c 1353 48927 5123 1 - 0.0000 -
1357.65/1361.88 c 1362 49080 5136 1 - 0.0000 -
1362.83/1367.02 c 1367 49271 5154 1 - 0.0000 -
1368.31/1372.57 c 1373 49503 5170 1 - 0.0000 -
1373.59/1377.81 c 1378 49745 5176 1 - 0.0000 -
1378.58/1382.89 c 1383 49972 5193 1 - 0.0000 -
1383.86/1388.12 c 1388 50167 5206 1 - 0.0000 -
1389.24/1393.52 c 1394 50444 5224 1 - 0.0000 -
1394.32/1398.66 c 1399 50662 5243 1 - 0.0000 -
1399.60/1403.96 c 1404 50884 5250 1 - 0.0000 -
1404.69/1409.02 c 1409 51081 5276 1 - 0.0000 -
1409.68/1414.10 c 1414 51314 5291 1 - 0.0000 -
1415.26/1419.65 c 1420 51506 5318 1 - 0.0000 -
1420.45/1424.85 c 1425 51712 5344 1 - 0.0000 -
1426.03/1430.40 c 1430 51963 5355 1 - 0.0000 -
1431.12/1435.57 c 1436 52153 5378 1 - 0.0000 -
1436.61/1441.04 c 1441 52347 5400 1 - 0.0000 -
1442.09/1446.55 c 1447 52572 5425 1 - 0.0000 -
1447.17/1451.63 c 1452 52816 5439 1 - 0.0000 -
1452.46/1456.98 c 1457 53014 5461 1 - 0.0000 -
1457.64/1462.19 c 1462 53260 5475 1 - 0.0000 -
1462.92/1467.48 c 1467 53487 5511 1 - 0.0000 -
1468.01/1472.54 c 1473 53686 5532 1 - 0.0000 -
1473.09/1477.65 c 1478 53933 5545 1 - 0.0000 -
1478.18/1482.71 c 1483 54172 5565 1 - 0.0000 -
1483.17/1487.77 c 1488 54393 5569 1 - 0.0000 -
1488.26/1492.82 c 1493 54653 5578 1 - 0.0000 -
1493.34/1497.91 c 1498 54915 5581 1 - 0.0000 -
1498.93/1503.57 c 1504 55117 5602 1 - 0.0000 -
1504.21/1508.85 c 1509 55296 5635 1 - 0.0000 -
1509.41/1514.00 c 1514 55534 5646 1 - 0.0000 -
1514.49/1519.13 c 1519 55743 5643 1 - 0.0000 -
1519.57/1524.24 c 1524 55992 5632 1 - 0.0000 -
1524.65/1529.38 c 1529 56187 5631 1 - 0.0000 -
1529.84/1534.50 c 1534 56352 5649 1 - 0.0000 -
1535.13/1539.85 c 1540 56559 5662 1 - 0.0000 -
1540.91/1545.64 c 1546 56798 5674 1 - 0.0000 -
1546.20/1550.91 c 1551 57056 5693 1 - 0.0000 -
1551.29/1556.03 c 1556 57308 5696 1 - 0.0000 -
1556.47/1561.28 c 1561 57524 5718 1 - 0.0000 -
1561.75/1566.51 c 1567 57716 5740 1 - 0.0000 -
1568.64/1573.44 c 1573 57915 5743 1 - 0.0000 -
1574.02/1578.87 c 1579 58162 5760 1 - 0.0000 -
1579.31/1584.11 c 1584 58389 5771 1 - 0.0000 -
1584.39/1589.21 c 1589 58633 5774 1 - 0.0000 -
1590.38/1595.20 c 1595 58787 5813 1 - 0.0000 -
1595.46/1600.34 c 1600 59019 5834 1 - 0.0000 -
1600.76/1605.69 c 1606 59242 5848 1 - 0.0000 -
1605.95/1610.82 c 1611 59489 5865 1 - 0.0000 -
1611.14/1616.05 c 1616 59696 5884 1 - 0.0000 -
1616.22/1621.17 c 1621 59969 5879 1 - 0.0000 -
1621.30/1626.24 c 1626 60228 5891 1 - 0.0000 -
1626.59/1631.55 c 1632 60454 5893 1 - 0.0000 -
1631.77/1636.75 c 1637 60677 5908 1 - 0.0000 -
1636.87/1641.84 c 1642 60917 5915 1 - 0.0000 -
1641.95/1646.93 c 1647 61166 5931 1 - 0.0000 -
1647.05/1652.00 c 1652 61416 5952 1 - 0.0000 -
1652.13/1657.13 c 1657 61671 5951 1 - 0.0000 -
1657.21/1662.24 c 1662 61917 5946 1 - 0.0000 -
1662.30/1667.32 c 1667 62186 5958 1 - 0.0000 -
1667.39/1672.44 c 1672 62390 5985 1 - 0.0000 -
1672.68/1677.76 c 1678 62630 5969 1 - 0.0000 -
1677.86/1682.91 c 1683 62907 5968 1 - 0.0000 -
1682.95/1688.01 c 1688 63201 5948 1 - 0.0000 -
1688.33/1693.47 c 1693 63418 5970 1 - 0.0000 -
1693.52/1698.64 c 1699 63734 5976 1 - 0.0000 -
1698.71/1703.85 c 1704 63989 5982 1 - 0.0000 -
1703.90/1709.05 c 1709 64203 5999 1 - 0.0000 -
1709.18/1714.37 c 1714 64443 6000 1 - 0.0000 -
1714.56/1719.71 c 1720 64751 6005 1 - 0.0000 -
1719.65/1724.85 c 1725 64965 6027 1 - 0.0000 -
1724.74/1729.93 c 1730 65257 6042 1 - 0.0000 -
1729.84/1735.07 c 1735 65479 6055 1 - 0.0000 -
1735.82/1741.06 c 1741 65739 6048 1 - 0.0000 -
1740.91/1746.17 c 1746 65964 6063 1 - 0.0000 -
1745.99/1751.29 c 1751 66180 6074 1 - 0.0000 -
1751.08/1756.36 c 1756 66453 6056 1 - 0.0000 -
1756.16/1761.44 c 1761 66698 6072 1 - 0.0000 -
1761.35/1766.61 c 1767 66965 6062 1 - 0.0000 -
1766.44/1771.71 c 1772 67227 6074 1 - 0.0000 -
1771.73/1777.09 c 1777 67476 6090 1 - 0.0000 -
1776.81/1782.18 c 1782 67739 6101 1 - 0.0000 -
1782.49/1787.81 c 1788 68035 6108 1 - 0.0000 -
1787.68/1793.01 c 1793 68282 6128 1 - 0.0000 -
1792.77/1798.11 c 1798 68557 6136 1 - 0.0000 -
1797.86/1803.28 c 1803 68817 6136 1 - 0.0000 -
1803.15/1808.57 c 1809 69104 6146 1 - 0.0000 -
1808.23/1813.66 c 1814 69311 6164 1 - 0.0000 -
1813.73/1819.12 c 1819 69518 6180 1 - 0.0000 -
1818.80/1824.23 c 1824 69757 6201 1 - 0.0000 -
1823.89/1829.32 c 1829 70045 6205 1 - 0.0000 -
1829.08/1834.57 c 1835 70299 6208 1 - 0.0000 -
1834.17/1839.65 c 1840 70555 6219 1 - 0.0000 -
1839.25/1844.73 c 1845 70774 6230 1 - 0.0000 -
1844.74/1850.20 c 1850 71063 6241 1 - 0.0000 -
1849.83/1855.32 c 1855 71314 6252 1 - 0.0000 -
1855.01/1860.51 c 1861 71568 6254 1 - 0.0000 -
1860.20/1865.75 c 1866 71817 6269 1 - 0.0000 -
1865.39/1870.99 c 1871 72024 6292 1 - 0.0000 -
1870.77/1876.35 c 1876 72291 6301 1 - 0.0000 -
1875.86/1881.45 c 1881 72556 6330 1 - 0.0000 -
1881.04/1886.68 c 1887 72779 6336 1 - 0.0000 -
1886.33/1891.96 c 1892 73065 6342 1 - 0.0000 -
1891.52/1897.10 c 1897 73329 6343 1 - 0.0000 -
1896.60/1902.21 c 1902 73635 6333 1 - 0.0000 -
1901.69/1907.37 c 1907 73897 6334 1 - 0.0000 -
1906.77/1912.46 c 1912 74130 6337 1 - 0.0000 -
1912.06/1917.75 c 1918 74331 6354 1 - 0.0000 -
1917.36/1923.04 c 1923 74570 6350 1 - 0.0000 -
1922.45/1928.14 c 1928 74820 6361 1 - 0.0000 -
1927.53/1933.25 c 1933 75100 6364 1 - 0.0000 -
1932.62/1938.30 c 1938 75394 6355 1 - 0.0000 -
1938.41/1944.16 c 1944 75650 6333 1 - 0.0000 -
1943.59/1949.31 c 1949 75889 6344 1 - 0.0000 -
1948.68/1954.42 c 1954 76116 6351 1 - 0.0000 -
1953.76/1959.52 c 1960 76340 6361 1 - 0.0000 -
1958.85/1964.64 c 1965 76619 6367 1 - 0.0000 -
1963.94/1969.72 c 1970 76908 6368 1 - 0.0000 -
1968.92/1974.79 c 1975 77177 6369 1 - 0.0000 -
1974.01/1979.89 c 1980 77481 6360 1 - 0.0000 -
1979.30/1985.18 c 1985 77755 6359 1 - 0.0000 -
1984.48/1990.31 c 1990 78014 6381 1 - 0.0000 -
1989.87/1995.72 c 1996 78291 6388 1 - 0.0000 -
1995.05/2000.95 c 2001 78590 6391 1 - 0.0000 -
2000.14/2006.09 c 2006 78844 6401 1 - 0.0000 -
2005.42/2011.36 c 2011 79137 6402 1 - 0.0000 -
2012.11/2018.02 c 2018 79367 6399 1 - 0.0000 -
2018.10/2024.01 c 2024 79620 6410 1 - 0.0000 -
2023.18/2029.17 c 2029 79870 6428 1 - 0.0000 -
2028.26/2034.26 c 2034 80174 6428 1 - 0.0000 -
2033.45/2039.49 c 2039 80456 6433 1 - 0.0000 -
2038.75/2044.77 c 2045 80725 6448 1 - 0.0000 -
2043.83/2049.87 c 2050 81031 6441 1 - 0.0000 -
2048.92/2054.95 c 2055 81207 6512 1 - 0.0000 -
2054.20/2060.20 c 2060 81459 6522 1 - 0.0000 -
2059.29/2065.38 c 2065 81664 6534 1 - 0.0000 -
2064.38/2070.47 c 2070 81942 6543 1 - 0.0000 -
2069.46/2075.57 c 2076 82215 6558 1 - 0.0000 -
2074.55/2080.65 c 2081 82536 6556 1 - 0.0000 -
2080.24/2086.35 c 2086 82855 6565 1 - 0.0000 -
2085.32/2091.43 c 2091 83135 6569 1 - 0.0000 -
2090.31/2096.49 c 2096 83368 6572 1 - 0.0000 -
2095.49/2101.69 c 2102 83580 6587 1 - 0.0000 -
2101.08/2107.27 c 2107 83829 6602 1 - 0.0000 -
2106.17/2112.37 c 2112 84137 6615 1 - 0.0000 -
2111.56/2117.71 c 2118 84368 6633 1 - 0.0000 -
2116.85/2123.09 c 2123 84642 6638 1 - 0.0000 -
2121.93/2128.19 c 2128 84908 6648 1 - 0.0000 -
2127.11/2133.37 c 2133 85110 6664 1 - 0.0000 -
2132.30/2138.50 c 2138 85402 6670 1 - 0.0000 -
2137.79/2144.03 c 2144 85662 6674 1 - 0.0000 -
2142.88/2149.18 c 2149 85908 6685 1 - 0.0000 -
2147.96/2154.27 c 2154 86168 6683 1 - 0.0000 -
2153.05/2159.37 c 2159 86392 6700 1 - 0.0000 -
2158.33/2164.63 c 2165 86643 6719 1 - 0.0000 -
2163.62/2169.90 c 2170 86827 6732 1 - 0.0000 -
2168.71/2175.00 c 2175 87045 6740 1 - 0.0000 -
2173.70/2180.08 c 2180 87325 6733 1 - 0.0000 -
2179.08/2185.47 c 2185 87612 6728 1 - 0.0000 -
2184.16/2190.55 c 2191 87884 6730 1 - 0.0000 -
2189.25/2195.66 c 2196 88117 6737 1 - 0.0000 -
2194.44/2200.89 c 2201 88378 6759 1 - 0.0000 -
2199.63/2206.04 c 2206 88584 6763 1 - 0.0000 -
2204.72/2211.10 c 2211 88822 6786 1 - 0.0000 -
2209.81/2216.24 c 2216 89073 6792 1 - 0.0000 -
2214.99/2221.40 c 2221 89333 6801 1 - 0.0000 -
2221.07/2227.58 c 2228 89587 6828 1 - 0.0000 -
2226.36/2232.86 c 2233 89778 6846 1 - 0.0000 -
2231.85/2238.37 c 2238 90058 6860 1 - 0.0000 -
2236.93/2243.43 c 2243 90348 6860 1 - 0.0000 -
2242.02/2248.52 c 2249 90601 6858 1 - 0.0000 -
2247.31/2253.88 c 2254 90850 6861 1 - 0.0000 -
2252.39/2258.97 c 2259 91120 6863 1 - 0.0000 -
2257.48/2264.08 c 2264 91420 6850 1 - 0.0000 -
2263.16/2269.78 c 2270 91574 6860 1 - 0.0000 -
2268.25/2274.83 c 2275 91860 6860 1 - 0.0000 -
2273.34/2279.91 c 2280 92186 6861 1 - 0.0000 -
2278.32/2284.98 c 2285 92484 6854 1 - 0.0000 -
2283.41/2290.07 c 2290 92739 6854 1 - 0.0000 -
2288.50/2295.16 c 2295 93037 6851 1 - 0.0000 -
2293.79/2300.40 c 2300 93318 6849 1 - 0.0000 -
2298.88/2305.54 c 2306 93607 6849 1 - 0.0000 -
2303.96/2310.66 c 2311 93896 6844 1 - 0.0000 -
2309.35/2316.07 c 2316 94166 6857 1 - 0.0000 -
2314.64/2321.35 c 2321 94450 6856 1 - 0.0000 -
2319.72/2326.49 c 2326 94749 6852 1 - 0.0000 -
2324.91/2331.68 c 2332 94984 6867 1 - 0.0000 -
2329.99/2336.78 c 2337 95218 6888 1 - 0.0000 -
2335.48/2342.20 c 2342 95398 6903 1 - 0.0000 -
2340.66/2347.44 c 2347 95567 6929 1 - 0.0000 -
2345.85/2352.62 c 2353 95859 6943 1 - 0.0000 -
2351.04/2357.81 c 2358 96145 6955 1 - 0.0000 -
2356.13/2362.92 c 2363 96446 6950 1 - 0.0000 -
2361.32/2368.11 c 2368 96702 6955 1 - 0.0000 -
2366.31/2373.19 c 2373 96961 6968 1 - 0.0000 -
2371.69/2378.53 c 2379 97205 6971 1 - 0.0000 -
2376.78/2383.61 c 2384 97537 6986 1 - 0.0000 -
2381.96/2388.81 c 2389 97847 7011 1 - 0.0000 -
2387.35/2394.24 c 2394 98106 7024 1 - 0.0000 -
2392.53/2399.41 c 2399 98395 7025 1 - 0.0000 -
2397.62/2404.53 c 2405 98628 7043 1 - 0.0000 -
2402.80/2409.74 c 2410 98865 7051 1 - 0.0000 -
2407.89/2414.87 c 2415 99130 7043 1 - 0.0000 -
2412.98/2419.96 c 2420 99396 7036 1 - 0.0000 -
2418.07/2425.07 c 2425 99673 7042 1 - 0.0000 -
2423.26/2430.23 c 2430 99935 7057 1 - 0.0000 -
2428.34/2435.35 c 2435 100153 7075 1 - 0.0000 -
2433.53/2440.54 c 2441 100439 7080 1 - 0.0000 -
2438.82/2445.83 c 2446 100574 7087 1 - 0.0000 -
2444.11/2451.12 c 2451 100850 7088 1 - 0.0000 -
2449.19/2456.20 c 2456 101108 7090 1 - 0.0000 -
2454.27/2461.35 c 2461 101423 7083 1 - 0.0000 -
2459.36/2466.43 c 2466 101635 7089 1 - 0.0000 -
2464.45/2471.50 c 2472 101862 7101 1 - 0.0000 -
2469.53/2476.60 c 2477 102125 7106 1 - 0.0000 -
2474.53/2481.67 c 2482 102399 7099 1 - 0.0000 -
2479.61/2486.75 c 2487 102670 7100 1 - 0.0000 -
2485.10/2492.22 c 2492 102952 7119 1 - 0.0000 -
2490.18/2497.34 c 2497 103225 7127 1 - 0.0000 -
2495.27/2502.43 c 2502 103483 7146 1 - 0.0000 -
2500.86/2508.01 c 2508 103608 7155 1 - 0.0000 -
2505.95/2513.14 c 2513 103843 7181 1 - 0.0000 -
2511.03/2518.20 c 2518 104104 7183 1 - 0.0000 -
2516.31/2523.51 c 2524 104346 7200 1 - 0.0000 -
2521.61/2528.87 c 2529 104586 7210 1 - 0.0000 -
2526.80/2534.07 c 2534 104863 7221 1 - 0.0000 -
2531.89/2539.13 c 2539 105113 7232 1 - 0.0000 -
2536.97/2544.22 c 2544 105426 7221 1 - 0.0000 -
2542.25/2549.59 c 2550 105653 7268 1 - 0.0000 -
2547.54/2554.84 c 2555 105902 7272 1 - 0.0000 -
2552.73/2560.03 c 2560 106167 7288 1 - 0.0000 -
2557.91/2565.22 c 2565 106417 7300 1 - 0.0000 -
2563.10/2570.47 c 2570 106650 7313 1 - 0.0000 -
2568.39/2575.79 c 2576 106875 7351 1 - 0.0000 -
2573.78/2581.13 c 2581 107100 7359 1 - 0.0000 -
2578.86/2586.24 c 2586 107339 7379 1 - 0.0000 -
2583.95/2591.31 c 2591 107640 7373 1 - 0.0000 -
2589.13/2596.53 c 2597 107925 7380 1 - 0.0000 -
2594.52/2601.94 c 2602 108238 7365 1 - 0.0000 -
2599.61/2607.00 c 2607 108554 7370 1 - 0.0000 -
2604.56/2612.08 c 2612 108823 7358 1 - 0.0000 -
2610.12/2617.61 c 2618 109080 7380 1 - 0.0000 -
2615.18/2622.79 c 2623 109344 7390 1 - 0.0000 -
2620.23/2627.85 c 2628 109633 7385 1 - 0.0000 -
2625.58/2633.25 c 2633 109913 7396 1 - 0.0000 -
2631.23/2638.92 c 2639 110178 7413 1 - 0.0000 -
2636.29/2644.03 c 2644 110438 7418 1 - 0.0000 -
2641.35/2649.16 c 2649 110650 7438 1 - 0.0000 -
2646.59/2654.40 c 2654 110933 7436 1 - 0.0000 -
2651.85/2659.72 c 2660 111167 7454 1 - 0.0000 -
2656.90/2664.83 c 2665 111411 7459 1 - 0.0000 -
2661.96/2669.90 c 2670 111620 7478 1 - 0.0000 -
2666.91/2674.99 c 2675 111887 7480 1 - 0.0000 -
2672.26/2680.31 c 2680 112197 7472 1 - 0.0000 -
2677.52/2685.69 c 2686 112303 7477 1 - 0.0000 -
2682.68/2690.85 c 2691 112571 7489 1 - 0.0000 -
2687.74/2695.95 c 2696 112830 7492 1 - 0.0000 -
2692.89/2701.19 c 2701 113074 7495 1 - 0.0000 -
2697.94/2706.28 c 2706 113349 7490 1 - 0.0000 -
2703.59/2711.98 c 2712 113644 7495 1 - 0.0000 -
2708.65/2717.05 c 2717 113936 7485 1 - 0.0000 -
2713.80/2722.26 c 2722 114212 7485 1 - 0.0000 -
2719.05/2727.50 c 2728 114491 7498 1 - 0.0000 -
2724.30/2732.80 c 2733 114767 7504 1 - 0.0000 -
2729.46/2738.08 c 2738 115018 7530 1 - 0.0000 -
2734.51/2743.17 c 2743 115266 7539 1 - 0.0000 -
2739.76/2748.49 c 2748 115496 7574 1 - 0.0000 -
2744.92/2753.68 c 2754 115736 7609 1 - 0.0000 -
2749.98/2758.74 c 2759 116011 7597 1 - 0.0000 -
2755.04/2763.83 c 2764 116200 7631 1 - 0.0000 -
2760.02/2768.89 c 2769 116484 7648 1 - 0.0000 -
2765.11/2773.99 c 2774 116705 7656 1 - 0.0000 -
2770.20/2779.06 c 2779 116941 7676 1 - 0.0000 -
2775.48/2784.34 c 2784 117183 7687 1 - 0.0000 -
2780.67/2789.51 c 2790 117451 7696 1 - 0.0000 -
2785.85/2794.71 c 2795 117716 7694 1 - 0.0000 -
2791.25/2800.18 c 2800 117980 7685 1 - 0.0000 -
2796.33/2805.25 c 2805 118252 7688 1 - 0.0000 -
2802.22/2811.12 c 2811 118516 7689 1 - 0.0000 -
2807.20/2816.19 c 2816 118787 7691 1 - 0.0000 -
2812.28/2821.26 c 2821 119013 7702 1 - 0.0000 -
2817.47/2826.43 c 2826 119260 7710 1 - 0.0000 -
2822.66/2831.68 c 2832 119537 7701 1 - 0.0000 -
2828.15/2837.18 c 2837 119790 7719 1 - 0.0000 -
2833.23/2842.24 c 2842 120021 7735 1 - 0.0000 -
2838.32/2847.39 c 2847 120255 7744 1 - 0.0000 -
2843.41/2852.48 c 2852 120514 7740 1 - 0.0000 -
2848.60/2857.61 c 2858 120762 7741 1 - 0.0000 -
2853.59/2862.67 c 2863 121019 7732 1 - 0.0000 -
2858.77/2867.80 c 2868 121274 7749 1 - 0.0000 -
2863.76/2872.87 c 2873 121570 7735 1 - 0.0000 -
2868.95/2878.08 c 2878 121765 7741 1 - 0.0000 -
2874.13/2883.21 c 2883 122084 7739 1 - 0.0000 -
2879.22/2888.32 c 2888 122327 7755 1 - 0.0000 -
2884.70/2893.89 c 2894 122529 7765 1 - 0.0000 -
2889.90/2899.04 c 2899 122829 7761 1 - 0.0000 -
2894.98/2904.13 c 2904 123095 7768 1 - 0.0000 -
2900.16/2909.30 c 2909 123307 7776 1 - 0.0000 -
2905.15/2914.37 c 2914 123538 7787 1 - 0.0000 -
2910.24/2919.50 c 2919 123743 7826 1 - 0.0000 -
2915.42/2924.60 c 2925 124005 7826 1 - 0.0000 -
2920.61/2929.88 c 2930 124227 7833 1 - 0.0000 -
2925.80/2935.09 c 2935 124510 7836 1 - 0.0000 -
2930.99/2940.23 c 2940 124788 7834 1 - 0.0000 -
2936.18/2945.45 c 2945 125100 7827 1 - 0.0000 -
2941.26/2950.53 c 2951 125342 7849 1 - 0.0000 -
2946.35/2955.61 c 2956 125583 7848 1 - 0.0000 -
2951.44/2960.78 c 2961 125841 7848 1 - 0.0000 -
2956.62/2965.90 c 2966 126124 7849 1 - 0.0000 -
2961.61/2970.98 c 2971 126350 7851 1 - 0.0000 -
2966.80/2976.10 c 2976 126615 7849 1 - 0.0000 -
2972.28/2981.66 c 2982 126882 7847 1 - 0.0000 -
2977.37/2986.75 c 2987 127145 7845 1 - 0.0000 -
2982.45/2991.85 c 2992 127378 7848 1 - 0.0000 -
2987.64/2997.08 c 2997 127612 7860 1 - 0.0000 -
2992.82/3002.20 c 3002 127880 7849 1 - 0.0000 -
2997.91/3007.31 c 3007 128192 7842 1 - 0.0000 -
3003.00/3012.40 c 3012 128480 7842 1 - 0.0000 -
3008.18/3017.63 c 3018 128730 7843 1 - 0.0000 -
3013.28/3022.78 c 3023 129009 7849 1 - 0.0000 -
3018.37/3027.87 c 3028 129292 7850 1 - 0.0000 -
3024.25/3033.70 c 3034 129534 7869 1 - 0.0000 -
3029.34/3038.82 c 3039 129823 7876 1 - 0.0000 -
3037.42/3046.92 c 3047 130155 7870 1 - 0.0000 -
3042.71/3052.27 c 3052 130421 7883 1 - 0.0000 -
3047.79/3057.35 c 3057 130681 7877 1 - 0.0000 -
3052.98/3062.55 c 3063 130951 7871 1 - 0.0000 -
3058.07/3067.67 c 3068 131230 7873 1 - 0.0000 -
3063.35/3072.93 c 3073 131518 7875 1 - 0.0000 -
3068.44/3078.00 c 3078 131770 7874 1 - 0.0000 -
3073.53/3083.18 c 3083 131993 7895 1 - 0.0000 -
3078.61/3088.27 c 3088 132292 7909 1 - 0.0000 -
3083.90/3093.55 c 3094 132555 7915 1 - 0.0000 -
3089.09/3098.74 c 3099 132811 7920 1 - 0.0000 -
3094.39/3104.00 c 3104 133073 7921 1 - 0.0000 -
3099.37/3109.07 c 3109 133327 7918 1 - 0.0000 -
3104.66/3114.34 c 3114 133564 7935 1 - 0.0000 -
3109.74/3119.43 c 3119 133879 7938 1 - 0.0000 -
3114.83/3124.50 c 3124 134208 7946 1 - 0.0000 -
3120.01/3129.73 c 3130 134509 7944 1 - 0.0000 -
3125.10/3134.82 c 3135 134762 7946 1 - 0.0000 -
3130.20/3139.93 c 3140 134990 7968 1 - 0.0000 -
3135.18/3144.99 c 3145 135271 7967 1 - 0.0000 -
3140.27/3150.05 c 3150 135560 7967 1 - 0.0000 -
3145.55/3155.30 c 3155 135830 7958 1 - 0.0000 -
3150.64/3160.43 c 3160 136070 7975 1 - 0.0000 -
3155.73/3165.50 c 3166 136332 7975 1 - 0.0000 -
3160.71/3170.59 c 3171 136582 7981 1 - 0.0000 -
3165.90/3175.71 c 3176 136852 7991 1 - 0.0000 -
3171.29/3181.17 c 3181 137048 7984 1 - 0.0000 -
3176.37/3186.27 c 3186 137300 7999 1 - 0.0000 -
3181.47/3191.37 c 3191 137574 8004 1 - 0.0000 -
3186.56/3196.44 c 3196 137859 8013 1 - 0.0000 -
3191.54/3201.49 c 3201 138156 8004 1 - 0.0000 -
3196.83/3206.77 c 3207 138379 8012 1 - 0.0000 -
3202.01/3211.92 c 3212 138717 8035 1 - 0.0000 -
3207.21/3217.18 c 3217 138985 8029 1 - 0.0000 -
3212.29/3222.28 c 3222 139287 8040 1 - 0.0000 -
3217.48/3227.46 c 3227 139512 8058 1 - 0.0000 -
3222.57/3232.53 c 3233 139794 8061 1 - 0.0000 -
3228.06/3238.01 c 3238 140035 8072 1 - 0.0000 -
3233.05/3243.08 c 3243 140363 8068 1 - 0.0000 -
3238.43/3248.44 c 3248 140591 8072 1 - 0.0000 -
3243.52/3253.55 c 3254 140785 8077 1 - 0.0000 -
3248.81/3258.82 c 3259 141054 8072 1 - 0.0000 -
3253.89/3263.90 c 3264 141362 8061 1 - 0.0000 -
3259.09/3269.13 c 3269 141696 8059 1 - 0.0000 -
3264.17/3274.26 c 3274 141967 8049 1 - 0.0000 -
3269.46/3279.53 c 3280 142184 8049 1 - 0.0000 -
3274.64/3284.73 c 3285 142435 8057 1 - 0.0000 -
3280.23/3290.33 c 3290 142684 8067 1 - 0.0000 -
3285.32/3295.40 c 3295 143017 8067 1 - 0.0000 -
3290.31/3300.49 c 3300 143422 8052 1 - 0.0000 -
3295.49/3305.63 c 3306 143638 8064 1 - 0.0000 -
3300.78/3310.96 c 3311 143899 8071 1 - 0.0000 -
3306.07/3316.22 c 3316 144178 8072 1 - 0.0000 -
3311.26/3321.47 c 3321 144414 8084 1 - 0.0000 -
3316.54/3326.73 c 3327 144630 8082 1 - 0.0000 -
3321.63/3331.86 c 3332 144907 8091 1 - 0.0000 -
3327.92/3338.10 c 3338 145113 8100 1 - 0.0000 -
3333.10/3343.38 c 3343 145333 8112 1 - 0.0000 -
3338.19/3348.49 c 3348 145631 8120 1 - 0.0000 -
3343.48/3353.71 c 3354 145913 8120 1 - 0.0000 -
3348.46/3358.79 c 3359 146175 8134 1 - 0.0000 -
3353.55/3363.85 c 3364 146482 8141 1 - 0.0000 -
3358.64/3368.98 c 3369 146768 8142 1 - 0.0000 -
3363.83/3374.13 c 3374 147034 8155 1 - 0.0000 -
3368.91/3379.23 c 3379 147305 8155 1 - 0.0000 -
3374.00/3384.34 c 3384 147569 8159 1 - 0.0000 -
3379.20/3389.50 c 3390 147862 8170 1 - 0.0000 -
3384.28/3394.66 c 3395 148084 8181 1 - 0.0000 -
3389.37/3399.79 c 3400 148333 8182 1 - 0.0000 -
3394.46/3404.89 c 3405 148622 8181 1 - 0.0000 -
3399.65/3410.06 c 3410 148869 8186 1 - 0.0000 -
3404.73/3415.18 c 3415 149163 8186 1 - 0.0000 -
3410.01/3420.48 c 3420 149390 8191 1 - 0.0000 -
3415.30/3425.75 c 3426 149651 8204 1 - 0.0000 -
3420.39/3430.84 c 3431 149955 8209 1 - 0.0000 -
3425.48/3435.91 c 3436 150201 8213 1 - 0.0000 -
3430.58/3441.05 c 3441 150459 8213 1 - 0.0000 -
3435.66/3446.13 c 3446 150715 8228 1 - 0.0000 -
3440.75/3451.24 c 3451 150994 8229 1 - 0.0000 -
3446.64/3457.16 c 3457 151242 8228 1 - 0.0000 -
3452.02/3462.51 c 3463 151493 8245 1 - 0.0000 -
3457.01/3467.59 c 3468 151830 8246 1 - 0.0000 -
3462.09/3472.66 c 3473 152167 8250 1 - 0.0000 -
3467.19/3477.78 c 3478 152494 8260 1 - 0.0000 -
3472.27/3482.89 c 3483 152916 8242 1 - 0.0000 -
3477.36/3487.94 c 3488 153228 8234 1 - 0.0000 -
3482.45/3493.00 c 3493 153508 8236 1 - 0.0000 -
3487.44/3498.07 c 3498 153760 8257 1 - 0.0000 -
3492.53/3503.17 c 3503 154008 8277 1 - 0.0000 -
3497.61/3508.25 c 3508 154259 8315 1 - 0.0000 -
3502.70/3513.34 c 3513 154611 8306 1 - 0.0000 -
3507.78/3518.47 c 3518 154907 8310 1 - 0.0000 -
3512.87/3523.59 c 3524 155183 8312 1 - 0.0000 -
3519.15/3529.83 c 3530 155422 8328 1 - 0.0000 -
3524.24/3534.94 c 3535 155688 8350 1 - 0.0000 -
3529.33/3540.01 c 3540 155958 8356 1 - 0.0000 -
3534.42/3545.16 c 3545 156233 8363 1 - 0.0000 -
3539.60/3550.31 c 3550 156487 8387 1 - 0.0000 -
3544.70/3555.44 c 3555 156726 8396 1 - 0.0000 -
3549.79/3560.55 c 3561 156953 8415 1 - 0.0000 -
3554.97/3565.71 c 3566 157243 8423 1 - 0.0000 -
3560.46/3571.25 c 3571 157441 8426 1 - 0.0000 -
3565.55/3576.34 c 3576 157757 8421 1 - 0.0000 -
3570.54/3581.39 c 3581 158065 8417 1 - 0.0000 -
3575.62/3586.47 c 3586 158353 8420 1 - 0.0000 -
3580.71/3591.53 c 3592 158578 8419 1 - 0.0000 -
3585.80/3596.62 c 3597 158833 8436 1 - 0.0000 -
3587.30/3598.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.30/3598.10 c Total Time : 3598.1000
3587.30/3598.10 c solving : 3598.1000
3587.30/3598.10 c presolving : 0.2028 (included in solving)
3587.30/3598.10 c B&B Tree :
3587.30/3598.10 c nodes (total) : 1
3587.30/3598.10 c Solution :
3587.30/3598.10 c Solutions found : 0
3587.30/3598.10 c Primal Bound : -
3587.30/3598.10 c Dual Bound : +0.00000000000000e+00
3587.30/3598.10 c Gap : -
3587.30/3598.11 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 (59795 MiB free)
memory of node 1: 64473 MiB (61748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464674-1722387131/watcher-4464674-1722387131 -o /tmp/evaluation-result-4464674-1722387131/solver-4464674-1722387131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464674-1722387131.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=35150, runsolver pid=35147
[startup+0.100451 s]*
/proc/loadavg: 4.12 4.10 4.09 5/262 35151
/proc/meminfo: memFree=124440724/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=42336 memory=31888 CPUtime=0.09 cores=1,3
/proc/35150/stat : 35150 (fscip) R 35147 35150 30194 0 -1 4194304 6350 0 0 0 9 0 0 0 20 0 1 0 5313270 43352064 7972 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 10584 7972 2758 3035 0 6980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 31888 KiB
[startup+0.206452 s]*
/proc/loadavg: 4.12 4.10 4.09 5/262 35151
/proc/meminfo: memFree=124434344/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=52956 memory=38484 CPUtime=0.19 cores=1,3
/proc/35150/stat : 35150 (fscip) R 35147 35150 30194 0 -1 4194304 8186 0 0 0 18 1 0 0 20 0 1 0 5313270 54226944 9621 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 13239 9621 2758 3035 0 9635 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 38484 KiB
[startup+0.306467 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 35153
/proc/meminfo: memFree=124402984/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=151264 memory=68396 CPUtime=0.28 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 17052 0 0 0 26 2 0 0 20 0 3 0 5313270 154894336 17099 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 37816 17099 2790 3035 0 22067 0
[pid=35150/tid=35152] ppid=35147 vsize=151264 memory=-5155627998848183173 CPUtime=0.06 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 5145 0 0 0 6 0 0 0 20 0 3 0 5313292 154894336 17099 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=151264 memory=0 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5313294 154894336 17099 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 151264 KiB
Current children cumulated memory: 68396 KiB
[startup+0.700245 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 35154
/proc/meminfo: memFree=124396760/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=157776 memory=85952 CPUtime=0.67 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 21311 0 0 0 64 3 0 0 20 0 3 0 5313270 161562624 21488 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 39444 21488 2934 3035 0 26753 0
[pid=35150/tid=35152] ppid=35147 vsize=157776 memory=5420 CPUtime=0.44 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 9404 0 0 0 43 1 0 0 20 0 3 0 5313292 161562624 21488 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=157776 memory=417 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5313294 161562624 21488 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 157776 KiB
Current children cumulated memory: 85952 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 35154
/proc/meminfo: memFree=124386016/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=157776 memory=86044 CPUtime=1.47 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 23115 0 0 0 144 3 0 0 20 0 3 0 5313270 161562624 21511 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 39444 21511 2934 3035 0 26782 0
[pid=35150/tid=35152] ppid=35147 vsize=157776 memory=417 CPUtime=1.24 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 11208 0 0 0 123 1 0 0 20 0 3 0 5313292 161562624 21511 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=157776 memory=0 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5313294 161562624 21511 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 157776 KiB
Current children cumulated memory: 86044 KiB
[startup+3.10582 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 35154
/proc/meminfo: memFree=124319192/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=223312 memory=154948 CPUtime=3.07 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 44412 0 0 0 300 7 0 0 20 0 3 0 5313270 228671488 38737 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 55828 38737 2950 3035 0 45757 0
[pid=35150/tid=35152] ppid=35147 vsize=223312 memory=-5155627998848183173 CPUtime=2.84 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 32503 0 0 0 279 5 0 0 20 0 3 0 5313292 228671488 38737 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=223312 memory=0 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5313294 228671488 38737 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 223312 KiB
Current children cumulated memory: 154948 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 35154
/proc/meminfo: memFree=124290016/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=223312 memory=175352 CPUtime=6.25 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 50063 0 0 0 618 7 0 0 20 0 3 0 5313270 228671488 43838 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 55828 43838 2950 3035 0 51197 0
[pid=35150/tid=35152] ppid=35147 vsize=223312 memory=12340 CPUtime=6.03 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 38124 0 0 0 597 6 0 0 20 0 3 0 5313292 228671488 43838 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=223312 memory=12340 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5313294 228671488 43838 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 223312 KiB
Current children cumulated memory: 175352 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 35156
/proc/meminfo: memFree=124275932/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=223312 memory=176844 CPUtime=12.64 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 64338 0 0 0 1256 8 0 0 20 0 3 0 5313270 228671488 44211 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 55828 44211 2950 3035 0 51294 0
[pid=35150/tid=35152] ppid=35147 vsize=223312 memory=164668 CPUtime=12.41 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 52375 0 0 0 1235 6 0 0 20 0 3 0 5313292 228671488 44211 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=223312 memory=-5155627998848183173 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 5313294 228671488 44211 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 223312 KiB
Current children cumulated memory: 176844 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.13 4.10 5/264 35158
/proc/meminfo: memFree=124262252/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=223312 memory=177600 CPUtime=25.41 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 108458 0 0 0 2529 12 0 0 20 0 3 0 5313270 228671488 44400 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 55828 44400 2998 3035 0 51313 0
[pid=35150/tid=35152] ppid=35147 vsize=223312 memory=12340 CPUtime=25.18 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 96409 0 0 0 2508 10 0 0 20 0 3 0 5313292 228671488 44400 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=223312 memory=12340 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 5313294 228671488 44400 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 223312 KiB
Current children cumulated memory: 177600 KiB
[startup+51.1058 s]
/proc/loadavg: 4.49 4.20 4.12 5/265 35163
/proc/meminfo: memFree=124190652/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=288848 memory=217148 CPUtime=50.94 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 204973 0 0 0 5075 19 0 0 20 0 3 0 5313270 295780352 54287 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 72212 54287 3014 3035 0 61032 0
[pid=35150/tid=35152] ppid=35147 vsize=288848 memory=7156337882623337324 CPUtime=50.72 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 192833 0 0 0 5054 18 0 0 20 0 3 0 5313292 295780352 54287 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=288848 memory=12340 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5313294 295780352 54287 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288848 KiB
Current children cumulated memory: 217148 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/265 35172
/proc/meminfo: memFree=124096280/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=354384 memory=246020 CPUtime=102 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 294285 0 0 0 10173 27 0 0 20 0 3 0 5313270 362889216 61505 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 88596 61505 3014 3035 0 69010 0
[pid=35150/tid=35152] ppid=35147 vsize=354384 memory=12340 CPUtime=101.77 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 282050 0 0 0 10152 25 0 0 20 0 3 0 5313292 362889216 61505 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=354384 memory=-7595157513168838524 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5313294 362889216 61505 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 354384 KiB
Current children cumulated memory: 246020 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/265 35183
/proc/meminfo: memFree=124046784/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=354384 memory=246684 CPUtime=161.84 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 342796 0 0 0 16152 32 0 0 20 0 3 0 5313270 362889216 61671 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 88596 61671 3014 3035 0 69010 0
[pid=35150/tid=35152] ppid=35147 vsize=354384 memory=246680 CPUtime=161.61 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 330461 0 0 0 16131 30 0 0 20 0 3 0 5313292 362889216 61671 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=354384 memory=246684 CPUtime=0 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5313294 362889216 61671 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 354384 KiB
Current children cumulated memory: 246684 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/265 35577
/proc/meminfo: memFree=123994124/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=354384 memory=246688 CPUtime=221.67 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 361164 0 0 0 22133 34 0 0 20 0 3 0 5313270 362889216 61672 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 88596 61672 3014 3035 0 69010 0
################
# More data... #
################
/proc/35150/statm: 107465 89146 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=356492 CPUtime=3451.38 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 810743 0 0 0 345036 102 0 0 20 0 3 0 5313292 440176640 89146 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=356520 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 149 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89146 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 356584 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.33 2.82 3/246 37097
/proc/meminfo: memFree=125457340/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=356600 CPUtime=3511.67 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 826506 0 0 0 351055 112 0 0 20 0 3 0 5313270 440176640 89150 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89150 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=356584 CPUtime=3511.24 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 812956 0 0 0 351021 103 0 0 20 0 3 0 5313292 440176640 89150 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=12400 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 151 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89150 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 356600 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.30 2.78 3/246 37108
/proc/meminfo: memFree=125455504/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3571.53 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 828773 0 0 0 357040 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=12340 CPUtime=3571.09 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815206 0 0 0 357005 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=358004 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3598.12 s]
# the end of solver process 35150 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.18 s, system=1.14164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.14 2.30 2.77 3/246 37108
/proc/meminfo: memFree=125455504/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3573.23 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 828777 0 0 0 357210 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=-7666933632230056063 CPUtime=3572.79 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815210 0 0 0 357175 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=7686721470264483783 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.29 2.77 3/246 37108
/proc/meminfo: memFree=125455512/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3579.61 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 828782 0 0 0 357848 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=358004 CPUtime=3579.17 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815215 0 0 0 357813 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=12340 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3579.61 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3593.6 s]
/proc/loadavg: 2.13 2.29 2.77 3/246 37109
/proc/meminfo: memFree=125455484/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3582.8 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 828790 0 0 0 358167 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=12400 CPUtime=3582.36 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815223 0 0 0 358132 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=26136 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3582.8 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3595.2 s]
/proc/loadavg: 2.20 2.31 2.77 3/246 37109
/proc/meminfo: memFree=125455456/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3584.4 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 829072 0 0 0 358327 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=12680 CPUtime=3583.96 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815505 0 0 0 358292 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=-7595157513168838524 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3596.8 s]
/proc/loadavg: 2.20 2.31 2.77 3/246 37109
/proc/meminfo: memFree=125455456/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3585.99 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 829119 0 0 0 358486 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=12340 CPUtime=3585.55 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815539 0 0 0 358451 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=5420 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3597.6 s]
/proc/loadavg: 2.20 2.31 2.77 3/246 37109
/proc/meminfo: memFree=125455456/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3586.79 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 829128 0 0 0 358566 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=12680 CPUtime=3586.35 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815548 0 0 0 358531 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=12400 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3598 s]*
/proc/loadavg: 2.20 2.31 2.77 3/246 37109
/proc/meminfo: memFree=125455456/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=429860 memory=358004 CPUtime=3587.2 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 829145 0 0 0 358607 113 0 0 20 0 3 0 5313270 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 107465 89501 3014 3035 0 92863 0
[pid=35150/tid=35152] ppid=35147 vsize=429860 memory=-7666933632230056063 CPUtime=3586.76 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 815565 0 0 0 358572 104 0 0 20 0 3 0 5313292 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=429860 memory=7686721470264483783 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 440176640 89501 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 358004 KiB
[startup+3598.11 s]
/proc/loadavg: 2.20 2.31 2.77 3/246 37109
/proc/meminfo: memFree=125455456/131524600 swapFree=131071996/131071996
[pid=35150] ppid=35147 vsize=411576 memory=341040 CPUtime=3587.3 cores=1,3
/proc/35150/stat : 35150 (fscip) S 35147 35150 30194 0 -1 1077936128 829687 0 0 0 358617 113 0 0 20 0 3 0 5313270 421453824 85260 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
/proc/35150/statm: 102894 85260 3014 3035 0 88292 0
[pid=35150/tid=35152] ppid=35147 vsize=411576 memory=358004 CPUtime=3586.86 cores=1,3
/proc/35150/task/35152/stat : 35152 (fscip) R 35147 35150 30194 0 -1 4194368 816106 0 0 0 358582 104 0 0 20 0 3 0 5313292 421453824 85260 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
[pid=35150/tid=35153] ppid=35147 vsize=411576 memory=358004 CPUtime=0.02 cores=1,3
/proc/35150/task/35153/stat : 35153 (fscip) S 35147 35150 30194 0 -1 1077936192 153 0 0 0 0 2 0 0 20 0 3 0 5313294 421453824 85260 134679101440 4194304 16623229 140723862293584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44191744 140723862299670 140723862299786 140723862299786 140723862306800 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 411576 KiB
Current children cumulated memory: 341040 KiB
Child status: 0
Real time (s): 3598.12
CPU time (s): 3587.32
CPU user time (s): 3586.18
CPU system time (s): 1.14164
CPU usage (%): 99.7
Max. virtual memory (cumulated for all children) (KiB): 429860
Max. memory (cumulated for all children) (KiB): 358004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.18
system time used= 1.14164
maximum resident set size= 358004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 830080
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= 10468
involuntary context switches= 5329
# summary of solver processes directly reported to runsolver:
# pid: 35150
# total CPU time (s): 3587.32
# total CPU user time (s): 3586.18
# total CPU system time (s): 1.14164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89408 second user time and 17.2934 second system time
The end
Begin job on nodeC026 at 2024-07-31 02:52:11
IDJOB=4464674
IDBENCH=162875
IDSOLVER=3092
FILE ID=nodeC026/4464674-1722387131
RUNJOBID= nodeC026-1722378594-30206
SLURM_JOB_ID= 8249849
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.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-4464674-1722387131/watcher-4464674-1722387131 -o /tmp/evaluation-result-4464674-1722387131/solver-4464674-1722387131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464674-1722387131.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe5132cea97c009eada70044fd563797
RANDOM SEED=292526229
nodeC026.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 : 3676.883
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.59
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 : 3677.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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.590
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.59
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 : 3666.551
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3676.895
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.59
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 : 3682.665
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.360
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.59
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 : 3627.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124461588 kB
MemAvailable: 128547620 kB
Buffers: 104644 kB
Cached: 4797852 kB
SwapCached: 0 kB
Active: 277156 kB
Inactive: 6268100 kB
Active(anon): 1520 kB
Inactive(anon): 1662572 kB
Active(file): 275636 kB
Inactive(file): 4605528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28212 kB
Writeback: 0 kB
AnonPages: 1642808 kB
Mapped: 125100 kB
Shmem: 21336 kB
KReclaimable: 89380 kB
Slab: 174308 kB
SReclaimable: 89380 kB
SUnreclaim: 84928 kB
KernelStack: 4188 kB
PageTables: 12688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1306192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 260096 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC026 at 2024-07-31 03:52:09