0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.21/0.27 c Default LC presolving (default).
0.21/0.27 c ** Before presolving: virtualMemUsedAtLc = 92879388, getVmSize() = 82915328, SCIPgetMemUsed() = 54137765, SCIPgetMemTotal() = 59545781, SCIPgetMemExternEstim() = 33333607
0.21/0.27 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.59/0.68 c ** Estimated virtualMemUsedAtSolver = 81442247, getVmSize() = 115326976, SCIPgetMemUsed() = 58457020, SCIPgetMemTotal() = 88829764, SCIPgetMemExternEstim() = 33333607
0.59/0.68 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.68 c Original Problem :
0.59/0.68 c Problem name : instance-4459747-1721939463
0.59/0.68 c Variables : 16811 (1000 binary, 0 integer, 15811 implicit integer, 0 continuous)
0.59/0.68 c Constraints : 17811
0.59/0.68 c Objective sense : minimize
0.59/0.68 c Presolved Problem :
0.59/0.68 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.68 c Constraints : 15811
0.59/0.68 c Constraints : Number
0.59/0.68 c setppc : 15811
0.59/0.68 c ** Instance transfer method used: 0
0.68/0.71 c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.76 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.76 c Nodes Active
0.68/0.76 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.10/1.13 c * 1 0 1 1 -94.0000 - -
1.10/1.14 c * 1 0 1 1 -130.0000 - -
1.10/1.19 c * 1 0 1 1 -136.0000 - -
63.79/64.04 c 64 2 1 1 -136.0000 -322.6732 137.26%
68.77/69.04 c 69 3 2 1 -136.0000 -322.6732 137.26%
73.95/74.21 c 74 4 3 1 -136.0000 -322.5990 137.21%
81.54/81.82 c 82 5 4 1 -136.0000 -322.4487 137.09%
99.09/99.44 c 99 6 5 1 -136.0000 -322.1927 136.91%
105.27/105.62 c 106 7 6 1 -136.0000 -321.8557 136.66%
115.44/115.88 c 116 8 7 1 -136.0000 -321.5783 136.45%
123.03/123.48 c 123 11 10 1 -136.0000 -321.4171 136.34%
132.61/133.07 c 133 13 12 1 -136.0000 -321.4066 136.33%
137.60/138.10 c 138 15 14 1 -136.0000 -321.4066 136.33%
144.58/145.08 c 145 16 15 1 -136.0000 -321.4066 136.33%
154.15/154.60 c 155 18 17 1 -136.0000 -321.4066 136.33%
159.93/160.49 c 160 20 19 1 -136.0000 -321.4066 136.33%
182.28/182.80 c 183 22 21 1 -136.0000 -321.4066 136.33%
188.86/189.43 c 189 24 23 1 -136.0000 -321.4066 136.33%
198.03/198.66 c 199 26 25 1 -136.0000 -321.4066 136.33%
207.12/207.74 c 208 29 28 1 -136.0000 -321.2394 136.21%
209.91/210.51 c * 211 29 28 1 -142.0000 -321.2394 126.22%
209.91/210.52 c * 211 30 29 1 -143.0000 -321.2394 124.64%
213.60/214.22 c 214 32 31 1 -143.0000 -321.2394 124.64%
220.50/221.17 c 221 35 34 1 -143.0000 -321.2394 124.64%
225.97/226.67 c 227 37 36 1 -143.0000 -321.2394 124.64%
231.05/231.73 c 232 39 38 1 -143.0000 -321.2394 124.64%
237.94/238.62 c 239 41 40 1 -143.0000 -321.2394 124.64%
243.12/243.83 c 244 43 42 1 -143.0000 -321.2394 124.64%
249.22/250.01 c 250 46 45 1 -143.0000 -321.2394 124.64%
256.31/257.06 c 257 49 48 1 -143.0000 -321.2394 124.64%
261.99/262.78 c 263 52 51 1 -143.0000 -321.2394 124.64%
273.06/273.80 c 274 55 54 1 -143.0000 -321.2394 124.64%
279.84/280.61 c 281 58 57 1 -143.0000 -321.2394 124.64%
286.12/286.92 c 287 62 61 1 -143.0000 -321.2394 124.64%
293.11/294.01 c 294 66 65 1 -143.0000 -321.2394 124.64%
298.31/299.11 c 299 69 68 1 -143.0000 -321.2394 124.64%
309.36/310.22 c 310 72 71 1 -143.0000 -321.2394 124.64%
316.04/317.01 c 317 76 75 1 -143.0000 -321.2394 124.64%
325.62/326.55 c 327 79 78 1 -143.0000 -321.2394 124.64%
332.60/333.53 c 334 82 81 1 -143.0000 -321.2394 124.64%
339.77/340.70 c 341 85 84 1 -143.0000 -321.2394 124.64%
346.56/347.58 c 348 88 87 1 -143.0000 -321.2394 124.64%
351.95/352.95 c 353 90 89 1 -143.0000 -321.2394 124.64%
357.33/358.30 c 358 92 91 1 -143.0000 -321.2394 124.64%
365.71/366.70 c 367 96 95 1 -143.0000 -321.2394 124.64%
371.50/372.58 c 373 100 99 1 -143.0000 -321.2394 124.64%
380.78/381.82 c 382 102 101 1 -143.0000 -321.2394 124.64%
389.55/390.64 c 391 106 105 1 -143.0000 -321.2394 124.64%
396.44/397.59 c 398 110 109 1 -143.0000 -321.2394 124.64%
404.21/405.34 c 405 114 113 1 -143.0000 -321.2394 124.64%
411.11/412.27 c 412 117 116 1 -143.0000 -321.2394 124.64%
416.59/417.73 c 418 120 119 1 -143.0000 -321.2394 124.64%
423.67/424.88 c 425 122 121 1 -143.0000 -321.2394 124.64%
430.16/431.32 c 431 126 125 1 -143.0000 -321.2394 124.64%
435.95/437.13 c 437 130 129 1 -143.0000 -321.2394 124.64%
443.22/444.48 c 444 133 132 1 -143.0000 -321.2394 124.64%
453.30/454.51 c 455 136 135 1 -143.0000 -321.2394 124.64%
461.28/462.51 c 463 141 140 1 -143.0000 -321.2394 124.64%
468.47/469.71 c 470 144 143 1 -143.0000 -321.2394 124.64%
475.86/477.13 c 477 148 147 1 -143.0000 -321.2394 124.64%
481.85/483.17 c 483 152 151 1 -143.0000 -321.2394 124.64%
490.21/491.50 c 492 158 157 1 -143.0000 -321.2394 124.64%
495.89/497.26 c 497 162 161 1 -143.0000 -321.2394 124.64%
501.79/503.19 c 503 168 167 1 -143.0000 -321.2394 124.64%
509.86/511.21 c 511 174 173 1 -143.0000 -321.2394 124.64%
516.14/517.59 c 518 178 177 1 -143.0000 -321.2394 124.64%
522.93/524.30 c 524 181 180 1 -143.0000 -321.2394 124.64%
530.81/532.25 c 532 187 186 1 -143.0000 -319.4162 123.37%
536.80/538.25 c 538 193 192 1 -143.0000 -319.4162 123.37%
542.29/543.74 c 544 198 197 1 -143.0000 -319.4162 123.37%
548.27/549.73 c 550 200 199 1 -143.0000 -319.4162 123.37%
555.66/557.11 c 557 201 200 1 -143.0000 -319.4162 123.37%
577.19/578.71 c 579 205 204 1 -143.0000 -319.4162 123.37%
584.77/586.32 c 586 208 207 1 -143.0000 -319.4162 123.37%
590.26/591.86 c 592 213 212 1 -143.0000 -319.2059 123.22%
597.74/599.30 c 599 215 214 1 -143.0000 -319.2059 123.22%
603.73/605.31 c 605 217 216 1 -143.0000 -319.2059 123.22%
609.42/611.07 c 611 219 218 1 -143.0000 -319.2059 123.22%
615.79/617.48 c 617 223 222 1 -143.0000 -319.2059 123.22%
622.98/624.64 c 625 225 224 1 -143.0000 -319.2059 123.22%
628.27/629.96 c 630 228 227 1 -143.0000 -319.2059 123.22%
634.15/635.80 c 636 230 229 1 -143.0000 -319.2059 123.22%
642.52/644.24 c 644 233 232 1 -143.0000 -319.2059 123.22%
649.01/650.76 c 651 236 235 1 -143.0000 -319.2059 123.22%
655.59/657.34 c 657 241 240 1 -143.0000 -319.2059 123.22%
663.17/664.95 c 665 244 243 1 -143.0000 -319.1223 123.16%
670.45/672.24 c 672 245 244 1 -143.0000 -319.1223 123.16%
677.63/679.47 c 679 250 249 1 -143.0000 -319.1223 123.16%
682.71/684.53 c 685 252 251 1 -143.0000 -319.1223 123.16%
689.40/691.25 c 691 255 254 1 -143.0000 -319.1223 123.16%
695.08/697.01 c 697 258 257 1 -143.0000 -319.1223 123.16%
700.46/702.39 c 702 261 260 1 -143.0000 -319.1223 123.16%
705.54/707.41 c 707 264 263 1 -143.0000 -319.1223 123.16%
710.93/712.84 c 713 268 267 1 -143.0000 -319.1223 123.16%
716.42/718.38 c 718 271 270 1 -143.0000 -319.1223 123.16%
722.22/724.18 c 724 276 275 1 -143.0000 -318.8732 122.99%
728.20/730.15 c 730 278 277 1 -143.0000 -318.8732 122.99%
733.48/735.49 c 736 282 281 1 -143.0000 -318.8732 122.99%
739.36/741.38 c 741 286 285 1 -143.0000 -318.8732 122.99%
746.74/748.70 c 749 292 291 1 -143.0000 -318.8732 122.99%
754.03/756.09 c 756 295 294 1 -143.0000 -318.8732 122.99%
762.01/764.07 c 764 300 299 1 -143.0000 -318.8732 122.99%
768.99/771.05 c 771 304 303 1 -143.0000 -318.6409 122.83%
773.98/776.07 c 776 307 306 1 -143.0000 -318.6409 122.83%
779.45/781.59 c 782 310 309 1 -143.0000 -318.6409 122.83%
790.82/793.00 c 793 315 314 1 -143.0000 -318.6409 122.83%
797.21/799.36 c 799 319 318 1 -143.0000 -318.6409 122.83%
803.79/805.95 c 806 322 321 1 -143.0000 -318.6409 122.83%
808.89/811.06 c 811 324 323 1 -143.0000 -318.6409 122.83%
816.06/818.28 c 818 328 327 1 -143.0000 -318.6409 122.83%
821.75/823.95 c 824 331 330 1 -143.0000 -318.6409 122.83%
828.84/831.01 c 831 336 335 1 -143.0000 -318.3461 122.62%
833.83/836.09 c 836 338 337 1 -143.0000 -318.3461 122.62%
842.49/844.77 c 845 342 341 1 -143.0000 -318.3461 122.62%
848.79/851.02 c 851 348 347 1 -143.0000 -318.3461 122.62%
859.55/861.89 c 862 352 351 1 -143.0000 -318.3461 122.62%
865.75/868.09 c 868 355 354 1 -143.0000 -318.3461 122.62%
872.83/875.15 c 875 360 359 1 -143.0000 -318.3461 122.62%
878.01/880.38 c 880 363 362 1 -143.0000 -318.3449 122.62%
887.80/890.12 c 890 367 366 1 -143.0000 -318.3449 122.62%
893.87/896.20 c 896 370 369 1 -143.0000 -318.3449 122.62%
899.46/901.82 c 902 375 374 1 -143.0000 -318.3449 122.62%
905.94/908.30 c 908 378 377 1 -143.0000 -318.3449 122.62%
912.83/915.27 c 915 381 380 1 -143.0000 -318.3449 122.62%
919.11/921.55 c 922 385 384 1 -143.0000 -318.3449 122.62%
924.71/927.14 c 927 389 388 1 -143.0000 -318.3449 122.62%
929.98/932.48 c 932 393 392 1 -143.0000 -318.1371 122.47%
936.06/938.50 c 939 397 396 1 -143.0000 -318.1371 122.47%
941.75/944.24 c 944 400 399 1 -143.0000 -318.1371 122.47%
948.55/951.10 c 951 405 404 1 -143.0000 -318.1371 122.47%
955.54/958.04 c 958 409 408 1 -143.0000 -318.1371 122.47%
961.11/963.68 c 964 414 413 1 -143.0000 -318.1371 122.47%
966.80/969.36 c 969 417 416 1 -143.0000 -318.1371 122.47%
974.38/976.94 c 977 419 418 1 -143.0000 -318.1371 122.47%
982.16/984.70 c 985 421 420 1 -143.0000 -318.1371 122.47%
989.24/991.83 c 992 426 425 1 -143.0000 -318.0662 122.42%
999.61/1002.25 c 1002 427 426 1 -143.0000 -318.0662 122.42%
1004.80/1007.42 c 1007 430 429 1 -143.0000 -318.0662 122.42%
1010.49/1013.18 c 1013 431 430 1 -143.0000 -318.0662 122.42%
1016.56/1019.25 c 1019 434 433 1 -143.0000 -318.0662 122.42%
1023.05/1025.76 c 1026 438 437 1 -143.0000 -318.0662 122.42%
1029.73/1032.41 c 1032 442 441 1 -143.0000 -318.0662 122.42%
1035.32/1038.07 c 1038 446 445 1 -143.0000 -318.0662 122.42%
1040.90/1043.68 c 1044 447 446 1 -143.0000 -318.0662 122.42%
1052.27/1055.06 c 1055 451 450 1 -143.0000 -318.0662 122.42%
1057.55/1060.34 c 1060 454 453 1 -143.0000 -317.8460 122.27%
1063.34/1066.19 c 1066 457 456 1 -143.0000 -317.8460 122.27%
1069.22/1072.02 c 1072 459 458 1 -143.0000 -317.8460 122.27%
1076.09/1078.96 c 1079 463 462 1 -143.0000 -317.8460 122.27%
1081.47/1084.34 c 1084 467 466 1 -143.0000 -317.8460 122.27%
1087.26/1090.16 c 1090 470 469 1 -143.0000 -317.8460 122.27%
1094.73/1097.69 c 1098 473 472 1 -143.0000 -317.8460 122.27%
1101.80/1104.76 c 1105 477 476 1 -143.0000 -317.8460 122.27%
1107.00/1109.96 c 1110 482 481 1 -143.0000 -317.4789 122.01%
1115.87/1118.83 c 1119 485 484 1 -143.0000 -317.4789 122.01%
1122.85/1125.83 c 1126 490 489 1 -143.0000 -317.4789 122.01%
1128.33/1131.33 c 1131 493 492 1 -143.0000 -317.4789 122.01%
1133.61/1136.68 c 1137 496 495 1 -143.0000 -317.4789 122.01%
1141.59/1144.67 c 1145 500 499 1 -143.0000 -317.4789 122.01%
1147.47/1150.59 c 1151 503 502 1 -143.0000 -317.4789 122.01%
1154.15/1157.20 c 1157 508 507 1 -143.0000 -317.4789 122.01%
1161.13/1164.28 c 1164 511 510 1 -143.0000 -317.4789 122.01%
1167.20/1170.38 c 1170 516 515 1 -143.0000 -317.4155 121.97%
1172.69/1175.84 c 1176 520 519 1 -143.0000 -317.4155 121.97%
1178.38/1181.60 c 1182 523 522 1 -143.0000 -317.4155 121.97%
1185.05/1188.24 c 1188 528 527 1 -143.0000 -317.4155 121.97%
1190.24/1193.45 c 1193 531 530 1 -143.0000 -317.4155 121.97%
1195.32/1198.53 c 1199 535 534 1 -143.0000 -317.4155 121.97%
1202.00/1205.23 c 1205 540 539 1 -143.0000 -317.4155 121.97%
1208.89/1212.18 c 1212 545 544 1 -143.0000 -317.1575 121.79%
1215.06/1218.32 c 1218 549 548 1 -143.0000 -317.1575 121.79%
1220.75/1224.09 c 1224 554 553 1 -143.0000 -317.1575 121.79%
1226.84/1230.19 c 1230 559 558 1 -143.0000 -317.1575 121.79%
1232.01/1235.33 c 1235 564 563 1 -143.0000 -317.1575 121.79%
1237.59/1241.01 c 1241 568 567 1 -143.0000 -317.1575 121.79%
1256.23/1259.60 c 1260 571 570 1 -143.0000 -317.1575 121.79%
1261.51/1264.93 c 1265 574 573 1 -143.0000 -316.8307 121.56%
1267.30/1270.75 c 1271 577 576 1 -143.0000 -316.8307 121.56%
1276.38/1279.89 c 1280 581 580 1 -143.0000 -316.8307 121.56%
1283.67/1287.16 c 1287 586 585 1 -143.0000 -316.8307 121.56%
1291.93/1295.46 c 1295 591 590 1 -143.0000 -316.8307 121.56%
1297.41/1300.90 c 1301 595 594 1 -143.0000 -316.8307 121.56%
1302.50/1306.03 c 1306 600 599 1 -143.0000 -316.8307 121.56%
1309.96/1313.51 c 1314 604 603 1 -143.0000 -316.6971 121.47%
1315.75/1319.37 c 1319 610 609 1 -143.0000 -316.6971 121.47%
1321.03/1324.61 c 1325 615 614 1 -143.0000 -316.6971 121.47%
1327.82/1331.41 c 1331 619 618 1 -143.0000 -316.6971 121.47%
1332.80/1336.42 c 1336 624 623 1 -143.0000 -316.6971 121.47%
1338.98/1342.63 c 1343 627 626 1 -143.0000 -316.6971 121.47%
1344.96/1348.64 c 1349 631 630 1 -143.0000 -316.6971 121.47%
1350.94/1354.66 c 1355 635 634 1 -143.0000 -316.6971 121.47%
1356.44/1360.14 c 1360 640 639 1 -143.0000 -316.6971 121.47%
1362.32/1366.07 c 1366 645 644 1 -143.0000 -316.6971 121.47%
1367.40/1371.17 c 1371 651 650 1 -143.0000 -316.6971 121.47%
1375.76/1379.51 c 1380 654 653 1 -143.0000 -316.6971 121.47%
1380.76/1384.58 c 1385 658 657 1 -143.0000 -316.6971 121.47%
1386.54/1390.38 c 1390 661 660 1 -143.0000 -316.6971 121.47%
1391.82/1395.68 c 1396 664 663 1 -143.0000 -316.4754 121.31%
1399.89/1403.75 c 1404 670 669 1 -143.0000 -316.4540 121.30%
1405.87/1409.79 c 1410 675 674 1 -143.0000 -316.4540 121.30%
1411.06/1414.98 c 1415 677 676 1 -143.0000 -316.4540 121.30%
1417.34/1421.20 c 1421 681 680 1 -143.0000 -316.4540 121.30%
1422.72/1426.67 c 1427 682 681 1 -143.0000 -316.4389 121.29%
1428.90/1432.82 c 1433 687 686 1 -143.0000 -316.4389 121.29%
1434.20/1438.15 c 1438 691 690 1 -143.0000 -316.4389 121.29%
1443.07/1447.02 c 1447 693 692 1 -143.0000 -316.4389 121.29%
1448.44/1452.45 c 1452 697 696 1 -143.0000 -316.4389 121.29%
1459.61/1463.68 c 1464 703 702 1 -143.0000 -316.3099 121.20%
1465.59/1469.67 c 1470 708 707 1 -143.0000 -316.3099 121.20%
1471.08/1475.19 c 1475 711 710 1 -143.0000 -316.3099 121.20%
1478.06/1482.13 c 1482 715 714 1 -143.0000 -316.3099 121.20%
1485.23/1489.38 c 1489 720 719 1 -143.0000 -316.3099 121.20%
1494.51/1498.61 c 1499 722 721 1 -143.0000 -316.3099 121.20%
1499.79/1503.91 c 1504 726 725 1 -143.0000 -316.3099 121.20%
1505.37/1509.55 c 1510 730 729 1 -143.0000 -316.3099 121.20%
1510.65/1514.87 c 1515 734 733 1 -143.0000 -316.3099 121.20%
1515.64/1519.88 c 1520 735 734 1 -143.0000 -316.3099 121.20%
1520.72/1525.01 c 1525 739 738 1 -143.0000 -316.3099 121.20%
1536.67/1541.01 c 1541 742 741 1 -143.0000 -316.3099 121.20%
1545.15/1549.43 c 1549 747 746 1 -143.0000 -316.3099 121.20%
1551.33/1555.69 c 1556 752 751 1 -143.0000 -316.3099 121.20%
1556.61/1560.93 c 1561 753 752 1 -143.0000 -316.3099 121.20%
1562.30/1566.65 c 1567 757 756 1 -143.0000 -316.3099 121.20%
1567.28/1571.67 c 1572 759 758 1 -143.0000 -316.3099 121.20%
1572.86/1577.28 c 1577 764 763 1 -143.0000 -316.3099 121.20%
1578.85/1583.27 c 1583 768 767 1 -143.0000 -316.3099 121.20%
1587.12/1591.59 c 1592 771 770 1 -143.0000 -316.3099 121.20%
1592.62/1597.09 c 1597 776 775 1 -143.0000 -316.3099 121.20%
1600.98/1605.44 c 1605 780 779 1 -143.0000 -316.3099 121.20%
1608.26/1612.79 c 1613 786 785 1 -143.0000 -316.3099 121.20%
1614.44/1619.00 c 1619 792 791 1 -143.0000 -316.3099 121.20%
1620.82/1625.36 c 1625 793 792 1 -143.0000 -316.3099 121.20%
1627.20/1631.79 c 1632 798 797 1 -143.0000 -316.3099 121.20%
1633.88/1638.47 c 1638 804 803 1 -143.0000 -316.3099 121.20%
1640.16/1644.72 c 1645 807 806 1 -143.0000 -316.3099 121.20%
1645.84/1650.44 c 1650 810 809 1 -143.0000 -316.3099 121.20%
1652.12/1656.77 c 1657 814 813 1 -143.0000 -316.3099 121.20%
1660.80/1665.43 c 1665 819 818 1 -143.0000 -316.3099 121.20%
1666.18/1670.87 c 1671 824 823 1 -143.0000 -316.3099 121.20%
1671.56/1676.24 c 1676 830 829 1 -143.0000 -316.3099 121.20%
1677.14/1681.86 c 1682 835 834 1 -143.0000 -316.3099 121.20%
1686.01/1690.71 c 1691 840 839 1 -143.0000 -316.3099 121.20%
1692.00/1696.76 c 1697 846 845 1 -143.0000 -316.3099 121.20%
1698.29/1703.02 c 1703 852 851 1 -143.0000 -316.3099 121.20%
1703.37/1708.16 c 1708 856 855 1 -143.0000 -316.3099 121.20%
1710.15/1714.97 c 1715 863 862 1 -143.0000 -316.3099 121.20%
1716.03/1720.88 c 1721 867 866 1 -143.0000 -316.3099 121.20%
1722.41/1727.26 c 1727 872 871 1 -143.0000 -316.3099 121.20%
1727.89/1732.74 c 1733 877 876 1 -143.0000 -316.3099 121.20%
1733.97/1738.80 c 1739 883 882 1 -143.0000 -316.3099 121.20%
1742.85/1747.78 c 1748 884 883 1 -143.0000 -316.3099 121.20%
1748.53/1753.44 c 1753 890 889 1 -143.0000 -316.3099 121.20%
1756.80/1761.79 c 1762 894 893 1 -143.0000 -316.2075 121.12%
1766.19/1771.18 c 1771 900 899 1 -143.0000 -316.2075 121.12%
1771.76/1776.72 c 1777 907 906 1 -143.0000 -316.2075 121.12%
1790.30/1795.32 c 1795 912 911 1 -143.0000 -316.2075 121.12%
1796.58/1801.63 c 1802 919 918 1 -143.0000 -316.2075 121.12%
1802.37/1807.46 c 1807 921 920 1 -143.0000 -316.2075 121.12%
1808.35/1813.48 c 1813 927 926 1 -143.0000 -316.2075 121.12%
1813.83/1818.99 c 1819 933 932 1 -143.0000 -316.2075 121.12%
1819.41/1824.54 c 1825 939 938 1 -143.0000 -316.2075 121.12%
1825.49/1830.69 c 1831 944 943 1 -143.0000 -316.2075 121.12%
1831.48/1836.63 c 1837 949 948 1 -143.0000 -316.2075 121.12%
1836.66/1841.88 c 1842 952 951 1 -143.0000 -316.2075 121.12%
1842.04/1847.26 c 1847 957 956 1 -143.0000 -316.2075 121.12%
1848.53/1853.74 c 1854 963 962 1 -143.0000 -316.0003 120.98%
1855.51/1860.78 c 1861 968 967 1 -143.0000 -316.0003 120.98%
1861.69/1866.92 c 1867 973 972 1 -143.0000 -315.9021 120.91%
1867.37/1872.68 c 1873 978 977 1 -143.0000 -315.6825 120.76%
1873.55/1878.81 c 1879 982 981 1 -143.0000 -315.6825 120.76%
1878.94/1884.22 c 1884 986 985 1 -143.0000 -315.6825 120.76%
1885.62/1890.98 c 1891 991 990 1 -143.0000 -315.6825 120.76%
1892.30/1897.61 c 1898 996 995 1 -143.0000 -315.6825 120.76%
1898.08/1903.42 c 1903 1001 1000 1 -143.0000 -315.6825 120.76%
1903.56/1908.99 c 1909 1006 1005 1 -143.0000 -315.6825 120.76%
1909.26/1914.65 c 1915 1012 1011 1 -143.0000 -315.6825 120.76%
1914.75/1920.16 c 1920 1017 1016 1 -143.0000 -315.6825 120.76%
1920.73/1926.12 c 1926 1023 1022 1 -143.0000 -315.6825 120.76%
1926.10/1931.50 c 1932 1027 1026 1 -143.0000 -315.6825 120.76%
1933.18/1938.61 c 1939 1031 1030 1 -143.0000 -315.6825 120.76%
1940.36/1945.89 c 1946 1036 1035 1 -143.0000 -315.5913 120.69%
1945.84/1951.32 c 1951 1041 1040 1 -143.0000 -315.5913 120.69%
1952.92/1958.43 c 1958 1045 1044 1 -143.0000 -315.5913 120.69%
1962.99/1968.57 c 1969 1050 0 1 -143.0000 -315.5913 120.69%
1986.72/1992.36 c 1992 1051 1 1 -143.0000 -315.5913 120.69%
1997.89/2003.56 c 2004 1052 2 1 -143.0000 -315.5913 120.69%
2007.16/2012.88 c 2013 1053 3 1 -143.0000 -315.5913 120.69%
2014.14/2019.86 c 2020 1055 5 1 -143.0000 -315.5913 120.69%
2024.42/2030.19 c 2030 1061 11 1 -143.0000 -315.5913 120.69%
2029.79/2035.58 c 2036 1065 15 1 -143.0000 -315.5913 120.69%
2034.98/2040.78 c 2041 1067 17 1 -143.0000 -315.5913 120.69%
2040.66/2046.46 c 2046 1070 20 1 -143.0000 -315.5913 120.69%
2046.54/2052.38 c 2052 1074 24 1 -143.0000 -315.5913 120.69%
2053.72/2059.52 c 2060 1077 27 1 -143.0000 -315.5913 120.69%
2058.82/2064.60 c 2065 1082 32 1 -143.0000 -315.5913 120.69%
2069.20/2075.01 c 2075 1084 34 1 -143.0000 -315.5913 120.69%
2074.19/2080.03 c 2080 1089 39 1 -143.0000 -315.5913 120.69%
2084.55/2090.50 c 2090 1092 42 1 -143.0000 -315.5913 120.69%
2089.83/2095.78 c 2096 1096 46 1 -143.0000 -315.5913 120.69%
2097.02/2102.94 c 2103 1098 48 1 -143.0000 -315.5913 120.69%
2107.39/2113.34 c 2113 1099 49 1 -143.0000 -315.5913 120.69%
2114.28/2120.26 c 2120 1102 52 1 -143.0000 -315.5913 120.69%
2119.37/2125.36 c 2125 1104 54 1 -143.0000 -315.5913 120.69%
2126.16/2132.19 c 2132 1106 56 1 -143.0000 -315.5913 120.69%
2134.53/2140.52 c 2141 1110 60 1 -143.0000 -315.5913 120.69%
2140.21/2146.26 c 2146 1114 64 1 -143.0000 -315.5913 120.69%
2150.77/2156.85 c 2157 1119 69 1 -143.0000 -315.5913 120.69%
2155.97/2162.04 c 2162 1121 71 1 -143.0000 -315.5913 120.69%
2163.05/2169.12 c 2169 1131 81 1 -143.0000 -315.5913 120.69%
2169.93/2176.01 c 2176 1132 82 1 -143.0000 -315.5913 120.69%
2175.92/2182.09 c 2182 1136 86 1 -143.0000 -315.5913 120.69%
2183.99/2190.13 c 2190 1138 88 1 -143.0000 -315.5913 120.69%
2189.07/2195.24 c 2195 1145 95 1 -143.0000 -315.5913 120.69%
2194.45/2200.60 c 2201 1151 101 1 -143.0000 -315.5913 120.69%
2199.94/2206.18 c 2206 1154 104 1 -143.0000 -315.5913 120.69%
2206.71/2212.99 c 2213 1156 106 1 -143.0000 -315.5913 120.69%
2216.08/2222.39 c 2222 1159 109 1 -143.0000 -315.5913 120.69%
2224.95/2231.21 c 2231 1166 116 1 -143.0000 -315.5913 120.69%
2230.75/2237.05 c 2237 1169 119 1 -143.0000 -315.5913 120.69%
2235.73/2242.11 c 2242 1170 120 1 -143.0000 -315.5913 120.69%
2240.91/2247.26 c 2247 1174 124 1 -143.0000 -315.5913 120.69%
2248.40/2254.70 c 2255 1180 130 1 -143.0000 -315.5913 120.69%
2256.18/2262.52 c 2263 1182 132 1 -143.0000 -315.5913 120.69%
2262.16/2268.55 c 2269 1188 138 1 -143.0000 -315.5913 120.69%
2268.15/2274.54 c 2275 1190 140 1 -143.0000 -315.5913 120.69%
2274.75/2281.17 c 2281 1193 143 1 -143.0000 -315.5913 120.69%
2281.82/2288.27 c 2288 1196 146 1 -143.0000 -315.5913 120.69%
2287.40/2293.81 c 2294 1202 152 1 -143.0000 -315.5913 120.69%
2292.60/2299.03 c 2299 1208 158 1 -143.0000 -315.5913 120.69%
2297.58/2304.03 c 2304 1214 164 1 -143.0000 -315.5913 120.69%
2307.25/2313.72 c 2314 1222 172 1 -143.0000 -315.5913 120.69%
2313.33/2319.85 c 2320 1233 183 1 -143.0000 -315.5913 120.69%
2318.82/2325.36 c 2325 1239 189 1 -143.0000 -315.5913 120.69%
2326.20/2332.71 c 2333 1247 197 1 -143.0000 -315.5913 120.69%
2331.50/2338.08 c 2338 1254 204 1 -143.0000 -315.5913 120.69%
2336.68/2343.21 c 2343 1259 209 1 -143.0000 -315.5913 120.69%
2341.97/2348.59 c 2349 1267 217 1 -143.0000 -315.5913 120.69%
2350.56/2357.12 c 2357 1273 223 1 -143.0000 -315.5913 120.69%
2355.63/2362.27 c 2362 1275 225 1 -143.0000 -315.5913 120.69%
2363.11/2369.71 c 2370 1283 233 1 -143.0000 -315.5913 120.69%
2368.99/2375.63 c 2376 1289 239 1 -143.0000 -315.5913 120.69%
2374.98/2381.67 c 2382 1296 246 1 -143.0000 -315.5913 120.69%
2380.97/2387.67 c 2388 1302 252 1 -143.0000 -315.5913 120.69%
2386.86/2393.57 c 2394 1307 257 1 -143.0000 -315.5913 120.69%
2401.22/2407.98 c 2408 1312 262 1 -143.0000 -315.5913 120.69%
2408.20/2414.99 c 2415 1318 268 1 -143.0000 -315.5913 120.69%
2414.69/2421.46 c 2421 1322 272 1 -143.0000 -315.5913 120.69%
2420.47/2427.25 c 2427 1327 277 1 -143.0000 -315.5913 120.69%
2426.46/2433.22 c 2433 1332 282 1 -143.0000 -315.5913 120.69%
2432.84/2439.61 c 2440 1340 290 1 -143.0000 -315.5913 120.69%
2439.92/2446.79 c 2447 1342 292 1 -143.0000 -315.5913 120.69%
2448.00/2454.89 c 2455 1346 296 1 -143.0000 -315.5913 120.69%
2454.49/2461.39 c 2461 1349 299 1 -143.0000 -315.5913 120.69%
2461.46/2468.36 c 2468 1356 306 1 -143.0000 -315.5913 120.69%
2467.06/2473.94 c 2474 1367 317 1 -143.0000 -315.5913 120.69%
2472.26/2479.13 c 2479 1372 322 1 -143.0000 -315.5913 120.69%
2478.03/2484.94 c 2485 1376 326 1 -143.0000 -315.5913 120.69%
2484.01/2491.01 c 2491 1382 332 1 -143.0000 -315.5913 120.69%
2490.39/2497.38 c 2497 1390 340 1 -143.0000 -315.5913 120.69%
2496.19/2503.19 c 2503 1397 347 1 -143.0000 -315.5913 120.69%
2501.36/2508.39 c 2508 1401 351 1 -143.0000 -315.5913 120.69%
2506.75/2513.76 c 2514 1406 356 1 -143.0000 -315.5913 120.69%
2516.63/2523.65 c 2524 1411 361 1 -143.0000 -315.5913 120.69%
2522.92/2529.91 c 2530 1419 369 1 -143.0000 -315.5913 120.69%
2528.90/2535.96 c 2536 1426 376 1 -143.0000 -315.5913 120.69%
2534.38/2541.47 c 2541 1427 377 1 -143.0000 -315.5913 120.69%
2539.57/2546.61 c 2547 1431 381 1 -143.0000 -315.5913 120.69%
2548.45/2555.51 c 2556 1437 387 1 -143.0000 -315.5913 120.69%
2553.73/2560.81 c 2561 1445 395 1 -143.0000 -315.5913 120.69%
2559.43/2566.56 c 2567 1447 397 1 -143.0000 -315.5913 120.69%
2565.02/2572.17 c 2572 1452 402 1 -143.0000 -315.5913 120.69%
2571.79/2578.96 c 2579 1462 412 1 -143.0000 -315.5913 120.69%
2579.18/2586.37 c 2586 1469 419 1 -143.0000 -315.5913 120.69%
2587.87/2595.09 c 2595 1475 425 1 -143.0000 -315.5913 120.69%
2594.85/2602.02 c 2602 1480 430 1 -143.0000 -315.5913 120.69%
2600.02/2607.20 c 2607 1485 435 1 -143.0000 -315.5913 120.69%
2605.11/2612.34 c 2612 1491 441 1 -143.0000 -315.5913 120.69%
2620.06/2627.38 c 2627 1497 447 1 -143.0000 -315.5913 120.69%
2625.76/2633.09 c 2633 1501 451 1 -143.0000 -315.5913 120.69%
2631.53/2638.88 c 2639 1509 459 1 -143.0000 -315.5913 120.69%
2637.22/2644.57 c 2645 1517 467 1 -143.0000 -315.5913 120.69%
2642.31/2649.66 c 2650 1525 475 1 -143.0000 -315.5913 120.69%
2648.30/2655.67 c 2656 1535 485 1 -143.0000 -315.5913 120.69%
2655.48/2662.84 c 2663 1542 492 1 -143.0000 -315.5913 120.69%
2660.86/2668.27 c 2668 1547 497 1 -143.0000 -315.5913 120.69%
2667.04/2674.47 c 2674 1551 501 1 -143.0000 -315.5913 120.69%
2673.23/2680.66 c 2681 1557 507 1 -143.0000 -315.5913 120.69%
2679.51/2686.92 c 2687 1562 512 1 -143.0000 -315.5913 120.69%
2691.48/2698.95 c 2699 1567 517 1 -143.0000 -315.5913 120.69%
2697.46/2704.93 c 2705 1572 522 1 -143.0000 -315.5913 120.69%
2703.56/2711.08 c 2711 1577 527 1 -143.0000 -315.5913 120.69%
2708.73/2716.25 c 2716 1584 534 1 -143.0000 -315.5913 120.69%
2715.53/2723.10 c 2723 1589 539 1 -143.0000 -315.5913 120.69%
2721.31/2728.84 c 2729 1596 546 1 -143.0000 -315.5913 120.69%
2726.29/2733.87 c 2734 1597 547 1 -143.0000 -315.5913 120.69%
2731.38/2738.92 c 2739 1601 551 1 -143.0000 -315.5913 120.69%
2736.67/2744.27 c 2744 1607 557 1 -143.0000 -315.5913 120.69%
2745.04/2752.68 c 2753 1618 568 1 -143.0000 -315.5913 120.69%
2750.44/2758.04 c 2758 1623 573 1 -143.0000 -315.5913 120.69%
2757.42/2765.08 c 2765 1627 577 1 -143.0000 -315.5913 120.69%
2762.59/2770.25 c 2770 1632 582 1 -143.0000 -315.5913 120.69%
2770.58/2778.25 c 2778 1640 590 1 -143.0000 -315.5913 120.69%
2777.06/2784.75 c 2785 1644 594 1 -143.0000 -315.5913 120.69%
2782.85/2790.59 c 2791 1649 599 1 -143.0000 -315.5913 120.69%
2788.93/2796.63 c 2797 1656 606 1 -143.0000 -315.5913 120.69%
2795.02/2802.78 c 2803 1662 612 1 -143.0000 -315.5913 120.69%
2800.41/2808.12 c 2808 1666 616 1 -143.0000 -315.5913 120.69%
2809.48/2817.27 c 2817 1672 622 1 -143.0000 -315.5913 120.69%
2815.46/2823.20 c 2823 1679 629 1 -143.0000 -315.5913 120.69%
2823.04/2830.85 c 2831 1683 633 1 -143.0000 -315.5913 120.69%
2830.13/2838.01 c 2838 1688 638 1 -143.0000 -315.5913 120.69%
2836.01/2843.86 c 2844 1696 646 1 -143.0000 -315.5913 120.69%
2842.09/2849.95 c 2850 1697 647 1 -143.0000 -315.5913 120.69%
2847.19/2855.04 c 2855 1705 655 1 -143.0000 -315.5913 120.69%
2853.27/2861.13 c 2861 1711 661 1 -143.0000 -315.5913 120.69%
2858.54/2866.44 c 2866 1716 666 1 -143.0000 -315.5913 120.69%
2863.93/2871.90 c 2872 1721 671 1 -143.0000 -315.5913 120.69%
2869.13/2877.06 c 2877 1723 673 1 -143.0000 -315.5913 120.69%
2874.70/2882.62 c 2883 1729 679 1 -143.0000 -315.5913 120.69%
2881.49/2889.42 c 2889 1737 687 1 -143.0000 -315.5913 120.69%
2887.47/2895.44 c 2895 1742 692 1 -143.0000 -315.5913 120.69%
2894.25/2902.23 c 2902 1747 697 1 -143.0000 -315.5913 120.69%
2899.24/2907.25 c 2907 1754 704 1 -143.0000 -315.5913 120.69%
2904.33/2912.39 c 2912 1757 707 1 -143.0000 -315.5913 120.69%
2909.71/2917.73 c 2918 1760 710 1 -143.0000 -315.5913 120.69%
2915.90/2923.92 c 2924 1766 716 1 -143.0000 -315.5913 120.69%
2932.36/2940.41 c 2940 1767 717 1 -143.0000 -315.5913 120.69%
2937.64/2945.76 c 2946 1772 722 1 -143.0000 -315.5913 120.69%
2943.04/2951.18 c 2951 1776 726 1 -143.0000 -315.5913 120.69%
2950.92/2959.04 c 2959 1781 731 1 -143.0000 -315.5913 120.69%
2956.91/2965.06 c 2965 1790 740 1 -143.0000 -315.5913 120.69%
2963.48/2971.67 c 2972 1798 748 1 -143.0000 -315.5913 120.69%
2968.88/2977.02 c 2977 1806 756 1 -143.0000 -315.5913 120.69%
2974.36/2982.52 c 2983 1812 762 1 -143.0000 -315.5913 120.69%
2980.24/2988.45 c 2988 1819 769 1 -143.0000 -315.5913 120.69%
2987.72/2995.98 c 2996 1822 772 1 -143.0000 -315.5913 120.69%
2996.30/3004.51 c 3005 1831 781 1 -143.0000 -315.5913 120.69%
3002.19/3010.43 c 3010 1837 787 1 -143.0000 -315.5913 120.69%
3008.07/3016.37 c 3016 1841 791 1 -143.0000 -315.5913 120.69%
3014.35/3022.61 c 3023 1846 796 1 -143.0000 -315.5913 120.69%
3020.93/3029.25 c 3029 1847 797 1 -143.0000 -315.5913 120.69%
3029.21/3037.55 c 3038 1855 805 1 -143.0000 -315.5913 120.69%
3034.49/3042.87 c 3043 1861 811 1 -143.0000 -315.5913 120.69%
3039.88/3048.20 c 3048 1869 819 1 -143.0000 -315.5913 120.69%
3045.46/3053.82 c 3054 1877 827 1 -143.0000 -315.5913 120.69%
3053.45/3061.88 c 3062 1884 834 1 -143.0000 -315.5913 120.69%
3059.65/3068.05 c 3068 1891 841 1 -143.0000 -315.5913 120.69%
3065.12/3073.58 c 3074 1895 845 1 -143.0000 -315.5913 120.69%
3071.71/3080.15 c 3080 1898 848 1 -143.0000 -315.5913 120.69%
3081.48/3089.98 c 3090 1905 855 1 -143.0000 -315.5913 120.69%
3093.05/3101.59 c 3102 1907 857 1 -143.0000 -315.5913 120.69%
3101.42/3109.94 c 3110 1912 862 1 -143.0000 -315.5913 120.69%
3108.62/3117.13 c 3117 1920 870 1 -143.0000 -315.5913 120.69%
3114.60/3123.16 c 3123 1925 875 1 -143.0000 -315.5913 120.69%
3122.58/3131.16 c 3131 1930 880 1 -143.0000 -315.5913 120.69%
3129.57/3138.16 c 3138 1937 887 1 -143.0000 -315.5913 120.69%
3134.94/3143.56 c 3144 1944 894 1 -143.0000 -315.5913 120.69%
3139.93/3148.58 c 3149 1949 899 1 -143.0000 -315.5913 120.69%
3145.32/3153.98 c 3154 1954 904 1 -143.0000 -315.5913 120.69%
3150.70/3159.35 c 3159 1959 909 1 -143.0000 -315.5913 120.69%
3156.08/3164.74 c 3165 1964 914 1 -143.0000 -315.5913 120.69%
3162.17/3170.86 c 3171 1971 921 1 -143.0000 -315.5913 120.69%
3170.95/3179.67 c 3180 1972 922 1 -143.0000 -315.5913 120.69%
3177.04/3185.72 c 3186 1982 932 1 -143.0000 -315.5913 120.69%
3182.62/3191.36 c 3191 1987 937 1 -143.0000 -315.5913 120.69%
3187.81/3196.55 c 3197 1990 940 1 -143.0000 -315.5913 120.69%
3193.31/3202.04 c 3202 1997 947 1 -143.0000 -315.5913 120.69%
3199.39/3208.19 c 3208 2001 951 1 -143.0000 -315.5913 120.69%
3207.16/3215.91 c 3216 2004 954 1 -143.0000 -315.5913 120.69%
3213.14/3222.01 c 3222 2011 961 1 -143.0000 -315.5913 120.69%
3219.71/3228.55 c 3229 2017 967 1 -143.0000 -315.5913 120.69%
3225.00/3233.81 c 3234 2024 974 1 -143.0000 -315.5913 120.69%
3232.88/3241.73 c 3242 2027 977 1 -143.0000 -315.5913 120.69%
3238.57/3247.45 c 3247 2032 982 1 -143.0000 -315.5913 120.69%
3244.36/3253.27 c 3253 2037 987 1 -143.0000 -315.5913 120.69%
3250.15/3259.10 c 3259 2041 991 1 -143.0000 -315.5913 120.69%
3256.14/3265.02 c 3265 2044 994 1 -143.0000 -315.5913 120.69%
3261.51/3270.45 c 3270 2051 1001 1 -143.0000 -315.5913 120.69%
3267.99/3276.93 c 3277 2057 1007 1 -143.0000 -315.5913 120.69%
3273.48/3282.45 c 3282 2062 1012 1 -143.0000 -315.5913 120.69%
3279.46/3288.47 c 3288 2068 1018 1 -143.0000 -315.5913 120.69%
3285.64/3294.64 c 3295 2071 1021 1 -143.0000 -315.5913 120.69%
3291.83/3300.84 c 3301 2076 1028 1 -143.0000 -315.5913 120.69%
3299.51/3308.54 c 3309 2078 1028 1 -143.0000 -315.5913 120.69%
3305.40/3314.42 c 3314 2084 1034 1 -143.0000 -315.5913 120.69%
3312.88/3321.93 c 3322 2091 1041 1 -143.0000 -315.5913 120.69%
3319.07/3328.19 c 3328 2095 1045 1 -143.0000 -315.5913 120.69%
3324.74/3333.85 c 3334 2101 1051 1 -143.0000 -315.5913 120.69%
3330.73/3339.89 c 3340 2106 1056 1 -143.0000 -315.5913 120.69%
3336.81/3345.94 c 3346 2109 1059 1 -143.0000 -315.5913 120.69%
3345.40/3354.59 c 3355 2115 1065 1 -143.0000 -315.5913 120.69%
3356.17/3365.35 c 3365 2117 1067 1 -143.0000 -315.5913 120.69%
3362.96/3372.11 c 3372 2122 1072 1 -143.0000 -315.5913 120.69%
3369.52/3378.74 c 3379 2127 1077 1 -143.0000 -315.5913 120.69%
3374.70/3383.91 c 3384 2132 1082 1 -143.0000 -315.5913 120.69%
3380.08/3389.32 c 3389 2139 1089 1 -143.0000 -315.5913 120.69%
3385.16/3394.41 c 3394 2143 1093 1 -143.0000 -315.5913 120.69%
3390.65/3399.98 c 3400 2149 1099 1 -143.0000 -315.5913 120.69%
3396.93/3406.23 c 3406 2156 1106 1 -143.0000 -315.5913 120.69%
3404.91/3414.22 c 3414 2162 1112 1 -143.0000 -315.5913 120.69%
3409.89/3419.29 c 3419 2164 1114 1 -143.0000 -315.5913 120.69%
3416.07/3425.42 c 3425 2167 1117 1 -143.0000 -315.5913 120.69%
3423.24/3432.63 c 3433 2174 1124 1 -143.0000 -315.5913 120.69%
3429.92/3439.32 c 3439 2178 1128 1 -143.0000 -315.5913 120.69%
3438.60/3448.03 c 3448 2186 1136 1 -143.0000 -315.5913 120.69%
3447.26/3456.70 c 3457 2187 1137 1 -143.0000 -315.5913 120.69%
3454.04/3463.50 c 3464 2193 1143 1 -143.0000 -315.5913 120.69%
3459.02/3468.53 c 3469 2197 1147 1 -143.0000 -315.5913 120.69%
3464.91/3474.40 c 3474 2201 1151 1 -143.0000 -315.5913 120.69%
3470.29/3479.90 c 3480 2209 1159 1 -143.0000 -315.5913 120.69%
3475.58/3485.18 c 3485 2212 1162 1 -143.0000 -315.5913 120.69%
3480.85/3490.49 c 3490 2215 1165 1 -143.0000 -315.5913 120.69%
3488.03/3497.63 c 3498 2222 1172 1 -143.0000 -315.5913 120.69%
3493.91/3503.58 c 3504 2229 1179 1 -143.0000 -315.5913 120.69%
3502.08/3511.79 c 3512 2234 1184 1 -143.0000 -315.5913 120.69%
3507.27/3516.95 c 3517 2239 1189 1 -143.0000 -315.5913 120.69%
3512.47/3522.12 c 3522 2242 1192 1 -143.0000 -315.5913 120.69%
3519.13/3528.84 c 3529 2248 1198 1 -143.0000 -315.5913 120.69%
3526.60/3536.33 c 3536 2253 1203 1 -143.0000 -315.5913 120.69%
3531.78/3541.58 c 3542 2258 1208 1 -143.0000 -315.5913 120.69%
3537.28/3547.06 c 3547 2262 1212 1 -143.0000 -315.5913 120.69%
3543.36/3553.19 c 3553 2266 1216 1 -143.0000 -315.5913 120.69%
3550.52/3560.39 c 3560 2271 1221 1 -143.0000 -315.5913 120.69%
3555.61/3565.46 c 3565 2275 1225 1 -143.0000 -315.5913 120.69%
3560.59/3570.49 c 3570 2277 1227 1 -143.0000 -315.5913 120.69%
3567.38/3577.27 c 3577 2282 1232 1 -143.0000 -315.5913 120.69%
3574.35/3584.20 c 3584 2287 1237 1 -143.0000 -315.5913 120.69%
3581.14/3591.07 c 3591 2292 1242 1 -143.0000 -315.5913 120.69%
3587.13/3597.04 c 3597 2297 1247 1 -143.0000 -315.5913 120.69%
3590.12/3600.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.12/3600.08 c Total Time : 3600.09
3590.12/3600.08 c solving : 3600.09
3590.12/3600.08 c presolving : 0.41 (included in solving)
3590.12/3600.08 c B&B Tree :
3590.12/3600.08 c nodes (total) : 1
3590.12/3600.08 c Solution :
3590.12/3600.08 c Solutions found : 6
3590.12/3600.08 c Primal Bound : -1.43000000000000e+02
3590.12/3600.08 c Dual Bound : -3.15591324788261e+02
3590.12/3600.08 c Gap : 120.69323 %
3590.12/3600.08 c * Warning: final gap: 1.20693e+00 is greater than SCIPepsilon: 1.00000e-09
3590.12/3600.10 o -143
3590.12/3600.10 s SATISFIABLE
3590.12/3600.10 v -x1000 -x999 -x998 -x997 -x996 x995 x994 x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979
3590.12/3600.10 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 x966 -x965 -x964 x963 -x962 -x961 -x960 x959 x958 -x957
3590.12/3600.10 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937 x936
3590.12/3600.10 v -x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 -x926 x925 x924 x923 -x922 x921 -x920 -x919 -x918 x917 -x916 -x915 -x914
3590.12/3600.10 v -x913 -x912 x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 x897 -x896 x895 -x894 -x893 -x892
3590.12/3600.10 v -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
3590.12/3600.10 v -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
3590.12/3600.10 v x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 x830 x829 x828
3590.12/3600.10 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 x811 -x810 x809 -x808 -x807 -x806
3590.12/3600.10 v -x805 x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
3590.12/3600.10 v x784 x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 x769 -x768 -x767 x766 -x765 -x764 -x763
3590.12/3600.10 v -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741
3590.12/3600.10 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 x731 -x730 x729 x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 x719
3590.12/3600.10 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
3590.12/3600.10 v -x697 x696 x695 -x694 x693 -x692 x691 -x690 -x689 -x688 x687 x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 x676
3590.12/3600.10 v x675 -x674 x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
3590.12/3600.10 v -x654 -x653 -x652 -x651 -x650 -x649 x648 x647 -x646 x645 -x644 x643 -x642 -x641 x640 -x639 x638 x637 x636 -x635 -x634 -x633
3590.12/3600.10 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 x613 -x612 -x611
3590.12/3600.10 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
3590.12/3600.10 v -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568
3590.12/3600.10 v -x567 -x566 -x565 -x564 x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547
3590.12/3600.10 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
3590.12/3600.10 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
3590.12/3600.10 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 x487 -x486 -x485 -x484 -x483
3590.12/3600.10 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462
3590.12/3600.10 v x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441
3590.12/3600.10 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419
3590.12/3600.10 v -x418 -x417 -x416 x415 -x414 x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398
3590.12/3600.10 v x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 x376
3590.12/3600.10 v -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 x356 -x355
3590.12/3600.10 v -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334
3590.12/3600.10 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3590.23/3600.17 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292
3590.23/3600.17 v -x291 -x290 -x289 x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3590.23/3600.17 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3590.23/3600.17 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
3590.23/3600.17 v -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207
3590.23/3600.17 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
3590.23/3600.17 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
3590.23/3600.17 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144
3590.23/3600.17 v x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123
3590.23/3600.17 v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102
3590.23/3600.17 v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77
3590.23/3600.17 v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52
3590.23/3600.17 v -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
3590.23/3600.17 v -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60170 MiB free)
memory of node 1: 64473 MiB (61468 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459747-1721939463/watcher-4459747-1721939463 -o /tmp/evaluation-result-4459747-1721939463/solver-4459747-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235370 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459747-1721939463.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=235434, runsolver pid=235431
[startup+0.10074 s]*
/proc/loadavg: 0.08 0.09 0.27 7/246 235436
/proc/meminfo: memFree=124519276/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=45840 memory=34116 CPUtime=0.1 cores=5,7
/proc/235434/stat : 235434 (fscip) R 235431 235434 235357 0 -1 4194304 6427 0 0 0 8 2 0 0 20 0 1 0 29935776 46940160 8529 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 11460 8529 2350 3032 0 7860 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 34116 KiB
[startup+0.214487 s]*
/proc/loadavg: 0.08 0.09 0.27 5/246 235436
/proc/meminfo: memFree=124481320/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=75376 memory=65184 CPUtime=0.21 cores=5,7
/proc/235434/stat : 235434 (fscip) R 235431 235434 235357 0 -1 4194304 14091 0 0 0 17 4 0 0 20 0 1 0 29935776 77185024 16296 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 18844 16296 2590 3032 0 15244 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75376 KiB
Current children cumulated memory: 65184 KiB
[startup+0.31406 s]*
/proc/loadavg: 0.08 0.09 0.27 5/246 235436
/proc/meminfo: memFree=124461288/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=93908 memory=80472 CPUtime=0.31 cores=5,7
/proc/235434/stat : 235434 (fscip) R 235431 235434 235357 0 -1 4194304 17965 0 0 0 25 6 0 0 20 0 1 0 29935776 96161792 20118 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 23477 20118 2622 3032 0 19877 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93908 KiB
Current children cumulated memory: 80472 KiB
[startup+0.700362 s]
/proc/loadavg: 0.08 0.09 0.27 5/246 235436
/proc/meminfo: memFree=124436648/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=194784 memory=105056 CPUtime=0.68 cores=5,7
/proc/235434/stat : 235434 (fscip) R 235431 235434 235357 0 -1 4194304 24427 0 0 0 60 8 0 0 20 0 2 0 29935776 199458816 26264 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 48696 26264 2686 3032 0 28744 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 194784 KiB
Current children cumulated memory: 105056 KiB
[startup+1.5004 s]
/proc/loadavg: 0.08 0.09 0.27 5/248 235438
/proc/meminfo: memFree=124382136/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=197504 memory=157792 CPUtime=1.47 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 41921 0 0 0 135 12 0 0 20 0 3 0 29935776 202244096 39448 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 49376 39448 2910 3032 0 44941 0
[pid=235434/tid=235437] ppid=235431 vsize=197504 memory=0 CPUtime=0.77 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 16754 0 0 0 73 4 0 0 20 0 3 0 29935845 202244096 39448 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=197504 memory=11616 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935853 202244096 39448 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 197504 KiB
Current children cumulated memory: 157792 KiB
[startup+3.11212 s]
/proc/loadavg: 0.48 0.17 0.29 5/248 235438
/proc/meminfo: memFree=124326592/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=263040 memory=167124 CPUtime=3.08 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 52323 0 0 0 295 13 0 0 20 0 3 0 29935776 269352960 41781 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 65760 41781 2910 3032 0 48417 0
[pid=235434/tid=235437] ppid=235431 vsize=263040 memory=-6514007621834554219 CPUtime=2.38 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 27151 0 0 0 233 5 0 0 20 0 3 0 29935845 269352960 41781 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=263040 memory=-6514007621834554219 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 29935853 269352960 41781 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 263040 KiB
Current children cumulated memory: 167124 KiB
[startup+6.30031 s]
/proc/loadavg: 0.48 0.17 0.29 6/248 235488
/proc/meminfo: memFree=124322624/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=263040 memory=181180 CPUtime=6.27 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 65585 0 0 0 612 15 0 0 20 0 3 0 29935776 269352960 45295 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 65760 45295 2910 3032 0 53465 0
[pid=235434/tid=235437] ppid=235431 vsize=263040 memory=11616 CPUtime=5.55 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 40411 0 0 0 549 6 0 0 20 0 3 0 29935845 269352960 45295 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=263040 memory=175792 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 29935853 269352960 45295 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 263040 KiB
Current children cumulated memory: 181180 KiB
[startup+12.7004 s]
/proc/loadavg: 0.76 0.24 0.31 5/249 235537
/proc/meminfo: memFree=124080744/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=263040 memory=197296 CPUtime=12.64 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 94913 0 0 0 1247 17 0 0 20 0 3 0 29935776 269352960 49324 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 65760 49324 2910 3032 0 59978 0
[pid=235434/tid=235437] ppid=235431 vsize=263040 memory=61156 CPUtime=11.93 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 69730 0 0 0 1185 8 0 0 20 0 3 0 29935845 269352960 49324 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=263040 memory=167124 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 29935853 269352960 49324 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 263040 KiB
Current children cumulated memory: 197296 KiB
[startup+25.5004 s]
/proc/loadavg: 1.48 0.42 0.37 5/249 235540
/proc/meminfo: memFree=123953084/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=331696 memory=202116 CPUtime=25.4 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 134389 0 0 0 2520 20 0 0 20 0 3 0 29935776 339656704 50529 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 82924 50529 2910 3032 0 63312 0
[pid=235434/tid=235437] ppid=235431 vsize=331696 memory=199824 CPUtime=24.69 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 109197 0 0 0 2458 11 0 0 20 0 3 0 29935845 339656704 50529 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=331696 memory=200644 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 29935853 339656704 50529 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 331696 KiB
Current children cumulated memory: 202116 KiB
[startup+51.113 s]
/proc/loadavg: 2.42 0.73 0.48 5/249 235544
/proc/meminfo: memFree=123886972/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=331696 memory=212968 CPUtime=50.93 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 166175 0 0 0 5071 22 0 0 20 0 3 0 29935776 339656704 53242 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 82924 53242 2910 3032 0 66076 0
[pid=235434/tid=235437] ppid=235431 vsize=331696 memory=11616 CPUtime=50.22 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 140977 0 0 0 5009 13 0 0 20 0 3 0 29935845 339656704 53242 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=331696 memory=11616 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 29935853 339656704 53242 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 331696 KiB
Current children cumulated memory: 212968 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.25 0.67 5/249 235553
/proc/meminfo: memFree=123684668/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=331696 memory=229828 CPUtime=101.98 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 189520 0 0 0 10174 24 0 0 20 0 3 0 29935776 339656704 57457 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 82924 57457 2958 3032 0 71179 0
[pid=235434/tid=235437] ppid=235431 vsize=331696 memory=229636 CPUtime=101.26 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 164232 0 0 0 10111 15 0 0 20 0 3 0 29935845 339656704 57457 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=331696 memory=229636 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 29935853 339656704 57457 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 331696 KiB
Current children cumulated memory: 229828 KiB
[startup+162.3 s]
/proc/loadavg: 4.47 1.95 0.95 5/248 235564
/proc/meminfo: memFree=123563444/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=397232 memory=281352 CPUtime=161.83 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 220929 0 0 0 16155 28 0 0 20 0 3 0 29935776 406765568 70338 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 99308 70338 2958 3032 0 89079 0
[pid=235434/tid=235437] ppid=235431 vsize=397232 memory=231032 CPUtime=161.11 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 195575 0 0 0 16092 19 0 0 20 0 3 0 29935845 406765568 70338 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=397232 memory=231032 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 29935853 406765568 70338 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 397232 KiB
Current children cumulated memory: 281352 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 2.37 1.16 5/248 235574
/proc/meminfo: memFree=123493648/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=462768 memory=300308 CPUtime=221.68 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 252057 0 0 0 22136 32 0 0 20 0 3 0 29935776 473874432 75077 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 115692 75077 2974 3032 0 95876 0
[pid=235434/tid=235437] ppid=235431 vsize=462768 memory=281548 CPUtime=220.97 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 226388 0 0 0 22074 23 0 0 20 0 3 0 29935845 473874432 75077 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=462768 memory=300308 CPUtime=0 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 29935853 473874432 75077 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 462768 KiB
Current children cumulated memory: 300308 KiB
################
# More data... #
################
[pid=235434] ppid=235431 vsize=1205272 memory=1006620 CPUtime=3452.84 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 811164 0 0 0 345183 101 0 0 20 0 3 0 29935776 1234198528 251655 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251655 2974 3032 0 288350 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=11616 CPUtime=3451.94 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 784279 0 0 0 345110 84 0 0 20 0 3 0 29935845 1234198528 251655 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=1005172 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 241 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251655 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1006620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/250 237483
/proc/meminfo: memFree=121877476/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1006948 CPUtime=3512.65 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 819033 0 0 0 351162 103 0 0 20 0 3 0 29935776 1234198528 251737 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251737 2974 3032 0 289962 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=1006620 CPUtime=3511.74 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 792144 0 0 0 351089 85 0 0 20 0 3 0 29935845 1234198528 251737 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=1006948 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 243 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251737 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1006948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/250 237550
/proc/meminfo: memFree=121874760/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1006960 CPUtime=3572.46 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 827984 0 0 0 357142 104 0 0 20 0 3 0 29935776 1234198528 251740 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251740 2974 3032 0 291170 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=1006960 CPUtime=3571.55 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801077 0 0 0 357069 86 0 0 20 0 3 0 29935845 1234198528 251740 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=1006960 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 243 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251740 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1006960 KiB
[startup+3600.18 s]
# the end of solver process 235434 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.24 s, system=1.06261 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.05 5/250 237550
/proc/meminfo: memFree=121873892/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007848 CPUtime=3574.16 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828229 0 0 0 357312 104 0 0 20 0 3 0 29935776 1234198528 251962 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251962 2974 3032 0 291170 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=6720667649124482402 CPUtime=3573.25 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801322 0 0 0 357239 86 0 0 20 0 3 0 29935845 1234198528 251962 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=-7233763581549372027 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 243 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251962 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3574.16 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007848 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.04 5/250 237552
/proc/meminfo: memFree=121873584/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007872 CPUtime=3580.53 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828336 0 0 0 357949 104 0 0 20 0 3 0 29935776 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251968 2974 3032 0 291170 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=11616 CPUtime=3579.62 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801426 0 0 0 357876 86 0 0 20 0 3 0 29935845 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=61156 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3580.53 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007872 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121866272/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007872 CPUtime=3586.92 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828376 0 0 0 358588 104 0 0 20 0 3 0 29935776 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251968 2974 3032 0 291969 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=1006960 CPUtime=3586 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801465 0 0 0 358514 86 0 0 20 0 3 0 29935845 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=1007848 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007872 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121866272/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007872 CPUtime=3588.51 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828376 0 0 0 358747 104 0 0 20 0 3 0 29935776 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251968 2974 3032 0 291969 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=5724 CPUtime=3587.6 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801465 0 0 0 358674 86 0 0 20 0 3 0 29935845 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=18416 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3588.51 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007872 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121866272/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007872 CPUtime=3589.31 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828377 0 0 0 358827 104 0 0 20 0 3 0 29935776 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251968 2974 3032 0 291969 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=12368 CPUtime=3588.4 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801466 0 0 0 358754 86 0 0 20 0 3 0 29935845 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=5724 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3589.31 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007872 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121866272/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007872 CPUtime=3589.71 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828377 0 0 0 358867 104 0 0 20 0 3 0 29935776 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251968 2974 3032 0 291969 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=5620 CPUtime=3588.8 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801466 0 0 0 358794 86 0 0 20 0 3 0 29935845 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=26440 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3589.71 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007872 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121875528/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=1205272 memory=1007872 CPUtime=3590.12 cores=5,7
/proc/235434/stat : 235434 (fscip) S 235431 235434 235357 0 -1 1077936128 828397 0 0 0 358908 104 0 0 20 0 3 0 29935776 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 301318 251968 2974 3032 0 291969 0
[pid=235434/tid=235437] ppid=235431 vsize=1205272 memory=3192 CPUtime=3589.21 cores=5,7
/proc/235434/task/235437/stat : 235437 (fscip) R 235431 235434 235357 0 -1 4194368 801486 0 0 0 358835 86 0 0 20 0 3 0 29935845 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
[pid=235434/tid=235438] ppid=235431 vsize=1205272 memory=2216 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 3 0 29935853 1234198528 251968 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3590.12 s
Current children cumulated vsize: 1205272 KiB
Current children cumulated memory: 1007872 KiB
[startup+3600.11 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121875528/131655788 swapFree=131060916/131071996
[pid=235434] ppid=235431 vsize=789420 memory=695316 CPUtime=3590.23 cores=5,7
/proc/235434/stat : 235434 (fscip) R 235431 235434 235357 0 -1 4194304 829876 0 0 0 358918 105 0 0 20 0 2 0 29935776 808366080 173829 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
/proc/235434/statm: 197355 173829 2974 3032 0 192711 0
[pid=235434/tid=235438] ppid=235431 vsize=789420 memory=1007872 CPUtime=0.05 cores=5,7
/proc/235434/task/235438/stat : 235438 (fscip) S 235431 235434 235357 0 -1 1077936192 245 0 0 0 2 3 0 0 20 0 2 0 29935853 808366080 173829 134679101440 4194304 16613245 140720318365808 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 49348608 140720318374936 140720318375052 140720318375052 140720318382064 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 789420 KiB
Current children cumulated memory: 695316 KiB
Child status: 0
Real time (s): 3600.18
CPU time (s): 3590.3
CPU user time (s): 3589.24
CPU system time (s): 1.06261
CPU usage (%): 99.7255
Max. virtual memory (cumulated for all children) (KiB): 1205272
Max. memory (cumulated for all children) (KiB): 1011176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.24
system time used= 1.06261
maximum resident set size= 1011176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 830704
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= 6705
involuntary context switches= 2037
# summary of solver processes directly reported to runsolver:
# pid: 235434
# total CPU time (s): 3590.3
# total CPU user time (s): 3589.24
# total CPU system time (s): 1.06261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3815 second user time and 36.2766 second system time
The end
Begin job on nodeC007 at 2024-07-25 22:31:03
IDJOB=4459747
IDBENCH=148532
IDSOLVER=3064
FILE ID=nodeC007/4459747-1721939463
RUNJOBID= nodeC007-1721939462-235370
SLURM_JOB_ID= 8247261
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459747-1721939463/watcher-4459747-1721939463 -o /tmp/evaluation-result-4459747-1721939463/solver-4459747-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235370 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459747-1721939463.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1
RANDOM SEED=1195961217
nodeC007.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 : 1197.201
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.67
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 : 1197.203
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.221
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.67
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.204
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 : 1995.336
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.254
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.357
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.67
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.201
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: 124564372 kB
MemAvailable: 129848712 kB
Buffers: 338140 kB
Cached: 5645044 kB
SwapCached: 152 kB
Active: 1798348 kB
Inactive: 4498252 kB
Active(anon): 2220 kB
Inactive(anon): 356308 kB
Active(file): 1796128 kB
Inactive(file): 4141944 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060916 kB
Dirty: 113396 kB
Writeback: 0 kB
AnonPages: 313460 kB
Mapped: 123004 kB
Shmem: 45112 kB
KReclaimable: 372936 kB
Slab: 485628 kB
SReclaimable: 372936 kB
SUnreclaim: 112692 kB
KernelStack: 3984 kB
PageTables: 9720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 668952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 143360 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: 437064 kB
DirectMap2M: 60284928 kB
DirectMap1G: 75497472 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC007 at 2024-07-25 23:31:04