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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 52031488, getVmSize() = 52031488, SCIPgetMemUsed() = 24212388, SCIPgetMemTotal() = 29750148, SCIPgetMemExternEstim() = 13050880
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.09/3.13 c ** Estimated virtualMemUsedAtSolver = 96548866, getVmSize() = 157593600, SCIPgetMemUsed() = 95364836, SCIPgetMemTotal() = 131772420, SCIPgetMemExternEstim() = 13050880
3.09/3.13 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.09/3.13 c Original Problem :
3.09/3.13 c Problem name : instance-4464129-1722382195
3.09/3.13 c Variables : 6088 (6088 binary, 0 integer, 0 implicit integer, 0 continuous)
3.09/3.13 c Constraints : 6677
3.09/3.13 c Objective sense : minimize
3.09/3.13 c Presolved Problem :
3.09/3.13 c Variables : 5137 (5137 binary, 0 integer, 0 implicit integer, 0 continuous)
3.09/3.13 c Constraints : 1107
3.09/3.13 c Constraints : Number
3.09/3.13 c knapsack : 512
3.09/3.13 c setppc : 84
3.09/3.13 c orbitope : 511
3.09/3.13 c ** Instance transfer method used: 0
3.09/3.14 c ** ParaScipInstance copy increased the number of variables. **
3.09/3.15 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.09/3.15 c Nodes Active
3.09/3.15 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.47/6.59 c 7 2 1 1 - 8.0000 -
11.96/12.01 c 12 76 73 1 - 8.0000 -
16.94/17.10 c 17 300 143 1 - 8.0000 -
22.13/22.21 c 22 805 248 1 - 8.0000 -
27.11/27.26 c 27 1691 281 1 - 8.0000 -
32.20/32.40 c 32 2224 302 1 - 8.0000 -
37.38/37.50 c 38 2821 340 1 - 8.0000 -
42.47/42.63 c 43 3568 332 1 - 8.0000 -
47.46/47.68 c 48 4621 390 1 - 8.0000 -
52.54/52.74 c 53 5747 406 1 - 8.0000 -
57.63/57.81 c 58 6869 413 1 - 8.0000 -
62.62/62.85 c 63 7967 468 1 - 8.0000 -
67.70/67.91 c 68 9022 489 1 - 8.0000 -
72.68/72.96 c 73 10386 503 1 - 8.0000 -
77.78/78.01 c 78 11753 500 1 - 8.0000 -
82.76/83.06 c 83 12980 524 1 - 8.0000 -
87.85/88.12 c 88 14275 529 1 - 8.0000 -
92.84/93.18 c 93 15469 586 1 - 8.0000 -
97.92/98.23 c 98 16852 612 1 - 8.0000 -
102.90/103.28 c 103 18130 607 1 - 8.0000 -
107.99/108.33 c 108 19358 612 1 - 8.0000 -
112.97/113.38 c 113 20533 607 1 - 8.0000 -
118.06/118.43 c 118 21721 623 1 - 8.0000 -
123.05/123.48 c 123 22882 654 1 - 8.0000 -
128.13/128.53 c 129 24182 679 1 - 8.0000 -
133.12/133.58 c 134 25566 685 1 - 8.0000 -
138.20/138.63 c 139 26969 705 1 - 8.0000 -
143.19/143.68 c 144 28402 726 1 - 8.0000 -
148.28/148.73 c 149 29881 766 1 - 8.0000 -
153.26/153.78 c 154 31184 782 1 - 8.0000 -
158.35/158.84 c 159 32549 769 1 - 8.0000 -
163.34/163.89 c 164 34031 786 1 - 8.0000 -
168.42/168.94 c 169 35432 788 1 - 8.0000 -
173.40/173.99 c 174 36779 781 1 - 8.0000 -
178.49/179.04 c 179 38251 775 1 - 8.0000 -
183.48/184.09 c 184 39557 796 1 - 8.0000 -
188.56/189.14 c 189 40866 837 1 - 8.0000 -
193.64/194.20 c 194 42201 857 1 - 8.0000 -
198.63/199.25 c 199 43556 864 1 - 8.0000 -
203.71/204.30 c 204 44877 852 1 - 8.0000 -
208.70/209.35 c 209 46097 859 1 - 8.0000 -
213.79/214.40 c 214 47445 881 1 - 8.0000 -
218.78/219.45 c 219 48863 875 1 - 8.0000 -
223.86/224.50 c 225 50247 858 1 - 8.0000 -
228.85/229.56 c 230 51587 852 1 - 8.0000 -
233.94/234.61 c 235 52895 838 1 - 8.0000 -
238.92/239.66 c 240 54253 833 1 - 8.0000 -
244.01/244.71 c 245 55677 817 1 - 8.0000 -
248.99/249.76 c 250 57081 797 1 - 8.0000 -
254.08/254.81 c 255 58515 794 1 - 8.0000 -
259.06/259.86 c 260 59902 796 1 - 8.0000 -
264.14/264.91 c 265 61182 804 1 - 8.0000 -
269.13/269.96 c 270 62811 825 1 - 8.0000 -
274.22/275.01 c 275 64348 823 1 - 8.0000 -
279.21/280.06 c 280 65633 825 1 - 8.0000 -
284.49/285.38 c 285 66928 842 1 - 8.0000 -
289.57/290.43 c 290 68236 872 1 - 8.0000 -
294.55/295.49 c 296 69394 878 1 - 8.0000 -
299.64/300.54 c 301 70684 894 1 - 8.0000 -
304.63/305.59 c 306 72043 895 1 - 8.0000 -
309.72/310.64 c 311 73306 900 1 - 8.0000 -
314.70/315.69 c 316 74626 914 1 - 8.0000 -
319.78/320.74 c 321 76039 906 1 - 8.0000 -
324.78/325.79 c 326 77381 955 1 - 8.0000 -
329.86/330.84 c 331 78846 989 1 - 8.0000 -
334.84/335.89 c 336 80239 988 1 - 8.0000 -
339.93/340.94 c 341 81567 1045 1 - 8.0000 -
345.01/346.00 c 346 82855 1037 1 - 8.0000 -
349.99/351.05 c 351 84130 1056 1 - 8.0000 -
354.97/356.10 c 356 85366 1077 1 - 8.0000 -
360.05/361.15 c 361 86635 1089 1 - 8.0000 -
365.12/366.20 c 366 87926 1109 1 - 8.0000 -
370.10/371.25 c 371 89199 1110 1 - 8.0000 -
375.19/376.30 c 376 90511 1117 1 - 8.0000 -
380.16/381.35 c 381 91768 1124 1 - 8.0000 -
385.24/386.41 c 386 92925 1128 1 - 8.0000 -
390.22/391.46 c 391 94093 1138 1 - 8.0000 -
395.30/396.51 c 397 95186 1143 1 - 8.0000 -
400.29/401.56 c 402 96319 1217 1 - 8.0000 -
405.37/406.61 c 407 97324 1241 1 - 8.0000 -
410.35/411.67 c 412 98457 1240 1 - 8.0000 -
415.42/416.71 c 417 99591 1212 1 - 8.0000 -
420.41/421.76 c 422 100703 1219 1 - 8.0000 -
425.48/426.81 c 427 101815 1227 1 - 8.0000 -
430.47/431.86 c 432 103037 1235 1 - 8.0000 -
435.54/436.92 c 437 104154 1202 1 - 8.0000 -
440.53/441.97 c 442 105305 1191 1 - 8.0000 -
445.60/447.02 c 447 106552 1254 1 - 8.0000 -
450.59/452.08 c 452 107725 1252 1 - 8.0000 -
455.67/457.13 c 457 108916 1273 1 - 8.0000 -
460.65/462.18 c 462 110132 1277 1 - 8.0000 -
465.73/467.23 c 467 111308 1266 1 - 8.0000 -
470.71/472.28 c 472 112511 1278 1 - 8.0000 -
475.79/477.33 c 477 113691 1277 1 - 8.0000 -
480.78/482.38 c 482 114808 1304 1 - 8.0000 -
485.86/487.43 c 487 115939 1296 1 - 8.0000 -
490.84/492.49 c 492 117041 1322 1 - 8.0000 -
495.93/497.53 c 498 118248 1342 1 - 8.0000 -
500.90/502.58 c 503 119549 1375 1 - 8.0000 -
505.99/507.63 c 508 120962 1395 1 - 8.0000 -
510.97/512.68 c 513 122289 1388 1 - 8.0000 -
516.05/517.73 c 518 123599 1425 1 - 8.0000 -
521.04/522.78 c 523 124959 1428 1 - 8.0000 -
526.11/527.84 c 528 126236 1415 1 - 8.0000 -
531.09/532.89 c 533 127612 1447 1 - 8.0000 -
536.18/537.94 c 538 128807 1452 1 - 8.0000 -
541.16/542.99 c 543 130006 1459 1 - 8.0000 -
546.24/548.04 c 548 131101 1473 1 - 8.0000 -
551.23/553.09 c 553 132406 1470 1 - 8.0000 -
556.31/558.15 c 558 133609 1490 1 - 8.0000 -
561.39/563.20 c 563 134832 1497 1 - 8.0000 -
566.37/568.25 c 568 136117 1550 1 - 8.0000 -
571.45/573.30 c 573 137416 1562 1 - 8.0000 -
576.43/578.35 c 578 138773 1584 1 - 8.0000 -
581.52/583.40 c 583 140034 1570 1 - 8.0000 -
586.50/588.45 c 588 141343 1604 1 - 8.0000 -
591.59/593.50 c 594 142636 1617 1 - 8.0000 -
596.56/598.55 c 599 143844 1635 1 - 8.0000 -
601.65/603.60 c 604 145058 1617 1 - 8.0000 -
606.93/608.93 c 609 146285 1625 1 - 8.0000 -
611.92/613.97 c 614 147594 1636 1 - 8.0000 -
617.00/619.02 c 619 148950 1665 1 - 8.0000 -
621.98/624.07 c 624 150194 1662 1 - 8.0000 -
627.07/629.12 c 629 151509 1659 1 - 8.0000 -
632.04/634.18 c 634 152701 1675 1 - 8.0000 -
637.13/639.22 c 639 153967 1679 1 - 8.0000 -
642.11/644.27 c 644 155157 1693 1 - 8.0000 -
647.19/649.32 c 649 156417 1693 1 - 8.0000 -
652.17/654.37 c 654 157675 1706 1 - 8.0000 -
657.26/659.42 c 659 158954 1727 1 - 8.0000 -
662.24/664.47 c 664 160269 1745 1 - 8.0000 -
667.32/669.52 c 670 161633 1748 1 - 8.0000 -
672.30/674.57 c 675 163068 1744 1 - 8.0000 -
677.39/679.62 c 680 164177 1744 1 - 8.0000 -
682.37/684.67 c 685 165351 1755 1 - 8.0000 -
687.46/689.72 c 690 166480 1758 1 - 8.0000 -
692.44/694.77 c 695 167743 1775 1 - 8.0000 -
697.52/699.82 c 700 168964 1782 1 - 8.0000 -
702.51/704.87 c 705 170224 1805 1 - 8.0000 -
707.58/709.92 c 710 171461 1801 1 - 8.0000 -
712.57/714.97 c 715 172616 1824 1 - 8.0000 -
717.66/720.02 c 720 173956 1827 1 - 8.0000 -
722.64/725.07 c 725 175192 1811 1 - 8.0000 -
727.73/730.12 c 730 176493 1810 1 - 8.0000 -
732.71/735.17 c 735 177825 1820 1 - 8.0000 -
737.78/740.22 c 740 179065 1827 1 - 8.0000 -
742.77/745.27 c 745 180297 1882 1 - 8.0000 -
747.85/750.32 c 750 181522 1915 1 - 8.0000 -
752.84/755.37 c 755 182797 1942 1 - 8.0000 -
757.92/760.42 c 760 184112 1931 1 - 8.0000 -
762.91/765.47 c 765 185385 1932 1 - 8.0000 -
767.98/770.52 c 771 186674 1924 1 - 8.0000 -
772.97/775.57 c 776 187916 1959 1 - 8.0000 -
778.05/780.62 c 781 189299 1976 1 - 8.0000 -
783.04/785.67 c 786 190686 1974 1 - 8.0000 -
788.12/790.74 c 791 192034 2002 1 - 8.0000 -
793.10/795.79 c 796 193403 2017 1 - 8.0000 -
798.19/800.84 c 801 194804 1991 1 - 8.0000 -
803.17/805.89 c 806 195981 1989 1 - 8.0000 -
808.26/810.94 c 811 197080 1979 1 - 8.0000 -
813.24/815.99 c 816 198383 1991 1 - 8.0000 -
818.32/821.04 c 821 199609 1992 1 - 8.0000 -
823.31/826.10 c 826 200817 2014 1 - 8.0000 -
828.40/831.15 c 831 202141 2084 1 - 8.0000 -
833.47/836.20 c 836 203476 2084 1 - 8.0000 -
838.45/841.29 c 841 204626 2168 1 - 8.0000 -
843.54/846.35 c 846 205790 2180 1 - 8.0000 -
848.62/851.40 c 851 207132 2181 1 - 8.0000 -
853.60/856.45 c 856 208373 2214 1 - 8.0000 -
858.69/861.50 c 862 209730 2216 1 - 8.0000 -
863.67/866.55 c 867 210988 2223 1 - 8.0000 -
868.75/871.60 c 872 212300 2207 1 - 8.0000 -
873.74/876.66 c 877 213508 2200 1 - 8.0000 -
878.82/881.71 c 882 214718 2207 1 - 8.0000 -
883.81/886.77 c 887 215998 2221 1 - 8.0000 -
888.89/891.82 c 892 217339 2241 1 - 8.0000 -
893.87/896.87 c 897 218671 2256 1 - 8.0000 -
898.95/901.92 c 902 220023 2286 1 - 8.0000 -
903.93/906.97 c 907 221526 2330 1 - 8.0000 -
909.02/912.02 c 912 222838 2385 1 - 8.0000 -
914.00/917.07 c 917 224180 2380 1 - 8.0000 -
919.09/922.12 c 922 225478 2356 1 - 8.0000 -
924.07/927.18 c 927 226722 2353 1 - 8.0000 -
929.15/932.25 c 932 228067 2338 1 - 8.0000 -
934.24/937.30 c 937 229529 2338 1 - 8.0000 -
939.21/942.35 c 942 230837 2355 1 - 8.0000 -
944.30/947.40 c 947 232189 2382 1 - 8.0000 -
949.29/952.45 c 952 233546 2425 1 - 8.0000 -
954.37/957.51 c 958 234819 2435 1 - 8.0000 -
959.35/962.56 c 963 236073 2422 1 - 8.0000 -
964.44/967.61 c 968 237344 2394 1 - 8.0000 -
969.42/972.66 c 973 238644 2407 1 - 8.0000 -
974.50/977.71 c 978 239925 2398 1 - 8.0000 -
979.49/982.76 c 983 241222 2384 1 - 8.0000 -
984.57/987.82 c 988 242446 2385 1 - 8.0000 -
989.56/992.87 c 993 243678 2416 1 - 8.0000 -
994.64/997.92 c 998 244979 2551 1 - 8.0000 -
999.63/1002.97 c 1003 246258 2603 1 - 8.0000 -
1004.72/1008.03 c 1008 247533 2649 1 - 8.0000 -
1009.70/1013.08 c 1013 248775 2736 1 - 8.0000 -
1014.79/1018.19 c 1018 249998 2814 1 - 8.0000 -
1019.88/1023.24 c 1023 251286 2853 1 - 8.0000 -
1024.86/1028.29 c 1028 252505 2873 1 - 8.0000 -
1029.95/1033.34 c 1033 253789 2907 1 - 8.0000 -
1034.93/1038.39 c 1038 255042 2894 1 - 8.0000 -
1040.02/1043.44 c 1043 256333 2942 1 - 8.0000 -
1045.00/1048.49 c 1048 257544 2977 1 - 8.0000 -
1050.09/1053.54 c 1054 258750 2962 1 - 8.0000 -
1055.07/1058.59 c 1059 260116 2967 1 - 8.0000 -
1060.16/1063.64 c 1064 261518 3005 1 - 8.0000 -
1065.14/1068.69 c 1069 262856 3019 1 - 8.0000 -
1070.22/1073.74 c 1074 264186 3069 1 - 8.0000 -
1075.21/1078.79 c 1079 265428 3165 1 - 8.0000 -
1080.30/1083.85 c 1084 266675 3254 1 - 8.0000 -
1085.39/1088.91 c 1089 267938 3327 1 - 8.0000 -
1090.36/1093.96 c 1094 269158 3384 1 - 8.0000 -
1095.45/1099.01 c 1099 270503 3399 1 - 8.0000 -
1100.44/1104.06 c 1104 271784 3410 1 - 8.0000 -
1105.53/1109.11 c 1109 273047 3430 1 - 8.0000 -
1110.51/1114.16 c 1114 274264 3492 1 - 8.0000 -
1115.58/1119.21 c 1119 275509 3581 1 - 8.0000 -
1120.57/1124.26 c 1124 276739 3630 1 - 8.0000 -
1125.66/1129.31 c 1129 277984 3654 1 - 8.0000 -
1130.64/1134.36 c 1134 279225 3660 1 - 8.0000 -
1135.72/1139.41 c 1139 280631 3730 1 - 8.0000 -
1140.70/1144.47 c 1144 281869 3752 1 - 8.0000 -
1145.78/1149.52 c 1150 283119 3767 1 - 8.0000 -
1150.77/1154.58 c 1155 284546 3797 1 - 8.0000 -
1155.85/1159.63 c 1160 285850 3816 1 - 8.0000 -
1160.83/1164.69 c 1165 287054 3839 1 - 8.0000 -
1165.92/1169.73 c 1170 288290 3848 1 - 8.0000 -
1170.90/1174.79 c 1175 289587 3864 1 - 8.0000 -
1175.99/1179.84 c 1180 290854 3887 1 - 8.0000 -
1180.98/1184.89 c 1185 292173 3888 1 - 8.0000 -
1186.06/1189.94 c 1190 293481 3899 1 - 8.0000 -
1191.14/1195.00 c 1195 294804 3910 1 - 8.0000 -
1196.12/1200.04 c 1200 296153 3908 1 - 8.0000 -
1201.11/1205.09 c 1205 297424 3901 1 - 8.0000 -
1206.20/1210.14 c 1210 298658 3925 1 - 8.0000 -
1211.17/1215.19 c 1215 300003 3949 1 - 8.0000 -
1216.26/1220.24 c 1220 301320 3950 1 - 8.0000 -
1221.24/1225.29 c 1225 302590 3932 1 - 8.0000 -
1226.33/1230.34 c 1230 303897 3963 1 - 8.0000 -
1231.31/1235.39 c 1235 305246 3971 1 - 8.0000 -
1236.39/1240.44 c 1240 306505 4017 1 - 8.0000 -
1241.38/1245.49 c 1246 307723 4027 1 - 8.0000 -
1246.46/1250.54 c 1251 309002 4024 1 - 8.0000 -
1251.44/1255.59 c 1256 310236 4021 1 - 8.0000 -
1256.53/1260.64 c 1261 311489 4003 1 - 8.0000 -
1261.51/1265.69 c 1266 312664 4042 1 - 8.0000 -
1266.59/1270.74 c 1271 313975 4068 1 - 8.0000 -
1271.57/1275.79 c 1276 315279 4051 1 - 8.0000 -
1276.66/1280.84 c 1281 316629 4059 1 - 8.0000 -
1281.64/1285.89 c 1286 317988 4047 1 - 8.0000 -
1286.72/1290.94 c 1291 319360 4069 1 - 8.0000 -
1291.71/1295.99 c 1296 320726 4092 1 - 8.0000 -
1296.79/1301.04 c 1301 321996 4110 1 - 8.0000 -
1301.78/1306.09 c 1306 323277 4130 1 - 8.0000 -
1306.86/1311.16 c 1311 324457 4129 1 - 8.0000 -
1311.94/1316.20 c 1316 325777 4144 1 - 8.0000 -
1316.92/1321.25 c 1321 327086 4140 1 - 8.0000 -
1322.01/1326.30 c 1326 328449 4145 1 - 8.0000 -
1326.99/1331.35 c 1331 329764 4171 1 - 8.0000 -
1332.08/1336.41 c 1336 330891 4152 1 - 8.0000 -
1337.05/1341.46 c 1341 332200 4165 1 - 8.0000 -
1342.14/1346.51 c 1347 333526 4181 1 - 8.0000 -
1347.12/1351.56 c 1352 334856 4192 1 - 8.0000 -
1352.20/1356.61 c 1357 336226 4175 1 - 8.0000 -
1357.19/1361.66 c 1362 337548 4207 1 - 8.0000 -
1362.27/1366.71 c 1367 338922 4185 1 - 8.0000 -
1367.25/1371.76 c 1372 340205 4186 1 - 8.0000 -
1372.33/1376.81 c 1377 341629 4223 1 - 8.0000 -
1377.32/1381.86 c 1382 342881 4253 1 - 8.0000 -
1382.40/1386.91 c 1387 344037 4262 1 - 8.0000 -
1387.39/1391.96 c 1392 345266 4266 1 - 8.0000 -
1392.47/1397.01 c 1397 346528 4244 1 - 8.0000 -
1397.46/1402.06 c 1402 347912 4239 1 - 8.0000 -
1402.54/1407.11 c 1407 349176 4232 1 - 8.0000 -
1407.52/1412.16 c 1412 350481 4215 1 - 8.0000 -
1412.60/1417.21 c 1417 351794 4214 1 - 8.0000 -
1417.59/1422.26 c 1422 353048 4220 1 - 8.0000 -
1422.67/1427.31 c 1427 354362 4232 1 - 8.0000 -
1427.66/1432.36 c 1432 355658 4241 1 - 8.0000 -
1432.74/1437.41 c 1437 356896 4244 1 - 8.0000 -
1437.72/1442.46 c 1442 358266 4306 1 - 8.0000 -
1442.81/1447.51 c 1448 359726 4335 1 - 8.0000 -
1447.79/1452.56 c 1453 360975 4329 1 - 8.0000 -
1452.88/1457.61 c 1458 362164 4333 1 - 8.0000 -
1457.86/1462.66 c 1463 363416 4316 1 - 8.0000 -
1462.95/1467.71 c 1468 364647 4311 1 - 8.0000 -
1467.93/1472.76 c 1473 365963 4351 1 - 8.0000 -
1473.01/1477.81 c 1478 367303 4377 1 - 8.0000 -
1478.00/1482.86 c 1483 368674 4375 1 - 8.0000 -
1483.08/1487.91 c 1488 370002 4354 1 - 8.0000 -
1488.06/1492.96 c 1493 371386 4348 1 - 8.0000 -
1493.16/1498.01 c 1498 372757 4334 1 - 8.0000 -
1498.14/1503.06 c 1503 374132 4338 1 - 8.0000 -
1503.23/1508.11 c 1508 375451 4313 1 - 8.0000 -
1508.22/1513.16 c 1513 376754 4323 1 - 8.0000 -
1513.30/1518.21 c 1518 378119 4303 1 - 8.0000 -
1518.28/1523.26 c 1523 379514 4300 1 - 8.0000 -
1523.36/1528.31 c 1528 380778 4285 1 - 8.0000 -
1528.45/1533.41 c 1533 382165 4309 1 - 8.0000 -
1533.44/1538.45 c 1538 383520 4356 1 - 8.0000 -
1538.52/1543.50 c 1544 384940 4340 1 - 8.0000 -
1543.51/1548.55 c 1549 386366 4342 1 - 8.0000 -
1548.59/1553.60 c 1554 387711 4352 1 - 8.0000 -
1553.58/1558.66 c 1559 389009 4350 1 - 8.0000 -
1558.66/1563.70 c 1564 390321 4350 1 - 8.0000 -
1563.64/1568.75 c 1569 391571 4343 1 - 8.0000 -
1568.73/1573.80 c 1574 392825 4330 1 - 8.0000 -
1573.71/1578.85 c 1579 394150 4302 1 - 8.0000 -
1578.80/1583.91 c 1584 395512 4339 1 - 8.0000 -
1583.78/1588.95 c 1589 396898 4401 1 - 8.0000 -
1588.88/1594.00 c 1594 398217 4473 1 - 8.0000 -
1593.86/1599.06 c 1599 399711 4487 1 - 8.0000 -
1598.95/1604.11 c 1604 401157 4528 1 - 8.0000 -
1603.93/1609.16 c 1609 402495 4548 1 - 8.0000 -
1609.02/1614.21 c 1614 403827 4575 1 - 8.0000 -
1613.99/1619.26 c 1619 405073 4582 1 - 8.0000 -
1619.08/1624.31 c 1624 406335 4578 1 - 8.0000 -
1624.07/1629.36 c 1629 407714 4582 1 - 8.0000 -
1629.15/1634.41 c 1634 408962 4625 1 - 8.0000 -
1634.13/1639.46 c 1639 410401 4647 1 - 8.0000 -
1639.23/1644.51 c 1645 411828 4643 1 - 8.0000 -
1644.20/1649.56 c 1650 413154 4642 1 - 8.0000 -
1649.29/1654.61 c 1655 414433 4635 1 - 8.0000 -
1654.27/1659.66 c 1660 415743 4655 1 - 8.0000 -
1659.35/1664.71 c 1665 417070 4641 1 - 8.0000 -
1664.34/1669.76 c 1670 418436 4655 1 - 8.0000 -
1669.42/1674.81 c 1675 419746 4651 1 - 8.0000 -
1674.40/1679.86 c 1680 421110 4637 1 - 8.0000 -
1679.49/1684.91 c 1685 422359 4624 1 - 8.0000 -
1684.47/1689.96 c 1690 423721 4615 1 - 8.0000 -
1689.55/1695.02 c 1695 425095 4612 1 - 8.0000 -
1694.53/1700.07 c 1700 426486 4611 1 - 8.0000 -
1699.62/1705.12 c 1705 427890 4605 1 - 8.0000 -
1704.60/1710.17 c 1710 429277 4610 1 - 8.0000 -
1709.68/1715.22 c 1715 430650 4599 1 - 8.0000 -
1714.66/1720.27 c 1720 432111 4595 1 - 8.0000 -
1719.74/1725.32 c 1725 433521 4617 1 - 8.0000 -
1724.72/1730.37 c 1730 434950 4623 1 - 8.0000 -
1729.81/1735.42 c 1735 436464 4635 1 - 8.0000 -
1734.79/1740.48 c 1740 437770 4687 1 - 8.0000 -
1739.87/1745.53 c 1746 439017 4721 1 - 8.0000 -
1744.86/1750.58 c 1751 440370 4758 1 - 8.0000 -
1749.94/1755.63 c 1756 441774 4753 1 - 8.0000 -
1754.92/1760.68 c 1761 443105 4746 1 - 8.0000 -
1760.01/1765.74 c 1766 444430 4725 1 - 8.0000 -
1764.98/1770.78 c 1771 445744 4737 1 - 8.0000 -
1770.07/1775.83 c 1776 447058 4735 1 - 8.0000 -
1775.05/1780.89 c 1781 448411 4731 1 - 8.0000 -
1780.13/1785.94 c 1786 449721 4717 1 - 8.0000 -
1785.11/1790.99 c 1791 451154 4711 1 - 8.0000 -
1790.20/1796.05 c 1796 452739 4739 1 - 8.0000 -
1795.18/1801.10 c 1801 454229 4723 1 - 8.0000 -
1800.27/1806.15 c 1806 455621 4750 1 - 8.0000 -
1805.35/1811.20 c 1811 456997 4746 1 - 8.0000 -
1810.34/1816.25 c 1816 458492 4803 1 - 8.0000 -
1815.42/1821.30 c 1821 459958 4838 1 - 8.0000 -
1820.41/1826.35 c 1826 461313 4879 1 - 8.0000 -
1825.49/1831.40 c 1831 462676 4922 1 - 8.0000 -
1830.48/1836.45 c 1836 464002 4928 1 - 8.0000 -
1835.56/1841.50 c 1842 465350 4946 1 - 8.0000 -
1840.55/1846.55 c 1847 466734 4924 1 - 8.0000 -
1845.64/1851.60 c 1852 468019 4943 1 - 8.0000 -
1850.63/1856.65 c 1857 469408 4949 1 - 8.0000 -
1855.71/1861.70 c 1862 470846 4980 1 - 8.0000 -
1860.69/1866.75 c 1867 472258 4994 1 - 8.0000 -
1865.78/1871.80 c 1872 473659 4976 1 - 8.0000 -
1870.77/1876.85 c 1877 475133 5007 1 - 8.0000 -
1875.85/1881.90 c 1882 476626 5024 1 - 8.0000 -
1880.83/1886.95 c 1887 478034 5016 1 - 8.0000 -
1885.93/1892.00 c 1892 479432 5004 1 - 8.0000 -
1890.91/1897.06 c 1897 480794 4976 1 - 8.0000 -
1896.00/1902.11 c 1902 482082 4971 1 - 8.0000 -
1900.99/1907.16 c 1907 483467 4963 1 - 8.0000 -
1906.06/1912.21 c 1912 484808 4949 1 - 8.0000 -
1911.05/1917.26 c 1917 486292 4970 1 - 8.0000 -
1916.14/1922.31 c 1922 487722 4970 1 - 8.0000 -
1921.13/1927.36 c 1927 489112 4948 1 - 8.0000 -
1926.21/1932.41 c 1932 490411 5003 1 - 8.0000 -
1931.20/1937.46 c 1937 491827 5029 1 - 8.0000 -
1936.28/1942.51 c 1943 493155 5036 1 - 8.0000 -
1941.27/1947.56 c 1948 494498 5030 1 - 8.0000 -
1946.35/1952.62 c 1953 495891 5014 1 - 8.0000 -
1951.34/1957.67 c 1958 497281 5041 1 - 8.0000 -
1956.43/1962.72 c 1963 498620 5014 1 - 8.0000 -
1961.42/1967.77 c 1968 499995 5017 1 - 8.0000 -
1966.50/1972.82 c 1973 501398 5026 1 - 8.0000 -
1971.48/1977.87 c 1978 502777 5004 1 - 8.0000 -
1976.57/1982.92 c 1983 504131 4976 1 - 8.0000 -
1981.55/1987.97 c 1988 505468 4968 1 - 8.0000 -
1986.64/1993.02 c 1993 506697 4957 1 - 8.0000 -
1991.63/1998.07 c 1998 508139 4991 1 - 8.0000 -
1996.71/2003.12 c 2003 509559 4963 1 - 8.0000 -
2001.70/2008.17 c 2008 511005 4958 1 - 8.0000 -
2006.78/2013.22 c 2013 512504 4987 1 - 8.0000 -
2011.77/2018.28 c 2018 513824 5014 1 - 8.0000 -
2016.86/2023.34 c 2023 515228 5001 1 - 8.0000 -
2021.84/2028.39 c 2028 516625 4994 1 - 8.0000 -
2026.93/2033.44 c 2033 518040 5009 1 - 8.0000 -
2031.91/2038.49 c 2038 519427 5006 1 - 8.0000 -
2037.00/2043.54 c 2044 520904 5010 1 - 8.0000 -
2041.99/2048.59 c 2049 522482 5000 1 - 8.0000 -
2047.07/2053.64 c 2054 523866 4987 1 - 8.0000 -
2052.06/2058.69 c 2059 525244 4986 1 - 8.0000 -
2057.15/2063.74 c 2064 526603 4973 1 - 8.0000 -
2062.13/2068.79 c 2069 527860 4958 1 - 8.0000 -
2067.21/2073.85 c 2074 529242 4972 1 - 8.0000 -
2072.20/2078.89 c 2079 530580 4963 1 - 8.0000 -
2077.29/2083.94 c 2084 531842 4969 1 - 8.0000 -
2082.27/2088.99 c 2089 533103 4951 1 - 8.0000 -
2087.36/2094.04 c 2094 534619 4976 1 - 8.0000 -
2092.35/2099.09 c 2099 536099 4955 1 - 8.0000 -
2097.44/2104.15 c 2104 537477 4963 1 - 8.0000 -
2102.42/2109.19 c 2109 538906 4957 1 - 8.0000 -
2107.50/2114.24 c 2114 540299 4967 1 - 8.0000 -
2112.49/2119.29 c 2119 541610 4965 1 - 8.0000 -
2117.57/2124.34 c 2124 542889 5003 1 - 8.0000 -
2122.65/2129.40 c 2129 544187 4969 1 - 8.0000 -
2127.65/2134.45 c 2134 545524 4968 1 - 8.0000 -
2132.73/2139.50 c 2140 546896 4974 1 - 8.0000 -
2137.72/2144.55 c 2145 548130 4969 1 - 8.0000 -
2142.80/2149.60 c 2150 549341 4971 1 - 8.0000 -
2147.79/2154.65 c 2155 550548 4982 1 - 8.0000 -
2152.87/2159.70 c 2160 551765 4982 1 - 8.0000 -
2157.86/2164.75 c 2165 552957 4996 1 - 8.0000 -
2162.94/2169.80 c 2170 554277 4995 1 - 8.0000 -
2167.93/2174.85 c 2175 555611 4994 1 - 8.0000 -
2173.01/2179.90 c 2180 556896 4995 1 - 8.0000 -
2178.00/2184.95 c 2185 558382 4992 1 - 8.0000 -
2183.09/2190.00 c 2190 559615 5018 1 - 8.0000 -
2188.07/2195.05 c 2195 560858 5073 1 - 8.0000 -
2193.06/2200.10 c 2200 562180 5102 1 - 8.0000 -
2198.14/2205.15 c 2205 563349 5119 1 - 8.0000 -
2203.22/2210.20 c 2210 564727 5176 1 - 8.0000 -
2208.21/2215.25 c 2215 566092 5190 1 - 8.0000 -
2213.29/2220.30 c 2220 567291 5204 1 - 8.0000 -
2218.28/2225.35 c 2225 568530 5199 1 - 8.0000 -
2223.36/2230.40 c 2230 569722 5234 1 - 8.0000 -
2228.35/2235.45 c 2235 570952 5194 1 - 8.0000 -
2233.43/2240.51 c 2241 572350 5170 1 - 8.0000 -
2238.42/2245.56 c 2246 573803 5162 1 - 8.0000 -
2243.51/2250.61 c 2251 575224 5184 1 - 8.0000 -
2248.50/2255.66 c 2256 576735 5257 1 - 8.0000 -
2253.59/2260.71 c 2261 578284 5301 1 - 8.0000 -
2258.57/2265.76 c 2266 579744 5279 1 - 8.0000 -
2263.65/2270.82 c 2271 581141 5282 1 - 8.0000 -
2268.64/2275.87 c 2276 582594 5288 1 - 8.0000 -
2273.73/2280.92 c 2281 584096 5271 1 - 8.0000 -
2278.71/2285.97 c 2286 585432 5269 1 - 8.0000 -
2283.80/2291.02 c 2291 586886 5246 1 - 8.0000 -
2288.78/2296.07 c 2296 588235 5228 1 - 8.0000 -
2293.87/2301.12 c 2301 589590 5207 1 - 8.0000 -
2298.85/2306.17 c 2306 591003 5201 1 - 8.0000 -
2303.94/2311.22 c 2311 592398 5183 1 - 8.0000 -
2308.92/2316.27 c 2316 593786 5236 1 - 8.0000 -
2314.01/2321.32 c 2321 595208 5239 1 - 8.0000 -
2318.99/2326.37 c 2326 596626 5215 1 - 8.0000 -
2324.08/2331.42 c 2331 598055 5233 1 - 8.0000 -
2329.07/2336.47 c 2336 599352 5217 1 - 8.0000 -
2334.15/2341.52 c 2342 600698 5219 1 - 8.0000 -
2339.14/2346.57 c 2347 602010 5210 1 - 8.0000 -
2344.22/2351.62 c 2352 603516 5262 1 - 8.0000 -
2349.21/2356.67 c 2357 604944 5249 1 - 8.0000 -
2354.30/2361.72 c 2362 606494 5245 1 - 8.0000 -
2359.29/2366.77 c 2367 608047 5233 1 - 8.0000 -
2364.37/2371.82 c 2372 609474 5213 1 - 8.0000 -
2369.36/2376.87 c 2377 610929 5215 1 - 8.0000 -
2374.44/2381.92 c 2382 612244 5227 1 - 8.0000 -
2379.44/2386.97 c 2387 613594 5235 1 - 8.0000 -
2384.52/2392.02 c 2392 614989 5218 1 - 8.0000 -
2389.51/2397.07 c 2397 616340 5208 1 - 8.0000 -
2394.60/2402.12 c 2402 617734 5193 1 - 8.0000 -
2399.58/2407.17 c 2407 619103 5183 1 - 8.0000 -
2404.66/2412.22 c 2412 620420 5230 1 - 8.0000 -
2409.65/2417.27 c 2417 621720 5247 1 - 8.0000 -
2414.73/2422.32 c 2422 623202 5322 1 - 8.0000 -
2419.72/2427.37 c 2427 624720 5351 1 - 8.0000 -
2424.81/2432.42 c 2432 626268 5385 1 - 8.0000 -
2429.79/2437.48 c 2437 627775 5408 1 - 8.0000 -
2434.88/2442.52 c 2443 629293 5453 1 - 8.0000 -
2439.87/2447.57 c 2448 630641 5469 1 - 8.0000 -
2444.95/2452.62 c 2453 631923 5480 1 - 8.0000 -
2449.94/2457.67 c 2458 633286 5487 1 - 8.0000 -
2455.02/2462.72 c 2463 634689 5489 1 - 8.0000 -
2460.01/2467.77 c 2468 636134 5490 1 - 8.0000 -
2465.10/2472.82 c 2473 637557 5517 1 - 8.0000 -
2470.08/2477.87 c 2478 639085 5557 1 - 8.0000 -
2475.17/2482.92 c 2483 640514 5563 1 - 8.0000 -
2480.16/2487.97 c 2488 641906 5559 1 - 8.0000 -
2485.25/2493.02 c 2493 643308 5566 1 - 8.0000 -
2490.23/2498.08 c 2498 644564 5561 1 - 8.0000 -
2495.31/2503.12 c 2503 645884 5566 1 - 8.0000 -
2500.31/2508.17 c 2508 647279 5545 1 - 8.0000 -
2505.39/2513.22 c 2513 648685 5530 1 - 8.0000 -
2510.37/2518.27 c 2518 650074 5510 1 - 8.0000 -
2515.45/2523.32 c 2523 651484 5505 1 - 8.0000 -
2520.44/2528.37 c 2528 652974 5493 1 - 8.0000 -
2525.53/2533.42 c 2533 654344 5495 1 - 8.0000 -
2530.52/2538.48 c 2538 655729 5462 1 - 8.0000 -
2535.61/2543.53 c 2544 657173 5457 1 - 8.0000 -
2540.59/2548.58 c 2549 658409 5522 1 - 8.0000 -
2545.68/2553.63 c 2554 659710 5516 1 - 8.0000 -
2550.66/2558.69 c 2559 661055 5532 1 - 8.0000 -
2555.75/2563.74 c 2564 662423 5537 1 - 8.0000 -
2560.74/2568.78 c 2569 663761 5535 1 - 8.0000 -
2565.83/2573.83 c 2574 665101 5511 1 - 8.0000 -
2570.82/2578.88 c 2579 666445 5516 1 - 8.0000 -
2575.90/2583.93 c 2584 667853 5527 1 - 8.0000 -
2580.89/2588.98 c 2589 669262 5538 1 - 8.0000 -
2585.98/2594.03 c 2594 670789 5563 1 - 8.0000 -
2590.96/2599.08 c 2599 672223 5540 1 - 8.0000 -
2596.05/2604.13 c 2604 673788 5537 1 - 8.0000 -
2601.04/2609.18 c 2609 675262 5556 1 - 8.0000 -
2606.11/2614.23 c 2614 676673 5618 1 - 8.0000 -
2611.11/2619.28 c 2619 678048 5706 1 - 8.0000 -
2616.19/2624.33 c 2624 679386 5719 1 - 8.0000 -
2621.18/2629.38 c 2629 680747 5704 1 - 8.0000 -
2626.26/2634.43 c 2634 682078 5720 1 - 8.0000 -
2631.25/2639.48 c 2639 683374 5744 1 - 8.0000 -
2636.33/2644.53 c 2645 684658 5772 1 - 8.0000 -
2641.33/2649.58 c 2650 685870 5764 1 - 8.0000 -
2646.41/2654.63 c 2655 687073 5779 1 - 8.0000 -
2651.40/2659.68 c 2660 688387 5772 1 - 8.0000 -
2656.48/2664.73 c 2665 689605 5804 1 - 8.0000 -
2661.48/2669.78 c 2670 690679 5925 1 - 8.0000 -
2666.56/2674.83 c 2675 692033 5996 1 - 8.0000 -
2671.55/2679.88 c 2680 693429 6065 1 - 8.0000 -
2676.63/2684.93 c 2685 694830 6072 1 - 8.0000 -
2681.62/2689.98 c 2690 696193 6059 1 - 8.0000 -
2686.71/2695.03 c 2695 697642 6084 1 - 8.0000 -
2691.70/2700.08 c 2700 699066 6101 1 - 8.0000 -
2696.78/2705.13 c 2705 700660 6087 1 - 8.0000 -
2701.77/2710.18 c 2710 701949 6091 1 - 8.0000 -
2706.86/2715.23 c 2715 703291 6115 1 - 8.0000 -
2711.84/2720.28 c 2720 704807 6135 1 - 8.0000 -
2716.93/2725.33 c 2725 706158 6127 1 - 8.0000 -
2721.91/2730.38 c 2730 707512 6136 1 - 8.0000 -
2727.00/2735.43 c 2735 708993 6155 1 - 8.0000 -
2731.99/2740.48 c 2740 710476 6151 1 - 8.0000 -
2737.08/2745.53 c 2746 711892 6159 1 - 8.0000 -
2742.06/2750.58 c 2751 713384 6164 1 - 8.0000 -
2747.15/2755.63 c 2756 714703 6215 1 - 8.0000 -
2752.14/2760.69 c 2761 716153 6229 1 - 8.0000 -
2757.23/2765.74 c 2766 717544 6235 1 - 8.0000 -
2762.21/2770.79 c 2771 718984 6225 1 - 8.0000 -
2767.30/2775.84 c 2776 720277 6213 1 - 8.0000 -
2772.28/2780.89 c 2781 721680 6209 1 - 8.0000 -
2777.37/2785.94 c 2786 723105 6193 1 - 8.0000 -
2782.36/2790.99 c 2791 724420 6187 1 - 8.0000 -
2787.46/2796.04 c 2796 725780 6181 1 - 8.0000 -
2792.44/2801.09 c 2801 727213 6181 1 - 8.0000 -
2797.52/2806.14 c 2806 728524 6191 1 - 8.0000 -
2802.51/2811.19 c 2811 729816 6213 1 - 8.0000 -
2807.59/2816.24 c 2816 731232 6220 1 - 8.0000 -
2812.58/2821.29 c 2821 732576 6230 1 - 8.0000 -
2817.66/2826.34 c 2826 733973 6219 1 - 8.0000 -
2822.65/2831.39 c 2831 735248 6254 1 - 8.0000 -
2827.74/2836.44 c 2836 736375 6252 1 - 8.0000 -
2832.73/2841.49 c 2842 737552 6272 1 - 8.0000 -
2837.81/2846.54 c 2847 738868 6307 1 - 8.0000 -
2842.80/2851.59 c 2852 740169 6307 1 - 8.0000 -
2847.88/2856.64 c 2857 741492 6339 1 - 8.0000 -
2852.87/2861.69 c 2862 742845 6348 1 - 8.0000 -
2857.96/2866.74 c 2867 744114 6343 1 - 8.0000 -
2862.95/2871.79 c 2872 745383 6364 1 - 8.0000 -
2868.04/2876.84 c 2877 746707 6369 1 - 8.0000 -
2873.02/2881.89 c 2882 748017 6356 1 - 8.0000 -
2878.11/2886.94 c 2887 749341 6366 1 - 8.0000 -
2883.10/2891.99 c 2892 750694 6376 1 - 8.0000 -
2888.18/2897.05 c 2897 752126 6381 1 - 8.0000 -
2893.18/2902.10 c 2902 753530 6384 1 - 8.0000 -
2898.26/2907.14 c 2907 754848 6387 1 - 8.0000 -
2903.24/2912.19 c 2912 756198 6390 1 - 8.0000 -
2908.33/2917.24 c 2917 757643 6391 1 - 8.0000 -
2913.31/2922.29 c 2922 759044 6406 1 - 8.0000 -
2918.40/2927.34 c 2927 760337 6407 1 - 8.0000 -
2923.39/2932.39 c 2932 761755 6426 1 - 8.0000 -
2928.48/2937.44 c 2937 763114 6421 1 - 8.0000 -
2933.46/2942.49 c 2942 764607 6421 1 - 8.0000 -
2938.55/2947.54 c 2948 766086 6436 1 - 8.0000 -
2943.53/2952.59 c 2953 767455 6424 1 - 8.0000 -
2948.62/2957.64 c 2958 768837 6401 1 - 8.0000 -
2953.61/2962.69 c 2963 770244 6410 1 - 8.0000 -
2958.69/2967.74 c 2968 771668 6400 1 - 8.0000 -
2963.68/2972.79 c 2973 772953 6395 1 - 8.0000 -
2968.76/2977.84 c 2978 774455 6387 1 - 8.0000 -
2973.75/2982.89 c 2983 775738 6390 1 - 8.0000 -
2978.84/2987.94 c 2988 777116 6395 1 - 8.0000 -
2983.83/2992.99 c 2993 778348 6413 1 - 8.0000 -
2988.92/2998.04 c 2998 779489 6434 1 - 8.0000 -
2993.90/3003.09 c 3003 780791 6435 1 - 8.0000 -
2998.99/3008.14 c 3008 782097 6434 1 - 8.0000 -
3003.98/3013.19 c 3013 783391 6431 1 - 8.0000 -
3009.05/3018.24 c 3018 784646 6420 1 - 8.0000 -
3014.04/3023.29 c 3023 786149 6435 1 - 8.0000 -
3019.13/3028.34 c 3028 787712 6422 1 - 8.0000 -
3024.11/3033.39 c 3033 789025 6411 1 - 8.0000 -
3029.20/3038.44 c 3038 790322 6419 1 - 8.0000 -
3034.18/3043.49 c 3044 791600 6414 1 - 8.0000 -
3039.28/3048.54 c 3049 792854 6398 1 - 8.0000 -
3044.26/3053.59 c 3054 794177 6404 1 - 8.0000 -
3049.35/3058.64 c 3059 795521 6406 1 - 8.0000 -
3054.44/3063.70 c 3064 796894 6405 1 - 8.0000 -
3059.42/3068.74 c 3069 798214 6413 1 - 8.0000 -
3064.41/3073.79 c 3074 799466 6408 1 - 8.0000 -
3069.49/3078.84 c 3079 800639 6416 1 - 8.0000 -
3074.48/3083.89 c 3084 802042 6437 1 - 8.0000 -
3079.56/3088.94 c 3089 803248 6440 1 - 8.0000 -
3084.56/3093.99 c 3094 804706 6435 1 - 8.0000 -
3089.64/3099.05 c 3099 806080 6441 1 - 8.0000 -
3094.63/3104.09 c 3104 807442 6446 1 - 8.0000 -
3099.71/3109.14 c 3109 808727 6472 1 - 8.0000 -
3104.70/3114.19 c 3114 810000 6478 1 - 8.0000 -
3109.79/3119.25 c 3119 811160 6496 1 - 8.0000 -
3114.77/3124.29 c 3124 812482 6499 1 - 8.0000 -
3119.86/3129.34 c 3129 813827 6517 1 - 8.0000 -
3124.84/3134.39 c 3134 815181 6510 1 - 8.0000 -
3129.93/3139.44 c 3139 816461 6560 1 - 8.0000 -
3134.92/3144.49 c 3144 817759 6584 1 - 8.0000 -
3140.01/3149.55 c 3150 819132 6589 1 - 8.0000 -
3145.09/3154.60 c 3155 820509 6589 1 - 8.0000 -
3150.08/3159.65 c 3160 821897 6578 1 - 8.0000 -
3155.16/3164.70 c 3165 823293 6599 1 - 8.0000 -
3160.15/3169.75 c 3170 824668 6590 1 - 8.0000 -
3165.24/3174.80 c 3175 826096 6584 1 - 8.0000 -
3170.22/3179.85 c 3180 827286 6607 1 - 8.0000 -
3175.31/3184.91 c 3185 828231 6594 1 - 8.0000 -
3180.40/3190.01 c 3190 829627 6593 1 - 8.0000 -
3185.38/3195.06 c 3195 830967 6590 1 - 8.0000 -
3190.47/3200.11 c 3200 832413 6605 1 - 8.0000 -
3195.46/3205.17 c 3205 833717 6595 1 - 8.0000 -
3200.54/3210.22 c 3210 835096 6598 1 - 8.0000 -
3205.52/3215.27 c 3215 836497 6588 1 - 8.0000 -
3210.61/3220.33 c 3220 837725 6599 1 - 8.0000 -
3215.60/3225.37 c 3225 838923 6590 1 - 8.0000 -
3220.69/3230.42 c 3230 840480 6585 1 - 8.0000 -
3225.67/3235.47 c 3235 841856 6589 1 - 8.0000 -
3230.76/3240.52 c 3241 843341 6600 1 - 8.0000 -
3235.74/3245.57 c 3246 844693 6594 1 - 8.0000 -
3240.83/3250.62 c 3251 845952 6633 1 - 8.0000 -
3245.82/3255.67 c 3256 847365 6633 1 - 8.0000 -
3250.91/3260.72 c 3261 848733 6626 1 - 8.0000 -
3255.89/3265.77 c 3266 850074 6629 1 - 8.0000 -
3260.98/3270.82 c 3271 851462 6660 1 - 8.0000 -
3265.96/3275.87 c 3276 852793 6667 1 - 8.0000 -
3271.04/3280.92 c 3281 854061 6672 1 - 8.0000 -
3276.04/3285.97 c 3286 855361 6674 1 - 8.0000 -
3281.12/3291.02 c 3291 856668 6674 1 - 8.0000 -
3286.11/3296.07 c 3296 857929 6691 1 - 8.0000 -
3291.20/3301.12 c 3301 859287 6700 1 - 8.0000 -
3296.19/3306.17 c 3306 860681 6698 1 - 8.0000 -
3301.26/3311.22 c 3311 862020 6697 1 - 8.0000 -
3306.25/3316.27 c 3316 863265 6693 1 - 8.0000 -
3311.34/3321.32 c 3321 864714 6719 1 - 8.0000 -
3316.33/3326.37 c 3326 866105 6724 1 - 8.0000 -
3321.40/3331.42 c 3331 867584 6727 1 - 8.0000 -
3326.40/3336.47 c 3336 869040 6708 1 - 8.0000 -
3331.48/3341.52 c 3342 870347 6709 1 - 8.0000 -
3336.47/3346.57 c 3347 871609 6726 1 - 8.0000 -
3341.55/3351.62 c 3352 872968 6744 1 - 8.0000 -
3346.54/3356.67 c 3357 874413 6769 1 - 8.0000 -
3351.62/3361.72 c 3362 875866 6761 1 - 8.0000 -
3356.61/3366.77 c 3367 877444 6745 1 - 8.0000 -
3361.70/3371.82 c 3372 878847 6762 1 - 8.0000 -
3366.69/3376.87 c 3377 880267 6764 1 - 8.0000 -
3371.77/3381.92 c 3382 881663 6774 1 - 8.0000 -
3376.76/3386.97 c 3387 883004 6766 1 - 8.0000 -
3381.84/3392.02 c 3392 884424 6788 1 - 8.0000 -
3386.83/3397.07 c 3397 885693 6786 1 - 8.0000 -
3391.92/3402.12 c 3402 887078 6787 1 - 8.0000 -
3396.91/3407.17 c 3407 888406 6793 1 - 8.0000 -
3401.99/3412.22 c 3412 889691 6795 1 - 8.0000 -
3406.98/3417.27 c 3417 891023 6817 1 - 8.0000 -
3412.06/3422.32 c 3422 892294 6823 1 - 8.0000 -
3417.05/3427.37 c 3427 893597 6849 1 - 8.0000 -
3422.14/3432.43 c 3432 894785 6865 1 - 8.0000 -
3427.12/3437.48 c 3437 896111 6892 1 - 8.0000 -
3432.21/3442.53 c 3443 897290 6890 1 - 8.0000 -
3437.19/3447.58 c 3448 898691 6895 1 - 8.0000 -
3442.28/3452.63 c 3453 900042 6915 1 - 8.0000 -
3447.27/3457.68 c 3458 901395 6901 1 - 8.0000 -
3452.35/3462.74 c 3463 902939 6912 1 - 8.0000 -
3457.34/3467.78 c 3468 904269 6903 1 - 8.0000 -
3462.43/3472.84 c 3473 905532 6895 1 - 8.0000 -
3467.42/3477.88 c 3478 907009 6919 1 - 8.0000 -
3472.50/3482.93 c 3483 908433 6922 1 - 8.0000 -
3477.49/3487.98 c 3488 909802 6912 1 - 8.0000 -
3482.58/3493.03 c 3493 911267 6912 1 - 8.0000 -
3487.57/3498.08 c 3498 912638 6922 1 - 8.0000 -
3492.66/3503.13 c 3503 914076 6918 1 - 8.0000 -
3497.64/3508.18 c 3508 915578 6900 1 - 8.0000 -
3502.72/3513.23 c 3513 916955 6903 1 - 8.0000 -
3507.70/3518.28 c 3518 918304 6903 1 - 8.0000 -
3512.79/3523.33 c 3523 919801 6902 1 - 8.0000 -
3517.78/3528.38 c 3528 921287 6927 1 - 8.0000 -
3522.86/3533.43 c 3533 922657 6925 1 - 8.0000 -
3527.85/3538.48 c 3538 924181 6928 1 - 8.0000 -
3532.94/3543.53 c 3544 925657 6938 1 - 8.0000 -
3537.93/3548.58 c 3549 927120 6938 1 - 8.0000 -
3543.01/3553.63 c 3554 928474 6949 1 - 8.0000 -
3548.00/3558.68 c 3559 929811 6928 1 - 8.0000 -
3553.08/3563.73 c 3564 931172 6936 1 - 8.0000 -
3558.07/3568.78 c 3569 932786 6949 1 - 8.0000 -
3563.16/3573.83 c 3574 934283 6951 1 - 8.0000 -
3568.14/3578.88 c 3579 935757 6954 1 - 8.0000 -
3573.23/3583.93 c 3584 937081 6952 1 - 8.0000 -
3578.22/3588.98 c 3589 938467 6937 1 - 8.0000 -
3583.31/3594.03 c 3594 939944 6947 1 - 8.0000 -
3587.30/3598.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.30/3598.10 c Total Time : 3598.1000
3587.30/3598.10 c solving : 3598.1000
3587.30/3598.10 c presolving : 3.0854 (included in solving)
3587.30/3598.10 c B&B Tree :
3587.30/3598.10 c nodes (total) : 1
3587.30/3598.10 c Solution :
3587.30/3598.10 c Solutions found : 0
3587.30/3598.10 c Primal Bound : -
3587.30/3598.10 c Dual Bound : +8.00000000000000e+00
3587.30/3598.10 c Gap : -
3587.40/3598.13 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 (61491 MiB free)
memory of node 1: 64473 MiB (63273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464129-1722382195/watcher-4464129-1722382195 -o /tmp/evaluation-result-4464129-1722382195/solver-4464129-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28858 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464129-1722382195.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
solver pid=31213, runsolver pid=31210
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 3.83 4.10 4.07 5/262 31214
/proc/meminfo: memFree=127685816/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=62744 memory=51540 CPUtime=0.09 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 11526 0 0 0 8 1 0 0 20 0 1 0 4816537 64249856 12885 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 15686 12885 2694 3035 0 12082 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62744 KiB
Current children cumulated memory: 51540 KiB
[startup+0.205744 s]*
/proc/loadavg: 3.83 4.10 4.07 5/262 31214
/proc/meminfo: memFree=127666632/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=75812 memory=63604 CPUtime=0.2 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 15196 0 0 0 18 2 0 0 20 0 1 0 4816537 77631488 15901 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 18953 15901 2774 3035 0 15349 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75812 KiB
Current children cumulated memory: 63604 KiB
[startup+0.305681 s]*
/proc/loadavg: 3.83 4.10 4.07 5/262 31214
/proc/meminfo: memFree=127647648/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=94368 memory=72876 CPUtime=0.3 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 17467 0 0 0 28 2 0 0 20 0 1 0 4816537 96632832 18219 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 23592 18219 2790 3035 0 19988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 94368 KiB
Current children cumulated memory: 72876 KiB
[startup+0.700241 s]
/proc/loadavg: 3.83 4.10 4.07 5/262 31214
/proc/meminfo: memFree=127575732/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=99476 memory=77364 CPUtime=0.69 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 18629 0 0 0 67 2 0 0 20 0 1 0 4816537 101863424 19341 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 24869 19341 2790 3035 0 21265 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99476 KiB
Current children cumulated memory: 77364 KiB
[startup+1.50026 s]
/proc/loadavg: 3.83 4.10 4.07 5/262 31214
/proc/meminfo: memFree=126745864/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=103560 memory=82116 CPUtime=1.48 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 19789 0 0 0 146 2 0 0 20 0 1 0 4816537 106045440 20529 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 25890 20529 2790 3035 0 22286 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103560 KiB
Current children cumulated memory: 82116 KiB
[startup+3.10562 s]
/proc/loadavg: 3.83 4.10 4.07 5/263 31263
/proc/meminfo: memFree=126793924/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=144980 memory=123892 CPUtime=3.09 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 30764 0 0 0 304 5 0 0 20 0 1 0 4816537 148459520 30973 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 36245 30973 2790 3035 0 32641 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 144980 KiB
Current children cumulated memory: 123892 KiB
[startup+6.30026 s]
/proc/loadavg: 3.84 4.10 4.07 5/265 31265
/proc/meminfo: memFree=126946336/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=314360 memory=265052 CPUtime=6.27 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 91129 0 0 0 615 12 0 0 20 0 3 0 4816537 321904640 66263 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 78590 66263 2950 3035 0 74292 0
[pid=31213/tid=31264] ppid=31210 vsize=314360 memory=198340509722 CPUtime=3.13 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 55929 0 0 0 307 6 0 0 20 0 3 0 4816850 321904640 66263 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=314360 memory=5711576 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4816853 321904640 66263 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 314360 KiB
Current children cumulated memory: 265052 KiB
[startup+12.7003 s]
/proc/loadavg: 3.93 4.11 4.08 5/265 31316
/proc/meminfo: memFree=127680756/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=379896 memory=292052 CPUtime=12.65 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 140868 0 0 0 1248 17 0 0 20 0 3 0 4816537 389013504 73013 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 94974 73013 2998 3035 0 80176 0
[pid=31213/tid=31264] ppid=31210 vsize=379896 memory=5711576 CPUtime=9.52 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 105624 0 0 0 940 12 0 0 20 0 3 0 4816850 389013504 73013 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=379896 memory=286800 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4816853 389013504 73013 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 379896 KiB
Current children cumulated memory: 292052 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.11 4.08 5/265 31317
/proc/meminfo: memFree=126155752/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=379896 memory=303120 CPUtime=25.42 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 205152 0 0 0 2516 26 0 0 20 0 3 0 4816537 389013504 75780 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 94974 75780 2998 3035 0 83060 0
[pid=31213/tid=31264] ppid=31210 vsize=379896 memory=11400 CPUtime=22.28 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 169875 0 0 0 2208 20 0 0 20 0 3 0 4816850 389013504 75780 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=379896 memory=303108 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4816853 389013504 75780 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 379896 KiB
Current children cumulated memory: 303120 KiB
[startup+51.1058 s]
/proc/loadavg: 4.03 4.12 4.08 5/266 31380
/proc/meminfo: memFree=126106940/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=379896 memory=324268 CPUtime=50.96 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 269348 0 0 0 5063 33 0 0 20 0 3 0 4816537 389013504 81067 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 94974 81067 2998 3035 0 87772 0
[pid=31213/tid=31264] ppid=31210 vsize=379896 memory=11400 CPUtime=47.82 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 234025 0 0 0 4755 27 0 0 20 0 3 0 4816850 389013504 81067 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=379896 memory=324268 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4816853 389013504 81067 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 379896 KiB
Current children cumulated memory: 324268 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/267 31391
/proc/meminfo: memFree=126053512/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=445432 memory=348116 CPUtime=102.01 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 342530 0 0 0 10155 46 0 0 20 0 3 0 4816537 456122368 87029 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 111358 87029 2998 3035 0 94143 0
[pid=31213/tid=31264] ppid=31210 vsize=445432 memory=348096 CPUtime=98.87 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 307149 0 0 0 9847 40 0 0 20 0 3 0 4816850 456122368 87029 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=445432 memory=348076 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4816853 456122368 87029 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 348116 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/267 31401
/proc/meminfo: memFree=125982412/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=445432 memory=381080 CPUtime=161.84 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 411379 0 0 0 16124 60 0 0 20 0 3 0 4816537 456122368 95270 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 111358 95270 2998 3035 0 102462 0
[pid=31213/tid=31264] ppid=31210 vsize=445432 memory=371484 CPUtime=158.69 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 375955 0 0 0 15816 53 0 0 20 0 3 0 4816850 456122368 95270 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=445432 memory=371500 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4816853 456122368 95270 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 381080 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/267 31411
/proc/meminfo: memFree=125872696/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=445432 memory=399560 CPUtime=221.67 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 453091 0 0 0 22095 72 0 0 20 0 3 0 4816537 456122368 99890 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 111358 99890 2998 3035 0 106974 0
[pid=31213/tid=31264] ppid=31210 vsize=445432 memory=381196 CPUtime=218.52 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 417647 0 0 0 21787 65 0 0 20 0 3 0 4816850 456122368 99890 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=445432 memory=11400 CPUtime=0 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4816853 456122368 99890 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 399560 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 31422
/proc/meminfo: memFree=125755520/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=510968 memory=409664 CPUtime=281.5 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 488640 0 0 0 28066 84 0 0 20 0 3 0 4816537 523231232 102416 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 127742 102416 2998 3035 0 109040 0
[pid=31213/tid=31264] ppid=31210 vsize=510968 memory=11400 CPUtime=278.34 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 453183 0 0 0 27758 76 0 0 20 0 3 0 4816850 523231232 102416 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
################
# More data... #
################
[pid=31213] ppid=31210 vsize=576504 memory=541916 CPUtime=3451.95 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 906279 0 0 0 344667 528 0 0 20 0 3 0 4816537 590340096 135479 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 144126 135479 3014 3035 0 140334 0
[pid=31213/tid=31264] ppid=31210 vsize=576504 memory=541916 CPUtime=3448.57 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 870200 0 0 0 344344 513 0 0 20 0 3 0 4816850 590340096 135479 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=576504 memory=541916 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4816853 590340096 135479 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 576504 KiB
Current children cumulated memory: 541916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 33156
/proc/meminfo: memFree=120834888/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3511.79 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 920926 0 0 0 350641 538 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=11400 CPUtime=3508.4 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 884835 0 0 0 350317 523 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=563660 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 147 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 33166
/proc/meminfo: memFree=120831808/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3571.63 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 927254 0 0 0 356615 548 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=563660 CPUtime=3568.23 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 891152 0 0 0 356291 532 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=11400 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3598.14 s]
# the end of solver process 31213 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.93 s, system=5.51464 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/266 33166
/proc/meminfo: memFree=120831816/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3573.33 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 927293 0 0 0 356785 548 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=-7452168224999826559 CPUtime=3569.94 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 891191 0 0 0 356461 533 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=4497855350632509086 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830984/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3579.72 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 927570 0 0 0 357423 549 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=563660 CPUtime=3576.31 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 891468 0 0 0 357098 533 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=563660 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3579.72 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120831004/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3582.9 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 927723 0 0 0 357741 549 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=563660 CPUtime=3579.5 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 891621 0 0 0 357417 533 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=11400 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830976/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3584.5 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 928539 0 0 0 357901 549 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=1940 CPUtime=3581.1 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 892430 0 0 0 357576 534 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=11400 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830976/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3586.1 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 928685 0 0 0 358060 550 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=-7524225819037755007 CPUtime=3582.7 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 892576 0 0 0 357736 534 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=164 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830992/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=642040 memory=563660 CPUtime=3586.9 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 928714 0 0 0 358140 550 0 0 20 0 3 0 4816537 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 160510 140915 3014 3035 0 144999 0
[pid=31213/tid=31264] ppid=31210 vsize=642040 memory=12696 CPUtime=3583.49 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 892605 0 0 0 357815 534 0 0 20 0 3 0 4816850 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=642040 memory=13176 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 657448960 140915 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 642040 KiB
Current children cumulated memory: 563660 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 33214
/proc/meminfo: memFree=121381516/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=638600 memory=560220 CPUtime=3587.3 cores=4,6
/proc/31213/stat : 31213 (fscip) S 31210 31213 28847 0 -1 1077936128 928967 0 0 0 358180 550 0 0 20 0 3 0 4816537 653926400 140055 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 159650 140055 3014 3035 0 144139 0
[pid=31213/tid=31264] ppid=31210 vsize=638600 memory=-7524225819037755007 CPUtime=3583.9 cores=4,6
/proc/31213/task/31264/stat : 31264 (fscip) R 31210 31213 28847 0 -1 4194368 892855 0 0 0 357856 534 0 0 20 0 3 0 4816850 653926400 140055 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
[pid=31213/tid=31265] ppid=31210 vsize=638600 memory=5472 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4816853 653926400 140055 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 638600 KiB
Current children cumulated memory: 560220 KiB
[startup+3598.12 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 33214
/proc/meminfo: memFree=121381516/131524600 swapFree=131071216/131071996
[pid=31213] ppid=31210 vsize=507528 memory=477956 CPUtime=3587.4 cores=4,6
/proc/31213/stat : 31213 (fscip) R 31210 31213 28847 0 -1 4194304 936364 0 0 0 358190 550 0 0 20 0 2 0 4816537 519708672 119489 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
/proc/31213/statm: 126882 119489 3014 3035 0 123169 0
[pid=31213/tid=31265] ppid=31210 vsize=507528 memory=563660 CPUtime=0.04 cores=4,6
/proc/31213/task/31265/stat : 31265 (fscip) S 31210 31213 28847 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 2 0 4816853 519708672 119489 134679101440 4194304 16623229 140721157282352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26853376 140721157288982 140721157289098 140721157289098 140721157296112 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 507528 KiB
Current children cumulated memory: 477956 KiB
Child status: 0
Real time (s): 3598.14
CPU time (s): 3587.44
CPU user time (s): 3581.93
CPU system time (s): 5.51464
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 642040
Max. memory (cumulated for all children) (KiB): 563660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.93
system time used= 5.51464
maximum resident set size= 563660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 936549
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= 10777
involuntary context switches= 1484
# summary of solver processes directly reported to runsolver:
# pid: 31213
# total CPU time (s): 3587.44
# total CPU user time (s): 3581.93
# total CPU system time (s): 5.51464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44982 second user time and 19.6036 second system time
The end
Begin job on nodeC017 at 2024-07-31 01:29:55
IDJOB=4464129
IDBENCH=148769
IDSOLVER=3092
FILE ID=nodeC017/4464129-1722382195
RUNJOBID= nodeC017-1722378594-28858
SLURM_JOB_ID= 8249830
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx84.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-4464129-1722382195/watcher-4464129-1722382195 -o /tmp/evaluation-result-4464129-1722382195/solver-4464129-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28858 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464129-1722382195.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d60e9860abd72f5860673673bfdb8c38
RANDOM SEED=292526229
nodeC017.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 : 3663.904
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.82
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 : 3600.746
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.29
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 : 3600.182
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.82
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 : 3678.541
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.29
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 : 3643.290
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.82
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 : 3678.516
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.29
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 : 3668.576
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.82
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 : 3599.938
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127835980 kB
MemAvailable: 129157928 kB
Buffers: 94124 kB
Cached: 2060560 kB
SwapCached: 52 kB
Active: 268488 kB
Inactive: 2942756 kB
Active(anon): 1440 kB
Inactive(anon): 1076268 kB
Active(file): 267048 kB
Inactive(file): 1866488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 129536 kB
Writeback: 0 kB
AnonPages: 1056632 kB
Mapped: 119232 kB
Shmem: 21136 kB
KReclaimable: 56468 kB
Slab: 136820 kB
SReclaimable: 56468 kB
SUnreclaim: 80352 kB
KernelStack: 4208 kB
PageTables: 10604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1450848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 272384 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889928 MiB
End job on nodeC017 at 2024-07-31 02:29:54