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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 46358528, getVmSize() = 46358528, SCIPgetMemUsed() = 20071257, SCIPgetMemTotal() = 24093393, SCIPgetMemExternEstim() = 12439209
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.26 c ** Estimated virtualMemUsedAtSolver = 37953536, getVmSize() = 67502080, SCIPgetMemUsed() = 23460344, SCIPgetMemTotal() = 43302208, SCIPgetMemExternEstim() = 12439209
0.19/0.26 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.26 c Original Problem :
0.19/0.26 c Problem name : instance-4464656-1722386346
0.19/0.26 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.26 c Constraints : 8736
0.19/0.26 c Objective sense : minimize
0.19/0.26 c Presolved Problem :
0.19/0.26 c Variables : 3111 (3111 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.26 c Constraints : 6855
0.19/0.26 c Constraints : Number
0.19/0.26 c and : 32
0.19/0.26 c linear : 1208
0.19/0.26 c logicor : 5615
0.19/0.26 c ** Instance transfer method used: 0
0.19/0.27 c ** ParaScipInstance copy does not increase the number of variables. **
0.19/0.28 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.19/0.28 c Nodes Active
0.19/0.28 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
36.97/37.11 c 37 2 1 1 - 0.0000 -
42.26/42.45 c 42 16 15 1 - 0.0000 -
49.85/50.06 c 50 20 19 1 - 0.0000 -
57.03/57.29 c 57 24 23 1 - 0.0000 -
204.49/205.05 c 205 26 25 1 - 0.0000 -
211.27/211.86 c 212 30 29 1 - 0.0000 -
217.75/218.32 c 218 34 33 1 - 0.0000 -
225.63/226.22 c 226 38 37 1 - 0.0000 -
233.70/234.34 c 234 42 41 1 - 0.0000 -
241.58/242.25 c 242 46 45 1 - 0.0000 -
249.75/250.43 c 250 50 49 1 - 0.0000 -
256.03/256.73 c 257 70 69 1 - 0.0000 -
263.51/264.28 c 264 74 73 1 - 0.0000 -
272.08/272.81 c 273 78 77 1 - 0.0000 -
277.16/277.93 c 278 82 81 1 - 0.0000 -
282.75/283.54 c 284 84 83 1 - 0.0000 -
288.93/289.71 c 290 94 93 1 - 0.0000 -
297.00/297.80 c 298 98 97 1 - 0.0000 -
303.78/304.60 c 305 116 115 1 - 0.0000 -
309.07/309.90 c 310 164 163 1 - 0.0000 -
316.15/317.02 c 317 192 191 1 - 0.0000 -
323.42/324.32 c 324 205 204 1 - 0.0000 -
329.11/330.05 c 330 229 228 1 - 0.0000 -
335.09/336.02 c 336 232 231 1 - 0.0000 -
340.17/341.17 c 341 239 238 1 - 0.0000 -
346.65/347.65 c 348 245 244 1 - 0.0000 -
353.63/354.68 c 355 252 251 1 - 0.0000 -
359.51/360.51 c 361 263 262 1 - 0.0000 -
365.20/366.21 c 366 312 311 1 - 0.0000 -
370.88/371.92 c 372 348 347 1 - 0.0000 -
376.86/377.98 c 378 404 403 1 - 0.0000 -
385.43/386.54 c 387 426 425 1 - 0.0000 -
391.92/393.06 c 393 451 450 1 - 0.0000 -
398.09/399.21 c 399 477 476 1 - 0.0000 -
403.28/404.40 c 404 502 501 1 - 0.0000 -
408.46/409.66 c 410 667 660 1 - 0.0000 -
414.64/415.80 c 416 846 839 1 - 0.0000 -
419.92/421.17 c 421 1055 990 1 - 0.0000 -
425.40/426.62 c 427 1205 990 1 - 0.0000 -
431.18/432.49 c 432 1472 1134 1 - 0.0000 -
436.27/437.51 c 438 1499 1161 1 - 0.0000 -
441.95/443.28 c 443 1774 1311 1 - 0.0000 -
447.23/448.57 c 449 2109 1377 1 - 0.0000 -
452.32/453.66 c 454 2619 1431 1 - 0.0000 -
457.39/458.72 c 459 3222 1458 1 - 0.0000 -
462.49/463.84 c 464 3767 1484 1 - 0.0000 -
467.57/468.96 c 469 4228 1507 1 - 0.0000 -
472.65/474.00 c 474 4772 1599 1 - 0.0000 -
477.63/479.07 c 479 5303 1622 1 - 0.0000 -
482.72/484.16 c 484 5921 1622 1 - 0.0000 -
487.80/489.25 c 489 6481 1647 1 - 0.0000 -
492.88/494.31 c 494 7162 1689 1 - 0.0000 -
497.96/499.40 c 499 7713 1718 1 - 0.0000 -
502.95/504.49 c 504 8329 1792 1 - 0.0000 -
508.03/509.57 c 510 8903 1861 1 - 0.0000 -
513.11/514.66 c 515 9429 1880 1 - 0.0000 -
518.19/519.74 c 520 10031 1912 1 - 0.0000 -
523.28/524.80 c 525 10667 1920 1 - 0.0000 -
528.26/529.86 c 530 11336 1949 1 - 0.0000 -
533.34/534.92 c 535 12019 1963 1 - 0.0000 -
538.32/539.97 c 540 12663 2036 1 - 0.0000 -
543.41/545.02 c 545 13293 2012 1 - 0.0000 -
548.40/550.09 c 550 13997 2008 1 - 0.0000 -
553.48/555.14 c 555 14697 2011 1 - 0.0000 -
558.55/560.21 c 560 15469 2055 1 - 0.0000 -
563.53/565.27 c 565 16176 2072 1 - 0.0000 -
568.62/570.34 c 570 16940 2100 1 - 0.0000 -
573.61/575.38 c 575 17660 2136 1 - 0.0000 -
578.68/580.43 c 580 18349 2191 1 - 0.0000 -
583.76/585.50 c 586 19106 2238 1 - 0.0000 -
588.75/590.55 c 591 19759 2238 1 - 0.0000 -
593.83/595.60 c 596 20489 2254 1 - 0.0000 -
598.82/600.67 c 601 21195 2258 1 - 0.0000 -
603.90/605.75 c 606 21843 2276 1 - 0.0000 -
608.98/610.83 c 611 22486 2283 1 - 0.0000 -
613.97/615.89 c 616 23162 2301 1 - 0.0000 -
619.16/621.00 c 621 23852 2358 1 - 0.0000 -
624.14/626.07 c 626 24480 2434 1 - 0.0000 -
629.22/631.13 c 631 25122 2432 1 - 0.0000 -
634.30/636.25 c 636 25762 2442 1 - 0.0000 -
639.37/641.33 c 641 26407 2446 1 - 0.0000 -
644.47/646.43 c 646 27016 2474 1 - 0.0000 -
649.44/651.49 c 652 27661 2476 1 - 0.0000 -
654.63/656.60 c 657 28254 2518 1 - 0.0000 -
659.61/661.67 c 662 28849 2571 1 - 0.0000 -
664.70/666.73 c 667 29501 2621 1 - 0.0000 -
669.68/671.78 c 672 30171 2640 1 - 0.0000 -
674.76/676.84 c 677 30857 2617 1 - 0.0000 -
679.74/681.89 c 682 31391 2623 1 - 0.0000 -
684.83/686.94 c 687 31997 2648 1 - 0.0000 -
689.91/692.02 c 692 32622 2652 1 - 0.0000 -
694.90/697.07 c 697 33330 2688 1 - 0.0000 -
699.98/702.14 c 702 34005 2696 1 - 0.0000 -
705.07/707.20 c 707 34676 2681 1 - 0.0000 -
710.05/712.27 c 712 35343 2726 1 - 0.0000 -
715.13/717.32 c 717 36027 2741 1 - 0.0000 -
720.21/722.40 c 722 36665 2752 1 - 0.0000 -
725.19/727.48 c 727 37354 2784 1 - 0.0000 -
730.28/732.55 c 733 38007 2773 1 - 0.0000 -
735.36/737.60 c 738 38716 2781 1 - 0.0000 -
740.34/742.65 c 743 39386 2781 1 - 0.0000 -
745.43/747.72 c 748 40085 2791 1 - 0.0000 -
750.51/752.80 c 753 40719 2765 1 - 0.0000 -
755.59/757.90 c 758 41370 2771 1 - 0.0000 -
760.58/762.98 c 763 42072 2764 1 - 0.0000 -
765.67/768.05 c 768 42812 2756 1 - 0.0000 -
770.75/773.12 c 773 43464 2732 1 - 0.0000 -
775.82/778.24 c 778 44154 2717 1 - 0.0000 -
780.90/783.36 c 783 44842 2737 1 - 0.0000 -
785.99/788.43 c 788 45477 2718 1 - 0.0000 -
790.97/793.48 c 793 46085 2725 1 - 0.0000 -
796.05/798.57 c 799 46747 2722 1 - 0.0000 -
801.14/803.64 c 804 47369 2716 1 - 0.0000 -
806.22/808.71 c 809 47921 2719 1 - 0.0000 -
811.20/813.76 c 814 48593 2703 1 - 0.0000 -
816.28/818.83 c 819 49281 2749 1 - 0.0000 -
821.27/823.87 c 824 50059 2751 1 - 0.0000 -
826.35/828.96 c 829 50710 2776 1 - 0.0000 -
831.44/834.03 c 834 51368 2807 1 - 0.0000 -
836.52/839.10 c 839 51998 2803 1 - 0.0000 -
841.50/844.17 c 844 52686 2808 1 - 0.0000 -
846.58/849.23 c 849 53321 2828 1 - 0.0000 -
851.66/854.31 c 854 53988 2836 1 - 0.0000 -
856.65/859.36 c 859 54748 2879 1 - 0.0000 -
861.73/864.41 c 864 55390 2873 1 - 0.0000 -
866.71/869.47 c 869 56054 2888 1 - 0.0000 -
871.79/874.55 c 875 56769 2881 1 - 0.0000 -
876.88/879.61 c 880 57457 2930 1 - 0.0000 -
881.86/884.68 c 885 58160 2949 1 - 0.0000 -
886.94/889.74 c 890 58867 2972 1 - 0.0000 -
892.03/894.80 c 895 59634 2989 1 - 0.0000 -
897.01/899.86 c 900 60403 3005 1 - 0.0000 -
902.09/904.94 c 905 61206 2988 1 - 0.0000 -
907.18/910.01 c 910 61881 3011 1 - 0.0000 -
912.16/915.09 c 915 62469 2998 1 - 0.0000 -
917.24/920.16 c 920 63168 3028 1 - 0.0000 -
922.92/925.81 c 926 63833 3041 1 - 0.0000 -
927.90/930.86 c 931 64572 3022 1 - 0.0000 -
932.98/935.92 c 936 65294 3010 1 - 0.0000 -
937.96/940.99 c 941 66049 3015 1 - 0.0000 -
943.06/946.03 c 946 66883 3030 1 - 0.0000 -
948.03/951.08 c 951 67719 3055 1 - 0.0000 -
953.12/956.14 c 956 68505 3101 1 - 0.0000 -
958.11/961.19 c 961 69265 3068 1 - 0.0000 -
963.18/966.25 c 966 69974 3038 1 - 0.0000 -
968.27/971.32 c 971 70611 3037 1 - 0.0000 -
973.25/976.36 c 976 71230 3016 1 - 0.0000 -
978.33/981.41 c 981 71969 3013 1 - 0.0000 -
983.41/986.51 c 987 72635 3055 1 - 0.0000 -
988.40/991.59 c 992 73304 3071 1 - 0.0000 -
993.48/996.68 c 997 73923 3042 1 - 0.0000 -
998.56/1001.78 c 1002 74655 3010 1 - 0.0000 -
1003.65/1006.83 c 1007 75359 3003 1 - 0.0000 -
1008.63/1011.89 c 1012 76087 2999 1 - 0.0000 -
1013.71/1016.98 c 1017 76788 2981 1 - 0.0000 -
1018.79/1022.03 c 1022 77508 3031 1 - 0.0000 -
1023.78/1027.10 c 1027 78292 3062 1 - 0.0000 -
1028.86/1032.18 c 1032 78967 3101 1 - 0.0000 -
1033.94/1037.23 c 1037 79735 3124 1 - 0.0000 -
1038.92/1042.27 c 1042 80428 3135 1 - 0.0000 -
1044.01/1047.36 c 1047 81122 3156 1 - 0.0000 -
1049.09/1052.44 c 1052 81833 3175 1 - 0.0000 -
1054.17/1057.50 c 1058 82553 3155 1 - 0.0000 -
1059.15/1062.57 c 1063 83279 3164 1 - 0.0000 -
1064.24/1067.63 c 1068 84031 3198 1 - 0.0000 -
1069.22/1072.69 c 1073 84785 3219 1 - 0.0000 -
1074.30/1077.75 c 1078 85570 3214 1 - 0.0000 -
1079.38/1082.83 c 1083 86394 3220 1 - 0.0000 -
1084.37/1087.88 c 1088 87127 3249 1 - 0.0000 -
1089.45/1092.94 c 1093 87918 3267 1 - 0.0000 -
1094.54/1098.03 c 1098 88680 3276 1 - 0.0000 -
1099.52/1103.09 c 1103 89404 3275 1 - 0.0000 -
1104.60/1108.16 c 1108 90171 3242 1 - 0.0000 -
1109.68/1113.21 c 1113 90880 3254 1 - 0.0000 -
1114.67/1118.28 c 1118 91520 3228 1 - 0.0000 -
1119.74/1123.34 c 1123 92203 3243 1 - 0.0000 -
1124.82/1128.42 c 1128 92865 3238 1 - 0.0000 -
1129.81/1133.48 c 1133 93523 3257 1 - 0.0000 -
1134.89/1138.54 c 1139 94230 3273 1 - 0.0000 -
1139.97/1143.66 c 1144 94964 3260 1 - 0.0000 -
1145.05/1148.73 c 1149 95639 3247 1 - 0.0000 -
1150.04/1153.79 c 1154 96352 3242 1 - 0.0000 -
1155.12/1158.86 c 1159 96973 3242 1 - 0.0000 -
1160.21/1163.92 c 1164 97682 3254 1 - 0.0000 -
1165.30/1169.01 c 1169 98357 3267 1 - 0.0000 -
1170.28/1174.09 c 1174 99082 3269 1 - 0.0000 -
1175.45/1179.20 c 1179 99825 3336 1 - 0.0000 -
1180.44/1184.25 c 1184 100551 3320 1 - 0.0000 -
1185.51/1189.30 c 1189 101237 3315 1 - 0.0000 -
1190.51/1194.36 c 1194 101873 3322 1 - 0.0000 -
1195.59/1199.43 c 1199 102525 3350 1 - 0.0000 -
1200.57/1204.49 c 1204 103228 3341 1 - 0.0000 -
1205.65/1209.53 c 1210 103903 3413 1 - 0.0000 -
1210.64/1214.58 c 1215 104559 3452 1 - 0.0000 -
1215.71/1219.64 c 1220 105230 3469 1 - 0.0000 -
1220.80/1224.70 c 1225 105846 3494 1 - 0.0000 -
1225.78/1229.77 c 1230 106439 3491 1 - 0.0000 -
1230.87/1234.83 c 1235 107113 3501 1 - 0.0000 -
1235.94/1239.90 c 1240 107783 3531 1 - 0.0000 -
1240.93/1244.98 c 1245 108505 3555 1 - 0.0000 -
1246.02/1250.04 c 1250 109155 3536 1 - 0.0000 -
1251.10/1255.12 c 1255 109789 3491 1 - 0.0000 -
1256.09/1260.16 c 1260 110416 3484 1 - 0.0000 -
1261.17/1265.24 c 1265 111089 3492 1 - 0.0000 -
1266.26/1270.30 c 1270 111747 3504 1 - 0.0000 -
1271.25/1275.37 c 1275 112395 3496 1 - 0.0000 -
1276.33/1280.43 c 1280 113058 3446 1 - 0.0000 -
1281.32/1285.49 c 1286 113746 3444 1 - 0.0000 -
1286.40/1290.54 c 1291 114406 3454 1 - 0.0000 -
1291.49/1295.61 c 1296 115090 3432 1 - 0.0000 -
1296.48/1300.65 c 1301 115773 3403 1 - 0.0000 -
1301.57/1305.73 c 1306 116470 3374 1 - 0.0000 -
1306.65/1310.81 c 1311 117214 3385 1 - 0.0000 -
1311.63/1315.86 c 1316 117876 3384 1 - 0.0000 -
1316.72/1320.96 c 1321 118522 3381 1 - 0.0000 -
1321.81/1326.03 c 1326 119209 3379 1 - 0.0000 -
1326.80/1331.09 c 1331 119849 3402 1 - 0.0000 -
1331.88/1336.14 c 1336 120528 3386 1 - 0.0000 -
1336.97/1341.21 c 1341 121195 3393 1 - 0.0000 -
1341.95/1346.28 c 1346 121864 3392 1 - 0.0000 -
1347.04/1351.36 c 1351 122567 3367 1 - 0.0000 -
1352.12/1356.44 c 1356 123194 3387 1 - 0.0000 -
1357.22/1361.53 c 1362 123956 3400 1 - 0.0000 -
1362.20/1366.58 c 1367 124766 3392 1 - 0.0000 -
1367.28/1371.67 c 1372 125381 3413 1 - 0.0000 -
1372.37/1376.72 c 1377 126102 3402 1 - 0.0000 -
1377.35/1381.77 c 1382 126752 3412 1 - 0.0000 -
1382.44/1386.89 c 1387 127395 3389 1 - 0.0000 -
1387.53/1391.99 c 1392 128080 3371 1 - 0.0000 -
1392.61/1397.08 c 1397 128607 3375 1 - 0.0000 -
1397.70/1402.18 c 1402 129086 3373 1 - 0.0000 -
1402.78/1407.26 c 1407 129757 3359 1 - 0.0000 -
1407.97/1412.40 c 1412 130374 3391 1 - 0.0000 -
1412.95/1417.45 c 1417 130956 3427 1 - 0.0000 -
1418.04/1422.58 c 1423 131395 3429 1 - 0.0000 -
1423.12/1427.64 c 1428 131972 3402 1 - 0.0000 -
1428.11/1432.68 c 1433 132505 3399 1 - 0.0000 -
1433.19/1437.78 c 1438 133103 3408 1 - 0.0000 -
1438.28/1442.87 c 1443 133631 3397 1 - 0.0000 -
1443.36/1447.93 c 1448 134165 3409 1 - 0.0000 -
1448.45/1453.00 c 1453 134811 3388 1 - 0.0000 -
1453.43/1458.06 c 1458 135388 3375 1 - 0.0000 -
1458.53/1463.13 c 1463 136016 3373 1 - 0.0000 -
1463.61/1468.20 c 1468 136682 3345 1 - 0.0000 -
1468.69/1473.30 c 1473 137395 3321 1 - 0.0000 -
1473.68/1478.37 c 1478 138027 3337 1 - 0.0000 -
1478.76/1483.46 c 1483 138572 3374 1 - 0.0000 -
1483.85/1488.52 c 1489 139200 3363 1 - 0.0000 -
1488.94/1493.60 c 1494 139817 3344 1 - 0.0000 -
1494.03/1498.70 c 1499 140439 3311 1 - 0.0000 -
1499.12/1503.83 c 1504 141091 3378 1 - 0.0000 -
1504.20/1508.92 c 1509 141735 3396 1 - 0.0000 -
1509.19/1513.98 c 1514 142398 3419 1 - 0.0000 -
1514.28/1519.07 c 1519 142992 3435 1 - 0.0000 -
1519.37/1524.15 c 1524 143640 3456 1 - 0.0000 -
1524.45/1529.26 c 1529 144330 3395 1 - 0.0000 -
1529.54/1534.33 c 1534 144983 3366 1 - 0.0000 -
1534.63/1539.42 c 1539 145718 3289 1 - 0.0000 -
1539.61/1544.48 c 1544 146411 3299 1 - 0.0000 -
1544.70/1549.58 c 1550 147109 3289 1 - 0.0000 -
1549.79/1554.62 c 1555 147836 3287 1 - 0.0000 -
1554.88/1559.70 c 1560 148563 3307 1 - 0.0000 -
1559.96/1564.80 c 1565 149206 3335 1 - 0.0000 -
1564.95/1569.84 c 1570 149851 3331 1 - 0.0000 -
1570.03/1574.92 c 1575 150499 3377 1 - 0.0000 -
1575.12/1580.01 c 1580 151062 3379 1 - 0.0000 -
1580.12/1585.07 c 1585 151676 3370 1 - 0.0000 -
1585.20/1590.13 c 1590 152311 3355 1 - 0.0000 -
1590.29/1595.26 c 1595 152860 3348 1 - 0.0000 -
1595.37/1600.32 c 1600 153481 3356 1 - 0.0000 -
1600.46/1605.41 c 1605 154162 3309 1 - 0.0000 -
1605.55/1610.50 c 1610 154760 3299 1 - 0.0000 -
1610.53/1615.55 c 1616 155473 3305 1 - 0.0000 -
1615.62/1620.62 c 1621 156185 3334 1 - 0.0000 -
1620.71/1625.71 c 1626 156920 3341 1 - 0.0000 -
1625.80/1630.80 c 1631 157622 3377 1 - 0.0000 -
1630.78/1635.85 c 1636 158241 3336 1 - 0.0000 -
1635.87/1640.95 c 1641 158880 3340 1 - 0.0000 -
1641.07/1646.11 c 1646 159239 3328 1 - 0.0000 -
1646.05/1651.16 c 1651 159894 3315 1 - 0.0000 -
1651.13/1656.25 c 1656 160588 3302 1 - 0.0000 -
1656.22/1661.33 c 1661 161322 3292 1 - 0.0000 -
1661.30/1666.41 c 1666 162004 3311 1 - 0.0000 -
1666.29/1671.46 c 1671 162751 3302 1 - 0.0000 -
1671.38/1676.52 c 1677 163438 3293 1 - 0.0000 -
1676.57/1681.78 c 1682 163987 3285 1 - 0.0000 -
1681.66/1686.84 c 1687 164678 3278 1 - 0.0000 -
1686.64/1691.89 c 1692 165408 3265 1 - 0.0000 -
1691.73/1696.97 c 1697 166041 3251 1 - 0.0000 -
1696.83/1702.06 c 1702 166686 3226 1 - 0.0000 -
1701.91/1707.16 c 1707 167415 3217 1 - 0.0000 -
1706.99/1712.21 c 1712 168080 3205 1 - 0.0000 -
1711.99/1717.28 c 1717 168767 3207 1 - 0.0000 -
1717.07/1722.35 c 1722 169418 3166 1 - 0.0000 -
1722.16/1727.40 c 1727 170012 3193 1 - 0.0000 -
1727.25/1732.50 c 1733 170632 3196 1 - 0.0000 -
1732.23/1737.55 c 1738 171157 3223 1 - 0.0000 -
1737.32/1742.62 c 1743 171633 3231 1 - 0.0000 -
1742.31/1747.69 c 1748 172192 3238 1 - 0.0000 -
1747.39/1752.76 c 1753 172752 3220 1 - 0.0000 -
1752.49/1757.86 c 1758 173335 3238 1 - 0.0000 -
1757.57/1762.92 c 1763 173932 3235 1 - 0.0000 -
1762.56/1767.98 c 1768 174540 3246 1 - 0.0000 -
1767.65/1773.03 c 1773 175134 3242 1 - 0.0000 -
1772.73/1778.14 c 1778 175785 3211 1 - 0.0000 -
1777.82/1783.23 c 1783 176370 3205 1 - 0.0000 -
1782.81/1788.29 c 1788 176949 3232 1 - 0.0000 -
1787.90/1793.37 c 1793 177537 3200 1 - 0.0000 -
1792.98/1798.45 c 1798 178215 3193 1 - 0.0000 -
1798.07/1803.55 c 1804 178902 3175 1 - 0.0000 -
1803.16/1808.63 c 1809 179553 3160 1 - 0.0000 -
1808.14/1813.69 c 1814 180262 3156 1 - 0.0000 -
1813.23/1818.74 c 1819 180902 3139 1 - 0.0000 -
1818.32/1823.82 c 1824 181625 3120 1 - 0.0000 -
1823.31/1828.86 c 1829 182266 3116 1 - 0.0000 -
1828.39/1833.92 c 1834 182854 3105 1 - 0.0000 -
1833.49/1839.01 c 1839 183522 3115 1 - 0.0000 -
1838.48/1844.07 c 1844 184247 3135 1 - 0.0000 -
1843.56/1849.12 c 1849 184969 3165 1 - 0.0000 -
1848.55/1854.17 c 1854 185659 3150 1 - 0.0000 -
1853.64/1859.23 c 1859 186417 3148 1 - 0.0000 -
1858.72/1864.30 c 1864 187158 3220 1 - 0.0000 -
1863.70/1869.39 c 1869 187882 3241 1 - 0.0000 -
1868.80/1874.45 c 1874 188633 3295 1 - 0.0000 -
1873.88/1879.57 c 1880 189295 3292 1 - 0.0000 -
1878.97/1884.65 c 1885 190005 3304 1 - 0.0000 -
1884.05/1889.70 c 1890 190752 3271 1 - 0.0000 -
1889.04/1894.77 c 1895 191468 3248 1 - 0.0000 -
1894.13/1899.82 c 1900 192183 3250 1 - 0.0000 -
1899.22/1904.90 c 1905 192828 3261 1 - 0.0000 -
1904.20/1909.97 c 1910 193530 3262 1 - 0.0000 -
1909.29/1915.03 c 1915 194271 3280 1 - 0.0000 -
1914.38/1920.13 c 1920 194988 3280 1 - 0.0000 -
1919.38/1925.17 c 1925 195727 3290 1 - 0.0000 -
1924.46/1930.22 c 1930 196421 3270 1 - 0.0000 -
1929.54/1935.31 c 1935 197139 3265 1 - 0.0000 -
1934.53/1940.35 c 1940 197837 3268 1 - 0.0000 -
1939.62/1945.40 c 1945 198593 3275 1 - 0.0000 -
1944.70/1950.51 c 1951 199250 3264 1 - 0.0000 -
1949.69/1955.59 c 1956 199940 3256 1 - 0.0000 -
1954.78/1960.63 c 1961 200647 3238 1 - 0.0000 -
1959.76/1965.68 c 1966 201405 3231 1 - 0.0000 -
1964.86/1970.76 c 1971 202152 3302 1 - 0.0000 -
1969.94/1975.83 c 1976 202895 3294 1 - 0.0000 -
1974.92/1980.88 c 1981 203720 3272 1 - 0.0000 -
1980.02/1985.94 c 1986 204511 3276 1 - 0.0000 -
1985.11/1991.00 c 1991 205287 3267 1 - 0.0000 -
1990.09/1996.09 c 1996 206055 3256 1 - 0.0000 -
1995.18/2001.14 c 2001 206791 3280 1 - 0.0000 -
2000.27/2006.22 c 2006 207529 3282 1 - 0.0000 -
2005.25/2011.28 c 2011 208257 3296 1 - 0.0000 -
2010.33/2016.36 c 2016 208985 3327 1 - 0.0000 -
2015.43/2021.43 c 2021 209761 3256 1 - 0.0000 -
2020.51/2026.52 c 2027 210366 3265 1 - 0.0000 -
2025.60/2031.60 c 2032 211001 3278 1 - 0.0000 -
2030.58/2036.69 c 2037 211538 3267 1 - 0.0000 -
2035.67/2041.79 c 2042 212212 3297 1 - 0.0000 -
2040.76/2046.84 c 2047 212921 3269 1 - 0.0000 -
2045.75/2051.89 c 2052 213571 3264 1 - 0.0000 -
2050.83/2056.96 c 2057 214163 3284 1 - 0.0000 -
2055.92/2062.05 c 2062 214814 3264 1 - 0.0000 -
2061.01/2067.15 c 2067 215412 3268 1 - 0.0000 -
2066.09/2072.20 c 2072 216053 3261 1 - 0.0000 -
2071.19/2077.30 c 2077 216681 3268 1 - 0.0000 -
2076.17/2082.35 c 2082 217430 3296 1 - 0.0000 -
2081.26/2087.43 c 2087 218151 3267 1 - 0.0000 -
2086.34/2092.52 c 2093 218852 3295 1 - 0.0000 -
2091.34/2097.57 c 2098 219564 3303 1 - 0.0000 -
2096.42/2102.61 c 2103 220331 3291 1 - 0.0000 -
2101.51/2107.70 c 2108 221028 3295 1 - 0.0000 -
2106.49/2112.75 c 2113 221765 3295 1 - 0.0000 -
2111.58/2117.80 c 2118 222519 3298 1 - 0.0000 -
2116.57/2122.86 c 2123 223258 3284 1 - 0.0000 -
2121.66/2127.92 c 2128 223992 3293 1 - 0.0000 -
2126.75/2133.00 c 2133 224750 3247 1 - 0.0000 -
2131.83/2138.10 c 2138 225499 3253 1 - 0.0000 -
2136.82/2143.16 c 2143 226308 3253 1 - 0.0000 -
2141.91/2148.24 c 2148 227031 3225 1 - 0.0000 -
2146.99/2153.30 c 2153 227736 3231 1 - 0.0000 -
2151.98/2158.36 c 2158 228414 3224 1 - 0.0000 -
2157.06/2163.42 c 2163 229139 3225 1 - 0.0000 -
2162.06/2168.47 c 2168 229864 3260 1 - 0.0000 -
2167.14/2173.55 c 2174 230591 3230 1 - 0.0000 -
2172.33/2178.71 c 2179 231108 3218 1 - 0.0000 -
2177.32/2183.76 c 2184 231888 3213 1 - 0.0000 -
2182.40/2188.86 c 2189 232560 3201 1 - 0.0000 -
2187.49/2193.98 c 2194 233249 3191 1 - 0.0000 -
2192.69/2199.10 c 2199 233937 3188 1 - 0.0000 -
2197.67/2204.17 c 2204 234702 3231 1 - 0.0000 -
2202.75/2209.23 c 2209 235531 3222 1 - 0.0000 -
2207.74/2214.28 c 2214 236326 3213 1 - 0.0000 -
2212.83/2219.34 c 2219 237038 3207 1 - 0.0000 -
2217.91/2224.42 c 2224 237712 3240 1 - 0.0000 -
2222.90/2229.49 c 2229 238394 3236 1 - 0.0000 -
2227.99/2234.55 c 2235 239003 3259 1 - 0.0000 -
2232.98/2239.59 c 2240 239681 3260 1 - 0.0000 -
2238.16/2244.70 c 2245 240247 3241 1 - 0.0000 -
2243.15/2249.79 c 2250 240947 3216 1 - 0.0000 -
2248.24/2254.84 c 2255 241701 3282 1 - 0.0000 -
2253.33/2259.90 c 2260 242433 3276 1 - 0.0000 -
2258.31/2264.98 c 2265 243144 3283 1 - 0.0000 -
2263.40/2270.04 c 2270 243881 3279 1 - 0.0000 -
2268.49/2275.11 c 2275 244578 3241 1 - 0.0000 -
2273.58/2280.22 c 2280 245352 3206 1 - 0.0000 -
2278.67/2285.33 c 2285 246002 3220 1 - 0.0000 -
2283.75/2290.45 c 2290 246648 3230 1 - 0.0000 -
2288.84/2295.53 c 2296 247316 3227 1 - 0.0000 -
2293.93/2300.63 c 2301 247994 3229 1 - 0.0000 -
2298.91/2305.68 c 2306 248652 3224 1 - 0.0000 -
2303.99/2310.77 c 2311 249338 3196 1 - 0.0000 -
2309.09/2315.85 c 2316 249984 3257 1 - 0.0000 -
2314.18/2320.92 c 2321 250696 3228 1 - 0.0000 -
2319.16/2325.98 c 2326 251460 3244 1 - 0.0000 -
2324.25/2331.03 c 2331 252166 3246 1 - 0.0000 -
2329.34/2336.10 c 2336 252870 3249 1 - 0.0000 -
2334.33/2341.17 c 2341 253670 3245 1 - 0.0000 -
2339.41/2346.22 c 2346 254498 3235 1 - 0.0000 -
2344.49/2351.31 c 2351 255178 3224 1 - 0.0000 -
2349.49/2356.38 c 2356 255868 3192 1 - 0.0000 -
2354.67/2361.51 c 2362 256500 3189 1 - 0.0000 -
2359.66/2366.56 c 2367 257145 3208 1 - 0.0000 -
2364.75/2371.66 c 2372 257865 3225 1 - 0.0000 -
2369.83/2376.72 c 2377 258581 3222 1 - 0.0000 -
2374.82/2381.78 c 2382 259323 3214 1 - 0.0000 -
2379.91/2386.84 c 2387 260034 3200 1 - 0.0000 -
2385.00/2391.94 c 2392 260721 3202 1 - 0.0000 -
2390.09/2397.02 c 2397 261430 3189 1 - 0.0000 -
2395.08/2402.09 c 2402 262083 3167 1 - 0.0000 -
2400.26/2407.20 c 2407 262744 3153 1 - 0.0000 -
2405.24/2412.25 c 2412 263501 3180 1 - 0.0000 -
2410.34/2417.34 c 2417 264352 3248 1 - 0.0000 -
2415.32/2422.40 c 2422 265061 3281 1 - 0.0000 -
2420.40/2427.47 c 2427 265759 3290 1 - 0.0000 -
2425.48/2432.54 c 2433 266490 3249 1 - 0.0000 -
2430.57/2437.62 c 2438 267038 3348 1 - 0.0000 -
2435.65/2442.71 c 2443 267667 3331 1 - 0.0000 -
2440.63/2447.78 c 2448 268291 3336 1 - 0.0000 -
2445.72/2452.87 c 2453 269005 3354 1 - 0.0000 -
2450.80/2457.94 c 2458 269649 3336 1 - 0.0000 -
2455.89/2463.00 c 2463 270328 3318 1 - 0.0000 -
2460.88/2468.05 c 2468 271059 3306 1 - 0.0000 -
2465.96/2473.10 c 2473 271722 3316 1 - 0.0000 -
2470.95/2478.15 c 2478 272412 3323 1 - 0.0000 -
2476.03/2483.22 c 2483 273104 3300 1 - 0.0000 -
2481.02/2488.27 c 2488 273793 3298 1 - 0.0000 -
2486.11/2493.36 c 2493 274486 3303 1 - 0.0000 -
2491.19/2498.41 c 2498 275211 3304 1 - 0.0000 -
2496.18/2503.47 c 2503 275890 3300 1 - 0.0000 -
2501.26/2508.55 c 2509 276503 3295 1 - 0.0000 -
2506.35/2513.66 c 2514 277134 3269 1 - 0.0000 -
2511.44/2518.74 c 2519 277819 3265 1 - 0.0000 -
2516.43/2523.79 c 2524 278565 3275 1 - 0.0000 -
2521.52/2528.86 c 2529 279259 3270 1 - 0.0000 -
2526.60/2533.91 c 2534 279981 3296 1 - 0.0000 -
2531.59/2538.98 c 2539 280740 3333 1 - 0.0000 -
2536.68/2544.04 c 2544 281450 3325 1 - 0.0000 -
2541.76/2549.13 c 2549 282191 3342 1 - 0.0000 -
2546.84/2554.21 c 2554 282889 3332 1 - 0.0000 -
2551.83/2559.26 c 2559 283664 3338 1 - 0.0000 -
2556.93/2564.33 c 2564 284421 3319 1 - 0.0000 -
2562.01/2569.42 c 2569 285172 3319 1 - 0.0000 -
2567.10/2574.53 c 2575 285874 3357 1 - 0.0000 -
2572.19/2579.61 c 2580 286533 3364 1 - 0.0000 -
2577.17/2584.65 c 2585 287282 3361 1 - 0.0000 -
2582.27/2589.72 c 2590 288034 3364 1 - 0.0000 -
2587.25/2594.78 c 2595 288721 3369 1 - 0.0000 -
2592.33/2599.87 c 2600 289479 3371 1 - 0.0000 -
2597.43/2604.92 c 2605 290192 3353 1 - 0.0000 -
2602.52/2610.01 c 2610 290976 3347 1 - 0.0000 -
2607.51/2615.05 c 2615 291676 3341 1 - 0.0000 -
2612.59/2620.15 c 2620 292373 3356 1 - 0.0000 -
2617.67/2625.20 c 2625 293061 3356 1 - 0.0000 -
2622.66/2630.26 c 2630 293766 3359 1 - 0.0000 -
2627.76/2635.31 c 2635 294533 3355 1 - 0.0000 -
2632.74/2640.37 c 2640 295286 3375 1 - 0.0000 -
2637.83/2645.44 c 2645 296071 3369 1 - 0.0000 -
2642.82/2650.49 c 2650 296827 3368 1 - 0.0000 -
2647.90/2655.58 c 2656 297550 3364 1 - 0.0000 -
2652.99/2660.64 c 2661 298256 3367 1 - 0.0000 -
2657.97/2665.69 c 2666 298939 3354 1 - 0.0000 -
2663.07/2670.75 c 2671 299647 3366 1 - 0.0000 -
2668.15/2675.81 c 2676 300368 3364 1 - 0.0000 -
2673.24/2680.90 c 2681 301111 3358 1 - 0.0000 -
2678.23/2685.98 c 2686 301855 3366 1 - 0.0000 -
2683.32/2691.04 c 2691 302622 3351 1 - 0.0000 -
2688.41/2696.11 c 2696 303367 3353 1 - 0.0000 -
2693.40/2701.16 c 2701 304064 3373 1 - 0.0000 -
2698.48/2706.23 c 2706 304768 3370 1 - 0.0000 -
2703.47/2711.29 c 2711 305617 3403 1 - 0.0000 -
2708.55/2716.35 c 2716 306352 3416 1 - 0.0000 -
2713.64/2721.41 c 2721 307162 3429 1 - 0.0000 -
2718.63/2726.46 c 2726 307953 3402 1 - 0.0000 -
2723.72/2731.51 c 2732 308813 3405 1 - 0.0000 -
2728.70/2736.56 c 2737 309619 3393 1 - 0.0000 -
2733.79/2741.63 c 2742 310383 3358 1 - 0.0000 -
2738.88/2746.71 c 2747 311171 3395 1 - 0.0000 -
2743.86/2751.77 c 2752 311941 3361 1 - 0.0000 -
2748.95/2756.83 c 2757 312675 3363 1 - 0.0000 -
2753.95/2761.89 c 2762 313414 3342 1 - 0.0000 -
2759.03/2766.94 c 2767 314193 3338 1 - 0.0000 -
2764.12/2772.04 c 2772 314909 3360 1 - 0.0000 -
2769.11/2777.08 c 2777 315582 3387 1 - 0.0000 -
2774.20/2782.15 c 2782 316259 3375 1 - 0.0000 -
2779.28/2787.22 c 2787 316980 3354 1 - 0.0000 -
2784.37/2792.33 c 2792 317712 3328 1 - 0.0000 -
2789.35/2797.39 c 2797 318530 3364 1 - 0.0000 -
2794.45/2802.48 c 2802 319257 3335 1 - 0.0000 -
2799.53/2807.52 c 2808 320032 3325 1 - 0.0000 -
2804.62/2812.61 c 2813 320716 3309 1 - 0.0000 -
2809.60/2817.69 c 2818 321510 3305 1 - 0.0000 -
2814.69/2822.75 c 2823 322277 3328 1 - 0.0000 -
2819.78/2827.83 c 2828 323009 3295 1 - 0.0000 -
2824.77/2832.87 c 2833 323839 3285 1 - 0.0000 -
2829.86/2837.95 c 2838 324613 3276 1 - 0.0000 -
2834.95/2843.01 c 2843 325409 3288 1 - 0.0000 -
2839.94/2848.08 c 2848 326299 3288 1 - 0.0000 -
2845.03/2853.17 c 2853 327081 3290 1 - 0.0000 -
2850.11/2858.26 c 2858 327849 3291 1 - 0.0000 -
2855.20/2863.30 c 2863 328624 3273 1 - 0.0000 -
2860.28/2868.40 c 2868 329379 3300 1 - 0.0000 -
2865.27/2873.48 c 2873 330178 3295 1 - 0.0000 -
2870.36/2878.56 c 2879 330879 3367 1 - 0.0000 -
2875.44/2883.66 c 2884 331617 3354 1 - 0.0000 -
2880.54/2888.73 c 2889 332418 3349 1 - 0.0000 -
2885.62/2893.81 c 2894 333234 3320 1 - 0.0000 -
2890.61/2898.88 c 2899 333960 3333 1 - 0.0000 -
2895.70/2903.95 c 2904 334753 3318 1 - 0.0000 -
2900.79/2909.03 c 2909 335452 3331 1 - 0.0000 -
2905.78/2914.08 c 2914 336251 3330 1 - 0.0000 -
2910.87/2919.14 c 2919 337063 3297 1 - 0.0000 -
2915.86/2924.19 c 2924 337805 3286 1 - 0.0000 -
2920.94/2929.24 c 2929 338539 3299 1 - 0.0000 -
2926.02/2934.31 c 2934 339176 3282 1 - 0.0000 -
2931.01/2939.38 c 2939 339914 3308 1 - 0.0000 -
2936.10/2944.44 c 2944 340691 3299 1 - 0.0000 -
2941.48/2949.82 c 2950 341301 3268 1 - 0.0000 -
2946.47/2954.88 c 2955 342049 3265 1 - 0.0000 -
2951.57/2959.95 c 2960 342825 3244 1 - 0.0000 -
2956.65/2965.02 c 2965 343634 3211 1 - 0.0000 -
2961.64/2970.08 c 2970 344386 3220 1 - 0.0000 -
2966.73/2975.14 c 2975 345113 3222 1 - 0.0000 -
2971.81/2980.21 c 2980 345866 3195 1 - 0.0000 -
2976.80/2985.27 c 2985 346593 3197 1 - 0.0000 -
2981.88/2990.34 c 2990 347359 3179 1 - 0.0000 -
2986.98/2995.41 c 2995 348119 3180 1 - 0.0000 -
2992.06/3000.50 c 3000 348862 3194 1 - 0.0000 -
2997.05/3005.56 c 3006 349659 3180 1 - 0.0000 -
3002.14/3010.61 c 3011 350430 3166 1 - 0.0000 -
3007.12/3015.67 c 3016 351196 3152 1 - 0.0000 -
3012.22/3020.71 c 3021 351928 3156 1 - 0.0000 -
3017.20/3025.77 c 3026 352721 3166 1 - 0.0000 -
3022.29/3030.85 c 3031 353474 3155 1 - 0.0000 -
3027.37/3035.90 c 3036 354195 3139 1 - 0.0000 -
3032.37/3040.96 c 3041 354965 3128 1 - 0.0000 -
3037.46/3046.06 c 3046 355739 3105 1 - 0.0000 -
3042.54/3051.12 c 3051 356462 3101 1 - 0.0000 -
3047.52/3056.19 c 3056 357222 3119 1 - 0.0000 -
3052.60/3061.27 c 3061 357925 3115 1 - 0.0000 -
3057.68/3066.34 c 3066 358587 3172 1 - 0.0000 -
3062.77/3071.41 c 3071 359289 3128 1 - 0.0000 -
3067.75/3076.48 c 3076 360103 3083 1 - 0.0000 -
3072.84/3081.53 c 3082 360761 3109 1 - 0.0000 -
3077.93/3086.63 c 3087 361463 3105 1 - 0.0000 -
3083.01/3091.71 c 3092 362136 3107 1 - 0.0000 -
3088.10/3096.81 c 3097 362753 3071 1 - 0.0000 -
3093.08/3101.88 c 3102 363359 3100 1 - 0.0000 -
3098.18/3106.94 c 3107 364090 3173 1 - 0.0000 -
3103.27/3112.00 c 3112 364807 3219 1 - 0.0000 -
3108.25/3117.08 c 3117 365520 3220 1 - 0.0000 -
3113.33/3122.14 c 3122 366196 3250 1 - 0.0000 -
3118.42/3127.23 c 3127 366930 3258 1 - 0.0000 -
3123.50/3132.33 c 3132 367768 3250 1 - 0.0000 -
3128.49/3137.38 c 3137 368562 3293 1 - 0.0000 -
3133.58/3142.44 c 3142 369397 3307 1 - 0.0000 -
3138.67/3147.50 c 3148 370152 3337 1 - 0.0000 -
3143.66/3152.56 c 3153 370891 3346 1 - 0.0000 -
3148.74/3157.63 c 3158 371638 3359 1 - 0.0000 -
3153.83/3162.70 c 3163 372362 3371 1 - 0.0000 -
3158.81/3167.78 c 3168 373140 3349 1 - 0.0000 -
3163.90/3172.83 c 3173 373832 3363 1 - 0.0000 -
3169.00/3177.91 c 3178 374646 3318 1 - 0.0000 -
3173.98/3182.96 c 3183 375406 3307 1 - 0.0000 -
3179.07/3188.03 c 3188 376182 3305 1 - 0.0000 -
3184.06/3193.09 c 3193 376929 3299 1 - 0.0000 -
3189.15/3198.14 c 3198 377692 3298 1 - 0.0000 -
3194.23/3203.20 c 3203 378473 3305 1 - 0.0000 -
3199.22/3208.25 c 3208 379271 3298 1 - 0.0000 -
3204.31/3213.31 c 3213 379968 3294 1 - 0.0000 -
3209.30/3218.35 c 3218 380608 3304 1 - 0.0000 -
3214.38/3223.43 c 3223 381394 3299 1 - 0.0000 -
3219.47/3228.56 c 3229 382096 3280 1 - 0.0000 -
3224.56/3233.66 c 3234 382793 3272 1 - 0.0000 -
3229.65/3238.71 c 3239 383589 3292 1 - 0.0000 -
3234.64/3243.77 c 3244 384366 3278 1 - 0.0000 -
3239.72/3248.83 c 3249 385054 3294 1 - 0.0000 -
3244.81/3253.92 c 3254 385680 3311 1 - 0.0000 -
3249.79/3258.99 c 3259 386386 3301 1 - 0.0000 -
3254.89/3264.04 c 3264 387105 3288 1 - 0.0000 -
3259.98/3269.12 c 3269 387816 3294 1 - 0.0000 -
3264.96/3274.18 c 3274 388623 3294 1 - 0.0000 -
3270.04/3279.22 c 3279 389350 3286 1 - 0.0000 -
3275.02/3284.28 c 3284 390082 3296 1 - 0.0000 -
3280.11/3289.35 c 3289 390819 3269 1 - 0.0000 -
3285.20/3294.40 c 3294 391647 3271 1 - 0.0000 -
3290.18/3299.47 c 3299 392410 3268 1 - 0.0000 -
3295.27/3304.52 c 3305 393223 3283 1 - 0.0000 -
3300.26/3309.59 c 3310 393981 3314 1 - 0.0000 -
3305.34/3314.64 c 3315 394730 3308 1 - 0.0000 -
3310.32/3319.69 c 3320 395555 3276 1 - 0.0000 -
3315.42/3324.75 c 3325 396144 3280 1 - 0.0000 -
3320.50/3329.80 c 3330 396860 3276 1 - 0.0000 -
3325.49/3334.85 c 3335 397535 3276 1 - 0.0000 -
3330.57/3339.93 c 3340 398314 3275 1 - 0.0000 -
3335.66/3345.01 c 3345 399085 3285 1 - 0.0000 -
3340.65/3350.07 c 3350 399772 3281 1 - 0.0000 -
3345.73/3355.12 c 3355 400390 3303 1 - 0.0000 -
3350.72/3360.19 c 3360 401035 3282 1 - 0.0000 -
3355.80/3365.25 c 3365 401768 3293 1 - 0.0000 -
3360.89/3370.35 c 3370 402363 3306 1 - 0.0000 -
3365.97/3375.40 c 3375 403128 3298 1 - 0.0000 -
3370.95/3380.45 c 3380 403888 3298 1 - 0.0000 -
3376.05/3385.52 c 3386 404653 3296 1 - 0.0000 -
3381.03/3390.56 c 3391 405408 3286 1 - 0.0000 -
3386.12/3395.64 c 3396 406148 3275 1 - 0.0000 -
3391.20/3400.72 c 3401 406943 3254 1 - 0.0000 -
3396.19/3405.79 c 3406 407703 3254 1 - 0.0000 -
3401.27/3410.88 c 3411 408408 3272 1 - 0.0000 -
3406.35/3415.94 c 3416 409099 3258 1 - 0.0000 -
3411.45/3421.01 c 3421 409751 3256 1 - 0.0000 -
3416.54/3426.12 c 3426 410417 3246 1 - 0.0000 -
3421.52/3431.19 c 3431 411115 3227 1 - 0.0000 -
3426.60/3436.24 c 3436 411857 3233 1 - 0.0000 -
3431.68/3441.33 c 3441 412492 3233 1 - 0.0000 -
3436.77/3446.40 c 3446 413124 3231 1 - 0.0000 -
3441.75/3451.47 c 3451 413727 3238 1 - 0.0000 -
3446.85/3456.53 c 3457 414428 3226 1 - 0.0000 -
3451.83/3461.59 c 3462 415108 3233 1 - 0.0000 -
3456.92/3466.65 c 3467 415824 3196 1 - 0.0000 -
3462.00/3471.72 c 3472 416596 3153 1 - 0.0000 -
3466.99/3476.78 c 3477 417364 3168 1 - 0.0000 -
3472.07/3481.84 c 3482 418178 3167 1 - 0.0000 -
3477.16/3486.91 c 3487 418983 3171 1 - 0.0000 -
3482.15/3491.96 c 3492 419743 3159 1 - 0.0000 -
3487.23/3497.01 c 3497 420475 3171 1 - 0.0000 -
3492.22/3502.07 c 3502 421182 3163 1 - 0.0000 -
3497.31/3507.16 c 3507 421889 3141 1 - 0.0000 -
3502.39/3512.23 c 3512 422523 3123 1 - 0.0000 -
3507.48/3517.33 c 3517 423246 3101 1 - 0.0000 -
3512.46/3522.39 c 3522 423980 3095 1 - 0.0000 -
3517.55/3527.45 c 3527 424731 3088 1 - 0.0000 -
3522.63/3532.51 c 3533 425438 3078 1 - 0.0000 -
3527.61/3537.55 c 3538 426167 3062 1 - 0.0000 -
3532.71/3542.60 c 3543 426823 3036 1 - 0.0000 -
3537.69/3547.67 c 3548 427525 3036 1 - 0.0000 -
3542.78/3552.74 c 3553 428205 3028 1 - 0.0000 -
3547.86/3557.82 c 3558 428914 3012 1 - 0.0000 -
3552.95/3562.92 c 3563 429608 2979 1 - 0.0000 -
3558.04/3568.00 c 3568 430266 2978 1 - 0.0000 -
3563.02/3573.04 c 3573 431050 2972 1 - 0.0000 -
3568.10/3578.11 c 3578 431721 2969 1 - 0.0000 -
3573.10/3583.18 c 3583 432293 2955 1 - 0.0000 -
3578.18/3588.26 c 3588 432889 2937 1 - 0.0000 -
3583.26/3593.30 c 3593 433586 2933 1 - 0.0000 -
3587.96/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.96/3598.05 c Total Time : 3598.0500
3587.96/3598.05 c solving : 3598.0500
3587.96/3598.05 c presolving : 0.2247 (included in solving)
3587.96/3598.05 c B&B Tree :
3587.96/3598.05 c nodes (total) : 1
3587.96/3598.05 c Solution :
3587.96/3598.05 c Solutions found : 0
3587.96/3598.05 c Primal Bound : -
3587.96/3598.05 c Dual Bound : +0.00000000000000e+00
3587.96/3598.05 c Gap : -
3587.96/3598.06 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 (57302 MiB free)
memory of node 1: 64473 MiB (62573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464656-1722386346/watcher-4464656-1722386346 -o /tmp/evaluation-result-4464656-1722386346/solver-4464656-1722386346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31856 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464656-1722386346.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36543, runsolver pid=36540
[startup+0.100584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/260 36544
/proc/meminfo: memFree=122720916/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=53060 memory=42048 CPUtime=0.09 cores=4,6
/proc/36543/stat : 36543 (fscip) R 36540 36543 31845 0 -1 4194304 9277 0 0 0 8 1 0 0 20 0 1 0 5236869 54333440 10512 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 13265 10512 2726 3035 0 9661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53060 KiB
Current children cumulated memory: 42048 KiB
[startup+0.205583 s]*
/proc/loadavg: 4.10 4.10 4.09 5/260 36544
/proc/meminfo: memFree=122716552/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=57412 memory=46652 CPUtime=0.19 cores=4,6
/proc/36543/stat : 36543 (fscip) R 36540 36543 31845 0 -1 4194304 10383 0 0 0 18 1 0 0 20 0 1 0 5236869 58789888 11663 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 14353 11663 2758 3035 0 10749 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 46652 KiB
[startup+0.305603 s]*
/proc/loadavg: 4.10 4.10 4.09 5/262 36546
/proc/meminfo: memFree=122686364/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=152160 memory=76564 CPUtime=0.29 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 19389 0 0 0 26 3 0 0 20 0 3 0 5236869 155811840 19141 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 38040 19141 2790 3035 0 23237 0
[pid=36543/tid=36545] ppid=36540 vsize=152160 memory=-5155635695362403205 CPUtime=0.02 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 5071 0 0 0 2 0 0 0 20 0 3 0 5236895 155811840 19141 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=152160 memory=0 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5236898 155811840 19141 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152160 KiB
Current children cumulated memory: 76564 KiB
[startup+0.700265 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 36546
/proc/meminfo: memFree=122664484/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=155244 memory=106672 CPUtime=0.67 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 26789 0 0 0 63 4 0 0 20 0 3 0 5236869 158969856 26668 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 38811 26668 2966 3035 0 30672 0
[pid=36543/tid=36545] ppid=36540 vsize=155244 memory=5504 CPUtime=0.39 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 12471 0 0 0 38 1 0 0 20 0 3 0 5236895 158969856 26668 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=155244 memory=417 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5236898 158969856 26668 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 155244 KiB
Current children cumulated memory: 106672 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 36546
/proc/meminfo: memFree=122627496/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=135872 CPUtime=1.46 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 39822 0 0 0 141 5 0 0 20 0 3 0 5236869 226078720 33968 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 33968 2966 3035 0 38496 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=417 CPUtime=1.2 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 25504 0 0 0 117 3 0 0 20 0 3 0 5236895 226078720 33968 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=0 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 33968 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 135872 KiB
[startup+3.10537 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 36546
/proc/meminfo: memFree=122625464/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=135872 CPUtime=3.06 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 43655 0 0 0 301 5 0 0 20 0 3 0 5236869 226078720 33968 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 33968 2966 3035 0 38496 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=-5155635695362403205 CPUtime=2.8 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 29336 0 0 0 277 3 0 0 20 0 3 0 5236895 226078720 33968 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=0 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 33968 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 135872 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 36546
/proc/meminfo: memFree=122624040/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=135880 CPUtime=6.25 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 52430 0 0 0 619 6 0 0 20 0 3 0 5236869 226078720 33970 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 33970 2966 3035 0 38496 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=11728 CPUtime=5.98 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 38110 0 0 0 595 3 0 0 20 0 3 0 5236895 226078720 33970 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=11728 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 33970 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 135880 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 36548
/proc/meminfo: memFree=122616492/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=136024 CPUtime=12.63 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 71184 0 0 0 1256 7 0 0 20 0 3 0 5236869 226078720 34006 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 34006 2966 3035 0 38496 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=135880 CPUtime=12.37 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 56862 0 0 0 1232 5 0 0 20 0 3 0 5236895 226078720 34006 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=-5155635695362403205 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 34006 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 136024 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 36549
/proc/meminfo: memFree=122589432/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=137016 CPUtime=25.4 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 93369 0 0 0 2532 8 0 0 20 0 3 0 5236869 226078720 34254 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 34254 2966 3035 0 38496 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=11728 CPUtime=25.14 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 79040 0 0 0 2508 6 0 0 20 0 3 0 5236895 226078720 34254 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=11728 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 34254 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 137016 KiB
[startup+51.1052 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 36554
/proc/meminfo: memFree=122542660/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=161124 CPUtime=50.95 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 123998 0 0 0 5084 11 0 0 20 0 3 0 5236869 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 40281 3014 3035 0 45566 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=7957693872831031128 CPUtime=50.68 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 109595 0 0 0 5060 8 0 0 20 0 3 0 5236895 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=11728 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 161124 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 36567
/proc/meminfo: memFree=122489688/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=161124 CPUtime=102.03 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 137026 0 0 0 10192 11 0 0 20 0 3 0 5236869 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 40281 3014 3035 0 45566 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=161124 CPUtime=101.77 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 122602 0 0 0 10168 9 0 0 20 0 3 0 5236895 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=161124 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 161124 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 36579
/proc/meminfo: memFree=122425868/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=161124 CPUtime=161.91 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 145554 0 0 0 16179 12 0 0 20 0 3 0 5236869 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 40281 3014 3035 0 45566 0
[pid=36543/tid=36545] ppid=36540 vsize=220780 memory=11728 CPUtime=161.64 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 131120 0 0 0 16155 9 0 0 20 0 3 0 5236895 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=220780 memory=161124 CPUtime=0 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5236898 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 220780 KiB
Current children cumulated memory: 161124 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 36637
/proc/meminfo: memFree=128397056/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=220780 memory=161124 CPUtime=221.74 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 155476 0 0 0 22161 13 0 0 20 0 3 0 5236869 226078720 40281 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 55195 40281 3014 3035 0 45566 0
################
# More data... #
################
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3392.32 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 562821 0 0 0 339067 165 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=279020 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 108 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3462.3 s]
/proc/loadavg: 2.05 2.62 3.41 3/245 38498
/proc/meminfo: memFree=127474724/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3452.63 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 579555 0 0 0 345087 176 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3452.15 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 563905 0 0 0 345048 167 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=279020 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 109 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.53 3.32 3/245 38509
/proc/meminfo: memFree=127441784/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3512.46 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 580666 0 0 0 351067 179 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3511.98 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 564996 0 0 0 351028 170 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=2268 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 110 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.45 3.24 3/245 38520
/proc/meminfo: memFree=127413932/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3572.3 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581819 0 0 0 357048 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3571.8 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566129 0 0 0 357008 172 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=11728 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3598.07 s]
# the end of solver process 36543 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.2 s, system=1.83333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.10 2.44 3.24 3/245 38520
/proc/meminfo: memFree=127411692/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3573.99 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581821 0 0 0 357217 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=8268 CPUtime=3573.5 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566131 0 0 0 357178 172 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=3428 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3573.99 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3590.4 s]
/proc/loadavg: 2.09 2.43 3.23 3/245 38522
/proc/meminfo: memFree=127409616/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3580.37 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581829 0 0 0 357855 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3579.87 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566139 0 0 0 357815 172 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=279020 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3580.37 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3593.6 s]
/proc/loadavg: 2.08 2.43 3.22 3/245 38522
/proc/meminfo: memFree=127408284/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3583.56 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581830 0 0 0 358174 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3583.07 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566140 0 0 0 358134 173 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=279020 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3583.56 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3595.2 s]
/proc/loadavg: 2.08 2.43 3.22 3/245 38522
/proc/meminfo: memFree=127407380/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3585.16 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581833 0 0 0 358334 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=11728 CPUtime=3584.67 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566143 0 0 0 358294 173 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=11728 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3585.16 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3596.8 s]
/proc/loadavg: 2.08 2.43 3.22 3/245 38522
/proc/meminfo: memFree=127404460/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3586.75 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581834 0 0 0 358493 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=279020 CPUtime=3586.26 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566144 0 0 0 358453 173 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=279020 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3597.6 s]
/proc/loadavg: 2.08 2.43 3.22 3/245 38522
/proc/meminfo: memFree=127404384/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3587.55 cores=4,6
/proc/36543/stat : 36543 (fscip) S 36540 36543 31845 0 -1 1077936128 581834 0 0 0 358573 182 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=12788 CPUtime=3587.06 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566144 0 0 0 358533 173 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=12796 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
[startup+3598 s]*
/proc/loadavg: 2.08 2.42 3.22 3/245 38524
/proc/meminfo: memFree=127404364/131524600 swapFree=131071996/131071996
[pid=36543] ppid=36540 vsize=351852 memory=279020 CPUtime=3587.96 cores=4,6
/proc/36543/stat : 36543 (fscip) R 36540 36543 31845 0 -1 1077936128 581859 0 0 0 358613 183 0 0 20 0 3 0 5236869 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
/proc/36543/statm: 87963 69755 3014 3035 0 71505 0
[pid=36543/tid=36545] ppid=36540 vsize=351852 memory=-7234588068002487678 CPUtime=3587.46 cores=4,6
/proc/36543/task/36545/stat : 36545 (fscip) R 36540 36543 31845 0 -1 4194368 566169 0 0 0 358573 173 0 0 20 0 3 0 5236895 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
[pid=36543/tid=36546] ppid=36540 vsize=351852 memory=2672 CPUtime=0.02 cores=4,6
/proc/36543/task/36546/stat : 36546 (fscip) S 36540 36543 31845 0 -1 1077936192 111 0 0 0 0 2 0 0 20 0 3 0 5236898 360296448 69755 134679101440 4194304 16623229 140734878104432 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27611136 140734878110742 140734878110858 140734878110858 140734878117872 0
Current children cumulated CPU time: 3587.96 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 279020 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3588.03
CPU user time (s): 3586.2
CPU system time (s): 1.83333
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 351852
Max. memory (cumulated for all children) (KiB): 279020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.2
system time used= 1.83333
maximum resident set size= 279020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582810
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= 10135
involuntary context switches= 1221
# summary of solver processes directly reported to runsolver:
# pid: 36543
# total CPU time (s): 3588.03
# total CPU user time (s): 3586.2
# total CPU system time (s): 1.83333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65197 second user time and 17.609 second system time
The end
Begin job on nodeC033 at 2024-07-31 02:39:06
IDJOB=4464656
IDBENCH=162309
IDSOLVER=3092
FILE ID=nodeC033/4464656-1722386346
RUNJOBID= nodeC033-1722378597-31856
SLURM_JOB_ID= 8249856
Free space on /tmp= 889972 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-8.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-4464656-1722386346/watcher-4464656-1722386346 -o /tmp/evaluation-result-4464656-1722386346/solver-4464656-1722386346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31856 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464656-1722386346.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 02e0faaef515678e6aa0f4acf19b43a4
RANDOM SEED=1025625710
nodeC033.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 : 3671.619
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3688.173
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3620.704
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.494
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3669.140
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3688.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3659.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.405
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122752980 kB
MemAvailable: 122675260 kB
Buffers: 100976 kB
Cached: 656804 kB
SwapCached: 0 kB
Active: 303692 kB
Inactive: 7979596 kB
Active(anon): 1564 kB
Inactive(anon): 7545308 kB
Active(file): 302128 kB
Inactive(file): 434288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28508 kB
Writeback: 0 kB
AnonPages: 7525588 kB
Mapped: 124740 kB
Shmem: 21336 kB
KReclaimable: 51376 kB
Slab: 133004 kB
SReclaimable: 51376 kB
SUnreclaim: 81628 kB
KernelStack: 4220 kB
PageTables: 24264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4221608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2496512 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: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC033 at 2024-07-31 03:39:04