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 = 23224320, getVmSize() = 23224320, SCIPgetMemUsed() = 1336715, SCIPgetMemTotal() = 1647243, 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 = 16273408, getVmSize() = 25595904, SCIPgetMemUsed() = 2061628, SCIPgetMemTotal() = 2940372, 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-4464499-1722385804
0.00/0.00 c Variables : 121 (121 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 482
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 240
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 240
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.12/5.21 c 5 3772 992 1 - 0.0000 -
10.10/10.26 c 10 17428 7708 1 - 0.0000 -
15.18/15.31 c 15 30763 11266 1 - 0.0000 -
20.17/20.37 c 20 43620 14869 1 - 0.0000 -
25.26/25.41 c 25 56578 18091 1 - 0.0000 -
30.24/30.46 c 30 69439 21433 1 - 0.0000 -
35.32/35.51 c 36 82542 24334 1 - 0.0000 -
40.30/40.56 c 41 95303 27073 1 - 0.0000 -
45.38/45.61 c 46 107863 29380 1 - 0.0000 -
50.37/50.66 c 51 119941 31838 1 - 0.0000 -
55.44/55.71 c 56 131606 33938 1 - 0.0000 -
60.43/60.76 c 61 143428 36419 1 - 0.0000 -
65.52/65.80 c 66 155377 39211 1 - 0.0000 -
70.49/70.85 c 71 167983 42004 1 - 0.0000 -
75.58/75.90 c 76 181471 44880 1 - 0.0000 -
80.56/80.95 c 81 195097 47801 1 - 0.0000 -
85.65/86.00 c 86 209399 50533 1 - 0.0000 -
90.63/91.05 c 91 224188 53331 1 - 0.0000 -
95.71/96.10 c 96 239555 55676 1 - 0.0000 -
100.70/101.16 c 101 255383 58802 1 - 0.0000 -
105.77/106.20 c 106 271649 61533 1 - 0.0000 -
110.75/111.25 c 111 288451 66076 1 - 0.0000 -
115.83/116.30 c 116 305760 70426 1 - 0.0000 -
120.82/121.35 c 121 323056 73876 1 - 0.0000 -
125.90/126.40 c 126 340576 76978 1 - 0.0000 -
130.88/131.45 c 131 357534 80032 1 - 0.0000 -
135.97/136.50 c 137 375136 83403 1 - 0.0000 -
140.95/141.55 c 142 392935 87147 1 - 0.0000 -
146.03/146.60 c 147 410259 90799 1 - 0.0000 -
151.01/151.65 c 152 426803 95615 1 - 0.0000 -
156.10/156.70 c 157 444713 99929 1 - 0.0000 -
161.08/161.75 c 162 463403 102375 1 - 0.0000 -
166.16/166.80 c 167 481037 105559 1 - 0.0000 -
171.14/171.85 c 172 498521 110709 1 - 0.0000 -
176.23/176.90 c 177 517044 115525 1 - 0.0000 -
181.21/181.95 c 182 535607 120308 1 - 0.0000 -
186.30/187.00 c 187 554004 125439 1 - 0.0000 -
191.28/192.05 c 192 570878 130796 1 - 0.0000 -
196.36/197.10 c 197 588634 134295 1 - 0.0000 -
201.34/202.15 c 202 606550 137312 1 - 0.0000 -
206.41/207.20 c 207 624086 141131 1 - 0.0000 -
211.40/212.25 c 212 641346 144959 1 - 0.0000 -
216.49/217.30 c 217 659579 148013 1 - 0.0000 -
221.46/222.35 c 222 677431 151379 1 - 0.0000 -
226.54/227.40 c 227 695012 154159 1 - 0.0000 -
231.53/232.45 c 232 712782 157694 1 - 0.0000 -
236.61/237.50 c 238 730002 161708 1 - 0.0000 -
241.59/242.55 c 243 747473 167181 1 - 0.0000 -
246.68/247.60 c 248 766180 172062 1 - 0.0000 -
251.66/252.65 c 253 785188 175310 1 - 0.0000 -
256.74/257.70 c 258 803625 179494 1 - 0.0000 -
261.72/262.75 c 263 821854 182579 1 - 0.0000 -
266.80/267.80 c 268 839966 185086 1 - 0.0000 -
271.78/272.85 c 273 856844 190707 1 - 0.0000 -
276.87/277.91 c 278 876262 193730 1 - 0.0000 -
281.85/282.95 c 283 894959 198086 1 - 0.0000 -
286.94/288.00 c 288 912889 201098 1 - 0.0000 -
291.92/293.05 c 293 930750 204902 1 - 0.0000 -
297.00/298.10 c 298 948753 206785 1 - 0.0000 -
301.98/303.15 c 303 966873 210088 1 - 0.0000 -
307.06/308.20 c 308 984285 213285 1 - 0.0000 -
312.04/313.25 c 313 1001516 216706 1 - 0.0000 -
317.13/318.30 c 318 1018953 220251 1 - 0.0000 -
322.11/323.35 c 323 1036767 223415 1 - 0.0000 -
327.19/328.40 c 328 1054222 226620 1 - 0.0000 -
332.17/333.46 c 333 1071077 229921 1 - 0.0000 -
337.26/338.50 c 339 1088371 233777 1 - 0.0000 -
342.24/343.55 c 344 1105382 236913 1 - 0.0000 -
347.32/348.60 c 349 1122281 239787 1 - 0.0000 -
352.30/353.65 c 354 1139483 243042 1 - 0.0000 -
357.38/358.70 c 359 1155371 247593 1 - 0.0000 -
362.37/363.75 c 364 1170071 252002 1 - 0.0000 -
367.45/368.80 c 369 1184244 254314 1 - 0.0000 -
372.42/373.85 c 374 1199907 257502 1 - 0.0000 -
377.51/378.90 c 379 1216706 260767 1 - 0.0000 -
382.50/383.95 c 384 1232575 264308 1 - 0.0000 -
387.59/389.00 c 389 1246664 269169 1 - 0.0000 -
392.56/394.06 c 394 1259920 272164 1 - 0.0000 -
397.65/399.10 c 399 1275622 274471 1 - 0.0000 -
402.63/404.15 c 404 1290626 277448 1 - 0.0000 -
407.71/409.20 c 409 1306026 280700 1 - 0.0000 -
412.69/414.25 c 414 1321787 284178 1 - 0.0000 -
417.77/419.30 c 419 1337095 288560 1 - 0.0000 -
422.76/424.35 c 424 1352401 290198 1 - 0.0000 -
427.83/429.40 c 429 1367866 292584 1 - 0.0000 -
432.81/434.46 c 434 1383029 296597 1 - 0.0000 -
437.90/439.50 c 440 1398428 299475 1 - 0.0000 -
442.88/444.55 c 445 1413559 301769 1 - 0.0000 -
447.97/449.60 c 450 1429266 304818 1 - 0.0000 -
452.95/454.65 c 455 1444296 307402 1 - 0.0000 -
458.02/459.70 c 460 1459158 311355 1 - 0.0000 -
463.01/464.75 c 465 1473919 314422 1 - 0.0000 -
468.09/469.80 c 470 1489473 316631 1 - 0.0000 -
473.07/474.85 c 475 1504672 319635 1 - 0.0000 -
478.15/479.90 c 480 1518710 322134 1 - 0.0000 -
483.14/484.96 c 485 1533138 325441 1 - 0.0000 -
488.23/490.00 c 490 1547293 329427 1 - 0.0000 -
493.21/495.05 c 495 1560936 332094 1 - 0.0000 -
498.29/500.11 c 500 1574656 334880 1 - 0.0000 -
503.27/505.15 c 505 1588156 337232 1 - 0.0000 -
508.35/510.21 c 510 1602940 340279 1 - 0.0000 -
513.33/515.24 c 515 1617397 342291 1 - 0.0000 -
518.31/520.29 c 520 1631975 345691 1 - 0.0000 -
523.39/525.34 c 525 1645799 348295 1 - 0.0000 -
528.38/530.39 c 530 1660518 351246 1 - 0.0000 -
533.46/535.44 c 535 1674703 353400 1 - 0.0000 -
538.45/540.49 c 540 1689410 356236 1 - 0.0000 -
543.52/545.54 c 546 1703466 358920 1 - 0.0000 -
548.51/550.59 c 551 1716968 360867 1 - 0.0000 -
553.59/555.64 c 556 1731306 363867 1 - 0.0000 -
558.57/560.69 c 561 1746146 366010 1 - 0.0000 -
563.65/565.74 c 566 1760335 368855 1 - 0.0000 -
568.63/570.79 c 571 1774271 371586 1 - 0.0000 -
573.72/575.84 c 576 1788177 375685 1 - 0.0000 -
578.70/580.89 c 581 1802314 377427 1 - 0.0000 -
583.78/585.94 c 586 1816858 379736 1 - 0.0000 -
588.76/590.99 c 591 1831248 382891 1 - 0.0000 -
593.85/596.05 c 596 1845016 385177 1 - 0.0000 -
598.84/601.09 c 601 1859529 387222 1 - 0.0000 -
603.92/606.14 c 606 1873440 389245 1 - 0.0000 -
608.90/611.19 c 611 1887662 391400 1 - 0.0000 -
613.97/616.24 c 616 1901624 393607 1 - 0.0000 -
618.95/621.29 c 621 1915819 396015 1 - 0.0000 -
624.04/626.34 c 626 1929754 397934 1 - 0.0000 -
629.02/631.39 c 631 1943603 399932 1 - 0.0000 -
634.11/636.44 c 636 1957274 402378 1 - 0.0000 -
639.09/641.49 c 642 1970923 404770 1 - 0.0000 -
644.17/646.54 c 647 1984109 406928 1 - 0.0000 -
649.15/651.59 c 652 1997764 409106 1 - 0.0000 -
654.23/656.64 c 657 2011430 410740 1 - 0.0000 -
659.22/661.69 c 662 2024785 412189 1 - 0.0000 -
664.30/666.74 c 667 2038338 414315 1 - 0.0000 -
669.28/671.79 c 672 2051327 416392 1 - 0.0000 -
674.36/676.84 c 677 2065214 417982 1 - 0.0000 -
679.34/681.89 c 682 2077989 420014 1 - 0.0000 -
684.43/686.94 c 687 2091609 421407 1 - 0.0000 -
689.41/691.99 c 692 2104712 423940 1 - 0.0000 -
694.50/697.05 c 697 2118708 425654 1 - 0.0000 -
699.47/702.09 c 702 2132196 427638 1 - 0.0000 -
704.56/707.14 c 707 2145706 429245 1 - 0.0000 -
709.54/712.19 c 712 2158784 432502 1 - 0.0000 -
714.61/717.24 c 717 2170917 435719 1 - 0.0000 -
719.60/722.29 c 722 2182769 438550 1 - 0.0000 -
724.68/727.35 c 727 2194467 441604 1 - 0.0000 -
729.66/732.39 c 732 2206299 443785 1 - 0.0000 -
734.74/737.44 c 737 2218941 446909 1 - 0.0000 -
739.73/742.49 c 742 2230922 450261 1 - 0.0000 -
744.80/747.54 c 748 2242396 452421 1 - 0.0000 -
749.89/752.60 c 753 2253606 454290 1 - 0.0000 -
754.87/757.65 c 758 2265164 457050 1 - 0.0000 -
759.85/762.69 c 763 2276346 458682 1 - 0.0000 -
764.93/767.74 c 768 2287027 460463 1 - 0.0000 -
769.91/772.79 c 773 2297267 462171 1 - 0.0000 -
775.00/777.84 c 778 2308314 464294 1 - 0.0000 -
779.97/782.89 c 783 2318207 465892 1 - 0.0000 -
785.06/787.95 c 788 2328409 467473 1 - 0.0000 -
790.14/793.01 c 793 2340298 469212 1 - 0.0000 -
795.12/798.05 c 798 2351754 473141 1 - 0.0000 -
800.21/803.10 c 803 2363856 475402 1 - 0.0000 -
805.19/808.15 c 808 2375476 476681 1 - 0.0000 -
810.26/813.21 c 813 2387130 478324 1 - 0.0000 -
815.24/818.25 c 818 2399336 479865 1 - 0.0000 -
820.33/823.31 c 823 2411092 481416 1 - 0.0000 -
825.31/828.36 c 828 2422771 483128 1 - 0.0000 -
830.40/833.40 c 833 2435077 484992 1 - 0.0000 -
835.38/838.46 c 838 2446676 487532 1 - 0.0000 -
840.46/843.52 c 844 2458745 488992 1 - 0.0000 -
845.44/848.57 c 849 2470699 491235 1 - 0.0000 -
850.52/853.62 c 854 2482593 492713 1 - 0.0000 -
855.51/858.67 c 859 2493258 495769 1 - 0.0000 -
860.59/863.72 c 864 2504170 498137 1 - 0.0000 -
865.56/868.77 c 869 2515397 499688 1 - 0.0000 -
870.65/873.82 c 874 2527639 501193 1 - 0.0000 -
875.63/878.87 c 879 2538331 503293 1 - 0.0000 -
880.71/883.92 c 884 2550131 504525 1 - 0.0000 -
885.70/888.97 c 889 2561177 506229 1 - 0.0000 -
890.78/894.02 c 894 2573624 507383 1 - 0.0000 -
895.77/899.07 c 899 2584757 509895 1 - 0.0000 -
900.85/904.13 c 904 2596068 511046 1 - 0.0000 -
905.83/909.18 c 909 2608108 512536 1 - 0.0000 -
910.91/914.24 c 914 2619413 515993 1 - 0.0000 -
915.99/919.31 c 919 2629856 518983 1 - 0.0000 -
920.98/924.35 c 924 2640890 521408 1 - 0.0000 -
926.05/929.40 c 929 2651485 523231 1 - 0.0000 -
931.04/934.46 c 934 2662108 526039 1 - 0.0000 -
936.12/939.50 c 940 2672431 528523 1 - 0.0000 -
941.11/944.55 c 945 2684124 530444 1 - 0.0000 -
946.19/949.60 c 950 2695661 532532 1 - 0.0000 -
951.17/954.66 c 955 2707998 534358 1 - 0.0000 -
956.26/959.70 c 960 2718551 535883 1 - 0.0000 -
961.23/964.77 c 965 2728980 537046 1 - 0.0000 -
966.32/969.81 c 970 2740669 538048 1 - 0.0000 -
971.31/974.86 c 975 2752089 539657 1 - 0.0000 -
976.38/979.91 c 980 2763702 540808 1 - 0.0000 -
981.37/984.96 c 985 2774610 542219 1 - 0.0000 -
986.46/990.01 c 990 2784069 543463 1 - 0.0000 -
991.44/995.07 c 995 2793325 544867 1 - 0.0000 -
996.53/1000.11 c 1000 2805898 545979 1 - 0.0000 -
1001.51/1005.16 c 1005 2816797 547230 1 - 0.0000 -
1006.58/1010.21 c 1010 2826698 548936 1 - 0.0000 -
1011.56/1015.26 c 1015 2836381 551297 1 - 0.0000 -
1016.65/1020.31 c 1020 2847255 553663 1 - 0.0000 -
1021.63/1025.36 c 1025 2858287 554909 1 - 0.0000 -
1026.71/1030.41 c 1030 2868619 555708 1 - 0.0000 -
1031.69/1035.47 c 1035 2879367 557110 1 - 0.0000 -
1036.78/1040.53 c 1041 2889976 558154 1 - 0.0000 -
1041.76/1045.59 c 1046 2898040 560124 1 - 0.0000 -
1046.85/1050.64 c 1051 2907978 561739 1 - 0.0000 -
1051.82/1055.69 c 1056 2918255 562774 1 - 0.0000 -
1056.91/1060.76 c 1061 2928537 564693 1 - 0.0000 -
1062.00/1065.82 c 1066 2938452 566144 1 - 0.0000 -
1066.98/1070.86 c 1071 2949084 567826 1 - 0.0000 -
1072.05/1075.93 c 1076 2960671 569122 1 - 0.0000 -
1077.04/1080.97 c 1081 2971563 570200 1 - 0.0000 -
1082.13/1086.02 c 1086 2981826 571946 1 - 0.0000 -
1087.11/1091.07 c 1091 2991714 574065 1 - 0.0000 -
1092.20/1096.14 c 1096 3001620 576712 1 - 0.0000 -
1097.18/1101.19 c 1101 3011248 579544 1 - 0.0000 -
1102.26/1106.27 c 1106 3020826 581912 1 - 0.0000 -
1107.34/1111.32 c 1111 3030238 583744 1 - 0.0000 -
1112.32/1116.37 c 1116 3040281 585167 1 - 0.0000 -
1117.40/1121.42 c 1121 3049649 586277 1 - 0.0000 -
1122.39/1126.47 c 1126 3059717 587810 1 - 0.0000 -
1127.47/1131.54 c 1132 3070508 589291 1 - 0.0000 -
1132.45/1136.58 c 1137 3082856 590296 1 - 0.0000 -
1137.54/1141.63 c 1142 3093687 591413 1 - 0.0000 -
1142.52/1146.69 c 1147 3104181 592655 1 - 0.0000 -
1147.60/1151.74 c 1152 3113602 594023 1 - 0.0000 -
1152.68/1156.81 c 1157 3124802 595968 1 - 0.0000 -
1157.67/1161.87 c 1162 3136962 597254 1 - 0.0000 -
1162.75/1166.91 c 1167 3147641 598853 1 - 0.0000 -
1167.73/1171.96 c 1172 3158465 600072 1 - 0.0000 -
1172.82/1177.01 c 1177 3168599 601288 1 - 0.0000 -
1177.80/1182.07 c 1182 3178442 602327 1 - 0.0000 -
1182.88/1187.12 c 1187 3188906 603537 1 - 0.0000 -
1187.87/1192.17 c 1192 3198941 604917 1 - 0.0000 -
1192.95/1197.22 c 1197 3207818 606408 1 - 0.0000 -
1197.92/1202.27 c 1202 3217928 607634 1 - 0.0000 -
1203.01/1207.33 c 1207 3228476 608528 1 - 0.0000 -
1208.10/1212.42 c 1212 3237613 609660 1 - 0.0000 -
1213.08/1217.47 c 1217 3247775 610799 1 - 0.0000 -
1218.16/1222.52 c 1223 3257889 611957 1 - 0.0000 -
1223.14/1227.59 c 1228 3268250 612996 1 - 0.0000 -
1228.23/1232.66 c 1233 3277380 614182 1 - 0.0000 -
1233.31/1237.71 c 1238 3287368 616361 1 - 0.0000 -
1238.29/1242.78 c 1243 3295906 617804 1 - 0.0000 -
1243.38/1247.84 c 1248 3307506 620225 1 - 0.0000 -
1248.36/1252.88 c 1253 3319405 621808 1 - 0.0000 -
1253.44/1257.93 c 1258 3329983 622731 1 - 0.0000 -
1258.53/1263.00 c 1263 3338885 623911 1 - 0.0000 -
1263.51/1268.05 c 1268 3348239 624804 1 - 0.0000 -
1268.60/1273.11 c 1273 3357783 625902 1 - 0.0000 -
1273.58/1278.17 c 1278 3368661 626652 1 - 0.0000 -
1278.66/1283.21 c 1283 3377860 628106 1 - 0.0000 -
1283.64/1288.27 c 1288 3386228 629213 1 - 0.0000 -
1288.72/1293.33 c 1293 3395374 630244 1 - 0.0000 -
1293.70/1298.39 c 1298 3405205 631470 1 - 0.0000 -
1298.79/1303.47 c 1303 3415876 632729 1 - 0.0000 -
1303.87/1308.53 c 1309 3424780 634043 1 - 0.0000 -
1308.95/1313.60 c 1314 3435456 636191 1 - 0.0000 -
1313.93/1318.66 c 1319 3446322 637655 1 - 0.0000 -
1319.02/1323.71 c 1324 3455067 640042 1 - 0.0000 -
1324.01/1328.76 c 1329 3463263 643654 1 - 0.0000 -
1329.08/1333.83 c 1334 3472694 646511 1 - 0.0000 -
1334.07/1338.88 c 1339 3481587 649994 1 - 0.0000 -
1339.15/1343.93 c 1344 3490673 652337 1 - 0.0000 -
1344.13/1348.98 c 1349 3499520 654930 1 - 0.0000 -
1349.23/1354.03 c 1354 3509100 657983 1 - 0.0000 -
1354.31/1359.13 c 1359 3519161 660823 1 - 0.0000 -
1359.29/1364.17 c 1364 3528372 664324 1 - 0.0000 -
1364.37/1369.24 c 1369 3536949 667279 1 - 0.0000 -
1369.45/1374.30 c 1374 3545939 669983 1 - 0.0000 -
1374.43/1379.35 c 1379 3554130 672889 1 - 0.0000 -
1379.51/1384.40 c 1384 3562956 675555 1 - 0.0000 -
1384.50/1389.49 c 1390 3572476 678464 1 - 0.0000 -
1389.58/1394.57 c 1395 3581848 680674 1 - 0.0000 -
1394.66/1399.62 c 1400 3590699 682454 1 - 0.0000 -
1399.64/1404.67 c 1405 3598897 685450 1 - 0.0000 -
1404.73/1409.72 c 1410 3607559 687694 1 - 0.0000 -
1409.71/1414.77 c 1415 3615685 689797 1 - 0.0000 -
1414.79/1419.83 c 1420 3625490 692074 1 - 0.0000 -
1419.87/1424.90 c 1425 3634006 694543 1 - 0.0000 -
1424.86/1429.94 c 1430 3643286 696499 1 - 0.0000 -
1429.94/1435.00 c 1435 3652671 698230 1 - 0.0000 -
1434.92/1440.05 c 1440 3661605 700211 1 - 0.0000 -
1440.00/1445.10 c 1445 3670263 702115 1 - 0.0000 -
1444.98/1450.18 c 1450 3678533 704868 1 - 0.0000 -
1450.06/1455.23 c 1455 3688263 706491 1 - 0.0000 -
1455.05/1460.28 c 1460 3696854 707682 1 - 0.0000 -
1460.13/1465.36 c 1465 3705053 709595 1 - 0.0000 -
1465.21/1470.42 c 1470 3713687 711380 1 - 0.0000 -
1470.19/1475.46 c 1475 3722180 712630 1 - 0.0000 -
1475.27/1480.51 c 1481 3732953 714381 1 - 0.0000 -
1480.26/1485.57 c 1486 3742494 715573 1 - 0.0000 -
1485.34/1490.64 c 1491 3750446 717128 1 - 0.0000 -
1490.42/1495.70 c 1496 3759025 718450 1 - 0.0000 -
1495.41/1500.76 c 1501 3768139 720520 1 - 0.0000 -
1500.49/1505.80 c 1506 3777938 721796 1 - 0.0000 -
1505.47/1510.86 c 1511 3786945 723506 1 - 0.0000 -
1510.55/1515.93 c 1516 3796307 725081 1 - 0.0000 -
1515.53/1520.98 c 1521 3805557 726600 1 - 0.0000 -
1520.62/1526.02 c 1526 3814100 728188 1 - 0.0000 -
1525.61/1531.08 c 1531 3822370 729600 1 - 0.0000 -
1530.69/1536.15 c 1536 3832245 731317 1 - 0.0000 -
1535.67/1541.19 c 1541 3840868 732540 1 - 0.0000 -
1540.75/1546.24 c 1546 3849956 733993 1 - 0.0000 -
1545.83/1551.30 c 1551 3859219 735685 1 - 0.0000 -
1550.81/1556.34 c 1556 3867717 737002 1 - 0.0000 -
1555.79/1561.39 c 1561 3876091 738399 1 - 0.0000 -
1560.87/1566.46 c 1566 3885435 740453 1 - 0.0000 -
1565.96/1571.52 c 1572 3893490 741726 1 - 0.0000 -
1570.94/1576.58 c 1577 3901853 743117 1 - 0.0000 -
1576.02/1581.63 c 1582 3909872 745154 1 - 0.0000 -
1581.01/1586.69 c 1587 3918334 747069 1 - 0.0000 -
1586.09/1591.75 c 1592 3926312 748349 1 - 0.0000 -
1591.17/1596.81 c 1597 3936756 749777 1 - 0.0000 -
1596.16/1601.86 c 1602 3945169 752657 1 - 0.0000 -
1601.23/1606.91 c 1607 3953199 753983 1 - 0.0000 -
1606.22/1611.97 c 1612 3961716 755221 1 - 0.0000 -
1611.31/1617.02 c 1617 3969991 756563 1 - 0.0000 -
1616.28/1622.07 c 1622 3979175 758287 1 - 0.0000 -
1621.37/1627.13 c 1627 3987956 759751 1 - 0.0000 -
1626.35/1632.19 c 1632 3996929 760826 1 - 0.0000 -
1631.43/1637.25 c 1637 4004168 762242 1 - 0.0000 -
1636.51/1642.31 c 1642 4012751 764220 1 - 0.0000 -
1641.50/1647.38 c 1647 4020967 766583 1 - 0.0000 -
1646.57/1652.46 c 1652 4028946 767689 1 - 0.0000 -
1651.66/1657.52 c 1658 4037279 768824 1 - 0.0000 -
1656.64/1662.58 c 1663 4045295 769788 1 - 0.0000 -
1661.72/1667.64 c 1668 4052555 770697 1 - 0.0000 -
1666.81/1672.70 c 1673 4061809 772625 1 - 0.0000 -
1671.79/1677.75 c 1678 4070485 773594 1 - 0.0000 -
1676.87/1682.81 c 1683 4078424 774481 1 - 0.0000 -
1681.86/1687.86 c 1688 4085757 775852 1 - 0.0000 -
1686.94/1692.91 c 1693 4093724 777019 1 - 0.0000 -
1691.92/1697.97 c 1698 4101777 778564 1 - 0.0000 -
1697.01/1703.02 c 1703 4109665 779432 1 - 0.0000 -
1701.99/1708.07 c 1708 4117013 780352 1 - 0.0000 -
1707.07/1713.13 c 1713 4125419 781294 1 - 0.0000 -
1712.05/1718.18 c 1718 4133856 782402 1 - 0.0000 -
1717.13/1723.26 c 1723 4142283 783178 1 - 0.0000 -
1722.22/1728.33 c 1728 4150678 784445 1 - 0.0000 -
1727.29/1733.40 c 1733 4158338 785841 1 - 0.0000 -
1732.27/1738.46 c 1738 4166706 787127 1 - 0.0000 -
1737.36/1743.51 c 1744 4174841 787989 1 - 0.0000 -
1742.34/1748.59 c 1749 4183536 789017 1 - 0.0000 -
1747.42/1753.64 c 1754 4190883 790109 1 - 0.0000 -
1752.41/1758.69 c 1759 4198782 791305 1 - 0.0000 -
1757.49/1763.74 c 1764 4207428 792306 1 - 0.0000 -
1762.57/1768.80 c 1769 4215841 793396 1 - 0.0000 -
1767.55/1773.85 c 1774 4224068 794801 1 - 0.0000 -
1772.63/1778.90 c 1779 4233841 795441 1 - 0.0000 -
1777.61/1783.98 c 1784 4243107 796137 1 - 0.0000 -
1782.70/1789.03 c 1789 4251370 796819 1 - 0.0000 -
1787.68/1794.08 c 1794 4259912 798210 1 - 0.0000 -
1792.76/1799.15 c 1799 4268338 799751 1 - 0.0000 -
1797.84/1804.23 c 1804 4279936 802582 1 - 0.0000 -
1802.82/1809.28 c 1809 4291738 804056 1 - 0.0000 -
1807.90/1814.35 c 1814 4303390 805317 1 - 0.0000 -
1812.89/1819.39 c 1819 4315167 806191 1 - 0.0000 -
1817.97/1824.46 c 1824 4323723 807282 1 - 0.0000 -
1823.05/1829.50 c 1830 4333176 809118 1 - 0.0000 -
1828.03/1834.55 c 1835 4342811 810648 1 - 0.0000 -
1833.10/1839.60 c 1840 4351703 811769 1 - 0.0000 -
1838.09/1844.67 c 1845 4360766 812983 1 - 0.0000 -
1843.17/1849.72 c 1850 4369554 813814 1 - 0.0000 -
1848.15/1854.79 c 1855 4377856 814544 1 - 0.0000 -
1853.24/1859.83 c 1860 4386932 815371 1 - 0.0000 -
1858.22/1864.88 c 1865 4396126 816314 1 - 0.0000 -
1863.30/1869.95 c 1870 4404329 817125 1 - 0.0000 -
1868.39/1875.00 c 1875 4413126 817884 1 - 0.0000 -
1873.37/1880.07 c 1880 4421941 819195 1 - 0.0000 -
1878.46/1885.12 c 1885 4432062 822046 1 - 0.0000 -
1883.54/1890.20 c 1890 4442969 824967 1 - 0.0000 -
1888.51/1895.27 c 1895 4453030 827800 1 - 0.0000 -
1893.60/1900.32 c 1900 4463012 829452 1 - 0.0000 -
1898.58/1905.37 c 1905 4472762 830898 1 - 0.0000 -
1903.65/1910.43 c 1910 4482581 833129 1 - 0.0000 -
1908.74/1915.51 c 1916 4492927 834426 1 - 0.0000 -
1913.82/1920.60 c 1921 4503486 835436 1 - 0.0000 -
1918.80/1925.65 c 1926 4512660 836442 1 - 0.0000 -
1923.89/1930.73 c 1931 4521846 837436 1 - 0.0000 -
1928.87/1935.77 c 1936 4533478 838522 1 - 0.0000 -
1933.95/1940.84 c 1941 4542927 840052 1 - 0.0000 -
1938.93/1945.89 c 1946 4552133 841098 1 - 0.0000 -
1944.02/1950.96 c 1951 4560503 843380 1 - 0.0000 -
1949.10/1956.01 c 1956 4569717 844692 1 - 0.0000 -
1954.08/1961.07 c 1961 4580298 845763 1 - 0.0000 -
1959.16/1966.13 c 1966 4589789 846726 1 - 0.0000 -
1964.23/1971.20 c 1971 4599747 847473 1 - 0.0000 -
1969.22/1976.28 c 1976 4608504 848547 1 - 0.0000 -
1974.31/1981.33 c 1981 4617188 849412 1 - 0.0000 -
1979.38/1986.41 c 1986 4627679 850554 1 - 0.0000 -
1984.46/1991.51 c 1992 4636817 852096 1 - 0.0000 -
1989.45/1996.56 c 1997 4645181 852998 1 - 0.0000 -
1994.53/2001.60 c 2002 4654468 854662 1 - 0.0000 -
1999.52/2006.67 c 2007 4664728 856513 1 - 0.0000 -
2004.60/2011.72 c 2012 4674540 857712 1 - 0.0000 -
2009.58/2016.78 c 2017 4684255 859413 1 - 0.0000 -
2014.66/2021.85 c 2022 4693276 860810 1 - 0.0000 -
2019.75/2026.91 c 2027 4704110 862213 1 - 0.0000 -
2024.72/2031.98 c 2032 4713054 863198 1 - 0.0000 -
2029.82/2037.03 c 2037 4722808 864482 1 - 0.0000 -
2034.80/2042.09 c 2042 4733155 865815 1 - 0.0000 -
2039.88/2047.16 c 2047 4742773 867241 1 - 0.0000 -
2044.96/2052.23 c 2052 4752921 868907 1 - 0.0000 -
2050.04/2057.30 c 2057 4762885 870101 1 - 0.0000 -
2055.02/2062.35 c 2062 4772812 871732 1 - 0.0000 -
2060.11/2067.41 c 2067 4782992 872472 1 - 0.0000 -
2065.09/2072.46 c 2072 4791799 873692 1 - 0.0000 -
2070.17/2077.53 c 2078 4801580 874740 1 - 0.0000 -
2075.15/2082.57 c 2083 4810596 876401 1 - 0.0000 -
2080.24/2087.62 c 2088 4820215 877733 1 - 0.0000 -
2085.22/2092.68 c 2093 4829514 879013 1 - 0.0000 -
2090.31/2097.73 c 2098 4839997 880103 1 - 0.0000 -
2095.39/2102.81 c 2103 4849612 881049 1 - 0.0000 -
2100.37/2107.85 c 2108 4859030 882337 1 - 0.0000 -
2105.45/2112.90 c 2113 4868622 883507 1 - 0.0000 -
2110.44/2117.97 c 2118 4878076 885201 1 - 0.0000 -
2115.53/2123.04 c 2123 4886503 887365 1 - 0.0000 -
2120.51/2128.09 c 2128 4896015 888495 1 - 0.0000 -
2125.60/2133.15 c 2133 4905837 889561 1 - 0.0000 -
2130.67/2138.20 c 2138 4915658 890719 1 - 0.0000 -
2135.66/2143.28 c 2143 4925156 892304 1 - 0.0000 -
2140.74/2148.35 c 2148 4934042 893270 1 - 0.0000 -
2145.82/2153.40 c 2153 4943662 894586 1 - 0.0000 -
2150.80/2158.47 c 2158 4953110 895546 1 - 0.0000 -
2155.88/2163.53 c 2164 4962138 896552 1 - 0.0000 -
2160.97/2168.60 c 2169 4971950 897390 1 - 0.0000 -
2165.95/2173.65 c 2174 4981406 898142 1 - 0.0000 -
2171.04/2178.70 c 2179 4989359 900527 1 - 0.0000 -
2176.02/2183.77 c 2184 4998479 902408 1 - 0.0000 -
2181.10/2188.82 c 2189 5008314 903330 1 - 0.0000 -
2186.09/2193.88 c 2194 5018115 904225 1 - 0.0000 -
2191.17/2198.93 c 2199 5027167 905050 1 - 0.0000 -
2196.15/2203.98 c 2204 5037041 905822 1 - 0.0000 -
2201.23/2209.04 c 2209 5047155 906837 1 - 0.0000 -
2206.32/2214.11 c 2214 5057163 907885 1 - 0.0000 -
2211.30/2219.16 c 2219 5065878 909284 1 - 0.0000 -
2216.38/2224.22 c 2224 5074222 910092 1 - 0.0000 -
2221.46/2229.30 c 2229 5083266 911102 1 - 0.0000 -
2226.44/2234.36 c 2234 5092611 912173 1 - 0.0000 -
2231.52/2239.41 c 2239 5099733 913677 1 - 0.0000 -
2236.51/2244.47 c 2244 5110410 914900 1 - 0.0000 -
2241.59/2249.54 c 2250 5120110 916516 1 - 0.0000 -
2246.67/2254.60 c 2255 5130090 918143 1 - 0.0000 -
2251.65/2259.67 c 2260 5140454 919506 1 - 0.0000 -
2256.75/2264.73 c 2265 5149696 920952 1 - 0.0000 -
2261.72/2269.78 c 2270 5159313 922376 1 - 0.0000 -
2266.81/2274.84 c 2275 5169059 923876 1 - 0.0000 -
2271.79/2279.89 c 2280 5178933 924976 1 - 0.0000 -
2276.87/2284.96 c 2285 5186740 927214 1 - 0.0000 -
2281.96/2290.03 c 2290 5196123 929737 1 - 0.0000 -
2287.05/2295.10 c 2295 5205000 931429 1 - 0.0000 -
2292.04/2300.14 c 2300 5213393 933076 1 - 0.0000 -
2297.11/2305.20 c 2305 5223123 934200 1 - 0.0000 -
2302.10/2310.25 c 2310 5230720 935949 1 - 0.0000 -
2307.19/2315.32 c 2315 5239817 936954 1 - 0.0000 -
2312.16/2320.37 c 2320 5248888 937927 1 - 0.0000 -
2317.25/2325.42 c 2325 5258117 939223 1 - 0.0000 -
2322.23/2330.48 c 2330 5268387 940184 1 - 0.0000 -
2327.32/2335.57 c 2336 5278441 941209 1 - 0.0000 -
2332.41/2340.69 c 2341 5286949 942303 1 - 0.0000 -
2337.49/2345.75 c 2346 5297297 944400 1 - 0.0000 -
2342.57/2350.80 c 2351 5309104 946688 1 - 0.0000 -
2347.56/2355.89 c 2356 5320271 948237 1 - 0.0000 -
2352.64/2360.94 c 2361 5331327 950377 1 - 0.0000 -
2357.62/2365.99 c 2366 5339927 951555 1 - 0.0000 -
2362.71/2371.05 c 2371 5348532 952921 1 - 0.0000 -
2367.80/2376.10 c 2376 5358203 954315 1 - 0.0000 -
2372.88/2381.21 c 2381 5368423 955274 1 - 0.0000 -
2377.86/2386.25 c 2386 5377461 956088 1 - 0.0000 -
2382.95/2391.32 c 2391 5386438 957466 1 - 0.0000 -
2387.93/2396.39 c 2396 5396068 958466 1 - 0.0000 -
2393.01/2401.45 c 2401 5405049 959718 1 - 0.0000 -
2398.10/2406.50 c 2407 5413965 961546 1 - 0.0000 -
2403.09/2411.57 c 2412 5426468 963025 1 - 0.0000 -
2408.17/2416.61 c 2417 5436062 963853 1 - 0.0000 -
2413.15/2421.69 c 2422 5446052 964751 1 - 0.0000 -
2418.24/2426.75 c 2427 5455495 965483 1 - 0.0000 -
2423.32/2431.83 c 2432 5464463 966746 1 - 0.0000 -
2428.31/2436.89 c 2437 5473401 967891 1 - 0.0000 -
2433.39/2441.95 c 2442 5482244 969255 1 - 0.0000 -
2438.37/2446.99 c 2447 5492046 970197 1 - 0.0000 -
2443.46/2452.04 c 2452 5502246 971292 1 - 0.0000 -
2448.55/2457.12 c 2457 5510248 972251 1 - 0.0000 -
2453.53/2462.19 c 2462 5517886 974779 1 - 0.0000 -
2458.61/2467.27 c 2467 5526356 977276 1 - 0.0000 -
2463.70/2472.32 c 2472 5534452 979599 1 - 0.0000 -
2468.68/2477.37 c 2477 5543118 982265 1 - 0.0000 -
2473.76/2482.43 c 2482 5551179 983908 1 - 0.0000 -
2478.85/2487.53 c 2488 5559538 986267 1 - 0.0000 -
2483.93/2492.62 c 2493 5566998 988587 1 - 0.0000 -
2488.92/2497.68 c 2498 5574711 990108 1 - 0.0000 -
2494.00/2502.73 c 2503 5582792 991150 1 - 0.0000 -
2499.08/2507.80 c 2508 5589838 992513 1 - 0.0000 -
2504.07/2512.84 c 2513 5596822 993638 1 - 0.0000 -
2509.16/2517.90 c 2518 5605168 994988 1 - 0.0000 -
2514.13/2522.98 c 2523 5612926 996491 1 - 0.0000 -
2519.23/2528.05 c 2528 5621038 997673 1 - 0.0000 -
2524.31/2533.11 c 2533 5629589 998520 1 - 0.0000 -
2529.29/2538.17 c 2538 5638656 999333 1 - 0.0000 -
2534.37/2543.25 c 2543 5646279 1000273 1 - 0.0000 -
2539.46/2548.34 c 2548 5655667 1001581 1 - 0.0000 -
2544.54/2553.40 c 2553 5665501 1004010 1 - 0.0000 -
2549.52/2558.48 c 2558 5676379 1005632 1 - 0.0000 -
2554.61/2563.52 c 2564 5686207 1006433 1 - 0.0000 -
2559.69/2568.62 c 2569 5695506 1007644 1 - 0.0000 -
2564.68/2573.67 c 2574 5704892 1008319 1 - 0.0000 -
2569.77/2578.72 c 2579 5714837 1009742 1 - 0.0000 -
2574.85/2583.83 c 2584 5723897 1011122 1 - 0.0000 -
2579.84/2588.89 c 2589 5733499 1012811 1 - 0.0000 -
2584.92/2593.96 c 2594 5744173 1014029 1 - 0.0000 -
2590.00/2599.02 c 2599 5753299 1015097 1 - 0.0000 -
2595.09/2604.11 c 2604 5761637 1015831 1 - 0.0000 -
2600.07/2609.17 c 2609 5770371 1017691 1 - 0.0000 -
2605.15/2614.26 c 2614 5777712 1018824 1 - 0.0000 -
2610.23/2619.30 c 2619 5785767 1019932 1 - 0.0000 -
2615.21/2624.39 c 2624 5794302 1021674 1 - 0.0000 -
2620.30/2629.45 c 2629 5801767 1022982 1 - 0.0000 -
2625.38/2634.54 c 2635 5809056 1023951 1 - 0.0000 -
2630.37/2639.58 c 2640 5816958 1025680 1 - 0.0000 -
2635.45/2644.63 c 2645 5826181 1026587 1 - 0.0000 -
2640.43/2649.69 c 2650 5834776 1027500 1 - 0.0000 -
2645.52/2654.76 c 2655 5843890 1028651 1 - 0.0000 -
2650.60/2659.84 c 2660 5852994 1029476 1 - 0.0000 -
2655.58/2664.89 c 2665 5861349 1030433 1 - 0.0000 -
2660.66/2669.96 c 2670 5870343 1031758 1 - 0.0000 -
2665.76/2675.04 c 2675 5877052 1033790 1 - 0.0000 -
2670.83/2680.11 c 2680 5885569 1034972 1 - 0.0000 -
2675.82/2685.16 c 2685 5894003 1036033 1 - 0.0000 -
2680.90/2690.26 c 2690 5902654 1037599 1 - 0.0000 -
2685.99/2695.33 c 2695 5910849 1038802 1 - 0.0000 -
2690.96/2700.39 c 2700 5919211 1039809 1 - 0.0000 -
2696.04/2705.45 c 2705 5928178 1040673 1 - 0.0000 -
2701.02/2710.49 c 2710 5936829 1041526 1 - 0.0000 -
2706.11/2715.56 c 2716 5945646 1043082 1 - 0.0000 -
2711.19/2720.66 c 2721 5954413 1044259 1 - 0.0000 -
2716.27/2725.72 c 2726 5962150 1045442 1 - 0.0000 -
2721.25/2730.77 c 2731 5971225 1046595 1 - 0.0000 -
2726.33/2735.85 c 2736 5980111 1047623 1 - 0.0000 -
2731.41/2740.91 c 2741 5988534 1049065 1 - 0.0000 -
2736.39/2745.96 c 2746 5998246 1049815 1 - 0.0000 -
2741.47/2751.03 c 2751 6006750 1051334 1 - 0.0000 -
2746.55/2756.11 c 2756 6018962 1053862 1 - 0.0000 -
2751.53/2761.16 c 2761 6030283 1056028 1 - 0.0000 -
2756.61/2766.21 c 2766 6042422 1058102 1 - 0.0000 -
2761.59/2771.28 c 2771 6053660 1059920 1 - 0.0000 -
2766.66/2776.34 c 2776 6065181 1061543 1 - 0.0000 -
2771.75/2781.40 c 2781 6077345 1062497 1 - 0.0000 -
2776.72/2786.45 c 2786 6087759 1063648 1 - 0.0000 -
2781.80/2791.52 c 2792 6098272 1066475 1 - 0.0000 -
2786.88/2796.61 c 2797 6109142 1068518 1 - 0.0000 -
2791.86/2801.65 c 2802 6120040 1070256 1 - 0.0000 -
2796.95/2806.70 c 2807 6131247 1071358 1 - 0.0000 -
2802.02/2811.80 c 2812 6142311 1073798 1 - 0.0000 -
2807.00/2816.89 c 2817 6152358 1074916 1 - 0.0000 -
2812.08/2821.95 c 2822 6160824 1075928 1 - 0.0000 -
2817.17/2827.02 c 2827 6169535 1077024 1 - 0.0000 -
2822.15/2832.07 c 2832 6178873 1077869 1 - 0.0000 -
2827.23/2837.12 c 2837 6187185 1079892 1 - 0.0000 -
2832.21/2842.17 c 2842 6197602 1081389 1 - 0.0000 -
2837.28/2847.24 c 2847 6208720 1082594 1 - 0.0000 -
2842.26/2852.29 c 2852 6217364 1083588 1 - 0.0000 -
2847.35/2857.34 c 2857 6226547 1084461 1 - 0.0000 -
2852.43/2862.41 c 2862 6235608 1085366 1 - 0.0000 -
2857.51/2867.50 c 2868 6243920 1086484 1 - 0.0000 -
2862.48/2872.54 c 2873 6251964 1087525 1 - 0.0000 -
2867.47/2877.59 c 2878 6259231 1089288 1 - 0.0000 -
2872.54/2882.69 c 2883 6266689 1091135 1 - 0.0000 -
2877.62/2887.74 c 2888 6274843 1092353 1 - 0.0000 -
2882.71/2892.82 c 2893 6282558 1093610 1 - 0.0000 -
2887.68/2897.89 c 2898 6290882 1094849 1 - 0.0000 -
2892.76/2902.94 c 2903 6299073 1095933 1 - 0.0000 -
2897.84/2908.03 c 2908 6307092 1096962 1 - 0.0000 -
2902.92/2913.10 c 2913 6318372 1097903 1 - 0.0000 -
2907.90/2918.17 c 2918 6327807 1098582 1 - 0.0000 -
2912.98/2923.23 c 2923 6334914 1099553 1 - 0.0000 -
2917.97/2928.29 c 2928 6341457 1100682 1 - 0.0000 -
2923.05/2933.36 c 2933 6348981 1102188 1 - 0.0000 -
2928.12/2938.46 c 2938 6356982 1102913 1 - 0.0000 -
2933.20/2943.51 c 2944 6364965 1103894 1 - 0.0000 -
2938.18/2948.56 c 2949 6372930 1104653 1 - 0.0000 -
2943.26/2953.62 c 2954 6380835 1105402 1 - 0.0000 -
2948.24/2958.67 c 2959 6389245 1106300 1 - 0.0000 -
2953.32/2963.73 c 2964 6395993 1107453 1 - 0.0000 -
2958.40/2968.82 c 2969 6404807 1108012 1 - 0.0000 -
2963.38/2973.87 c 2974 6412512 1108811 1 - 0.0000 -
2968.47/2978.94 c 2979 6422040 1109535 1 - 0.0000 -
2973.55/2984.01 c 2984 6429974 1110306 1 - 0.0000 -
2978.53/2989.07 c 2989 6435822 1111976 1 - 0.0000 -
2983.61/2994.15 c 2994 6441989 1113016 1 - 0.0000 -
2988.69/2999.23 c 2999 6449726 1113816 1 - 0.0000 -
2993.67/3004.28 c 3004 6456586 1115728 1 - 0.0000 -
2998.75/3009.35 c 3009 6464396 1117193 1 - 0.0000 -
3003.82/3014.44 c 3014 6471894 1118471 1 - 0.0000 -
3008.80/3019.49 c 3020 6479327 1119469 1 - 0.0000 -
3013.89/3024.54 c 3025 6487122 1120325 1 - 0.0000 -
3018.97/3029.61 c 3030 6496020 1120995 1 - 0.0000 -
3023.94/3034.67 c 3035 6503672 1121978 1 - 0.0000 -
3029.03/3039.74 c 3040 6512553 1124534 1 - 0.0000 -
3034.10/3044.81 c 3045 6522297 1126591 1 - 0.0000 -
3039.09/3049.86 c 3050 6532960 1129131 1 - 0.0000 -
3044.17/3054.93 c 3055 6542943 1130808 1 - 0.0000 -
3049.25/3060.00 c 3060 6553243 1132112 1 - 0.0000 -
3054.23/3065.07 c 3065 6563863 1133595 1 - 0.0000 -
3059.31/3070.17 c 3070 6572318 1135075 1 - 0.0000 -
3064.39/3075.21 c 3075 6582733 1136984 1 - 0.0000 -
3069.37/3080.29 c 3080 6591785 1137746 1 - 0.0000 -
3074.44/3085.33 c 3085 6601401 1138261 1 - 0.0000 -
3079.53/3090.40 c 3090 6610913 1139319 1 - 0.0000 -
3084.51/3095.49 c 3095 6620987 1141273 1 - 0.0000 -
3089.59/3100.53 c 3101 6632220 1142687 1 - 0.0000 -
3094.66/3105.62 c 3106 6639765 1143959 1 - 0.0000 -
3099.64/3110.68 c 3111 6647827 1144826 1 - 0.0000 -
3104.73/3115.75 c 3116 6655551 1145804 1 - 0.0000 -
3109.80/3120.82 c 3121 6662787 1146730 1 - 0.0000 -
3114.79/3125.87 c 3126 6671830 1147734 1 - 0.0000 -
3119.87/3130.96 c 3131 6680037 1148666 1 - 0.0000 -
3124.96/3136.05 c 3136 6687946 1149667 1 - 0.0000 -
3130.04/3141.11 c 3141 6696779 1150605 1 - 0.0000 -
3135.11/3146.22 c 3146 6705422 1151634 1 - 0.0000 -
3140.19/3151.31 c 3151 6713272 1152332 1 - 0.0000 -
3145.18/3156.39 c 3156 6720175 1153660 1 - 0.0000 -
3150.25/3161.45 c 3161 6727665 1154531 1 - 0.0000 -
3155.33/3166.53 c 3167 6735201 1155699 1 - 0.0000 -
3160.41/3171.60 c 3172 6742621 1157350 1 - 0.0000 -
3165.49/3176.70 c 3177 6749960 1158091 1 - 0.0000 -
3170.48/3181.77 c 3182 6757910 1158828 1 - 0.0000 -
3175.55/3186.82 c 3187 6766167 1159554 1 - 0.0000 -
3180.53/3191.89 c 3192 6773897 1160613 1 - 0.0000 -
3185.61/3196.96 c 3197 6781592 1162177 1 - 0.0000 -
3190.70/3202.00 c 3202 6789816 1163824 1 - 0.0000 -
3195.68/3207.07 c 3207 6796863 1165172 1 - 0.0000 -
3200.76/3212.15 c 3212 6804761 1166511 1 - 0.0000 -
3205.83/3217.23 c 3217 6813709 1167504 1 - 0.0000 -
3210.81/3222.28 c 3222 6822476 1168973 1 - 0.0000 -
3215.89/3227.33 c 3227 6829838 1170382 1 - 0.0000 -
3220.87/3232.38 c 3232 6836288 1171322 1 - 0.0000 -
3225.95/3237.49 c 3238 6842753 1172631 1 - 0.0000 -
3231.03/3242.58 c 3243 6848876 1173292 1 - 0.0000 -
3236.11/3247.65 c 3248 6857010 1174184 1 - 0.0000 -
3241.18/3252.73 c 3253 6865063 1174672 1 - 0.0000 -
3246.17/3257.77 c 3258 6872800 1175274 1 - 0.0000 -
3251.25/3262.83 c 3263 6881965 1176214 1 - 0.0000 -
3256.33/3267.95 c 3268 6890873 1177172 1 - 0.0000 -
3261.41/3273.03 c 3273 6900374 1177985 1 - 0.0000 -
3266.40/3278.07 c 3278 6908430 1179210 1 - 0.0000 -
3271.48/3283.13 c 3283 6914865 1180373 1 - 0.0000 -
3276.55/3288.20 c 3288 6922446 1181465 1 - 0.0000 -
3281.53/3293.27 c 3293 6928524 1182574 1 - 0.0000 -
3286.61/3298.32 c 3298 6935677 1183553 1 - 0.0000 -
3291.69/3303.40 c 3303 6944753 1184547 1 - 0.0000 -
3296.67/3308.45 c 3308 6952488 1185624 1 - 0.0000 -
3301.75/3313.53 c 3314 6959676 1186081 1 - 0.0000 -
3306.73/3318.57 c 3319 6967667 1186740 1 - 0.0000 -
3311.81/3323.66 c 3324 6975683 1188116 1 - 0.0000 -
3316.89/3328.75 c 3329 6983381 1190207 1 - 0.0000 -
3321.97/3333.80 c 3334 6991141 1191756 1 - 0.0000 -
3326.95/3338.87 c 3339 6998601 1192816 1 - 0.0000 -
3332.03/3343.96 c 3344 7005944 1194156 1 - 0.0000 -
3337.12/3349.05 c 3349 7012624 1194964 1 - 0.0000 -
3342.10/3354.09 c 3354 7019620 1195953 1 - 0.0000 -
3347.18/3359.16 c 3359 7027166 1196991 1 - 0.0000 -
3352.25/3364.25 c 3364 7034843 1197627 1 - 0.0000 -
3357.34/3369.35 c 3369 7042026 1198841 1 - 0.0000 -
3362.41/3374.48 c 3374 7049399 1199590 1 - 0.0000 -
3367.49/3379.55 c 3380 7057036 1200311 1 - 0.0000 -
3372.57/3384.61 c 3385 7064271 1201044 1 - 0.0000 -
3377.65/3389.73 c 3390 7071338 1201791 1 - 0.0000 -
3382.64/3394.80 c 3395 7077645 1202946 1 - 0.0000 -
3387.71/3399.86 c 3400 7085331 1203661 1 - 0.0000 -
3392.80/3404.95 c 3405 7092738 1204464 1 - 0.0000 -
3397.88/3410.01 c 3410 7100174 1205196 1 - 0.0000 -
3402.86/3415.06 c 3415 7107627 1205912 1 - 0.0000 -
3407.94/3420.12 c 3420 7115288 1206959 1 - 0.0000 -
3412.92/3425.17 c 3425 7122237 1208027 1 - 0.0000 -
3417.99/3430.26 c 3430 7129867 1208767 1 - 0.0000 -
3423.08/3435.37 c 3435 7137324 1209436 1 - 0.0000 -
3428.15/3440.41 c 3440 7144222 1210427 1 - 0.0000 -
3433.14/3445.46 c 3445 7150613 1211391 1 - 0.0000 -
3438.22/3450.54 c 3451 7158181 1212225 1 - 0.0000 -
3443.30/3455.62 c 3456 7166625 1214183 1 - 0.0000 -
3448.38/3460.71 c 3461 7172679 1215055 1 - 0.0000 -
3453.36/3465.75 c 3466 7179395 1216056 1 - 0.0000 -
3458.44/3470.83 c 3471 7186345 1217059 1 - 0.0000 -
3463.52/3475.91 c 3476 7193870 1217867 1 - 0.0000 -
3468.50/3480.95 c 3481 7201539 1218977 1 - 0.0000 -
3473.58/3486.01 c 3486 7208157 1220383 1 - 0.0000 -
3478.56/3491.07 c 3491 7215132 1222059 1 - 0.0000 -
3483.64/3496.12 c 3496 7220921 1223363 1 - 0.0000 -
3488.72/3501.22 c 3501 7227410 1224512 1 - 0.0000 -
3493.70/3506.26 c 3506 7233826 1225571 1 - 0.0000 -
3498.78/3511.34 c 3511 7240835 1226481 1 - 0.0000 -
3503.86/3516.42 c 3516 7248450 1227286 1 - 0.0000 -
3508.84/3521.49 c 3522 7255238 1228096 1 - 0.0000 -
3513.93/3526.55 c 3527 7261735 1228922 1 - 0.0000 -
3519.00/3531.69 c 3532 7269404 1229539 1 - 0.0000 -
3524.08/3536.75 c 3537 7276892 1230266 1 - 0.0000 -
3529.16/3541.82 c 3542 7284626 1231260 1 - 0.0000 -
3534.15/3546.86 c 3547 7291167 1231870 1 - 0.0000 -
3539.22/3551.91 c 3552 7298505 1232866 1 - 0.0000 -
3544.21/3556.99 c 3557 7305815 1233427 1 - 0.0000 -
3549.29/3562.07 c 3562 7314161 1234225 1 - 0.0000 -
3554.37/3567.15 c 3567 7320676 1234766 1 - 0.0000 -
3559.35/3572.19 c 3572 7329501 1237214 1 - 0.0000 -
3564.42/3577.25 c 3577 7339244 1237864 1 - 0.0000 -
3569.50/3582.31 c 3582 7348314 1238669 1 - 0.0000 -
3574.49/3587.39 c 3587 7356629 1239696 1 - 0.0000 -
3579.57/3592.47 c 3592 7365591 1240780 1 - 0.0000 -
3584.64/3597.53 c 3598 7372685 1241548 1 - 0.0000 -
3587.54/3600.44 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.54/3600.44 c Total Time : 3600.4500
3587.54/3600.44 c solving : 3600.4500
3587.54/3600.45 c presolving : 0.0039 (included in solving)
3587.54/3600.45 c B&B Tree :
3587.54/3600.45 c nodes (total) : 1
3587.54/3600.45 c Solution :
3587.54/3600.45 c Solutions found : 0
3587.54/3600.45 c Primal Bound : -
3587.54/3600.45 c Dual Bound : +0.00000000000000e+00
3587.54/3600.45 c Gap : -
3587.54/3600.45 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 (62745 MiB free)
memory of node 1: 64473 MiB (62801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464499-1722385804/watcher-4464499-1722385804 -o /tmp/evaluation-result-4464499-1722385804/solver-4464499-1722385804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464499-1722385804.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=33109, runsolver pid=33106
Current StackSize limit: 8192 KiB
[startup+0.100182 s]*
/proc/loadavg: 4.13 4.18 4.18 5/267 33112
/proc/meminfo: memFree=128543956/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=27156 CPUtime=0.09 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3063 0 0 0 9 0 0 0 20 0 3 0 5182394 110895104 6789 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 6789 2998 3035 0 9270 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 1556 0 0 0 8 0 0 0 20 0 3 0 5182395 110895104 6789 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=237146210664 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 6789 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 27156 KiB
[startup+0.206184 s]*
/proc/loadavg: 4.13 4.18 4.18 5/267 33112
/proc/meminfo: memFree=128539724/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=30304 CPUtime=0.19 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3950 0 0 0 19 0 0 0 20 0 3 0 5182394 110895104 7576 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 7576 2998 3035 0 10150 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=664970838410264707 CPUtime=0.18 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 2443 0 0 0 18 0 0 0 20 0 3 0 5182395 110895104 7576 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=645 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 7576 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 30304 KiB
[startup+0.305166 s]*
/proc/loadavg: 4.13 4.18 4.18 5/267 33112
/proc/meminfo: memFree=128538044/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=31356 CPUtime=0.28 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 4249 0 0 0 28 0 0 0 20 0 3 0 5182394 110895104 7839 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 7839 2998 3035 0 10355 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=-5155629115539811205 CPUtime=0.27 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 2742 0 0 0 27 0 0 0 20 0 3 0 5182395 110895104 7839 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=0 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 7839 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 31356 KiB
[startup+0.701167 s]
/proc/loadavg: 4.13 4.18 4.18 5/267 33112
/proc/meminfo: memFree=128535344/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=33740 CPUtime=0.66 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 5068 0 0 0 66 0 0 0 20 0 3 0 5182394 110895104 8435 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 8435 2998 3035 0 10777 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=0 CPUtime=0.65 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3561 0 0 0 65 0 0 0 20 0 3 0 5182395 110895104 8435 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=0 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 8435 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 33740 KiB
[startup+1.50117 s]
/proc/loadavg: 4.13 4.18 4.18 5/267 33112
/proc/meminfo: memFree=128531048/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=35844 CPUtime=1.46 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 8302 0 0 0 145 1 0 0 20 0 3 0 5182394 110895104 8961 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 8961 2998 3035 0 11132 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=0 CPUtime=1.44 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 6781 0 0 0 144 0 0 0 20 0 3 0 5182395 110895104 8961 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=0 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 8961 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 35844 KiB
[startup+3.10618 s]
/proc/loadavg: 4.12 4.18 4.18 5/269 33114
/proc/meminfo: memFree=127929500/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=38808 CPUtime=3.04 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 9342 0 0 0 303 1 0 0 20 0 3 0 5182394 110895104 9702 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 9702 2998 3035 0 11931 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=2273 CPUtime=3.03 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 7819 0 0 0 302 1 0 0 20 0 3 0 5182395 110895104 9702 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=0 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 9702 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 38808 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.18 4.18 5/269 33116
/proc/meminfo: memFree=127634796/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=39828 CPUtime=6.22 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 12516 0 0 0 620 2 0 0 20 0 3 0 5182394 110895104 9957 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 9957 2998 3035 0 12093 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=-5155629115539811205 CPUtime=6.21 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 10973 0 0 0 619 2 0 0 20 0 3 0 5182395 110895104 9957 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=39816 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 9957 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 39828 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.17 4.17 5/269 33116
/proc/meminfo: memFree=127610532/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=48948 CPUtime=12.6 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 25120 0 0 0 1254 6 0 0 20 0 3 0 5182394 110895104 12237 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 12237 2998 3035 0 14428 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=39072 CPUtime=12.58 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 23547 0 0 0 1253 5 0 0 20 0 3 0 5182395 110895104 12237 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=0 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 12237 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 48948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.18 4.18 5/268 33174
/proc/meminfo: memFree=127576604/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=108296 memory=60884 CPUtime=25.36 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 41648 0 0 0 2523 13 0 0 20 0 3 0 5182394 110895104 15221 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 27074 15221 3014 3035 0 17525 0
[pid=33109/tid=33111] ppid=33106 vsize=108296 memory=43500 CPUtime=25.34 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 40036 0 0 0 2522 12 0 0 20 0 3 0 5182395 110895104 15221 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=108296 memory=11556 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5182395 110895104 15221 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 60884 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.17 4.17 5/268 33180
/proc/meminfo: memFree=127433516/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=173832 memory=87788 CPUtime=50.87 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 79076 0 0 0 5061 26 0 0 20 0 3 0 5182394 178003968 21947 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 43458 21947 3014 3035 0 24260 0
[pid=33109/tid=33111] ppid=33106 vsize=173832 memory=87716 CPUtime=50.85 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 77412 0 0 0 5059 26 0 0 20 0 3 0 5182395 178003968 21947 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=173832 memory=87712 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5182395 178003968 21947 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 173832 KiB
Current children cumulated memory: 87788 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/267 33189
/proc/meminfo: memFree=127350880/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=173832 memory=129140 CPUtime=101.88 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 139405 0 0 0 10137 51 0 0 20 0 3 0 5182394 178003968 32285 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 43458 32285 3014 3035 0 34239 0
[pid=33109/tid=33111] ppid=33106 vsize=173832 memory=126736 CPUtime=101.87 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 137685 0 0 0 10136 51 0 0 20 0 3 0 5182395 178003968 32285 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=173832 memory=125460 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5182395 178003968 32285 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 173832 KiB
Current children cumulated memory: 129140 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/267 33199
/proc/meminfo: memFree=127031644/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=245020 memory=179428 CPUtime=161.68 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 193464 0 0 0 16081 87 0 0 20 0 3 0 5182394 250900480 44857 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 61255 44857 3014 3035 0 47109 0
[pid=33109/tid=33111] ppid=33106 vsize=245020 memory=172524 CPUtime=161.66 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 191694 0 0 0 16079 87 0 0 20 0 3 0 5182395 250900480 44857 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=245020 memory=11556 CPUtime=0 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5182395 250900480 44857 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 245020 KiB
################
# More data... #
################
/proc/33109/statm: 388741 369638 3014 3035 0 376267 0
[pid=33109/tid=33111] ppid=33106 vsize=1554964 memory=1463412 CPUtime=3389.98 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3644621 0 0 0 337532 1466 0 0 20 0 3 0 5182395 1592283136 369638 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1554964 memory=1473672 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 5182395 1592283136 369638 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3390.2 s
Current children cumulated vsize: 1554964 KiB
Current children cumulated memory: 1478552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.22 4.17 5/264 34799
/proc/meminfo: memFree=124277688/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1554964 memory=1490700 CPUtime=3449.97 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3712476 0 0 0 343508 1489 0 0 20 0 3 0 5182394 1592283136 372675 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 388741 372675 3014 3035 0 379047 0
[pid=33109/tid=33111] ppid=33106 vsize=1554964 memory=1473672 CPUtime=3449.75 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3709586 0 0 0 343491 1484 0 0 20 0 3 0 5182395 1592283136 372675 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1554964 memory=1484284 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 66 0 0 0 1 2 0 0 20 0 3 0 5182395 1592283136 372675 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3449.97 s
Current children cumulated vsize: 1554964 KiB
Current children cumulated memory: 1490700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/267 34980
/proc/meminfo: memFree=124255024/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1574040 memory=1505748 CPUtime=3509.73 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3789115 0 0 0 349465 1508 0 0 20 0 3 0 5182394 1611816960 376437 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 393510 376437 3014 3035 0 387160 0
[pid=33109/tid=33111] ppid=33106 vsize=1574040 memory=1495340 CPUtime=3509.5 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3786208 0 0 0 349447 1503 0 0 20 0 3 0 5182395 1611816960 376437 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1574040 memory=5456 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 67 0 0 0 1 2 0 0 20 0 3 0 5182395 1611816960 376437 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3509.73 s
Current children cumulated vsize: 1574040 KiB
Current children cumulated memory: 1505748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/267 34992
/proc/meminfo: memFree=124213700/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1520328 CPUtime=3569.5 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3856308 0 0 0 355422 1528 0 0 20 0 3 0 5182394 1679978496 380082 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 380082 3014 3035 0 390058 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=12192 CPUtime=3569.27 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3853386 0 0 0 355404 1523 0 0 20 0 3 0 5182395 1679978496 380082 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=100 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 380082 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3569.5 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1520328 KiB
[startup+3600.46 s]
# the end of solver process 33109 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.18 s, system=15.4232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.19 4.16 5/267 34992
/proc/meminfo: memFree=124213112/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1520712 CPUtime=3571.2 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3857836 0 0 0 355591 1529 0 0 20 0 3 0 5182394 1679978496 380178 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 380178 3014 3035 0 390154 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=-7595720463122260096 CPUtime=3570.97 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3854913 0 0 0 355573 1524 0 0 20 0 3 0 5182395 1679978496 380178 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=-5155633680935826750 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 380178 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1520712 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.18 4.16 4/252 35055
/proc/meminfo: memFree=125509724/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1521712 CPUtime=3577.57 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3861060 0 0 0 356227 1530 0 0 20 0 3 0 5182394 1679978496 380428 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 380428 3014 3035 0 390394 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=11556 CPUtime=3577.34 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3858136 0 0 0 356209 1525 0 0 20 0 3 0 5182395 1679978496 380428 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=1521684 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 380428 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3577.57 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1521712 KiB
[startup+3596.8 s]
/proc/loadavg: 3.90 4.13 4.15 2/240 35088
/proc/meminfo: memFree=128172368/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1523716 CPUtime=3583.95 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3867524 0 0 0 356863 1532 0 0 20 0 3 0 5182394 1679978496 380929 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 380929 3014 3035 0 390890 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=1519292 CPUtime=3583.71 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3864600 0 0 0 356844 1527 0 0 20 0 3 0 5182395 1679978496 380929 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=1522976 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 380929 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3583.95 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1523716 KiB
[startup+3598.4 s]
/proc/loadavg: 3.66 4.08 4.13 2/240 35088
/proc/meminfo: memFree=128171240/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1524320 CPUtime=3585.55 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3923675 0 0 0 357019 1536 0 0 20 0 3 0 5182394 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 381080 3014 3035 0 390954 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=5384 CPUtime=3585.3 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3920748 0 0 0 357000 1530 0 0 20 0 3 0 5182395 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=25976 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1524320 KiB
[startup+3599.2 s]
/proc/loadavg: 3.66 4.08 4.13 2/240 35088
/proc/meminfo: memFree=128171096/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1524320 CPUtime=3586.34 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3973505 0 0 0 357095 1539 0 0 20 0 3 0 5182394 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 381080 3014 3035 0 390954 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=12916 CPUtime=3586.1 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3970577 0 0 0 357077 1533 0 0 20 0 3 0 5182395 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=2292 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1524320 KiB
[startup+3600 s]*
/proc/loadavg: 3.66 4.08 4.13 2/240 35088
/proc/meminfo: memFree=128171096/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1640604 memory=1524320 CPUtime=3587.14 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3978314 0 0 0 357175 1539 0 0 20 0 3 0 5182394 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 410151 381080 3014 3035 0 390954 0
[pid=33109/tid=33111] ppid=33106 vsize=1640604 memory=-7595720463122260096 CPUtime=3586.91 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3975387 0 0 0 357157 1534 0 0 20 0 3 0 5182395 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1640604 memory=-5155633680935826750 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1679978496 381080 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 1640604 KiB
Current children cumulated memory: 1524320 KiB
[startup+3600.4 s]
/proc/loadavg: 3.66 4.08 4.13 2/240 35088
/proc/meminfo: memFree=128171096/131524600 swapFree=131071996/131071996
[pid=33109] ppid=33106 vsize=1608736 memory=1492464 CPUtime=3587.54 cores=4,6
/proc/33109/stat : 33109 (fscip) S 33106 33109 28837 0 -1 1077936128 3979280 0 0 0 357215 1539 0 0 20 0 3 0 5182394 1647345664 373116 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
/proc/33109/statm: 402184 373116 3014 3035 0 382987 0
[pid=33109/tid=33111] ppid=33106 vsize=1608736 memory=7376 CPUtime=3587.3 cores=4,6
/proc/33109/task/33111/stat : 33111 (fscip) R 33106 33109 28837 0 -1 4194368 3976352 0 0 0 357196 1534 0 0 20 0 3 0 5182395 1647345664 373116 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
[pid=33109/tid=33112] ppid=33106 vsize=1608736 memory=28308 CPUtime=0.03 cores=4,6
/proc/33109/task/33112/stat : 33112 (fscip) S 33106 33109 28837 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 5182395 1647345664 373116 134679101440 4194304 16623229 140729406047680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37801984 140729406051350 140729406051466 140729406051466 140729406058480 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 1608736 KiB
Current children cumulated memory: 1492464 KiB
Child status: 0
Real time (s): 3600.46
CPU time (s): 3587.61
CPU user time (s): 3572.18
CPU system time (s): 15.4232
CPU usage (%): 99.6431
Max. virtual memory (cumulated for all children) (KiB): 1640604
Max. memory (cumulated for all children) (KiB): 1524320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.18
system time used= 15.4232
maximum resident set size= 1524320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3979650
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= 11034
involuntary context switches= 4801
# summary of solver processes directly reported to runsolver:
# pid: 33109
# total CPU time (s): 3587.61
# total CPU user time (s): 3572.18
# total CPU system time (s): 15.4232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30522 second user time and 16.6633 second system time
The end
Begin job on nodeC032 at 2024-07-31 02:30:04
IDJOB=4464499
IDBENCH=160346
IDSOLVER=3092
FILE ID=nodeC032/4464499-1722385804
RUNJOBID= nodeC032-1722378597-28848
SLURM_JOB_ID= 8249855
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x20split.cnf-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464499-1722385804/watcher-4464499-1722385804 -o /tmp/evaluation-result-4464499-1722385804/solver-4464499-1722385804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464499-1722385804.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7310a3aead353a130416288b6d68f4f
RANDOM SEED=83643309
nodeC032.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 : 3631.773
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.77
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 : 3684.326
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.64
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 : 3675.269
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.77
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.929
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.64
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 : 3661.267
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.77
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 : 3684.331
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.64
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 : 3663.407
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.77
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 : 3600.181
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.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128560692 kB
MemAvailable: 128868020 kB
Buffers: 97284 kB
Cached: 1045696 kB
SwapCached: 0 kB
Active: 272936 kB
Inactive: 2212440 kB
Active(anon): 1532 kB
Inactive(anon): 1362192 kB
Active(file): 271404 kB
Inactive(file): 850248 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117820 kB
Writeback: 4 kB
AnonPages: 1342408 kB
Mapped: 123752 kB
Shmem: 21332 kB
KReclaimable: 51000 kB
Slab: 132396 kB
SReclaimable: 51000 kB
SUnreclaim: 81396 kB
KernelStack: 4256 kB
PageTables: 11868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1488640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 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: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC032 at 2024-07-31 03:30:05