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.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 83320832, getVmSize() = 83320832, SCIPgetMemUsed() = 28726179, SCIPgetMemTotal() = 61052027, SCIPgetMemExternEstim() = 15170608
0.00/0.08 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.50/0.51 c ** Estimated virtualMemUsedAtSolver = 102903510, getVmSize() = 162897920, SCIPgetMemUsed() = 83206250, SCIPgetMemTotal() = 139184658, SCIPgetMemExternEstim() = 15170608
0.50/0.51 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.50/0.51 c Original Problem :
0.50/0.51 c Problem name : instance-4464005-1722378597
0.50/0.51 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.51 c Constraints : 6384
0.50/0.51 c Objective sense : minimize
0.50/0.51 c Presolved Problem :
0.50/0.51 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.51 c Constraints : 4902
0.50/0.51 c Constraints : Number
0.50/0.51 c knapsack : 679
0.50/0.51 c setppc : 1371
0.50/0.51 c linear : 2852
0.50/0.51 c ** Instance transfer method used: 0
0.50/0.53 c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.55 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.55 c Nodes Active
0.50/0.55 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.87/5.99 c 6 23 22 1 - 91.0000 -
10.95/11.06 c 11 84 71 1 - 91.0000 -
16.33/16.42 c 16 151 120 1 - 91.0000 -
22.31/22.44 c 22 244 164 1 - 91.0000 -
29.00/29.11 c 29 473 238 1 - 91.0000 -
34.00/34.12 c 34 624 282 1 - 91.0000 -
39.28/39.44 c 39 656 289 1 - 91.0000 -
44.36/44.58 c 45 804 315 1 - 91.0000 -
49.64/49.83 c 50 910 345 1 - 91.0000 -
56.04/56.26 c 56 1074 388 1 - 91.0000 -
61.41/61.62 c 62 1261 432 1 - 91.0000 -
66.40/66.67 c 67 1312 449 1 - 91.0000 -
72.99/73.28 c 73 1327 454 1 - 91.0000 -
79.57/79.83 c 80 1452 477 1 - 91.0000 -
85.76/86.10 c 86 1515 486 1 - 91.0000 -
91.14/91.49 c 91 1593 506 1 - 91.0000 -
96.62/96.98 c 97 1635 514 1 - 91.0000 -
103.81/104.14 c 104 1649 519 1 - 91.0000 -
110.10/110.41 c 110 1674 522 1 - 91.0000 -
116.08/116.45 c 116 1767 549 1 - 91.0000 -
122.17/122.57 c 123 1883 568 1 - 91.0000 -
127.55/127.92 c 128 1970 589 1 - 91.0000 -
132.84/133.28 c 133 2137 600 1 - 91.0000 -
139.21/139.69 c 140 2293 598 1 - 91.0000 -
145.10/145.55 c 146 2402 596 1 - 91.0000 -
150.39/150.85 c 151 2610 606 1 - 91.0000 -
156.48/156.95 c 157 2731 597 1 - 91.0000 -
161.96/162.40 c 162 2807 599 1 - 91.0000 -
167.35/167.80 c 168 2895 595 1 - 91.0000 -
173.13/173.69 c 174 3116 592 1 - 91.0000 -
179.62/180.18 c 180 3145 600 1 - 91.0000 -
184.90/185.49 c 185 3222 582 1 - 91.0000 -
190.38/190.99 c 191 3335 540 1 - 91.0000 -
195.87/196.48 c 196 3420 546 1 - 91.0000 -
203.25/203.83 c 204 3540 553 1 - 91.0000 -
208.84/209.43 c 209 3667 573 1 - 91.0000 -
215.12/215.71 c 216 3781 575 1 - 91.0000 -
220.81/221.43 c 221 3806 579 1 - 91.0000 -
229.68/230.37 c 230 3836 1 1 - 91.0000 -
235.67/236.39 c 236 3867 30 1 - 91.0000 -
243.64/244.32 c 244 3900 63 1 - 91.0000 -
248.82/249.59 c 250 3983 140 1 - 91.0000 -
254.20/254.92 c 255 4087 209 1 - 91.0000 -
259.40/260.18 c 260 4342 337 1 - 91.0000 -
265.38/266.16 c 266 4533 394 1 - 91.0000 -
270.86/271.61 c 272 4654 495 1 - 91.0000 -
276.54/277.37 c 277 4757 554 1 - 91.0000 -
282.33/283.13 c 283 4882 645 1 - 91.0000 -
287.41/288.26 c 288 5096 775 1 - 91.0000 -
293.20/294.02 c 294 5381 896 1 - 91.0000 -
298.67/299.52 c 300 5574 981 1 - 91.0000 -
303.66/304.57 c 305 5738 1079 1 - 91.0000 -
308.94/309.83 c 310 5889 1157 1 - 91.0000 -
314.42/315.37 c 315 6107 1258 1 - 91.0000 -
320.00/320.93 c 321 6281 1361 1 - 91.0000 -
325.09/326.00 c 326 6475 1447 1 - 91.0000 -
330.07/331.10 c 331 6673 1478 1 - 91.0000 -
335.25/336.22 c 336 6897 1505 1 - 91.0000 -
340.44/341.44 c 341 7100 1583 1 - 91.0000 -
345.63/346.67 c 347 7254 1655 1 - 91.0000 -
350.82/351.88 c 352 7367 1725 1 - 91.0000 -
356.21/357.24 c 357 7615 1780 1 - 91.0000 -
361.39/362.49 c 362 7808 1834 1 - 91.0000 -
367.27/368.31 c 368 7986 1899 1 - 91.0000 -
372.56/373.62 c 374 8188 1977 1 - 91.0000 -
377.65/378.76 c 379 8389 2051 1 - 91.0000 -
382.84/383.98 c 384 8564 2118 1 - 91.0000 -
388.03/389.17 c 389 8772 2174 1 - 91.0000 -
393.51/394.64 c 395 8983 2233 1 - 91.0000 -
398.79/399.97 c 400 9169 2287 1 - 91.0000 -
404.09/405.24 c 405 9339 2358 1 - 91.0000 -
409.88/411.02 c 411 9411 2424 1 - 91.0000 -
414.96/416.19 c 416 9491 2491 1 - 91.0000 -
420.15/421.32 c 421 9589 2566 1 - 91.0000 -
425.43/426.68 c 427 9660 2632 1 - 91.0000 -
430.72/431.96 c 432 9747 2706 1 - 91.0000 -
436.01/437.20 c 437 9942 2776 1 - 91.0000 -
441.30/442.50 c 442 10186 2826 1 - 91.0000 -
446.38/447.64 c 448 10274 2905 1 - 91.0000 -
451.77/453.06 c 453 10383 2976 1 - 91.0000 -
456.96/458.21 c 458 10463 3034 1 - 91.0000 -
462.24/463.58 c 464 10580 3111 1 - 91.0000 -
467.63/468.98 c 469 10725 3159 1 - 91.0000 -
472.82/474.17 c 474 10944 3197 1 - 91.0000 -
478.20/479.58 c 480 11084 3277 1 - 91.0000 -
483.39/484.79 c 485 11270 3370 1 - 91.0000 -
488.78/490.13 c 490 11385 3435 1 - 91.0000 -
494.06/495.41 c 495 11680 3482 1 - 91.0000 -
499.35/500.79 c 501 11917 3558 1 - 91.0000 -
505.24/506.62 c 507 12110 3615 1 - 91.0000 -
510.32/511.75 c 512 12328 3704 1 - 91.0000 -
515.51/516.92 c 517 12584 3765 1 - 91.0000 -
520.61/522.08 c 522 12819 3845 1 - 91.0000 -
525.79/527.26 c 527 12959 3920 1 - 91.0000 -
530.97/532.45 c 532 13140 3970 1 - 91.0000 -
536.16/537.67 c 538 13345 4025 1 - 91.0000 -
541.84/543.38 c 543 13473 4092 1 - 91.0000 -
547.33/548.87 c 549 13656 4138 1 - 91.0000 -
552.52/554.06 c 554 13844 4221 1 - 91.0000 -
557.81/559.33 c 559 14095 4329 1 - 91.0000 -
562.99/564.51 c 565 14313 4402 1 - 91.0000 -
568.28/569.88 c 570 14512 4492 1 - 91.0000 -
573.47/575.02 c 575 14737 4590 1 - 91.0000 -
578.65/580.25 c 580 14881 4686 1 - 91.0000 -
583.84/585.44 c 585 14998 4778 1 - 91.0000 -
588.93/590.58 c 591 15179 4837 1 - 91.0000 -
594.52/596.15 c 596 15332 4926 1 - 91.0000 -
599.60/601.28 c 601 15587 5100 1 - 91.0000 -
604.89/606.54 c 607 15790 5249 1 - 91.0000 -
610.07/611.75 c 612 16007 5379 1 - 91.0000 -
615.17/616.87 c 617 16314 5523 1 - 91.0000 -
620.36/622.06 c 622 16684 5605 1 - 91.0000 -
625.44/627.19 c 627 17011 5669 1 - 91.0000 -
630.62/632.33 c 632 17449 5747 1 - 91.0000 -
635.70/637.48 c 637 17857 5826 1 - 91.0000 -
640.89/642.63 c 643 18244 5927 1 - 91.0000 -
646.08/647.81 c 648 18609 6072 1 - 91.0000 -
651.28/653.08 c 653 18942 6247 1 - 91.0000 -
656.45/658.21 c 658 19237 6433 1 - 91.0000 -
661.44/663.28 c 663 19621 6578 1 - 91.0000 -
666.82/668.63 c 669 19850 6704 1 - 91.0000 -
672.11/673.97 c 674 20155 6886 1 - 91.0000 -
677.40/679.26 c 679 20482 6994 1 - 91.0000 -
682.59/684.48 c 684 20777 7117 1 - 91.0000 -
687.77/689.62 c 690 21033 7262 1 - 91.0000 -
692.86/694.73 c 695 21494 7433 1 - 91.0000 -
697.94/699.82 c 700 21997 7551 1 - 91.0000 -
703.43/705.35 c 705 22354 7674 1 - 91.0000 -
708.62/710.55 c 711 22535 7787 1 - 91.0000 -
714.00/715.92 c 716 22881 7909 1 - 91.0000 -
719.29/721.26 c 721 23246 8087 1 - 91.0000 -
725.27/727.29 c 727 23512 8151 1 - 91.0000 -
730.47/732.43 c 732 23776 8228 1 - 91.0000 -
735.75/737.77 c 738 24126 8353 1 - 91.0000 -
741.05/743.09 c 743 24531 8475 1 - 91.0000 -
746.23/748.20 c 748 24791 8580 1 - 91.0000 -
751.31/753.31 c 753 24994 8693 1 - 91.0000 -
756.39/758.45 c 758 25475 8830 1 - 91.0000 -
761.58/763.61 c 764 25901 8933 1 - 91.0000 -
766.66/768.75 c 769 26303 9055 1 - 91.0000 -
771.75/773.85 c 774 26694 9196 1 - 91.0000 -
776.94/779.08 c 779 27055 9271 1 - 91.0000 -
782.63/784.72 c 785 27403 9373 1 - 91.0000 -
787.71/789.87 c 790 27775 9482 1 - 91.0000 -
792.90/795.06 c 795 27983 9610 1 - 91.0000 -
798.09/800.23 c 800 28341 9814 1 - 91.0000 -
803.17/805.30 c 805 28725 9982 1 - 91.0000 -
808.16/810.39 c 810 29149 10178 1 - 91.0000 -
813.24/815.48 c 815 29666 10324 1 - 91.0000 -
818.52/820.73 c 821 30042 10463 1 - 91.0000 -
823.71/825.99 c 826 30393 10600 1 - 91.0000 -
829.00/831.23 c 831 30717 10702 1 - 91.0000 -
834.28/836.57 c 837 30900 10746 1 - 91.0000 -
839.38/841.67 c 842 31270 10879 1 - 91.0000 -
844.46/846.75 c 847 31740 11028 1 - 91.0000 -
849.54/851.82 c 852 32132 11161 1 - 91.0000 -
854.73/857.02 c 857 32616 11229 1 - 91.0000 -
859.72/862.08 c 862 33267 11248 1 - 91.0000 -
864.80/867.15 c 867 33702 11356 1 - 91.0000 -
869.98/872.35 c 872 34140 11495 1 - 91.0000 -
875.57/877.93 c 878 34681 11598 1 - 91.0000 -
880.86/883.22 c 883 34923 11629 1 - 91.0000 -
886.04/888.49 c 888 35203 11656 1 - 91.0000 -
891.42/893.82 c 894 35538 11776 1 - 91.0000 -
896.42/898.88 c 899 35813 11943 1 - 91.0000 -
901.61/904.10 c 904 36293 12090 1 - 91.0000 -
906.79/909.27 c 909 36684 12188 1 - 91.0000 -
911.98/914.42 c 914 36911 12289 1 - 91.0000 -
917.26/919.72 c 920 37257 12304 1 - 91.0000 -
922.25/924.79 c 925 37741 12505 1 - 91.0000 -
927.54/930.03 c 930 38175 12631 1 - 91.0000 -
932.62/935.19 c 935 38573 12746 1 - 91.0000 -
938.61/941.17 c 941 39030 12887 1 - 91.0000 -
943.79/946.38 c 946 39346 13050 1 - 91.0000 -
949.18/951.72 c 952 39741 13140 1 - 91.0000 -
954.26/956.83 c 957 40116 13205 1 - 91.0000 -
959.55/962.18 c 962 40342 13274 1 - 91.0000 -
964.63/967.26 c 967 40601 13410 1 - 91.0000 -
969.73/972.39 c 972 40916 13560 1 - 91.0000 -
975.01/977.62 c 978 41289 13680 1 - 91.0000 -
980.10/982.72 c 983 41859 13750 1 - 91.0000 -
985.19/987.84 c 988 42223 13896 1 - 91.0000 -
990.38/993.10 c 993 42591 14042 1 - 91.0000 -
995.56/998.25 c 998 42873 14152 1 - 91.0000 -
1000.65/1003.36 c 1003 43275 14288 1 - 91.0000 -
1005.84/1008.59 c 1009 43720 14439 1 - 91.0000 -
1010.93/1013.65 c 1014 44099 14584 1 - 91.0000 -
1016.01/1018.77 c 1019 44530 14687 1 - 91.0000 -
1021.20/1023.91 c 1024 44929 14782 1 - 91.0000 -
1026.29/1029.04 c 1029 45286 14903 1 - 91.0000 -
1031.38/1034.14 c 1034 45624 15055 1 - 91.0000 -
1037.86/1040.68 c 1041 45918 15108 1 - 91.0000 -
1043.04/1045.82 c 1046 46306 15192 1 - 91.0000 -
1048.04/1050.89 c 1051 46634 15320 1 - 91.0000 -
1053.52/1056.39 c 1056 46942 15429 1 - 91.0000 -
1058.71/1061.55 c 1062 47360 15565 1 - 91.0000 -
1063.90/1066.72 c 1067 47699 15675 1 - 91.0000 -
1068.99/1071.83 c 1072 48023 15787 1 - 91.0000 -
1074.07/1076.95 c 1077 48190 15860 1 - 91.0000 -
1079.27/1082.18 c 1082 48422 15935 1 - 91.0000 -
1084.55/1087.45 c 1087 48567 16052 1 - 91.0000 -
1089.64/1092.55 c 1093 48878 16230 1 - 91.0000 -
1094.82/1097.72 c 1098 49218 16436 1 - 91.0000 -
1100.01/1102.93 c 1103 49565 16646 1 - 91.0000 -
1105.30/1108.28 c 1108 49971 16838 1 - 91.0000 -
1110.49/1113.40 c 1113 50252 16937 1 - 91.0000 -
1115.78/1118.73 c 1119 50752 17036 1 - 91.0000 -
1120.76/1123.77 c 1124 51141 17183 1 - 91.0000 -
1125.95/1128.99 c 1129 51387 17311 1 - 91.0000 -
1131.14/1134.19 c 1134 51637 17454 1 - 91.0000 -
1136.42/1139.43 c 1139 51890 17555 1 - 91.0000 -
1141.52/1144.50 c 1144 52287 17709 1 - 91.0000 -
1146.80/1149.88 c 1150 52543 17815 1 - 91.0000 -
1151.89/1154.98 c 1155 52766 17902 1 - 91.0000 -
1156.98/1160.05 c 1160 53045 18044 1 - 91.0000 -
1162.16/1165.22 c 1165 53387 18186 1 - 91.0000 -
1167.35/1170.43 c 1170 53760 18341 1 - 91.0000 -
1172.43/1175.51 c 1176 54044 18423 1 - 91.0000 -
1177.73/1180.80 c 1181 54276 18593 1 - 91.0000 -
1182.81/1185.90 c 1186 54702 18744 1 - 91.0000 -
1188.00/1191.11 c 1191 54962 18858 1 - 91.0000 -
1193.08/1196.21 c 1196 55197 18953 1 - 91.0000 -
1198.27/1201.43 c 1201 55603 19110 1 - 91.0000 -
1203.36/1206.56 c 1207 55939 19231 1 - 91.0000 -
1208.44/1211.67 c 1212 56280 19292 1 - 91.0000 -
1213.73/1216.91 c 1217 56545 19329 1 - 91.0000 -
1218.82/1222.08 c 1222 56809 19434 1 - 91.0000 -
1224.00/1227.24 c 1227 57086 19591 1 - 91.0000 -
1229.09/1232.38 c 1232 57374 19783 1 - 91.0000 -
1234.27/1237.56 c 1238 57674 19915 1 - 91.0000 -
1239.57/1242.82 c 1243 57955 20076 1 - 91.0000 -
1244.55/1247.89 c 1248 58330 20225 1 - 91.0000 -
1249.64/1252.99 c 1253 58748 20393 1 - 91.0000 -
1254.74/1258.07 c 1258 59227 20494 1 - 91.0000 -
1260.01/1263.34 c 1263 59632 20529 1 - 91.0000 -
1265.29/1268.64 c 1269 59972 20604 1 - 91.0000 -
1270.49/1273.82 c 1274 60321 20723 1 - 91.0000 -
1275.57/1278.96 c 1279 60668 20897 1 - 91.0000 -
1280.76/1284.10 c 1284 60934 21006 1 - 91.0000 -
1285.85/1289.27 c 1289 61194 21120 1 - 91.0000 -
1291.04/1294.40 c 1294 61533 21235 1 - 91.0000 -
1296.13/1299.52 c 1300 61809 21353 1 - 91.0000 -
1301.21/1304.65 c 1305 62079 21471 1 - 91.0000 -
1306.30/1309.75 c 1310 62369 21595 1 - 91.0000 -
1311.59/1315.06 c 1315 62688 21703 1 - 91.0000 -
1316.68/1320.15 c 1320 63191 21819 1 - 91.0000 -
1321.96/1325.48 c 1325 63558 21887 1 - 91.0000 -
1327.05/1330.56 c 1331 63921 21997 1 - 91.0000 -
1333.63/1337.13 c 1337 64242 22111 1 - 91.0000 -
1338.72/1342.27 c 1342 64497 22223 1 - 91.0000 -
1343.80/1347.35 c 1347 64822 22359 1 - 91.0000 -
1348.88/1352.44 c 1352 65078 22428 1 - 91.0000 -
1354.07/1357.60 c 1358 65321 22535 1 - 91.0000 -
1359.16/1362.73 c 1363 65685 22639 1 - 91.0000 -
1364.24/1367.84 c 1368 65973 22740 1 - 91.0000 -
1369.33/1372.92 c 1373 66209 22876 1 - 91.0000 -
1374.31/1377.99 c 1378 66533 22989 1 - 91.0000 -
1379.40/1383.07 c 1383 66926 23106 1 - 91.0000 -
1384.49/1388.19 c 1388 67233 23229 1 - 91.0000 -
1389.76/1393.41 c 1393 67484 23335 1 - 91.0000 -
1394.85/1398.59 c 1399 67758 23382 1 - 91.0000 -
1400.24/1403.97 c 1404 67993 23474 1 - 91.0000 -
1405.51/1409.20 c 1409 68272 23570 1 - 91.0000 -
1410.71/1414.45 c 1414 68551 23643 1 - 91.0000 -
1416.39/1420.14 c 1420 68793 23735 1 - 91.0000 -
1421.67/1425.42 c 1425 69002 23780 1 - 91.0000 -
1426.77/1430.55 c 1431 69237 23808 1 - 91.0000 -
1431.85/1435.64 c 1436 69549 23856 1 - 91.0000 -
1437.14/1440.95 c 1441 69947 23919 1 - 91.0000 -
1442.22/1446.01 c 1446 70322 24039 1 - 91.0000 -
1447.32/1451.11 c 1451 70545 24139 1 - 91.0000 -
1452.49/1456.31 c 1456 70999 24175 1 - 91.0000 -
1457.59/1461.47 c 1461 71288 24311 1 - 91.0000 -
1462.68/1466.57 c 1467 71643 24424 1 - 91.0000 -
1468.06/1471.93 c 1472 71908 24563 1 - 91.0000 -
1473.26/1477.10 c 1477 72257 24736 1 - 91.0000 -
1478.53/1482.40 c 1482 72596 24829 1 - 91.0000 -
1483.72/1487.65 c 1488 72829 24905 1 - 91.0000 -
1489.01/1492.95 c 1493 73262 25041 1 - 91.0000 -
1494.20/1498.11 c 1498 73591 25131 1 - 91.0000 -
1499.19/1503.18 c 1503 73931 25246 1 - 91.0000 -
1504.27/1508.25 c 1508 74272 25322 1 - 91.0000 -
1509.66/1513.64 c 1514 74599 25394 1 - 91.0000 -
1514.95/1518.91 c 1519 74751 25484 1 - 91.0000 -
1520.23/1524.28 c 1524 74877 25591 1 - 91.0000 -
1525.42/1529.40 c 1529 75152 25719 1 - 91.0000 -
1530.41/1534.49 c 1534 75618 25835 1 - 91.0000 -
1535.49/1539.56 c 1540 76119 25948 1 - 91.0000 -
1540.88/1544.93 c 1545 76490 26073 1 - 91.0000 -
1545.97/1550.00 c 1550 76899 26190 1 - 91.0000 -
1551.06/1555.14 c 1555 77217 26320 1 - 91.0000 -
1556.34/1560.47 c 1560 77680 26456 1 - 91.0000 -
1561.53/1565.68 c 1566 78077 26566 1 - 91.0000 -
1566.71/1570.84 c 1571 78411 26689 1 - 91.0000 -
1572.30/1576.49 c 1576 78762 26815 1 - 91.0000 -
1577.59/1581.73 c 1582 79093 26920 1 - 91.0000 -
1582.67/1586.84 c 1587 79365 27042 1 - 91.0000 -
1587.76/1591.94 c 1592 79646 27191 1 - 91.0000 -
1592.86/1597.10 c 1597 79929 27371 1 - 91.0000 -
1597.94/1602.19 c 1602 80301 27560 1 - 91.0000 -
1603.13/1607.38 c 1607 80596 27736 1 - 91.0000 -
1608.21/1612.43 c 1612 80885 27883 1 - 91.0000 -
1613.30/1617.56 c 1618 81215 28026 1 - 91.0000 -
1618.49/1622.71 c 1623 81467 28178 1 - 91.0000 -
1623.57/1627.86 c 1628 81804 28339 1 - 91.0000 -
1628.66/1632.98 c 1633 82183 28479 1 - 91.0000 -
1633.95/1638.23 c 1638 82534 28640 1 - 91.0000 -
1639.04/1643.32 c 1643 82911 28734 1 - 91.0000 -
1644.22/1648.50 c 1648 83236 28784 1 - 91.0000 -
1649.31/1653.64 c 1654 83541 28919 1 - 91.0000 -
1654.40/1658.78 c 1659 83810 29051 1 - 91.0000 -
1659.58/1663.99 c 1664 84120 29179 1 - 91.0000 -
1664.68/1669.08 c 1669 84448 29316 1 - 91.0000 -
1669.76/1674.14 c 1674 84782 29433 1 - 91.0000 -
1674.95/1679.36 c 1679 85083 29545 1 - 91.0000 -
1680.14/1684.54 c 1685 85440 29675 1 - 91.0000 -
1685.42/1689.81 c 1690 85755 29809 1 - 91.0000 -
1690.51/1694.93 c 1695 86166 29925 1 - 91.0000 -
1695.60/1700.03 c 1700 86537 30119 1 - 91.0000 -
1700.69/1705.14 c 1705 86812 30293 1 - 91.0000 -
1705.75/1710.29 c 1710 87127 30423 1 - 91.0000 -
1711.34/1715.85 c 1716 87492 30538 1 - 91.0000 -
1716.42/1720.99 c 1721 87827 30648 1 - 91.0000 -
1721.61/1726.15 c 1726 88116 30774 1 - 91.0000 -
1726.80/1731.30 c 1731 88422 30914 1 - 91.0000 -
1731.78/1736.39 c 1736 88767 31035 1 - 91.0000 -
1736.97/1741.53 c 1742 89141 31111 1 - 91.0000 -
1742.16/1746.71 c 1747 89453 31203 1 - 91.0000 -
1747.64/1752.25 c 1752 89783 31347 1 - 91.0000 -
1752.83/1757.46 c 1757 90152 31488 1 - 91.0000 -
1758.02/1762.61 c 1763 90397 31632 1 - 91.0000 -
1763.11/1767.77 c 1768 90687 31790 1 - 91.0000 -
1768.19/1772.88 c 1773 90883 31899 1 - 91.0000 -
1773.68/1778.38 c 1778 91089 32033 1 - 91.0000 -
1778.86/1783.56 c 1784 91347 32169 1 - 91.0000 -
1784.05/1788.74 c 1789 91668 32304 1 - 91.0000 -
1789.14/1793.89 c 1794 91952 32412 1 - 91.0000 -
1794.23/1798.97 c 1799 92223 32554 1 - 91.0000 -
1799.42/1804.18 c 1804 92469 32653 1 - 91.0000 -
1804.50/1809.26 c 1809 92762 32797 1 - 91.0000 -
1809.59/1814.38 c 1814 93169 32912 1 - 91.0000 -
1814.68/1819.45 c 1819 93542 32957 1 - 91.0000 -
1819.86/1824.60 c 1825 94000 33028 1 - 91.0000 -
1824.95/1829.77 c 1830 94443 33119 1 - 91.0000 -
1830.13/1834.90 c 1835 94830 33127 1 - 91.0000 -
1835.33/1840.14 c 1840 95214 33166 1 - 91.0000 -
1840.41/1845.21 c 1845 95757 33250 1 - 91.0000 -
1845.70/1850.50 c 1850 96131 33358 1 - 91.0000 -
1850.98/1855.83 c 1856 96565 33464 1 - 91.0000 -
1856.28/1861.17 c 1861 97043 33599 1 - 91.0000 -
1861.66/1866.56 c 1867 97401 33729 1 - 91.0000 -
1866.75/1871.64 c 1872 97883 33865 1 - 91.0000 -
1871.83/1876.72 c 1877 98287 33967 1 - 91.0000 -
1877.03/1881.97 c 1882 98614 34040 1 - 91.0000 -
1882.21/1887.11 c 1887 99002 34135 1 - 91.0000 -
1887.40/1892.36 c 1892 99241 34276 1 - 91.0000 -
1892.58/1897.50 c 1898 99589 34408 1 - 91.0000 -
1897.67/1902.69 c 1903 99916 34577 1 - 91.0000 -
1902.85/1907.83 c 1908 100321 34754 1 - 91.0000 -
1907.95/1912.96 c 1913 100693 34892 1 - 91.0000 -
1913.04/1918.09 c 1918 101027 35009 1 - 91.0000 -
1918.22/1923.23 c 1923 101475 35050 1 - 91.0000 -
1923.60/1928.63 c 1929 101807 35153 1 - 91.0000 -
1928.79/1933.85 c 1934 102196 35224 1 - 91.0000 -
1933.88/1938.96 c 1939 102511 35318 1 - 91.0000 -
1938.97/1944.04 c 1944 102907 35408 1 - 91.0000 -
1944.45/1949.52 c 1950 103266 35534 1 - 91.0000 -
1949.54/1954.68 c 1955 103633 35632 1 - 91.0000 -
1954.83/1959.95 c 1960 103946 35724 1 - 91.0000 -
1960.02/1965.13 c 1965 104505 35799 1 - 91.0000 -
1965.10/1970.20 c 1970 105000 35890 1 - 91.0000 -
1970.18/1975.31 c 1975 105371 35986 1 - 91.0000 -
1975.28/1980.48 c 1980 105804 36078 1 - 91.0000 -
1980.56/1985.78 c 1986 106109 36220 1 - 91.0000 -
1985.75/1990.97 c 1991 106380 36336 1 - 91.0000 -
1990.94/1996.14 c 1996 106693 36489 1 - 91.0000 -
1996.22/2001.40 c 2001 107108 36636 1 - 91.0000 -
2001.31/2006.59 c 2007 107378 36753 1 - 91.0000 -
2006.80/2012.02 c 2012 107731 36859 1 - 91.0000 -
2011.89/2017.15 c 2017 108017 36958 1 - 91.0000 -
2016.97/2022.27 c 2022 108399 37080 1 - 91.0000 -
2022.16/2027.44 c 2027 108776 37157 1 - 91.0000 -
2027.24/2032.56 c 2033 109271 37236 1 - 91.0000 -
2032.43/2037.79 c 2038 109486 37349 1 - 91.0000 -
2037.52/2042.89 c 2043 109868 37488 1 - 91.0000 -
2042.71/2048.05 c 2048 110302 37590 1 - 91.0000 -
2047.80/2053.14 c 2053 110614 37761 1 - 91.0000 -
2052.88/2058.20 c 2058 110994 37999 1 - 91.0000 -
2058.06/2063.40 c 2063 111407 38172 1 - 91.0000 -
2063.25/2068.68 c 2069 111669 38279 1 - 91.0000 -
2068.33/2073.75 c 2074 112133 38409 1 - 91.0000 -
2073.43/2078.84 c 2079 112413 38516 1 - 91.0000 -
2078.71/2084.14 c 2084 112748 38657 1 - 91.0000 -
2084.00/2089.48 c 2089 113052 38772 1 - 91.0000 -
2089.08/2094.57 c 2095 113517 38932 1 - 91.0000 -
2094.37/2099.81 c 2100 113753 39050 1 - 91.0000 -
2099.36/2104.85 c 2105 114106 39166 1 - 91.0000 -
2104.65/2110.11 c 2110 114461 39288 1 - 91.0000 -
2109.73/2115.25 c 2115 114895 39378 1 - 91.0000 -
2114.82/2120.32 c 2120 115183 39519 1 - 91.0000 -
2119.80/2125.38 c 2125 115571 39615 1 - 91.0000 -
2124.99/2130.50 c 2131 115912 39678 1 - 91.0000 -
2130.18/2135.72 c 2136 116215 39808 1 - 91.0000 -
2135.37/2140.93 c 2141 116468 39927 1 - 91.0000 -
2140.56/2146.17 c 2146 116666 40011 1 - 91.0000 -
2145.64/2151.26 c 2151 116951 40068 1 - 91.0000 -
2150.73/2156.38 c 2156 117239 40111 1 - 91.0000 -
2155.92/2161.57 c 2162 117513 40138 1 - 91.0000 -
2161.11/2166.72 c 2167 117803 40159 1 - 91.0000 -
2166.19/2171.84 c 2172 118204 40172 1 - 91.0000 -
2171.49/2177.11 c 2177 118454 40185 1 - 91.0000 -
2176.67/2182.36 c 2182 118714 40247 1 - 91.0000 -
2181.75/2187.43 c 2187 119094 40292 1 - 91.0000 -
2186.84/2192.58 c 2193 119440 40457 1 - 91.0000 -
2192.13/2197.80 c 2198 119870 40544 1 - 91.0000 -
2197.32/2203.01 c 2203 120313 40683 1 - 91.0000 -
2202.40/2208.14 c 2208 120689 40823 1 - 91.0000 -
2207.49/2213.20 c 2213 121088 40987 1 - 91.0000 -
2212.77/2218.50 c 2218 121400 41076 1 - 91.0000 -
2217.97/2223.71 c 2224 121749 41194 1 - 91.0000 -
2223.05/2228.82 c 2229 122173 41353 1 - 91.0000 -
2228.13/2233.91 c 2234 122463 41528 1 - 91.0000 -
2233.43/2239.24 c 2239 122746 41698 1 - 91.0000 -
2238.51/2244.31 c 2244 123091 41877 1 - 91.0000 -
2243.59/2249.46 c 2249 123478 42022 1 - 91.0000 -
2248.68/2254.56 c 2255 123948 42186 1 - 91.0000 -
2253.96/2259.81 c 2260 124183 42300 1 - 91.0000 -
2258.96/2264.88 c 2265 124489 42490 1 - 91.0000 -
2264.05/2269.96 c 2270 124842 42658 1 - 91.0000 -
2269.14/2275.10 c 2275 125335 42800 1 - 91.0000 -
2274.32/2280.25 c 2280 125824 42995 1 - 91.0000 -
2279.40/2285.39 c 2285 126189 43108 1 - 91.0000 -
2284.69/2290.60 c 2291 126652 43192 1 - 91.0000 -
2289.68/2295.68 c 2296 127114 43251 1 - 91.0000 -
2295.07/2301.08 c 2301 127446 43331 1 - 91.0000 -
2300.25/2306.21 c 2306 127706 43427 1 - 91.0000 -
2305.44/2311.42 c 2311 128121 43592 1 - 91.0000 -
2310.52/2316.50 c 2316 128592 43679 1 - 91.0000 -
2315.51/2321.58 c 2322 129032 43781 1 - 91.0000 -
2320.70/2326.77 c 2327 129286 43857 1 - 91.0000 -
2325.88/2331.91 c 2332 129684 43953 1 - 91.0000 -
2330.98/2337.05 c 2337 130078 44069 1 - 91.0000 -
2336.07/2342.17 c 2342 130541 44190 1 - 91.0000 -
2341.24/2347.30 c 2347 131011 44296 1 - 91.0000 -
2346.34/2352.43 c 2352 131489 44398 1 - 91.0000 -
2351.53/2357.61 c 2358 131836 44475 1 - 91.0000 -
2356.91/2363.07 c 2363 132062 44550 1 - 91.0000 -
2362.00/2368.13 c 2368 132371 44677 1 - 91.0000 -
2367.18/2373.36 c 2373 132893 44760 1 - 91.0000 -
2372.27/2378.48 c 2378 133268 44818 1 - 91.0000 -
2377.45/2383.69 c 2384 133731 44898 1 - 91.0000 -
2382.74/2388.97 c 2389 134255 44951 1 - 91.0000 -
2387.93/2394.19 c 2394 134748 45042 1 - 91.0000 -
2393.11/2399.33 c 2399 135194 45130 1 - 91.0000 -
2398.20/2404.49 c 2404 135612 45225 1 - 91.0000 -
2403.39/2409.65 c 2410 135940 45313 1 - 91.0000 -
2408.67/2414.99 c 2415 136224 45413 1 - 91.0000 -
2413.96/2420.20 c 2420 136578 45561 1 - 91.0000 -
2419.15/2425.43 c 2425 136956 45677 1 - 91.0000 -
2424.24/2430.52 c 2431 137413 45750 1 - 91.0000 -
2429.42/2435.77 c 2436 137763 45868 1 - 91.0000 -
2434.61/2440.91 c 2441 138002 45958 1 - 91.0000 -
2439.70/2446.10 c 2446 138249 46039 1 - 91.0000 -
2445.18/2451.56 c 2452 138493 46110 1 - 91.0000 -
2450.27/2456.64 c 2457 138891 46265 1 - 91.0000 -
2455.25/2461.68 c 2462 139399 46347 1 - 91.0000 -
2460.34/2466.78 c 2467 139985 46406 1 - 91.0000 -
2465.43/2471.88 c 2472 140423 46526 1 - 91.0000 -
2470.51/2476.96 c 2477 140858 46586 1 - 91.0000 -
2475.61/2482.07 c 2482 141190 46717 1 - 91.0000 -
2480.79/2487.23 c 2487 141607 46844 1 - 91.0000 -
2485.97/2492.50 c 2492 141976 46989 1 - 91.0000 -
2491.16/2497.63 c 2498 142441 47178 1 - 91.0000 -
2496.26/2502.73 c 2503 143016 47311 1 - 91.0000 -
2501.34/2507.87 c 2508 143358 47414 1 - 91.0000 -
2506.53/2513.00 c 2513 143800 47509 1 - 91.0000 -
2511.61/2518.16 c 2518 144328 47615 1 - 91.0000 -
2516.79/2523.35 c 2523 144678 47682 1 - 91.0000 -
2521.98/2528.56 c 2529 145068 47772 1 - 91.0000 -
2527.06/2533.63 c 2534 145527 47818 1 - 91.0000 -
2532.15/2538.78 c 2539 145818 47915 1 - 91.0000 -
2537.23/2543.86 c 2544 146259 48009 1 - 91.0000 -
2542.42/2549.09 c 2549 146660 48096 1 - 91.0000 -
2547.71/2554.34 c 2554 146963 48211 1 - 91.0000 -
2552.80/2559.49 c 2559 147243 48306 1 - 91.0000 -
2557.88/2564.55 c 2565 147601 48404 1 - 91.0000 -
2563.17/2569.89 c 2570 147846 48514 1 - 91.0000 -
2568.47/2575.16 c 2575 148115 48603 1 - 91.0000 -
2573.64/2580.38 c 2580 148413 48653 1 - 91.0000 -
2578.93/2585.64 c 2586 148749 48676 1 - 91.0000 -
2584.21/2590.94 c 2591 149113 48715 1 - 91.0000 -
2589.41/2596.20 c 2596 149481 48855 1 - 91.0000 -
2594.89/2601.60 c 2602 149856 48966 1 - 91.0000 -
2599.88/2606.70 c 2607 150086 49050 1 - 91.0000 -
2605.27/2612.08 c 2612 150405 49138 1 - 91.0000 -
2610.35/2617.15 c 2617 150869 49283 1 - 91.0000 -
2615.54/2622.30 c 2622 151249 49399 1 - 91.0000 -
2620.73/2627.57 c 2628 151683 49468 1 - 91.0000 -
2625.91/2632.76 c 2633 152157 49535 1 - 91.0000 -
2631.20/2638.05 c 2638 152463 49600 1 - 91.0000 -
2636.29/2643.18 c 2643 152789 49694 1 - 91.0000 -
2641.58/2648.45 c 2648 153103 49778 1 - 91.0000 -
2646.86/2653.70 c 2654 153364 49835 1 - 91.0000 -
2652.45/2659.35 c 2659 153664 49895 1 - 91.0000 -
2657.63/2664.57 c 2665 153954 49981 1 - 91.0000 -
2662.82/2669.74 c 2670 154357 50135 1 - 91.0000 -
2667.91/2674.86 c 2675 154719 50212 1 - 91.0000 -
2673.10/2680.10 c 2680 155054 50273 1 - 91.0000 -
2678.19/2685.17 c 2685 155396 50330 1 - 91.0000 -
2683.67/2690.61 c 2691 155703 50376 1 - 91.0000 -
2688.76/2695.76 c 2696 156024 50477 1 - 91.0000 -
2693.84/2700.89 c 2701 156382 50567 1 - 91.0000 -
2699.13/2706.17 c 2706 156718 50654 1 - 91.0000 -
2704.42/2711.46 c 2711 157040 50713 1 - 91.0000 -
2709.60/2716.61 c 2717 157479 50847 1 - 91.0000 -
2714.69/2721.75 c 2722 158038 50873 1 - 91.0000 -
2719.77/2726.87 c 2727 158433 50989 1 - 91.0000 -
2725.07/2732.12 c 2732 158725 51165 1 - 91.0000 -
2730.24/2737.36 c 2737 159114 51282 1 - 91.0000 -
2735.33/2742.43 c 2742 159485 51405 1 - 91.0000 -
2740.32/2747.48 c 2747 159863 51572 1 - 91.0000 -
2745.51/2752.64 c 2753 160179 51645 1 - 91.0000 -
2750.69/2757.86 c 2758 160564 51753 1 - 91.0000 -
2755.89/2763.03 c 2763 160880 51867 1 - 91.0000 -
2761.07/2768.23 c 2768 161333 51886 1 - 91.0000 -
2766.05/2773.28 c 2773 161772 51895 1 - 91.0000 -
2771.14/2778.38 c 2778 162064 51922 1 - 91.0000 -
2776.53/2783.78 c 2784 162422 51943 1 - 91.0000 -
2781.71/2788.97 c 2789 162672 51969 1 - 91.0000 -
2786.80/2794.05 c 2794 163032 51970 1 - 91.0000 -
2792.19/2799.41 c 2799 163369 52015 1 - 91.0000 -
2797.27/2804.53 c 2805 163824 52127 1 - 91.0000 -
2802.36/2809.62 c 2810 164172 52178 1 - 91.0000 -
2807.35/2814.68 c 2815 164478 52225 1 - 91.0000 -
2812.54/2819.80 c 2820 164636 52329 1 - 91.0000 -
2817.73/2825.02 c 2825 164940 52400 1 - 91.0000 -
2822.91/2830.29 c 2830 165304 52514 1 - 91.0000 -
2827.99/2835.35 c 2835 165674 52638 1 - 91.0000 -
2833.49/2840.80 c 2841 165961 52731 1 - 91.0000 -
2838.67/2846.09 c 2846 166263 52798 1 - 91.0000 -
2843.96/2851.33 c 2851 166686 52898 1 - 91.0000 -
2849.04/2856.45 c 2856 166975 53002 1 - 91.0000 -
2854.23/2861.61 c 2862 167320 53118 1 - 91.0000 -
2859.32/2866.73 c 2867 167800 53225 1 - 91.0000 -
2864.40/2871.81 c 2872 168206 53267 1 - 91.0000 -
2869.59/2877.01 c 2877 168572 53390 1 - 91.0000 -
2874.69/2882.11 c 2882 169019 53466 1 - 91.0000 -
2879.97/2887.46 c 2887 169260 53485 1 - 91.0000 -
2885.05/2892.54 c 2893 169742 53608 1 - 91.0000 -
2890.14/2897.61 c 2898 170300 53741 1 - 91.0000 -
2895.13/2902.68 c 2903 170817 53816 1 - 91.0000 -
2900.31/2907.85 c 2908 171298 53802 1 - 91.0000 -
2905.40/2912.91 c 2913 171718 53840 1 - 91.0000 -
2910.49/2918.07 c 2918 172153 53922 1 - 91.0000 -
2915.58/2923.18 c 2923 172489 54007 1 - 91.0000 -
2920.76/2928.30 c 2928 172789 54051 1 - 91.0000 -
2925.74/2933.38 c 2933 173156 54184 1 - 91.0000 -
2930.84/2938.46 c 2938 173545 54355 1 - 91.0000 -
2935.92/2943.58 c 2944 173877 54540 1 - 91.0000 -
2941.11/2948.77 c 2949 174214 54713 1 - 91.0000 -
2946.20/2953.87 c 2954 174413 54863 1 - 91.0000 -
2951.38/2959.04 c 2959 174632 55015 1 - 91.0000 -
2956.57/2964.26 c 2964 174851 55151 1 - 91.0000 -
2961.85/2969.58 c 2970 175090 55312 1 - 91.0000 -
2967.24/2974.92 c 2975 175374 55454 1 - 91.0000 -
2972.34/2980.07 c 2980 175590 55622 1 - 91.0000 -
2977.42/2985.19 c 2985 175805 55779 1 - 91.0000 -
2982.61/2990.38 c 2990 176122 55900 1 - 91.0000 -
2987.79/2995.59 c 2996 176409 56034 1 - 91.0000 -
2992.98/3000.76 c 3001 176654 56185 1 - 91.0000 -
2998.87/3006.64 c 3007 176838 56284 1 - 91.0000 -
3004.36/3012.16 c 3012 177066 56388 1 - 91.0000 -
3009.43/3017.23 c 3017 177278 56487 1 - 91.0000 -
3014.53/3022.37 c 3022 177524 56589 1 - 91.0000 -
3019.72/3027.50 c 3028 177728 56690 1 - 91.0000 -
3024.80/3032.65 c 3033 177978 56841 1 - 91.0000 -
3029.99/3037.86 c 3038 178235 56934 1 - 91.0000 -
3035.28/3043.13 c 3043 178464 57016 1 - 91.0000 -
3040.57/3048.42 c 3048 178687 57061 1 - 91.0000 -
3045.75/3053.61 c 3054 178938 57116 1 - 91.0000 -
3050.84/3058.70 c 3059 179179 57146 1 - 91.0000 -
3055.92/3063.85 c 3064 179483 57201 1 - 91.0000 -
3061.22/3069.15 c 3069 179776 57250 1 - 91.0000 -
3066.50/3074.40 c 3074 180068 57348 1 - 91.0000 -
3071.49/3079.49 c 3080 180498 57450 1 - 91.0000 -
3076.87/3084.80 c 3085 180822 57522 1 - 91.0000 -
3081.86/3089.87 c 3090 181226 57637 1 - 91.0000 -
3087.25/3095.21 c 3095 181629 57729 1 - 91.0000 -
3092.33/3100.31 c 3100 181931 57875 1 - 91.0000 -
3097.52/3105.59 c 3106 182253 57994 1 - 91.0000 -
3103.01/3111.10 c 3111 182572 58114 1 - 91.0000 -
3108.19/3116.21 c 3116 183001 58266 1 - 91.0000 -
3113.28/3121.34 c 3121 183371 58379 1 - 91.0000 -
3118.46/3126.55 c 3127 183696 58546 1 - 91.0000 -
3123.65/3131.71 c 3132 184015 58778 1 - 91.0000 -
3128.84/3136.90 c 3137 184303 58961 1 - 91.0000 -
3133.93/3142.01 c 3142 184551 59113 1 - 91.0000 -
3139.11/3147.25 c 3147 184898 59309 1 - 91.0000 -
3144.20/3152.31 c 3152 185128 59421 1 - 91.0000 -
3149.39/3157.54 c 3158 185409 59538 1 - 91.0000 -
3154.48/3162.67 c 3163 185746 59676 1 - 91.0000 -
3159.66/3167.85 c 3168 186074 59774 1 - 91.0000 -
3164.75/3172.93 c 3173 186423 59897 1 - 91.0000 -
3169.85/3178.01 c 3178 186818 59987 1 - 91.0000 -
3174.93/3183.11 c 3183 187101 60059 1 - 91.0000 -
3180.02/3188.27 c 3188 187404 60182 1 - 91.0000 -
3185.10/3193.37 c 3193 187717 60301 1 - 91.0000 -
3190.18/3198.44 c 3198 188140 60460 1 - 91.0000 -
3195.58/3203.85 c 3204 188427 60571 1 - 91.0000 -
3200.96/3209.26 c 3209 188761 60683 1 - 91.0000 -
3206.15/3214.48 c 3214 189078 60786 1 - 91.0000 -
3211.64/3219.93 c 3220 189363 60891 1 - 91.0000 -
3216.83/3225.11 c 3225 189679 60984 1 - 91.0000 -
3221.91/3230.21 c 3230 190097 61117 1 - 91.0000 -
3226.90/3235.27 c 3235 190595 61230 1 - 91.0000 -
3232.08/3240.47 c 3240 190976 61354 1 - 91.0000 -
3237.27/3245.62 c 3246 191365 61461 1 - 91.0000 -
3242.26/3250.69 c 3251 191739 61573 1 - 91.0000 -
3247.34/3255.77 c 3256 192180 61655 1 - 91.0000 -
3252.43/3260.89 c 3261 192556 61716 1 - 91.0000 -
3257.62/3266.02 c 3266 192889 61776 1 - 91.0000 -
3262.71/3271.13 c 3271 193257 61818 1 - 91.0000 -
3267.78/3276.27 c 3276 193614 61893 1 - 91.0000 -
3273.08/3281.56 c 3282 193901 61979 1 - 91.0000 -
3278.16/3286.62 c 3287 194248 62092 1 - 91.0000 -
3283.25/3291.73 c 3292 194561 62190 1 - 91.0000 -
3288.73/3297.28 c 3297 194913 62300 1 - 91.0000 -
3293.92/3302.42 c 3302 195294 62360 1 - 91.0000 -
3299.21/3307.74 c 3308 195617 62485 1 - 91.0000 -
3304.30/3312.82 c 3313 195873 62644 1 - 91.0000 -
3309.39/3317.90 c 3318 196261 62765 1 - 91.0000 -
3314.47/3323.06 c 3323 196600 62883 1 - 91.0000 -
3319.56/3328.13 c 3328 197000 63003 1 - 91.0000 -
3324.84/3333.46 c 3333 197447 63125 1 - 91.0000 -
3329.93/3338.54 c 3339 197771 63251 1 - 91.0000 -
3335.02/3343.62 c 3344 198077 63346 1 - 91.0000 -
3340.61/3349.23 c 3349 198482 63413 1 - 91.0000 -
3345.89/3354.57 c 3355 198851 63492 1 - 91.0000 -
3351.07/3359.74 c 3360 199123 63578 1 - 91.0000 -
3356.26/3364.92 c 3365 199452 63693 1 - 91.0000 -
3361.35/3370.08 c 3370 199712 63801 1 - 91.0000 -
3366.73/3375.40 c 3375 200060 63923 1 - 91.0000 -
3372.52/3381.26 c 3381 200403 64073 1 - 91.0000 -
3377.81/3386.58 c 3387 200793 64146 1 - 91.0000 -
3382.99/3391.71 c 3392 200986 64174 1 - 91.0000 -
3388.19/3396.91 c 3397 201291 64303 1 - 91.0000 -
3393.27/3402.06 c 3402 201739 64397 1 - 91.0000 -
3398.46/3407.20 c 3407 202072 64495 1 - 91.0000 -
3403.44/3412.27 c 3412 202411 64547 1 - 91.0000 -
3408.83/3417.61 c 3418 202709 64637 1 - 91.0000 -
3414.02/3422.86 c 3423 202946 64736 1 - 91.0000 -
3419.21/3428.07 c 3428 203196 64868 1 - 91.0000 -
3424.50/3433.32 c 3433 203443 64952 1 - 91.0000 -
3429.79/3438.60 c 3439 203640 65081 1 - 91.0000 -
3434.87/3443.73 c 3444 203946 65205 1 - 91.0000 -
3439.96/3448.81 c 3449 204316 65359 1 - 91.0000 -
3445.54/3454.40 c 3454 204643 65485 1 - 91.0000 -
3450.63/3459.56 c 3460 205028 65610 1 - 91.0000 -
3455.72/3464.69 c 3465 205409 65743 1 - 91.0000 -
3460.81/3469.74 c 3470 205814 65871 1 - 91.0000 -
3465.99/3474.91 c 3475 206167 66002 1 - 91.0000 -
3471.19/3480.17 c 3480 206642 66143 1 - 91.0000 -
3476.27/3485.27 c 3485 207141 66238 1 - 91.0000 -
3481.66/3490.62 c 3491 207446 66352 1 - 91.0000 -
3486.74/3495.70 c 3496 207847 66458 1 - 91.0000 -
3491.93/3500.96 c 3501 208187 66566 1 - 91.0000 -
3497.12/3506.17 c 3506 208525 66700 1 - 91.0000 -
3502.21/3511.24 c 3511 208905 66808 1 - 91.0000 -
3507.29/3516.36 c 3516 209382 66972 1 - 91.0000 -
3512.49/3521.50 c 3522 209711 67065 1 - 91.0000 -
3517.47/3526.58 c 3527 210119 67151 1 - 91.0000 -
3522.56/3531.67 c 3532 210516 67229 1 - 91.0000 -
3527.65/3536.76 c 3537 210838 67323 1 - 91.0000 -
3532.83/3541.90 c 3542 211152 67421 1 - 91.0000 -
3538.12/3547.25 c 3547 211501 67484 1 - 91.0000 -
3543.21/3552.39 c 3552 211804 67635 1 - 91.0000 -
3548.30/3557.48 c 3557 212256 67797 1 - 91.0000 -
3553.48/3562.60 c 3563 212500 67908 1 - 91.0000 -
3558.47/3567.69 c 3568 212902 67973 1 - 91.0000 -
3563.66/3572.82 c 3573 213314 68090 1 - 91.0000 -
3568.74/3577.90 c 3578 213746 68152 1 - 91.0000 -
3573.94/3583.13 c 3583 214050 68208 1 - 91.0000 -
3579.02/3588.26 c 3588 214403 68247 1 - 91.0000 -
3584.11/3593.36 c 3593 214735 68280 1 - 91.0000 -
3589.30/3598.56 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.30/3598.56 c Total Time : 3598.5600
3589.30/3598.56 c solving : 3598.5600
3589.30/3598.56 c presolving : 0.4332 (included in solving)
3589.30/3598.56 c B&B Tree :
3589.30/3598.56 c nodes (total) : 1
3589.30/3598.56 c Solution :
3589.30/3598.56 c Solutions found : 0
3589.30/3598.56 c Primal Bound : -
3589.30/3598.56 c Dual Bound : +9.10000000000000e+01
3589.30/3598.56 c Gap : -
3589.30/3598.58 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 (56221 MiB free)
memory of node 1: 64473 MiB (62747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464005-1722378597/watcher-4464005-1722378597 -o /tmp/evaluation-result-4464005-1722378597/solver-4464005-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30071 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464005-1722378597.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=30121, runsolver pid=30112
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.13 0.10 0.09 8/261 30136
/proc/meminfo: memFree=121704568/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=82844 memory=69892 CPUtime=0.1 cores=4,6
/proc/30121/stat : 30121 (fscip) R 30112 30121 30060 0 -1 4194304 15077 0 0 0 8 2 0 0 20 0 1 0 4464315 84832256 17473 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 20711 17473 2630 3035 0 17107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82844 KiB
Current children cumulated memory: 69892 KiB
[startup+0.206174 s]*
/proc/loadavg: 0.13 0.10 0.09 7/261 30136
/proc/meminfo: memFree=121552128/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=109700 memory=96244 CPUtime=0.2 cores=4,6
/proc/30121/stat : 30121 (fscip) R 30112 30121 30060 0 -1 4194304 23367 0 0 0 17 3 0 0 20 0 1 0 4464315 112332800 24061 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 27425 24061 2694 3035 0 23821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109700 KiB
Current children cumulated memory: 96244 KiB
[startup+0.305179 s]*
/proc/loadavg: 0.13 0.10 0.09 4/257 30136
/proc/meminfo: memFree=121480816/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=100488 memory=87284 CPUtime=0.3 cores=4,6
/proc/30121/stat : 30121 (fscip) R 30112 30121 30060 0 -1 4194304 23390 0 0 0 27 3 0 0 20 0 1 0 4464315 102899712 21821 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 25122 21821 2726 3035 0 21518 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100488 KiB
Current children cumulated memory: 87284 KiB
[startup+0.700851 s]
/proc/loadavg: 0.13 0.10 0.09 5/254 30144
/proc/meminfo: memFree=121293948/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=251684 memory=204672 CPUtime=0.69 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 50616 0 0 0 61 8 0 0 20 0 3 0 4464315 257724416 51168 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 62921 51168 2806 3035 0 58691 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 251684 KiB
Current children cumulated memory: 204672 KiB
[startup+1.50087 s]
/proc/loadavg: 0.44 0.16 0.11 5/255 30171
/proc/meminfo: memFree=120958036/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=317220 memory=244556 CPUtime=1.47 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 60027 0 0 0 138 9 0 0 20 0 3 0 4464315 324833280 61139 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 79305 61139 2950 3035 0 70949 0
[pid=30121/tid=30145] ppid=30112 vsize=317220 memory=0 CPUtime=0.94 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 23470 0 0 0 91 3 0 0 20 0 3 0 4464367 324833280 61139 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=317220 memory=11592 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464370 324833280 61139 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 317220 KiB
Current children cumulated memory: 244556 KiB
[startup+3.10613 s]
/proc/loadavg: 0.44 0.16 0.11 6/265 30188
/proc/meminfo: memFree=120147876/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=382756 memory=304468 CPUtime=3.07 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 92844 0 0 0 294 13 0 0 20 0 3 0 4464315 391942144 76117 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 95689 76117 2950 3035 0 86018 0
[pid=30121/tid=30145] ppid=30112 vsize=382756 memory=11592 CPUtime=2.54 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 56279 0 0 0 247 7 0 0 20 0 3 0 4464367 391942144 76117 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=382756 memory=304216 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4464370 391942144 76117 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 382756 KiB
Current children cumulated memory: 304468 KiB
[startup+6.30023 s]
/proc/loadavg: 0.89 0.26 0.14 6/265 30244
/proc/meminfo: memFree=120030572/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=341312 CPUtime=6.27 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 120473 0 0 0 611 16 0 0 20 0 3 0 4464315 459051008 85328 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 85328 2950 3035 0 94820 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=341284 CPUtime=5.72 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 83873 0 0 0 563 9 0 0 20 0 3 0 4464367 459051008 85328 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=341284 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 85328 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 341312 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 0.34 0.17 6/265 30246
/proc/meminfo: memFree=119918628/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=343664 CPUtime=12.64 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 171661 0 0 0 1245 19 0 0 20 0 3 0 4464315 459051008 85916 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 85916 3014 3035 0 95296 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=343452 CPUtime=12.11 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 135021 0 0 0 1198 13 0 0 20 0 3 0 4464367 459051008 85916 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=11592 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 85916 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 343664 KiB
[startup+25.5003 s]
/proc/loadavg: 1.65 0.46 0.21 6/264 30247
/proc/meminfo: memFree=119914752/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=347108 CPUtime=25.41 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 227456 0 0 0 2518 23 0 0 20 0 3 0 4464315 459051008 86777 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 86777 3014 3035 0 96147 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=347092 CPUtime=24.87 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 190753 0 0 0 2470 17 0 0 20 0 3 0 4464367 459051008 86777 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=346848 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 86777 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 347108 KiB
[startup+51.1064 s]
/proc/loadavg: 2.63 0.82 0.34 6/264 30252
/proc/meminfo: memFree=119884008/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=354548 CPUtime=50.95 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 306757 0 0 0 5066 29 0 0 20 0 3 0 4464315 459051008 88637 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 88637 3014 3035 0 100626 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=357756 CPUtime=50.41 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 269948 0 0 0 5018 23 0 0 20 0 3 0 4464367 459051008 88637 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=357740 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 88637 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 354548 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.31 0.53 6/264 30263
/proc/meminfo: memFree=119750812/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=370352 CPUtime=102.01 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 410366 0 0 0 10165 36 0 0 20 0 3 0 4464315 459051008 92588 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 92588 3014 3035 0 101942 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=370352 CPUtime=101.47 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 373456 0 0 0 10117 30 0 0 20 0 3 0 4464367 459051008 92588 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=13328 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 92588 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 370352 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 1.85 0.77 6/266 30275
/proc/meminfo: memFree=119072488/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=371276 CPUtime=161.86 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 483642 0 0 0 16142 44 0 0 20 0 3 0 4464315 459051008 92819 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 92819 3014 3035 0 102892 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=366048 CPUtime=161.31 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 446667 0 0 0 16094 37 0 0 20 0 3 0 4464367 459051008 92819 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=371264 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 92819 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 371276 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.26 0.98 6/265 30381
/proc/meminfo: memFree=120312584/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=448292 memory=368096 CPUtime=221.7 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 532744 0 0 0 22123 47 0 0 20 0 3 0 4464315 459051008 92024 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 112073 92024 3014 3035 0 104327 0
[pid=30121/tid=30145] ppid=30112 vsize=448292 memory=371276 CPUtime=221.15 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 495713 0 0 0 22075 40 0 0 20 0 3 0 4464367 459051008 92024 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=448292 memory=11592 CPUtime=0 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4464370 459051008 92024 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 368096 KiB
################
# More data... #
################
Current children cumulated memory: 1572436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/265 31961
/proc/meminfo: memFree=117761216/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1680320 memory=1593152 CPUtime=3393.57 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2202680 0 0 0 338983 374 0 0 20 0 3 0 4464315 1720647680 398288 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 420080 398288 3030 3035 0 403426 0
[pid=30121/tid=30145] ppid=30112 vsize=1680320 memory=1571316 CPUtime=3392.8 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2164693 0 0 0 338922 358 0 0 20 0 3 0 4464367 1720647680 398288 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1680320 memory=1591076 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 163 0 0 0 0 3 0 0 20 0 3 0 4464370 1720647680 398288 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 1680320 KiB
Current children cumulated memory: 1593152 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.04 6/266 31973
/proc/meminfo: memFree=117712452/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1680320 memory=1619200 CPUtime=3453.42 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2232066 0 0 0 344961 381 0 0 20 0 3 0 4464315 1720647680 404800 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 420080 404800 3030 3035 0 409672 0
[pid=30121/tid=30145] ppid=30112 vsize=1680320 memory=1571316 CPUtime=3452.65 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2194062 0 0 0 344900 365 0 0 20 0 3 0 4464367 1720647680 404800 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1680320 memory=1612620 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 163 0 0 0 0 3 0 0 20 0 3 0 4464370 1720647680 404800 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 1680320 KiB
Current children cumulated memory: 1619200 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/268 32153
/proc/meminfo: memFree=117658864/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1688104 memory=1643032 CPUtime=3513.28 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2255119 0 0 0 350939 389 0 0 20 0 3 0 4464315 1728618496 410758 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 422026 410758 3030 3035 0 417330 0
[pid=30121/tid=30145] ppid=30112 vsize=1688104 memory=1615524 CPUtime=3512.51 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2217096 0 0 0 350878 373 0 0 20 0 3 0 4464367 1728618496 410758 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1688104 memory=1639448 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 165 0 0 0 0 3 0 0 20 0 3 0 4464370 1728618496 410758 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 1688104 KiB
Current children cumulated memory: 1643032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.04 6/268 32163
/proc/meminfo: memFree=117617392/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1666908 CPUtime=3573.14 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2283889 0 0 0 356916 398 0 0 20 0 3 0 4464315 1800212480 416727 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 416727 3030 3035 0 423705 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=11592 CPUtime=3572.36 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2245850 0 0 0 356854 382 0 0 20 0 3 0 4464367 1800212480 416727 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=16032 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 416727 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1666908 KiB
[startup+3598.61 s]
# the end of solver process 30121 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.36 s, system=4.05441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.04 6/268 32163
/proc/meminfo: memFree=117613868/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1669580 CPUtime=3574.83 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2284632 0 0 0 357085 398 0 0 20 0 3 0 4464315 1800212480 417395 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 417395 3030 3035 0 424254 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=-7380392105938609785 CPUtime=3574.06 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2246593 0 0 0 357024 382 0 0 20 0 3 0 4464367 1800212480 417395 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=146308060939564 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 417395 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1669580 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.04 6/268 32165
/proc/meminfo: memFree=117610000/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1671508 CPUtime=3581.22 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2291374 0 0 0 357723 399 0 0 20 0 3 0 4464315 1800212480 417877 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 417877 3030 3035 0 424741 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=-7596564888052393087 CPUtime=3580.44 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2253335 0 0 0 357661 383 0 0 20 0 3 0 4464367 1800212480 417877 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=1668568 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 417877 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3581.22 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1671508 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.09 4.04 6/268 32165
/proc/meminfo: memFree=117610024/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1671508 CPUtime=3584.41 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2291485 0 0 0 358042 399 0 0 20 0 3 0 4464315 1800212480 417877 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 417877 3030 3035 0 424741 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=1670076 CPUtime=3583.63 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2253446 0 0 0 357980 383 0 0 20 0 3 0 4464367 1800212480 417877 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=1670700 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 417877 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1671508 KiB
[startup+3596.8 s]
/proc/loadavg: 4.04 4.09 4.04 6/268 32165
/proc/meminfo: memFree=117609656/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1671668 CPUtime=3587.6 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2291627 0 0 0 358361 399 0 0 20 0 3 0 4464315 1800212480 417917 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 417917 3030 3035 0 424814 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=1661260 CPUtime=3586.83 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2253585 0 0 0 358300 383 0 0 20 0 3 0 4464367 1800212480 417917 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=1666080 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 169 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 417917 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1671668 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.10 4.05 6/268 32166
/proc/meminfo: memFree=117609484/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1672264 CPUtime=3588.4 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2291867 0 0 0 358441 399 0 0 20 0 3 0 4464315 1800212480 418066 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 418066 3030 3035 0 425087 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=5604 CPUtime=3587.62 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2253826 0 0 0 358379 383 0 0 20 0 3 0 4464367 1800212480 418066 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=16032 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 169 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 418066 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1672264 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.10 4.05 6/268 32166
/proc/meminfo: memFree=117606672/131524600 swapFree=131071996/131071996
[pid=30121] ppid=30112 vsize=1758020 memory=1674332 CPUtime=3589.2 cores=4,6
/proc/30121/stat : 30121 (fscip) S 30112 30121 30060 0 -1 1077936128 2338137 0 0 0 358518 402 0 0 20 0 3 0 4464315 1800212480 418583 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
/proc/30121/statm: 439505 418583 3030 3035 0 425513 0
[pid=30121/tid=30145] ppid=30112 vsize=1758020 memory=13328 CPUtime=3588.41 cores=4,6
/proc/30121/task/30145/stat : 30145 (fscip) R 30112 30121 30060 0 -1 4194368 2300094 0 0 0 358456 385 0 0 20 0 3 0 4464367 1800212480 418583 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
[pid=30121/tid=30146] ppid=30112 vsize=1758020 memory=3304 CPUtime=0.03 cores=4,6
/proc/30121/task/30146/stat : 30146 (fscip) S 30112 30121 30060 0 -1 1077936192 169 0 0 0 0 3 0 0 20 0 3 0 4464370 1800212480 418583 134679101440 4194304 16623229 140735169743968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27680768 140735169750038 140735169750154 140735169750154 140735169757168 0
Current children cumulated CPU time: 3589.2 s
Current children cumulated vsize: 1758020 KiB
Current children cumulated memory: 1674332 KiB
[startup+3598.6 s]*
/proc/loadavg: 4.12 4.10 4.05 5/261 32201
/proc/meminfo: memFree=119344016/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.61
CPU time (s): 3589.42
CPU user time (s): 3585.36
CPU system time (s): 4.05441
CPU usage (%): 99.7444
Max. virtual memory (cumulated for all children) (KiB): 1758020
Max. memory (cumulated for all children) (KiB): 1674332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.36
system time used= 4.05441
maximum resident set size= 1674332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2342304
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= 10545
involuntary context switches= 3801
# summary of solver processes directly reported to runsolver:
# pid: 30121
# total CPU time (s): 3589.42
# total CPU user time (s): 3585.36
# total CPU system time (s): 4.05441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60907 second user time and 18.8153 second system time
The end
Begin job on nodeC035 at 2024-07-31 00:29:57
IDJOB=4464005
IDBENCH=147690
IDSOLVER=3092
FILE ID=nodeC035/4464005-1722378597
RUNJOBID= nodeC035-1722378597-30071
SLURM_JOB_ID= 8249858
Free space on /tmp= 890036 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.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-4464005-1722378597/watcher-4464005-1722378597 -o /tmp/evaluation-result-4464005-1722378597/solver-4464005-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30071 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464005-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=576650998
nodeC035.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 : 3371.915
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 : 7000.79
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 : 3679.126
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 : 7006.92
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 : 3562.130
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 : 7000.79
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 : 3337.054
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 : 7006.92
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 : 3500.561
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 : 7000.79
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 : 3631.033
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 : 7006.92
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 : 3624.982
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 : 7000.79
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 : 3565.070
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 : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121827560 kB
MemAvailable: 129793228 kB
Buffers: 82560 kB
Cached: 8679320 kB
SwapCached: 0 kB
Active: 251264 kB
Inactive: 8885492 kB
Active(anon): 1448 kB
Inactive(anon): 395112 kB
Active(file): 249816 kB
Inactive(file): 8490380 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 96404 kB
Writeback: 0 kB
AnonPages: 371028 kB
Mapped: 88360 kB
Shmem: 21336 kB
KReclaimable: 130592 kB
Slab: 219672 kB
SReclaimable: 130592 kB
SUnreclaim: 89080 kB
KernelStack: 3872 kB
PageTables: 9232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 681468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC035 at 2024-07-31 01:29:56