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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22388736, getVmSize() = 22388736, SCIPgetMemUsed() = 766322, SCIPgetMemTotal() = 913202, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15488341, getVmSize() = 24076288, SCIPgetMemUsed() = 898737, SCIPgetMemTotal() = 1492161, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4445240-1721321240
0.00/0.00 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 2
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.07/5.14 c 5 44964 2725 1 - 0.0000 -
10.06/10.19 c 10 79019 6587 1 - 0.0000 -
15.13/15.24 c 15 110033 10577 1 - 0.0000 -
20.11/20.29 c 20 138978 13178 1 - 0.0000 -
25.20/25.34 c 25 167128 15013 1 - 0.0000 -
30.18/30.39 c 30 200318 17575 1 - 0.0000 -
35.25/35.44 c 35 234382 19858 1 - 0.0000 -
40.24/40.49 c 40 262407 21873 1 - 0.0000 -
45.32/45.54 c 46 299761 23431 1 - 0.0000 -
50.30/50.59 c 51 340308 23757 1 - 0.0000 -
55.38/55.64 c 56 375310 23748 1 - 0.0000 -
60.36/60.69 c 61 425229 24824 1 - 0.0000 -
65.44/65.73 c 66 461826 26437 1 - 0.0000 -
70.42/70.78 c 71 502444 28782 1 - 0.0000 -
75.50/75.84 c 76 536150 30641 1 - 0.0000 -
80.49/80.88 c 81 570794 32343 1 - 0.0000 -
85.57/85.93 c 86 604029 34223 1 - 0.0000 -
90.55/90.98 c 91 642949 35844 1 - 0.0000 -
95.64/96.03 c 96 682887 32622 1 - 0.0000 -
100.61/101.08 c 101 716896 34922 1 - 0.0000 -
105.70/106.13 c 106 758988 3661 1 - 0.0000 -
110.68/111.18 c 111 792405 7895 1 - 0.0000 -
115.75/116.23 c 116 836359 2996 1 - 0.0000 -
120.73/121.28 c 121 876220 5215 1 - 0.0000 -
125.82/126.33 c 126 915682 6180 1 - 0.0000 -
130.80/131.38 c 131 961770 8033 1 - 0.0000 -
135.88/136.43 c 136 990782 9760 1 - 0.0000 -
140.87/141.48 c 141 1022918 2465 1 - 0.0000 -
145.94/146.53 c 147 1063530 4439 1 - 0.0000 -
150.92/151.58 c 152 1105928 6613 1 - 0.0000 -
156.01/156.63 c 157 1141570 7921 1 - 0.0000 -
160.98/161.68 c 162 1177153 9679 1 - 0.0000 -
166.07/166.73 c 167 1217137 10953 1 - 0.0000 -
171.05/171.78 c 172 1255241 11843 1 - 0.0000 -
176.13/176.83 c 177 1289306 13247 1 - 0.0000 -
181.12/181.88 c 182 1330245 15424 1 - 0.0000 -
186.19/186.93 c 187 1370514 18009 1 - 0.0000 -
191.17/191.98 c 192 1416624 20680 1 - 0.0000 -
196.26/197.03 c 197 1465522 22552 1 - 0.0000 -
201.24/202.08 c 202 1511726 25115 1 - 0.0000 -
206.33/207.13 c 207 1553826 27124 1 - 0.0000 -
211.31/212.18 c 212 1598523 29037 1 - 0.0000 -
216.38/217.23 c 217 1649210 31251 1 - 0.0000 -
221.37/222.28 c 222 1696365 33439 1 - 0.0000 -
226.45/227.33 c 227 1742705 35803 1 - 0.0000 -
231.43/232.38 c 232 1787893 37517 1 - 0.0000 -
236.51/237.43 c 237 1833841 38937 1 - 0.0000 -
241.49/242.48 c 242 1880355 41067 1 - 0.0000 -
246.57/247.53 c 248 1924681 42701 1 - 0.0000 -
251.55/252.58 c 253 1971891 44482 1 - 0.0000 -
256.64/257.63 c 258 2012460 47785 1 - 0.0000 -
261.62/262.68 c 263 2049207 50506 1 - 0.0000 -
266.70/267.73 c 268 2089752 52818 1 - 0.0000 -
271.69/272.78 c 273 2136885 54614 1 - 0.0000 -
276.76/277.83 c 278 2189656 56715 1 - 0.0000 -
281.75/282.88 c 283 2236834 58704 1 - 0.0000 -
286.83/287.93 c 288 2280442 60900 1 - 0.0000 -
291.81/292.98 c 293 2336001 64635 1 - 0.0000 -
296.89/298.03 c 298 2399069 68321 1 - 0.0000 -
301.87/303.08 c 303 2454713 70687 1 - 0.0000 -
306.96/308.13 c 308 2501352 73232 1 - 0.0000 -
311.94/313.18 c 313 2541828 75286 1 - 0.0000 -
317.01/318.23 c 318 2586680 77047 1 - 0.0000 -
322.00/323.28 c 323 2636040 77961 1 - 0.0000 -
327.08/328.33 c 328 2684193 78855 1 - 0.0000 -
332.06/333.38 c 333 2726089 82055 1 - 0.0000 -
337.14/338.43 c 338 2766631 82645 1 - 0.0000 -
342.12/343.48 c 343 2818533 84394 1 - 0.0000 -
347.21/348.53 c 349 2871924 86190 1 - 0.0000 -
352.19/353.58 c 354 2915910 87765 1 - 0.0000 -
357.27/358.63 c 359 2965677 89069 1 - 0.0000 -
362.26/363.68 c 364 3014511 90553 1 - 0.0000 -
367.34/368.73 c 369 3062992 91750 1 - 0.0000 -
372.32/373.78 c 374 3102763 94042 1 - 0.0000 -
377.40/378.83 c 379 3133546 97018 1 - 0.0000 -
382.38/383.88 c 384 3181284 99926 1 - 0.0000 -
387.46/388.93 c 389 3227142 101286 1 - 0.0000 -
392.45/393.98 c 394 3273679 102825 1 - 0.0000 -
397.53/399.03 c 399 3312512 104327 1 - 0.0000 -
402.51/404.08 c 404 3359822 106462 1 - 0.0000 -
407.59/409.13 c 409 3399084 107707 1 - 0.0000 -
412.58/414.18 c 414 3444183 108720 1 - 0.0000 -
417.65/419.23 c 419 3489681 111274 1 - 0.0000 -
422.64/424.28 c 424 3534228 112881 1 - 0.0000 -
427.72/429.33 c 429 3581047 113581 1 - 0.0000 -
432.70/434.38 c 434 3623730 115126 1 - 0.0000 -
437.78/439.43 c 439 3665218 116175 1 - 0.0000 -
442.76/444.48 c 444 3714627 117664 1 - 0.0000 -
447.84/449.53 c 450 3762903 119410 1 - 0.0000 -
452.83/454.58 c 455 3811550 120589 1 - 0.0000 -
457.91/459.63 c 460 3855168 121516 1 - 0.0000 -
462.89/464.68 c 465 3898116 122236 1 - 0.0000 -
467.97/469.73 c 470 3935439 123919 1 - 0.0000 -
472.95/474.78 c 475 3969897 125395 1 - 0.0000 -
478.04/479.83 c 480 4014930 124881 1 - 0.0000 -
483.02/484.88 c 485 4069731 127004 1 - 0.0000 -
488.10/489.93 c 490 4119941 128097 1 - 0.0000 -
493.08/494.98 c 495 4167730 128565 1 - 0.0000 -
498.17/500.03 c 500 4216658 130373 1 - 0.0000 -
503.15/505.08 c 505 4269502 132163 1 - 0.0000 -
508.23/510.13 c 510 4312035 131169 1 - 0.0000 -
513.21/515.18 c 515 4357235 130116 1 - 0.0000 -
518.29/520.23 c 520 4391818 130017 1 - 0.0000 -
523.27/525.28 c 525 4444142 132045 1 - 0.0000 -
528.35/530.33 c 530 4497564 134232 1 - 0.0000 -
533.34/535.38 c 535 4549352 135677 1 - 0.0000 -
538.42/540.43 c 540 4605320 137296 1 - 0.0000 -
543.40/545.48 c 545 4658611 137477 1 - 0.0000 -
548.48/550.53 c 551 4709209 139377 1 - 0.0000 -
553.47/555.58 c 556 4764367 144431 1 - 0.0000 -
558.54/560.63 c 561 4819470 146008 1 - 0.0000 -
563.53/565.68 c 566 4875163 149274 1 - 0.0000 -
568.61/570.73 c 571 4928597 150845 1 - 0.0000 -
573.59/575.78 c 576 4970677 151017 1 - 0.0000 -
578.67/580.83 c 581 5009965 151283 1 - 0.0000 -
583.65/585.88 c 586 5052630 153472 1 - 0.0000 -
588.74/590.93 c 591 5099780 155822 1 - 0.0000 -
593.72/595.98 c 596 5149870 158468 1 - 0.0000 -
598.80/601.03 c 601 5198295 161205 1 - 0.0000 -
603.78/606.08 c 606 5239949 160128 1 - 0.0000 -
608.87/611.13 c 611 5281896 158492 1 - 0.0000 -
613.85/616.18 c 616 5328182 157734 1 - 0.0000 -
618.93/621.23 c 621 5375016 158517 1 - 0.0000 -
623.91/626.28 c 626 5424040 159493 1 - 0.0000 -
628.99/631.33 c 631 5470900 160651 1 - 0.0000 -
633.97/636.38 c 636 5521661 161519 1 - 0.0000 -
639.06/641.43 c 641 5561250 163275 1 - 0.0000 -
644.03/646.48 c 646 5602304 164629 1 - 0.0000 -
649.12/651.53 c 652 5648569 166875 1 - 0.0000 -
654.10/656.58 c 657 5694643 168202 1 - 0.0000 -
659.19/661.63 c 662 5741838 170664 1 - 0.0000 -
664.17/666.68 c 667 5786748 172736 1 - 0.0000 -
669.25/671.73 c 672 5833881 173779 1 - 0.0000 -
674.23/676.78 c 677 5882755 174767 1 - 0.0000 -
679.31/681.83 c 682 5929876 176013 1 - 0.0000 -
684.29/686.88 c 687 5972450 176800 1 - 0.0000 -
689.37/691.93 c 692 6024616 177785 1 - 0.0000 -
694.36/696.98 c 697 6070202 180731 1 - 0.0000 -
699.44/702.03 c 702 6114074 181091 1 - 0.0000 -
704.42/707.08 c 707 6158433 181793 1 - 0.0000 -
709.51/712.13 c 712 6203840 184790 1 - 0.0000 -
714.48/717.18 c 717 6250359 188169 1 - 0.0000 -
719.56/722.23 c 722 6298043 188699 1 - 0.0000 -
724.55/727.28 c 727 6344513 189079 1 - 0.0000 -
729.63/732.33 c 732 6393273 189268 1 - 0.0000 -
734.61/737.38 c 737 6438349 188618 1 - 0.0000 -
739.69/742.43 c 742 6483172 189188 1 - 0.0000 -
744.67/747.48 c 747 6527445 189864 1 - 0.0000 -
749.75/752.53 c 753 6571174 187928 1 - 0.0000 -
754.73/757.58 c 758 6617156 187867 1 - 0.0000 -
759.82/762.63 c 763 6653320 188823 1 - 0.0000 -
764.80/767.68 c 768 6698200 188820 1 - 0.0000 -
769.88/772.73 c 773 6742015 189961 1 - 0.0000 -
774.86/777.78 c 778 6791300 191166 1 - 0.0000 -
779.94/782.83 c 783 6835940 191991 1 - 0.0000 -
784.93/787.88 c 788 6882612 192787 1 - 0.0000 -
790.01/792.93 c 793 6926614 195409 1 - 0.0000 -
794.99/797.98 c 798 6967625 196318 1 - 0.0000 -
800.07/803.03 c 803 7012452 198115 1 - 0.0000 -
805.06/808.08 c 808 7057548 199259 1 - 0.0000 -
810.14/813.13 c 813 7099053 200228 1 - 0.0000 -
815.12/818.18 c 818 7136641 201476 1 - 0.0000 -
820.20/823.23 c 823 7180860 202055 1 - 0.0000 -
825.18/828.28 c 828 7223974 201383 1 - 0.0000 -
830.26/833.33 c 833 7269642 200725 1 - 0.0000 -
835.24/838.38 c 838 7312684 201467 1 - 0.0000 -
840.33/843.43 c 843 7352376 203325 1 - 0.0000 -
845.31/848.48 c 848 7391804 204189 1 - 0.0000 -
850.39/853.53 c 854 7435374 205749 1 - 0.0000 -
855.37/858.58 c 859 7481630 207627 1 - 0.0000 -
860.46/863.63 c 864 7522608 208793 1 - 0.0000 -
865.44/868.68 c 869 7563090 208535 1 - 0.0000 -
870.52/873.73 c 874 7603219 209360 1 - 0.0000 -
875.50/878.78 c 879 7644532 210775 1 - 0.0000 -
880.59/883.83 c 884 7689762 212699 1 - 0.0000 -
885.57/888.88 c 889 7729992 213841 1 - 0.0000 -
890.65/893.93 c 894 7771892 214799 1 - 0.0000 -
895.63/898.98 c 899 7815408 216375 1 - 0.0000 -
900.72/904.03 c 904 7862373 218256 1 - 0.0000 -
905.70/909.08 c 909 7911365 220102 1 - 0.0000 -
910.78/914.13 c 914 7951813 219690 1 - 0.0000 -
915.77/919.18 c 919 7992941 219068 1 - 0.0000 -
920.84/924.23 c 924 8036953 220644 1 - 0.0000 -
925.82/929.28 c 929 8078934 221891 1 - 0.0000 -
930.90/934.33 c 934 8118254 222611 1 - 0.0000 -
935.88/939.38 c 939 8160529 223292 1 - 0.0000 -
940.97/944.43 c 944 8204283 224586 1 - 0.0000 -
945.95/949.48 c 949 8250071 226188 1 - 0.0000 -
951.03/954.53 c 955 8291259 227436 1 - 0.0000 -
956.01/959.58 c 960 8334104 228647 1 - 0.0000 -
961.10/964.63 c 965 8376094 229075 1 - 0.0000 -
966.08/969.68 c 970 8415159 228704 1 - 0.0000 -
971.16/974.73 c 975 8441365 228718 1 - 0.0000 -
976.14/979.78 c 980 8480025 227048 1 - 0.0000 -
981.22/984.83 c 985 8526927 227874 1 - 0.0000 -
986.21/989.88 c 990 8578449 224093 1 - 0.0000 -
991.29/994.93 c 995 8623081 225593 1 - 0.0000 -
996.27/999.98 c 1000 8670710 226193 1 - 0.0000 -
1001.36/1005.03 c 1005 8714614 226135 1 - 0.0000 -
1006.33/1010.08 c 1010 8757387 225858 1 - 0.0000 -
1011.41/1015.13 c 1015 8800424 224742 1 - 0.0000 -
1016.40/1020.18 c 1020 8850158 225494 1 - 0.0000 -
1021.48/1025.23 c 1025 8891598 224618 1 - 0.0000 -
1026.46/1030.28 c 1030 8936506 224888 1 - 0.0000 -
1031.53/1035.33 c 1035 8978631 225194 1 - 0.0000 -
1036.52/1040.38 c 1040 9019085 225923 1 - 0.0000 -
1041.60/1045.43 c 1045 9066077 222503 1 - 0.0000 -
1046.58/1050.48 c 1050 9117663 220932 1 - 0.0000 -
1051.67/1055.53 c 1056 9162605 216329 1 - 0.0000 -
1056.65/1060.58 c 1061 9218422 216090 1 - 0.0000 -
1061.73/1065.63 c 1066 9261066 215833 1 - 0.0000 -
1066.70/1070.68 c 1071 9324355 215345 1 - 0.0000 -
1071.79/1075.73 c 1076 9373707 214769 1 - 0.0000 -
1076.77/1080.78 c 1081 9423725 212909 1 - 0.0000 -
1081.85/1085.83 c 1086 9474395 212743 1 - 0.0000 -
1086.83/1090.88 c 1091 9522323 209369 1 - 0.0000 -
1091.90/1095.93 c 1096 9582308 206398 1 - 0.0000 -
1096.89/1100.98 c 1101 9638099 191960 1 - 0.0000 -
1101.97/1106.03 c 1106 9686060 178708 1 - 0.0000 -
1106.96/1111.08 c 1111 9734095 171415 1 - 0.0000 -
1112.03/1116.13 c 1116 9780815 169201 1 - 0.0000 -
1117.02/1121.18 c 1121 9828163 167870 1 - 0.0000 -
1122.09/1126.23 c 1126 9871833 166168 1 - 0.0000 -
1127.07/1131.28 c 1131 9917806 164746 1 - 0.0000 -
1132.14/1136.33 c 1136 9965253 165409 1 - 0.0000 -
1137.13/1141.38 c 1141 10008875 161406 1 - 0.0000 -
1142.21/1146.43 c 1146 10052017 159525 1 - 0.0000 -
1147.18/1151.48 c 1151 10097680 155727 1 - 0.0000 -
1152.27/1156.53 c 1157 10142547 150311 1 - 0.0000 -
1157.25/1161.58 c 1162 10187940 151387 1 - 0.0000 -
1162.32/1166.63 c 1167 10238286 151261 1 - 0.0000 -
1167.31/1171.68 c 1172 10280232 152656 1 - 0.0000 -
1172.39/1176.73 c 1177 10324351 154378 1 - 0.0000 -
1177.37/1181.78 c 1182 10372059 152347 1 - 0.0000 -
1182.45/1186.84 c 1187 10413487 154560 1 - 0.0000 -
1187.43/1191.89 c 1192 10457472 158233 1 - 0.0000 -
1192.50/1196.94 c 1197 10514836 155925 1 - 0.0000 -
1197.49/1201.99 c 1202 10564539 157881 1 - 0.0000 -
1202.57/1207.04 c 1207 10615818 157610 1 - 0.0000 -
1207.55/1212.09 c 1212 10664331 158655 1 - 0.0000 -
1212.64/1217.14 c 1217 10714547 159562 1 - 0.0000 -
1217.61/1222.19 c 1222 10764086 159781 1 - 0.0000 -
1222.68/1227.24 c 1227 10813213 159741 1 - 0.0000 -
1227.77/1232.30 c 1232 10862370 160889 1 - 0.0000 -
1232.75/1237.34 c 1237 10917652 161288 1 - 0.0000 -
1237.73/1242.39 c 1242 10965775 164540 1 - 0.0000 -
1242.81/1247.44 c 1247 11017865 165712 1 - 0.0000 -
1247.80/1252.49 c 1252 11067042 166145 1 - 0.0000 -
1252.88/1257.54 c 1258 11114441 166953 1 - 0.0000 -
1257.86/1262.59 c 1263 11165220 166841 1 - 0.0000 -
1262.94/1267.64 c 1268 11217292 166066 1 - 0.0000 -
1267.93/1272.69 c 1273 11266889 166076 1 - 0.0000 -
1273.01/1277.74 c 1278 11315342 164918 1 - 0.0000 -
1277.99/1282.79 c 1283 11361231 163575 1 - 0.0000 -
1283.07/1287.84 c 1288 11408344 161043 1 - 0.0000 -
1288.05/1292.89 c 1293 11460296 155607 1 - 0.0000 -
1293.13/1297.95 c 1298 11521148 93730 1 - 0.0000 -
1298.11/1302.99 c 1303 11560481 65844 1 - 0.0000 -
1303.20/1308.04 c 1308 11613338 68629 1 - 0.0000 -
1308.18/1313.09 c 1313 11665865 70471 1 - 0.0000 -
1313.25/1318.14 c 1318 11722773 72396 1 - 0.0000 -
1318.24/1323.19 c 1323 11769366 74488 1 - 0.0000 -
1323.32/1328.24 c 1328 11826519 76634 1 - 0.0000 -
1328.30/1333.29 c 1333 11883176 80362 1 - 0.0000 -
1333.38/1338.34 c 1338 11936316 83466 1 - 0.0000 -
1338.37/1343.39 c 1343 11983348 86771 1 - 0.0000 -
1343.44/1348.44 c 1348 12034498 89850 1 - 0.0000 -
1348.42/1353.49 c 1354 12084065 93115 1 - 0.0000 -
1353.50/1358.54 c 1359 12144163 96202 1 - 0.0000 -
1358.49/1363.59 c 1364 12191615 98403 1 - 0.0000 -
1363.57/1368.64 c 1369 12240303 101373 1 - 0.0000 -
1368.56/1373.69 c 1374 12299782 105066 1 - 0.0000 -
1373.64/1378.74 c 1379 12355971 108781 1 - 0.0000 -
1378.61/1383.79 c 1384 12400968 111598 1 - 0.0000 -
1383.70/1388.84 c 1389 12444836 112808 1 - 0.0000 -
1388.68/1393.89 c 1394 12490579 116009 1 - 0.0000 -
1393.76/1398.94 c 1399 12537657 117667 1 - 0.0000 -
1398.75/1403.99 c 1404 12583254 120282 1 - 0.0000 -
1403.83/1409.04 c 1409 12630364 121962 1 - 0.0000 -
1408.82/1414.09 c 1414 12678466 123652 1 - 0.0000 -
1413.90/1419.14 c 1419 12724608 125158 1 - 0.0000 -
1418.88/1424.19 c 1424 12765825 128269 1 - 0.0000 -
1423.95/1429.24 c 1429 12806226 134328 1 - 0.0000 -
1428.94/1434.29 c 1434 12851899 138411 1 - 0.0000 -
1434.02/1439.34 c 1439 12896620 140426 1 - 0.0000 -
1439.00/1444.39 c 1444 12943826 138648 1 - 0.0000 -
1444.08/1449.44 c 1449 12989108 141006 1 - 0.0000 -
1449.06/1454.49 c 1454 13041595 144529 1 - 0.0000 -
1454.15/1459.54 c 1460 13093141 146979 1 - 0.0000 -
1459.13/1464.59 c 1465 13147245 151179 1 - 0.0000 -
1464.21/1469.64 c 1470 13197275 152277 1 - 0.0000 -
1469.19/1474.69 c 1475 13244371 154247 1 - 0.0000 -
1474.27/1479.74 c 1480 13288718 156918 1 - 0.0000 -
1479.26/1484.79 c 1485 13336454 158524 1 - 0.0000 -
1484.34/1489.84 c 1490 13388777 161429 1 - 0.0000 -
1489.32/1494.89 c 1495 13435519 163685 1 - 0.0000 -
1494.40/1499.94 c 1500 13483207 166093 1 - 0.0000 -
1499.39/1504.99 c 1505 13527287 168355 1 - 0.0000 -
1504.47/1510.04 c 1510 13567789 171129 1 - 0.0000 -
1509.45/1515.09 c 1515 13618441 173563 1 - 0.0000 -
1514.54/1520.14 c 1520 13670423 175110 1 - 0.0000 -
1519.52/1525.19 c 1525 13734467 176485 1 - 0.0000 -
1524.60/1530.24 c 1530 13784912 178545 1 - 0.0000 -
1529.58/1535.29 c 1535 13832764 180577 1 - 0.0000 -
1534.66/1540.34 c 1540 13878770 182526 1 - 0.0000 -
1539.64/1545.39 c 1545 13925464 184707 1 - 0.0000 -
1544.72/1550.44 c 1550 13970034 186454 1 - 0.0000 -
1549.71/1555.49 c 1556 14013282 188490 1 - 0.0000 -
1554.79/1560.54 c 1561 14060104 190697 1 - 0.0000 -
1559.77/1565.59 c 1566 14105176 193004 1 - 0.0000 -
1564.86/1570.64 c 1571 14151667 195174 1 - 0.0000 -
1569.84/1575.69 c 1576 14194870 196722 1 - 0.0000 -
1574.91/1580.74 c 1581 14240141 199181 1 - 0.0000 -
1579.90/1585.79 c 1586 14287001 201550 1 - 0.0000 -
1584.98/1590.84 c 1591 14330693 203456 1 - 0.0000 -
1589.96/1595.89 c 1596 14380073 205317 1 - 0.0000 -
1595.05/1600.94 c 1601 14427069 207035 1 - 0.0000 -
1600.03/1605.99 c 1606 14480192 207325 1 - 0.0000 -
1605.12/1611.04 c 1611 14527115 206950 1 - 0.0000 -
1610.10/1616.09 c 1616 14577595 206545 1 - 0.0000 -
1615.18/1621.14 c 1621 14623336 206515 1 - 0.0000 -
1620.16/1626.19 c 1626 14667320 208748 1 - 0.0000 -
1625.24/1631.24 c 1631 14722440 210660 1 - 0.0000 -
1630.22/1636.29 c 1636 14767257 211525 1 - 0.0000 -
1635.31/1641.34 c 1641 14808446 212129 1 - 0.0000 -
1640.29/1646.39 c 1646 14850582 213023 1 - 0.0000 -
1645.37/1651.44 c 1651 14891763 213816 1 - 0.0000 -
1650.35/1656.49 c 1656 14935268 214299 1 - 0.0000 -
1655.43/1661.54 c 1662 14983975 214382 1 - 0.0000 -
1660.42/1666.59 c 1667 15030394 213879 1 - 0.0000 -
1665.49/1671.64 c 1672 15074500 215164 1 - 0.0000 -
1670.47/1676.69 c 1677 15118263 216346 1 - 0.0000 -
1675.56/1681.74 c 1682 15169168 218139 1 - 0.0000 -
1680.54/1686.79 c 1687 15217641 219899 1 - 0.0000 -
1685.63/1691.84 c 1692 15265004 221712 1 - 0.0000 -
1690.61/1696.89 c 1697 15307331 222832 1 - 0.0000 -
1695.69/1701.94 c 1702 15354843 224605 1 - 0.0000 -
1700.67/1706.99 c 1707 15400063 227615 1 - 0.0000 -
1705.76/1712.04 c 1712 15435834 229844 1 - 0.0000 -
1710.74/1717.09 c 1717 15470586 231110 1 - 0.0000 -
1715.82/1722.14 c 1722 15518684 233636 1 - 0.0000 -
1720.81/1727.19 c 1727 15571521 235167 1 - 0.0000 -
1725.88/1732.24 c 1732 15623741 236673 1 - 0.0000 -
1730.87/1737.29 c 1737 15670198 239164 1 - 0.0000 -
1735.94/1742.34 c 1742 15716322 240024 1 - 0.0000 -
1740.93/1747.39 c 1747 15763878 241118 1 - 0.0000 -
1746.01/1752.44 c 1752 15822869 242907 1 - 0.0000 -
1751.00/1757.49 c 1758 15882257 244469 1 - 0.0000 -
1756.08/1762.54 c 1763 15937550 245982 1 - 0.0000 -
1761.06/1767.59 c 1768 15977859 33058 1 - 0.0000 -
1766.14/1772.64 c 1773 16013292 38744 1 - 0.0000 -
1771.12/1777.69 c 1778 16048921 43019 1 - 0.0000 -
1776.21/1782.74 c 1783 16087194 47194 1 - 0.0000 -
1781.18/1787.79 c 1788 16123088 50010 1 - 0.0000 -
1786.27/1792.84 c 1793 16153718 51943 1 - 0.0000 -
1791.25/1797.89 c 1798 16190179 53106 1 - 0.0000 -
1796.33/1802.94 c 1803 16219975 54120 1 - 0.0000 -
1801.31/1807.99 c 1808 16247854 55826 1 - 0.0000 -
1806.40/1813.04 c 1813 16282067 59966 1 - 0.0000 -
1811.37/1818.09 c 1818 16327940 62233 1 - 0.0000 -
1816.45/1823.14 c 1823 16371128 63740 1 - 0.0000 -
1821.53/1828.20 c 1828 16414994 64550 1 - 0.0000 -
1826.52/1833.25 c 1833 16454782 67751 1 - 0.0000 -
1831.60/1838.30 c 1838 16494134 71183 1 - 0.0000 -
1836.57/1843.37 c 1843 16542735 76506 1 - 0.0000 -
1841.65/1848.42 c 1848 16582868 79505 1 - 0.0000 -
1846.64/1853.47 c 1853 16625653 83688 1 - 0.0000 -
1851.72/1858.52 c 1859 16673492 87724 1 - 0.0000 -
1856.71/1863.57 c 1864 16723528 91109 1 - 0.0000 -
1861.79/1868.62 c 1869 16769883 94625 1 - 0.0000 -
1866.77/1873.67 c 1874 16823577 97918 1 - 0.0000 -
1871.85/1878.72 c 1879 16869715 99994 1 - 0.0000 -
1876.83/1883.77 c 1884 16915639 102458 1 - 0.0000 -
1881.92/1888.82 c 1889 16964524 105130 1 - 0.0000 -
1886.89/1893.88 c 1894 17025229 106117 1 - 0.0000 -
1891.98/1898.94 c 1899 17068110 74970 1 - 0.0000 -
1896.95/1903.98 c 1904 17110113 77819 1 - 0.0000 -
1902.04/1909.03 c 1909 17140392 79814 1 - 0.0000 -
1907.02/1914.08 c 1914 17167786 81458 1 - 0.0000 -
1912.11/1919.13 c 1919 17196220 83674 1 - 0.0000 -
1917.08/1924.18 c 1924 17232537 85883 1 - 0.0000 -
1922.16/1929.23 c 1929 17266207 88251 1 - 0.0000 -
1927.15/1934.28 c 1934 17298895 89720 1 - 0.0000 -
1932.23/1939.33 c 1939 17333035 92317 1 - 0.0000 -
1937.21/1944.38 c 1944 17365389 93838 1 - 0.0000 -
1942.29/1949.43 c 1949 17402814 97355 1 - 0.0000 -
1947.28/1954.48 c 1954 17438380 100447 1 - 0.0000 -
1952.36/1959.53 c 1960 17472080 102890 1 - 0.0000 -
1957.34/1964.58 c 1965 17504844 107018 1 - 0.0000 -
1962.42/1969.63 c 1970 17536046 108716 1 - 0.0000 -
1967.41/1974.68 c 1975 17570356 110746 1 - 0.0000 -
1972.49/1979.73 c 1980 17599209 112858 1 - 0.0000 -
1977.47/1984.78 c 1985 17634707 115253 1 - 0.0000 -
1982.55/1989.83 c 1990 17672114 117634 1 - 0.0000 -
1987.54/1994.88 c 1995 17703442 120354 1 - 0.0000 -
1992.61/1999.93 c 2000 17734743 123464 1 - 0.0000 -
1997.59/2004.98 c 2005 17771436 126220 1 - 0.0000 -
2002.68/2010.03 c 2010 17807115 128516 1 - 0.0000 -
2007.66/2015.08 c 2015 17845780 131041 1 - 0.0000 -
2012.75/2020.13 c 2020 17881915 132731 1 - 0.0000 -
2017.73/2025.18 c 2025 17909392 135596 1 - 0.0000 -
2022.80/2030.24 c 2030 17940231 137497 1 - 0.0000 -
2027.78/2035.29 c 2035 17978156 139886 1 - 0.0000 -
2032.87/2040.35 c 2040 18013023 142673 1 - 0.0000 -
2037.85/2045.39 c 2045 18049867 144519 1 - 0.0000 -
2042.93/2050.44 c 2050 18086170 146826 1 - 0.0000 -
2047.92/2055.49 c 2056 18117553 149157 1 - 0.0000 -
2053.00/2060.54 c 2061 18149175 151077 1 - 0.0000 -
2057.97/2065.59 c 2066 18180603 152849 1 - 0.0000 -
2063.05/2070.64 c 2071 18211059 154887 1 - 0.0000 -
2068.04/2075.69 c 2076 18240491 155918 1 - 0.0000 -
2073.12/2080.74 c 2081 18269752 156147 1 - 0.0000 -
2078.10/2085.79 c 2086 18294759 157810 1 - 0.0000 -
2083.18/2090.84 c 2091 18320807 159330 1 - 0.0000 -
2088.17/2095.89 c 2096 18352621 161078 1 - 0.0000 -
2093.25/2100.94 c 2101 18391346 163373 1 - 0.0000 -
2098.23/2105.99 c 2106 18417408 164951 1 - 0.0000 -
2103.32/2111.04 c 2111 18448309 165990 1 - 0.0000 -
2108.29/2116.09 c 2116 18469938 166787 1 - 0.0000 -
2113.38/2121.14 c 2121 18494055 167868 1 - 0.0000 -
2118.36/2126.19 c 2126 18513344 168839 1 - 0.0000 -
2123.44/2131.24 c 2131 18551341 171514 1 - 0.0000 -
2128.53/2136.30 c 2136 18584559 173966 1 - 0.0000 -
2133.51/2141.35 c 2141 18620520 176979 1 - 0.0000 -
2138.59/2146.40 c 2146 18653683 179716 1 - 0.0000 -
2143.57/2151.45 c 2151 18691178 182247 1 - 0.0000 -
2148.65/2156.51 c 2157 18729370 185375 1 - 0.0000 -
2153.63/2161.55 c 2162 18766380 188239 1 - 0.0000 -
2158.71/2166.60 c 2167 18800873 191442 1 - 0.0000 -
2163.70/2171.65 c 2172 18832362 193773 1 - 0.0000 -
2168.78/2176.70 c 2177 18870109 196928 1 - 0.0000 -
2173.76/2181.75 c 2182 18903239 199680 1 - 0.0000 -
2178.84/2186.80 c 2187 18928312 202195 1 - 0.0000 -
2183.82/2191.85 c 2192 18961342 204105 1 - 0.0000 -
2188.91/2196.90 c 2197 18993100 206333 1 - 0.0000 -
2193.89/2201.95 c 2202 19019501 207866 1 - 0.0000 -
2198.98/2207.00 c 2207 19045613 209822 1 - 0.0000 -
2203.95/2212.05 c 2212 19064550 211839 1 - 0.0000 -
2208.94/2217.10 c 2217 19084933 213616 1 - 0.0000 -
2214.02/2222.15 c 2222 19108409 215667 1 - 0.0000 -
2219.10/2227.22 c 2227 19137515 217943 1 - 0.0000 -
2224.09/2232.26 c 2232 19164688 220354 1 - 0.0000 -
2229.17/2237.31 c 2237 19199157 223209 1 - 0.0000 -
2234.14/2242.36 c 2242 19236911 226221 1 - 0.0000 -
2239.23/2247.41 c 2247 19269930 229318 1 - 0.0000 -
2244.21/2252.46 c 2252 19302348 231934 1 - 0.0000 -
2249.29/2257.51 c 2258 19335069 235187 1 - 0.0000 -
2254.27/2262.56 c 2263 19358094 237288 1 - 0.0000 -
2259.36/2267.61 c 2268 19383264 238180 1 - 0.0000 -
2264.34/2272.66 c 2273 19413617 239871 1 - 0.0000 -
2269.43/2277.71 c 2278 19438792 242762 1 - 0.0000 -
2274.40/2282.76 c 2283 19466675 244157 1 - 0.0000 -
2279.48/2287.81 c 2288 19500143 245793 1 - 0.0000 -
2284.47/2292.86 c 2293 19524388 247808 1 - 0.0000 -
2289.55/2297.91 c 2298 19551734 250628 1 - 0.0000 -
2294.54/2302.97 c 2303 19579606 253180 1 - 0.0000 -
2299.63/2308.01 c 2308 19605270 255172 1 - 0.0000 -
2304.61/2313.06 c 2313 19635613 256235 1 - 0.0000 -
2309.68/2318.11 c 2318 19663728 259512 1 - 0.0000 -
2314.67/2323.16 c 2323 19697700 261402 1 - 0.0000 -
2319.75/2328.21 c 2328 19724883 263613 1 - 0.0000 -
2324.73/2333.26 c 2333 19756380 265544 1 - 0.0000 -
2329.82/2338.32 c 2338 19787724 266970 1 - 0.0000 -
2334.79/2343.37 c 2343 19818397 268979 1 - 0.0000 -
2339.88/2348.42 c 2348 19850020 270843 1 - 0.0000 -
2344.86/2353.47 c 2353 19888251 273417 1 - 0.0000 -
2349.94/2358.52 c 2359 19925963 275984 1 - 0.0000 -
2354.93/2363.57 c 2364 19962560 278907 1 - 0.0000 -
2360.00/2368.62 c 2369 20000247 282622 1 - 0.0000 -
2364.98/2373.67 c 2374 20031612 284411 1 - 0.0000 -
2370.07/2378.72 c 2379 20058485 286152 1 - 0.0000 -
2375.06/2383.77 c 2384 20078848 288031 1 - 0.0000 -
2380.14/2388.82 c 2389 20098937 289886 1 - 0.0000 -
2385.12/2393.87 c 2394 20127622 293397 1 - 0.0000 -
2390.20/2398.92 c 2399 20153806 295317 1 - 0.0000 -
2395.18/2403.97 c 2404 20184113 298872 1 - 0.0000 -
2400.27/2409.02 c 2409 20212570 302671 1 - 0.0000 -
2405.25/2414.07 c 2414 20248128 305658 1 - 0.0000 -
2410.33/2419.12 c 2419 20269399 307179 1 - 0.0000 -
2415.32/2424.17 c 2424 20291719 309105 1 - 0.0000 -
2420.39/2429.22 c 2429 20317727 311553 1 - 0.0000 -
2425.38/2434.27 c 2434 20344359 314391 1 - 0.0000 -
2430.46/2439.32 c 2439 20371619 316631 1 - 0.0000 -
2435.45/2444.37 c 2444 20402226 319596 1 - 0.0000 -
2440.53/2449.42 c 2449 20431474 321136 1 - 0.0000 -
2445.50/2454.47 c 2454 20458707 322588 1 - 0.0000 -
2450.59/2459.52 c 2460 20485247 324336 1 - 0.0000 -
2455.58/2464.57 c 2465 20507276 326905 1 - 0.0000 -
2460.65/2469.63 c 2470 20527596 328435 1 - 0.0000 -
2465.64/2474.68 c 2475 20552967 331974 1 - 0.0000 -
2470.72/2479.73 c 2480 20580382 335165 1 - 0.0000 -
2475.70/2484.78 c 2485 20605483 338728 1 - 0.0000 -
2480.78/2489.83 c 2490 20630174 341669 1 - 0.0000 -
2485.76/2494.88 c 2495 20664489 344217 1 - 0.0000 -
2490.84/2499.93 c 2500 20707925 346959 1 - 0.0000 -
2495.82/2504.98 c 2505 20744987 349429 1 - 0.0000 -
2500.92/2510.03 c 2510 20785163 352261 1 - 0.0000 -
2505.89/2515.08 c 2515 20822185 354533 1 - 0.0000 -
2510.98/2520.13 c 2520 20856396 357310 1 - 0.0000 -
2515.96/2525.18 c 2525 20876754 359360 1 - 0.0000 -
2521.04/2530.23 c 2530 20896397 360903 1 - 0.0000 -
2526.02/2535.28 c 2535 20921311 363175 1 - 0.0000 -
2531.10/2540.33 c 2540 20951204 365672 1 - 0.0000 -
2536.09/2545.38 c 2545 20976544 368317 1 - 0.0000 -
2541.17/2550.43 c 2550 21008578 370949 1 - 0.0000 -
2546.15/2555.48 c 2555 21036058 373721 1 - 0.0000 -
2551.24/2560.53 c 2561 21066539 375760 1 - 0.0000 -
2556.21/2565.59 c 2566 21093404 378323 1 - 0.0000 -
2561.30/2570.64 c 2571 21121970 380179 1 - 0.0000 -
2566.28/2575.69 c 2576 21155508 383147 1 - 0.0000 -
2571.36/2580.74 c 2581 21192224 386117 1 - 0.0000 -
2576.35/2585.79 c 2586 21230292 389437 1 - 0.0000 -
2581.42/2590.84 c 2591 21261544 392534 1 - 0.0000 -
2586.41/2595.89 c 2596 21289411 394519 1 - 0.0000 -
2591.49/2600.94 c 2601 21316948 396682 1 - 0.0000 -
2596.48/2605.99 c 2606 21350596 399696 1 - 0.0000 -
2601.55/2611.06 c 2611 21384097 402581 1 - 0.0000 -
2606.64/2616.11 c 2616 21415598 405599 1 - 0.0000 -
2611.62/2621.16 c 2621 21446418 407785 1 - 0.0000 -
2616.69/2626.21 c 2626 21483315 411172 1 - 0.0000 -
2621.68/2631.26 c 2631 21516906 413398 1 - 0.0000 -
2626.76/2636.31 c 2636 21548625 416078 1 - 0.0000 -
2631.75/2641.36 c 2641 21584177 418829 1 - 0.0000 -
2636.83/2646.41 c 2646 21618387 421213 1 - 0.0000 -
2641.81/2651.46 c 2651 21655168 424254 1 - 0.0000 -
2646.89/2656.51 c 2657 21689171 427877 1 - 0.0000 -
2651.87/2661.56 c 2662 21712825 429989 1 - 0.0000 -
2656.95/2666.62 c 2667 21732767 431981 1 - 0.0000 -
2661.94/2671.67 c 2672 21760363 434877 1 - 0.0000 -
2667.02/2676.72 c 2677 21790957 437581 1 - 0.0000 -
2671.99/2681.77 c 2682 21820146 440182 1 - 0.0000 -
2677.07/2686.82 c 2687 21856617 443022 1 - 0.0000 -
2682.05/2691.87 c 2692 21887305 445257 1 - 0.0000 -
2687.13/2696.92 c 2697 21922499 448766 1 - 0.0000 -
2692.11/2701.97 c 2702 21951767 451506 1 - 0.0000 -
2697.20/2707.02 c 2707 21984657 454279 1 - 0.0000 -
2702.18/2712.07 c 2712 22016177 456872 1 - 0.0000 -
2707.26/2717.12 c 2717 22038528 459103 1 - 0.0000 -
2712.25/2722.17 c 2722 22074625 461332 1 - 0.0000 -
2717.32/2727.22 c 2727 22112894 464731 1 - 0.0000 -
2722.30/2732.27 c 2732 22152831 468206 1 - 0.0000 -
2727.38/2737.32 c 2737 22193130 471425 1 - 0.0000 -
2732.36/2742.37 c 2742 22232344 474751 1 - 0.0000 -
2737.44/2747.42 c 2747 22259849 478324 1 - 0.0000 -
2742.42/2752.47 c 2752 22295282 481455 1 - 0.0000 -
2747.51/2757.52 c 2758 22328340 485057 1 - 0.0000 -
2752.49/2762.57 c 2763 22359860 488325 1 - 0.0000 -
2757.57/2767.62 c 2768 22394478 491581 1 - 0.0000 -
2762.56/2772.67 c 2773 22430267 494310 1 - 0.0000 -
2767.64/2777.72 c 2778 22474610 498503 1 - 0.0000 -
2772.61/2782.77 c 2783 22511687 502556 1 - 0.0000 -
2777.70/2787.84 c 2788 22542381 505564 1 - 0.0000 -
2782.68/2792.88 c 2793 22579419 509716 1 - 0.0000 -
2787.77/2797.94 c 2798 22620610 513859 1 - 0.0000 -
2792.74/2802.99 c 2803 22657174 517505 1 - 0.0000 -
2797.83/2808.04 c 2808 22686118 519497 1 - 0.0000 -
2802.81/2813.09 c 2813 22721798 522617 1 - 0.0000 -
2807.90/2818.14 c 2818 22754947 525530 1 - 0.0000 -
2812.88/2823.19 c 2823 22793708 529407 1 - 0.0000 -
2817.96/2828.24 c 2828 22833338 533033 1 - 0.0000 -
2822.94/2833.29 c 2833 22870477 537102 1 - 0.0000 -
2828.02/2838.34 c 2838 22905519 540354 1 - 0.0000 -
2833.01/2843.39 c 2843 22935561 542164 1 - 0.0000 -
2838.08/2848.44 c 2848 22966139 543610 1 - 0.0000 -
2843.06/2853.49 c 2854 22997684 546993 1 - 0.0000 -
2848.15/2858.54 c 2859 23025912 549401 1 - 0.0000 -
2853.13/2863.59 c 2864 23048314 551388 1 - 0.0000 -
2858.21/2868.64 c 2869 23071036 552952 1 - 0.0000 -
2863.19/2873.69 c 2874 23098317 554443 1 - 0.0000 -
2868.28/2878.74 c 2879 23122911 556247 1 - 0.0000 -
2873.26/2883.79 c 2884 23148958 557716 1 - 0.0000 -
2878.35/2888.84 c 2889 23177595 559751 1 - 0.0000 -
2883.33/2893.89 c 2894 23211898 562226 1 - 0.0000 -
2888.40/2898.94 c 2899 23242819 564327 1 - 0.0000 -
2893.38/2903.99 c 2904 23273363 566394 1 - 0.0000 -
2898.48/2909.04 c 2909 23300443 568966 1 - 0.0000 -
2903.46/2914.09 c 2914 23334129 571039 1 - 0.0000 -
2908.54/2919.14 c 2919 23368303 572553 1 - 0.0000 -
2913.62/2924.21 c 2924 23392102 574734 1 - 0.0000 -
2918.60/2929.25 c 2929 23425138 576088 1 - 0.0000 -
2923.68/2934.30 c 2934 23453471 577699 1 - 0.0000 -
2928.66/2939.35 c 2939 23477633 578983 1 - 0.0000 -
2933.74/2944.40 c 2944 23507341 580537 1 - 0.0000 -
2938.73/2949.45 c 2949 23535701 582358 1 - 0.0000 -
2943.81/2954.50 c 2955 23562803 583851 1 - 0.0000 -
2948.79/2959.55 c 2960 23594634 585271 1 - 0.0000 -
2953.87/2964.60 c 2965 23622527 588381 1 - 0.0000 -
2958.85/2969.65 c 2970 23654105 590109 1 - 0.0000 -
2963.94/2974.70 c 2975 23693433 592520 1 - 0.0000 -
2968.92/2979.75 c 2980 23725271 594660 1 - 0.0000 -
2973.99/2984.80 c 2985 23759130 595553 1 - 0.0000 -
2978.98/2989.85 c 2990 23792353 596732 1 - 0.0000 -
2984.06/2994.90 c 2995 23816039 598480 1 - 0.0000 -
2989.04/2999.95 c 3000 23837327 599710 1 - 0.0000 -
2994.12/3005.00 c 3005 23866154 600949 1 - 0.0000 -
2999.10/3010.05 c 3010 23900385 603476 1 - 0.0000 -
3004.08/3015.10 c 3015 23929664 605333 1 - 0.0000 -
3009.17/3020.15 c 3020 23959894 608047 1 - 0.0000 -
3014.24/3025.21 c 3025 23997200 609812 1 - 0.0000 -
3019.23/3030.26 c 3030 24019282 612400 1 - 0.0000 -
3024.30/3035.32 c 3035 24046899 614729 1 - 0.0000 -
3029.29/3040.37 c 3040 24072318 617226 1 - 0.0000 -
3034.37/3045.42 c 3045 24100403 617825 1 - 0.0000 -
3039.35/3050.47 c 3050 24126804 619650 1 - 0.0000 -
3044.43/3055.52 c 3056 24159109 621735 1 - 0.0000 -
3049.41/3060.57 c 3061 24194442 623438 1 - 0.0000 -
3054.49/3065.62 c 3066 24236651 626383 1 - 0.0000 -
3059.48/3070.67 c 3071 24273859 629183 1 - 0.0000 -
3064.56/3075.72 c 3076 24315571 631617 1 - 0.0000 -
3069.54/3080.77 c 3081 24336045 632611 1 - 0.0000 -
3074.62/3085.82 c 3086 24364737 634121 1 - 0.0000 -
3079.60/3090.87 c 3091 24391895 635909 1 - 0.0000 -
3084.68/3095.92 c 3096 24414167 637127 1 - 0.0000 -
3089.67/3100.97 c 3101 24433754 638870 1 - 0.0000 -
3094.76/3106.05 c 3106 24463772 640802 1 - 0.0000 -
3099.73/3111.10 c 3111 24490173 641933 1 - 0.0000 -
3104.82/3116.15 c 3116 24522873 641833 1 - 0.0000 -
3109.89/3121.20 c 3121 24549453 642761 1 - 0.0000 -
3114.87/3126.25 c 3126 24568665 643625 1 - 0.0000 -
3119.96/3131.30 c 3131 24597701 645231 1 - 0.0000 -
3124.94/3136.35 c 3136 24621254 646628 1 - 0.0000 -
3130.02/3141.40 c 3141 24645090 647006 1 - 0.0000 -
3135.01/3146.45 c 3146 24675563 648609 1 - 0.0000 -
3140.08/3151.50 c 3152 24694158 650024 1 - 0.0000 -
3145.07/3156.55 c 3157 24722536 650588 1 - 0.0000 -
3150.15/3161.60 c 3162 24749781 652557 1 - 0.0000 -
3155.14/3166.65 c 3167 24775489 654181 1 - 0.0000 -
3160.22/3171.70 c 3172 24803275 655599 1 - 0.0000 -
3165.20/3176.75 c 3177 24827798 657794 1 - 0.0000 -
3170.28/3181.80 c 3182 24848692 659156 1 - 0.0000 -
3175.26/3186.85 c 3187 24872938 660786 1 - 0.0000 -
3180.35/3191.90 c 3192 24899726 662412 1 - 0.0000 -
3185.33/3196.95 c 3197 24924185 664789 1 - 0.0000 -
3190.41/3202.00 c 3202 24950557 667873 1 - 0.0000 -
3195.40/3207.05 c 3207 24980531 668291 1 - 0.0000 -
3200.47/3212.10 c 3212 25008861 669011 1 - 0.0000 -
3205.46/3217.15 c 3217 25038630 670090 1 - 0.0000 -
3210.53/3222.21 c 3222 25068900 670803 1 - 0.0000 -
3215.52/3227.26 c 3227 25096205 671972 1 - 0.0000 -
3220.60/3232.31 c 3232 25121461 673573 1 - 0.0000 -
3225.58/3237.36 c 3237 25147363 673622 1 - 0.0000 -
3230.67/3242.41 c 3242 25173747 674439 1 - 0.0000 -
3235.64/3247.46 c 3247 25205354 675212 1 - 0.0000 -
3240.73/3252.51 c 3253 25234771 675954 1 - 0.0000 -
3245.71/3257.56 c 3258 25264941 676876 1 - 0.0000 -
3250.79/3262.61 c 3263 25296206 677717 1 - 0.0000 -
3255.77/3267.66 c 3268 25325330 678811 1 - 0.0000 -
3260.85/3272.71 c 3273 25354080 679948 1 - 0.0000 -
3265.83/3277.77 c 3278 25382016 681186 1 - 0.0000 -
3270.91/3282.82 c 3283 25411144 682442 1 - 0.0000 -
3275.90/3287.87 c 3288 25438120 683926 1 - 0.0000 -
3280.98/3292.92 c 3293 25465750 685180 1 - 0.0000 -
3285.96/3297.97 c 3298 25493321 686453 1 - 0.0000 -
3291.05/3303.02 c 3303 25524522 687846 1 - 0.0000 -
3296.03/3308.07 c 3308 25554531 689447 1 - 0.0000 -
3301.11/3313.12 c 3313 25579326 690900 1 - 0.0000 -
3306.10/3318.17 c 3318 25609565 692289 1 - 0.0000 -
3311.17/3323.22 c 3323 25645765 693833 1 - 0.0000 -
3316.15/3328.27 c 3328 25681290 695401 1 - 0.0000 -
3321.23/3333.32 c 3333 25713081 697670 1 - 0.0000 -
3326.22/3338.37 c 3338 25743645 700060 1 - 0.0000 -
3331.29/3343.42 c 3343 25776823 701712 1 - 0.0000 -
3336.27/3348.47 c 3348 25811045 702824 1 - 0.0000 -
3341.36/3353.52 c 3354 25840714 703285 1 - 0.0000 -
3346.34/3358.57 c 3359 25869407 703982 1 - 0.0000 -
3351.42/3363.62 c 3364 25900395 706084 1 - 0.0000 -
3356.40/3368.67 c 3369 25928668 706651 1 - 0.0000 -
3361.48/3373.72 c 3374 25955946 707958 1 - 0.0000 -
3366.46/3378.77 c 3379 25986411 708930 1 - 0.0000 -
3371.54/3383.82 c 3384 26015783 711927 1 - 0.0000 -
3376.53/3388.87 c 3389 26055803 714529 1 - 0.0000 -
3381.61/3393.92 c 3394 26097590 716682 1 - 0.0000 -
3386.60/3398.97 c 3399 26130665 718710 1 - 0.0000 -
3391.68/3404.02 c 3404 26164409 720700 1 - 0.0000 -
3396.66/3409.07 c 3409 26192972 722341 1 - 0.0000 -
3401.74/3414.12 c 3414 26232100 725549 1 - 0.0000 -
3406.72/3419.17 c 3419 26280332 728691 1 - 0.0000 -
3411.79/3424.22 c 3424 26318516 730638 1 - 0.0000 -
3416.78/3429.27 c 3429 26355889 732131 1 - 0.0000 -
3421.86/3434.32 c 3434 26388209 734405 1 - 0.0000 -
3426.84/3439.37 c 3439 26419470 736701 1 - 0.0000 -
3431.92/3444.42 c 3444 26450724 737703 1 - 0.0000 -
3436.91/3449.47 c 3449 26483799 738648 1 - 0.0000 -
3441.99/3454.52 c 3455 26510628 740369 1 - 0.0000 -
3446.97/3459.57 c 3460 26531402 741751 1 - 0.0000 -
3452.05/3464.62 c 3465 26550594 742169 1 - 0.0000 -
3457.04/3469.67 c 3470 26576141 743346 1 - 0.0000 -
3462.12/3474.72 c 3475 26609685 745882 1 - 0.0000 -
3467.09/3479.78 c 3480 26642450 748349 1 - 0.0000 -
3472.18/3484.83 c 3485 26674298 749846 1 - 0.0000 -
3477.17/3489.88 c 3490 26704796 751072 1 - 0.0000 -
3482.24/3494.93 c 3495 26738010 751428 1 - 0.0000 -
3487.22/3499.98 c 3500 26770296 753508 1 - 0.0000 -
3492.31/3505.03 c 3505 26804272 756376 1 - 0.0000 -
3497.29/3510.08 c 3510 26831523 758877 1 - 0.0000 -
3502.37/3515.13 c 3515 26857007 760987 1 - 0.0000 -
3507.35/3520.18 c 3520 26885434 763436 1 - 0.0000 -
3512.44/3525.23 c 3525 26907382 765686 1 - 0.0000 -
3517.41/3530.28 c 3530 26935237 767683 1 - 0.0000 -
3522.49/3535.33 c 3535 26964765 770777 1 - 0.0000 -
3527.47/3540.38 c 3540 26996056 773088 1 - 0.0000 -
3532.56/3545.43 c 3545 27025571 775761 1 - 0.0000 -
3537.54/3550.48 c 3550 27055260 778053 1 - 0.0000 -
3542.63/3555.53 c 3556 27087278 780273 1 - 0.0000 -
3547.60/3560.58 c 3561 27116718 782367 1 - 0.0000 -
3552.69/3565.63 c 3566 27145278 784031 1 - 0.0000 -
3557.67/3570.68 c 3571 27175846 785801 1 - 0.0000 -
3562.75/3575.73 c 3576 27206683 787042 1 - 0.0000 -
3567.73/3580.78 c 3581 27239454 788347 1 - 0.0000 -
3572.82/3585.83 c 3586 27267149 789832 1 - 0.0000 -
3577.79/3590.88 c 3591 27293841 790784 1 - 0.0000 -
3582.88/3595.93 c 3596 27327112 792237 1 - 0.0000 -
3588.16/3601.23 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.16/3601.23 c Total Time : 3601.2400
3588.16/3601.23 c solving : 3601.2400
3588.16/3601.23 c presolving : 0.0017 (included in solving)
3588.16/3601.23 c B&B Tree :
3588.16/3601.23 c nodes (total) : 1
3588.16/3601.23 c Solution :
3588.16/3601.23 c Solutions found : 0
3588.16/3601.23 c Primal Bound : -
3588.16/3601.23 c Dual Bound : +0.00000000000000e+00
3588.16/3601.23 c Gap : -
3588.16/3601.23 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56616 MiB free)
memory of node 1: 64473 MiB (61588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445240-1721321240/watcher-4445240-1721321240 -o /tmp/evaluation-result-4445240-1721321240/solver-4445240-1721321240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007724 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445240-1721321240.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1009977, runsolver pid=1009974
[startup+0.100092 s]*
/proc/loadavg: 4.57 4.33 4.17 5/262 1009980
/proc/meminfo: memFree=121033488/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=106512 memory=19496 CPUtime=0.09 cores=0,2
/proc/1009977/stat : 1009977 (fscip) R 1009974 1009977 1007714 0 -1 1077936128 2267 0 0 0 9 0 0 0 20 0 3 0 184292100 109068288 4874 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26628 4874 2910 3032 0 8287 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=106512 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 1130 0 0 0 9 0 0 0 20 0 3 0 184292101 109068288 4874 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=106512 memory=237146210664 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292101 109068288 4874 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 19496 KiB
[startup+0.205553 s]*
/proc/loadavg: 4.57 4.33 4.17 5/262 1009980
/proc/meminfo: memFree=121032480/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=106512 memory=20024 CPUtime=0.2 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 2406 0 0 0 20 0 0 0 20 0 3 0 184292100 109068288 5006 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26628 5006 2910 3032 0 8424 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=106512 memory=6007641856751698051 CPUtime=0.19 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1269 0 0 0 19 0 0 0 20 0 3 0 184292101 109068288 5006 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=106512 memory=17016 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292101 109068288 5006 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 20024 KiB
[startup+0.305535 s]*
/proc/loadavg: 4.57 4.33 4.17 5/262 1009980
/proc/meminfo: memFree=121031668/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=106512 memory=20552 CPUtime=0.3 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 2559 0 0 0 30 0 0 0 20 0 3 0 184292100 109068288 5138 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26628 5138 2910 3032 0 8568 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=106512 memory=-7952647673476308343 CPUtime=0.29 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1422 0 0 0 29 0 0 0 20 0 3 0 184292101 109068288 5138 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=106512 memory=0 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292101 109068288 5138 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 20552 KiB
[startup+0.70026 s]
/proc/loadavg: 4.57 4.33 4.17 5/261 1009980
/proc/meminfo: memFree=121195956/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=106512 memory=21080 CPUtime=0.68 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 2697 0 0 0 68 0 0 0 20 0 3 0 184292100 109068288 5270 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26628 5270 2910 3032 0 8648 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=106512 memory=0 CPUtime=0.68 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1560 0 0 0 68 0 0 0 20 0 3 0 184292101 109068288 5270 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=106512 memory=0 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292101 109068288 5270 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 21080 KiB
[startup+1.50019 s]
/proc/loadavg: 4.57 4.33 4.17 5/261 1009982
/proc/meminfo: memFree=121437184/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=106512 memory=21264 CPUtime=1.48 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 3894 0 0 0 147 1 0 0 20 0 3 0 184292100 109068288 5316 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26628 5316 2910 3032 0 8648 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=106512 memory=0 CPUtime=1.48 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 2742 0 0 0 147 1 0 0 20 0 3 0 184292101 109068288 5316 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=106512 memory=0 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292101 109068288 5316 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 21264 KiB
[startup+3.10523 s]
/proc/loadavg: 4.53 4.32 4.17 5/263 1010030
/proc/meminfo: memFree=126926232/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=106512 memory=22132 CPUtime=3.09 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 4238 0 0 0 306 3 0 0 20 0 3 0 184292100 109068288 5533 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26628 5533 2926 3032 0 8795 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=106512 memory=2273 CPUtime=3.07 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 3083 0 0 0 305 2 0 0 20 0 3 0 184292101 109068288 5533 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=106512 memory=0 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184292101 109068288 5533 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 22132 KiB
[startup+6.30017 s]
/proc/loadavg: 4.53 4.32 4.17 5/263 1010030
/proc/meminfo: memFree=126911764/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=107092 memory=29020 CPUtime=6.27 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 7752 0 0 0 622 5 0 0 20 0 3 0 184292100 109662208 7255 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 26773 7255 2974 3032 0 10391 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=107092 memory=-7952647673476308343 CPUtime=6.26 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 6570 0 0 0 621 5 0 0 20 0 3 0 184292101 109662208 7255 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=107092 memory=27600 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184292101 109662208 7255 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107092 KiB
Current children cumulated memory: 29020 KiB
[startup+12.7002 s]
/proc/loadavg: 4.49 4.31 4.17 5/263 1010031
/proc/meminfo: memFree=126886964/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=109140 memory=41504 CPUtime=12.64 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 18121 0 0 0 1254 10 0 0 20 0 3 0 184292100 111759360 10376 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 27285 10376 2974 3032 0 13885 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=109140 memory=-6734710779410353251 CPUtime=12.63 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 16896 0 0 0 1253 10 0 0 20 0 3 0 184292101 111759360 10376 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=109140 memory=2684 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 184292101 111759360 10376 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109140 KiB
Current children cumulated memory: 41504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.30 4.17 5/263 1010033
/proc/meminfo: memFree=126846112/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=116900 memory=56680 CPUtime=25.4 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 34602 0 0 0 2520 20 0 0 20 0 3 0 184292100 119705600 14170 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 29225 14170 2974 3032 0 18255 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=116900 memory=56504 CPUtime=25.39 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 33320 0 0 0 2519 20 0 0 20 0 3 0 184292101 119705600 14170 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=116900 memory=18916 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 184292101 119705600 14170 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 116900 KiB
Current children cumulated memory: 56680 KiB
[startup+51.1053 s]
/proc/loadavg: 4.30 4.29 4.17 5/264 1010038
/proc/meminfo: memFree=126760784/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=131460 memory=79272 CPUtime=50.9 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 69859 0 0 0 5051 39 0 0 20 0 3 0 184292100 134615040 19818 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 32865 19818 2974 3032 0 24984 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=131460 memory=132 CPUtime=50.9 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 68497 0 0 0 5051 39 0 0 20 0 3 0 184292101 134615040 19818 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=131460 memory=72104 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 184292101 134615040 19818 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 131460 KiB
Current children cumulated memory: 79272 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.27 4.17 5/264 1010047
/proc/meminfo: memFree=126628084/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=148624 memory=104836 CPUtime=101.91 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 104113 0 0 0 10112 79 0 0 20 0 3 0 184292100 152190976 26209 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 37156 26209 2990 3032 0 31534 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=148624 memory=104828 CPUtime=101.9 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 102691 0 0 0 10111 79 0 0 20 0 3 0 184292101 152190976 26209 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=148624 memory=99564 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 184292101 152190976 26209 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 148624 KiB
Current children cumulated memory: 104836 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.24 4.16 5/266 1010061
/proc/meminfo: memFree=126536124/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=150244 memory=107548 CPUtime=161.69 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 129840 0 0 0 16044 125 0 0 20 0 3 0 184292100 153849856 26887 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 37561 26887 2990 3032 0 32560 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=150244 memory=0 CPUtime=161.66 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 128372 0 0 0 16042 124 0 0 20 0 3 0 184292101 153849856 26887 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=150244 memory=107264 CPUtime=0 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 184292101 153849856 26887 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 150244 KiB
################
# More data... #
################
/proc/1009977/statm: 192442 174693 2990 3032 0 179035 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=769768 memory=694892 CPUtime=3389.79 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1305490 0 0 0 336487 2492 0 0 20 0 3 0 184292101 788242432 174693 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=769768 memory=697804 CPUtime=0.01 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 130 0 0 0 0 1 0 0 20 0 3 0 184292101 788242432 174693 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3389.98 s
Current children cumulated vsize: 769768 KiB
Current children cumulated memory: 698772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/266 1012514
/proc/meminfo: memFree=123740440/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=769768 memory=717436 CPUtime=3449.76 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1324273 0 0 0 342447 2529 0 0 20 0 3 0 184292100 788242432 179359 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 192442 179359 2990 3032 0 183838 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=769768 memory=686112 CPUtime=3449.57 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1321396 0 0 0 342431 2526 0 0 20 0 3 0 184292101 788242432 179359 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=769768 memory=716760 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 184292101 788242432 179359 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3449.76 s
Current children cumulated vsize: 769768 KiB
Current children cumulated memory: 717436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/263 1012525
/proc/meminfo: memFree=123684980/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=769768 memory=733648 CPUtime=3509.54 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1352311 0 0 0 348390 2564 0 0 20 0 3 0 184292100 788242432 183412 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 192442 183412 2990 3032 0 187945 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=769768 memory=726576 CPUtime=3509.35 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1349406 0 0 0 348374 2561 0 0 20 0 3 0 184292101 788242432 183412 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=769768 memory=11396 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 184292101 788242432 183412 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3509.54 s
Current children cumulated vsize: 769768 KiB
Current children cumulated memory: 733648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/263 1012536
/proc/meminfo: memFree=123634700/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=750704 CPUtime=3569.33 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1384652 0 0 0 354335 2598 0 0 20 0 3 0 184292100 855351296 187676 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 187676 2990 3032 0 192097 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=745908 CPUtime=3569.13 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1381720 0 0 0 354318 2595 0 0 20 0 3 0 184292101 855351296 187676 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=11396 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 187676 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3569.33 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 750704 KiB
[startup+3601.24 s]
# the end of solver process 1009977 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.07 s, system=26.1332 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.16 4.16 5/263 1012536
/proc/meminfo: memFree=123633056/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=751624 CPUtime=3571.02 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1385585 0 0 0 354503 2599 0 0 20 0 3 0 184292100 855351296 187906 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 187906 2990 3032 0 192337 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=26092 CPUtime=3570.83 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1382653 0 0 0 354487 2596 0 0 20 0 3 0 184292101 855351296 187906 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=-6933350163988323268 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 187906 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 751624 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.15 4.16 5/263 1012536
/proc/meminfo: memFree=123629672/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=752440 CPUtime=3577.39 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1390230 0 0 0 355137 2602 0 0 20 0 3 0 184292100 855351296 188110 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 188110 2990 3032 0 192529 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=750572 CPUtime=3577.2 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1387294 0 0 0 355121 2599 0 0 20 0 3 0 184292101 855351296 188110 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=-6734710779410353251 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 188110 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3577.39 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 752440 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.15 4.16 7/263 1012537
/proc/meminfo: memFree=123618796/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=753804 CPUtime=3583.78 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1395910 0 0 0 355771 2607 0 0 20 0 3 0 184292100 855351296 188451 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 188451 2990 3032 0 192897 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=-6734710779410353251 CPUtime=3583.57 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1392974 0 0 0 355754 2603 0 0 20 0 3 0 184292101 855351296 188451 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=751732 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 188451 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3583.78 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 753804 KiB
[startup+3598.4 s]
/proc/loadavg: 4.09 4.15 4.16 5/263 1012537
/proc/meminfo: memFree=123617444/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=754500 CPUtime=3585.37 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1396777 0 0 0 355929 2608 0 0 20 0 3 0 184292100 855351296 188625 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 188625 2990 3032 0 193041 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=5412 CPUtime=3585.17 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1393841 0 0 0 355912 2605 0 0 20 0 3 0 184292101 855351296 188625 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=43840 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 188625 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 754500 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.15 4.16 5/263 1012538
/proc/meminfo: memFree=123624788/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=754888 CPUtime=3586.96 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1402257 0 0 0 356087 2609 0 0 20 0 3 0 184292100 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 188722 2990 3032 0 193137 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=-7880590079354495871 CPUtime=3586.77 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1399850 0 0 0 356071 2606 0 0 20 0 3 0 184292101 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=-6933350163988323268 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 754888 KiB
[startup+3600.8 s]
/proc/loadavg: 4.08 4.15 4.16 5/263 1012538
/proc/meminfo: memFree=123624788/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=754888 CPUtime=3587.76 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1435012 0 0 0 356165 2611 0 0 20 0 3 0 184292100 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 188722 2990 3032 0 193137 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=754504 CPUtime=3587.56 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1432066 0 0 0 356148 2608 0 0 20 0 3 0 184292101 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=104 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 754888 KiB
[startup+3601.2 s]
/proc/loadavg: 4.08 4.15 4.16 5/263 1012540
/proc/meminfo: memFree=123650072/131524600 swapFree=131071996/131071996
[pid=1009977] ppid=1009974 vsize=835304 memory=754888 CPUtime=3588.16 cores=0,2
/proc/1009977/stat : 1009977 (fscip) S 1009974 1009977 1007714 0 -1 1077936128 1436096 0 0 0 356205 2611 0 0 20 0 3 0 184292100 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
/proc/1009977/statm: 208826 188722 2990 3032 0 193137 0
[pid=1009977/tid=1009979] ppid=1009974 vsize=835304 memory=6664 CPUtime=3587.96 cores=0,2
/proc/1009977/task/1009979/stat : 1009979 (fscip) R 1009974 1009977 1007714 0 -1 4194368 1433150 0 0 0 356188 2608 0 0 20 0 3 0 184292101 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
[pid=1009977/tid=1009980] ppid=1009974 vsize=835304 memory=8160 CPUtime=0.02 cores=0,2
/proc/1009977/task/1009980/stat : 1009980 (fscip) S 1009974 1009977 1007714 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 184292101 855351296 188722 134679101440 4194304 16613245 140727718275328 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53116928 140727718282259 140727718282375 140727718282375 140727718289392 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 835304 KiB
Current children cumulated memory: 754888 KiB
Child status: 0
Real time (s): 3601.24
CPU time (s): 3588.21
CPU user time (s): 3562.07
CPU system time (s): 26.1332
CPU usage (%): 99.6381
Max. virtual memory (cumulated for all children) (KiB): 835304
Max. memory (cumulated for all children) (KiB): 754888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.07
system time used= 26.1332
maximum resident set size= 754888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1436494
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= 10946
involuntary context switches= 25133
# summary of solver processes directly reported to runsolver:
# pid: 1009977
# total CPU time (s): 3588.21
# total CPU user time (s): 3562.07
# total CPU system time (s): 26.1332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90742 second user time and 14.5059 second system time
The end
Begin job on nodeC030 at 2024-07-18 18:47:33
IDJOB=4445240
IDBENCH=148104
IDSOLVER=3064
FILE ID=nodeC030/4445240-1721321240
RUNJOBID= nodeC030-1721317650-1007724
SLURM_JOB_ID= 7542666
Free space on /tmp= 889960 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.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-4445240-1721321240/watcher-4445240-1721321240 -o /tmp/evaluation-result-4445240-1721321240/solver-4445240-1721321240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007724 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445240-1721321240.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=428066553
nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.045
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.479
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.386
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.266
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.522
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121042580 kB
MemAvailable: 122227992 kB
Buffers: 476632 kB
Cached: 1537724 kB
SwapCached: 0 kB
Active: 1142068 kB
Inactive: 8699720 kB
Active(anon): 1540 kB
Inactive(anon): 7863608 kB
Active(file): 1140528 kB
Inactive(file): 836112 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56504 kB
Writeback: 16 kB
AnonPages: 7827096 kB
Mapped: 141704 kB
Shmem: 37720 kB
KReclaimable: 97192 kB
Slab: 209828 kB
SReclaimable: 97192 kB
SUnreclaim: 112636 kB
KernelStack: 4160 kB
PageTables: 25324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5756944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3444736 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC030 at 2024-07-18 19:47:34