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 = 30298112, getVmSize() = 30298112, SCIPgetMemUsed() = 6097010, SCIPgetMemTotal() = 8559442, SCIPgetMemExternEstim() = 4175707
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.17 c ** Estimated virtualMemUsedAtSolver = 26761898, getVmSize() = 49987584, SCIPgetMemUsed() = 14589499, SCIPgetMemTotal() = 26529299, SCIPgetMemExternEstim() = 4175707
0.09/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.17 c Original Problem :
0.09/0.17 c Problem name : instance-4464673-1722387039
0.09/0.17 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.17 c Constraints : 3542
0.09/0.17 c Objective sense : minimize
0.09/0.17 c Presolved Problem :
0.09/0.17 c Variables : 750 (750 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.17 c Constraints : 3317
0.09/0.17 c Constraints : Number
0.09/0.17 c knapsack : 1
0.09/0.17 c setppc : 1425
0.09/0.17 c linear : 1
0.09/0.17 c logicor : 1890
0.09/0.17 c ** Instance transfer method used: 0
0.09/0.17 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.18 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.18 c Nodes Active
0.09/0.18 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.46/6.57 c 7 14 11 1 - 0.0000 -
11.84/11.92 c 12 131 49 1 - 0.0000 -
17.33/17.46 c 17 439 52 1 - 0.0000 -
22.41/22.53 c 23 837 58 1 - 0.0000 -
27.49/27.70 c 28 1288 47 1 - 0.0000 -
33.28/33.41 c 33 1388 22 1 - 0.0000 -
38.57/38.71 c 39 1640 42 1 - 0.0000 -
43.96/44.15 c 44 1799 68 1 - 0.0000 -
49.13/49.35 c 49 1969 101 1 - 0.0000 -
54.72/54.97 c 55 2187 138 1 - 0.0000 -
59.91/60.12 c 60 2332 208 1 - 0.0000 -
65.19/65.45 c 65 2433 272 1 - 0.0000 -
70.48/70.79 c 71 2570 356 1 - 0.0000 -
75.77/76.07 c 76 2697 422 1 - 0.0000 -
80.95/81.23 c 81 2839 483 1 - 0.0000 -
86.23/86.51 c 87 2993 568 1 - 0.0000 -
91.33/91.64 c 92 3158 632 1 - 0.0000 -
96.61/96.95 c 97 3359 697 1 - 0.0000 -
101.80/102.13 c 102 3521 756 1 - 0.0000 -
107.09/107.46 c 107 3675 812 1 - 0.0000 -
112.57/112.92 c 113 3865 858 1 - 0.0000 -
117.86/118.23 c 118 4044 903 1 - 0.0000 -
122.95/123.35 c 123 4209 955 1 - 0.0000 -
128.23/128.61 c 129 4391 1020 1 - 0.0000 -
133.32/133.75 c 134 4582 1076 1 - 0.0000 -
138.60/139.06 c 139 4725 1146 1 - 0.0000 -
143.89/144.30 c 144 4941 1213 1 - 0.0000 -
148.97/149.43 c 149 5125 1276 1 - 0.0000 -
154.16/154.68 c 155 5356 1330 1 - 0.0000 -
159.25/159.79 c 160 5579 1362 1 - 0.0000 -
164.44/164.96 c 165 5794 1410 1 - 0.0000 -
169.53/170.03 c 170 6015 1464 1 - 0.0000 -
174.62/175.18 c 175 6246 1496 1 - 0.0000 -
179.70/180.24 c 180 6553 1515 1 - 0.0000 -
184.98/185.53 c 186 6880 1528 1 - 0.0000 -
190.37/190.91 c 191 7150 1565 1 - 0.0000 -
195.56/196.12 c 196 7461 1586 1 - 0.0000 -
200.84/201.41 c 201 7713 1611 1 - 0.0000 -
206.33/206.91 c 207 7998 1662 1 - 0.0000 -
211.42/212.09 c 212 8230 1694 1 - 0.0000 -
216.51/217.16 c 217 8461 1732 1 - 0.0000 -
221.69/222.36 c 222 8747 1764 1 - 0.0000 -
226.88/227.57 c 228 8948 1820 1 - 0.0000 -
232.07/232.70 c 233 9259 1861 1 - 0.0000 -
237.36/238.09 c 238 9482 1896 1 - 0.0000 -
242.44/243.18 c 243 9821 1927 1 - 0.0000 -
247.82/248.50 c 249 10171 1951 1 - 0.0000 -
252.80/253.56 c 254 10495 1958 1 - 0.0000 -
257.89/258.67 c 259 10753 2001 1 - 0.0000 -
262.97/263.74 c 264 10972 2051 1 - 0.0000 -
268.15/268.96 c 269 11345 2069 1 - 0.0000 -
273.53/274.34 c 274 11670 2084 1 - 0.0000 -
278.82/279.65 c 280 11999 2094 1 - 0.0000 -
283.90/284.77 c 285 12347 2114 1 - 0.0000 -
289.19/290.07 c 290 12602 2158 1 - 0.0000 -
294.36/295.28 c 295 12912 2182 1 - 0.0000 -
299.55/300.49 c 300 13241 2196 1 - 0.0000 -
304.73/305.60 c 306 13550 2239 1 - 0.0000 -
309.82/310.70 c 311 13847 2261 1 - 0.0000 -
314.90/315.85 c 316 14157 2275 1 - 0.0000 -
319.98/320.94 c 321 14495 2303 1 - 0.0000 -
325.17/326.11 c 326 14857 2307 1 - 0.0000 -
330.24/331.20 c 331 15203 2331 1 - 0.0000 -
335.53/336.56 c 337 15506 2357 1 - 0.0000 -
340.72/341.73 c 342 15848 2364 1 - 0.0000 -
345.90/346.95 c 347 16161 2375 1 - 0.0000 -
350.99/352.04 c 352 16533 2394 1 - 0.0000 -
356.07/357.10 c 357 16864 2417 1 - 0.0000 -
361.15/362.22 c 362 17174 2449 1 - 0.0000 -
366.23/367.31 c 367 17527 2457 1 - 0.0000 -
371.51/372.61 c 373 17947 2434 1 - 0.0000 -
376.79/377.93 c 378 18218 2477 1 - 0.0000 -
381.88/383.07 c 383 18515 2500 1 - 0.0000 -
387.06/388.21 c 388 18830 2519 1 - 0.0000 -
392.15/393.34 c 393 19156 2536 1 - 0.0000 -
397.34/398.59 c 399 19526 2542 1 - 0.0000 -
402.42/403.67 c 404 19874 2540 1 - 0.0000 -
407.71/408.90 c 409 20154 2584 1 - 0.0000 -
412.90/414.15 c 414 20452 2601 1 - 0.0000 -
417.98/419.26 c 419 20798 2612 1 - 0.0000 -
423.36/424.66 c 425 21157 2622 1 - 0.0000 -
428.45/429.78 c 430 21418 2643 1 - 0.0000 -
433.64/434.99 c 435 21668 2682 1 - 0.0000 -
438.83/440.11 c 440 22002 2716 1 - 0.0000 -
443.91/445.24 c 445 22314 2744 1 - 0.0000 -
449.20/450.55 c 451 22658 2766 1 - 0.0000 -
454.28/455.62 c 456 22964 2795 1 - 0.0000 -
459.38/460.71 c 461 23301 2820 1 - 0.0000 -
464.46/465.86 c 466 23568 2860 1 - 0.0000 -
469.75/471.11 c 471 23829 2894 1 - 0.0000 -
474.93/476.37 c 476 24077 2925 1 - 0.0000 -
480.02/481.46 c 481 24346 2948 1 - 0.0000 -
485.10/486.53 c 487 24624 2971 1 - 0.0000 -
490.29/491.72 c 492 24923 3008 1 - 0.0000 -
495.37/496.88 c 497 25232 3038 1 - 0.0000 -
500.67/502.18 c 502 25534 3074 1 - 0.0000 -
505.85/507.31 c 507 25805 3109 1 - 0.0000 -
510.93/512.43 c 512 26098 3149 1 - 0.0000 -
516.12/517.61 c 518 26410 3162 1 - 0.0000 -
521.21/522.76 c 523 26764 3168 1 - 0.0000 -
526.39/527.95 c 528 27042 3175 1 - 0.0000 -
531.49/533.03 c 533 27355 3205 1 - 0.0000 -
536.58/538.10 c 538 27651 3218 1 - 0.0000 -
541.66/543.24 c 543 27990 3226 1 - 0.0000 -
546.74/548.31 c 548 28312 3245 1 - 0.0000 -
551.73/553.37 c 553 28686 3267 1 - 0.0000 -
556.82/558.49 c 558 29002 3296 1 - 0.0000 -
562.10/563.72 c 564 29344 3336 1 - 0.0000 -
567.29/568.92 c 569 29660 3369 1 - 0.0000 -
572.48/574.11 c 574 29997 3369 1 - 0.0000 -
577.56/579.28 c 579 30339 3374 1 - 0.0000 -
582.95/584.70 c 585 30714 3375 1 - 0.0000 -
588.14/589.88 c 590 31059 3385 1 - 0.0000 -
593.22/594.95 c 595 31399 3396 1 - 0.0000 -
598.31/600.05 c 600 31761 3383 1 - 0.0000 -
603.40/605.11 c 605 32070 3400 1 - 0.0000 -
608.58/610.38 c 610 32400 3415 1 - 0.0000 -
613.86/615.65 c 616 32771 3401 1 - 0.0000 -
618.95/620.70 c 621 33208 3382 1 - 0.0000 -
624.03/625.86 c 626 33529 3413 1 - 0.0000 -
629.12/630.99 c 631 33871 3437 1 - 0.0000 -
634.31/636.10 c 636 34218 3442 1 - 0.0000 -
639.39/641.21 c 641 34570 3444 1 - 0.0000 -
644.48/646.37 c 646 34908 3446 1 - 0.0000 -
649.56/651.49 c 651 35276 3445 1 - 0.0000 -
654.65/656.59 c 657 35660 3451 1 - 0.0000 -
659.74/661.68 c 662 36004 3457 1 - 0.0000 -
664.83/666.73 c 667 36378 3432 1 - 0.0000 -
669.82/671.78 c 672 36749 3432 1 - 0.0000 -
674.99/676.94 c 677 37091 3432 1 - 0.0000 -
680.09/682.01 c 682 37406 3424 1 - 0.0000 -
685.18/687.18 c 687 37678 3444 1 - 0.0000 -
690.46/692.44 c 692 38038 3415 1 - 0.0000 -
695.65/697.67 c 698 38447 3400 1 - 0.0000 -
700.83/702.88 c 703 38813 3396 1 - 0.0000 -
705.92/707.96 c 708 39207 3372 1 - 0.0000 -
711.00/713.08 c 713 39557 3360 1 - 0.0000 -
716.09/718.15 c 718 39947 3351 1 - 0.0000 -
721.17/723.20 c 723 40315 3330 1 - 0.0000 -
726.36/728.40 c 728 40672 3313 1 - 0.0000 -
731.45/733.50 c 734 41073 3309 1 - 0.0000 -
736.43/738.59 c 739 41411 3301 1 - 0.0000 -
741.62/743.73 c 744 41737 3294 1 - 0.0000 -
746.61/748.78 c 749 42126 3280 1 - 0.0000 -
751.69/753.87 c 754 42492 3269 1 - 0.0000 -
756.78/758.92 c 759 42902 3254 1 - 0.0000 -
761.87/764.05 c 764 43295 3233 1 - 0.0000 -
766.95/769.12 c 769 43630 3226 1 - 0.0000 -
772.04/774.23 c 774 44014 3224 1 - 0.0000 -
777.33/779.56 c 780 44409 3200 1 - 0.0000 -
782.51/784.71 c 785 44825 3165 1 - 0.0000 -
787.59/789.84 c 790 45182 3169 1 - 0.0000 -
792.69/794.94 c 795 45610 3143 1 - 0.0000 -
797.78/800.00 c 800 45966 3152 1 - 0.0000 -
802.76/805.07 c 805 46321 3133 1 - 0.0000 -
807.84/810.16 c 810 46732 3113 1 - 0.0000 -
812.92/815.29 c 815 47104 3085 1 - 0.0000 -
818.02/820.35 c 820 47509 3072 1 - 0.0000 -
823.20/825.50 c 826 47867 3061 1 - 0.0000 -
828.29/830.67 c 831 48227 3051 1 - 0.0000 -
833.47/835.80 c 836 48565 3037 1 - 0.0000 -
838.46/840.87 c 841 48962 3012 1 - 0.0000 -
843.54/845.94 c 846 49343 3015 1 - 0.0000 -
848.64/851.03 c 851 49719 3007 1 - 0.0000 -
853.73/856.18 c 856 50103 3016 1 - 0.0000 -
858.90/861.34 c 861 50522 3008 1 - 0.0000 -
864.09/866.53 c 867 50927 2993 1 - 0.0000 -
869.08/871.58 c 872 51333 2970 1 - 0.0000 -
874.27/876.74 c 877 51701 2956 1 - 0.0000 -
879.35/881.84 c 882 52108 2939 1 - 0.0000 -
884.34/886.88 c 887 52467 2924 1 - 0.0000 -
889.42/891.98 c 892 52899 2909 1 - 0.0000 -
894.52/897.06 c 897 53261 2894 1 - 0.0000 -
899.61/902.16 c 902 53651 2877 1 - 0.0000 -
904.68/907.23 c 907 54067 2873 1 - 0.0000 -
909.87/912.44 c 912 54478 2864 1 - 0.0000 -
915.06/917.67 c 918 54862 2850 1 - 0.0000 -
920.15/922.75 c 923 55240 2844 1 - 0.0000 -
925.33/927.93 c 928 55632 2844 1 - 0.0000 -
930.52/933.11 c 933 55949 2856 1 - 0.0000 -
935.51/938.18 c 938 56360 2840 1 - 0.0000 -
940.78/943.42 c 943 56731 2837 1 - 0.0000 -
945.77/948.49 c 948 57144 2810 1 - 0.0000 -
950.87/953.55 c 954 57537 2777 1 - 0.0000 -
955.95/958.61 c 959 57942 2747 1 - 0.0000 -
960.94/963.65 c 964 58372 2726 1 - 0.0000 -
966.02/968.77 c 969 58734 2703 1 - 0.0000 -
971.11/973.84 c 974 59121 2661 1 - 0.0000 -
976.10/978.89 c 979 59563 2635 1 - 0.0000 -
981.19/983.96 c 984 59968 2633 1 - 0.0000 -
986.27/989.07 c 989 60388 2619 1 - 0.0000 -
991.35/994.15 c 994 60788 2602 1 - 0.0000 -
996.54/999.33 c 999 61160 2616 1 - 0.0000 -
1001.62/1004.48 c 1004 61509 2607 1 - 0.0000 -
1006.71/1009.53 c 1010 61875 2604 1 - 0.0000 -
1011.79/1014.67 c 1015 62308 2571 1 - 0.0000 -
1016.88/1019.79 c 1020 62688 2560 1 - 0.0000 -
1021.97/1024.88 c 1025 63141 2536 1 - 0.0000 -
1027.05/1029.95 c 1030 63509 2516 1 - 0.0000 -
1032.14/1035.01 c 1035 63916 2501 1 - 0.0000 -
1037.13/1040.09 c 1040 64286 2496 1 - 0.0000 -
1042.22/1045.14 c 1045 64737 2462 1 - 0.0000 -
1047.40/1050.34 c 1050 65203 2447 1 - 0.0000 -
1052.48/1055.46 c 1055 65608 2422 1 - 0.0000 -
1057.57/1060.55 c 1061 66066 2398 1 - 0.0000 -
1062.75/1065.78 c 1066 66499 2372 1 - 0.0000 -
1067.83/1070.85 c 1071 66927 2360 1 - 0.0000 -
1072.92/1075.93 c 1076 67346 2333 1 - 0.0000 -
1077.90/1080.99 c 1081 67860 2308 1 - 0.0000 -
1083.00/1086.07 c 1086 68290 2272 1 - 0.0000 -
1088.08/1091.13 c 1091 68752 2239 1 - 0.0000 -
1093.07/1096.20 c 1096 69190 2229 1 - 0.0000 -
1098.24/1101.30 c 1101 69611 2203 1 - 0.0000 -
1103.33/1106.42 c 1106 70075 2170 1 - 0.0000 -
1108.31/1111.47 c 1111 70526 2161 1 - 0.0000 -
1113.40/1116.52 c 1117 71002 2136 1 - 0.0000 -
1118.38/1121.58 c 1122 71445 2120 1 - 0.0000 -
1123.48/1126.63 c 1127 71919 2119 1 - 0.0000 -
1128.56/1131.73 c 1132 72338 2107 1 - 0.0000 -
1133.55/1136.79 c 1137 72817 2103 1 - 0.0000 -
1138.63/1141.84 c 1142 73299 2074 1 - 0.0000 -
1143.72/1146.95 c 1147 73799 2050 1 - 0.0000 -
1148.81/1152.01 c 1152 74271 2023 1 - 0.0000 -
1153.79/1157.07 c 1157 74756 2002 1 - 0.0000 -
1158.89/1162.14 c 1162 75197 1963 1 - 0.0000 -
1163.97/1167.21 c 1167 75638 1924 1 - 0.0000 -
1168.95/1172.27 c 1172 76159 1905 1 - 0.0000 -
1174.14/1177.44 c 1177 76663 1860 1 - 0.0000 -
1179.13/1182.49 c 1182 77138 1840 1 - 0.0000 -
1184.22/1187.56 c 1188 77635 1803 1 - 0.0000 -
1189.30/1192.62 c 1193 78094 1783 1 - 0.0000 -
1194.29/1197.68 c 1198 78539 1774 1 - 0.0000 -
1199.38/1202.76 c 1203 78944 1744 1 - 0.0000 -
1204.46/1207.84 c 1208 79441 1712 1 - 0.0000 -
1209.55/1212.90 c 1213 79902 1693 1 - 0.0000 -
1214.53/1217.95 c 1218 80395 1681 1 - 0.0000 -
1219.62/1223.03 c 1223 80855 1656 1 - 0.0000 -
1224.80/1228.25 c 1228 81338 1641 1 - 0.0000 -
1229.90/1233.31 c 1233 81810 1620 1 - 0.0000 -
1234.99/1238.42 c 1238 82265 1598 1 - 0.0000 -
1240.27/1243.73 c 1244 82709 1570 1 - 0.0000 -
1245.35/1248.80 c 1249 83189 1549 1 - 0.0000 -
1250.34/1253.86 c 1254 83653 1524 1 - 0.0000 -
1255.43/1258.91 c 1259 84141 1493 1 - 0.0000 -
1260.41/1263.98 c 1264 84616 1479 1 - 0.0000 -
1265.50/1269.04 c 1269 85090 1461 1 - 0.0000 -
1270.48/1274.09 c 1274 85590 1448 1 - 0.0000 -
1275.58/1279.14 c 1279 86129 1420 1 - 0.0000 -
1280.76/1284.31 c 1284 86625 1389 1 - 0.0000 -
1285.84/1289.42 c 1289 87109 1389 1 - 0.0000 -
1290.83/1294.48 c 1294 87615 1362 1 - 0.0000 -
1295.91/1299.53 c 1300 88104 1354 1 - 0.0000 -
1300.91/1304.57 c 1305 88597 1340 1 - 0.0000 -
1306.00/1309.64 c 1310 89122 1312 1 - 0.0000 -
1311.08/1314.76 c 1315 89679 1294 1 - 0.0000 -
1316.17/1319.81 c 1320 90176 1266 1 - 0.0000 -
1321.15/1324.89 c 1325 90678 1232 1 - 0.0000 -
1326.24/1329.95 c 1330 91223 1213 1 - 0.0000 -
1331.33/1335.01 c 1335 91770 1191 1 - 0.0000 -
1336.31/1340.06 c 1340 92267 1180 1 - 0.0000 -
1341.40/1345.11 c 1345 92767 1160 1 - 0.0000 -
1346.39/1350.15 c 1350 93256 1133 1 - 0.0000 -
1351.57/1355.31 c 1355 93750 1104 1 - 0.0000 -
1356.56/1360.36 c 1360 94226 1079 1 - 0.0000 -
1361.64/1365.44 c 1365 94701 1058 1 - 0.0000 -
1366.73/1370.50 c 1370 95187 1028 1 - 0.0000 -
1371.71/1375.55 c 1376 95646 1015 1 - 0.0000 -
1376.80/1380.62 c 1381 96157 995 1 - 0.0000 -
1381.89/1385.70 c 1386 96665 949 1 - 0.0000 -
1386.88/1390.76 c 1391 97127 925 1 - 0.0000 -
1391.97/1395.87 c 1396 97593 895 1 - 0.0000 -
1397.05/1400.95 c 1401 98090 870 1 - 0.0000 -
1402.14/1406.07 c 1406 98622 849 1 - 0.0000 -
1407.24/1411.16 c 1411 99094 827 1 - 0.0000 -
1412.32/1416.20 c 1416 99617 803 1 - 0.0000 -
1417.30/1421.29 c 1421 100129 788 1 - 0.0000 -
1422.39/1426.33 c 1426 100624 769 1 - 0.0000 -
1427.48/1431.42 c 1431 101124 757 1 - 0.0000 -
1432.46/1436.47 c 1436 101645 738 1 - 0.0000 -
1437.55/1441.52 c 1442 102180 719 1 - 0.0000 -
1442.64/1446.61 c 1447 102636 727 1 - 0.0000 -
1447.62/1451.65 c 1452 103174 707 1 - 0.0000 -
1452.71/1456.72 c 1457 103692 697 1 - 0.0000 -
1457.69/1461.78 c 1462 104194 674 1 - 0.0000 -
1462.79/1466.83 c 1467 104668 641 1 - 0.0000 -
1467.88/1471.90 c 1472 105133 637 1 - 0.0000 -
1472.86/1476.96 c 1477 105673 627 1 - 0.0000 -
1477.95/1482.07 c 1482 106191 612 1 - 0.0000 -
1483.04/1487.16 c 1487 106644 600 1 - 0.0000 -
1488.12/1492.26 c 1492 107157 581 1 - 0.0000 -
1493.21/1497.32 c 1497 107656 554 1 - 0.0000 -
1498.19/1502.37 c 1502 108147 535 1 - 0.0000 -
1503.28/1507.42 c 1507 108671 515 1 - 0.0000 -
1508.26/1512.48 c 1512 109212 492 1 - 0.0000 -
1513.45/1517.60 c 1518 109722 469 1 - 0.0000 -
1518.44/1522.68 c 1523 110212 460 1 - 0.0000 -
1523.53/1527.74 c 1528 110772 438 1 - 0.0000 -
1528.62/1532.82 c 1533 111323 419 1 - 0.0000 -
1533.60/1537.87 c 1538 111815 392 1 - 0.0000 -
1538.69/1542.96 c 1543 112299 379 1 - 0.0000 -
1543.78/1548.02 c 1548 112804 371 1 - 0.0000 -
1548.76/1553.06 c 1553 113298 358 1 - 0.0000 -
1553.86/1558.13 c 1558 113825 344 1 - 0.0000 -
1558.84/1563.18 c 1563 114334 320 1 - 0.0000 -
1564.02/1568.33 c 1568 114849 296 1 - 0.0000 -
1569.01/1573.38 c 1573 115413 281 1 - 0.0000 -
1574.09/1578.44 c 1578 115943 270 1 - 0.0000 -
1579.18/1583.50 c 1584 116465 250 1 - 0.0000 -
1584.17/1588.59 c 1589 116972 241 1 - 0.0000 -
1589.26/1593.68 c 1594 117509 228 1 - 0.0000 -
1594.34/1598.73 c 1599 118048 216 1 - 0.0000 -
1599.43/1603.84 c 1604 118585 198 1 - 0.0000 -
1604.51/1608.97 c 1609 119062 188 1 - 0.0000 -
1609.60/1614.04 c 1614 119601 173 1 - 0.0000 -
1614.59/1619.08 c 1619 120134 162 1 - 0.0000 -
1619.68/1624.14 c 1624 120668 150 1 - 0.0000 -
1624.67/1629.18 c 1629 121212 136 1 - 0.0000 -
1629.75/1634.23 c 1634 121731 127 1 - 0.0000 -
1634.73/1639.29 c 1639 122275 106 1 - 0.0000 -
1639.82/1644.37 c 1644 122829 88 1 - 0.0000 -
1644.90/1649.44 c 1649 123369 71 1 - 0.0000 -
1650.00/1654.51 c 1655 123918 44 1 - 0.0000 -
1655.08/1659.61 c 1660 124460 43 1 - 0.0000 -
1660.07/1664.68 c 1665 125066 38 1 - 0.0000 -
1665.15/1669.72 c 1670 125616 26 1 - 0.0000 -
1670.14/1674.79 c 1675 126155 14 1 - 0.0000 -
1675.23/1679.85 c 1680 126712 6 1 - 0.0000 -
1675.82/1680.44 c 1680 126772 0 0 - 0.0000 -
1675.82/1680.48 c 1680 126772 0 0 - 0.0000 -
1675.82/1680.48 c SCIP Status : c problem is solved [infeasible]
1675.82/1680.48 c Total Time : 1680.4700
1675.82/1680.48 c solving : 1680.4700
1675.82/1680.48 c presolving : 0.1560 (included in solving)
1675.82/1680.48 c B&B Tree :
1675.82/1680.48 c nodes (total) : 126772
1675.82/1680.48 c Solution :
1675.82/1680.48 c Solutions found : 0
1675.82/1680.48 c Primal Bound : -
1675.82/1680.48 c Dual Bound : -
1675.82/1680.48 c Gap : -
1675.82/1680.48 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 (59858 MiB free)
memory of node 1: 64473 MiB (53575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464673-1722387039/watcher-4464673-1722387039 -o /tmp/evaluation-result-4464673-1722387039/solver-4464673-1722387039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464673-1722387039.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
solver pid=35086, runsolver pid=35083
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 35087
/proc/meminfo: memFree=116140192/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=37172 memory=27196 CPUtime=0.09 cores=5,7
/proc/35086/stat : 35086 (fscip) R 35083 35086 30194 0 -1 4194304 4518 0 0 0 9 0 0 0 20 0 1 0 5304113 38064128 6799 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 9293 6799 2758 3035 0 5689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37172 KiB
Current children cumulated memory: 27196 KiB
[startup+0.205957 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 35089
/proc/meminfo: memFree=116115224/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=136052 memory=51924 CPUtime=0.19 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 11494 0 0 0 18 1 0 0 20 0 3 0 5304113 139317248 12981 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 34013 12981 2790 3035 0 17095 0
[pid=35086/tid=35088] ppid=35083 vsize=136052 memory=8505393642823811203 CPUtime=0.02 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 3758 0 0 0 2 0 0 0 20 0 3 0 5304130 139317248 12981 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=136052 memory=572 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5304131 139317248 12981 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136052 KiB
Current children cumulated memory: 51924 KiB
[startup+0.305958 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 35089
/proc/meminfo: memFree=116104808/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=139432 memory=62352 CPUtime=0.29 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 14050 0 0 0 27 2 0 0 20 0 3 0 5304113 142778368 15588 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 34858 15588 2854 3035 0 19821 0
[pid=35086/tid=35088] ppid=35083 vsize=139432 memory=-5155632379731602309 CPUtime=0.11 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 6314 0 0 0 11 0 0 0 20 0 3 0 5304130 142778368 15588 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=139432 memory=0 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5304131 142778368 15588 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 62352 KiB
[startup+0.70025 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 35089
/proc/meminfo: memFree=116103240/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=139432 memory=63428 CPUtime=0.68 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 14282 0 0 0 66 2 0 0 20 0 3 0 5304113 142778368 15857 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 34858 15857 2934 3035 0 20086 0
[pid=35086/tid=35088] ppid=35083 vsize=139432 memory=0 CPUtime=0.5 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 6546 0 0 0 50 0 0 0 20 0 3 0 5304130 142778368 15857 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=139432 memory=0 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5304131 142778368 15857 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 63428 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 35089
/proc/meminfo: memFree=116103164/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=139432 memory=79164 CPUtime=1.47 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 22150 0 0 0 144 3 0 0 20 0 3 0 5304113 142778368 19791 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 34858 19791 2950 3035 0 24130 0
[pid=35086/tid=35088] ppid=35083 vsize=139432 memory=0 CPUtime=1.29 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 14443 0 0 0 128 1 0 0 20 0 3 0 5304130 142778368 19791 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=139432 memory=0 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5304131 142778368 19791 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 79164 KiB
[startup+3.10558 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 35090
/proc/meminfo: memFree=116048324/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=204968 memory=116764 CPUtime=3.08 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 32202 0 0 0 303 5 0 0 20 0 3 0 5304113 209887232 29191 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 51242 29191 2950 3035 0 35191 0
[pid=35086/tid=35088] ppid=35083 vsize=204968 memory=0 CPUtime=2.89 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 24446 0 0 0 286 3 0 0 20 0 3 0 5304130 209887232 29191 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=204968 memory=2209 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5304131 209887232 29191 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 116764 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 35090
/proc/meminfo: memFree=116040612/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=204968 memory=122904 CPUtime=6.26 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 38494 0 0 0 620 6 0 0 20 0 3 0 5304113 209887232 30726 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 51242 30726 2950 3035 0 37288 0
[pid=35086/tid=35088] ppid=35083 vsize=204968 memory=0 CPUtime=6.08 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 30729 0 0 0 604 4 0 0 20 0 3 0 5304130 209887232 30726 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=204968 memory=0 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5304131 209887232 30726 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 122904 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 35091
/proc/meminfo: memFree=116029508/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=204968 memory=133316 CPUtime=12.64 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 77118 0 0 0 1255 9 0 0 20 0 3 0 5304113 209887232 33329 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 51242 33329 3014 3035 0 38675 0
[pid=35086/tid=35088] ppid=35083 vsize=204968 memory=129096 CPUtime=12.47 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 69281 0 0 0 1239 8 0 0 20 0 3 0 5304130 209887232 33329 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=204968 memory=12340 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5304131 209887232 33329 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 133316 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 35095
/proc/meminfo: memFree=115996040/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=204968 memory=153236 CPUtime=25.41 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 123856 0 0 0 2526 15 0 0 20 0 3 0 5304113 209887232 38309 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 51242 38309 3014 3035 0 44022 0
[pid=35086/tid=35088] ppid=35083 vsize=204968 memory=153220 CPUtime=25.22 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 115946 0 0 0 2509 13 0 0 20 0 3 0 5304130 209887232 38309 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=204968 memory=12340 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5304131 209887232 38309 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 153236 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 35098
/proc/meminfo: memFree=115943272/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=272200 memory=184640 CPUtime=50.94 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 200959 0 0 0 5072 22 0 0 20 0 3 0 5304113 278732800 46160 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 68050 46160 3014 3035 0 51970 0
[pid=35086/tid=35088] ppid=35083 vsize=272200 memory=185484 CPUtime=50.75 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 192949 0 0 0 5055 20 0 0 20 0 3 0 5304130 278732800 46160 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=272200 memory=184540 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5304131 278732800 46160 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 272200 KiB
Current children cumulated memory: 184640 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 35154
/proc/meminfo: memFree=124279572/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=276360 memory=198848 CPUtime=101.99 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 296908 0 0 0 10166 33 0 0 20 0 3 0 5304113 282992640 49712 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 69090 49712 3014 3035 0 55740 0
[pid=35086/tid=35088] ppid=35083 vsize=276360 memory=12340 CPUtime=101.82 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 288781 0 0 0 10150 32 0 0 20 0 3 0 5304130 282992640 49712 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=276360 memory=194444 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5304131 282992640 49712 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 276360 KiB
Current children cumulated memory: 198848 KiB
[startup+162.3 s]
/proc/loadavg: 4.43 4.20 4.13 5/265 35166
/proc/meminfo: memFree=124163900/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=280980 memory=205584 CPUtime=161.85 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 349878 0 0 0 16146 39 0 0 20 0 3 0 5304113 287723520 51396 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 70245 51396 3014 3035 0 57327 0
[pid=35086/tid=35088] ppid=35083 vsize=280980 memory=205960 CPUtime=161.66 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 341691 0 0 0 16129 37 0 0 20 0 3 0 5304130 287723520 51396 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=280980 memory=12400 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5304131 287723520 51396 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 280980 KiB
Current children cumulated memory: 205584 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/265 35177
################
# More data... #
################
/proc/35086/statm: 91786 70478 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=12400 CPUtime=1477.98 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 763492 0 0 0 147701 97 0 0 20 0 3 0 5304130 375955456 70478 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=279296 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70478 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1478.25 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 281912 KiB
[startup+1542.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/262 36048
/proc/meminfo: memFree=123736736/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=281992 CPUtime=1538.09 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 774984 0 0 0 153706 103 0 0 20 0 3 0 5304113 375955456 70498 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70498 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=281992 CPUtime=1537.82 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 766193 0 0 0 153684 98 0 0 20 0 3 0 5304130 375955456 70498 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=5420 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70498 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1538.09 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 281992 KiB
[startup+1602.3 s]
/proc/loadavg: 4.21 4.13 4.12 5/261 36058
/proc/meminfo: memFree=123703352/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282168 CPUtime=1597.93 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 778076 0 0 0 159688 105 0 0 20 0 3 0 5304113 375955456 70542 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70542 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=5420 CPUtime=1597.65 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 769264 0 0 0 159665 100 0 0 20 0 3 0 5304130 375955456 70542 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=282168 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70542 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1597.93 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282168 KiB
[startup+1662.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/261 36071
/proc/meminfo: memFree=123670976/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282232 CPUtime=1657.78 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781114 0 0 0 165671 107 0 0 20 0 3 0 5304113 375955456 70558 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70558 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=282168 CPUtime=1657.49 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772282 0 0 0 165648 101 0 0 20 0 3 0 5304130 375955456 70558 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=12340 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70558 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1657.78 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282232 KiB
[startup+1680.48 s]
# the end of solver process 35086 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1674.84 s, system=1.08095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 4.15 4.12 4.12 5/261 36072
/proc/meminfo: memFree=123669628/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1659.47 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781121 0 0 0 165840 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=-7666933632230056063 CPUtime=1659.19 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772289 0 0 0 165818 101 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=2720 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1659.47 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
[startup+1670.4 s]
/proc/loadavg: 4.13 4.12 4.12 5/261 36072
/proc/meminfo: memFree=123665180/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1665.85 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781382 0 0 0 166478 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=12680 CPUtime=1665.56 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772546 0 0 0 166455 101 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=282232 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1665.85 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
[startup+1676.8 s]
/proc/loadavg: 4.12 4.12 4.12 5/261 36075
/proc/meminfo: memFree=123663356/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1672.23 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781405 0 0 0 167116 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=282232 CPUtime=1671.96 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772569 0 0 0 167094 102 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=282232 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1672.23 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
[startup+1678.4 s]
/proc/loadavg: 4.12 4.12 4.12 5/261 36075
/proc/meminfo: memFree=123661760/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1673.83 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781408 0 0 0 167276 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=5420 CPUtime=1673.55 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772572 0 0 0 167253 102 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=16144 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1673.83 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
[startup+1679.2 s]
/proc/loadavg: 4.12 4.12 4.12 5/261 36075
/proc/meminfo: memFree=123661620/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1674.63 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781408 0 0 0 167356 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=16144 CPUtime=1674.35 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772572 0 0 0 167333 102 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=2336 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1674.63 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
[startup+1680 s]*
/proc/loadavg: 4.11 4.11 4.11 5/261 36075
/proc/meminfo: memFree=123661564/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1675.43 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781411 0 0 0 167436 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=-7666933632230056063 CPUtime=1675.15 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772575 0 0 0 167413 102 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=32572 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1675.43 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
[startup+1680.4 s]
/proc/loadavg: 4.11 4.11 4.11 5/261 36075
/proc/meminfo: memFree=123661564/131524600 swapFree=131071996/131071996
[pid=35086] ppid=35083 vsize=367144 memory=282248 CPUtime=1675.82 cores=5,7
/proc/35086/stat : 35086 (fscip) S 35083 35086 30194 0 -1 1077936128 781413 0 0 0 167475 107 0 0 20 0 3 0 5304113 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
/proc/35086/statm: 91786 70562 3014 3035 0 73966 0
[pid=35086/tid=35088] ppid=35083 vsize=367144 memory=12400 CPUtime=1675.54 cores=5,7
/proc/35086/task/35088/stat : 35088 (fscip) R 35083 35086 30194 0 -1 4194368 772577 0 0 0 167452 102 0 0 20 0 3 0 5304130 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
[pid=35086/tid=35089] ppid=35083 vsize=367144 memory=5420 CPUtime=0 cores=5,7
/proc/35086/task/35089/stat : 35089 (fscip) S 35083 35086 30194 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5304131 375955456 70562 134679101440 4194304 16623229 140723502830000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 31858688 140723502838806 140723502838922 140723502838922 140723502845936 0
Current children cumulated CPU time: 1675.82 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 282248 KiB
Child status: 0
Real time (s): 1680.48
CPU time (s): 1675.92
CPU user time (s): 1674.84
CPU system time (s): 1.08095
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 367144
Max. memory (cumulated for all children) (KiB): 282248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.84
system time used= 1.08095
maximum resident set size= 282248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782822
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= 5057
involuntary context switches= 1256
# summary of solver processes directly reported to runsolver:
# pid: 35086
# total CPU time (s): 1675.92
# total CPU user time (s): 1674.84
# total CPU system time (s): 1.08095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.28866 second user time and 7.83968 second system time
The end
Begin job on nodeC026 at 2024-07-31 02:50:39
IDJOB=4464673
IDBENCH=162873
IDSOLVER=3092
FILE ID=nodeC026/4464673-1722387039
RUNJOBID= nodeC026-1722378594-30207
SLURM_JOB_ID= 8249849
Free space on /tmp= 889888 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_20.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-4464673-1722387039/watcher-4464673-1722387039 -o /tmp/evaluation-result-4464673-1722387039/solver-4464673-1722387039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464673-1722387039.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9c3493a278c61b5f4e5e80a3fb48e99
RANDOM SEED=1765878430
nodeC026.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 : 3668.110
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.59
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 : 3669.446
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.70
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 : 3600.353
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.59
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.332
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.70
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 : 3668.094
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.59
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 : 3663.553
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.70
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 : 3600.667
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.59
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 : 3671.470
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.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 116157224 kB
MemAvailable: 120358180 kB
Buffers: 104412 kB
Cached: 4911464 kB
SwapCached: 0 kB
Active: 391080 kB
Inactive: 14440368 kB
Active(anon): 1504 kB
Inactive(anon): 9835408 kB
Active(file): 389576 kB
Inactive(file): 4604960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28488 kB
Writeback: 0 kB
AnonPages: 9814168 kB
Mapped: 124996 kB
Shmem: 21336 kB
KReclaimable: 92488 kB
Slab: 177344 kB
SReclaimable: 92488 kB
SUnreclaim: 84856 kB
KernelStack: 4288 kB
PageTables: 28684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7001464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1835008 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-31 03:18:40