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 = 22392832, getVmSize() = 22392832, SCIPgetMemUsed() = 746169, SCIPgetMemTotal() = 903833, 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 = 15437824, getVmSize() = 23920640, SCIPgetMemUsed() = 876864, SCIPgetMemTotal() = 1433728, 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-4445360-1721321863
0.00/0.00 c Variables : 77 (77 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 : 77 (77 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)
4.97/5.08 c 5 46837 3989 1 - 0.0000 -
10.06/10.13 c 10 94728 7682 1 - 0.0000 -
15.04/15.18 c 15 153025 11881 1 - 0.0000 -
20.12/20.22 c 20 205653 15375 1 - 0.0000 -
25.11/25.27 c 25 260160 18879 1 - 0.0000 -
30.18/30.32 c 30 315110 22325 1 - 0.0000 -
35.16/35.37 c 35 367926 26158 1 - 0.0000 -
40.25/40.42 c 40 422382 29464 1 - 0.0000 -
45.23/45.47 c 45 475717 32519 1 - 0.0000 -
50.31/50.52 c 51 527288 35406 1 - 0.0000 -
55.30/55.57 c 56 581180 38190 1 - 0.0000 -
60.38/60.62 c 61 637213 40871 1 - 0.0000 -
65.36/65.66 c 66 690653 43127 1 - 0.0000 -
70.45/70.71 c 71 742649 45376 1 - 0.0000 -
75.43/75.76 c 76 796012 47549 1 - 0.0000 -
80.50/80.81 c 81 854788 50941 1 - 0.0000 -
85.49/85.86 c 86 906335 53042 1 - 0.0000 -
90.57/90.91 c 91 968377 55910 1 - 0.0000 -
95.56/95.96 c 96 1026108 58365 1 - 0.0000 -
100.64/101.01 c 101 1079718 60513 1 - 0.0000 -
105.63/106.06 c 106 1132104 64347 1 - 0.0000 -
110.70/111.11 c 111 1184783 67662 1 - 0.0000 -
115.69/116.16 c 116 1233673 71016 1 - 0.0000 -
120.77/121.22 c 121 1285358 73631 1 - 0.0000 -
125.75/126.26 c 126 1338590 77367 1 - 0.0000 -
130.83/131.31 c 131 1392099 80296 1 - 0.0000 -
135.82/136.36 c 136 1446196 83203 1 - 0.0000 -
140.90/141.41 c 141 1501066 86018 1 - 0.0000 -
145.88/146.46 c 146 1553829 88624 1 - 0.0000 -
150.97/151.51 c 152 1608362 91580 1 - 0.0000 -
155.95/156.56 c 157 1663705 94627 1 - 0.0000 -
161.03/161.63 c 162 1719132 97738 1 - 0.0000 -
166.02/166.68 c 167 1774398 100496 1 - 0.0000 -
171.10/171.74 c 172 1828903 102759 1 - 0.0000 -
176.09/176.79 c 177 1882457 104985 1 - 0.0000 -
181.17/181.86 c 182 1936971 107050 1 - 0.0000 -
186.25/186.91 c 187 1991889 109640 1 - 0.0000 -
191.24/191.96 c 192 2044678 111855 1 - 0.0000 -
196.32/197.01 c 197 2100221 114367 1 - 0.0000 -
201.31/202.06 c 202 2154776 116968 1 - 0.0000 -
206.39/207.11 c 207 2211957 119581 1 - 0.0000 -
211.38/212.16 c 212 2264233 121843 1 - 0.0000 -
216.45/217.21 c 217 2316094 124442 1 - 0.0000 -
221.44/222.26 c 222 2366165 127170 1 - 0.0000 -
226.53/227.31 c 227 2424812 129759 1 - 0.0000 -
231.51/232.36 c 232 2478138 131982 1 - 0.0000 -
236.59/237.41 c 237 2535502 134308 1 - 0.0000 -
241.58/242.46 c 242 2586021 136677 1 - 0.0000 -
246.66/247.51 c 248 2644197 139423 1 - 0.0000 -
251.74/252.60 c 253 2698403 142435 1 - 0.0000 -
256.72/257.65 c 258 2754075 144519 1 - 0.0000 -
261.81/262.70 c 263 2809247 146817 1 - 0.0000 -
266.79/267.76 c 268 2869180 149448 1 - 0.0000 -
271.88/272.81 c 273 2925299 151590 1 - 0.0000 -
276.86/277.86 c 278 2980083 153890 1 - 0.0000 -
281.95/282.94 c 283 3038508 156315 1 - 0.0000 -
286.92/287.99 c 288 3097037 158890 1 - 0.0000 -
292.01/293.04 c 293 3152072 161261 1 - 0.0000 -
296.99/298.10 c 298 3201777 164209 1 - 0.0000 -
302.08/303.15 c 303 3263061 167063 1 - 0.0000 -
307.15/308.20 c 308 3318246 170828 1 - 0.0000 -
312.24/313.32 c 313 3369807 173525 1 - 0.0000 -
317.32/318.40 c 318 3428534 175826 1 - 0.0000 -
322.40/323.50 c 324 3488523 178757 1 - 0.0000 -
327.39/328.55 c 329 3557489 181841 1 - 0.0000 -
332.47/333.60 c 334 3624783 185113 1 - 0.0000 -
337.45/338.66 c 339 3688075 188147 1 - 0.0000 -
342.53/343.71 c 344 3750574 191061 1 - 0.0000 -
347.51/348.76 c 349 3808117 193062 1 - 0.0000 -
352.60/353.82 c 354 3862534 195553 1 - 0.0000 -
357.58/358.87 c 359 3918550 197770 1 - 0.0000 -
362.66/363.92 c 364 3976331 200452 1 - 0.0000 -
367.64/368.97 c 369 4038744 203629 1 - 0.0000 -
372.73/374.02 c 374 4100273 206340 1 - 0.0000 -
377.71/379.07 c 379 4157097 208975 1 - 0.0000 -
382.80/384.12 c 384 4214225 211049 1 - 0.0000 -
387.78/389.18 c 389 4268225 213273 1 - 0.0000 -
392.96/394.30 c 394 4324236 219744 1 - 0.0000 -
397.94/399.36 c 399 4383085 222863 1 - 0.0000 -
403.02/404.41 c 404 4447210 225634 1 - 0.0000 -
408.01/409.46 c 409 4504370 228155 1 - 0.0000 -
413.20/414.61 c 415 4559356 231381 1 - 0.0000 -
418.17/419.66 c 420 4625579 233824 1 - 0.0000 -
423.26/424.71 c 425 4686456 236423 1 - 0.0000 -
428.25/429.76 c 430 4747938 238849 1 - 0.0000 -
433.33/434.81 c 435 4809452 241123 1 - 0.0000 -
438.32/439.86 c 440 4868528 243731 1 - 0.0000 -
443.40/444.91 c 445 4928884 246365 1 - 0.0000 -
448.38/449.96 c 450 4984426 248978 1 - 0.0000 -
453.47/455.04 c 455 5045303 251617 1 - 0.0000 -
458.46/460.09 c 460 5103427 254165 1 - 0.0000 -
463.54/465.14 c 465 5163505 256755 1 - 0.0000 -
468.53/470.19 c 470 5220907 258933 1 - 0.0000 -
473.61/475.24 c 475 5276567 261170 1 - 0.0000 -
478.69/480.33 c 480 5332819 263584 1 - 0.0000 -
483.67/485.38 c 485 5385808 266147 1 - 0.0000 -
488.76/490.43 c 490 5448399 268638 1 - 0.0000 -
493.74/495.48 c 495 5501732 270685 1 - 0.0000 -
498.83/500.53 c 501 5558338 273166 1 - 0.0000 -
503.81/505.58 c 506 5613955 275780 1 - 0.0000 -
508.90/510.63 c 511 5673460 278091 1 - 0.0000 -
513.89/515.68 c 516 5735480 280965 1 - 0.0000 -
518.97/520.75 c 521 5789271 283048 1 - 0.0000 -
524.05/525.82 c 526 5844759 285424 1 - 0.0000 -
529.03/530.87 c 531 5901166 287826 1 - 0.0000 -
534.12/535.93 c 536 5957752 289968 1 - 0.0000 -
539.11/540.98 c 541 6016829 292347 1 - 0.0000 -
544.19/546.03 c 546 6074753 295120 1 - 0.0000 -
549.18/551.08 c 551 6133691 297772 1 - 0.0000 -
554.26/556.17 c 556 6195782 300219 1 - 0.0000 -
559.34/561.22 c 561 6255234 302354 1 - 0.0000 -
564.32/566.29 c 566 6306156 307228 1 - 0.0000 -
569.41/571.34 c 571 6363655 310295 1 - 0.0000 -
574.39/576.39 c 576 6421702 312538 1 - 0.0000 -
579.48/581.45 c 581 6479455 315157 1 - 0.0000 -
584.56/586.50 c 587 6542558 318625 1 - 0.0000 -
589.55/591.55 c 592 6602839 321228 1 - 0.0000 -
594.64/596.60 c 597 6662320 323078 1 - 0.0000 -
599.61/601.65 c 602 6724032 325488 1 - 0.0000 -
604.70/606.70 c 607 6771431 327663 1 - 0.0000 -
609.68/611.75 c 612 6828240 329964 1 - 0.0000 -
614.77/616.80 c 617 6892709 332272 1 - 0.0000 -
619.86/621.94 c 622 6953760 335055 1 - 0.0000 -
624.84/626.99 c 627 7013376 337337 1 - 0.0000 -
629.93/632.04 c 632 7069855 339301 1 - 0.0000 -
634.91/637.09 c 637 7125836 341790 1 - 0.0000 -
639.99/642.14 c 642 7181803 344089 1 - 0.0000 -
644.98/647.19 c 647 7233383 345963 1 - 0.0000 -
650.16/652.30 c 652 7291058 348628 1 - 0.0000 -
655.15/657.34 c 657 7349467 350827 1 - 0.0000 -
660.13/662.39 c 662 7403155 353192 1 - 0.0000 -
665.21/667.46 c 667 7462115 355552 1 - 0.0000 -
670.40/672.65 c 673 7530748 358299 1 - 0.0000 -
675.49/677.70 c 678 7603862 360791 1 - 0.0000 -
680.46/682.75 c 683 7664019 363452 1 - 0.0000 -
685.65/687.93 c 688 7729828 366393 1 - 0.0000 -
690.63/692.97 c 693 7787386 368784 1 - 0.0000 -
695.73/698.02 c 698 7849780 371202 1 - 0.0000 -
700.71/703.07 c 703 7908715 373459 1 - 0.0000 -
705.79/708.18 c 708 7975111 377529 1 - 0.0000 -
710.87/713.25 c 713 8044823 382119 1 - 0.0000 -
715.95/718.32 c 718 8107929 384868 1 - 0.0000 -
720.93/723.39 c 723 8161674 387277 1 - 0.0000 -
726.02/728.44 c 728 8221742 389218 1 - 0.0000 -
731.01/733.49 c 734 8275937 391543 1 - 0.0000 -
736.09/738.54 c 739 8331324 393895 1 - 0.0000 -
741.08/743.59 c 744 8385920 396139 1 - 0.0000 -
746.16/748.64 c 749 8444531 398821 1 - 0.0000 -
751.14/753.69 c 754 8502120 401378 1 - 0.0000 -
756.23/758.75 c 759 8561753 403734 1 - 0.0000 -
761.31/763.80 c 764 8621903 406124 1 - 0.0000 -
766.50/769.01 c 769 8680215 408306 1 - 0.0000 -
771.59/774.16 c 774 8738118 410596 1 - 0.0000 -
776.67/779.20 c 779 8805877 413621 1 - 0.0000 -
781.65/784.25 c 784 8868127 415911 1 - 0.0000 -
786.73/789.38 c 789 8926073 418456 1 - 0.0000 -
791.82/794.45 c 794 8988250 422169 1 - 0.0000 -
796.89/799.50 c 800 9048361 424330 1 - 0.0000 -
801.88/804.59 c 805 9103797 426458 1 - 0.0000 -
807.16/809.80 c 810 9142416 428615 1 - 0.0000 -
812.16/814.88 c 815 9207175 431348 1 - 0.0000 -
817.24/819.93 c 820 9261270 433873 1 - 0.0000 -
822.32/825.01 c 825 9314340 436043 1 - 0.0000 -
827.41/830.16 c 830 9358064 438103 1 - 0.0000 -
832.49/835.21 c 835 9409085 439795 1 - 0.0000 -
837.47/840.26 c 840 9464102 441582 1 - 0.0000 -
842.56/845.34 c 845 9512696 443818 1 - 0.0000 -
847.54/850.39 c 850 9571127 445809 1 - 0.0000 -
852.63/855.44 c 855 9632562 448418 1 - 0.0000 -
857.61/860.49 c 860 9684927 450517 1 - 0.0000 -
862.79/865.69 c 866 9726060 452474 1 - 0.0000 -
867.98/870.85 c 871 9784932 454952 1 - 0.0000 -
873.16/876.08 c 876 9850315 457415 1 - 0.0000 -
878.25/881.14 c 881 9906566 459792 1 - 0.0000 -
883.34/886.29 c 886 9962533 462711 1 - 0.0000 -
888.41/891.34 c 891 10018566 465118 1 - 0.0000 -
893.50/896.43 c 896 10080842 467922 1 - 0.0000 -
898.49/901.48 c 901 10143353 470487 1 - 0.0000 -
903.57/906.53 c 907 10206027 472507 1 - 0.0000 -
908.55/911.58 c 912 10262214 474709 1 - 0.0000 -
913.64/916.63 c 917 10319111 476666 1 - 0.0000 -
918.62/921.68 c 922 10379691 479072 1 - 0.0000 -
923.71/926.74 c 927 10440418 481723 1 - 0.0000 -
928.79/931.81 c 932 10500459 484002 1 - 0.0000 -
934.08/937.11 c 937 10557849 486365 1 - 0.0000 -
939.16/942.27 c 942 10612265 488346 1 - 0.0000 -
944.24/947.32 c 947 10664357 490284 1 - 0.0000 -
949.43/952.51 c 953 10724413 492524 1 - 0.0000 -
954.41/957.56 c 958 10775799 494561 1 - 0.0000 -
959.50/962.61 c 963 10835267 496875 1 - 0.0000 -
964.58/967.72 c 968 10884948 499048 1 - 0.0000 -
969.67/972.82 c 973 10949051 501709 1 - 0.0000 -
974.75/977.94 c 978 11017239 505409 1 - 0.0000 -
979.74/982.99 c 983 11073677 507357 1 - 0.0000 -
984.82/988.04 c 988 11137767 510245 1 - 0.0000 -
989.91/993.14 c 993 11196073 512841 1 - 0.0000 -
994.90/998.19 c 998 11250518 515028 1 - 0.0000 -
999.97/1003.29 c 1003 11306455 518370 1 - 0.0000 -
1005.16/1008.40 c 1008 11364631 520648 1 - 0.0000 -
1010.15/1013.45 c 1013 11420293 522806 1 - 0.0000 -
1015.23/1018.50 c 1019 11474636 524587 1 - 0.0000 -
1020.22/1023.57 c 1024 11530632 526571 1 - 0.0000 -
1025.30/1028.63 c 1029 11592633 528944 1 - 0.0000 -
1030.29/1033.69 c 1034 11656003 532206 1 - 0.0000 -
1035.37/1038.74 c 1039 11717369 535115 1 - 0.0000 -
1040.35/1043.79 c 1044 11773924 537080 1 - 0.0000 -
1045.44/1048.84 c 1049 11835299 539813 1 - 0.0000 -
1050.42/1053.89 c 1054 11890360 541882 1 - 0.0000 -
1055.51/1058.94 c 1059 11952343 544181 1 - 0.0000 -
1060.60/1064.01 c 1064 12008534 546740 1 - 0.0000 -
1065.58/1069.07 c 1069 12058349 550259 1 - 0.0000 -
1070.66/1074.16 c 1074 12114118 552632 1 - 0.0000 -
1075.75/1079.20 c 1079 12172906 554614 1 - 0.0000 -
1080.73/1084.25 c 1084 12234184 556844 1 - 0.0000 -
1085.82/1089.30 c 1089 12284037 559108 1 - 0.0000 -
1090.80/1094.35 c 1094 12333287 561018 1 - 0.0000 -
1095.89/1099.48 c 1099 12388042 562965 1 - 0.0000 -
1100.97/1104.53 c 1105 12449029 565920 1 - 0.0000 -
1106.05/1109.62 c 1110 12509178 567984 1 - 0.0000 -
1111.14/1114.71 c 1115 12549469 569925 1 - 0.0000 -
1116.23/1119.80 c 1120 12597103 572469 1 - 0.0000 -
1121.20/1124.85 c 1125 12659107 575363 1 - 0.0000 -
1126.29/1129.90 c 1130 12721029 577409 1 - 0.0000 -
1131.27/1134.95 c 1135 12776037 579542 1 - 0.0000 -
1136.36/1140.07 c 1140 12819365 583986 1 - 0.0000 -
1141.44/1145.12 c 1145 12877530 587016 1 - 0.0000 -
1146.43/1150.17 c 1150 12935836 589145 1 - 0.0000 -
1151.61/1155.32 c 1155 12981547 591360 1 - 0.0000 -
1156.60/1160.37 c 1160 13024833 593520 1 - 0.0000 -
1161.68/1165.42 c 1165 13072947 595308 1 - 0.0000 -
1166.66/1170.47 c 1170 13118393 597343 1 - 0.0000 -
1171.75/1175.52 c 1176 13166670 598732 1 - 0.0000 -
1176.73/1180.59 c 1181 13219043 600389 1 - 0.0000 -
1181.82/1185.63 c 1186 13267645 602672 1 - 0.0000 -
1186.90/1190.70 c 1191 13321236 604391 1 - 0.0000 -
1191.89/1195.76 c 1196 13372118 606553 1 - 0.0000 -
1196.97/1200.81 c 1201 13422622 608419 1 - 0.0000 -
1201.96/1205.86 c 1206 13477001 610386 1 - 0.0000 -
1207.04/1210.91 c 1211 13525718 611974 1 - 0.0000 -
1212.03/1215.96 c 1216 13583729 614039 1 - 0.0000 -
1217.12/1221.01 c 1221 13643915 616241 1 - 0.0000 -
1222.10/1226.06 c 1226 13697934 617860 1 - 0.0000 -
1227.19/1231.11 c 1231 13758583 620497 1 - 0.0000 -
1232.37/1236.35 c 1236 13811827 622363 1 - 0.0000 -
1237.45/1241.40 c 1241 13868230 623902 1 - 0.0000 -
1242.44/1246.49 c 1246 13918921 627049 1 - 0.0000 -
1247.62/1251.60 c 1252 13968749 628507 1 - 0.0000 -
1252.71/1256.71 c 1257 14016448 631168 1 - 0.0000 -
1257.69/1261.75 c 1262 14078956 633294 1 - 0.0000 -
1262.77/1266.80 c 1267 14133706 635178 1 - 0.0000 -
1267.77/1271.85 c 1272 14191087 637108 1 - 0.0000 -
1272.85/1276.90 c 1277 14251448 639202 1 - 0.0000 -
1278.13/1282.22 c 1282 14309194 641386 1 - 0.0000 -
1283.32/1287.44 c 1287 14361817 643289 1 - 0.0000 -
1288.30/1292.49 c 1292 14419880 645256 1 - 0.0000 -
1293.38/1297.54 c 1298 14478157 647404 1 - 0.0000 -
1298.36/1302.59 c 1303 14535989 649522 1 - 0.0000 -
1303.45/1307.69 c 1308 14594009 651744 1 - 0.0000 -
1308.54/1312.74 c 1313 14654427 653802 1 - 0.0000 -
1313.52/1317.79 c 1318 14717505 656066 1 - 0.0000 -
1318.61/1322.88 c 1323 14767666 658109 1 - 0.0000 -
1323.69/1327.93 c 1328 14826286 660067 1 - 0.0000 -
1328.78/1333.00 c 1333 14875763 662252 1 - 0.0000 -
1333.77/1338.05 c 1338 14945340 665331 1 - 0.0000 -
1338.85/1343.14 c 1343 15016549 667712 1 - 0.0000 -
1343.84/1348.19 c 1348 15080688 669924 1 - 0.0000 -
1348.91/1353.28 c 1353 15132119 671733 1 - 0.0000 -
1354.30/1358.61 c 1359 15187850 674348 1 - 0.0000 -
1359.28/1363.67 c 1364 15245801 676233 1 - 0.0000 -
1364.37/1368.72 c 1369 15301812 678120 1 - 0.0000 -
1369.35/1373.77 c 1374 15362570 680664 1 - 0.0000 -
1374.43/1378.82 c 1379 15423548 682812 1 - 0.0000 -
1379.42/1383.87 c 1384 15479856 684350 1 - 0.0000 -
1384.50/1388.92 c 1389 15538778 686454 1 - 0.0000 -
1389.49/1393.97 c 1394 15590258 688426 1 - 0.0000 -
1394.58/1399.02 c 1399 15653630 690586 1 - 0.0000 -
1399.57/1404.07 c 1404 15706728 692494 1 - 0.0000 -
1404.64/1409.12 c 1409 15770072 694738 1 - 0.0000 -
1409.82/1414.38 c 1414 15830463 697011 1 - 0.0000 -
1414.91/1419.43 c 1419 15889569 699081 1 - 0.0000 -
1419.90/1424.48 c 1424 15953814 702008 1 - 0.0000 -
1425.08/1429.60 c 1430 16013264 704380 1 - 0.0000 -
1430.06/1434.68 c 1435 16076392 706434 1 - 0.0000 -
1435.14/1439.73 c 1440 16131289 707873 1 - 0.0000 -
1440.33/1444.97 c 1445 16186496 710082 1 - 0.0000 -
1445.41/1450.04 c 1450 16239396 711830 1 - 0.0000 -
1450.40/1455.09 c 1455 16291530 714135 1 - 0.0000 -
1455.49/1460.17 c 1460 16351494 715839 1 - 0.0000 -
1460.57/1465.26 c 1465 16401081 717997 1 - 0.0000 -
1465.85/1470.52 c 1471 16458517 722051 1 - 0.0000 -
1470.84/1475.59 c 1476 16520511 724104 1 - 0.0000 -
1475.92/1480.64 c 1481 16580381 726594 1 - 0.0000 -
1480.90/1485.69 c 1486 16628154 728110 1 - 0.0000 -
1485.99/1490.74 c 1491 16679555 729851 1 - 0.0000 -
1491.07/1495.87 c 1496 16723728 731592 1 - 0.0000 -
1496.15/1500.92 c 1501 16784049 733213 1 - 0.0000 -
1501.25/1506.06 c 1506 16842417 735181 1 - 0.0000 -
1506.33/1511.11 c 1511 16899546 737022 1 - 0.0000 -
1511.30/1516.19 c 1516 16959234 738610 1 - 0.0000 -
1516.39/1521.27 c 1521 17012431 740965 1 - 0.0000 -
1521.47/1526.36 c 1526 17071655 744979 1 - 0.0000 -
1526.56/1531.41 c 1531 17137167 746889 1 - 0.0000 -
1531.54/1536.46 c 1536 17196920 749466 1 - 0.0000 -
1536.63/1541.53 c 1542 17259888 752610 1 - 0.0000 -
1541.60/1546.58 c 1547 17312497 755619 1 - 0.0000 -
1546.69/1551.63 c 1552 17371357 757803 1 - 0.0000 -
1551.77/1556.75 c 1557 17433634 759942 1 - 0.0000 -
1556.86/1561.83 c 1562 17492096 762108 1 - 0.0000 -
1561.94/1566.94 c 1567 17551645 763864 1 - 0.0000 -
1567.02/1572.06 c 1572 17612786 766501 1 - 0.0000 -
1572.11/1577.11 c 1577 17671909 768752 1 - 0.0000 -
1577.10/1582.16 c 1582 17740775 772572 1 - 0.0000 -
1582.17/1587.21 c 1587 17804127 774942 1 - 0.0000 -
1587.16/1592.27 c 1592 17863284 776668 1 - 0.0000 -
1592.24/1597.32 c 1597 17917433 778393 1 - 0.0000 -
1597.23/1602.37 c 1602 17984162 781018 1 - 0.0000 -
1602.31/1607.42 c 1607 18047921 783207 1 - 0.0000 -
1607.30/1612.49 c 1612 18105544 786494 1 - 0.0000 -
1612.37/1617.58 c 1618 18162057 787895 1 - 0.0000 -
1617.46/1622.63 c 1623 18209068 789300 1 - 0.0000 -
1622.45/1627.68 c 1628 18263452 792512 1 - 0.0000 -
1627.53/1632.77 c 1633 18322590 796852 1 - 0.0000 -
1632.61/1637.82 c 1638 18375526 798746 1 - 0.0000 -
1637.59/1642.87 c 1643 18427723 800623 1 - 0.0000 -
1642.68/1647.92 c 1648 18486138 802518 1 - 0.0000 -
1647.77/1653.09 c 1653 18537118 804017 1 - 0.0000 -
1652.85/1658.14 c 1658 18600560 805839 1 - 0.0000 -
1657.84/1663.19 c 1663 18656277 807598 1 - 0.0000 -
1662.92/1668.24 c 1668 18726167 811446 1 - 0.0000 -
1667.90/1673.29 c 1673 18785388 816805 1 - 0.0000 -
1672.98/1678.34 c 1678 18834663 821050 1 - 0.0000 -
1677.97/1683.39 c 1683 18893042 823597 1 - 0.0000 -
1683.06/1688.44 c 1688 18950009 825168 1 - 0.0000 -
1688.04/1693.49 c 1694 19007795 826980 1 - 0.0000 -
1693.12/1698.54 c 1699 19062125 828992 1 - 0.0000 -
1698.10/1703.59 c 1704 19121667 830908 1 - 0.0000 -
1703.19/1708.67 c 1709 19176226 833117 1 - 0.0000 -
1708.37/1713.86 c 1714 19215613 835322 1 - 0.0000 -
1713.46/1718.93 c 1719 19256833 837994 1 - 0.0000 -
1718.44/1723.98 c 1724 19304200 840128 1 - 0.0000 -
1723.53/1729.03 c 1729 19347831 842345 1 - 0.0000 -
1728.52/1734.08 c 1734 19395414 844804 1 - 0.0000 -
1733.59/1739.13 c 1739 19442490 847370 1 - 0.0000 -
1738.58/1744.18 c 1744 19490901 849673 1 - 0.0000 -
1743.86/1749.43 c 1749 19536342 851992 1 - 0.0000 -
1748.84/1754.48 c 1754 19588073 853987 1 - 0.0000 -
1754.03/1759.63 c 1760 19636627 856110 1 - 0.0000 -
1759.11/1764.71 c 1765 19686131 858436 1 - 0.0000 -
1764.19/1769.85 c 1770 19737810 860501 1 - 0.0000 -
1769.28/1774.90 c 1775 19787182 862485 1 - 0.0000 -
1774.37/1780.06 c 1780 19838041 864815 1 - 0.0000 -
1779.46/1785.14 c 1785 19885405 866655 1 - 0.0000 -
1784.44/1790.19 c 1790 19933952 868854 1 - 0.0000 -
1789.51/1795.24 c 1795 19989757 870645 1 - 0.0000 -
1794.50/1800.29 c 1800 20038162 872850 1 - 0.0000 -
1799.59/1805.34 c 1805 20089292 874942 1 - 0.0000 -
1804.67/1810.41 c 1810 20140454 876972 1 - 0.0000 -
1809.65/1815.46 c 1815 20189333 878761 1 - 0.0000 -
1814.74/1820.51 c 1821 20240564 881052 1 - 0.0000 -
1819.82/1825.61 c 1826 20287567 882919 1 - 0.0000 -
1824.81/1830.69 c 1831 20332522 884742 1 - 0.0000 -
1829.90/1835.74 c 1836 20385004 886554 1 - 0.0000 -
1834.88/1840.79 c 1841 20433759 888855 1 - 0.0000 -
1839.96/1845.84 c 1846 20487197 891247 1 - 0.0000 -
1844.94/1850.89 c 1851 20536230 892924 1 - 0.0000 -
1850.03/1855.94 c 1856 20585734 894664 1 - 0.0000 -
1855.01/1860.99 c 1861 20632906 896426 1 - 0.0000 -
1860.21/1866.18 c 1866 20686044 898199 1 - 0.0000 -
1865.28/1871.23 c 1871 20737842 900167 1 - 0.0000 -
1870.37/1876.31 c 1876 20792131 901538 1 - 0.0000 -
1875.35/1881.39 c 1881 20846849 903670 1 - 0.0000 -
1880.44/1886.44 c 1886 20896301 905218 1 - 0.0000 -
1885.43/1891.49 c 1892 20949115 907305 1 - 0.0000 -
1890.52/1896.55 c 1897 21001336 909430 1 - 0.0000 -
1895.60/1901.60 c 1902 21049449 911079 1 - 0.0000 -
1900.59/1906.65 c 1907 21098866 912839 1 - 0.0000 -
1905.67/1911.70 c 1912 21148926 914443 1 - 0.0000 -
1910.65/1916.75 c 1917 21199972 916193 1 - 0.0000 -
1915.74/1921.80 c 1922 21253135 917810 1 - 0.0000 -
1920.72/1926.85 c 1927 21308913 919704 1 - 0.0000 -
1925.81/1931.90 c 1932 21360396 921505 1 - 0.0000 -
1930.80/1936.95 c 1937 21409804 923692 1 - 0.0000 -
1935.89/1942.00 c 1942 21461111 924772 1 - 0.0000 -
1940.87/1947.05 c 1947 21509367 926660 1 - 0.0000 -
1945.86/1952.10 c 1952 21561323 928126 1 - 0.0000 -
1950.94/1957.16 c 1957 21611328 930203 1 - 0.0000 -
1956.13/1962.30 c 1962 21659472 931781 1 - 0.0000 -
1961.10/1967.38 c 1967 21710758 933109 1 - 0.0000 -
1966.29/1972.57 c 1973 21764012 934935 1 - 0.0000 -
1971.38/1977.62 c 1978 21816753 936418 1 - 0.0000 -
1976.36/1982.67 c 1983 21869597 937883 1 - 0.0000 -
1981.45/1987.72 c 1988 21921484 939762 1 - 0.0000 -
1986.44/1992.77 c 1993 21970416 940894 1 - 0.0000 -
1991.62/1997.93 c 1998 22020693 943185 1 - 0.0000 -
1996.60/2002.98 c 2003 22072738 944710 1 - 0.0000 -
2001.70/2008.03 c 2008 22122998 946373 1 - 0.0000 -
2006.77/2013.12 c 2013 22172013 947750 1 - 0.0000 -
2011.76/2018.17 c 2018 22223396 949191 1 - 0.0000 -
2016.83/2023.22 c 2023 22276036 950911 1 - 0.0000 -
2021.82/2028.27 c 2028 22328870 952559 1 - 0.0000 -
2026.90/2033.32 c 2033 22381481 953704 1 - 0.0000 -
2031.88/2038.37 c 2038 22430528 955089 1 - 0.0000 -
2036.96/2043.42 c 2043 22483384 956341 1 - 0.0000 -
2041.95/2048.46 c 2048 22535976 957747 1 - 0.0000 -
2047.02/2053.51 c 2054 22586268 959004 1 - 0.0000 -
2052.01/2058.56 c 2059 22639052 960364 1 - 0.0000 -
2057.09/2063.61 c 2064 22690153 962112 1 - 0.0000 -
2062.07/2068.66 c 2069 22744438 963447 1 - 0.0000 -
2067.15/2073.71 c 2074 22793081 964684 1 - 0.0000 -
2072.13/2078.76 c 2079 22843970 966061 1 - 0.0000 -
2077.22/2083.81 c 2084 22898640 967501 1 - 0.0000 -
2082.19/2088.86 c 2089 22949402 969189 1 - 0.0000 -
2087.28/2093.91 c 2094 23003909 971105 1 - 0.0000 -
2092.36/2099.03 c 2099 23063926 973194 1 - 0.0000 -
2097.34/2104.08 c 2104 23131458 975626 1 - 0.0000 -
2102.42/2109.13 c 2109 23187703 977373 1 - 0.0000 -
2107.41/2114.18 c 2114 23247365 978989 1 - 0.0000 -
2112.48/2119.28 c 2119 23309131 980873 1 - 0.0000 -
2117.56/2124.33 c 2124 23375342 982956 1 - 0.0000 -
2123.94/2130.75 c * 2131 23382722 983258 1 0.0000 0.0000 0.00%
2123.94/2130.75 c 2131 23382722 983258 1 0.0000 0.0000 0.00%
2123.94/2130.75 c 2131 23395370 0 0 0.0000 0.0000 0.00%
2124.05/2130.82 c 2131 23395370 0 0 0.0000 0.0000 -
2124.05/2130.82 c SCIP Status : c problem is solved
2124.05/2130.82 c Total Time : 2130.8300
2124.05/2130.82 c solving : 2130.8300
2124.05/2130.82 c presolving : 0.0015 (included in solving)
2124.05/2130.82 c B&B Tree :
2124.05/2130.82 c nodes (total) : 23395370
2124.05/2130.82 c Solution :
2124.05/2130.82 c Solutions found : 1
2124.05/2130.82 c Primal Bound : +0.00000000000000e+00
2124.05/2130.82 c Dual Bound : +0.00000000000000e+00
2124.05/2130.82 c Gap : 0.00000 %
2124.05/2130.83 c internal error
2124.05/2130.83 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: 63931 MiB (61787 MiB free)
memory of node 1: 64510 MiB (60194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445360-1721321863/watcher-4445360-1721321863 -o /tmp/evaluation-result-4445360-1721321863/solver-4445360-1721321863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445360-1721321863.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=972260, runsolver pid=972257
[startup+0.100087 s]*
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124901092/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=106448 memory=20428 CPUtime=0.1 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2527 0 0 0 10 0 0 0 20 0 3 0 184345479 109002752 5107 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26612 5107 2926 3032 0 8441 0
[pid=972260/tid=972262] ppid=972257 vsize=106448 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 1398 0 0 0 9 0 0 0 20 0 3 0 184345480 109002752 5107 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=106448 memory=237146210664 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184345480 109002752 5107 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 20428 KiB
[startup+0.205736 s]*
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124900252/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=106448 memory=20692 CPUtime=0.2 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2618 0 0 0 20 0 0 0 20 0 3 0 184345479 109002752 5173 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26612 5173 2926 3032 0 8603 0
[pid=972260/tid=972262] ppid=972257 vsize=106448 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 1489 0 0 0 20 0 0 0 20 0 3 0 184345480 109002752 5173 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=106448 memory=1285800 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184345480 109002752 5173 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 20692 KiB
[startup+0.305785 s]*
/proc/loadavg: 4.21 4.20 4.11 6/266 972263
/proc/meminfo: memFree=124899104/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=106448 memory=20956 CPUtime=0.3 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2682 0 0 0 30 0 0 0 20 0 3 0 184345479 109002752 5239 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26612 5239 2926 3032 0 8667 0
[pid=972260/tid=972262] ppid=972257 vsize=106448 memory=-6370458664949693285 CPUtime=0.29 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 1553 0 0 0 29 0 0 0 20 0 3 0 184345480 109002752 5239 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=106448 memory=0 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184345480 109002752 5239 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 20956 KiB
[startup+0.70024 s]
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124898292/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=106448 memory=22016 CPUtime=0.69 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2969 0 0 0 68 1 0 0 20 0 3 0 184345479 109002752 5504 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26612 5504 2926 3032 0 8927 0
[pid=972260/tid=972262] ppid=972257 vsize=106448 memory=0 CPUtime=0.68 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 1840 0 0 0 67 1 0 0 20 0 3 0 184345480 109002752 5504 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=106448 memory=0 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184345480 109002752 5504 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 22016 KiB
[startup+1.50022 s]
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124896604/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=106448 memory=22104 CPUtime=1.48 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 4339 0 0 0 147 1 0 0 20 0 3 0 184345479 109002752 5526 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26612 5526 2926 3032 0 8927 0
[pid=972260/tid=972262] ppid=972257 vsize=106448 memory=0 CPUtime=1.48 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 3195 0 0 0 147 1 0 0 20 0 3 0 184345480 109002752 5526 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=106448 memory=0 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184345480 109002752 5526 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 22104 KiB
[startup+3.10556 s]
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124892744/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=106448 memory=23984 CPUtime=3.08 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 5074 0 0 0 306 2 0 0 20 0 3 0 184345479 109002752 5996 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26612 5996 2942 3032 0 9345 0
[pid=972260/tid=972262] ppid=972257 vsize=106448 memory=2273 CPUtime=3.08 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 3927 0 0 0 306 2 0 0 20 0 3 0 184345480 109002752 5996 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=106448 memory=0 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184345480 109002752 5996 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 23984 KiB
[startup+6.3002 s]
/proc/loadavg: 4.19 4.19 4.11 5/266 972263
/proc/meminfo: memFree=124883408/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=107028 memory=29028 CPUtime=6.26 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 8235 0 0 0 620 6 0 0 20 0 3 0 184345479 109596672 7257 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 26757 7257 2990 3032 0 10471 0
[pid=972260/tid=972262] ppid=972257 vsize=107028 memory=-6370458664949693285 CPUtime=6.26 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 7062 0 0 0 620 6 0 0 20 0 3 0 184345480 109596672 7257 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=107028 memory=28960 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184345480 109596672 7257 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107028 KiB
Current children cumulated memory: 29028 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.19 4.11 5/266 972265
/proc/meminfo: memFree=124862508/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=109128 memory=41016 CPUtime=12.64 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 18025 0 0 0 1252 12 0 0 20 0 3 0 184345479 111747072 10254 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 27282 10254 2990 3032 0 13429 0
[pid=972260/tid=972262] ppid=972257 vsize=109128 memory=23984 CPUtime=12.64 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 16815 0 0 0 1252 12 0 0 20 0 3 0 184345480 111747072 10254 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=109128 memory=0 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 184345480 111747072 10254 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109128 KiB
Current children cumulated memory: 41016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.18 4.11 5/266 972266
/proc/meminfo: memFree=124824476/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=115548 memory=59048 CPUtime=25.4 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 42137 0 0 0 2513 27 0 0 20 0 3 0 184345479 118321152 14762 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 28887 14762 2990 3032 0 18019 0
[pid=972260/tid=972262] ppid=972257 vsize=115548 memory=33836 CPUtime=25.4 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 40857 0 0 0 2513 27 0 0 20 0 3 0 184345480 118321152 14762 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=115548 memory=7676 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 184345480 118321152 14762 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 59048 KiB
[startup+51.1059 s]
/proc/loadavg: 4.17 4.18 4.11 5/267 972440
/proc/meminfo: memFree=124751592/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=131028 memory=93904 CPUtime=50.92 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 88271 0 0 0 5036 56 0 0 20 0 3 0 184345479 134172672 23476 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 32757 23476 2990 3032 0 27431 0
[pid=972260/tid=972262] ppid=972257 vsize=131028 memory=86292 CPUtime=50.91 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 86923 0 0 0 5035 56 0 0 20 0 3 0 184345480 134172672 23476 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=131028 memory=83424 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 184345480 134172672 23476 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 131028 KiB
Current children cumulated memory: 93904 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/267 972449
/proc/meminfo: memFree=124644868/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=220840 memory=138104 CPUtime=101.93 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 162337 0 0 0 10082 111 0 0 20 0 3 0 184345479 226140160 34526 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 55210 34526 2990 3032 0 38897 0
[pid=972260/tid=972262] ppid=972257 vsize=220840 memory=133200 CPUtime=101.92 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 160922 0 0 0 10081 111 0 0 20 0 3 0 184345480 226140160 34526 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=220840 memory=132928 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 184345480 226140160 34526 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 220840 KiB
Current children cumulated memory: 138104 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/269 972556
/proc/meminfo: memFree=126015968/131524600 swapFree=130798872/131071996
[pid=972260] ppid=972257 vsize=263136 memory=206688 CPUtime=161.73 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 224639 0 0 0 15999 174 0 0 20 0 3 0 184345479 269451264 51672 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 65784 51672 2990 3032 0 57063 0
[pid=972260/tid=972262] ppid=972257 vsize=263136 memory=197968 CPUtime=161.71 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 223182 0 0 0 15998 173 0 0 20 0 3 0 184345480 269451264 51672 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=263136 memory=6720667649040335209 CPUtime=0 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 184345480 269451264 51672 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 263136 KiB
################
# More data... #
################
/proc/972260/statm: 328491 317717 2990 3032 0 322002 0
[pid=972260/tid=972262] ppid=972257 vsize=1313964 memory=1266456 CPUtime=1956 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2802463 0 0 0 193532 2068 0 0 20 0 3 0 184345480 1345499136 317717 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1313964 memory=1266996 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 86 0 0 0 0 1 0 0 20 0 3 0 184345480 1345499136 317717 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 1956.13 s
Current children cumulated vsize: 1313964 KiB
Current children cumulated memory: 1270868 KiB
[startup+2022.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/268 973668
/proc/meminfo: memFree=123791192/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1322296 memory=1288668 CPUtime=2015.93 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2844443 0 0 0 199472 2121 0 0 20 0 3 0 184345479 1354031104 322167 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 330574 322167 2990 3032 0 326325 0
[pid=972260/tid=972262] ppid=972257 vsize=1322296 memory=27460 CPUtime=2015.8 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2842253 0 0 0 199461 2119 0 0 20 0 3 0 184345480 1354031104 322167 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1322296 memory=4892 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 184345480 1354031104 322167 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2015.93 s
Current children cumulated vsize: 1322296 KiB
Current children cumulated memory: 1288668 KiB
[startup+2082.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/268 973680
/proc/meminfo: memFree=123738432/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1398132 memory=1307064 CPUtime=2075.72 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2900235 0 0 0 205395 2177 0 0 20 0 3 0 184345479 1431687168 326766 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 349533 326766 2990 3032 0 330965 0
[pid=972260/tid=972262] ppid=972257 vsize=1398132 memory=16256 CPUtime=2075.59 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2898015 0 0 0 205384 2175 0 0 20 0 3 0 184345480 1431687168 326766 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1398132 memory=7676 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 90 0 0 0 0 1 0 0 20 0 3 0 184345480 1431687168 326766 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2075.72 s
Current children cumulated vsize: 1398132 KiB
Current children cumulated memory: 1307064 KiB
[startup+2130.84 s]
# the end of solver process 972260 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2101.76 s, system=22.3294 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2099.2 s]
/proc/loadavg: 4.15 4.14 4.15 5/268 973683
/proc/meminfo: memFree=123719304/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1400644 memory=1312548 CPUtime=2092.56 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2918454 0 0 0 207062 2194 0 0 20 0 3 0 184345479 1434259456 328137 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 350161 328137 2990 3032 0 332313 0
[pid=972260/tid=972262] ppid=972257 vsize=1400644 memory=1283540 CPUtime=2092.42 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2916234 0 0 0 207051 2191 0 0 20 0 3 0 184345480 1434259456 328137 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1400644 memory=1288668 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 90 0 0 0 0 1 0 0 20 0 3 0 184345480 1434259456 328137 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2092.56 s
Current children cumulated vsize: 1400644 KiB
Current children cumulated memory: 1312548 KiB
[startup+2112 s]*
/proc/loadavg: 4.12 4.14 4.15 6/268 973684
/proc/meminfo: memFree=123705712/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1401804 memory=1317132 CPUtime=2105.31 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2927919 0 0 0 208325 2206 0 0 20 0 3 0 184345479 1435447296 329283 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 350451 329283 2990 3032 0 333376 0
[pid=972260/tid=972262] ppid=972257 vsize=1401804 memory=6720666541056213362 CPUtime=2105.18 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2925699 0 0 0 208314 2204 0 0 20 0 3 0 184345480 1435447296 329283 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1401804 memory=-9044459746194447340 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 90 0 0 0 0 1 0 0 20 0 3 0 184345480 1435447296 329283 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2105.31 s
Current children cumulated vsize: 1401804 KiB
Current children cumulated memory: 1317132 KiB
[startup+2118.4 s]
/proc/loadavg: 4.11 4.14 4.15 5/268 973685
/proc/meminfo: memFree=123701064/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1402384 memory=1318660 CPUtime=2111.68 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2931754 0 0 0 208956 2212 0 0 20 0 3 0 184345479 1436041216 329665 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 350596 329665 2990 3032 0 333714 0
[pid=972260/tid=972262] ppid=972257 vsize=1402384 memory=27460 CPUtime=2111.55 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2929534 0 0 0 208945 2210 0 0 20 0 3 0 184345480 1436041216 329665 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1402384 memory=1315820 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 90 0 0 0 0 1 0 0 20 0 3 0 184345480 1436041216 329665 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2111.68 s
Current children cumulated vsize: 1402384 KiB
Current children cumulated memory: 1318660 KiB
[startup+2124.8 s]
/proc/loadavg: 4.18 4.15 4.16 5/268 973687
/proc/meminfo: memFree=123693836/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1419348 memory=1321012 CPUtime=2118.06 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2935735 0 0 0 209586 2220 0 0 20 0 3 0 184345479 1453412352 330253 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 354837 330253 2990 3032 0 338371 0
[pid=972260/tid=972262] ppid=972257 vsize=1419348 memory=1300024 CPUtime=2117.92 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2933513 0 0 0 209575 2217 0 0 20 0 3 0 184345480 1453412352 330253 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1419348 memory=1312336 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 184345480 1453412352 330253 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2118.06 s
Current children cumulated vsize: 1419348 KiB
Current children cumulated memory: 1321012 KiB
[startup+2128 s]*
/proc/loadavg: 4.16 4.15 4.15 5/268 973687
/proc/meminfo: memFree=123500000/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1557688 memory=1508424 CPUtime=2121.26 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2997664 0 0 0 209897 2229 0 0 20 0 3 0 184345479 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 389422 377106 2990 3032 0 385208 0
[pid=972260/tid=972262] ppid=972257 vsize=1557688 memory=6720666541056213362 CPUtime=2121.12 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2995442 0 0 0 209885 2227 0 0 20 0 3 0 184345480 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1557688 memory=-9044459746194447340 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 184345480 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2121.26 s
Current children cumulated vsize: 1557688 KiB
Current children cumulated memory: 1508424 KiB
[startup+2129.6 s]
/proc/loadavg: 4.16 4.15 4.15 5/268 973688
/proc/meminfo: memFree=123499748/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1557688 memory=1508424 CPUtime=2122.85 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2998499 0 0 0 210056 2229 0 0 20 0 3 0 184345479 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 389422 377106 2990 3032 0 385208 0
[pid=972260/tid=972262] ppid=972257 vsize=1557688 memory=1508424 CPUtime=2122.71 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2996277 0 0 0 210044 2227 0 0 20 0 3 0 184345480 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1557688 memory=1508424 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 184345480 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2122.85 s
Current children cumulated vsize: 1557688 KiB
Current children cumulated memory: 1508424 KiB
[startup+2130.4 s]
/proc/loadavg: 4.15 4.14 4.15 5/268 973688
/proc/meminfo: memFree=123499276/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1557688 memory=1508424 CPUtime=2123.64 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2998901 0 0 0 210135 2229 0 0 20 0 3 0 184345479 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 389422 377106 2990 3032 0 385208 0
[pid=972260/tid=972262] ppid=972257 vsize=1557688 memory=1508424 CPUtime=2123.51 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2996679 0 0 0 210124 2227 0 0 20 0 3 0 184345480 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1557688 memory=216 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 184345480 1595072512 377106 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2123.64 s
Current children cumulated vsize: 1557688 KiB
Current children cumulated memory: 1508424 KiB
[startup+2130.8 s]
/proc/loadavg: 4.15 4.14 4.15 5/268 973688
/proc/meminfo: memFree=123499276/131524600 swapFree=130799128/131071996
[pid=972260] ppid=972257 vsize=1226528 memory=1193644 CPUtime=2124.05 cores=1,3
/proc/972260/stat : 972260 (fscip) S 972257 972260 968454 0 -1 1077936128 2999171 0 0 0 210175 2230 0 0 20 0 3 0 184345479 1255964672 298411 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
/proc/972260/statm: 306632 298411 2990 3032 0 302418 0
[pid=972260/tid=972262] ppid=972257 vsize=1226528 memory=1285717 CPUtime=2123.9 cores=1,3
/proc/972260/task/972262/stat : 972262 (fscip) R 972257 972260 968454 0 -1 4194368 2996926 0 0 0 210163 2227 0 0 20 0 3 0 184345480 1255964672 298411 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
[pid=972260/tid=972263] ppid=972257 vsize=1226528 memory=1286332 CPUtime=0.01 cores=1,3
/proc/972260/task/972263/stat : 972263 (fscip) S 972257 972260 968454 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 184345480 1255964672 298411 134679101440 4194304 16613245 140728744841776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38879232 140728744850452 140728744850568 140728744850568 140728744857584 0
Current children cumulated CPU time: 2124.05 s
Current children cumulated vsize: 1226528 KiB
Current children cumulated memory: 1193644 KiB
Child status: 0
Real time (s): 2130.84
CPU time (s): 2124.09
CPU user time (s): 2101.76
CPU system time (s): 22.3294
CPU usage (%): 99.6833
Max. virtual memory (cumulated for all children) (KiB): 1557688
Max. memory (cumulated for all children) (KiB): 1508424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2101.76
system time used= 22.3294
maximum resident set size= 1508424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2999349
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= 6572
involuntary context switches= 2956
# summary of solver processes directly reported to runsolver:
# pid: 972260
# total CPU time (s): 2124.09
# total CPU user time (s): 2101.76
# total CPU system time (s): 22.3294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57721 second user time and 8.5406 second system time
The end
Begin job on nodeC014 at 2024-07-18 18:57:56
IDJOB=4445360
IDBENCH=148108
IDSOLVER=3064
FILE ID=nodeC014/4445360-1721321863
RUNJOBID= nodeC014-1721318012-968466
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob1.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-4445360-1721321863/watcher-4445360-1721321863 -o /tmp/evaluation-result-4445360-1721321863/solver-4445360-1721321863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445360-1721321863.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 471fd854f2c30bf1b2104c39e43ffd70
RANDOM SEED=1193083900
nodeC014.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 : 3666.654
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.32
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 : 3675.773
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.96
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 : 3599.994
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.32
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 : 3656.238
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.96
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 : 3666.660
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.32
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 : 3669.081
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.96
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 : 3599.652
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.32
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.679
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124910564 kB
MemAvailable: 128115964 kB
Buffers: 448468 kB
Cached: 3560464 kB
SwapCached: 12912 kB
Active: 1377400 kB
Inactive: 4647068 kB
Active(anon): 9308 kB
Inactive(anon): 2026764 kB
Active(file): 1368092 kB
Inactive(file): 2620304 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 84888 kB
Writeback: 0 kB
AnonPages: 1999820 kB
Mapped: 85084 kB
Shmem: 20492 kB
KReclaimable: 113300 kB
Slab: 211404 kB
SReclaimable: 113300 kB
SUnreclaim: 98104 kB
KernelStack: 4240 kB
PageTables: 13724 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1905460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1576960 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 19:33:27