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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 30400512, getVmSize() = 30400512, SCIPgetMemUsed() = 6081690, 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 = 28844032, getVmSize() = 56131584, SCIPgetMemUsed() = 15484658, 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-4452580-1721446707
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.08 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.09 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.09 c Nodes Active
0.00/0.09 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.87/5.96 c 6 208 131 1 - 0.0000 -
10.96/11.03 c 11 612 253 1 - 0.0000 -
16.04/16.14 c 16 1023 384 1 - 0.0000 -
21.72/21.87 c 22 1550 23 1 - 0.0000 -
26.80/26.93 c 27 2283 31 1 - 0.0000 -
31.79/31.98 c 32 3019 71 1 - 0.0000 -
36.87/37.02 c 37 3764 56 1 - 0.0000 -
41.85/42.07 c 42 4428 72 1 - 0.0000 -
46.93/47.15 c 47 5313 72 1 - 0.0000 -
52.02/52.21 c 52 6204 71 1 - 0.0000 -
57.00/57.28 c 57 7215 60 1 - 0.0000 -
62.08/62.35 c 62 8154 47 1 - 0.0000 -
67.06/67.39 c 67 9108 29 1 - 0.0000 -
72.15/72.45 c 72 10064 23 1 - 0.0000 -
77.14/77.49 c 78 11002 32 1 - 0.0000 -
82.22/82.55 c 83 11908 30 1 - 0.0000 -
87.31/87.66 c 88 12709 45 1 - 0.0000 -
92.39/92.76 c 93 13604 33 1 - 0.0000 -
97.48/97.81 c 98 14549 42 1 - 0.0000 -
102.46/102.86 c 103 15489 36 1 - 0.0000 -
107.54/107.91 c 108 16349 40 1 - 0.0000 -
112.53/112.98 c 113 17252 36 1 - 0.0000 -
117.61/118.05 c 118 18164 33 1 - 0.0000 -
122.70/123.12 c 123 18941 30 1 - 0.0000 -
127.70/128.16 c 128 19886 45 1 - 0.0000 -
132.78/133.22 c 133 20972 56 1 - 0.0000 -
137.76/138.26 c 138 21989 48 1 - 0.0000 -
142.85/143.31 c 143 22980 39 1 - 0.0000 -
147.83/148.37 c 148 24058 45 1 - 0.0000 -
152.92/153.44 c 153 25103 68 1 - 0.0000 -
157.90/158.48 c 158 26050 54 1 - 0.0000 -
162.99/163.53 c 164 27099 50 1 - 0.0000 -
167.98/168.58 c 169 28119 34 1 - 0.0000 -
173.07/173.64 c 174 29127 46 1 - 0.0000 -
178.36/178.93 c 179 30112 49 1 - 0.0000 -
183.34/183.98 c 184 31072 49 1 - 0.0000 -
188.43/189.02 c 189 32001 36 1 - 0.0000 -
193.41/194.07 c 194 32984 43 1 - 0.0000 -
198.51/199.14 c 199 33906 53 1 - 0.0000 -
203.59/204.25 c 204 34839 44 1 - 0.0000 -
208.68/209.32 c 209 35755 54 1 - 0.0000 -
213.66/214.37 c 214 36722 37 1 - 0.0000 -
218.75/219.41 c 219 37559 56 1 - 0.0000 -
223.73/224.47 c 224 38455 44 1 - 0.0000 -
228.82/229.52 c 230 39290 45 1 - 0.0000 -
233.80/234.59 c 235 40217 58 1 - 0.0000 -
238.90/239.63 c 240 41215 66 1 - 0.0000 -
243.88/244.69 c 245 42095 48 1 - 0.0000 -
248.97/249.73 c 250 43015 50 1 - 0.0000 -
253.95/254.79 c 255 43920 72 1 - 0.0000 -
259.05/259.85 c 260 44965 71 1 - 0.0000 -
264.13/264.90 c 265 46027 82 1 - 0.0000 -
269.11/269.94 c 270 47083 80 1 - 0.0000 -
274.20/275.00 c 275 48095 85 1 - 0.0000 -
279.18/280.04 c 280 49229 80 1 - 0.0000 -
284.18/285.09 c 285 50299 79 1 - 0.0000 -
289.26/290.15 c 290 51340 52 1 - 0.0000 -
294.34/295.20 c 295 52430 65 1 - 0.0000 -
299.33/300.24 c 300 53460 57 1 - 0.0000 -
304.42/305.33 c 305 54473 54 1 - 0.0000 -
309.41/310.39 c 310 55497 60 1 - 0.0000 -
314.50/315.44 c 315 56554 81 1 - 0.0000 -
319.48/320.49 c 320 57687 62 1 - 0.0000 -
324.57/325.54 c 326 58708 81 1 - 0.0000 -
329.65/330.62 c 331 59722 67 1 - 0.0000 -
334.64/335.69 c 336 60798 53 1 - 0.0000 -
339.72/340.77 c 341 61752 54 1 - 0.0000 -
344.81/345.82 c 346 62706 55 1 - 0.0000 -
349.80/350.87 c 351 63623 60 1 - 0.0000 -
354.89/355.93 c 356 64591 61 1 - 0.0000 -
359.88/360.97 c 361 65549 43 1 - 0.0000 -
364.97/366.02 c 366 66472 51 1 - 0.0000 -
370.05/371.17 c 371 67315 40 1 - 0.0000 -
375.13/376.22 c 376 68198 38 1 - 0.0000 -
380.23/381.30 c 381 69185 45 1 - 0.0000 -
385.21/386.35 c 386 70205 61 1 - 0.0000 -
390.20/391.39 c 391 71317 62 1 - 0.0000 -
395.28/396.45 c 396 72450 63 1 - 0.0000 -
400.37/401.58 c 402 73458 60 1 - 0.0000 -
405.46/406.64 c 407 74391 71 1 - 0.0000 -
410.44/411.69 c 412 75325 65 1 - 0.0000 -
415.53/416.75 c 417 76206 65 1 - 0.0000 -
420.61/421.80 c 422 77113 52 1 - 0.0000 -
425.60/426.84 c 427 78081 55 1 - 0.0000 -
430.60/431.89 c 432 78960 46 1 - 0.0000 -
435.68/436.94 c 437 79868 64 1 - 0.0000 -
440.76/442.00 c 442 80892 56 1 - 0.0000 -
445.75/447.08 c 447 81849 49 1 - 0.0000 -
450.84/452.13 c 452 82713 61 1 - 0.0000 -
455.83/457.18 c 457 83744 65 1 - 0.0000 -
460.91/462.22 c 462 84777 62 1 - 0.0000 -
465.89/467.28 c 467 85666 61 1 - 0.0000 -
470.98/472.32 c 472 86583 54 1 - 0.0000 -
475.97/477.39 c 477 87577 73 1 - 0.0000 -
481.06/482.44 c 482 88713 56 1 - 0.0000 -
486.04/487.48 c 487 89735 77 1 - 0.0000 -
491.13/492.53 c 493 90808 93 1 - 0.0000 -
496.11/497.59 c 498 91806 66 1 - 0.0000 -
501.20/502.64 c 503 92802 53 1 - 0.0000 -
506.28/507.70 c 508 93807 56 1 - 0.0000 -
511.28/512.74 c 513 94928 50 1 - 0.0000 -
516.27/517.78 c 518 95928 46 1 - 0.0000 -
521.35/522.83 c 523 96954 58 1 - 0.0000 -
526.33/527.88 c 528 97978 47 1 - 0.0000 -
531.52/533.01 c 533 99058 52 1 - 0.0000 -
536.51/538.06 c 538 100095 53 1 - 0.0000 -
541.60/543.11 c 543 101182 50 1 - 0.0000 -
546.59/548.17 c 548 102229 56 1 - 0.0000 -
551.67/553.22 c 553 103082 37 1 - 0.0000 -
556.66/558.28 c 558 104046 49 1 - 0.0000 -
561.74/563.32 c 563 105010 50 1 - 0.0000 -
566.73/568.38 c 568 105981 44 1 - 0.0000 -
571.82/573.43 c 573 106917 38 1 - 0.0000 -
576.80/578.48 c 578 107955 42 1 - 0.0000 -
581.88/583.53 c 584 108950 36 1 - 0.0000 -
586.86/588.59 c 589 109933 41 1 - 0.0000 -
591.95/593.64 c 594 110876 29 1 - 0.0000 -
596.93/598.69 c 599 111841 43 1 - 0.0000 -
602.01/603.73 c 604 112742 54 1 - 0.0000 -
607.00/608.78 c 609 113658 38 1 - 0.0000 -
612.08/613.83 c 614 114531 51 1 - 0.0000 -
617.06/618.88 c 619 115445 51 1 - 0.0000 -
622.14/623.93 c 624 116321 36 1 - 0.0000 -
627.14/628.99 c 629 117256 55 1 - 0.0000 -
632.22/634.03 c 634 118145 63 1 - 0.0000 -
637.31/639.10 c 639 119047 47 1 - 0.0000 -
642.29/644.15 c 644 119973 41 1 - 0.0000 -
647.37/649.20 c 649 120873 39 1 - 0.0000 -
652.35/654.27 c 654 121766 36 1 - 0.0000 -
657.43/659.33 c 659 122698 64 1 - 0.0000 -
662.41/664.38 c 664 123643 49 1 - 0.0000 -
667.50/669.44 c 669 124562 48 1 - 0.0000 -
672.49/674.49 c 674 125467 47 1 - 0.0000 -
677.57/679.53 c 680 126409 49 1 - 0.0000 -
682.55/684.59 c 685 127392 46 1 - 0.0000 -
687.64/689.63 c 690 128324 49 1 - 0.0000 -
692.62/694.68 c 695 129195 46 1 - 0.0000 -
697.70/699.73 c 700 130106 50 1 - 0.0000 -
702.68/704.78 c 705 131068 44 1 - 0.0000 -
707.77/709.83 c 710 131972 50 1 - 0.0000 -
712.76/714.88 c 715 132857 49 1 - 0.0000 -
717.84/719.93 c 720 133764 59 1 - 0.0000 -
722.82/724.99 c 725 134699 56 1 - 0.0000 -
727.90/730.03 c 730 135610 49 1 - 0.0000 -
732.89/735.09 c 735 136550 45 1 - 0.0000 -
737.98/740.13 c 740 137392 46 1 - 0.0000 -
743.07/745.20 c 745 138207 46 1 - 0.0000 -
748.05/750.25 c 750 139054 27 1 - 0.0000 -
753.14/755.30 c 755 139977 28 1 - 0.0000 -
758.12/760.36 c 760 140916 37 1 - 0.0000 -
763.21/765.41 c 765 141914 59 1 - 0.0000 -
768.20/770.46 c 770 142929 44 1 - 0.0000 -
773.28/775.50 c 776 143944 36 1 - 0.0000 -
778.27/780.56 c 781 144941 34 1 - 0.0000 -
783.35/785.65 c 786 145844 85 1 - 0.0000 -
788.45/790.70 c 791 146841 104 1 - 0.0000 -
793.43/795.76 c 796 147848 38 1 - 0.0000 -
798.52/800.80 c 801 148781 57 1 - 0.0000 -
803.51/805.86 c 806 149703 41 1 - 0.0000 -
808.59/810.92 c 811 150747 48 1 - 0.0000 -
813.69/816.04 c 816 151765 48 1 - 0.0000 -
818.67/821.10 c 821 152689 35 1 - 0.0000 -
823.76/826.15 c 826 153633 30 1 - 0.0000 -
828.84/831.22 c 831 154565 68 1 - 0.0000 -
833.82/836.27 c 836 155699 43 1 - 0.0000 -
838.91/841.34 c 841 156874 57 1 - 0.0000 -
843.90/846.39 c 846 158011 57 1 - 0.0000 -
848.99/851.43 c 851 159094 62 1 - 0.0000 -
853.98/856.49 c 856 160221 46 1 - 0.0000 -
859.06/861.54 c 862 161250 69 1 - 0.0000 -
864.05/866.58 c 867 162281 52 1 - 0.0000 -
869.13/871.63 c 872 163302 60 1 - 0.0000 -
874.13/876.69 c 877 164328 41 1 - 0.0000 -
879.21/881.74 c 882 165382 39 1 - 0.0000 -
884.30/886.80 c 887 166381 32 1 - 0.0000 -
889.28/891.86 c 892 167386 33 1 - 0.0000 -
894.37/896.90 c 897 168428 29 1 - 0.0000 -
899.36/901.96 c 902 169361 54 1 - 0.0000 -
904.45/907.01 c 907 170408 39 1 - 0.0000 -
909.43/912.05 c 912 171451 26 1 - 0.0000 -
914.52/917.11 c 917 172469 59 1 - 0.0000 -
919.51/922.15 c 922 173549 58 1 - 0.0000 -
924.59/927.24 c 927 174611 57 1 - 0.0000 -
929.58/932.28 c 932 175605 60 1 - 0.0000 -
934.66/937.33 c 937 176678 59 1 - 0.0000 -
939.65/942.39 c 942 177631 56 1 - 0.0000 -
944.74/947.43 c 947 178635 54 1 - 0.0000 -
949.72/952.48 c 952 179726 39 1 - 0.0000 -
954.81/957.54 c 958 180759 38 1 - 0.0000 -
959.80/962.58 c 963 181737 30 1 - 0.0000 -
964.88/967.63 c 968 182658 31 1 - 0.0000 -
969.88/972.68 c 973 183615 32 1 - 0.0000 -
974.96/977.74 c 978 184475 28 1 - 0.0000 -
979.95/982.79 c 983 185428 44 1 - 0.0000 -
985.03/987.85 c 988 186472 30 1 - 0.0000 -
990.02/992.89 c 993 187443 35 1 - 0.0000 -
995.11/997.94 c 998 188392 35 1 - 0.0000 -
1000.09/1002.99 c 1003 189312 41 1 - 0.0000 -
1005.18/1008.04 c 1008 190238 37 1 - 0.0000 -
1010.17/1013.10 c 1013 191181 23 1 - 0.0000 -
1015.26/1018.14 c 1018 192114 25 1 - 0.0000 -
1020.24/1023.19 c 1023 192974 30 1 - 0.0000 -
1025.32/1028.26 c 1028 193836 43 1 - 0.0000 -
1030.42/1033.30 c 1033 194698 67 1 - 0.0000 -
1035.41/1038.36 c 1038 195643 34 1 - 0.0000 -
1040.49/1043.42 c 1043 196624 45 1 - 0.0000 -
1045.48/1048.46 c 1048 197553 29 1 - 0.0000 -
1050.56/1053.53 c 1054 198420 38 1 - 0.0000 -
1055.55/1058.57 c 1059 199304 61 1 - 0.0000 -
1060.74/1063.71 c 1064 200160 43 1 - 0.0000 -
1065.73/1068.76 c 1069 201038 32 1 - 0.0000 -
1070.82/1073.83 c 1074 201953 41 1 - 0.0000 -
1075.80/1078.89 c 1079 202806 60 1 - 0.0000 -
1080.89/1083.93 c 1084 203797 69 1 - 0.0000 -
1085.87/1088.98 c 1089 204716 56 1 - 0.0000 -
1090.96/1094.07 c 1094 205603 74 1 - 0.0000 -
1096.05/1099.11 c 1099 206478 59 1 - 0.0000 -
1101.03/1104.16 c 1104 207349 54 1 - 0.0000 -
1106.12/1109.22 c 1109 208208 77 1 - 0.0000 -
1111.11/1114.27 c 1114 209049 60 1 - 0.0000 -
1116.19/1119.31 c 1119 209924 41 1 - 0.0000 -
1121.18/1124.38 c 1124 210769 37 1 - 0.0000 -
1126.26/1129.43 c 1129 211661 40 1 - 0.0000 -
1131.35/1134.51 c 1135 212536 35 1 - 0.0000 -
1136.35/1139.56 c 1140 213337 42 1 - 0.0000 -
1141.43/1144.61 c 1145 214180 43 1 - 0.0000 -
1146.41/1149.67 c 1150 215023 60 1 - 0.0000 -
1151.50/1154.72 c 1155 215917 50 1 - 0.0000 -
1156.49/1159.78 c 1160 216704 31 1 - 0.0000 -
1161.57/1164.82 c 1165 217610 27 1 - 0.0000 -
1166.56/1169.87 c 1170 218466 34 1 - 0.0000 -
1171.66/1174.92 c 1175 219319 35 1 - 0.0000 -
1176.64/1179.99 c 1180 220204 44 1 - 0.0000 -
1181.73/1185.03 c 1185 221070 34 1 - 0.0000 -
1186.82/1190.12 c 1190 221929 36 1 - 0.0000 -
1191.81/1195.16 c 1195 222741 38 1 - 0.0000 -
1196.89/1200.21 c 1200 223624 32 1 - 0.0000 -
1201.87/1205.27 c 1205 224557 49 1 - 0.0000 -
1206.96/1210.33 c 1210 225464 30 1 - 0.0000 -
1211.94/1215.38 c 1215 226393 33 1 - 0.0000 -
1217.04/1220.42 c 1220 227294 32 1 - 0.0000 -
1222.02/1225.47 c 1225 228109 39 1 - 0.0000 -
1227.11/1230.52 c 1231 228987 37 1 - 0.0000 -
1232.09/1235.57 c 1236 229860 34 1 - 0.0000 -
1237.18/1240.64 c 1241 230749 57 1 - 0.0000 -
1242.17/1245.69 c 1246 231665 61 1 - 0.0000 -
1247.26/1250.74 c 1251 232584 59 1 - 0.0000 -
1252.25/1255.79 c 1256 233535 52 1 - 0.0000 -
1257.33/1260.85 c 1261 234454 53 1 - 0.0000 -
1262.32/1265.89 c 1266 235359 46 1 - 0.0000 -
1267.40/1270.94 c 1271 236269 69 1 - 0.0000 -
1272.40/1275.99 c 1276 237292 73 1 - 0.0000 -
1277.49/1281.05 c 1281 238215 50 1 - 0.0000 -
1282.57/1286.10 c 1286 239122 59 1 - 0.0000 -
1287.56/1291.16 c 1291 240034 51 1 - 0.0000 -
1292.64/1296.21 c 1296 240933 52 1 - 0.0000 -
1297.62/1301.27 c 1301 241901 54 1 - 0.0000 -
1302.71/1306.31 c 1306 242831 52 1 - 0.0000 -
1307.71/1311.36 c 1311 243695 46 1 - 0.0000 -
1312.79/1316.41 c 1316 244661 44 1 - 0.0000 -
1317.77/1321.47 c 1321 245524 37 1 - 0.0000 -
1322.86/1326.52 c 1327 246418 42 1 - 0.0000 -
1327.85/1331.58 c 1332 247359 30 1 - 0.0000 -
1332.94/1336.62 c 1337 248215 45 1 - 0.0000 -
1337.93/1341.68 c 1342 249086 38 1 - 0.0000 -
1343.01/1346.74 c 1347 249958 35 1 - 0.0000 -
1348.10/1351.82 c 1352 250753 36 1 - 0.0000 -
1353.08/1356.87 c 1357 251612 34 1 - 0.0000 -
1358.18/1361.93 c 1362 252443 30 1 - 0.0000 -
1363.16/1366.97 c 1367 253454 42 1 - 0.0000 -
1368.24/1372.03 c 1372 254459 29 1 - 0.0000 -
1373.24/1377.08 c 1377 255404 38 1 - 0.0000 -
1378.32/1382.14 c 1382 256362 28 1 - 0.0000 -
1383.31/1387.18 c 1387 257418 31 1 - 0.0000 -
1388.39/1392.23 c 1392 258413 43 1 - 0.0000 -
1393.38/1397.28 c 1397 259477 26 1 - 0.0000 -
1398.46/1402.33 c 1402 260428 20 1 - 0.0000 -
1403.46/1407.39 c 1407 261408 25 1 - 0.0000 -
1408.54/1412.43 c 1412 262409 25 1 - 0.0000 -
1413.53/1417.50 c 1418 263271 25 1 - 0.0000 -
1418.61/1422.54 c 1423 264218 26 1 - 0.0000 -
1423.60/1427.59 c 1428 265165 24 1 - 0.0000 -
1428.68/1432.64 c 1433 266079 48 1 - 0.0000 -
1433.78/1437.70 c 1438 267125 53 1 - 0.0000 -
1438.76/1442.75 c 1443 268267 43 1 - 0.0000 -
1443.85/1447.80 c 1448 269198 38 1 - 0.0000 -
1449.04/1453.01 c 1453 270227 39 1 - 0.0000 -
1454.02/1458.06 c 1458 271335 38 1 - 0.0000 -
1459.11/1463.12 c 1463 272494 53 1 - 0.0000 -
1464.10/1468.17 c 1468 273596 66 1 - 0.0000 -
1469.18/1473.21 c 1473 274690 59 1 - 0.0000 -
1474.17/1478.26 c 1478 275697 40 1 - 0.0000 -
1479.26/1483.31 c 1483 276623 27 1 - 0.0000 -
1484.24/1488.37 c 1488 277510 28 1 - 0.0000 -
1489.43/1493.51 c 1494 278399 26 1 - 0.0000 -
1494.42/1498.56 c 1499 279299 28 1 - 0.0000 -
1499.51/1503.62 c 1504 280196 43 1 - 0.0000 -
1504.49/1508.67 c 1509 281122 39 1 - 0.0000 -
1509.58/1513.72 c 1514 282085 29 1 - 0.0000 -
1514.56/1518.78 c 1519 282953 29 1 - 0.0000 -
1519.65/1523.82 c 1524 283930 17 1 - 0.0000 -
1524.63/1528.88 c 1529 284924 31 1 - 0.0000 -
1529.73/1533.92 c 1534 285990 43 1 - 0.0000 -
1534.71/1538.98 c 1539 286991 48 1 - 0.0000 -
1539.80/1544.03 c 1544 287979 50 1 - 0.0000 -
1544.79/1549.07 c 1549 288967 44 1 - 0.0000 -
1549.88/1554.13 c 1554 290004 57 1 - 0.0000 -
1554.87/1559.18 c 1559 291023 54 1 - 0.0000 -
1559.95/1564.22 c 1564 292028 49 1 - 0.0000 -
1564.93/1569.27 c 1569 293000 51 1 - 0.0000 -
1570.02/1574.32 c 1574 294070 54 1 - 0.0000 -
1575.01/1579.37 c 1579 295086 53 1 - 0.0000 -
1580.10/1584.42 c 1584 296070 46 1 - 0.0000 -
1585.09/1589.47 c 1589 296991 35 1 - 0.0000 -
1590.17/1594.53 c 1595 297987 35 1 - 0.0000 -
1595.16/1599.59 c 1600 298874 22 1 - 0.0000 -
1600.25/1604.68 c 1605 299769 37 1 - 0.0000 -
1605.33/1609.74 c 1610 300700 26 1 - 0.0000 -
1610.42/1614.80 c 1615 301518 32 1 - 0.0000 -
1615.40/1619.85 c 1620 302343 25 1 - 0.0000 -
1620.49/1624.90 c 1625 303265 31 1 - 0.0000 -
1625.48/1629.95 c 1630 304195 35 1 - 0.0000 -
1630.57/1635.00 c 1635 305138 29 1 - 0.0000 -
1635.56/1640.06 c 1640 306063 23 1 - 0.0000 -
1640.65/1645.11 c 1645 306947 24 1 - 0.0000 -
1645.63/1650.16 c 1650 307943 43 1 - 0.0000 -
1650.71/1655.22 c 1655 308995 24 1 - 0.0000 -
1655.70/1660.28 c 1660 309964 20 1 - 0.0000 -
1660.78/1665.33 c 1665 310874 35 1 - 0.0000 -
1665.77/1670.39 c 1670 311832 29 1 - 0.0000 -
1670.86/1675.43 c 1675 312761 37 1 - 0.0000 -
1675.85/1680.49 c 1680 313635 37 1 - 0.0000 -
1680.93/1685.53 c 1686 314495 29 1 - 0.0000 -
1685.92/1690.59 c 1691 315392 36 1 - 0.0000 -
1691.01/1695.66 c 1696 316328 36 1 - 0.0000 -
1696.09/1700.71 c 1701 317264 60 1 - 0.0000 -
1701.08/1705.78 c 1706 318211 41 1 - 0.0000 -
1706.18/1710.83 c 1711 319126 16 1 - 0.0000 -
1711.16/1715.87 c 1716 320103 24 1 - 0.0000 -
1716.25/1720.92 c 1721 320990 26 1 - 0.0000 -
1721.24/1725.97 c 1726 321929 19 1 - 0.0000 -
1726.33/1731.03 c 1731 322821 22 1 - 0.0000 -
1731.31/1736.07 c 1736 323731 37 1 - 0.0000 -
1736.40/1741.12 c 1741 324636 36 1 - 0.0000 -
1741.39/1746.18 c 1746 325558 23 1 - 0.0000 -
1746.47/1751.23 c 1751 326448 26 1 - 0.0000 -
1751.45/1756.29 c 1756 327383 30 1 - 0.0000 -
1756.55/1761.35 c 1761 328349 20 1 - 0.0000 -
1761.63/1766.40 c 1766 329303 26 1 - 0.0000 -
1766.62/1771.47 c 1771 330125 30 1 - 0.0000 -
1771.71/1776.52 c 1777 330956 14 1 - 0.0000 -
1776.69/1781.57 c 1782 331793 55 1 - 0.0000 -
1781.78/1786.62 c 1787 332727 59 1 - 0.0000 -
1786.76/1791.67 c 1792 333627 59 1 - 0.0000 -
1791.86/1796.71 c 1797 334533 45 1 - 0.0000 -
1796.84/1801.76 c 1802 335463 37 1 - 0.0000 -
1801.93/1806.82 c 1807 336394 34 1 - 0.0000 -
1806.91/1811.88 c 1812 337195 38 1 - 0.0000 -
1812.00/1816.94 c 1817 338144 39 1 - 0.0000 -
1816.98/1821.98 c 1822 339000 41 1 - 0.0000 -
1822.08/1827.04 c 1827 339914 33 1 - 0.0000 -
1827.07/1832.10 c 1832 340916 46 1 - 0.0000 -
1832.15/1837.14 c 1837 341806 42 1 - 0.0000 -
1837.24/1842.20 c 1842 342770 44 1 - 0.0000 -
1842.22/1847.24 c 1847 343733 38 1 - 0.0000 -
1847.21/1852.29 c 1852 344574 35 1 - 0.0000 -
1852.30/1857.35 c 1857 345464 34 1 - 0.0000 -
1857.39/1862.41 c 1862 346341 39 1 - 0.0000 -
1862.37/1867.46 c 1867 347170 36 1 - 0.0000 -
1867.46/1872.52 c 1873 348027 23 1 - 0.0000 -
1872.45/1877.56 c 1878 349002 34 1 - 0.0000 -
1877.53/1882.62 c 1883 350100 38 1 - 0.0000 -
1882.62/1887.70 c 1888 351129 47 1 - 0.0000 -
1887.61/1892.75 c 1893 352148 33 1 - 0.0000 -
1892.60/1897.79 c 1898 353134 35 1 - 0.0000 -
1897.68/1902.84 c 1903 354131 31 1 - 0.0000 -
1902.67/1907.89 c 1908 355084 14 1 - 0.0000 -
1907.75/1912.94 c 1913 356081 24 1 - 0.0000 -
1912.84/1918.03 c 1918 356975 26 1 - 0.0000 -
1917.83/1923.08 c 1923 357797 18 1 - 0.0000 -
1922.93/1928.13 c 1928 358778 25 1 - 0.0000 -
1927.91/1933.18 c 1933 359683 18 1 - 0.0000 -
1932.99/1938.23 c 1938 360623 18 1 - 0.0000 -
1937.98/1943.29 c 1943 361483 18 1 - 0.0000 -
1943.06/1948.33 c 1948 362401 30 1 - 0.0000 -
1948.05/1953.38 c 1953 363364 31 1 - 0.0000 -
1953.15/1958.43 c 1958 364341 19 1 - 0.0000 -
1958.23/1963.50 c 1964 365261 34 1 - 0.0000 -
1963.21/1968.55 c 1969 366258 25 1 - 0.0000 -
1968.20/1973.59 c 1974 367234 27 1 - 0.0000 -
1973.29/1978.65 c 1979 368246 39 1 - 0.0000 -
1978.37/1983.70 c 1984 369243 37 1 - 0.0000 -
1983.46/1988.87 c 1989 370160 54 1 - 0.0000 -
1988.55/1993.92 c 1994 371045 35 1 - 0.0000 -
1993.64/1999.00 c 1999 372011 37 1 - 0.0000 -
1998.62/2004.04 c 2004 372948 32 1 - 0.0000 -
2003.61/2009.09 c 2009 373850 17 1 - 0.0000 -
2008.70/2014.14 c 2014 374700 21 1 - 0.0000 -
2013.69/2019.19 c 2019 375458 39 1 - 0.0000 -
2018.77/2024.25 c 2024 376276 41 1 - 0.0000 -
2023.85/2029.31 c 2029 377186 51 1 - 0.0000 -
2028.84/2034.36 c 2034 378077 40 1 - 0.0000 -
2033.93/2039.40 c 2039 378924 29 1 - 0.0000 -
2038.91/2044.45 c 2044 379947 22 1 - 0.0000 -
2043.91/2049.49 c 2050 380854 35 1 - 0.0000 -
2048.99/2054.58 c 2055 381711 34 1 - 0.0000 -
2054.08/2059.63 c 2060 382620 24 1 - 0.0000 -
2059.07/2064.68 c 2065 383462 19 1 - 0.0000 -
2064.15/2069.78 c 2070 384452 25 1 - 0.0000 -
2069.24/2074.83 c 2075 385451 25 1 - 0.0000 -
2074.22/2079.87 c 2080 386408 41 1 - 0.0000 -
2079.31/2084.92 c 2085 387366 31 1 - 0.0000 -
2084.30/2089.98 c 2090 388340 25 1 - 0.0000 -
2089.39/2095.03 c 2095 389314 26 1 - 0.0000 -
2094.38/2100.08 c 2100 390194 27 1 - 0.0000 -
2099.47/2105.13 c 2105 391110 21 1 - 0.0000 -
2104.45/2110.18 c 2110 392096 17 1 - 0.0000 -
2109.53/2115.23 c 2115 392925 19 1 - 0.0000 -
2114.52/2120.29 c 2120 393839 21 1 - 0.0000 -
2119.61/2125.39 c 2125 394626 36 1 - 0.0000 -
2124.70/2130.44 c 2130 395516 25 1 - 0.0000 -
2129.78/2135.50 c 2136 396433 31 1 - 0.0000 -
2134.77/2140.54 c 2141 397341 27 1 - 0.0000 -
2139.75/2145.59 c 2146 398235 33 1 - 0.0000 -
2144.85/2150.65 c 2151 399162 34 1 - 0.0000 -
2149.84/2155.69 c 2156 400074 27 1 - 0.0000 -
2154.92/2160.75 c 2161 400914 24 1 - 0.0000 -
2159.91/2165.79 c 2166 401739 17 1 - 0.0000 -
2164.99/2170.84 c 2171 402638 14 1 - 0.0000 -
2169.98/2175.89 c 2176 403443 9 1 - 0.0000 -
2175.07/2180.95 c 2181 404395 24 1 - 0.0000 -
2180.16/2186.00 c 2186 405386 28 1 - 0.0000 -
2185.14/2191.06 c 2191 406321 28 1 - 0.0000 -
2190.23/2196.12 c 2196 407280 25 1 - 0.0000 -
2195.22/2201.16 c 2201 408180 25 1 - 0.0000 -
2200.30/2206.30 c 2206 409091 27 1 - 0.0000 -
2205.39/2211.35 c 2211 410038 22 1 - 0.0000 -
2210.48/2216.40 c 2216 410944 23 1 - 0.0000 -
2215.46/2221.46 c 2221 411939 18 1 - 0.0000 -
2220.55/2226.50 c 2227 412882 21 1 - 0.0000 -
2225.63/2231.65 c 2232 413843 26 1 - 0.0000 -
2230.72/2236.70 c 2237 414847 29 1 - 0.0000 -
2235.71/2241.75 c 2242 415810 24 1 - 0.0000 -
2240.80/2246.80 c 2247 416737 22 1 - 0.0000 -
2245.79/2251.85 c 2252 417695 20 1 - 0.0000 -
2250.88/2256.95 c 2257 418617 12 1 - 0.0000 -
2255.97/2262.00 c 2262 419508 11 1 - 0.0000 -
2260.95/2267.05 c 2267 420406 6 1 - 0.0000 -
2266.04/2272.11 c 2272 421335 18 1 - 0.0000 -
2271.03/2277.16 c 2277 422280 19 1 - 0.0000 -
2276.11/2282.21 c 2282 423160 16 1 - 0.0000 -
2281.10/2287.27 c 2287 424044 8 1 - 0.0000 -
2286.18/2292.33 c 2292 424922 14 1 - 0.0000 -
2291.17/2297.37 c 2297 425786 17 1 - 0.0000 -
2296.25/2302.43 c 2302 426675 19 1 - 0.0000 -
2301.24/2307.48 c 2307 427543 21 1 - 0.0000 -
2306.33/2312.53 c 2313 428382 16 1 - 0.0000 -
2311.32/2317.59 c 2318 429151 11 1 - 0.0000 -
2316.41/2322.63 c 2323 429967 23 1 - 0.0000 -
2321.40/2327.69 c 2328 430821 13 1 - 0.0000 -
2323.79/2330.09 c 2330 431194 0 0 - 0.0000 -
2323.90/2330.11 c 2330 431194 0 0 - 0.0000 -
2323.90/2330.11 c SCIP Status : c problem is solved [infeasible]
2323.90/2330.11 c Total Time : 2330.1100
2323.90/2330.11 c solving : 2330.1100
2323.90/2330.11 c presolving : 0.0659 (included in solving)
2323.90/2330.11 c B&B Tree :
2323.90/2330.11 c nodes (total) : 431194
2323.90/2330.11 c Solution :
2323.90/2330.11 c Solutions found : 0
2323.90/2330.11 c Primal Bound : -
2323.90/2330.11 c Dual Bound : -
2323.90/2330.11 c Gap : -
2323.90/2330.11 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: 63931 MiB (61593 MiB free)
memory of node 1: 64510 MiB (62176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452580-1721446707/watcher-4452580-1721446707 -o /tmp/evaluation-result-4452580-1721446707/solver-4452580-1721446707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452580-1721446707.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1059894, runsolver pid=1059887
[startup+0.10008 s]*
/proc/loadavg: 3.87 4.05 4.07 6/258 1059910
/proc/meminfo: memFree=126582532/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=139136 memory=52272 CPUtime=0.1 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 11949 0 0 0 9 1 0 0 20 0 3 0 196838111 142475264 13068 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 34784 13068 2782 3032 0 17527 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=139136 memory=4026531971 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 2525 0 0 0 1 0 0 0 20 0 3 0 196838119 142475264 13068 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=139136 memory=14907 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 196838121 142475264 13068 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 139136 KiB
Current children cumulated memory: 52272 KiB
[startup+0.206161 s]*
/proc/loadavg: 3.87 4.05 4.07 5/256 1059912
/proc/meminfo: memFree=126531464/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=153956 memory=75608 CPUtime=0.2 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 17844 0 0 0 18 2 0 0 20 0 3 0 196838111 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 38489 18902 2830 3032 0 24094 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=153956 memory=5798214436838572151 CPUtime=0.12 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 8405 0 0 0 11 1 0 0 20 0 3 0 196838119 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=153956 memory=219966355715 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 196838121 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153956 KiB
Current children cumulated memory: 75608 KiB
[startup+0.305984 s]*
/proc/loadavg: 3.87 4.05 4.07 4/253 1059920
/proc/meminfo: memFree=126437340/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=153956 memory=75608 CPUtime=0.3 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 17848 0 0 0 28 2 0 0 20 0 3 0 196838111 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 38489 18902 2830 3032 0 24094 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=153956 memory=8303054830060986464 CPUtime=0.21 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 8409 0 0 0 20 1 0 0 20 0 3 0 196838119 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=153956 memory=-7163359464845698911 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 196838121 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153956 KiB
Current children cumulated memory: 75608 KiB
[startup+0.700217 s]
/proc/loadavg: 3.87 4.05 4.07 4/252 1059943
/proc/meminfo: memFree=126364288/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=153956 memory=75608 CPUtime=0.69 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 17848 0 0 0 67 2 0 0 20 0 3 0 196838111 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 38489 18902 2830 3032 0 24094 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=153956 memory=0 CPUtime=0.6 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 8409 0 0 0 59 1 0 0 20 0 3 0 196838119 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=153956 memory=0 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 196838121 157650944 18902 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153956 KiB
Current children cumulated memory: 75608 KiB
[startup+1.50025 s]
/proc/loadavg: 3.87 4.05 4.07 5/260 1059960
/proc/meminfo: memFree=125855812/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=153956 memory=112104 CPUtime=1.48 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 32361 0 0 0 145 3 0 0 20 0 3 0 196838111 157650944 28026 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 38489 28026 2910 3032 0 34614 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=153956 memory=0 CPUtime=1.39 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 22914 0 0 0 137 2 0 0 20 0 3 0 196838119 157650944 28026 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=153956 memory=0 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 196838121 157650944 28026 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153956 KiB
Current children cumulated memory: 112104 KiB
[startup+3.10549 s]
/proc/loadavg: 3.88 4.05 4.07 5/262 1059962
/proc/meminfo: memFree=125601696/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=219492 memory=119948 CPUtime=3.08 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 34572 0 0 0 305 3 0 0 20 0 3 0 196838111 224759808 29987 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54873 29987 2910 3032 0 36267 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=219492 memory=0 CPUtime=3 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 25097 0 0 0 297 3 0 0 20 0 3 0 196838119 224759808 29987 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=219492 memory=-7592359703236271735 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 196838121 224759808 29987 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219492 KiB
Current children cumulated memory: 119948 KiB
[startup+6.30023 s]
/proc/loadavg: 3.88 4.05 4.07 5/260 1060010
/proc/meminfo: memFree=125813296/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=219492 memory=134524 CPUtime=6.27 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 47553 0 0 0 622 5 0 0 20 0 3 0 196838111 224759808 33631 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54873 33631 2910 3032 0 40681 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=219492 memory=135752 CPUtime=6.18 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 38058 0 0 0 614 4 0 0 20 0 3 0 196838119 224759808 33631 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=219492 memory=11588 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 196838121 224759808 33631 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 219492 KiB
Current children cumulated memory: 134524 KiB
[startup+12.7002 s]
/proc/loadavg: 3.89 4.05 4.07 5/260 1060010
/proc/meminfo: memFree=125751572/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=219492 memory=156312 CPUtime=12.65 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 73883 0 0 0 1258 7 0 0 20 0 3 0 196838111 224759808 39078 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54873 39078 2958 3032 0 45954 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=219492 memory=11588 CPUtime=12.57 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 64341 0 0 0 1250 7 0 0 20 0 3 0 196838119 224759808 39078 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=219492 memory=96500 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 196838121 224759808 39078 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219492 KiB
Current children cumulated memory: 156312 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.06 4.08 5/260 1060013
/proc/meminfo: memFree=125709884/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=163960 CPUtime=25.4 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 117543 0 0 0 2530 10 0 0 20 0 3 0 196838111 223797248 40990 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 40990 2958 3032 0 47692 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=163948 CPUtime=25.31 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 107939 0 0 0 2522 9 0 0 20 0 3 0 196838119 223797248 40990 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=163948 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 196838121 223797248 40990 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 163960 KiB
[startup+51.1052 s]
/proc/loadavg: 3.99 4.05 4.08 5/260 1060016
/proc/meminfo: memFree=125707712/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=165344 CPUtime=50.93 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 144861 0 0 0 5080 13 0 0 20 0 3 0 196838111 223797248 41336 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 41336 2958 3032 0 47977 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=165340 CPUtime=50.84 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 135170 0 0 0 5072 12 0 0 20 0 3 0 196838119 223797248 41336 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=11588 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 196838121 223797248 41336 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 165344 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.06 4.08 5/264 1060078
/proc/meminfo: memFree=125174072/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=170048 CPUtime=101.96 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 158056 0 0 0 10180 16 0 0 20 0 3 0 196838111 223797248 42512 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 42512 2958 3032 0 47977 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=1401072042672939066 CPUtime=101.87 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 148296 0 0 0 10172 15 0 0 20 0 3 0 196838119 223797248 42512 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=170048 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 196838121 223797248 42512 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 170048 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.08 5/263 1060090
/proc/meminfo: memFree=125161296/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=180724 CPUtime=161.79 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 158766 0 0 0 16162 17 0 0 20 0 3 0 196838111 223797248 45181 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 45181 2958 3032 0 47977 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=12508 CPUtime=161.7 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 148965 0 0 0 16154 16 0 0 20 0 3 0 196838119 223797248 45181 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=0 CPUtime=0 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 196838121 223797248 45181 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 218552 KiB
################
# More data... #
################
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=188372 CPUtime=2136.34 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 168379 0 0 0 213558 76 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=11588 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 104 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2136.56 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2202.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 1061073
/proc/meminfo: memFree=124918116/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2196.42 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 179045 0 0 0 219558 84 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=-6953415904233678463 CPUtime=2196.18 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 168581 0 0 0 219541 77 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 106 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2196.42 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2262.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/261 1061226
/proc/meminfo: memFree=124624080/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2256.26 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 180196 0 0 0 225541 85 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=188372 CPUtime=2256.03 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 169721 0 0 0 225524 79 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 108 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2256.26 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2322.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/261 1061236
/proc/meminfo: memFree=124617608/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2316.11 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181120 0 0 0 231524 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=188372 CPUtime=2315.87 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 170628 0 0 0 231507 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 108 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2316.11 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2330.12 s]
# the end of solver process 1059894 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2323.04 s, system=0.876786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2323.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/261 1061236
/proc/meminfo: memFree=124617608/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2317.01 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181296 0 0 0 231614 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=188372 CPUtime=2316.77 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 170787 0 0 0 231597 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 108 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2317.01 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2326.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/261 1061238
/proc/meminfo: memFree=124617552/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2320.2 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181994 0 0 0 231933 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=11588 CPUtime=2319.96 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 171483 0 0 0 231916 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 110 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2320.2 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2328 s]*
/proc/loadavg: 4.11 4.13 4.09 5/261 1061238
/proc/meminfo: memFree=124617560/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2321.8 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181996 0 0 0 232093 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=868540 CPUtime=2321.56 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 171485 0 0 0 232076 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=4924 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 110 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2321.8 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2328.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/261 1061238
/proc/meminfo: memFree=124617560/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2322.59 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181998 0 0 0 232172 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=188372 CPUtime=2322.35 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 171487 0 0 0 232155 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=47212 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 110 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2322.59 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2329.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/261 1061238
/proc/meminfo: memFree=124617088/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2323.39 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181998 0 0 0 232252 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=47212 CPUtime=2323.15 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 171487 0 0 0 232235 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 110 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2323.39 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2330 s]*
/proc/loadavg: 4.11 4.13 4.09 5/261 1061238
/proc/meminfo: memFree=124617088/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2323.79 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 181998 0 0 0 232292 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=0 CPUtime=2323.55 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 171487 0 0 0 232275 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=0 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 110 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2323.79 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
[startup+2330.11 s]
/proc/loadavg: 4.11 4.13 4.09 5/261 1061238
/proc/meminfo: memFree=124617088/131524600 swapFree=131071996/131071996
[pid=1059894] ppid=1059887 vsize=218552 memory=188372 CPUtime=2323.9 cores=5,7
/proc/1059894/stat : 1059894 (fscip) S 1059887 1059894 1059834 0 -1 1077936128 182012 0 0 0 232303 87 0 0 20 0 3 0 196838111 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
/proc/1059894/statm: 54638 47093 2974 3032 0 49870 0
[pid=1059894/tid=1059909] ppid=1059887 vsize=218552 memory=188372 CPUtime=2323.65 cores=5,7
/proc/1059894/task/1059909/stat : 1059909 (fscip) R 1059887 1059894 1059834 0 -1 4194368 171495 0 0 0 232285 80 0 0 20 0 3 0 196838119 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
[pid=1059894/tid=1059910] ppid=1059887 vsize=218552 memory=188372 CPUtime=0.01 cores=5,7
/proc/1059894/task/1059910/stat : 1059910 (fscip) S 1059887 1059894 1059834 0 -1 1077936192 110 0 0 0 0 1 0 0 20 0 3 0 196838121 223797248 47093 134679101440 4194304 16613245 140735274402592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53100544 140735274406931 140735274407047 140735274407047 140735274414064 0
Current children cumulated CPU time: 2323.9 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 188372 KiB
Child status: 0
Real time (s): 2330.12
CPU time (s): 2323.92
CPU user time (s): 2323.04
CPU system time (s): 0.876786
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 219492
Max. memory (cumulated for all children) (KiB): 188372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2323.04
system time used= 0.876786
maximum resident set size= 188372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182936
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= 7038
involuntary context switches= 1961
# summary of solver processes directly reported to runsolver:
# pid: 1059894
# total CPU time (s): 2323.92
# total CPU user time (s): 2323.04
# total CPU system time (s): 0.876786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42273 second user time and 8.96201 second system time
The end
Begin job on nodeC029 at 2024-07-20 05:38:40
IDJOB=4452580
IDBENCH=164452
IDSOLVER=3064
FILE ID=nodeC029/4452580-1721446707
RUNJOBID= nodeC029-1721446720-1059847
SLURM_JOB_ID= 7545672
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4452580-1721446707/watcher-4452580-1721446707 -o /tmp/evaluation-result-4452580-1721446707/solver-4452580-1721446707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452580-1721446707.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05
RANDOM SEED=1723842762
nodeC029.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 : 3603.960
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 : 7000.09
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 : 3581.455
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 : 7006.98
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 : 3661.512
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 : 7000.09
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 : 3671.614
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 : 7006.98
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 : 3772.777
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 : 7000.09
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 : 3615.481
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 : 7006.98
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 : 3615.216
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 : 7000.09
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 : 3732.762
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126742844 kB
MemAvailable: 129689828 kB
Buffers: 535008 kB
Cached: 3226788 kB
SwapCached: 0 kB
Active: 1046524 kB
Inactive: 3051264 kB
Active(anon): 1328 kB
Inactive(anon): 380568 kB
Active(file): 1045196 kB
Inactive(file): 2670696 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114228 kB
Writeback: 0 kB
AnonPages: 335928 kB
Mapped: 106692 kB
Shmem: 45912 kB
KReclaimable: 141480 kB
Slab: 260120 kB
SReclaimable: 141480 kB
SUnreclaim: 118640 kB
KernelStack: 3920 kB
PageTables: 9676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 781128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC029 at 2024-07-20 06:17:30