0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.11 c Default LC presolving (default).
0.00/0.11 c ** Before presolving: virtualMemUsedAtLc = 54321152, getVmSize() = 54321152, SCIPgetMemUsed() = 26684768, SCIPgetMemTotal() = 31392304, SCIPgetMemExternEstim() = 18513605
0.00/0.11 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.31/0.41 c ** Estimated virtualMemUsedAtSolver = 70367288, getVmSize() = 112517120, SCIPgetMemUsed() = 58515111, SCIPgetMemTotal() = 87037327, SCIPgetMemExternEstim() = 18513605
0.31/0.41 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.31/0.41 c Original Problem :
0.31/0.41 c Problem name : instance-4464567-1722385815
0.31/0.41 c Variables : 4830 (4830 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.41 c Constraints : 15140
0.31/0.41 c Objective sense : minimize
0.31/0.41 c Presolved Problem :
0.31/0.41 c Variables : 4813 (4813 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.41 c Constraints : 10267
0.31/0.41 c Constraints : Number
0.31/0.41 c setppc : 10266
0.31/0.41 c orbitope : 1
0.31/0.41 c ** Instance transfer method used: 0
0.41/0.44 c ** ParaScipInstance copy increased the number of variables. **
0.41/0.48 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.41/0.48 c Nodes Active
0.41/0.48 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.05/7.15 c 7 2 1 1 - 0.0000 -
12.83/12.95 c 13 38 35 1 - 0.0000 -
17.81/18.01 c 18 558 330 1 - 0.0000 -
22.99/23.17 c 23 1456 166 1 - 0.0000 -
28.05/28.23 c 28 2532 167 1 - 0.0000 -
33.03/33.28 c 33 3550 164 1 - 0.0000 -
38.32/38.55 c 39 4423 181 1 - 0.0000 -
43.39/43.60 c 44 5371 144 1 - 0.0000 -
48.38/48.66 c 49 6199 180 1 - 0.0000 -
53.46/53.72 c 54 7080 179 1 - 0.0000 -
58.44/58.77 c 59 7952 218 1 - 0.0000 -
63.61/63.90 c 64 8813 186 1 - 0.0000 -
68.60/68.96 c 69 9536 209 1 - 0.0000 -
73.69/74.01 c 74 10384 225 1 - 0.0000 -
78.67/79.07 c 79 11191 239 1 - 0.0000 -
83.75/84.12 c 84 12054 300 1 - 0.0000 -
88.73/89.18 c 89 12946 278 1 - 0.0000 -
93.80/94.23 c 94 13851 222 1 - 0.0000 -
98.98/99.42 c 99 14581 201 1 - 0.0000 -
104.05/104.55 c 105 15273 181 1 - 0.0000 -
109.13/109.60 c 110 16134 194 1 - 0.0000 -
114.11/114.66 c 115 16890 196 1 - 0.0000 -
119.19/119.71 c 120 17866 194 1 - 0.0000 -
124.17/124.76 c 125 18782 203 1 - 0.0000 -
129.25/129.81 c 130 19810 219 1 - 0.0000 -
134.24/134.85 c 135 20899 256 1 - 0.0000 -
139.31/139.91 c 140 21925 448 1 - 0.0000 -
144.29/144.96 c 145 22944 597 1 - 0.0000 -
149.27/150.01 c 150 24053 659 1 - 0.0000 -
154.36/155.05 c 155 25095 774 1 - 0.0000 -
159.44/160.12 c 160 26153 495 1 - 0.0000 -
164.42/165.17 c 165 27233 452 1 - 0.0000 -
169.49/170.25 c 170 28298 491 1 - 0.0000 -
174.47/175.30 c 175 29448 544 1 - 0.0000 -
179.54/180.35 c 180 30528 489 1 - 0.0000 -
184.63/185.41 c 185 31660 513 1 - 0.0000 -
189.60/190.45 c 190 32798 469 1 - 0.0000 -
194.69/195.50 c 196 33913 516 1 - 0.0000 -
199.66/200.55 c 201 34901 523 1 - 0.0000 -
204.84/205.71 c 206 36020 542 1 - 0.0000 -
209.82/210.76 c 211 37214 482 1 - 0.0000 -
214.90/215.81 c 216 38364 501 1 - 0.0000 -
219.88/220.87 c 221 39420 453 1 - 0.0000 -
224.96/225.92 c 226 40477 375 1 - 0.0000 -
229.94/230.97 c 231 41649 396 1 - 0.0000 -
235.04/236.02 c 236 42777 323 1 - 0.0000 -
240.01/241.06 c 241 43808 273 1 - 0.0000 -
245.09/246.11 c 246 44849 280 1 - 0.0000 -
250.07/251.17 c 251 45928 285 1 - 0.0000 -
255.14/256.22 c 256 47035 226 1 - 0.0000 -
260.11/261.27 c 261 48311 235 1 - 0.0000 -
265.20/266.31 c 266 49434 230 1 - 0.0000 -
270.17/271.37 c 271 50663 205 1 - 0.0000 -
275.26/276.42 c 276 51971 204 1 - 0.0000 -
280.23/281.46 c 281 53284 214 1 - 0.0000 -
285.32/286.52 c 287 54532 210 1 - 0.0000 -
290.29/291.57 c 292 55811 205 1 - 0.0000 -
295.37/296.61 c 297 57095 242 1 - 0.0000 -
300.36/301.66 c 302 58302 332 1 - 0.0000 -
305.43/306.72 c 307 59531 294 1 - 0.0000 -
310.41/311.76 c 312 60726 286 1 - 0.0000 -
315.49/316.82 c 317 61908 242 1 - 0.0000 -
320.47/321.86 c 322 63087 260 1 - 0.0000 -
325.56/326.91 c 327 64258 295 1 - 0.0000 -
330.53/331.97 c 332 65572 313 1 - 0.0000 -
335.62/337.01 c 337 66842 299 1 - 0.0000 -
340.60/342.07 c 342 68035 290 1 - 0.0000 -
345.67/347.12 c 347 69269 259 1 - 0.0000 -
350.66/352.16 c 352 70546 241 1 - 0.0000 -
355.72/357.23 c 357 71830 212 1 - 0.0000 -
360.70/362.27 c 362 72933 341 1 - 0.0000 -
365.78/367.33 c 367 74123 243 1 - 0.0000 -
370.76/372.37 c 372 75340 242 1 - 0.0000 -
375.84/377.43 c 377 76543 268 1 - 0.0000 -
380.83/382.48 c 382 77708 259 1 - 0.0000 -
385.90/387.52 c 388 78869 289 1 - 0.0000 -
390.88/392.57 c 393 80026 315 1 - 0.0000 -
395.96/397.62 c 398 81141 393 1 - 0.0000 -
400.94/402.67 c 403 82278 349 1 - 0.0000 -
406.02/407.72 c 408 83405 385 1 - 0.0000 -
411.00/412.77 c 413 84551 411 1 - 0.0000 -
416.07/417.82 c 418 85722 418 1 - 0.0000 -
421.05/422.88 c 423 86957 444 1 - 0.0000 -
426.12/427.92 c 428 88109 435 1 - 0.0000 -
431.10/432.97 c 433 89207 587 1 - 0.0000 -
436.19/438.04 c 438 90278 649 1 - 0.0000 -
441.16/443.09 c 443 91439 725 1 - 0.0000 -
446.24/448.13 c 448 92699 798 1 - 0.0000 -
451.21/453.18 c 453 93973 943 1 - 0.0000 -
456.28/458.24 c 458 95265 1016 1 - 0.0000 -
461.24/463.28 c 463 96592 1081 1 - 0.0000 -
466.33/468.33 c 468 97907 1278 1 - 0.0000 -
471.30/473.39 c 473 99231 1269 1 - 0.0000 -
476.37/478.43 c 478 100585 1245 1 - 0.0000 -
481.35/483.48 c 483 101994 1309 1 - 0.0000 -
486.42/488.53 c 489 103301 1465 1 - 0.0000 -
491.40/493.58 c 494 104585 1670 1 - 0.0000 -
496.47/498.63 c 499 105880 1298 1 - 0.0000 -
501.45/503.68 c 504 107079 1266 1 - 0.0000 -
506.52/508.74 c 509 108307 1283 1 - 0.0000 -
511.50/513.79 c 514 109571 1258 1 - 0.0000 -
516.57/518.84 c 519 110874 1283 1 - 0.0000 -
521.55/523.88 c 524 112189 1325 1 - 0.0000 -
526.63/528.94 c 529 113476 1282 1 - 0.0000 -
531.60/533.98 c 534 114725 1341 1 - 0.0000 -
536.68/539.03 c 539 116019 1357 1 - 0.0000 -
541.66/544.09 c 544 117294 1392 1 - 0.0000 -
546.75/549.13 c 549 118596 1424 1 - 0.0000 -
551.73/554.19 c 554 119885 1444 1 - 0.0000 -
556.79/559.24 c 559 121168 1407 1 - 0.0000 -
561.77/564.29 c 564 122557 1431 1 - 0.0000 -
566.85/569.33 c 569 123916 1366 1 - 0.0000 -
571.83/574.38 c 574 125202 1413 1 - 0.0000 -
576.91/579.44 c 579 126467 1426 1 - 0.0000 -
581.89/584.48 c 584 127714 1429 1 - 0.0000 -
586.96/589.54 c 590 128968 1474 1 - 0.0000 -
591.95/594.59 c 595 130266 1554 1 - 0.0000 -
597.03/599.63 c 600 131526 1544 1 - 0.0000 -
602.01/604.68 c 605 132686 1439 1 - 0.0000 -
607.09/609.74 c 610 133882 1465 1 - 0.0000 -
612.06/614.79 c 615 135044 1457 1 - 0.0000 -
617.15/619.84 c 620 136178 1507 1 - 0.0000 -
622.13/624.88 c 625 137320 1732 1 - 0.0000 -
627.21/629.93 c 630 138508 1543 1 - 0.0000 -
632.18/634.99 c 635 139750 1518 1 - 0.0000 -
637.27/640.03 c 640 140969 1547 1 - 0.0000 -
642.24/645.09 c 645 142201 1521 1 - 0.0000 -
647.32/650.14 c 650 143382 1579 1 - 0.0000 -
652.31/655.19 c 655 144669 1628 1 - 0.0000 -
657.37/660.24 c 660 145868 1616 1 - 0.0000 -
662.35/665.29 c 665 147106 1609 1 - 0.0000 -
667.43/670.34 c 670 148369 1639 1 - 0.0000 -
672.40/675.38 c 675 149545 1661 1 - 0.0000 -
677.49/680.44 c 680 150715 1688 1 - 0.0000 -
682.46/685.49 c 685 151914 1654 1 - 0.0000 -
687.54/690.53 c 691 153176 1670 1 - 0.0000 -
692.52/695.59 c 696 154371 1607 1 - 0.0000 -
697.61/700.64 c 701 155601 1648 1 - 0.0000 -
702.59/705.69 c 706 156793 1650 1 - 0.0000 -
707.66/710.74 c 711 157979 1710 1 - 0.0000 -
712.64/715.79 c 716 159053 1699 1 - 0.0000 -
717.72/720.84 c 721 160135 1706 1 - 0.0000 -
722.70/725.88 c 726 161340 1736 1 - 0.0000 -
727.78/730.94 c 731 162587 1716 1 - 0.0000 -
732.76/735.99 c 736 163865 1665 1 - 0.0000 -
737.84/741.03 c 741 165091 1663 1 - 0.0000 -
742.82/746.09 c 746 166272 1567 1 - 0.0000 -
747.89/751.14 c 751 167587 1575 1 - 0.0000 -
752.88/756.19 c 756 168893 1610 1 - 0.0000 -
757.94/761.23 c 761 170156 1631 1 - 0.0000 -
762.91/766.29 c 766 171361 1638 1 - 0.0000 -
768.00/771.34 c 771 172586 1689 1 - 0.0000 -
772.97/776.39 c 776 173855 1714 1 - 0.0000 -
778.05/781.43 c 781 175157 1696 1 - 0.0000 -
783.02/786.49 c 786 176422 1721 1 - 0.0000 -
788.11/791.53 c 792 177729 1739 1 - 0.0000 -
793.08/796.59 c 797 178827 1767 1 - 0.0000 -
798.16/801.64 c 802 180089 1729 1 - 0.0000 -
803.14/806.69 c 807 181402 1743 1 - 0.0000 -
808.22/811.73 c 812 182684 1781 1 - 0.0000 -
813.20/816.79 c 817 183917 1760 1 - 0.0000 -
818.27/821.84 c 822 185203 1728 1 - 0.0000 -
823.25/826.89 c 827 186469 1736 1 - 0.0000 -
828.33/831.94 c 832 187685 1632 1 - 0.0000 -
833.30/836.99 c 837 188923 1583 1 - 0.0000 -
838.39/842.04 c 842 190198 1506 1 - 0.0000 -
843.36/847.09 c 847 191440 1506 1 - 0.0000 -
848.44/852.13 c 852 192767 1540 1 - 0.0000 -
853.42/857.19 c 857 194103 1492 1 - 0.0000 -
858.48/862.24 c 862 195411 1500 1 - 0.0000 -
863.46/867.29 c 867 196843 1531 1 - 0.0000 -
868.53/872.33 c 872 198312 1585 1 - 0.0000 -
873.51/877.38 c 877 199879 1546 1 - 0.0000 -
878.59/882.43 c 882 201504 1601 1 - 0.0000 -
883.57/887.49 c 887 203173 1640 1 - 0.0000 -
888.64/892.53 c 893 204807 1691 1 - 0.0000 -
893.62/897.58 c 898 206457 1731 1 - 0.0000 -
898.70/902.64 c 903 208106 1772 1 - 0.0000 -
903.68/907.69 c 908 209744 1821 1 - 0.0000 -
908.76/912.74 c 913 211498 1737 1 - 0.0000 -
913.74/917.79 c 918 213286 1610 1 - 0.0000 -
918.82/922.84 c 923 214950 1560 1 - 0.0000 -
923.80/927.88 c 928 216569 1628 1 - 0.0000 -
928.89/932.94 c 933 218108 1500 1 - 0.0000 -
933.87/937.99 c 938 219335 1501 1 - 0.0000 -
938.96/943.03 c 943 220587 1564 1 - 0.0000 -
943.94/948.09 c 948 221878 1570 1 - 0.0000 -
949.02/953.14 c 953 223111 1607 1 - 0.0000 -
954.00/958.19 c 958 224235 1460 1 - 0.0000 -
959.08/963.25 c 963 225451 1378 1 - 0.0000 -
964.15/968.30 c 968 226752 1357 1 - 0.0000 -
969.13/973.34 c 973 228038 1282 1 - 0.0000 -
974.12/978.40 c 978 229401 1291 1 - 0.0000 -
979.20/983.45 c 983 230623 1239 1 - 0.0000 -
984.17/988.50 c 988 231887 1169 1 - 0.0000 -
989.26/993.55 c 994 233032 1124 1 - 0.0000 -
994.24/998.59 c 999 234292 1048 1 - 0.0000 -
999.33/1003.65 c 1004 235490 1096 1 - 0.0000 -
1004.40/1008.70 c 1009 236668 1026 1 - 0.0000 -
1009.38/1013.74 c 1014 237857 972 1 - 0.0000 -
1014.47/1018.80 c 1019 239087 948 1 - 0.0000 -
1019.45/1023.85 c 1024 240232 905 1 - 0.0000 -
1024.53/1028.97 c 1029 241406 893 1 - 0.0000 -
1029.63/1034.01 c 1034 242646 866 1 - 0.0000 -
1034.61/1039.06 c 1039 243797 930 1 - 0.0000 -
1039.69/1044.12 c 1044 244965 993 1 - 0.0000 -
1044.67/1049.17 c 1049 246122 1055 1 - 0.0000 -
1049.73/1054.21 c 1054 247278 1017 1 - 0.0000 -
1054.72/1059.27 c 1059 248520 786 1 - 0.0000 -
1059.80/1064.32 c 1064 249619 795 1 - 0.0000 -
1064.78/1069.37 c 1069 250753 787 1 - 0.0000 -
1069.86/1074.42 c 1074 251918 775 1 - 0.0000 -
1074.84/1079.46 c 1079 253151 453 1 - 0.0000 -
1079.93/1084.52 c 1085 254307 347 1 - 0.0000 -
1084.91/1089.57 c 1090 255458 317 1 - 0.0000 -
1089.99/1094.63 c 1095 256572 360 1 - 0.0000 -
1094.97/1099.68 c 1100 257686 337 1 - 0.0000 -
1100.06/1104.73 c 1105 258819 321 1 - 0.0000 -
1105.04/1109.78 c 1110 259881 321 1 - 0.0000 -
1110.12/1114.82 c 1115 260932 247 1 - 0.0000 -
1115.09/1119.88 c 1120 262006 210 1 - 0.0000 -
1120.18/1124.92 c 1125 263065 206 1 - 0.0000 -
1125.16/1129.98 c 1130 264137 222 1 - 0.0000 -
1130.24/1135.03 c 1135 265231 194 1 - 0.0000 -
1135.32/1140.18 c 1140 266247 243 1 - 0.0000 -
1140.39/1145.23 c 1145 267271 213 1 - 0.0000 -
1145.37/1150.27 c 1150 268430 222 1 - 0.0000 -
1150.45/1155.33 c 1155 269509 206 1 - 0.0000 -
1155.83/1160.70 c 1161 270624 217 1 - 0.0000 -
1160.82/1165.74 c 1166 271772 204 1 - 0.0000 -
1165.89/1170.87 c 1171 272849 252 1 - 0.0000 -
1170.97/1175.92 c 1176 274282 218 1 - 0.0000 -
1176.06/1181.02 c 1181 275433 230 1 - 0.0000 -
1181.03/1186.07 c 1186 276744 214 1 - 0.0000 -
1186.11/1191.12 c 1191 278217 216 1 - 0.0000 -
1191.09/1196.17 c 1196 279399 229 1 - 0.0000 -
1196.15/1201.22 c 1201 280754 248 1 - 0.0000 -
1201.13/1206.28 c 1206 282479 205 1 - 0.0000 -
1206.21/1211.33 c 1211 283594 203 1 - 0.0000 -
1211.18/1216.38 c 1216 284803 199 1 - 0.0000 -
1216.27/1221.43 c 1221 286273 236 1 - 0.0000 -
1221.23/1226.47 c 1226 287711 207 1 - 0.0000 -
1226.32/1231.53 c 1232 288788 219 1 - 0.0000 -
1231.30/1236.57 c 1237 289847 203 1 - 0.0000 -
1236.37/1241.63 c 1242 291044 193 1 - 0.0000 -
1241.35/1246.68 c 1247 292293 210 1 - 0.0000 -
1246.43/1251.72 c 1252 293732 222 1 - 0.0000 -
1251.41/1256.77 c 1257 295233 219 1 - 0.0000 -
1256.48/1261.83 c 1262 296716 203 1 - 0.0000 -
1261.46/1266.87 c 1267 298191 205 1 - 0.0000 -
1266.53/1271.93 c 1272 299615 207 1 - 0.0000 -
1271.52/1276.98 c 1277 301170 203 1 - 0.0000 -
1276.60/1282.02 c 1282 302663 197 1 - 0.0000 -
1281.58/1287.08 c 1287 303860 205 1 - 0.0000 -
1286.66/1292.13 c 1292 305165 216 1 - 0.0000 -
1291.64/1297.18 c 1297 306671 201 1 - 0.0000 -
1296.71/1302.22 c 1302 308021 248 1 - 0.0000 -
1301.69/1307.28 c 1307 309343 227 1 - 0.0000 -
1306.77/1312.32 c 1312 310688 207 1 - 0.0000 -
1311.75/1317.38 c 1317 312037 223 1 - 0.0000 -
1316.84/1322.43 c 1322 313442 218 1 - 0.0000 -
1321.82/1327.47 c 1327 314864 215 1 - 0.0000 -
1326.89/1332.53 c 1333 316282 216 1 - 0.0000 -
1331.88/1337.58 c 1338 317636 214 1 - 0.0000 -
1336.96/1342.63 c 1343 318946 214 1 - 0.0000 -
1341.94/1347.68 c 1348 320309 210 1 - 0.0000 -
1347.02/1352.72 c 1353 321635 246 1 - 0.0000 -
1352.01/1357.78 c 1358 322980 240 1 - 0.0000 -
1357.09/1362.83 c 1363 324365 207 1 - 0.0000 -
1362.07/1367.87 c 1368 325773 212 1 - 0.0000 -
1367.16/1372.92 c 1373 327227 210 1 - 0.0000 -
1372.13/1377.98 c 1378 328677 211 1 - 0.0000 -
1377.22/1383.03 c 1383 330089 205 1 - 0.0000 -
1382.21/1388.08 c 1388 331386 197 1 - 0.0000 -
1387.29/1393.13 c 1393 332608 197 1 - 0.0000 -
1392.27/1398.17 c 1398 333940 191 1 - 0.0000 -
1397.34/1403.22 c 1403 335187 200 1 - 0.0000 -
1402.32/1408.27 c 1408 336509 202 1 - 0.0000 -
1407.40/1413.32 c 1413 337854 207 1 - 0.0000 -
1412.39/1418.38 c 1418 339284 232 1 - 0.0000 -
1417.46/1423.42 c 1423 340843 217 1 - 0.0000 -
1422.44/1428.48 c 1428 342231 292 1 - 0.0000 -
1427.53/1433.53 c 1434 343523 228 1 - 0.0000 -
1432.51/1438.58 c 1439 344769 205 1 - 0.0000 -
1437.59/1443.63 c 1444 346102 228 1 - 0.0000 -
1442.57/1448.68 c 1449 347394 204 1 - 0.0000 -
1447.65/1453.73 c 1454 348666 255 1 - 0.0000 -
1452.63/1458.77 c 1459 350051 204 1 - 0.0000 -
1457.71/1463.83 c 1464 351379 198 1 - 0.0000 -
1462.70/1468.88 c 1469 352552 187 1 - 0.0000 -
1467.77/1473.92 c 1474 353814 216 1 - 0.0000 -
1472.87/1479.01 c 1479 355169 215 1 - 0.0000 -
1477.85/1484.07 c 1484 356647 225 1 - 0.0000 -
1482.93/1489.12 c 1489 358127 232 1 - 0.0000 -
1487.91/1494.16 c 1494 359508 235 1 - 0.0000 -
1492.98/1499.22 c 1499 360886 228 1 - 0.0000 -
1497.96/1504.29 c 1504 362174 238 1 - 0.0000 -
1503.04/1509.34 c 1509 363411 231 1 - 0.0000 -
1508.02/1514.39 c 1514 364549 222 1 - 0.0000 -
1513.11/1519.44 c 1519 365777 245 1 - 0.0000 -
1518.09/1524.48 c 1524 367043 223 1 - 0.0000 -
1523.16/1529.54 c 1530 368361 235 1 - 0.0000 -
1528.15/1534.59 c 1535 369763 242 1 - 0.0000 -
1533.23/1539.64 c 1540 371307 239 1 - 0.0000 -
1538.21/1544.68 c 1545 372832 247 1 - 0.0000 -
1543.29/1549.73 c 1550 374422 241 1 - 0.0000 -
1548.27/1554.78 c 1555 375619 251 1 - 0.0000 -
1553.36/1559.84 c 1560 376856 267 1 - 0.0000 -
1558.34/1564.88 c 1565 378121 259 1 - 0.0000 -
1563.41/1569.94 c 1570 379417 350 1 - 0.0000 -
1568.39/1574.99 c 1575 380919 404 1 - 0.0000 -
1573.49/1580.04 c 1580 382460 401 1 - 0.0000 -
1578.47/1585.09 c 1585 383979 393 1 - 0.0000 -
1583.56/1590.14 c 1590 385533 270 1 - 0.0000 -
1588.53/1595.19 c 1595 386924 277 1 - 0.0000 -
1593.61/1600.24 c 1600 388391 250 1 - 0.0000 -
1598.58/1605.28 c 1605 389936 273 1 - 0.0000 -
1603.66/1610.33 c 1610 391557 261 1 - 0.0000 -
1608.64/1615.38 c 1615 393167 250 1 - 0.0000 -
1613.73/1620.44 c 1620 394624 230 1 - 0.0000 -
1618.71/1625.49 c 1625 396297 262 1 - 0.0000 -
1623.79/1630.54 c 1631 397905 261 1 - 0.0000 -
1628.77/1635.59 c 1636 399422 265 1 - 0.0000 -
1633.85/1640.63 c 1641 400934 258 1 - 0.0000 -
1638.83/1645.68 c 1646 402427 273 1 - 0.0000 -
1643.91/1650.74 c 1651 403900 271 1 - 0.0000 -
1648.89/1655.79 c 1656 405376 298 1 - 0.0000 -
1653.98/1660.84 c 1661 406767 351 1 - 0.0000 -
1658.95/1665.89 c 1666 408212 385 1 - 0.0000 -
1664.03/1670.94 c 1671 409752 578 1 - 0.0000 -
1669.02/1675.98 c 1676 411451 501 1 - 0.0000 -
1674.11/1681.04 c 1681 413112 372 1 - 0.0000 -
1679.09/1686.08 c 1686 414695 370 1 - 0.0000 -
1684.17/1691.13 c 1691 416212 354 1 - 0.0000 -
1689.15/1696.19 c 1696 417787 351 1 - 0.0000 -
1694.22/1701.24 c 1701 419038 396 1 - 0.0000 -
1699.21/1706.29 c 1706 420189 357 1 - 0.0000 -
1704.28/1711.34 c 1711 421644 328 1 - 0.0000 -
1709.26/1716.39 c 1716 423242 335 1 - 0.0000 -
1714.35/1721.43 c 1721 424678 327 1 - 0.0000 -
1719.33/1726.49 c 1726 426165 333 1 - 0.0000 -
1724.41/1731.54 c 1732 427645 319 1 - 0.0000 -
1729.39/1736.58 c 1737 429062 332 1 - 0.0000 -
1734.47/1741.63 c 1742 430486 322 1 - 0.0000 -
1739.45/1746.69 c 1747 431953 301 1 - 0.0000 -
1744.53/1751.74 c 1752 433246 337 1 - 0.0000 -
1749.52/1756.79 c 1757 434476 379 1 - 0.0000 -
1754.59/1761.84 c 1762 435831 474 1 - 0.0000 -
1759.58/1766.89 c 1767 437269 384 1 - 0.0000 -
1764.66/1771.93 c 1772 438499 394 1 - 0.0000 -
1769.64/1776.98 c 1777 439698 438 1 - 0.0000 -
1774.73/1782.04 c 1782 441170 438 1 - 0.0000 -
1779.71/1787.09 c 1787 442387 486 1 - 0.0000 -
1784.80/1792.14 c 1792 443584 504 1 - 0.0000 -
1789.77/1797.19 c 1797 444797 520 1 - 0.0000 -
1794.85/1802.23 c 1802 446081 515 1 - 0.0000 -
1799.83/1807.29 c 1807 447447 522 1 - 0.0000 -
1804.90/1812.33 c 1812 448832 532 1 - 0.0000 -
1809.88/1817.38 c 1817 450186 549 1 - 0.0000 -
1814.97/1822.43 c 1822 451895 548 1 - 0.0000 -
1819.95/1827.49 c 1827 453530 560 1 - 0.0000 -
1825.03/1832.53 c 1833 455004 602 1 - 0.0000 -
1830.01/1837.59 c 1838 456569 616 1 - 0.0000 -
1835.09/1842.63 c 1843 458231 551 1 - 0.0000 -
1840.07/1847.69 c 1848 459826 566 1 - 0.0000 -
1845.15/1852.74 c 1853 461462 550 1 - 0.0000 -
1850.13/1857.78 c 1858 463138 570 1 - 0.0000 -
1855.22/1862.84 c 1863 464713 587 1 - 0.0000 -
1860.20/1867.89 c 1868 466367 555 1 - 0.0000 -
1865.27/1872.94 c 1873 467969 541 1 - 0.0000 -
1870.26/1877.98 c 1878 469540 531 1 - 0.0000 -
1875.35/1883.04 c 1883 470834 513 1 - 0.0000 -
1880.33/1888.09 c 1888 472213 505 1 - 0.0000 -
1885.41/1893.14 c 1893 473499 521 1 - 0.0000 -
1890.39/1898.19 c 1898 474810 500 1 - 0.0000 -
1895.46/1903.24 c 1903 476309 510 1 - 0.0000 -
1900.45/1908.29 c 1908 477715 521 1 - 0.0000 -
1905.52/1913.34 c 1913 479109 504 1 - 0.0000 -
1910.51/1918.39 c 1918 480291 517 1 - 0.0000 -
1915.58/1923.44 c 1923 481650 490 1 - 0.0000 -
1920.57/1928.49 c 1928 482887 483 1 - 0.0000 -
1925.65/1933.53 c 1934 484171 485 1 - 0.0000 -
1930.64/1938.59 c 1939 485366 477 1 - 0.0000 -
1935.71/1943.63 c 1944 486574 505 1 - 0.0000 -
1940.69/1948.68 c 1949 487810 485 1 - 0.0000 -
1945.77/1953.74 c 1954 489226 466 1 - 0.0000 -
1950.76/1958.78 c 1959 490661 468 1 - 0.0000 -
1955.84/1963.84 c 1964 492000 449 1 - 0.0000 -
1960.82/1968.89 c 1969 493216 505 1 - 0.0000 -
1965.90/1973.93 c 1974 494645 438 1 - 0.0000 -
1970.89/1978.99 c 1979 496000 446 1 - 0.0000 -
1975.97/1984.04 c 1984 497427 414 1 - 0.0000 -
1980.96/1989.09 c 1989 498882 461 1 - 0.0000 -
1986.04/1994.14 c 1994 500292 490 1 - 0.0000 -
1991.01/1999.19 c 1999 501825 453 1 - 0.0000 -
1996.09/2004.24 c 2004 503405 444 1 - 0.0000 -
2001.06/2009.29 c 2009 504768 452 1 - 0.0000 -
2006.15/2014.33 c 2014 506306 450 1 - 0.0000 -
2011.13/2019.38 c 2019 507649 449 1 - 0.0000 -
2016.21/2024.44 c 2024 508946 461 1 - 0.0000 -
2021.20/2029.49 c 2029 510211 459 1 - 0.0000 -
2026.27/2034.54 c 2035 511552 440 1 - 0.0000 -
2031.26/2039.59 c 2040 512805 466 1 - 0.0000 -
2036.33/2044.63 c 2045 514079 444 1 - 0.0000 -
2041.32/2049.68 c 2050 515440 476 1 - 0.0000 -
2046.40/2054.74 c 2055 516743 446 1 - 0.0000 -
2051.38/2059.79 c 2060 518168 434 1 - 0.0000 -
2056.46/2064.84 c 2065 519489 435 1 - 0.0000 -
2061.45/2069.89 c 2070 520873 430 1 - 0.0000 -
2066.53/2074.94 c 2075 522208 421 1 - 0.0000 -
2071.51/2079.99 c 2080 523579 412 1 - 0.0000 -
2076.59/2085.04 c 2085 525001 404 1 - 0.0000 -
2081.57/2090.09 c 2090 526554 409 1 - 0.0000 -
2086.65/2095.13 c 2095 528105 404 1 - 0.0000 -
2091.64/2100.19 c 2100 529570 400 1 - 0.0000 -
2096.70/2105.24 c 2105 531211 395 1 - 0.0000 -
2101.69/2110.29 c 2110 532684 381 1 - 0.0000 -
2106.76/2115.33 c 2115 534118 400 1 - 0.0000 -
2111.75/2120.39 c 2120 535423 397 1 - 0.0000 -
2116.83/2125.43 c 2125 536721 397 1 - 0.0000 -
2121.81/2130.49 c 2130 537998 390 1 - 0.0000 -
2126.89/2135.54 c 2136 539538 423 1 - 0.0000 -
2131.88/2140.59 c 2141 541013 408 1 - 0.0000 -
2136.95/2145.64 c 2146 542455 404 1 - 0.0000 -
2141.94/2150.69 c 2151 543988 399 1 - 0.0000 -
2147.02/2155.73 c 2156 545385 412 1 - 0.0000 -
2152.00/2160.78 c 2161 546996 408 1 - 0.0000 -
2157.08/2165.83 c 2166 548532 398 1 - 0.0000 -
2162.06/2170.88 c 2171 549931 384 1 - 0.0000 -
2167.14/2175.93 c 2176 551275 376 1 - 0.0000 -
2172.12/2180.98 c 2181 552683 377 1 - 0.0000 -
2177.21/2186.03 c 2186 554005 377 1 - 0.0000 -
2182.19/2191.09 c 2191 555259 352 1 - 0.0000 -
2187.27/2196.14 c 2196 556765 358 1 - 0.0000 -
2192.26/2201.19 c 2201 558078 334 1 - 0.0000 -
2197.32/2206.24 c 2206 559663 340 1 - 0.0000 -
2202.31/2211.29 c 2211 561349 330 1 - 0.0000 -
2207.39/2216.33 c 2216 562699 349 1 - 0.0000 -
2212.36/2221.38 c 2221 564009 363 1 - 0.0000 -
2217.45/2226.43 c 2226 565376 350 1 - 0.0000 -
2222.43/2231.49 c 2231 566650 356 1 - 0.0000 -
2227.51/2236.53 c 2237 567996 350 1 - 0.0000 -
2232.49/2241.58 c 2242 569591 346 1 - 0.0000 -
2237.57/2246.63 c 2247 570927 358 1 - 0.0000 -
2242.55/2251.68 c 2252 572177 359 1 - 0.0000 -
2247.63/2256.74 c 2257 573678 366 1 - 0.0000 -
2252.61/2261.79 c 2262 574941 381 1 - 0.0000 -
2257.70/2266.84 c 2267 576231 387 1 - 0.0000 -
2262.68/2271.89 c 2272 577657 393 1 - 0.0000 -
2267.76/2276.93 c 2277 579000 428 1 - 0.0000 -
2272.74/2281.98 c 2282 580453 450 1 - 0.0000 -
2277.83/2287.03 c 2287 581814 478 1 - 0.0000 -
2282.81/2292.08 c 2292 583070 470 1 - 0.0000 -
2287.90/2297.14 c 2297 584287 483 1 - 0.0000 -
2292.88/2302.18 c 2302 585584 375 1 - 0.0000 -
2297.94/2307.23 c 2307 586900 398 1 - 0.0000 -
2302.93/2312.29 c 2312 588319 391 1 - 0.0000 -
2308.01/2317.34 c 2317 589708 395 1 - 0.0000 -
2312.99/2322.39 c 2322 591156 439 1 - 0.0000 -
2318.07/2327.44 c 2327 592608 391 1 - 0.0000 -
2323.06/2332.48 c 2332 593892 358 1 - 0.0000 -
2328.13/2337.54 c 2338 595333 355 1 - 0.0000 -
2333.12/2342.59 c 2343 596769 364 1 - 0.0000 -
2338.19/2347.63 c 2348 598191 349 1 - 0.0000 -
2343.18/2352.68 c 2353 599591 348 1 - 0.0000 -
2348.26/2357.74 c 2358 600907 353 1 - 0.0000 -
2353.24/2362.78 c 2363 602193 342 1 - 0.0000 -
2358.32/2367.83 c 2368 603627 364 1 - 0.0000 -
2363.31/2372.88 c 2373 605204 368 1 - 0.0000 -
2368.39/2377.94 c 2378 606768 353 1 - 0.0000 -
2373.36/2382.99 c 2383 608367 347 1 - 0.0000 -
2378.46/2388.04 c 2388 609926 356 1 - 0.0000 -
2383.44/2393.08 c 2393 611474 362 1 - 0.0000 -
2388.52/2398.14 c 2398 612996 364 1 - 0.0000 -
2393.50/2403.19 c 2403 614622 343 1 - 0.0000 -
2398.57/2408.23 c 2408 616184 364 1 - 0.0000 -
2403.55/2413.29 c 2413 617788 364 1 - 0.0000 -
2408.64/2418.33 c 2418 619420 376 1 - 0.0000 -
2413.61/2423.39 c 2423 620834 324 1 - 0.0000 -
2418.70/2428.43 c 2428 622378 316 1 - 0.0000 -
2423.67/2433.49 c 2433 624105 324 1 - 0.0000 -
2428.76/2438.53 c 2439 625856 330 1 - 0.0000 -
2433.74/2443.59 c 2444 627597 329 1 - 0.0000 -
2438.82/2448.64 c 2449 629216 314 1 - 0.0000 -
2443.80/2453.69 c 2454 630534 337 1 - 0.0000 -
2448.88/2458.74 c 2459 631798 337 1 - 0.0000 -
2453.86/2463.79 c 2464 633199 318 1 - 0.0000 -
2458.94/2468.83 c 2469 634655 325 1 - 0.0000 -
2463.92/2473.89 c 2474 636067 327 1 - 0.0000 -
2469.01/2478.94 c 2479 637401 325 1 - 0.0000 -
2473.99/2483.98 c 2484 638793 317 1 - 0.0000 -
2479.08/2489.04 c 2489 640151 305 1 - 0.0000 -
2484.06/2494.09 c 2494 641652 313 1 - 0.0000 -
2489.14/2499.13 c 2499 642935 305 1 - 0.0000 -
2494.12/2504.18 c 2504 644348 320 1 - 0.0000 -
2499.19/2509.23 c 2509 645783 321 1 - 0.0000 -
2504.17/2514.28 c 2514 647287 317 1 - 0.0000 -
2509.26/2519.34 c 2519 648769 321 1 - 0.0000 -
2514.24/2524.38 c 2524 650211 321 1 - 0.0000 -
2519.31/2529.44 c 2529 651858 315 1 - 0.0000 -
2524.30/2534.49 c 2534 653453 315 1 - 0.0000 -
2529.38/2539.53 c 2540 654770 334 1 - 0.0000 -
2534.36/2544.58 c 2545 656128 345 1 - 0.0000 -
2539.44/2549.63 c 2550 657341 367 1 - 0.0000 -
2544.43/2554.69 c 2555 658578 376 1 - 0.0000 -
2549.51/2559.73 c 2560 659882 365 1 - 0.0000 -
2554.48/2564.79 c 2565 661147 361 1 - 0.0000 -
2559.57/2569.83 c 2570 662554 361 1 - 0.0000 -
2564.55/2574.89 c 2575 663982 354 1 - 0.0000 -
2569.63/2579.94 c 2580 665250 362 1 - 0.0000 -
2574.61/2584.98 c 2585 666573 361 1 - 0.0000 -
2579.69/2590.04 c 2590 667971 387 1 - 0.0000 -
2584.67/2595.09 c 2595 669427 377 1 - 0.0000 -
2589.75/2600.14 c 2600 671057 426 1 - 0.0000 -
2594.74/2605.18 c 2605 672677 435 1 - 0.0000 -
2599.80/2610.23 c 2610 674153 476 1 - 0.0000 -
2604.79/2615.28 c 2615 675697 449 1 - 0.0000 -
2609.87/2620.34 c 2620 677200 453 1 - 0.0000 -
2614.85/2625.39 c 2625 678767 463 1 - 0.0000 -
2619.93/2630.44 c 2630 680387 443 1 - 0.0000 -
2624.91/2635.48 c 2635 681968 409 1 - 0.0000 -
2630.00/2640.54 c 2641 683549 394 1 - 0.0000 -
2634.97/2645.59 c 2646 685084 387 1 - 0.0000 -
2640.06/2650.64 c 2651 686640 370 1 - 0.0000 -
2645.04/2655.69 c 2656 688038 397 1 - 0.0000 -
2650.11/2660.73 c 2661 689252 391 1 - 0.0000 -
2655.10/2665.78 c 2666 690508 388 1 - 0.0000 -
2660.18/2670.84 c 2671 691742 385 1 - 0.0000 -
2665.17/2675.89 c 2676 693142 383 1 - 0.0000 -
2670.24/2680.94 c 2681 694434 364 1 - 0.0000 -
2675.23/2685.98 c 2686 695890 383 1 - 0.0000 -
2680.32/2691.03 c 2691 697189 373 1 - 0.0000 -
2685.30/2696.09 c 2696 698414 369 1 - 0.0000 -
2690.38/2701.14 c 2701 699740 351 1 - 0.0000 -
2695.36/2706.18 c 2706 701120 357 1 - 0.0000 -
2700.43/2711.24 c 2711 702523 350 1 - 0.0000 -
2705.41/2716.28 c 2716 703877 342 1 - 0.0000 -
2710.49/2721.33 c 2721 705239 323 1 - 0.0000 -
2715.48/2726.39 c 2726 706761 327 1 - 0.0000 -
2720.56/2731.44 c 2731 708273 325 1 - 0.0000 -
2725.54/2736.49 c 2736 709698 341 1 - 0.0000 -
2730.62/2741.57 c 2742 711141 333 1 - 0.0000 -
2735.70/2746.62 c 2747 712556 337 1 - 0.0000 -
2740.68/2751.68 c 2752 713772 340 1 - 0.0000 -
2745.76/2756.72 c 2757 715012 356 1 - 0.0000 -
2750.75/2761.78 c 2762 716248 338 1 - 0.0000 -
2755.82/2766.82 c 2767 717602 347 1 - 0.0000 -
2760.81/2771.87 c 2772 719077 341 1 - 0.0000 -
2765.89/2776.92 c 2777 720436 332 1 - 0.0000 -
2770.87/2781.98 c 2782 722067 328 1 - 0.0000 -
2775.96/2787.03 c 2787 723531 331 1 - 0.0000 -
2780.94/2792.08 c 2792 725076 327 1 - 0.0000 -
2786.02/2797.13 c 2797 726691 327 1 - 0.0000 -
2791.00/2802.18 c 2802 728217 326 1 - 0.0000 -
2796.07/2807.23 c 2807 729676 317 1 - 0.0000 -
2801.06/2812.28 c 2812 731113 324 1 - 0.0000 -
2806.13/2817.33 c 2817 732658 304 1 - 0.0000 -
2811.12/2822.37 c 2822 733953 304 1 - 0.0000 -
2816.20/2827.43 c 2827 735480 301 1 - 0.0000 -
2821.18/2832.47 c 2832 736781 296 1 - 0.0000 -
2826.26/2837.52 c 2838 738211 302 1 - 0.0000 -
2831.24/2842.57 c 2843 739543 292 1 - 0.0000 -
2836.33/2847.62 c 2848 740920 283 1 - 0.0000 -
2841.31/2852.68 c 2853 742223 304 1 - 0.0000 -
2846.39/2857.73 c 2858 743554 345 1 - 0.0000 -
2851.37/2862.77 c 2863 744855 333 1 - 0.0000 -
2856.45/2867.83 c 2868 746156 295 1 - 0.0000 -
2861.43/2872.88 c 2873 747686 292 1 - 0.0000 -
2866.51/2877.93 c 2878 749079 265 1 - 0.0000 -
2871.49/2882.98 c 2883 750343 300 1 - 0.0000 -
2876.58/2888.02 c 2888 751612 295 1 - 0.0000 -
2881.56/2893.08 c 2893 752821 285 1 - 0.0000 -
2886.64/2898.13 c 2898 754101 309 1 - 0.0000 -
2891.62/2903.18 c 2903 755587 288 1 - 0.0000 -
2896.69/2908.23 c 2908 757035 291 1 - 0.0000 -
2901.68/2913.28 c 2913 758479 289 1 - 0.0000 -
2906.76/2918.33 c 2918 760067 313 1 - 0.0000 -
2911.74/2923.38 c 2923 761509 306 1 - 0.0000 -
2916.82/2928.43 c 2928 763102 300 1 - 0.0000 -
2921.80/2933.47 c 2933 764555 329 1 - 0.0000 -
2926.88/2938.52 c 2939 766044 327 1 - 0.0000 -
2931.86/2943.58 c 2944 767548 331 1 - 0.0000 -
2936.95/2948.62 c 2949 769022 302 1 - 0.0000 -
2941.92/2953.68 c 2954 770550 284 1 - 0.0000 -
2947.01/2958.73 c 2959 771952 289 1 - 0.0000 -
2951.99/2963.78 c 2964 773255 309 1 - 0.0000 -
2957.07/2968.82 c 2969 774737 300 1 - 0.0000 -
2962.05/2973.87 c 2974 775996 281 1 - 0.0000 -
2967.14/2978.92 c 2979 777217 291 1 - 0.0000 -
2972.12/2983.97 c 2984 778489 314 1 - 0.0000 -
2977.20/2989.02 c 2989 780044 315 1 - 0.0000 -
2982.18/2994.07 c 2994 781258 305 1 - 0.0000 -
2987.26/2999.12 c 2999 782619 305 1 - 0.0000 -
2992.24/3004.18 c 3004 784064 318 1 - 0.0000 -
2997.32/3009.22 c 3009 785452 318 1 - 0.0000 -
3002.29/3014.28 c 3014 786821 325 1 - 0.0000 -
3007.38/3019.32 c 3019 788025 327 1 - 0.0000 -
3012.36/3024.38 c 3024 789322 328 1 - 0.0000 -
3017.44/3029.42 c 3029 790966 333 1 - 0.0000 -
3022.42/3034.48 c 3034 792337 342 1 - 0.0000 -
3027.50/3039.52 c 3040 793650 366 1 - 0.0000 -
3032.49/3044.57 c 3045 795248 361 1 - 0.0000 -
3037.57/3049.63 c 3050 796693 358 1 - 0.0000 -
3042.55/3054.68 c 3055 798232 352 1 - 0.0000 -
3047.63/3059.73 c 3060 799581 366 1 - 0.0000 -
3052.61/3064.78 c 3065 801179 355 1 - 0.0000 -
3057.69/3069.82 c 3070 802723 365 1 - 0.0000 -
3062.67/3074.88 c 3075 804218 361 1 - 0.0000 -
3067.75/3079.93 c 3080 805643 357 1 - 0.0000 -
3072.74/3084.97 c 3085 807025 333 1 - 0.0000 -
3077.82/3090.03 c 3090 808303 353 1 - 0.0000 -
3082.80/3095.07 c 3095 809568 354 1 - 0.0000 -
3087.89/3100.13 c 3100 810808 340 1 - 0.0000 -
3092.87/3105.18 c 3105 812091 335 1 - 0.0000 -
3097.94/3110.22 c 3110 813482 335 1 - 0.0000 -
3102.92/3115.28 c 3115 814818 339 1 - 0.0000 -
3108.00/3120.33 c 3120 816157 337 1 - 0.0000 -
3112.98/3125.39 c 3125 817433 328 1 - 0.0000 -
3118.06/3130.43 c 3130 818839 303 1 - 0.0000 -
3123.04/3135.48 c 3135 820302 309 1 - 0.0000 -
3128.13/3140.54 c 3141 821755 314 1 - 0.0000 -
3133.11/3145.59 c 3146 823217 298 1 - 0.0000 -
3138.19/3150.63 c 3151 824653 303 1 - 0.0000 -
3143.16/3155.69 c 3156 826105 306 1 - 0.0000 -
3148.25/3160.74 c 3161 827546 300 1 - 0.0000 -
3153.23/3165.79 c 3166 828774 299 1 - 0.0000 -
3158.32/3170.84 c 3171 830206 294 1 - 0.0000 -
3163.30/3175.89 c 3176 831584 302 1 - 0.0000 -
3168.38/3180.94 c 3181 833077 290 1 - 0.0000 -
3173.36/3185.99 c 3186 834511 297 1 - 0.0000 -
3178.45/3191.03 c 3191 835941 288 1 - 0.0000 -
3183.43/3196.09 c 3196 837156 290 1 - 0.0000 -
3188.51/3201.14 c 3201 838675 286 1 - 0.0000 -
3193.50/3206.18 c 3206 840136 293 1 - 0.0000 -
3198.56/3211.24 c 3211 841710 287 1 - 0.0000 -
3203.55/3216.28 c 3216 843214 278 1 - 0.0000 -
3208.63/3221.33 c 3221 844649 283 1 - 0.0000 -
3213.61/3226.38 c 3226 846092 289 1 - 0.0000 -
3218.70/3231.44 c 3231 847199 295 1 - 0.0000 -
3223.67/3236.49 c 3236 848407 280 1 - 0.0000 -
3228.75/3241.54 c 3242 849704 292 1 - 0.0000 -
3233.74/3246.59 c 3247 850961 325 1 - 0.0000 -
3238.82/3251.64 c 3252 852233 344 1 - 0.0000 -
3243.80/3256.68 c 3257 853521 333 1 - 0.0000 -
3248.88/3261.74 c 3262 854826 283 1 - 0.0000 -
3253.86/3266.78 c 3267 856062 291 1 - 0.0000 -
3258.95/3271.83 c 3272 857296 312 1 - 0.0000 -
3263.93/3276.89 c 3277 858533 317 1 - 0.0000 -
3269.00/3281.94 c 3282 859792 327 1 - 0.0000 -
3273.99/3286.99 c 3287 861146 317 1 - 0.0000 -
3279.08/3292.03 c 3292 862328 311 1 - 0.0000 -
3284.07/3297.09 c 3297 863551 307 1 - 0.0000 -
3289.15/3302.13 c 3302 864748 308 1 - 0.0000 -
3294.13/3307.19 c 3307 866227 286 1 - 0.0000 -
3299.20/3312.24 c 3312 867798 285 1 - 0.0000 -
3304.18/3317.28 c 3317 869089 306 1 - 0.0000 -
3309.26/3322.34 c 3322 870264 311 1 - 0.0000 -
3314.24/3327.39 c 3327 871490 308 1 - 0.0000 -
3319.32/3332.43 c 3332 872672 291 1 - 0.0000 -
3324.30/3337.48 c 3337 874102 305 1 - 0.0000 -
3329.39/3342.54 c 3343 875298 291 1 - 0.0000 -
3334.37/3347.59 c 3348 876382 298 1 - 0.0000 -
3339.44/3352.64 c 3353 877598 282 1 - 0.0000 -
3344.43/3357.68 c 3358 878952 287 1 - 0.0000 -
3349.61/3362.82 c 3363 880319 268 1 - 0.0000 -
3354.59/3367.88 c 3368 881737 261 1 - 0.0000 -
3359.67/3372.93 c 3373 882964 271 1 - 0.0000 -
3364.65/3377.98 c 3378 884172 287 1 - 0.0000 -
3369.75/3383.03 c 3383 885490 287 1 - 0.0000 -
3374.73/3388.07 c 3388 886819 289 1 - 0.0000 -
3379.81/3393.13 c 3393 888114 300 1 - 0.0000 -
3384.79/3398.17 c 3398 889430 288 1 - 0.0000 -
3389.86/3403.22 c 3403 890802 290 1 - 0.0000 -
3394.84/3408.28 c 3408 892132 286 1 - 0.0000 -
3399.93/3413.33 c 3413 893523 276 1 - 0.0000 -
3404.90/3418.38 c 3418 894778 295 1 - 0.0000 -
3409.99/3423.43 c 3423 896061 284 1 - 0.0000 -
3414.97/3428.47 c 3428 897413 283 1 - 0.0000 -
3420.05/3433.53 c 3434 898619 286 1 - 0.0000 -
3425.03/3438.58 c 3439 899967 300 1 - 0.0000 -
3430.11/3443.62 c 3444 901302 307 1 - 0.0000 -
3435.09/3448.67 c 3449 902757 306 1 - 0.0000 -
3440.17/3453.73 c 3454 904076 332 1 - 0.0000 -
3445.15/3458.78 c 3459 905388 358 1 - 0.0000 -
3450.23/3463.82 c 3464 906661 388 1 - 0.0000 -
3455.22/3468.88 c 3469 908045 402 1 - 0.0000 -
3460.30/3473.93 c 3474 909265 415 1 - 0.0000 -
3465.28/3478.98 c 3479 910571 404 1 - 0.0000 -
3470.36/3484.03 c 3484 911824 430 1 - 0.0000 -
3475.35/3489.07 c 3489 913047 433 1 - 0.0000 -
3480.42/3494.13 c 3494 914345 447 1 - 0.0000 -
3485.41/3499.17 c 3499 915594 435 1 - 0.0000 -
3490.48/3504.23 c 3504 916881 424 1 - 0.0000 -
3495.46/3509.28 c 3509 918127 418 1 - 0.0000 -
3500.54/3514.32 c 3514 919250 417 1 - 0.0000 -
3505.52/3519.38 c 3519 920474 405 1 - 0.0000 -
3510.61/3524.43 c 3524 921751 393 1 - 0.0000 -
3515.58/3529.48 c 3529 923090 393 1 - 0.0000 -
3520.67/3534.53 c 3535 924457 356 1 - 0.0000 -
3525.65/3539.58 c 3540 925795 335 1 - 0.0000 -
3530.73/3544.62 c 3545 927115 314 1 - 0.0000 -
3535.71/3549.68 c 3550 928333 288 1 - 0.0000 -
3540.79/3554.73 c 3555 929677 305 1 - 0.0000 -
3545.78/3559.77 c 3560 930921 312 1 - 0.0000 -
3550.86/3564.82 c 3565 932333 293 1 - 0.0000 -
3555.84/3569.88 c 3570 933632 302 1 - 0.0000 -
3560.92/3574.93 c 3575 934927 307 1 - 0.0000 -
3565.90/3579.98 c 3580 936314 304 1 - 0.0000 -
3570.98/3585.03 c 3585 937702 304 1 - 0.0000 -
3575.97/3590.08 c 3590 939261 301 1 - 0.0000 -
3581.06/3595.13 c 3595 940970 304 1 - 0.0000 -
3583.94/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.94/3598.04 c Total Time : 3598.0400
3583.94/3598.04 c solving : 3598.0400
3583.94/3598.04 c presolving : 0.3077 (included in solving)
3583.94/3598.04 c B&B Tree :
3583.94/3598.04 c nodes (total) : 1
3583.94/3598.04 c Solution :
3583.94/3598.04 c Solutions found : 0
3583.94/3598.04 c Primal Bound : -
3583.94/3598.04 c Dual Bound : +0.00000000000000e+00
3583.94/3598.04 c Gap : -
3583.94/3598.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: 64059 MiB (63045 MiB free)
memory of node 1: 64510 MiB (45417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464567-1722385815/watcher-4464567-1722385815 -o /tmp/evaluation-result-4464567-1722385815/solver-4464567-1722385815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28307 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464567-1722385815.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=32729, runsolver pid=32726
[startup+0.100548 s]*
/proc/loadavg: 4.22 4.18 4.18 5/248 32730
/proc/meminfo: memFree=111039484/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=54864 memory=43276 CPUtime=0.1 cores=0,2
/proc/32729/stat : 32729 (fscip) R 32726 32729 28297 0 -1 4194304 8529 0 0 0 8 2 0 0 20 0 1 0 4952209 56180736 10819 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 13749 10819 2598 3035 0 10145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54864 KiB
Current children cumulated memory: 43276 KiB
[startup+0.213156 s]*
/proc/loadavg: 4.22 4.18 4.18 5/248 32730
/proc/meminfo: memFree=111019800/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=73252 memory=61520 CPUtime=0.21 cores=0,2
/proc/32729/stat : 32729 (fscip) R 32726 32729 28297 0 -1 4194304 14612 0 0 0 18 3 0 0 20 0 1 0 4952209 75010048 15380 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 18313 15380 2710 3035 0 14709 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73252 KiB
Current children cumulated memory: 61520 KiB
[startup+0.312221 s]*
/proc/loadavg: 4.22 4.18 4.18 5/248 32730
/proc/meminfo: memFree=111019828/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=68476 memory=56776 CPUtime=0.31 cores=0,2
/proc/32729/stat : 32729 (fscip) R 32726 32729 28297 0 -1 4194304 14660 0 0 0 28 3 0 0 20 0 1 0 4952209 70119424 14194 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 17119 14194 2710 3035 0 13515 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68476 KiB
Current children cumulated memory: 56776 KiB
[startup+0.700545 s]
/proc/loadavg: 4.22 4.18 4.18 5/250 32732
/proc/meminfo: memFree=110951260/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=216852 memory=132444 CPUtime=0.68 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 33020 0 0 0 60 8 0 0 20 0 3 0 4952209 222056448 33111 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 54213 33111 2774 3035 0 40571 0
[pid=32729/tid=32731] ppid=32726 vsize=216852 memory=38744 CPUtime=0.23 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 8503 0 0 0 21 2 0 0 20 0 3 0 4952251 222056448 33111 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=216852 memory=2273 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4952257 222056448 33111 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216852 KiB
Current children cumulated memory: 132444 KiB
[startup+1.50034 s]
/proc/loadavg: 4.22 4.18 4.18 5/250 32732
/proc/meminfo: memFree=110926128/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=219072 memory=153168 CPUtime=1.46 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 39215 0 0 0 136 10 0 0 20 0 3 0 4952209 224329728 38292 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 54768 38292 2934 3035 0 45712 0
[pid=32729/tid=32731] ppid=32726 vsize=219072 memory=2273 CPUtime=1.03 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 14692 0 0 0 98 5 0 0 20 0 3 0 4952251 224329728 38292 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=219072 memory=0 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4952257 224329728 38292 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 219072 KiB
Current children cumulated memory: 153168 KiB
[startup+3.11274 s]
/proc/loadavg: 4.20 4.18 4.18 5/250 32732
/proc/meminfo: memFree=110913512/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=222080 memory=159156 CPUtime=3.07 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 47936 0 0 0 296 11 0 0 20 0 3 0 4952209 227409920 39789 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 55520 39789 2950 3035 0 47582 0
[pid=32729/tid=32731] ppid=32726 vsize=222080 memory=0 CPUtime=2.62 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 23413 0 0 0 257 5 0 0 20 0 3 0 4952251 227409920 39789 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=222080 memory=0 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4952257 227409920 39789 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 222080 KiB
Current children cumulated memory: 159156 KiB
[startup+6.30038 s]
/proc/loadavg: 4.20 4.18 4.18 5/250 32732
/proc/meminfo: memFree=110895620/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=289076 memory=171780 CPUtime=6.25 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 67041 0 0 0 613 12 0 0 20 0 3 0 4952209 296013824 42945 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 72269 42945 2950 3035 0 52746 0
[pid=32729/tid=32731] ppid=32726 vsize=289076 memory=161108 CPUtime=5.8 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 42517 0 0 0 574 6 0 0 20 0 3 0 4952251 296013824 42945 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=289076 memory=153544 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4952257 296013824 42945 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 289076 KiB
Current children cumulated memory: 171780 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.17 4.18 5/250 32734
/proc/meminfo: memFree=110862228/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=289076 memory=196408 CPUtime=12.63 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 91042 0 0 0 1249 14 0 0 20 0 3 0 4952209 296013824 49102 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 72269 49102 2950 3035 0 59982 0
[pid=32729/tid=32731] ppid=32726 vsize=289076 memory=-7163656373871403134 CPUtime=12.18 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 66470 0 0 0 1210 8 0 0 20 0 3 0 4952251 296013824 49102 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=289076 memory=11648 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4952257 296013824 49102 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 289076 KiB
Current children cumulated memory: 196408 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.16 4.17 5/250 32735
/proc/meminfo: memFree=110833120/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=289248 memory=214316 CPUtime=25.36 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 134161 0 0 0 2518 18 0 0 20 0 3 0 4952209 296189952 53579 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 72312 53579 2998 3035 0 63463 0
[pid=32729/tid=32731] ppid=32726 vsize=289248 memory=11648 CPUtime=24.93 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 109531 0 0 0 2480 13 0 0 20 0 3 0 4952251 296189952 53579 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=289248 memory=-7163656373871403134 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4952257 296189952 53579 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 289248 KiB
Current children cumulated memory: 214316 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.17 4.17 5/250 32740
/proc/meminfo: memFree=110783364/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=354920 memory=238588 CPUtime=50.88 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 171354 0 0 0 5065 23 0 0 20 0 3 0 4952209 363438080 59647 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 88730 59647 2998 3035 0 70102 0
[pid=32729/tid=32731] ppid=32726 vsize=354920 memory=11648 CPUtime=50.43 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 146673 0 0 0 5026 17 0 0 20 0 3 0 4952251 363438080 59647 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=354920 memory=214432 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4952257 363438080 59647 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 354920 KiB
Current children cumulated memory: 238588 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/250 32748
/proc/meminfo: memFree=110741704/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=354920 memory=250496 CPUtime=101.86 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 210674 0 0 0 10157 29 0 0 20 0 3 0 4952209 363438080 62624 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 88730 62624 2998 3035 0 75125 0
[pid=32729/tid=32731] ppid=32726 vsize=354920 memory=238664 CPUtime=101.41 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 185953 0 0 0 10118 23 0 0 20 0 3 0 4952251 363438080 62624 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=354920 memory=238664 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4952257 363438080 62624 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 354920 KiB
Current children cumulated memory: 250496 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/250 32759
/proc/meminfo: memFree=110670144/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=354920 memory=283852 CPUtime=161.62 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 251547 0 0 0 16128 34 0 0 20 0 3 0 4952209 363438080 70963 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 88730 70963 2998 3035 0 81950 0
[pid=32729/tid=32731] ppid=32726 vsize=354920 memory=250520 CPUtime=161.17 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 226788 0 0 0 16088 29 0 0 20 0 3 0 4952251 363438080 70963 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=354920 memory=250520 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4952257 363438080 70963 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 354920 KiB
Current children cumulated memory: 283852 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.19 4.18 5/248 32769
/proc/meminfo: memFree=110631692/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=354920 memory=288620 CPUtime=221.37 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 275697 0 0 0 22096 41 0 0 20 0 3 0 4952209 363438080 72155 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 88730 72155 2998 3035 0 82991 0
[pid=32729/tid=32731] ppid=32726 vsize=354920 memory=283860 CPUtime=220.91 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 250917 0 0 0 22056 35 0 0 20 0 3 0 4952251 363438080 72155 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=354920 memory=283860 CPUtime=0 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4952257 363438080 72155 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
################
# More data... #
################
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=363152 CPUtime=3388.19 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 540049 0 0 0 338516 303 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=363368 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 89 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3388.97 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/250 34402
/proc/meminfo: memFree=128384908/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3448.74 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 566551 0 0 0 344547 327 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=363152 CPUtime=3447.96 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 540860 0 0 0 344488 308 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=11648 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 90 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3448.74 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/250 34580
/proc/meminfo: memFree=128379512/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3508.51 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 567352 0 0 0 350520 331 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=12800 CPUtime=3507.73 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 541645 0 0 0 350461 312 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=1912 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 91 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3508.51 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/250 34591
/proc/meminfo: memFree=128374680/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3568.28 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568148 0 0 0 356493 335 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=11648 CPUtime=3567.49 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542425 0 0 0 356433 316 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=11648 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3568.28 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3598.09 s]
# the end of solver process 32729 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.65 s, system=3.37568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.16 4.17 5/250 34591
/proc/meminfo: memFree=128374672/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3569.99 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568150 0 0 0 356664 335 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=7686721470247706567 CPUtime=3569.2 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542427 0 0 0 356604 316 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=-7449981232481663171 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3590.4 s]
/proc/loadavg: 4.02 4.14 4.16 4/245 34684
/proc/meminfo: memFree=129038852/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3576.36 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568158 0 0 0 357300 336 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=-7163656373871403134 CPUtime=3575.56 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542435 0 0 0 357240 316 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=33092 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3576.36 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3593.6 s]
/proc/loadavg: 4.02 4.14 4.16 4/245 34684
/proc/meminfo: memFree=129038012/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3579.55 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568681 0 0 0 357619 336 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=363368 CPUtime=3578.75 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542958 0 0 0 357559 316 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=363368 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3579.55 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3595.2 s]
/proc/loadavg: 4.02 4.14 4.16 5/245 34684
/proc/meminfo: memFree=129038040/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3581.14 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568686 0 0 0 357778 336 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=11768 CPUtime=3580.35 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542963 0 0 0 357718 317 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=12800 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3596.8 s]
/proc/loadavg: 4.02 4.14 4.16 4/245 34684
/proc/meminfo: memFree=129038060/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3582.74 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568686 0 0 0 357938 336 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=363368 CPUtime=3581.94 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542963 0 0 0 357877 317 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=11768 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3582.74 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3597.6 s]
/proc/loadavg: 4.02 4.14 4.16 4/245 34686
/proc/meminfo: memFree=129038100/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=420456 memory=363368 CPUtime=3583.53 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568686 0 0 0 358017 336 0 0 20 0 3 0 4952209 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 105114 90842 2998 3035 0 93309 0
[pid=32729/tid=32731] ppid=32726 vsize=420456 memory=5468 CPUtime=3582.74 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 542963 0 0 0 357957 317 0 0 20 0 3 0 4952251 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=420456 memory=1912 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 430546944 90842 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 420456 KiB
Current children cumulated memory: 363368 KiB
[startup+3598 s]*
/proc/loadavg: 4.02 4.14 4.16 4/245 34686
/proc/meminfo: memFree=129038132/131655788 swapFree=131071472/131071996
[pid=32729] ppid=32726 vsize=417612 memory=360524 CPUtime=3583.94 cores=0,2
/proc/32729/stat : 32729 (fscip) S 32726 32729 28297 0 -1 1077936128 568794 0 0 0 358058 336 0 0 20 0 3 0 4952209 427634688 90131 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
/proc/32729/statm: 104403 90131 2998 3035 0 92598 0
[pid=32729/tid=32731] ppid=32726 vsize=415564 memory=7686721470247706567 CPUtime=3583.15 cores=0,2
/proc/32729/task/32731/stat : 32731 (fscip) R 32726 32729 28297 0 -1 4194368 543069 0 0 0 357998 317 0 0 20 0 3 0 4952251 425537536 89619 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
[pid=32729/tid=32732] ppid=32726 vsize=415564 memory=-4050210904893800080 CPUtime=0.05 cores=0,2
/proc/32729/task/32732/stat : 32732 (fscip) S 32726 32729 28297 0 -1 1077936192 92 0 0 0 1 4 0 0 20 0 3 0 4952257 425537536 89619 134679101440 4194304 16623229 140720526165808 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51224576 140720526169114 140720526169230 140720526169230 140720526176240 0
Current children cumulated CPU time: 3583.94 s
Current children cumulated vsize: 417612 KiB
Current children cumulated memory: 360524 KiB
Child status: 0
Real time (s): 3598.09
CPU time (s): 3584.03
CPU user time (s): 3580.65
CPU system time (s): 3.37568
CPU usage (%): 99.6093
Max. virtual memory (cumulated for all children) (KiB): 420456
Max. memory (cumulated for all children) (KiB): 363368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.65
system time used= 3.37568
maximum resident set size= 363368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570539
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= 10827
involuntary context switches= 25069
# summary of solver processes directly reported to runsolver:
# pid: 32729
# total CPU time (s): 3584.03
# total CPU user time (s): 3580.65
# total CPU system time (s): 3.37568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2723 second user time and 33.6302 second system time
The end
Begin job on nodeC008 at 2024-07-31 02:30:15
IDJOB=4464567
IDBENCH=160409
IDSOLVER=3092
FILE ID=nodeC008/4464567-1722385815
RUNJOBID= nodeC008-1722378594-28307
SLURM_JOB_ID= 8249838
Free space on /tmp= 723572 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.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-4464567-1722385815/watcher-4464567-1722385815 -o /tmp/evaluation-result-4464567-1722385815/solver-4464567-1722385815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28307 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464567-1722385815.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=99795441
nodeC008.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 : 3492.332
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
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 : 3597.099
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.27
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.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
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.520
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.27
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 : 3670.177
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
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 : 3492.314
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.27
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.541
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
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.435
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111067392 kB
MemAvailable: 111430376 kB
Buffers: 91144 kB
Cached: 1109532 kB
SwapCached: 72 kB
Active: 383412 kB
Inactive: 19742932 kB
Active(anon): 1480 kB
Inactive(anon): 18945304 kB
Active(file): 381932 kB
Inactive(file): 797628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 28644 kB
Writeback: 4 kB
AnonPages: 18925364 kB
Mapped: 125224 kB
Shmem: 21104 kB
KReclaimable: 46912 kB
Slab: 122536 kB
SReclaimable: 46912 kB
SUnreclaim: 75624 kB
KernelStack: 3968 kB
PageTables: 46332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 12438116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3989504 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: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC008 at 2024-07-31 03:30:13