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.09/0.12 c Default LC presolving (default).
0.09/0.12 c ** Before presolving: virtualMemUsedAtLc = 91786817, getVmSize() = 81858560, SCIPgetMemUsed() = 52601301, SCIPgetMemTotal() = 58188293, SCIPgetMemExternEstim() = 33598524
0.09/0.12 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.29/0.35 c ** Estimated virtualMemUsedAtSolver = 77595982, getVmSize() = 108253184, SCIPgetMemUsed() = 55841121, SCIPgetMemTotal() = 82795449, SCIPgetMemExternEstim() = 33598524
0.29/0.35 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.29/0.35 c Original Problem :
0.29/0.35 c Problem name : instance-4464769-1722382193
0.29/0.35 c Variables : 16670 (1000 binary, 0 integer, 15670 implicit integer, 0 continuous)
0.29/0.35 c Constraints : 18172
0.29/0.35 c Objective sense : minimize
0.29/0.35 c Presolved Problem :
0.29/0.35 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.35 c Constraints : 1502
0.29/0.35 c Constraints : Number
0.29/0.35 c knapsack : 1001
0.29/0.35 c setppc : 500
0.29/0.35 c linear : 1
0.29/0.35 c ** Instance transfer method used: 0
0.29/0.35 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.36 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.36 c Nodes Active
0.29/0.36 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.16/5.26 c 5 17 16 1 - 0.0000 -
10.55/10.69 c 11 28 27 1 - 0.0000 -
16.43/16.52 c 17 438 153 1 - 0.0000 -
21.51/21.61 c 22 1373 293 1 - 0.0000 -
26.50/26.67 c 27 2466 303 1 - 0.0000 -
31.88/32.00 c 32 3511 358 1 - 0.0000 -
36.87/37.05 c 37 4589 455 1 - 0.0000 -
41.96/42.11 c 42 5750 453 1 - 0.0000 -
46.94/47.16 c 47 6899 496 1 - 0.0000 -
52.02/52.21 c 52 7930 568 1 - 0.0000 -
57.00/57.26 c 57 9103 673 1 - 0.0000 -
62.08/62.31 c 62 10219 596 1 - 0.0000 -
67.07/67.38 c 67 11324 538 1 - 0.0000 -
72.16/72.42 c 72 12320 536 1 - 0.0000 -
77.14/77.48 c 77 13409 516 1 - 0.0000 -
82.22/82.53 c 83 14704 494 1 - 0.0000 -
87.20/87.58 c 88 16045 625 1 - 0.0000 -
92.49/92.80 c 93 17167 604 1 - 0.0000 -
97.87/98.21 c 98 18230 641 1 - 0.0000 -
102.86/103.26 c 103 19439 708 1 - 0.0000 -
107.95/108.32 c 108 20621 717 1 - 0.0000 -
112.93/113.36 c 113 21967 765 1 - 0.0000 -
118.02/118.42 c 118 23242 709 1 - 0.0000 -
123.00/123.47 c 123 24383 709 1 - 0.0000 -
128.08/128.53 c 129 25540 700 1 - 0.0000 -
133.07/133.58 c 134 26625 700 1 - 0.0000 -
138.15/138.64 c 139 27763 704 1 - 0.0000 -
143.14/143.69 c 144 29036 851 1 - 0.0000 -
148.22/148.74 c 149 30209 691 1 - 0.0000 -
153.21/153.79 c 154 31280 718 1 - 0.0000 -
158.29/158.84 c 159 32385 703 1 - 0.0000 -
163.28/163.89 c 164 33487 714 1 - 0.0000 -
168.36/168.94 c 169 34739 711 1 - 0.0000 -
173.34/173.99 c 174 36061 745 1 - 0.0000 -
178.44/179.04 c 179 37334 775 1 - 0.0000 -
183.42/184.09 c 184 38482 854 1 - 0.0000 -
188.51/189.14 c 189 39659 835 1 - 0.0000 -
193.49/194.19 c 194 40670 845 1 - 0.0000 -
198.57/199.25 c 199 41686 829 1 - 0.0000 -
203.65/204.32 c 204 42691 882 1 - 0.0000 -
208.64/209.38 c 209 43666 884 1 - 0.0000 -
213.72/214.43 c 214 44555 914 1 - 0.0000 -
218.81/219.50 c 220 45556 935 1 - 0.0000 -
223.79/224.54 c 225 46587 976 1 - 0.0000 -
228.87/229.60 c 230 47513 964 1 - 0.0000 -
233.86/234.65 c 235 48505 936 1 - 0.0000 -
238.94/239.72 c 240 49535 1030 1 - 0.0000 -
243.93/244.77 c 245 50551 1048 1 - 0.0000 -
249.02/249.82 c 250 51545 1052 1 - 0.0000 -
254.00/254.88 c 255 52225 1059 1 - 0.0000 -
259.09/259.97 c 260 52643 1011 1 - 0.0000 -
264.18/265.01 c 265 53598 1009 1 - 0.0000 -
269.16/270.07 c 270 54610 1056 1 - 0.0000 -
274.25/275.11 c 275 55724 1057 1 - 0.0000 -
279.23/280.17 c 280 56730 1053 1 - 0.0000 -
284.31/285.22 c 285 57599 989 1 - 0.0000 -
289.29/290.28 c 290 58717 946 1 - 0.0000 -
294.38/295.32 c 295 59851 984 1 - 0.0000 -
299.37/300.39 c 300 60800 1001 1 - 0.0000 -
304.45/305.44 c 305 61835 1063 1 - 0.0000 -
309.53/310.50 c 311 62972 1044 1 - 0.0000 -
314.52/315.56 c 316 64051 1090 1 - 0.0000 -
319.60/320.60 c 321 64943 1149 1 - 0.0000 -
324.59/325.66 c 326 65912 1186 1 - 0.0000 -
329.67/330.70 c 331 66920 1215 1 - 0.0000 -
334.65/335.75 c 336 68196 1320 1 - 0.0000 -
339.74/340.80 c 341 69477 1327 1 - 0.0000 -
344.73/345.85 c 346 70762 1252 1 - 0.0000 -
349.81/350.90 c 351 71949 1258 1 - 0.0000 -
354.79/355.95 c 356 73084 1315 1 - 0.0000 -
359.89/361.01 c 361 74225 1268 1 - 0.0000 -
364.87/366.05 c 366 75289 1295 1 - 0.0000 -
369.95/371.10 c 371 76381 1317 1 - 0.0000 -
374.94/376.17 c 376 77374 1315 1 - 0.0000 -
380.02/381.21 c 381 78395 1307 1 - 0.0000 -
385.00/386.26 c 386 79540 1315 1 - 0.0000 -
390.08/391.31 c 391 80529 1293 1 - 0.0000 -
395.07/396.36 c 396 81500 1269 1 - 0.0000 -
400.16/401.42 c 401 82461 1299 1 - 0.0000 -
405.14/406.49 c 406 82947 1289 1 - 0.0000 -
410.23/411.54 c 412 83955 1289 1 - 0.0000 -
415.31/416.61 c 417 84595 1323 1 - 0.0000 -
420.30/421.68 c 422 85204 1298 1 - 0.0000 -
425.38/426.75 c 427 85975 1272 1 - 0.0000 -
430.47/431.82 c 432 86466 1323 1 - 0.0000 -
435.46/436.87 c 437 87132 1343 1 - 0.0000 -
440.54/441.92 c 442 88420 1406 1 - 0.0000 -
445.52/446.97 c 447 89610 1386 1 - 0.0000 -
450.62/452.03 c 452 90667 1384 1 - 0.0000 -
455.60/457.08 c 457 91702 1404 1 - 0.0000 -
460.68/462.14 c 462 92815 1413 1 - 0.0000 -
465.77/467.21 c 467 94080 1470 1 - 0.0000 -
470.85/472.30 c 472 95339 1555 1 - 0.0000 -
475.84/477.34 c 477 96521 1543 1 - 0.0000 -
480.82/482.39 c 482 97694 1573 1 - 0.0000 -
485.90/487.44 c 487 98782 1527 1 - 0.0000 -
490.98/492.52 c 493 99861 1545 1 - 0.0000 -
495.98/497.59 c 498 100560 1603 1 - 0.0000 -
501.06/502.65 c 503 101511 1616 1 - 0.0000 -
506.14/507.70 c 508 102678 1639 1 - 0.0000 -
511.12/512.76 c 513 103320 1659 1 - 0.0000 -
516.21/517.82 c 518 104114 1670 1 - 0.0000 -
521.19/522.88 c 523 105217 1658 1 - 0.0000 -
526.28/527.93 c 528 106299 1676 1 - 0.0000 -
531.37/533.01 c 533 107377 1707 1 - 0.0000 -
536.36/538.06 c 538 108381 1670 1 - 0.0000 -
541.44/543.16 c 543 108948 1685 1 - 0.0000 -
546.52/548.27 c 548 109437 1684 1 - 0.0000 -
551.61/553.33 c 553 109952 1695 1 - 0.0000 -
556.59/558.39 c 558 110839 1643 1 - 0.0000 -
561.68/563.43 c 563 111974 1634 1 - 0.0000 -
566.67/568.49 c 568 113038 1617 1 - 0.0000 -
571.75/573.53 c 574 114157 1590 1 - 0.0000 -
576.73/578.58 c 579 115357 1618 1 - 0.0000 -
581.82/583.63 c 584 116698 1604 1 - 0.0000 -
586.80/588.68 c 589 117959 1588 1 - 0.0000 -
591.89/593.73 c 594 119147 1632 1 - 0.0000 -
596.88/598.78 c 599 120274 1575 1 - 0.0000 -
601.95/603.83 c 604 121314 1609 1 - 0.0000 -
606.94/608.89 c 609 122352 1611 1 - 0.0000 -
612.03/613.99 c 614 122869 1630 1 - 0.0000 -
617.12/619.07 c 619 123528 1639 1 - 0.0000 -
622.20/624.15 c 624 124121 1630 1 - 0.0000 -
627.28/629.20 c 629 124715 1664 1 - 0.0000 -
632.27/634.27 c 634 125309 1648 1 - 0.0000 -
637.36/639.34 c 639 125991 1629 1 - 0.0000 -
642.34/644.39 c 644 127243 1642 1 - 0.0000 -
647.43/649.46 c 649 128421 1675 1 - 0.0000 -
652.52/654.51 c 655 129552 1678 1 - 0.0000 -
657.50/659.57 c 660 130831 1657 1 - 0.0000 -
662.58/664.62 c 665 132351 1669 1 - 0.0000 -
667.57/669.68 c 670 133584 1655 1 - 0.0000 -
672.66/674.73 c 675 134907 1664 1 - 0.0000 -
677.64/679.78 c 680 136360 1655 1 - 0.0000 -
682.73/684.83 c 685 137474 1659 1 - 0.0000 -
687.72/689.88 c 690 138127 1656 1 - 0.0000 -
692.80/694.93 c 695 139460 1665 1 - 0.0000 -
697.79/699.98 c 700 140658 1675 1 - 0.0000 -
702.88/705.04 c 705 141820 1675 1 - 0.0000 -
707.86/710.09 c 710 142909 1652 1 - 0.0000 -
712.95/715.14 c 715 144192 1729 1 - 0.0000 -
717.93/720.19 c 720 145403 1732 1 - 0.0000 -
723.01/725.24 c 725 146639 1736 1 - 0.0000 -
728.10/730.30 c 730 148051 1794 1 - 0.0000 -
733.29/735.52 c 736 149120 1824 1 - 0.0000 -
738.28/740.57 c 741 150245 1819 1 - 0.0000 -
743.36/745.63 c 746 150820 1808 1 - 0.0000 -
748.45/750.72 c 751 151360 1804 1 - 0.0000 -
753.43/755.77 c 756 152033 1843 1 - 0.0000 -
758.52/760.82 c 761 153331 1853 1 - 0.0000 -
763.50/765.89 c 766 154326 1874 1 - 0.0000 -
768.59/770.93 c 771 155542 1875 1 - 0.0000 -
773.58/775.98 c 776 156647 1867 1 - 0.0000 -
778.66/781.03 c 781 157499 1886 1 - 0.0000 -
783.65/786.08 c 786 158535 1966 1 - 0.0000 -
788.74/791.14 c 791 159816 1929 1 - 0.0000 -
793.81/796.20 c 796 160971 1946 1 - 0.0000 -
798.80/801.25 c 801 162031 1954 1 - 0.0000 -
803.88/806.30 c 806 163141 2017 1 - 0.0000 -
808.86/811.37 c 811 164128 2041 1 - 0.0000 -
813.95/816.42 c 816 165211 2103 1 - 0.0000 -
818.94/821.47 c 821 166262 2059 1 - 0.0000 -
824.01/826.52 c 827 167387 2048 1 - 0.0000 -
829.00/831.58 c 832 168619 2071 1 - 0.0000 -
834.08/836.62 c 837 169687 2109 1 - 0.0000 -
839.06/841.69 c 842 170341 2116 1 - 0.0000 -
844.15/846.76 c 847 170846 2093 1 - 0.0000 -
849.23/851.84 c 852 171301 2070 1 - 0.0000 -
854.22/856.89 c 857 172056 2119 1 - 0.0000 -
859.31/861.94 c 862 173207 2120 1 - 0.0000 -
864.28/866.99 c 867 174369 2130 1 - 0.0000 -
869.37/872.04 c 872 175638 2169 1 - 0.0000 -
874.35/877.09 c 877 176793 2136 1 - 0.0000 -
879.45/882.15 c 882 178053 2158 1 - 0.0000 -
884.43/887.19 c 887 179124 2136 1 - 0.0000 -
889.51/892.24 c 892 180228 2160 1 - 0.0000 -
894.58/897.34 c 897 181340 2136 1 - 0.0000 -
899.77/902.57 c 903 182713 2158 1 - 0.0000 -
904.85/907.62 c 908 183862 2167 1 - 0.0000 -
909.84/912.68 c 913 184839 2178 1 - 0.0000 -
914.92/917.74 c 918 185464 2191 1 - 0.0000 -
920.01/922.80 c 923 186312 2278 1 - 0.0000 -
925.09/927.93 c 928 186845 2311 1 - 0.0000 -
930.07/932.97 c 933 187710 2312 1 - 0.0000 -
935.16/938.03 c 938 188821 2299 1 - 0.0000 -
940.14/943.07 c 943 190096 2350 1 - 0.0000 -
945.23/948.12 c 948 191299 2308 1 - 0.0000 -
950.21/953.17 c 953 192435 2275 1 - 0.0000 -
955.29/958.22 c 958 193614 2289 1 - 0.0000 -
960.27/963.27 c 963 194709 2298 1 - 0.0000 -
965.36/968.33 c 968 195882 2301 1 - 0.0000 -
970.33/973.37 c 973 197055 2306 1 - 0.0000 -
975.42/978.43 c 978 198164 2307 1 - 0.0000 -
980.40/983.47 c 983 199301 2300 1 - 0.0000 -
985.49/988.52 c 989 200593 2310 1 - 0.0000 -
990.47/993.57 c 994 202348 2295 1 - 0.0000 -
995.55/998.62 c 999 203606 2305 1 - 0.0000 -
1000.54/1003.67 c 1004 204899 2322 1 - 0.0000 -
1005.61/1008.72 c 1009 206008 2342 1 - 0.0000 -
1010.60/1013.78 c 1014 206994 2353 1 - 0.0000 -
1015.69/1018.82 c 1019 208088 2357 1 - 0.0000 -
1020.67/1023.87 c 1024 209226 2352 1 - 0.0000 -
1025.75/1028.92 c 1029 210418 2353 1 - 0.0000 -
1030.73/1033.97 c 1034 211633 2343 1 - 0.0000 -
1035.82/1039.02 c 1039 213015 2349 1 - 0.0000 -
1040.91/1044.10 c 1044 214163 2400 1 - 0.0000 -
1045.90/1049.15 c 1049 215344 2421 1 - 0.0000 -
1050.97/1054.20 c 1054 216589 2514 1 - 0.0000 -
1055.96/1059.25 c 1059 217894 2501 1 - 0.0000 -
1061.03/1064.30 c 1064 219057 2496 1 - 0.0000 -
1066.03/1069.35 c 1069 220209 2496 1 - 0.0000 -
1071.11/1074.42 c 1074 221069 2488 1 - 0.0000 -
1076.09/1079.49 c 1079 221578 2539 1 - 0.0000 -
1081.18/1084.55 c 1085 222018 2499 1 - 0.0000 -
1086.26/1089.60 c 1090 223159 2516 1 - 0.0000 -
1091.25/1094.66 c 1095 224402 2523 1 - 0.0000 -
1096.33/1099.72 c 1100 225575 2524 1 - 0.0000 -
1101.32/1104.77 c 1105 226460 2529 1 - 0.0000 -
1106.40/1109.83 c 1110 227017 2530 1 - 0.0000 -
1111.38/1114.89 c 1115 227532 2495 1 - 0.0000 -
1116.47/1119.94 c 1120 228053 2536 1 - 0.0000 -
1121.55/1125.00 c 1125 228578 2565 1 - 0.0000 -
1126.54/1130.08 c 1130 229160 2534 1 - 0.0000 -
1131.63/1135.14 c 1135 229924 2528 1 - 0.0000 -
1136.61/1140.18 c 1140 231497 2560 1 - 0.0000 -
1141.69/1145.23 c 1145 232775 2546 1 - 0.0000 -
1146.68/1150.28 c 1150 233969 2586 1 - 0.0000 -
1151.75/1155.33 c 1155 235143 2597 1 - 0.0000 -
1156.74/1160.39 c 1160 236166 2632 1 - 0.0000 -
1161.82/1165.45 c 1165 237283 2619 1 - 0.0000 -
1166.90/1170.50 c 1171 238533 2655 1 - 0.0000 -
1171.89/1175.56 c 1176 239680 2680 1 - 0.0000 -
1176.97/1180.61 c 1181 240848 2699 1 - 0.0000 -
1181.96/1185.66 c 1186 241906 2690 1 - 0.0000 -
1187.03/1190.71 c 1191 243083 2681 1 - 0.0000 -
1192.02/1195.76 c 1196 244369 2777 1 - 0.0000 -
1197.11/1200.81 c 1201 245821 2797 1 - 0.0000 -
1202.08/1205.86 c 1206 247117 2839 1 - 0.0000 -
1207.18/1210.91 c 1211 248285 2852 1 - 0.0000 -
1212.15/1215.97 c 1216 249472 2847 1 - 0.0000 -
1217.24/1221.02 c 1221 250763 2948 1 - 0.0000 -
1222.23/1226.07 c 1226 251980 3008 1 - 0.0000 -
1227.31/1231.12 c 1231 253155 2932 1 - 0.0000 -
1232.30/1236.17 c 1236 254268 2915 1 - 0.0000 -
1237.37/1241.22 c 1241 255486 2950 1 - 0.0000 -
1242.36/1246.27 c 1246 256665 2945 1 - 0.0000 -
1247.43/1251.33 c 1251 257920 2942 1 - 0.0000 -
1252.42/1256.38 c 1256 259322 2966 1 - 0.0000 -
1257.50/1261.43 c 1261 260422 2935 1 - 0.0000 -
1262.48/1266.49 c 1266 260967 2904 1 - 0.0000 -
1267.57/1271.57 c 1272 261560 2917 1 - 0.0000 -
1272.65/1276.64 c 1277 262071 2922 1 - 0.0000 -
1277.74/1281.73 c 1282 262578 2921 1 - 0.0000 -
1282.82/1286.80 c 1287 263081 2924 1 - 0.0000 -
1287.80/1291.90 c 1292 263614 2954 1 - 0.0000 -
1292.89/1296.98 c 1297 264344 2964 1 - 0.0000 -
1297.98/1302.03 c 1302 265528 3002 1 - 0.0000 -
1302.96/1307.09 c 1307 266852 2994 1 - 0.0000 -
1308.04/1312.13 c 1312 267967 2979 1 - 0.0000 -
1313.03/1317.19 c 1317 269196 2955 1 - 0.0000 -
1318.11/1322.24 c 1322 270369 2975 1 - 0.0000 -
1323.09/1327.29 c 1327 271439 2956 1 - 0.0000 -
1328.17/1332.35 c 1332 272535 2957 1 - 0.0000 -
1333.25/1337.41 c 1337 273691 2938 1 - 0.0000 -
1338.24/1342.45 c 1342 274991 3059 1 - 0.0000 -
1343.32/1347.50 c 1348 276487 3039 1 - 0.0000 -
1348.30/1352.56 c 1353 277690 3092 1 - 0.0000 -
1353.39/1357.63 c 1358 278954 3184 1 - 0.0000 -
1358.46/1362.71 c 1363 280105 3217 1 - 0.0000 -
1363.45/1367.76 c 1368 281225 3191 1 - 0.0000 -
1368.53/1372.81 c 1373 282357 3201 1 - 0.0000 -
1373.51/1377.86 c 1378 283531 3247 1 - 0.0000 -
1378.60/1382.91 c 1383 284840 3298 1 - 0.0000 -
1383.59/1387.96 c 1388 286240 3404 1 - 0.0000 -
1388.67/1393.01 c 1393 287501 3456 1 - 0.0000 -
1393.66/1398.06 c 1398 288813 3522 1 - 0.0000 -
1398.73/1403.14 c 1403 290221 3686 1 - 0.0000 -
1403.72/1408.20 c 1408 291653 3866 1 - 0.0000 -
1409.19/1413.66 c 1414 292905 3872 1 - 0.0000 -
1414.27/1418.71 c 1419 294155 3924 1 - 0.0000 -
1419.26/1423.76 c 1424 295496 3917 1 - 0.0000 -
1424.35/1428.81 c 1429 296814 3914 1 - 0.0000 -
1429.32/1433.86 c 1434 298215 4017 1 - 0.0000 -
1434.41/1438.92 c 1439 299527 4019 1 - 0.0000 -
1439.40/1443.98 c 1444 300865 4039 1 - 0.0000 -
1444.48/1449.05 c 1449 302075 4055 1 - 0.0000 -
1449.56/1454.11 c 1454 303592 4070 1 - 0.0000 -
1454.55/1459.16 c 1459 305087 4066 1 - 0.0000 -
1459.62/1464.22 c 1464 306026 4025 1 - 0.0000 -
1464.61/1469.27 c 1469 306753 4012 1 - 0.0000 -
1469.69/1474.34 c 1474 307457 3964 1 - 0.0000 -
1474.78/1479.41 c 1479 308155 3950 1 - 0.0000 -
1479.76/1484.45 c 1484 309301 3908 1 - 0.0000 -
1484.84/1489.50 c 1490 310563 3865 1 - 0.0000 -
1489.83/1494.55 c 1495 311685 3863 1 - 0.0000 -
1494.91/1499.61 c 1500 312871 3809 1 - 0.0000 -
1499.89/1504.66 c 1505 314172 3846 1 - 0.0000 -
1504.97/1509.71 c 1510 315699 3849 1 - 0.0000 -
1509.96/1514.76 c 1515 317078 3870 1 - 0.0000 -
1515.04/1519.81 c 1520 318330 3832 1 - 0.0000 -
1520.03/1524.87 c 1525 319630 3836 1 - 0.0000 -
1525.10/1529.92 c 1530 320829 3823 1 - 0.0000 -
1530.08/1534.96 c 1535 322244 3836 1 - 0.0000 -
1535.18/1540.01 c 1540 323063 3821 1 - 0.0000 -
1540.16/1545.07 c 1545 323761 3827 1 - 0.0000 -
1545.25/1550.12 c 1550 324602 3815 1 - 0.0000 -
1550.23/1555.19 c 1555 325902 3851 1 - 0.0000 -
1555.30/1560.23 c 1560 327396 3943 1 - 0.0000 -
1560.29/1565.28 c 1565 328775 3980 1 - 0.0000 -
1565.37/1570.35 c 1570 329946 4036 1 - 0.0000 -
1570.36/1575.39 c 1575 330674 4078 1 - 0.0000 -
1575.44/1580.45 c 1580 331243 4086 1 - 0.0000 -
1580.52/1585.50 c 1586 332394 4083 1 - 0.0000 -
1585.50/1590.56 c 1591 333128 4107 1 - 0.0000 -
1590.58/1595.63 c 1596 333738 4129 1 - 0.0000 -
1595.57/1600.68 c 1601 335097 4118 1 - 0.0000 -
1600.65/1605.77 c 1606 335874 4149 1 - 0.0000 -
1605.74/1610.82 c 1611 336837 4152 1 - 0.0000 -
1610.72/1615.87 c 1616 337706 4155 1 - 0.0000 -
1615.80/1620.92 c 1621 338879 4154 1 - 0.0000 -
1620.79/1625.97 c 1626 340136 4177 1 - 0.0000 -
1625.88/1631.03 c 1631 341258 4167 1 - 0.0000 -
1630.86/1636.09 c 1636 342443 4165 1 - 0.0000 -
1635.95/1641.14 c 1641 343748 4164 1 - 0.0000 -
1641.02/1646.20 c 1646 344896 4178 1 - 0.0000 -
1646.00/1651.25 c 1651 346134 4169 1 - 0.0000 -
1651.09/1656.30 c 1656 347412 4167 1 - 0.0000 -
1656.07/1661.35 c 1661 348528 4173 1 - 0.0000 -
1661.15/1666.42 c 1666 349291 4228 1 - 0.0000 -
1666.23/1671.50 c 1672 349886 4219 1 - 0.0000 -
1671.21/1676.55 c 1677 350572 4251 1 - 0.0000 -
1676.30/1681.60 c 1682 351754 4255 1 - 0.0000 -
1681.29/1686.66 c 1687 353065 4258 1 - 0.0000 -
1686.37/1691.70 c 1692 353671 4246 1 - 0.0000 -
1691.35/1696.75 c 1697 354345 4286 1 - 0.0000 -
1696.44/1701.80 c 1702 355237 4394 1 - 0.0000 -
1701.41/1706.85 c 1707 356497 4390 1 - 0.0000 -
1706.50/1711.90 c 1712 357791 4519 1 - 0.0000 -
1711.48/1716.97 c 1717 358864 4525 1 - 0.0000 -
1716.57/1722.03 c 1722 359749 4588 1 - 0.0000 -
1721.55/1727.07 c 1727 360996 4495 1 - 0.0000 -
1726.63/1732.12 c 1732 362250 4592 1 - 0.0000 -
1731.62/1737.17 c 1737 363394 4481 1 - 0.0000 -
1736.69/1742.22 c 1742 364559 4496 1 - 0.0000 -
1741.68/1747.28 c 1747 365817 4575 1 - 0.0000 -
1746.76/1752.34 c 1752 366909 4483 1 - 0.0000 -
1751.75/1757.38 c 1757 367905 4382 1 - 0.0000 -
1756.83/1762.45 c 1762 369024 4389 1 - 0.0000 -
1761.92/1767.50 c 1768 370124 4445 1 - 0.0000 -
1766.89/1772.56 c 1773 371253 4601 1 - 0.0000 -
1771.98/1777.61 c 1778 372362 4662 1 - 0.0000 -
1776.96/1782.67 c 1783 373533 4697 1 - 0.0000 -
1782.04/1787.74 c 1788 374180 4654 1 - 0.0000 -
1787.13/1792.81 c 1793 374681 4639 1 - 0.0000 -
1792.11/1797.89 c 1798 375200 4513 1 - 0.0000 -
1797.20/1802.97 c 1803 375596 4502 1 - 0.0000 -
1802.29/1808.04 c 1808 376226 4489 1 - 0.0000 -
1807.38/1813.11 c 1813 377004 4499 1 - 0.0000 -
1812.36/1818.18 c 1818 377986 4487 1 - 0.0000 -
1817.43/1823.24 c 1823 378666 4491 1 - 0.0000 -
1822.42/1828.28 c 1828 379988 4570 1 - 0.0000 -
1827.50/1833.33 c 1833 381683 4591 1 - 0.0000 -
1832.49/1838.39 c 1838 383180 4640 1 - 0.0000 -
1837.56/1843.43 c 1843 384623 4689 1 - 0.0000 -
1842.55/1848.48 c 1848 386261 4753 1 - 0.0000 -
1847.63/1853.53 c 1854 387751 4715 1 - 0.0000 -
1852.61/1858.58 c 1859 389203 4733 1 - 0.0000 -
1857.70/1863.63 c 1864 390641 4707 1 - 0.0000 -
1862.68/1868.68 c 1869 392078 4718 1 - 0.0000 -
1867.76/1873.73 c 1874 393584 4708 1 - 0.0000 -
1872.74/1878.78 c 1879 395129 4709 1 - 0.0000 -
1877.83/1883.84 c 1884 396597 4709 1 - 0.0000 -
1882.80/1888.88 c 1889 398061 4709 1 - 0.0000 -
1887.89/1893.93 c 1894 399566 4696 1 - 0.0000 -
1892.88/1898.98 c 1899 401292 4866 1 - 0.0000 -
1897.96/1904.04 c 1904 402720 4932 1 - 0.0000 -
1902.94/1909.09 c 1909 404064 4950 1 - 0.0000 -
1908.02/1914.13 c 1914 405689 4949 1 - 0.0000 -
1913.00/1919.19 c 1919 407366 5068 1 - 0.0000 -
1918.08/1924.23 c 1924 408955 5079 1 - 0.0000 -
1923.06/1929.28 c 1929 410561 5123 1 - 0.0000 -
1928.15/1934.33 c 1934 412152 5146 1 - 0.0000 -
1933.13/1939.38 c 1939 413894 5216 1 - 0.0000 -
1938.21/1944.44 c 1944 415376 5186 1 - 0.0000 -
1943.19/1949.48 c 1949 416808 5164 1 - 0.0000 -
1948.28/1954.55 c 1955 417910 5150 1 - 0.0000 -
1953.36/1959.60 c 1960 419028 5128 1 - 0.0000 -
1958.34/1964.65 c 1965 420110 5126 1 - 0.0000 -
1963.42/1969.71 c 1970 421290 5160 1 - 0.0000 -
1968.41/1974.77 c 1975 422346 5178 1 - 0.0000 -
1973.49/1979.81 c 1980 423652 5172 1 - 0.0000 -
1978.47/1984.86 c 1985 425152 5208 1 - 0.0000 -
1983.76/1990.11 c 1990 426567 5243 1 - 0.0000 -
1988.74/1995.16 c 1995 427946 5216 1 - 0.0000 -
1993.83/2000.21 c 2000 429370 5220 1 - 0.0000 -
1998.81/2005.26 c 2005 430818 5216 1 - 0.0000 -
2003.89/2010.31 c 2010 432351 5223 1 - 0.0000 -
2008.87/2015.36 c 2015 433576 5210 1 - 0.0000 -
2013.95/2020.41 c 2020 434999 5191 1 - 0.0000 -
2018.94/2025.46 c 2025 436411 5179 1 - 0.0000 -
2024.02/2030.51 c 2031 437849 5157 1 - 0.0000 -
2029.00/2035.56 c 2036 439327 5165 1 - 0.0000 -
2034.08/2040.62 c 2041 440636 5158 1 - 0.0000 -
2039.07/2045.67 c 2046 442061 5141 1 - 0.0000 -
2044.15/2050.72 c 2051 443364 5152 1 - 0.0000 -
2049.13/2055.78 c 2056 444508 5190 1 - 0.0000 -
2054.21/2060.83 c 2061 445893 5185 1 - 0.0000 -
2059.20/2065.88 c 2066 447433 5241 1 - 0.0000 -
2064.28/2070.93 c 2071 448890 5224 1 - 0.0000 -
2069.27/2075.99 c 2076 450384 5224 1 - 0.0000 -
2074.35/2081.04 c 2081 451739 5201 1 - 0.0000 -
2079.33/2086.09 c 2086 453205 5273 1 - 0.0000 -
2084.41/2091.14 c 2091 454570 5288 1 - 0.0000 -
2089.40/2096.19 c 2096 455886 5312 1 - 0.0000 -
2094.47/2101.24 c 2101 457087 5295 1 - 0.0000 -
2099.56/2106.30 c 2106 458526 5298 1 - 0.0000 -
2104.54/2111.35 c 2111 459869 5299 1 - 0.0000 -
2109.62/2116.41 c 2116 461249 5307 1 - 0.0000 -
2114.60/2121.46 c 2121 462597 5289 1 - 0.0000 -
2119.69/2126.51 c 2127 463884 5300 1 - 0.0000 -
2124.67/2131.56 c 2132 465157 5309 1 - 0.0000 -
2129.75/2136.62 c 2137 466406 5302 1 - 0.0000 -
2134.73/2141.66 c 2142 467721 5263 1 - 0.0000 -
2139.81/2146.71 c 2147 468966 5273 1 - 0.0000 -
2144.79/2151.77 c 2152 470221 5270 1 - 0.0000 -
2149.87/2156.82 c 2157 471129 5270 1 - 0.0000 -
2154.96/2161.90 c 2162 471637 5312 1 - 0.0000 -
2159.95/2166.97 c 2167 472238 5345 1 - 0.0000 -
2165.03/2172.04 c 2172 472936 5355 1 - 0.0000 -
2170.02/2177.10 c 2177 474076 5373 1 - 0.0000 -
2175.10/2182.14 c 2182 475464 5463 1 - 0.0000 -
2180.17/2187.20 c 2187 476676 5451 1 - 0.0000 -
2185.16/2192.28 c 2192 477658 5455 1 - 0.0000 -
2190.24/2197.34 c 2197 478793 5482 1 - 0.0000 -
2195.22/2202.39 c 2202 479953 5494 1 - 0.0000 -
2200.31/2207.45 c 2207 481131 5470 1 - 0.0000 -
2205.38/2212.50 c 2213 482362 5473 1 - 0.0000 -
2210.37/2217.55 c 2218 483538 5471 1 - 0.0000 -
2215.45/2222.61 c 2223 484551 5481 1 - 0.0000 -
2220.44/2227.69 c 2228 485745 5517 1 - 0.0000 -
2225.52/2232.74 c 2233 487028 5614 1 - 0.0000 -
2230.50/2237.79 c 2238 488469 5577 1 - 0.0000 -
2235.58/2242.84 c 2243 489820 5546 1 - 0.0000 -
2240.66/2247.90 c 2248 491332 5626 1 - 0.0000 -
2245.65/2252.95 c 2253 492701 5621 1 - 0.0000 -
2250.73/2258.00 c 2258 494046 5696 1 - 0.0000 -
2255.72/2263.05 c 2263 495231 5635 1 - 0.0000 -
2260.80/2268.12 c 2268 496274 5708 1 - 0.0000 -
2265.78/2273.16 c 2273 497050 5686 1 - 0.0000 -
2270.86/2278.21 c 2278 498217 5635 1 - 0.0000 -
2275.84/2283.27 c 2283 499510 5676 1 - 0.0000 -
2280.92/2288.31 c 2288 500814 5724 1 - 0.0000 -
2285.91/2293.36 c 2293 502342 5868 1 - 0.0000 -
2290.98/2298.41 c 2298 503814 5976 1 - 0.0000 -
2295.96/2303.46 c 2303 505317 6035 1 - 0.0000 -
2301.05/2308.51 c 2309 506945 6117 1 - 0.0000 -
2306.03/2313.57 c 2314 508353 6133 1 - 0.0000 -
2311.11/2318.63 c 2319 509743 6122 1 - 0.0000 -
2316.10/2323.68 c 2324 511226 6121 1 - 0.0000 -
2321.18/2328.73 c 2329 512696 6133 1 - 0.0000 -
2326.16/2333.79 c 2334 514142 6090 1 - 0.0000 -
2331.25/2338.83 c 2339 515648 6051 1 - 0.0000 -
2336.22/2343.88 c 2344 517094 6105 1 - 0.0000 -
2341.31/2348.93 c 2349 518493 6084 1 - 0.0000 -
2346.30/2353.98 c 2354 519714 6145 1 - 0.0000 -
2351.38/2359.03 c 2359 521209 6178 1 - 0.0000 -
2356.37/2364.08 c 2364 522416 6189 1 - 0.0000 -
2361.44/2369.13 c 2369 523953 6244 1 - 0.0000 -
2366.44/2374.18 c 2374 525417 6212 1 - 0.0000 -
2371.50/2379.23 c 2379 526825 6160 1 - 0.0000 -
2376.49/2384.29 c 2384 528204 6130 1 - 0.0000 -
2381.58/2389.34 c 2389 529529 6021 1 - 0.0000 -
2386.55/2394.39 c 2394 530923 5963 1 - 0.0000 -
2391.64/2399.44 c 2399 532349 6015 1 - 0.0000 -
2396.62/2404.49 c 2404 533458 5956 1 - 0.0000 -
2401.70/2409.55 c 2410 534637 5986 1 - 0.0000 -
2406.79/2414.60 c 2415 535825 5989 1 - 0.0000 -
2411.77/2419.66 c 2420 536888 5983 1 - 0.0000 -
2416.86/2424.72 c 2425 537453 5960 1 - 0.0000 -
2421.84/2429.76 c 2430 538130 5927 1 - 0.0000 -
2426.92/2434.82 c 2435 538814 5910 1 - 0.0000 -
2431.90/2439.88 c 2440 539406 5900 1 - 0.0000 -
2436.99/2444.97 c 2445 539987 5915 1 - 0.0000 -
2442.07/2450.02 c 2450 541104 5911 1 - 0.0000 -
2447.05/2455.08 c 2455 542488 5915 1 - 0.0000 -
2452.15/2460.13 c 2460 543786 5903 1 - 0.0000 -
2457.13/2465.18 c 2465 544889 5952 1 - 0.0000 -
2462.21/2470.25 c 2470 545694 5927 1 - 0.0000 -
2467.30/2475.30 c 2475 546276 5931 1 - 0.0000 -
2472.28/2480.37 c 2480 546892 5931 1 - 0.0000 -
2477.37/2485.41 c 2485 547495 5923 1 - 0.0000 -
2482.36/2490.48 c 2490 548106 5944 1 - 0.0000 -
2487.44/2495.52 c 2496 548700 5942 1 - 0.0000 -
2492.43/2500.59 c 2501 549220 5984 1 - 0.0000 -
2497.51/2505.64 c 2506 549798 5957 1 - 0.0000 -
2502.50/2510.69 c 2511 550534 5965 1 - 0.0000 -
2507.58/2515.74 c 2516 551858 5989 1 - 0.0000 -
2512.56/2520.79 c 2521 553289 5972 1 - 0.0000 -
2517.65/2525.85 c 2526 554506 5996 1 - 0.0000 -
2522.72/2530.90 c 2531 555606 6017 1 - 0.0000 -
2527.71/2535.95 c 2536 556585 6028 1 - 0.0000 -
2532.79/2541.00 c 2541 557739 5992 1 - 0.0000 -
2537.78/2546.05 c 2546 558928 5975 1 - 0.0000 -
2542.76/2551.10 c 2551 560062 5965 1 - 0.0000 -
2547.85/2556.15 c 2556 561277 5956 1 - 0.0000 -
2552.92/2561.20 c 2561 562476 6020 1 - 0.0000 -
2557.91/2566.25 c 2566 563867 6023 1 - 0.0000 -
2562.99/2571.30 c 2571 565090 6037 1 - 0.0000 -
2567.98/2576.35 c 2576 566256 6047 1 - 0.0000 -
2573.06/2581.41 c 2581 567453 6032 1 - 0.0000 -
2578.04/2586.46 c 2586 568911 6142 1 - 0.0000 -
2583.12/2591.52 c 2592 570346 6213 1 - 0.0000 -
2588.11/2596.57 c 2597 571890 6283 1 - 0.0000 -
2593.18/2601.62 c 2602 573338 6315 1 - 0.0000 -
2598.27/2606.71 c 2607 574467 6270 1 - 0.0000 -
2603.26/2611.76 c 2612 575579 6210 1 - 0.0000 -
2608.33/2616.81 c 2617 576936 6193 1 - 0.0000 -
2613.32/2621.86 c 2622 578280 6233 1 - 0.0000 -
2618.40/2626.95 c 2627 579296 6259 1 - 0.0000 -
2623.49/2632.00 c 2632 580356 6285 1 - 0.0000 -
2628.47/2637.05 c 2637 581689 6288 1 - 0.0000 -
2633.45/2642.10 c 2642 583002 6241 1 - 0.0000 -
2638.54/2647.16 c 2647 584188 6210 1 - 0.0000 -
2643.62/2652.21 c 2652 585318 6216 1 - 0.0000 -
2648.59/2657.26 c 2657 586644 6248 1 - 0.0000 -
2653.68/2662.32 c 2662 588035 6256 1 - 0.0000 -
2658.66/2667.37 c 2667 589396 6240 1 - 0.0000 -
2663.74/2672.42 c 2672 590491 6202 1 - 0.0000 -
2668.73/2677.47 c 2677 591626 6213 1 - 0.0000 -
2673.81/2682.57 c 2683 592593 6241 1 - 0.0000 -
2678.89/2687.66 c 2688 593287 6261 1 - 0.0000 -
2683.98/2692.73 c 2693 593914 6252 1 - 0.0000 -
2689.06/2697.80 c 2698 594647 6265 1 - 0.0000 -
2694.05/2702.84 c 2703 595300 6273 1 - 0.0000 -
2699.03/2707.89 c 2708 596529 6328 1 - 0.0000 -
2704.11/2712.94 c 2713 597755 6302 1 - 0.0000 -
2709.10/2717.99 c 2718 598948 6332 1 - 0.0000 -
2714.18/2723.05 c 2723 599907 6323 1 - 0.0000 -
2719.26/2728.10 c 2728 600570 6330 1 - 0.0000 -
2724.25/2733.15 c 2733 601778 6330 1 - 0.0000 -
2729.33/2738.20 c 2738 602965 6359 1 - 0.0000 -
2734.31/2743.25 c 2743 604162 6360 1 - 0.0000 -
2739.39/2748.34 c 2748 605042 6370 1 - 0.0000 -
2744.47/2753.41 c 2753 605684 6324 1 - 0.0000 -
2749.45/2758.47 c 2758 606241 6331 1 - 0.0000 -
2754.54/2763.55 c 2764 606828 6332 1 - 0.0000 -
2759.53/2768.59 c 2769 607829 6367 1 - 0.0000 -
2764.61/2773.64 c 2774 608990 6327 1 - 0.0000 -
2769.60/2778.69 c 2779 610255 6330 1 - 0.0000 -
2774.67/2783.74 c 2784 611423 6295 1 - 0.0000 -
2779.75/2788.80 c 2789 612559 6289 1 - 0.0000 -
2784.74/2793.86 c 2794 613842 6328 1 - 0.0000 -
2789.82/2798.92 c 2799 615097 6365 1 - 0.0000 -
2794.80/2803.96 c 2804 616244 6470 1 - 0.0000 -
2799.89/2809.02 c 2809 617399 6575 1 - 0.0000 -
2804.87/2814.06 c 2814 618450 6502 1 - 0.0000 -
2809.95/2819.11 c 2819 619583 6485 1 - 0.0000 -
2814.94/2824.17 c 2824 620866 6521 1 - 0.0000 -
2820.02/2829.21 c 2829 622016 6581 1 - 0.0000 -
2825.00/2834.26 c 2834 623177 6514 1 - 0.0000 -
2830.08/2839.31 c 2839 624350 6540 1 - 0.0000 -
2835.06/2844.36 c 2844 625493 6529 1 - 0.0000 -
2840.15/2849.43 c 2849 626585 6537 1 - 0.0000 -
2845.13/2854.47 c 2854 627615 6537 1 - 0.0000 -
2850.22/2859.52 c 2860 628855 6548 1 - 0.0000 -
2855.20/2864.59 c 2865 630104 6566 1 - 0.0000 -
2860.28/2869.64 c 2870 631381 6538 1 - 0.0000 -
2865.36/2874.70 c 2875 632432 6556 1 - 0.0000 -
2870.34/2879.75 c 2880 633470 6548 1 - 0.0000 -
2875.43/2884.83 c 2885 634576 6559 1 - 0.0000 -
2880.41/2889.87 c 2890 635833 6576 1 - 0.0000 -
2885.50/2894.92 c 2895 637077 6608 1 - 0.0000 -
2890.48/2899.97 c 2900 638214 6607 1 - 0.0000 -
2895.57/2905.04 c 2905 639179 6602 1 - 0.0000 -
2900.65/2910.11 c 2910 640027 6599 1 - 0.0000 -
2905.63/2915.16 c 2915 641118 6579 1 - 0.0000 -
2910.71/2920.20 c 2920 642434 6621 1 - 0.0000 -
2915.70/2925.26 c 2925 643480 6601 1 - 0.0000 -
2920.78/2930.34 c 2930 643984 6623 1 - 0.0000 -
2925.76/2935.39 c 2935 644702 6613 1 - 0.0000 -
2930.84/2940.44 c 2940 645382 6653 1 - 0.0000 -
2935.83/2945.49 c 2946 646010 6629 1 - 0.0000 -
2940.91/2950.57 c 2951 646602 6657 1 - 0.0000 -
2946.00/2955.62 c 2956 647681 6657 1 - 0.0000 -
2950.98/2960.67 c 2961 648861 6696 1 - 0.0000 -
2956.06/2965.72 c 2966 650039 6728 1 - 0.0000 -
2961.05/2970.77 c 2971 651777 6792 1 - 0.0000 -
2966.12/2975.82 c 2976 653214 6837 1 - 0.0000 -
2971.11/2980.87 c 2981 654310 6791 1 - 0.0000 -
2976.19/2985.92 c 2986 655336 6807 1 - 0.0000 -
2981.18/2990.98 c 2991 656286 6757 1 - 0.0000 -
2986.26/2996.05 c 2996 656930 6789 1 - 0.0000 -
2991.25/3001.10 c 3001 657513 6784 1 - 0.0000 -
2996.34/3006.17 c 3006 658038 6783 1 - 0.0000 -
3001.41/3011.24 c 3011 658638 6797 1 - 0.0000 -
3006.40/3016.29 c 3016 659287 6788 1 - 0.0000 -
3011.49/3021.35 c 3021 660099 6774 1 - 0.0000 -
3016.56/3026.40 c 3026 661233 6818 1 - 0.0000 -
3021.54/3031.45 c 3031 662333 6912 1 - 0.0000 -
3026.63/3036.50 c 3037 663432 6971 1 - 0.0000 -
3031.62/3041.56 c 3042 664654 6988 1 - 0.0000 -
3036.69/3046.61 c 3047 665844 6990 1 - 0.0000 -
3041.68/3051.66 c 3052 667155 6989 1 - 0.0000 -
3046.76/3056.73 c 3057 668225 6965 1 - 0.0000 -
3051.74/3061.79 c 3062 668861 6961 1 - 0.0000 -
3056.83/3066.85 c 3067 669347 6985 1 - 0.0000 -
3061.91/3071.90 c 3072 669975 6979 1 - 0.0000 -
3066.89/3076.97 c 3077 670458 6964 1 - 0.0000 -
3071.99/3082.03 c 3082 671369 6935 1 - 0.0000 -
3076.97/3087.08 c 3087 672514 6967 1 - 0.0000 -
3082.06/3092.15 c 3092 673261 6960 1 - 0.0000 -
3087.13/3097.21 c 3097 674048 6969 1 - 0.0000 -
3092.11/3102.26 c 3102 675141 6964 1 - 0.0000 -
3097.20/3107.30 c 3107 676410 6993 1 - 0.0000 -
3102.18/3112.35 c 3112 677491 7000 1 - 0.0000 -
3107.26/3117.42 c 3117 678542 7026 1 - 0.0000 -
3112.25/3122.47 c 3122 679703 7029 1 - 0.0000 -
3117.33/3127.52 c 3128 680628 7069 1 - 0.0000 -
3122.32/3132.57 c 3133 681401 7104 1 - 0.0000 -
3127.40/3137.62 c 3138 682141 7144 1 - 0.0000 -
3132.39/3142.69 c 3143 682737 7138 1 - 0.0000 -
3137.47/3147.75 c 3148 683404 7131 1 - 0.0000 -
3142.55/3152.82 c 3153 683941 7146 1 - 0.0000 -
3147.54/3157.89 c 3158 684563 7158 1 - 0.0000 -
3152.62/3162.98 c 3163 685225 7164 1 - 0.0000 -
3157.70/3168.03 c 3168 685919 7179 1 - 0.0000 -
3162.69/3173.10 c 3173 686514 7190 1 - 0.0000 -
3167.78/3178.16 c 3178 687053 7163 1 - 0.0000 -
3172.85/3183.21 c 3183 687807 7154 1 - 0.0000 -
3177.84/3188.27 c 3188 688361 7162 1 - 0.0000 -
3182.93/3193.33 c 3193 688873 7188 1 - 0.0000 -
3187.92/3198.39 c 3198 689489 7190 1 - 0.0000 -
3193.00/3203.45 c 3203 690723 7183 1 - 0.0000 -
3198.09/3208.50 c 3209 691990 7182 1 - 0.0000 -
3203.07/3213.55 c 3214 693261 7185 1 - 0.0000 -
3208.16/3218.60 c 3219 694430 7155 1 - 0.0000 -
3213.14/3223.66 c 3224 695572 7205 1 - 0.0000 -
3218.23/3228.71 c 3229 696702 7309 1 - 0.0000 -
3223.22/3233.78 c 3234 697848 7381 1 - 0.0000 -
3228.30/3238.87 c 3239 698924 7428 1 - 0.0000 -
3233.38/3243.94 c 3244 700108 7429 1 - 0.0000 -
3238.37/3248.99 c 3249 701193 7432 1 - 0.0000 -
3243.46/3254.05 c 3254 702365 7381 1 - 0.0000 -
3248.45/3259.09 c 3259 703453 7356 1 - 0.0000 -
3253.54/3264.15 c 3264 704567 7366 1 - 0.0000 -
3258.52/3269.19 c 3269 705559 7376 1 - 0.0000 -
3263.61/3274.24 c 3274 706693 7379 1 - 0.0000 -
3268.69/3279.30 c 3279 708075 7441 1 - 0.0000 -
3273.68/3284.35 c 3284 709217 7413 1 - 0.0000 -
3278.76/3289.40 c 3289 710430 7408 1 - 0.0000 -
3283.75/3294.45 c 3294 711810 7484 1 - 0.0000 -
3288.83/3299.50 c 3300 713010 7436 1 - 0.0000 -
3293.82/3304.55 c 3305 714444 7498 1 - 0.0000 -
3298.91/3309.60 c 3310 715918 7502 1 - 0.0000 -
3303.89/3314.68 c 3315 717472 7520 1 - 0.0000 -
3308.98/3319.72 c 3320 719051 7523 1 - 0.0000 -
3313.96/3324.77 c 3325 720650 7516 1 - 0.0000 -
3319.05/3329.82 c 3330 722049 7543 1 - 0.0000 -
3324.04/3334.87 c 3335 723347 7525 1 - 0.0000 -
3329.12/3339.92 c 3340 724754 7660 1 - 0.0000 -
3334.10/3344.98 c 3345 726198 7852 1 - 0.0000 -
3339.19/3350.04 c 3350 727539 7939 1 - 0.0000 -
3344.18/3355.09 c 3355 728888 8034 1 - 0.0000 -
3349.27/3360.15 c 3360 730197 8095 1 - 0.0000 -
3354.25/3365.19 c 3365 731552 8120 1 - 0.0000 -
3359.33/3370.25 c 3370 732874 8146 1 - 0.0000 -
3364.32/3375.30 c 3375 734192 8134 1 - 0.0000 -
3369.40/3380.36 c 3380 735142 8116 1 - 0.0000 -
3374.49/3385.41 c 3385 735925 8105 1 - 0.0000 -
3379.47/3390.47 c 3390 736957 8085 1 - 0.0000 -
3384.56/3395.52 c 3396 738216 8040 1 - 0.0000 -
3389.55/3400.57 c 3401 739482 8012 1 - 0.0000 -
3394.63/3405.62 c 3406 740759 7961 1 - 0.0000 -
3399.62/3410.67 c 3411 742043 7877 1 - 0.0000 -
3404.71/3415.74 c 3416 742782 7850 1 - 0.0000 -
3409.69/3420.78 c 3421 743478 7818 1 - 0.0000 -
3414.78/3425.84 c 3426 744139 7769 1 - 0.0000 -
3419.87/3430.91 c 3431 744763 7791 1 - 0.0000 -
3424.85/3435.97 c 3436 745266 7825 1 - 0.0000 -
3429.95/3441.04 c 3441 745954 7837 1 - 0.0000 -
3435.04/3446.11 c 3446 746537 7832 1 - 0.0000 -
3440.11/3451.21 c 3451 747128 7817 1 - 0.0000 -
3445.10/3456.27 c 3456 748114 7832 1 - 0.0000 -
3450.29/3461.45 c 3461 749083 7886 1 - 0.0000 -
3455.37/3466.51 c 3467 750204 7864 1 - 0.0000 -
3460.35/3471.56 c 3472 751266 7913 1 - 0.0000 -
3465.45/3476.62 c 3477 752194 7927 1 - 0.0000 -
3470.43/3481.67 c 3482 753380 7935 1 - 0.0000 -
3475.52/3486.72 c 3487 754589 7922 1 - 0.0000 -
3480.50/3491.77 c 3492 755842 7937 1 - 0.0000 -
3485.59/3496.82 c 3497 756431 7938 1 - 0.0000 -
3490.57/3501.88 c 3502 757017 7920 1 - 0.0000 -
3495.66/3506.92 c 3507 758078 7882 1 - 0.0000 -
3500.65/3511.98 c 3512 758958 7900 1 - 0.0000 -
3505.73/3517.06 c 3517 759628 7918 1 - 0.0000 -
3510.82/3522.11 c 3522 760361 7899 1 - 0.0000 -
3515.82/3527.19 c 3527 760949 7881 1 - 0.0000 -
3520.89/3532.25 c 3532 761524 7878 1 - 0.0000 -
3525.97/3537.32 c 3537 762558 7944 1 - 0.0000 -
3531.07/3542.40 c 3542 763272 7972 1 - 0.0000 -
3536.05/3547.48 c 3547 764187 7969 1 - 0.0000 -
3541.14/3552.52 c 3553 765313 7909 1 - 0.0000 -
3546.12/3557.57 c 3558 766454 7892 1 - 0.0000 -
3551.21/3562.63 c 3563 767594 7884 1 - 0.0000 -
3556.19/3567.67 c 3568 768616 7883 1 - 0.0000 -
3561.28/3572.72 c 3573 769808 7889 1 - 0.0000 -
3566.27/3577.77 c 3578 770945 7902 1 - 0.0000 -
3571.36/3582.82 c 3583 772476 7902 1 - 0.0000 -
3576.34/3587.88 c 3588 773443 7921 1 - 0.0000 -
3581.43/3592.93 c 3593 774420 7914 1 - 0.0000 -
3586.41/3597.99 c 3598 775504 7914 1 - 0.0000 -
3586.52/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.52/3598.06 c Total Time : 3598.0600
3586.52/3598.06 c solving : 3598.0600
3586.52/3598.06 c presolving : 0.2221 (included in solving)
3586.52/3598.06 c B&B Tree :
3586.52/3598.06 c nodes (total) : 1
3586.52/3598.06 c Solution :
3586.52/3598.06 c Solutions found : 0
3586.52/3598.06 c Primal Bound : -
3586.52/3598.06 c Dual Bound : +0.00000000000000e+00
3586.52/3598.06 c Gap : -
3586.52/3598.09 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56388 MiB free)
memory of node 1: 64473 MiB (60741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464769-1722382193/watcher-4464769-1722382193 -o /tmp/evaluation-result-4464769-1722382193/solver-4464769-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29776 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464769-1722382193.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31974, runsolver pid=31971
[startup+0.100432 s]*
/proc/loadavg: 4.13 4.12 4.06 5/263 31975
/proc/meminfo: memFree=119886000/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=74368 memory=63748 CPUtime=0.09 cores=4,6
/proc/31974/stat : 31974 (fscip) R 31971 31974 29765 0 -1 4194304 13809 0 0 0 7 2 0 0 20 0 1 0 4818317 76152832 15937 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 18592 15937 2555 3035 0 14988 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74368 KiB
Current children cumulated memory: 63748 KiB
[startup+0.205547 s]*
/proc/loadavg: 4.13 4.12 4.06 5/263 31975
/proc/meminfo: memFree=119866800/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=95748 memory=82848 CPUtime=0.19 cores=4,6
/proc/31974/stat : 31974 (fscip) R 31971 31974 29765 0 -1 4194304 18567 0 0 0 17 2 0 0 20 0 1 0 4818317 98045952 20712 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 23937 20712 2614 3035 0 20333 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 82848 KiB
[startup+0.305658 s]*
/proc/loadavg: 4.13 4.12 4.06 4/259 31975
/proc/meminfo: memFree=120386952/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=101192 memory=87984 CPUtime=0.29 cores=4,6
/proc/31974/stat : 31974 (fscip) R 31971 31974 29765 0 -1 4194304 19775 0 0 0 27 2 0 0 20 0 1 0 4818317 103620608 21996 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 25298 21996 2646 3035 0 21694 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101192 KiB
Current children cumulated memory: 87984 KiB
[startup+0.700254 s]
/proc/loadavg: 4.13 4.12 4.06 4/256 31991
/proc/meminfo: memFree=120944356/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=191916 memory=126708 CPUtime=0.67 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 31052 0 0 0 63 4 0 0 20 0 3 0 4818317 196521984 31677 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 47979 31677 2950 3035 0 36044 0
[pid=31974/tid=31976] ppid=31971 vsize=191916 memory=5336 CPUtime=0.32 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 9468 0 0 0 31 1 0 0 20 0 3 0 4818352 196521984 31677 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=191916 memory=11524 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4818354 196521984 31677 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 191916 KiB
Current children cumulated memory: 126708 KiB
[startup+1.50028 s]
/proc/loadavg: 4.13 4.12 4.06 4/261 32073
/proc/meminfo: memFree=120831180/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=257452 memory=216112 CPUtime=1.47 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 64302 0 0 0 138 9 0 0 20 0 3 0 4818317 263630848 54028 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 64363 54028 2950 3035 0 58580 0
[pid=31974/tid=31976] ppid=31971 vsize=257452 memory=11524 CPUtime=1.11 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 42720 0 0 0 106 5 0 0 20 0 3 0 4818352 263630848 54028 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=257452 memory=0 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4818354 263630848 54028 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 257452 KiB
Current children cumulated memory: 216112 KiB
[startup+3.1056 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 32121
/proc/meminfo: memFree=120620704/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=312648 CPUtime=3.07 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 90876 0 0 0 295 12 0 0 20 0 3 0 4818317 397848576 78162 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 78162 2950 3035 0 83867 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=0 CPUtime=2.72 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 69290 0 0 0 263 9 0 0 20 0 3 0 4818352 397848576 78162 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=11524 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 78162 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 312648 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.11 4.06 5/266 32124
/proc/meminfo: memFree=120573236/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=323648 CPUtime=6.26 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 93887 0 0 0 613 13 0 0 20 0 3 0 4818317 397848576 80912 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 80912 2950 3035 0 86318 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=314444 CPUtime=5.91 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 72268 0 0 0 581 10 0 0 20 0 3 0 4818352 397848576 80912 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=221184 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 80912 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 323648 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.06 5/266 32124
/proc/meminfo: memFree=120556312/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=321912 CPUtime=12.64 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 114534 0 0 0 1249 15 0 0 20 0 3 0 4818317 397848576 80478 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 80478 2998 3035 0 86318 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=11524 CPUtime=12.29 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 92866 0 0 0 1217 12 0 0 20 0 3 0 4818352 397848576 80478 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=321912 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 80478 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 321912 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.06 5/266 32127
/proc/meminfo: memFree=120551164/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=325484 CPUtime=25.4 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 176957 0 0 0 2519 21 0 0 20 0 3 0 4818317 397848576 81371 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 81371 3286 3035 0 87995 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=325484 CPUtime=25.05 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 155226 0 0 0 2487 18 0 0 20 0 3 0 4818352 397848576 81371 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=0 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 81371 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 325484 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.11 4.07 5/270 32190
/proc/meminfo: memFree=120502636/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=325616 CPUtime=50.93 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 200951 0 0 0 5065 28 0 0 20 0 3 0 4818317 397848576 81404 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 81404 3302 3035 0 87995 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=325548 CPUtime=50.57 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 179125 0 0 0 5032 25 0 0 20 0 3 0 4818352 397848576 81404 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=11524 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 81404 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 325616 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/269 32200
/proc/meminfo: memFree=120380076/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=326052 CPUtime=101.96 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 232724 0 0 0 10159 37 0 0 20 0 3 0 4818317 397848576 81513 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 81513 3302 3035 0 87995 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=326052 CPUtime=101.6 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 210787 0 0 0 10127 33 0 0 20 0 3 0 4818352 397848576 81513 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=325804 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 81513 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 326052 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/268 32210
/proc/meminfo: memFree=120755980/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=326052 CPUtime=161.78 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 252772 0 0 0 16132 46 0 0 20 0 3 0 4818317 397848576 81513 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 81513 3302 3035 0 87995 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=281382232693920 CPUtime=161.41 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 230754 0 0 0 16099 42 0 0 20 0 3 0 4818352 397848576 81513 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=326052 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 81513 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 326052 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/267 32265
/proc/meminfo: memFree=124657236/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=330740 CPUtime=221.59 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 268910 0 0 0 22106 53 0 0 20 0 3 0 4818317 397848576 82685 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 82685 3302 3035 0 87995 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=330740 CPUtime=221.23 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 246849 0 0 0 22073 50 0 0 20 0 3 0 4818352 397848576 82685 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=11524 CPUtime=0 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4818354 397848576 82685 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
################
# More data... #
################
/proc/31974/statm: 97131 86764 3334 3035 0 88575 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=347056 CPUtime=3390.73 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 288910 0 0 0 338705 368 0 0 20 0 3 0 4818352 397848576 86764 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=11524 CPUtime=0.03 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 204 0 0 0 0 3 0 0 20 0 3 0 4818354 397848576 86764 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 347056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 33869
/proc/meminfo: memFree=108778960/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350596 CPUtime=3451.19 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 314688 0 0 0 344734 385 0 0 20 0 3 0 4818317 397848576 87649 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87649 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=347056 CPUtime=3450.57 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 291632 0 0 0 344685 372 0 0 20 0 3 0 4818352 397848576 87649 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=11524 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 207 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87649 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 33880
/proc/meminfo: memFree=108758180/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3511.01 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 315930 0 0 0 350712 389 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=347056 CPUtime=3510.4 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 292851 0 0 0 350664 376 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=350820 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 210 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3511.01 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 34058
/proc/meminfo: memFree=108743312/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3570.85 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317092 0 0 0 356691 394 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=347056 CPUtime=3570.23 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 293996 0 0 0 356642 381 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=11524 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 213 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3598.1 s]
# the end of solver process 31974 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.65 s, system=3.96979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 34058
/proc/meminfo: memFree=108743316/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3572.56 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317104 0 0 0 356861 395 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=-7451886750023114366 CPUtime=3571.94 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294008 0 0 0 356812 382 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=-7522038826519133118 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 213 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34059
/proc/meminfo: memFree=108743220/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3578.93 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317121 0 0 0 357498 395 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=11524 CPUtime=3578.31 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294025 0 0 0 357449 382 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=350820 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 213 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3578.93 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34059
/proc/meminfo: memFree=108743196/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3582.13 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317368 0 0 0 357817 396 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=350820 CPUtime=3581.5 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294268 0 0 0 357768 382 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=350820 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 215 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3582.13 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34061
/proc/meminfo: memFree=108743184/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3583.72 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317390 0 0 0 357976 396 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=11524 CPUtime=3583.09 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294290 0 0 0 357927 382 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=350820 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 215 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3583.72 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34062
/proc/meminfo: memFree=108743208/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3585.32 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317391 0 0 0 358136 396 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=350820 CPUtime=3584.69 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294291 0 0 0 358086 383 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=350820 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 215 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34062
/proc/meminfo: memFree=108743208/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3586.12 cores=4,6
/proc/31974/stat : 31974 (fscip) S 31971 31974 29765 0 -1 1077936128 317391 0 0 0 358216 396 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=15860 CPUtime=3585.49 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294291 0 0 0 358166 383 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=2292 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 215 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
[startup+3598 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 34062
/proc/meminfo: memFree=108743232/131524600 swapFree=131071728/131071996
[pid=31974] ppid=31971 vsize=388524 memory=350820 CPUtime=3586.52 cores=4,6
/proc/31974/stat : 31974 (fscip) R 31971 31974 29765 0 -1 1077936128 317391 0 0 0 358256 396 0 0 20 0 3 0 4818317 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
/proc/31974/statm: 97131 87705 3334 3035 0 89509 0
[pid=31974/tid=31976] ppid=31971 vsize=388524 memory=-7451886750023114366 CPUtime=3585.9 cores=4,6
/proc/31974/task/31976/stat : 31976 (fscip) R 31971 31974 29765 0 -1 4194368 294291 0 0 0 358207 383 0 0 20 0 3 0 4818352 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
[pid=31974/tid=31977] ppid=31971 vsize=388524 memory=-5155633680935826750 CPUtime=0.04 cores=4,6
/proc/31974/task/31977/stat : 31977 (fscip) S 31971 31974 29765 0 -1 1077936192 215 0 0 0 1 3 0 0 20 0 3 0 4818354 397848576 87705 134679101440 4194304 16623229 140731533756368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37539840 140731533763606 140731533763722 140731533763722 140731533770736 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 388524 KiB
Current children cumulated memory: 350820 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3586.62
CPU user time (s): 3582.65
CPU system time (s): 3.96979
CPU usage (%): 99.681
Max. virtual memory (cumulated for all children) (KiB): 388524
Max. memory (cumulated for all children) (KiB): 350820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.65
system time used= 3.96979
maximum resident set size= 350820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320544
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= 10865
involuntary context switches= 4815
# summary of solver processes directly reported to runsolver:
# pid: 31974
# total CPU time (s): 3586.62
# total CPU user time (s): 3582.65
# total CPU system time (s): 3.96979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87411 second user time and 17.9776 second system time
The end
Begin job on nodeC024 at 2024-07-31 01:29:53
IDJOB=4464769
IDBENCH=148253
IDSOLVER=3092
FILE ID=nodeC024/4464769-1722382193
RUNJOBID= nodeC024-1722378594-29776
SLURM_JOB_ID= 8249847
Free space on /tmp= 889960 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.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-4464769-1722382193/watcher-4464769-1722382193 -o /tmp/evaluation-result-4464769-1722382193/solver-4464769-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29776 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464769-1722382193.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f98457bb85703d2b548256a3e6b4fdef
RANDOM SEED=1453536771
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.990
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.833
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.767
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.018
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.756
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.389
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119940504 kB
MemAvailable: 122365172 kB
Buffers: 89796 kB
Cached: 3151968 kB
SwapCached: 36 kB
Active: 300212 kB
Inactive: 10758132 kB
Active(anon): 1568 kB
Inactive(anon): 7836344 kB
Active(file): 298644 kB
Inactive(file): 2921788 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 28640 kB
Writeback: 4 kB
AnonPages: 7792552 kB
Mapped: 124212 kB
Shmem: 21292 kB
KReclaimable: 88120 kB
Slab: 172600 kB
SReclaimable: 88120 kB
SUnreclaim: 84480 kB
KernelStack: 4224 kB
PageTables: 24472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5176720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5693440 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: 178900 kB
DirectMap2M: 11128832 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC024 at 2024-07-31 02:29:51