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.31/0.41 c Default LC presolving (default).
0.41/0.42 c ** Before presolving: virtualMemUsedAtLc = 143841270, getVmSize() = 110346240, SCIPgetMemUsed() = 66935211, SCIPgetMemTotal() = 84386723, SCIPgetMemExternEstim() = 59454547
0.41/0.42 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.99/2.03 c ** Estimated virtualMemUsedAtSolver = 197603628, getVmSize() = 281591808, SCIPgetMemUsed() = 130962288, SCIPgetMemTotal() = 236950896, SCIPgetMemExternEstim() = 59454547
1.99/2.03 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.99/2.03 c Original Problem :
1.99/2.03 c Problem name : instance-4464562-1722390380
1.99/2.03 c Variables : 589 (589 binary, 0 integer, 0 implicit integer, 0 continuous)
1.99/2.03 c Constraints : 58881
1.99/2.03 c Objective sense : minimize
1.99/2.03 c Presolved Problem :
1.99/2.03 c Variables : 570 (570 binary, 0 integer, 0 implicit integer, 0 continuous)
1.99/2.03 c Constraints : 58862
1.99/2.03 c Constraints : Number
1.99/2.03 c setppc : 19
1.99/2.03 c logicor : 58843
1.99/2.03 c ** Instance transfer method used: 0
2.09/2.11 c ** ParaScipInstance copy does not increase the number of variables. **
2.18/2.27 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.18/2.27 c Nodes Active
2.18/2.27 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3.67/3.77 c * 4 0 1 1 18.0000 - -
3.77/3.88 c * 4 0 1 1 17.0000 - -
14.94/15.01 c 15 2 1 1 17.0000 0.0000 -
21.42/21.52 c 22 18 13 1 17.0000 0.0000 -
27.19/27.30 c 27 38 29 1 17.0000 0.0000 -
32.38/32.54 c 33 53 40 1 17.0000 0.0000 -
37.98/38.15 c 38 73 45 1 17.0000 0.0000 -
45.44/45.61 c 46 98 57 1 17.0000 0.0000 -
52.93/53.18 c 53 126 55 1 17.0000 0.0000 -
58.60/58.89 c 59 166 56 1 17.0000 0.0000 -
68.88/69.18 c 69 172 56 1 17.0000 0.0000 -
77.35/77.62 c 78 222 56 1 17.0000 0.0000 -
83.23/83.50 c 84 282 62 1 17.0000 0.0000 -
93.11/93.46 c 93 298 65 1 17.0000 0.0000 -
103.57/103.90 c 104 356 65 1 17.0000 0.0000 -
109.36/109.74 c 110 414 68 1 17.0000 0.0000 -
125.62/126.10 c 126 547 74 1 17.0000 0.0000 -
131.00/131.48 c 131 668 82 1 17.0000 0.0000 -
142.87/143.33 c 143 677 83 1 17.0000 0.0000 -
148.56/149.04 c 149 801 85 1 17.0000 0.0000 -
156.53/157.04 c 157 973 85 1 17.0000 0.0000 -
162.41/163.01 c 163 1164 88 1 17.0000 0.0000 -
177.85/178.48 c 178 1374 88 1 17.0000 0.0000 -
187.92/188.59 c 189 1507 91 1 17.0000 0.0000 -
193.31/193.96 c 194 1615 93 1 17.0000 0.0000 -
199.09/199.75 c 200 1654 93 1 17.0000 0.0000 -
206.56/207.20 c 207 1831 93 1 17.0000 0.0000 -
212.04/212.70 c 213 2058 106 1 17.0000 0.0000 -
217.21/217.94 c 218 2195 137 1 17.0000 0.0000 -
224.40/225.18 c 225 2197 139 1 17.0000 0.0000 -
230.77/231.50 c 232 2278 142 1 17.0000 0.0000 -
236.36/237.19 c 237 2440 194 1 17.0000 0.0000 -
241.84/242.67 c 243 2523 208 1 17.0000 0.0000 -
249.51/250.38 c 250 2718 233 1 17.0000 0.0000 -
254.99/255.86 c 256 2823 236 1 17.0000 0.0000 -
262.47/263.37 c 263 2838 240 1 17.0000 0.0000 -
268.84/269.74 c 270 2965 251 1 17.0000 0.0000 -
274.72/275.66 c 276 3017 260 1 17.0000 0.0000 -
280.60/281.56 c 282 3158 300 1 17.0000 0.0000 -
287.57/288.52 c 289 3205 314 1 17.0000 0.0000 -
293.17/294.12 c 294 3314 327 1 17.0000 0.0000 -
298.43/299.41 c 299 3443 330 1 17.0000 0.0000 -
304.03/305.09 c 305 3550 337 1 17.0000 0.0000 -
310.39/311.43 c 311 3748 343 1 17.0000 0.0000 -
321.07/322.19 c 322 3749 344 1 17.0000 0.0000 -
326.95/328.08 c 328 3984 364 1 17.0000 0.0000 -
332.12/333.29 c 333 3994 364 1 17.0000 0.0000 -
337.80/338.94 c 339 4159 371 1 17.0000 0.0000 -
347.88/349.03 c 349 4293 378 1 17.0000 0.0000 -
357.23/358.44 c 358 4317 378 1 17.0000 0.0000 -
368.60/369.88 c 370 4344 1 1 17.0000 0.0000 -
377.46/378.77 c 379 4382 39 1 17.0000 0.0000 -
383.25/384.52 c 385 4430 85 1 17.0000 0.0000 -
388.84/390.18 c 390 4449 102 1 17.0000 0.0000 -
394.61/395.92 c 396 4475 126 1 17.0000 0.0000 -
400.69/402.06 c 402 4508 149 1 17.0000 0.0000 -
405.97/407.35 c 407 4538 173 1 17.0000 0.0000 -
411.76/413.14 c 413 4573 203 1 17.0000 0.0000 -
417.42/418.81 c 419 4639 254 1 17.0000 0.0000 -
422.91/424.31 c 424 4714 298 1 17.0000 0.0000 -
428.48/429.91 c 430 4775 325 1 17.0000 0.0000 -
434.05/435.56 c 436 4872 355 1 17.0000 0.0000 -
439.65/441.13 c 441 4959 381 1 17.0000 0.0000 -
445.13/446.69 c 447 5123 427 1 17.0000 0.0000 -
451.21/452.71 c 453 5269 467 1 17.0000 0.0000 -
456.69/458.20 c 458 5358 486 1 17.0000 0.0000 -
462.87/464.41 c 464 5441 495 1 17.0000 0.0000 -
468.16/469.77 c 470 5497 499 1 17.0000 0.0000 -
474.74/476.39 c 476 5581 507 1 17.0000 0.0000 -
484.62/486.29 c 486 5673 526 1 17.0000 0.0000 -
497.58/499.26 c 499 5761 538 1 17.0000 0.0000 -
503.17/504.84 c 505 6052 577 1 17.0000 0.0000 -
509.36/511.08 c 511 6213 592 1 17.0000 0.0000 -
516.23/517.95 c 518 6344 599 1 17.0000 0.0000 -
522.33/524.09 c 524 6443 604 1 17.0000 0.0000 -
527.60/529.38 c 529 6550 609 1 17.0000 0.0000 -
536.29/538.04 c 538 6604 613 1 17.0000 0.0000 -
541.87/543.68 c 544 6741 626 1 17.0000 0.0000 -
547.75/549.53 c 550 7033 658 1 17.0000 0.0000 -
552.84/554.60 c 555 7410 688 1 17.0000 0.0000 -
557.82/559.67 c 560 7690 705 1 17.0000 0.0000 -
562.91/564.78 c 565 7984 728 1 17.0000 0.0000 -
569.48/571.35 c 571 8237 745 1 17.0000 0.0000 -
574.77/576.60 c 577 8428 793 1 17.0000 0.0000 -
580.36/582.24 c 582 8563 864 1 17.0000 0.0000 -
585.54/587.42 c 587 8774 951 1 17.0000 0.0000 -
590.73/592.60 c 593 9000 1033 1 17.0000 0.0000 -
595.71/597.65 c 598 9453 1049 1 17.0000 0.0000 -
601.30/603.29 c 603 9735 1074 1 17.0000 0.0000 -
606.37/608.35 c 608 10078 1134 1 17.0000 0.0000 -
611.47/613.48 c 613 10409 1184 1 17.0000 0.0000 -
616.55/618.57 c 619 10818 1215 1 17.0000 0.0000 -
622.83/624.81 c 625 11156 1241 1 17.0000 0.0000 -
627.91/629.97 c 630 11432 1346 1 17.0000 0.0000 -
633.89/635.98 c 636 11630 1432 1 17.0000 0.0000 -
639.66/641.77 c 642 11881 1536 1 17.0000 0.0000 -
645.06/647.18 c 647 12105 1636 1 17.0000 0.0000 -
650.43/652.55 c 653 12275 1676 1 17.0000 0.0000 -
659.51/661.64 c 662 12498 1736 1 17.0000 0.0000 -
665.00/667.16 c 667 12689 1806 1 17.0000 0.0000 -
671.99/674.18 c 674 12965 1843 1 17.0000 0.0000 -
677.06/679.25 c 679 13207 1874 1 17.0000 0.0000 -
682.24/684.49 c 684 13365 1886 1 17.0000 0.0000 -
689.22/691.44 c 691 13498 1891 1 17.0000 0.0000 -
696.30/698.55 c 699 13585 1896 1 17.0000 0.0000 -
701.59/703.81 c 704 13630 1897 1 17.0000 0.0000 -
707.89/710.18 c 710 13765 1902 1 17.0000 0.0000 -
713.96/716.23 c 716 13852 1909 1 17.0000 0.0000 -
723.53/725.89 c 726 13944 1913 1 17.0000 0.0000 -
729.12/731.42 c 731 13987 1916 1 17.0000 0.0000 -
735.30/737.69 c 738 14119 1930 1 17.0000 0.0000 -
743.79/746.14 c 746 14160 1937 1 17.0000 0.0000 -
751.06/753.47 c 753 14228 1940 1 17.0000 0.0000 -
759.44/761.83 c 762 14317 1947 1 17.0000 0.0000 -
764.92/767.31 c 767 14593 1959 1 17.0000 0.0000 -
772.20/774.66 c 775 14916 1982 1 17.0000 0.0000 -
777.28/779.77 c 780 15298 2011 1 17.0000 0.0000 -
782.37/784.84 c 785 15694 2035 1 17.0000 0.0000 -
787.45/789.90 c 790 16091 2054 1 17.0000 0.0000 -
792.54/795.01 c 795 16482 2072 1 17.0000 0.0000 -
797.52/800.05 c 800 16968 2092 1 17.0000 0.0000 -
802.61/805.18 c 805 17378 2124 1 17.0000 0.0000 -
807.77/810.31 c 810 17713 2194 1 17.0000 0.0000 -
813.85/816.44 c 816 17984 2277 1 17.0000 0.0000 -
819.14/821.75 c 822 18053 2289 1 17.0000 0.0000 -
824.32/827.01 c 827 18403 2339 1 17.0000 0.0000 -
829.79/832.44 c 832 18860 2379 1 17.0000 0.0000 -
834.88/837.51 c 838 19291 2411 1 17.0000 0.0000 -
840.86/843.58 c 844 19329 2419 1 17.0000 0.0000 -
846.24/848.90 c 849 19478 2425 1 17.0000 0.0000 -
852.11/854.80 c 855 19637 2437 1 17.0000 0.0000 -
858.50/861.22 c 861 19697 2442 1 17.0000 0.0000 -
864.68/867.47 c 867 19827 2450 1 17.0000 0.0000 -
875.26/878.01 c 878 19954 2454 1 17.0000 0.0000 -
885.72/888.52 c 889 20009 2460 1 17.0000 0.0000 -
893.00/895.89 c 896 20063 2463 1 17.0000 0.0000 -
898.20/901.09 c 901 20105 2467 1 17.0000 0.0000 -
908.06/910.93 c 911 20238 2472 1 17.0000 0.0000 -
913.44/916.35 c 916 20640 2514 1 17.0000 0.0000 -
918.43/921.39 c 921 21127 2560 1 17.0000 0.0000 -
923.51/926.45 c 926 21527 2594 1 17.0000 0.0000 -
928.60/931.52 c 932 21929 2635 1 17.0000 0.0000 -
934.47/937.42 c 937 22129 2649 1 17.0000 0.0000 -
939.56/942.54 c 943 22196 2654 1 17.0000 0.0000 -
945.73/948.74 c 949 22277 2667 1 17.0000 0.0000 -
951.42/954.43 c 954 22356 2672 1 17.0000 0.0000 -
957.51/960.53 c 961 22461 2678 1 17.0000 0.0000 -
963.89/966.94 c 967 22571 2682 1 17.0000 0.0000 -
973.16/976.24 c 976 22655 2692 1 17.0000 0.0000 -
978.44/981.55 c 982 23098 2739 1 17.0000 0.0000 -
983.63/986.73 c 987 23532 2789 1 17.0000 0.0000 -
988.71/991.81 c 992 23969 2832 1 17.0000 0.0000 -
993.70/996.86 c 997 24474 2861 1 17.0000 0.0000 -
998.78/1001.90 c 1002 24932 2898 1 17.0000 0.0000 -
1003.76/1006.97 c 1007 25412 2920 1 17.0000 0.0000 -
1008.86/1012.03 c 1012 25913 2944 1 17.0000 0.0000 -
1013.94/1017.12 c 1017 26453 2964 1 17.0000 0.0000 -
1019.01/1022.20 c 1022 27017 2991 1 17.0000 0.0000 -
1024.09/1027.38 c 1027 27544 3046 1 17.0000 0.0000 -
1029.18/1032.45 c 1032 28070 3075 1 17.0000 0.0000 -
1034.27/1037.52 c 1038 28602 3114 1 17.0000 0.0000 -
1039.35/1042.63 c 1043 29104 3147 1 17.0000 0.0000 -
1044.32/1047.68 c 1048 29601 3205 1 17.0000 0.0000 -
1052.30/1055.63 c 1056 29949 3251 1 17.0000 0.0000 -
1057.49/1060.89 c 1061 30065 3268 1 17.0000 0.0000 -
1062.69/1066.09 c 1066 30136 3283 1 17.0000 0.0000 -
1068.96/1072.35 c 1072 30257 3299 1 17.0000 0.0000 -
1075.14/1078.51 c 1079 30506 3328 1 17.0000 0.0000 -
1080.92/1084.38 c 1084 30683 3341 1 17.0000 0.0000 -
1086.01/1089.44 c 1089 31081 3382 1 17.0000 0.0000 -
1090.99/1094.48 c 1094 31538 3398 1 17.0000 0.0000 -
1096.07/1099.56 c 1100 31687 3411 1 17.0000 0.0000 -
1101.16/1104.63 c 1105 31788 3428 1 17.0000 0.0000 -
1107.84/1111.36 c 1111 32241 3470 1 17.0000 0.0000 -
1112.93/1116.43 c 1116 32729 3518 1 17.0000 0.0000 -
1119.31/1122.85 c 1123 33080 3568 1 17.0000 0.0000 -
1124.90/1128.45 c 1128 33393 3600 1 17.0000 0.0000 -
1129.99/1133.56 c 1134 33697 3627 1 17.0000 0.0000 -
1135.07/1138.60 c 1139 34216 3664 1 17.0000 0.0000 -
1140.06/1143.67 c 1144 34726 3699 1 17.0000 0.0000 -
1145.14/1148.72 c 1149 35201 3729 1 17.0000 0.0000 -
1150.13/1153.76 c 1154 35669 3753 1 17.0000 0.0000 -
1155.92/1159.55 c 1160 36148 3778 1 17.0000 0.0000 -
1161.00/1164.64 c 1165 36522 3812 1 17.0000 0.0000 -
1166.08/1169.70 c 1170 37014 3857 1 17.0000 0.0000 -
1171.07/1174.74 c 1175 37498 3898 1 17.0000 0.0000 -
1176.16/1179.89 c 1180 37989 3941 1 17.0000 0.0000 -
1181.24/1184.96 c 1185 38427 3978 1 17.0000 0.0000 -
1186.52/1190.23 c 1190 38577 3989 1 17.0000 0.0000 -
1191.51/1195.28 c 1195 39088 4008 1 17.0000 0.0000 -
1196.60/1200.33 c 1200 39352 4048 1 17.0000 0.0000 -
1201.99/1205.78 c 1206 39636 4093 1 17.0000 0.0000 -
1207.07/1210.84 c 1211 40142 4128 1 17.0000 0.0000 -
1215.35/1219.13 c 1219 40485 4159 1 17.0000 0.0000 -
1220.83/1224.61 c 1225 40863 4194 1 17.0000 0.0000 -
1226.12/1230.01 c 1230 41050 4225 1 17.0000 0.0000 -
1231.22/1235.06 c 1235 41602 4258 1 17.0000 0.0000 -
1237.08/1240.97 c 1241 41839 4294 1 17.0000 0.0000 -
1242.47/1246.37 c 1246 41947 4309 1 17.0000 0.0000 -
1247.86/1251.72 c 1252 41992 4321 1 17.0000 0.0000 -
1252.94/1256.85 c 1257 42288 4347 1 17.0000 0.0000 -
1258.14/1262.01 c 1262 42651 4390 1 17.0000 0.0000 -
1263.23/1267.16 c 1267 42898 4424 1 17.0000 0.0000 -
1269.12/1273.09 c 1273 43305 4462 1 17.0000 0.0000 -
1274.79/1278.77 c 1279 43735 4499 1 17.0000 0.0000 -
1280.19/1284.13 c 1284 44207 4543 1 17.0000 0.0000 -
1285.66/1289.65 c 1290 44406 4571 1 17.0000 0.0000 -
1290.74/1294.75 c 1295 44763 4622 1 17.0000 0.0000 -
1296.14/1300.13 c 1300 44897 4651 1 17.0000 0.0000 -
1301.72/1305.75 c 1306 44995 4680 1 17.0000 0.0000 -
1306.80/1310.83 c 1311 45092 4695 1 17.0000 0.0000 -
1312.09/1316.16 c 1316 45416 4748 1 17.0000 0.0000 -
1317.17/1321.21 c 1321 45910 4783 1 17.0000 0.0000 -
1322.97/1327.01 c 1327 46361 4809 1 17.0000 0.0000 -
1327.95/1332.10 c 1332 46852 4832 1 17.0000 0.0000 -
1333.13/1337.21 c 1337 47359 4872 1 17.0000 0.0000 -
1338.11/1342.27 c 1342 47875 4904 1 17.0000 0.0000 -
1343.20/1347.34 c 1347 48369 4958 1 17.0000 0.0000 -
1348.19/1352.39 c 1352 48833 5000 1 17.0000 0.0000 -
1353.99/1358.16 c 1358 49197 5059 1 17.0000 0.0000 -
1359.87/1364.08 c 1364 49504 5088 1 17.0000 0.0000 -
1364.95/1369.12 c 1369 50000 5127 1 17.0000 0.0000 -
1370.33/1374.56 c 1375 50485 5160 1 17.0000 0.0000 -
1375.42/1379.61 c 1380 50968 5209 1 17.0000 0.0000 -
1380.40/1384.66 c 1385 51520 5241 1 17.0000 0.0000 -
1385.49/1389.76 c 1390 51992 5287 1 17.0000 0.0000 -
1390.98/1395.22 c 1395 52274 5309 1 17.0000 0.0000 -
1396.77/1401.10 c 1401 52473 5318 1 17.0000 0.0000 -
1402.05/1406.38 c 1406 52573 5322 1 17.0000 0.0000 -
1408.44/1412.74 c 1413 52756 5336 1 17.0000 0.0000 -
1415.52/1419.86 c 1420 52901 5347 1 17.0000 0.0000 -
1421.91/1426.21 c 1426 53033 5358 1 17.0000 0.0000 -
1427.59/1431.96 c 1432 53182 5365 1 17.0000 0.0000 -
1432.88/1437.25 c 1437 53345 5375 1 17.0000 0.0000 -
1437.96/1442.35 c 1442 53832 5400 1 17.0000 0.0000 -
1443.05/1447.40 c 1447 54322 5436 1 17.0000 0.0000 -
1448.04/1452.47 c 1452 54859 5464 1 17.0000 0.0000 -
1453.13/1457.54 c 1458 55334 5494 1 17.0000 0.0000 -
1458.31/1462.72 c 1463 55891 5529 1 17.0000 0.0000 -
1463.30/1467.76 c 1468 56445 5545 1 17.0000 0.0000 -
1468.38/1472.81 c 1473 57002 5576 1 17.0000 0.0000 -
1473.47/1477.96 c 1478 57556 5609 1 17.0000 0.0000 -
1478.85/1483.30 c 1483 57873 5684 1 17.0000 0.0000 -
1483.84/1488.35 c 1488 58458 5718 1 17.0000 0.0000 -
1488.93/1493.40 c 1493 59001 5757 1 17.0000 0.0000 -
1493.91/1498.47 c 1498 59367 5814 1 17.0000 0.0000 -
1499.70/1504.27 c 1504 59819 5833 1 17.0000 0.0000 -
1504.78/1509.33 c 1509 60274 5856 1 17.0000 0.0000 -
1511.37/1515.90 c 1516 60465 5864 1 17.0000 0.0000 -
1519.04/1523.63 c 1524 60621 5872 1 17.0000 0.0000 -
1525.45/1530.01 c 1530 60726 5875 1 17.0000 0.0000 -
1530.53/1535.13 c 1535 60905 5884 1 17.0000 0.0000 -
1536.31/1540.93 c 1541 61011 5886 1 17.0000 0.0000 -
1542.59/1547.29 c 1547 61091 5889 1 17.0000 0.0000 -
1549.57/1554.22 c 1554 61196 5892 1 17.0000 0.0000 -
1557.75/1562.44 c 1562 61364 5899 1 17.0000 0.0000 -
1565.53/1570.27 c 1570 61571 5908 1 17.0000 0.0000 -
1572.01/1576.73 c 1577 61728 5917 1 17.0000 0.0000 -
1581.69/1586.48 c 1586 61885 5922 1 17.0000 0.0000 -
1586.78/1591.54 c 1592 62302 5953 1 17.0000 0.0000 -
1591.87/1596.60 c 1597 62778 5980 1 17.0000 0.0000 -
1596.85/1601.67 c 1602 63304 5998 1 17.0000 0.0000 -
1602.04/1606.85 c 1607 63805 6026 1 17.0000 0.0000 -
1607.12/1611.90 c 1612 64201 6073 1 17.0000 0.0000 -
1613.41/1618.29 c 1618 64542 6100 1 17.0000 0.0000 -
1620.80/1625.63 c 1626 64696 6110 1 17.0000 0.0000 -
1626.38/1631.24 c 1631 64840 6131 1 17.0000 0.0000 -
1631.47/1636.35 c 1636 64945 6140 1 17.0000 0.0000 -
1637.85/1642.75 c 1643 65083 6157 1 17.0000 0.0000 -
1643.34/1648.22 c 1648 65181 6169 1 17.0000 0.0000 -
1650.82/1655.76 c 1656 65284 6178 1 17.0000 0.0000 -
1656.70/1661.69 c 1662 65510 6187 1 17.0000 0.0000 -
1661.80/1666.79 c 1667 66008 6203 1 17.0000 0.0000 -
1666.98/1671.93 c 1672 66493 6219 1 17.0000 0.0000 -
1671.97/1676.98 c 1677 67021 6237 1 17.0000 0.0000 -
1677.05/1682.05 c 1682 67515 6265 1 17.0000 0.0000 -
1682.14/1687.11 c 1687 67981 6285 1 17.0000 0.0000 -
1687.21/1692.24 c 1692 68509 6313 1 17.0000 0.0000 -
1692.30/1697.32 c 1697 68971 6340 1 17.0000 0.0000 -
1697.39/1702.45 c 1702 69411 6367 1 17.0000 0.0000 -
1702.48/1707.52 c 1708 69906 6397 1 17.0000 0.0000 -
1707.56/1712.62 c 1713 70424 6426 1 17.0000 0.0000 -
1712.54/1717.68 c 1718 71009 6451 1 17.0000 0.0000 -
1717.63/1722.72 c 1723 71561 6479 1 17.0000 0.0000 -
1722.72/1727.81 c 1728 72067 6516 1 17.0000 0.0000 -
1727.91/1733.04 c 1733 72282 6573 1 17.0000 0.0000 -
1733.38/1738.50 c 1739 72478 6626 1 17.0000 0.0000 -
1739.07/1744.23 c 1744 72498 6630 1 17.0000 0.0000 -
1744.15/1749.31 c 1749 72807 6706 1 17.0000 0.0000 -
1749.14/1754.39 c 1754 73092 6779 1 17.0000 0.0000 -
1754.32/1759.50 c 1760 73470 6851 1 17.0000 0.0000 -
1759.50/1764.78 c 1765 73734 6907 1 17.0000 0.0000 -
1767.38/1772.65 c 1773 73952 6936 1 17.0000 0.0000 -
1772.56/1777.87 c 1778 74101 6949 1 17.0000 0.0000 -
1778.34/1783.60 c 1784 74395 6967 1 17.0000 0.0000 -
1783.43/1788.76 c 1789 74777 7006 1 17.0000 0.0000 -
1788.51/1793.80 c 1794 75274 7039 1 17.0000 0.0000 -
1793.49/1798.86 c 1799 75727 7074 1 17.0000 0.0000 -
1798.57/1803.92 c 1804 76201 7090 1 17.0000 0.0000 -
1803.66/1809.03 c 1809 76658 7111 1 17.0000 0.0000 -
1808.65/1814.09 c 1814 77191 7132 1 17.0000 0.0000 -
1813.81/1819.22 c 1819 77700 7150 1 17.0000 0.0000 -
1818.90/1824.34 c 1824 78260 7172 1 17.0000 0.0000 -
1823.98/1829.47 c 1829 78797 7215 1 17.0000 0.0000 -
1829.16/1834.64 c 1835 79358 7236 1 17.0000 0.0000 -
1834.24/1839.72 c 1840 79895 7265 1 17.0000 0.0000 -
1839.32/1844.80 c 1845 80488 7301 1 17.0000 0.0000 -
1844.52/1850.06 c 1850 80951 7324 1 17.0000 0.0000 -
1849.60/1855.11 c 1855 81433 7345 1 17.0000 0.0000 -
1854.59/1860.18 c 1860 81900 7360 1 17.0000 0.0000 -
1862.84/1868.43 c 1868 82196 7371 1 17.0000 0.0000 -
1869.02/1874.62 c 1875 82381 7379 1 17.0000 0.0000 -
1875.10/1880.76 c 1881 82584 7389 1 17.0000 0.0000 -
1880.40/1886.07 c 1886 82706 7398 1 17.0000 0.0000 -
1885.58/1891.21 c 1891 82810 7403 1 17.0000 0.0000 -
1891.56/1897.20 c 1897 82916 7409 1 17.0000 0.0000 -
1897.65/1903.36 c 1903 83027 7412 1 17.0000 0.0000 -
1902.82/1908.58 c 1909 83160 7421 1 17.0000 0.0000 -
1909.80/1915.53 c 1916 83259 7425 1 17.0000 0.0000 -
1915.69/1921.48 c 1921 83421 7433 1 17.0000 0.0000 -
1923.16/1928.91 c 1929 83529 7437 1 17.0000 0.0000 -
1929.64/1935.49 c 1936 83581 7441 1 17.0000 0.0000 -
1941.40/1947.26 c 1947 83689 7445 1 17.0000 0.0000 -
1946.89/1952.71 c 1953 83835 7451 1 17.0000 0.0000 -
1951.88/1957.77 c 1958 84329 7476 1 17.0000 0.0000 -
1956.96/1962.84 c 1963 84825 7501 1 17.0000 0.0000 -
1962.34/1968.22 c 1968 85207 7540 1 17.0000 0.0000 -
1967.72/1973.65 c 1974 85462 7567 1 17.0000 0.0000 -
1972.80/1978.71 c 1979 85911 7589 1 17.0000 0.0000 -
1977.88/1983.82 c 1984 86389 7621 1 17.0000 0.0000 -
1982.87/1988.87 c 1989 86901 7638 1 17.0000 0.0000 -
1987.95/1993.95 c 1994 87418 7653 1 17.0000 0.0000 -
1993.03/1999.02 c 1999 87924 7675 1 17.0000 0.0000 -
1998.02/2004.07 c 2004 88426 7698 1 17.0000 0.0000 -
2003.11/2009.14 c 2009 88931 7732 1 17.0000 0.0000 -
2010.47/2016.55 c 2017 89291 7750 1 17.0000 0.0000 -
2016.08/2022.13 c 2022 89700 7767 1 17.0000 0.0000 -
2021.06/2027.19 c 2027 90209 7788 1 17.0000 0.0000 -
2026.13/2032.25 c 2032 90770 7798 1 17.0000 0.0000 -
2031.22/2037.32 c 2037 91282 7826 1 17.0000 0.0000 -
2036.31/2042.42 c 2042 91757 7863 1 17.0000 0.0000 -
2041.29/2047.48 c 2047 92305 7893 1 17.0000 0.0000 -
2046.38/2052.54 c 2053 92873 7925 1 17.0000 0.0000 -
2051.37/2057.58 c 2058 93463 7941 1 17.0000 0.0000 -
2056.86/2063.01 c 2063 94019 7957 1 17.0000 0.0000 -
2061.85/2068.06 c 2068 94597 7990 1 17.0000 0.0000 -
2066.94/2073.15 c 2073 95184 8040 1 17.0000 0.0000 -
2072.01/2078.21 c 2078 95741 8073 1 17.0000 0.0000 -
2077.49/2083.73 c 2084 96178 8094 1 17.0000 0.0000 -
2082.48/2088.78 c 2089 96725 8125 1 17.0000 0.0000 -
2087.56/2093.83 c 2094 97266 8154 1 17.0000 0.0000 -
2092.65/2098.97 c 2099 97844 8182 1 17.0000 0.0000 -
2097.75/2104.03 c 2104 98308 8230 1 17.0000 0.0000 -
2102.74/2109.10 c 2109 98725 8278 1 17.0000 0.0000 -
2107.82/2114.16 c 2114 99216 8340 1 17.0000 0.0000 -
2113.00/2119.31 c 2119 99586 8409 1 17.0000 0.0000 -
2121.37/2127.77 c 2128 99717 8428 1 17.0000 0.0000 -
2127.56/2133.90 c 2134 99905 8450 1 17.0000 0.0000 -
2133.13/2139.53 c 2140 100107 8486 1 17.0000 0.0000 -
2138.13/2144.59 c 2145 100539 8507 1 17.0000 0.0000 -
2143.31/2149.70 c 2150 101010 8526 1 17.0000 0.0000 -
2148.30/2154.75 c 2155 101499 8546 1 17.0000 0.0000 -
2153.38/2159.81 c 2160 101963 8570 1 17.0000 0.0000 -
2158.37/2164.87 c 2165 102438 8589 1 17.0000 0.0000 -
2163.46/2169.92 c 2170 102944 8613 1 17.0000 0.0000 -
2168.44/2174.97 c 2175 103436 8639 1 17.0000 0.0000 -
2173.54/2180.03 c 2180 103937 8651 1 17.0000 0.0000 -
2178.62/2185.17 c 2185 104188 8663 1 17.0000 0.0000 -
2184.09/2190.68 c 2191 104244 8665 1 17.0000 0.0000 -
2189.38/2195.96 c 2196 104658 8681 1 17.0000 0.0000 -
2194.48/2201.04 c 2201 105132 8707 1 17.0000 0.0000 -
2199.46/2206.09 c 2206 105624 8719 1 17.0000 0.0000 -
2204.55/2211.14 c 2211 106124 8729 1 17.0000 0.0000 -
2209.61/2216.22 c 2216 106641 8745 1 17.0000 0.0000 -
2214.60/2221.27 c 2221 107152 8766 1 17.0000 0.0000 -
2219.68/2226.33 c 2226 107698 8787 1 17.0000 0.0000 -
2224.76/2231.49 c 2232 108103 8822 1 17.0000 0.0000 -
2229.84/2236.59 c 2237 108629 8848 1 17.0000 0.0000 -
2236.62/2243.39 c 2243 108938 8887 1 17.0000 0.0000 -
2245.31/2252.11 c 2252 109099 8902 1 17.0000 0.0000 -
2250.58/2257.39 c 2257 109600 8928 1 17.0000 0.0000 -
2255.66/2262.45 c 2262 110133 8954 1 17.0000 0.0000 -
2260.74/2267.54 c 2268 110655 8990 1 17.0000 0.0000 -
2265.72/2272.59 c 2273 111198 9027 1 17.0000 0.0000 -
2270.80/2277.65 c 2278 111718 9071 1 17.0000 0.0000 -
2275.89/2282.73 c 2283 112177 9100 1 17.0000 0.0000 -
2281.37/2288.22 c 2288 112214 9116 1 17.0000 0.0000 -
2286.35/2293.27 c 2293 112560 9140 1 17.0000 0.0000 -
2291.43/2298.34 c 2298 112942 9183 1 17.0000 0.0000 -
2296.52/2303.41 c 2303 113421 9203 1 17.0000 0.0000 -
2301.60/2308.50 c 2309 113948 9225 1 17.0000 0.0000 -
2306.58/2313.57 c 2314 114486 9247 1 17.0000 0.0000 -
2311.66/2318.64 c 2319 115039 9273 1 17.0000 0.0000 -
2316.75/2323.70 c 2324 115554 9302 1 17.0000 0.0000 -
2321.73/2328.76 c 2329 116107 9323 1 17.0000 0.0000 -
2326.81/2333.81 c 2334 116652 9353 1 17.0000 0.0000 -
2331.79/2338.87 c 2339 117222 9379 1 17.0000 0.0000 -
2336.87/2343.91 c 2344 117767 9402 1 17.0000 0.0000 -
2341.86/2348.96 c 2349 118303 9415 1 17.0000 0.0000 -
2346.95/2354.03 c 2354 118838 9431 1 17.0000 0.0000 -
2352.04/2359.13 c 2359 119348 9458 1 17.0000 0.0000 -
2357.01/2364.17 c 2364 119857 9486 1 17.0000 0.0000 -
2362.08/2369.23 c 2369 120425 9516 1 17.0000 0.0000 -
2367.06/2374.29 c 2374 121001 9540 1 17.0000 0.0000 -
2373.65/2380.81 c 2381 121386 9566 1 17.0000 0.0000 -
2379.13/2386.30 c 2386 121681 9601 1 17.0000 0.0000 -
2384.11/2391.34 c 2391 122059 9640 1 17.0000 0.0000 -
2389.19/2396.40 c 2396 122574 9662 1 17.0000 0.0000 -
2394.17/2401.50 c 2402 123109 9684 1 17.0000 0.0000 -
2399.25/2406.56 c 2407 123629 9711 1 17.0000 0.0000 -
2404.33/2411.63 c 2412 124135 9739 1 17.0000 0.0000 -
2409.42/2416.71 c 2417 124615 9775 1 17.0000 0.0000 -
2414.51/2421.84 c 2422 125121 9807 1 17.0000 0.0000 -
2419.59/2426.91 c 2427 125605 9844 1 17.0000 0.0000 -
2424.57/2431.96 c 2432 126185 9873 1 17.0000 0.0000 -
2429.76/2437.12 c 2437 126753 9900 1 17.0000 0.0000 -
2434.74/2442.19 c 2442 127359 9921 1 17.0000 0.0000 -
2439.81/2447.23 c 2447 127949 9943 1 17.0000 0.0000 -
2444.80/2452.28 c 2452 128548 9967 1 17.0000 0.0000 -
2449.88/2457.34 c 2457 129156 9989 1 17.0000 0.0000 -
2454.96/2462.42 c 2462 129697 10030 1 17.0000 0.0000 -
2460.24/2467.72 c 2468 130297 10054 1 17.0000 0.0000 -
2465.22/2472.78 c 2473 130876 10079 1 17.0000 0.0000 -
2470.30/2477.82 c 2478 131485 10110 1 17.0000 0.0000 -
2475.38/2482.93 c 2483 132104 10134 1 17.0000 0.0000 -
2480.48/2488.02 c 2488 132697 10164 1 17.0000 0.0000 -
2485.46/2493.07 c 2493 133222 10199 1 17.0000 0.0000 -
2490.55/2498.13 c 2498 133758 10223 1 17.0000 0.0000 -
2495.63/2503.26 c 2503 134273 10255 1 17.0000 0.0000 -
2500.71/2508.33 c 2508 134767 10300 1 17.0000 0.0000 -
2505.69/2513.38 c 2513 135315 10329 1 17.0000 0.0000 -
2510.78/2518.42 c 2518 135905 10370 1 17.0000 0.0000 -
2515.86/2523.50 c 2524 136371 10409 1 17.0000 0.0000 -
2520.84/2528.58 c 2529 136830 10458 1 17.0000 0.0000 -
2525.92/2533.63 c 2534 137384 10481 1 17.0000 0.0000 -
2531.00/2538.71 c 2539 137960 10518 1 17.0000 0.0000 -
2536.09/2543.83 c 2544 138571 10542 1 17.0000 0.0000 -
2541.07/2548.89 c 2549 139160 10564 1 17.0000 0.0000 -
2546.15/2553.97 c 2554 139693 10597 1 17.0000 0.0000 -
2551.74/2559.56 c 2560 139927 10610 1 17.0000 0.0000 -
2559.41/2567.26 c 2567 140044 10617 1 17.0000 0.0000 -
2565.49/2573.35 c 2573 140229 10627 1 17.0000 0.0000 -
2572.28/2580.12 c 2580 140364 10647 1 17.0000 0.0000 -
2577.75/2585.62 c 2586 140567 10667 1 17.0000 0.0000 -
2586.42/2594.32 c 2594 140685 10673 1 17.0000 0.0000 -
2592.40/2600.31 c 2600 140867 10683 1 17.0000 0.0000 -
2598.48/2606.47 c 2606 140936 10688 1 17.0000 0.0000 -
2603.97/2611.94 c 2612 141305 10717 1 17.0000 0.0000 -
2609.06/2617.02 c 2617 141756 10743 1 17.0000 0.0000 -
2614.04/2622.08 c 2622 142136 10776 1 17.0000 0.0000 -
2620.61/2628.61 c 2629 142499 10802 1 17.0000 0.0000 -
2626.11/2634.19 c 2634 142631 10812 1 17.0000 0.0000 -
2632.78/2640.86 c 2641 142810 10821 1 17.0000 0.0000 -
2637.97/2646.11 c 2646 143278 10854 1 17.0000 0.0000 -
2643.84/2651.98 c 2652 143726 10885 1 17.0000 0.0000 -
2648.93/2657.07 c 2657 144214 10928 1 17.0000 0.0000 -
2654.02/2662.12 c 2662 144731 10957 1 17.0000 0.0000 -
2659.00/2667.16 c 2667 145268 10988 1 17.0000 0.0000 -
2664.07/2672.22 c 2672 145836 11008 1 17.0000 0.0000 -
2669.05/2677.28 c 2677 146413 11023 1 17.0000 0.0000 -
2674.23/2682.44 c 2682 146999 11044 1 17.0000 0.0000 -
2680.12/2688.35 c 2688 147369 11070 1 17.0000 0.0000 -
2685.20/2693.46 c 2693 147654 11141 1 17.0000 0.0000 -
2690.28/2698.56 c 2699 147991 11206 1 17.0000 0.0000 -
2695.36/2703.63 c 2704 148414 11251 1 17.0000 0.0000 -
2701.34/2709.66 c 2710 148546 11263 1 17.0000 0.0000 -
2707.92/2716.21 c 2716 148660 11273 1 17.0000 0.0000 -
2712.90/2721.26 c 2721 149123 11304 1 17.0000 0.0000 -
2718.28/2726.67 c 2727 149190 11307 1 17.0000 0.0000 -
2729.15/2737.58 c 2738 149377 11318 1 17.0000 0.0000 -
2736.23/2744.61 c 2745 149616 11327 1 17.0000 0.0000 -
2741.21/2749.68 c 2750 149794 11335 1 17.0000 0.0000 -
2748.48/2756.97 c 2757 149973 11342 1 17.0000 0.0000 -
2754.68/2763.15 c 2763 150153 11350 1 17.0000 0.0000 -
2760.84/2769.37 c 2769 150338 11358 1 17.0000 0.0000 -
2765.93/2774.40 c 2774 150397 11361 1 17.0000 0.0000 -
2771.71/2780.21 c 2780 150631 11377 1 17.0000 0.0000 -
2776.79/2785.33 c 2785 150812 11401 1 17.0000 0.0000 -
2782.48/2791.04 c 2791 150930 11409 1 17.0000 0.0000 -
2788.26/2796.89 c 2797 151088 11413 1 17.0000 0.0000 -
2793.34/2801.99 c 2802 151577 11438 1 17.0000 0.0000 -
2798.43/2807.04 c 2807 152069 11453 1 17.0000 0.0000 -
2803.51/2812.11 c 2812 152551 11468 1 17.0000 0.0000 -
2812.57/2821.29 c 2821 152916 11483 1 17.0000 0.0000 -
2818.55/2827.24 c 2827 153111 11495 1 17.0000 0.0000 -
2825.83/2834.53 c 2835 153331 11514 1 17.0000 0.0000 -
2834.00/2842.77 c 2843 153516 11520 1 17.0000 0.0000 -
2839.09/2847.84 c 2848 154008 11541 1 17.0000 0.0000 -
2844.17/2852.91 c 2853 154493 11555 1 17.0000 0.0000 -
2849.15/2857.98 c 2858 154993 11569 1 17.0000 0.0000 -
2854.25/2863.08 c 2863 155504 11585 1 17.0000 0.0000 -
2859.62/2868.40 c 2868 155981 11600 1 17.0000 0.0000 -
2865.99/2874.83 c 2875 156412 11611 1 17.0000 0.0000 -
2871.07/2880.01 c 2880 156713 11620 1 17.0000 0.0000 -
2876.16/2885.06 c 2885 157251 11635 1 17.0000 0.0000 -
2881.24/2890.12 c 2890 157765 11656 1 17.0000 0.0000 -
2886.31/2895.24 c 2895 158168 11685 1 17.0000 0.0000 -
2891.99/2900.94 c 2901 158444 11694 1 17.0000 0.0000 -
2898.04/2907.07 c 2907 158565 11697 1 17.0000 0.0000 -
2903.91/2912.91 c 2913 158687 11699 1 17.0000 0.0000 -
2918.17/2927.22 c 2927 158870 11702 1 17.0000 0.0000 -
2923.86/2932.98 c 2933 159052 11706 1 17.0000 0.0000 -
2930.14/2939.27 c 2939 159298 11712 1 17.0000 0.0000 -
2936.72/2945.81 c 2946 159419 11715 1 17.0000 0.0000 -
2941.92/2951.08 c 2951 159539 11719 1 17.0000 0.0000 -
2947.01/2956.15 c 2956 159887 11769 1 17.0000 0.0000 -
2953.28/2962.48 c 2962 160102 11776 1 17.0000 0.0000 -
2960.88/2970.05 c 2970 160352 11780 1 17.0000 0.0000 -
2968.86/2978.01 c 2978 160590 11786 1 17.0000 0.0000 -
2975.13/2984.34 c 2984 160770 11794 1 17.0000 0.0000 -
2980.21/2989.41 c 2989 161133 11811 1 17.0000 0.0000 -
2985.29/2994.50 c 2994 161597 11830 1 17.0000 0.0000 -
2990.28/2999.55 c 3000 162086 11850 1 17.0000 0.0000 -
2995.27/3004.59 c 3005 162587 11862 1 17.0000 0.0000 -
3000.35/3009.64 c 3010 163081 11876 1 17.0000 0.0000 -
3005.44/3014.70 c 3015 163613 11890 1 17.0000 0.0000 -
3010.53/3019.82 c 3020 164150 11912 1 17.0000 0.0000 -
3015.51/3024.87 c 3025 164652 11926 1 17.0000 0.0000 -
3020.60/3029.93 c 3030 165144 11942 1 17.0000 0.0000 -
3025.59/3034.99 c 3035 165657 11959 1 17.0000 0.0000 -
3031.47/3040.88 c 3041 165762 11975 1 17.0000 0.0000 -
3036.77/3046.11 c 3046 165883 11980 1 17.0000 0.0000 -
3042.24/3051.66 c 3052 166071 11990 1 17.0000 0.0000 -
3047.93/3057.35 c 3057 166257 11998 1 17.0000 0.0000 -
3053.92/3063.36 c 3063 166515 12014 1 17.0000 0.0000 -
3059.40/3068.87 c 3069 166711 12041 1 17.0000 0.0000 -
3064.49/3073.91 c 3074 167150 12063 1 17.0000 0.0000 -
3069.47/3078.96 c 3079 167605 12091 1 17.0000 0.0000 -
3074.75/3084.23 c 3084 168083 12125 1 17.0000 0.0000 -
3079.93/3089.40 c 3089 168541 12156 1 17.0000 0.0000 -
3085.02/3094.52 c 3095 168919 12184 1 17.0000 0.0000 -
3090.01/3099.60 c 3100 169347 12210 1 17.0000 0.0000 -
3095.09/3104.65 c 3105 169781 12234 1 17.0000 0.0000 -
3103.58/3113.12 c 3113 170090 12254 1 17.0000 0.0000 -
3108.75/3118.30 c 3118 170219 12261 1 17.0000 0.0000 -
3116.04/3125.63 c 3126 170401 12272 1 17.0000 0.0000 -
3121.83/3131.49 c 3132 170522 12275 1 17.0000 0.0000 -
3127.11/3136.75 c 3137 170644 12277 1 17.0000 0.0000 -
3135.09/3144.70 c 3145 170766 12279 1 17.0000 0.0000 -
3141.17/3150.81 c 3151 171010 12283 1 17.0000 0.0000 -
3147.15/3156.89 c 3157 171146 12290 1 17.0000 0.0000 -
3152.35/3162.02 c 3162 171267 12293 1 17.0000 0.0000 -
3158.71/3168.41 c 3168 171448 12300 1 17.0000 0.0000 -
3165.69/3175.43 c 3175 171631 12303 1 17.0000 0.0000 -
3170.78/3180.52 c 3181 172121 12314 1 17.0000 0.0000 -
3175.85/3185.64 c 3186 172604 12332 1 17.0000 0.0000 -
3180.94/3190.78 c 3191 173119 12349 1 17.0000 0.0000 -
3186.02/3195.88 c 3196 173610 12370 1 17.0000 0.0000 -
3191.10/3200.93 c 3201 174112 12383 1 17.0000 0.0000 -
3196.08/3205.98 c 3206 174630 12402 1 17.0000 0.0000 -
3201.17/3211.09 c 3211 175174 12416 1 17.0000 0.0000 -
3206.26/3216.16 c 3216 175706 12435 1 17.0000 0.0000 -
3211.33/3221.28 c 3221 176195 12458 1 17.0000 0.0000 -
3216.51/3226.41 c 3226 176696 12471 1 17.0000 0.0000 -
3221.49/3231.45 c 3231 177230 12483 1 17.0000 0.0000 -
3226.57/3236.52 c 3237 177754 12497 1 17.0000 0.0000 -
3231.56/3241.59 c 3242 178182 12528 1 17.0000 0.0000 -
3237.84/3247.85 c 3248 178550 12551 1 17.0000 0.0000 -
3242.92/3252.93 c 3253 179099 12571 1 17.0000 0.0000 -
3248.11/3258.18 c 3258 179314 12589 1 17.0000 0.0000 -
3253.18/3263.27 c 3263 179622 12623 1 17.0000 0.0000 -
3258.26/3268.33 c 3268 180024 12652 1 17.0000 0.0000 -
3263.35/3273.40 c 3273 180490 12665 1 17.0000 0.0000 -
3268.33/3278.45 c 3278 180930 12685 1 17.0000 0.0000 -
3273.61/3283.77 c 3284 181148 12693 1 17.0000 0.0000 -
3281.49/3291.69 c 3292 181331 12696 1 17.0000 0.0000 -
3287.27/3297.44 c 3297 181513 12700 1 17.0000 0.0000 -
3292.45/3302.69 c 3303 181635 12702 1 17.0000 0.0000 -
3301.42/3311.65 c 3312 181756 12705 1 17.0000 0.0000 -
3309.20/3319.46 c 3319 181935 12712 1 17.0000 0.0000 -
3314.58/3324.88 c 3325 182120 12718 1 17.0000 0.0000 -
3322.26/3332.55 c 3333 182240 12722 1 17.0000 0.0000 -
3332.23/3342.56 c 3343 182360 12726 1 17.0000 0.0000 -
3337.21/3347.58 c 3348 182602 12734 1 17.0000 0.0000 -
3342.59/3352.94 c 3353 182734 12736 1 17.0000 0.0000 -
3348.37/3358.78 c 3359 182842 12742 1 17.0000 0.0000 -
3355.16/3365.52 c 3366 182964 12744 1 17.0000 0.0000 -
3363.13/3373.53 c 3374 183255 12771 1 17.0000 0.0000 -
3368.62/3379.08 c 3379 183495 12786 1 17.0000 0.0000 -
3375.00/3385.40 c 3385 183593 12793 1 17.0000 0.0000 -
3380.78/3391.29 c 3391 183711 12805 1 17.0000 0.0000 -
3388.85/3399.37 c 3399 183824 12819 1 17.0000 0.0000 -
3393.93/3404.43 c 3404 184268 12844 1 17.0000 0.0000 -
3399.11/3409.62 c 3410 184508 12848 1 17.0000 0.0000 -
3404.89/3415.40 c 3415 184795 12880 1 17.0000 0.0000 -
3409.88/3420.47 c 3420 185327 12922 1 17.0000 0.0000 -
3416.16/3426.77 c 3427 185519 12937 1 17.0000 0.0000 -
3423.24/3433.88 c 3434 185693 12949 1 17.0000 0.0000 -
3428.72/3439.39 c 3439 185939 12963 1 17.0000 0.0000 -
3433.90/3444.52 c 3445 186043 12969 1 17.0000 0.0000 -
3442.08/3452.76 c 3453 186104 12970 1 17.0000 0.0000 -
3450.47/3461.13 c 3461 186331 12984 1 17.0000 0.0000 -
3456.24/3466.92 c 3467 186485 12989 1 17.0000 0.0000 -
3461.43/3472.17 c 3472 186621 12999 1 17.0000 0.0000 -
3468.31/3479.02 c 3479 186747 13007 1 17.0000 0.0000 -
3476.17/3486.90 c 3487 186861 13012 1 17.0000 0.0000 -
3483.45/3494.27 c 3494 187038 13018 1 17.0000 0.0000 -
3489.54/3500.35 c 3500 187218 13026 1 17.0000 0.0000 -
3494.62/3505.42 c 3505 187307 13028 1 17.0000 0.0000 -
3499.60/3510.49 c 3510 187745 13045 1 17.0000 0.0000 -
3510.06/3520.92 c 3521 187922 13054 1 17.0000 0.0000 -
3516.34/3527.23 c 3527 188091 13062 1 17.0000 0.0000 -
3522.82/3533.72 c 3534 188272 13067 1 17.0000 0.0000 -
3527.91/3538.87 c 3539 188477 13073 1 17.0000 0.0000 -
3533.10/3544.03 c 3544 188916 13091 1 17.0000 0.0000 -
3538.09/3549.09 c 3549 189377 13112 1 17.0000 0.0000 -
3543.26/3554.28 c 3554 189766 13128 1 17.0000 0.0000 -
3548.34/3559.39 c 3559 190222 13152 1 17.0000 0.0000 -
3553.41/3564.45 c 3564 190735 13179 1 17.0000 0.0000 -
3558.50/3569.56 c 3570 191259 13201 1 17.0000 0.0000 -
3563.58/3574.60 c 3575 191674 13225 1 17.0000 0.0000 -
3568.56/3579.66 c 3580 192183 13250 1 17.0000 0.0000 -
3573.64/3584.76 c 3585 192609 13269 1 17.0000 0.0000 -
3578.83/3590.01 c 3590 192763 13268 1 17.0000 0.0000 -
3584.10/3595.22 c 3595 193225 13286 1 17.0000 0.0000 -
3587.09/3598.29 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.09/3598.29 c Total Time : 3598.2900
3587.09/3598.29 c solving : 3598.2900
3587.09/3598.29 c presolving : 1.6125 (included in solving)
3587.09/3598.29 c B&B Tree :
3587.09/3598.29 c nodes (total) : 1
3587.09/3598.29 c Solution :
3587.09/3598.29 c Solutions found : 2
3587.09/3598.29 c Primal Bound : +1.70000000000000e+01
3587.09/3598.29 c Dual Bound : +0.00000000000000e+00
3587.09/3598.29 c Gap : infinite
3587.09/3598.29 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.20/3598.39 o 17
3587.20/3598.39 s SATISFIABLE
3587.20/3598.39 v x589 -x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571 x570 -x569 x568 -x567
3587.20/3598.39 v x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552 x171 x170 -x169 x168 -x167 -x166 x165 -x164
3587.20/3598.39 v -x163 -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
3587.20/3598.39 v -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121
3587.20/3598.39 v -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
3587.20/3598.39 v -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75
3587.20/3598.39 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49
3587.20/3598.39 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3587.20/3598.39 v -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x551 -x532 -x513
3587.20/3598.39 v -x494 -x475 -x456 -x437 -x418 -x399 -x380 -x361 -x342 -x323 -x304 -x285 -x266 -x247 -x228 -x209 -x550 -x531 -x512 -x493 -x474
3587.20/3598.39 v -x455 -x436 -x417 -x398 -x379 -x360 -x341 -x322 -x303 -x284 -x265 -x246 -x227 -x208 -x549 -x530 -x511 -x492 -x473 -x454 -x435
3587.20/3598.39 v -x416 -x397 -x378 -x359 -x340 -x321 -x302 -x283 -x264 -x245 -x226 -x207 -x548 -x529 -x510 -x491 -x472 -x453 -x434 -x415 -x396
3587.20/3598.39 v -x377 -x358 -x339 -x320 -x301 -x282 -x263 -x244 -x225 -x206 -x547 -x528 -x509 -x490 -x471 -x452 -x433 -x414 -x395 -x376 -x357
3587.20/3598.39 v -x338 -x319 -x300 -x281 -x262 -x243 -x224 -x205 -x546 -x527 -x508 -x489 -x470 -x451 -x432 -x413 -x394 -x375 -x356 -x337 -x318
3587.20/3598.39 v -x299 -x280 -x261 -x242 -x223 -x204 -x545 -x526 -x507 -x488 -x469 -x450 -x431 -x412 -x393 -x374 -x355 -x336 -x317 -x298
3587.20/3598.39 v -x279 -x260 -x241 -x222 -x203 -x544 -x525 -x506 -x487 -x468 -x449 -x430 -x411 -x392 -x373 -x354 -x335 -x316 -x297 -x278 -x259
3587.20/3598.39 v -x240 -x221 -x202 -x543 -x524 -x505 -x486 -x467 -x448 -x429 -x410 -x391 -x372 -x353 -x334 -x315 -x296 -x277 -x258 -x239 -x220
3587.20/3598.39 v -x201 -x542 -x523 -x504 -x485 -x466 -x447 -x428 -x409 -x390 -x371 -x352 -x333 -x314 -x295 -x276 -x257 -x238 -x219 -x200 -x541
3587.20/3598.39 v -x522 -x503 -x484 -x465 -x446 -x427 -x408 -x389 -x370 -x351 -x332 -x313 -x294 -x275 -x256 -x237 -x218 -x199 -x540 -x521 -x502
3587.20/3598.39 v -x483 -x464 -x445 -x426 -x407 -x388 -x369 -x350 -x331 -x312 -x293 -x274 -x255 -x236 -x217 -x198 -x539 -x520 -x501 -x482 -x463
3587.20/3598.39 v -x444 -x425 -x406 -x387 -x368 -x349 -x330 -x311 -x292 -x273 -x254 -x235 -x216 -x197 -x538 -x519 -x500 -x481 -x462 -x443
3587.20/3598.39 v -x424 -x405 -x386 -x367 -x348 -x329 -x310 -x291 -x272 -x253 -x234 -x215 -x196 -x537 -x518 -x499 -x480 -x461 -x442 -x423 -x404
3587.20/3598.39 v -x385 -x366 -x347 -x328 -x309 -x290 -x271 -x252 -x233 -x214 -x195 -x536 -x517 -x498 -x479 -x460 -x441 -x422 -x403 -x384 -x365
3587.20/3598.39 v -x346 -x327 -x308 -x289 -x270 -x251 -x232 -x213 -x194 x535 -x516 -x497 -x478 -x459 -x440 -x421 -x402 -x383 -x364 -x345 -x326
3587.20/3598.39 v -x307 -x288 -x269 -x250 -x231 -x212 -x193 -x534 x515 x496 x477 x458 x439 x420 x401 x382 x363 x344 x325 x306 x287 x268 x249
3587.20/3598.39 v x230 x211 x192 -x533 -x514 -x495 -x476 -x457 -x438 -x419 -x400 -x381 -x362 -x343 -x324 -x305 -x286 -x267 -x248 -x229 -x210 -x191
3587.20/3598.39 v x190 x189 x188 x187 x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 -x174 -x173 x172
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 (62301 MiB free)
memory of node 1: 64473 MiB (62618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464562-1722390380/watcher-4464562-1722390380 -o /tmp/evaluation-result-4464562-1722390380/solver-4464562-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35621 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464562-1722390380.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35681, runsolver pid=35678
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 1.11 1.23 2.16 6/242 35682
/proc/meminfo: memFree=127847240/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=35300 memory=23912 CPUtime=0.1 cores=5,7
/proc/35681/stat : 35681 (fscip) R 35678 35681 35608 0 -1 4194304 3844 0 0 0 9 1 0 0 20 0 1 0 5635030 36147200 5978 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 8825 5978 2347 3035 0 5221 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35300 KiB
Current children cumulated memory: 23912 KiB
[startup+0.21249 s]*
/proc/loadavg: 1.11 1.23 2.16 6/242 35682
/proc/meminfo: memFree=127806440/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=49564 memory=37800 CPUtime=0.21 cores=5,7
/proc/35681/stat : 35681 (fscip) R 35678 35681 35608 0 -1 4194304 7340 0 0 0 19 2 0 0 20 0 1 0 5635030 50753536 9450 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 12391 9450 2347 3035 0 8787 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49564 KiB
Current children cumulated memory: 37800 KiB
[startup+0.313667 s]*
/proc/loadavg: 1.11 1.23 2.16 7/242 35682
/proc/meminfo: memFree=127776196/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=74768 memory=62884 CPUtime=0.31 cores=5,7
/proc/35681/stat : 35681 (fscip) R 35678 35681 35608 0 -1 4194304 13579 0 0 0 27 4 0 0 20 0 1 0 5635030 76562432 15721 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 18692 15721 2555 3035 0 15088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74768 KiB
Current children cumulated memory: 62884 KiB
[startup+0.700323 s]
/proc/loadavg: 1.11 1.23 2.16 6/244 35684
/proc/meminfo: memFree=127657056/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=149220 memory=136500 CPUtime=0.68 cores=5,7
/proc/35681/stat : 35681 (fscip) R 35678 35681 35608 0 -1 4194304 32494 0 0 0 59 9 0 0 20 0 1 0 5635030 152801280 34125 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 37305 34125 2678 3035 0 33701 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149220 KiB
Current children cumulated memory: 136500 KiB
[startup+1.50031 s]
/proc/loadavg: 1.34 1.28 2.17 6/248 35688
/proc/meminfo: memFree=127502216/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=231684 memory=206320 CPUtime=1.48 cores=5,7
/proc/35681/stat : 35681 (fscip) R 35678 35681 35608 0 -1 4194304 44488 0 0 0 135 13 0 0 20 0 1 0 5635030 237244416 51580 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 57921 51580 2758 3035 0 54317 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 231684 KiB
Current children cumulated memory: 206320 KiB
[startup+3.10938 s]
/proc/loadavg: 1.34 1.28 2.17 6/250 35692
/proc/meminfo: memFree=127164428/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=423252 memory=368980 CPUtime=3.09 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 93851 0 0 0 282 27 0 0 20 0 3 0 5635030 433410048 92245 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 105813 92245 2790 3035 0 102053 0
[pid=35681/tid=35689] ppid=35678 vsize=423252 memory=345744 CPUtime=0.98 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 33537 0 0 0 88 10 0 0 20 0 3 0 5635234 433410048 92245 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=423252 memory=0 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5635258 433410048 92245 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 423252 KiB
Current children cumulated memory: 368980 KiB
[startup+6.30039 s]
/proc/loadavg: 1.55 1.33 2.18 6/250 35692
/proc/meminfo: memFree=127021176/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=488788 memory=431124 CPUtime=6.26 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 145393 0 0 0 592 34 0 0 20 0 3 0 5635030 500518912 107781 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 122197 107781 2998 3035 0 117621 0
[pid=35681/tid=35689] ppid=35678 vsize=488788 memory=0 CPUtime=4.15 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 84982 0 0 0 398 17 0 0 20 0 3 0 5635234 500518912 107781 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=488788 memory=237268 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5635258 500518912 107781 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 488788 KiB
Current children cumulated memory: 431124 KiB
[startup+12.7004 s]
/proc/loadavg: 1.83 1.39 2.20 6/250 35692
/proc/meminfo: memFree=126932028/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=619860 memory=473208 CPUtime=12.64 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 188761 0 0 0 1227 37 0 0 20 0 3 0 5635030 634736640 118302 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 154965 118302 2998 3035 0 136860 0
[pid=35681/tid=35689] ppid=35678 vsize=619860 memory=0 CPUtime=10.54 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 128347 0 0 0 1034 20 0 0 20 0 3 0 5635234 634736640 118302 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=619860 memory=164 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5635258 634736640 118302 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 619860 KiB
Current children cumulated memory: 473208 KiB
[startup+25.5004 s]
/proc/loadavg: 2.16 1.47 2.22 6/250 35695
/proc/meminfo: memFree=126797472/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=685396 memory=548272 CPUtime=25.4 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 254917 0 0 0 2497 43 0 0 20 0 3 0 5635030 701845504 137068 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 171349 137068 3014 3035 0 164905 0
[pid=35681/tid=35689] ppid=35678 vsize=685396 memory=139995600011729 CPUtime=23.3 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 194421 0 0 0 2304 26 0 0 20 0 3 0 5635234 701845504 137068 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=685396 memory=-5155626886367767429 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5635258 701845504 137068 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 685396 KiB
Current children cumulated memory: 548272 KiB
[startup+51.1129 s]
/proc/loadavg: 2.89 1.72 2.28 6/250 35698
/proc/meminfo: memFree=126699428/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=685396 memory=556832 CPUtime=50.93 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 328747 0 0 0 5045 48 0 0 20 0 3 0 5635030 701845504 139208 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 171349 139208 3014 3035 0 166790 0
[pid=35681/tid=35689] ppid=35678 vsize=685396 memory=556824 CPUtime=48.82 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 268170 0 0 0 4851 31 0 0 20 0 3 0 5635234 701845504 139208 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=685396 memory=455008 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5635258 701845504 139208 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 685396 KiB
Current children cumulated memory: 556832 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.09 2.37 6/250 35708
/proc/meminfo: memFree=126524260/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=761412 memory=597688 CPUtime=101.98 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 437666 0 0 0 10141 57 0 0 20 0 3 0 5635030 779685888 149422 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 190353 149422 3014 3035 0 183524 0
[pid=35681/tid=35689] ppid=35678 vsize=761412 memory=-7234869542979198585 CPUtime=99.87 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 376977 0 0 0 9947 40 0 0 20 0 3 0 5635234 779685888 149422 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=761412 memory=597676 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5635258 779685888 149422 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 761412 KiB
Current children cumulated memory: 597688 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.45 2.48 6/252 35722
/proc/meminfo: memFree=126387976/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=761412 memory=606100 CPUtime=161.81 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 530728 0 0 0 16116 65 0 0 20 0 3 0 5635030 779685888 151525 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 190353 151525 3014 3035 0 185598 0
[pid=35681/tid=35689] ppid=35678 vsize=761412 memory=606080 CPUtime=159.69 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 469954 0 0 0 15921 48 0 0 20 0 3 0 5635234 779685888 151525 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=761412 memory=606084 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5635258 779685888 151525 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 761412 KiB
Current children cumulated memory: 606100 KiB
[startup+222.3 s]
/proc/loadavg: 4.89 2.98 2.67 6/252 35734
/proc/meminfo: memFree=126212844/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=761412 memory=606104 CPUtime=221.6 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 576293 0 0 0 22092 68 0 0 20 0 3 0 5635030 779685888 151526 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 190353 151526 3014 3035 0 185598 0
[pid=35681/tid=35689] ppid=35678 vsize=761412 memory=11440 CPUtime=219.48 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 515439 0 0 0 21897 51 0 0 20 0 3 0 5635234 779685888 151526 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=761412 memory=606104 CPUtime=0 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5635258 779685888 151526 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 761412 KiB
Current children cumulated memory: 606104 KiB
[startup+282.3 s]
/proc/loadavg: 4.84 3.35 2.81 6/254 35749
/proc/meminfo: memFree=126101488/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=826948 memory=612724 CPUtime=281.39 cores=5,7
################
# More data... #
################
Current children cumulated memory: 1537848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/252 37512
/proc/meminfo: memFree=121158844/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1750564 memory=1556816 CPUtime=3391.84 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3343434 0 0 0 338834 350 0 0 20 0 3 0 5635030 1792577536 389204 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 437641 389204 3030 3035 0 427571 0
[pid=35681/tid=35689] ppid=35678 vsize=1750564 memory=1537848 CPUtime=3389.46 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3281645 0 0 0 338625 321 0 0 20 0 3 0 5635234 1792577536 389204 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1750564 memory=1556816 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 107 0 0 0 1 4 0 0 20 0 3 0 5635258 1792577536 389204 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 1750564 KiB
Current children cumulated memory: 1556816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/252 37523
/proc/meminfo: memFree=121048948/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1776548 memory=1600772 CPUtime=3451.65 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3427058 0 0 0 344809 356 0 0 20 0 3 0 5635030 1819185152 400193 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 444137 400193 3030 3035 0 434067 0
[pid=35681/tid=35689] ppid=35678 vsize=1776548 memory=1537848 CPUtime=3449.27 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3365252 0 0 0 344600 327 0 0 20 0 3 0 5635234 1819185152 400193 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1776548 memory=1556816 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 108 0 0 0 1 4 0 0 20 0 3 0 5635258 1819185152 400193 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 1776548 KiB
Current children cumulated memory: 1600772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/252 37533
/proc/meminfo: memFree=120897604/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1776548 memory=1600772 CPUtime=3511.46 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3431240 0 0 0 350789 357 0 0 20 0 3 0 5635030 1819185152 400193 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 444137 400193 3030 3035 0 434067 0
[pid=35681/tid=35689] ppid=35678 vsize=1776548 memory=1600772 CPUtime=3509.07 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3369420 0 0 0 350579 328 0 0 20 0 3 0 5635234 1819185152 400193 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1776548 memory=1600772 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 110 0 0 0 1 4 0 0 20 0 3 0 5635258 1819185152 400193 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 1776548 KiB
Current children cumulated memory: 1600772 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/252 37545
/proc/meminfo: memFree=120791752/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3571.25 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3538384 0 0 0 356759 366 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=11440 CPUtime=3568.86 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3476548 0 0 0 356549 337 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=1617784 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3571.25 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3598.42 s]
# the end of solver process 35681 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.58 s, system=3.73903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 6/252 37546
/proc/meminfo: memFree=120789272/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3572.96 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3538639 0 0 0 356930 366 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=1486000 CPUtime=3570.56 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3476803 0 0 0 356719 337 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=-4050210904893537938 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.12 4.10 6/249 37546
/proc/meminfo: memFree=120782200/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3579.32 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3539171 0 0 0 357565 367 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=11440 CPUtime=3576.92 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3477335 0 0 0 357355 337 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=1940 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3579.32 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.09 6/249 37548
/proc/meminfo: memFree=120778528/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3582.5 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3539653 0 0 0 357883 367 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=13848 CPUtime=3580.1 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3477817 0 0 0 357673 337 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=1645864 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3582.5 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.09 6/249 37548
/proc/meminfo: memFree=120775208/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3585.7 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3539787 0 0 0 358203 367 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=12968 CPUtime=3583.29 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3477951 0 0 0 357992 337 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=1645864 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.12 4.09 6/249 37548
/proc/meminfo: memFree=120775092/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3586.49 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3539841 0 0 0 358282 367 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=12672 CPUtime=3584.09 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3478005 0 0 0 358072 337 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=12968 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.12 4.09 6/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35681] ppid=35678 vsize=1830428 memory=1645864 CPUtime=3586.9 cores=5,7
/proc/35681/stat : 35681 (fscip) S 35678 35681 35608 0 -1 1077936128 3541913 0 0 0 358323 367 0 0 20 0 3 0 5635030 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
/proc/35681/statm: 457607 411466 3030 3035 0 451656 0
[pid=35681/tid=35689] ppid=35678 vsize=1830428 memory=-7234869542979198585 CPUtime=3584.51 cores=5,7
/proc/35681/task/35689/stat : 35689 (fscip) R 35678 35681 35608 0 -1 4194368 3480078 0 0 0 358113 338 0 0 20 0 3 0 5635234 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
[pid=35681/tid=35690] ppid=35678 vsize=1830428 memory=1645864 CPUtime=0.05 cores=5,7
/proc/35681/task/35690/stat : 35690 (fscip) S 35678 35681 35608 0 -1 1077936192 111 0 0 0 1 4 0 0 20 0 3 0 5635258 1874358272 411466 134679101440 4194304 16623229 140736420994784 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37535744 140736421000214 140736421000330 140736421000330 140736421007344 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 1830428 KiB
Current children cumulated memory: 1645864 KiB
[startup+3598.4 s]*
/proc/loadavg: 4.15 4.12 4.09 5/239 37552
/proc/meminfo: memFree=123924308/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.42
CPU time (s): 3587.32
CPU user time (s): 3583.58
CPU system time (s): 3.73903
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 1830428
Max. memory (cumulated for all children) (KiB): 1645864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.58
system time used= 3.73903
maximum resident set size= 1645864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3588571
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= 8910
involuntary context switches= 1552
# summary of solver processes directly reported to runsolver:
# pid: 35681
# total CPU time (s): 3587.32
# total CPU user time (s): 3583.58
# total CPU system time (s): 3.73903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9257 second user time and 36.1287 second system time
The end
Begin job on nodeC005 at 2024-07-31 03:46:20
IDJOB=4464562
IDBENCH=176150
IDSOLVER=3092
FILE ID=nodeC005/4464562-1722390380
RUNJOBID= nodeC005-1722390380-35621
SLURM_JOB_ID= 8249878
Free space on /tmp= 723720 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.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-4464562-1722390380/watcher-4464562-1722390380 -o /tmp/evaluation-result-4464562-1722390380/solver-4464562-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35621 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464562-1722390380.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb
RANDOM SEED=140675488
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.307
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.72
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.210
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.37
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.210
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.72
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.225
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.37
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 : 1197.252
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.72
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.459
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.37
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.209
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.72
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.208
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127928908 kB
MemAvailable: 129993980 kB
Buffers: 111784 kB
Cached: 2759756 kB
SwapCached: 0 kB
Active: 271636 kB
Inactive: 2959792 kB
Active(anon): 1368 kB
Inactive(anon): 379832 kB
Active(file): 270268 kB
Inactive(file): 2579960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115592 kB
Writeback: 8 kB
AnonPages: 360328 kB
Mapped: 107416 kB
Shmem: 21320 kB
KReclaimable: 110088 kB
Slab: 192912 kB
SReclaimable: 110088 kB
SUnreclaim: 82824 kB
KernelStack: 3760 kB
PageTables: 10236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 734128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC005 at 2024-07-31 04:46:19