0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.05 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 61321216, getVmSize() = 61321216, SCIPgetMemUsed() = 33830546, SCIPgetMemTotal() = 38354362, SCIPgetMemExternEstim() = 22254117
0.00/0.06 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.30/0.31 c ** Estimated virtualMemUsedAtSolver = 82778432, getVmSize() = 127262720, SCIPgetMemUsed() = 76554891, SCIPgetMemTotal() = 101913531, SCIPgetMemExternEstim() = 22254117
0.30/0.31 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.31 c Original Problem :
0.30/0.31 c Problem name : instance-4464497-1722385812
0.30/0.31 c Variables : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.31 c Constraints : 16786
0.30/0.31 c Objective sense : minimize
0.30/0.31 c Presolved Problem :
0.30/0.31 c Variables : 7045 (7045 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.31 c Constraints : 10334
0.30/0.31 c Constraints : Number
0.30/0.31 c setppc : 10333
0.30/0.31 c orbitope : 1
0.30/0.31 c ** Instance transfer method used: 0
0.30/0.33 c ** ParaScipInstance copy increased the number of variables. **
0.30/0.34 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34 c Nodes Active
0.30/0.34 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
8.04/8.10 c 8 2 1 1 - 0.0000 -
13.32/13.47 c 13 22 21 1 - 0.0000 -
22.31/22.43 c 22 24 23 1 - 0.0000 -
28.10/28.27 c 28 38 37 1 - 0.0000 -
34.08/34.26 c 34 61 60 1 - 0.0000 -
39.38/39.56 c 40 161 121 1 - 0.0000 -
44.66/44.80 c 45 385 129 1 - 0.0000 -
49.75/49.95 c 50 621 121 1 - 0.0000 -
55.23/55.41 c 55 815 127 1 - 0.0000 -
61.02/61.22 c 61 980 155 1 - 0.0000 -
66.10/66.32 c 66 1197 134 1 - 0.0000 -
71.19/71.42 c 71 1408 114 1 - 0.0000 -
76.89/77.12 c 77 1608 117 1 - 0.0000 -
82.26/82.50 c 82 1846 114 1 - 0.0000 -
87.25/87.54 c 88 2006 116 1 - 0.0000 -
92.34/92.65 c 93 2241 107 1 - 0.0000 -
100.83/101.16 c 101 2300 1 1 - 0.0000 -
106.61/106.96 c 107 2383 32 1 - 0.0000 -
111.99/112.40 c 112 2471 31 1 - 0.0000 -
117.37/117.77 c 118 2555 37 1 - 0.0000 -
122.67/123.04 c 123 2614 34 1 - 0.0000 -
128.35/128.77 c 129 2736 41 1 - 0.0000 -
133.64/134.08 c 134 2880 43 1 - 0.0000 -
138.72/139.19 c 139 3061 39 1 - 0.0000 -
144.31/144.71 c 145 3162 47 1 - 0.0000 -
150.00/150.45 c 150 3290 47 1 - 0.0000 -
155.48/155.97 c 156 3413 50 1 - 0.0000 -
160.57/161.03 c 161 3623 52 1 - 0.0000 -
166.05/166.56 c 167 3831 47 1 - 0.0000 -
172.04/172.51 c 173 3993 47 1 - 0.0000 -
177.13/177.60 c 178 4185 47 1 - 0.0000 -
182.31/182.87 c 183 4231 55 1 - 0.0000 -
188.10/188.68 c 189 4348 63 1 - 0.0000 -
193.18/193.77 c 194 4538 59 1 - 0.0000 -
198.27/198.84 c 199 4793 52 1 - 0.0000 -
203.47/204.04 c 204 4994 49 1 - 0.0000 -
209.25/209.85 c 210 5187 50 1 - 0.0000 -
214.93/215.56 c 216 5319 54 1 - 0.0000 -
220.02/220.61 c 221 5492 40 1 - 0.0000 -
225.90/226.59 c 227 5647 39 1 - 0.0000 -
231.09/231.73 c 232 5755 44 1 - 0.0000 -
236.09/236.79 c 237 5944 51 1 - 0.0000 -
241.57/242.24 c 242 6131 41 1 - 0.0000 -
246.65/247.38 c 247 6261 52 1 - 0.0000 -
251.74/252.48 c 252 6422 50 1 - 0.0000 -
256.93/257.62 c 258 6632 45 1 - 0.0000 -
262.21/262.95 c 263 6862 48 1 - 0.0000 -
267.41/268.13 c 268 7072 49 1 - 0.0000 -
272.49/273.29 c 273 7286 51 1 - 0.0000 -
277.88/278.60 c 279 7436 43 1 - 0.0000 -
282.96/283.70 c 284 7612 40 1 - 0.0000 -
288.16/288.93 c 289 7745 37 1 - 0.0000 -
302.62/303.41 c 303 7842 38 1 - 0.0000 -
307.81/308.62 c 309 7973 33 1 - 0.0000 -
313.30/314.16 c 314 8092 40 1 - 0.0000 -
318.97/319.88 c 320 8214 31 1 - 0.0000 -
324.35/325.27 c 325 8301 33 1 - 0.0000 -
329.94/330.82 c 331 8426 38 1 - 0.0000 -
335.33/336.25 c 336 8544 39 1 - 0.0000 -
340.90/341.82 c 342 8707 45 1 - 0.0000 -
345.99/346.94 c 347 8934 45 1 - 0.0000 -
351.08/352.03 c 352 9167 37 1 - 0.0000 -
356.16/357.13 c 357 9430 30 1 - 0.0000 -
361.34/362.38 c 362 9541 30 1 - 0.0000 -
366.63/367.66 c 368 9624 28 1 - 0.0000 -
372.01/373.05 c 373 9744 39 1 - 0.0000 -
377.19/378.24 c 378 9939 33 1 - 0.0000 -
382.68/383.78 c 384 10081 25 1 - 0.0000 -
387.86/388.99 c 389 10164 23 1 - 0.0000 -
393.25/394.39 c 394 10253 32 1 - 0.0000 -
398.44/399.52 c 400 10366 32 1 - 0.0000 -
404.12/405.21 c 405 10541 43 1 - 0.0000 -
409.21/410.36 c 410 10777 42 1 - 0.0000 -
414.90/416.07 c 416 10986 41 1 - 0.0000 -
419.98/421.17 c 421 11236 33 1 - 0.0000 -
425.36/426.58 c 427 11464 32 1 - 0.0000 -
430.45/431.68 c 432 11647 32 1 - 0.0000 -
435.63/436.84 c 437 11784 36 1 - 0.0000 -
441.42/442.65 c 443 11963 34 1 - 0.0000 -
447.41/448.68 c 449 12075 33 1 - 0.0000 -
452.59/453.82 c 454 12203 29 1 - 0.0000 -
458.08/459.39 c 459 12370 37 1 - 0.0000 -
463.27/464.56 c 465 12577 28 1 - 0.0000 -
468.76/470.01 c 470 12770 25 1 - 0.0000 -
476.03/477.38 c 477 12922 32 1 - 0.0000 -
482.81/484.19 c 484 12982 38 1 - 0.0000 -
488.10/489.42 c 489 13066 40 1 - 0.0000 -
493.28/494.68 c 495 13159 36 1 - 0.0000 -
499.86/501.22 c 501 13230 38 1 - 0.0000 -
505.25/506.66 c 507 13340 37 1 - 0.0000 -
511.13/512.57 c 513 13472 36 1 - 0.0000 -
516.42/517.85 c 518 13640 38 1 - 0.0000 -
521.50/522.95 c 523 13801 31 1 - 0.0000 -
526.79/528.20 c 528 13862 40 1 - 0.0000 -
532.28/533.74 c 534 14020 44 1 - 0.0000 -
537.37/538.88 c 539 14193 50 1 - 0.0000 -
542.56/544.10 c 544 14481 41 1 - 0.0000 -
547.74/549.27 c 549 14649 36 1 - 0.0000 -
553.23/554.71 c 555 14763 37 1 - 0.0000 -
558.22/559.79 c 560 14853 49 1 - 0.0000 -
563.90/565.43 c 565 14979 47 1 - 0.0000 -
569.29/570.81 c 571 15112 45 1 - 0.0000 -
574.68/576.22 c 576 15244 40 1 - 0.0000 -
579.86/581.49 c 582 15403 44 1 - 0.0000 -
584.95/586.58 c 587 15596 38 1 - 0.0000 -
590.34/591.92 c 592 15667 44 1 - 0.0000 -
595.63/597.21 c 597 15736 44 1 - 0.0000 -
601.12/602.78 c 603 15817 44 1 - 0.0000 -
607.51/609.14 c 609 15901 39 1 - 0.0000 -
612.89/614.54 c 615 16024 38 1 - 0.0000 -
618.38/620.05 c 620 16163 49 1 - 0.0000 -
623.56/625.23 c 625 16337 40 1 - 0.0000 -
628.65/630.34 c 630 16552 36 1 - 0.0000 -
634.04/635.72 c 636 16696 41 1 - 0.0000 -
639.83/641.52 c 642 16878 35 1 - 0.0000 -
645.32/647.01 c 647 16994 35 1 - 0.0000 -
651.00/652.77 c 653 17192 36 1 - 0.0000 -
656.08/657.85 c 658 17368 26 1 - 0.0000 -
665.37/667.14 c 667 17512 29 1 - 0.0000 -
670.55/672.32 c 672 17594 25 1 - 0.0000 -
675.84/677.66 c 678 17728 29 1 - 0.0000 -
681.32/683.12 c 683 17855 32 1 - 0.0000 -
687.90/689.74 c 690 18014 27 1 - 0.0000 -
693.68/695.52 c 696 18161 26 1 - 0.0000 -
699.36/701.29 c 701 18322 29 1 - 0.0000 -
704.76/706.66 c 707 18516 34 1 - 0.0000 -
709.94/711.85 c 712 18734 25 1 - 0.0000 -
715.02/716.98 c 717 18930 26 1 - 0.0000 -
720.20/722.11 c 722 19087 22 1 - 0.0000 -
727.38/729.36 c 729 19232 22 1 - 0.0000 -
733.57/735.52 c 736 19322 29 1 - 0.0000 -
739.36/741.32 c 741 19462 29 1 - 0.0000 -
744.44/746.45 c 746 19610 27 1 - 0.0000 -
749.63/751.65 c 752 19729 25 1 - 0.0000 -
755.03/757.07 c 757 19888 23 1 - 0.0000 -
761.31/763.37 c 763 20031 21 1 - 0.0000 -
766.79/768.83 c 769 20192 27 1 - 0.0000 -
771.98/774.09 c 774 20364 22 1 - 0.0000 -
777.67/779.75 c 780 20505 31 1 - 0.0000 -
784.75/786.86 c 787 20622 25 1 - 0.0000 -
790.34/792.48 c 792 20706 32 1 - 0.0000 -
795.42/797.51 c 798 20812 34 1 - 0.0000 -
801.31/803.45 c 803 20920 37 1 - 0.0000 -
807.01/809.15 c 809 21002 50 1 - 0.0000 -
812.59/814.76 c 815 21172 51 1 - 0.0000 -
818.27/820.41 c 820 21312 47 1 - 0.0000 -
823.96/826.14 c 826 21454 48 1 - 0.0000 -
829.85/832.09 c 832 21651 50 1 - 0.0000 -
834.94/837.19 c 837 21834 49 1 - 0.0000 -
840.22/842.43 c 842 21962 52 1 - 0.0000 -
845.41/847.63 c 848 22160 46 1 - 0.0000 -
851.00/853.28 c 853 22324 44 1 - 0.0000 -
856.18/858.42 c 858 22512 44 1 - 0.0000 -
861.37/863.65 c 864 22648 41 1 - 0.0000 -
867.25/869.52 c 870 22818 40 1 - 0.0000 -
872.44/874.76 c 875 22973 34 1 - 0.0000 -
878.33/880.62 c 881 23132 33 1 - 0.0000 -
883.51/885.81 c 886 23256 31 1 - 0.0000 -
888.71/891.06 c 891 23390 31 1 - 0.0000 -
893.89/896.29 c 896 23580 23 1 - 0.0000 -
898.98/901.37 c 901 23780 29 1 - 0.0000 -
904.36/906.71 c 907 23947 30 1 - 0.0000 -
909.55/911.94 c 912 24072 25 1 - 0.0000 -
914.84/917.26 c 917 24183 26 1 - 0.0000 -
920.73/923.18 c 923 24296 22 1 - 0.0000 -
926.21/928.69 c 929 24395 27 1 - 0.0000 -
931.51/933.96 c 934 24549 26 1 - 0.0000 -
937.09/939.56 c 940 24714 45 1 - 0.0000 -
942.38/944.84 c 945 24911 57 1 - 0.0000 -
947.46/949.97 c 950 25074 51 1 - 0.0000 -
952.75/955.21 c 955 25264 43 1 - 0.0000 -
957.84/960.31 c 960 25482 39 1 - 0.0000 -
962.92/965.42 c 965 25719 27 1 - 0.0000 -
989.77/992.39 c 992 25902 21 1 - 0.0000 -
995.66/998.21 c 998 26024 27 1 - 0.0000 -
1000.85/1003.47 c 1003 26204 36 1 - 0.0000 -
1006.13/1008.78 c 1009 26392 25 1 - 0.0000 -
1011.81/1014.45 c 1014 26525 28 1 - 0.0000 -
1017.10/1019.72 c 1020 26766 22 1 - 0.0000 -
1022.09/1024.79 c 1025 26951 23 1 - 0.0000 -
1027.28/1029.90 c 1030 27102 27 1 - 0.0000 -
1032.27/1034.97 c 1035 27310 33 1 - 0.0000 -
1037.56/1040.22 c 1040 27505 29 1 - 0.0000 -
1043.14/1045.82 c 1046 27666 32 1 - 0.0000 -
1048.43/1051.14 c 1051 27868 24 1 - 0.0000 -
1053.71/1056.48 c 1056 28070 19 1 - 0.0000 -
1059.60/1062.32 c 1062 28187 37 1 - 0.0000 -
1064.69/1067.43 c 1067 28356 14 1 - 0.0000 -
1069.78/1072.50 c 1072 28601 18 1 - 0.0000 -
1075.47/1078.23 c 1078 28761 23 1 - 0.0000 -
1080.95/1083.76 c 1084 28947 15 1 - 0.0000 -
1086.74/1089.56 c 1090 29113 18 1 - 0.0000 -
1091.93/1094.74 c 1095 29163 13 1 - 0.0000 -
1097.42/1100.26 c 1100 29381 15 1 - 0.0000 -
1103.31/1106.14 c 1106 29525 14 1 - 0.0000 -
1108.59/1111.42 c 1111 29762 15 1 - 0.0000 -
1113.87/1116.71 c 1117 29912 14 1 - 0.0000 -
1119.17/1122.09 c 1122 29981 17 1 - 0.0000 -
1124.55/1127.44 c 1127 30032 17 1 - 0.0000 -
1129.84/1132.70 c 1133 30098 14 1 - 0.0000 -
1135.03/1137.96 c 1138 30170 12 1 - 0.0000 -
1140.12/1143.09 c 1143 30276 12 1 - 0.0000 -
1145.40/1148.35 c 1148 30421 10 1 - 0.0000 -
1150.59/1153.56 c 1154 30563 15 1 - 0.0000 -
1156.18/1159.14 c 1159 30717 16 1 - 0.0000 -
1161.46/1164.41 c 1164 30906 11 1 - 0.0000 -
1166.75/1169.72 c 1170 30994 10 1 - 0.0000 -
1172.24/1175.23 c 1175 31067 12 1 - 0.0000 -
1177.43/1180.47 c 1180 31169 11 1 - 0.0000 -
1182.81/1185.82 c 1186 31288 10 1 - 0.0000 -
1189.60/1192.63 c 1193 31432 14 1 - 0.0000 -
1194.88/1197.92 c 1198 31610 18 1 - 0.0000 -
1200.38/1203.42 c 1203 31731 19 1 - 0.0000 -
1205.66/1208.80 c 1209 31910 21 1 - 0.0000 -
1211.44/1214.54 c 1215 32123 16 1 - 0.0000 -
1216.93/1220.04 c 1220 32292 18 1 - 0.0000 -
1222.02/1225.10 c 1225 32419 19 1 - 0.0000 -
1227.01/1230.17 c 1230 32629 18 1 - 0.0000 -
1233.00/1236.11 c 1236 32796 19 1 - 0.0000 -
1238.88/1242.07 c 1242 33121 20 1 - 0.0000 -
1244.26/1247.40 c 1247 33322 23 1 - 0.0000 -
1249.46/1252.67 c 1253 33527 16 1 - 0.0000 -
1254.64/1257.85 c 1258 33719 15 1 - 0.0000 -
1260.43/1263.60 c 1264 33889 12 1 - 0.0000 -
1265.42/1268.66 c 1269 34138 10 1 - 0.0000 -
1271.50/1274.70 c 1275 34292 18 1 - 0.0000 -
1276.90/1280.12 c 1280 34467 22 1 - 0.0000 -
1282.08/1285.30 c 1285 34666 17 1 - 0.0000 -
1287.87/1291.13 c 1291 34896 22 1 - 0.0000 -
1294.15/1297.46 c 1297 35105 23 1 - 0.0000 -
1299.23/1302.53 c 1303 35247 14 1 - 0.0000 -
1304.62/1307.90 c 1308 35407 12 1 - 0.0000 -
1310.82/1314.11 c 1314 35563 11 1 - 0.0000 -
1315.80/1319.15 c 1319 35686 11 1 - 0.0000 -
1321.68/1325.02 c 1325 35797 11 1 - 0.0000 -
1327.47/1330.89 c 1331 35887 12 1 - 0.0000 -
1333.85/1337.22 c 1337 36090 9 1 - 0.0000 -
1338.94/1342.30 c 1342 36277 15 1 - 0.0000 -
1344.22/1347.61 c 1348 36420 14 1 - 0.0000 -
1350.21/1353.61 c 1354 36601 8 1 - 0.0000 -
1355.70/1359.19 c 1359 36689 9 1 - 0.0000 -
1361.28/1364.70 c 1365 36795 7 1 - 0.0000 -
1366.47/1369.96 c 1370 36912 7 1 - 0.0000 -
1371.75/1375.27 c 1375 37051 10 1 - 0.0000 -
1376.94/1380.41 c 1380 37172 12 1 - 0.0000 -
1382.03/1385.52 c 1386 37412 9 1 - 0.0000 -
1387.52/1391.06 c 1391 37618 8 1 - 0.0000 -
1392.70/1396.20 c 1396 37763 16 1 - 0.0000 -
1403.38/1406.94 c 1407 37792 21 1 - 0.0000 -
1409.17/1412.72 c 1413 37853 38 1 - 0.0000 -
1414.26/1417.82 c 1418 38043 39 1 - 0.0000 -
1419.75/1423.31 c 1423 38193 35 1 - 0.0000 -
1424.93/1428.54 c 1429 38386 31 1 - 0.0000 -
1430.52/1434.18 c 1434 38530 36 1 - 0.0000 -
1435.91/1439.59 c 1440 38665 34 1 - 0.0000 -
1441.50/1445.12 c 1445 38801 34 1 - 0.0000 -
1446.58/1450.24 c 1450 38965 27 1 - 0.0000 -
1451.77/1455.42 c 1455 39048 37 1 - 0.0000 -
1457.37/1461.03 c 1461 39128 43 1 - 0.0000 -
1462.45/1466.18 c 1466 39291 40 1 - 0.0000 -
1468.23/1471.92 c 1472 39433 27 1 - 0.0000 -
1473.72/1477.43 c 1477 39562 27 1 - 0.0000 -
1478.91/1482.69 c 1483 39711 20 1 - 0.0000 -
1484.40/1488.18 c 1488 39849 13 1 - 0.0000 -
1491.08/1494.90 c 1495 40002 18 1 - 0.0000 -
1496.46/1500.25 c 1500 40144 18 1 - 0.0000 -
1502.05/1505.84 c 1506 40238 28 1 - 0.0000 -
1507.34/1511.13 c 1511 40417 24 1 - 0.0000 -
1512.73/1516.51 c 1517 40568 23 1 - 0.0000 -
1518.51/1522.34 c 1522 40764 12 1 - 0.0000 -
1524.30/1528.19 c 1528 40937 16 1 - 0.0000 -
1530.08/1533.90 c 1534 41107 14 1 - 0.0000 -
1535.77/1539.64 c 1540 41277 8 1 - 0.0000 -
1541.26/1545.15 c 1545 41446 22 1 - 0.0000 -
1546.34/1550.26 c 1550 41657 20 1 - 0.0000 -
1551.54/1555.43 c 1555 41862 16 1 - 0.0000 -
1556.72/1560.62 c 1561 42003 12 1 - 0.0000 -
1561.81/1565.75 c 1566 42187 14 1 - 0.0000 -
1566.89/1570.87 c 1571 42267 16 1 - 0.0000 -
1572.48/1576.41 c 1576 42459 14 1 - 0.0000 -
1577.67/1581.60 c 1582 42608 20 1 - 0.0000 -
1582.75/1586.71 c 1587 42807 19 1 - 0.0000 -
1588.84/1592.87 c 1593 42932 17 1 - 0.0000 -
1594.03/1598.00 c 1598 43094 20 1 - 0.0000 -
1599.21/1603.27 c 1603 43293 14 1 - 0.0000 -
1604.40/1608.41 c 1608 43481 17 1 - 0.0000 -
1609.58/1613.69 c 1614 43677 10 1 - 0.0000 -
1614.98/1619.00 c 1619 43803 18 1 - 0.0000 -
1620.07/1624.14 c 1624 43998 22 1 - 0.0000 -
1625.25/1629.38 c 1629 44158 14 1 - 0.0000 -
1630.54/1634.66 c 1635 44321 19 1 - 0.0000 -
1635.62/1639.78 c 1640 44581 11 1 - 0.0000 -
1640.91/1645.06 c 1645 44724 14 1 - 0.0000 -
1646.10/1650.29 c 1650 44873 7 1 - 0.0000 -
1651.48/1655.63 c 1656 44959 11 1 - 0.0000 -
1657.57/1661.71 c 1662 45071 13 1 - 0.0000 -
1662.67/1666.88 c 1667 45178 16 1 - 0.0000 -
1667.85/1672.00 c 1672 45340 15 1 - 0.0000 -
1673.44/1677.66 c 1678 45518 8 1 - 0.0000 -
1678.62/1682.89 c 1683 45692 10 1 - 0.0000 -
1683.91/1688.17 c 1688 45846 16 1 - 0.0000 -
1689.10/1693.30 c 1693 46013 12 1 - 0.0000 -
1694.18/1698.45 c 1698 46146 15 1 - 0.0000 -
1699.47/1703.79 c 1704 46282 18 1 - 0.0000 -
1707.95/1712.22 c 1712 46382 19 1 - 0.0000 -
1713.23/1717.56 c 1718 46574 13 1 - 0.0000 -
1718.32/1722.62 c 1723 46682 17 1 - 0.0000 -
1723.50/1727.80 c 1728 46843 8 1 - 0.0000 -
1728.59/1732.95 c 1733 47004 11 1 - 0.0000 -
1733.87/1738.28 c 1738 47161 10 1 - 0.0000 -
1739.55/1743.93 c 1744 47307 17 1 - 0.0000 -
1744.94/1749.34 c 1749 47486 11 1 - 0.0000 -
1750.52/1754.94 c 1755 47646 10 1 - 0.0000 -
1755.62/1760.03 c 1760 47823 13 1 - 0.0000 -
1761.19/1765.62 c 1766 48017 11 1 - 0.0000 -
1766.57/1771.01 c 1771 48198 13 1 - 0.0000 -
1772.15/1776.62 c 1777 48404 13 1 - 0.0000 -
1777.84/1782.35 c 1782 48602 18 1 - 0.0000 -
1783.24/1787.73 c 1788 48809 12 1 - 0.0000 -
1788.82/1793.38 c 1793 48985 13 1 - 0.0000 -
1794.20/1798.70 c 1799 49140 18 1 - 0.0000 -
1799.49/1804.05 c 1804 49274 12 1 - 0.0000 -
1804.58/1809.15 c 1809 49473 11 1 - 0.0000 -
1809.77/1814.39 c 1814 49627 15 1 - 0.0000 -
1815.86/1820.45 c 1820 49702 23 1 - 0.0000 -
1821.34/1825.94 c 1826 49876 13 1 - 0.0000 -
1826.44/1831.01 c 1831 50089 14 1 - 0.0000 -
1831.52/1836.17 c 1836 50246 16 1 - 0.0000 -
1836.70/1841.32 c 1841 50426 21 1 - 0.0000 -
1841.89/1846.55 c 1847 50590 16 1 - 0.0000 -
1847.28/1851.93 c 1852 50770 17 1 - 0.0000 -
1852.77/1857.45 c 1857 50898 14 1 - 0.0000 -
1857.85/1862.57 c 1863 51156 19 1 - 0.0000 -
1863.04/1867.71 c 1868 51352 22 1 - 0.0000 -
1868.03/1872.79 c 1873 51563 23 1 - 0.0000 -
1873.51/1878.29 c 1878 51790 24 1 - 0.0000 -
1878.70/1883.45 c 1883 51996 24 1 - 0.0000 -
1884.40/1889.13 c 1889 52213 23 1 - 0.0000 -
1889.88/1894.60 c 1895 52377 18 1 - 0.0000 -
1894.86/1899.69 c 1900 52535 24 1 - 0.0000 -
1900.55/1905.32 c 1905 52723 17 1 - 0.0000 -
1905.74/1910.54 c 1911 52912 14 1 - 0.0000 -
1911.03/1915.80 c 1916 53010 18 1 - 0.0000 -
1916.51/1921.33 c 1921 53139 14 1 - 0.0000 -
1924.99/1929.88 c 1930 53312 17 1 - 0.0000 -
1930.38/1935.25 c 1935 53420 12 1 - 0.0000 -
1935.97/1940.86 c 1941 53544 17 1 - 0.0000 -
1941.75/1946.67 c 1947 53673 12 1 - 0.0000 -
1947.54/1952.44 c 1952 53797 17 1 - 0.0000 -
1952.62/1957.53 c 1958 53952 18 1 - 0.0000 -
1957.91/1962.85 c 1963 54142 19 1 - 0.0000 -
1963.01/1967.95 c 1968 54301 16 1 - 0.0000 -
1968.20/1973.14 c 1973 54483 15 1 - 0.0000 -
1973.38/1978.36 c 1978 54700 14 1 - 0.0000 -
1978.46/1983.46 c 1983 54890 16 1 - 0.0000 -
1984.35/1989.37 c 1989 55053 16 1 - 0.0000 -
1990.33/1995.30 c 1995 55273 11 1 - 0.0000 -
1995.42/2000.46 c 2000 55428 17 1 - 0.0000 -
2000.51/2005.59 c 2006 55667 16 1 - 0.0000 -
2005.70/2010.78 c 2011 55876 13 1 - 0.0000 -
2010.99/2016.03 c 2016 56031 9 1 - 0.0000 -
2016.27/2021.33 c 2021 56154 18 1 - 0.0000 -
2021.96/2027.09 c 2027 56253 6 1 - 0.0000 -
2028.05/2033.17 c 2033 56387 9 1 - 0.0000 -
2033.93/2039.03 c 2039 56562 11 1 - 0.0000 -
2039.21/2044.32 c 2044 56734 12 1 - 0.0000 -
2044.40/2049.54 c 2050 56920 15 1 - 0.0000 -
2049.49/2054.66 c 2055 57062 6 1 - 0.0000 -
2055.38/2060.54 c 2061 57186 12 1 - 0.0000 -
2067.75/2072.96 c 2073 57265 13 1 - 0.0000 -
2073.43/2078.66 c 2079 57451 6 1 - 0.0000 -
2078.72/2083.99 c 2084 57625 8 1 - 0.0000 -
2084.10/2089.39 c 2089 57818 9 1 - 0.0000 -
2086.80/2092.09 c 2092 57988 0 0 - 0.0000 -
2086.90/2092.16 c 2092 57988 0 0 - 0.0000 -
2086.90/2092.16 c SCIP Status : c problem is solved [infeasible]
2086.90/2092.16 c Total Time : 2092.1500
2086.90/2092.16 c solving : 2092.1500
2086.90/2092.16 c presolving : 0.2510 (included in solving)
2086.90/2092.16 c B&B Tree :
2086.90/2092.16 c nodes (total) : 57988
2086.90/2092.16 c Solution :
2086.90/2092.16 c Solutions found : 0
2086.90/2092.16 c Primal Bound : -
2086.90/2092.16 c Dual Bound : -
2086.90/2092.16 c Gap : -
2086.90/2092.17 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 (62192 MiB free)
memory of node 1: 64473 MiB (63008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464497-1722385812/watcher-4464497-1722385812 -o /tmp/evaluation-result-4464497-1722385812/solver-4464497-1722385812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28642 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464497-1722385812.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
solver pid=32948, runsolver pid=32945
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.12 4.11 4.09 5/266 32949
/proc/meminfo: memFree=128155824/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=75756 memory=64404 CPUtime=0.09 cores=4,6
/proc/32948/stat : 32948 (fscip) R 32945 32948 28631 0 -1 4194304 14908 0 0 0 8 1 0 0 20 0 1 0 5185726 77574144 16101 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 18939 16101 2662 3035 0 15335 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75756 KiB
Current children cumulated memory: 64404 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.12 4.11 4.09 5/266 32949
/proc/meminfo: memFree=128157432/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=68924 memory=58040 CPUtime=0.2 cores=4,6
/proc/32948/stat : 32948 (fscip) R 32945 32948 28631 0 -1 4194304 14944 0 0 0 19 1 0 0 20 0 1 0 5185726 70578176 14510 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 17231 14510 2694 3035 0 13627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68924 KiB
Current children cumulated memory: 58040 KiB
[startup+0.30573 s]*
/proc/loadavg: 4.12 4.11 4.09 5/266 32949
/proc/meminfo: memFree=128122232/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=124280 memory=95084 CPUtime=0.3 cores=4,6
/proc/32948/stat : 32948 (fscip) R 32945 32948 28631 0 -1 4194304 23141 0 0 0 28 2 0 0 20 0 1 0 5185726 127262720 23771 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 31070 23771 2758 3035 0 27466 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 124280 KiB
Current children cumulated memory: 95084 KiB
[startup+0.700912 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 32951
/proc/meminfo: memFree=128065484/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=223168 memory=170604 CPUtime=0.68 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 41948 0 0 0 63 5 0 0 20 0 3 0 5185726 228524032 42651 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 55792 42651 2934 3035 0 51122 0
[pid=32948/tid=32950] ppid=32945 vsize=223168 memory=54472 CPUtime=0.35 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 14713 0 0 0 34 1 0 0 20 0 3 0 5185757 228524032 42651 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=223168 memory=2273 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5185761 228524032 42651 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 223168 KiB
Current children cumulated memory: 170604 KiB
[startup+1.50091 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 32951
/proc/meminfo: memFree=128043308/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=223168 memory=173520 CPUtime=1.47 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 44265 0 0 0 142 5 0 0 20 0 3 0 5185726 228524032 43380 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 55792 43380 2934 3035 0 51809 0
[pid=32948/tid=32950] ppid=32945 vsize=223168 memory=2273 CPUtime=1.14 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 17030 0 0 0 113 1 0 0 20 0 3 0 5185757 228524032 43380 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=223168 memory=0 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5185761 228524032 43380 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223168 KiB
Current children cumulated memory: 173520 KiB
[startup+3.10591 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 32951
/proc/meminfo: memFree=128032100/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=294792 memory=182580 CPUtime=3.05 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 51053 0 0 0 300 5 0 0 20 0 3 0 5185726 301867008 45645 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 73698 45645 2950 3035 0 54271 0
[pid=32948/tid=32950] ppid=32945 vsize=294792 memory=173520 CPUtime=2.73 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 23811 0 0 0 271 2 0 0 20 0 3 0 5185757 301867008 45645 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=294792 memory=0 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5185761 301867008 45645 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 294792 KiB
Current children cumulated memory: 182580 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 32953
/proc/meminfo: memFree=127995468/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=294792 memory=213036 CPUtime=6.24 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 77091 0 0 0 616 8 0 0 20 0 3 0 5185726 301867008 53259 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 73698 53259 2950 3035 0 63875 0
[pid=32948/tid=32950] ppid=32945 vsize=294792 memory=11592 CPUtime=5.91 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 49849 0 0 0 587 4 0 0 20 0 3 0 5185757 301867008 53259 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=294792 memory=206148 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5185761 301867008 53259 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 294792 KiB
Current children cumulated memory: 213036 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 32953
/proc/meminfo: memFree=127941216/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=360488 memory=243356 CPUtime=12.63 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 103854 0 0 0 1253 10 0 0 20 0 3 0 5185726 369139712 60839 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 90122 60839 2950 3035 0 72933 0
[pid=32948/tid=32950] ppid=32945 vsize=360488 memory=6944656592387989600 CPUtime=12.29 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 76575 0 0 0 1223 6 0 0 20 0 3 0 5185757 369139712 60839 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=360488 memory=186500 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5185761 369139712 60839 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 360488 KiB
Current children cumulated memory: 243356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32956
/proc/meminfo: memFree=127924432/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=360488 memory=243748 CPUtime=25.41 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 137451 0 0 0 2529 12 0 0 20 0 3 0 5185726 369139712 60937 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 90122 60937 2998 3035 0 72933 0
[pid=32948/tid=32950] ppid=32945 vsize=360488 memory=243660 CPUtime=25.07 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 110118 0 0 0 2499 8 0 0 20 0 3 0 5185757 369139712 60937 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=360488 memory=243384 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5185761 369139712 60937 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 360488 KiB
Current children cumulated memory: 243748 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 33064
/proc/meminfo: memFree=128362008/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=360996 memory=272508 CPUtime=50.95 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 185646 0 0 0 5078 17 0 0 20 0 3 0 5185726 369659904 68127 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 90249 68127 2998 3035 0 79083 0
[pid=32948/tid=32950] ppid=32945 vsize=360996 memory=11592 CPUtime=50.62 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 158259 0 0 0 5049 13 0 0 20 0 3 0 5185757 369659904 68127 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=360996 memory=-7667778057160187515 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5185761 369659904 68127 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 360996 KiB
Current children cumulated memory: 272508 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 33072
/proc/meminfo: memFree=128190768/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=354908 memory=279208 CPUtime=102.02 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 237799 0 0 0 10181 21 0 0 20 0 3 0 5185726 363425792 69802 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 88727 69802 2998 3035 0 80868 0
[pid=32948/tid=32950] ppid=32945 vsize=354908 memory=279096 CPUtime=101.68 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 210369 0 0 0 10151 17 0 0 20 0 3 0 5185757 363425792 69802 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=354908 memory=272640 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 5185761 363425792 69802 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 354908 KiB
Current children cumulated memory: 279208 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 33128
/proc/meminfo: memFree=126849692/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=354908 memory=285048 CPUtime=161.86 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 284497 0 0 0 16160 26 0 0 20 0 3 0 5185726 363425792 71262 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 88727 71262 2998 3035 0 82863 0
[pid=32948/tid=32950] ppid=32945 vsize=354908 memory=285048 CPUtime=161.53 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 257016 0 0 0 16131 22 0 0 20 0 3 0 5185757 363425792 71262 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=354908 memory=12520 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5185761 363425792 71262 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 354908 KiB
Current children cumulated memory: 285048 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 33138
/proc/meminfo: memFree=126695068/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=420444 memory=295004 CPUtime=221.72 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 311995 0 0 0 22143 29 0 0 20 0 3 0 5185726 430534656 73751 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 105111 73751 2998 3035 0 85440 0
[pid=32948/tid=32950] ppid=32945 vsize=420444 memory=12936 CPUtime=221.38 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 284493 0 0 0 22113 25 0 0 20 0 3 0 5185757 430534656 73751 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=420444 memory=293980 CPUtime=0 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5185761 430534656 73751 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
################
# More data... #
################
/proc/32948/statm: 151548 134016 2998 3035 0 140486 0
[pid=32948/tid=32950] ppid=32945 vsize=606192 memory=11592 CPUtime=1837.26 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 699170 0 0 0 183639 87 0 0 20 0 3 0 5185757 620740608 134016 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=606192 memory=535896 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 122 0 0 0 0 1 0 0 20 0 3 0 5185761 620740608 134016 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 1837.7 s
Current children cumulated vsize: 606192 KiB
Current children cumulated memory: 536064 KiB
[startup+1902.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/268 34176
/proc/meminfo: memFree=126489808/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=606192 memory=540708 CPUtime=1897.55 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 740491 0 0 0 189655 100 0 0 20 0 3 0 5185726 620740608 135177 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 151548 135177 2998 3035 0 140486 0
[pid=32948/tid=32950] ppid=32945 vsize=606192 memory=536064 CPUtime=1897.1 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 712425 0 0 0 189620 90 0 0 20 0 3 0 5185757 620740608 135177 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=606192 memory=12936 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 128 0 0 0 0 1 0 0 20 0 3 0 5185761 620740608 135177 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 1897.55 s
Current children cumulated vsize: 606192 KiB
Current children cumulated memory: 540708 KiB
[startup+1962.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/268 34186
/proc/meminfo: memFree=126435932/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=606192 memory=550352 CPUtime=1957.41 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 753981 0 0 0 195639 102 0 0 20 0 3 0 5185726 620740608 137588 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 151548 137588 2998 3035 0 140486 0
[pid=32948/tid=32950] ppid=32945 vsize=606192 memory=541648 CPUtime=1956.97 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 725898 0 0 0 195605 92 0 0 20 0 3 0 5185757 620740608 137588 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=606192 memory=545580 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 130 0 0 0 0 1 0 0 20 0 3 0 5185761 620740608 137588 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 1957.41 s
Current children cumulated vsize: 606192 KiB
Current children cumulated memory: 550352 KiB
[startup+2022.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/267 34197
/proc/meminfo: memFree=126419864/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=606192 memory=550428 CPUtime=2017.26 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 761821 0 0 0 201622 104 0 0 20 0 3 0 5185726 620740608 137607 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 151548 137607 2998 3035 0 140486 0
[pid=32948/tid=32950] ppid=32945 vsize=606192 memory=550420 CPUtime=2016.82 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 733718 0 0 0 201588 94 0 0 20 0 3 0 5185757 620740608 137607 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=606192 memory=550428 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 5185761 620740608 137607 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2017.26 s
Current children cumulated vsize: 606192 KiB
Current children cumulated memory: 550428 KiB
[startup+2082.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/267 34209
/proc/meminfo: memFree=126336604/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2077.12 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778218 0 0 0 207605 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=11592 CPUtime=2076.66 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750091 0 0 0 207570 96 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=582884 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2077.12 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
[startup+2092.18 s]
# the end of solver process 32948 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2085.9 s, system=1.08122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2086.4 s]
/proc/loadavg: 4.16 4.15 4.17 5/267 34210
/proc/meminfo: memFree=126336408/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2081.21 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778232 0 0 0 208014 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=11592 CPUtime=2080.75 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750105 0 0 0 207979 96 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=582512 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2081.21 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
[startup+2089.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 34210
/proc/meminfo: memFree=126335944/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2084.4 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778284 0 0 0 208333 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=582936 CPUtime=2083.94 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750157 0 0 0 208298 96 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=-7019541185795547516 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2084.4 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
[startup+2091.2 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 34210
/proc/meminfo: memFree=126335124/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2086 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778291 0 0 0 208493 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=12936 CPUtime=2085.53 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750164 0 0 0 208457 96 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=-7019541185795547516 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2086 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
[startup+2091.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 34210
/proc/meminfo: memFree=126335124/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2086.4 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778292 0 0 0 208533 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=16000 CPUtime=2085.94 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750165 0 0 0 208497 97 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=2248 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2086.4 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
[startup+2092 s]*
/proc/loadavg: 4.15 4.15 4.17 5/267 34210
/proc/meminfo: memFree=126335048/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2086.8 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778292 0 0 0 208573 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=7686721470247706567 CPUtime=2086.35 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750165 0 0 0 208538 97 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=4641971638219992734 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2086.8 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
[startup+2092.11 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 34210
/proc/meminfo: memFree=126335048/131524600 swapFree=131071996/131071996
[pid=32948] ppid=32945 vsize=671728 memory=582936 CPUtime=2086.9 cores=4,6
/proc/32948/stat : 32948 (fscip) S 32945 32948 28631 0 -1 1077936128 778668 0 0 0 208583 107 0 0 20 0 3 0 5185726 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
/proc/32948/statm: 167932 145734 2998 3035 0 149158 0
[pid=32948/tid=32950] ppid=32945 vsize=671728 memory=11592 CPUtime=2086.44 cores=4,6
/proc/32948/task/32950/stat : 32950 (fscip) R 32945 32948 28631 0 -1 4194368 750540 0 0 0 208547 97 0 0 20 0 3 0 5185757 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
[pid=32948/tid=32951] ppid=32945 vsize=671728 memory=12936 CPUtime=0.01 cores=4,6
/proc/32948/task/32951/stat : 32951 (fscip) S 32945 32948 28631 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 5185761 687849472 145734 134679101440 4194304 16623229 140735414396720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28250112 140735414404118 140735414404234 140735414404234 140735414411248 0
Current children cumulated CPU time: 2086.9 s
Current children cumulated vsize: 671728 KiB
Current children cumulated memory: 582936 KiB
Child status: 0
Real time (s): 2092.18
CPU time (s): 2086.98
CPU user time (s): 2085.9
CPU system time (s): 1.08122
CPU usage (%): 99.7517
Max. virtual memory (cumulated for all children) (KiB): 671728
Max. memory (cumulated for all children) (KiB): 582936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2085.9
system time used= 1.08122
maximum resident set size= 582936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780584
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= 5767
involuntary context switches= 1556
# summary of solver processes directly reported to runsolver:
# pid: 32948
# total CPU time (s): 2086.98
# total CPU user time (s): 2085.9
# total CPU system time (s): 1.08122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96579 second user time and 9.78787 second system time
The end
Begin job on nodeC028 at 2024-07-31 02:30:12
IDJOB=4464497
IDBENCH=160391
IDSOLVER=3092
FILE ID=nodeC028/4464497-1722385812
RUNJOBID= nodeC028-1722378597-28642
SLURM_JOB_ID= 8249851
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464497-1722385812/watcher-4464497-1722385812 -o /tmp/evaluation-result-4464497-1722385812/solver-4464497-1722385812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28642 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464497-1722385812.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea5e7256587f4a4e9df55aed19f52ebe
RANDOM SEED=1078368009
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.721
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.909
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.396
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.426
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.996
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.407
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128206104 kB
MemAvailable: 129076576 kB
Buffers: 95968 kB
Cached: 1598624 kB
SwapCached: 0 kB
Active: 259656 kB
Inactive: 2554220 kB
Active(anon): 1532 kB
Inactive(anon): 1139088 kB
Active(file): 258124 kB
Inactive(file): 1415132 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 86376 kB
Writeback: 12 kB
AnonPages: 1118712 kB
Mapped: 125828 kB
Shmem: 21336 kB
KReclaimable: 74076 kB
Slab: 159992 kB
SReclaimable: 74076 kB
SUnreclaim: 85916 kB
KernelStack: 4288 kB
PageTables: 11288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 965568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 731136 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 6905856 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC028 at 2024-07-31 03:05:05