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 = 30281728, getVmSize() = 30281728, SCIPgetMemUsed() = 6096930, 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.16 c ** Estimated virtualMemUsedAtSolver = 26750976, getVmSize() = 49971200, SCIPgetMemUsed() = 14589419, SCIPgetMemTotal() = 26529299, SCIPgetMemExternEstim() = 4175707
0.09/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.16 c Original Problem :
0.09/0.16 c Problem name : instance-4452040-1721427306
0.09/0.16 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 3542
0.09/0.16 c Objective sense : minimize
0.09/0.16 c Presolved Problem :
0.09/0.16 c Variables : 750 (750 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 3317
0.09/0.16 c Constraints : Number
0.09/0.16 c knapsack : 1
0.09/0.16 c setppc : 1425
0.09/0.16 c linear : 1
0.09/0.16 c logicor : 1890
0.09/0.16 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.36/6.48 c 6 14 11 1 - 0.0000 -
11.64/11.71 c 12 131 49 1 - 0.0000 -
17.03/17.14 c 17 439 52 1 - 0.0000 -
22.12/22.26 c 22 854 56 1 - 0.0000 -
27.31/27.44 c 27 1343 47 1 - 0.0000 -
32.59/32.73 c 33 1389 23 1 - 0.0000 -
37.88/38.10 c 38 1643 45 1 - 0.0000 -
43.06/43.27 c 43 1807 72 1 - 0.0000 -
48.65/48.80 c 49 1980 104 1 - 0.0000 -
53.74/53.92 c 54 2197 143 1 - 0.0000 -
58.93/59.13 c 59 2337 213 1 - 0.0000 -
64.11/64.31 c 64 2442 276 1 - 0.0000 -
69.30/69.50 c 70 2581 359 1 - 0.0000 -
74.89/75.11 c 75 2717 427 1 - 0.0000 -
80.17/80.46 c 80 2863 497 1 - 0.0000 -
85.26/85.58 c 86 3011 580 1 - 0.0000 -
90.55/90.82 c 91 3188 633 1 - 0.0000 -
95.74/96.09 c 96 3365 701 1 - 0.0000 -
101.32/101.69 c 102 3531 764 1 - 0.0000 -
106.71/107.10 c 107 3680 817 1 - 0.0000 -
111.99/112.30 c 112 3870 859 1 - 0.0000 -
117.18/117.55 c 118 4038 903 1 - 0.0000 -
122.46/122.84 c 123 4203 953 1 - 0.0000 -
127.65/128.05 c 128 4375 1014 1 - 0.0000 -
133.14/133.58 c 134 4580 1074 1 - 0.0000 -
138.32/138.73 c 139 4719 1142 1 - 0.0000 -
143.50/143.90 c 144 4909 1197 1 - 0.0000 -
148.70/149.15 c 149 5092 1272 1 - 0.0000 -
154.08/154.57 c 155 5332 1320 1 - 0.0000 -
159.46/159.93 c 160 5528 1359 1 - 0.0000 -
164.75/165.27 c 165 5764 1402 1 - 0.0000 -
170.04/170.52 c 171 5980 1458 1 - 0.0000 -
175.13/175.69 c 176 6213 1493 1 - 0.0000 -
180.30/180.88 c 181 6523 1507 1 - 0.0000 -
185.51/186.05 c 186 6808 1520 1 - 0.0000 -
190.59/191.19 c 191 7094 1545 1 - 0.0000 -
195.87/196.41 c 196 7349 1585 1 - 0.0000 -
201.05/201.69 c 202 7637 1591 1 - 0.0000 -
206.24/206.89 c 207 7904 1638 1 - 0.0000 -
211.43/212.01 c 212 8158 1675 1 - 0.0000 -
216.71/217.31 c 217 8365 1717 1 - 0.0000 -
221.69/222.35 c 222 8624 1754 1 - 0.0000 -
226.88/227.53 c 228 8830 1794 1 - 0.0000 -
231.87/232.59 c 233 9091 1838 1 - 0.0000 -
237.26/237.96 c 238 9377 1879 1 - 0.0000 -
242.74/243.40 c 243 9652 1913 1 - 0.0000 -
247.92/248.62 c 249 10001 1936 1 - 0.0000 -
253.11/253.81 c 254 10315 1961 1 - 0.0000 -
258.40/259.16 c 259 10645 1977 1 - 0.0000 -
263.48/264.26 c 264 10854 2030 1 - 0.0000 -
268.77/269.56 c 270 11188 2052 1 - 0.0000 -
273.95/274.73 c 275 11482 2079 1 - 0.0000 -
279.04/279.83 c 280 11820 2087 1 - 0.0000 -
284.13/284.94 c 285 12167 2100 1 - 0.0000 -
289.41/290.25 c 290 12467 2134 1 - 0.0000 -
294.70/295.56 c 296 12727 2163 1 - 0.0000 -
299.88/300.70 c 301 13062 2195 1 - 0.0000 -
304.97/305.87 c 306 13359 2216 1 - 0.0000 -
310.05/310.94 c 311 13664 2249 1 - 0.0000 -
315.14/316.05 c 316 13931 2275 1 - 0.0000 -
320.24/321.18 c 321 14303 2279 1 - 0.0000 -
325.42/326.32 c 326 14632 2296 1 - 0.0000 -
330.61/331.51 c 332 14984 2313 1 - 0.0000 -
335.79/336.70 c 337 15288 2345 1 - 0.0000 -
340.97/341.90 c 342 15634 2349 1 - 0.0000 -
346.07/347.05 c 347 15981 2349 1 - 0.0000 -
351.35/352.37 c 352 16261 2384 1 - 0.0000 -
356.54/357.53 c 358 16639 2402 1 - 0.0000 -
361.72/362.74 c 363 16965 2431 1 - 0.0000 -
366.81/367.86 c 368 17283 2453 1 - 0.0000 -
371.90/372.96 c 373 17651 2449 1 - 0.0000 -
377.00/378.05 c 378 18018 2446 1 - 0.0000 -
382.17/383.23 c 383 18294 2471 1 - 0.0000 -
387.16/388.29 c 388 18582 2500 1 - 0.0000 -
392.25/393.39 c 393 18880 2516 1 - 0.0000 -
397.33/398.46 c 398 19195 2541 1 - 0.0000 -
402.43/403.53 c 404 19562 2540 1 - 0.0000 -
407.71/408.80 c 409 19896 2542 1 - 0.0000 -
412.80/413.92 c 414 20176 2588 1 - 0.0000 -
417.89/419.09 c 419 20459 2604 1 - 0.0000 -
422.97/424.16 c 424 20801 2613 1 - 0.0000 -
428.16/429.36 c 429 21143 2623 1 - 0.0000 -
433.54/434.75 c 435 21414 2646 1 - 0.0000 -
438.83/440.06 c 440 21666 2682 1 - 0.0000 -
443.92/445.19 c 445 21998 2712 1 - 0.0000 -
449.20/450.42 c 450 22311 2742 1 - 0.0000 -
454.59/455.80 c 456 22657 2765 1 - 0.0000 -
459.68/460.92 c 461 22954 2793 1 - 0.0000 -
464.87/466.19 c 466 23301 2820 1 - 0.0000 -
470.05/471.37 c 471 23568 2860 1 - 0.0000 -
475.13/476.45 c 476 23824 2891 1 - 0.0000 -
480.22/481.57 c 482 24066 2923 1 - 0.0000 -
485.32/486.69 c 487 24322 2953 1 - 0.0000 -
490.60/491.98 c 492 24609 2972 1 - 0.0000 -
495.79/497.12 c 497 24904 3002 1 - 0.0000 -
500.78/502.20 c 502 25204 3029 1 - 0.0000 -
505.86/507.26 c 507 25493 3068 1 - 0.0000 -
511.05/512.41 c 512 25770 3100 1 - 0.0000 -
516.13/517.54 c 518 26065 3138 1 - 0.0000 -
521.13/522.59 c 523 26333 3160 1 - 0.0000 -
526.31/527.72 c 528 26693 3167 1 - 0.0000 -
531.50/532.92 c 533 26995 3175 1 - 0.0000 -
536.59/538.04 c 538 27293 3195 1 - 0.0000 -
541.57/543.10 c 543 27588 3210 1 - 0.0000 -
546.76/548.28 c 548 27930 3221 1 - 0.0000 -
551.84/553.35 c 553 28243 3236 1 - 0.0000 -
556.93/558.48 c 558 28609 3265 1 - 0.0000 -
562.02/563.58 c 564 28948 3289 1 - 0.0000 -
567.30/568.80 c 569 29278 3329 1 - 0.0000 -
572.49/574.00 c 574 29590 3360 1 - 0.0000 -
577.58/579.11 c 579 29920 3375 1 - 0.0000 -
582.57/584.18 c 584 30267 3368 1 - 0.0000 -
587.75/589.34 c 589 30630 3376 1 - 0.0000 -
592.84/594.40 c 594 30928 3392 1 - 0.0000 -
597.92/599.54 c 600 31309 3389 1 - 0.0000 -
603.01/604.67 c 605 31625 3394 1 - 0.0000 -
608.20/609.84 c 610 31998 3400 1 - 0.0000 -
613.29/614.91 c 615 32300 3411 1 - 0.0000 -
618.28/619.96 c 620 32676 3404 1 - 0.0000 -
623.47/625.17 c 625 33058 3385 1 - 0.0000 -
628.55/630.25 c 630 33431 3405 1 - 0.0000 -
633.63/635.39 c 635 33764 3423 1 - 0.0000 -
638.82/640.54 c 641 34099 3442 1 - 0.0000 -
643.91/645.67 c 646 34470 3432 1 - 0.0000 -
649.00/650.74 c 651 34777 3452 1 - 0.0000 -
654.18/655.93 c 656 35165 3452 1 - 0.0000 -
659.27/661.09 c 661 35557 3450 1 - 0.0000 -
664.37/666.16 c 666 35930 3450 1 - 0.0000 -
669.45/671.25 c 671 36271 3434 1 - 0.0000 -
674.63/676.47 c 676 36673 3429 1 - 0.0000 -
679.72/681.56 c 682 37015 3435 1 - 0.0000 -
684.81/686.69 c 687 37349 3437 1 - 0.0000 -
689.99/691.89 c 692 37645 3445 1 - 0.0000 -
695.08/696.97 c 697 38019 3416 1 - 0.0000 -
700.17/702.10 c 702 38387 3397 1 - 0.0000 -
705.35/707.29 c 707 38748 3400 1 - 0.0000 -
710.44/712.35 c 712 39158 3377 1 - 0.0000 -
715.53/717.47 c 717 39505 3359 1 - 0.0000 -
720.62/722.57 c 723 39929 3347 1 - 0.0000 -
725.70/727.65 c 728 40302 3328 1 - 0.0000 -
730.89/732.80 c 733 40654 3319 1 - 0.0000 -
735.87/737.89 c 738 41060 3309 1 - 0.0000 -
741.06/743.07 c 743 41420 3300 1 - 0.0000 -
746.16/748.18 c 748 41756 3293 1 - 0.0000 -
751.24/753.24 c 753 42143 3285 1 - 0.0000 -
756.32/758.35 c 758 42539 3265 1 - 0.0000 -
761.51/763.53 c 764 42978 3250 1 - 0.0000 -
766.50/768.59 c 769 43361 3239 1 - 0.0000 -
771.59/773.65 c 774 43698 3236 1 - 0.0000 -
776.67/778.71 c 779 44116 3208 1 - 0.0000 -
781.66/783.76 c 784 44515 3190 1 - 0.0000 -
786.74/788.82 c 789 44913 3167 1 - 0.0000 -
791.84/793.95 c 794 45289 3159 1 - 0.0000 -
796.93/799.05 c 799 45730 3144 1 - 0.0000 -
802.01/804.19 c 804 46117 3143 1 - 0.0000 -
807.19/809.33 c 809 46504 3121 1 - 0.0000 -
812.38/814.52 c 815 46920 3101 1 - 0.0000 -
817.46/819.69 c 820 47322 3089 1 - 0.0000 -
822.66/824.82 c 825 47712 3082 1 - 0.0000 -
827.74/829.90 c 830 48076 3058 1 - 0.0000 -
832.73/834.96 c 835 48430 3048 1 - 0.0000 -
837.83/840.06 c 840 48822 3026 1 - 0.0000 -
842.91/845.16 c 845 49222 3016 1 - 0.0000 -
847.99/850.21 c 850 49633 3006 1 - 0.0000 -
853.08/855.33 c 855 49985 3021 1 - 0.0000 -
858.16/860.49 c 860 50423 3009 1 - 0.0000 -
863.35/865.68 c 866 50852 2998 1 - 0.0000 -
868.44/870.75 c 871 51291 2974 1 - 0.0000 -
873.63/875.96 c 876 51677 2959 1 - 0.0000 -
878.72/881.01 c 881 52098 2940 1 - 0.0000 -
883.81/886.15 c 886 52467 2924 1 - 0.0000 -
888.89/891.20 c 891 52910 2908 1 - 0.0000 -
893.87/896.29 c 896 53285 2895 1 - 0.0000 -
899.06/901.45 c 901 53698 2876 1 - 0.0000 -
904.15/906.52 c 907 54119 2871 1 - 0.0000 -
909.14/911.59 c 912 54520 2867 1 - 0.0000 -
914.23/916.68 c 917 54923 2854 1 - 0.0000 -
919.41/921.89 c 922 55328 2837 1 - 0.0000 -
924.49/926.98 c 927 55717 2842 1 - 0.0000 -
929.69/932.11 c 932 56057 2849 1 - 0.0000 -
934.68/937.20 c 937 56447 2841 1 - 0.0000 -
939.76/942.27 c 942 56838 2822 1 - 0.0000 -
944.84/947.32 c 947 57271 2801 1 - 0.0000 -
949.93/952.42 c 952 57694 2768 1 - 0.0000 -
954.92/957.48 c 957 58107 2746 1 - 0.0000 -
960.01/962.57 c 963 58554 2714 1 - 0.0000 -
965.09/967.64 c 968 58906 2683 1 - 0.0000 -
970.17/972.74 c 973 59370 2641 1 - 0.0000 -
975.26/977.81 c 978 59768 2641 1 - 0.0000 -
980.25/982.88 c 983 60220 2620 1 - 0.0000 -
985.34/987.94 c 988 60650 2607 1 - 0.0000 -
990.43/993.08 c 993 61036 2607 1 - 0.0000 -
995.52/998.16 c 998 61410 2611 1 - 0.0000 -
1000.59/1003.25 c 1003 61777 2605 1 - 0.0000 -
1005.69/1008.32 c 1008 62199 2577 1 - 0.0000 -
1010.77/1013.44 c 1013 62632 2555 1 - 0.0000 -
1015.75/1018.49 c 1018 63078 2536 1 - 0.0000 -
1020.85/1023.56 c 1024 63475 2521 1 - 0.0000 -
1025.93/1028.61 c 1029 63887 2504 1 - 0.0000 -
1030.92/1033.68 c 1034 64280 2498 1 - 0.0000 -
1036.01/1038.77 c 1039 64738 2463 1 - 0.0000 -
1041.20/1043.96 c 1044 65206 2448 1 - 0.0000 -
1046.28/1049.04 c 1049 65612 2417 1 - 0.0000 -
1051.27/1054.08 c 1054 66065 2397 1 - 0.0000 -
1056.36/1059.17 c 1059 66485 2370 1 - 0.0000 -
1061.44/1064.29 c 1064 66914 2358 1 - 0.0000 -
1066.52/1069.33 c 1069 67309 2336 1 - 0.0000 -
1071.52/1074.39 c 1074 67798 2312 1 - 0.0000 -
1076.60/1079.44 c 1079 68208 2279 1 - 0.0000 -
1081.68/1084.50 c 1084 68639 2245 1 - 0.0000 -
1086.68/1089.54 c 1090 69090 2225 1 - 0.0000 -
1091.76/1094.68 c 1095 69465 2214 1 - 0.0000 -
1096.84/1099.75 c 1100 69866 2195 1 - 0.0000 -
1101.94/1104.81 c 1105 70291 2167 1 - 0.0000 -
1106.92/1109.88 c 1110 70739 2156 1 - 0.0000 -
1112.11/1115.03 c 1115 71190 2125 1 - 0.0000 -
1117.29/1120.22 c 1120 71611 2126 1 - 0.0000 -
1122.48/1125.41 c 1125 72059 2114 1 - 0.0000 -
1127.46/1130.48 c 1130 72464 2104 1 - 0.0000 -
1132.55/1135.56 c 1136 72904 2102 1 - 0.0000 -
1137.63/1140.66 c 1141 73361 2071 1 - 0.0000 -
1142.82/1145.83 c 1146 73825 2047 1 - 0.0000 -
1147.90/1150.91 c 1151 74285 2020 1 - 0.0000 -
1152.89/1155.97 c 1156 74728 2003 1 - 0.0000 -
1157.99/1161.03 c 1161 75151 1959 1 - 0.0000 -
1162.98/1166.09 c 1166 75564 1927 1 - 0.0000 -
1168.16/1171.23 c 1171 76029 1918 1 - 0.0000 -
1173.24/1176.31 c 1176 76502 1872 1 - 0.0000 -
1178.23/1181.38 c 1181 76948 1844 1 - 0.0000 -
1183.32/1186.46 c 1186 77423 1818 1 - 0.0000 -
1188.40/1191.51 c 1192 77858 1790 1 - 0.0000 -
1193.49/1196.61 c 1197 78303 1776 1 - 0.0000 -
1198.48/1201.67 c 1202 78700 1762 1 - 0.0000 -
1203.56/1206.72 c 1207 79095 1736 1 - 0.0000 -
1208.65/1211.80 c 1212 79574 1707 1 - 0.0000 -
1213.74/1216.91 c 1217 80023 1692 1 - 0.0000 -
1218.73/1221.97 c 1222 80504 1681 1 - 0.0000 -
1223.82/1227.04 c 1227 80939 1659 1 - 0.0000 -
1228.90/1232.10 c 1232 81395 1640 1 - 0.0000 -
1233.98/1237.27 c 1237 81867 1619 1 - 0.0000 -
1239.07/1242.33 c 1242 82294 1593 1 - 0.0000 -
1244.25/1247.50 c 1248 82701 1570 1 - 0.0000 -
1249.25/1252.56 c 1253 83154 1553 1 - 0.0000 -
1254.33/1257.61 c 1258 83591 1528 1 - 0.0000 -
1259.32/1262.67 c 1263 84053 1498 1 - 0.0000 -
1264.41/1267.71 c 1268 84515 1482 1 - 0.0000 -
1269.39/1272.77 c 1273 85004 1469 1 - 0.0000 -
1274.88/1278.23 c 1278 85448 1449 1 - 0.0000 -
1279.86/1283.29 c 1283 85984 1431 1 - 0.0000 -
1284.95/1288.38 c 1288 86474 1399 1 - 0.0000 -
1290.04/1293.45 c 1293 86946 1395 1 - 0.0000 -
1295.13/1298.52 c 1299 87436 1372 1 - 0.0000 -
1300.11/1303.59 c 1304 87895 1366 1 - 0.0000 -
1305.20/1308.64 c 1309 88364 1356 1 - 0.0000 -
1310.19/1313.70 c 1314 88879 1328 1 - 0.0000 -
1315.27/1318.76 c 1319 89410 1291 1 - 0.0000 -
1320.37/1323.81 c 1324 89888 1282 1 - 0.0000 -
1325.35/1328.88 c 1329 90364 1248 1 - 0.0000 -
1330.43/1333.93 c 1334 90834 1226 1 - 0.0000 -
1335.53/1339.02 c 1339 91369 1208 1 - 0.0000 -
1340.51/1344.07 c 1344 91857 1193 1 - 0.0000 -
1345.59/1349.13 c 1349 92329 1180 1 - 0.0000 -
1350.59/1354.20 c 1354 92799 1157 1 - 0.0000 -
1355.66/1359.27 c 1359 93270 1135 1 - 0.0000 -
1360.85/1364.41 c 1364 93742 1105 1 - 0.0000 -
1365.94/1369.54 c 1370 94198 1080 1 - 0.0000 -
1371.12/1374.74 c 1375 94681 1058 1 - 0.0000 -
1376.12/1379.79 c 1380 95157 1030 1 - 0.0000 -
1381.20/1384.87 c 1385 95618 1012 1 - 0.0000 -
1386.28/1389.92 c 1390 96079 993 1 - 0.0000 -
1391.28/1394.97 c 1395 96552 962 1 - 0.0000 -
1396.46/1400.15 c 1400 97048 937 1 - 0.0000 -
1401.54/1405.22 c 1405 97493 903 1 - 0.0000 -
1406.64/1410.30 c 1410 97950 873 1 - 0.0000 -
1411.62/1415.36 c 1415 98431 859 1 - 0.0000 -
1416.71/1420.44 c 1420 98905 837 1 - 0.0000 -
1421.80/1425.51 c 1426 99371 809 1 - 0.0000 -
1426.78/1430.56 c 1431 99878 796 1 - 0.0000 -
1431.86/1435.68 c 1436 100343 784 1 - 0.0000 -
1436.96/1440.74 c 1441 100815 760 1 - 0.0000 -
1442.04/1445.81 c 1446 101326 747 1 - 0.0000 -
1447.02/1450.88 c 1451 101815 738 1 - 0.0000 -
1452.12/1455.95 c 1456 102326 711 1 - 0.0000 -
1457.21/1461.01 c 1461 102773 711 1 - 0.0000 -
1462.19/1466.07 c 1466 103271 710 1 - 0.0000 -
1467.27/1471.14 c 1471 103753 691 1 - 0.0000 -
1472.36/1476.27 c 1476 104230 669 1 - 0.0000 -
1477.44/1481.34 c 1481 104686 638 1 - 0.0000 -
1482.54/1486.45 c 1486 105137 636 1 - 0.0000 -
1487.62/1491.53 c 1492 105664 620 1 - 0.0000 -
1492.61/1496.58 c 1497 106154 615 1 - 0.0000 -
1497.69/1501.65 c 1502 106602 597 1 - 0.0000 -
1502.78/1506.71 c 1507 107073 586 1 - 0.0000 -
1507.77/1511.76 c 1512 107559 561 1 - 0.0000 -
1512.96/1516.91 c 1517 108058 536 1 - 0.0000 -
1518.05/1522.03 c 1522 108545 516 1 - 0.0000 -
1523.03/1527.09 c 1527 109045 502 1 - 0.0000 -
1528.12/1532.14 c 1532 109548 473 1 - 0.0000 -
1533.21/1537.20 c 1537 110013 462 1 - 0.0000 -
1538.19/1542.27 c 1542 110536 452 1 - 0.0000 -
1543.28/1547.33 c 1547 111064 431 1 - 0.0000 -
1548.27/1552.39 c 1552 111558 406 1 - 0.0000 -
1553.35/1557.45 c 1557 112034 378 1 - 0.0000 -
1558.44/1562.50 c 1562 112516 370 1 - 0.0000 -
1563.43/1567.58 c 1568 112970 359 1 - 0.0000 -
1568.52/1572.64 c 1573 113462 351 1 - 0.0000 -
1573.61/1577.71 c 1578 113943 346 1 - 0.0000 -
1578.59/1582.77 c 1583 114448 315 1 - 0.0000 -
1583.77/1587.94 c 1588 114950 289 1 - 0.0000 -
1588.86/1593.00 c 1593 115481 277 1 - 0.0000 -
1593.85/1598.06 c 1598 116005 271 1 - 0.0000 -
1598.94/1603.11 c 1603 116495 246 1 - 0.0000 -
1603.93/1608.17 c 1608 116982 243 1 - 0.0000 -
1609.01/1613.23 c 1613 117491 224 1 - 0.0000 -
1613.99/1618.28 c 1618 117995 222 1 - 0.0000 -
1619.08/1623.35 c 1623 118528 201 1 - 0.0000 -
1624.17/1628.41 c 1628 118975 186 1 - 0.0000 -
1629.16/1633.48 c 1633 119478 173 1 - 0.0000 -
1634.24/1638.53 c 1639 120004 166 1 - 0.0000 -
1639.34/1643.60 c 1644 120527 151 1 - 0.0000 -
1644.32/1648.69 c 1649 121040 141 1 - 0.0000 -
1649.60/1653.94 c 1654 121559 131 1 - 0.0000 -
1654.69/1659.01 c 1659 122108 114 1 - 0.0000 -
1659.68/1664.08 c 1664 122621 96 1 - 0.0000 -
1664.77/1669.14 c 1669 123152 77 1 - 0.0000 -
1669.85/1674.21 c 1674 123670 54 1 - 0.0000 -
1674.84/1679.27 c 1679 124209 49 1 - 0.0000 -
1679.93/1684.33 c 1684 124763 47 1 - 0.0000 -
1685.01/1689.48 c 1689 125299 32 1 - 0.0000 -
1690.10/1694.53 c 1695 125849 24 1 - 0.0000 -
1695.09/1699.59 c 1700 126380 7 1 - 0.0000 -
1698.78/1703.22 c 1703 126772 0 0 - 0.0000 -
1698.78/1703.26 c 1703 126772 0 0 - 0.0000 -
1698.78/1703.26 c SCIP Status : c problem is solved [infeasible]
1698.78/1703.26 c Total Time : 1703.2500
1698.78/1703.26 c solving : 1703.2500
1698.78/1703.26 c presolving : 0.1536 (included in solving)
1698.78/1703.26 c B&B Tree :
1698.78/1703.26 c nodes (total) : 126772
1698.78/1703.26 c Solution :
1698.78/1703.26 c Solutions found : 0
1698.78/1703.26 c Primal Bound : -
1698.78/1703.26 c Dual Bound : -
1698.78/1703.26 c Gap : -
1698.78/1703.26 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 (61880 MiB free)
memory of node 1: 64473 MiB (61447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452040-1721427306/watcher-4452040-1721427306 -o /tmp/evaluation-result-4452040-1721427306/solver-4452040-1721427306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028661 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452040-1721427306.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1031996, runsolver pid=1031993
[startup+0.100208 s]*
/proc/loadavg: 4.10 4.11 4.09 5/260 1031997
/proc/meminfo: memFree=126271780/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=37156 memory=27100 CPUtime=0.09 cores=4,6
/proc/1031996/stat : 1031996 (fscip) R 1031993 1031996 1028650 0 -1 4194304 4515 0 0 0 9 0 0 0 20 0 1 0 194895539 38047744 6775 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 9289 6775 2734 3032 0 5689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37156 KiB
Current children cumulated memory: 27100 KiB
[startup+0.205228 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 1031999
/proc/meminfo: memFree=126246672/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=136036 memory=51900 CPUtime=0.19 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 11494 0 0 0 18 1 0 0 20 0 3 0 194895539 139300864 12975 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 34009 12975 2782 3032 0 17107 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=136036 memory=6007641856751698051 CPUtime=0.02 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 3759 0 0 0 2 0 0 0 20 0 3 0 194895556 139300864 12975 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=136036 memory=1783847 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194895557 139300864 12975 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136036 KiB
Current children cumulated memory: 51900 KiB
[startup+0.306227 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 1031999
/proc/meminfo: memFree=126236256/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=139416 memory=62788 CPUtime=0.28 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 14129 0 0 0 27 1 0 0 20 0 3 0 194895539 142761984 15697 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 34854 15697 2910 3032 0 19903 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=139416 memory=-7736474891379170687 CPUtime=0.11 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 6394 0 0 0 11 0 0 0 20 0 3 0 194895556 142761984 15697 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=139416 memory=0 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194895557 142761984 15697 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 139416 KiB
Current children cumulated memory: 62788 KiB
[startup+0.700205 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1031999
/proc/meminfo: memFree=126235468/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=139416 memory=63316 CPUtime=0.67 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 14276 0 0 0 66 1 0 0 20 0 3 0 194895539 142761984 15829 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 34854 15829 2910 3032 0 20086 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=139416 memory=0 CPUtime=0.5 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 6541 0 0 0 50 0 0 0 20 0 3 0 194895556 142761984 15829 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=139416 memory=0 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194895557 142761984 15829 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 139416 KiB
Current children cumulated memory: 63316 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1031999
/proc/meminfo: memFree=126235440/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=139416 memory=79316 CPUtime=1.46 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 22260 0 0 0 144 2 0 0 20 0 3 0 194895539 142761984 19829 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 34854 19829 2926 3032 0 24161 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=139416 memory=0 CPUtime=1.29 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 14525 0 0 0 128 1 0 0 20 0 3 0 194895556 142761984 19829 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=139416 memory=0 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194895557 142761984 19829 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 139416 KiB
Current children cumulated memory: 79316 KiB
[startup+3.10533 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1031999
/proc/meminfo: memFree=126180960/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=204952 memory=118176 CPUtime=3.07 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 32240 0 0 0 303 4 0 0 20 0 3 0 194895539 209870848 29544 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 51238 29544 2926 3032 0 35191 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=204952 memory=0 CPUtime=2.9 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 24485 0 0 0 287 3 0 0 20 0 3 0 194895556 209870848 29544 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=204952 memory=2209 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194895557 209870848 29544 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 118176 KiB
[startup+6.30021 s]
/proc/loadavg: 4.25 4.14 4.10 5/262 1031999
/proc/meminfo: memFree=126173528/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=204952 memory=124216 CPUtime=6.26 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 38148 0 0 0 621 5 0 0 20 0 3 0 194895539 209870848 31054 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 51238 31054 2926 3032 0 37287 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=204952 memory=127296 CPUtime=6.09 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 30384 0 0 0 605 4 0 0 20 0 3 0 194895556 209870848 31054 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=204952 memory=11648 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194895557 209870848 31054 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 124216 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.16 4.11 5/262 1032000
/proc/meminfo: memFree=126165436/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=204952 memory=133568 CPUtime=12.64 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 77040 0 0 0 1257 7 0 0 20 0 3 0 194895539 209870848 33392 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 51238 33392 2990 3032 0 38673 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=204952 memory=128256 CPUtime=12.47 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 69206 0 0 0 1241 6 0 0 20 0 3 0 194895556 209870848 33392 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=204952 memory=11648 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 194895557 209870848 33392 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 133568 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.15 4.10 5/262 1032002
/proc/meminfo: memFree=126139952/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=204952 memory=153768 CPUtime=25.41 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 126552 0 0 0 2529 12 0 0 20 0 3 0 194895539 209870848 38442 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 51238 38442 2990 3032 0 44021 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=204952 memory=0 CPUtime=25.23 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 118644 0 0 0 2513 10 0 0 20 0 3 0 194895556 209870848 38442 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=204952 memory=153768 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 194895557 209870848 38442 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 153768 KiB
[startup+51.1053 s]
/proc/loadavg: 4.36 4.18 4.11 5/262 1032006
/proc/meminfo: memFree=126105820/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=270488 memory=182888 CPUtime=50.95 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 217472 0 0 0 5075 20 0 0 20 0 3 0 194895539 276979712 45722 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 67622 45722 2990 3032 0 52031 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=270488 memory=182888 CPUtime=50.78 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 209454 0 0 0 5059 19 0 0 20 0 3 0 194895556 276979712 45722 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=270488 memory=178964 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 194895557 276979712 45722 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 270488 KiB
Current children cumulated memory: 182888 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/263 1032016
/proc/meminfo: memFree=126056004/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=276888 memory=203212 CPUtime=102.02 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 299243 0 0 0 10172 30 0 0 20 0 3 0 194895539 283533312 50803 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 69222 50803 2990 3032 0 55893 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=276888 memory=0 CPUtime=101.84 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 291145 0 0 0 10156 28 0 0 20 0 3 0 194895556 283533312 50803 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=276888 memory=192520 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 194895557 283533312 50803 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 276888 KiB
Current children cumulated memory: 203212 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/263 1032029
/proc/meminfo: memFree=126036992/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=283020 memory=212116 CPUtime=161.86 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 349896 0 0 0 16150 36 0 0 20 0 3 0 194895539 289812480 53029 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 70755 53029 2990 3032 0 58207 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=283020 memory=46060 CPUtime=161.68 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 341738 0 0 0 16134 34 0 0 20 0 3 0 194895556 289812480 53029 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=283020 memory=211836 CPUtime=0 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 194895557 289812480 53029 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 283020 KiB
Current children cumulated memory: 212116 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/263 1032040
################
# More data... #
################
/proc/1031996/statm: 92296 70599 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=282396 CPUtime=1538.02 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 561385 0 0 0 153693 109 0 0 20 0 3 0 194895556 378044416 70599 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=11648 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 82 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70599 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1538.29 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282396 KiB
[startup+1602.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 1032908
/proc/meminfo: memFree=125832664/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282504 CPUtime=1598.14 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 571773 0 0 0 159696 118 0 0 20 0 3 0 194895539 378044416 70626 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70626 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=282396 CPUtime=1597.85 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 563119 0 0 0 159673 112 0 0 20 0 3 0 194895556 378044416 70626 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=-6736959280705801323 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 84 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70626 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1598.14 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282504 KiB
[startup+1662.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/266 1032920
/proc/meminfo: memFree=125831864/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282576 CPUtime=1657.98 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 573471 0 0 0 165678 120 0 0 20 0 3 0 194895539 378044416 70644 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70644 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=282396 CPUtime=1657.7 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 564797 0 0 0 165655 115 0 0 20 0 3 0 194895556 378044416 70644 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=282576 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 86 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70644 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1657.98 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282576 KiB
[startup+1703.27 s]
# the end of solver process 1031996 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1697.62 s, system=1.23877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 4.19 4.12 4.10 5/266 1032920
/proc/meminfo: memFree=125831872/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282576 CPUtime=1659.68 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 573473 0 0 0 165847 121 0 0 20 0 3 0 194895539 378044416 70644 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70644 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=-6736959280705801323 CPUtime=1659.4 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 564799 0 0 0 165825 115 0 0 20 0 3 0 194895556 378044416 70644 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=-6933350163988323526 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 86 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70644 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1659.68 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282576 KiB
[startup+1689.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 1032926
/proc/meminfo: memFree=125831364/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282588 CPUtime=1685.21 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 573666 0 0 0 168399 122 0 0 20 0 3 0 194895539 378044416 70647 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70647 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=282528 CPUtime=1684.92 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 564988 0 0 0 168376 116 0 0 20 0 3 0 194895556 378044416 70647 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=282568 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70647 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1685.21 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282588 KiB
[startup+1696 s]*
/proc/loadavg: 4.19 4.12 4.10 5/266 1032926
/proc/meminfo: memFree=125831380/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282588 CPUtime=1691.6 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 573673 0 0 0 169037 123 0 0 20 0 3 0 194895539 378044416 70647 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70647 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=-6736959280705801323 CPUtime=1691.31 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 564995 0 0 0 169014 117 0 0 20 0 3 0 194895556 378044416 70647 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=-9187040412066217411 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70647 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1691.6 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282588 KiB
[startup+1699.2 s]
/proc/loadavg: 4.19 4.12 4.10 5/266 1032928
/proc/meminfo: memFree=125831324/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282600 CPUtime=1694.79 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 574387 0 0 0 169356 123 0 0 20 0 3 0 194895539 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70650 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=46416 CPUtime=1694.5 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 565700 0 0 0 169333 117 0 0 20 0 3 0 194895556 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=12952 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1694.79 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282600 KiB
[startup+1700.8 s]
/proc/loadavg: 4.17 4.12 4.10 5/266 1032928
/proc/meminfo: memFree=125831352/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282600 CPUtime=1696.39 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 574435 0 0 0 169516 123 0 0 20 0 3 0 194895539 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70650 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=46416 CPUtime=1696.1 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 565739 0 0 0 169493 117 0 0 20 0 3 0 194895556 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=12952 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1696.39 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282600 KiB
[startup+1702.4 s]
/proc/loadavg: 4.17 4.12 4.10 5/266 1032928
/proc/meminfo: memFree=125831352/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282600 CPUtime=1697.98 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 574446 0 0 0 169675 123 0 0 20 0 3 0 194895539 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70650 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=282576 CPUtime=1697.69 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 565750 0 0 0 169652 117 0 0 20 0 3 0 194895556 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=282588 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1697.98 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282600 KiB
[startup+1702.8 s]
/proc/loadavg: 4.17 4.12 4.10 5/266 1032928
/proc/meminfo: memFree=125831352/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282600 CPUtime=1698.38 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 574448 0 0 0 169715 123 0 0 20 0 3 0 194895539 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70650 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=11648 CPUtime=1698.09 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 565752 0 0 0 169692 117 0 0 20 0 3 0 194895556 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=46416 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1698.38 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282600 KiB
[startup+1703.2 s]
/proc/loadavg: 4.17 4.12 4.10 5/266 1032928
/proc/meminfo: memFree=125831356/131524600 swapFree=131070704/131071996
[pid=1031996] ppid=1031993 vsize=369184 memory=282600 CPUtime=1698.78 cores=4,6
/proc/1031996/stat : 1031996 (fscip) S 1031993 1031996 1028650 0 -1 1077936128 574452 0 0 0 169755 123 0 0 20 0 3 0 194895539 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
/proc/1031996/statm: 92296 70650 2990 3032 0 73969 0
[pid=1031996/tid=1031998] ppid=1031993 vsize=369184 memory=282568 CPUtime=1698.49 cores=4,6
/proc/1031996/task/1031998/stat : 1031998 (fscip) R 1031993 1031996 1028650 0 -1 4194368 565756 0 0 0 169732 117 0 0 20 0 3 0 194895556 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
[pid=1031996/tid=1031999] ppid=1031993 vsize=369184 memory=282600 CPUtime=0.01 cores=4,6
/proc/1031996/task/1031999/stat : 1031999 (fscip) S 1031993 1031996 1028650 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 194895557 378044416 70650 134679101440 4194304 16613245 140736073284976 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34607104 140736073290771 140736073290887 140736073290887 140736073297904 0
Current children cumulated CPU time: 1698.78 s
Current children cumulated vsize: 369184 KiB
Current children cumulated memory: 282600 KiB
Child status: 0
Real time (s): 1703.27
CPU time (s): 1698.85
CPU user time (s): 1697.62
CPU system time (s): 1.23877
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 369184
Max. memory (cumulated for all children) (KiB): 282600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.62
system time used= 1.23877
maximum resident set size= 282600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575921
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= 5116
involuntary context switches= 1373
# summary of solver processes directly reported to runsolver:
# pid: 1031996
# total CPU time (s): 1698.85
# total CPU user time (s): 1697.62
# total CPU system time (s): 1.23877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.52869 second user time and 7.71527 second system time
The end
Begin job on nodeC023 at 2024-07-20 00:15:18
IDJOB=4452040
IDBENCH=162873
IDSOLVER=3064
FILE ID=nodeC023/4452040-1721427306
RUNJOBID= nodeC023-1721423005-1028661
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4452040-1721427306/watcher-4452040-1721427306 -o /tmp/evaluation-result-4452040-1721427306/solver-4452040-1721427306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028661 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452040-1721427306.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9c3493a278c61b5f4e5e80a3fb48e99
RANDOM SEED=2124003329
nodeC023.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.353
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.661
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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.054
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.205
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3671.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.646
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3665.014
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126288640 kB
MemAvailable: 128457860 kB
Buffers: 563240 kB
Cached: 2442244 kB
SwapCached: 80 kB
Active: 1195676 kB
Inactive: 3469900 kB
Active(anon): 1580 kB
Inactive(anon): 1704220 kB
Active(file): 1194096 kB
Inactive(file): 1765680 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 28232 kB
Writeback: 32 kB
AnonPages: 1660016 kB
Mapped: 141800 kB
Shmem: 45728 kB
KReclaimable: 98532 kB
Slab: 192292 kB
SReclaimable: 98532 kB
SUnreclaim: 93760 kB
KernelStack: 4096 kB
PageTables: 12468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1196000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1200128 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-20 00:43:42