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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 30416896, getVmSize() = 30416896, SCIPgetMemUsed() = 6081770, SCIPgetMemTotal() = 8688834, SCIPgetMemExternEstim() = 4342373
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.08 c ** Estimated virtualMemUsedAtSolver = 28854954, getVmSize() = 56147968, SCIPgetMemUsed() = 15484738, SCIPgetMemTotal() = 32901602, SCIPgetMemExternEstim() = 4342373
0.00/0.08 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.08 c Original Problem :
0.00/0.08 c Problem name : instance-4464694-1722387905
0.00/0.08 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08 c Constraints : 3832
0.00/0.08 c Objective sense : minimize
0.00/0.08 c Presolved Problem :
0.00/0.08 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08 c Constraints : 3832
0.00/0.08 c Constraints : Number
0.00/0.08 c knapsack : 1
0.00/0.08 c logicor : 3831
0.00/0.08 c ** Instance transfer method used: 0
0.00/0.09 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.10 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.10 c Nodes Active
0.09/0.10 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.87/5.98 c 6 206 129 1 - 0.0000 -
11.06/11.13 c 11 608 249 1 - 0.0000 -
16.15/16.28 c 16 1018 379 1 - 0.0000 -
22.12/22.27 c 22 1543 28 1 - 0.0000 -
27.21/27.33 c 27 2265 29 1 - 0.0000 -
32.20/32.39 c 32 2979 71 1 - 0.0000 -
37.29/37.46 c 37 3720 58 1 - 0.0000 -
42.37/42.51 c 43 4378 72 1 - 0.0000 -
47.36/47.56 c 48 5237 74 1 - 0.0000 -
52.45/52.61 c 53 6122 72 1 - 0.0000 -
57.43/57.66 c 58 7128 57 1 - 0.0000 -
62.51/62.71 c 63 8049 52 1 - 0.0000 -
67.51/67.77 c 68 8972 31 1 - 0.0000 -
72.59/72.82 c 73 9935 30 1 - 0.0000 -
77.58/77.86 c 78 10826 40 1 - 0.0000 -
82.77/83.02 c 83 11790 28 1 - 0.0000 -
87.76/88.07 c 88 12569 21 1 - 0.0000 -
92.84/93.12 c 93 13420 47 1 - 0.0000 -
97.84/98.19 c 98 14325 46 1 - 0.0000 -
102.92/103.23 c 103 15265 38 1 - 0.0000 -
107.90/108.28 c 108 16140 41 1 - 0.0000 -
112.99/113.33 c 113 17003 47 1 - 0.0000 -
117.98/118.38 c 118 17896 45 1 - 0.0000 -
123.06/123.44 c 123 18712 39 1 - 0.0000 -
128.06/128.49 c 128 19551 35 1 - 0.0000 -
133.14/133.54 c 134 20538 66 1 - 0.0000 -
138.13/138.59 c 139 21558 45 1 - 0.0000 -
143.22/143.64 c 144 22534 67 1 - 0.0000 -
148.20/148.69 c 149 23564 49 1 - 0.0000 -
153.29/153.74 c 154 24604 47 1 - 0.0000 -
158.38/158.81 c 159 25548 46 1 - 0.0000 -
163.36/163.87 c 164 26498 50 1 - 0.0000 -
168.45/168.92 c 169 27535 41 1 - 0.0000 -
173.44/173.97 c 174 28497 51 1 - 0.0000 -
178.53/179.02 c 179 29433 36 1 - 0.0000 -
183.52/184.08 c 184 30364 45 1 - 0.0000 -
188.61/189.12 c 189 31323 44 1 - 0.0000 -
193.59/194.18 c 194 32226 41 1 - 0.0000 -
198.68/199.25 c 199 33179 34 1 - 0.0000 -
203.76/204.30 c 204 34055 42 1 - 0.0000 -
208.75/209.35 c 209 34938 53 1 - 0.0000 -
213.83/214.41 c 214 35817 62 1 - 0.0000 -
218.82/219.46 c 219 36772 33 1 - 0.0000 -
223.91/224.53 c 225 37587 56 1 - 0.0000 -
228.90/229.57 c 230 38453 42 1 - 0.0000 -
233.99/234.62 c 235 39268 47 1 - 0.0000 -
238.97/239.67 c 240 40158 55 1 - 0.0000 -
244.06/244.75 c 245 41146 63 1 - 0.0000 -
249.05/249.79 c 250 41998 51 1 - 0.0000 -
254.14/254.85 c 255 42897 42 1 - 0.0000 -
259.12/259.89 c 260 43734 67 1 - 0.0000 -
264.31/265.00 c 265 44744 70 1 - 0.0000 -
269.30/270.05 c 270 45774 82 1 - 0.0000 -
274.39/275.10 c 275 46825 90 1 - 0.0000 -
279.37/280.15 c 280 47776 90 1 - 0.0000 -
284.45/285.20 c 285 48904 85 1 - 0.0000 -
289.44/290.25 c 290 49917 82 1 - 0.0000 -
294.53/295.31 c 295 50980 68 1 - 0.0000 -
299.51/300.35 c 300 52018 61 1 - 0.0000 -
304.61/305.40 c 305 53024 65 1 - 0.0000 -
309.69/310.57 c 311 54071 72 1 - 0.0000 -
314.78/315.63 c 316 55056 59 1 - 0.0000 -
319.76/320.68 c 321 56028 61 1 - 0.0000 -
324.86/325.72 c 326 57123 58 1 - 0.0000 -
329.84/330.77 c 331 58179 76 1 - 0.0000 -
334.92/335.83 c 336 59153 66 1 - 0.0000 -
339.92/340.88 c 341 60198 55 1 - 0.0000 -
345.00/345.92 c 346 61176 51 1 - 0.0000 -
350.10/351.04 c 351 62098 57 1 - 0.0000 -
355.08/356.10 c 356 63013 62 1 - 0.0000 -
360.16/361.14 c 361 63912 57 1 - 0.0000 -
365.25/366.20 c 366 64824 46 1 - 0.0000 -
370.24/371.25 c 371 65798 42 1 - 0.0000 -
375.33/376.32 c 376 66681 44 1 - 0.0000 -
380.31/381.38 c 381 67500 47 1 - 0.0000 -
385.41/386.42 c 386 68345 37 1 - 0.0000 -
390.39/391.48 c 391 69317 53 1 - 0.0000 -
395.47/396.52 c 397 70352 62 1 - 0.0000 -
400.46/401.57 c 402 71420 60 1 - 0.0000 -
405.56/406.62 c 407 72545 60 1 - 0.0000 -
410.54/411.68 c 412 73500 56 1 - 0.0000 -
415.62/416.74 c 417 74403 71 1 - 0.0000 -
420.71/421.80 c 422 75318 70 1 - 0.0000 -
425.71/426.85 c 427 76188 61 1 - 0.0000 -
430.79/431.90 c 432 77061 54 1 - 0.0000 -
435.78/436.96 c 437 78008 49 1 - 0.0000 -
440.87/442.00 c 442 78863 45 1 - 0.0000 -
445.86/447.05 c 447 79741 65 1 - 0.0000 -
450.94/452.10 c 452 80712 66 1 - 0.0000 -
455.93/457.16 c 457 81677 53 1 - 0.0000 -
461.02/462.21 c 462 82507 61 1 - 0.0000 -
466.00/467.26 c 467 83488 65 1 - 0.0000 -
471.09/472.32 c 472 84528 59 1 - 0.0000 -
476.08/477.38 c 477 85433 60 1 - 0.0000 -
481.17/482.42 c 482 86281 54 1 - 0.0000 -
486.15/487.47 c 487 87200 96 1 - 0.0000 -
491.24/492.52 c 493 88280 65 1 - 0.0000 -
496.23/497.57 c 498 89319 72 1 - 0.0000 -
501.31/502.63 c 503 90321 84 1 - 0.0000 -
506.31/507.68 c 508 91335 76 1 - 0.0000 -
511.39/512.73 c 513 92324 56 1 - 0.0000 -
516.38/517.78 c 518 93310 51 1 - 0.0000 -
521.46/522.84 c 523 94364 55 1 - 0.0000 -
526.45/527.89 c 528 95350 61 1 - 0.0000 -
531.55/532.94 c 533 96334 48 1 - 0.0000 -
536.53/538.00 c 538 97317 56 1 - 0.0000 -
541.62/543.05 c 543 98348 51 1 - 0.0000 -
546.61/548.10 c 548 99372 50 1 - 0.0000 -
551.70/553.14 c 553 100408 50 1 - 0.0000 -
556.69/558.19 c 558 101456 52 1 - 0.0000 -
561.87/563.36 c 563 102427 50 1 - 0.0000 -
566.95/568.40 c 568 103261 34 1 - 0.0000 -
571.94/573.45 c 573 104219 37 1 - 0.0000 -
577.03/578.50 c 579 105170 46 1 - 0.0000 -
582.02/583.55 c 584 106100 37 1 - 0.0000 -
587.10/588.60 c 589 107010 33 1 - 0.0000 -
592.10/593.65 c 594 108033 35 1 - 0.0000 -
597.18/598.70 c 599 109000 34 1 - 0.0000 -
602.17/603.76 c 604 109963 43 1 - 0.0000 -
607.25/608.81 c 609 110882 31 1 - 0.0000 -
612.25/613.86 c 614 111826 40 1 - 0.0000 -
617.33/618.91 c 619 112708 58 1 - 0.0000 -
622.32/623.96 c 624 113607 39 1 - 0.0000 -
627.41/629.02 c 629 114449 53 1 - 0.0000 -
632.40/634.07 c 634 115356 50 1 - 0.0000 -
637.48/639.16 c 639 116219 48 1 - 0.0000 -
642.56/644.22 c 644 117130 47 1 - 0.0000 -
647.56/649.27 c 649 117991 59 1 - 0.0000 -
652.64/654.32 c 654 118884 48 1 - 0.0000 -
657.63/659.37 c 659 119770 44 1 - 0.0000 -
662.72/664.43 c 664 120631 41 1 - 0.0000 -
667.80/669.50 c 670 121524 36 1 - 0.0000 -
672.79/674.55 c 675 122444 44 1 - 0.0000 -
677.88/679.60 c 680 123347 51 1 - 0.0000 -
682.86/684.65 c 685 124231 53 1 - 0.0000 -
687.95/689.70 c 690 125119 49 1 - 0.0000 -
692.95/694.78 c 695 126017 47 1 - 0.0000 -
698.03/699.82 c 700 126970 42 1 - 0.0000 -
703.02/704.87 c 705 127913 48 1 - 0.0000 -
708.11/709.92 c 710 128779 54 1 - 0.0000 -
713.30/715.18 c 715 129647 39 1 - 0.0000 -
718.38/720.24 c 720 130620 48 1 - 0.0000 -
723.37/725.29 c 725 131523 47 1 - 0.0000 -
728.46/730.35 c 730 132395 45 1 - 0.0000 -
733.45/735.39 c 735 133296 40 1 - 0.0000 -
738.53/740.44 c 740 134192 53 1 - 0.0000 -
743.52/745.49 c 746 135094 57 1 - 0.0000 -
748.61/750.55 c 751 135994 59 1 - 0.0000 -
753.70/755.62 c 756 136886 43 1 - 0.0000 -
758.68/760.68 c 761 137687 44 1 - 0.0000 -
763.77/765.72 c 766 138494 37 1 - 0.0000 -
768.77/770.79 c 771 139267 30 1 - 0.0000 -
773.85/775.83 c 776 140223 34 1 - 0.0000 -
778.84/780.89 c 781 141139 50 1 - 0.0000 -
783.93/785.94 c 786 142125 54 1 - 0.0000 -
788.91/790.98 c 791 143111 40 1 - 0.0000 -
794.00/796.03 c 796 144114 50 1 - 0.0000 -
798.99/801.08 c 801 145055 30 1 - 0.0000 -
804.08/806.14 c 806 145932 103 1 - 0.0000 -
809.06/811.18 c 811 146924 89 1 - 0.0000 -
814.14/816.24 c 816 147892 32 1 - 0.0000 -
819.13/821.29 c 821 148816 58 1 - 0.0000 -
824.23/826.35 c 826 149711 43 1 - 0.0000 -
829.31/831.40 c 831 150709 48 1 - 0.0000 -
834.30/836.45 c 836 151692 47 1 - 0.0000 -
839.39/841.50 c 842 152588 36 1 - 0.0000 -
844.37/846.56 c 847 153514 31 1 - 0.0000 -
849.46/851.61 c 852 154386 55 1 - 0.0000 -
854.44/856.68 c 857 155466 46 1 - 0.0000 -
859.54/861.72 c 862 156597 55 1 - 0.0000 -
864.62/866.80 c 867 157713 61 1 - 0.0000 -
869.61/871.86 c 872 158784 64 1 - 0.0000 -
874.70/876.90 c 877 159854 47 1 - 0.0000 -
879.68/881.95 c 882 160916 83 1 - 0.0000 -
884.78/887.01 c 887 161893 68 1 - 0.0000 -
889.77/892.05 c 892 162884 54 1 - 0.0000 -
894.85/897.11 c 897 163868 51 1 - 0.0000 -
899.85/902.15 c 902 164926 45 1 - 0.0000 -
904.93/907.20 c 907 165884 43 1 - 0.0000 -
909.91/912.27 c 912 166866 43 1 - 0.0000 -
915.00/917.32 c 917 167876 29 1 - 0.0000 -
919.99/922.37 c 922 168822 41 1 - 0.0000 -
925.08/927.43 c 927 169773 30 1 - 0.0000 -
930.06/932.49 c 932 170786 27 1 - 0.0000 -
935.14/937.53 c 938 171803 42 1 - 0.0000 -
940.23/942.63 c 943 172788 60 1 - 0.0000 -
945.22/947.67 c 948 173855 56 1 - 0.0000 -
950.32/952.72 c 953 174845 49 1 - 0.0000 -
955.30/957.78 c 958 175844 75 1 - 0.0000 -
960.39/962.83 c 963 176847 58 1 - 0.0000 -
965.38/967.88 c 968 177769 54 1 - 0.0000 -
970.46/972.92 c 973 178766 53 1 - 0.0000 -
975.45/977.97 c 978 179805 42 1 - 0.0000 -
980.54/983.02 c 983 180841 38 1 - 0.0000 -
985.53/988.07 c 988 181770 33 1 - 0.0000 -
990.61/993.12 c 993 182658 31 1 - 0.0000 -
995.60/998.17 c 998 183587 30 1 - 0.0000 -
1000.68/1003.23 c 1003 184420 33 1 - 0.0000 -
1005.68/1008.27 c 1008 185331 42 1 - 0.0000 -
1010.76/1013.32 c 1013 186354 32 1 - 0.0000 -
1015.75/1018.38 c 1018 187300 46 1 - 0.0000 -
1020.84/1023.43 c 1023 188226 29 1 - 0.0000 -
1025.83/1028.47 c 1028 189128 35 1 - 0.0000 -
1030.91/1033.52 c 1034 190009 38 1 - 0.0000 -
1035.90/1038.57 c 1039 190929 35 1 - 0.0000 -
1040.98/1043.64 c 1044 191839 39 1 - 0.0000 -
1045.98/1048.69 c 1049 192679 41 1 - 0.0000 -
1051.07/1053.75 c 1054 193585 18 1 - 0.0000 -
1056.05/1058.79 c 1059 194352 61 1 - 0.0000 -
1061.14/1063.84 c 1064 195242 48 1 - 0.0000 -
1066.23/1068.90 c 1069 196155 56 1 - 0.0000 -
1071.21/1073.94 c 1074 197112 46 1 - 0.0000 -
1076.31/1079.00 c 1079 198000 30 1 - 0.0000 -
1081.29/1084.05 c 1084 198835 37 1 - 0.0000 -
1086.28/1089.09 c 1089 199659 64 1 - 0.0000 -
1091.37/1094.14 c 1094 200503 43 1 - 0.0000 -
1096.36/1099.19 c 1099 201357 33 1 - 0.0000 -
1101.44/1104.25 c 1104 202261 39 1 - 0.0000 -
1106.43/1109.29 c 1109 203077 79 1 - 0.0000 -
1111.51/1114.34 c 1114 204045 65 1 - 0.0000 -
1116.50/1119.39 c 1119 204931 65 1 - 0.0000 -
1121.59/1124.44 c 1124 205764 83 1 - 0.0000 -
1126.58/1129.49 c 1130 206642 51 1 - 0.0000 -
1131.66/1134.55 c 1135 207488 49 1 - 0.0000 -
1136.76/1139.61 c 1140 208304 75 1 - 0.0000 -
1141.74/1144.66 c 1145 209113 62 1 - 0.0000 -
1146.83/1149.72 c 1150 209971 36 1 - 0.0000 -
1151.81/1154.77 c 1155 210788 44 1 - 0.0000 -
1156.91/1159.82 c 1160 211650 43 1 - 0.0000 -
1161.89/1164.86 c 1165 212501 34 1 - 0.0000 -
1166.98/1169.92 c 1170 213288 27 1 - 0.0000 -
1171.96/1174.97 c 1175 214082 35 1 - 0.0000 -
1177.06/1180.01 c 1180 214919 56 1 - 0.0000 -
1182.05/1185.07 c 1185 215759 50 1 - 0.0000 -
1187.13/1190.11 c 1190 216552 35 1 - 0.0000 -
1192.13/1195.16 c 1195 217384 35 1 - 0.0000 -
1197.21/1200.21 c 1200 218222 28 1 - 0.0000 -
1202.19/1205.27 c 1205 219053 35 1 - 0.0000 -
1207.29/1210.32 c 1210 219877 25 1 - 0.0000 -
1212.27/1215.37 c 1215 220770 34 1 - 0.0000 -
1217.56/1220.60 c 1221 221635 30 1 - 0.0000 -
1222.54/1225.66 c 1226 222417 24 1 - 0.0000 -
1227.63/1230.71 c 1231 223236 34 1 - 0.0000 -
1232.62/1235.75 c 1236 224156 32 1 - 0.0000 -
1237.71/1240.82 c 1241 225013 37 1 - 0.0000 -
1242.69/1245.86 c 1246 225893 45 1 - 0.0000 -
1247.79/1250.92 c 1251 226815 37 1 - 0.0000 -
1252.77/1255.97 c 1256 227634 32 1 - 0.0000 -
1257.86/1261.02 c 1261 228480 34 1 - 0.0000 -
1262.85/1266.08 c 1266 229293 41 1 - 0.0000 -
1267.94/1271.14 c 1271 230101 41 1 - 0.0000 -
1272.92/1276.19 c 1276 231029 61 1 - 0.0000 -
1278.00/1281.23 c 1281 231901 57 1 - 0.0000 -
1282.99/1286.29 c 1286 232804 63 1 - 0.0000 -
1288.08/1291.34 c 1291 233721 46 1 - 0.0000 -
1293.06/1296.40 c 1296 234603 62 1 - 0.0000 -
1298.15/1301.45 c 1301 235492 41 1 - 0.0000 -
1303.13/1306.49 c 1306 236382 79 1 - 0.0000 -
1308.22/1311.54 c 1312 237374 65 1 - 0.0000 -
1313.21/1316.59 c 1317 238262 55 1 - 0.0000 -
1318.30/1321.64 c 1322 239156 55 1 - 0.0000 -
1323.39/1326.70 c 1327 240043 52 1 - 0.0000 -
1328.38/1331.76 c 1332 240923 50 1 - 0.0000 -
1333.56/1336.90 c 1337 241883 54 1 - 0.0000 -
1338.55/1341.95 c 1342 242788 53 1 - 0.0000 -
1343.64/1347.00 c 1347 243634 47 1 - 0.0000 -
1348.62/1352.05 c 1352 244582 45 1 - 0.0000 -
1353.71/1357.11 c 1357 245437 40 1 - 0.0000 -
1358.90/1362.35 c 1362 246306 41 1 - 0.0000 -
1363.98/1367.40 c 1367 247248 31 1 - 0.0000 -
1368.97/1372.45 c 1372 248083 52 1 - 0.0000 -
1373.96/1377.49 c 1378 248953 39 1 - 0.0000 -
1379.05/1382.54 c 1383 249784 40 1 - 0.0000 -
1384.14/1387.60 c 1388 250607 36 1 - 0.0000 -
1389.12/1392.67 c 1393 251421 30 1 - 0.0000 -
1394.21/1397.72 c 1398 252221 18 1 - 0.0000 -
1399.21/1402.77 c 1403 253166 37 1 - 0.0000 -
1404.29/1407.82 c 1408 254164 46 1 - 0.0000 -
1409.28/1412.88 c 1413 255098 34 1 - 0.0000 -
1414.37/1417.92 c 1418 256050 34 1 - 0.0000 -
1419.35/1422.97 c 1423 257056 35 1 - 0.0000 -
1424.44/1428.02 c 1428 258030 31 1 - 0.0000 -
1429.44/1433.07 c 1433 259032 35 1 - 0.0000 -
1434.52/1438.13 c 1438 260008 32 1 - 0.0000 -
1439.51/1443.17 c 1443 260942 31 1 - 0.0000 -
1444.59/1448.22 c 1448 261918 24 1 - 0.0000 -
1449.58/1453.27 c 1453 262776 26 1 - 0.0000 -
1454.67/1458.32 c 1458 263678 33 1 - 0.0000 -
1459.65/1463.37 c 1463 264610 23 1 - 0.0000 -
1464.75/1468.43 c 1468 265522 19 1 - 0.0000 -
1469.73/1473.47 c 1473 266504 38 1 - 0.0000 -
1474.82/1478.52 c 1479 267551 45 1 - 0.0000 -
1479.80/1483.57 c 1484 268582 39 1 - 0.0000 -
1484.90/1488.62 c 1489 269469 33 1 - 0.0000 -
1489.88/1493.67 c 1494 270487 47 1 - 0.0000 -
1494.97/1498.72 c 1499 271599 63 1 - 0.0000 -
1499.95/1503.77 c 1504 272707 54 1 - 0.0000 -
1505.04/1508.82 c 1509 273778 68 1 - 0.0000 -
1510.03/1513.88 c 1514 274838 49 1 - 0.0000 -
1515.11/1518.92 c 1519 275820 36 1 - 0.0000 -
1520.10/1523.97 c 1524 276746 28 1 - 0.0000 -
1525.19/1529.02 c 1529 277599 27 1 - 0.0000 -
1530.18/1534.08 c 1534 278459 24 1 - 0.0000 -
1535.27/1539.13 c 1539 279347 28 1 - 0.0000 -
1540.25/1544.17 c 1544 280234 43 1 - 0.0000 -
1545.33/1549.22 c 1549 281146 43 1 - 0.0000 -
1550.31/1554.28 c 1554 282098 30 1 - 0.0000 -
1555.41/1559.32 c 1559 282952 28 1 - 0.0000 -
1560.39/1564.37 c 1564 283908 17 1 - 0.0000 -
1565.48/1569.43 c 1569 284888 37 1 - 0.0000 -
1570.46/1574.48 c 1574 285944 37 1 - 0.0000 -
1575.55/1579.53 c 1580 286918 45 1 - 0.0000 -
1580.54/1584.58 c 1585 287878 45 1 - 0.0000 -
1585.63/1589.63 c 1590 288835 44 1 - 0.0000 -
1590.61/1594.68 c 1595 289851 55 1 - 0.0000 -
1595.69/1599.74 c 1600 290860 53 1 - 0.0000 -
1600.69/1604.79 c 1605 291849 54 1 - 0.0000 -
1605.87/1609.97 c 1610 292835 64 1 - 0.0000 -
1610.96/1615.02 c 1615 293876 56 1 - 0.0000 -
1615.95/1620.07 c 1620 294923 46 1 - 0.0000 -
1621.04/1625.12 c 1625 295865 63 1 - 0.0000 -
1626.02/1630.17 c 1630 296790 32 1 - 0.0000 -
1631.10/1635.23 c 1635 297771 32 1 - 0.0000 -
1636.09/1640.29 c 1640 298647 29 1 - 0.0000 -
1641.18/1645.34 c 1645 299485 37 1 - 0.0000 -
1646.16/1650.38 c 1650 300406 44 1 - 0.0000 -
1651.25/1655.44 c 1655 301245 33 1 - 0.0000 -
1656.23/1660.49 c 1660 302077 33 1 - 0.0000 -
1661.32/1665.56 c 1666 302934 28 1 - 0.0000 -
1666.41/1670.60 c 1671 303824 30 1 - 0.0000 -
1671.39/1675.65 c 1676 304755 35 1 - 0.0000 -
1676.48/1680.70 c 1681 305678 21 1 - 0.0000 -
1681.46/1685.76 c 1686 306559 42 1 - 0.0000 -
1686.55/1690.80 c 1691 307496 34 1 - 0.0000 -
1691.54/1695.86 c 1696 308511 37 1 - 0.0000 -
1696.63/1700.90 c 1701 309488 24 1 - 0.0000 -
1701.61/1705.96 c 1706 310436 34 1 - 0.0000 -
1706.71/1711.00 c 1711 311337 25 1 - 0.0000 -
1711.69/1716.05 c 1716 312278 24 1 - 0.0000 -
1716.78/1721.11 c 1721 313165 43 1 - 0.0000 -
1721.76/1726.16 c 1726 314044 30 1 - 0.0000 -
1726.85/1731.22 c 1731 314872 36 1 - 0.0000 -
1731.84/1736.26 c 1736 315806 32 1 - 0.0000 -
1736.92/1741.31 c 1741 316717 43 1 - 0.0000 -
1741.91/1746.36 c 1746 317622 42 1 - 0.0000 -
1747.01/1751.43 c 1751 318566 42 1 - 0.0000 -
1751.99/1756.48 c 1756 319467 39 1 - 0.0000 -
1757.08/1761.54 c 1762 320396 22 1 - 0.0000 -
1762.06/1766.58 c 1767 321277 32 1 - 0.0000 -
1767.15/1771.63 c 1772 322202 26 1 - 0.0000 -
1772.14/1776.68 c 1777 323067 19 1 - 0.0000 -
1777.23/1781.74 c 1782 323990 32 1 - 0.0000 -
1782.21/1786.79 c 1787 324867 27 1 - 0.0000 -
1787.30/1791.84 c 1792 325765 21 1 - 0.0000 -
1792.29/1796.88 c 1797 326641 31 1 - 0.0000 -
1797.37/1801.94 c 1802 327553 20 1 - 0.0000 -
1802.47/1807.00 c 1807 328503 30 1 - 0.0000 -
1807.45/1812.06 c 1812 329417 22 1 - 0.0000 -
1812.54/1817.11 c 1817 330231 24 1 - 0.0000 -
1817.63/1822.23 c 1822 331015 23 1 - 0.0000 -
1822.71/1827.30 c 1827 331903 51 1 - 0.0000 -
1827.70/1832.36 c 1832 332836 58 1 - 0.0000 -
1832.78/1837.41 c 1837 333752 54 1 - 0.0000 -
1837.77/1842.46 c 1842 334668 46 1 - 0.0000 -
1842.86/1847.52 c 1848 335639 33 1 - 0.0000 -
1847.95/1852.62 c 1853 336525 34 1 - 0.0000 -
1852.94/1857.66 c 1858 337361 30 1 - 0.0000 -
1858.03/1862.73 c 1863 338319 44 1 - 0.0000 -
1863.02/1867.78 c 1868 339184 39 1 - 0.0000 -
1868.11/1872.83 c 1873 340123 39 1 - 0.0000 -
1873.09/1877.88 c 1878 341116 32 1 - 0.0000 -
1878.18/1882.94 c 1883 342038 40 1 - 0.0000 -
1883.18/1887.99 c 1888 343010 43 1 - 0.0000 -
1888.27/1893.04 c 1893 343946 36 1 - 0.0000 -
1893.26/1898.08 c 1898 344801 36 1 - 0.0000 -
1898.34/1903.13 c 1903 345707 29 1 - 0.0000 -
1903.33/1908.19 c 1908 346583 35 1 - 0.0000 -
1908.42/1913.23 c 1913 347411 33 1 - 0.0000 -
1913.40/1918.28 c 1918 348323 31 1 - 0.0000 -
1918.49/1923.33 c 1923 349335 47 1 - 0.0000 -
1923.49/1928.38 c 1928 350412 54 1 - 0.0000 -
1928.58/1933.43 c 1933 351473 41 1 - 0.0000 -
1933.57/1938.48 c 1938 352473 20 1 - 0.0000 -
1938.65/1943.54 c 1944 353488 40 1 - 0.0000 -
1943.64/1948.58 c 1949 354487 31 1 - 0.0000 -
1948.73/1953.63 c 1954 355437 17 1 - 0.0000 -
1953.72/1958.68 c 1959 356410 31 1 - 0.0000 -
1958.90/1963.87 c 1964 357329 22 1 - 0.0000 -
1963.99/1968.92 c 1969 358178 49 1 - 0.0000 -
1968.98/1973.98 c 1974 359163 14 1 - 0.0000 -
1974.07/1979.02 c 1979 360076 27 1 - 0.0000 -
1979.06/1984.07 c 1984 361024 14 1 - 0.0000 -
1984.16/1989.14 c 1989 361874 35 1 - 0.0000 -
1989.24/1994.20 c 1994 362824 25 1 - 0.0000 -
1994.23/1999.26 c 1999 363833 28 1 - 0.0000 -
1999.32/2004.30 c 2004 364774 29 1 - 0.0000 -
2004.30/2009.35 c 2009 365738 25 1 - 0.0000 -
2009.39/2014.41 c 2014 366736 25 1 - 0.0000 -
2014.38/2019.45 c 2019 367765 26 1 - 0.0000 -
2019.47/2024.50 c 2025 368787 22 1 - 0.0000 -
2024.46/2029.56 c 2030 369677 41 1 - 0.0000 -
2029.55/2034.61 c 2035 370615 35 1 - 0.0000 -
2034.53/2039.67 c 2040 371509 35 1 - 0.0000 -
2039.63/2044.72 c 2045 372492 22 1 - 0.0000 -
2044.62/2049.77 c 2050 373424 18 1 - 0.0000 -
2049.70/2054.81 c 2055 374317 24 1 - 0.0000 -
2054.79/2059.92 c 2060 375105 28 1 - 0.0000 -
2059.78/2064.97 c 2065 375928 63 1 - 0.0000 -
2064.87/2070.02 c 2070 376792 43 1 - 0.0000 -
2069.86/2075.07 c 2075 377727 48 1 - 0.0000 -
2074.95/2080.12 c 2080 378567 32 1 - 0.0000 -
2079.94/2085.17 c 2085 379539 31 1 - 0.0000 -
2085.02/2090.22 c 2090 380498 35 1 - 0.0000 -
2090.02/2095.28 c 2095 381357 42 1 - 0.0000 -
2095.10/2100.34 c 2100 382313 35 1 - 0.0000 -
2100.09/2105.39 c 2105 383174 25 1 - 0.0000 -
2105.18/2110.45 c 2110 384102 43 1 - 0.0000 -
2110.27/2115.50 c 2116 385117 32 1 - 0.0000 -
2115.25/2120.55 c 2121 386098 40 1 - 0.0000 -
2120.34/2125.60 c 2126 387071 16 1 - 0.0000 -
2125.34/2130.65 c 2131 388012 33 1 - 0.0000 -
2130.43/2135.70 c 2136 389015 27 1 - 0.0000 -
2135.41/2140.75 c 2141 389918 31 1 - 0.0000 -
2140.50/2145.82 c 2146 390850 20 1 - 0.0000 -
2145.49/2150.87 c 2151 391815 18 1 - 0.0000 -
2150.58/2155.93 c 2156 392735 21 1 - 0.0000 -
2155.57/2160.99 c 2161 393618 26 1 - 0.0000 -
2160.66/2166.04 c 2166 394460 10 1 - 0.0000 -
2165.65/2171.09 c 2171 395297 40 1 - 0.0000 -
2170.73/2176.18 c 2176 396220 34 1 - 0.0000 -
2175.83/2181.23 c 2181 397149 29 1 - 0.0000 -
2180.81/2186.29 c 2186 398050 44 1 - 0.0000 -
2185.90/2191.33 c 2191 398987 41 1 - 0.0000 -
2190.89/2196.38 c 2196 399902 31 1 - 0.0000 -
2195.98/2201.44 c 2201 400773 25 1 - 0.0000 -
2200.97/2206.48 c 2206 401586 26 1 - 0.0000 -
2206.06/2211.54 c 2212 402492 16 1 - 0.0000 -
2211.05/2216.58 c 2217 403314 20 1 - 0.0000 -
2216.13/2221.64 c 2222 404252 23 1 - 0.0000 -
2221.12/2226.68 c 2227 405264 36 1 - 0.0000 -
2226.21/2231.73 c 2232 406209 26 1 - 0.0000 -
2231.20/2236.78 c 2237 407170 33 1 - 0.0000 -
2236.29/2241.85 c 2242 408090 33 1 - 0.0000 -
2241.27/2246.89 c 2247 409008 20 1 - 0.0000 -
2246.37/2251.94 c 2252 409944 22 1 - 0.0000 -
2251.35/2256.99 c 2257 410853 20 1 - 0.0000 -
2256.45/2262.04 c 2262 411863 20 1 - 0.0000 -
2261.43/2267.09 c 2267 412820 19 1 - 0.0000 -
2266.52/2272.14 c 2272 413761 34 1 - 0.0000 -
2271.51/2277.19 c 2277 414774 26 1 - 0.0000 -
2276.60/2282.25 c 2282 415749 25 1 - 0.0000 -
2281.68/2287.32 c 2287 416694 21 1 - 0.0000 -
2286.67/2292.38 c 2292 417656 27 1 - 0.0000 -
2291.76/2297.42 c 2297 418592 7 1 - 0.0000 -
2296.76/2302.47 c 2302 419473 14 1 - 0.0000 -
2301.84/2307.53 c 2308 420387 9 1 - 0.0000 -
2306.83/2312.59 c 2313 421327 16 1 - 0.0000 -
2311.92/2317.63 c 2318 422275 20 1 - 0.0000 -
2316.90/2322.69 c 2323 423165 13 1 - 0.0000 -
2321.99/2327.74 c 2328 424055 11 1 - 0.0000 -
2326.98/2332.78 c 2333 424936 20 1 - 0.0000 -
2332.07/2337.83 c 2338 425808 19 1 - 0.0000 -
2337.07/2342.88 c 2343 426707 15 1 - 0.0000 -
2342.15/2347.93 c 2348 427588 22 1 - 0.0000 -
2347.14/2352.98 c 2353 428429 15 1 - 0.0000 -
2352.23/2358.03 c 2358 429200 10 1 - 0.0000 -
2357.32/2363.14 c 2363 430048 10 1 - 0.0000 -
2362.31/2368.19 c 2368 430901 15 1 - 0.0000 -
2364.20/2370.09 c 2370 431194 0 0 - 0.0000 -
2364.30/2370.11 c 2370 431194 0 0 - 0.0000 -
2364.30/2370.11 c SCIP Status : c problem is solved [infeasible]
2364.30/2370.11 c Total Time : 2370.1200
2364.30/2370.11 c solving : 2370.1200
2364.30/2370.11 c presolving : 0.0716 (included in solving)
2364.30/2370.11 c B&B Tree :
2364.30/2370.11 c nodes (total) : 431194
2364.30/2370.11 c Solution :
2364.30/2370.11 c Solutions found : 0
2364.30/2370.11 c Primal Bound : -
2364.30/2370.11 c Dual Bound : -
2364.30/2370.11 c Gap : -
2364.30/2370.12 s UNSATISFIABLE
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 (62049 MiB free)
memory of node 1: 64473 MiB (61887 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464694-1722387905/watcher-4464694-1722387905 -o /tmp/evaluation-result-4464694-1722387905/solver-4464694-1722387905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28642 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464694-1722387905.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
Current StackSize limit: 8192 KiB
solver pid=34255, runsolver pid=34252
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.15 4.17 5/266 34257
/proc/meminfo: memFree=126876272/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=129932 memory=46436 CPUtime=0.09 cores=4,6
/proc/34255/stat : 34255 (fscip) R 34252 34255 28631 0 -1 1077936128 10548 0 0 0 8 1 0 0 20 0 2 0 5394985 133050368 11609 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 32483 11609 2774 3035 0 13615 0
[pid=34255/tid=34257] ppid=34252 vsize=129932 memory=4026561586 CPUtime=0 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) S 34252 34255 28631 0 -1 1077936192 1108 0 0 0 0 0 0 0 20 0 2 0 5394994 133050368 11609 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 129932 KiB
Current children cumulated memory: 46436 KiB
[startup+0.20591 s]*
/proc/loadavg: 4.15 4.15 4.17 5/267 34258
/proc/meminfo: memFree=126845556/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=153972 memory=75700 CPUtime=0.2 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 17848 0 0 0 18 2 0 0 20 0 3 0 5394985 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 38493 18925 2854 3035 0 24094 0
[pid=34255/tid=34257] ppid=34252 vsize=153972 memory=8505393642823811203 CPUtime=0.1 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 8405 0 0 0 9 1 0 0 20 0 3 0 5394994 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=153972 memory=43249 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5394996 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153972 KiB
Current children cumulated memory: 75700 KiB
[startup+0.305874 s]*
/proc/loadavg: 4.15 4.15 4.17 5/267 34258
/proc/meminfo: memFree=126845416/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=153972 memory=75700 CPUtime=0.3 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 17853 0 0 0 28 2 0 0 20 0 3 0 5394985 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 38493 18925 2854 3035 0 24094 0
[pid=34255/tid=34257] ppid=34252 vsize=153972 memory=-5155633492094643077 CPUtime=0.2 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 8410 0 0 0 19 1 0 0 20 0 3 0 5394994 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=153972 memory=0 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5394996 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153972 KiB
Current children cumulated memory: 75700 KiB
[startup+0.700172 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 34258
/proc/meminfo: memFree=126845248/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=153972 memory=75700 CPUtime=0.69 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 17853 0 0 0 67 2 0 0 20 0 3 0 5394985 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 38493 18925 2854 3035 0 24094 0
[pid=34255/tid=34257] ppid=34252 vsize=153972 memory=0 CPUtime=0.59 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 8410 0 0 0 58 1 0 0 20 0 3 0 5394994 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=153972 memory=0 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5394996 157667328 18925 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153972 KiB
Current children cumulated memory: 75700 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.15 4.17 5/267 34260
/proc/meminfo: memFree=126825060/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=153972 memory=112080 CPUtime=1.49 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 32241 0 0 0 145 4 0 0 20 0 3 0 5394985 157667328 28020 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 38493 28020 2950 3035 0 34614 0
[pid=34255/tid=34257] ppid=34252 vsize=153972 memory=0 CPUtime=1.38 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 22791 0 0 0 136 2 0 0 20 0 3 0 5394994 157667328 28020 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=153972 memory=0 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5394996 157667328 28020 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 153972 KiB
Current children cumulated memory: 112080 KiB
[startup+3.10558 s]
/proc/loadavg: 4.14 4.15 4.17 5/267 34260
/proc/meminfo: memFree=126800932/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219508 memory=120156 CPUtime=3.08 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 34528 0 0 0 304 4 0 0 20 0 3 0 5394985 224776192 30039 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54877 30039 2950 3035 0 36265 0
[pid=34255/tid=34257] ppid=34252 vsize=219508 memory=95332 CPUtime=2.99 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 25050 0 0 0 296 3 0 0 20 0 3 0 5394994 224776192 30039 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219508 memory=0 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5394996 224776192 30039 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219508 KiB
Current children cumulated memory: 120156 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.14 4.16 5/267 34260
/proc/meminfo: memFree=126784600/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219508 memory=136448 CPUtime=6.27 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 47513 0 0 0 622 5 0 0 20 0 3 0 5394985 224776192 34112 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54877 34112 2950 3035 0 40685 0
[pid=34255/tid=34257] ppid=34252 vsize=219508 memory=11592 CPUtime=6.17 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 38013 0 0 0 613 4 0 0 20 0 3 0 5394994 224776192 34112 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219508 memory=135732 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5394996 224776192 34112 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 219508 KiB
Current children cumulated memory: 136448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.16 5/267 34261
/proc/meminfo: memFree=126764776/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219508 memory=155692 CPUtime=12.65 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 73650 0 0 0 1258 7 0 0 20 0 3 0 5394985 224776192 38923 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54877 38923 2998 3035 0 45730 0
[pid=34255/tid=34257] ppid=34252 vsize=219508 memory=-7523381394107622523 CPUtime=12.55 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 64106 0 0 0 1249 6 0 0 20 0 3 0 5394994 224776192 38923 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219508 memory=135656 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5394996 224776192 38923 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219508 KiB
Current children cumulated memory: 155692 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.16 5/267 34263
/proc/meminfo: memFree=126752196/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=218568 memory=165708 CPUtime=25.42 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 116397 0 0 0 2531 11 0 0 20 0 3 0 5394985 223813632 41427 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54642 41427 2998 3035 0 47963 0
[pid=34255/tid=34257] ppid=34252 vsize=218568 memory=136448 CPUtime=25.32 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 106789 0 0 0 2522 10 0 0 20 0 3 0 5394994 223813632 41427 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=218568 memory=165696 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5394996 223813632 41427 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 218568 KiB
Current children cumulated memory: 165708 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.14 4.16 5/266 34268
/proc/meminfo: memFree=126745648/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=218568 memory=166200 CPUtime=50.96 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 139473 0 0 0 5083 13 0 0 20 0 3 0 5394985 223813632 41550 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54642 41550 2998 3035 0 47991 0
[pid=34255/tid=34257] ppid=34252 vsize=218568 memory=166200 CPUtime=50.85 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 129812 0 0 0 5074 11 0 0 20 0 3 0 5394994 223813632 41550 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=218568 memory=-7523381394107622523 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5394996 223813632 41550 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 218568 KiB
Current children cumulated memory: 166200 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/265 34277
/proc/meminfo: memFree=126679700/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=218568 memory=166228 CPUtime=102.02 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 155588 0 0 0 10185 17 0 0 20 0 3 0 5394985 223813632 41557 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54642 41557 2998 3035 0 47991 0
[pid=34255/tid=34257] ppid=34252 vsize=218568 memory=12520 CPUtime=101.92 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 145851 0 0 0 10176 16 0 0 20 0 3 0 5394994 223813632 41557 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=218568 memory=5488 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5394996 223813632 41557 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 218568 KiB
Current children cumulated memory: 166228 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/264 34289
/proc/meminfo: memFree=126585208/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=218568 memory=166268 CPUtime=161.87 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 168507 0 0 0 16166 21 0 0 20 0 3 0 5394985 223813632 41567 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54642 41567 2998 3035 0 47991 0
[pid=34255/tid=34257] ppid=34252 vsize=218568 memory=166236 CPUtime=161.76 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 158720 0 0 0 16157 19 0 0 20 0 3 0 5394994 223813632 41567 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=218568 memory=12936 CPUtime=0 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5394996 223813632 41567 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 218568 KiB
Current children cumulated memory: 166268 KiB
################
# More data... #
################
/proc/34255/statm: 54996 46466 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=185864 CPUtime=2256.51 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 318106 0 0 0 225530 121 0 0 20 0 3 0 5394994 225263616 46466 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=11592 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 103 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46466 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2256.74 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185864 KiB
[startup+2322.3 s]
/proc/loadavg: 1.10 1.42 2.52 2/239 35398
/proc/meminfo: memFree=128897196/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185892 CPUtime=2316.6 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329290 0 0 0 231531 129 0 0 20 0 3 0 5394985 225263616 46473 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46473 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=185884 CPUtime=2316.37 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 318628 0 0 0 231514 123 0 0 20 0 3 0 5394994 225263616 46473 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=5488 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 105 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46473 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2316.6 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185892 KiB
[startup+2370.12 s]
# the end of solver process 34255 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2363.02 s, system=1.31358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.6 s]
/proc/loadavg: 1.09 1.41 2.51 2/239 35398
/proc/meminfo: memFree=128897212/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185892 CPUtime=2323.89 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329296 0 0 0 232260 129 0 0 20 0 3 0 5394985 225263616 46473 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46473 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=5488 CPUtime=2323.65 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 318634 0 0 0 232242 123 0 0 20 0 3 0 5394994 225263616 46473 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=11592 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 105 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46473 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2323.89 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185892 KiB
[startup+2355.2 s]
/proc/loadavg: 1.06 1.38 2.47 2/239 35404
/proc/meminfo: memFree=128897044/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185900 CPUtime=2349.43 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329832 0 0 0 234813 130 0 0 20 0 3 0 5394985 225263616 46475 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46475 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=185828 CPUtime=2349.2 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319149 0 0 0 234796 124 0 0 20 0 3 0 5394994 225263616 46475 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=185840 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46475 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2349.43 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185900 KiB
[startup+2361.6 s]
/proc/loadavg: 1.14 1.39 2.46 2/239 35405
/proc/meminfo: memFree=128897044/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2355.82 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329836 0 0 0 235452 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=185900 CPUtime=2355.58 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319153 0 0 0 235434 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=185916 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2355.82 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
[startup+2364.8 s]
/proc/loadavg: 1.12 1.38 2.46 2/239 35405
/proc/meminfo: memFree=128896924/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2359.01 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329840 0 0 0 235771 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=12936 CPUtime=2358.77 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319157 0 0 0 235753 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=11592 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2359.01 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
[startup+2368 s]*
/proc/loadavg: 1.11 1.37 2.45 2/239 35405
/proc/meminfo: memFree=128896932/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2362.21 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329841 0 0 0 236091 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=-7523381394107622523 CPUtime=2361.97 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319158 0 0 0 236073 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=-7377923638443538883 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2362.21 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
[startup+2368.8 s]
/proc/loadavg: 1.11 1.37 2.45 2/239 35405
/proc/meminfo: memFree=128896932/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2363 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329841 0 0 0 236170 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=54472 CPUtime=2362.76 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319158 0 0 0 236152 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=5520 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2363 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
[startup+2369.6 s]
/proc/loadavg: 1.11 1.37 2.45 2/239 35405
/proc/meminfo: memFree=128896932/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2363.8 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329841 0 0 0 236250 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=1812 CPUtime=2363.56 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319158 0 0 0 236232 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=5488 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2363.8 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
[startup+2370 s]*
/proc/loadavg: 1.11 1.37 2.45 2/239 35406
/proc/meminfo: memFree=128896848/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2364.2 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329841 0 0 0 236290 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=-7523381394107622523 CPUtime=2363.96 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319158 0 0 0 236272 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=-7377923638443538883 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2364.2 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
[startup+2370.1 s]
/proc/loadavg: 1.11 1.37 2.45 2/239 35406
/proc/meminfo: memFree=128896848/131524600 swapFree=131071996/131071996
[pid=34255] ppid=34252 vsize=219984 memory=185916 CPUtime=2364.3 cores=4,6
/proc/34255/stat : 34255 (fscip) S 34252 34255 28631 0 -1 1077936128 329846 0 0 0 236300 130 0 0 20 0 3 0 5394985 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
/proc/34255/statm: 54996 46479 2998 3035 0 49942 0
[pid=34255/tid=34257] ppid=34252 vsize=219984 memory=185916 CPUtime=2364.06 cores=4,6
/proc/34255/task/34257/stat : 34257 (fscip) R 34252 34255 28631 0 -1 4194368 319158 0 0 0 236282 124 0 0 20 0 3 0 5394994 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
[pid=34255/tid=34258] ppid=34252 vsize=219984 memory=185916 CPUtime=0.01 cores=4,6
/proc/34255/task/34258/stat : 34258 (fscip) S 34252 34255 28631 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 5394996 225263616 46479 134679101440 4194304 16623229 140722934853968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 38965248 140722934862870 140722934862986 140722934862986 140722934870000 0
Current children cumulated CPU time: 2364.3 s
Current children cumulated vsize: 219984 KiB
Current children cumulated memory: 185916 KiB
Child status: 0
Real time (s): 2370.12
CPU time (s): 2364.33
CPU user time (s): 2363.02
CPU system time (s): 1.31358
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 219984
Max. memory (cumulated for all children) (KiB): 185916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2363.02
system time used= 1.31358
maximum resident set size= 185916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330102
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= 7123
involuntary context switches= 1173
# summary of solver processes directly reported to runsolver:
# pid: 34255
# total CPU time (s): 2364.33
# total CPU user time (s): 2363.02
# total CPU system time (s): 1.31358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60357 second user time and 10.0265 second system time
The end
Begin job on nodeC028 at 2024-07-31 03:05:05
IDJOB=4464694
IDBENCH=164452
IDSOLVER=3092
FILE ID=nodeC028/4464694-1722387905
RUNJOBID= nodeC028-1722378597-28642
SLURM_JOB_ID= 8249851
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.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-4464694-1722387905/watcher-4464694-1722387905 -o /tmp/evaluation-result-4464694-1722387905/solver-4464694-1722387905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28642 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464694-1722387905.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05
RANDOM SEED=2000602468
nodeC028.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 : 3670.478
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.94
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 : 3688.103
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.71
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 : 3605.531
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.94
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 : 3600.317
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.71
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 : 3655.903
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.94
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 : 3688.123
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.71
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 : 3671.522
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.94
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.137
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.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126911024 kB
MemAvailable: 127710448 kB
Buffers: 100672 kB
Cached: 1522696 kB
SwapCached: 0 kB
Active: 262904 kB
Inactive: 3839276 kB
Active(anon): 1528 kB
Inactive(anon): 2498624 kB
Active(file): 261376 kB
Inactive(file): 1340652 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28768 kB
Writeback: 0 kB
AnonPages: 2436996 kB
Mapped: 125932 kB
Shmem: 21336 kB
KReclaimable: 74440 kB
Slab: 161112 kB
SReclaimable: 74440 kB
SUnreclaim: 86672 kB
KernelStack: 4256 kB
PageTables: 16884 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2941604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1656832 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: 207572 kB
DirectMap2M: 6905856 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC028 at 2024-07-31 03:44:35