0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 28295168, getVmSize() = 28295168, SCIPgetMemUsed() = 5086954, SCIPgetMemTotal() = 6568202, SCIPgetMemExternEstim() = 3364460
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.09 c ** Estimated virtualMemUsedAtSolver = 21766144, getVmSize() = 37003264, SCIPgetMemUsed() = 9166304, SCIPgetMemTotal() = 14185200, SCIPgetMemExternEstim() = 3364460
0.00/0.09 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.09 c Original Problem :
0.00/0.09 c Problem name : instance-4448150-1721363843
0.00/0.09 c Variables : 701 (701 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09 c Constraints : 2802
0.00/0.09 c Objective sense : minimize
0.00/0.09 c Presolved Problem :
0.00/0.09 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09 c Constraints : 1400
0.00/0.09 c Constraints : Number
0.00/0.09 c linear : 1400
0.00/0.09 c ** Instance transfer method used: 0
0.00/0.10 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.12 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.12 c Nodes Active
0.10/0.12 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.16/5.26 c 5 1829 1361 1 - 0.0000 -
10.24/10.34 c 10 5967 3790 1 - 0.0000 -
15.23/15.39 c 15 11642 6501 1 - 0.0000 -
20.31/20.43 c 20 18593 9438 1 - 0.0000 -
25.30/25.48 c 25 26476 12700 1 - 0.0000 -
30.38/30.53 c 31 34421 16168 1 - 0.0000 -
35.36/35.58 c 36 42039 19778 1 - 0.0000 -
40.44/40.63 c 41 49853 22704 1 - 0.0000 -
45.43/45.68 c 46 57555 25697 1 - 0.0000 -
50.51/50.73 c 51 65309 28428 1 - 0.0000 -
55.59/55.81 c 56 72870 31134 1 - 0.0000 -
60.58/60.86 c 61 80680 33584 1 - 0.0000 -
65.66/65.91 c 66 88318 36567 1 - 0.0000 -
70.64/70.96 c 71 96270 39782 1 - 0.0000 -
75.72/76.01 c 76 104099 41618 1 - 0.0000 -
80.71/81.06 c 81 110118 43616 1 - 0.0000 -
85.79/86.12 c 86 115555 47005 1 - 0.0000 -
90.77/91.17 c 91 121285 51798 1 - 0.0000 -
95.84/96.22 c 96 126904 56538 1 - 0.0000 -
100.82/101.27 c 101 133076 61432 1 - 0.0000 -
105.90/106.32 c 106 139302 66331 1 - 0.0000 -
110.88/111.37 c 111 145903 71265 1 - 0.0000 -
115.95/116.42 c 116 152583 76113 1 - 0.0000 -
120.94/121.47 c 121 159076 81053 1 - 0.0000 -
126.02/126.52 c 127 165757 85875 1 - 0.0000 -
130.99/131.57 c 132 172304 90561 1 - 0.0000 -
136.07/136.62 c 137 179485 95616 1 - 0.0000 -
141.05/141.67 c 142 186428 100450 1 - 0.0000 -
146.13/146.72 c 147 193254 105284 1 - 0.0000 -
151.10/151.77 c 152 199819 110118 1 - 0.0000 -
156.19/156.82 c 157 206794 114597 1 - 0.0000 -
161.17/161.87 c 162 213644 118938 1 - 0.0000 -
166.25/166.92 c 167 220652 123354 1 - 0.0000 -
171.22/171.97 c 172 227758 127634 1 - 0.0000 -
176.31/177.02 c 177 234302 132209 1 - 0.0000 -
181.30/182.07 c 182 240865 136835 1 - 0.0000 -
186.37/187.12 c 187 247665 141252 1 - 0.0000 -
191.36/192.17 c 192 254622 145649 1 - 0.0000 -
196.43/197.22 c 197 261357 149510 1 - 0.0000 -
201.41/202.27 c 202 268151 153592 1 - 0.0000 -
206.50/207.32 c 207 274856 157538 1 - 0.0000 -
211.48/212.37 c 212 281625 162076 1 - 0.0000 -
216.56/217.42 c 217 288216 166573 1 - 0.0000 -
221.54/222.47 c 222 295265 170717 1 - 0.0000 -
226.61/227.52 c 228 302317 174908 1 - 0.0000 -
231.60/232.57 c 233 309344 179057 1 - 0.0000 -
236.68/237.62 c 238 316544 183550 1 - 0.0000 -
241.67/242.67 c 243 323399 187720 1 - 0.0000 -
246.75/247.72 c 248 330358 191757 1 - 0.0000 -
251.73/252.77 c 253 338292 195658 1 - 0.0000 -
256.81/257.82 c 258 345071 199818 1 - 0.0000 -
261.79/262.87 c 263 352128 203735 1 - 0.0000 -
266.87/267.92 c 268 359097 208159 1 - 0.0000 -
271.86/272.97 c 273 365842 212453 1 - 0.0000 -
276.94/278.02 c 278 372820 216772 1 - 0.0000 -
281.93/283.07 c 283 379843 221008 1 - 0.0000 -
287.00/288.12 c 288 386793 225397 1 - 0.0000 -
291.98/293.17 c 293 393850 229386 1 - 0.0000 -
297.06/298.22 c 298 400867 233453 1 - 0.0000 -
302.03/303.27 c 303 407708 237705 1 - 0.0000 -
307.11/308.32 c 308 415091 242404 1 - 0.0000 -
312.09/313.37 c 313 422134 246420 1 - 0.0000 -
317.18/318.42 c 318 429200 250747 1 - 0.0000 -
322.15/323.47 c 323 436373 254963 1 - 0.0000 -
327.24/328.52 c 329 443369 259122 1 - 0.0000 -
332.21/333.57 c 334 450260 263749 1 - 0.0000 -
337.30/338.62 c 339 457063 268101 1 - 0.0000 -
342.28/343.67 c 344 464152 272341 1 - 0.0000 -
347.36/348.72 c 349 470995 276968 1 - 0.0000 -
352.34/353.77 c 354 477960 280950 1 - 0.0000 -
357.42/358.82 c 359 484914 285334 1 - 0.0000 -
362.40/363.87 c 364 491941 289597 1 - 0.0000 -
367.49/368.92 c 369 499242 293246 1 - 0.0000 -
372.46/373.97 c 374 506320 297298 1 - 0.0000 -
377.55/379.02 c 379 513044 301666 1 - 0.0000 -
382.54/384.07 c 384 520290 306094 1 - 0.0000 -
387.62/389.12 c 389 527925 309800 1 - 0.0000 -
392.60/394.17 c 394 534990 313997 1 - 0.0000 -
397.66/399.22 c 399 541978 318094 1 - 0.0000 -
402.63/404.27 c 404 548970 322074 1 - 0.0000 -
407.72/409.32 c 409 556074 326185 1 - 0.0000 -
412.69/414.37 c 414 563203 330203 1 - 0.0000 -
417.78/419.42 c 419 570410 334318 1 - 0.0000 -
422.75/424.47 c 424 577473 338518 1 - 0.0000 -
427.84/429.52 c 430 584647 343122 1 - 0.0000 -
432.82/434.57 c 435 592608 348314 1 - 0.0000 -
437.90/439.62 c 440 600289 353328 1 - 0.0000 -
442.88/444.67 c 445 607950 356961 1 - 0.0000 -
447.96/449.72 c 450 615731 360758 1 - 0.0000 -
452.95/454.77 c 455 623181 364623 1 - 0.0000 -
458.03/459.82 c 460 630438 368732 1 - 0.0000 -
463.01/464.87 c 465 637553 372732 1 - 0.0000 -
468.10/469.92 c 470 644851 376753 1 - 0.0000 -
473.08/474.97 c 475 651871 380983 1 - 0.0000 -
478.17/480.02 c 480 658978 384919 1 - 0.0000 -
483.14/485.07 c 485 665976 388845 1 - 0.0000 -
488.23/490.12 c 490 673263 392543 1 - 0.0000 -
493.22/495.17 c 495 679673 396787 1 - 0.0000 -
498.29/500.22 c 500 686644 401526 1 - 0.0000 -
503.27/505.27 c 505 693444 406252 1 - 0.0000 -
508.35/510.32 c 510 700398 410849 1 - 0.0000 -
513.34/515.36 c 515 707387 415680 1 - 0.0000 -
518.42/520.41 c 520 714595 420259 1 - 0.0000 -
523.40/525.46 c 525 721808 424622 1 - 0.0000 -
528.49/530.51 c 531 728621 428978 1 - 0.0000 -
533.47/535.56 c 536 735621 433320 1 - 0.0000 -
538.55/540.61 c 541 742932 437081 1 - 0.0000 -
543.54/545.66 c 546 750011 441465 1 - 0.0000 -
548.62/550.71 c 551 757509 445122 1 - 0.0000 -
553.60/555.76 c 556 764368 449535 1 - 0.0000 -
558.68/560.81 c 561 771454 453976 1 - 0.0000 -
563.66/565.86 c 566 778767 457814 1 - 0.0000 -
568.75/570.91 c 571 785999 461961 1 - 0.0000 -
573.73/575.96 c 576 793531 465879 1 - 0.0000 -
578.71/581.01 c 581 800851 469681 1 - 0.0000 -
583.80/586.07 c 586 807986 473517 1 - 0.0000 -
588.78/591.11 c 591 815823 476699 1 - 0.0000 -
593.87/596.16 c 596 823117 480711 1 - 0.0000 -
598.94/601.21 c 601 830209 484863 1 - 0.0000 -
603.92/606.26 c 606 837417 488643 1 - 0.0000 -
609.01/611.31 c 611 844768 492140 1 - 0.0000 -
613.99/616.36 c 616 852067 496134 1 - 0.0000 -
619.07/621.41 c 621 859419 500062 1 - 0.0000 -
624.05/626.46 c 626 866482 503913 1 - 0.0000 -
629.14/631.51 c 632 873685 508157 1 - 0.0000 -
634.12/636.56 c 637 881344 511496 1 - 0.0000 -
639.21/641.61 c 642 888964 515228 1 - 0.0000 -
644.19/646.66 c 647 896248 518859 1 - 0.0000 -
649.27/651.71 c 652 903373 522804 1 - 0.0000 -
654.25/656.76 c 657 910665 526466 1 - 0.0000 -
659.34/661.81 c 662 917991 530086 1 - 0.0000 -
664.32/666.86 c 667 925221 533434 1 - 0.0000 -
669.40/671.91 c 672 932424 537093 1 - 0.0000 -
674.39/676.96 c 677 939273 541398 1 - 0.0000 -
679.37/682.01 c 682 946690 545357 1 - 0.0000 -
684.46/687.06 c 687 954046 549007 1 - 0.0000 -
689.44/692.11 c 692 961092 552868 1 - 0.0000 -
694.53/697.16 c 697 968793 556351 1 - 0.0000 -
699.60/702.21 c 702 975742 559802 1 - 0.0000 -
704.58/707.26 c 707 983461 563076 1 - 0.0000 -
709.67/712.31 c 712 991722 566564 1 - 0.0000 -
714.65/717.36 c 717 999137 569696 1 - 0.0000 -
719.73/722.41 c 722 1006394 574022 1 - 0.0000 -
724.71/727.46 c 727 1013643 577985 1 - 0.0000 -
729.80/732.51 c 733 1020856 581959 1 - 0.0000 -
734.78/737.56 c 738 1028019 585809 1 - 0.0000 -
739.86/742.61 c 743 1035300 589309 1 - 0.0000 -
744.85/747.66 c 748 1042608 592901 1 - 0.0000 -
749.93/752.71 c 753 1049782 596497 1 - 0.0000 -
754.91/757.76 c 758 1056886 600824 1 - 0.0000 -
760.00/762.81 c 763 1063861 605156 1 - 0.0000 -
764.98/767.86 c 768 1070935 609528 1 - 0.0000 -
770.07/772.91 c 773 1077934 613740 1 - 0.0000 -
775.05/777.96 c 778 1084951 617771 1 - 0.0000 -
780.13/783.01 c 783 1092306 621472 1 - 0.0000 -
785.12/788.06 c 788 1099531 625012 1 - 0.0000 -
790.09/793.11 c 793 1106823 629031 1 - 0.0000 -
795.18/798.16 c 798 1114033 633149 1 - 0.0000 -
800.25/803.21 c 803 1121138 637307 1 - 0.0000 -
805.23/808.26 c 808 1128363 640975 1 - 0.0000 -
810.32/813.31 c 813 1135526 644505 1 - 0.0000 -
815.30/818.36 c 818 1142889 648167 1 - 0.0000 -
820.38/823.41 c 823 1150229 651969 1 - 0.0000 -
825.37/828.46 c 828 1157938 655279 1 - 0.0000 -
830.45/833.51 c 834 1165510 658869 1 - 0.0000 -
835.44/838.56 c 839 1172971 662069 1 - 0.0000 -
840.52/843.61 c 844 1180495 665133 1 - 0.0000 -
845.50/848.67 c 849 1188176 668780 1 - 0.0000 -
850.58/853.72 c 854 1196039 672134 1 - 0.0000 -
855.57/858.77 c 859 1203661 675565 1 - 0.0000 -
860.65/863.82 c 864 1211454 678542 1 - 0.0000 -
865.63/868.87 c 869 1219000 682083 1 - 0.0000 -
870.72/873.92 c 874 1226201 685817 1 - 0.0000 -
875.70/878.97 c 879 1233539 689214 1 - 0.0000 -
880.80/884.02 c 884 1240952 692769 1 - 0.0000 -
885.78/889.07 c 889 1248147 696249 1 - 0.0000 -
890.86/894.12 c 894 1255486 699981 1 - 0.0000 -
895.85/899.17 c 899 1262852 703709 1 - 0.0000 -
900.91/904.22 c 904 1270168 707209 1 - 0.0000 -
905.90/909.27 c 909 1277929 710496 1 - 0.0000 -
910.98/914.32 c 914 1285299 714297 1 - 0.0000 -
915.97/919.37 c 919 1292613 717741 1 - 0.0000 -
921.05/924.42 c 924 1299900 721420 1 - 0.0000 -
926.03/929.47 c 929 1307529 724603 1 - 0.0000 -
931.12/934.52 c 935 1314938 727752 1 - 0.0000 -
936.10/939.57 c 940 1322244 731540 1 - 0.0000 -
941.18/944.62 c 945 1329828 734658 1 - 0.0000 -
946.16/949.67 c 950 1337792 737600 1 - 0.0000 -
951.25/954.72 c 955 1345113 740551 1 - 0.0000 -
956.23/959.77 c 960 1353700 743510 1 - 0.0000 -
961.31/964.82 c 965 1361786 746843 1 - 0.0000 -
966.30/969.87 c 970 1369189 750098 1 - 0.0000 -
971.39/974.92 c 975 1376791 752982 1 - 0.0000 -
976.36/979.97 c 980 1384379 756184 1 - 0.0000 -
981.45/985.02 c 985 1391743 759543 1 - 0.0000 -
986.43/990.08 c 990 1399257 762824 1 - 0.0000 -
991.51/995.13 c 995 1407097 766789 1 - 0.0000 -
996.51/1000.18 c 1000 1414719 769673 1 - 0.0000 -
1001.58/1005.23 c 1005 1422112 772988 1 - 0.0000 -
1006.55/1010.28 c 1010 1428720 777364 1 - 0.0000 -
1011.64/1015.33 c 1015 1436040 781604 1 - 0.0000 -
1016.62/1020.38 c 1020 1443220 785643 1 - 0.0000 -
1021.71/1025.43 c 1025 1450102 789524 1 - 0.0000 -
1026.69/1030.48 c 1030 1457099 793523 1 - 0.0000 -
1031.77/1035.53 c 1036 1464200 797569 1 - 0.0000 -
1036.75/1040.58 c 1041 1471217 801696 1 - 0.0000 -
1041.84/1045.63 c 1046 1478375 805581 1 - 0.0000 -
1046.82/1050.68 c 1051 1485542 809369 1 - 0.0000 -
1051.90/1055.73 c 1056 1492723 813208 1 - 0.0000 -
1056.88/1060.78 c 1061 1499985 816737 1 - 0.0000 -
1061.96/1065.84 c 1066 1507311 819672 1 - 0.0000 -
1066.93/1070.89 c 1071 1514740 822651 1 - 0.0000 -
1072.01/1075.94 c 1076 1522489 825591 1 - 0.0000 -
1076.99/1080.99 c 1081 1530785 828194 1 - 0.0000 -
1082.08/1086.04 c 1086 1538260 830950 1 - 0.0000 -
1087.06/1091.09 c 1091 1545508 834326 1 - 0.0000 -
1092.14/1096.14 c 1096 1552886 838014 1 - 0.0000 -
1097.13/1101.19 c 1101 1560108 841341 1 - 0.0000 -
1102.19/1106.24 c 1106 1567991 844084 1 - 0.0000 -
1107.18/1111.29 c 1111 1575474 847330 1 - 0.0000 -
1112.26/1116.34 c 1116 1583819 850654 1 - 0.0000 -
1117.34/1121.40 c 1121 1591930 852709 1 - 0.0000 -
1122.33/1126.46 c 1126 1599376 856080 1 - 0.0000 -
1127.41/1131.51 c 1132 1606844 859920 1 - 0.0000 -
1132.39/1136.57 c 1137 1614106 863575 1 - 0.0000 -
1137.48/1141.62 c 1142 1621039 867688 1 - 0.0000 -
1142.45/1146.67 c 1147 1628332 871330 1 - 0.0000 -
1147.53/1151.72 c 1152 1635758 874608 1 - 0.0000 -
1152.52/1156.77 c 1157 1642703 878733 1 - 0.0000 -
1157.59/1161.82 c 1162 1649583 882722 1 - 0.0000 -
1162.58/1166.87 c 1167 1656648 886669 1 - 0.0000 -
1167.65/1171.92 c 1172 1663743 890946 1 - 0.0000 -
1172.63/1176.97 c 1177 1670827 895017 1 - 0.0000 -
1177.72/1182.02 c 1182 1677986 898835 1 - 0.0000 -
1182.70/1187.07 c 1187 1685332 902261 1 - 0.0000 -
1187.78/1192.12 c 1192 1693010 905166 1 - 0.0000 -
1192.77/1197.17 c 1197 1700578 908559 1 - 0.0000 -
1197.84/1202.22 c 1202 1708303 911366 1 - 0.0000 -
1202.82/1207.27 c 1207 1715704 914618 1 - 0.0000 -
1207.90/1212.32 c 1212 1723199 917875 1 - 0.0000 -
1212.89/1217.37 c 1217 1730540 921219 1 - 0.0000 -
1217.97/1222.42 c 1222 1738188 924584 1 - 0.0000 -
1222.96/1227.47 c 1227 1745605 927849 1 - 0.0000 -
1228.03/1232.52 c 1233 1752862 931692 1 - 0.0000 -
1233.02/1237.57 c 1238 1760232 934869 1 - 0.0000 -
1238.10/1242.62 c 1243 1767948 938093 1 - 0.0000 -
1243.08/1247.67 c 1248 1775261 941073 1 - 0.0000 -
1248.17/1252.72 c 1253 1782866 944411 1 - 0.0000 -
1253.15/1257.77 c 1258 1790317 947680 1 - 0.0000 -
1258.24/1262.82 c 1263 1797900 950880 1 - 0.0000 -
1263.22/1267.88 c 1268 1805315 954133 1 - 0.0000 -
1268.30/1272.92 c 1273 1812453 957951 1 - 0.0000 -
1273.28/1277.97 c 1278 1820104 960946 1 - 0.0000 -
1278.37/1283.02 c 1283 1827205 963808 1 - 0.0000 -
1283.36/1288.07 c 1288 1834700 967246 1 - 0.0000 -
1288.44/1293.12 c 1293 1841902 970573 1 - 0.0000 -
1293.42/1298.17 c 1298 1848888 974121 1 - 0.0000 -
1298.49/1303.22 c 1303 1855938 978326 1 - 0.0000 -
1303.48/1308.27 c 1308 1862907 982607 1 - 0.0000 -
1308.56/1313.32 c 1313 1869655 986910 1 - 0.0000 -
1313.55/1318.37 c 1318 1876656 991347 1 - 0.0000 -
1318.62/1323.42 c 1323 1883682 995552 1 - 0.0000 -
1323.61/1328.47 c 1328 1890683 999583 1 - 0.0000 -
1328.69/1333.52 c 1334 1897739 1003808 1 - 0.0000 -
1333.67/1338.57 c 1339 1904808 1007674 1 - 0.0000 -
1338.76/1343.63 c 1344 1911886 1011461 1 - 0.0000 -
1343.74/1348.68 c 1349 1919028 1015215 1 - 0.0000 -
1348.83/1353.73 c 1354 1926090 1019351 1 - 0.0000 -
1353.81/1358.78 c 1359 1933137 1022943 1 - 0.0000 -
1358.89/1363.83 c 1364 1940269 1026843 1 - 0.0000 -
1363.88/1368.88 c 1369 1947343 1030681 1 - 0.0000 -
1368.96/1373.93 c 1374 1954140 1034608 1 - 0.0000 -
1373.94/1378.98 c 1379 1961238 1038600 1 - 0.0000 -
1379.04/1384.03 c 1384 1968371 1042370 1 - 0.0000 -
1384.02/1389.08 c 1389 1975459 1045950 1 - 0.0000 -
1389.11/1394.13 c 1394 1982296 1049662 1 - 0.0000 -
1394.09/1399.18 c 1399 1989229 1053994 1 - 0.0000 -
1399.16/1404.23 c 1404 1996604 1057431 1 - 0.0000 -
1404.14/1409.28 c 1409 2003858 1060820 1 - 0.0000 -
1409.22/1414.33 c 1414 2011143 1063985 1 - 0.0000 -
1414.21/1419.38 c 1419 2018544 1067355 1 - 0.0000 -
1419.29/1424.43 c 1424 2026036 1070392 1 - 0.0000 -
1424.28/1429.48 c 1429 2033614 1073634 1 - 0.0000 -
1429.36/1434.53 c 1435 2041217 1076783 1 - 0.0000 -
1434.34/1439.58 c 1440 2048680 1080102 1 - 0.0000 -
1439.42/1444.63 c 1445 2056116 1083639 1 - 0.0000 -
1444.40/1449.68 c 1450 2063603 1087221 1 - 0.0000 -
1449.48/1454.73 c 1455 2070963 1090453 1 - 0.0000 -
1454.47/1459.78 c 1460 2078360 1093964 1 - 0.0000 -
1459.56/1464.83 c 1465 2085899 1097235 1 - 0.0000 -
1464.54/1469.88 c 1470 2093371 1100532 1 - 0.0000 -
1469.62/1474.93 c 1475 2101037 1104131 1 - 0.0000 -
1474.61/1479.98 c 1480 2108767 1107382 1 - 0.0000 -
1479.69/1485.03 c 1485 2116461 1110362 1 - 0.0000 -
1484.67/1490.08 c 1490 2123762 1113995 1 - 0.0000 -
1489.75/1495.13 c 1495 2131278 1117460 1 - 0.0000 -
1494.74/1500.18 c 1500 2138819 1120735 1 - 0.0000 -
1499.81/1505.23 c 1505 2146118 1124466 1 - 0.0000 -
1504.80/1510.28 c 1510 2153603 1127598 1 - 0.0000 -
1509.88/1515.33 c 1515 2161066 1130568 1 - 0.0000 -
1514.86/1520.38 c 1520 2168414 1134029 1 - 0.0000 -
1519.94/1525.43 c 1525 2175770 1137456 1 - 0.0000 -
1524.92/1530.48 c 1530 2183343 1140364 1 - 0.0000 -
1530.01/1535.53 c 1536 2190681 1143519 1 - 0.0000 -
1534.99/1540.58 c 1541 2197915 1146636 1 - 0.0000 -
1540.07/1545.63 c 1546 2205493 1149831 1 - 0.0000 -
1545.06/1550.68 c 1551 2212923 1152787 1 - 0.0000 -
1550.14/1555.73 c 1556 2220217 1156114 1 - 0.0000 -
1555.12/1560.78 c 1561 2227910 1159452 1 - 0.0000 -
1560.21/1565.83 c 1566 2235171 1163279 1 - 0.0000 -
1565.19/1570.88 c 1571 2242551 1166547 1 - 0.0000 -
1570.27/1575.94 c 1576 2249540 1170945 1 - 0.0000 -
1575.26/1580.99 c 1581 2256617 1174999 1 - 0.0000 -
1580.35/1586.04 c 1586 2263674 1179002 1 - 0.0000 -
1585.33/1591.09 c 1591 2270915 1182976 1 - 0.0000 -
1590.42/1596.14 c 1596 2277901 1186723 1 - 0.0000 -
1595.40/1601.19 c 1601 2284949 1190671 1 - 0.0000 -
1600.47/1606.24 c 1606 2291876 1194810 1 - 0.0000 -
1605.45/1611.29 c 1611 2298792 1198825 1 - 0.0000 -
1610.54/1616.34 c 1616 2305858 1202896 1 - 0.0000 -
1615.52/1621.39 c 1621 2312992 1207005 1 - 0.0000 -
1620.61/1626.44 c 1626 2320063 1210846 1 - 0.0000 -
1625.59/1631.49 c 1631 2327116 1214469 1 - 0.0000 -
1630.68/1636.54 c 1637 2334164 1218268 1 - 0.0000 -
1635.66/1641.59 c 1642 2341291 1221800 1 - 0.0000 -
1640.74/1646.64 c 1647 2348544 1225176 1 - 0.0000 -
1645.72/1651.69 c 1652 2355938 1228389 1 - 0.0000 -
1650.80/1656.74 c 1657 2363173 1231550 1 - 0.0000 -
1655.88/1661.80 c 1662 2370500 1234924 1 - 0.0000 -
1660.87/1666.85 c 1667 2377474 1238796 1 - 0.0000 -
1665.95/1671.90 c 1672 2384840 1241933 1 - 0.0000 -
1670.94/1676.95 c 1677 2391933 1245544 1 - 0.0000 -
1675.92/1682.01 c 1682 2399080 1249055 1 - 0.0000 -
1681.01/1687.06 c 1687 2405892 1253246 1 - 0.0000 -
1685.99/1692.11 c 1692 2412785 1257416 1 - 0.0000 -
1691.08/1697.16 c 1697 2419714 1261865 1 - 0.0000 -
1696.14/1702.21 c 1702 2426743 1265593 1 - 0.0000 -
1701.13/1707.26 c 1707 2433632 1269397 1 - 0.0000 -
1706.21/1712.31 c 1712 2440758 1272368 1 - 0.0000 -
1711.19/1717.36 c 1717 2448112 1275857 1 - 0.0000 -
1716.28/1722.41 c 1722 2455386 1278968 1 - 0.0000 -
1721.26/1727.46 c 1727 2463033 1282365 1 - 0.0000 -
1726.34/1732.51 c 1733 2470396 1285402 1 - 0.0000 -
1731.33/1737.56 c 1738 2477869 1288850 1 - 0.0000 -
1736.40/1742.61 c 1743 2485151 1291553 1 - 0.0000 -
1741.39/1747.66 c 1748 2492356 1295005 1 - 0.0000 -
1746.46/1752.71 c 1753 2499786 1298080 1 - 0.0000 -
1751.44/1757.76 c 1758 2507064 1301462 1 - 0.0000 -
1756.52/1762.81 c 1763 2514406 1304937 1 - 0.0000 -
1761.50/1767.86 c 1768 2521685 1308009 1 - 0.0000 -
1766.58/1772.91 c 1773 2529058 1311159 1 - 0.0000 -
1771.56/1777.96 c 1778 2536322 1314552 1 - 0.0000 -
1776.53/1783.01 c 1783 2543522 1317983 1 - 0.0000 -
1781.62/1788.06 c 1788 2550619 1321143 1 - 0.0000 -
1786.61/1793.11 c 1793 2558380 1324147 1 - 0.0000 -
1791.69/1798.16 c 1798 2565621 1326676 1 - 0.0000 -
1796.76/1803.21 c 1803 2573552 1330204 1 - 0.0000 -
1801.74/1808.26 c 1808 2580920 1333147 1 - 0.0000 -
1806.83/1813.31 c 1813 2588552 1336406 1 - 0.0000 -
1811.81/1818.36 c 1818 2595607 1339844 1 - 0.0000 -
1816.89/1823.41 c 1823 2602665 1343735 1 - 0.0000 -
1821.87/1828.46 c 1828 2610084 1346673 1 - 0.0000 -
1826.96/1833.51 c 1834 2617341 1349755 1 - 0.0000 -
1831.94/1838.56 c 1839 2624907 1352400 1 - 0.0000 -
1837.03/1843.61 c 1844 2632411 1355388 1 - 0.0000 -
1842.01/1848.66 c 1849 2639703 1358412 1 - 0.0000 -
1847.09/1853.71 c 1854 2647202 1361312 1 - 0.0000 -
1852.07/1858.76 c 1859 2654589 1364286 1 - 0.0000 -
1857.16/1863.81 c 1864 2662022 1367745 1 - 0.0000 -
1862.14/1868.86 c 1869 2669082 1371598 1 - 0.0000 -
1867.22/1873.91 c 1874 2676268 1374936 1 - 0.0000 -
1872.20/1878.96 c 1879 2683643 1377673 1 - 0.0000 -
1877.18/1884.01 c 1884 2690812 1380975 1 - 0.0000 -
1882.27/1889.06 c 1889 2697952 1383976 1 - 0.0000 -
1887.36/1894.11 c 1894 2705311 1387141 1 - 0.0000 -
1892.34/1899.16 c 1899 2712771 1390231 1 - 0.0000 -
1897.40/1904.21 c 1904 2720145 1393369 1 - 0.0000 -
1902.39/1909.26 c 1909 2727632 1396206 1 - 0.0000 -
1907.47/1914.31 c 1914 2734929 1399542 1 - 0.0000 -
1912.45/1919.36 c 1919 2742472 1403112 1 - 0.0000 -
1917.53/1924.41 c 1924 2749906 1406023 1 - 0.0000 -
1922.51/1929.46 c 1929 2757162 1409413 1 - 0.0000 -
1927.58/1934.51 c 1935 2764381 1413130 1 - 0.0000 -
1932.56/1939.56 c 1940 2771681 1415720 1 - 0.0000 -
1937.65/1944.61 c 1945 2779377 1419315 1 - 0.0000 -
1942.63/1949.66 c 1950 2787261 1422595 1 - 0.0000 -
1947.70/1954.71 c 1955 2794715 1426261 1 - 0.0000 -
1952.68/1959.76 c 1960 2802904 1428933 1 - 0.0000 -
1957.76/1964.81 c 1965 2811074 1431487 1 - 0.0000 -
1962.74/1969.86 c 1970 2819033 1433236 1 - 0.0000 -
1967.82/1974.91 c 1975 2826376 1435776 1 - 0.0000 -
1972.80/1979.96 c 1980 2833871 1438726 1 - 0.0000 -
1977.77/1985.01 c 1985 2840984 1441543 1 - 0.0000 -
1982.86/1990.06 c 1990 2848618 1444567 1 - 0.0000 -
1987.84/1995.11 c 1995 2855767 1447348 1 - 0.0000 -
1992.93/2000.16 c 2000 2862869 1450381 1 - 0.0000 -
1998.00/2005.21 c 2005 2870090 1453236 1 - 0.0000 -
2002.99/2010.26 c 2010 2877599 1456210 1 - 0.0000 -
2008.07/2015.31 c 2015 2885002 1459195 1 - 0.0000 -
2013.05/2020.36 c 2020 2892591 1461590 1 - 0.0000 -
2018.13/2025.41 c 2025 2899665 1464846 1 - 0.0000 -
2023.12/2030.46 c 2030 2906742 1468618 1 - 0.0000 -
2028.20/2035.51 c 2036 2913917 1471769 1 - 0.0000 -
2033.17/2040.56 c 2041 2921233 1475063 1 - 0.0000 -
2038.26/2045.61 c 2046 2928690 1477818 1 - 0.0000 -
2043.23/2050.65 c 2051 2935953 1481635 1 - 0.0000 -
2048.32/2055.70 c 2056 2943225 1484727 1 - 0.0000 -
2053.29/2060.75 c 2061 2950878 1487492 1 - 0.0000 -
2058.37/2065.80 c 2066 2958189 1490832 1 - 0.0000 -
2063.35/2070.85 c 2071 2966161 1494817 1 - 0.0000 -
2068.43/2075.90 c 2076 2973811 1498253 1 - 0.0000 -
2073.41/2080.95 c 2081 2981505 1501173 1 - 0.0000 -
2078.39/2086.01 c 2086 2988901 1504219 1 - 0.0000 -
2083.47/2091.05 c 2091 2996025 1507987 1 - 0.0000 -
2088.46/2096.10 c 2096 3003267 1511684 1 - 0.0000 -
2093.53/2101.15 c 2101 3011102 1514327 1 - 0.0000 -
2098.60/2106.20 c 2106 3018157 1517259 1 - 0.0000 -
2103.58/2111.25 c 2111 3025247 1520544 1 - 0.0000 -
2108.66/2116.30 c 2116 3032472 1523672 1 - 0.0000 -
2113.65/2121.35 c 2121 3039819 1526555 1 - 0.0000 -
2118.74/2126.40 c 2126 3047344 1529865 1 - 0.0000 -
2123.71/2131.47 c 2131 3054557 1532810 1 - 0.0000 -
2128.79/2136.52 c 2137 3061832 1536339 1 - 0.0000 -
2133.78/2141.57 c 2142 3069220 1539525 1 - 0.0000 -
2138.85/2146.62 c 2147 3076523 1542612 1 - 0.0000 -
2143.84/2151.67 c 2152 3083757 1545692 1 - 0.0000 -
2148.91/2156.72 c 2157 3091135 1548764 1 - 0.0000 -
2153.90/2161.77 c 2162 3098700 1551688 1 - 0.0000 -
2158.97/2166.82 c 2167 3105908 1554409 1 - 0.0000 -
2163.96/2171.87 c 2172 3112971 1557509 1 - 0.0000 -
2169.04/2176.92 c 2177 3120042 1561163 1 - 0.0000 -
2174.02/2181.97 c 2182 3127167 1564255 1 - 0.0000 -
2179.11/2187.02 c 2187 3134421 1567641 1 - 0.0000 -
2184.09/2192.07 c 2192 3141731 1570469 1 - 0.0000 -
2189.18/2197.12 c 2197 3149167 1573460 1 - 0.0000 -
2194.16/2202.17 c 2202 3156600 1576557 1 - 0.0000 -
2199.23/2207.22 c 2207 3163759 1579694 1 - 0.0000 -
2204.21/2212.27 c 2212 3171196 1582992 1 - 0.0000 -
2209.29/2217.32 c 2217 3178450 1585955 1 - 0.0000 -
2214.28/2222.37 c 2222 3185992 1588471 1 - 0.0000 -
2219.36/2227.42 c 2227 3193196 1591745 1 - 0.0000 -
2224.35/2232.47 c 2232 3200597 1594892 1 - 0.0000 -
2229.42/2237.52 c 2238 3208010 1597802 1 - 0.0000 -
2234.40/2242.57 c 2243 3215335 1601032 1 - 0.0000 -
2239.49/2247.62 c 2248 3222521 1604955 1 - 0.0000 -
2244.47/2252.67 c 2253 3229728 1608732 1 - 0.0000 -
2249.55/2257.72 c 2258 3237041 1612431 1 - 0.0000 -
2254.54/2262.77 c 2263 3244142 1615950 1 - 0.0000 -
2259.62/2267.82 c 2268 3251291 1619900 1 - 0.0000 -
2264.60/2272.87 c 2273 3258488 1623590 1 - 0.0000 -
2269.68/2277.92 c 2278 3265676 1626876 1 - 0.0000 -
2274.67/2282.97 c 2283 3272873 1630190 1 - 0.0000 -
2279.75/2288.02 c 2288 3280084 1633550 1 - 0.0000 -
2284.73/2293.07 c 2293 3287341 1636757 1 - 0.0000 -
2289.81/2298.12 c 2298 3294751 1639709 1 - 0.0000 -
2294.80/2303.17 c 2303 3301729 1642716 1 - 0.0000 -
2299.86/2308.23 c 2308 3309157 1645775 1 - 0.0000 -
2304.85/2313.28 c 2313 3316524 1648860 1 - 0.0000 -
2309.93/2318.33 c 2318 3323838 1651782 1 - 0.0000 -
2314.91/2323.38 c 2323 3330964 1655059 1 - 0.0000 -
2319.99/2328.43 c 2328 3338465 1658370 1 - 0.0000 -
2324.98/2333.48 c 2333 3345590 1661342 1 - 0.0000 -
2330.06/2338.53 c 2339 3352838 1664853 1 - 0.0000 -
2335.04/2343.58 c 2344 3360214 1667816 1 - 0.0000 -
2340.12/2348.63 c 2349 3367763 1670561 1 - 0.0000 -
2345.11/2353.68 c 2354 3374936 1673619 1 - 0.0000 -
2350.18/2358.73 c 2359 3382221 1677060 1 - 0.0000 -
2355.18/2363.78 c 2364 3389505 1680052 1 - 0.0000 -
2360.26/2368.83 c 2369 3396610 1683314 1 - 0.0000 -
2365.23/2373.88 c 2374 3403792 1686460 1 - 0.0000 -
2370.32/2378.93 c 2379 3410901 1689622 1 - 0.0000 -
2375.31/2383.98 c 2384 3417901 1693293 1 - 0.0000 -
2380.39/2389.03 c 2389 3424925 1696626 1 - 0.0000 -
2385.37/2394.08 c 2394 3432463 1699407 1 - 0.0000 -
2390.46/2399.13 c 2399 3439776 1702132 1 - 0.0000 -
2395.44/2404.18 c 2404 3446744 1705509 1 - 0.0000 -
2400.51/2409.23 c 2409 3453920 1708460 1 - 0.0000 -
2405.49/2414.28 c 2414 3461215 1711409 1 - 0.0000 -
2410.58/2419.33 c 2419 3468972 1714294 1 - 0.0000 -
2415.55/2424.38 c 2424 3476186 1717581 1 - 0.0000 -
2420.64/2429.43 c 2429 3483542 1720895 1 - 0.0000 -
2425.62/2434.48 c 2434 3491156 1724010 1 - 0.0000 -
2430.70/2439.53 c 2440 3499332 1726328 1 - 0.0000 -
2435.69/2444.58 c 2445 3507173 1729805 1 - 0.0000 -
2440.77/2449.63 c 2450 3515249 1733666 1 - 0.0000 -
2445.75/2454.68 c 2455 3523205 1736983 1 - 0.0000 -
2450.83/2459.73 c 2460 3530785 1740162 1 - 0.0000 -
2455.81/2464.79 c 2465 3538280 1742801 1 - 0.0000 -
2460.90/2469.84 c 2470 3545554 1745808 1 - 0.0000 -
2465.88/2474.89 c 2475 3552655 1749361 1 - 0.0000 -
2470.96/2479.94 c 2480 3559891 1752212 1 - 0.0000 -
2475.94/2484.99 c 2485 3567419 1755086 1 - 0.0000 -
2481.03/2490.04 c 2490 3574883 1757961 1 - 0.0000 -
2486.01/2495.09 c 2495 3582687 1761263 1 - 0.0000 -
2491.10/2500.14 c 2500 3590561 1764949 1 - 0.0000 -
2496.08/2505.19 c 2505 3598284 1768389 1 - 0.0000 -
2501.15/2510.24 c 2510 3605879 1771431 1 - 0.0000 -
2506.13/2515.29 c 2515 3613660 1775272 1 - 0.0000 -
2511.21/2520.34 c 2520 3621582 1778612 1 - 0.0000 -
2516.19/2525.39 c 2525 3629280 1781626 1 - 0.0000 -
2521.28/2530.44 c 2530 3636946 1785172 1 - 0.0000 -
2526.27/2535.49 c 2535 3644563 1788562 1 - 0.0000 -
2531.34/2540.54 c 2541 3652320 1791635 1 - 0.0000 -
2536.32/2545.59 c 2546 3660033 1794677 1 - 0.0000 -
2541.41/2550.64 c 2551 3667386 1797688 1 - 0.0000 -
2546.39/2555.69 c 2556 3674657 1800695 1 - 0.0000 -
2551.47/2560.74 c 2561 3682262 1803086 1 - 0.0000 -
2556.46/2565.79 c 2566 3689098 1806039 1 - 0.0000 -
2561.54/2570.84 c 2571 3696226 1808847 1 - 0.0000 -
2566.53/2575.89 c 2576 3703318 1811866 1 - 0.0000 -
2571.60/2580.94 c 2581 3710342 1815156 1 - 0.0000 -
2576.59/2585.99 c 2586 3717741 1817997 1 - 0.0000 -
2581.67/2591.04 c 2591 3725133 1820594 1 - 0.0000 -
2586.66/2596.09 c 2596 3732562 1823379 1 - 0.0000 -
2591.74/2601.14 c 2601 3740060 1826265 1 - 0.0000 -
2596.73/2606.19 c 2606 3747191 1829203 1 - 0.0000 -
2601.79/2611.24 c 2611 3754274 1832590 1 - 0.0000 -
2606.77/2616.29 c 2616 3761450 1835495 1 - 0.0000 -
2611.85/2621.34 c 2621 3769265 1837868 1 - 0.0000 -
2616.83/2626.40 c 2626 3777141 1840351 1 - 0.0000 -
2621.91/2631.44 c 2631 3784339 1842961 1 - 0.0000 -
2626.89/2636.49 c 2636 3791905 1845707 1 - 0.0000 -
2631.96/2641.54 c 2642 3798951 1849350 1 - 0.0000 -
2636.95/2646.59 c 2647 3806016 1852931 1 - 0.0000 -
2642.03/2651.64 c 2652 3813051 1856500 1 - 0.0000 -
2647.00/2656.69 c 2657 3820546 1860363 1 - 0.0000 -
2652.09/2661.74 c 2662 3827834 1863488 1 - 0.0000 -
2657.07/2666.79 c 2667 3834948 1866876 1 - 0.0000 -
2662.15/2671.84 c 2672 3842247 1870372 1 - 0.0000 -
2667.14/2676.89 c 2677 3849611 1873494 1 - 0.0000 -
2672.22/2681.94 c 2682 3856747 1876571 1 - 0.0000 -
2677.20/2686.99 c 2687 3864836 1879210 1 - 0.0000 -
2682.28/2692.04 c 2692 3872912 1881123 1 - 0.0000 -
2687.27/2697.09 c 2697 3880166 1883667 1 - 0.0000 -
2692.35/2702.14 c 2702 3887156 1887210 1 - 0.0000 -
2697.33/2707.19 c 2707 3894672 1890228 1 - 0.0000 -
2702.40/2712.24 c 2712 3901055 1893481 1 - 0.0000 -
2707.39/2717.29 c 2717 3908320 1896199 1 - 0.0000 -
2712.46/2722.34 c 2722 3915516 1899594 1 - 0.0000 -
2717.44/2727.39 c 2727 3922756 1902866 1 - 0.0000 -
2722.53/2732.44 c 2732 3929740 1905799 1 - 0.0000 -
2727.50/2737.49 c 2737 3937001 1908792 1 - 0.0000 -
2732.59/2742.54 c 2743 3944013 1912657 1 - 0.0000 -
2737.57/2747.59 c 2748 3951250 1916504 1 - 0.0000 -
2742.66/2752.64 c 2753 3958478 1919389 1 - 0.0000 -
2747.64/2757.69 c 2758 3965620 1922719 1 - 0.0000 -
2752.72/2762.74 c 2763 3973134 1925234 1 - 0.0000 -
2757.70/2767.79 c 2768 3980527 1928120 1 - 0.0000 -
2762.79/2772.84 c 2773 3987604 1930828 1 - 0.0000 -
2767.77/2777.89 c 2778 3994794 1933932 1 - 0.0000 -
2772.85/2782.94 c 2783 4002089 1937142 1 - 0.0000 -
2777.83/2787.99 c 2788 4009241 1939630 1 - 0.0000 -
2782.93/2793.04 c 2793 4016483 1942684 1 - 0.0000 -
2787.90/2798.09 c 2798 4023805 1945779 1 - 0.0000 -
2792.98/2803.14 c 2803 4031344 1948614 1 - 0.0000 -
2797.97/2808.19 c 2808 4038631 1951866 1 - 0.0000 -
2803.04/2813.24 c 2813 4046294 1954385 1 - 0.0000 -
2808.03/2818.29 c 2818 4053370 1957726 1 - 0.0000 -
2813.10/2823.34 c 2823 4060786 1960937 1 - 0.0000 -
2818.09/2828.39 c 2828 4068181 1963984 1 - 0.0000 -
2823.17/2833.44 c 2833 4075401 1966932 1 - 0.0000 -
2828.16/2838.49 c 2838 4082877 1970116 1 - 0.0000 -
2833.24/2843.54 c 2844 4089965 1973416 1 - 0.0000 -
2838.23/2848.59 c 2849 4097279 1976428 1 - 0.0000 -
2843.30/2853.64 c 2854 4104416 1979511 1 - 0.0000 -
2848.28/2858.69 c 2859 4111881 1982291 1 - 0.0000 -
2853.37/2863.74 c 2864 4119038 1985735 1 - 0.0000 -
2858.35/2868.79 c 2869 4126065 1988581 1 - 0.0000 -
2863.43/2873.85 c 2874 4133272 1991809 1 - 0.0000 -
2868.41/2878.89 c 2879 4140470 1995237 1 - 0.0000 -
2873.49/2883.94 c 2884 4147938 1997719 1 - 0.0000 -
2878.48/2888.99 c 2889 4155072 2000960 1 - 0.0000 -
2883.57/2894.04 c 2894 4162053 2003904 1 - 0.0000 -
2888.55/2899.09 c 2899 4169154 2007036 1 - 0.0000 -
2893.62/2904.14 c 2904 4176521 2010406 1 - 0.0000 -
2898.61/2909.19 c 2909 4183944 2013749 1 - 0.0000 -
2903.68/2914.24 c 2914 4191190 2016821 1 - 0.0000 -
2908.67/2919.29 c 2919 4198262 2020001 1 - 0.0000 -
2913.75/2924.34 c 2924 4205591 2023024 1 - 0.0000 -
2918.73/2929.39 c 2929 4212654 2026113 1 - 0.0000 -
2923.81/2934.44 c 2934 4220340 2028556 1 - 0.0000 -
2928.79/2939.49 c 2939 4227503 2031584 1 - 0.0000 -
2933.87/2944.54 c 2945 4234845 2034502 1 - 0.0000 -
2938.86/2949.59 c 2950 4242178 2037285 1 - 0.0000 -
2943.94/2954.64 c 2955 4249283 2040475 1 - 0.0000 -
2948.92/2959.69 c 2960 4256491 2043829 1 - 0.0000 -
2954.00/2964.74 c 2965 4263559 2047263 1 - 0.0000 -
2958.98/2969.79 c 2970 4270818 2050295 1 - 0.0000 -
2964.06/2974.84 c 2975 4278019 2053385 1 - 0.0000 -
2969.05/2979.89 c 2980 4284995 2056570 1 - 0.0000 -
2974.13/2984.94 c 2985 4292451 2059558 1 - 0.0000 -
2979.12/2989.99 c 2990 4299806 2062245 1 - 0.0000 -
2984.20/2995.04 c 2995 4306958 2065336 1 - 0.0000 -
2989.19/3000.09 c 3000 4314337 2068474 1 - 0.0000 -
2994.27/3005.14 c 3005 4321921 2070939 1 - 0.0000 -
2999.24/3010.19 c 3010 4329364 2073975 1 - 0.0000 -
3004.31/3015.24 c 3015 4336335 2076924 1 - 0.0000 -
3009.30/3020.29 c 3020 4343195 2081322 1 - 0.0000 -
3014.38/3025.34 c 3025 4350192 2085329 1 - 0.0000 -
3019.36/3030.39 c 3030 4357084 2089534 1 - 0.0000 -
3024.44/3035.44 c 3035 4363801 2093692 1 - 0.0000 -
3029.42/3040.49 c 3040 4370502 2097878 1 - 0.0000 -
3034.51/3045.54 c 3046 4377537 2101850 1 - 0.0000 -
3039.49/3050.59 c 3051 4384377 2105610 1 - 0.0000 -
3044.57/3055.64 c 3056 4391236 2109469 1 - 0.0000 -
3049.56/3060.69 c 3061 4398119 2113330 1 - 0.0000 -
3054.64/3065.74 c 3066 4405143 2117279 1 - 0.0000 -
3059.62/3070.79 c 3071 4412222 2120804 1 - 0.0000 -
3064.71/3075.84 c 3076 4419061 2124529 1 - 0.0000 -
3069.69/3080.89 c 3081 4426093 2128243 1 - 0.0000 -
3074.77/3085.94 c 3086 4433217 2131866 1 - 0.0000 -
3079.75/3090.99 c 3091 4440033 2135384 1 - 0.0000 -
3084.84/3096.04 c 3096 4446732 2138231 1 - 0.0000 -
3089.82/3101.09 c 3101 4453636 2142087 1 - 0.0000 -
3094.90/3106.14 c 3106 4460518 2145359 1 - 0.0000 -
3099.97/3111.20 c 3111 4467174 2148971 1 - 0.0000 -
3104.96/3116.24 c 3116 4474050 2152305 1 - 0.0000 -
3109.94/3121.29 c 3121 4480779 2156035 1 - 0.0000 -
3115.02/3126.34 c 3126 4487721 2159267 1 - 0.0000 -
3120.00/3131.39 c 3131 4494497 2162535 1 - 0.0000 -
3125.09/3136.44 c 3136 4501345 2165990 1 - 0.0000 -
3130.07/3141.49 c 3141 4508087 2169179 1 - 0.0000 -
3135.16/3146.54 c 3147 4514835 2172320 1 - 0.0000 -
3140.14/3151.59 c 3152 4521520 2175832 1 - 0.0000 -
3145.22/3156.64 c 3157 4528133 2179201 1 - 0.0000 -
3150.20/3161.69 c 3162 4534753 2182066 1 - 0.0000 -
3155.29/3166.74 c 3167 4541408 2185198 1 - 0.0000 -
3160.27/3171.79 c 3172 4548000 2188949 1 - 0.0000 -
3165.36/3176.84 c 3177 4554701 2192375 1 - 0.0000 -
3170.34/3181.89 c 3182 4561689 2195760 1 - 0.0000 -
3175.42/3186.94 c 3187 4568478 2199201 1 - 0.0000 -
3180.40/3191.99 c 3192 4575162 2202357 1 - 0.0000 -
3185.49/3197.04 c 3197 4581639 2205473 1 - 0.0000 -
3190.47/3202.09 c 3202 4588369 2208794 1 - 0.0000 -
3195.56/3207.14 c 3207 4595382 2212067 1 - 0.0000 -
3200.54/3212.19 c 3212 4603182 2215787 1 - 0.0000 -
3205.60/3217.24 c 3217 4610589 2218908 1 - 0.0000 -
3210.59/3222.29 c 3222 4617692 2221951 1 - 0.0000 -
3215.67/3227.34 c 3227 4624833 2224991 1 - 0.0000 -
3220.65/3232.39 c 3232 4631883 2228006 1 - 0.0000 -
3225.74/3237.44 c 3237 4639045 2230678 1 - 0.0000 -
3230.72/3242.49 c 3242 4646633 2234036 1 - 0.0000 -
3235.80/3247.54 c 3248 4654597 2236433 1 - 0.0000 -
3240.78/3252.59 c 3253 4661860 2239186 1 - 0.0000 -
3245.86/3257.64 c 3258 4668824 2242376 1 - 0.0000 -
3250.84/3262.69 c 3263 4675813 2245892 1 - 0.0000 -
3255.92/3267.74 c 3268 4682451 2249948 1 - 0.0000 -
3260.90/3272.79 c 3273 4689152 2254003 1 - 0.0000 -
3265.98/3277.84 c 3278 4695990 2258142 1 - 0.0000 -
3270.96/3282.89 c 3283 4702897 2261970 1 - 0.0000 -
3276.04/3287.94 c 3288 4709721 2265584 1 - 0.0000 -
3281.02/3292.99 c 3293 4716541 2269175 1 - 0.0000 -
3286.11/3298.04 c 3298 4723606 2272491 1 - 0.0000 -
3291.09/3303.09 c 3303 4730561 2276320 1 - 0.0000 -
3296.17/3308.14 c 3308 4737636 2279574 1 - 0.0000 -
3301.15/3313.19 c 3313 4744620 2282507 1 - 0.0000 -
3306.22/3318.24 c 3318 4751506 2286172 1 - 0.0000 -
3311.30/3323.31 c 3323 4758437 2289454 1 - 0.0000 -
3316.29/3328.36 c 3328 4765071 2292297 1 - 0.0000 -
3321.37/3333.41 c 3333 4771998 2295799 1 - 0.0000 -
3326.36/3338.46 c 3338 4778967 2299112 1 - 0.0000 -
3331.43/3343.51 c 3344 4785683 2302510 1 - 0.0000 -
3336.42/3348.56 c 3349 4793314 2305794 1 - 0.0000 -
3341.50/3353.61 c 3354 4800499 2308694 1 - 0.0000 -
3346.48/3358.66 c 3359 4807521 2311427 1 - 0.0000 -
3351.56/3363.71 c 3364 4814739 2313788 1 - 0.0000 -
3356.55/3368.76 c 3369 4822051 2316953 1 - 0.0000 -
3361.63/3373.81 c 3374 4829469 2320031 1 - 0.0000 -
3366.61/3378.86 c 3379 4836676 2322625 1 - 0.0000 -
3371.70/3383.91 c 3384 4843835 2325663 1 - 0.0000 -
3376.68/3388.96 c 3389 4851031 2328335 1 - 0.0000 -
3381.66/3394.01 c 3394 4858014 2331364 1 - 0.0000 -
3386.75/3399.06 c 3399 4865260 2334345 1 - 0.0000 -
3391.74/3404.11 c 3404 4872354 2337553 1 - 0.0000 -
3396.82/3409.16 c 3409 4879532 2340351 1 - 0.0000 -
3401.88/3414.21 c 3414 4886689 2343064 1 - 0.0000 -
3406.87/3419.26 c 3419 4893741 2346109 1 - 0.0000 -
3411.95/3424.31 c 3424 4900904 2349685 1 - 0.0000 -
3416.93/3429.36 c 3429 4907937 2353527 1 - 0.0000 -
3422.02/3434.41 c 3434 4914959 2356755 1 - 0.0000 -
3427.00/3439.46 c 3439 4922013 2359425 1 - 0.0000 -
3432.09/3444.51 c 3445 4928791 2362910 1 - 0.0000 -
3437.06/3449.56 c 3450 4935860 2366396 1 - 0.0000 -
3442.15/3454.61 c 3455 4943048 2369948 1 - 0.0000 -
3447.14/3459.66 c 3460 4949967 2372518 1 - 0.0000 -
3452.22/3464.71 c 3465 4956899 2375685 1 - 0.0000 -
3457.20/3469.76 c 3470 4963848 2378912 1 - 0.0000 -
3462.28/3474.81 c 3475 4970904 2382579 1 - 0.0000 -
3467.26/3479.86 c 3480 4977874 2385554 1 - 0.0000 -
3472.35/3484.91 c 3485 4984925 2388812 1 - 0.0000 -
3477.33/3489.96 c 3490 4992128 2391657 1 - 0.0000 -
3482.31/3495.01 c 3495 4999189 2395308 1 - 0.0000 -
3487.41/3500.06 c 3500 5006555 2398348 1 - 0.0000 -
3492.39/3505.11 c 3505 5013667 2401817 1 - 0.0000 -
3497.47/3510.16 c 3510 5020675 2405302 1 - 0.0000 -
3502.54/3515.21 c 3515 5027744 2408352 1 - 0.0000 -
3507.52/3520.26 c 3520 5034788 2411739 1 - 0.0000 -
3512.61/3525.31 c 3525 5041950 2414391 1 - 0.0000 -
3517.59/3530.36 c 3530 5049484 2416986 1 - 0.0000 -
3522.67/3535.41 c 3535 5056503 2419987 1 - 0.0000 -
3527.66/3540.46 c 3540 5064269 2423493 1 - 0.0000 -
3532.74/3545.51 c 3546 5072073 2426747 1 - 0.0000 -
3537.72/3550.56 c 3551 5080006 2430013 1 - 0.0000 -
3542.80/3555.61 c 3556 5087343 2432473 1 - 0.0000 -
3547.79/3560.66 c 3561 5094146 2435355 1 - 0.0000 -
3552.87/3565.71 c 3566 5101575 2438242 1 - 0.0000 -
3557.85/3570.76 c 3571 5108698 2440514 1 - 0.0000 -
3562.94/3575.81 c 3576 5115653 2443346 1 - 0.0000 -
3567.92/3580.86 c 3581 5122796 2446335 1 - 0.0000 -
3573.00/3585.91 c 3586 5129970 2449126 1 - 0.0000 -
3577.99/3590.96 c 3591 5137145 2452662 1 - 0.0000 -
3582.96/3596.01 c 3596 5144092 2455594 1 - 0.0000 -
3591.84/3604.88 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.84/3604.88 c Total Time : 3604.8600
3591.84/3604.88 c solving : 3604.8600
3591.84/3604.88 c presolving : 0.0604 (included in solving)
3591.84/3604.88 c B&B Tree :
3591.84/3604.88 c nodes (total) : 1
3591.84/3604.88 c Solution :
3591.84/3604.88 c Solutions found : 0
3591.84/3604.88 c Primal Bound : -
3591.84/3604.88 c Dual Bound : +0.00000000000000e+00
3591.84/3604.88 c Gap : -
3591.84/3604.88 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62824 MiB free)
memory of node 1: 64510 MiB (63088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448150-1721363843/watcher-4448150-1721363843 -o /tmp/evaluation-result-4448150-1721363843/solver-4448150-1721363843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448150-1721363843.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=988485, runsolver pid=988475
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 3.59 4.01 4.09 7/251 988496
/proc/meminfo: memFree=128874692/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=111504 memory=26404 CPUtime=0.1 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 4631 0 0 0 9 1 0 0 20 0 2 0 188543914 114180096 6601 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 27876 6601 2766 3032 0 8143 0
[pid=988485/tid=988496] ppid=988475 vsize=111504 memory=4026531971 CPUtime=0 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 250 0 0 0 0 0 0 0 20 0 2 0 188543923 114180096 6601 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111504 KiB
Current children cumulated memory: 26404 KiB
[startup+0.216098 s]*
/proc/loadavg: 3.59 4.01 4.09 8/254 988499
/proc/meminfo: memFree=128837652/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=120544 memory=36208 CPUtime=0.21 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 7010 0 0 0 19 2 0 0 20 0 3 0 188543914 123437056 9052 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30136 9052 2846 3032 0 12844 0
[pid=988485/tid=988496] ppid=988475 vsize=120544 memory=664970851429515395 CPUtime=0.11 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 2615 0 0 0 10 1 0 0 20 0 3 0 188543923 123437056 9052 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=120544 memory=671 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543926 123437056 9052 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 36208 KiB
[startup+0.315376 s]*
/proc/loadavg: 3.59 4.01 4.09 7/254 988499
/proc/meminfo: memFree=128828724/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=120544 memory=41524 CPUtime=0.3 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 8285 0 0 0 28 2 0 0 20 0 3 0 188543914 123437056 10381 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30136 10381 2926 3032 0 14170 0
[pid=988485/tid=988496] ppid=988475 vsize=120544 memory=-6225773925555682153 CPUtime=0.2 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3894 0 0 0 19 1 0 0 20 0 3 0 188543923 123437056 10447 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=120544 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543926 123437056 10447 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 41524 KiB
[startup+0.700396 s]
/proc/loadavg: 3.59 4.01 4.09 8/254 988499
/proc/meminfo: memFree=128805764/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=120544 memory=44692 CPUtime=0.68 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 9015 0 0 0 65 3 0 0 20 0 3 0 188543914 123437056 11173 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30136 11173 2926 3032 0 15225 0
[pid=988485/tid=988496] ppid=988475 vsize=120544 memory=0 CPUtime=0.57 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 4620 0 0 0 56 1 0 0 20 0 3 0 188543923 123437056 11173 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=120544 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543926 123437056 11173 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 44692 KiB
[startup+1.50042 s]
/proc/loadavg: 3.59 4.01 4.09 7/254 988499
/proc/meminfo: memFree=128787552/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=58884 CPUtime=1.47 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 17868 0 0 0 143 4 0 0 20 0 3 0 188543914 124399616 14721 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 14721 2926 3032 0 18737 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=0 CPUtime=1.37 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 13445 0 0 0 134 3 0 0 20 0 3 0 188543923 124399616 14721 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 14721 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 58884 KiB
[startup+3.11437 s]
/proc/loadavg: 3.63 4.01 4.09 6/254 988549
/proc/meminfo: memFree=128752332/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=62908 CPUtime=3.08 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 19233 0 0 0 304 4 0 0 20 0 3 0 188543914 124399616 15727 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 15727 2926 3032 0 19659 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=0 CPUtime=2.98 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 14809 0 0 0 295 3 0 0 20 0 3 0 188543923 124399616 15727 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=44956 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 15727 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 62908 KiB
[startup+6.30037 s]
/proc/loadavg: 3.63 4.01 4.09 6/254 988549
/proc/meminfo: memFree=128723984/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=74228 CPUtime=6.26 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 29283 0 0 0 621 5 0 0 20 0 3 0 188543914 124399616 18557 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 18557 2926 3032 0 22585 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=0 CPUtime=6.16 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 24838 0 0 0 612 4 0 0 20 0 3 0 188543923 124399616 18557 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=64684 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 18557 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 74228 KiB
[startup+12.7004 s]
/proc/loadavg: 3.66 4.01 4.09 6/254 988645
/proc/meminfo: memFree=128729940/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=76956 CPUtime=12.64 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 45728 0 0 0 1257 7 0 0 20 0 3 0 188543914 124399616 19239 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 19239 2974 3032 0 23065 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=75244 CPUtime=12.53 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 41242 0 0 0 1247 6 0 0 20 0 3 0 188543923 124399616 19239 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 19239 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 76956 KiB
[startup+25.5004 s]
/proc/loadavg: 3.73 4.01 4.09 6/254 988648
/proc/meminfo: memFree=128659864/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=87956 CPUtime=25.4 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 68543 0 0 0 2528 12 0 0 20 0 3 0 188543914 124399616 21989 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 21989 2974 3032 0 26076 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=11464 CPUtime=25.28 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 64006 0 0 0 2518 10 0 0 20 0 3 0 188543923 124399616 21989 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=2632 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 21989 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 87956 KiB
[startup+51.1134 s]
/proc/loadavg: 3.89 4.02 4.09 6/254 988651
/proc/meminfo: memFree=128559240/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=187020 memory=102204 CPUtime=50.92 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 107149 0 0 0 5071 21 0 0 20 0 3 0 188543914 191508480 25551 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 46755 25551 2974 3032 0 30651 0
[pid=988485/tid=988496] ppid=988475 vsize=187020 memory=97488 CPUtime=50.81 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 102537 0 0 0 5061 20 0 0 20 0 3 0 188543923 191508480 25551 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=187020 memory=96328 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 188543926 191508480 25551 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 187020 KiB
Current children cumulated memory: 102204 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.05 4.09 6/254 988659
/proc/meminfo: memFree=128349664/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=188048 memory=147700 CPUtime=101.91 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 156463 0 0 0 10156 35 0 0 20 0 3 0 188543914 192561152 36925 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 47012 36925 2974 3032 0 40601 0
[pid=988485/tid=988496] ppid=988475 vsize=188048 memory=144228 CPUtime=101.8 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 151787 0 0 0 10146 34 0 0 20 0 3 0 188543923 192561152 36925 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=188048 memory=5291976281725439264 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 188543926 192561152 36925 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 188048 KiB
Current children cumulated memory: 147700 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.07 4.10 6/254 988717
/proc/meminfo: memFree=128259968/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=319120 memory=224444 CPUtime=161.66 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 202522 0 0 0 16112 54 0 0 20 0 3 0 188543914 326778880 56111 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 79780 56111 2974 3032 0 59822 0
[pid=988485/tid=988496] ppid=988475 vsize=319120 memory=180704 CPUtime=161.55 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 197812 0 0 0 16102 53 0 0 20 0 3 0 188543923 326778880 56111 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=319120 memory=44240 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 188543926 326778880 56111 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 319120 KiB
Current children cumulated memory: 224444 KiB
################
# More data... #
################
Current children cumulated memory: 3181996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/251 990494
/proc/meminfo: memFree=114501536/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3301576 memory=3235336 CPUtime=3449.83 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3080510 0 0 0 343880 1103 0 0 20 0 3 0 188543914 3380813824 808834 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 825394 808834 2990 3032 0 818089 0
[pid=988485/tid=988496] ppid=988475 vsize=3301576 memory=3122952 CPUtime=3449.39 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3075232 0 0 0 343845 1094 0 0 20 0 3 0 188543923 3380813824 808834 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3301576 memory=16116 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 131 0 0 0 1 4 0 0 20 0 3 0 188543926 3380813824 808834 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3449.83 s
Current children cumulated vsize: 3301576 KiB
Current children cumulated memory: 3235336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.12 6/249 990506
/proc/meminfo: memFree=114262504/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3370196 memory=3284788 CPUtime=3509.62 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3129861 0 0 0 349840 1122 0 0 20 0 3 0 188543914 3451080704 821197 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 842549 821197 2990 3032 0 830413 0
[pid=988485/tid=988496] ppid=988475 vsize=3370196 memory=3231324 CPUtime=3509.17 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3124572 0 0 0 349805 1112 0 0 20 0 3 0 188543923 3451080704 821197 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3370196 memory=3283332 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 133 0 0 0 1 4 0 0 20 0 3 0 188543926 3451080704 821197 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3509.62 s
Current children cumulated vsize: 3370196 KiB
Current children cumulated memory: 3284788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 6/249 990516
/proc/meminfo: memFree=114025600/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3438816 memory=3332008 CPUtime=3569.42 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3180803 0 0 0 355798 1144 0 0 20 0 3 0 188543914 3521347584 833002 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859704 833002 2990 3032 0 841604 0
[pid=988485/tid=988496] ppid=988475 vsize=3438816 memory=3329896 CPUtime=3568.96 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3175503 0 0 0 355762 1134 0 0 20 0 3 0 188543923 3521347584 833002 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3438816 memory=12776 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3521347584 833002 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3569.42 s
Current children cumulated vsize: 3438816 KiB
Current children cumulated memory: 3332008 KiB
[startup+3604.99 s]
# the end of solver process 988485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.23 s, system=11.7947 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.11 6/249 990518
/proc/meminfo: memFree=114018088/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3438816 memory=3333032 CPUtime=3571.12 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3183051 0 0 0 355968 1144 0 0 20 0 3 0 188543914 3521347584 833258 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859704 833258 2990 3032 0 841860 0
[pid=988485/tid=988496] ppid=988475 vsize=3438816 memory=279558348814960 CPUtime=3570.67 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3177751 0 0 0 355933 1134 0 0 20 0 3 0 188543923 3521347584 833258 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3438816 memory=-8549727008118850967 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3521347584 833258 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 3438816 KiB
Current children cumulated memory: 3333032 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.11 6/249 990519
/proc/meminfo: memFree=113970264/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3439844 memory=3344520 CPUtime=3583.85 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3189473 0 0 0 357237 1148 0 0 20 0 3 0 188543914 3522400256 836130 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859961 836130 2990 3032 0 844757 0
[pid=988485/tid=988496] ppid=988475 vsize=3439844 memory=16116 CPUtime=3583.41 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3184173 0 0 0 357202 1139 0 0 20 0 3 0 188543923 3522400256 836130 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3439844 memory=3329896 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3522400256 836130 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 3439844 KiB
Current children cumulated memory: 3344520 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.14 4.12 6/249 990519
/proc/meminfo: memFree=113953476/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3439844 memory=3345040 CPUtime=3587.06 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3194711 0 0 0 357556 1150 0 0 20 0 3 0 188543914 3522400256 836260 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859961 836260 2990 3032 0 844853 0
[pid=988485/tid=988496] ppid=988475 vsize=3439844 memory=6720661034874978925 CPUtime=3586.6 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3190475 0 0 0 357520 1140 0 0 20 0 3 0 188543923 3522400256 836260 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3439844 memory=-8549727008118850967 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3522400256 836260 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 3439844 KiB
Current children cumulated memory: 3345040 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.14 4.12 6/249 990521
/proc/meminfo: memFree=113955940/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3434776 memory=3340100 CPUtime=3590.23 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3470861 0 0 0 357857 1166 0 0 20 0 3 0 188543914 3517210624 835025 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 858694 835025 2990 3032 0 843586 0
[pid=988485/tid=988496] ppid=988475 vsize=3434776 memory=1832 CPUtime=3589.79 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3465559 0 0 0 357822 1157 0 0 20 0 3 0 188543923 3517210624 835025 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3434776 memory=3344964 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3517210624 835025 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 3434776 KiB
Current children cumulated memory: 3340100 KiB
[startup+3604 s]*
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3432720 memory=3338044 CPUtime=3591.05 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3476659 0 0 0 357938 1167 0 0 20 0 3 0 188543914 3515105280 834511 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 858180 834511 2990 3032 0 843072 0
[pid=988485/tid=988496] ppid=988475 vsize=3432720 memory=6720661034874978925 CPUtime=3590.59 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3471382 0 0 0 357902 1157 0 0 20 0 3 0 188543923 3515105280 834511 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3432720 memory=-8549727008118850967 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3515105280 834511 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3591.05 s
Current children cumulated vsize: 3432720 KiB
Current children cumulated memory: 3338044 KiB
[startup+3604.4 s]
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3430664 memory=3335988 CPUtime=3591.43 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3479787 0 0 0 357976 1167 0 0 20 0 3 0 188543914 3512999936 833997 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 857666 833997 2990 3032 0 842558 0
[pid=988485/tid=988496] ppid=988475 vsize=3430664 memory=6720665458640962158 CPUtime=3590.99 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3474485 0 0 0 357941 1158 0 0 20 0 3 0 188543923 3512999936 833997 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3430664 memory=16116 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3512999936 833997 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3591.43 s
Current children cumulated vsize: 3430664 KiB
Current children cumulated memory: 3335988 KiB
[startup+3604.8 s]
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3414216 memory=3319544 CPUtime=3591.84 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3480879 0 0 0 358016 1168 0 0 20 0 3 0 188543914 3496157184 829886 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 853554 829886 2990 3032 0 838446 0
[pid=988485/tid=988496] ppid=988475 vsize=3414216 memory=11464 CPUtime=3591.38 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3475577 0 0 0 357980 1158 0 0 20 0 3 0 188543923 3496157184 829886 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3414216 memory=44240 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3496157184 829886 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 3414216 KiB
Current children cumulated memory: 3319544 KiB
[startup+3604.91 s]*
/proc/loadavg: 4.15 4.13 4.12 5/247 990521
/proc/meminfo: memFree=114664212/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3604.99
CPU time (s): 3592.02
CPU user time (s): 3580.23
CPU system time (s): 11.7947
CPU usage (%): 99.6403
Max. virtual memory (cumulated for all children) (KiB): 3439844
Max. memory (cumulated for all children) (KiB): 3345040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.23
system time used= 11.7947
maximum resident set size= 3345040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3482303
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= 11065
involuntary context switches= 4808
# summary of solver processes directly reported to runsolver:
# pid: 988485
# total CPU time (s): 3592.02
# total CPU user time (s): 3580.23
# total CPU system time (s): 11.7947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8191 second user time and 37.7128 second system time
The end
Begin job on nodeC009 at 2024-07-19 06:37:35
IDJOB=4448150
IDBENCH=160366
IDSOLVER=3064
FILE ID=nodeC009/4448150-1721363843
RUNJOBID= nodeC009-1721363855-988425
SLURM_JOB_ID= 7542791
Free space on /tmp= 723768 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448150-1721363843/watcher-4448150-1721363843 -o /tmp/evaluation-result-4448150-1721363843/solver-4448150-1721363843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448150-1721363843.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=64936885
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1269.880
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1213.689
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1206.785
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1237.026
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1202.653
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1247.940
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1255.045
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1225.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128936564 kB
MemAvailable: 129920940 kB
Buffers: 546764 kB
Cached: 1274400 kB
SwapCached: 0 kB
Active: 1075128 kB
Inactive: 1096496 kB
Active(anon): 1344 kB
Inactive(anon): 386864 kB
Active(file): 1073784 kB
Inactive(file): 709632 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113236 kB
Writeback: 16 kB
AnonPages: 350516 kB
Mapped: 106196 kB
Shmem: 37700 kB
KReclaimable: 81980 kB
Slab: 181752 kB
SReclaimable: 81980 kB
SUnreclaim: 99772 kB
KernelStack: 3664 kB
PageTables: 9464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 660552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC009 at 2024-07-19 07:37:40