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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22274048, getVmSize() = 22274048, SCIPgetMemUsed() = 699169, SCIPgetMemTotal() = 844881, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 15444650, getVmSize() = 24059904, SCIPgetMemUsed() = 901105, SCIPgetMemTotal() = 1475193, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4464023-1722378597
0.00/0.01 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 11
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 11
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 8
0.00/0.01 c logicor : 3
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.12/5.21 c 5 17652 6648 1 - 0.0000 -
10.10/10.25 c 10 52366 16436 1 - 0.0000 -
15.18/15.30 c 15 87590 24163 1 - 0.0000 -
20.16/20.34 c 20 122925 32279 1 - 0.0000 -
25.13/25.39 c 25 158805 40031 1 - 0.0000 -
30.22/30.44 c 30 195160 46291 1 - 0.0000 -
35.19/35.48 c 35 231021 53943 1 - 0.0000 -
40.27/40.53 c 41 266151 62215 1 - 0.0000 -
45.25/45.58 c 46 302270 69322 1 - 0.0000 -
50.33/50.63 c 51 338837 74790 1 - 0.0000 -
55.30/55.68 c 56 375858 80395 1 - 0.0000 -
60.39/60.73 c 61 412996 86409 1 - 0.0000 -
65.36/65.78 c 66 450176 91752 1 - 0.0000 -
70.44/70.83 c 71 486675 96981 1 - 0.0000 -
75.42/75.88 c 76 523903 102397 1 - 0.0000 -
80.50/80.93 c 81 560911 107466 1 - 0.0000 -
85.48/85.98 c 86 597632 112532 1 - 0.0000 -
90.56/91.03 c 91 633502 118166 1 - 0.0000 -
95.55/96.08 c 96 670151 124891 1 - 0.0000 -
100.62/101.13 c 101 707034 129541 1 - 0.0000 -
105.61/106.18 c 106 742908 133568 1 - 0.0000 -
110.68/111.23 c 111 779323 138227 1 - 0.0000 -
115.66/116.28 c 116 815929 142649 1 - 0.0000 -
120.75/121.33 c 121 852532 147610 1 - 0.0000 -
125.73/126.38 c 126 887550 155022 1 - 0.0000 -
130.81/131.42 c 131 923736 160081 1 - 0.0000 -
135.80/136.47 c 136 960019 164634 1 - 0.0000 -
140.88/141.52 c 142 996862 168559 1 - 0.0000 -
145.86/146.57 c 147 1032633 172085 1 - 0.0000 -
150.95/151.62 c 152 1069071 175764 1 - 0.0000 -
155.93/156.67 c 157 1106775 180072 1 - 0.0000 -
161.01/161.72 c 162 1144875 184668 1 - 0.0000 -
166.00/166.77 c 167 1189520 188809 1 - 0.0000 -
171.08/171.82 c 172 1234945 192698 1 - 0.0000 -
176.07/176.87 c 177 1279602 198037 1 - 0.0000 -
181.14/181.92 c 182 1325758 203988 1 - 0.0000 -
186.13/186.97 c 187 1373827 209295 1 - 0.0000 -
191.22/192.02 c 192 1422953 213790 1 - 0.0000 -
196.20/197.07 c 197 1472416 218275 1 - 0.0000 -
201.28/202.12 c 202 1523158 223906 1 - 0.0000 -
206.26/207.17 c 207 1574159 230087 1 - 0.0000 -
211.33/212.22 c 212 1626033 235821 1 - 0.0000 -
216.31/217.27 c 217 1678274 240688 1 - 0.0000 -
221.39/222.32 c 222 1729938 246455 1 - 0.0000 -
226.38/227.37 c 227 1781489 251480 1 - 0.0000 -
231.46/232.42 c 232 1833339 256039 1 - 0.0000 -
236.44/237.47 c 237 1882776 262349 1 - 0.0000 -
241.52/242.52 c 243 1932540 266758 1 - 0.0000 -
246.51/247.57 c 248 1983422 271498 1 - 0.0000 -
251.59/252.62 c 253 2034326 277179 1 - 0.0000 -
256.57/257.67 c 258 2085842 280814 1 - 0.0000 -
261.66/262.72 c 263 2136701 284350 1 - 0.0000 -
266.63/267.77 c 268 2184733 291129 1 - 0.0000 -
271.71/272.82 c 273 2234497 294193 1 - 0.0000 -
276.70/277.87 c 278 2285858 297273 1 - 0.0000 -
281.78/282.92 c 283 2336609 300501 1 - 0.0000 -
286.77/287.97 c 288 2386908 304545 1 - 0.0000 -
291.85/293.02 c 293 2437523 308467 1 - 0.0000 -
296.83/298.07 c 298 2486999 314366 1 - 0.0000 -
301.92/303.12 c 303 2538160 317453 1 - 0.0000 -
306.90/308.17 c 308 2589038 321115 1 - 0.0000 -
311.96/313.22 c 313 2640212 324632 1 - 0.0000 -
316.95/318.27 c 318 2691116 329109 1 - 0.0000 -
322.03/323.32 c 323 2741219 333583 1 - 0.0000 -
327.01/328.37 c 328 2791649 338549 1 - 0.0000 -
332.09/333.42 c 333 2842611 342782 1 - 0.0000 -
337.08/338.47 c 338 2893126 345633 1 - 0.0000 -
342.16/343.52 c 344 2943722 349241 1 - 0.0000 -
347.15/348.57 c 349 2994339 352087 1 - 0.0000 -
352.23/353.62 c 354 3045322 356171 1 - 0.0000 -
357.21/358.67 c 359 3095456 359945 1 - 0.0000 -
362.29/363.72 c 364 3143482 366541 1 - 0.0000 -
367.28/368.77 c 369 3194005 369942 1 - 0.0000 -
372.36/373.82 c 374 3244465 372164 1 - 0.0000 -
377.34/378.87 c 379 3295700 374905 1 - 0.0000 -
382.42/383.92 c 384 3346514 378208 1 - 0.0000 -
387.40/388.97 c 389 3396940 380577 1 - 0.0000 -
392.49/394.02 c 394 3447765 382895 1 - 0.0000 -
397.47/399.07 c 399 3498475 386431 1 - 0.0000 -
402.56/404.12 c 404 3548656 389302 1 - 0.0000 -
407.53/409.17 c 409 3599325 392777 1 - 0.0000 -
412.60/414.22 c 414 3650515 396063 1 - 0.0000 -
417.58/419.27 c 419 3701035 400890 1 - 0.0000 -
422.65/424.32 c 424 3752013 404095 1 - 0.0000 -
427.63/429.37 c 429 3802876 407410 1 - 0.0000 -
432.70/434.42 c 434 3852449 413018 1 - 0.0000 -
437.68/439.47 c 439 3901967 418495 1 - 0.0000 -
442.76/444.52 c 445 3952543 420777 1 - 0.0000 -
447.73/449.57 c 450 4003544 424079 1 - 0.0000 -
452.82/454.62 c 455 4054157 428640 1 - 0.0000 -
457.79/459.67 c 460 4103829 431899 1 - 0.0000 -
462.86/464.72 c 465 4155329 434894 1 - 0.0000 -
467.84/469.77 c 470 4206922 438108 1 - 0.0000 -
472.92/474.82 c 475 4258800 440565 1 - 0.0000 -
477.90/479.87 c 480 4309939 443890 1 - 0.0000 -
482.97/484.92 c 485 4360625 447518 1 - 0.0000 -
487.95/489.97 c 490 4410807 450006 1 - 0.0000 -
493.03/495.02 c 495 4461250 452932 1 - 0.0000 -
498.01/500.07 c 500 4512214 456250 1 - 0.0000 -
503.09/505.12 c 505 4562426 459338 1 - 0.0000 -
508.08/510.17 c 510 4612508 462352 1 - 0.0000 -
513.15/515.22 c 515 4662970 464660 1 - 0.0000 -
518.13/520.27 c 520 4714135 466067 1 - 0.0000 -
523.21/525.32 c 525 4766356 468327 1 - 0.0000 -
528.19/530.37 c 530 4813123 474940 1 - 0.0000 -
533.27/535.42 c 535 4860301 482129 1 - 0.0000 -
538.26/540.47 c 540 4909022 487054 1 - 0.0000 -
543.34/545.52 c 546 4957909 491608 1 - 0.0000 -
548.32/550.57 c 551 5006988 494516 1 - 0.0000 -
553.39/555.62 c 556 5056015 497062 1 - 0.0000 -
558.38/560.67 c 561 5105391 499210 1 - 0.0000 -
563.45/565.72 c 566 5155251 501564 1 - 0.0000 -
568.44/570.77 c 571 5204969 504104 1 - 0.0000 -
573.52/575.82 c 576 5256561 507113 1 - 0.0000 -
578.50/580.87 c 581 5305967 510104 1 - 0.0000 -
583.59/585.92 c 586 5356387 514232 1 - 0.0000 -
588.57/590.97 c 591 5406425 517112 1 - 0.0000 -
593.64/596.02 c 596 5457190 519037 1 - 0.0000 -
598.63/601.07 c 601 5507293 521101 1 - 0.0000 -
603.71/606.12 c 606 5556998 523635 1 - 0.0000 -
608.69/611.17 c 611 5607466 525231 1 - 0.0000 -
613.76/616.22 c 616 5657359 526644 1 - 0.0000 -
618.74/621.27 c 621 5707583 527695 1 - 0.0000 -
623.82/626.32 c 626 5758101 529947 1 - 0.0000 -
628.81/631.37 c 631 5809016 531020 1 - 0.0000 -
633.89/636.42 c 636 5859735 532810 1 - 0.0000 -
638.87/641.47 c 641 5910141 534029 1 - 0.0000 -
643.95/646.52 c 647 5960815 536087 1 - 0.0000 -
648.93/651.57 c 652 6012058 538266 1 - 0.0000 -
654.01/656.62 c 657 6063122 539605 1 - 0.0000 -
658.99/661.67 c 662 6114323 541083 1 - 0.0000 -
664.07/666.72 c 667 6164619 542623 1 - 0.0000 -
669.05/671.77 c 672 6212809 549599 1 - 0.0000 -
674.13/676.82 c 677 6261973 553996 1 - 0.0000 -
679.11/681.87 c 682 6312020 555847 1 - 0.0000 -
684.19/686.92 c 687 6362774 557095 1 - 0.0000 -
689.17/691.97 c 692 6412284 560963 1 - 0.0000 -
694.25/697.02 c 697 6462739 561370 1 - 0.0000 -
699.23/702.07 c 702 6513301 563129 1 - 0.0000 -
704.31/707.12 c 707 6563936 564921 1 - 0.0000 -
709.29/712.17 c 712 6614177 566957 1 - 0.0000 -
714.36/717.22 c 717 6665431 569197 1 - 0.0000 -
719.33/722.27 c 722 6716622 572036 1 - 0.0000 -
724.42/727.32 c 727 6766185 575647 1 - 0.0000 -
729.41/732.37 c 732 6816274 581147 1 - 0.0000 -
734.48/737.42 c 737 6867722 583249 1 - 0.0000 -
739.47/742.47 c 742 6918700 584372 1 - 0.0000 -
744.55/747.52 c 748 6969185 585918 1 - 0.0000 -
749.54/752.57 c 753 7019390 585914 1 - 0.0000 -
754.61/757.62 c 758 7070154 586933 1 - 0.0000 -
759.60/762.67 c 763 7121403 587258 1 - 0.0000 -
764.68/767.72 c 768 7172347 588219 1 - 0.0000 -
769.66/772.77 c 773 7224133 587652 1 - 0.0000 -
774.75/777.82 c 778 7274757 588721 1 - 0.0000 -
779.73/782.87 c 783 7325546 587795 1 - 0.0000 -
784.81/787.92 c 788 7376076 590525 1 - 0.0000 -
789.80/792.97 c 793 7426887 591703 1 - 0.0000 -
794.88/798.02 c 798 7477861 591772 1 - 0.0000 -
799.86/803.07 c 803 7528000 593810 1 - 0.0000 -
804.94/808.12 c 808 7578646 594572 1 - 0.0000 -
809.93/813.17 c 813 7630305 594580 1 - 0.0000 -
815.00/818.22 c 818 7680545 594631 1 - 0.0000 -
819.98/823.27 c 823 7731330 595527 1 - 0.0000 -
825.06/828.32 c 828 7781720 595714 1 - 0.0000 -
830.04/833.37 c 833 7831965 596337 1 - 0.0000 -
835.13/838.42 c 838 7880792 599998 1 - 0.0000 -
840.11/843.47 c 843 7929231 606413 1 - 0.0000 -
845.19/848.53 c 849 7979159 610359 1 - 0.0000 -
850.17/853.57 c 854 8027932 614829 1 - 0.0000 -
855.26/858.62 c 859 8077227 616331 1 - 0.0000 -
860.24/863.67 c 864 8126047 617769 1 - 0.0000 -
865.32/868.72 c 869 8176588 618862 1 - 0.0000 -
870.31/873.77 c 874 8227064 621099 1 - 0.0000 -
875.39/878.82 c 879 8277957 623095 1 - 0.0000 -
880.37/883.87 c 884 8328362 625002 1 - 0.0000 -
885.45/888.92 c 889 8379330 625633 1 - 0.0000 -
890.45/893.97 c 894 8428002 629318 1 - 0.0000 -
895.52/899.02 c 899 8476797 630787 1 - 0.0000 -
900.51/904.07 c 904 8527588 632398 1 - 0.0000 -
905.59/909.12 c 909 8578350 633079 1 - 0.0000 -
910.57/914.17 c 914 8629410 633611 1 - 0.0000 -
915.65/919.22 c 919 8680742 635580 1 - 0.0000 -
920.62/924.27 c 924 8731823 637675 1 - 0.0000 -
925.70/929.32 c 929 8782107 639098 1 - 0.0000 -
930.68/934.37 c 934 8832507 639170 1 - 0.0000 -
935.76/939.42 c 939 8882336 640521 1 - 0.0000 -
940.73/944.47 c 944 8932162 642017 1 - 0.0000 -
945.81/949.52 c 950 8981774 645151 1 - 0.0000 -
950.78/954.57 c 955 9031609 647035 1 - 0.0000 -
955.86/959.62 c 960 9082722 647999 1 - 0.0000 -
960.84/964.67 c 965 9133293 649207 1 - 0.0000 -
965.91/969.72 c 970 9183865 649975 1 - 0.0000 -
970.89/974.77 c 975 9235093 651604 1 - 0.0000 -
975.97/979.82 c 980 9286116 652670 1 - 0.0000 -
980.95/984.87 c 985 9335490 654123 1 - 0.0000 -
986.03/989.92 c 990 9386143 656207 1 - 0.0000 -
991.01/994.97 c 995 9435950 657075 1 - 0.0000 -
996.08/1000.02 c 1000 9486777 658468 1 - 0.0000 -
1001.07/1005.07 c 1005 9536857 658494 1 - 0.0000 -
1006.15/1010.12 c 1010 9587559 660128 1 - 0.0000 -
1011.14/1015.17 c 1015 9636963 662575 1 - 0.0000 -
1016.20/1020.22 c 1020 9686650 662536 1 - 0.0000 -
1021.19/1025.27 c 1025 9736518 662155 1 - 0.0000 -
1026.27/1030.32 c 1030 9787409 661165 1 - 0.0000 -
1031.25/1035.37 c 1035 9839168 658886 1 - 0.0000 -
1036.33/1040.42 c 1040 9890605 659778 1 - 0.0000 -
1041.32/1045.47 c 1045 9941690 660696 1 - 0.0000 -
1046.41/1050.52 c 1051 9993376 660644 1 - 0.0000 -
1051.39/1055.57 c 1056 10044695 659978 1 - 0.0000 -
1056.47/1060.62 c 1061 10095995 657824 1 - 0.0000 -
1061.45/1065.67 c 1066 10147045 658638 1 - 0.0000 -
1066.54/1070.72 c 1071 10198279 657484 1 - 0.0000 -
1071.52/1075.77 c 1076 10250168 657215 1 - 0.0000 -
1076.60/1080.82 c 1081 10301626 657936 1 - 0.0000 -
1081.59/1085.87 c 1086 10353026 657749 1 - 0.0000 -
1086.67/1090.92 c 1091 10404719 656380 1 - 0.0000 -
1091.65/1095.97 c 1096 10456863 656533 1 - 0.0000 -
1096.73/1101.02 c 1101 10508944 656627 1 - 0.0000 -
1101.71/1106.07 c 1106 10560749 657810 1 - 0.0000 -
1106.80/1111.12 c 1111 10611821 658591 1 - 0.0000 -
1111.79/1116.17 c 1116 10662923 658363 1 - 0.0000 -
1116.86/1121.22 c 1121 10709938 665748 1 - 0.0000 -
1121.84/1126.27 c 1126 10758527 672474 1 - 0.0000 -
1126.93/1131.32 c 1131 10808697 676621 1 - 0.0000 -
1131.90/1136.37 c 1136 10859026 680402 1 - 0.0000 -
1136.99/1141.42 c 1141 10909056 683805 1 - 0.0000 -
1141.97/1146.47 c 1146 10959411 685979 1 - 0.0000 -
1147.05/1151.52 c 1152 11010326 688149 1 - 0.0000 -
1152.04/1156.57 c 1157 11061047 688853 1 - 0.0000 -
1157.12/1161.62 c 1162 11111705 690626 1 - 0.0000 -
1162.09/1166.67 c 1167 11161901 691997 1 - 0.0000 -
1167.17/1171.72 c 1172 11213007 692086 1 - 0.0000 -
1172.15/1176.77 c 1177 11264593 691593 1 - 0.0000 -
1177.22/1181.82 c 1182 11316225 691654 1 - 0.0000 -
1182.20/1186.87 c 1187 11368096 692172 1 - 0.0000 -
1187.28/1191.92 c 1192 11420187 693368 1 - 0.0000 -
1192.26/1196.97 c 1197 11471236 694437 1 - 0.0000 -
1197.34/1202.02 c 1202 11522405 693833 1 - 0.0000 -
1202.32/1207.07 c 1207 11573645 692512 1 - 0.0000 -
1207.40/1212.12 c 1212 11624604 691905 1 - 0.0000 -
1212.39/1217.17 c 1217 11675624 691072 1 - 0.0000 -
1217.45/1222.22 c 1222 11726943 690161 1 - 0.0000 -
1222.44/1227.27 c 1227 11779182 689767 1 - 0.0000 -
1227.52/1232.32 c 1232 11830816 688260 1 - 0.0000 -
1232.51/1237.37 c 1237 11881988 687004 1 - 0.0000 -
1237.59/1242.42 c 1242 11932599 688976 1 - 0.0000 -
1242.58/1247.47 c 1247 11983451 688334 1 - 0.0000 -
1247.66/1252.52 c 1253 12034216 689320 1 - 0.0000 -
1252.64/1257.57 c 1258 12085517 690202 1 - 0.0000 -
1257.73/1262.62 c 1263 12136553 688508 1 - 0.0000 -
1262.71/1267.67 c 1268 12188438 687979 1 - 0.0000 -
1267.80/1272.72 c 1273 12239939 688546 1 - 0.0000 -
1272.78/1277.77 c 1278 12290371 687518 1 - 0.0000 -
1277.85/1282.82 c 1283 12342148 686589 1 - 0.0000 -
1282.85/1287.87 c 1288 12394357 686835 1 - 0.0000 -
1287.92/1292.92 c 1293 12445862 686372 1 - 0.0000 -
1292.90/1297.97 c 1298 12496920 686492 1 - 0.0000 -
1297.99/1303.02 c 1303 12548240 686503 1 - 0.0000 -
1302.97/1308.07 c 1308 12599406 686620 1 - 0.0000 -
1308.06/1313.12 c 1313 12651069 686042 1 - 0.0000 -
1313.05/1318.17 c 1318 12702585 684802 1 - 0.0000 -
1318.12/1323.22 c 1323 12753548 684123 1 - 0.0000 -
1323.10/1328.27 c 1328 12801166 689747 1 - 0.0000 -
1328.18/1333.32 c 1333 12850548 689891 1 - 0.0000 -
1333.16/1338.37 c 1338 12900545 690462 1 - 0.0000 -
1338.25/1343.42 c 1343 12950656 691746 1 - 0.0000 -
1343.24/1348.47 c 1348 13000862 693147 1 - 0.0000 -
1348.32/1353.52 c 1354 13050902 692475 1 - 0.0000 -
1353.30/1358.57 c 1359 13101980 691761 1 - 0.0000 -
1358.38/1363.62 c 1364 13152736 691868 1 - 0.0000 -
1363.37/1368.67 c 1369 13202911 691291 1 - 0.0000 -
1368.45/1373.72 c 1374 13252703 691296 1 - 0.0000 -
1373.44/1378.77 c 1379 13303447 691715 1 - 0.0000 -
1378.51/1383.82 c 1384 13348937 701467 1 - 0.0000 -
1383.50/1388.87 c 1389 13397363 706613 1 - 0.0000 -
1388.58/1393.92 c 1394 13446116 711250 1 - 0.0000 -
1393.56/1398.97 c 1399 13494509 714670 1 - 0.0000 -
1398.65/1404.02 c 1404 13542483 718505 1 - 0.0000 -
1403.63/1409.07 c 1409 13589645 722172 1 - 0.0000 -
1408.71/1414.12 c 1414 13636526 727123 1 - 0.0000 -
1413.71/1419.17 c 1419 13684139 727762 1 - 0.0000 -
1418.77/1424.22 c 1424 13731699 729399 1 - 0.0000 -
1423.75/1429.27 c 1429 13779975 730472 1 - 0.0000 -
1428.84/1434.32 c 1434 13828313 731712 1 - 0.0000 -
1433.82/1439.37 c 1439 13876202 732566 1 - 0.0000 -
1438.90/1444.42 c 1444 13924568 732750 1 - 0.0000 -
1443.89/1449.47 c 1449 13973067 733814 1 - 0.0000 -
1448.97/1454.52 c 1455 14020274 735560 1 - 0.0000 -
1453.95/1459.57 c 1460 14069182 737839 1 - 0.0000 -
1459.03/1464.62 c 1465 14118366 737108 1 - 0.0000 -
1464.02/1469.67 c 1470 14166504 737749 1 - 0.0000 -
1469.10/1474.72 c 1475 14214109 736614 1 - 0.0000 -
1474.09/1479.77 c 1480 14262501 736819 1 - 0.0000 -
1479.16/1484.82 c 1485 14310466 736059 1 - 0.0000 -
1484.15/1489.87 c 1490 14358495 741946 1 - 0.0000 -
1489.23/1494.92 c 1495 14408253 744882 1 - 0.0000 -
1494.22/1499.97 c 1500 14458707 747271 1 - 0.0000 -
1499.30/1505.02 c 1505 14509385 747459 1 - 0.0000 -
1504.29/1510.07 c 1510 14559465 747978 1 - 0.0000 -
1509.37/1515.12 c 1515 14609288 747516 1 - 0.0000 -
1514.36/1520.17 c 1520 14659385 747854 1 - 0.0000 -
1519.43/1525.22 c 1525 14709429 747443 1 - 0.0000 -
1524.41/1530.27 c 1530 14758354 748082 1 - 0.0000 -
1529.49/1535.32 c 1535 14807654 749002 1 - 0.0000 -
1534.48/1540.37 c 1540 14857874 749053 1 - 0.0000 -
1539.56/1545.42 c 1545 14908137 750121 1 - 0.0000 -
1544.54/1550.47 c 1550 14956362 753043 1 - 0.0000 -
1549.62/1555.52 c 1556 15005722 752803 1 - 0.0000 -
1554.61/1560.57 c 1561 15054693 754486 1 - 0.0000 -
1559.69/1565.62 c 1566 15103819 757755 1 - 0.0000 -
1564.68/1570.67 c 1571 15154054 758500 1 - 0.0000 -
1569.76/1575.72 c 1576 15204709 758360 1 - 0.0000 -
1574.74/1580.77 c 1581 15255500 757106 1 - 0.0000 -
1579.82/1585.82 c 1586 15306123 756144 1 - 0.0000 -
1584.81/1590.87 c 1591 15356239 755358 1 - 0.0000 -
1589.89/1595.92 c 1596 15406213 754979 1 - 0.0000 -
1594.87/1600.97 c 1601 15456266 754478 1 - 0.0000 -
1599.95/1606.02 c 1606 15506610 755422 1 - 0.0000 -
1604.95/1611.07 c 1611 15556793 757627 1 - 0.0000 -
1610.02/1616.12 c 1616 15605995 757865 1 - 0.0000 -
1615.01/1621.17 c 1621 15654630 758635 1 - 0.0000 -
1620.08/1626.22 c 1626 15704225 757990 1 - 0.0000 -
1625.06/1631.27 c 1631 15754495 758137 1 - 0.0000 -
1630.15/1636.32 c 1636 15804651 757008 1 - 0.0000 -
1635.13/1641.37 c 1641 15854887 756246 1 - 0.0000 -
1640.21/1646.42 c 1646 15905320 755940 1 - 0.0000 -
1645.19/1651.47 c 1651 15954402 757910 1 - 0.0000 -
1650.27/1656.52 c 1657 16003364 757761 1 - 0.0000 -
1655.26/1661.57 c 1662 16052231 760255 1 - 0.0000 -
1660.34/1666.62 c 1667 16103225 760327 1 - 0.0000 -
1665.33/1671.67 c 1672 16153126 759300 1 - 0.0000 -
1670.41/1676.72 c 1677 16203004 758738 1 - 0.0000 -
1675.39/1681.77 c 1682 16251735 762725 1 - 0.0000 -
1680.48/1686.82 c 1687 16302010 763131 1 - 0.0000 -
1685.46/1691.87 c 1692 16352247 762418 1 - 0.0000 -
1690.54/1696.92 c 1697 16401111 762065 1 - 0.0000 -
1695.53/1701.97 c 1702 16449565 762523 1 - 0.0000 -
1700.61/1707.02 c 1707 16498636 763273 1 - 0.0000 -
1705.59/1712.07 c 1712 16548621 763051 1 - 0.0000 -
1710.68/1717.12 c 1717 16598399 763069 1 - 0.0000 -
1715.66/1722.17 c 1722 16648200 762873 1 - 0.0000 -
1720.73/1727.22 c 1727 16697634 762688 1 - 0.0000 -
1725.72/1732.27 c 1732 16748277 761928 1 - 0.0000 -
1730.80/1737.32 c 1737 16798166 762130 1 - 0.0000 -
1735.78/1742.37 c 1742 16847433 762091 1 - 0.0000 -
1740.86/1747.42 c 1747 16897043 761638 1 - 0.0000 -
1745.85/1752.47 c 1752 16946014 765519 1 - 0.0000 -
1750.93/1757.52 c 1758 16996115 766148 1 - 0.0000 -
1755.92/1762.57 c 1763 17047005 767431 1 - 0.0000 -
1761.00/1767.62 c 1768 17097988 766433 1 - 0.0000 -
1765.98/1772.67 c 1773 17147668 766053 1 - 0.0000 -
1771.07/1777.72 c 1778 17198365 765239 1 - 0.0000 -
1776.05/1782.77 c 1783 17248175 766037 1 - 0.0000 -
1781.14/1787.82 c 1788 17296710 765679 1 - 0.0000 -
1786.12/1792.87 c 1793 17346207 764596 1 - 0.0000 -
1791.20/1797.92 c 1798 17396651 764059 1 - 0.0000 -
1796.18/1802.97 c 1803 17446845 763804 1 - 0.0000 -
1801.27/1808.02 c 1808 17497128 762935 1 - 0.0000 -
1806.25/1813.07 c 1813 17547895 762159 1 - 0.0000 -
1811.34/1818.12 c 1818 17598667 761692 1 - 0.0000 -
1816.32/1823.17 c 1823 17650425 762723 1 - 0.0000 -
1821.39/1828.22 c 1828 17700751 761629 1 - 0.0000 -
1826.37/1833.27 c 1833 17750509 761762 1 - 0.0000 -
1831.46/1838.32 c 1838 17801034 762721 1 - 0.0000 -
1836.44/1843.37 c 1843 17851231 762331 1 - 0.0000 -
1841.53/1848.42 c 1848 17901989 763550 1 - 0.0000 -
1846.51/1853.47 c 1853 17952421 763794 1 - 0.0000 -
1851.59/1858.52 c 1859 18003338 763063 1 - 0.0000 -
1856.58/1863.57 c 1864 18054263 761868 1 - 0.0000 -
1861.67/1868.62 c 1869 18103523 763648 1 - 0.0000 -
1866.65/1873.67 c 1874 18151805 764113 1 - 0.0000 -
1871.72/1878.72 c 1879 18202895 763888 1 - 0.0000 -
1876.72/1883.77 c 1884 18253771 763674 1 - 0.0000 -
1881.80/1888.82 c 1889 18304758 763361 1 - 0.0000 -
1886.78/1893.87 c 1894 18355251 762284 1 - 0.0000 -
1891.86/1898.92 c 1899 18406246 761767 1 - 0.0000 -
1896.85/1903.97 c 1904 18456899 761763 1 - 0.0000 -
1901.94/1909.02 c 1909 18507235 761430 1 - 0.0000 -
1906.91/1914.07 c 1914 18557719 761227 1 - 0.0000 -
1912.01/1919.12 c 1919 18607489 761698 1 - 0.0000 -
1916.99/1924.17 c 1924 18658296 762774 1 - 0.0000 -
1922.05/1929.22 c 1929 18708965 762194 1 - 0.0000 -
1927.05/1934.27 c 1934 18759420 761878 1 - 0.0000 -
1932.12/1939.32 c 1939 18811233 762252 1 - 0.0000 -
1937.11/1944.37 c 1944 18860915 762399 1 - 0.0000 -
1942.20/1949.42 c 1949 18911610 761911 1 - 0.0000 -
1947.18/1954.47 c 1954 18960878 761491 1 - 0.0000 -
1952.26/1959.52 c 1960 19011835 762248 1 - 0.0000 -
1957.24/1964.57 c 1965 19062770 762174 1 - 0.0000 -
1962.32/1969.62 c 1970 19113751 761943 1 - 0.0000 -
1967.31/1974.67 c 1975 19165043 760873 1 - 0.0000 -
1972.40/1979.72 c 1980 19216271 760601 1 - 0.0000 -
1977.38/1984.77 c 1985 19267463 761877 1 - 0.0000 -
1982.46/1989.82 c 1990 19317725 765400 1 - 0.0000 -
1987.45/1994.87 c 1995 19369351 765973 1 - 0.0000 -
1992.54/1999.92 c 2000 19420635 766432 1 - 0.0000 -
1997.52/2004.97 c 2005 19471417 765889 1 - 0.0000 -
2002.61/2010.02 c 2010 19521480 765788 1 - 0.0000 -
2007.59/2015.07 c 2015 19572710 764906 1 - 0.0000 -
2012.67/2020.12 c 2020 19623769 765660 1 - 0.0000 -
2017.65/2025.17 c 2025 19674478 765153 1 - 0.0000 -
2022.72/2030.22 c 2030 19724435 766933 1 - 0.0000 -
2027.71/2035.27 c 2035 19774940 766565 1 - 0.0000 -
2032.79/2040.32 c 2040 19825512 765931 1 - 0.0000 -
2037.78/2045.37 c 2045 19874200 767829 1 - 0.0000 -
2042.86/2050.42 c 2050 19922590 768165 1 - 0.0000 -
2047.84/2055.47 c 2055 19972765 767053 1 - 0.0000 -
2052.93/2060.52 c 2061 20023252 767274 1 - 0.0000 -
2057.91/2065.57 c 2066 20073548 769042 1 - 0.0000 -
2063.00/2070.62 c 2071 20124768 768280 1 - 0.0000 -
2067.98/2075.67 c 2076 20175152 768787 1 - 0.0000 -
2073.07/2080.72 c 2081 20224658 769975 1 - 0.0000 -
2078.05/2085.77 c 2086 20271652 775289 1 - 0.0000 -
2083.13/2090.82 c 2091 20319255 776267 1 - 0.0000 -
2088.12/2095.87 c 2096 20367034 775798 1 - 0.0000 -
2093.20/2100.92 c 2101 20415993 774994 1 - 0.0000 -
2098.18/2105.97 c 2106 20465760 776794 1 - 0.0000 -
2103.27/2111.02 c 2111 20515975 776026 1 - 0.0000 -
2108.26/2116.07 c 2116 20565899 774965 1 - 0.0000 -
2113.34/2121.12 c 2121 20616589 776200 1 - 0.0000 -
2118.32/2126.17 c 2126 20666073 775897 1 - 0.0000 -
2123.40/2131.22 c 2131 20716582 774805 1 - 0.0000 -
2128.37/2136.27 c 2136 20766805 774413 1 - 0.0000 -
2133.46/2141.32 c 2141 20816554 774472 1 - 0.0000 -
2138.44/2146.37 c 2146 20864061 775770 1 - 0.0000 -
2143.52/2151.42 c 2151 20914132 774286 1 - 0.0000 -
2148.51/2156.47 c 2156 20962224 775031 1 - 0.0000 -
2153.59/2161.52 c 2162 21011092 776562 1 - 0.0000 -
2158.58/2166.57 c 2167 21061265 775769 1 - 0.0000 -
2163.66/2171.62 c 2172 21111645 775386 1 - 0.0000 -
2168.65/2176.67 c 2177 21162064 775176 1 - 0.0000 -
2173.73/2181.72 c 2182 21210472 779749 1 - 0.0000 -
2178.72/2186.77 c 2187 21259539 784049 1 - 0.0000 -
2183.80/2191.82 c 2192 21309287 786229 1 - 0.0000 -
2188.78/2196.87 c 2197 21359593 786709 1 - 0.0000 -
2193.86/2201.92 c 2202 21410397 785759 1 - 0.0000 -
2198.85/2206.97 c 2207 21461071 785424 1 - 0.0000 -
2203.94/2212.02 c 2212 21511709 786599 1 - 0.0000 -
2208.92/2217.07 c 2217 21563516 785157 1 - 0.0000 -
2214.01/2222.12 c 2222 21613732 784950 1 - 0.0000 -
2218.99/2227.17 c 2227 21663315 784119 1 - 0.0000 -
2224.05/2232.22 c 2232 21713758 784375 1 - 0.0000 -
2229.05/2237.27 c 2237 21763776 784966 1 - 0.0000 -
2234.12/2242.32 c 2242 21814355 786106 1 - 0.0000 -
2239.11/2247.37 c 2247 21862702 785646 1 - 0.0000 -
2244.19/2252.42 c 2252 21912741 785332 1 - 0.0000 -
2249.18/2257.47 c 2257 21962893 783544 1 - 0.0000 -
2254.26/2262.52 c 2263 22011847 783046 1 - 0.0000 -
2259.25/2267.57 c 2268 22061733 783599 1 - 0.0000 -
2264.33/2272.62 c 2273 22112453 784362 1 - 0.0000 -
2269.31/2277.67 c 2278 22161969 783320 1 - 0.0000 -
2274.40/2282.72 c 2283 22211485 785172 1 - 0.0000 -
2279.38/2287.77 c 2288 22261345 785325 1 - 0.0000 -
2284.46/2292.82 c 2293 22312224 784716 1 - 0.0000 -
2289.45/2297.87 c 2298 22362382 784019 1 - 0.0000 -
2294.53/2302.92 c 2303 22413201 784141 1 - 0.0000 -
2299.51/2307.97 c 2308 22463233 784202 1 - 0.0000 -
2304.61/2313.02 c 2313 22513428 782861 1 - 0.0000 -
2309.59/2318.07 c 2318 22563055 782726 1 - 0.0000 -
2314.66/2323.12 c 2323 22611570 785066 1 - 0.0000 -
2319.66/2328.17 c 2328 22660929 786656 1 - 0.0000 -
2324.72/2333.22 c 2333 22710122 785484 1 - 0.0000 -
2329.71/2338.27 c 2338 22759315 785821 1 - 0.0000 -
2334.79/2343.32 c 2343 22807313 787894 1 - 0.0000 -
2339.77/2348.37 c 2348 22856665 786886 1 - 0.0000 -
2344.86/2353.42 c 2353 22907649 789673 1 - 0.0000 -
2349.84/2358.47 c 2358 22959542 789434 1 - 0.0000 -
2354.93/2363.52 c 2364 23009266 791019 1 - 0.0000 -
2359.91/2368.57 c 2369 23059128 792305 1 - 0.0000 -
2364.99/2373.62 c 2374 23110037 790635 1 - 0.0000 -
2369.98/2378.67 c 2379 23160514 790509 1 - 0.0000 -
2375.06/2383.72 c 2384 23211615 788988 1 - 0.0000 -
2380.05/2388.77 c 2389 23261855 787594 1 - 0.0000 -
2385.12/2393.82 c 2394 23311803 788569 1 - 0.0000 -
2390.11/2398.87 c 2399 23361581 789271 1 - 0.0000 -
2395.19/2403.92 c 2404 23410042 788921 1 - 0.0000 -
2400.18/2408.97 c 2409 23459951 788427 1 - 0.0000 -
2405.27/2414.02 c 2414 23509998 788682 1 - 0.0000 -
2410.25/2419.07 c 2419 23560109 788306 1 - 0.0000 -
2415.33/2424.12 c 2424 23610786 787663 1 - 0.0000 -
2420.31/2429.17 c 2429 23661621 787684 1 - 0.0000 -
2425.38/2434.22 c 2434 23711471 786660 1 - 0.0000 -
2430.37/2439.27 c 2439 23761454 786891 1 - 0.0000 -
2435.46/2444.32 c 2444 23810944 789279 1 - 0.0000 -
2440.44/2449.37 c 2449 23861132 789162 1 - 0.0000 -
2445.51/2454.42 c 2454 23910880 788594 1 - 0.0000 -
2450.50/2459.47 c 2459 23960937 787960 1 - 0.0000 -
2455.58/2464.52 c 2465 24010992 787988 1 - 0.0000 -
2460.56/2469.57 c 2470 24061063 787810 1 - 0.0000 -
2465.65/2474.62 c 2475 24111399 787546 1 - 0.0000 -
2470.63/2479.67 c 2480 24161151 786528 1 - 0.0000 -
2475.72/2484.72 c 2485 24211120 784961 1 - 0.0000 -
2480.69/2489.77 c 2490 24261840 784327 1 - 0.0000 -
2485.78/2494.82 c 2495 24312455 782789 1 - 0.0000 -
2490.77/2499.87 c 2500 24362188 781505 1 - 0.0000 -
2495.84/2504.92 c 2505 24410870 783056 1 - 0.0000 -
2500.83/2509.97 c 2510 24458764 783390 1 - 0.0000 -
2505.91/2515.02 c 2515 24508837 782810 1 - 0.0000 -
2510.89/2520.07 c 2520 24558017 783015 1 - 0.0000 -
2515.98/2525.12 c 2525 24608806 780407 1 - 0.0000 -
2520.97/2530.17 c 2530 24659426 779044 1 - 0.0000 -
2526.04/2535.22 c 2535 24709550 778164 1 - 0.0000 -
2531.02/2540.27 c 2540 24761002 777572 1 - 0.0000 -
2536.10/2545.32 c 2545 24811525 776236 1 - 0.0000 -
2541.09/2550.37 c 2550 24861795 774850 1 - 0.0000 -
2546.16/2555.42 c 2555 24912561 774172 1 - 0.0000 -
2551.15/2560.47 c 2560 24962708 773887 1 - 0.0000 -
2556.23/2565.52 c 2566 25012839 772856 1 - 0.0000 -
2561.21/2570.57 c 2571 25062421 771360 1 - 0.0000 -
2566.30/2575.62 c 2576 25112647 770916 1 - 0.0000 -
2571.29/2580.67 c 2581 25162889 770065 1 - 0.0000 -
2576.36/2585.72 c 2586 25212629 769961 1 - 0.0000 -
2581.35/2590.77 c 2591 25262879 769776 1 - 0.0000 -
2586.43/2595.82 c 2596 25313375 768422 1 - 0.0000 -
2591.42/2600.87 c 2601 25362721 767459 1 - 0.0000 -
2596.49/2605.92 c 2606 25412885 767078 1 - 0.0000 -
2601.48/2610.97 c 2611 25462894 765938 1 - 0.0000 -
2606.57/2616.02 c 2616 25511413 766613 1 - 0.0000 -
2611.55/2621.07 c 2621 25560197 766213 1 - 0.0000 -
2616.63/2626.12 c 2626 25609826 764839 1 - 0.0000 -
2621.62/2631.17 c 2631 25660280 765693 1 - 0.0000 -
2626.68/2636.22 c 2636 25710883 763697 1 - 0.0000 -
2631.67/2641.27 c 2641 25761853 762278 1 - 0.0000 -
2636.75/2646.32 c 2646 25812428 763428 1 - 0.0000 -
2641.74/2651.37 c 2651 25864072 763137 1 - 0.0000 -
2646.82/2656.42 c 2656 25914474 761640 1 - 0.0000 -
2651.79/2661.47 c 2661 25964409 761570 1 - 0.0000 -
2656.88/2666.52 c 2667 26014778 761205 1 - 0.0000 -
2661.87/2671.57 c 2672 26065485 761221 1 - 0.0000 -
2666.95/2676.62 c 2677 26116374 761175 1 - 0.0000 -
2671.93/2681.67 c 2682 26167138 760013 1 - 0.0000 -
2677.01/2686.72 c 2687 26216036 760535 1 - 0.0000 -
2681.99/2691.77 c 2692 26266715 760920 1 - 0.0000 -
2687.08/2696.82 c 2697 26317054 760390 1 - 0.0000 -
2692.07/2701.87 c 2702 26368926 762516 1 - 0.0000 -
2697.15/2706.92 c 2707 26420136 761315 1 - 0.0000 -
2702.13/2711.99 c 2712 26470254 761049 1 - 0.0000 -
2707.21/2717.04 c 2717 26519994 761501 1 - 0.0000 -
2712.19/2722.09 c 2722 26568863 762109 1 - 0.0000 -
2717.27/2727.14 c 2727 26619875 761951 1 - 0.0000 -
2722.27/2732.19 c 2732 26670351 760688 1 - 0.0000 -
2727.33/2737.24 c 2737 26720582 760517 1 - 0.0000 -
2732.32/2742.29 c 2742 26769476 759649 1 - 0.0000 -
2737.40/2747.34 c 2747 26819346 758099 1 - 0.0000 -
2742.38/2752.39 c 2752 26869793 755757 1 - 0.0000 -
2747.47/2757.44 c 2757 26920182 753015 1 - 0.0000 -
2752.45/2762.49 c 2762 26970127 751719 1 - 0.0000 -
2757.53/2767.54 c 2768 27020760 749525 1 - 0.0000 -
2762.51/2772.59 c 2773 27068971 751935 1 - 0.0000 -
2767.60/2777.64 c 2778 27117536 752120 1 - 0.0000 -
2772.58/2782.69 c 2783 27166248 753004 1 - 0.0000 -
2777.66/2787.74 c 2788 27216889 752543 1 - 0.0000 -
2782.64/2792.79 c 2793 27266733 750922 1 - 0.0000 -
2787.73/2797.84 c 2798 27316969 750178 1 - 0.0000 -
2792.70/2802.89 c 2803 27367100 749160 1 - 0.0000 -
2797.78/2807.94 c 2808 27417766 749668 1 - 0.0000 -
2802.77/2812.99 c 2813 27468793 750567 1 - 0.0000 -
2807.85/2818.04 c 2818 27519393 749310 1 - 0.0000 -
2812.83/2823.09 c 2823 27569542 748964 1 - 0.0000 -
2817.91/2828.14 c 2828 27620031 749839 1 - 0.0000 -
2822.90/2833.19 c 2833 27671598 749325 1 - 0.0000 -
2827.97/2838.24 c 2838 27722231 748611 1 - 0.0000 -
2832.95/2843.29 c 2843 27773131 748179 1 - 0.0000 -
2838.03/2848.34 c 2848 27820814 748259 1 - 0.0000 -
2843.01/2853.39 c 2853 27870734 747315 1 - 0.0000 -
2848.09/2858.44 c 2858 27920939 745619 1 - 0.0000 -
2853.07/2863.49 c 2863 27969814 746681 1 - 0.0000 -
2858.15/2868.54 c 2869 28016469 747956 1 - 0.0000 -
2863.14/2873.59 c 2874 28063802 747922 1 - 0.0000 -
2868.22/2878.64 c 2879 28113317 746827 1 - 0.0000 -
2873.20/2883.69 c 2884 28162591 746249 1 - 0.0000 -
2878.27/2888.74 c 2889 28211016 746976 1 - 0.0000 -
2883.26/2893.79 c 2894 28260921 750782 1 - 0.0000 -
2888.34/2898.84 c 2899 28310937 753768 1 - 0.0000 -
2893.33/2903.89 c 2904 28361514 754846 1 - 0.0000 -
2898.41/2908.94 c 2909 28411941 755833 1 - 0.0000 -
2903.39/2913.99 c 2914 28462625 756419 1 - 0.0000 -
2908.47/2919.04 c 2919 28513220 755746 1 - 0.0000 -
2913.46/2924.09 c 2924 28563219 755006 1 - 0.0000 -
2918.54/2929.14 c 2929 28613845 754614 1 - 0.0000 -
2923.52/2934.19 c 2934 28664205 752622 1 - 0.0000 -
2928.58/2939.24 c 2939 28715258 752877 1 - 0.0000 -
2933.57/2944.29 c 2944 28765619 751696 1 - 0.0000 -
2938.64/2949.34 c 2949 28815986 750647 1 - 0.0000 -
2943.63/2954.39 c 2954 28866363 749332 1 - 0.0000 -
2948.71/2959.44 c 2959 28916730 747775 1 - 0.0000 -
2953.69/2964.49 c 2964 28965961 747487 1 - 0.0000 -
2958.77/2969.54 c 2970 29013591 752451 1 - 0.0000 -
2963.75/2974.59 c 2975 29062641 755231 1 - 0.0000 -
2968.84/2979.64 c 2980 29111792 756096 1 - 0.0000 -
2973.82/2984.69 c 2985 29161601 756564 1 - 0.0000 -
2978.90/2989.74 c 2990 29210231 758466 1 - 0.0000 -
2983.88/2994.79 c 2995 29259234 759045 1 - 0.0000 -
2988.96/2999.84 c 3000 29308846 757431 1 - 0.0000 -
2993.95/3004.89 c 3005 29358436 754906 1 - 0.0000 -
2999.03/3009.94 c 3010 29406117 754541 1 - 0.0000 -
3004.01/3014.99 c 3015 29456275 752256 1 - 0.0000 -
3009.09/3020.04 c 3020 29506023 750644 1 - 0.0000 -
3014.08/3025.09 c 3025 29556104 749737 1 - 0.0000 -
3019.16/3030.14 c 3030 29604186 749222 1 - 0.0000 -
3024.14/3035.19 c 3035 29654606 748395 1 - 0.0000 -
3029.21/3040.24 c 3040 29704641 747610 1 - 0.0000 -
3034.19/3045.29 c 3045 29755423 749817 1 - 0.0000 -
3039.27/3050.34 c 3050 29806638 750300 1 - 0.0000 -
3044.26/3055.39 c 3055 29858288 748790 1 - 0.0000 -
3049.34/3060.44 c 3060 29908996 747856 1 - 0.0000 -
3054.32/3065.49 c 3065 29958366 747336 1 - 0.0000 -
3059.40/3070.54 c 3071 30007881 747501 1 - 0.0000 -
3064.39/3075.59 c 3076 30057627 747958 1 - 0.0000 -
3069.47/3080.64 c 3081 30105819 747385 1 - 0.0000 -
3074.46/3085.69 c 3086 30155453 747021 1 - 0.0000 -
3079.54/3090.74 c 3091 30205667 745445 1 - 0.0000 -
3084.52/3095.79 c 3096 30254778 746622 1 - 0.0000 -
3089.60/3100.84 c 3101 30304956 747014 1 - 0.0000 -
3094.59/3105.89 c 3106 30355038 746418 1 - 0.0000 -
3099.67/3110.94 c 3111 30405556 744036 1 - 0.0000 -
3104.65/3115.99 c 3116 30456027 742903 1 - 0.0000 -
3109.74/3121.04 c 3121 30507196 742892 1 - 0.0000 -
3114.72/3126.09 c 3126 30557916 743106 1 - 0.0000 -
3119.81/3131.14 c 3131 30608676 741807 1 - 0.0000 -
3124.78/3136.19 c 3136 30659250 741171 1 - 0.0000 -
3129.86/3141.24 c 3141 30709973 740607 1 - 0.0000 -
3134.84/3146.29 c 3146 30759804 739666 1 - 0.0000 -
3139.92/3151.34 c 3151 30810873 738055 1 - 0.0000 -
3144.91/3156.39 c 3156 30860047 740947 1 - 0.0000 -
3149.99/3161.44 c 3161 30909067 743893 1 - 0.0000 -
3154.97/3166.49 c 3166 30959447 742803 1 - 0.0000 -
3160.06/3171.54 c 3172 31008282 742739 1 - 0.0000 -
3165.04/3176.59 c 3177 31057565 741035 1 - 0.0000 -
3170.12/3181.64 c 3182 31106462 740244 1 - 0.0000 -
3175.11/3186.69 c 3187 31153708 746878 1 - 0.0000 -
3180.19/3191.74 c 3192 31202541 750412 1 - 0.0000 -
3185.17/3196.79 c 3197 31252128 753703 1 - 0.0000 -
3190.25/3201.84 c 3202 31301805 755425 1 - 0.0000 -
3195.24/3206.89 c 3207 31351952 757674 1 - 0.0000 -
3200.32/3211.94 c 3212 31402115 759553 1 - 0.0000 -
3205.31/3216.99 c 3217 31451722 761061 1 - 0.0000 -
3210.39/3222.04 c 3222 31500985 762718 1 - 0.0000 -
3215.37/3227.09 c 3227 31551583 762627 1 - 0.0000 -
3220.46/3232.14 c 3232 31601845 760693 1 - 0.0000 -
3225.44/3237.19 c 3237 31651676 760206 1 - 0.0000 -
3230.51/3242.24 c 3242 31702411 759040 1 - 0.0000 -
3235.49/3247.29 c 3247 31752944 757015 1 - 0.0000 -
3240.58/3252.34 c 3252 31803356 755524 1 - 0.0000 -
3245.56/3257.39 c 3257 31853678 755899 1 - 0.0000 -
3250.65/3262.44 c 3262 31903529 755821 1 - 0.0000 -
3255.63/3267.49 c 3267 31953992 755949 1 - 0.0000 -
3260.71/3272.54 c 3273 32004518 754757 1 - 0.0000 -
3265.69/3277.59 c 3278 32054235 753344 1 - 0.0000 -
3270.78/3282.64 c 3283 32104294 753627 1 - 0.0000 -
3275.76/3287.69 c 3288 32155216 751794 1 - 0.0000 -
3280.84/3292.74 c 3293 32206301 751002 1 - 0.0000 -
3285.82/3297.79 c 3298 32255958 750207 1 - 0.0000 -
3290.91/3302.84 c 3303 32306901 748940 1 - 0.0000 -
3295.90/3307.89 c 3308 32356398 747930 1 - 0.0000 -
3300.97/3312.94 c 3313 32406778 746574 1 - 0.0000 -
3305.96/3317.99 c 3318 32457405 747087 1 - 0.0000 -
3311.05/3323.04 c 3323 32505925 748462 1 - 0.0000 -
3316.03/3328.09 c 3328 32554706 749515 1 - 0.0000 -
3321.11/3333.14 c 3333 32603452 748530 1 - 0.0000 -
3326.09/3338.19 c 3338 32653786 748185 1 - 0.0000 -
3331.17/3343.24 c 3343 32704077 746671 1 - 0.0000 -
3336.15/3348.29 c 3348 32753561 745303 1 - 0.0000 -
3341.24/3353.34 c 3353 32802974 746046 1 - 0.0000 -
3346.21/3358.39 c 3358 32850933 748486 1 - 0.0000 -
3351.30/3363.44 c 3363 32902096 747563 1 - 0.0000 -
3356.28/3368.49 c 3368 32953533 745972 1 - 0.0000 -
3361.36/3373.54 c 3374 33004005 744914 1 - 0.0000 -
3366.34/3378.59 c 3379 33054443 744361 1 - 0.0000 -
3371.43/3383.64 c 3384 33101974 749353 1 - 0.0000 -
3376.42/3388.69 c 3389 33150955 751278 1 - 0.0000 -
3381.50/3393.74 c 3394 33200764 751443 1 - 0.0000 -
3386.48/3398.79 c 3399 33250585 749687 1 - 0.0000 -
3391.57/3403.84 c 3404 33300400 747581 1 - 0.0000 -
3396.55/3408.89 c 3409 33351633 746741 1 - 0.0000 -
3401.63/3413.94 c 3414 33402048 746531 1 - 0.0000 -
3406.62/3418.99 c 3419 33451935 745442 1 - 0.0000 -
3411.70/3424.04 c 3424 33499871 747972 1 - 0.0000 -
3416.68/3429.09 c 3429 33548155 747846 1 - 0.0000 -
3421.77/3434.14 c 3434 33598064 745424 1 - 0.0000 -
3426.75/3439.19 c 3439 33646911 746997 1 - 0.0000 -
3431.82/3444.24 c 3444 33695841 746762 1 - 0.0000 -
3436.81/3449.29 c 3449 33746113 747392 1 - 0.0000 -
3441.89/3454.34 c 3454 33795671 746470 1 - 0.0000 -
3446.87/3459.39 c 3459 33845613 745167 1 - 0.0000 -
3451.96/3464.44 c 3464 33896024 743039 1 - 0.0000 -
3456.94/3469.49 c 3469 33945689 741667 1 - 0.0000 -
3462.02/3474.54 c 3475 33994123 741830 1 - 0.0000 -
3467.01/3479.59 c 3480 34042938 742921 1 - 0.0000 -
3472.09/3484.64 c 3485 34092600 741807 1 - 0.0000 -
3477.08/3489.69 c 3490 34143326 740737 1 - 0.0000 -
3482.16/3494.74 c 3495 34193715 740205 1 - 0.0000 -
3487.14/3499.79 c 3500 34241524 743718 1 - 0.0000 -
3492.23/3504.84 c 3505 34289878 747117 1 - 0.0000 -
3497.21/3509.89 c 3510 34338511 749041 1 - 0.0000 -
3502.29/3514.94 c 3515 34387815 748809 1 - 0.0000 -
3507.28/3519.99 c 3520 34437398 747066 1 - 0.0000 -
3512.36/3525.04 c 3525 34486528 747044 1 - 0.0000 -
3517.35/3530.09 c 3530 34535086 746303 1 - 0.0000 -
3522.43/3535.14 c 3535 34584921 744325 1 - 0.0000 -
3527.41/3540.19 c 3540 34634956 743171 1 - 0.0000 -
3532.48/3545.24 c 3545 34683764 741830 1 - 0.0000 -
3537.46/3550.29 c 3550 34733769 740578 1 - 0.0000 -
3542.54/3555.34 c 3555 34782648 741039 1 - 0.0000 -
3547.53/3560.39 c 3560 34830983 741018 1 - 0.0000 -
3552.62/3565.44 c 3565 34880210 739159 1 - 0.0000 -
3557.60/3570.49 c 3570 34930019 737282 1 - 0.0000 -
3562.68/3575.54 c 3576 34979590 736361 1 - 0.0000 -
3567.67/3580.59 c 3581 35028468 738582 1 - 0.0000 -
3572.75/3585.64 c 3586 35077603 739080 1 - 0.0000 -
3577.74/3590.69 c 3591 35128078 736685 1 - 0.0000 -
3582.81/3595.74 c 3596 35176768 735710 1 - 0.0000 -
3587.50/3600.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.50/3600.46 c Total Time : 3600.4600
3587.50/3600.46 c solving : 3600.4600
3587.50/3600.46 c presolving : 0.0092 (included in solving)
3587.50/3600.46 c B&B Tree :
3587.50/3600.46 c nodes (total) : 1
3587.50/3600.46 c Solution :
3587.50/3600.46 c Solutions found : 0
3587.50/3600.46 c Primal Bound : -
3587.50/3600.46 c Dual Bound : +0.00000000000000e+00
3587.50/3600.46 c Gap : -
3587.50/3600.46 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: 64096 MiB (61929 MiB free)
memory of node 1: 64473 MiB (62553 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464023-1722378597/watcher-4464023-1722378597 -o /tmp/evaluation-result-4464023-1722378597/solver-4464023-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464023-1722378597.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=28629, runsolver pid=28626
Current StackSize limit: 8192 KiB
[startup+0.100738 s]*
/proc/loadavg: 0.11 0.12 0.09 5/247 28649
/proc/meminfo: memFree=127459236/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=106508 memory=18816 CPUtime=0.08 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 2077 0 0 0 8 0 0 0 20 0 3 0 4456703 109064192 4704 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26627 4704 2950 3035 0 8217 0
[pid=28629/tid=28632] ppid=28626 vsize=106508 memory=4026532157 CPUtime=0.07 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 937 0 0 0 7 0 0 0 20 0 3 0 4456704 109064192 4704 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=106508 memory=215671374179 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456705 109064192 4704 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 18816 KiB
[startup+0.222736 s]*
/proc/loadavg: 0.11 0.12 0.09 5/247 28654
/proc/meminfo: memFree=127445284/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=106508 memory=22776 CPUtime=0.2 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3118 0 0 0 19 1 0 0 20 0 3 0 4456703 109064192 5694 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26627 5694 2950 3035 0 9215 0
[pid=28629/tid=28632] ppid=28626 vsize=106508 memory=3472328299600544061 CPUtime=0.18 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 1978 0 0 0 17 1 0 0 20 0 3 0 4456704 109064192 5694 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=106508 memory=215671374179 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456705 109064192 5694 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 22776 KiB
[startup+0.311734 s]*
/proc/loadavg: 0.11 0.12 0.09 5/246 28654
/proc/meminfo: memFree=127405860/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=106508 memory=23304 CPUtime=0.27 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3248 0 0 0 26 1 0 0 20 0 3 0 4456703 109064192 5826 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26627 5826 2950 3035 0 9267 0
[pid=28629/tid=28632] ppid=28626 vsize=106508 memory=-5155629106865663109 CPUtime=0.26 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 2108 0 0 0 25 1 0 0 20 0 3 0 4456704 109064192 5826 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=106508 memory=0 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456705 109064192 5826 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 23304 KiB
[startup+0.700268 s]
/proc/loadavg: 0.11 0.12 0.09 5/252 28664
/proc/meminfo: memFree=127396916/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=106508 memory=24360 CPUtime=0.64 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3463 0 0 0 63 1 0 0 20 0 3 0 4456703 109064192 6090 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26627 6090 2950 3035 0 9518 0
[pid=28629/tid=28632] ppid=28626 vsize=106508 memory=0 CPUtime=0.62 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 2323 0 0 0 61 1 0 0 20 0 3 0 4456704 109064192 6090 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=106508 memory=0 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456705 109064192 6090 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 24360 KiB
[startup+1.50033 s]
/proc/loadavg: 0.11 0.12 0.09 4/247 28674
/proc/meminfo: memFree=127361448/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=106508 memory=26856 CPUtime=1.44 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 5793 0 0 0 141 3 0 0 20 0 3 0 4456703 109064192 6714 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26627 6714 2950 3035 0 10276 0
[pid=28629/tid=28632] ppid=28626 vsize=106508 memory=0 CPUtime=1.41 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 4640 0 0 0 139 2 0 0 20 0 3 0 4456704 109064192 6714 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=106508 memory=0 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456705 109064192 6714 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 26856 KiB
[startup+3.11238 s]
/proc/loadavg: 0.50 0.20 0.12 5/253 28713
/proc/meminfo: memFree=127138168/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=106508 memory=29672 CPUtime=3.04 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 7130 0 0 0 301 3 0 0 20 0 3 0 4456703 109064192 7418 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26627 7418 2998 3035 0 10625 0
[pid=28629/tid=28632] ppid=28626 vsize=106508 memory=-5155629106865663109 CPUtime=3.02 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 5974 0 0 0 299 3 0 0 20 0 3 0 4456704 109064192 7418 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=106508 memory=7161130587769614486 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456705 109064192 7418 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 29672 KiB
[startup+6.3003 s]
/proc/loadavg: 0.50 0.20 0.12 5/254 28714
/proc/meminfo: memFree=126928672/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=107088 memory=33596 CPUtime=6.21 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 10410 0 0 0 615 6 0 0 20 0 3 0 4456703 109658112 8399 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 26772 8399 2998 3035 0 11603 0
[pid=28629/tid=28632] ppid=28626 vsize=107088 memory=32960 CPUtime=6.19 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 9231 0 0 0 613 6 0 0 20 0 3 0 4456704 109658112 8399 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=107088 memory=-5155629106865663109 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4456705 109658112 8399 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 107088 KiB
Current children cumulated memory: 33596 KiB
[startup+12.7003 s]
/proc/loadavg: 1.04 0.32 0.16 5/254 28716
/proc/meminfo: memFree=126856932/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=108248 memory=39320 CPUtime=12.59 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 19108 0 0 0 1247 12 0 0 20 0 3 0 4456703 110845952 9830 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 27062 9830 2998 3035 0 13086 0
[pid=28629/tid=28632] ppid=28626 vsize=108248 memory=38784 CPUtime=12.56 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 17897 0 0 0 1245 11 0 0 20 0 3 0 4456704 110845952 9830 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=108248 memory=-7234026217560694910 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4456705 110845952 9830 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 108248 KiB
Current children cumulated memory: 39320 KiB
[startup+25.5004 s]
/proc/loadavg: 1.50 0.44 0.20 5/254 28765
/proc/meminfo: memFree=126899392/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=111148 memory=50420 CPUtime=25.33 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 34516 0 0 0 2511 22 0 0 20 0 3 0 4456703 113815552 12605 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 27787 12605 2998 3035 0 15657 0
[pid=28629/tid=28632] ppid=28626 vsize=111148 memory=49952 CPUtime=25.3 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 33239 0 0 0 2509 21 0 0 20 0 3 0 4456704 113815552 12605 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=111148 memory=48616 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4456705 113815552 12605 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 111148 KiB
Current children cumulated memory: 50420 KiB
[startup+51.1127 s]
/proc/loadavg: 2.43 0.75 0.31 5/255 28827
/proc/meminfo: memFree=126826996/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=121000 memory=72124 CPUtime=50.83 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 64362 0 0 0 5035 48 0 0 20 0 3 0 4456703 123904000 18031 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 30250 18031 2998 3035 0 21392 0
[pid=28629/tid=28632] ppid=28626 vsize=121000 memory=-7234026217560694910 CPUtime=50.81 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 63032 0 0 0 5033 48 0 0 20 0 3 0 4456704 123904000 18031 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=121000 memory=0 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4456705 123904000 18031 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 121000 KiB
Current children cumulated memory: 72124 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.33 0.53 5/253 28882
/proc/meminfo: memFree=125030072/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=133952 memory=106820 CPUtime=101.81 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 120671 0 0 0 10082 99 0 0 20 0 3 0 4456703 137166848 26705 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 33488 26705 2998 3035 0 29805 0
[pid=28629/tid=28632] ppid=28626 vsize=133952 memory=12672 CPUtime=101.78 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 119242 0 0 0 10079 99 0 0 20 0 3 0 4456704 137166848 26705 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=133952 memory=106508 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4456705 137166848 26705 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 133952 KiB
Current children cumulated memory: 106820 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.76 5/255 28944
/proc/meminfo: memFree=125697752/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=214500 memory=143676 CPUtime=161.61 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 181649 0 0 0 16005 156 0 0 20 0 3 0 4456703 219648000 35919 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 53625 35919 2998 3035 0 38857 0
[pid=28629/tid=28632] ppid=28626 vsize=214500 memory=133304 CPUtime=161.57 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 180174 0 0 0 16002 155 0 0 20 0 3 0 4456704 219648000 35919 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=214500 memory=140804 CPUtime=0 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4456705 219648000 35919 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 214500 KiB
################
# More data... #
################
/proc/28629/statm: 225463 204826 2998 3035 0 208062 0
[pid=28629/tid=28632] ppid=28626 vsize=901852 memory=817288 CPUtime=3389.72 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3208708 0 0 0 334964 4008 0 0 20 0 3 0 4456704 923496448 204826 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=901852 memory=817904 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 132 0 0 0 1 3 0 0 20 0 3 0 4456705 923496448 204826 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3390.07 s
Current children cumulated vsize: 901852 KiB
Current children cumulated memory: 819304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/251 30504
/proc/meminfo: memFree=124106720/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=901852 memory=819688 CPUtime=3449.86 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3228967 0 0 0 340907 4079 0 0 20 0 3 0 4456703 923496448 204922 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 225463 204922 2998 3035 0 208158 0
[pid=28629/tid=28632] ppid=28626 vsize=901852 memory=817288 CPUtime=3449.5 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3226185 0 0 0 340877 4073 0 0 20 0 3 0 4456704 923496448 204922 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=901852 memory=11440 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 4456705 923496448 204922 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3449.86 s
Current children cumulated vsize: 901852 KiB
Current children cumulated memory: 819688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/251 30515
/proc/meminfo: memFree=124100976/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=904364 memory=824788 CPUtime=3509.66 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3244615 0 0 0 346822 4144 0 0 20 0 3 0 4456703 926068736 206197 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 226091 206197 2998 3035 0 209419 0
[pid=28629/tid=28632] ppid=28626 vsize=904364 memory=11440 CPUtime=3509.3 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3241810 0 0 0 346792 4138 0 0 20 0 3 0 4456704 926068736 206197 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=904364 memory=824272 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 4456705 926068736 206197 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3509.66 s
Current children cumulated vsize: 904364 KiB
Current children cumulated memory: 824788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/253 30697
/proc/meminfo: memFree=124099920/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=904364 memory=825044 CPUtime=3569.46 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3262956 0 0 0 352734 4212 0 0 20 0 3 0 4456703 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 226091 206261 2998 3035 0 209483 0
[pid=28629/tid=28632] ppid=28626 vsize=904364 memory=824284 CPUtime=3569.1 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3260129 0 0 0 352703 4207 0 0 20 0 3 0 4456704 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=904364 memory=1940 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 138 0 0 0 1 3 0 0 20 0 3 0 4456705 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 904364 KiB
Current children cumulated memory: 825044 KiB
[startup+3600.47 s]
# the end of solver process 28629 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3545.25 s, system=42.3312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.10 5/253 30697
/proc/meminfo: memFree=124099920/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=904364 memory=825044 CPUtime=3571.16 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3263022 0 0 0 352902 4214 0 0 20 0 3 0 4456703 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 226091 206261 2998 3035 0 209483 0
[pid=28629/tid=28632] ppid=28626 vsize=904364 memory=-7017853435446910589 CPUtime=3570.81 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3260195 0 0 0 352872 4209 0 0 20 0 3 0 4456704 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=904364 memory=19296 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 138 0 0 0 1 3 0 0 20 0 3 0 4456705 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 904364 KiB
Current children cumulated memory: 825044 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.16 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=904364 memory=825044 CPUtime=3577.54 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3264137 0 0 0 353532 4222 0 0 20 0 3 0 4456703 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 226091 206261 2998 3035 0 209483 0
[pid=28629/tid=28632] ppid=28626 vsize=904364 memory=825044 CPUtime=3577.17 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3261306 0 0 0 353501 4216 0 0 20 0 3 0 4456704 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=904364 memory=-7234026217560694910 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4456705 926068736 206261 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3577.54 s
Current children cumulated vsize: 904364 KiB
Current children cumulated memory: 825044 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.17 4.10 4/248 30712
/proc/meminfo: memFree=124939196/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=904364 memory=825164 CPUtime=3583.91 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3264748 0 0 0 354162 4229 0 0 20 0 3 0 4456703 926068736 206291 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 226091 206291 2998 3035 0 209787 0
[pid=28629/tid=28632] ppid=28626 vsize=904364 memory=12860 CPUtime=3583.55 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3261917 0 0 0 354132 4223 0 0 20 0 3 0 4456704 926068736 206291 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=904364 memory=825044 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4456705 926068736 206291 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 904364 KiB
Current children cumulated memory: 825164 KiB
[startup+3598.4 s]
/proc/loadavg: 4.22 4.17 4.10 5/253 30796
/proc/meminfo: memFree=124789636/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=902044 memory=822844 CPUtime=3585.5 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3266616 0 0 0 354320 4230 0 0 20 0 3 0 4456703 923693056 205711 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 225511 205711 2998 3035 0 209207 0
[pid=28629/tid=28632] ppid=28626 vsize=902044 memory=25076 CPUtime=3585.14 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3263779 0 0 0 354290 4224 0 0 20 0 3 0 4456704 923693056 205711 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=902044 memory=1940 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4456705 923693056 205711 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3585.5 s
Current children cumulated vsize: 902044 KiB
Current children cumulated memory: 822844 KiB
[startup+3599.2 s]
/proc/loadavg: 4.22 4.17 4.10 5/253 30796
/proc/meminfo: memFree=124789572/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=882712 memory=803512 CPUtime=3586.31 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3270031 0 0 0 354400 4231 0 0 20 0 3 0 4456703 903897088 200878 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 220678 200878 2998 3035 0 204374 0
[pid=28629/tid=28632] ppid=28626 vsize=882712 memory=-7234026217560694910 CPUtime=3585.94 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3267195 0 0 0 354369 4225 0 0 20 0 3 0 4456704 903897088 200878 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=882712 memory=25076 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4456705 903897088 200878 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 882712 KiB
Current children cumulated memory: 803512 KiB
[startup+3600 s]*
/proc/loadavg: 4.22 4.17 4.10 6/248 30808
/proc/meminfo: memFree=125240720/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=802672 memory=723472 CPUtime=3587.11 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3270546 0 0 0 354480 4231 0 0 20 0 3 0 4456703 821936128 180868 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 200668 180868 2998 3035 0 184364 0
[pid=28629/tid=28632] ppid=28626 vsize=801512 memory=-7092161729786896512 CPUtime=3586.74 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3267705 0 0 0 354449 4225 0 0 20 0 3 0 4456704 820748288 180578 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=801512 memory=2276 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 4456705 820748288 180578 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 802672 KiB
Current children cumulated memory: 723472 KiB
[startup+3600.4 s]
/proc/loadavg: 4.22 4.17 4.10 6/248 30808
/proc/meminfo: memFree=125240720/131655788 swapFree=131071996/131071996
[pid=28629] ppid=28626 vsize=692160 memory=610408 CPUtime=3587.5 cores=1,3
/proc/28629/stat : 28629 (fscip) S 28626 28629 28487 0 -1 1077936128 3270615 0 0 0 354518 4232 0 0 20 0 3 0 4456703 708771840 152602 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
/proc/28629/statm: 173040 152602 2998 3035 0 156736 0
[pid=28629/tid=28632] ppid=28626 vsize=691580 memory=19296 CPUtime=3587.14 cores=1,3
/proc/28629/task/28632/stat : 28632 (fscip) R 28626 28629 28487 0 -1 4194368 3267774 0 0 0 354488 4226 0 0 20 0 3 0 4456704 708177920 152457 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
[pid=28629/tid=28635] ppid=28626 vsize=691580 memory=2240 CPUtime=0.04 cores=1,3
/proc/28629/task/28635/stat : 28635 (fscip) S 28626 28629 28487 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 4456705 708177920 152457 134679101440 4194304 16623229 140721190955232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26009600 140721190958102 140721190958218 140721190958218 140721190965232 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 692160 KiB
Current children cumulated memory: 610408 KiB
Child status: 0
Real time (s): 3600.47
CPU time (s): 3587.58
CPU user time (s): 3545.25
CPU system time (s): 42.3312
CPU usage (%): 99.642
Max. virtual memory (cumulated for all children) (KiB): 904364
Max. memory (cumulated for all children) (KiB): 825168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.25
system time used= 42.3312
maximum resident set size= 825168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3270886
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= 11022
involuntary context switches= 3365
# summary of solver processes directly reported to runsolver:
# pid: 28629
# total CPU time (s): 3587.58
# total CPU user time (s): 3545.25
# total CPU system time (s): 42.3312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4208 second user time and 36.2739 second system time
The end
Begin job on nodeC005 at 2024-07-31 00:29:57
IDJOB=4464023
IDBENCH=147576
IDSOLVER=3092
FILE ID=nodeC005/4464023-1722378597
RUNJOBID= nodeC005-1722378594-28500
SLURM_JOB_ID= 8249835
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.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-4464023-1722378597/watcher-4464023-1722378597 -o /tmp/evaluation-result-4464023-1722378597/solver-4464023-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464023-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59
RANDOM SEED=1453536771
nodeC005.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 : 3351.011
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 : 6983.72
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 : 1333.558
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.214
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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
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.37
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 : 1298.941
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 : 6983.72
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 : 3417.188
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.349
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127496768 kB
MemAvailable: 129498216 kB
Buffers: 87220 kB
Cached: 2721876 kB
SwapCached: 0 kB
Active: 262244 kB
Inactive: 3402932 kB
Active(anon): 1468 kB
Inactive(anon): 875928 kB
Active(file): 260776 kB
Inactive(file): 2527004 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117640 kB
Writeback: 8 kB
AnonPages: 856152 kB
Mapped: 111108 kB
Shmem: 21320 kB
KReclaimable: 107732 kB
Slab: 190408 kB
SReclaimable: 107732 kB
SUnreclaim: 82676 kB
KernelStack: 3968 kB
PageTables: 11076 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1117920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7008 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC005 at 2024-07-31 01:29:58