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.10/0.22 c Default LC presolving (default).
0.21/0.22 c ** Before presolving: virtualMemUsedAtLc = 78073409, getVmSize() = 69820416, SCIPgetMemUsed() = 39014178, SCIPgetMemTotal() = 46070346, SCIPgetMemExternEstim() = 32003063
0.21/0.22 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.89/0.91 c ** Estimated virtualMemUsedAtSolver = 68067960, getVmSize() = 97095680, SCIPgetMemUsed() = 39456286, SCIPgetMemTotal() = 70098878, SCIPgetMemExternEstim() = 32003063
0.89/0.91 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.89/0.91 c Original Problem :
0.89/0.91 c Problem name : instance-4464120-1722382196
0.89/0.91 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
0.89/0.91 c Constraints : 30390
0.89/0.91 c Objective sense : minimize
0.89/0.91 c Presolved Problem :
0.89/0.91 c Variables : 1422 (1422 binary, 0 integer, 0 implicit integer, 0 continuous)
0.89/0.91 c Constraints : 25322
0.89/0.91 c Constraints : Number
0.89/0.91 c setppc : 997
0.89/0.91 c and : 29
0.89/0.91 c logicor : 24296
0.89/0.91 c ** Instance transfer method used: 0
0.89/0.97 c ** ParaScipInstance copy does not increase the number of variables. **
0.98/1.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.98/1.06 c Nodes Active
0.98/1.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.77/1.81 c * 2 0 1 1 -14.0000 - -
16.43/16.55 c * 17 0 1 1 -15.0000 - -
16.43/16.55 c 17 0 1 1 -15.0000 - -
18.52/18.65 c * 19 0 1 1 -21.0000 - -
99.02/99.30 c * 99 0 1 1 -52.0000 - -
99.02/99.30 c 99 0 1 1 -52.0000 - -
144.18/144.60 c 145 2 1 1 -52.0000 -155.9820 199.97%
149.17/149.63 c 150 3 2 1 -52.0000 -155.9820 199.97%
156.66/157.13 c 157 5 4 1 -52.0000 -155.9820 199.97%
169.43/169.97 c * 170 6 5 1 -54.0000 -155.9820 188.86%
169.43/169.97 c 170 6 5 1 -54.0000 -155.9820 188.86%
175.21/175.79 c 176 8 7 1 -54.0000 -155.9820 188.86%
182.89/183.48 c 183 10 9 1 -54.0000 -155.9820 188.86%
194.66/195.27 c 195 12 11 1 -54.0000 -151.2836 180.15%
201.74/202.33 c 202 15 14 1 -54.0000 -151.2836 180.15%
216.70/217.39 c * 217 18 17 1 -55.0000 -151.2836 175.06%
216.70/217.39 c 217 18 17 1 -55.0000 -151.2836 175.06%
217.42/218.02 c * 218 20 19 1 -57.0000 -151.2836 165.41%
230.97/231.65 c 232 23 19 1 -57.0000 -145.3617 155.02%
237.96/238.67 c 239 26 18 1 -57.0000 -145.3617 155.02%
252.43/253.13 c * 253 27 17 1 -59.0000 -145.3617 146.38%
252.43/253.13 c 253 27 17 1 -59.0000 -145.3617 146.38%
252.82/253.57 c * 254 28 18 1 -61.0000 -145.3617 138.30%
259.61/260.33 c 260 33 17 1 -61.0000 -145.3617 138.30%
265.09/265.84 c 266 36 16 1 -61.0000 -145.3617 138.30%
265.59/266.33 c * 266 36 16 1 -62.0000 -145.3617 134.45%
272.97/273.76 c 274 40 16 1 -62.0000 -145.3617 134.45%
281.05/281.82 c 282 45 17 1 -62.0000 -145.3617 134.45%
287.03/287.89 c 288 50 14 1 -62.0000 -145.3617 134.45%
292.43/293.26 c 293 52 14 1 -62.0000 -145.3617 134.45%
331.73/332.66 c 333 53 15 1 -62.0000 -145.3617 134.45%
336.71/337.68 c 338 55 17 1 -62.0000 -145.3617 134.45%
344.50/345.43 c 345 60 16 1 -62.0000 -145.3617 134.45%
351.28/352.23 c 352 61 17 1 -62.0000 -145.3617 134.45%
356.47/357.49 c 357 62 18 1 -62.0000 -140.8750 127.22%
366.06/367.07 c 367 63 19 1 -62.0000 -140.8750 127.22%
370.23/371.20 c * 371 63 19 1 -65.0000 -140.8750 116.73%
373.43/374.50 c 374 66 18 1 -65.0000 -140.8750 116.73%
380.71/381.72 c 382 67 19 1 -65.0000 -140.8750 116.73%
386.20/387.29 c 387 69 21 1 -65.0000 -140.8750 116.73%
393.18/394.29 c 394 74 24 1 -65.0000 -140.8750 116.73%
400.08/401.19 c 401 76 22 1 -65.0000 -140.8750 116.73%
411.33/412.45 c 412 79 23 1 -65.0000 -140.8750 116.73%
423.02/424.12 c 424 83 23 1 -65.0000 -140.8750 116.73%
429.19/430.33 c 430 85 25 1 -65.0000 -140.8750 116.73%
435.88/437.07 c 437 86 24 1 -65.0000 -140.8750 116.73%
442.97/444.15 c 444 88 24 1 -65.0000 -140.8750 116.73%
451.03/452.22 c 452 90 22 1 -65.0000 -140.8750 116.73%
456.32/457.57 c 458 94 24 1 -65.0000 -140.8750 116.73%
463.91/465.12 c 465 101 23 1 -65.0000 -140.8750 116.73%
469.29/470.57 c 471 108 22 1 -65.0000 -140.8750 116.73%
474.38/475.69 c 476 110 24 1 -65.0000 -140.8750 116.73%
479.66/480.92 c 481 113 25 1 -65.0000 -140.8750 116.73%
488.64/489.92 c 490 116 24 1 -65.0000 -140.8750 116.73%
497.62/498.92 c 499 118 26 1 -65.0000 -140.8750 116.73%
503.50/504.88 c 505 133 27 1 -65.0000 -140.8750 116.73%
508.70/510.05 c 510 147 29 1 -65.0000 -140.8750 116.73%
514.97/516.32 c 516 158 26 1 -65.0000 -140.8750 116.73%
517.78/519.19 c * 519 161 25 1 -66.0000 -140.8750 113.45%
526.94/528.30 c 528 163 23 1 -66.0000 -140.8750 113.45%
538.63/540.07 c 540 166 24 1 -66.0000 -140.8750 113.45%
546.79/548.22 c 548 173 25 1 -66.0000 -140.8750 113.45%
554.07/555.59 c 556 175 27 1 -66.0000 -140.8750 113.45%
567.05/568.54 c 569 176 26 1 -66.0000 -140.8750 113.45%
582.91/584.45 c 584 177 27 1 -66.0000 -140.8750 113.45%
589.89/591.45 c 591 184 26 1 -66.0000 -140.8750 113.45%
601.36/602.91 c 603 185 25 1 -66.0000 -140.8750 113.45%
608.14/609.76 c 610 188 24 1 -66.0000 -140.8750 113.45%
613.34/614.94 c 615 190 26 1 -66.0000 -140.8750 113.45%
624.81/626.50 c 626 193 27 1 -66.0000 -140.8750 113.45%
631.19/632.84 c 633 197 25 1 -66.0000 -140.8750 113.45%
640.66/642.32 c 642 202 24 1 -66.0000 -138.9250 110.49%
663.80/665.51 c * 666 202 24 1 -69.0000 -138.9250 101.34%
663.80/665.51 c 666 202 24 1 -69.0000 -138.9250 101.34%
676.87/678.67 c 679 209 25 1 -69.0000 -138.9250 101.34%
685.05/686.88 c 687 211 25 1 -69.0000 -138.9250 101.34%
699.02/700.85 c 701 213 27 1 -69.0000 -138.9250 101.34%
705.50/707.31 c 707 219 27 1 -69.0000 -138.9250 101.34%
715.20/717.08 c 717 222 26 1 -69.0000 -138.9250 101.34%
721.28/723.18 c 723 224 28 1 -69.0000 -138.9250 101.34%
729.45/731.33 c 731 230 28 1 -69.0000 -138.9250 101.34%
734.73/736.66 c 737 231 29 1 -69.0000 -138.9250 101.34%
742.81/744.78 c 745 233 31 1 -69.0000 -138.7021 101.02%
748.40/750.32 c 750 235 33 1 -69.0000 -138.7021 101.02%
755.59/757.59 c 758 242 32 1 -69.0000 -138.7021 101.02%
761.67/763.65 c 764 245 31 1 -69.0000 -138.7021 101.02%
766.76/768.75 c 769 250 28 1 -69.0000 -138.7021 101.02%
772.64/774.67 c 775 254 28 1 -69.0000 -138.7021 101.02%
779.04/781.08 c 781 258 28 1 -69.0000 -138.7021 101.02%
784.81/786.87 c 787 261 29 1 -69.0000 -138.7021 101.02%
792.59/794.67 c 795 266 28 1 -69.0000 -138.7021 101.02%
799.57/801.69 c 802 271 29 1 -69.0000 -138.7021 101.02%
805.86/807.96 c 808 274 28 1 -69.0000 -138.7021 101.02%
815.95/818.02 c 818 276 28 1 -69.0000 -138.7021 101.02%
823.12/825.20 c 825 280 30 1 -69.0000 -138.7021 101.02%
831.01/833.16 c 833 289 27 1 -69.0000 -138.7021 101.02%
836.89/839.05 c 839 292 26 1 -69.0000 -137.3591 99.07%
843.67/845.80 c 846 293 27 1 -69.0000 -137.3591 99.07%
848.75/850.96 c 851 295 29 1 -69.0000 -137.3591 99.07%
857.13/859.38 c 859 299 27 1 -69.0000 -137.3591 99.07%
865.41/867.68 c 868 301 27 1 -69.0000 -137.3591 99.07%
873.19/875.45 c 875 303 29 1 -69.0000 -137.3591 99.07%
879.68/881.92 c 882 309 29 1 -69.0000 -137.3591 99.07%
888.46/890.72 c 891 315 29 1 -69.0000 -137.3591 99.07%
894.04/896.37 c 896 317 31 1 -69.0000 -137.3591 99.07%
900.13/902.41 c 902 319 31 1 -69.0000 -137.3591 99.07%
905.32/907.64 c 908 323 29 1 -69.0000 -137.3591 99.07%
912.40/914.78 c 915 325 31 1 -69.0000 -137.3591 99.07%
920.38/922.79 c 923 329 31 1 -69.0000 -137.3591 99.07%
928.57/930.97 c 931 331 31 1 -69.0000 -137.3591 99.07%
934.25/936.67 c 937 333 31 1 -69.0000 -137.3591 99.07%
940.34/942.71 c 943 337 29 1 -69.0000 -137.3591 99.07%
947.73/950.15 c 950 342 30 1 -69.0000 -137.0357 98.60%
961.18/963.65 c 964 343 31 1 -69.0000 -137.0357 98.60%
967.37/969.86 c 970 347 31 1 -69.0000 -137.0357 98.60%
979.55/982.03 c 982 349 31 1 -69.0000 -137.0357 98.60%
990.01/992.53 c 993 352 30 1 -69.0000 -137.0357 98.60%
995.80/998.30 c 998 354 32 1 -69.0000 -137.0357 98.60%
1003.29/1005.88 c 1006 365 31 1 -69.0000 -137.0357 98.60%
1009.27/1011.89 c 1012 368 34 1 -69.0000 -137.0357 98.60%
1014.36/1016.95 c 1017 375 31 1 -69.0000 -137.0357 98.60%
1020.74/1023.37 c 1023 377 33 1 -69.0000 -137.0357 98.60%
1030.43/1033.06 c 1033 379 31 1 -69.0000 -137.0357 98.60%
1035.61/1038.22 c 1038 381 33 1 -69.0000 -137.0357 98.60%
1040.19/1042.84 c * 1043 381 33 1 -71.0000 -137.0357 93.01%
1046.40/1049.02 c 1049 383 31 1 -71.0000 -137.0357 93.01%
1052.17/1054.80 c 1055 386 32 1 -71.0000 -137.0357 93.01%
1057.95/1060.66 c 1061 388 32 1 -71.0000 -137.0357 93.01%
1066.13/1068.86 c 1069 390 32 1 -71.0000 -137.0357 93.01%
1071.72/1074.46 c 1074 393 31 1 -71.0000 -137.0357 93.01%
1079.00/1081.77 c 1082 396 30 1 -71.0000 -137.0357 93.01%
1084.30/1087.03 c 1087 398 28 1 -71.0000 -137.0357 93.01%
1092.16/1095.01 c 1095 402 28 1 -71.0000 -136.0300 91.59%
1100.44/1103.21 c 1103 405 31 1 -71.0000 -136.0300 91.59%
1106.83/1109.62 c 1110 410 30 1 -71.0000 -136.0300 91.59%
1115.01/1117.80 c 1118 415 29 1 -71.0000 -136.0300 91.59%
1125.98/1128.86 c 1129 416 30 1 -71.0000 -136.0300 91.59%
1132.86/1135.79 c 1136 419 33 1 -71.0000 -136.0300 91.59%
1138.44/1141.36 c 1141 422 32 1 -71.0000 -135.5000 90.85%
1146.24/1149.14 c 1149 423 33 1 -71.0000 -135.5000 90.85%
1151.72/1154.67 c 1155 427 33 1 -71.0000 -135.5000 90.85%
1158.30/1161.26 c 1161 434 32 1 -71.0000 -135.5000 90.85%
1165.59/1168.59 c 1169 442 32 1 -71.0000 -135.5000 90.85%
1171.97/1174.99 c 1175 452 32 1 -71.0000 -135.5000 90.85%
1178.35/1181.36 c 1181 456 32 1 -71.0000 -135.5000 90.85%
1185.43/1188.40 c 1188 462 30 1 -71.0000 -135.1354 90.33%
1190.63/1193.61 c 1194 467 31 1 -71.0000 -135.1354 90.33%
1196.12/1199.11 c 1199 474 30 1 -71.0000 -135.1354 90.33%
1201.30/1204.31 c 1204 478 30 1 -71.0000 -135.1354 90.33%
1207.58/1210.64 c 1211 482 30 1 -71.0000 -135.1354 90.33%
1216.85/1219.96 c 1220 483 31 1 -71.0000 -135.1354 90.33%
1221.95/1225.07 c 1225 486 30 1 -71.0000 -135.1354 90.33%
1228.52/1231.61 c 1232 490 32 1 -71.0000 -135.1354 90.33%
1235.10/1238.28 c 1238 492 32 1 -71.0000 -135.1354 90.33%
1240.29/1243.47 c 1243 493 31 1 -71.0000 -135.1354 90.33%
1250.07/1253.24 c 1253 495 31 1 -71.0000 -135.1354 90.33%
1256.75/1259.92 c 1260 497 31 1 -71.0000 -135.1354 90.33%
1263.13/1266.36 c 1266 499 31 1 -71.0000 -135.1354 90.33%
1268.32/1271.56 c 1272 500 30 1 -71.0000 -135.1354 90.33%
1274.20/1277.40 c 1277 502 30 1 -71.0000 -135.1354 90.33%
1281.80/1285.05 c 1285 504 30 1 -71.0000 -135.1354 90.33%
1287.89/1291.14 c 1291 507 33 1 -71.0000 -135.1354 90.33%
1294.06/1297.32 c 1297 515 31 1 -71.0000 -135.1354 90.33%
1299.55/1302.88 c 1303 520 32 1 -71.0000 -135.1354 90.33%
1306.23/1309.50 c 1310 524 30 1 -71.0000 -135.1354 90.33%
1311.51/1314.85 c 1315 527 29 1 -71.0000 -135.1354 90.33%
1317.90/1321.25 c 1321 531 29 1 -71.0000 -135.1354 90.33%
1324.18/1327.51 c 1328 533 31 1 -71.0000 -135.1354 90.33%
1331.27/1334.69 c 1335 535 33 1 -71.0000 -135.1354 90.33%
1339.66/1343.09 c 1343 539 31 1 -71.0000 -135.1354 90.33%
1345.03/1348.43 c 1348 540 30 1 -71.0000 -135.1354 90.33%
1353.12/1356.57 c 1357 542 32 1 -71.0000 -135.1354 90.33%
1367.08/1370.55 c 1371 544 30 1 -71.0000 -135.1354 90.33%
1386.34/1389.80 c 1390 546 32 1 -71.0000 -135.1354 90.33%
1398.21/1401.70 c 1402 549 31 1 -71.0000 -135.1354 90.33%
1403.80/1407.36 c 1407 551 31 1 -71.0000 -135.1354 90.33%
1411.68/1415.24 c 1415 555 33 1 -71.0000 -135.1354 90.33%
1420.16/1423.73 c 1424 562 30 1 -71.0000 -135.1354 90.33%
1428.04/1431.65 c 1432 564 30 1 -71.0000 -135.1354 90.33%
1436.32/1439.90 c 1440 566 32 1 -71.0000 -135.1354 90.33%
1441.42/1445.10 c 1445 568 30 1 -71.0000 -135.1354 90.33%
1450.09/1453.79 c 1454 570 30 1 -71.0000 -135.1354 90.33%
1459.17/1462.90 c 1463 571 29 1 -71.0000 -135.1354 90.33%
1464.75/1468.47 c 1468 572 30 1 -71.0000 -134.4167 89.32%
1472.03/1475.77 c 1476 574 32 1 -71.0000 -134.4167 89.32%
1485.60/1489.32 c 1489 576 32 1 -71.0000 -134.4167 89.32%
1503.66/1507.47 c 1507 577 33 1 -71.0000 -134.4167 89.32%
1509.54/1513.39 c 1513 581 33 1 -71.0000 -131.3939 85.06%
1509.65/1513.41 c * 1513 581 33 1 -74.0000 -131.3939 77.56%
1515.35/1519.17 c 1519 583 33 1 -74.0000 -131.3939 77.56%
1523.91/1527.75 c 1528 588 34 1 -74.0000 -131.3939 77.56%
1532.00/1535.81 c 1536 590 32 1 -74.0000 -131.3939 77.56%
1537.08/1540.91 c 1541 594 32 1 -74.0000 -131.3939 77.56%
1544.36/1548.23 c 1548 598 34 1 -74.0000 -131.3939 77.56%
1554.04/1557.92 c 1558 602 34 1 -74.0000 -130.6250 76.52%
1563.32/1567.24 c 1567 603 35 1 -74.0000 -130.6250 76.52%
1568.71/1572.68 c 1573 605 35 1 -74.0000 -130.6250 76.52%
1577.10/1581.10 c 1581 608 36 1 -74.0000 -130.6250 76.52%
1583.18/1587.12 c 1587 612 34 1 -74.0000 -130.6250 76.52%
1589.56/1593.51 c 1594 615 33 1 -74.0000 -130.6250 76.52%
1597.15/1601.12 c 1601 619 33 1 -74.0000 -130.6250 76.52%
1602.73/1606.78 c 1607 621 35 1 -74.0000 -130.6250 76.52%
1608.13/1612.12 c 1612 626 34 1 -74.0000 -130.6250 76.52%
1616.39/1620.42 c 1620 632 32 1 -74.0000 -130.6250 76.52%
1621.68/1625.73 c 1626 637 35 1 -74.0000 -130.6250 76.52%
1629.26/1633.34 c 1633 644 32 1 -74.0000 -130.6250 76.52%
1634.65/1638.76 c 1639 648 34 1 -74.0000 -130.6250 76.52%
1641.63/1645.78 c 1646 652 32 1 -74.0000 -130.1903 75.93%
1675.56/1679.78 c 1680 653 33 1 -74.0000 -130.1903 75.93%
1682.74/1687.01 c 1687 656 34 1 -74.0000 -130.1903 75.93%
1688.52/1692.73 c 1693 658 36 1 -74.0000 -130.1903 75.93%
1695.50/1699.77 c 1700 661 35 1 -74.0000 -130.1903 75.93%
1702.99/1707.22 c 1707 663 35 1 -74.0000 -130.1903 75.93%
1708.18/1712.44 c 1712 666 34 1 -74.0000 -130.1903 75.93%
1715.46/1719.77 c 1720 669 33 1 -74.0000 -130.1903 75.93%
1722.95/1727.27 c 1727 672 34 1 -74.0000 -130.1903 75.93%
1731.74/1736.09 c 1736 674 34 1 -74.0000 -130.1903 75.93%
1738.41/1742.70 c 1743 675 33 1 -74.0000 -130.1903 75.93%
1745.09/1749.49 c 1749 678 32 1 -74.0000 -130.1903 75.93%
1750.18/1754.57 c 1755 681 33 1 -74.0000 -130.1903 75.93%
1756.27/1760.63 c 1761 689 31 1 -74.0000 -130.1903 75.93%
1763.25/1767.66 c 1768 691 31 1 -74.0000 -130.1903 75.93%
1772.23/1776.65 c 1777 692 30 1 -74.0000 -130.1903 75.93%
1778.81/1783.21 c 1783 694 30 1 -74.0000 -130.1903 75.93%
1784.49/1789.01 c 1789 696 30 1 -74.0000 -130.1903 75.93%
1795.46/1799.90 c 1800 697 29 1 -74.0000 -130.1903 75.93%
1811.72/1816.20 c 1816 698 30 1 -74.0000 -130.1903 75.93%
1818.71/1823.29 c 1823 703 31 1 -74.0000 -130.1903 75.93%
1823.90/1828.42 c 1828 707 31 1 -74.0000 -130.1903 75.93%
1831.18/1835.73 c 1836 711 29 1 -74.0000 -130.1903 75.93%
1836.37/1840.91 c 1841 713 31 1 -74.0000 -130.1903 75.93%
1841.76/1846.33 c 1846 716 30 1 -74.0000 -130.1903 75.93%
1848.04/1852.61 c 1853 721 31 1 -74.0000 -130.1903 75.93%
1858.43/1863.03 c 1863 723 29 1 -74.0000 -130.1903 75.93%
1864.00/1868.65 c 1869 725 29 1 -74.0000 -130.1903 75.93%
1872.28/1876.94 c 1877 726 30 1 -74.0000 -130.1903 75.93%
1877.77/1882.49 c 1882 729 29 1 -74.0000 -130.1903 75.93%
1883.66/1888.33 c 1888 731 31 1 -74.0000 -130.1903 75.93%
1889.04/1893.72 c 1894 733 31 1 -74.0000 -130.1903 75.93%
1898.92/1903.69 c 1904 734 30 1 -74.0000 -130.1903 75.93%
1906.10/1910.81 c 1911 736 30 1 -74.0000 -130.1903 75.93%
1912.08/1916.88 c 1917 738 30 1 -74.0000 -130.1903 75.93%
1927.36/1932.19 c 1932 740 32 1 -74.0000 -130.1903 75.93%
1936.54/1941.35 c 1941 745 29 1 -74.0000 -130.1903 75.93%
1941.62/1946.44 c 1946 748 28 1 -74.0000 -130.1903 75.93%
1949.40/1954.23 c 1954 751 31 1 -74.0000 -130.1903 75.93%
1954.39/1959.25 c 1959 755 29 1 -74.0000 -130.1903 75.93%
1960.88/1965.71 c 1966 759 29 1 -74.0000 -130.1903 75.93%
1968.66/1973.52 c 1974 762 28 1 -74.0000 -130.1903 75.93%
1976.84/1981.74 c 1982 763 29 1 -74.0000 -130.1903 75.93%
1982.33/1987.21 c 1987 765 31 1 -74.0000 -130.1903 75.93%
1987.51/1992.40 c 1992 770 30 1 -74.0000 -130.1903 75.93%
1994.80/1999.71 c 2000 773 29 1 -74.0000 -130.1903 75.93%
2001.28/2006.23 c 2006 776 30 1 -74.0000 -130.1903 75.93%
2007.96/2012.96 c 2013 779 29 1 -74.0000 -130.1903 75.93%
2015.45/2020.49 c 2020 781 29 1 -74.0000 -130.1903 75.93%
2022.73/2027.76 c 2028 783 29 1 -74.0000 -130.1903 75.93%
2032.02/2037.02 c 2037 786 28 1 -74.0000 -130.1903 75.93%
2040.19/2045.24 c 2045 789 27 1 -74.0000 -130.1903 75.93%
2046.09/2051.15 c 2051 791 29 1 -74.0000 -130.1903 75.93%
2051.26/2056.36 c 2056 793 29 1 -74.0000 -130.1903 75.93%
2056.55/2061.65 c 2062 794 28 1 -74.0000 -130.1903 75.93%
2066.52/2071.63 c 2072 798 28 1 -74.0000 -130.1903 75.93%
2078.60/2083.74 c 2084 800 28 1 -74.0000 -130.1903 75.93%
2090.88/2096.10 c 2096 801 29 1 -74.0000 -130.1903 75.93%
2100.64/2105.85 c 2106 805 27 1 -74.0000 -130.1903 75.93%
2113.71/2118.95 c 2119 806 28 1 -74.0000 -130.1903 75.93%
2119.10/2124.32 c 2124 808 30 1 -74.0000 -130.1903 75.93%
2124.39/2129.67 c 2130 814 30 1 -74.0000 -130.1903 75.93%
2130.47/2135.76 c 2136 821 29 1 -74.0000 -130.1903 75.93%
2136.16/2141.49 c 2141 823 29 1 -74.0000 -130.1903 75.93%
2142.75/2148.06 c 2148 830 28 1 -74.0000 -130.1903 75.93%
2148.53/2153.88 c 2154 835 27 1 -74.0000 -130.1903 75.93%
2153.83/2159.11 c 2159 839 27 1 -74.0000 -130.1903 75.93%
2160.91/2166.23 c 2166 841 29 1 -74.0000 -130.1903 75.93%
2168.70/2174.07 c 2174 847 27 1 -74.0000 -130.1903 75.93%
2175.07/2180.41 c 2180 850 26 1 -74.0000 -130.1903 75.93%
2199.82/2205.23 c 2205 853 27 1 -74.0000 -130.0833 75.79%
2205.00/2210.42 c 2210 854 28 1 -74.0000 -130.0833 75.79%
2213.98/2219.45 c 2219 856 30 1 -74.0000 -130.0833 75.79%
2220.07/2225.58 c 2226 859 31 1 -74.0000 -130.0833 75.79%
2225.57/2231.09 c 2231 861 31 1 -74.0000 -130.0833 75.79%
2235.93/2241.41 c 2241 864 30 1 -74.0000 -130.0833 75.79%
2241.42/2246.99 c 2247 866 30 1 -74.0000 -130.0833 75.79%
2246.71/2252.28 c 2252 868 30 1 -74.0000 -130.0833 75.79%
2253.89/2259.41 c 2259 872 30 1 -74.0000 -130.0833 75.79%
2262.48/2268.01 c 2268 874 28 1 -74.0000 -130.0833 75.79%
2270.65/2276.28 c 2276 876 28 1 -74.0000 -130.0833 75.79%
2277.54/2283.14 c 2283 879 29 1 -74.0000 -130.0833 75.79%
2285.31/2290.93 c 2291 884 30 1 -74.0000 -130.0833 75.79%
2290.41/2296.08 c 2296 888 28 1 -74.0000 -130.0833 75.79%
2298.68/2304.30 c 2304 893 27 1 -74.0000 -130.0833 75.79%
2306.56/2312.22 c 2312 898 28 1 -74.0000 -130.0833 75.79%
2313.94/2319.63 c 2320 902 28 1 -74.0000 -129.2000 74.59%
2319.34/2325.10 c 2325 904 30 1 -74.0000 -129.2000 74.59%
2325.62/2331.39 c 2331 906 28 1 -74.0000 -129.2000 74.59%
2334.70/2340.48 c 2340 911 27 1 -74.0000 -129.2000 74.59%
2340.98/2346.72 c 2347 913 27 1 -74.0000 -129.2000 74.59%
2348.96/2354.75 c 2355 917 27 1 -74.0000 -129.2000 74.59%
2360.04/2365.88 c 2366 921 25 1 -74.0000 -129.2000 74.59%
2365.34/2371.11 c 2371 923 25 1 -74.0000 -129.2000 74.59%
2372.41/2378.21 c 2378 925 27 1 -74.0000 -129.2000 74.59%
2378.50/2384.31 c 2384 929 27 1 -74.0000 -129.2000 74.59%
2383.98/2389.88 c 2390 932 26 1 -74.0000 -129.2000 74.59%
2390.87/2396.73 c 2397 934 28 1 -74.0000 -129.2000 74.59%
2397.16/2403.01 c 2403 937 31 1 -74.0000 -129.2000 74.59%
2402.74/2408.61 c 2409 944 28 1 -74.0000 -129.2000 74.59%
2408.52/2414.49 c 2414 949 29 1 -74.0000 -129.2000 74.59%
2414.12/2420.06 c 2420 952 28 1 -74.0000 -128.3393 73.43%
2422.99/2428.91 c 2429 953 29 1 -74.0000 -128.3393 73.43%
2430.67/2436.64 c 2437 959 29 1 -74.0000 -128.3393 73.43%
2436.46/2442.46 c 2442 968 30 1 -74.0000 -128.3393 73.43%
2443.34/2449.36 c 2449 972 30 1 -74.0000 -126.7500 71.28%
2450.82/2456.80 c 2457 973 31 1 -74.0000 -126.7500 71.28%
2458.40/2464.44 c 2464 981 31 1 -74.0000 -126.7500 71.28%
2464.30/2470.33 c 2470 988 30 1 -74.0000 -126.7500 71.28%
2470.28/2476.30 c 2476 991 29 1 -74.0000 -126.7500 71.28%
2477.47/2483.52 c 2484 999 29 1 -74.0000 -126.7500 71.28%
2486.24/2492.38 c 2492 1002 28 1 -74.0000 -126.7500 71.28%
2492.13/2498.27 c 2498 1004 30 1 -74.0000 -126.7500 71.28%
2497.42/2503.55 c 2504 1007 31 1 -74.0000 -126.7500 71.28%
2503.50/2509.61 c 2510 1010 30 1 -74.0000 -126.7500 71.28%
2510.00/2516.11 c 2516 1016 28 1 -74.0000 -126.7500 71.28%
2515.07/2521.28 c 2521 1018 28 1 -74.0000 -126.7500 71.28%
2523.15/2529.31 c 2529 1021 29 1 -74.0000 -126.7500 71.28%
2529.54/2535.74 c 2536 1025 27 1 -74.0000 -126.7500 71.28%
2535.94/2542.13 c 2542 1027 29 1 -74.0000 -126.7500 71.28%
2542.01/2548.26 c 2548 1033 27 1 -74.0000 -126.7500 71.28%
2550.49/2556.74 c 2557 1036 28 1 -74.0000 -126.7500 71.28%
2559.57/2565.80 c 2566 1038 28 1 -74.0000 -126.7500 71.28%
2566.45/2572.75 c 2573 1042 28 1 -74.0000 -126.7500 71.28%
2574.43/2580.79 c 2581 1044 26 1 -74.0000 -126.7500 71.28%
2583.72/2590.11 c 2590 1046 26 1 -74.0000 -126.7500 71.28%
2591.89/2598.22 c 2598 1048 26 1 -74.0000 -126.7500 71.28%
2599.68/2606.05 c 2606 1050 28 1 -74.0000 -126.7500 71.28%
2605.37/2611.78 c 2612 1058 28 1 -74.0000 -126.7500 71.28%
2613.25/2619.64 c 2620 1061 27 1 -74.0000 -126.7500 71.28%
2621.93/2628.31 c 2628 1064 30 1 -74.0000 -126.7500 71.28%
2627.51/2633.92 c 2634 1067 29 1 -74.0000 -126.7500 71.28%
2633.90/2640.31 c 2640 1071 27 1 -74.0000 -126.7500 71.28%
2640.78/2647.29 c 2647 1073 27 1 -74.0000 -126.7500 71.28%
2648.86/2655.30 c 2655 1075 27 1 -74.0000 -126.7500 71.28%
2655.35/2661.85 c 2662 1077 25 1 -74.0000 -126.7500 71.28%
2662.64/2669.19 c 2669 1079 27 1 -74.0000 -126.7500 71.28%
2668.22/2674.78 c 2675 1083 27 1 -74.0000 -126.7500 71.28%
2673.90/2680.42 c 2680 1088 26 1 -74.0000 -126.7500 71.28%
2679.60/2686.16 c 2686 1090 26 1 -74.0000 -126.7500 71.28%
2686.07/2692.63 c 2693 1092 24 1 -74.0000 -126.7500 71.28%
2693.85/2700.46 c 2700 1094 26 1 -74.0000 -126.7500 71.28%
2699.34/2705.97 c 2706 1096 28 1 -74.0000 -126.7500 71.28%
2706.92/2713.56 c 2714 1101 27 1 -74.0000 -126.7500 71.28%
2714.61/2721.26 c 2721 1103 25 1 -74.0000 -126.7500 71.28%
2722.69/2729.39 c 2729 1105 25 1 -74.0000 -126.7500 71.28%
2729.07/2735.78 c 2736 1108 28 1 -74.0000 -126.7500 71.28%
2740.35/2747.02 c 2747 1110 28 1 -74.0000 -126.7500 71.28%
2757.70/2764.47 c 2764 1111 29 1 -74.0000 -126.7500 71.28%
2771.87/2778.64 c 2779 1115 27 1 -74.0000 -126.7500 71.28%
2787.03/2793.82 c 2794 1116 28 1 -74.0000 -126.7500 71.28%
2793.12/2799.99 c 2800 1118 28 1 -74.0000 -126.7500 71.28%
2802.39/2809.20 c 2809 1123 27 1 -74.0000 -126.7500 71.28%
2811.77/2818.61 c 2819 1125 27 1 -74.0000 -126.7500 71.28%
2832.83/2839.76 c 2840 1126 26 1 -74.0000 -126.7500 71.28%
2847.39/2854.32 c 2854 1128 26 1 -74.0000 -126.7500 71.28%
2859.76/2866.78 c 2867 1129 27 1 -74.0000 -126.7500 71.28%
2866.65/2873.64 c 2874 1131 27 1 -74.0000 -126.7500 71.28%
2872.44/2879.45 c 2879 1135 25 1 -74.0000 -126.7500 71.28%
2878.62/2885.66 c 2886 1136 26 1 -74.0000 -126.7500 71.28%
2884.02/2891.07 c 2891 1138 28 1 -74.0000 -126.7500 71.28%
2889.19/2896.26 c 2896 1140 26 1 -74.0000 -126.7500 71.28%
2894.99/2902.03 c 2902 1142 26 1 -74.0000 -126.7500 71.28%
2902.76/2909.87 c 2910 1145 27 1 -74.0000 -126.7500 71.28%
2915.63/2922.77 c 2923 1147 25 1 -74.0000 -126.7500 71.28%
2923.61/2930.74 c 2931 1149 25 1 -74.0000 -126.7500 71.28%
2933.78/2940.96 c 2941 1150 24 1 -74.0000 -126.7500 71.28%
2939.27/2946.44 c 2946 1152 26 1 -74.0000 -126.7500 71.28%
2944.87/2952.04 c 2952 1155 25 1 -74.0000 -126.7500 71.28%
2950.65/2957.89 c 2958 1157 25 1 -74.0000 -126.7500 71.28%
2957.34/2964.51 c 2965 1159 25 1 -74.0000 -126.7500 71.28%
2962.83/2970.09 c 2970 1162 24 1 -74.0000 -126.7500 71.28%
2968.11/2975.35 c 2975 1164 24 1 -74.0000 -126.7500 71.28%
2973.19/2980.41 c 2980 1166 24 1 -74.0000 -126.7500 71.28%
2980.17/2987.48 c 2987 1172 24 1 -74.0000 -126.7500 71.28%
2985.66/2992.95 c 2993 1174 24 1 -74.0000 -126.7500 71.28%
2995.74/3003.10 c 3003 1177 23 1 -74.0000 -126.7500 71.28%
3002.91/3010.28 c 3010 1179 23 1 -74.0000 -126.7500 71.28%
3011.08/3018.46 c 3018 1181 23 1 -74.0000 -126.7500 71.28%
3022.45/3029.85 c 3030 1182 22 1 -74.0000 -126.7500 71.28%
3029.64/3037.08 c 3037 1184 22 1 -74.0000 -126.7500 71.28%
3040.00/3047.47 c 3047 1185 21 1 -74.0000 -126.7500 71.28%
3050.86/3058.37 c 3058 1187 23 1 -74.0000 -126.7500 71.28%
3055.95/3063.41 c 3063 1188 24 1 -74.0000 -126.7500 71.28%
3061.83/3069.35 c 3069 1190 24 1 -74.0000 -126.7500 71.28%
3069.31/3076.82 c 3077 1195 25 1 -74.0000 -126.7500 71.28%
3074.99/3082.51 c 3083 1196 24 1 -74.0000 -126.7500 71.28%
3082.37/3089.97 c 3090 1198 24 1 -74.0000 -126.7500 71.28%
3088.86/3096.49 c 3096 1200 22 1 -74.0000 -126.7500 71.28%
3096.74/3104.32 c 3104 1202 24 1 -74.0000 -126.7500 71.28%
3104.02/3111.62 c 3112 1204 26 1 -74.0000 -126.7500 71.28%
3109.70/3117.32 c 3117 1213 25 1 -74.0000 -126.7500 71.28%
3118.39/3126.05 c 3126 1217 25 1 -74.0000 -126.7500 71.28%
3125.37/3133.07 c 3133 1222 24 1 -74.0000 -126.7500 71.28%
3133.03/3140.74 c 3141 1225 23 1 -74.0000 -126.7500 71.28%
3138.52/3146.24 c 3146 1226 22 1 -74.0000 -126.7500 71.28%
3145.89/3153.60 c 3154 1227 23 1 -74.0000 -126.7500 71.28%
3154.17/3161.99 c 3162 1229 25 1 -74.0000 -126.7500 71.28%
3160.55/3168.31 c 3168 1235 25 1 -74.0000 -126.7500 71.28%
3169.12/3176.91 c 3177 1237 23 1 -74.0000 -126.7500 71.28%
3177.60/3185.45 c 3185 1241 23 1 -74.0000 -126.7500 71.28%
3182.78/3190.67 c 3191 1243 25 1 -74.0000 -126.7500 71.28%
3188.38/3196.26 c 3196 1244 24 1 -74.0000 -126.7500 71.28%
3193.86/3201.78 c 3202 1245 23 1 -74.0000 -126.7500 71.28%
3200.64/3208.54 c 3209 1247 23 1 -74.0000 -126.7500 71.28%
3205.63/3213.57 c 3214 1249 23 1 -74.0000 -126.7500 71.28%
3214.50/3222.47 c 3222 1251 23 1 -74.0000 -126.7500 71.28%
3223.38/3231.36 c 3231 1252 22 1 -74.0000 -126.7500 71.28%
3230.07/3238.06 c 3238 1254 22 1 -74.0000 -126.7500 71.28%
3238.83/3246.86 c 3247 1256 22 1 -74.0000 -126.7500 71.28%
3245.21/3253.22 c 3253 1258 24 1 -74.0000 -126.7500 71.28%
3253.00/3261.10 c 3261 1260 24 1 -74.0000 -126.7500 71.28%
3260.57/3268.69 c 3269 1261 23 1 -74.0000 -126.7500 71.28%
3273.53/3281.62 c 3282 1263 25 1 -74.0000 -126.1875 70.52%
3281.11/3289.20 c 3289 1265 25 1 -74.0000 -126.1875 70.52%
3287.90/3296.04 c 3296 1266 24 1 -74.0000 -126.1875 70.52%
3294.17/3302.36 c 3302 1267 25 1 -74.0000 -126.1875 70.52%
3300.55/3308.74 c 3309 1274 24 1 -74.0000 -126.1875 70.52%
3306.53/3314.80 c 3315 1276 26 1 -74.0000 -126.1875 70.52%
3311.62/3319.80 c 3320 1280 24 1 -74.0000 -126.1875 70.52%
3317.40/3325.66 c 3326 1282 24 1 -74.0000 -125.5625 69.68%
3325.79/3334.09 c 3334 1283 25 1 -74.0000 -125.5625 69.68%
3331.66/3339.91 c 3340 1285 27 1 -74.0000 -125.5625 69.68%
3338.24/3346.57 c 3347 1287 25 1 -74.0000 -125.5625 69.68%
3343.42/3351.71 c 3352 1289 25 1 -74.0000 -125.5625 69.68%
3348.72/3357.04 c 3357 1291 25 1 -74.0000 -125.5625 69.68%
3353.89/3362.20 c 3362 1293 25 1 -74.0000 -125.5625 69.68%
3360.97/3369.34 c 3369 1296 24 1 -74.0000 -125.5625 69.68%
3369.84/3378.24 c 3378 1297 23 1 -74.0000 -125.5625 69.68%
3375.14/3383.53 c 3384 1300 22 1 -74.0000 -125.5625 69.68%
3384.51/3392.98 c 3393 1302 24 1 -74.0000 -125.5625 69.68%
3395.59/3404.10 c 3404 1305 23 1 -74.0000 -125.5625 69.68%
3402.57/3411.01 c 3411 1307 23 1 -74.0000 -125.5625 69.68%
3419.01/3427.56 c 3428 1309 23 1 -74.0000 -125.5625 69.68%
3436.57/3445.17 c 3445 1310 24 1 -74.0000 -125.5625 69.68%
3442.45/3451.04 c 3451 1315 27 1 -74.0000 -125.5625 69.68%
3447.92/3456.56 c 3457 1321 27 1 -74.0000 -125.5625 69.68%
3453.31/3461.92 c 3462 1327 25 1 -74.0000 -125.5625 69.68%
3459.51/3468.13 c 3468 1332 26 1 -74.0000 -125.5625 69.68%
3465.28/3473.97 c 3474 1339 25 1 -74.0000 -125.5625 69.68%
3477.05/3485.79 c 3486 1343 25 1 -74.0000 -125.5625 69.68%
3482.35/3491.02 c 3491 1348 26 1 -74.0000 -125.5625 69.68%
3492.82/3501.56 c 3502 1355 25 1 -74.0000 -125.5625 69.68%
3503.69/3512.40 c 3512 1356 24 1 -74.0000 -125.5625 69.68%
3511.58/3520.36 c 3520 1357 25 1 -74.0000 -125.5625 69.68%
3518.56/3527.30 c 3527 1359 25 1 -74.0000 -125.5625 69.68%
3525.26/3534.05 c 3534 1368 28 1 -74.0000 -125.5625 69.68%
3532.13/3540.93 c 3541 1372 28 1 -74.0000 -123.1411 66.41%
3537.41/3546.21 c 3546 1375 29 1 -74.0000 -123.1411 66.41%
3544.31/3553.14 c 3553 1380 26 1 -74.0000 -123.1411 66.41%
3550.30/3559.12 c 3559 1383 25 1 -74.0000 -123.1411 66.41%
3558.76/3567.66 c 3568 1385 27 1 -74.0000 -123.1411 66.41%
3565.95/3574.81 c 3575 1388 26 1 -74.0000 -123.1411 66.41%
3572.63/3581.50 c 3582 1391 27 1 -74.0000 -123.1411 66.41%
3579.71/3588.62 c 3589 1395 25 1 -74.0000 -123.1411 66.41%
3586.70/3595.64 c 3596 1397 25 1 -74.0000 -123.1411 66.41%
3589.29/3598.25 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.29/3598.25 c Total Time : 3598.25
3589.29/3598.25 c solving : 3598.25
3589.29/3598.25 c presolving : 0.69 (included in solving)
3589.29/3598.25 c B&B Tree :
3589.29/3598.25 c nodes (total) : 1
3589.29/3598.25 c Solution :
3589.29/3598.25 c Solutions found : 16
3589.29/3598.25 c Primal Bound : -7.40000000000000e+01
3589.29/3598.25 c Dual Bound : -1.23141120507400e+02
3589.29/3598.25 c Gap : 66.40692 %
3589.29/3598.25 c * Warning: final gap: 6.64069e-01 is greater than SCIPepsilon: 1.00000e-09
3589.29/3598.27 o -74
3589.29/3598.27 s SATISFIABLE
3589.29/3598.27 v x2025 x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 x2016 -x2015 -x2014 x2013 x2012 x2011 -x2010 -x2009 x2008 x2007 -x2006
3589.29/3598.27 v x2005 x2004 x2003 x2002 -x2001 -x2000 x1999 -x1998 x1997 x1996 x1995 x1994 -x1993 -x1992 -x1991 x1990 -x1989 -x1988 -x1987
3589.29/3598.27 v -x1986 x1985 x1984 x1983 -x1982 x1981 x1980 -x1979 -x1978 -x1977 x1976 x1975 -x1974 -x1973 x1972 -x1971 -x1970 x1969 x1968
3589.29/3598.27 v -x1967 -x1966 x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 x1958 x1957 x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949
3589.29/3598.27 v x1948 x1947 -x1946 -x1945 x1944 x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931 -x1930
3589.29/3598.27 v -x1929 x1928 x1927 x1926 -x1925 -x1924 x1923 -x1922 -x1921 x1920 x1919 x1918 x1917 x1916 x1915 -x1914 -x1913 x1912 -x1911
3589.29/3598.27 v x1910 x1909 x1908 x1907 -x1906 -x1905 -x1904 x1903 x1902 -x1901 x1900 -x1899 -x1898 x1897 -x1896 -x1895 x1894 x1893 -x1892
3589.29/3598.27 v -x1891 x1890 x1889 -x1888 -x1887 -x1886 -x1885 -x1884 x1883 -x1882 -x1881 x1880 x1879 x1878 -x1877 -x1876 -x1875 -x1874 x1873
3589.29/3598.27 v -x1872 -x1871 x1870 -x1869 x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 x1860 x1859 -x1858 x1857 x1856 -x1855 x1854
3589.29/3598.27 v -x1853 -x1852 x1851 -x1850 x1849 -x1848 x1847 -x1846 -x1845 x1844 x1843 x1842 x1841 x1840 -x1839 -x1838 -x1837 x1836 x1835 x1834
3589.29/3598.27 v -x1833 -x1832 x1831 -x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 x1821 -x1820 -x1819 -x1818 x1817 x1816 x1815
3589.29/3598.27 v x1814 -x1813 -x1812 -x1811 -x1810 -x1809 x1808 -x1807 x1806 -x1805 -x1804 x1803 x1802 -x1801 -x1800 x1799 x1798 x1797 x1796
3589.29/3598.27 v -x1795 x1794 x1793 -x1792 -x1791 -x1790 -x1789 x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 x1780 x1779 -x1778 -x1777
3589.29/3598.27 v -x1776 -x1775 -x1774 -x1773 x1772 -x1771 -x1770 -x1769 -x1768 x1767 -x1766 x1765 x1764 x1763 -x1762 -x1761 -x1760 x1759
3589.29/3598.27 v -x1758 -x1757 x1756 x1755 x1754 x1753 -x1752 x1751 x1750 x1749 x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
3589.29/3598.27 v x1739 -x1738 -x1737 -x1736 -x1735 x1734 x1733 x1732 -x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722 -x1721 x1720
3589.29/3598.27 v x1719 x1718 x1717 -x1716 x1715 x1714 x1713 -x1712 -x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 -x1703 x1702 x1701 -x1700
3589.29/3598.27 v -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 x1682
3589.29/3598.27 v x1681 -x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1672 -x1671 x1670 x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663
3589.29/3598.27 v x1662 x1661 x1660 x1659 -x1658 -x1657 x1656 x1655 x1654 x1653 x1652 x1651 -x1650 -x1649 -x1648 -x1647 x1646 x1645 -x1644
3589.29/3598.27 v -x1643 x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 x1633 x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 x1625
3589.29/3598.27 v x1624 x1623 x1622 x1621 -x1620 -x1619 x1618 x1617 -x1616 -x1615 -x1614 -x1613 x1612 x1611 -x1610 -x1609 x1608 -x1607 -x1606
3589.29/3598.27 v x1605 x1604 -x1603 -x1602 x1601 -x1600 x1599 x1598 x1597 x1596 -x1595 -x1594 -x1593 x1592 x1591 x1590 x1589 x1588 x1587 -x1586
3589.29/3598.27 v -x1585 x1584 x1583 x1582 x1581 -x1580 x1579 x1578 -x1577 x1576 -x1575 x1574 x1573 -x1572 -x1571 x1570 x1569 -x1568 -x1567
3589.29/3598.27 v -x1566 -x1565 -x1564 -x1563 -x1562 x1561 x1560 -x1559 x1558 x1557 x1556 -x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549 -x1548
3589.29/3598.27 v -x1547 -x1546 x1545 -x1544 x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529
3589.29/3598.27 v x1528 x1527 x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520 x1519 x1518 -x1517 -x1516 x1515 -x1514 -x1513 -x1512 x1511 x1510
3589.29/3598.27 v x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 x1498 x1497 x1496 -x1495 -x1494 x1493 x1492 x1491
3589.29/3598.27 v -x1490 -x1489 -x1488 x1487 -x1486 x1485 -x1484 -x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 -x1474 -x1473 x1472 x1471
3589.29/3598.27 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 x1461 -x1460 -x1459 x1458 x1457 x1456 x1455 x1454 -x1453 x1452
3589.29/3598.27 v -x1451 -x1450 x1449 x1448 -x1447 x1446 -x1445 x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 x1436 x1435 x1434 x1433
3589.29/3598.27 v x1432 x1431 x1430 x1429 x1428 x1427 x1426 x1425 x1424 -x1423 -x1422 -x1421 x1420 x1419 x1418 x1417 -x1416 -x1415 -x1414 -x1413
3589.29/3598.27 v -x1412 -x1411 x1410 x1409 x1408 x1407 -x1406 -x1405 x1404 x1403 x1402 -x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 x1394
3589.29/3598.27 v x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 -x1385 -x1384 x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376
3589.29/3598.27 v x1375 x1374 -x1373 -x1372 -x1371 -x1370 x1369 x1368 x1367 x1366 -x1365 -x1364 x1363 -x1362 -x1361 x1360 x1359 -x1358 x1357 x1356
3589.29/3598.27 v x1355 x1354 x1353 -x1352 -x1351 -x1350 -x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 -x1338 x1337 -x1336
3589.29/3598.27 v -x1335 x1334 -x1333 -x1332 x1331 x1330 x1329 x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 -x1321 -x1320 x1319 -x1318 x1317
3589.29/3598.27 v x1316 -x1315 -x1314 x1313 x1312 -x1311 x1310 -x1309 x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 x1299 x1298
3589.29/3598.27 v x1297 -x1296 x1295 x1294 x1293 -x1292 -x1291 x1290 x1289 -x1288 x1287 x1286 -x1285 -x1284 -x1283 x1282 x1281 -x1280 x1279 -x1278
3589.29/3598.27 v x1277 -x1276 -x1275 -x1274 x1273 x1272 x1271 -x1270 -x1269 x1268 -x1267 -x1266 x1265 x1264 x1263 x1262 x1261 -x1260 -x1259
3589.29/3598.27 v -x1258 -x1257 -x1256 -x1255 x1254 x1253 x1252 x1251 x1250 x1249 -x1248 -x1247 x1246 x1245 x1244 x1243 x1242 x1241 -x1240
3589.29/3598.27 v -x1239 -x1238 -x1237 -x1236 -x1235 x1234 x1233 -x1232 -x1231 x1230 -x1229 -x1228 x1227 -x1226 x1225 x1224 x1223 -x1222 -x1221
3589.29/3598.27 v -x1220 x1219 x1218 -x1217 -x1216 x1215 x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 x1207 -x1206 -x1205 x1204 x1203 x1202 -x1201
3589.29/3598.27 v -x1200 x1199 x1198 x1197 -x1196 -x1195 x1194 x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 x1184 x1183 -x1182
3589.29/3598.27 v x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 x1168 x1167 x1166 -x1165 -x1164 -x1163
3589.29/3598.27 v -x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 x1148 -x1147 x1146 -x1145
3589.29/3598.27 v -x1144 x1143 x1142 -x1141 x1140 -x1139 x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 x1129 x1128 x1127 -x1126
3589.29/3598.27 v -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 x1114 x1113 x1112 x1111 x1110 x1109 -x1108 -x1107
3589.29/3598.27 v x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 x1098 x1097 x1096 x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 x1087
3589.29/3598.27 v x1086 x1085 x1084 x1083 -x1082 -x1081 -x1080 -x1079 x1078 x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 -x1070 x1069 x1068
3589.29/3598.27 v x1067 -x1066 -x1065 -x1064 x1063 -x1062 -x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 x1054 -x1053 x1052 x1051 -x1050 -x1049
3589.29/3598.27 v x1048 -x1047 -x1046 -x1045 -x1044 x1043 x1042 -x1041 -x1040 -x1039 -x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030
3589.29/3598.27 v x1029 -x1028 -x1027 x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 x1019 x1018 x1017 -x1016 -x1015 x1014 x1013 -x1012 -x1011
3589.29/3598.27 v -x1010 -x1009 x1008 x1007 -x1006 -x1005 x1004 x1003 -x1002 -x1001 x1000 x999 -x998 -x997 -x996 -x995 x994 x993 x992 x991 x990
3589.29/3598.27 v -x989 -x988 x987 -x986 -x985 -x984 x983 x982 x981 x980 x979 x978 -x977 x976 x975 -x974 -x973 x972 x971 x970 x969 -x968 x967
3589.29/3598.27 v -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 x958 -x957 x956 -x955 x954 -x953 x952 x951 -x950 x949 -x948 x947 -x946 -x945
3589.29/3598.27 v -x944 x943 x942 x941 x940 x939 -x938 x937 -x936 x935 x934 -x933 x932 x931 x930 -x929 -x928 x927 x926 -x925 x924 -x923 -x922 x921
3589.29/3598.27 v x920 x919 x918 x917 x916 -x915 x914 -x913 x912 -x911 -x910 -x909 x908 x907 -x906 x905 x904 -x903 -x902 x901 x900 -x899 x898
3589.29/3598.27 v -x897 x896 x895 -x894 -x893 -x892 -x891 x890 x889 -x888 x887 -x886 x885 x884 x883 -x882 -x881 x880 x879 x878 x877 -x876 -x875
3589.29/3598.27 v -x874 -x873 x872 x871 x870 x869 -x868 x867 -x866 -x865 -x864 -x863 x862 x861 -x860 -x859 x858 -x857 -x856 x855 x854 -x853
3589.29/3598.27 v x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 x844 x843 x842 x841 x840 -x839 x838 -x837 -x836 x835 x834 -x833 -x832 x831 x830
3589.29/3598.27 v x829 x828 -x827 -x826 -x825 x824 x823 x822 x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 x811 -x810 -x809 x808 -x807
3589.29/3598.27 v -x806 x805 x804 -x803 x802 -x801 -x800 x799 x798 x797 x796 -x795 -x794 x793 x792 x791 x790 x789 -x788 -x787 x786 -x785 x784
3589.29/3598.27 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 x775 x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 x766 x765 x764 -x763 x762
3589.29/3598.27 v x761 x760 -x759 -x758 -x757 -x756 x755 x754 -x753 -x752 x751 x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 x741 -x740
3589.29/3598.27 v -x739 -x738 x737 x736 x735 -x734 x733 -x732 -x731 -x730 x729 -x728 -x727 x726 -x725 x724 x723 -x722 x721 -x720 -x719 x718 -x717
3589.29/3598.27 v -x716 x715 -x714 -x713 x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696
3589.29/3598.27 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 x675
3589.29/3598.27 v x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654
3589.29/3598.27 v x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 -x633 -x632
3589.29/3598.27 v -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
3589.29/3598.27 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 -x591 -x590
3589.29/3598.27 v -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569
3589.29/3598.27 v -x568 -x567 -x566 x565 x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547
3589.29/3598.27 v -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526
3589.29/3598.27 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
3589.29/3598.27 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484
3589.29/3598.27 v -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463
3589.29/3598.27 v -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442
3589.29/3598.27 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421
3589.29/3598.27 v -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
3589.29/3598.27 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
3589.29/3598.27 v -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
3589.29/3598.27 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
3589.29/3598.27 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
3589.29/3598.27 v -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
3589.29/3598.27 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
3589.29/3598.27 v x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253
3589.29/3598.27 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232
3589.29/3598.27 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
3589.29/3598.27 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
3589.29/3598.27 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
3589.29/3598.27 v -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
3589.29/3598.27 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
3589.29/3598.27 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
3589.29/3598.27 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
3589.40/3598.32 v -x80 x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 x71 -x70 x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
3589.40/3598.32 v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 x38 x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28
3589.40/3598.32 v x27 x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 x1
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: 64096 MiB (61192 MiB free)
memory of node 1: 64473 MiB (57730 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464120-1722382196/watcher-4464120-1722382196 -o /tmp/evaluation-result-4464120-1722382196/solver-4464120-1722382196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30828 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464120-1722382196.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=33134, runsolver pid=33131
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.10 4.13 4.09 5/251 33135
/proc/meminfo: memFree=121753644/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=36896 memory=25216 CPUtime=0.1 cores=4,6
/proc/33134/stat : 33134 (fscip) R 33131 33134 30817 0 -1 4194304 4219 0 0 0 9 1 0 0 20 0 1 0 4816145 37781504 6304 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 9224 6304 2347 3035 0 5620 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36896 KiB
Current children cumulated memory: 25216 KiB
[startup+0.213212 s]*
/proc/loadavg: 4.10 4.13 4.09 5/251 33135
/proc/meminfo: memFree=121718204/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=69624 memory=57188 CPUtime=0.21 cores=4,6
/proc/33134/stat : 33134 (fscip) R 33131 33134 30817 0 -1 4194304 12154 0 0 0 18 3 0 0 20 0 1 0 4816145 71294976 14297 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 17406 14297 2598 3035 0 13802 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69624 KiB
Current children cumulated memory: 57188 KiB
[startup+0.313228 s]*
/proc/loadavg: 4.10 4.13 4.09 5/251 33135
/proc/meminfo: memFree=121689776/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=73044 memory=60680 CPUtime=0.31 cores=4,6
/proc/33134/stat : 33134 (fscip) R 33131 33134 30817 0 -1 4194304 13000 0 0 0 28 3 0 0 20 0 1 0 4816145 74797056 15170 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 18261 15170 2614 3035 0 14657 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73044 KiB
Current children cumulated memory: 60680 KiB
[startup+0.700338 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 33135
/proc/meminfo: memFree=121649288/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=85648 memory=73860 CPUtime=0.69 cores=4,6
/proc/33134/stat : 33134 (fscip) R 33131 33134 30817 0 -1 4194304 19937 0 0 0 63 6 0 0 20 0 1 0 4816145 87703552 18465 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 21412 18465 2710 3035 0 17808 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85648 KiB
Current children cumulated memory: 73860 KiB
[startup+1.50069 s]
/proc/loadavg: 4.10 4.13 4.09 5/252 33136
/proc/meminfo: memFree=121649840/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=179468 memory=138640 CPUtime=1.47 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 39819 0 0 0 137 10 0 0 20 0 3 0 4816145 183775232 34660 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 44867 34660 2790 3035 0 38602 0
[pid=33134/tid=33136] ppid=33131 vsize=179468 memory=2780 CPUtime=0.5 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 13375 0 0 0 47 3 0 0 20 0 3 0 4816236 183775232 34660 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 179468 KiB
Current children cumulated memory: 138640 KiB
[startup+3.11278 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 33141
/proc/meminfo: memFree=121318168/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=245004 memory=200292 CPUtime=3.07 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 57308 0 0 0 293 14 0 0 20 0 3 0 4816145 250884096 50073 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 61251 50073 2950 3035 0 54476 0
[pid=33134/tid=33136] ppid=33131 vsize=245004 memory=199804 CPUtime=2.1 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 30857 0 0 0 203 7 0 0 20 0 3 0 4816236 250884096 50073 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=245004 memory=198340509722 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4816252 250884096 50073 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 245004 KiB
Current children cumulated memory: 200292 KiB
[startup+6.30031 s]
/proc/loadavg: 4.17 4.14 4.09 5/256 33198
/proc/meminfo: memFree=121291112/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=245004 memory=200296 CPUtime=6.25 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 59433 0 0 0 611 14 0 0 20 0 3 0 4816145 250884096 50074 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 61251 50074 2950 3035 0 54476 0
[pid=33134/tid=33136] ppid=33131 vsize=245004 memory=200296 CPUtime=5.28 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 32975 0 0 0 521 7 0 0 20 0 3 0 4816236 250884096 50074 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=245004 memory=2433 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4816252 250884096 50074 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 245004 KiB
Current children cumulated memory: 200296 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.09 5/256 33200
/proc/meminfo: memFree=121282112/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=245004 memory=201004 CPUtime=12.64 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 74958 0 0 0 1249 15 0 0 20 0 3 0 4816145 250884096 50251 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 61251 50251 2966 3035 0 54476 0
[pid=33134/tid=33136] ppid=33131 vsize=245004 memory=201004 CPUtime=11.66 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 48491 0 0 0 1159 7 0 0 20 0 3 0 4816236 250884096 50251 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=245004 memory=74120 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4816252 250884096 50251 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 245004 KiB
Current children cumulated memory: 201004 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 33202
/proc/meminfo: memFree=121250872/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=310540 memory=217408 CPUtime=25.41 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 110882 0 0 0 2524 17 0 0 20 0 3 0 4816145 317992960 54352 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 77635 54352 3014 3035 0 59483 0
[pid=33134/tid=33136] ppid=33131 vsize=310540 memory=12036 CPUtime=24.43 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 84049 0 0 0 2434 9 0 0 20 0 3 0 4816236 317992960 54352 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=310540 memory=217408 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4816252 317992960 54352 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 310540 KiB
Current children cumulated memory: 217408 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 33205
/proc/meminfo: memFree=121155280/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=376076 memory=261984 CPUtime=50.96 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 178920 0 0 0 5074 22 0 0 20 0 3 0 4816145 385101824 65496 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 94019 65496 3014 3035 0 75555 0
[pid=33134/tid=33136] ppid=33131 vsize=376076 memory=12036 CPUtime=49.98 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 152066 0 0 0 4984 14 0 0 20 0 3 0 4816236 385101824 65496 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=376076 memory=261548 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4816252 385101824 65496 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 376076 KiB
Current children cumulated memory: 261984 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 33215
/proc/meminfo: memFree=121128264/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=376076 memory=264060 CPUtime=102 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 212028 0 0 0 10177 23 0 0 20 0 3 0 4816145 385101824 66015 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 94019 66015 3014 3035 0 79530 0
[pid=33134/tid=33136] ppid=33131 vsize=376076 memory=263444 CPUtime=101.03 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 184781 0 0 0 10087 16 0 0 20 0 3 0 4816236 385101824 66015 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=376076 memory=14824 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4816252 385101824 66015 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 376076 KiB
Current children cumulated memory: 264060 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 33226
/proc/meminfo: memFree=120975996/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=376076 memory=289540 CPUtime=161.84 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 246068 0 0 0 16157 27 0 0 20 0 3 0 4816145 385101824 72385 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 94019 72385 3014 3035 0 87588 0
[pid=33134/tid=33136] ppid=33131 vsize=376076 memory=289528 CPUtime=160.86 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 218736 0 0 0 16067 19 0 0 20 0 3 0 4816236 385101824 72385 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=376076 memory=12036 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 4816252 385101824 72385 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 376076 KiB
Current children cumulated memory: 289540 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 33236
/proc/meminfo: memFree=120899252/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=376076 memory=290280 CPUtime=221.7 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 279401 0 0 0 22141 29 0 0 20 0 3 0 4816145 385101824 72570 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 94019 72570 3014 3035 0 87588 0
[pid=33134/tid=33136] ppid=33131 vsize=376076 memory=12744 CPUtime=220.71 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 251304 0 0 0 22050 21 0 0 20 0 3 0 4816236 385101824 72570 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=376076 memory=290036 CPUtime=0 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 4816252 385101824 72570 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 376076 KiB
Current children cumulated memory: 290280 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/252 33246
################
# More data... #
################
[pid=33134] ppid=33131 vsize=640608 memory=586428 CPUtime=3453.71 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 932277 0 0 0 345292 79 0 0 20 0 3 0 4816145 655982592 146607 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 160152 146607 3014 3035 0 153253 0
[pid=33134/tid=33136] ppid=33131 vsize=640608 memory=582576 CPUtime=3452.57 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 901458 0 0 0 345192 65 0 0 20 0 3 0 4816236 655982592 146607 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=640608 memory=586428 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 339 0 0 0 2 3 0 0 20 0 3 0 4816252 655982592 146607 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 640608 KiB
Current children cumulated memory: 586428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/254 34974
/proc/meminfo: memFree=118532588/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=640608 memory=586444 CPUtime=3513.57 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 935716 0 0 0 351277 80 0 0 20 0 3 0 4816145 655982592 146611 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 160152 146611 3014 3035 0 153253 0
[pid=33134/tid=33136] ppid=33131 vsize=640608 memory=586428 CPUtime=3512.43 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 904879 0 0 0 351178 65 0 0 20 0 3 0 4816236 655982592 146611 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=640608 memory=12036 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 344 0 0 0 2 3 0 0 20 0 3 0 4816252 655982592 146611 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 640608 KiB
Current children cumulated memory: 586444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 34985
/proc/meminfo: memFree=118484228/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597096 CPUtime=3573.43 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940260 0 0 0 357263 80 0 0 20 0 3 0 4816145 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149274 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=14936 CPUtime=3572.29 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909407 0 0 0 357163 66 0 0 20 0 3 0 4816236 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=-7595720463122261373 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 349 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597096 KiB
[startup+3598.33 s]
# the end of solver process 33134 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.62 s, system=0.817482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.12 5/254 34985
/proc/meminfo: memFree=118484008/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597096 CPUtime=3575.14 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940260 0 0 0 357434 80 0 0 20 0 3 0 4816145 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149274 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=-7595720463122261373 CPUtime=3574 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909407 0 0 0 357334 66 0 0 20 0 3 0 4816236 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=4572165843995750049 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 349 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3575.14 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597096 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34985
/proc/meminfo: memFree=118483896/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597096 CPUtime=3581.51 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940381 0 0 0 358071 80 0 0 20 0 3 0 4816145 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149274 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=597096 CPUtime=3580.37 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909528 0 0 0 357971 66 0 0 20 0 3 0 4816236 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=597096 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 349 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3581.51 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597096 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483280/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597096 CPUtime=3584.7 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940497 0 0 0 358390 80 0 0 20 0 3 0 4816145 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149274 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=-7595720463122261373 CPUtime=3583.56 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909641 0 0 0 358290 66 0 0 20 0 3 0 4816236 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=-7595720463122261373 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 351 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149274 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3584.7 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597096 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.12 6/243 35033
/proc/meminfo: memFree=121016180/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597168 CPUtime=3587.89 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940655 0 0 0 358709 80 0 0 20 0 3 0 4816145 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149292 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=597028 CPUtime=3586.76 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909797 0 0 0 358610 66 0 0 20 0 3 0 4816236 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=597096 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 351 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3587.89 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597168 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.11 4.12 6/250 35078
/proc/meminfo: memFree=120839900/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597168 CPUtime=3588.69 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940655 0 0 0 358789 80 0 0 20 0 3 0 4816145 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149292 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=14936 CPUtime=3587.55 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909797 0 0 0 358689 66 0 0 20 0 3 0 4816236 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=12744 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 351 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3588.69 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597168 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.11 4.12 6/245 35082
/proc/meminfo: memFree=121336952/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597168 CPUtime=3589.1 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 940669 0 0 0 358830 80 0 0 20 0 3 0 4816145 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149292 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=-6000919489853155180 CPUtime=3587.97 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 909813 0 0 0 358731 66 0 0 20 0 3 0 4816236 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=2708 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 351 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597168 KiB
[startup+3598.2 s]
/proc/loadavg: 4.11 4.11 4.12 6/245 35082
/proc/meminfo: memFree=121336952/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=644828 memory=597168 CPUtime=3589.29 cores=4,6
/proc/33134/stat : 33134 (fscip) S 33131 33134 30817 0 -1 1077936128 941302 0 0 0 358849 80 0 0 20 0 3 0 4816145 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 161207 149292 3014 3035 0 156015 0
[pid=33134/tid=33136] ppid=33131 vsize=644828 memory=571772 CPUtime=3588.15 cores=4,6
/proc/33134/task/33136/stat : 33136 (fscip) R 33131 33134 30817 0 -1 4194368 910442 0 0 0 358749 66 0 0 20 0 3 0 4816236 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
[pid=33134/tid=33137] ppid=33131 vsize=644828 memory=-7595720463122261373 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 351 0 0 0 2 3 0 0 20 0 3 0 4816252 660303872 149292 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3589.29 s
Current children cumulated vsize: 644828 KiB
Current children cumulated memory: 597168 KiB
[startup+3598.3 s]
/proc/loadavg: 4.11 4.11 4.12 6/245 35082
/proc/meminfo: memFree=121336952/131655788 swapFree=131071996/131071996
[pid=33134] ppid=33131 vsize=508636 memory=475764 CPUtime=3589.4 cores=4,6
/proc/33134/stat : 33134 (fscip) R 33131 33134 30817 0 -1 4194304 945094 0 0 0 358859 81 0 0 20 0 2 0 4816145 520843264 118941 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
/proc/33134/statm: 127159 118941 3014 3035 0 122577 0
[pid=33134/tid=33137] ppid=33131 vsize=508636 memory=597096 CPUtime=0.05 cores=4,6
/proc/33134/task/33137/stat : 33137 (fscip) S 33131 33134 30817 0 -1 1077936192 351 0 0 0 2 3 0 0 20 0 2 0 4816252 520843264 118941 134679101440 4194304 16623229 140726206225920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54386688 140726206227478 140726206227594 140726206227594 140726206234608 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 508636 KiB
Current children cumulated memory: 475764 KiB
Child status: 0
Real time (s): 3598.33
CPU time (s): 3589.43
CPU user time (s): 3588.62
CPU system time (s): 0.817482
CPU usage (%): 99.7527
Max. virtual memory (cumulated for all children) (KiB): 644828
Max. memory (cumulated for all children) (KiB): 597168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.62
system time used= 0.817482
maximum resident set size= 597168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945368
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= 5638
involuntary context switches= 2018
# summary of solver processes directly reported to runsolver:
# pid: 33134
# total CPU time (s): 3589.43
# total CPU user time (s): 3588.62
# total CPU system time (s): 0.817482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7095 second user time and 35.2859 second system time
The end
Begin job on nodeC006 at 2024-07-31 01:29:56
IDJOB=4464120
IDBENCH=148796
IDSOLVER=3092
FILE ID=nodeC006/4464120-1722382196
RUNJOBID= nodeC006-1722378594-30828
SLURM_JOB_ID= 8249836
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.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-4464120-1722382196/watcher-4464120-1722382196 -o /tmp/evaluation-result-4464120-1722382196/solver-4464120-1722382196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30828 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464120-1722382196.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ca30f964c4e5ef94d3a8b7b5eee835f7
RANDOM SEED=99795441
nodeC006.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 : 0xb00001f
cpu MHz : 3491.733
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 3491.732
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.331
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 1197.304
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1396.696
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 1197.186
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121791712 kB
MemAvailable: 129513800 kB
Buffers: 97992 kB
Cached: 8393032 kB
SwapCached: 0 kB
Active: 270228 kB
Inactive: 9015928 kB
Active(anon): 1420 kB
Inactive(anon): 815352 kB
Active(file): 268808 kB
Inactive(file): 8200576 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117100 kB
Writeback: 12 kB
AnonPages: 795560 kB
Mapped: 122572 kB
Shmem: 21320 kB
KReclaimable: 185804 kB
Slab: 272960 kB
SReclaimable: 185804 kB
SUnreclaim: 87156 kB
KernelStack: 4016 kB
PageTables: 10420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 895456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 280576 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: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 02:29:55