0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 46317568, getVmSize() = 46317568, SCIPgetMemUsed() = 20071177, SCIPgetMemTotal() = 24093393, SCIPgetMemExternEstim() = 12439209
0.00/0.09 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.59/0.67 c ** Estimated virtualMemUsedAtSolver = 37934421, getVmSize() = 67485696, SCIPgetMemUsed() = 23460264, SCIPgetMemTotal() = 43302208, SCIPgetMemExternEstim() = 12439209
0.59/0.67 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.59/0.67 c Original Problem :
0.59/0.67 c Problem name : instance-4450900-1721421598
0.59/0.67 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.67 c Constraints : 8736
0.59/0.67 c Objective sense : minimize
0.59/0.67 c Presolved Problem :
0.59/0.67 c Variables : 3111 (3111 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.67 c Constraints : 6855
0.59/0.67 c Constraints : Number
0.59/0.67 c and : 32
0.59/0.67 c linear : 1208
0.59/0.67 c logicor : 5615
0.59/0.67 c ** Instance transfer method used: 0
0.68/0.70 c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.73 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.73 c Nodes Active
0.68/0.73 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
38.01/38.17 c 38 2 1 1 - 0.0000 -
43.38/43.52 c 44 16 15 1 - 0.0000 -
50.98/51.14 c 51 20 19 1 - 0.0000 -
58.15/58.36 c 58 24 23 1 - 0.0000 -
206.23/206.84 c 207 26 25 1 - 0.0000 -
213.02/213.62 c 214 30 29 1 - 0.0000 -
219.41/220.04 c 220 34 33 1 - 0.0000 -
227.19/227.84 c 228 38 37 1 - 0.0000 -
235.16/235.85 c 236 42 41 1 - 0.0000 -
242.95/243.66 c 244 46 45 1 - 0.0000 -
251.03/251.76 c 252 50 49 1 - 0.0000 -
257.21/257.96 c 258 70 69 1 - 0.0000 -
264.69/265.41 c 265 74 73 1 - 0.0000 -
273.08/273.84 c 274 78 77 1 - 0.0000 -
278.16/278.91 c 279 82 81 1 - 0.0000 -
283.64/284.46 c 284 84 83 1 - 0.0000 -
289.73/290.56 c 291 94 93 1 - 0.0000 -
297.70/298.57 c 299 98 97 1 - 0.0000 -
304.38/305.28 c 305 116 115 1 - 0.0000 -
309.67/310.51 c 311 165 164 1 - 0.0000 -
316.65/317.50 c 318 192 191 1 - 0.0000 -
323.82/324.74 c 325 205 204 1 - 0.0000 -
329.41/330.39 c 330 229 228 1 - 0.0000 -
335.30/336.28 c 336 232 231 1 - 0.0000 -
340.39/341.38 c 341 239 238 1 - 0.0000 -
346.87/347.80 c 348 245 244 1 - 0.0000 -
353.76/354.76 c 355 252 251 1 - 0.0000 -
359.54/360.52 c 361 263 262 1 - 0.0000 -
365.14/366.17 c 366 313 312 1 - 0.0000 -
370.72/371.75 c 372 348 347 1 - 0.0000 -
376.70/377.74 c 378 404 403 1 - 0.0000 -
385.18/386.22 c 386 426 425 1 - 0.0000 -
391.57/392.64 c 393 451 450 1 - 0.0000 -
397.65/398.71 c 399 477 476 1 - 0.0000 -
402.74/403.82 c 404 502 501 1 - 0.0000 -
407.83/408.97 c 409 667 660 1 - 0.0000 -
413.82/415.01 c 415 846 839 1 - 0.0000 -
419.10/420.25 c 420 1055 990 1 - 0.0000 -
424.49/425.61 c 426 1205 990 1 - 0.0000 -
429.57/430.78 c 431 1463 1125 1 - 0.0000 -
435.16/436.31 c 436 1499 1161 1 - 0.0000 -
440.87/442.09 c 442 1785 1311 1 - 0.0000 -
445.95/447.18 c 447 2115 1381 1 - 0.0000 -
451.13/452.31 c 452 2638 1434 1 - 0.0000 -
456.11/457.35 c 457 3263 1460 1 - 0.0000 -
461.20/462.43 c 462 3812 1491 1 - 0.0000 -
466.29/467.51 c 468 4275 1508 1 - 0.0000 -
471.28/472.57 c 473 4859 1602 1 - 0.0000 -
476.46/477.73 c 478 5416 1629 1 - 0.0000 -
481.55/482.84 c 483 6035 1639 1 - 0.0000 -
486.64/487.98 c 488 6646 1646 1 - 0.0000 -
491.74/493.07 c 493 7355 1696 1 - 0.0000 -
496.83/498.18 c 498 7887 1750 1 - 0.0000 -
501.90/503.24 c 503 8514 1816 1 - 0.0000 -
506.99/508.38 c 508 9133 1879 1 - 0.0000 -
512.07/513.42 c 513 9641 1892 1 - 0.0000 -
517.06/518.47 c 518 10296 1917 1 - 0.0000 -
522.14/523.53 c 524 10978 1922 1 - 0.0000 -
527.22/528.67 c 529 11693 1951 1 - 0.0000 -
532.31/533.73 c 534 12375 2022 1 - 0.0000 -
537.30/538.79 c 539 13023 2021 1 - 0.0000 -
542.38/543.83 c 544 13766 2007 1 - 0.0000 -
547.46/548.93 c 549 14441 2002 1 - 0.0000 -
552.55/554.05 c 554 15244 2042 1 - 0.0000 -
557.65/559.17 c 559 16005 2065 1 - 0.0000 -
562.72/564.26 c 564 16778 2103 1 - 0.0000 -
567.80/569.31 c 569 17567 2138 1 - 0.0000 -
572.88/574.41 c 574 18274 2160 1 - 0.0000 -
577.87/579.49 c 579 19055 2242 1 - 0.0000 -
582.95/584.54 c 585 19731 2236 1 - 0.0000 -
587.94/589.59 c 590 20493 2254 1 - 0.0000 -
593.02/594.69 c 595 21223 2258 1 - 0.0000 -
598.10/599.74 c 600 21902 2283 1 - 0.0000 -
603.19/604.81 c 605 22530 2275 1 - 0.0000 -
608.18/609.88 c 610 23256 2327 1 - 0.0000 -
613.26/614.93 c 615 23974 2371 1 - 0.0000 -
618.24/619.98 c 620 24591 2437 1 - 0.0000 -
623.34/625.08 c 625 25252 2428 1 - 0.0000 -
628.43/630.13 c 630 25914 2458 1 - 0.0000 -
633.50/635.22 c 635 26549 2451 1 - 0.0000 -
638.48/640.29 c 640 27197 2476 1 - 0.0000 -
643.56/645.38 c 645 27832 2506 1 - 0.0000 -
648.65/650.45 c 650 28447 2509 1 - 0.0000 -
653.73/655.50 c 656 29088 2598 1 - 0.0000 -
658.72/660.57 c 661 29758 2633 1 - 0.0000 -
663.75/665.63 c 666 30360 2642 1 - 0.0000 -
668.70/670.69 c 671 31025 2614 1 - 0.0000 -
673.77/675.75 c 676 31577 2628 1 - 0.0000 -
678.82/680.83 c 681 32248 2628 1 - 0.0000 -
683.87/685.91 c 686 32938 2657 1 - 0.0000 -
688.82/691.00 c 691 33649 2699 1 - 0.0000 -
693.91/696.08 c 696 34242 2697 1 - 0.0000 -
698.99/701.13 c 701 34924 2713 1 - 0.0000 -
704.07/706.20 c 706 35655 2722 1 - 0.0000 -
709.05/711.25 c 711 36310 2749 1 - 0.0000 -
714.15/716.30 c 716 37000 2761 1 - 0.0000 -
719.13/721.38 c 721 37698 2781 1 - 0.0000 -
724.21/726.43 c 726 38385 2798 1 - 0.0000 -
729.21/731.48 c 731 39117 2774 1 - 0.0000 -
734.29/736.54 c 737 39812 2795 1 - 0.0000 -
739.28/741.59 c 742 40511 2762 1 - 0.0000 -
744.37/746.70 c 747 41168 2769 1 - 0.0000 -
749.46/751.77 c 752 41887 2751 1 - 0.0000 -
754.54/756.86 c 757 42639 2763 1 - 0.0000 -
759.63/761.92 c 762 43326 2735 1 - 0.0000 -
764.61/766.97 c 767 44050 2712 1 - 0.0000 -
769.71/772.03 c 772 44770 2734 1 - 0.0000 -
774.79/777.13 c 777 45428 2711 1 - 0.0000 -
779.87/782.20 c 782 46069 2722 1 - 0.0000 -
784.86/787.28 c 787 46739 2722 1 - 0.0000 -
789.95/792.33 c 792 47385 2718 1 - 0.0000 -
795.03/797.42 c 797 47969 2718 1 - 0.0000 -
800.13/802.54 c 803 48669 2703 1 - 0.0000 -
805.21/807.60 c 808 49391 2759 1 - 0.0000 -
810.19/812.67 c 813 50168 2753 1 - 0.0000 -
815.29/817.73 c 818 50852 2799 1 - 0.0000 -
820.28/822.78 c 823 51547 2807 1 - 0.0000 -
825.36/827.84 c 828 52190 2808 1 - 0.0000 -
830.45/832.93 c 833 52897 2803 1 - 0.0000 -
835.44/837.97 c 838 53565 2821 1 - 0.0000 -
840.54/843.04 c 843 54313 2871 1 - 0.0000 -
845.52/848.09 c 848 55048 2872 1 - 0.0000 -
850.69/853.21 c 853 55695 2886 1 - 0.0000 -
855.79/858.31 c 858 56438 2870 1 - 0.0000 -
860.77/863.36 c 863 57163 2909 1 - 0.0000 -
865.85/868.42 c 868 57893 2939 1 - 0.0000 -
870.84/873.48 c 873 58630 2955 1 - 0.0000 -
875.92/878.55 c 879 59434 2976 1 - 0.0000 -
881.02/883.63 c 884 60233 2997 1 - 0.0000 -
886.00/888.69 c 889 61075 2986 1 - 0.0000 -
891.09/893.76 c 894 61799 3008 1 - 0.0000 -
896.17/898.87 c 899 62385 3000 1 - 0.0000 -
901.26/903.94 c 904 63129 3021 1 - 0.0000 -
906.95/909.67 c 910 63833 3041 1 - 0.0000 -
912.03/914.72 c 915 64595 3026 1 - 0.0000 -
917.12/919.81 c 920 65357 3012 1 - 0.0000 -
922.11/924.86 c 925 66164 3015 1 - 0.0000 -
927.19/929.94 c 930 67058 3014 1 - 0.0000 -
932.18/935.01 c 935 67907 3075 1 - 0.0000 -
937.28/940.06 c 940 68710 3095 1 - 0.0000 -
942.37/945.11 c 945 69524 3031 1 - 0.0000 -
947.35/950.18 c 950 70196 3039 1 - 0.0000 -
952.43/955.29 c 955 70835 3029 1 - 0.0000 -
957.51/960.37 c 960 71525 3004 1 - 0.0000 -
962.61/965.42 c 965 72287 3048 1 - 0.0000 -
967.59/970.49 c 970 73034 3079 1 - 0.0000 -
972.78/975.61 c 976 73669 3044 1 - 0.0000 -
977.77/980.66 c 981 74363 3009 1 - 0.0000 -
982.86/985.73 c 986 75135 3005 1 - 0.0000 -
987.85/990.78 c 991 75870 2999 1 - 0.0000 -
992.93/995.86 c 996 76594 2990 1 - 0.0000 -
998.02/1000.91 c 1001 77329 3031 1 - 0.0000 -
1003.01/1006.01 c 1006 78148 3066 1 - 0.0000 -
1008.10/1011.07 c 1011 78854 3099 1 - 0.0000 -
1013.18/1016.14 c 1016 79657 3122 1 - 0.0000 -
1018.27/1021.21 c 1021 80396 3135 1 - 0.0000 -
1023.25/1026.27 c 1026 81117 3156 1 - 0.0000 -
1028.34/1031.33 c 1031 81862 3167 1 - 0.0000 -
1033.43/1036.40 c 1036 82618 3167 1 - 0.0000 -
1038.41/1041.47 c 1041 83387 3167 1 - 0.0000 -
1043.50/1046.52 c 1047 84159 3219 1 - 0.0000 -
1048.48/1051.57 c 1052 84982 3220 1 - 0.0000 -
1053.58/1056.66 c 1057 85771 3222 1 - 0.0000 -
1058.67/1061.76 c 1062 86669 3219 1 - 0.0000 -
1063.75/1066.80 c 1067 87432 3260 1 - 0.0000 -
1068.74/1071.86 c 1072 88266 3281 1 - 0.0000 -
1073.83/1076.92 c 1077 89044 3264 1 - 0.0000 -
1078.81/1082.01 c 1082 89816 3245 1 - 0.0000 -
1083.90/1087.05 c 1087 90607 3259 1 - 0.0000 -
1088.89/1092.11 c 1092 91322 3236 1 - 0.0000 -
1093.98/1097.16 c 1097 92027 3228 1 - 0.0000 -
1099.06/1102.21 c 1102 92696 3247 1 - 0.0000 -
1104.04/1107.25 c 1107 93423 3246 1 - 0.0000 -
1109.13/1112.35 c 1112 94162 3271 1 - 0.0000 -
1114.22/1117.44 c 1117 94938 3256 1 - 0.0000 -
1119.31/1122.52 c 1123 95652 3240 1 - 0.0000 -
1124.40/1127.61 c 1128 96394 3245 1 - 0.0000 -
1129.38/1132.65 c 1133 97042 3245 1 - 0.0000 -
1134.47/1137.73 c 1138 97817 3251 1 - 0.0000 -
1139.45/1142.78 c 1143 98509 3266 1 - 0.0000 -
1144.55/1147.84 c 1148 99301 3316 1 - 0.0000 -
1149.54/1152.89 c 1153 100070 3335 1 - 0.0000 -
1154.62/1157.95 c 1158 100843 3315 1 - 0.0000 -
1159.72/1163.03 c 1163 101505 3315 1 - 0.0000 -
1164.70/1168.10 c 1168 102209 3336 1 - 0.0000 -
1169.80/1173.16 c 1173 102932 3359 1 - 0.0000 -
1174.87/1178.24 c 1178 103642 3399 1 - 0.0000 -
1179.86/1183.29 c 1183 104370 3441 1 - 0.0000 -
1184.95/1188.36 c 1188 105053 3465 1 - 0.0000 -
1190.04/1193.41 c 1193 105730 3484 1 - 0.0000 -
1195.02/1198.46 c 1198 106363 3500 1 - 0.0000 -
1200.11/1203.54 c 1204 107055 3505 1 - 0.0000 -
1205.10/1208.59 c 1209 107754 3527 1 - 0.0000 -
1210.19/1213.66 c 1214 108505 3555 1 - 0.0000 -
1215.27/1218.73 c 1219 109182 3542 1 - 0.0000 -
1220.26/1223.79 c 1224 109842 3489 1 - 0.0000 -
1225.36/1228.88 c 1229 110489 3486 1 - 0.0000 -
1230.44/1233.97 c 1234 111183 3489 1 - 0.0000 -
1235.53/1239.08 c 1239 111901 3492 1 - 0.0000 -
1240.62/1244.15 c 1244 112582 3485 1 - 0.0000 -
1245.70/1249.26 c 1249 113301 3448 1 - 0.0000 -
1250.79/1254.31 c 1254 113975 3437 1 - 0.0000 -
1255.78/1259.37 c 1259 114717 3421 1 - 0.0000 -
1260.86/1264.44 c 1264 115404 3409 1 - 0.0000 -
1265.95/1269.52 c 1270 116129 3387 1 - 0.0000 -
1270.94/1274.58 c 1275 116883 3369 1 - 0.0000 -
1276.03/1279.66 c 1280 117630 3382 1 - 0.0000 -
1281.11/1284.75 c 1285 118267 3380 1 - 0.0000 -
1286.20/1289.82 c 1290 119018 3375 1 - 0.0000 -
1291.19/1294.87 c 1295 119668 3388 1 - 0.0000 -
1296.28/1299.92 c 1300 120381 3393 1 - 0.0000 -
1301.27/1305.01 c 1305 121077 3388 1 - 0.0000 -
1306.35/1310.06 c 1310 121768 3378 1 - 0.0000 -
1311.44/1315.11 c 1315 122483 3373 1 - 0.0000 -
1316.43/1320.17 c 1320 123147 3381 1 - 0.0000 -
1321.51/1325.23 c 1325 123931 3392 1 - 0.0000 -
1326.49/1330.30 c 1330 124778 3392 1 - 0.0000 -
1331.58/1335.36 c 1335 125413 3415 1 - 0.0000 -
1336.67/1340.43 c 1340 126166 3400 1 - 0.0000 -
1341.76/1345.51 c 1346 126826 3412 1 - 0.0000 -
1346.85/1350.61 c 1351 127514 3383 1 - 0.0000 -
1351.83/1355.66 c 1356 128187 3370 1 - 0.0000 -
1356.92/1360.75 c 1361 128723 3384 1 - 0.0000 -
1362.01/1365.83 c 1366 129263 3375 1 - 0.0000 -
1366.99/1370.88 c 1371 129953 3361 1 - 0.0000 -
1372.08/1375.97 c 1376 130569 3408 1 - 0.0000 -
1377.18/1381.07 c 1381 131156 3412 1 - 0.0000 -
1382.56/1386.40 c 1386 131642 3431 1 - 0.0000 -
1387.54/1391.44 c 1391 132243 3396 1 - 0.0000 -
1392.63/1396.50 c 1397 132803 3391 1 - 0.0000 -
1397.63/1401.57 c 1402 133349 3394 1 - 0.0000 -
1402.71/1406.64 c 1407 133890 3400 1 - 0.0000 -
1407.70/1411.68 c 1412 134489 3389 1 - 0.0000 -
1412.79/1416.77 c 1417 135125 3389 1 - 0.0000 -
1417.87/1421.81 c 1422 135760 3366 1 - 0.0000 -
1422.86/1426.89 c 1427 136434 3348 1 - 0.0000 -
1427.94/1431.96 c 1432 137117 3326 1 - 0.0000 -
1433.04/1437.01 c 1437 137799 3314 1 - 0.0000 -
1438.03/1442.07 c 1442 138354 3359 1 - 0.0000 -
1443.12/1447.14 c 1447 138989 3358 1 - 0.0000 -
1448.19/1452.25 c 1452 139623 3349 1 - 0.0000 -
1453.28/1457.32 c 1457 140259 3325 1 - 0.0000 -
1458.27/1462.39 c 1462 140895 3355 1 - 0.0000 -
1463.35/1467.45 c 1467 141567 3390 1 - 0.0000 -
1468.45/1472.51 c 1473 142214 3402 1 - 0.0000 -
1473.53/1477.63 c 1478 142847 3436 1 - 0.0000 -
1478.62/1482.72 c 1483 143496 3451 1 - 0.0000 -
1483.61/1487.78 c 1488 144211 3399 1 - 0.0000 -
1488.69/1492.84 c 1493 144886 3376 1 - 0.0000 -
1493.78/1497.90 c 1498 145592 3303 1 - 0.0000 -
1498.77/1502.97 c 1503 146329 3309 1 - 0.0000 -
1503.86/1508.03 c 1508 147015 3295 1 - 0.0000 -
1508.95/1513.12 c 1513 147753 3292 1 - 0.0000 -
1513.94/1518.19 c 1518 148528 3307 1 - 0.0000 -
1519.01/1523.26 c 1523 149195 3331 1 - 0.0000 -
1524.10/1528.34 c 1528 149850 3330 1 - 0.0000 -
1529.19/1533.41 c 1533 150503 3377 1 - 0.0000 -
1534.17/1538.49 c 1538 151080 3375 1 - 0.0000 -
1539.36/1543.63 c 1544 151723 3369 1 - 0.0000 -
1544.45/1548.71 c 1549 152376 3349 1 - 0.0000 -
1549.54/1553.82 c 1554 152911 3353 1 - 0.0000 -
1554.63/1558.93 c 1559 153577 3337 1 - 0.0000 -
1559.72/1564.02 c 1564 154277 3302 1 - 0.0000 -
1564.70/1569.10 c 1569 154868 3290 1 - 0.0000 -
1569.80/1574.15 c 1574 155652 3303 1 - 0.0000 -
1574.87/1579.23 c 1579 156378 3343 1 - 0.0000 -
1579.86/1584.28 c 1584 157097 3342 1 - 0.0000 -
1584.95/1589.33 c 1589 157798 3371 1 - 0.0000 -
1590.03/1594.40 c 1594 158464 3329 1 - 0.0000 -
1595.02/1599.48 c 1599 159018 3342 1 - 0.0000 -
1600.11/1604.59 c 1605 159396 3323 1 - 0.0000 -
1605.20/1609.66 c 1610 160153 3316 1 - 0.0000 -
1610.29/1614.73 c 1615 160845 3298 1 - 0.0000 -
1615.37/1619.82 c 1620 161558 3287 1 - 0.0000 -
1620.46/1624.90 c 1625 162337 3316 1 - 0.0000 -
1625.45/1629.98 c 1630 163062 3300 1 - 0.0000 -
1630.54/1635.04 c 1635 163795 3284 1 - 0.0000 -
1636.42/1641.01 c 1641 164405 3258 1 - 0.0000 -
1641.52/1646.06 c 1646 165153 3260 1 - 0.0000 -
1646.60/1651.14 c 1651 165843 3241 1 - 0.0000 -
1651.68/1656.22 c 1656 166485 3224 1 - 0.0000 -
1656.76/1661.30 c 1661 167237 3225 1 - 0.0000 -
1661.75/1666.37 c 1666 167912 3200 1 - 0.0000 -
1666.85/1671.45 c 1671 168608 3215 1 - 0.0000 -
1671.83/1676.50 c 1676 169314 3169 1 - 0.0000 -
1676.92/1681.59 c 1682 169915 3174 1 - 0.0000 -
1682.00/1686.65 c 1687 170523 3200 1 - 0.0000 -
1687.09/1691.79 c 1692 171100 3224 1 - 0.0000 -
1692.18/1696.87 c 1697 171586 3231 1 - 0.0000 -
1697.27/1701.93 c 1702 172149 3238 1 - 0.0000 -
1702.37/1707.06 c 1707 172730 3220 1 - 0.0000 -
1707.46/1712.14 c 1712 173323 3240 1 - 0.0000 -
1712.53/1717.23 c 1717 173940 3237 1 - 0.0000 -
1717.62/1722.31 c 1722 174560 3239 1 - 0.0000 -
1722.71/1727.42 c 1727 175172 3237 1 - 0.0000 -
1727.70/1732.49 c 1732 175818 3218 1 - 0.0000 -
1732.78/1737.53 c 1738 176432 3210 1 - 0.0000 -
1737.87/1742.64 c 1743 177013 3226 1 - 0.0000 -
1742.96/1747.77 c 1748 177644 3197 1 - 0.0000 -
1748.05/1752.82 c 1753 178379 3180 1 - 0.0000 -
1753.14/1757.92 c 1758 179055 3158 1 - 0.0000 -
1758.12/1762.97 c 1763 179717 3163 1 - 0.0000 -
1763.21/1768.03 c 1768 180445 3159 1 - 0.0000 -
1768.30/1773.12 c 1773 181134 3135 1 - 0.0000 -
1773.29/1778.19 c 1778 181821 3111 1 - 0.0000 -
1778.36/1783.24 c 1783 182478 3107 1 - 0.0000 -
1783.46/1788.30 c 1788 183115 3133 1 - 0.0000 -
1788.54/1793.41 c 1793 183812 3125 1 - 0.0000 -
1793.53/1798.48 c 1798 184561 3145 1 - 0.0000 -
1798.61/1803.53 c 1804 185287 3166 1 - 0.0000 -
1803.59/1808.58 c 1809 186084 3159 1 - 0.0000 -
1808.68/1813.64 c 1814 186842 3202 1 - 0.0000 -
1813.76/1818.72 c 1819 187575 3219 1 - 0.0000 -
1818.75/1823.77 c 1824 188359 3292 1 - 0.0000 -
1823.83/1828.86 c 1829 189063 3305 1 - 0.0000 -
1828.91/1833.94 c 1834 189766 3306 1 - 0.0000 -
1833.89/1838.99 c 1839 190534 3279 1 - 0.0000 -
1839.00/1844.05 c 1844 191272 3244 1 - 0.0000 -
1844.08/1849.12 c 1849 192025 3249 1 - 0.0000 -
1849.15/1854.21 c 1854 192686 3250 1 - 0.0000 -
1854.13/1859.26 c 1859 193363 3261 1 - 0.0000 -
1859.22/1864.30 c 1864 194139 3266 1 - 0.0000 -
1864.21/1869.40 c 1869 194869 3283 1 - 0.0000 -
1869.29/1874.48 c 1874 195638 3287 1 - 0.0000 -
1874.37/1879.52 c 1880 196369 3261 1 - 0.0000 -
1879.36/1884.59 c 1885 197103 3262 1 - 0.0000 -
1884.44/1889.64 c 1890 197813 3277 1 - 0.0000 -
1889.52/1894.70 c 1895 198592 3274 1 - 0.0000 -
1894.51/1899.76 c 1900 199258 3265 1 - 0.0000 -
1899.60/1904.80 c 1905 199968 3260 1 - 0.0000 -
1904.58/1909.88 c 1910 200677 3239 1 - 0.0000 -
1909.66/1914.94 c 1915 201508 3230 1 - 0.0000 -
1914.76/1920.03 c 1920 202278 3296 1 - 0.0000 -
1919.75/1925.09 c 1925 203065 3300 1 - 0.0000 -
1924.83/1930.15 c 1930 203907 3276 1 - 0.0000 -
1929.91/1935.20 c 1935 204717 3272 1 - 0.0000 -
1934.89/1940.28 c 1940 205504 3263 1 - 0.0000 -
1939.97/1945.34 c 1945 206282 3271 1 - 0.0000 -
1944.95/1950.39 c 1950 207045 3275 1 - 0.0000 -
1950.04/1955.45 c 1955 207786 3265 1 - 0.0000 -
1955.12/1960.52 c 1961 208527 3322 1 - 0.0000 -
1960.10/1965.56 c 1966 209298 3309 1 - 0.0000 -
1965.20/1970.63 c 1971 210010 3266 1 - 0.0000 -
1970.28/1975.70 c 1976 210663 3268 1 - 0.0000 -
1975.26/1980.78 c 1981 211220 3276 1 - 0.0000 -
1980.35/1985.84 c 1986 211810 3273 1 - 0.0000 -
1985.43/1990.92 c 1991 212570 3286 1 - 0.0000 -
1990.52/1996.03 c 1996 213292 3269 1 - 0.0000 -
1995.51/2001.10 c 2001 213954 3267 1 - 0.0000 -
2000.60/2006.19 c 2006 214583 3255 1 - 0.0000 -
2005.67/2011.25 c 2011 215210 3271 1 - 0.0000 -
2010.75/2016.33 c 2016 215853 3271 1 - 0.0000 -
2015.84/2021.41 c 2021 216515 3263 1 - 0.0000 -
2020.92/2026.50 c 2026 217227 3288 1 - 0.0000 -
2025.90/2031.56 c 2032 217975 3287 1 - 0.0000 -
2030.99/2036.61 c 2037 218707 3303 1 - 0.0000 -
2035.98/2041.68 c 2042 219454 3299 1 - 0.0000 -
2041.06/2046.73 c 2047 220235 3288 1 - 0.0000 -
2046.04/2051.78 c 2052 220959 3297 1 - 0.0000 -
2051.13/2056.83 c 2057 221710 3298 1 - 0.0000 -
2056.11/2061.88 c 2062 222484 3302 1 - 0.0000 -
2061.19/2066.95 c 2067 223238 3282 1 - 0.0000 -
2066.18/2072.01 c 2072 223996 3293 1 - 0.0000 -
2071.27/2077.07 c 2077 224778 3250 1 - 0.0000 -
2076.35/2082.13 c 2082 225544 3254 1 - 0.0000 -
2081.42/2087.20 c 2087 226385 3254 1 - 0.0000 -
2086.40/2092.25 c 2092 227113 3231 1 - 0.0000 -
2091.50/2097.36 c 2097 227860 3229 1 - 0.0000 -
2096.58/2102.44 c 2102 228563 3226 1 - 0.0000 -
2101.56/2107.48 c 2107 229342 3219 1 - 0.0000 -
2106.64/2112.54 c 2113 230061 3276 1 - 0.0000 -
2112.33/2118.20 c 2118 230739 3230 1 - 0.0000 -
2117.32/2123.27 c 2123 231464 3237 1 - 0.0000 -
2122.40/2128.34 c 2128 232233 3198 1 - 0.0000 -
2127.48/2133.41 c 2133 232890 3191 1 - 0.0000 -
2132.46/2138.48 c 2138 233621 3212 1 - 0.0000 -
2137.55/2143.54 c 2144 234341 3202 1 - 0.0000 -
2142.63/2148.60 c 2149 235191 3217 1 - 0.0000 -
2147.62/2153.66 c 2154 236030 3219 1 - 0.0000 -
2152.70/2158.74 c 2159 236779 3199 1 - 0.0000 -
2157.78/2163.81 c 2164 237487 3227 1 - 0.0000 -
2162.77/2168.88 c 2169 238160 3242 1 - 0.0000 -
2167.85/2173.99 c 2174 238818 3241 1 - 0.0000 -
2172.95/2179.04 c 2179 239487 3276 1 - 0.0000 -
2178.03/2184.13 c 2184 240095 3263 1 - 0.0000 -
2183.10/2189.22 c 2189 240799 3226 1 - 0.0000 -
2188.09/2194.27 c 2194 241567 3274 1 - 0.0000 -
2193.17/2199.35 c 2199 242364 3275 1 - 0.0000 -
2198.25/2204.41 c 2204 243090 3277 1 - 0.0000 -
2203.24/2209.46 c 2209 243822 3278 1 - 0.0000 -
2208.33/2214.52 c 2215 244541 3248 1 - 0.0000 -
2213.31/2219.58 c 2220 245331 3214 1 - 0.0000 -
2218.40/2224.67 c 2225 246004 3220 1 - 0.0000 -
2223.58/2229.80 c 2230 246677 3228 1 - 0.0000 -
2228.66/2234.90 c 2235 247373 3225 1 - 0.0000 -
2233.64/2239.96 c 2240 248052 3230 1 - 0.0000 -
2238.73/2245.02 c 2245 248733 3217 1 - 0.0000 -
2243.82/2250.13 c 2250 249432 3191 1 - 0.0000 -
2248.81/2255.19 c 2255 250095 3241 1 - 0.0000 -
2253.89/2260.25 c 2260 250837 3230 1 - 0.0000 -
2258.97/2265.30 c 2265 251623 3258 1 - 0.0000 -
2263.95/2270.35 c 2270 252348 3249 1 - 0.0000 -
2269.03/2275.43 c 2275 253116 3244 1 - 0.0000 -
2274.02/2280.48 c 2280 253994 3245 1 - 0.0000 -
2279.10/2285.54 c 2286 254788 3229 1 - 0.0000 -
2284.19/2290.66 c 2291 255500 3191 1 - 0.0000 -
2289.27/2295.73 c 2296 256188 3177 1 - 0.0000 -
2294.25/2300.79 c 2301 256807 3185 1 - 0.0000 -
2299.34/2305.84 c 2306 257511 3208 1 - 0.0000 -
2304.42/2310.92 c 2311 258258 3218 1 - 0.0000 -
2309.41/2315.98 c 2316 258989 3228 1 - 0.0000 -
2314.51/2321.04 c 2321 259739 3206 1 - 0.0000 -
2319.49/2326.11 c 2326 260449 3203 1 - 0.0000 -
2324.66/2331.20 c 2331 261219 3193 1 - 0.0000 -
2329.65/2336.28 c 2336 261869 3164 1 - 0.0000 -
2334.73/2341.34 c 2341 262532 3155 1 - 0.0000 -
2339.71/2346.39 c 2346 263276 3145 1 - 0.0000 -
2344.80/2351.45 c 2351 264179 3235 1 - 0.0000 -
2349.88/2356.54 c 2357 264923 3283 1 - 0.0000 -
2354.96/2361.63 c 2362 265648 3272 1 - 0.0000 -
2359.95/2366.68 c 2367 266385 3260 1 - 0.0000 -
2365.04/2371.74 c 2372 266981 3327 1 - 0.0000 -
2370.02/2376.80 c 2377 267607 3329 1 - 0.0000 -
2375.10/2381.88 c 2382 268245 3340 1 - 0.0000 -
2380.19/2386.93 c 2387 268975 3350 1 - 0.0000 -
2385.17/2391.98 c 2392 269643 3335 1 - 0.0000 -
2390.28/2397.06 c 2397 270339 3319 1 - 0.0000 -
2395.36/2402.13 c 2402 271088 3311 1 - 0.0000 -
2400.43/2407.20 c 2407 271778 3314 1 - 0.0000 -
2405.41/2412.26 c 2412 272496 3310 1 - 0.0000 -
2410.50/2417.31 c 2417 273183 3307 1 - 0.0000 -
2415.49/2422.36 c 2422 273902 3291 1 - 0.0000 -
2420.57/2427.43 c 2427 274621 3311 1 - 0.0000 -
2425.55/2432.48 c 2432 275383 3304 1 - 0.0000 -
2430.64/2437.54 c 2438 276063 3296 1 - 0.0000 -
2435.62/2442.60 c 2443 276679 3286 1 - 0.0000 -
2440.71/2447.66 c 2448 277333 3271 1 - 0.0000 -
2445.79/2452.72 c 2453 278064 3273 1 - 0.0000 -
2450.88/2457.80 c 2458 278838 3277 1 - 0.0000 -
2455.86/2462.87 c 2463 279583 3284 1 - 0.0000 -
2460.94/2467.92 c 2468 280377 3325 1 - 0.0000 -
2465.93/2472.98 c 2473 281100 3325 1 - 0.0000 -
2471.02/2478.06 c 2478 281849 3324 1 - 0.0000 -
2476.11/2483.11 c 2483 282581 3334 1 - 0.0000 -
2481.10/2488.17 c 2488 283314 3340 1 - 0.0000 -
2486.17/2493.24 c 2493 284159 3325 1 - 0.0000 -
2491.25/2498.30 c 2498 284894 3331 1 - 0.0000 -
2496.23/2503.35 c 2503 285665 3364 1 - 0.0000 -
2501.32/2508.42 c 2508 286348 3359 1 - 0.0000 -
2506.31/2513.48 c 2513 287078 3368 1 - 0.0000 -
2511.39/2518.52 c 2519 287850 3374 1 - 0.0000 -
2516.38/2523.59 c 2524 288588 3374 1 - 0.0000 -
2521.46/2528.65 c 2529 289383 3369 1 - 0.0000 -
2526.54/2533.72 c 2534 290091 3339 1 - 0.0000 -
2531.53/2538.78 c 2539 290890 3348 1 - 0.0000 -
2536.62/2543.83 c 2544 291624 3346 1 - 0.0000 -
2541.60/2548.89 c 2549 292325 3357 1 - 0.0000 -
2546.68/2553.94 c 2554 293046 3358 1 - 0.0000 -
2551.78/2559.01 c 2559 293768 3358 1 - 0.0000 -
2556.76/2564.09 c 2564 294575 3346 1 - 0.0000 -
2561.85/2569.15 c 2569 295349 3368 1 - 0.0000 -
2566.92/2574.22 c 2574 296156 3363 1 - 0.0000 -
2571.90/2579.27 c 2579 296921 3364 1 - 0.0000 -
2576.99/2584.33 c 2584 297660 3366 1 - 0.0000 -
2581.98/2589.38 c 2589 298400 3381 1 - 0.0000 -
2587.06/2594.43 c 2594 299100 3359 1 - 0.0000 -
2592.04/2599.49 c 2599 299873 3361 1 - 0.0000 -
2597.13/2604.55 c 2605 300585 3362 1 - 0.0000 -
2602.22/2609.62 c 2610 301355 3369 1 - 0.0000 -
2607.20/2614.67 c 2615 302118 3362 1 - 0.0000 -
2612.28/2619.73 c 2620 302891 3348 1 - 0.0000 -
2617.26/2624.79 c 2625 303659 3360 1 - 0.0000 -
2622.34/2629.85 c 2630 304410 3369 1 - 0.0000 -
2627.44/2634.92 c 2635 305192 3388 1 - 0.0000 -
2632.42/2639.98 c 2640 306028 3414 1 - 0.0000 -
2637.51/2645.04 c 2645 306807 3418 1 - 0.0000 -
2642.60/2650.13 c 2650 307701 3392 1 - 0.0000 -
2647.68/2655.20 c 2655 308523 3422 1 - 0.0000 -
2652.66/2660.26 c 2660 309376 3407 1 - 0.0000 -
2657.74/2665.30 c 2665 310202 3359 1 - 0.0000 -
2662.72/2670.36 c 2670 310996 3386 1 - 0.0000 -
2667.81/2675.42 c 2675 311793 3366 1 - 0.0000 -
2672.89/2680.50 c 2680 312584 3354 1 - 0.0000 -
2677.87/2685.57 c 2686 313344 3350 1 - 0.0000 -
2682.96/2690.63 c 2691 314143 3343 1 - 0.0000 -
2687.94/2695.68 c 2696 314881 3358 1 - 0.0000 -
2693.03/2700.76 c 2701 315575 3388 1 - 0.0000 -
2698.12/2705.82 c 2706 316264 3378 1 - 0.0000 -
2703.10/2710.90 c 2711 317016 3348 1 - 0.0000 -
2708.18/2715.96 c 2716 317762 3327 1 - 0.0000 -
2713.27/2721.04 c 2721 318593 3359 1 - 0.0000 -
2718.26/2726.10 c 2726 319360 3329 1 - 0.0000 -
2723.35/2731.17 c 2731 320115 3330 1 - 0.0000 -
2728.42/2736.28 c 2736 320875 3305 1 - 0.0000 -
2733.50/2741.33 c 2741 321674 3315 1 - 0.0000 -
2738.48/2746.39 c 2746 322468 3329 1 - 0.0000 -
2743.57/2751.46 c 2751 323293 3293 1 - 0.0000 -
2748.66/2756.52 c 2757 324056 3286 1 - 0.0000 -
2753.64/2761.57 c 2762 324901 3284 1 - 0.0000 -
2758.72/2766.62 c 2767 325761 3286 1 - 0.0000 -
2763.71/2771.67 c 2772 326610 3282 1 - 0.0000 -
2768.80/2776.73 c 2777 327398 3291 1 - 0.0000 -
2773.78/2781.78 c 2782 328189 3282 1 - 0.0000 -
2778.86/2786.83 c 2787 328952 3289 1 - 0.0000 -
2783.95/2791.90 c 2792 329778 3290 1 - 0.0000 -
2788.94/2796.96 c 2797 330559 3308 1 - 0.0000 -
2794.03/2802.03 c 2802 331291 3379 1 - 0.0000 -
2799.01/2807.10 c 2807 332095 3363 1 - 0.0000 -
2804.10/2812.17 c 2812 332941 3323 1 - 0.0000 -
2809.17/2817.24 c 2817 333702 3325 1 - 0.0000 -
2814.15/2822.29 c 2822 334517 3330 1 - 0.0000 -
2819.23/2827.35 c 2827 335243 3328 1 - 0.0000 -
2824.32/2832.41 c 2832 336068 3326 1 - 0.0000 -
2829.31/2837.48 c 2837 336909 3308 1 - 0.0000 -
2834.39/2842.54 c 2843 337693 3294 1 - 0.0000 -
2839.47/2847.60 c 2848 338467 3297 1 - 0.0000 -
2844.46/2852.69 c 2853 339114 3285 1 - 0.0000 -
2849.54/2857.74 c 2858 339874 3302 1 - 0.0000 -
2854.63/2862.80 c 2863 340658 3301 1 - 0.0000 -
2860.11/2868.33 c 2868 341330 3264 1 - 0.0000 -
2865.19/2873.42 c 2873 342078 3271 1 - 0.0000 -
2870.18/2878.49 c 2878 342898 3239 1 - 0.0000 -
2875.26/2883.54 c 2884 343740 3226 1 - 0.0000 -
2880.35/2888.60 c 2889 344509 3226 1 - 0.0000 -
2885.33/2893.69 c 2894 345250 3206 1 - 0.0000 -
2890.41/2898.77 c 2899 346025 3200 1 - 0.0000 -
2895.51/2903.82 c 2904 346797 3192 1 - 0.0000 -
2900.49/2908.87 c 2909 347583 3173 1 - 0.0000 -
2905.57/2913.98 c 2914 348365 3176 1 - 0.0000 -
2910.65/2919.03 c 2919 349135 3183 1 - 0.0000 -
2915.65/2924.08 c 2924 349949 3177 1 - 0.0000 -
2920.74/2929.13 c 2929 350749 3169 1 - 0.0000 -
2925.72/2934.19 c 2934 351492 3157 1 - 0.0000 -
2930.80/2939.24 c 2939 352323 3149 1 - 0.0000 -
2935.88/2944.30 c 2944 353113 3163 1 - 0.0000 -
2940.88/2949.35 c 2949 353827 3138 1 - 0.0000 -
2945.96/2954.44 c 2954 354624 3129 1 - 0.0000 -
2951.05/2959.51 c 2960 355460 3116 1 - 0.0000 -
2956.03/2964.58 c 2965 356212 3106 1 - 0.0000 -
2961.22/2969.71 c 2970 357004 3115 1 - 0.0000 -
2966.21/2974.75 c 2975 357735 3119 1 - 0.0000 -
2971.29/2979.81 c 2980 358443 3149 1 - 0.0000 -
2976.29/2984.89 c 2985 359127 3135 1 - 0.0000 -
2981.37/2989.93 c 2990 359946 3089 1 - 0.0000 -
2986.36/2994.99 c 2995 360642 3124 1 - 0.0000 -
2991.45/3000.07 c 3000 361341 3111 1 - 0.0000 -
2996.54/3005.14 c 3005 362059 3128 1 - 0.0000 -
3001.62/3010.20 c 3010 362666 3080 1 - 0.0000 -
3006.61/3015.27 c 3015 363302 3094 1 - 0.0000 -
3011.69/3020.35 c 3020 364044 3174 1 - 0.0000 -
3016.78/3025.42 c 3025 364792 3219 1 - 0.0000 -
3021.77/3030.48 c 3030 365497 3219 1 - 0.0000 -
3026.86/3035.56 c 3036 366197 3251 1 - 0.0000 -
3031.94/3040.62 c 3041 366954 3259 1 - 0.0000 -
3036.93/3045.67 c 3046 367806 3248 1 - 0.0000 -
3042.02/3050.73 c 3051 368627 3308 1 - 0.0000 -
3047.11/3055.80 c 3056 369494 3307 1 - 0.0000 -
3052.09/3060.87 c 3061 370266 3348 1 - 0.0000 -
3057.18/3065.92 c 3066 371025 3349 1 - 0.0000 -
3062.17/3070.99 c 3071 371787 3375 1 - 0.0000 -
3067.27/3076.05 c 3076 372541 3359 1 - 0.0000 -
3072.25/3081.11 c 3081 373336 3348 1 - 0.0000 -
3077.35/3086.16 c 3086 374087 3351 1 - 0.0000 -
3082.42/3091.22 c 3091 374895 3310 1 - 0.0000 -
3087.41/3096.28 c 3096 375669 3296 1 - 0.0000 -
3092.49/3101.36 c 3101 376471 3324 1 - 0.0000 -
3097.59/3106.46 c 3106 377245 3313 1 - 0.0000 -
3102.67/3111.52 c 3112 378094 3299 1 - 0.0000 -
3107.66/3116.58 c 3117 378916 3296 1 - 0.0000 -
3112.75/3121.65 c 3122 379658 3304 1 - 0.0000 -
3117.83/3126.71 c 3127 380376 3296 1 - 0.0000 -
3122.83/3131.77 c 3132 381159 3288 1 - 0.0000 -
3127.91/3136.82 c 3137 381908 3291 1 - 0.0000 -
3132.90/3141.87 c 3142 382602 3278 1 - 0.0000 -
3137.98/3146.94 c 3147 383447 3276 1 - 0.0000 -
3142.98/3151.99 c 3152 384246 3272 1 - 0.0000 -
3148.06/3157.04 c 3157 384956 3291 1 - 0.0000 -
3153.15/3162.11 c 3162 385630 3305 1 - 0.0000 -
3158.14/3167.16 c 3167 386348 3296 1 - 0.0000 -
3163.21/3172.22 c 3172 387101 3289 1 - 0.0000 -
3168.21/3177.27 c 3177 387846 3292 1 - 0.0000 -
3173.29/3182.33 c 3182 388682 3287 1 - 0.0000 -
3178.38/3187.43 c 3187 389443 3291 1 - 0.0000 -
3183.46/3192.51 c 3193 390225 3292 1 - 0.0000 -
3188.45/3197.56 c 3198 391002 3265 1 - 0.0000 -
3193.55/3202.61 c 3203 391858 3287 1 - 0.0000 -
3198.53/3207.67 c 3208 392662 3275 1 - 0.0000 -
3203.62/3212.73 c 3213 393507 3293 1 - 0.0000 -
3208.70/3217.80 c 3218 394294 3327 1 - 0.0000 -
3213.70/3222.87 c 3223 395114 3303 1 - 0.0000 -
3218.78/3227.93 c 3228 395893 3284 1 - 0.0000 -
3223.77/3232.99 c 3233 396528 3277 1 - 0.0000 -
3228.86/3238.05 c 3238 397261 3271 1 - 0.0000 -
3233.95/3243.11 c 3243 398019 3274 1 - 0.0000 -
3238.94/3248.18 c 3248 398869 3288 1 - 0.0000 -
3244.01/3253.23 c 3253 399555 3274 1 - 0.0000 -
3249.10/3258.31 c 3258 400229 3290 1 - 0.0000 -
3254.09/3263.38 c 3263 400893 3279 1 - 0.0000 -
3259.17/3268.43 c 3268 401628 3282 1 - 0.0000 -
3264.16/3273.50 c 3274 402268 3299 1 - 0.0000 -
3269.26/3278.57 c 3279 403016 3294 1 - 0.0000 -
3274.34/3283.62 c 3284 403818 3298 1 - 0.0000 -
3279.43/3288.71 c 3289 404614 3290 1 - 0.0000 -
3284.41/3293.77 c 3294 405366 3294 1 - 0.0000 -
3289.50/3298.83 c 3299 406148 3275 1 - 0.0000 -
3294.59/3303.90 c 3304 406975 3247 1 - 0.0000 -
3299.58/3308.95 c 3309 407735 3251 1 - 0.0000 -
3304.67/3314.02 c 3314 408464 3270 1 - 0.0000 -
3309.66/3319.10 c 3319 409159 3267 1 - 0.0000 -
3314.75/3324.17 c 3324 409848 3255 1 - 0.0000 -
3319.82/3329.22 c 3329 410534 3252 1 - 0.0000 -
3324.81/3334.28 c 3334 411261 3227 1 - 0.0000 -
3329.91/3339.34 c 3339 411982 3229 1 - 0.0000 -
3334.99/3344.40 c 3344 412630 3225 1 - 0.0000 -
3339.98/3349.46 c 3349 413288 3232 1 - 0.0000 -
3345.06/3354.52 c 3355 413908 3220 1 - 0.0000 -
3350.06/3359.56 c 3360 414696 3221 1 - 0.0000 -
3355.15/3364.66 c 3365 415351 3213 1 - 0.0000 -
3360.23/3369.73 c 3370 416115 3173 1 - 0.0000 -
3365.32/3374.80 c 3375 416931 3157 1 - 0.0000 -
3370.30/3379.84 c 3380 417722 3170 1 - 0.0000 -
3375.39/3384.94 c 3385 418571 3172 1 - 0.0000 -
3380.38/3389.99 c 3390 419416 3156 1 - 0.0000 -
3385.47/3395.05 c 3395 420132 3157 1 - 0.0000 -
3390.55/3400.13 c 3400 420881 3172 1 - 0.0000 -
3395.63/3405.20 c 3405 421629 3151 1 - 0.0000 -
3400.62/3410.25 c 3410 422330 3132 1 - 0.0000 -
3405.71/3415.32 c 3415 422992 3108 1 - 0.0000 -
3410.69/3420.39 c 3420 423798 3095 1 - 0.0000 -
3415.78/3425.47 c 3425 424512 3089 1 - 0.0000 -
3420.87/3430.55 c 3431 425291 3077 1 - 0.0000 -
3425.96/3435.62 c 3436 426028 3058 1 - 0.0000 -
3430.95/3440.68 c 3441 426687 3044 1 - 0.0000 -
3436.04/3445.75 c 3446 427429 3029 1 - 0.0000 -
3441.12/3450.81 c 3451 428115 3024 1 - 0.0000 -
3446.11/3455.89 c 3456 428829 3024 1 - 0.0000 -
3451.20/3460.94 c 3461 429545 2984 1 - 0.0000 -
3456.19/3466.01 c 3466 430229 2981 1 - 0.0000 -
3461.28/3471.08 c 3471 431017 2974 1 - 0.0000 -
3466.37/3476.14 c 3476 431717 2972 1 - 0.0000 -
3471.45/3481.20 c 3481 432306 2958 1 - 0.0000 -
3476.53/3486.30 c 3486 432916 2944 1 - 0.0000 -
3481.52/3491.38 c 3491 433630 2931 1 - 0.0000 -
3486.61/3496.43 c 3496 434338 2925 1 - 0.0000 -
3491.60/3501.47 c 3501 434985 2929 1 - 0.0000 -
3496.68/3506.53 c 3507 435721 2917 1 - 0.0000 -
3501.77/3511.61 c 3512 436316 2904 1 - 0.0000 -
3506.76/3516.69 c 3517 436932 2909 1 - 0.0000 -
3511.84/3521.77 c 3522 437664 2882 1 - 0.0000 -
3516.94/3526.84 c 3527 438398 2863 1 - 0.0000 -
3521.92/3531.89 c 3532 439139 2853 1 - 0.0000 -
3527.01/3536.96 c 3537 439866 2829 1 - 0.0000 -
3532.10/3542.04 c 3542 440607 2813 1 - 0.0000 -
3537.19/3547.14 c 3547 441387 2815 1 - 0.0000 -
3542.27/3552.22 c 3552 442050 2867 1 - 0.0000 -
3547.35/3557.33 c 3557 442714 2860 1 - 0.0000 -
3552.44/3562.41 c 3562 443386 2878 1 - 0.0000 -
3557.42/3567.47 c 3567 444147 2882 1 - 0.0000 -
3562.52/3572.52 c 3573 444872 2915 1 - 0.0000 -
3567.60/3577.60 c 3578 445553 2964 1 - 0.0000 -
3572.59/3582.67 c 3583 446325 2975 1 - 0.0000 -
3577.67/3587.73 c 3588 447068 2955 1 - 0.0000 -
3582.67/3592.79 c 3593 447655 2987 1 - 0.0000 -
3587.76/3597.87 c 3598 448301 3003 1 - 0.0000 -
3589.96/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.96/3600.05 c Total Time : 3600.0500
3589.96/3600.05 c solving : 3600.0500
3589.96/3600.05 c presolving : 0.5785 (included in solving)
3589.96/3600.05 c B&B Tree :
3589.96/3600.05 c nodes (total) : 1
3589.96/3600.05 c Solution :
3589.96/3600.05 c Solutions found : 0
3589.96/3600.05 c Primal Bound : -
3589.96/3600.05 c Dual Bound : +0.00000000000000e+00
3589.96/3600.05 c Gap : -
3589.96/3600.08 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: 64096 MiB (59711 MiB free)
memory of node 1: 64473 MiB (61689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450900-1721421598/watcher-4450900-1721421598 -o /tmp/evaluation-result-4450900-1721421598/solver-4450900-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033550 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450900-1721421598.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=1033582, runsolver pid=1033579
[startup+0.100333 s]*
/proc/loadavg: 1.41 2.86 3.65 6/234 1033596
/proc/meminfo: memFree=124274740/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=47360 memory=36088 CPUtime=0.1 cores=4,6
/proc/1033582/stat : 1033582 (fscip) R 1033579 1033582 1033539 0 -1 4194304 6699 0 0 0 8 2 0 0 20 0 1 0 194318610 48496640 9022 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 11840 9022 2574 3032 0 8240 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47360 KiB
Current children cumulated memory: 36088 KiB
[startup+0.21354 s]*
/proc/loadavg: 1.41 2.86 3.65 6/245 1033613
/proc/meminfo: memFree=124205316/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=54748 memory=43664 CPUtime=0.21 cores=4,6
/proc/1033582/stat : 1033582 (fscip) R 1033579 1033582 1033539 0 -1 4194304 9226 0 0 0 18 3 0 0 20 0 1 0 194318610 56061952 10916 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 13687 10916 2654 3032 0 10087 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54748 KiB
Current children cumulated memory: 43664 KiB
[startup+0.31298 s]*
/proc/loadavg: 1.41 2.86 3.65 5/245 1033613
/proc/meminfo: memFree=124175168/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=55288 memory=44328 CPUtime=0.31 cores=4,6
/proc/1033582/stat : 1033582 (fscip) R 1033579 1033582 1033539 0 -1 4194304 9870 0 0 0 28 3 0 0 20 0 1 0 194318610 56614912 11082 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 13822 11082 2702 3032 0 10222 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55288 KiB
Current children cumulated memory: 44328 KiB
[startup+0.700334 s]
/proc/loadavg: 1.41 2.86 3.65 5/245 1033613
/proc/meminfo: memFree=124167516/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=149988 memory=61076 CPUtime=0.68 cores=4,6
/proc/1033582/stat : 1033582 (fscip) R 1033579 1033582 1033539 0 -1 4194304 14285 0 0 0 64 4 0 0 20 0 2 0 194318610 153587712 15269 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 37497 15269 2766 3032 0 17545 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149988 KiB
Current children cumulated memory: 61076 KiB
[startup+1.50042 s]
/proc/loadavg: 1.41 2.86 3.65 5/253 1033623
/proc/meminfo: memFree=124010584/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=221788 memory=127500 CPUtime=1.48 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 32490 0 0 0 140 8 0 0 20 0 3 0 194318610 227110912 31875 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55447 31875 2942 3032 0 36636 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=221788 memory=12740 CPUtime=0.78 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 18170 0 0 0 75 3 0 0 20 0 3 0 194318678 227110912 31875 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=221788 memory=50128 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194318683 227110912 31875 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 221788 KiB
Current children cumulated memory: 127500 KiB
[startup+3.11282 s]
/proc/loadavg: 1.62 2.88 3.65 5/253 1033623
/proc/meminfo: memFree=123794720/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=134036 CPUtime=3.09 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 43018 0 0 0 299 10 0 0 20 0 3 0 194318610 226058240 33509 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 33509 2942 3032 0 38516 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=78724 CPUtime=2.39 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 28692 0 0 0 234 5 0 0 20 0 3 0 194318678 226058240 33509 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=12740 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 33509 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 134036 KiB
[startup+6.30034 s]
/proc/loadavg: 1.62 2.88 3.65 5/253 1033623
/proc/meminfo: memFree=123794532/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=134056 CPUtime=6.28 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 53391 0 0 0 617 11 0 0 20 0 3 0 194318610 226058240 33514 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 33514 2942 3032 0 38516 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=12740 CPUtime=5.56 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 39059 0 0 0 551 5 0 0 20 0 3 0 194318678 226058240 33514 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=0 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 33514 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 134056 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 2.90 3.65 5/253 1033624
/proc/meminfo: memFree=123793964/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=134096 CPUtime=12.65 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 73395 0 0 0 1254 11 0 0 20 0 3 0 194318610 226058240 33524 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 33524 2942 3032 0 38516 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=0 CPUtime=11.95 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 59055 0 0 0 1189 6 0 0 20 0 3 0 194318678 226058240 33524 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=12740 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 33524 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 134096 KiB
[startup+25.5004 s]
/proc/loadavg: 2.30 2.95 3.66 5/253 1033626
/proc/meminfo: memFree=123790712/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=134520 CPUtime=25.43 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 94679 0 0 0 2530 13 0 0 20 0 3 0 194318610 226058240 33630 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 33630 2942 3032 0 38516 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=18001 CPUtime=24.73 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 80335 0 0 0 2465 8 0 0 20 0 3 0 194318678 226058240 33630 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=134080 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 33630 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 134520 KiB
[startup+51.1124 s]
/proc/loadavg: 2.95 3.06 3.67 5/253 1033630
/proc/meminfo: memFree=123695396/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=156692 CPUtime=50.98 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 132904 0 0 0 5082 16 0 0 20 0 3 0 194318610 226058240 39173 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 39173 2942 3032 0 45501 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=50128 CPUtime=50.27 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 118507 0 0 0 5017 10 0 0 20 0 3 0 194318678 226058240 39173 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=12740 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 39173 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 156692 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.24 3.70 5/253 1033639
/proc/meminfo: memFree=123694496/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=156884 CPUtime=102.03 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 141920 0 0 0 10187 16 0 0 20 0 3 0 194318610 226058240 39221 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 39221 2990 3032 0 45501 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=156884 CPUtime=101.32 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 127480 0 0 0 10121 11 0 0 20 0 3 0 194318678 226058240 39221 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=2322089774191149189 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 39221 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 156884 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.39 3.73 5/252 1033650
/proc/meminfo: memFree=123694288/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=157972 CPUtime=161.86 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 150392 0 0 0 16169 17 0 0 20 0 3 0 194318610 226058240 39493 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 39493 2990 3032 0 45501 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=12740 CPUtime=161.14 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 135940 0 0 0 16103 11 0 0 20 0 3 0 194318678 226058240 39493 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=156884 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 39493 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 157972 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.54 3.76 5/252 1033660
/proc/meminfo: memFree=123687248/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=220760 memory=163388 CPUtime=221.7 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 158089 0 0 0 22153 17 0 0 20 0 3 0 194318610 226058240 40847 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 55190 40847 2990 3032 0 45501 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=220760 memory=50128 CPUtime=221 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 143619 0 0 0 22088 12 0 0 20 0 3 0 194318678 226058240 40847 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=220760 memory=163388 CPUtime=0 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 194318683 226058240 40847 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 220760 KiB
Current children cumulated memory: 163388 KiB
################
# More data... #
################
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=277296 CPUtime=3391.73 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 278953 0 0 0 339042 131 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=277296 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 167 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.56 4.60 4.35 5/249 1035416
/proc/meminfo: memFree=123189980/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3452.59 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 294647 0 0 0 345109 150 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=277296 CPUtime=3451.57 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 279530 0 0 0 345025 132 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=277296 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 169 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.50 4.33 5/249 1035426
/proc/meminfo: memFree=123189020/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3512.45 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 295349 0 0 0 351092 153 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=277296 CPUtime=3511.41 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 280219 0 0 0 351007 134 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=277296 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 171 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.44 4.32 5/249 1035437
/proc/meminfo: memFree=123187588/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3572.29 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296005 0 0 0 357074 155 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=277296 CPUtime=3571.26 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 280862 0 0 0 356989 137 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=277296 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 173 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3600.08 s]
# the end of solver process 1033582 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.47 s, system=1.57234 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.43 4.32 5/249 1035437
/proc/meminfo: memFree=123187632/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3574 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296005 0 0 0 357245 155 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=-6952569112950574953 CPUtime=3572.96 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 280862 0 0 0 357159 137 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=1471054669716160641 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 173 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3574 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.42 4.32 5/249 1035437
/proc/meminfo: memFree=123187212/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3580.37 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296005 0 0 0 357881 156 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=277296 CPUtime=3579.33 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 280862 0 0 0 357796 137 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=277296 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 173 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3580.37 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.42 4.31 5/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3586.76 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296606 0 0 0 358520 156 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=277296 CPUtime=3585.71 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 281456 0 0 0 358434 137 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=5624 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 175 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.42 4.31 5/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3588.35 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296613 0 0 0 358679 156 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=29488 CPUtime=3587.32 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 281459 0 0 0 358594 138 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=277296 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 175 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3588.35 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.41 4.31 5/249 1035438
/proc/meminfo: memFree=123187244/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3589.15 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296614 0 0 0 358759 156 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=50128 CPUtime=3588.12 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 281460 0 0 0 358674 138 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=11936 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 175 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3589.15 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.41 4.31 5/249 1035438
/proc/meminfo: memFree=123187244/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3589.55 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296617 0 0 0 358799 156 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=41560 CPUtime=3588.51 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 281463 0 0 0 358713 138 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=28392 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 175 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.41 4.31 5/249 1035438
/proc/meminfo: memFree=123187296/131655788 swapFree=131071996/131071996
[pid=1033582] ppid=1033579 vsize=351832 memory=277296 CPUtime=3589.96 cores=4,6
/proc/1033582/stat : 1033582 (fscip) S 1033579 1033582 1033539 0 -1 1077936128 296652 0 0 0 358840 156 0 0 20 0 3 0 194318610 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
/proc/1033582/statm: 87958 69324 2990 3032 0 71451 0
[pid=1033582/tid=1033617] ppid=1033579 vsize=351832 memory=19900 CPUtime=3588.92 cores=4,6
/proc/1033582/task/1033617/stat : 1033617 (fscip) R 1033579 1033582 1033539 0 -1 4194368 281497 0 0 0 358754 138 0 0 20 0 3 0 194318678 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
[pid=1033582/tid=1033619] ppid=1033579 vsize=351832 memory=6932 CPUtime=0.05 cores=4,6
/proc/1033582/task/1033619/stat : 1033619 (fscip) S 1033579 1033582 1033539 0 -1 1077936192 175 0 0 0 1 4 0 0 20 0 3 0 194318683 360275968 69324 134679101440 4194304 16613245 140720537970496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 41857024 140720537973779 140720537973895 140720537973895 140720537980912 0
Current children cumulated CPU time: 3589.96 s
Current children cumulated vsize: 351832 KiB
Current children cumulated memory: 277296 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3590.04
CPU user time (s): 3588.47
CPU system time (s): 1.57234
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 351832
Max. memory (cumulated for all children) (KiB): 277296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.47
system time used= 1.57234
maximum resident set size= 277296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296951
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= 10123
involuntary context switches= 1686
# summary of solver processes directly reported to runsolver:
# pid: 1033582
# total CPU time (s): 3590.04
# total CPU user time (s): 3588.47
# total CPU system time (s): 1.57234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6843 second user time and 32.8781 second system time
The end
Begin job on nodeC005 at 2024-07-19 22:40:10
IDJOB=4450900
IDBENCH=162309
IDSOLVER=3064
FILE ID=nodeC005/4450900-1721421598
RUNJOBID= nodeC005-1721421610-1033550
SLURM_JOB_ID= 7545501
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4450900-1721421598/watcher-4450900-1721421598 -o /tmp/evaluation-result-4450900-1721421598/solver-4450900-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033550 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450900-1721421598.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 02e0faaef515678e6aa0f4acf19b43a4
RANDOM SEED=540776806
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.184
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.183
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3485.500
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124314556 kB
MemAvailable: 129852100 kB
Buffers: 533984 kB
Cached: 5785168 kB
SwapCached: 0 kB
Active: 1136840 kB
Inactive: 5506200 kB
Active(anon): 3328 kB
Inactive(anon): 366448 kB
Active(file): 1133512 kB
Inactive(file): 5139752 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114224 kB
Writeback: 4 kB
AnonPages: 323068 kB
Mapped: 107616 kB
Shmem: 45896 kB
KReclaimable: 208956 kB
Slab: 328336 kB
SReclaimable: 208956 kB
SUnreclaim: 119380 kB
KernelStack: 3616 kB
PageTables: 9740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 798152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC005 at 2024-07-19 23:40:10