0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.22 c Default LC presolving (default).
0.10/0.22 c ** Before presolving: virtualMemUsedAtLc = 81971896, getVmSize() = 75395072, SCIPgetMemUsed() = 45754255, SCIPgetMemTotal() = 51679495, SCIPgetMemExternEstim() = 30292401
0.10/0.22 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
8.97/9.05 c ** Estimated virtualMemUsedAtSolver = 110571812, getVmSize() = 162488320, SCIPgetMemUsed() = 97603461, SCIPgetMemTotal() = 135565317, SCIPgetMemExternEstim() = 30292401
8.97/9.05 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
8.97/9.05 c Original Problem :
8.97/9.05 c Problem name : instance-4464900-1722389847
8.97/9.05 c Variables : 10376 (10376 binary, 0 integer, 0 implicit integer, 0 continuous)
8.97/9.05 c Constraints : 22190
8.97/9.05 c Objective sense : minimize
8.97/9.05 c Presolved Problem :
8.97/9.05 c Variables : 4804 (4703 binary, 0 integer, 101 implicit integer, 0 continuous)
8.97/9.05 c Constraints : 6186
8.97/9.05 c Constraints : Number
8.97/9.05 c knapsack : 172
8.97/9.05 c setppc : 2871
8.97/9.05 c and : 243
8.97/9.05 c linear : 2436
8.97/9.05 c logicor : 348
8.97/9.05 c indicator : 116
8.97/9.05 c ** Instance transfer method used: 0
8.97/9.07 c ** ParaScipInstance copy increased the number of variables. **
8.97/9.10 c LC is working with racing ramp-up and with rebuilding tree after racing.
8.97/9.10 c Nodes Active
8.97/9.10 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
10.64/10.80 c * 11 0 1 1 115541.0000 - -
10.64/10.80 c 11 0 1 1 115541.0000 - -
10.75/10.81 c * 11 0 1 1 6327.0000 - -
104.58/105.04 c * 105 0 1 1 1893.0000 - -
104.58/105.04 c 105 0 1 1 1893.0000 - -
104.58/105.06 c * 105 0 1 1 1858.0000 - -
107.57/108.03 c * 108 0 1 1 1156.0000 - -
109.45/109.93 c * 110 0 1 1 1150.0000 - -
122.11/122.62 c 123 2 1 1 1150.0000 0.0000 -
134.28/134.80 c 135 3 2 1 1150.0000 0.0000 -
143.26/143.82 c 144 4 3 1 1150.0000 0.0000 -
152.64/153.22 c 153 5 4 1 1150.0000 0.0000 -
161.01/161.64 c 162 5 6 1 1150.0000 0.0000 -
172.09/172.76 c 173 7 6 1 1150.0000 0.0000 -
180.27/180.92 c 181 8 7 1 1150.0000 0.0000 -
188.55/189.28 c 189 9 8 1 1150.0000 0.0000 -
199.34/200.03 c 200 10 9 1 1150.0000 0.0000 -
209.60/210.39 c 210 11 10 1 1150.0000 0.0000 -
219.48/220.26 c 220 12 11 1 1150.0000 0.0000 -
226.56/227.38 c 227 13 12 1 1150.0000 0.0000 -
236.84/237.66 c 238 19 18 1 1150.0000 0.0000 -
244.02/244.81 c 245 43 40 1 1150.0000 0.0000 -
248.51/249.34 c * 249 44 41 1 908.0000 0.0000 -
248.51/249.35 c * 249 44 41 1 859.0000 0.0000 -
249.23/250.03 c 250 74 62 1 859.0000 0.0000 -
254.50/255.34 c 255 83 69 1 859.0000 0.0000 -
261.58/262.49 c 262 84 70 1 859.0000 0.0000 -
267.68/268.53 c 269 112 90 1 859.0000 0.0000 -
275.05/275.98 c 276 113 91 1 859.0000 0.0000 -
280.84/281.76 c 282 133 111 1 859.0000 0.0000 -
289.72/290.61 c 291 135 113 1 859.0000 0.0000 -
293.01/293.97 c * 294 145 119 1 749.0000 0.0000 -
293.01/293.98 c * 294 145 119 1 635.0000 0.0000 -
293.22/294.11 c * 294 145 119 1 622.0000 0.0000 -
295.41/296.31 c 296 192 85 1 622.0000 0.0000 -
300.89/301.86 c 302 216 86 1 622.0000 0.0000 -
313.27/314.24 c 314 233 85 1 622.0000 0.0000 -
319.06/320.05 c 320 236 88 1 622.0000 0.0000 -
322.24/323.27 c * 323 303 105 1 436.0000 0.0000 -
322.24/323.27 c * 323 303 105 1 386.0000 0.0000 -
322.24/323.28 c * 323 303 105 1 354.0000 0.0000 -
325.44/326.43 c 326 313 88 1 354.0000 0.0000 -
333.32/334.36 c 334 314 89 1 354.0000 0.0000 -
339.90/340.91 c 341 323 98 1 354.0000 0.0000 -
345.49/346.52 c 347 358 133 1 354.0000 0.0000 -
351.87/352.92 c 353 433 186 1 354.0000 0.0000 -
363.55/364.64 c 365 463 188 1 354.0000 0.0000 -
375.31/376.41 c 376 512 196 1 354.0000 0.0000 -
380.40/381.58 c 382 515 199 1 354.0000 0.0000 -
387.90/389.01 c 389 531 205 1 354.0000 0.0000 -
387.90/389.06 c * 389 531 205 1 218.0000 0.0000 -
397.37/398.58 c 399 536 145 1 218.0000 0.0000 -
402.46/403.69 c 404 537 146 1 218.0000 0.0000 -
407.85/409.04 c 409 553 153 1 218.0000 0.0000 -
415.62/416.86 c 417 554 154 1 218.0000 0.0000 -
426.00/427.29 c 427 557 157 1 218.0000 0.0000 -
433.79/435.03 c 435 573 161 1 218.0000 0.0000 -
439.17/440.49 c 440 574 162 1 218.0000 0.0000 -
444.96/446.24 c 446 612 163 1 218.0000 0.0000 -
451.04/452.35 c 452 617 168 1 218.0000 0.0000 -
459.73/461.01 c 461 664 187 1 218.0000 0.0000 -
468.40/469.78 c 470 692 196 1 218.0000 0.0000 -
473.98/475.37 c 475 696 200 1 218.0000 0.0000 -
482.26/483.67 c 484 697 201 1 218.0000 0.0000 -
488.85/490.29 c 490 704 201 1 218.0000 0.0000 -
494.64/496.02 c 496 707 204 1 218.0000 0.0000 -
500.11/501.59 c 502 726 214 1 218.0000 0.0000 -
509.29/510.74 c 511 745 217 1 218.0000 0.0000 -
514.58/516.01 c 516 762 220 1 218.0000 0.0000 -
523.85/525.38 c 525 772 226 1 218.0000 0.0000 -
530.03/531.58 c 532 799 236 1 218.0000 0.0000 -
540.62/542.14 c 542 842 247 1 218.0000 0.0000 -
546.79/548.37 c 548 842 249 1 218.0000 0.0000 -
553.78/555.35 c 555 845 250 1 218.0000 0.0000 -
558.96/560.56 c 561 883 256 1 218.0000 0.0000 -
564.05/565.64 c 566 899 264 1 218.0000 0.0000 -
569.04/570.66 c 571 937 283 1 218.0000 0.0000 -
575.53/577.15 c 577 942 282 1 218.0000 0.0000 -
581.20/582.87 c 583 983 284 1 218.0000 0.0000 -
593.96/595.62 c 596 1042 278 1 218.0000 0.0000 -
603.53/605.21 c 605 1046 282 1 218.0000 0.0000 -
613.62/615.33 c 615 1062 287 1 218.0000 0.0000 -
620.80/622.57 c 623 1066 291 1 218.0000 0.0000 -
629.28/631.09 c 631 1084 294 1 218.0000 0.0000 -
637.37/639.15 c 639 1092 298 1 218.0000 0.0000 -
641.15/642.91 c * 643 1108 306 1 217.0000 0.0000 -
646.74/648.57 c 649 1122 302 1 217.0000 0.0000 -
660.90/662.73 c 663 1125 305 1 217.0000 0.0000 -
666.69/668.51 c 669 1178 306 1 217.0000 0.0000 -
672.07/673.90 c 674 1212 314 1 217.0000 0.0000 -
681.64/683.53 c 684 1232 310 1 217.0000 0.0000 -
692.52/694.42 c 694 1262 314 1 217.0000 0.0000 -
700.60/702.56 c 703 1265 317 1 217.0000 0.0000 -
707.88/709.81 c 710 1267 319 1 217.0000 0.0000 -
712.97/714.98 c 715 1286 323 1 217.0000 0.0000 -
719.17/721.16 c 721 1295 332 1 217.0000 0.0000 -
724.24/726.28 c 726 1308 341 1 217.0000 0.0000 -
729.33/731.34 c 731 1320 341 1 217.0000 0.0000 -
735.52/737.54 c 738 1338 343 1 217.0000 0.0000 -
746.49/748.54 c 749 1352 345 1 217.0000 0.0000 -
752.47/754.51 c 755 1382 349 1 217.0000 0.0000 -
758.36/760.47 c 760 1411 346 1 217.0000 0.0000 -
771.83/774.00 c 774 1442 345 1 217.0000 0.0000 -
778.92/781.09 c 781 1444 347 1 217.0000 0.0000 -
784.70/786.85 c 787 1447 350 1 217.0000 0.0000 -
789.99/792.18 c 792 1472 349 1 217.0000 0.0000 -
801.06/803.22 c 803 1482 349 1 217.0000 0.0000 -
806.05/808.28 c 808 1484 351 1 217.0000 0.0000 -
816.42/818.65 c 819 1542 370 1 217.0000 0.0000 -
821.82/824.06 c 824 1544 372 1 217.0000 0.0000 -
829.80/832.10 c 832 1553 376 1 217.0000 0.0000 -
840.77/843.03 c 843 1592 379 1 217.0000 0.0000 -
850.54/852.85 c 853 1602 383 1 217.0000 0.0000 -
856.23/858.58 c 859 1606 387 1 217.0000 0.0000 -
954.80/957.36 c 957 1618 0 1 217.0000 0.0000 -
965.99/968.52 c 969 1619 1 1 217.0000 0.0000 -
982.15/984.77 c 985 1620 2 1 217.0000 0.0000 -
995.32/997.93 c 998 1622 4 1 217.0000 0.0000 -
1000.51/1003.17 c 1003 1624 6 1 217.0000 0.0000 -
1006.58/1009.25 c 1009 1626 8 1 217.0000 0.0000 -
1013.87/1016.58 c 1017 1629 11 1 217.0000 0.0000 -
1019.47/1022.15 c 1022 1660 40 1 217.0000 0.0000 -
1024.46/1027.16 c 1027 1681 61 1 217.0000 0.0000 -
1029.45/1032.18 c 1032 1722 90 1 217.0000 0.0000 -
1042.00/1044.71 c 1045 1749 103 1 217.0000 0.0000 -
1052.18/1054.95 c 1055 1750 104 1 217.0000 0.0000 -
1060.66/1063.46 c 1063 1753 105 1 217.0000 0.0000 -
1072.53/1075.37 c 1075 1769 109 1 217.0000 0.0000 -
1082.71/1085.56 c 1086 1771 109 1 217.0000 0.0000 -
1093.58/1096.49 c 1096 1774 112 1 217.0000 0.0000 -
1104.06/1106.96 c 1107 1829 140 1 217.0000 0.0000 -
1109.95/1112.81 c 1113 1839 148 1 217.0000 0.0000 -
1115.64/1118.59 c 1119 1860 153 1 217.0000 0.0000 -
1121.24/1124.16 c 1124 1881 161 1 217.0000 0.0000 -
1126.91/1129.80 c 1130 1889 161 1 217.0000 0.0000 -
1135.39/1138.31 c 1138 1890 162 1 217.0000 0.0000 -
1140.98/1143.98 c 1144 1896 163 1 217.0000 0.0000 -
1148.26/1151.21 c 1151 1899 162 1 217.0000 0.0000 -
1154.55/1157.50 c 1158 1917 162 1 217.0000 0.0000 -
1160.93/1163.94 c 1164 1933 174 1 217.0000 0.0000 -
1171.40/1174.43 c 1174 1949 184 1 217.0000 0.0000 -
1177.39/1180.41 c 1180 1968 190 1 217.0000 0.0000 -
1183.47/1186.52 c 1187 1988 200 1 217.0000 0.0000 -
1189.07/1192.11 c 1192 2010 209 1 217.0000 0.0000 -
1197.05/1200.18 c 1200 2019 206 1 217.0000 0.0000 -
1203.32/1206.43 c 1206 2035 210 1 217.0000 0.0000 -
1209.31/1212.47 c 1212 2058 225 1 217.0000 0.0000 -
1219.29/1222.44 c 1222 2079 238 1 217.0000 0.0000 -
1228.88/1232.03 c 1232 2129 256 1 217.0000 0.0000 -
1235.55/1238.74 c 1239 2133 260 1 217.0000 0.0000 -
1246.53/1249.79 c 1250 2149 258 1 217.0000 0.0000 -
1252.61/1255.81 c 1256 2150 259 1 217.0000 0.0000 -
1259.81/1263.09 c 1263 2151 260 1 217.0000 0.0000 -
1268.17/1271.48 c 1271 2159 264 1 217.0000 0.0000 -
1275.96/1279.22 c 1279 2161 266 1 217.0000 0.0000 -
1281.44/1284.74 c 1285 2163 268 1 217.0000 0.0000 -
1290.83/1294.12 c 1294 2169 264 1 217.0000 0.0000 -
1296.72/1300.07 c 1300 2170 263 1 217.0000 0.0000 -
1302.60/1305.99 c 1306 2171 264 1 217.0000 0.0000 -
1309.98/1313.37 c 1313 2173 264 1 217.0000 0.0000 -
1318.67/1322.09 c 1322 2175 266 1 217.0000 0.0000 -
1328.04/1331.47 c 1331 2179 266 1 217.0000 0.0000 -
1333.74/1337.14 c 1337 2181 268 1 217.0000 0.0000 -
1341.91/1345.34 c 1345 2190 275 1 217.0000 0.0000 -
1347.79/1351.28 c 1351 2234 299 1 217.0000 0.0000 -
1357.37/1360.80 c 1361 2249 304 1 217.0000 0.0000 -
1362.57/1366.10 c 1366 2252 307 1 217.0000 0.0000 -
1368.04/1371.50 c 1372 2294 315 1 217.0000 0.0000 -
1373.03/1376.55 c 1377 2381 314 1 217.0000 0.0000 -
1379.52/1383.08 c 1383 2389 314 1 217.0000 0.0000 -
1392.60/1396.11 c 1396 2391 316 1 217.0000 0.0000 -
1398.08/1401.66 c 1402 2416 319 1 217.0000 0.0000 -
1403.76/1407.38 c 1407 2429 322 1 217.0000 0.0000 -
1412.64/1416.24 c 1416 2431 324 1 217.0000 0.0000 -
1418.12/1421.73 c 1422 2495 321 1 217.0000 0.0000 -
1423.52/1427.12 c 1427 2564 344 1 217.0000 0.0000 -
1428.79/1432.42 c 1432 2619 342 1 217.0000 0.0000 -
1435.49/1439.12 c 1439 2622 345 1 217.0000 0.0000 -
1446.85/1450.56 c 1451 2659 346 1 217.0000 0.0000 -
1452.84/1456.59 c 1457 2660 347 1 217.0000 0.0000 -
1458.92/1462.69 c 1463 2662 349 1 217.0000 0.0000 -
1465.91/1469.65 c 1470 2679 350 1 217.0000 0.0000 -
1477.98/1481.74 c 1482 2682 353 1 217.0000 0.0000 -
1483.07/1486.85 c 1487 2706 357 1 217.0000 0.0000 -
1491.05/1494.86 c 1495 2721 355 1 217.0000 0.0000 -
1499.83/1503.69 c 1504 2730 358 1 217.0000 0.0000 -
1505.11/1508.94 c 1509 2779 357 1 217.0000 0.0000 -
1512.10/1515.99 c 1516 2799 354 1 217.0000 0.0000 -
1520.38/1524.29 c 1524 2800 355 1 217.0000 0.0000 -
1527.77/1531.67 c 1532 2803 358 1 217.0000 0.0000 -
1533.26/1537.17 c 1537 2829 370 1 217.0000 0.0000 -
1540.43/1544.38 c 1544 2831 372 1 217.0000 0.0000 -
1545.72/1549.66 c 1550 2833 374 1 217.0000 0.0000 -
1550.71/1554.67 c 1555 2869 381 1 217.0000 0.0000 -
1557.10/1561.03 c 1561 2870 382 1 217.0000 0.0000 -
1562.68/1566.61 c 1567 2872 384 1 217.0000 0.0000 -
1573.66/1577.66 c 1578 2899 384 1 217.0000 0.0000 -
1580.35/1584.32 c 1584 2902 387 1 217.0000 0.0000 -
1589.93/1593.97 c 1594 2910 387 1 217.0000 0.0000 -
1595.03/1599.06 c 1599 2919 390 1 217.0000 0.0000 -
1603.50/1607.58 c 1608 2920 391 1 217.0000 0.0000 -
1613.97/1618.07 c 1618 2929 392 1 217.0000 0.0000 -
1619.64/1623.71 c 1624 2937 394 1 217.0000 0.0000 -
1630.42/1634.58 c 1635 2959 398 1 217.0000 0.0000 -
1638.79/1642.90 c 1643 2960 399 1 217.0000 0.0000 -
1647.66/1651.81 c 1652 2962 401 1 217.0000 0.0000 -
1653.54/1657.77 c 1658 3024 407 1 217.0000 0.0000 -
1660.12/1664.30 c 1664 3031 406 1 217.0000 0.0000 -
1669.49/1673.79 c 1674 3059 404 1 217.0000 0.0000 -
1678.06/1682.37 c 1682 3061 406 1 217.0000 0.0000 -
1683.94/1688.25 c 1688 3063 408 1 217.0000 0.0000 -
1689.03/1693.36 c 1693 3089 407 1 217.0000 0.0000 -
1694.31/1698.62 c 1699 3104 411 1 217.0000 0.0000 -
1699.40/1703.74 c 1704 3194 412 1 217.0000 0.0000 -
1714.45/1718.80 c 1719 3199 409 1 217.0000 0.0000 -
1724.42/1728.80 c 1729 3200 410 1 217.0000 0.0000 -
1729.81/1734.27 c 1734 3201 411 1 217.0000 0.0000 -
1735.49/1739.90 c 1740 3219 414 1 217.0000 0.0000 -
1741.68/1746.14 c 1746 3221 416 1 217.0000 0.0000 -
1749.55/1754.08 c 1754 3249 421 1 217.0000 0.0000 -
1758.22/1762.73 c 1763 3259 425 1 217.0000 0.0000 -
1764.90/1769.42 c 1769 3261 427 1 217.0000 0.0000 -
1771.19/1775.72 c 1776 3263 429 1 217.0000 0.0000 -
1776.87/1781.47 c 1781 3299 428 1 217.0000 0.0000 -
1789.55/1794.14 c 1794 3301 430 1 217.0000 0.0000 -
1796.22/1800.89 c 1801 3318 435 1 217.0000 0.0000 -
1802.11/1806.72 c 1807 3326 437 1 217.0000 0.0000 -
1807.80/1812.43 c 1812 3355 443 1 217.0000 0.0000 -
1812.88/1817.54 c 1818 3389 443 1 217.0000 0.0000 -
1818.07/1822.74 c 1823 3399 447 1 217.0000 0.0000 -
1825.47/1830.17 c 1830 3401 449 1 217.0000 0.0000 -
1834.63/1839.33 c 1839 3449 453 1 217.0000 0.0000 -
1840.34/1845.03 c 1845 3471 457 1 217.0000 0.0000 -
1845.61/1850.30 c 1850 3490 462 1 217.0000 0.0000 -
1850.70/1855.43 c 1855 3499 467 1 217.0000 0.0000 -
1864.77/1869.57 c 1870 3509 471 1 217.0000 0.0000 -
1872.85/1877.69 c 1878 3510 472 1 217.0000 0.0000 -
1880.63/1885.40 c 1885 3511 473 1 217.0000 0.0000 -
1885.92/1890.70 c 1891 3512 474 1 217.0000 0.0000 -
1892.60/1897.40 c 1897 3529 477 1 217.0000 0.0000 -
1898.30/1903.13 c 1903 3564 482 1 217.0000 0.0000 -
1898.39/1903.27 c * 1903 3564 482 1 197.0000 0.0000 -
1912.06/1916.95 c 1917 3600 464 1 197.0000 0.0000 -
1920.74/1925.60 c 1926 3609 470 1 197.0000 0.0000 -
1925.93/1930.81 c 1931 3647 488 1 197.0000 0.0000 -
1933.12/1938.07 c 1938 3689 495 1 197.0000 0.0000 -
1937.40/1942.33 c * 1942 3700 500 1 195.0000 0.0000 -
1937.50/1942.42 c * 1942 3700 500 1 187.0000 0.0000 -
1937.50/1942.46 c * 1942 3700 500 1 176.0000 0.0000 -
1949.67/1954.68 c 1955 3729 481 1 176.0000 0.0000 -
1957.95/1962.93 c 1963 3730 482 1 176.0000 0.0000 -
1964.55/1969.55 c 1970 3733 482 1 176.0000 0.0000 -
1969.93/1974.93 c 1975 3739 481 1 176.0000 0.0000 -
1975.13/1980.14 c 1980 3745 485 1 176.0000 0.0000 -
1980.11/1985.20 c 1985 3809 484 1 176.0000 0.0000 -
1988.18/1993.28 c 1993 3829 490 1 176.0000 0.0000 -
1993.08/1998.19 c * 1998 3853 499 1 168.0000 0.0000 -
1993.17/1998.21 c * 1998 3853 499 1 165.0000 0.0000 -
1997.36/2002.47 c 2002 3869 482 1 165.0000 0.0000 -
2004.75/2009.81 c 2010 3870 483 1 165.0000 0.0000 -
2013.73/2018.81 c 2019 3879 484 1 165.0000 0.0000 -
2020.02/2025.14 c 2025 3880 485 1 165.0000 0.0000 -
2031.29/2036.45 c 2036 3882 487 1 165.0000 0.0000 -
2046.76/2051.92 c 2052 3929 485 1 165.0000 0.0000 -
2052.85/2058.09 c 2058 3934 488 1 165.0000 0.0000 -
2058.13/2063.33 c 2063 3939 493 1 165.0000 0.0000 -
2062.52/2067.73 c * 2068 3943 497 1 160.0000 0.0000 -
2067.41/2072.63 c 2073 3959 490 1 160.0000 0.0000 -
2074.09/2079.35 c 2079 3962 493 1 160.0000 0.0000 -
2082.27/2087.58 c 2088 3969 494 1 160.0000 0.0000 -
2087.96/2093.25 c 2093 4027 510 1 160.0000 0.0000 -
2093.45/2098.78 c 2099 4115 588 1 160.0000 0.0000 -
2094.44/2099.79 c * 2100 4140 607 1 151.0000 0.0000 -
2100.74/2106.06 c 2106 4159 594 1 151.0000 0.0000 -
2107.41/2112.78 c 2113 4163 596 1 151.0000 0.0000 -
2114.00/2119.33 c 2119 4169 599 1 151.0000 0.0000 -
2134.76/2140.17 c 2140 4171 601 1 151.0000 0.0000 -
2140.04/2145.47 c 2145 4173 603 1 151.0000 0.0000 -
2145.33/2150.71 c 2151 4180 608 1 151.0000 0.0000 -
2152.01/2157.40 c 2157 4189 613 1 151.0000 0.0000 -
2157.00/2162.43 c 2162 4190 614 1 151.0000 0.0000 -
2164.29/2169.71 c 2170 4220 632 1 151.0000 0.0000 -
2164.49/2169.96 c * 2170 4220 632 1 135.0000 0.0000 -
2166.78/2172.29 c * 2172 4248 602 1 100.0000 0.0000 -
2173.76/2179.29 c 2179 4269 503 1 100.0000 0.0000 -
2180.66/2186.17 c 2186 4279 505 1 100.0000 0.0000 -
2189.43/2194.93 c 2195 4280 506 1 100.0000 0.0000 -
2194.72/2200.24 c 2200 4283 509 1 100.0000 0.0000 -
2206.79/2212.34 c 2212 4301 510 1 100.0000 0.0000 -
2211.18/2216.80 c * 2217 4326 513 1 97.0000 0.0000 -
2217.57/2223.19 c 2223 4339 493 1 97.0000 0.0000 -
2223.56/2229.12 c 2229 4343 496 1 97.0000 0.0000 -
2225.05/2230.64 c * 2231 4361 489 1 82.0000 0.0000 -
2227.15/2232.74 c * 2233 4399 450 1 50.0000 0.0000 -
2229.74/2235.37 c 2235 4409 359 1 50.0000 0.0000 -
2234.93/2240.58 c 2241 4410 360 1 50.0000 0.0000 -
2237.22/2242.83 c * 2243 4412 360 1 44.0000 0.0000 -
2237.44/2243.06 c * 2243 4412 360 1 28.0000 0.0000 -
2240.12/2245.73 c 2246 4431 240 1 28.0000 0.0000 -
2245.42/2251.09 c 2251 4439 244 1 28.0000 0.0000 -
2252.59/2258.21 c 2258 4464 230 1 28.0000 0.0000 -
2263.27/2268.95 c 2269 4480 227 1 28.0000 0.0000 -
2269.85/2275.51 c 2276 4507 189 1 28.0000 0.0000 -
2274.84/2280.57 c 2281 4509 189 1 28.0000 0.0000 -
2280.72/2286.42 c 2286 4513 191 1 28.0000 0.0000 -
2286.81/2292.51 c 2293 4530 195 1 28.0000 0.0000 -
2292.10/2297.82 c 2298 4533 196 1 28.0000 0.0000 -
2294.59/2300.32 c * 2300 4616 199 1 12.0000 0.0000 -
2297.49/2303.20 c 2303 4659 131 1 12.0000 0.0000 -
2325.34/2331.12 c 2331 4669 104 1 12.0000 0.0000 -
2331.91/2337.78 c 2338 4676 87 1 12.0000 0.0000 -
2332.01/2337.81 c * 2338 4676 87 1 5.0000 0.0000 -
2337.31/2343.17 c 2343 4692 28 1 5.0000 0.0000 -
2358.05/2364.01 c 2364 4693 29 1 5.0000 0.0000 -
2363.43/2369.39 c 2369 4703 27 1 5.0000 0.0000 -
2370.42/2376.33 c 2376 4708 22 1 5.0000 0.0000 -
2377.21/2383.18 c 2383 4710 21 1 5.0000 0.0000 -
2384.58/2390.51 c 2391 4721 22 1 5.0000 0.0000 -
2395.76/2401.77 c 2402 4724 16 1 5.0000 0.0000 -
2401.64/2407.66 c 2408 4732 11 1 5.0000 0.0000 -
2406.83/2412.80 c 2413 4735 2 1 5.0000 0.0000 -
2419.90/2425.99 c 2426 4738 1 1 5.0000 0.0000 -
2425.69/2431.74 c 2432 4741 0 1 5.0000 0.0000 -
2431.77/2437.89 c 2438 4744 1 1 5.0000 0.0000 -
2439.07/2445.16 c 2445 4751 0 1 5.0000 0.0000 -
2446.55/2452.65 c 2453 4753 2 1 5.0000 0.0000 -
2454.93/2461.10 c 2461 4761 0 1 5.0000 0.0000 -
2460.92/2467.01 c 2467 4762 1 1 5.0000 0.0000 -
2462.11/2468.23 c 2468 4764 0 0 5.0000 5.0000 0.00%
2462.20/2468.33 c 2468 4764 0 0 5.0000 5.0000 -
2462.20/2468.33 c SCIP Status : c problem is solved
2462.20/2468.33 c Total Time : 2468.3100
2462.20/2468.33 c solving : 2468.3100
2462.20/2468.33 c presolving : 8.8325 (included in solving)
2462.20/2468.33 c B&B Tree :
2462.20/2468.33 c nodes (total) : 4764
2462.20/2468.33 c Solution :
2462.20/2468.33 c Solutions found : 33
2462.20/2468.33 c Primal Bound : +5.00000000000000e+00
2462.20/2468.33 c Dual Bound : +5.00000000000000e+00
2462.20/2468.33 c Gap : 0.00000 %
2462.20/2468.33 o 5
2462.20/2468.33 s OPTIMUM FOUND
2462.20/2468.33 v x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
2462.20/2468.33 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
2462.20/2468.33 v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783
2462.20/2468.33 v -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765
2462.20/2468.33 v -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747
2462.20/2468.33 v -x4746 -x4745 -x4744 -x4743 x4742 x4741 x4740 x4739 x4738 x4737 x4736 x4735 x4734 x4733 -x4732 -x4731 -x4730 -x4729 -x4728
2462.20/2468.33 v -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710
2462.20/2468.33 v -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692
2462.20/2468.33 v -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 x4679 x4678 x4677 x4676 x4675 x4674 x4673
2462.20/2468.33 v x4672 x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
2462.20/2468.33 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
2462.20/2468.33 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619
2462.20/2468.33 v -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601
2462.20/2468.33 v -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 x4590 x4589 x4588 x4587 x4586 x4585 x4584 x4583 -x4582
2462.20/2468.33 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
2462.20/2468.33 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547
2462.20/2468.33 v -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529
2462.20/2468.33 v -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511
2462.20/2468.33 v -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493
2462.20/2468.33 v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475
2462.20/2468.33 v -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457
2462.20/2468.33 v -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
2462.20/2468.33 v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
2462.20/2468.33 v x4420 x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
2462.20/2468.33 v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385
2462.20/2468.33 v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368
2462.20/2468.33 v -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350
2462.20/2468.33 v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 x4338 x4337 x4336 x4335 x4334 x4333 x4332 -x4331
2462.20/2468.33 v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313
2462.20/2468.33 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295
2462.20/2468.33 v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 x4279 x4278 x4277
2462.20/2468.33 v x4276 x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
2462.20/2468.33 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
2462.20/2468.33 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
2462.20/2468.33 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
2462.20/2468.33 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
2462.20/2468.33 v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169
2462.20/2468.33 v -x4168 -x4167 -x4166 x4165 x4164 x4163 x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
2462.20/2468.33 v -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
2462.20/2468.33 v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115
2462.20/2468.33 v -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097
2462.20/2468.33 v -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079
2462.20/2468.33 v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
2462.20/2468.33 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
2462.20/2468.33 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 x4028 x4027 -x4026
2462.20/2468.33 v -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
2462.20/2468.33 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990
2462.20/2468.33 v -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972
2462.20/2468.33 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954
2462.20/2468.33 v -x3953 -x3952 -x3951 -x3950 -x3949 x3948 x3947 x3946 x3945 x3944 x3943 x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935
2462.20/2468.33 v -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917
2462.20/2468.33 v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
2462.20/2468.33 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882
2462.20/2468.33 v -x3881 x3880 x3879 x3878 x3877 x3876 x3875 x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863
2462.20/2468.33 v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845
2462.20/2468.33 v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827
2462.20/2468.33 v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809
2462.20/2468.33 v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791
2462.20/2468.33 v -x3790 -x3789 -x3788 -x3787 -x3786 x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773
2462.20/2468.33 v -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756
2462.20/2468.33 v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738
2462.20/2468.33 v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720
2462.20/2468.33 v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 x3706 x3705 x3704 x3703 x3702 x3701
2462.20/2468.33 v x3700 x3699 x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683
2462.20/2468.33 v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665
2462.20/2468.33 v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647
2462.20/2468.33 v -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 x3639 x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629
2462.20/2468.33 v -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611
2462.20/2468.33 v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593
2462.20/2468.33 v -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575
2462.20/2468.33 v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558
2462.20/2468.33 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 x3544 x3543 x3542 x3541 -x3540 -x3539
2462.20/2468.33 v -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521
2462.20/2468.33 v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503
2462.20/2468.33 v -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486
2462.20/2468.33 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 x3473 x3472 x3471 x3470 x3469 x3468 x3467
2462.20/2468.33 v -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449
2462.20/2468.33 v -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431
2462.20/2468.33 v -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413
2462.20/2468.33 v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395
2462.20/2468.33 v -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377
2462.20/2468.33 v -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 x3360 x3359
2462.20/2468.33 v -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341
2462.20/2468.33 v -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323
2462.20/2468.33 v -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306
2462.20/2468.33 v -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 x3294 x3293 x3292 x3291 x3290 x3289 -x3288 -x3287
2462.20/2468.33 v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269
2462.20/2468.33 v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251
2462.20/2468.33 v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233
2462.20/2468.33 v -x3232 -x3231 -x3230 -x3229 x3228 x3227 x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215
2462.20/2468.33 v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197
2462.20/2468.33 v -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179
2462.20/2468.33 v -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161
2462.20/2468.33 v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143
2462.20/2468.33 v -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 x3132 x3131 x3130 -x3129 -x3128 -x3127 -x3126 -x3125
2462.20/2468.33 v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107
2462.20/2468.33 v -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089
2462.20/2468.33 v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
2462.20/2468.33 v -x3071 -x3070 -x3069 x3068 x3067 x3066 x3065 x3064 x3063 x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053
2462.20/2468.33 v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
2462.20/2468.33 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017
2462.20/2468.33 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999
2462.20/2468.33 v -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 x2991 x2990 x2989 x2988 x2987 x2986 x2985 x2984 x2983 -x2982 -x2981 -x2980
2462.20/2468.33 v -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962
2462.20/2468.33 v -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944
2462.20/2468.33 v -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 x2927 x2926
2462.20/2468.33 v x2925 x2924 x2923 x2922 x2921 x2920 x2919 x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907
2462.20/2468.33 v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889
2462.20/2468.33 v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871
2462.20/2468.33 v -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854
2462.20/2468.33 v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
2462.20/2468.33 v -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 x2818
2462.20/2468.33 v x2817 x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800
2462.20/2468.33 v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782
2462.20/2468.33 v -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764
2462.20/2468.33 v -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746
2462.20/2468.33 v -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728
2462.20/2468.33 v -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710
2462.20/2468.33 v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692
2462.20/2468.33 v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675
2462.20/2468.33 v -x2674 -x2673 -x2672 x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657
2462.20/2468.33 v -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639
2462.20/2468.33 v -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621
2462.20/2468.33 v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603
2462.20/2468.33 v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585
2462.20/2468.33 v -x2584 x2583 x2582 x2581 x2580 x2579 x2578 x2577 x2576 x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566
2462.20/2468.33 v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548
2462.20/2468.33 v -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530
2462.20/2468.33 v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 x2514 x2513 x2512
2462.20/2468.33 v x2511 x2510 x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494
2462.20/2468.33 v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
2462.20/2468.33 v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
2462.20/2468.33 v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
2462.20/2468.33 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 x2422
2462.20/2468.33 v x2421 x2420 x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
2462.20/2468.33 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
2462.20/2468.33 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368
2462.20/2468.33 v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
2462.20/2468.33 v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341 x2340 x2339 x2338 x2337 x2336 x2335 x2334 x2333 x2332 x2331
2462.20/2468.33 v x2330 x2329 x2328 x2327 x2326 x2325 x2324 x2323 x2322 x2321 x2320 x2319 x2318 x2317 x2316 -x2315 -x2314 -x2313 -x2312 -x2311
2462.20/2468.33 v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293
2462.20/2468.33 v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275
2462.20/2468.33 v -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 x2263 x2262 x2261 x2260 x2259 x2258 x2257 x2256
2462.20/2468.33 v x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238
2462.20/2468.33 v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220
2462.20/2468.33 v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202
2462.20/2468.33 v -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 x2185 x2184
2462.20/2468.33 v x2183 x2182 x2181 x2180 x2179 x2178 x2177 x2176 x2175 x2174 x2173 x2172 x2171 x2170 x2169 x2168 x2167 x2166 -x2165 -x2164
2462.20/2468.33 v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146
2462.20/2468.33 v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128
2462.20/2468.33 v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110
2462.20/2468.33 v -x2109 -x2108 x2107 x2106 x2105 x2104 x2103 x2102 x2101 x2100 x2099 x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
2462.20/2468.33 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073
2462.20/2468.33 v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055
2462.20/2468.33 v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037
2462.20/2468.33 v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 x2029 x2028 x2027 x2026 x2025 x2024 x2023 x2022 x2021 x2020 x2019 x2018
2462.20/2468.33 v x2017 x2016 x2015 x2014 x2013 x2012 x2011 x2010 x2009 x2008 x2007 x2006 x2005 x2004 x2003 x2002 -x2001 -x2000 -x1999 -x1998 -x1997
2462.20/2468.33 v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980
2462.20/2468.33 v -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962
2462.20/2468.33 v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 x1951 x1950 x1949 x1948 x1947 x1946 x1945 x1944 x1943
2462.20/2468.33 v x1942 x1941 x1940 x1939 x1938 x1937 x1936 x1935 x1934 x1933 x1932 x1931 x1930 x1929 x1928 x1927 x1926 x1925 x1924 x1923 x1922
2462.20/2468.33 v x1921 x1920 x1919 x1918 x1917 x1916 x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903
2462.20/2468.33 v -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
2462.20/2468.33 v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872 x1871 x1870 x1869 x1868 x1867 x1866
2462.20/2468.33 v x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
2462.20/2468.33 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
2462.20/2468.33 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811
2462.20/2468.33 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 x1794 x1793
2462.20/2468.33 v x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 x1774 x1773 x1772
2462.20/2468.33 v x1771 x1770 x1769 x1768 x1767 x1766 x1765 x1764 x1763 x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754 x1753 x1752 x1751
2462.20/2468.33 v x1750 x1749 x1748 x1747 x1746 x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733
2462.20/2468.33 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 x1717 x1716 x1715 x1714
2462.20/2468.33 v x1713 x1712 x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 x1698 x1697 x1696 x1695 x1694 x1693
2462.20/2468.33 v x1692 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675
2462.20/2468.33 v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657
2462.20/2468.33 v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 x1639
2462.20/2468.33 v x1638 x1637 x1636 x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622 x1621 x1620 x1619
2462.20/2468.33 v x1618 x1617 x1616 x1615 x1614 x1613 x1612 x1611 x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599
2462.20/2468.33 v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
2462.20/2468.33 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564
2462.20/2468.33 v -x1563 -x1562 x1561 x1560 x1559 x1558 x1557 x1556 x1555 x1554 x1553 x1552 x1551 x1550 x1549 x1548 x1547 x1546 x1545 x1544 x1543
2462.20/2468.33 v x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 x1532 x1531 x1530 x1529 x1528 x1527 x1526 x1525 -x1524 -x1523
2462.20/2468.33 v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
2462.20/2468.33 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487
2462.20/2468.33 v -x1486 -x1485 -x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467
2462.20/2468.33 v x1466 x1465 x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447
2462.20/2468.33 v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430
2462.20/2468.33 v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412
2462.20/2468.33 v -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396 x1395 x1394 x1393 x1392
2462.20/2468.33 v x1391 x1390 x1389 x1388 x1387 x1386 x1385 x1384 x1383 x1382 x1381 x1380 x1379 x1378 x1377 x1376 x1375 x1374 x1373 x1372 x1371
2462.20/2468.33 v x1370 x1369 x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353
2462.20/2468.33 v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335
2462.20/2468.33 v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 x1327 x1326 x1325 x1324 x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315
2462.20/2468.33 v x1314 x1313 x1312 x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294
2462.20/2468.33 v x1293 x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
2462.20/2468.33 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
2462.20/2468.33 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238 x1237
2462.20/2468.33 v x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 -x1220 -x1219 -x1218 -x1217
2462.20/2468.33 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
2462.20/2468.33 v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181
2462.20/2468.33 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 x1165 x1164 x1163 x1162
2462.20/2468.33 v x1161 x1160 x1159 x1158 x1157 x1156 x1155 x1154 x1153 x1152 x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 x1143 x1142 x1141
2462.20/2468.33 v x1140 x1139 x1138 x1137 x1136 x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 x1127 x1126 x1125 x1124 -x1123 -x1122 -x1121
2462.20/2468.33 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
2462.20/2468.33 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084
2462.20/2468.33 v x1083 x1082 x1081 x1080 x1079 x1078 x1077 x1076 x1075 x1074 x1073 x1072 x1071 x1070 x1069 x1068 x1067 x1066 x1065 x1064 x1063
2462.20/2468.33 v x1062 x1061 x1060 x1059 x1058 x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043
2462.20/2468.33 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025
2462.20/2468.33 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 x1014 x1013 x1012 x1011 x1010 x1009 x1008 x1007 x1006
2462.20/2468.33 v x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 x993 x992 x991 x990 x989 x988 x987 x986 x985 x984 x983 x982
2462.20/2468.33 v x981 x980 x979 x978 x977 x976 x975 x974 x973 x972 x971 x970 x969 x968 x967 x966 x965 x964 x963 x962 x961 x960 x959 x958 x957
2462.20/2468.33 v x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 x945 x944 x943 x942 -x941 -x940 -x939 -x938 x937 x936 x935 x934 x933
2462.20/2468.33 v x932 x931 x930 x929 x928 x927 x926 x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908
2462.20/2468.33 v x907 x906 x905 x904 x903 x902 x901 x900 x899 x898 x897 x896 x895 x894 x893 x892 x891 x890 x889 x888 x887 x886 x885 x884 x883
2462.20/2468.33 v x882 x881 x880 x879 x878 x877 x876 x875 x874 x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
2462.20/2468.33 v x859 x858 x857 x856 x855 x854 x853 x852 x851 x850 x849 x848 x847 x846 x845 x844 x843 x842 x841 x840 x839 x838 x837 x836 x835
2462.20/2468.33 v x834 x833 x832 x831 x830 x829 x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 x813 x812 x811 x810
2462.20/2468.33 v x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
2462.20/2468.33 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766
2462.20/2468.33 v x765 x764 x763 x762 x761 x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 x742 x741
2462.20/2468.33 v x740 x739 x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 x720 x719 x718 x717 x716
2462.20/2468.33 v x715 x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692
2462.20/2468.33 v x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667
2462.20/2468.33 v x666 x665 x664 x663 x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652 x651 x650 x649 x648 x647 x646 x645 -x644 -x643
2462.31/2468.43 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 x624 x623 x622 x621
2462.31/2468.43 v x620 x619 x618 x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598 x597 x596
2462.31/2468.43 v x595 x594 x593 x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 x572 x571
2462.31/2468.43 v x570 x569 x568 x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549
2462.31/2468.43 v -x548 x547 x546 x545 x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525
2462.31/2468.43 v x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 x501 -x500
2462.31/2468.43 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
2462.31/2468.43 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456
2462.31/2468.43 v x455 x454 x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431
2462.31/2468.43 v x430 x429 x428 x427 x426 x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 x406
2462.31/2468.43 v x405 x404 x403 x402 x401 x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382
2462.31/2468.43 v x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357
2462.31/2468.43 v x356 x355 x354 x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 x332
2462.31/2468.43 v x331 x330 x329 x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 x318 -x317 -x316 -x315 -x314 x313 x312 x311 x310 x309 x308
2462.31/2468.43 v x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283
2462.31/2468.43 v x282 x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260 x259 x258
2462.31/2468.43 v x257 x256 x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
2462.31/2468.43 v -x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212
2462.31/2468.43 v x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187
2462.31/2468.43 v x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162
2462.31/2468.43 v x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137
2462.31/2468.43 v x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112
2462.31/2468.43 v x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
2462.31/2468.43 v -x84 -x83 -x82 -x81 -x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55
2462.31/2468.43 v x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24
2462.31/2468.43 v x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (54506 MiB free)
memory of node 1: 64473 MiB (60275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464900-1722389847/watcher-4464900-1722389847 -o /tmp/evaluation-result-4464900-1722389847/solver-4464900-1722389847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722389843-35485 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464900-1722389847.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=35791, runsolver pid=35788
[startup+0.100996 s]*
/proc/loadavg: 1.39 1.75 2.75 5/239 35796
/proc/meminfo: memFree=117585772/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=44900 memory=33256 CPUtime=0.1 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 6219 0 0 0 9 1 0 0 20 0 1 0 5582359 45977600 8314 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 11225 8314 2347 3035 0 7621 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44900 KiB
Current children cumulated memory: 33256 KiB
[startup+0.213 s]*
/proc/loadavg: 1.39 1.75 2.75 4/239 35806
/proc/meminfo: memFree=117557540/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=76672 memory=64380 CPUtime=0.21 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 13781 0 0 0 17 4 0 0 20 0 1 0 5582359 78512128 16095 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 19168 16095 2598 3035 0 15564 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 76672 KiB
Current children cumulated memory: 64380 KiB
[startup+0.312759 s]*
/proc/loadavg: 1.39 1.75 2.75 6/238 35818
/proc/meminfo: memFree=117536100/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=97264 memory=83712 CPUtime=0.31 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 18649 0 0 0 26 5 0 0 20 0 1 0 5582359 99598336 20928 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 24316 20928 2614 3035 0 20712 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97264 KiB
Current children cumulated memory: 83712 KiB
[startup+0.700333 s]
/proc/loadavg: 1.39 1.75 2.75 5/236 35828
/proc/meminfo: memFree=117531228/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=106248 memory=92596 CPUtime=0.68 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 20801 0 0 0 62 6 0 0 20 0 1 0 5582359 108797952 23149 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 26562 23149 2678 3035 0 22958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106248 KiB
Current children cumulated memory: 92596 KiB
[startup+1.50034 s]
/proc/loadavg: 1.39 1.75 2.75 5/242 35838
/proc/meminfo: memFree=117446752/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=111116 memory=96556 CPUtime=1.48 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 21804 0 0 0 142 6 0 0 20 0 1 0 5582359 113782784 24139 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 27779 24139 2678 3035 0 24175 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111116 KiB
Current children cumulated memory: 96556 KiB
[startup+3.11251 s]
/proc/loadavg: 1.68 1.81 2.76 5/242 35838
/proc/meminfo: memFree=117426656/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=116624 memory=101348 CPUtime=3.08 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 23003 0 0 0 302 6 0 0 20 0 1 0 5582359 119422976 25337 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 29156 25337 2678 3035 0 25552 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116624 KiB
Current children cumulated memory: 101348 KiB
[startup+6.30031 s]
/proc/loadavg: 1.68 1.81 2.76 5/242 35838
/proc/meminfo: memFree=117418500/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=118996 memory=103712 CPUtime=6.27 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 23601 0 0 0 620 7 0 0 20 0 1 0 5582359 121851904 25928 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 29749 25928 2678 3035 0 26145 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118996 KiB
Current children cumulated memory: 103712 KiB
[startup+12.7004 s]
/proc/loadavg: 1.95 1.86 2.78 5/246 35844
/proc/meminfo: memFree=117006900/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=273220 memory=189496 CPUtime=12.64 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 53802 0 0 0 1251 13 0 0 20 0 3 0 5582359 279777280 47374 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 68305 47374 2902 3035 0 56476 0
[pid=35791/tid=35841] ppid=35788 vsize=273220 memory=188968 CPUtime=3.6 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 19370 0 0 0 356 4 0 0 20 0 3 0 5583264 279777280 47374 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=273220 memory=2657 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5583269 279777280 47374 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 273220 KiB
Current children cumulated memory: 189496 KiB
[startup+25.5004 s]
/proc/loadavg: 2.62 2.02 2.81 5/250 35850
/proc/meminfo: memFree=116267788/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=276244 memory=210500 CPUtime=25.37 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 88002 0 0 0 2520 17 0 0 20 0 3 0 5582359 282873856 52625 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 69061 52625 2934 3035 0 62030 0
[pid=35791/tid=35841] ppid=35788 vsize=276244 memory=207328 CPUtime=16.33 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 53546 0 0 0 1625 8 0 0 20 0 3 0 5583264 282873856 52625 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=276244 memory=-5155626882056022917 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5583269 282873856 52625 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 276244 KiB
Current children cumulated memory: 210500 KiB
[startup+51.1125 s]
/proc/loadavg: 3.50 2.27 2.88 5/250 35855
/proc/meminfo: memFree=116209140/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=276244 memory=213900 CPUtime=50.84 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 118997 0 0 0 5065 19 0 0 20 0 3 0 5582359 282873856 53475 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 69061 53475 2934 3035 0 63083 0
[pid=35791/tid=35841] ppid=35788 vsize=276244 memory=213376 CPUtime=41.8 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 84524 0 0 0 4170 10 0 0 20 0 3 0 5583264 282873856 53475 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=276244 memory=-5155626882056022917 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5583269 282873856 53475 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 276244 KiB
Current children cumulated memory: 213900 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 2.62 2.96 5/250 35864
/proc/meminfo: memFree=116102512/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=276244 memory=216692 CPUtime=101.87 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 143608 0 0 0 10166 21 0 0 20 0 3 0 5582359 282873856 54173 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 69061 54173 2934 3035 0 64032 0
[pid=35791/tid=35841] ppid=35788 vsize=276244 memory=216692 CPUtime=92.83 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 109114 0 0 0 9271 12 0 0 20 0 3 0 5583264 282873856 54173 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=276244 memory=216692 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 5583269 282873856 54173 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 276244 KiB
Current children cumulated memory: 216692 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 2.92 3.05 5/248 35921
/proc/meminfo: memFree=115338484/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=343048 memory=255024 CPUtime=161.71 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 187495 0 0 0 16146 25 0 0 20 0 3 0 5582359 351281152 63756 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 85762 63756 3030 3035 0 73986 0
[pid=35791/tid=35841] ppid=35788 vsize=343048 memory=236732 CPUtime=152.67 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 151432 0 0 0 15251 16 0 0 20 0 3 0 5583264 351281152 63756 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=343048 memory=236760 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 5583269 351281152 63756 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 343048 KiB
Current children cumulated memory: 255024 KiB
[startup+222.3 s]
/proc/loadavg: 4.72 3.31 3.18 5/250 35936
/proc/meminfo: memFree=115261024/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=343048 memory=278712 CPUtime=221.57 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 205846 0 0 0 22130 27 0 0 20 0 3 0 5582359 351281152 69678 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 85762 69678 3030 3035 0 81495 0
[pid=35791/tid=35841] ppid=35788 vsize=343048 memory=278708 CPUtime=212.53 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 169744 0 0 0 21235 18 0 0 20 0 3 0 5583264 351281152 69678 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=343048 memory=12160 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 5583269 351281152 69678 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 343048 KiB
Current children cumulated memory: 278712 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 3.45 3.24 5/250 35946
/proc/meminfo: memFree=115199288/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=345172 memory=280908 CPUtime=281.43 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 233902 0 0 0 28114 29 0 0 20 0 3 0 5582359 353456128 70227 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 86293 70227 3030 3035 0 82026 0
[pid=35791/tid=35841] ppid=35788 vsize=345172 memory=-7162811948941270648 CPUtime=272.38 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 196448 0 0 0 27218 20 0 0 20 0 3 0 5583264 353456128 70227 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=345172 memory=12160 CPUtime=0 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 101 0 0 0 0 0 0 0 20 0 3 0 5583269 353456128 70227 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 345172 KiB
Current children cumulated memory: 280908 KiB
################
# More data... #
################
/proc/loadavg: 4.49 4.30 4.11 5/249 36879
/proc/meminfo: memFree=114303308/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=531516 CPUtime=2256.68 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 564678 0 0 0 225592 76 0 0 20 0 3 0 5582359 633909248 132879 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 132879 3334 3035 0 141340 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=527384 CPUtime=2247.49 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 521909 0 0 0 224688 61 0 0 20 0 3 0 5583264 633909248 132879 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=12160 CPUtime=0.03 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 5583269 633909248 132879 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2256.68 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 531516 KiB
[startup+2322.3 s]
/proc/loadavg: 4.22 4.26 4.11 5/247 36890
/proc/meminfo: memFree=114284988/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548792 CPUtime=2316.55 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 577732 0 0 0 231577 78 0 0 20 0 3 0 5582359 633909248 137198 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137198 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=548532 CPUtime=2307.35 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 534943 0 0 0 230673 62 0 0 20 0 3 0 5583264 633909248 137198 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=548700 CPUtime=0.03 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 196 0 0 0 1 2 0 0 20 0 3 0 5583269 633909248 137198 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2316.55 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548792 KiB
[startup+2382.3 s]
/proc/loadavg: 4.11 4.22 4.10 5/250 36905
/proc/meminfo: memFree=114283524/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2376.4 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 581849 0 0 0 237561 79 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=548532 CPUtime=2367.2 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 539037 0 0 0 236657 63 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=548840 CPUtime=0.03 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 198 0 0 0 1 2 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2376.4 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2442.3 s]
/proc/loadavg: 4.08 4.19 4.10 5/250 36917
/proc/meminfo: memFree=114281036/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2436.27 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 585086 0 0 0 243547 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=548532 CPUtime=2427.06 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 542261 0 0 0 242642 64 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=548840 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2436.27 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2468.45 s]
# the end of solver process 35791 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2461.53 s, system=0.834727 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2444.8 s]
/proc/loadavg: 4.08 4.19 4.09 5/250 36917
/proc/meminfo: memFree=114280868/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2438.76 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 586956 0 0 0 243796 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=548840 CPUtime=2429.56 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 544131 0 0 0 242892 64 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=548840 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 199 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2438.76 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2457.6 s]
/proc/loadavg: 4.14 4.20 4.10 5/250 36918
/proc/meminfo: memFree=114280688/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2451.53 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 588694 0 0 0 245073 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=1948 CPUtime=2442.33 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 545863 0 0 0 244168 65 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=16076 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 200 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2451.53 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2464 s]*
/proc/loadavg: 4.12 4.19 4.10 5/250 36920
/proc/meminfo: memFree=114280512/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2457.93 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 588975 0 0 0 245713 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=-6000919502838130540 CPUtime=2448.73 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 546141 0 0 0 244808 65 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=4788059350156078751 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 200 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2457.93 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2465.6 s]
/proc/loadavg: 4.12 4.19 4.10 5/250 36920
/proc/meminfo: memFree=114280612/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2459.51 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 589020 0 0 0 245871 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=12160 CPUtime=2450.31 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 546186 0 0 0 244966 65 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=548840 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 200 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2459.51 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2467.2 s]
/proc/loadavg: 4.12 4.19 4.10 5/250 36921
/proc/meminfo: memFree=114280464/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2461.11 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 589041 0 0 0 246031 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=12660 CPUtime=2451.91 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 546207 0 0 0 245126 65 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=548840 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 200 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2461.11 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2468 s]*
/proc/loadavg: 4.12 4.19 4.10 5/250 36921
/proc/meminfo: memFree=114280612/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=619052 memory=548840 CPUtime=2461.92 cores=4,6
/proc/35791/stat : 35791 (fscip) S 35788 35791 35474 0 -1 1077936128 589051 0 0 0 246112 80 0 0 20 0 3 0 5582359 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 154763 137210 3334 3035 0 147031 0
[pid=35791/tid=35841] ppid=35788 vsize=619052 memory=-6000919502838130540 CPUtime=2452.72 cores=4,6
/proc/35791/task/35841/stat : 35841 (fscip) R 35788 35791 35474 0 -1 4194368 546217 0 0 0 245207 65 0 0 20 0 3 0 5583264 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
[pid=35791/tid=35842] ppid=35788 vsize=619052 memory=4788059350156078751 CPUtime=0.04 cores=4,6
/proc/35791/task/35842/stat : 35842 (fscip) S 35788 35791 35474 0 -1 1077936192 200 0 0 0 1 3 0 0 20 0 3 0 5583269 633909248 137210 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
Current children cumulated CPU time: 2461.92 s
Current children cumulated vsize: 619052 KiB
Current children cumulated memory: 548840 KiB
[startup+2468.4 s]
/proc/loadavg: 4.12 4.19 4.10 5/250 36921
/proc/meminfo: memFree=114280612/131655788 swapFree=131071996/131071996
[pid=35791] ppid=35788 vsize=547688 memory=442348 CPUtime=2462.31 cores=4,6
/proc/35791/stat : 35791 (fscip) R 35788 35791 35474 0 -1 4194304 593434 0 0 0 246150 81 0 0 20 0 1 0 5582359 560832512 110587 134679101440 4194304 16623229 140725534624368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 29282304 140725534626836 140725534626952 140725534626952 140725534633968 0
/proc/35791/statm: 136922 110587 3334 3035 0 129190 0
Current children cumulated CPU time: 2462.31 s
Current children cumulated vsize: 547688 KiB
Current children cumulated memory: 442348 KiB
Child status: 0
Real time (s): 2468.45
CPU time (s): 2462.36
CPU user time (s): 2461.53
CPU system time (s): 0.834727
CPU usage (%): 99.7536
Max. virtual memory (cumulated for all children) (KiB): 619052
Max. memory (cumulated for all children) (KiB): 548840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2461.53
system time used= 0.834727
maximum resident set size= 552068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593899
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= 4042
involuntary context switches= 1729
# summary of solver processes directly reported to runsolver:
# pid: 35791
# total CPU time (s): 2462.36
# total CPU user time (s): 2461.53
# total CPU system time (s): 0.834727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1119 second user time and 23.2287 second system time
The end
Begin job on nodeC009 at 2024-07-31 03:37:27
IDJOB=4464900
IDBENCH=143821
IDSOLVER=3093
FILE ID=nodeC009/4464900-1722389847
RUNJOBID= nodeC009-1722389843-35485
SLURM_JOB_ID= 8249867
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-66-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464900-1722389847/watcher-4464900-1722389847 -o /tmp/evaluation-result-4464900-1722389847/solver-4464900-1722389847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722389843-35485 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464900-1722389847.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 923657a6fd3eb2085ad43ac66fc2fa4a
RANDOM SEED=274608094
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3192.683
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3494.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.341
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.004
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2993.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.263
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117536652 kB
MemAvailable: 129411164 kB
Buffers: 110180 kB
Cached: 12565416 kB
SwapCached: 0 kB
Active: 274976 kB
Inactive: 13335780 kB
Active(anon): 1500 kB
Inactive(anon): 954976 kB
Active(file): 273476 kB
Inactive(file): 12380804 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115820 kB
Writeback: 36 kB
AnonPages: 934700 kB
Mapped: 121776 kB
Shmem: 21320 kB
KReclaimable: 120864 kB
Slab: 203032 kB
SReclaimable: 120864 kB
SUnreclaim: 82168 kB
KernelStack: 3936 kB
PageTables: 10648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1172224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC009 at 2024-07-31 04:18:36