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.05 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 61349888, getVmSize() = 61349888, SCIPgetMemUsed() = 33830466, SCIPgetMemTotal() = 38354362, SCIPgetMemExternEstim() = 22254117
0.00/0.06 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.19/0.30 c ** Estimated virtualMemUsedAtSolver = 82778432, getVmSize() = 127221760, SCIPgetMemUsed() = 76554811, SCIPgetMemTotal() = 101913531, SCIPgetMemExternEstim() = 22254117
0.19/0.30 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.19/0.30 c Original Problem :
0.19/0.30 c Problem name : instance-4448330-1721364836
0.19/0.30 c Variables : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.30 c Constraints : 16786
0.19/0.30 c Objective sense : minimize
0.19/0.30 c Presolved Problem :
0.19/0.30 c Variables : 7045 (7045 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.30 c Constraints : 10334
0.19/0.30 c Constraints : Number
0.19/0.30 c setppc : 10333
0.19/0.30 c orbitope : 1
0.19/0.30 c ** Instance transfer method used: 0
0.29/0.32 c ** ParaScipInstance copy increased the number of variables. **
0.29/0.34 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.34 c Nodes Active
0.29/0.34 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.95/8.06 c 8 2 1 1 - 0.0000 -
13.43/13.53 c 14 22 21 1 - 0.0000 -
22.60/22.78 c 23 24 23 1 - 0.0000 -
28.69/28.83 c 29 38 37 1 - 0.0000 -
33.77/33.90 c 34 52 51 1 - 0.0000 -
39.06/39.28 c 39 144 112 1 - 0.0000 -
44.14/44.37 c 44 357 118 1 - 0.0000 -
49.43/49.60 c 50 588 122 1 - 0.0000 -
54.92/55.10 c 55 785 117 1 - 0.0000 -
60.69/60.97 c 61 952 147 1 - 0.0000 -
65.79/66.09 c 66 1141 138 1 - 0.0000 -
70.88/71.16 c 71 1381 116 1 - 0.0000 -
76.65/76.92 c 77 1563 116 1 - 0.0000 -
82.04/82.31 c 82 1801 117 1 - 0.0000 -
87.13/87.44 c 87 1970 119 1 - 0.0000 -
92.20/92.51 c 93 2190 103 1 - 0.0000 -
101.79/102.11 c 102 2300 1 1 - 0.0000 -
107.47/107.87 c 108 2383 32 1 - 0.0000 -
112.85/113.25 c 113 2473 31 1 - 0.0000 -
118.13/118.51 c 119 2555 37 1 - 0.0000 -
123.32/123.76 c 124 2614 34 1 - 0.0000 -
129.00/129.48 c 129 2736 41 1 - 0.0000 -
134.39/134.81 c 135 2880 43 1 - 0.0000 -
139.37/139.87 c 140 3060 40 1 - 0.0000 -
144.95/145.42 c 145 3162 47 1 - 0.0000 -
150.64/151.17 c 151 3290 47 1 - 0.0000 -
156.22/156.71 c 157 3413 50 1 - 0.0000 -
161.31/161.82 c 162 3623 52 1 - 0.0000 -
166.39/166.93 c 167 3829 45 1 - 0.0000 -
171.68/172.26 c 172 3958 50 1 - 0.0000 -
176.86/177.42 c 177 4141 48 1 - 0.0000 -
182.24/182.83 c 183 4223 47 1 - 0.0000 -
188.03/188.65 c 189 4320 65 1 - 0.0000 -
193.11/193.75 c 194 4504 57 1 - 0.0000 -
198.19/198.81 c 199 4740 54 1 - 0.0000 -
203.28/203.95 c 204 4952 50 1 - 0.0000 -
208.77/209.49 c 210 5180 43 1 - 0.0000 -
214.46/215.13 c 215 5294 53 1 - 0.0000 -
219.83/220.53 c 221 5455 46 1 - 0.0000 -
224.81/225.54 c 226 5593 42 1 - 0.0000 -
230.80/231.53 c 232 5717 42 1 - 0.0000 -
235.88/236.66 c 237 5887 47 1 - 0.0000 -
240.96/241.75 c 242 6084 42 1 - 0.0000 -
246.75/247.56 c 248 6230 47 1 - 0.0000 -
251.84/252.60 c 253 6392 49 1 - 0.0000 -
257.02/257.82 c 258 6592 48 1 - 0.0000 -
262.10/262.90 c 263 6833 43 1 - 0.0000 -
267.68/268.56 c 269 7032 47 1 - 0.0000 -
273.67/274.50 c 275 7289 52 1 - 0.0000 -
278.86/279.77 c 280 7436 43 1 - 0.0000 -
283.94/284.88 c 285 7614 40 1 - 0.0000 -
289.13/290.08 c 290 7750 36 1 - 0.0000 -
303.68/304.69 c 305 7842 38 1 - 0.0000 -
308.87/309.89 c 310 7975 32 1 - 0.0000 -
314.06/315.04 c 315 8092 40 1 - 0.0000 -
319.54/320.51 c 321 8214 31 1 - 0.0000 -
324.82/325.80 c 326 8301 33 1 - 0.0000 -
330.22/331.25 c 331 8426 38 1 - 0.0000 -
336.00/337.03 c 337 8545 40 1 - 0.0000 -
341.18/342.29 c 342 8714 48 1 - 0.0000 -
346.46/347.55 c 348 8950 44 1 - 0.0000 -
351.65/352.72 c 353 9192 39 1 - 0.0000 -
356.74/357.80 c 358 9469 29 1 - 0.0000 -
361.93/363.03 c 363 9557 28 1 - 0.0000 -
367.11/368.30 c 368 9643 33 1 - 0.0000 -
373.09/374.24 c 374 9793 41 1 - 0.0000 -
378.18/379.36 c 379 10018 27 1 - 0.0000 -
383.47/384.64 c 385 10097 23 1 - 0.0000 -
388.85/390.01 c 390 10204 25 1 - 0.0000 -
394.24/395.47 c 395 10284 30 1 - 0.0000 -
399.43/400.60 c 401 10464 36 1 - 0.0000 -
404.51/405.79 c 406 10630 39 1 - 0.0000 -
409.80/411.05 c 411 10882 36 1 - 0.0000 -
415.08/416.39 c 416 11088 33 1 - 0.0000 -
420.37/421.66 c 422 11331 31 1 - 0.0000 -
425.45/426.79 c 427 11587 22 1 - 0.0000 -
431.04/432.38 c 432 11732 29 1 - 0.0000 -
436.52/437.87 c 438 11897 32 1 - 0.0000 -
441.61/442.96 c 443 12013 36 1 - 0.0000 -
446.70/448.07 c 448 12097 37 1 - 0.0000 -
451.97/453.32 c 453 12273 27 1 - 0.0000 -
457.07/458.50 c 458 12444 32 1 - 0.0000 -
462.15/463.59 c 464 12661 30 1 - 0.0000 -
467.44/468.89 c 469 12851 26 1 - 0.0000 -
472.63/474.07 c 474 12922 32 1 - 0.0000 -
479.31/480.73 c 481 12982 38 1 - 0.0000 -
484.49/485.90 c 486 13067 41 1 - 0.0000 -
489.58/491.09 c 491 13160 37 1 - 0.0000 -
495.96/497.49 c 497 13230 38 1 - 0.0000 -
501.34/502.84 c 503 13340 37 1 - 0.0000 -
507.23/508.71 c 509 13472 36 1 - 0.0000 -
512.52/514.03 c 514 13641 39 1 - 0.0000 -
517.70/519.27 c 519 13806 32 1 - 0.0000 -
522.78/524.31 c 524 13862 40 1 - 0.0000 -
528.27/529.84 c 530 14020 44 1 - 0.0000 -
533.36/534.98 c 535 14193 50 1 - 0.0000 -
538.64/540.20 c 540 14481 41 1 - 0.0000 -
543.73/545.36 c 545 14649 36 1 - 0.0000 -
549.11/550.77 c 551 14763 37 1 - 0.0000 -
554.20/555.85 c 556 14853 49 1 - 0.0000 -
559.78/561.49 c 562 14979 47 1 - 0.0000 -
565.17/566.87 c 567 15112 45 1 - 0.0000 -
570.55/572.21 c 572 15243 39 1 - 0.0000 -
575.93/577.61 c 578 15403 44 1 - 0.0000 -
580.92/582.69 c 583 15595 39 1 - 0.0000 -
586.31/588.04 c 588 15667 44 1 - 0.0000 -
591.59/593.34 c 593 15736 44 1 - 0.0000 -
597.17/598.92 c 599 15818 43 1 - 0.0000 -
603.45/605.23 c 605 15901 39 1 - 0.0000 -
608.83/610.64 c 611 16024 38 1 - 0.0000 -
614.22/616.10 c 616 16160 46 1 - 0.0000 -
619.40/621.25 c 621 16334 42 1 - 0.0000 -
624.58/626.47 c 626 16552 36 1 - 0.0000 -
629.96/631.84 c 632 16696 41 1 - 0.0000 -
635.74/637.61 c 638 16878 35 1 - 0.0000 -
641.12/643.07 c 643 16994 35 1 - 0.0000 -
646.90/648.86 c 649 17192 36 1 - 0.0000 -
651.98/653.93 c 654 17367 27 1 - 0.0000 -
656.97/658.95 c 659 17484 23 1 - 0.0000 -
662.36/664.33 c 664 17531 21 1 - 0.0000 -
667.45/669.47 c 669 17634 27 1 - 0.0000 -
673.92/675.95 c 676 17742 31 1 - 0.0000 -
679.81/681.87 c 682 17920 31 1 - 0.0000 -
684.90/686.94 c 687 18043 29 1 - 0.0000 -
690.69/692.70 c 693 18207 29 1 - 0.0000 -
696.57/698.61 c 699 18332 35 1 - 0.0000 -
701.75/703.88 c 704 18570 30 1 - 0.0000 -
706.84/708.95 c 709 18792 23 1 - 0.0000 -
712.03/714.12 c 714 18952 26 1 - 0.0000 -
717.31/719.45 c 719 19119 22 1 - 0.0000 -
723.40/725.56 c 726 19232 22 1 - 0.0000 -
729.58/731.74 c 732 19322 29 1 - 0.0000 -
735.36/737.54 c 738 19462 29 1 - 0.0000 -
740.55/742.71 c 743 19610 27 1 - 0.0000 -
745.74/747.93 c 748 19730 24 1 - 0.0000 -
750.83/753.06 c 753 19872 27 1 - 0.0000 -
757.41/759.63 c 760 20031 21 1 - 0.0000 -
762.80/765.09 c 765 20192 27 1 - 0.0000 -
768.08/770.37 c 770 20364 22 1 - 0.0000 -
773.77/776.06 c 776 20505 31 1 - 0.0000 -
780.85/783.17 c 783 20622 25 1 - 0.0000 -
786.43/788.72 c 789 20706 32 1 - 0.0000 -
791.41/793.75 c 794 20812 34 1 - 0.0000 -
797.39/799.71 c 800 20920 37 1 - 0.0000 -
803.09/805.41 c 805 21002 50 1 - 0.0000 -
808.68/811.04 c 811 21172 51 1 - 0.0000 -
814.36/816.74 c 817 21312 47 1 - 0.0000 -
819.75/822.17 c 822 21452 46 1 - 0.0000 -
825.02/827.49 c 828 21604 54 1 - 0.0000 -
830.21/832.63 c 833 21788 55 1 - 0.0000 -
835.29/837.74 c 838 21956 48 1 - 0.0000 -
840.49/842.98 c 843 22108 44 1 - 0.0000 -
846.27/848.75 c 849 22304 38 1 - 0.0000 -
851.35/853.89 c 854 22461 45 1 - 0.0000 -
856.54/859.07 c 859 22616 43 1 - 0.0000 -
862.72/865.20 c 865 22782 42 1 - 0.0000 -
867.90/870.49 c 870 22945 37 1 - 0.0000 -
873.39/875.91 c 876 23097 33 1 - 0.0000 -
879.08/881.64 c 882 23231 32 1 - 0.0000 -
884.36/886.90 c 887 23361 30 1 - 0.0000 -
889.55/892.16 c 892 23551 23 1 - 0.0000 -
894.63/897.24 c 897 23731 26 1 - 0.0000 -
899.92/902.52 c 903 23927 24 1 - 0.0000 -
905.11/907.73 c 908 24065 22 1 - 0.0000 -
910.50/913.16 c 913 24171 24 1 - 0.0000 -
916.38/919.03 c 919 24269 21 1 - 0.0000 -
921.76/924.44 c 924 24380 24 1 - 0.0000 -
927.14/929.83 c 930 24523 26 1 - 0.0000 -
932.53/935.24 c 935 24677 44 1 - 0.0000 -
938.02/940.77 c 941 24883 51 1 - 0.0000 -
943.80/946.50 c 947 25055 52 1 - 0.0000 -
948.89/951.66 c 952 25237 43 1 - 0.0000 -
954.28/957.07 c 957 25473 40 1 - 0.0000 -
959.66/962.42 c 962 25721 27 1 - 0.0000 -
986.69/989.53 c 990 25902 21 1 - 0.0000 -
992.47/995.34 c 995 26024 27 1 - 0.0000 -
997.95/1000.85 c 1001 26205 37 1 - 0.0000 -
1003.03/1005.94 c 1006 26392 25 1 - 0.0000 -
1008.72/1011.65 c 1012 26524 30 1 - 0.0000 -
1014.00/1016.95 c 1017 26766 22 1 - 0.0000 -
1019.09/1022.02 c 1022 26951 23 1 - 0.0000 -
1024.17/1027.17 c 1027 27102 27 1 - 0.0000 -
1029.24/1032.24 c 1032 27310 33 1 - 0.0000 -
1034.53/1037.52 c 1038 27505 29 1 - 0.0000 -
1040.11/1043.15 c 1043 27666 32 1 - 0.0000 -
1045.39/1048.49 c 1048 27867 23 1 - 0.0000 -
1050.88/1053.90 c 1054 28070 19 1 - 0.0000 -
1056.75/1059.82 c 1060 28187 37 1 - 0.0000 -
1061.83/1064.98 c 1065 28356 14 1 - 0.0000 -
1067.02/1070.11 c 1070 28601 18 1 - 0.0000 -
1072.80/1075.91 c 1076 28761 23 1 - 0.0000 -
1078.38/1081.51 c 1082 28946 16 1 - 0.0000 -
1084.26/1087.40 c 1087 29112 19 1 - 0.0000 -
1089.34/1092.56 c 1093 29163 13 1 - 0.0000 -
1094.83/1098.09 c 1098 29380 14 1 - 0.0000 -
1100.81/1104.07 c 1104 29525 14 1 - 0.0000 -
1106.09/1109.36 c 1109 29762 15 1 - 0.0000 -
1111.37/1114.69 c 1115 29912 14 1 - 0.0000 -
1116.76/1120.08 c 1120 29981 17 1 - 0.0000 -
1122.14/1125.43 c 1125 30032 17 1 - 0.0000 -
1127.33/1130.67 c 1131 30098 14 1 - 0.0000 -
1132.62/1135.92 c 1136 30170 12 1 - 0.0000 -
1137.71/1141.04 c 1141 30276 12 1 - 0.0000 -
1142.99/1146.34 c 1146 30421 10 1 - 0.0000 -
1148.18/1151.57 c 1152 30562 14 1 - 0.0000 -
1153.76/1157.18 c 1157 30717 16 1 - 0.0000 -
1159.04/1162.49 c 1162 30906 11 1 - 0.0000 -
1164.43/1167.81 c 1168 30994 10 1 - 0.0000 -
1169.91/1173.33 c 1173 31067 12 1 - 0.0000 -
1175.10/1178.58 c 1179 31169 11 1 - 0.0000 -
1180.48/1183.91 c 1184 31288 10 1 - 0.0000 -
1187.25/1190.74 c 1191 31432 14 1 - 0.0000 -
1192.54/1196.04 c 1196 31606 14 1 - 0.0000 -
1198.12/1201.60 c 1202 31731 19 1 - 0.0000 -
1203.42/1206.98 c 1207 31907 20 1 - 0.0000 -
1209.30/1212.82 c 1213 32123 16 1 - 0.0000 -
1214.78/1218.32 c 1218 32292 18 1 - 0.0000 -
1219.77/1223.36 c 1223 32419 19 1 - 0.0000 -
1224.85/1228.41 c 1228 32628 17 1 - 0.0000 -
1230.73/1234.37 c 1234 32795 20 1 - 0.0000 -
1235.92/1239.53 c 1240 33086 14 1 - 0.0000 -
1241.31/1244.95 c 1245 33301 19 1 - 0.0000 -
1246.39/1250.09 c 1250 33505 17 1 - 0.0000 -
1251.58/1255.25 c 1255 33657 25 1 - 0.0000 -
1256.76/1260.45 c 1260 33844 14 1 - 0.0000 -
1262.65/1266.33 c 1266 34092 13 1 - 0.0000 -
1267.93/1271.68 c 1272 34262 15 1 - 0.0000 -
1274.32/1278.03 c 1278 34438 24 1 - 0.0000 -
1279.41/1283.19 c 1283 34628 17 1 - 0.0000 -
1284.49/1288.26 c 1288 34829 25 1 - 0.0000 -
1289.57/1293.33 c 1293 35014 21 1 - 0.0000 -
1295.27/1299.08 c 1299 35179 14 1 - 0.0000 -
1301.04/1304.85 c 1305 35370 9 1 - 0.0000 -
1307.02/1310.89 c 1311 35513 12 1 - 0.0000 -
1313.80/1317.60 c 1318 35662 12 1 - 0.0000 -
1319.68/1323.51 c 1324 35780 15 1 - 0.0000 -
1325.66/1329.54 c 1330 35869 11 1 - 0.0000 -
1331.44/1335.33 c 1335 36051 11 1 - 0.0000 -
1337.22/1341.13 c 1341 36226 17 1 - 0.0000 -
1342.59/1346.56 c 1347 36391 11 1 - 0.0000 -
1348.09/1352.07 c 1352 36572 9 1 - 0.0000 -
1354.36/1358.36 c 1358 36672 9 1 - 0.0000 -
1359.65/1363.69 c 1364 36780 8 1 - 0.0000 -
1365.14/1369.16 c 1369 36894 6 1 - 0.0000 -
1370.51/1374.55 c 1375 37010 12 1 - 0.0000 -
1375.60/1379.62 c 1380 37160 12 1 - 0.0000 -
1380.79/1384.87 c 1385 37365 8 1 - 0.0000 -
1386.08/1390.12 c 1390 37560 13 1 - 0.0000 -
1391.16/1395.29 c 1395 37715 14 1 - 0.0000 -
1403.63/1407.75 c 1408 37792 21 1 - 0.0000 -
1409.41/1413.57 c 1414 37853 38 1 - 0.0000 -
1414.50/1418.64 c 1419 38040 40 1 - 0.0000 -
1420.08/1424.22 c 1424 38193 35 1 - 0.0000 -
1425.27/1429.49 c 1430 38386 31 1 - 0.0000 -
1430.96/1435.16 c 1435 38529 38 1 - 0.0000 -
1436.44/1440.61 c 1441 38665 34 1 - 0.0000 -
1441.93/1446.11 c 1446 38800 35 1 - 0.0000 -
1447.01/1451.22 c 1451 38963 25 1 - 0.0000 -
1452.20/1456.48 c 1456 39048 37 1 - 0.0000 -
1457.79/1462.06 c 1462 39127 42 1 - 0.0000 -
1462.87/1467.14 c 1467 39288 39 1 - 0.0000 -
1468.15/1472.43 c 1472 39420 27 1 - 0.0000 -
1473.54/1477.80 c 1478 39557 22 1 - 0.0000 -
1478.63/1482.91 c 1483 39677 26 1 - 0.0000 -
1484.01/1488.36 c 1488 39818 14 1 - 0.0000 -
1489.70/1494.04 c 1494 39970 12 1 - 0.0000 -
1495.08/1499.44 c 1499 40084 22 1 - 0.0000 -
1500.56/1504.96 c 1505 40207 20 1 - 0.0000 -
1506.05/1510.48 c 1510 40319 25 1 - 0.0000 -
1511.53/1515.92 c 1516 40502 28 1 - 0.0000 -
1517.31/1521.77 c 1522 40666 21 1 - 0.0000 -
1522.61/1527.06 c 1527 40905 6 1 - 0.0000 -
1528.98/1533.48 c 1533 41010 19 1 - 0.0000 -
1534.67/1539.19 c 1539 41212 11 1 - 0.0000 -
1540.34/1544.86 c 1545 41375 19 1 - 0.0000 -
1545.43/1549.93 c 1550 41552 20 1 - 0.0000 -
1550.62/1555.15 c 1555 41777 21 1 - 0.0000 -
1555.91/1560.45 c 1560 41912 16 1 - 0.0000 -
1560.99/1565.51 c 1566 42092 11 1 - 0.0000 -
1566.38/1570.99 c 1571 42222 17 1 - 0.0000 -
1571.76/1576.35 c 1576 42394 27 1 - 0.0000 -
1577.05/1581.61 c 1582 42577 19 1 - 0.0000 -
1582.23/1586.85 c 1587 42742 18 1 - 0.0000 -
1587.32/1591.95 c 1592 42894 20 1 - 0.0000 -
1592.70/1597.32 c 1597 42972 21 1 - 0.0000 -
1597.98/1602.63 c 1603 43176 16 1 - 0.0000 -
1603.07/1607.77 c 1608 43362 18 1 - 0.0000 -
1608.25/1612.92 c 1613 43530 17 1 - 0.0000 -
1613.74/1618.42 c 1618 43727 16 1 - 0.0000 -
1619.02/1623.73 c 1624 43890 20 1 - 0.0000 -
1624.11/1628.86 c 1629 44057 17 1 - 0.0000 -
1629.19/1633.95 c 1634 44196 17 1 - 0.0000 -
1634.29/1639.09 c 1639 44384 31 1 - 0.0000 -
1639.47/1644.23 c 1644 44643 12 1 - 0.0000 -
1645.16/1649.94 c 1650 44796 12 1 - 0.0000 -
1650.44/1655.21 c 1655 44902 12 1 - 0.0000 -
1656.43/1661.24 c 1661 44996 10 1 - 0.0000 -
1661.91/1666.71 c 1667 45139 11 1 - 0.0000 -
1667.10/1671.91 c 1672 45226 17 1 - 0.0000 -
1672.19/1677.03 c 1677 45435 11 1 - 0.0000 -
1677.87/1682.75 c 1683 45582 14 1 - 0.0000 -
1683.16/1688.06 c 1688 45755 11 1 - 0.0000 -
1688.34/1693.23 c 1693 45932 10 1 - 0.0000 -
1693.52/1698.45 c 1698 46077 11 1 - 0.0000 -
1698.71/1703.61 c 1704 46214 22 1 - 0.0000 -
1704.50/1709.46 c 1709 46322 19 1 - 0.0000 -
1710.58/1715.51 c 1716 46382 19 1 - 0.0000 -
1715.86/1720.80 c 1721 46568 16 1 - 0.0000 -
1721.05/1726.01 c 1726 46682 17 1 - 0.0000 -
1726.24/1731.24 c 1731 46843 8 1 - 0.0000 -
1731.32/1736.39 c 1736 47003 12 1 - 0.0000 -
1736.70/1741.78 c 1742 47160 11 1 - 0.0000 -
1742.28/1747.31 c 1747 47304 16 1 - 0.0000 -
1747.38/1752.42 c 1752 47468 12 1 - 0.0000 -
1752.46/1757.54 c 1758 47610 12 1 - 0.0000 -
1757.55/1762.66 c 1763 47792 14 1 - 0.0000 -
1763.23/1768.31 c 1768 47972 15 1 - 0.0000 -
1768.52/1773.61 c 1774 48150 14 1 - 0.0000 -
1774.40/1779.51 c 1780 48373 9 1 - 0.0000 -
1779.59/1784.77 c 1785 48567 15 1 - 0.0000 -
1785.47/1790.62 c 1791 48766 13 1 - 0.0000 -
1791.06/1796.26 c 1796 48969 13 1 - 0.0000 -
1796.44/1801.61 c 1802 49116 14 1 - 0.0000 -
1801.82/1807.06 c 1807 49233 15 1 - 0.0000 -
1806.91/1812.12 c 1812 49425 15 1 - 0.0000 -
1812.28/1817.52 c 1818 49595 15 1 - 0.0000 -
1819.36/1824.63 c 1825 49702 23 1 - 0.0000 -
1824.84/1830.16 c 1830 49875 14 1 - 0.0000 -
1829.92/1835.23 c 1835 50085 16 1 - 0.0000 -
1835.20/1840.54 c 1841 50246 16 1 - 0.0000 -
1840.28/1845.61 c 1846 50420 21 1 - 0.0000 -
1845.57/1850.91 c 1851 50589 15 1 - 0.0000 -
1851.05/1856.45 c 1856 50769 18 1 - 0.0000 -
1856.63/1862.02 c 1862 50898 14 1 - 0.0000 -
1861.81/1867.20 c 1867 51156 19 1 - 0.0000 -
1866.90/1872.38 c 1872 51352 22 1 - 0.0000 -
1871.99/1877.47 c 1877 51558 24 1 - 0.0000 -
1877.28/1882.71 c 1883 51779 23 1 - 0.0000 -
1882.36/1887.82 c 1888 51975 26 1 - 0.0000 -
1887.55/1893.01 c 1893 52196 22 1 - 0.0000 -
1893.03/1898.50 c 1898 52342 22 1 - 0.0000 -
1898.11/1903.61 c 1904 52526 21 1 - 0.0000 -
1903.20/1908.72 c 1909 52691 18 1 - 0.0000 -
1908.19/1913.79 c 1914 52867 11 1 - 0.0000 -
1913.67/1919.29 c 1919 52974 15 1 - 0.0000 -
1919.46/1925.06 c 1925 53094 17 1 - 0.0000 -
1924.55/1930.16 c 1930 53268 15 1 - 0.0000 -
1930.53/1936.15 c 1936 53343 17 1 - 0.0000 -
1936.31/1941.96 c 1942 53432 14 1 - 0.0000 -
1941.50/1947.18 c 1947 53580 16 1 - 0.0000 -
1948.38/1954.05 c 1954 53712 18 1 - 0.0000 -
1954.06/1959.73 c 1960 53858 20 1 - 0.0000 -
1959.15/1964.80 c 1965 54045 18 1 - 0.0000 -
1964.44/1970.14 c 1970 54205 15 1 - 0.0000 -
1969.43/1975.20 c 1975 54373 12 1 - 0.0000 -
1974.61/1980.33 c 1980 54586 16 1 - 0.0000 -
1979.90/1985.67 c 1986 54796 13 1 - 0.0000 -
1985.08/1990.80 c 1991 54972 11 1 - 0.0000 -
1990.77/1996.57 c 1997 55075 20 1 - 0.0000 -
1995.95/2001.70 c 2002 55305 16 1 - 0.0000 -
2001.04/2006.80 c 2007 55486 13 1 - 0.0000 -
2006.02/2011.88 c 2012 55702 15 1 - 0.0000 -
2011.41/2017.24 c 2017 55929 9 1 - 0.0000 -
2016.89/2022.74 c 2023 56037 15 1 - 0.0000 -
2021.98/2027.86 c 2028 56178 14 1 - 0.0000 -
2028.66/2034.50 c 2034 56272 10 1 - 0.0000 -
2034.15/2040.02 c 2040 56416 9 1 - 0.0000 -
2039.73/2045.69 c 2046 56600 15 1 - 0.0000 -
2045.01/2050.90 c 2051 56767 10 1 - 0.0000 -
2050.21/2056.10 c 2056 56969 8 1 - 0.0000 -
2055.29/2061.21 c 2061 57102 8 1 - 0.0000 -
2061.08/2067.09 c 2067 57225 9 1 - 0.0000 -
2072.54/2078.52 c 2079 57265 13 1 - 0.0000 -
2078.22/2084.21 c 2084 57449 9 1 - 0.0000 -
2083.50/2089.59 c 2090 57625 8 1 - 0.0000 -
2088.88/2094.99 c 2095 57818 9 1 - 0.0000 -
2091.57/2097.62 c 2098 57988 0 0 - 0.0000 -
2091.57/2097.69 c 2098 57988 0 0 - 0.0000 -
2091.57/2097.69 c SCIP Status : c problem is solved [infeasible]
2091.57/2097.69 c Total Time : 2097.6900
2091.57/2097.69 c solving : 2097.6900
2091.57/2097.69 c presolving : 0.2483 (included in solving)
2091.57/2097.69 c B&B Tree :
2091.57/2097.69 c nodes (total) : 57988
2091.57/2097.69 c Solution :
2091.57/2097.69 c Solutions found : 0
2091.57/2097.69 c Primal Bound : -
2091.57/2097.69 c Dual Bound : -
2091.57/2097.69 c Gap : -
2091.57/2097.70 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (57589 MiB free)
memory of node 1: 64510 MiB (62929 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448330-1721364836/watcher-4448330-1721364836 -o /tmp/evaluation-result-4448330-1721364836/solver-4448330-1721364836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011504 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448330-1721364836.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1013588, runsolver pid=1013585
[startup+0.100407 s]*
/proc/loadavg: 4.49 4.36 4.17 5/262 1013589
/proc/meminfo: memFree=123368900/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=75396 memory=64056 CPUtime=0.09 cores=1,3
/proc/1013588/stat : 1013588 (fscip) R 1013585 1013588 1011492 0 -1 4194304 14846 0 0 0 8 1 0 0 20 0 1 0 188647731 77205504 16014 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 18849 16014 2638 3032 0 15249 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75396 KiB
Current children cumulated memory: 64056 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.49 4.36 4.17 5/262 1013589
/proc/meminfo: memFree=123395752/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=68916 memory=57960 CPUtime=0.19 cores=1,3
/proc/1013588/stat : 1013588 (fscip) R 1013585 1013588 1011492 0 -1 4194304 14978 0 0 0 18 1 0 0 20 0 1 0 188647731 70569984 14490 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 17229 14490 2670 3032 0 13629 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68916 KiB
Current children cumulated memory: 57960 KiB
[startup+0.30564 s]*
/proc/loadavg: 4.49 4.36 4.17 5/262 1013589
/proc/meminfo: memFree=123387028/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=135720 memory=93880 CPUtime=0.29 cores=1,3
/proc/1013588/stat : 1013588 (fscip) R 1013585 1013588 1011492 0 -1 4194304 23923 0 0 0 27 2 0 0 20 0 2 0 188647731 138977280 23470 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 33930 23470 2750 3032 0 30329 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=135720 memory=-7596830928980173666 CPUtime=0 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 188647762 138977280 23470 134679101440 4194304 16613245 140732346543520 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135720 KiB
Current children cumulated memory: 93880 KiB
[startup+0.700259 s]
/proc/loadavg: 4.49 4.36 4.17 5/264 1013591
/proc/meminfo: memFree=123379624/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=223160 memory=168480 CPUtime=0.68 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 41968 0 0 0 63 5 0 0 20 0 3 0 188647731 228515840 42120 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 55790 42120 2910 3032 0 51105 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=223160 memory=16328 CPUtime=0.35 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 14689 0 0 0 34 1 0 0 20 0 3 0 188647762 228515840 42120 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=223160 memory=257 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188647766 228515840 42120 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 168480 KiB
[startup+1.50026 s]
/proc/loadavg: 4.49 4.36 4.17 4/259 1013605
/proc/meminfo: memFree=125188324/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=223160 memory=171464 CPUtime=1.47 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 44338 0 0 0 142 5 0 0 20 0 3 0 188647731 228515840 42866 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 55790 42866 2910 3032 0 51869 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=223160 memory=257 CPUtime=1.15 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 17053 0 0 0 113 2 0 0 20 0 3 0 188647762 228515840 42866 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=223160 memory=0 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 188647766 228515840 42866 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 171464 KiB
[startup+3.10549 s]
/proc/loadavg: 4.49 4.36 4.17 5/264 1013641
/proc/meminfo: memFree=125034024/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=294784 memory=182180 CPUtime=3.07 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 51898 0 0 0 302 5 0 0 20 0 3 0 188647731 301858816 45545 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 73696 45545 2926 3032 0 54953 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=294784 memory=0 CPUtime=2.75 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 24613 0 0 0 273 2 0 0 20 0 3 0 188647762 301858816 45545 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=294784 memory=0 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 188647766 301858816 45545 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 294784 KiB
Current children cumulated memory: 182180 KiB
[startup+6.30025 s]
/proc/loadavg: 4.45 4.35 4.17 5/264 1013642
/proc/meminfo: memFree=124985692/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=294784 memory=211064 CPUtime=6.26 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 86591 0 0 0 618 8 0 0 20 0 3 0 188647731 301858816 52766 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 73696 52766 2926 3032 0 63900 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=294784 memory=0 CPUtime=5.93 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 59304 0 0 0 588 5 0 0 20 0 3 0 188647762 301858816 52766 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=294784 memory=-7880590079421538685 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188647766 301858816 52766 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 294784 KiB
Current children cumulated memory: 211064 KiB
[startup+12.7002 s]
/proc/loadavg: 4.41 4.35 4.17 5/264 1013642
/proc/meminfo: memFree=124940920/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=360480 memory=241320 CPUtime=12.63 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 98375 0 0 0 1254 9 0 0 20 0 3 0 188647731 369131520 60330 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 90120 60330 2926 3032 0 72936 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=360480 memory=0 CPUtime=12.31 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 71053 0 0 0 1225 6 0 0 20 0 3 0 188647762 369131520 60330 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=360480 memory=241216 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 188647766 369131520 60330 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 360480 KiB
Current children cumulated memory: 241320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.33 4.16 5/264 1013645
/proc/meminfo: memFree=124896268/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=360480 memory=241692 CPUtime=25.39 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 137399 0 0 0 2528 11 0 0 20 0 3 0 188647731 369131520 60423 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 90120 60423 2974 3032 0 72936 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=360480 memory=241692 CPUtime=25.07 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 110012 0 0 0 2499 8 0 0 20 0 3 0 188647762 369131520 60423 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=360480 memory=46536 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 188647766 369131520 60423 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 360480 KiB
Current children cumulated memory: 241692 KiB
[startup+51.1056 s]
/proc/loadavg: 4.21 4.30 4.16 5/264 1013696
/proc/meminfo: memFree=126364180/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=360480 memory=270088 CPUtime=50.93 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 187334 0 0 0 5077 16 0 0 20 0 3 0 188647731 369131520 67522 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 90120 67522 2974 3032 0 78954 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=360480 memory=270088 CPUtime=50.61 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 159890 0 0 0 5048 13 0 0 20 0 3 0 188647762 369131520 67522 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=360480 memory=241320 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 188647766 369131520 67522 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 360480 KiB
Current children cumulated memory: 270088 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.27 4.15 5/263 1014137
/proc/meminfo: memFree=126272400/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=354392 memory=276544 CPUtime=101.98 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 251583 0 0 0 10177 21 0 0 20 0 3 0 188647731 362897408 69136 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 88598 69136 2974 3032 0 80743 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=354392 memory=276472 CPUtime=101.66 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 224076 0 0 0 10148 18 0 0 20 0 3 0 188647762 362897408 69136 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=354392 memory=11604 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188647766 362897408 69136 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 354392 KiB
Current children cumulated memory: 276544 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.25 4.15 5/263 1014147
/proc/meminfo: memFree=126156412/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=354536 memory=295768 CPUtime=161.81 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 287548 0 0 0 16157 24 0 0 20 0 3 0 188647731 363044864 73942 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 88634 73942 2974 3032 0 82812 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=354536 memory=290572 CPUtime=161.47 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 260019 0 0 0 16127 20 0 0 20 0 3 0 188647762 363044864 73942 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=354536 memory=290564 CPUtime=0 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 188647766 363044864 73942 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 354536 KiB
Current children cumulated memory: 295768 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.22 4.15 5/263 1014158
/proc/meminfo: memFree=126052372/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=355480 memory=308508 CPUtime=221.63 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 325326 0 0 0 22135 28 0 0 20 0 3 0 188647731 364011520 77127 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 88870 77127 2974 3032 0 85105 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=355480 memory=11604 CPUtime=221.29 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 297778 0 0 0 22105 24 0 0 20 0 3 0 188647762 364011520 77127 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
################
# More data... #
################
/proc/1013588/statm: 154462 136410 2974 3032 0 141289 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=542336 CPUtime=1836.55 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 610741 0 0 0 183577 78 0 0 20 0 3 0 188647762 632676352 136410 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=544024 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 81 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 136410 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 1837 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 545640 KiB
[startup+1902.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 1015076
/proc/meminfo: memFree=124552436/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=545640 CPUtime=1896.82 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 639817 0 0 0 189597 85 0 0 20 0 3 0 188647731 632676352 136410 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 136410 2974 3032 0 141289 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=542336 CPUtime=1896.37 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 611990 0 0 0 189558 79 0 0 20 0 3 0 188647762 632676352 136410 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=545640 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 82 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 136410 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 1896.82 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 545640 KiB
[startup+1962.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 1015086
/proc/meminfo: memFree=124529260/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=551664 CPUtime=1956.66 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 658884 0 0 0 195579 87 0 0 20 0 3 0 188647731 632676352 137916 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 137916 2974 3032 0 141289 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=548592 CPUtime=1956.21 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 631045 0 0 0 195540 81 0 0 20 0 3 0 188647762 632676352 137916 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=551488 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 83 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 137916 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 1956.66 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 551664 KiB
[startup+2022.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 1015097
/proc/meminfo: memFree=124498996/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=551800 CPUtime=2016.5 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 660420 0 0 0 201561 89 0 0 20 0 3 0 188647731 632676352 137950 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 137950 2974 3032 0 141289 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=11604 CPUtime=2016.04 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 632570 0 0 0 201521 83 0 0 20 0 3 0 188647762 632676352 137950 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=551800 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 84 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 137950 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2016.5 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 551800 KiB
[startup+2082.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 1015277
/proc/meminfo: memFree=124407920/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581048 CPUtime=2076.33 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 678700 0 0 0 207542 91 0 0 20 0 3 0 188647731 632676352 145262 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145262 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=580464 CPUtime=2075.87 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 650840 0 0 0 207502 85 0 0 20 0 3 0 188647762 632676352 145262 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=581048 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145262 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2076.33 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581048 KiB
[startup+2097.71 s]
# the end of solver process 1013588 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2090.77 s, system=0.926351 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2086.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 1015279
/proc/meminfo: memFree=124405432/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581896 CPUtime=2080.41 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 687735 0 0 0 207950 91 0 0 20 0 3 0 188647731 632676352 145474 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145474 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=581044 CPUtime=2079.95 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 659875 0 0 0 207910 85 0 0 20 0 3 0 188647762 632676352 145474 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=581044 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145474 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2080.41 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581896 KiB
[startup+2092.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 1015279
/proc/meminfo: memFree=124401324/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581900 CPUtime=2086.79 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 687851 0 0 0 208588 91 0 0 20 0 3 0 188647731 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145475 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=581044 CPUtime=2086.33 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 659991 0 0 0 208548 85 0 0 20 0 3 0 188647762 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=581900 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2086.79 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581900 KiB
[startup+2096 s]*
/proc/loadavg: 4.12 4.10 4.09 6/266 1015280
/proc/meminfo: memFree=124398048/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581900 CPUtime=2089.98 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 688030 0 0 0 208907 91 0 0 20 0 3 0 188647731 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145475 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=-7024347430951096424 CPUtime=2089.52 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 660170 0 0 0 208867 85 0 0 20 0 3 0 188647762 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=-9187040416260979397 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2089.98 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581900 KiB
[startup+2096.8 s]
/proc/loadavg: 4.12 4.10 4.09 6/266 1015280
/proc/meminfo: memFree=124398048/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581900 CPUtime=2090.77 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 688160 0 0 0 208986 91 0 0 20 0 3 0 188647731 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145475 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=581900 CPUtime=2090.32 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 660299 0 0 0 208947 85 0 0 20 0 3 0 188647762 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=46536 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2090.77 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581900 KiB
[startup+2097.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 1015280
/proc/meminfo: memFree=124397912/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581900 CPUtime=2091.17 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 688191 0 0 0 209026 91 0 0 20 0 3 0 188647731 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145475 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=581900 CPUtime=2090.71 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 660330 0 0 0 208986 85 0 0 20 0 3 0 188647762 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=2232 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2091.17 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581900 KiB
[startup+2097.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 1015280
/proc/meminfo: memFree=124397912/131524600 swapFree=131071996/131071996
[pid=1013588] ppid=1013585 vsize=617848 memory=581900 CPUtime=2091.57 cores=1,3
/proc/1013588/stat : 1013588 (fscip) S 1013585 1013588 1011492 0 -1 1077936128 688191 0 0 0 209066 91 0 0 20 0 3 0 188647731 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
/proc/1013588/statm: 154462 145475 2974 3032 0 149166 0
[pid=1013588/tid=1013590] ppid=1013585 vsize=617848 memory=-7024628905893859433 CPUtime=2091.11 cores=1,3
/proc/1013588/task/1013590/stat : 1013590 (fscip) R 1013585 1013588 1011492 0 -1 4194368 660330 0 0 0 209026 85 0 0 20 0 3 0 188647762 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
[pid=1013588/tid=1013591] ppid=1013585 vsize=617848 memory=19288 CPUtime=0.01 cores=1,3
/proc/1013588/task/1013591/stat : 1013591 (fscip) S 1013585 1013588 1011492 0 -1 1077936192 85 0 0 0 0 1 0 0 20 0 3 0 188647766 632676352 145475 134679101440 4194304 16613245 140732346543520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35491840 140732346549267 140732346549383 140732346549383 140732346556400 0
Current children cumulated CPU time: 2091.57 s
Current children cumulated vsize: 617848 KiB
Current children cumulated memory: 581900 KiB
Child status: 0
Real time (s): 2097.71
CPU time (s): 2091.69
CPU user time (s): 2090.77
CPU system time (s): 0.926351
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 623276
Max. memory (cumulated for all children) (KiB): 581900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2090.77
system time used= 0.926351
maximum resident set size= 581900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690350
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= 5782
involuntary context switches= 2239
# summary of solver processes directly reported to runsolver:
# pid: 1013588
# total CPU time (s): 2091.69
# total CPU user time (s): 2090.77
# total CPU system time (s): 0.926351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43739 second user time and 8.93809 second system time
The end
Begin job on nodeC022 at 2024-07-19 06:54:08
IDJOB=4448330
IDBENCH=160391
IDSOLVER=3064
FILE ID=nodeC022/4448330-1721364836
RUNJOBID= nodeC022-1721361246-1011504
SLURM_JOB_ID= 7542779
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.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-4448330-1721364836/watcher-4448330-1721364836 -o /tmp/evaluation-result-4448330-1721364836/solver-4448330-1721364836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011504 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448330-1721364836.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea5e7256587f4a4e9df55aed19f52ebe
RANDOM SEED=100068986
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.613
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.273
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
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.66
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 : 3665.470
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.636
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.66
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 : 3672.576
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.056
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.66
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 : 3609.569
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123410688 kB
MemAvailable: 126088388 kB
Buffers: 504044 kB
Cached: 2998572 kB
SwapCached: 0 kB
Active: 1202336 kB
Inactive: 6252484 kB
Active(anon): 1572 kB
Inactive(anon): 3996536 kB
Active(file): 1200764 kB
Inactive(file): 2255948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56656 kB
Writeback: 0 kB
AnonPages: 3928868 kB
Mapped: 143196 kB
Shmem: 45912 kB
KReclaimable: 121268 kB
Slab: 236708 kB
SReclaimable: 121268 kB
SUnreclaim: 115440 kB
KernelStack: 4252 kB
PageTables: 17500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1461900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68832 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2764800 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC022 at 2024-07-19 07:29:06