0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 78073409, getVmSize() = 69799936, SCIPgetMemUsed() = 39014098, SCIPgetMemTotal() = 46070346, SCIPgetMemExternEstim() = 32003063
0.00/0.10 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.40/0.49 c ** Estimated virtualMemUsedAtSolver = 68067960, getVmSize() = 96976896, SCIPgetMemUsed() = 39456206, SCIPgetMemTotal() = 70098878, SCIPgetMemExternEstim() = 32003063
0.40/0.49 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.40/0.49 c Original Problem :
0.40/0.49 c Problem name : instance-4434788-1721122675
0.40/0.49 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.49 c Constraints : 30390
0.40/0.49 c Objective sense : minimize
0.40/0.49 c Presolved Problem :
0.40/0.49 c Variables : 1422 (1422 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.49 c Constraints : 25322
0.40/0.49 c Constraints : Number
0.40/0.49 c setppc : 997
0.40/0.49 c and : 29
0.40/0.49 c logicor : 24296
0.40/0.49 c ** Instance transfer method used: 0
0.50/0.54 c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.57 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.57 c Nodes Active
0.50/0.57 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.88/0.99 c * 1 0 1 1 -14.0000 - -
14.72/14.88 c * 15 0 1 1 -15.0000 - -
14.72/14.88 c 15 0 1 1 -15.0000 - -
16.82/16.99 c * 17 0 1 1 -21.0000 - -
97.84/98.21 c * 98 0 1 1 -52.0000 - -
97.84/98.21 c 98 0 1 1 -52.0000 - -
142.89/143.47 c 143 2 1 1 -52.0000 -155.9820 199.97%
147.97/148.54 c 149 3 2 1 -52.0000 -155.9820 199.97%
155.45/156.08 c 156 5 4 1 -52.0000 -155.9820 199.97%
168.31/168.98 c * 169 6 5 1 -54.0000 -155.9820 188.86%
168.31/168.98 c 169 6 5 1 -54.0000 -155.9820 188.86%
174.21/174.83 c 175 8 7 1 -54.0000 -155.9820 188.86%
181.89/182.55 c 183 10 9 1 -54.0000 -155.9820 188.86%
193.75/194.48 c 194 12 11 1 -54.0000 -151.2836 180.15%
200.83/201.59 c 202 15 14 1 -54.0000 -151.2836 180.15%
215.99/216.73 c * 217 18 17 1 -55.0000 -151.2836 175.06%
215.99/216.73 c 217 18 17 1 -55.0000 -151.2836 175.06%
216.59/217.37 c * 217 20 19 1 -57.0000 -151.2836 165.41%
230.26/231.06 c 231 23 19 1 -57.0000 -145.3617 155.02%
237.24/238.08 c 238 26 18 1 -57.0000 -145.3617 155.02%
251.70/252.52 c * 253 27 17 1 -59.0000 -145.3617 146.38%
251.70/252.52 c 253 27 17 1 -59.0000 -145.3617 146.38%
252.11/252.96 c * 253 28 18 1 -61.0000 -145.3617 138.30%
258.89/259.75 c 260 33 17 1 -61.0000 -145.3617 138.30%
264.37/265.29 c 265 36 16 1 -61.0000 -145.3617 138.30%
264.87/265.78 c * 266 36 16 1 -62.0000 -145.3617 134.45%
272.35/273.23 c 273 40 16 1 -62.0000 -145.3617 134.45%
280.42/281.34 c 281 45 17 1 -62.0000 -145.3617 134.45%
286.51/287.41 c 287 50 14 1 -62.0000 -145.3617 134.45%
291.90/292.81 c 293 52 14 1 -62.0000 -145.3617 134.45%
331.10/332.17 c 332 53 15 1 -62.0000 -145.3617 134.45%
336.18/337.21 c 337 55 17 1 -62.0000 -145.3617 134.45%
343.86/344.93 c 345 60 16 1 -62.0000 -145.3617 134.45%
350.54/351.68 c 352 61 17 1 -62.0000 -145.3617 134.45%
355.83/356.93 c 357 62 18 1 -62.0000 -140.8750 127.22%
365.50/366.60 c 367 63 19 1 -62.0000 -140.8750 127.22%
369.59/370.73 c * 371 63 19 1 -65.0000 -140.8750 116.73%
372.89/374.01 c 374 66 18 1 -65.0000 -140.8750 116.73%
380.06/381.22 c 381 67 19 1 -65.0000 -140.8750 116.73%
385.55/386.79 c 387 69 21 1 -65.0000 -140.8750 116.73%
392.63/393.80 c 394 74 24 1 -65.0000 -140.8750 116.73%
399.41/400.65 c 401 76 22 1 -65.0000 -140.8750 116.73%
410.59/411.84 c 412 79 23 1 -65.0000 -140.8750 116.73%
422.16/423.44 c 423 83 23 1 -65.0000 -140.8750 116.73%
428.34/429.65 c 430 85 25 1 -65.0000 -140.8750 116.73%
435.02/436.33 c 436 86 24 1 -65.0000 -140.8750 116.73%
442.01/443.31 c 443 88 24 1 -65.0000 -140.8750 116.73%
449.99/451.30 c 451 90 22 1 -65.0000 -140.8750 116.73%
455.27/456.66 c 457 94 24 1 -65.0000 -140.8750 116.73%
462.76/464.18 c 464 101 23 1 -65.0000 -140.8750 116.73%
468.24/469.64 c 470 108 22 1 -65.0000 -140.8750 116.73%
473.32/474.76 c 475 110 24 1 -65.0000 -140.8750 116.73%
478.61/480.01 c 480 113 25 1 -65.0000 -140.8750 116.73%
487.48/488.99 c 489 116 24 1 -65.0000 -140.8750 116.73%
496.45/497.96 c 498 118 26 1 -65.0000 -140.8750 116.73%
502.43/503.93 c 504 133 27 1 -65.0000 -140.8750 116.73%
507.62/509.12 c 509 147 29 1 -65.0000 -140.8750 116.73%
513.90/515.41 c 515 158 26 1 -65.0000 -140.8750 116.73%
516.69/518.29 c * 518 161 25 1 -66.0000 -140.8750 113.45%
525.75/527.38 c 527 163 23 1 -66.0000 -140.8750 113.45%
537.52/539.10 c 539 166 24 1 -66.0000 -140.8750 113.45%
545.59/547.23 c 547 173 25 1 -66.0000 -140.8750 113.45%
552.87/554.57 c 555 175 27 1 -66.0000 -140.8750 113.45%
565.73/567.49 c 568 176 26 1 -66.0000 -140.8750 113.45%
581.67/583.42 c 583 177 27 1 -66.0000 -140.8750 113.45%
588.55/590.36 c 590 184 26 1 -66.0000 -140.8750 113.45%
599.92/601.74 c 602 185 25 1 -66.0000 -140.8750 113.45%
606.69/608.58 c 609 188 24 1 -66.0000 -140.8750 113.45%
611.89/613.77 c 614 190 26 1 -66.0000 -140.8750 113.45%
623.44/625.32 c 625 193 27 1 -66.0000 -140.8750 113.45%
629.72/631.64 c 632 197 25 1 -66.0000 -140.8750 113.45%
639.20/641.13 c 641 202 24 1 -66.0000 -138.9250 110.49%
662.22/664.26 c * 664 202 24 1 -69.0000 -138.9250 101.34%
662.22/664.26 c 664 202 24 1 -69.0000 -138.9250 101.34%
675.38/677.45 c 677 209 25 1 -69.0000 -138.9250 101.34%
683.65/685.72 c 686 211 25 1 -69.0000 -138.9250 101.34%
698.02/700.15 c 700 213 27 1 -69.0000 -138.9250 101.34%
703.69/705.86 c 706 219 27 1 -69.0000 -138.9250 101.34%
714.46/716.61 c 717 222 26 1 -69.0000 -138.9250 101.34%
720.94/723.15 c 723 224 28 1 -69.0000 -138.9250 101.34%
727.22/729.42 c 729 226 30 1 -69.0000 -138.9250 101.34%
733.59/735.80 c 736 229 29 1 -69.0000 -138.9250 101.34%
739.27/741.53 c 742 232 28 1 -69.0000 -138.7021 101.02%
746.55/748.87 c 749 233 29 1 -69.0000 -138.7021 101.02%
753.03/755.31 c 755 237 31 1 -69.0000 -138.7021 101.02%
758.71/761.10 c 761 242 30 1 -69.0000 -138.7021 101.02%
763.89/766.28 c 766 247 29 1 -69.0000 -138.7021 101.02%
769.18/771.52 c 772 249 31 1 -69.0000 -138.7021 101.02%
777.25/779.64 c 780 252 30 1 -69.0000 -137.3591 99.07%
785.02/787.48 c 787 253 31 1 -69.0000 -137.3591 99.07%
796.28/798.74 c 799 256 32 1 -69.0000 -137.3591 99.07%
805.56/808.00 c 808 262 32 1 -69.0000 -137.0357 98.60%
811.84/814.32 c 814 263 33 1 -69.0000 -137.0357 98.60%
817.63/820.12 c 820 269 33 1 -69.0000 -137.0357 98.60%
825.40/827.96 c 828 276 32 1 -69.0000 -137.0357 98.60%
831.68/834.28 c 834 278 34 1 -69.0000 -137.0357 98.60%
839.25/841.86 c 842 280 36 1 -69.0000 -137.0357 98.60%
847.03/849.66 c 850 281 35 1 -69.0000 -137.0357 98.60%
858.70/861.31 c 861 282 34 1 -69.0000 -137.0357 98.60%
871.96/874.65 c 875 284 34 1 -69.0000 -137.0357 98.60%
884.72/887.46 c 887 285 35 1 -69.0000 -137.0357 98.60%
891.99/894.74 c 895 289 37 1 -69.0000 -137.0357 98.60%
898.28/901.09 c 901 292 36 1 -69.0000 -137.0357 98.60%
905.45/908.27 c 908 293 37 1 -69.0000 -137.0357 98.60%
910.83/913.61 c 914 297 37 1 -69.0000 -137.0357 98.60%
917.71/920.53 c 921 302 38 1 -69.0000 -137.0357 98.60%
923.40/926.25 c 926 309 37 1 -69.0000 -137.0357 98.60%
928.77/931.68 c 932 313 37 1 -69.0000 -137.0357 98.60%
936.65/939.54 c 940 319 35 1 -69.0000 -137.0357 98.60%
948.80/951.78 c 952 320 36 1 -69.0000 -137.0357 98.60%
956.99/959.92 c 960 327 35 1 -69.0000 -137.0357 98.60%
963.96/966.90 c 967 328 34 1 -69.0000 -137.0357 98.60%
973.73/976.74 c 977 329 33 1 -69.0000 -137.0357 98.60%
982.30/985.37 c 985 331 35 1 -69.0000 -137.0357 98.60%
991.77/994.88 c 995 333 37 1 -69.0000 -136.0300 97.14%
998.15/1001.24 c 1001 336 40 1 -69.0000 -136.0300 97.14%
1005.43/1008.51 c 1009 338 40 1 -69.0000 -136.0300 97.14%
1011.91/1015.01 c 1015 343 39 1 -69.0000 -136.0300 97.14%
1017.00/1020.14 c 1020 348 38 1 -69.0000 -136.0300 97.14%
1022.58/1025.78 c 1026 352 36 1 -69.0000 -135.5000 96.38%
1030.05/1033.25 c 1033 353 37 1 -69.0000 -135.5000 96.38%
1036.43/1039.63 c 1040 356 40 1 -69.0000 -135.5000 96.38%
1041.72/1044.92 c 1045 359 43 1 -69.0000 -135.5000 96.38%
1047.20/1050.46 c 1050 362 42 1 -69.0000 -135.5000 96.38%
1054.18/1057.45 c 1057 368 40 1 -69.0000 -135.5000 96.38%
1059.76/1063.06 c 1063 372 40 1 -69.0000 -135.5000 96.38%
1064.85/1068.18 c 1068 378 40 1 -69.0000 -135.5000 96.38%
1070.62/1073.94 c 1074 389 37 1 -69.0000 -135.5000 96.38%
1079.30/1082.60 c 1083 393 39 1 -69.0000 -135.5000 96.38%
1088.48/1091.90 c * 1092 395 39 1 -74.0000 -135.5000 83.11%
1088.48/1091.90 c 1092 395 39 1 -74.0000 -135.5000 83.11%
1091.57/1094.96 c * 1095 395 39 1 -82.0000 -135.5000 65.24%
1101.04/1104.45 c 1104 397 35 1 -82.0000 -135.5000 65.24%
1106.42/1109.85 c 1110 398 34 1 -82.0000 -135.5000 65.24%
1111.81/1115.21 c 1115 400 36 1 -82.0000 -135.5000 65.24%
1118.19/1121.65 c 1122 405 33 1 -82.0000 -135.5000 65.24%
1125.47/1128.94 c 1129 409 33 1 -82.0000 -135.5000 65.24%
1131.05/1134.54 c 1135 411 35 1 -82.0000 -135.5000 65.24%
1137.23/1140.75 c 1141 416 34 1 -82.0000 -135.5000 65.24%
1142.62/1146.10 c 1146 419 33 1 -82.0000 -135.5000 65.24%
1148.40/1151.99 c 1152 422 32 1 -82.0000 -135.5000 65.24%
1154.08/1157.62 c 1158 424 34 1 -82.0000 -135.5000 65.24%
1159.27/1162.82 c 1163 428 34 1 -82.0000 -135.5000 65.24%
1165.85/1169.40 c 1169 432 34 1 -82.0000 -135.5000 65.24%
1171.04/1174.64 c 1175 435 33 1 -82.0000 -135.5000 65.24%
1178.10/1181.78 c 1182 439 33 1 -82.0000 -135.5000 65.24%
1184.78/1188.43 c 1188 443 33 1 -82.0000 -135.5000 65.24%
1192.37/1196.06 c 1196 446 32 1 -82.0000 -135.5000 65.24%
1203.43/1207.18 c 1207 448 32 1 -82.0000 -135.5000 65.24%
1210.00/1213.79 c 1214 450 32 1 -82.0000 -135.5000 65.24%
1215.49/1219.23 c 1219 452 34 1 -82.0000 -135.5000 65.24%
1221.47/1225.21 c 1225 458 32 1 -82.0000 -135.5000 65.24%
1227.25/1231.05 c 1231 461 31 1 -82.0000 -135.5000 65.24%
1233.23/1237.10 c 1237 464 30 1 -82.0000 -135.5000 65.24%
1242.30/1246.14 c 1246 465 29 1 -82.0000 -135.5000 65.24%
1248.77/1252.69 c 1253 467 31 1 -82.0000 -135.5000 65.24%
1256.16/1260.01 c 1260 469 31 1 -82.0000 -135.5000 65.24%
1261.84/1265.79 c 1266 470 30 1 -82.0000 -135.5000 65.24%
1269.02/1272.92 c 1273 472 30 1 -82.0000 -135.5000 65.24%
1279.29/1283.28 c 1283 473 31 1 -82.0000 -135.5000 65.24%
1285.97/1289.90 c 1290 477 31 1 -82.0000 -135.5000 65.24%
1293.54/1297.54 c 1298 481 31 1 -82.0000 -135.5000 65.24%
1298.63/1302.62 c 1303 482 30 1 -82.0000 -135.5000 65.24%
1304.61/1308.67 c 1309 484 30 1 -82.0000 -135.5000 65.24%
1315.87/1319.93 c 1320 485 29 1 -82.0000 -135.5000 65.24%
1324.84/1328.91 c 1329 486 28 1 -82.0000 -135.5000 65.24%
1331.12/1335.24 c 1335 488 30 1 -82.0000 -135.5000 65.24%
1339.01/1343.16 c 1343 492 28 1 -82.0000 -135.5000 65.24%
1344.09/1348.25 c 1348 495 29 1 -82.0000 -135.5000 65.24%
1350.17/1354.31 c 1354 498 28 1 -82.0000 -135.5000 65.24%
1357.35/1361.54 c 1362 500 30 1 -82.0000 -135.5000 65.24%
1363.53/1367.77 c 1368 504 30 1 -82.0000 -135.5000 65.24%
1370.41/1374.66 c 1375 508 30 1 -82.0000 -135.5000 65.24%
1376.49/1380.71 c 1381 510 28 1 -82.0000 -135.5000 65.24%
1382.37/1386.67 c 1387 512 28 1 -82.0000 -135.5000 65.24%
1390.15/1394.49 c 1394 514 28 1 -82.0000 -135.5000 65.24%
1396.23/1400.59 c 1401 516 30 1 -82.0000 -135.5000 65.24%
1404.20/1408.58 c 1409 519 29 1 -82.0000 -135.5000 65.24%
1411.07/1415.45 c 1415 522 28 1 -82.0000 -135.1354 64.80%
1417.25/1421.69 c 1422 530 28 1 -82.0000 -135.1354 64.80%
1423.04/1427.42 c 1427 537 27 1 -82.0000 -135.1354 64.80%
1429.32/1433.71 c 1434 539 27 1 -82.0000 -135.1354 64.80%
1437.10/1441.59 c 1442 540 26 1 -82.0000 -135.1354 64.80%
1444.28/1448.71 c 1449 542 26 1 -82.0000 -135.1354 64.80%
1456.54/1461.02 c 1461 544 26 1 -82.0000 -135.1354 64.80%
1463.62/1468.17 c 1468 546 28 1 -82.0000 -135.1354 64.80%
1469.10/1473.69 c 1474 548 30 1 -82.0000 -135.1354 64.80%
1476.28/1480.85 c 1481 552 30 1 -82.0000 -135.1354 64.80%
1485.45/1490.01 c 1490 553 31 1 -82.0000 -135.1354 64.80%
1490.63/1495.24 c 1495 555 31 1 -82.0000 -135.1354 64.80%
1499.00/1503.67 c 1504 558 32 1 -82.0000 -135.1354 64.80%
1507.87/1512.55 c 1513 564 30 1 -82.0000 -135.1354 64.80%
1513.36/1518.01 c 1518 566 32 1 -82.0000 -135.1354 64.80%
1518.75/1523.49 c 1524 571 31 1 -82.0000 -135.1354 64.80%
1523.83/1528.54 c 1529 573 31 1 -82.0000 -135.1354 64.80%
1532.01/1536.71 c 1537 580 30 1 -82.0000 -135.1354 64.80%
1537.99/1542.73 c 1543 584 30 1 -82.0000 -135.1354 64.80%
1544.86/1549.69 c 1550 587 29 1 -82.0000 -135.1354 64.80%
1553.04/1557.84 c 1558 592 28 1 -82.0000 -135.1354 64.80%
1558.92/1563.77 c 1564 594 28 1 -82.0000 -135.1354 64.80%
1569.89/1574.70 c 1575 602 28 1 -82.0000 -134.4167 63.92%
1579.06/1583.92 c 1584 603 29 1 -82.0000 -134.4167 63.92%
1585.44/1590.31 c 1590 607 31 1 -82.0000 -134.4167 63.92%
1592.72/1597.63 c 1598 613 29 1 -82.0000 -134.4167 63.92%
1598.40/1603.39 c 1603 615 29 1 -82.0000 -134.4167 63.92%
1603.78/1608.71 c 1609 619 29 1 -82.0000 -134.4167 63.92%
1609.17/1614.13 c 1614 625 29 1 -82.0000 -134.4167 63.92%
1614.65/1619.62 c 1620 629 27 1 -82.0000 -134.4167 63.92%
1620.93/1625.97 c 1626 631 29 1 -82.0000 -134.4167 63.92%
1627.21/1632.29 c 1632 633 29 1 -82.0000 -134.4167 63.92%
1634.79/1639.88 c 1640 639 29 1 -82.0000 -134.4167 63.92%
1668.58/1673.71 c 1674 643 29 1 -82.0000 -133.0047 62.20%
1675.06/1680.24 c 1680 645 29 1 -82.0000 -133.0047 62.20%
1688.22/1693.45 c 1693 648 30 1 -82.0000 -133.0047 62.20%
1710.24/1715.59 c 1716 650 32 1 -82.0000 -133.0047 62.20%
1716.03/1721.33 c 1721 652 34 1 -82.0000 -133.0047 62.20%
1722.01/1727.36 c 1727 657 31 1 -82.0000 -133.0047 62.20%
1727.69/1733.01 c 1733 660 32 1 -82.0000 -133.0047 62.20%
1732.87/1738.23 c 1738 661 31 1 -82.0000 -133.0047 62.20%
1738.46/1743.83 c 1744 662 32 1 -82.0000 -132.5000 61.59%
1745.84/1751.20 c 1751 665 33 1 -82.0000 -132.5000 61.59%
1751.82/1757.29 c 1757 669 33 1 -82.0000 -132.5000 61.59%
1757.90/1763.30 c 1763 672 32 1 -82.0000 -132.5000 61.59%
1763.69/1769.11 c 1769 676 32 1 -82.0000 -132.5000 61.59%
1772.16/1777.64 c 1778 682 32 1 -82.0000 -130.7500 59.45%
1782.53/1788.04 c 1788 683 33 1 -82.0000 -130.7500 59.45%
1789.30/1794.84 c 1795 686 34 1 -82.0000 -130.7500 59.45%
1797.98/1803.58 c 1804 692 32 1 -82.0000 -130.7500 59.45%
1803.56/1809.18 c 1809 694 34 1 -82.0000 -130.7500 59.45%
1811.24/1816.82 c 1817 696 36 1 -82.0000 -130.7500 59.45%
1819.52/1825.19 c 1825 698 34 1 -82.0000 -130.7500 59.45%
1826.49/1832.19 c 1832 700 34 1 -82.0000 -130.7500 59.45%
1835.56/1841.23 c 1841 702 34 1 -82.0000 -130.6250 59.30%
1843.64/1849.39 c 1849 703 35 1 -82.0000 -130.6250 59.30%
1850.12/1855.83 c 1856 705 37 1 -82.0000 -130.6250 59.30%
1856.99/1862.71 c 1863 706 36 1 -82.0000 -130.6250 59.30%
1864.57/1870.30 c 1870 707 35 1 -82.0000 -130.6250 59.30%
1882.41/1888.21 c 1888 709 35 1 -82.0000 -130.6250 59.30%
1888.50/1894.37 c 1894 710 34 1 -82.0000 -130.6250 59.30%
1893.58/1899.46 c 1899 711 35 1 -82.0000 -130.6250 59.30%
1899.17/1905.01 c 1905 717 35 1 -82.0000 -130.6250 59.30%
1906.44/1912.38 c 1912 722 34 1 -82.0000 -130.6250 59.30%
1912.32/1918.20 c 1918 727 37 1 -82.0000 -130.6250 59.30%
1919.10/1925.03 c 1925 732 34 1 -82.0000 -130.0833 58.64%
1925.78/1931.72 c 1932 733 35 1 -82.0000 -130.0833 58.64%
1931.26/1937.23 c 1937 738 38 1 -82.0000 -130.0833 58.64%
1937.05/1943.04 c 1943 744 36 1 -82.0000 -130.0833 58.64%
1945.42/1951.46 c 1951 749 37 1 -82.0000 -130.0833 58.64%
1951.10/1957.16 c 1957 753 37 1 -82.0000 -130.0833 58.64%
1958.78/1964.83 c 1965 758 36 1 -82.0000 -130.0833 58.64%
1966.35/1972.45 c 1972 768 34 1 -82.0000 -130.0833 58.64%
1974.23/1980.36 c 1980 769 35 1 -82.0000 -130.0833 58.64%
1979.61/1985.76 c 1986 772 34 1 -82.0000 -130.0833 58.64%
1984.70/1990.89 c 1991 773 33 1 -82.0000 -130.0833 58.64%
1990.58/1996.73 c 1997 775 35 1 -82.0000 -130.0833 58.64%
1996.36/2002.58 c 2003 778 34 1 -82.0000 -130.0833 58.64%
2002.44/2008.64 c 2009 780 34 1 -82.0000 -130.0833 58.64%
2007.73/2013.91 c 2014 784 32 1 -82.0000 -130.0833 58.64%
2013.91/2020.16 c 2020 787 35 1 -82.0000 -130.0833 58.64%
2018.99/2025.24 c 2025 792 32 1 -82.0000 -130.0833 58.64%
2024.27/2030.55 c 2031 795 33 1 -82.0000 -130.0833 58.64%
2031.25/2037.57 c 2038 797 31 1 -82.0000 -130.0833 58.64%
2037.13/2043.47 c 2043 798 32 1 -82.0000 -130.0833 58.64%
2043.31/2049.67 c 2050 805 31 1 -82.0000 -130.0833 58.64%
2051.48/2057.88 c 2058 814 30 1 -82.0000 -130.0833 58.64%
2057.97/2064.32 c 2064 816 30 1 -82.0000 -130.0833 58.64%
2063.66/2070.04 c 2070 820 30 1 -82.0000 -130.0833 58.64%
2071.53/2077.95 c 2078 824 30 1 -82.0000 -130.0833 58.64%
2081.89/2088.32 c 2088 826 28 1 -82.0000 -130.0833 58.64%
2089.87/2096.36 c 2096 830 28 1 -82.0000 -130.0833 58.64%
2096.94/2103.42 c 2103 832 30 1 -82.0000 -130.0833 58.64%
2102.72/2109.26 c 2109 838 30 1 -82.0000 -130.0833 58.64%
2109.30/2115.80 c 2116 842 28 1 -82.0000 -130.0833 58.64%
2116.68/2123.21 c 2123 845 29 1 -82.0000 -130.0833 58.64%
2121.86/2128.49 c 2128 848 28 1 -82.0000 -130.0833 58.64%
2129.74/2136.31 c 2136 850 28 1 -82.0000 -130.0833 58.64%
2135.62/2142.24 c 2142 852 28 1 -82.0000 -129.2000 57.56%
2141.41/2148.00 c 2148 854 30 1 -82.0000 -129.2000 57.56%
2147.98/2154.64 c 2155 857 29 1 -82.0000 -129.2000 57.56%
2153.77/2160.44 c 2160 861 29 1 -82.0000 -129.2000 57.56%
2159.95/2166.61 c 2167 865 27 1 -82.0000 -129.2000 57.56%
2166.34/2173.00 c 2173 866 26 1 -82.0000 -129.2000 57.56%
2173.81/2180.58 c 2181 868 28 1 -82.0000 -129.2000 57.56%
2182.68/2189.43 c 2189 871 27 1 -82.0000 -129.2000 57.56%
2192.95/2199.76 c 2200 873 25 1 -82.0000 -129.2000 57.56%
2201.03/2207.87 c 2208 875 27 1 -82.0000 -129.2000 57.56%
2207.81/2214.60 c 2215 878 26 1 -82.0000 -129.2000 57.56%
2215.78/2222.62 c 2223 882 26 1 -82.0000 -129.2000 57.56%
2223.06/2229.94 c 2230 884 28 1 -82.0000 -129.2000 57.56%
2229.35/2236.21 c 2236 887 29 1 -82.0000 -129.2000 57.56%
2236.23/2243.13 c 2243 893 29 1 -82.0000 -129.2000 57.56%
2242.11/2249.07 c 2249 900 26 1 -82.0000 -129.2000 57.56%
2247.99/2254.94 c 2255 903 29 1 -82.0000 -129.2000 57.56%
2253.87/2260.84 c 2261 908 28 1 -82.0000 -129.2000 57.56%
2262.66/2269.61 c 2270 912 28 1 -82.0000 -126.1875 53.89%
2271.33/2278.33 c 2278 913 29 1 -82.0000 -126.1875 53.89%
2277.81/2284.87 c 2285 917 29 1 -82.0000 -126.1875 53.89%
2284.39/2291.46 c 2291 920 30 1 -82.0000 -126.1875 53.89%
2289.68/2296.74 c 2297 922 30 1 -82.0000 -124.9313 52.36%
2297.16/2304.26 c 2304 923 31 1 -82.0000 -124.9313 52.36%
2305.63/2312.76 c 2313 927 31 1 -82.0000 -124.9313 52.36%
2312.31/2319.42 c 2319 930 30 1 -82.0000 -124.9313 52.36%
2318.29/2325.46 c 2325 939 31 1 -82.0000 -124.9313 52.36%
2328.36/2335.51 c 2336 943 31 1 -82.0000 -123.6215 50.76%
2333.44/2340.61 c 2341 948 32 1 -82.0000 -123.6215 50.76%
2341.13/2348.34 c 2348 955 31 1 -82.0000 -123.6215 50.76%
2346.71/2353.98 c 2354 961 31 1 -82.0000 -123.6215 50.76%
2353.79/2361.04 c 2361 966 30 1 -82.0000 -123.6215 50.76%
2360.17/2367.44 c 2367 969 29 1 -82.0000 -123.6215 50.76%
2365.45/2372.75 c 2373 971 31 1 -82.0000 -123.6215 50.76%
2373.73/2381.00 c 2381 973 29 1 -82.0000 -123.6215 50.76%
2382.80/2390.16 c 2390 975 31 1 -82.0000 -123.6215 50.76%
2391.27/2398.64 c 2399 978 30 1 -82.0000 -123.6215 50.76%
2398.76/2406.15 c 2406 979 29 1 -82.0000 -123.6215 50.76%
2410.43/2417.89 c 2418 980 28 1 -82.0000 -123.6215 50.76%
2420.60/2428.05 c 2428 982 28 1 -82.0000 -123.6215 50.76%
2425.98/2433.45 c 2433 983 27 1 -82.0000 -123.6215 50.76%
2434.46/2441.91 c 2442 985 29 1 -82.0000 -123.6215 50.76%
2440.44/2447.92 c 2448 990 28 1 -82.0000 -123.6215 50.76%
2449.22/2456.78 c 2457 992 28 1 -82.0000 -123.6215 50.76%
2469.77/2477.31 c 2477 993 29 1 -82.0000 -123.6215 50.76%
2478.84/2486.46 c 2486 996 28 1 -82.0000 -123.6215 50.76%
2500.78/2508.41 c 2508 998 26 1 -82.0000 -123.6215 50.76%
2507.07/2514.77 c 2515 1000 28 1 -82.0000 -123.6215 50.76%
2522.22/2529.98 c 2530 1002 26 1 -82.0000 -123.6215 50.76%
2529.41/2537.19 c 2537 1005 25 1 -82.0000 -123.6215 50.76%
2537.69/2545.40 c 2545 1007 27 1 -82.0000 -123.6215 50.76%
2542.87/2550.60 c 2551 1011 27 1 -82.0000 -123.6215 50.76%
2550.26/2558.05 c 2558 1014 26 1 -82.0000 -123.6215 50.76%
2557.24/2565.07 c 2565 1016 26 1 -82.0000 -123.6215 50.76%
2566.12/2573.92 c 2574 1017 25 1 -82.0000 -123.6215 50.76%
2579.88/2587.73 c 2588 1020 24 1 -82.0000 -123.6215 50.76%
2585.17/2593.05 c 2593 1021 25 1 -82.0000 -123.6215 50.76%
2591.25/2599.14 c 2599 1023 27 1 -82.0000 -123.6215 50.76%
2596.73/2604.62 c 2605 1027 27 1 -82.0000 -123.6215 50.76%
2603.02/2610.93 c 2611 1029 25 1 -82.0000 -123.6215 50.76%
2608.11/2616.00 c 2616 1030 26 1 -82.0000 -123.6215 50.76%
2617.28/2625.25 c 2625 1035 25 1 -82.0000 -123.6215 50.76%
2623.96/2631.96 c 2632 1037 27 1 -82.0000 -123.6215 50.76%
2628.95/2636.99 c 2637 1040 26 1 -82.0000 -123.6215 50.76%
2640.82/2648.82 c 2649 1045 25 1 -82.0000 -123.6215 50.76%
2649.40/2657.43 c 2657 1047 25 1 -82.0000 -123.6215 50.76%
2656.49/2664.55 c 2665 1049 23 1 -82.0000 -123.6215 50.76%
2664.07/2672.17 c 2672 1053 23 1 -82.0000 -123.6215 50.76%
2672.05/2680.17 c 2680 1055 25 1 -82.0000 -123.6215 50.76%
2678.03/2686.15 c 2686 1060 24 1 -82.0000 -123.6215 50.76%
2683.91/2692.10 c 2692 1062 24 1 -82.0000 -122.8438 49.81%
2704.45/2712.68 c 2713 1063 25 1 -82.0000 -122.8438 49.81%
2711.24/2719.41 c 2719 1065 27 1 -82.0000 -122.8438 49.81%
2720.51/2728.74 c 2729 1072 26 1 -82.0000 -122.2317 49.06%
2725.60/2733.80 c 2734 1073 27 1 -82.0000 -122.2317 49.06%
2731.68/2739.99 c 2740 1075 29 1 -82.0000 -122.2317 49.06%
2742.65/2750.91 c 2751 1079 27 1 -82.0000 -122.2317 49.06%
2749.04/2757.36 c 2757 1081 27 1 -82.0000 -122.2317 49.06%
2755.92/2764.24 c 2764 1085 27 1 -82.0000 -122.2317 49.06%
2763.01/2771.39 c 2771 1089 27 1 -82.0000 -122.2317 49.06%
2768.70/2777.08 c 2777 1092 26 1 -82.0000 -122.2317 49.06%
2775.97/2784.32 c 2784 1098 26 1 -82.0000 -122.2317 49.06%
2784.55/2792.93 c 2793 1102 26 1 -82.0000 -122.2317 49.06%
2794.22/2802.63 c 2803 1106 26 1 -82.0000 -122.2317 49.06%
2800.70/2809.19 c 2809 1107 25 1 -82.0000 -122.2317 49.06%
2809.08/2817.57 c 2818 1109 25 1 -82.0000 -122.2317 49.06%
2814.96/2823.49 c 2823 1111 25 1 -82.0000 -122.2317 49.06%
2823.34/2831.82 c 2832 1112 24 1 -82.0000 -122.2317 49.06%
2831.32/2839.89 c 2840 1114 24 1 -82.0000 -122.2317 49.06%
2840.10/2848.65 c 2849 1116 24 1 -82.0000 -122.2317 49.06%
2846.79/2855.32 c 2855 1118 26 1 -82.0000 -122.2317 49.06%
2853.07/2861.60 c 2862 1122 24 1 -82.0000 -122.2317 49.06%
2859.95/2868.55 c 2869 1124 24 1 -82.0000 -122.2317 49.06%
2865.84/2874.48 c 2874 1128 24 1 -82.0000 -122.2317 49.06%
2874.01/2882.66 c 2883 1131 23 1 -82.0000 -122.2317 49.06%
2880.40/2889.05 c 2889 1133 25 1 -82.0000 -122.2317 49.06%
2887.97/2896.69 c 2897 1137 25 1 -82.0000 -122.2317 49.06%
2894.96/2903.66 c 2904 1139 23 1 -82.0000 -122.2317 49.06%
2901.35/2910.05 c 2910 1141 25 1 -82.0000 -122.2317 49.06%
2907.72/2916.42 c 2916 1143 23 1 -82.0000 -122.2317 49.06%
2914.41/2923.11 c 2923 1145 23 1 -82.0000 -122.2317 49.06%
2919.79/2928.51 c 2929 1147 23 1 -82.0000 -122.2317 49.06%
2924.78/2933.53 c 2934 1148 24 1 -82.0000 -122.2317 49.06%
2934.96/2943.78 c 2944 1152 24 1 -82.0000 -121.4444 48.10%
2942.24/2951.04 c 2951 1155 25 1 -82.0000 -121.4444 48.10%
2951.42/2960.24 c 2960 1161 25 1 -82.0000 -121.4444 48.10%
2956.50/2965.36 c 2965 1163 23 1 -82.0000 -121.4444 48.10%
2964.68/2973.57 c 2974 1165 23 1 -82.0000 -121.4444 48.10%
2974.85/2983.75 c 2984 1166 22 1 -82.0000 -121.4444 48.10%
2981.14/2990.04 c 2990 1169 21 1 -82.0000 -121.4444 48.10%
2988.02/2996.92 c 2997 1171 23 1 -82.0000 -121.4444 48.10%
2993.30/3002.27 c 3002 1178 22 1 -82.0000 -121.4444 48.10%
3001.09/3010.06 c 3010 1182 22 1 -82.0000 -121.4444 48.10%
3007.27/3016.22 c 3016 1186 22 1 -82.0000 -121.4444 48.10%
3013.25/3022.26 c 3022 1190 22 1 -82.0000 -121.4444 48.10%
3021.73/3030.79 c 3031 1196 20 1 -82.0000 -121.4444 48.10%
3029.11/3038.19 c 3038 1198 22 1 -82.0000 -121.4444 48.10%
3036.59/3045.67 c 3046 1203 21 1 -82.0000 -121.4444 48.10%
3043.38/3052.46 c 3052 1207 21 1 -82.0000 -121.4444 48.10%
3051.06/3060.16 c 3060 1211 21 1 -82.0000 -121.4444 48.10%
3059.53/3068.62 c 3069 1214 20 1 -82.0000 -121.4444 48.10%
3065.62/3074.76 c 3075 1218 20 1 -82.0000 -121.4444 48.10%
3071.92/3081.02 c 3081 1220 18 1 -82.0000 -121.4444 48.10%
3080.09/3089.27 c 3089 1222 20 1 -82.0000 -121.4444 48.10%
3087.87/3097.08 c 3097 1224 20 1 -82.0000 -121.4444 48.10%
3094.65/3103.84 c 3104 1226 20 1 -82.0000 -121.4444 48.10%
3103.13/3112.37 c 3112 1229 19 1 -82.0000 -121.4444 48.10%
3109.91/3119.12 c 3119 1231 19 1 -82.0000 -121.4444 48.10%
3114.90/3124.18 c 3124 1232 20 1 -82.0000 -121.4444 48.10%
3122.27/3131.53 c 3132 1234 20 1 -82.0000 -121.4444 48.10%
3127.56/3136.81 c 3137 1238 20 1 -82.0000 -121.4444 48.10%
3133.24/3142.52 c 3143 1241 19 1 -82.0000 -121.4444 48.10%
3140.22/3149.54 c 3150 1244 18 1 -82.0000 -121.4444 48.10%
3147.00/3156.36 c 3156 1246 20 1 -82.0000 -121.4444 48.10%
3155.18/3164.53 c 3165 1250 20 1 -82.0000 -121.4444 48.10%
3161.37/3170.70 c 3171 1254 20 1 -82.0000 -121.4444 48.10%
3167.75/3177.15 c 3177 1258 18 1 -82.0000 -121.4444 48.10%
3172.93/3182.32 c 3182 1260 18 1 -82.0000 -121.4444 48.10%
3178.62/3188.01 c 3188 1262 18 1 -82.0000 -121.4444 48.10%
3183.61/3193.05 c 3193 1265 19 1 -82.0000 -121.4444 48.10%
3190.59/3200.09 c 3200 1269 19 1 -82.0000 -121.4444 48.10%
3198.17/3207.65 c 3208 1277 17 1 -82.0000 -121.4444 48.10%
3206.74/3216.29 c 3216 1279 19 1 -82.0000 -121.4444 48.10%
3213.23/3222.72 c 3223 1283 19 1 -82.0000 -121.4444 48.10%
3219.32/3228.86 c 3229 1286 18 1 -82.0000 -121.4444 48.10%
3224.80/3234.31 c 3234 1287 19 1 -82.0000 -121.4444 48.10%
3233.78/3243.34 c 3243 1289 21 1 -82.0000 -121.4444 48.10%
3240.36/3249.94 c 3250 1292 20 1 -82.0000 -121.1000 47.68%
3246.64/3256.25 c 3256 1295 21 1 -82.0000 -121.1000 47.68%
3252.53/3262.19 c 3262 1299 21 1 -82.0000 -121.1000 47.68%
3259.91/3269.52 c 3270 1300 20 1 -82.0000 -121.1000 47.68%
3276.07/3285.76 c 3286 1301 21 1 -82.0000 -121.1000 47.68%
3281.46/3291.18 c 3291 1303 21 1 -82.0000 -121.1000 47.68%
3287.94/3297.65 c 3298 1307 19 1 -82.0000 -121.1000 47.68%
3298.41/3308.17 c 3308 1309 19 1 -82.0000 -121.1000 47.68%
3310.77/3320.56 c 3321 1311 19 1 -82.0000 -121.1000 47.68%
3318.65/3328.44 c 3328 1315 19 1 -82.0000 -121.1000 47.68%
3325.44/3335.21 c 3335 1317 17 1 -82.0000 -121.1000 47.68%
3331.32/3341.19 c 3341 1319 17 1 -82.0000 -121.1000 47.68%
3339.90/3349.78 c 3350 1322 18 1 -82.0000 -121.1000 47.68%
3350.18/3360.05 c 3360 1324 16 1 -82.0000 -121.1000 47.68%
3358.26/3368.11 c 3368 1326 18 1 -82.0000 -121.1000 47.68%
3367.23/3377.10 c 3377 1332 20 1 -82.0000 -121.1000 47.68%
3375.00/3384.97 c 3385 1338 18 1 -82.0000 -121.1000 47.68%
3380.00/3389.98 c 3390 1343 17 1 -82.0000 -121.1000 47.68%
3385.19/3395.16 c 3395 1347 17 1 -82.0000 -121.1000 47.68%
3392.67/3402.69 c 3403 1353 15 1 -82.0000 -121.1000 47.68%
3399.45/3409.40 c 3409 1355 17 1 -82.0000 -121.1000 47.68%
3406.33/3416.37 c 3416 1361 15 1 -82.0000 -121.1000 47.68%
3412.61/3422.61 c 3423 1363 15 1 -82.0000 -121.1000 47.68%
3419.49/3429.53 c 3430 1366 14 1 -82.0000 -121.1000 47.68%
3425.98/3436.07 c 3436 1369 13 1 -82.0000 -121.1000 47.68%
3431.76/3441.86 c 3442 1371 13 1 -82.0000 -121.1000 47.68%
3438.14/3448.22 c 3448 1373 15 1 -82.0000 -121.1000 47.68%
3446.12/3456.29 c 3456 1376 14 1 -82.0000 -121.1000 47.68%
3453.30/3463.43 c 3463 1379 13 1 -82.0000 -121.1000 47.68%
3458.60/3468.75 c 3469 1381 13 1 -82.0000 -121.1000 47.68%
3465.48/3475.69 c 3476 1383 13 1 -82.0000 -121.1000 47.68%
3474.06/3484.24 c 3484 1384 12 1 -82.0000 -121.1000 47.68%
3484.53/3494.74 c 3495 1386 12 1 -82.0000 -121.1000 47.68%
3490.82/3501.01 c 3501 1389 15 1 -82.0000 -121.1000 47.68%
3502.38/3512.64 c 3513 1393 15 1 -82.0000 -117.1250 42.84%
3510.76/3521.06 c 3521 1398 16 1 -82.0000 -117.1250 42.84%
3520.13/3530.45 c 3530 1401 15 1 -82.0000 -117.1250 42.84%
3526.31/3536.69 c 3537 1404 14 1 -82.0000 -117.1250 42.84%
3532.50/3542.89 c 3543 1406 14 1 -82.0000 -117.1250 42.84%
3538.99/3549.33 c 3549 1411 13 1 -82.0000 -117.1250 42.84%
3544.88/3555.21 c 3555 1415 15 1 -82.0000 -117.1250 42.84%
3552.16/3562.57 c 3563 1419 15 1 -82.0000 -117.1250 42.84%
3561.13/3571.54 c 3572 1423 15 1 -82.0000 -113.3750 38.26%
3566.92/3577.39 c 3577 1430 14 1 -82.0000 -113.3750 38.26%
3575.60/3586.00 c 3586 1437 13 1 -82.0000 -113.3750 38.26%
3583.97/3594.45 c 3594 1439 13 1 -82.0000 -113.3750 38.26%
3589.56/3600.00 c 3600 1439 13 0 -82.0000 -113.3750 38.26%
3589.76/3600.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.76/3600.28 c Total Time : 3600.28
3589.76/3600.28 c solving : 3600.28
3589.76/3600.28 c presolving : 0.40 (included in solving)
3589.76/3600.28 c B&B Tree :
3589.76/3600.28 c nodes (total) : 1
3589.76/3600.28 c Solution :
3589.76/3600.28 c Solutions found : 16
3589.76/3600.28 c Primal Bound : -8.20000000000000e+01
3589.76/3600.28 c Dual Bound : -1.13375000000000e+02
3589.76/3600.28 c Gap : 38.26220 %
3589.76/3600.28 c * Warning: final gap: 3.82622e-01 is greater than SCIPepsilon: 1.00000e-09
3589.76/3600.29 o -82
3589.76/3600.29 s SATISFIABLE
3589.76/3600.29 v x2025 x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 x2016 -x2015 -x2014 x2013 x2012 x2011 -x2010 -x2009 x2008 -x2007 -x2006
3589.76/3600.29 v x2005 x2004 x2003 x2002 -x2001 -x2000 x1999 -x1998 -x1997 x1996 x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987
3589.76/3600.29 v -x1986 -x1985 x1984 x1983 -x1982 x1981 x1980 -x1979 -x1978 -x1977 x1976 x1975 -x1974 -x1973 x1972 -x1971 -x1970 x1969 x1968
3589.76/3600.29 v -x1967 -x1966 x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 x1958 x1957 x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949
3589.76/3600.29 v x1948 x1947 -x1946 -x1945 x1944 x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931
3589.76/3600.29 v -x1930 -x1929 x1928 x1927 x1926 -x1925 -x1924 x1923 -x1922 -x1921 x1920 x1919 x1918 x1917 x1916 x1915 -x1914 -x1913 x1912 -x1911
3589.76/3600.29 v x1910 x1909 x1908 -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901 x1900 -x1899 -x1898 x1897 -x1896 -x1895 x1894 x1893 -x1892
3589.76/3600.29 v -x1891 x1890 x1889 -x1888 -x1887 x1886 -x1885 -x1884 x1883 -x1882 -x1881 x1880 x1879 x1878 -x1877 -x1876 -x1875 -x1874
3589.76/3600.29 v x1873 -x1872 -x1871 -x1870 -x1869 x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 x1860 -x1859 -x1858 x1857 -x1856 -x1855
3589.76/3600.29 v x1854 -x1853 x1852 x1851 -x1850 x1849 -x1848 x1847 -x1846 -x1845 x1844 x1843 x1842 x1841 -x1840 -x1839 -x1838 -x1837 x1836
3589.76/3600.29 v x1835 x1834 -x1833 -x1832 x1831 -x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 x1821 -x1820 -x1819 -x1818 -x1817
3589.76/3600.29 v x1816 x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 x1808 -x1807 x1806 -x1805 -x1804 x1803 x1802 -x1801 -x1800 x1799 x1798
3589.76/3600.29 v x1797 x1796 -x1795 x1794 x1793 -x1792 -x1791 -x1790 -x1789 x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 x1780 -x1779
3589.76/3600.29 v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 x1772 -x1771 -x1770 -x1769 -x1768 x1767 -x1766 x1765 x1764 x1763 -x1762 -x1761 -x1760
3589.76/3600.29 v x1759 -x1758 -x1757 x1756 x1755 x1754 x1753 -x1752 x1751 x1750 x1749 -x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741
3589.76/3600.29 v -x1740 -x1739 x1738 -x1737 -x1736 -x1735 x1734 x1733 x1732 -x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722
3589.76/3600.29 v -x1721 x1720 x1719 x1718 x1717 -x1716 x1715 x1714 x1713 -x1712 -x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 -x1703 x1702
3589.76/3600.29 v x1701 -x1700 -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
3589.76/3600.29 v -x1683 x1682 x1681 -x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1672 -x1671 x1670 x1669 x1668 x1667 -x1666 -x1665
3589.76/3600.29 v -x1664 -x1663 x1662 x1661 x1660 x1659 -x1658 -x1657 -x1656 x1655 x1654 x1653 x1652 x1651 -x1650 -x1649 -x1648 -x1647 x1646
3589.76/3600.29 v x1645 -x1644 -x1643 x1642 x1641 x1640 -x1639 -x1638 -x1637 x1636 -x1635 x1634 x1633 -x1632 -x1631 -x1630 x1629 -x1628 -x1627
3589.76/3600.29 v -x1626 x1625 x1624 x1623 x1622 -x1621 -x1620 -x1619 x1618 x1617 -x1616 -x1615 -x1614 -x1613 x1612 x1611 -x1610 -x1609 x1608 -x1607
3589.76/3600.29 v -x1606 x1605 x1604 x1603 -x1602 -x1601 -x1600 x1599 x1598 x1597 x1596 -x1595 -x1594 -x1593 x1592 -x1591 x1590 x1589 x1588
3589.76/3600.29 v x1587 -x1586 -x1585 x1584 x1583 x1582 x1581 -x1580 -x1579 x1578 -x1577 -x1576 x1575 x1574 x1573 -x1572 -x1571 x1570 x1569
3589.76/3600.29 v -x1568 -x1567 -x1566 x1565 -x1564 -x1563 -x1562 x1561 x1560 x1559 x1558 x1557 x1556 -x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549
3589.76/3600.29 v -x1548 -x1547 -x1546 x1545 -x1544 x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 -x1533 -x1532 -x1531
3589.76/3600.29 v x1530 -x1529 x1528 x1527 x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520 x1519 x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512
3589.76/3600.29 v x1511 x1510 x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 x1497 x1496 -x1495 -x1494 x1493
3589.76/3600.29 v x1492 x1491 -x1490 -x1489 -x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 x1480 x1479 x1478 x1477 -x1476 x1475 -x1474
3589.76/3600.29 v -x1473 x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 x1461 -x1460 -x1459 x1458 x1457 x1456 x1455
3589.76/3600.29 v x1454 -x1453 x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 x1444 -x1443 -x1442 x1441 x1440 -x1439 -x1438 x1437 x1436
3589.76/3600.29 v -x1435 x1434 x1433 x1432 -x1431 x1430 x1429 x1428 x1427 -x1426 x1425 x1424 -x1423 -x1422 -x1421 x1420 x1419 x1418 x1417 -x1416
3589.76/3600.29 v -x1415 -x1414 -x1413 -x1412 -x1411 x1410 x1409 x1408 x1407 -x1406 -x1405 x1404 x1403 x1402 -x1401 -x1400 x1399 -x1398 -x1397
3589.76/3600.29 v -x1396 -x1395 x1394 x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 -x1385 -x1384 x1383 -x1382 -x1381 x1380 -x1379 -x1378
3589.76/3600.29 v -x1377 -x1376 x1375 x1374 -x1373 -x1372 -x1371 -x1370 x1369 x1368 x1367 x1366 -x1365 -x1364 x1363 -x1362 -x1361 x1360 x1359
3589.76/3600.29 v -x1358 x1357 x1356 x1355 x1354 x1353 -x1352 -x1351 -x1350 -x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339
3589.76/3600.29 v -x1338 x1337 -x1336 -x1335 x1334 x1333 -x1332 x1331 -x1330 x1329 x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 -x1321 -x1320
3589.76/3600.29 v x1319 -x1318 -x1317 x1316 -x1315 -x1314 x1313 x1312 -x1311 x1310 -x1309 x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301
3589.76/3600.29 v -x1300 -x1299 x1298 x1297 -x1296 x1295 x1294 x1293 -x1292 x1291 -x1290 x1289 x1288 -x1287 x1286 -x1285 -x1284 -x1283 x1282
3589.76/3600.29 v -x1281 -x1280 -x1279 -x1278 x1277 -x1276 -x1275 -x1274 x1273 x1272 x1271 -x1270 -x1269 x1268 -x1267 -x1266 x1265 x1264 x1263
3589.76/3600.29 v x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 x1254 x1253 x1252 -x1251 x1250 x1249 -x1248 -x1247 x1246 x1245 x1244
3589.76/3600.29 v x1243 x1242 x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 x1234 x1233 -x1232 -x1231 x1230 x1229 -x1228 -x1227 -x1226 x1225
3589.76/3600.29 v x1224 x1223 -x1222 -x1221 -x1220 x1219 x1218 -x1217 -x1216 x1215 x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 x1207 -x1206 -x1205
3589.76/3600.29 v x1204 x1203 x1202 -x1201 -x1200 x1199 x1198 x1197 -x1196 -x1195 x1194 x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
3589.76/3600.29 v x1185 x1184 x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 x1168 x1167
3589.76/3600.29 v x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149
3589.76/3600.29 v x1148 -x1147 -x1146 -x1145 -x1144 x1143 x1142 -x1141 x1140 -x1139 x1138 x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130
3589.76/3600.29 v x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 x1114 x1113 x1112 x1111
3589.76/3600.29 v x1110 x1109 -x1108 -x1107 x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 x1098 x1097 x1096 x1095 -x1094 -x1093 -x1092 -x1091
3589.76/3600.29 v x1090 x1089 -x1088 x1087 x1086 x1085 x1084 x1083 -x1082 -x1081 -x1080 -x1079 x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072
3589.76/3600.29 v -x1071 -x1070 x1069 x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 x1054
3589.76/3600.29 v -x1053 x1052 x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 x1043 x1042 -x1041 -x1040 -x1039 -x1038 x1037 x1036 x1035
3589.76/3600.29 v x1034 x1033 x1032 x1031 x1030 x1029 -x1028 -x1027 x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 x1019 x1018 x1017 -x1016 -x1015
3589.76/3600.29 v x1014 x1013 -x1012 -x1011 -x1010 -x1009 x1008 x1007 -x1006 -x1005 x1004 x1003 -x1002 -x1001 x1000 x999 -x998 -x997 -x996
3589.76/3600.29 v -x995 x994 x993 x992 x991 x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 x982 x981 x980 x979 x978 x977 x976 x975 -x974 -x973 x972
3589.76/3600.29 v x971 x970 x969 x968 x967 -x966 -x965 x964 x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 x952 x951 x950 x949
3589.76/3600.29 v -x948 -x947 -x946 -x945 -x944 -x943 x942 x941 x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 x931 x930 -x929 -x928 -x927
3589.76/3600.29 v x926 -x925 x924 -x923 -x922 x921 x920 x919 x918 x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 x908 x907 -x906 x905
3589.76/3600.29 v -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 x887 -x886 x885 -x884 x883
3589.76/3600.29 v -x882 -x881 x880 x879 x878 x877 -x876 -x875 -x874 -x873 x872 x871 x870 x869 -x868 x867 -x866 -x865 -x864 -x863 x862 x861 -x860
3589.76/3600.29 v -x859 x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 x847 x846 -x845 x844 x843 x842 x841 -x840 -x839 x838
3589.76/3600.29 v -x837 -x836 x835 x834 -x833 -x832 x831 x830 x829 x828 -x827 x826 -x825 x824 -x823 x822 -x821 x820 -x819 -x818 -x817 -x816 -x815
3589.76/3600.29 v -x814 -x813 x812 x811 -x810 -x809 x808 -x807 -x806 x805 x804 -x803 x802 -x801 -x800 x799 x798 x797 x796 -x795 -x794 x793
3589.76/3600.29 v x792 x791 x790 x789 -x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 x775 -x774 -x773 x772 -x771
3589.76/3600.29 v -x770 -x769 -x768 -x767 x766 x765 x764 -x763 x762 x761 x760 -x759 -x758 -x757 -x756 x755 x754 -x753 -x752 x751 x750 -x749 -x748
3589.76/3600.29 v -x747 x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 x737 x736 x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 x726
3589.76/3600.29 v -x725 x724 x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705
3589.76/3600.29 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 x685 -x684
3589.76/3600.29 v -x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 x675 x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662
3589.76/3600.29 v -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 x641 -x640
3589.76/3600.29 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 x620 -x619
3589.76/3600.29 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598
3589.76/3600.29 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577
3589.76/3600.29 v -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 x565 x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
3589.76/3600.29 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534
3589.76/3600.29 v -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513
3589.76/3600.29 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
3589.76/3600.29 v -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
3589.76/3600.29 v x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449
3589.76/3600.29 v x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
3589.76/3600.29 v -x427 -x426 x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
3589.76/3600.29 v -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385
3589.76/3600.29 v -x384 -x383 -x382 -x381 x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
3589.76/3600.29 v -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
3589.76/3600.29 v -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
3589.76/3600.29 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
3589.76/3600.29 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280
3589.76/3600.29 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259
3589.76/3600.29 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 x238 -x237
3589.76/3600.29 v -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
3589.76/3600.29 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
3589.76/3600.29 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174
3589.76/3600.29 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153
3589.76/3600.29 v -x152 -x151 -x150 -x149 x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 x131
3589.76/3600.29 v -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 x116 -x115 -x114 x113 -x112 -x111 -x110
3589.76/3600.29 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
3589.86/3600.32 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 x71 -x70 x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61
3589.86/3600.32 v -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 x38 x37 x36 -x35 -x34
3589.86/3600.32 v -x33 -x32 -x31 -x30 x29 -x28 x27 x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 x18 x17 x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7
3589.86/3600.32 v -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: 63931 MiB (61582 MiB free)
memory of node 1: 64510 MiB (59883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434788-1721122675/watcher-4434788-1721122675 -o /tmp/evaluation-result-4434788-1721122675/solver-4434788-1721122675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874154 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434788-1721122675.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=876234, runsolver pid=876231
[startup+0.100794 s]*
/proc/loadavg: 4.15 4.12 4.09 5/252 876236
/proc/meminfo: memFree=124306440/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=69604 memory=57152 CPUtime=0.09 cores=4,6
/proc/876234/stat : 876234 (fscip) R 876231 876234 874143 0 -1 4194304 12162 0 0 0 8 1 0 0 20 0 1 0 164429357 71274496 14288 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 17401 14288 2590 3032 0 13801 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69604 KiB
Current children cumulated memory: 57152 KiB
[startup+0.205572 s]*
/proc/loadavg: 4.15 4.12 4.09 5/258 876246
/proc/meminfo: memFree=124243184/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=93456 memory=80792 CPUtime=0.2 cores=4,6
/proc/876234/stat : 876234 (fscip) R 876231 876234 874143 0 -1 4194304 20115 0 0 0 17 3 0 0 20 0 1 0 164429357 95698944 20198 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 23364 20198 2654 3032 0 19764 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93456 KiB
Current children cumulated memory: 80792 KiB
[startup+0.305658 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 876246
/proc/meminfo: memFree=124211612/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=87680 memory=75560 CPUtime=0.3 cores=4,6
/proc/876234/stat : 876234 (fscip) R 876231 876234 874143 0 -1 4194304 20443 0 0 0 27 3 0 0 20 0 1 0 164429357 89784320 18890 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 21920 18890 2686 3032 0 18320 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87680 KiB
Current children cumulated memory: 75560 KiB
[startup+0.70078 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 876247
/proc/meminfo: memFree=124132916/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=179452 memory=137296 CPUtime=0.69 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 40012 0 0 0 62 7 0 0 20 0 3 0 164429357 183758848 34324 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 44863 34324 2782 3032 0 38335 0
[pid=876234/tid=876247] ppid=876231 vsize=179452 memory=5472 CPUtime=0.15 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 13064 0 0 0 13 2 0 0 20 0 3 0 164429407 183758848 34324 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 179452 KiB
Current children cumulated memory: 137296 KiB
[startup+1.50078 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 876248
/proc/meminfo: memFree=123758208/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=244988 memory=200012 CPUtime=1.48 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 55926 0 0 0 139 9 0 0 20 0 3 0 164429357 250867712 50003 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 61247 50003 2894 3032 0 54508 0
[pid=876234/tid=876247] ppid=876231 vsize=244988 memory=5472 CPUtime=0.94 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 28978 0 0 0 90 4 0 0 20 0 3 0 164429407 250867712 50003 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=244988 memory=11544 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164429415 250867712 50003 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 244988 KiB
Current children cumulated memory: 200012 KiB
[startup+3.10577 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 876294
/proc/meminfo: memFree=124070968/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=244988 memory=200276 CPUtime=3.07 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 57990 0 0 0 298 9 0 0 20 0 3 0 164429357 250867712 50069 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 61247 50069 2910 3032 0 54508 0
[pid=876234/tid=876247] ppid=876231 vsize=244988 memory=11544 CPUtime=2.52 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 31035 0 0 0 248 4 0 0 20 0 3 0 164429407 250867712 50069 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=244988 memory=16060 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 164429415 250867712 50069 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 244988 KiB
Current children cumulated memory: 200276 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 876296
/proc/meminfo: memFree=123599600/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=244988 memory=200344 CPUtime=6.25 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 61660 0 0 0 616 9 0 0 20 0 3 0 164429357 250867712 50086 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 61247 50086 2926 3032 0 54508 0
[pid=876234/tid=876247] ppid=876231 vsize=244988 memory=200276 CPUtime=5.7 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 34698 0 0 0 566 4 0 0 20 0 3 0 164429407 250867712 50086 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=244988 memory=7573 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 164429415 250867712 50086 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 244988 KiB
Current children cumulated memory: 200344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 876296
/proc/meminfo: memFree=123586980/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=244988 memory=200548 CPUtime=12.63 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 75406 0 0 0 1252 11 0 0 20 0 3 0 164429357 250867712 50137 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 61247 50137 2926 3032 0 54508 0
[pid=876234/tid=876247] ppid=876231 vsize=244988 memory=0 CPUtime=12.09 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 48430 0 0 0 1203 6 0 0 20 0 3 0 164429407 250867712 50137 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=244988 memory=-6514569454995815275 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 164429415 250867712 50137 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 244988 KiB
Current children cumulated memory: 200548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 876299
/proc/meminfo: memFree=123492984/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=310524 memory=217432 CPUtime=25.38 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 111313 0 0 0 2526 12 0 0 20 0 3 0 164429357 317976576 54358 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 77631 54358 2974 3032 0 59512 0
[pid=876234/tid=876247] ppid=876231 vsize=310524 memory=200276 CPUtime=24.85 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 83961 0 0 0 2477 8 0 0 20 0 3 0 164429407 317976576 54358 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=310524 memory=0 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 164429415 317976576 54358 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 310524 KiB
Current children cumulated memory: 217432 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.13 4.10 5/258 876302
/proc/meminfo: memFree=123439296/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=376060 memory=262496 CPUtime=50.9 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 180449 0 0 0 5071 19 0 0 20 0 3 0 164429357 385085440 65624 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 94015 65624 2974 3032 0 76783 0
[pid=876234/tid=876247] ppid=876231 vsize=376060 memory=261424 CPUtime=50.36 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 153076 0 0 0 5022 14 0 0 20 0 3 0 164429407 385085440 65624 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=376060 memory=261716 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 164429415 385085440 65624 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 376060 KiB
Current children cumulated memory: 262496 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876315
/proc/meminfo: memFree=122458064/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=376060 memory=264184 CPUtime=101.92 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 194949 0 0 0 10172 20 0 0 20 0 3 0 164429357 385085440 66046 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 94015 66046 2974 3032 0 79569 0
[pid=876234/tid=876247] ppid=876231 vsize=376060 memory=16060 CPUtime=101.38 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 167186 0 0 0 10123 15 0 0 20 0 3 0 164429407 385085440 66046 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=376060 memory=43136 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 164429415 385085440 66046 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 376060 KiB
Current children cumulated memory: 264184 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 876330
/proc/meminfo: memFree=122425416/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=376060 memory=288080 CPUtime=161.73 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 228662 0 0 0 16150 23 0 0 20 0 3 0 164429357 385085440 72020 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 94015 72020 2974 3032 0 87529 0
[pid=876234/tid=876247] ppid=876231 vsize=376060 memory=264468 CPUtime=161.19 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 200823 0 0 0 16101 18 0 0 20 0 3 0 164429407 385085440 72020 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=376060 memory=2244 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 164429415 385085440 72020 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 376060 KiB
Current children cumulated memory: 288080 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 876340
/proc/meminfo: memFree=121990796/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=376060 memory=288812 CPUtime=221.58 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 263308 0 0 0 22133 25 0 0 20 0 3 0 164429357 385085440 72203 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 94015 72203 2974 3032 0 87529 0
[pid=876234/tid=876247] ppid=876231 vsize=376060 memory=288092 CPUtime=221.03 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 234910 0 0 0 22083 20 0 0 20 0 3 0 164429407 385085440 72203 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=376060 memory=43136 CPUtime=0 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 164429415 385085440 72203 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 376060 KiB
################
# More data... #
################
[pid=876234] ppid=876231 vsize=640592 memory=461752 CPUtime=3452.21 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 798005 0 0 0 345155 66 0 0 20 0 3 0 164429357 655966208 115438 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115438 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=461684 CPUtime=3451.57 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 767852 0 0 0 345099 58 0 0 20 0 3 0 164429407 655966208 115438 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=461684 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 310 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115438 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 878361
/proc/meminfo: memFree=119992852/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461776 CPUtime=3512.05 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 810339 0 0 0 351138 67 0 0 20 0 3 0 164429357 655966208 115444 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115444 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=13196 CPUtime=3511.4 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 780167 0 0 0 351082 58 0 0 20 0 3 0 164429407 655966208 115444 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=461776 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 314 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115444 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.13 4.10 5/263 878373
/proc/meminfo: memFree=119992308/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461792 CPUtime=3571.9 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 817637 0 0 0 357122 68 0 0 20 0 3 0 164429357 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115448 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=13196 CPUtime=3571.26 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 787445 0 0 0 357067 59 0 0 20 0 3 0 164429407 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=461792 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461792 KiB
[startup+3600.32 s]
# the end of solver process 876234 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.19 s, system=0.700774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.27 4.13 4.10 5/263 878373
/proc/meminfo: memFree=119992364/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461792 CPUtime=3573.6 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 817637 0 0 0 357292 68 0 0 20 0 3 0 164429357 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115448 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=6720663268241064302 CPUtime=3572.96 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 787445 0 0 0 357237 59 0 0 20 0 3 0 164429407 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=27700 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461792 KiB
[startup+3590.4 s]
/proc/loadavg: 4.33 4.15 4.11 5/263 878374
/proc/meminfo: memFree=119992096/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461792 CPUtime=3579.98 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 817710 0 0 0 357930 68 0 0 20 0 3 0 164429357 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115448 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=356976 CPUtime=3579.34 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 787518 0 0 0 357875 59 0 0 20 0 3 0 164429407 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=280254266735712 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3579.98 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461792 KiB
[startup+3596.8 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 878377
/proc/meminfo: memFree=119992068/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461792 CPUtime=3586.37 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 822962 0 0 0 358569 68 0 0 20 0 3 0 164429357 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115448 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=461792 CPUtime=3585.72 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 792770 0 0 0 358513 59 0 0 20 0 3 0 164429407 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=6720661043380896108 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115448 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461792 KiB
[startup+3598.4 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 878377
/proc/meminfo: memFree=119992068/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461816 CPUtime=3587.96 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 823767 0 0 0 358728 68 0 0 20 0 3 0 164429357 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115454 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=461792 CPUtime=3587.31 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 793575 0 0 0 358672 59 0 0 20 0 3 0 164429407 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=461792 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3587.96 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461816 KiB
[startup+3599.2 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 878377
/proc/meminfo: memFree=119992068/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461816 CPUtime=3588.76 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 823767 0 0 0 358808 68 0 0 20 0 3 0 164429357 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115454 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=11544 CPUtime=3588.11 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 793575 0 0 0 358752 59 0 0 20 0 3 0 164429407 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=43136 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461816 KiB
[startup+3600 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 878377
/proc/meminfo: memFree=119991964/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461816 CPUtime=3589.56 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 823767 0 0 0 358888 68 0 0 20 0 3 0 164429357 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115454 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=6720663268241064302 CPUtime=3588.91 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 793575 0 0 0 358832 59 0 0 20 0 3 0 164429407 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=-7160573490534637693 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3589.56 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461816 KiB
[startup+3600.2 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 878377
/proc/meminfo: memFree=119991964/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=640592 memory=461816 CPUtime=3589.76 cores=4,6
/proc/876234/stat : 876234 (fscip) S 876231 876234 874143 0 -1 1077936128 827346 0 0 0 358907 69 0 0 20 0 3 0 164429357 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 160148 115454 2974 3032 0 147678 0
[pid=876234/tid=876247] ppid=876231 vsize=640592 memory=33120 CPUtime=3589.12 cores=4,6
/proc/876234/task/876247/stat : 876247 (fscip) R 876231 876234 874143 0 -1 4194368 797153 0 0 0 358852 60 0 0 20 0 3 0 164429407 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
[pid=876234/tid=876248] ppid=876231 vsize=640592 memory=8064 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 164429415 655966208 115454 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3589.76 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 461816 KiB
[startup+3600.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 878377
/proc/meminfo: memFree=119991964/131524600 swapFree=131071996/131071996
[pid=876234] ppid=876231 vsize=443984 memory=384452 CPUtime=3589.86 cores=4,6
/proc/876234/stat : 876234 (fscip) R 876231 876234 874143 0 -1 4194304 831811 0 0 0 358917 69 0 0 20 0 2 0 164429357 454639616 96113 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
/proc/876234/statm: 110996 96113 2974 3032 0 106703 0
[pid=876234/tid=876248] ppid=876231 vsize=443984 memory=461792 CPUtime=0.03 cores=4,6
/proc/876234/task/876248/stat : 876248 (fscip) S 876231 876234 874143 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 2 0 164429415 454639616 96113 134679101440 4194304 16613245 140733842577840 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34336768 140733842584597 140733842584713 140733842584713 140733842591728 0
Current children cumulated CPU time: 3589.86 s
Current children cumulated vsize: 443984 KiB
Current children cumulated memory: 384452 KiB
Child status: 0
Real time (s): 3600.32
CPU time (s): 3589.9
CPU user time (s): 3589.19
CPU system time (s): 0.700774
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 640592
Max. memory (cumulated for all children) (KiB): 461816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.19
system time used= 0.700774
maximum resident set size= 461816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 832298
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= 5603
involuntary context switches= 3231
# summary of solver processes directly reported to runsolver:
# pid: 876234
# total CPU time (s): 3589.9
# total CPU user time (s): 3589.19
# total CPU system time (s): 0.700774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92979 second user time and 15.6823 second system time
The end
Begin job on nodeC017 at 2024-07-16 11:38:08
IDJOB=4434788
IDBENCH=148796
IDSOLVER=3064
FILE ID=nodeC017/4434788-1721122675
RUNJOBID= nodeC017-1721119087-874154
SLURM_JOB_ID= 7505668
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434788-1721122675/watcher-4434788-1721122675 -o /tmp/evaluation-result-4434788-1721122675/solver-4434788-1721122675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874154 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434788-1721122675.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ca30f964c4e5ef94d3a8b7b5eee835f7
RANDOM SEED=1172576526
nodeC017.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 : 3663.178
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.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 : 0xb00002a
cpu MHz : 3662.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.041
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.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 : 0xb00002a
cpu MHz : 3612.470
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3663.111
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.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 : 0xb00002a
cpu MHz : 3622.694
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3599.808
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.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 : 0xb00002a
cpu MHz : 3600.416
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124389280 kB
MemAvailable: 128638756 kB
Buffers: 408560 kB
Cached: 4635244 kB
SwapCached: 0 kB
Active: 927692 kB
Inactive: 5520564 kB
Active(anon): 1560 kB
Inactive(anon): 1440936 kB
Active(file): 926132 kB
Inactive(file): 4079628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29232 kB
Writeback: 20 kB
AnonPages: 1404964 kB
Mapped: 131020 kB
Shmem: 37720 kB
KReclaimable: 166728 kB
Slab: 280172 kB
SReclaimable: 166728 kB
SUnreclaim: 113444 kB
KernelStack: 4076 kB
PageTables: 11556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 976740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1273856 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: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC017 at 2024-07-16 12:38:08