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.21/0.24 c Default LC presolving (default).
0.21/0.24 c ** Before presolving: virtualMemUsedAtLc = 92879388, getVmSize() = 83054592, SCIPgetMemUsed() = 54137845, SCIPgetMemTotal() = 59545781, SCIPgetMemExternEstim() = 33333607
0.21/0.24 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.59/0.62 c ** Estimated virtualMemUsedAtSolver = 81442247, getVmSize() = 115351552, SCIPgetMemUsed() = 58457100, SCIPgetMemTotal() = 88829764, SCIPgetMemExternEstim() = 33333607
0.59/0.62 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.62 c Original Problem :
0.59/0.62 c Problem name : instance-4464791-1722382194
0.59/0.62 c Variables : 16811 (1000 binary, 0 integer, 15811 implicit integer, 0 continuous)
0.59/0.62 c Constraints : 17811
0.59/0.62 c Objective sense : minimize
0.59/0.62 c Presolved Problem :
0.59/0.62 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.62 c Constraints : 15811
0.59/0.62 c Constraints : Number
0.59/0.62 c setppc : 15811
0.59/0.62 c ** Instance transfer method used: 0
0.59/0.66 c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.70 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.70 c Nodes Active
0.68/0.70 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.99/1.07 c * 1 0 1 1 -94.0000 - -
0.99/1.08 c * 1 0 1 1 -130.0000 - -
1.09/1.13 c * 1 0 1 1 -136.0000 - -
63.97/64.23 c 64 2 1 1 -136.0000 -322.6732 137.26%
74.04/74.37 c 74 4 3 1 -136.0000 -322.5990 137.21%
81.62/81.98 c 82 5 4 1 -136.0000 -322.4487 137.09%
99.27/99.68 c 100 6 5 1 -136.0000 -322.1927 136.91%
105.45/105.87 c 106 7 6 1 -136.0000 -321.8557 136.66%
115.74/116.15 c 116 8 7 1 -136.0000 -321.5783 136.45%
123.31/123.78 c 124 11 10 1 -136.0000 -321.4171 136.34%
132.99/133.40 c 133 13 12 1 -136.0000 -321.4066 136.33%
137.97/138.44 c 138 15 14 1 -136.0000 -321.4066 136.33%
144.95/145.42 c 145 16 15 1 -136.0000 -321.4066 136.33%
154.43/154.95 c 155 18 17 1 -136.0000 -321.4066 136.33%
160.31/160.84 c 161 20 19 1 -136.0000 -321.4066 136.33%
182.65/183.26 c 183 22 21 1 -136.0000 -321.4066 136.33%
189.23/189.87 c 190 24 23 1 -136.0000 -321.4066 136.33%
198.52/199.14 c 199 26 25 1 -136.0000 -321.4066 136.33%
207.58/208.23 c 208 29 28 1 -136.0000 -321.2394 136.21%
210.27/210.98 c * 211 29 28 1 -142.0000 -321.2394 126.22%
210.38/211.01 c * 211 30 29 1 -143.0000 -321.2394 124.64%
214.05/214.71 c 215 32 31 1 -143.0000 -321.2394 124.64%
220.93/221.66 c 222 35 34 1 -143.0000 -321.2394 124.64%
226.43/227.17 c 227 37 36 1 -143.0000 -321.2394 124.64%
231.50/232.23 c 232 39 38 1 -143.0000 -321.2394 124.64%
238.39/239.12 c 239 41 40 1 -143.0000 -321.2394 124.64%
243.57/244.35 c 244 43 42 1 -143.0000 -321.2394 124.64%
249.76/250.52 c 251 46 45 1 -143.0000 -321.2394 124.64%
256.74/257.58 c 258 49 48 1 -143.0000 -321.2394 124.64%
262.52/263.30 c 263 52 51 1 -143.0000 -321.2394 124.64%
273.49/274.33 c 274 55 54 1 -143.0000 -321.2394 124.64%
280.28/281.12 c 281 58 57 1 -143.0000 -321.2394 124.64%
286.55/287.42 c 287 62 61 1 -143.0000 -321.2394 124.64%
293.53/294.48 c 294 66 65 1 -143.0000 -321.2394 124.64%
298.61/299.59 c 300 69 68 1 -143.0000 -321.2394 124.64%
309.68/310.68 c 311 72 71 1 -143.0000 -321.2394 124.64%
316.46/317.45 c 317 76 75 1 -143.0000 -321.2394 124.64%
325.94/326.98 c 327 79 78 1 -143.0000 -321.2394 124.64%
332.92/333.97 c 334 82 81 1 -143.0000 -321.2394 124.64%
340.11/341.13 c 341 85 84 1 -143.0000 -321.2394 124.64%
346.88/347.97 c 348 88 87 1 -143.0000 -321.2394 124.64%
352.26/353.34 c 353 90 89 1 -143.0000 -321.2394 124.64%
357.55/358.68 c 359 92 91 1 -143.0000 -321.2394 124.64%
365.93/367.06 c 367 96 95 1 -143.0000 -321.2394 124.64%
371.81/372.90 c 373 100 99 1 -143.0000 -321.2394 124.64%
380.89/382.02 c 382 102 101 1 -143.0000 -321.2394 124.64%
389.56/390.72 c 391 106 105 1 -143.0000 -321.2394 124.64%
396.34/397.57 c 398 110 109 1 -143.0000 -321.2394 124.64%
404.02/405.27 c 405 114 113 1 -143.0000 -321.2394 124.64%
410.91/412.12 c 412 117 116 1 -143.0000 -321.2394 124.64%
416.29/417.52 c 418 120 119 1 -143.0000 -321.2394 124.64%
423.37/424.61 c 425 122 121 1 -143.0000 -321.2394 124.64%
429.66/430.98 c 431 126 125 1 -143.0000 -321.2394 124.64%
435.44/436.73 c 437 130 129 1 -143.0000 -321.2394 124.64%
442.73/444.01 c 444 133 132 1 -143.0000 -321.2394 124.64%
452.59/453.95 c 454 136 135 1 -143.0000 -321.2394 124.64%
460.47/461.86 c 462 141 140 1 -143.0000 -321.2394 124.64%
467.55/468.99 c 469 144 143 1 -143.0000 -321.2394 124.64%
474.93/476.33 c 476 148 147 1 -143.0000 -321.2394 124.64%
480.91/482.31 c 482 152 151 1 -143.0000 -321.2394 124.64%
489.09/490.59 c 491 158 157 1 -143.0000 -321.2394 124.64%
494.88/496.30 c 496 162 161 1 -143.0000 -321.2394 124.64%
500.67/502.17 c 502 168 167 1 -143.0000 -321.2394 124.64%
508.65/510.13 c 510 174 173 1 -143.0000 -321.2394 124.64%
514.92/516.46 c 516 178 177 1 -143.0000 -321.2394 124.64%
521.52/523.09 c 523 181 180 1 -143.0000 -321.2394 124.64%
529.39/530.94 c 531 187 186 1 -143.0000 -319.4162 123.37%
535.27/536.87 c 537 193 192 1 -143.0000 -319.4162 123.37%
540.76/542.30 c 542 198 197 1 -143.0000 -319.4162 123.37%
546.64/548.25 c 548 200 199 1 -143.0000 -319.4162 123.37%
553.91/555.59 c 556 201 200 1 -143.0000 -319.4162 123.37%
575.38/577.02 c 577 205 204 1 -143.0000 -319.4162 123.37%
582.84/584.58 c 585 208 207 1 -143.0000 -319.4162 123.37%
588.34/590.06 c 590 213 212 1 -143.0000 -319.2059 123.22%
595.70/597.43 c 597 215 214 1 -143.0000 -319.2059 123.22%
601.69/603.42 c 603 217 216 1 -143.0000 -319.2059 123.22%
607.29/609.10 c 609 219 218 1 -143.0000 -319.2059 123.22%
613.66/615.45 c 615 223 222 1 -143.0000 -319.2059 123.22%
620.74/622.57 c 623 225 224 1 -143.0000 -319.2059 123.22%
626.03/627.84 c 628 228 227 1 -143.0000 -319.2059 123.22%
631.81/633.65 c 634 230 229 1 -143.0000 -319.2059 123.22%
640.20/642.04 c 642 233 232 1 -143.0000 -319.2059 123.22%
646.57/648.47 c 648 236 235 1 -143.0000 -319.2059 123.22%
653.05/654.97 c 655 241 240 1 -143.0000 -319.2059 123.22%
660.63/662.50 c 663 244 243 1 -143.0000 -319.1223 123.16%
667.81/669.75 c 670 245 244 1 -143.0000 -319.1223 123.16%
674.99/676.90 c 677 250 249 1 -143.0000 -319.1223 123.16%
683.97/685.97 c 686 253 252 1 -143.0000 -319.1223 123.16%
690.36/692.35 c 692 256 255 1 -143.0000 -319.1223 123.16%
696.64/698.61 c 699 259 258 1 -143.0000 -319.1223 123.16%
702.62/704.63 c 705 264 263 1 -143.0000 -319.1223 123.16%
708.03/710.02 c 710 268 267 1 -143.0000 -319.1223 123.16%
713.50/715.51 c 716 271 270 1 -143.0000 -319.1223 123.16%
719.18/721.25 c 721 276 275 1 -143.0000 -318.8732 122.99%
725.08/727.17 c 727 278 277 1 -143.0000 -318.8732 122.99%
730.35/732.47 c 732 282 281 1 -143.0000 -318.8732 122.99%
736.24/738.32 c 738 286 285 1 -143.0000 -318.8732 122.99%
743.41/745.59 c 746 292 291 1 -143.0000 -318.8732 122.99%
750.80/752.94 c 753 295 294 1 -143.0000 -318.8732 122.99%
758.68/760.88 c 761 300 299 1 -143.0000 -318.8732 122.99%
765.65/767.85 c 768 304 303 1 -143.0000 -318.6409 122.83%
772.04/774.20 c 774 309 308 1 -143.0000 -318.6409 122.83%
777.43/779.61 c 780 312 311 1 -143.0000 -318.6409 122.83%
787.50/789.77 c 790 315 314 1 -143.0000 -318.6409 122.83%
793.89/796.13 c 796 319 318 1 -143.0000 -318.6409 122.83%
800.46/802.72 c 803 322 321 1 -143.0000 -318.6409 122.83%
805.54/807.82 c 808 324 323 1 -143.0000 -318.6409 122.83%
812.74/815.05 c 815 328 327 1 -143.0000 -318.6409 122.83%
818.42/820.71 c 821 331 330 1 -143.0000 -318.6409 122.83%
825.40/827.78 c 828 336 335 1 -143.0000 -318.3461 122.62%
830.48/832.87 c 833 338 337 1 -143.0000 -318.3461 122.62%
839.15/841.56 c 842 342 341 1 -143.0000 -318.3461 122.62%
845.34/847.79 c 848 348 347 1 -143.0000 -318.3461 122.62%
856.22/858.66 c 859 352 351 1 -143.0000 -318.3461 122.62%
862.40/864.85 c 865 355 354 1 -143.0000 -318.3461 122.62%
869.38/871.89 c 872 360 359 1 -143.0000 -318.3461 122.62%
874.57/877.09 c 877 363 362 1 -143.0000 -318.3449 122.62%
884.32/886.89 c 887 367 366 1 -143.0000 -318.3449 122.62%
890.40/892.98 c 893 370 369 1 -143.0000 -318.3449 122.62%
895.99/898.59 c 899 375 374 1 -143.0000 -318.3449 122.62%
902.58/905.14 c 905 378 377 1 -143.0000 -318.3449 122.62%
909.46/912.09 c 912 381 380 1 -143.0000 -318.3449 122.62%
915.72/918.38 c 918 385 384 1 -143.0000 -318.3449 122.62%
921.31/923.96 c 924 389 388 1 -143.0000 -318.3449 122.62%
926.68/929.30 c 929 393 392 1 -143.0000 -318.1371 122.47%
932.67/935.30 c 935 397 396 1 -143.0000 -318.1371 122.47%
938.36/941.04 c 941 400 399 1 -143.0000 -318.1371 122.47%
945.14/947.86 c 948 405 404 1 -143.0000 -318.1371 122.47%
952.02/954.75 c 955 409 408 1 -143.0000 -318.1371 122.47%
957.61/960.38 c 960 414 413 1 -143.0000 -318.1371 122.47%
963.30/966.07 c 966 417 416 1 -143.0000 -318.1371 122.47%
970.98/973.71 c 974 419 418 1 -143.0000 -318.1371 122.47%
978.75/981.50 c 982 421 420 1 -143.0000 -318.1371 122.47%
985.83/988.60 c 989 426 425 1 -143.0000 -318.0662 122.42%
996.22/999.05 c 999 427 426 1 -143.0000 -318.0662 122.42%
1001.40/1004.23 c 1004 430 429 1 -143.0000 -318.0662 122.42%
1007.19/1010.03 c 1010 431 430 1 -143.0000 -318.0662 122.42%
1013.17/1016.08 c 1016 434 433 1 -143.0000 -318.0662 122.42%
1019.64/1022.59 c 1023 438 437 1 -143.0000 -318.0662 122.42%
1026.33/1029.23 c 1029 442 441 1 -143.0000 -318.0662 122.42%
1031.91/1034.88 c 1035 446 445 1 -143.0000 -318.0662 122.42%
1037.49/1040.50 c 1040 447 446 1 -143.0000 -318.0662 122.42%
1048.87/1051.88 c 1052 451 450 1 -143.0000 -318.0662 122.42%
1054.16/1057.14 c 1057 454 453 1 -143.0000 -317.8460 122.27%
1059.95/1062.98 c 1063 457 456 1 -143.0000 -317.8460 122.27%
1065.83/1068.82 c 1069 459 458 1 -143.0000 -317.8460 122.27%
1072.71/1075.75 c 1076 463 462 1 -143.0000 -317.8460 122.27%
1078.11/1081.12 c 1081 467 466 1 -143.0000 -317.8460 122.27%
1083.87/1086.91 c 1087 470 469 1 -143.0000 -317.8460 122.27%
1091.35/1094.42 c 1094 473 472 1 -143.0000 -317.8460 122.27%
1098.34/1101.46 c 1101 477 476 1 -143.0000 -317.8460 122.27%
1103.52/1106.66 c 1107 482 481 1 -143.0000 -317.4789 122.01%
1112.40/1115.56 c 1116 485 484 1 -143.0000 -317.4789 122.01%
1119.38/1122.53 c 1123 490 489 1 -143.0000 -317.4789 122.01%
1124.89/1128.02 c 1128 493 492 1 -143.0000 -317.4789 122.01%
1130.16/1133.37 c 1133 496 495 1 -143.0000 -317.4789 122.01%
1138.14/1141.31 c 1141 500 499 1 -143.0000 -317.4789 122.01%
1143.94/1147.18 c 1147 503 502 1 -143.0000 -317.4789 122.01%
1150.50/1153.76 c 1154 508 507 1 -143.0000 -317.4789 122.01%
1157.59/1160.85 c 1161 511 510 1 -143.0000 -317.4789 122.01%
1163.68/1166.95 c 1167 516 515 1 -143.0000 -317.4155 121.97%
1169.16/1172.41 c 1172 520 519 1 -143.0000 -317.4155 121.97%
1174.85/1178.19 c 1178 523 522 1 -143.0000 -317.4155 121.97%
1181.42/1184.79 c 1185 528 527 1 -143.0000 -317.4155 121.97%
1186.61/1190.01 c 1190 531 530 1 -143.0000 -317.4155 121.97%
1191.70/1195.09 c 1195 535 534 1 -143.0000 -317.4155 121.97%
1198.37/1201.78 c 1202 540 539 1 -143.0000 -317.4155 121.97%
1205.35/1208.75 c 1209 545 544 1 -143.0000 -317.1575 121.79%
1211.44/1214.88 c 1215 549 548 1 -143.0000 -317.1575 121.79%
1217.22/1220.62 c 1221 554 553 1 -143.0000 -317.1575 121.79%
1223.31/1226.71 c 1227 559 558 1 -143.0000 -317.1575 121.79%
1228.40/1231.84 c 1232 564 563 1 -143.0000 -317.1575 121.79%
1234.08/1237.51 c 1238 568 567 1 -143.0000 -317.1575 121.79%
1252.54/1256.08 c 1256 571 570 1 -143.0000 -317.1575 121.79%
1257.82/1261.38 c 1261 574 573 1 -143.0000 -316.8307 121.56%
1263.71/1267.21 c 1267 577 576 1 -143.0000 -316.8307 121.56%
1272.88/1276.43 c 1276 581 580 1 -143.0000 -316.8307 121.56%
1280.06/1283.68 c 1284 586 585 1 -143.0000 -316.8307 121.56%
1288.33/1291.99 c 1292 591 590 1 -143.0000 -316.8307 121.56%
1293.82/1297.42 c 1297 595 594 1 -143.0000 -316.8307 121.56%
1298.90/1302.55 c 1303 600 599 1 -143.0000 -316.8307 121.56%
1306.40/1310.03 c 1310 604 603 1 -143.0000 -316.6971 121.47%
1312.17/1315.86 c 1316 610 609 1 -143.0000 -316.6971 121.47%
1317.37/1321.09 c 1321 615 614 1 -143.0000 -316.6971 121.47%
1324.14/1327.85 c 1328 619 618 1 -143.0000 -316.6971 121.47%
1331.22/1334.95 c 1335 625 624 1 -143.0000 -316.6971 121.47%
1337.32/1341.06 c 1341 628 627 1 -143.0000 -316.6971 121.47%
1342.41/1346.13 c 1346 633 632 1 -143.0000 -316.6971 121.47%
1349.68/1353.47 c 1353 637 636 1 -143.0000 -316.6971 121.47%
1357.56/1361.32 c 1361 643 642 1 -143.0000 -316.6971 121.47%
1363.74/1367.53 c 1368 651 650 1 -143.0000 -316.6971 121.47%
1372.12/1375.90 c 1376 654 653 1 -143.0000 -316.6971 121.47%
1377.10/1380.93 c 1381 658 657 1 -143.0000 -316.6971 121.47%
1382.89/1386.73 c 1387 661 660 1 -143.0000 -316.6971 121.47%
1388.18/1392.01 c 1392 664 663 1 -143.0000 -316.4754 121.31%
1396.16/1400.08 c 1400 670 669 1 -143.0000 -316.4540 121.30%
1402.15/1406.10 c 1406 675 674 1 -143.0000 -316.4540 121.30%
1407.32/1411.28 c 1411 677 676 1 -143.0000 -316.4540 121.30%
1413.60/1417.50 c 1418 681 680 1 -143.0000 -316.4540 121.30%
1418.99/1422.95 c 1423 682 681 1 -143.0000 -316.4389 121.29%
1425.09/1429.10 c 1429 687 686 1 -143.0000 -316.4389 121.29%
1430.46/1434.41 c 1434 691 690 1 -143.0000 -316.4389 121.29%
1439.23/1443.22 c 1443 693 692 1 -143.0000 -316.4389 121.29%
1444.62/1448.63 c 1449 697 696 1 -143.0000 -316.4389 121.29%
1455.80/1459.81 c 1460 703 702 1 -143.0000 -316.3099 121.20%
1461.69/1465.79 c 1466 708 707 1 -143.0000 -316.3099 121.20%
1467.17/1471.29 c 1471 711 710 1 -143.0000 -316.3099 121.20%
1474.07/1478.18 c 1478 715 714 1 -143.0000 -316.3099 121.20%
1481.33/1485.40 c 1485 720 719 1 -143.0000 -316.3099 121.20%
1490.50/1494.66 c 1495 722 721 1 -143.0000 -316.3099 121.20%
1495.80/1499.96 c 1500 726 725 1 -143.0000 -316.3099 121.20%
1501.48/1505.61 c 1506 730 729 1 -143.0000 -316.3099 121.20%
1506.76/1510.96 c 1511 734 733 1 -143.0000 -316.3099 121.20%
1511.75/1515.98 c 1516 735 734 1 -143.0000 -316.3099 121.20%
1516.85/1521.10 c 1521 739 738 1 -143.0000 -316.3099 121.20%
1532.90/1537.11 c 1537 742 741 1 -143.0000 -316.3099 121.20%
1541.27/1545.51 c 1546 747 746 1 -143.0000 -316.3099 121.20%
1547.45/1551.74 c 1552 752 751 1 -143.0000 -316.3099 121.20%
1552.64/1556.98 c 1557 753 752 1 -143.0000 -316.3099 121.20%
1558.42/1562.71 c 1563 757 756 1 -143.0000 -316.3099 121.20%
1564.41/1568.75 c 1569 760 759 1 -143.0000 -316.3099 121.20%
1570.30/1574.67 c 1575 765 764 1 -143.0000 -316.3099 121.20%
1576.98/1581.33 c 1581 770 769 1 -143.0000 -316.3099 121.20%
1583.16/1587.58 c 1588 771 770 1 -143.0000 -316.3099 121.20%
1588.66/1593.08 c 1593 776 775 1 -143.0000 -316.3099 121.20%
1596.93/1601.37 c 1601 780 779 1 -143.0000 -316.3099 121.20%
1604.30/1608.70 c 1609 786 785 1 -143.0000 -316.3099 121.20%
1610.40/1614.87 c 1615 792 791 1 -143.0000 -316.3099 121.20%
1616.78/1621.21 c 1621 793 792 1 -143.0000 -316.3099 121.20%
1623.16/1627.64 c 1628 798 797 1 -143.0000 -316.3099 121.20%
1629.84/1634.32 c 1634 804 803 1 -143.0000 -316.3099 121.20%
1636.02/1640.56 c 1641 807 806 1 -143.0000 -316.3099 121.20%
1641.80/1646.32 c 1646 810 809 1 -143.0000 -316.3099 121.20%
1648.09/1652.66 c 1653 814 813 1 -143.0000 -316.3099 121.20%
1656.77/1661.31 c 1661 819 818 1 -143.0000 -316.3099 121.20%
1662.15/1666.73 c 1667 824 823 1 -143.0000 -316.3099 121.20%
1667.45/1672.09 c 1672 830 829 1 -143.0000 -316.3099 121.20%
1673.12/1677.72 c 1678 835 834 1 -143.0000 -316.3099 121.20%
1681.91/1686.55 c 1687 840 839 1 -143.0000 -316.3099 121.20%
1687.99/1692.60 c 1693 846 845 1 -143.0000 -316.3099 121.20%
1692.98/1697.61 c 1698 851 850 1 -143.0000 -316.3099 121.20%
1699.26/1703.99 c 1704 856 855 1 -143.0000 -316.3099 121.20%
1706.04/1710.79 c 1711 863 862 1 -143.0000 -316.3099 121.20%
1712.02/1716.72 c 1717 867 866 1 -143.0000 -316.3099 121.20%
1718.42/1723.11 c 1723 872 871 1 -143.0000 -316.3099 121.20%
1723.79/1728.57 c 1729 877 876 1 -143.0000 -316.3099 121.20%
1729.87/1734.62 c 1735 883 882 1 -143.0000 -316.3099 121.20%
1738.75/1743.59 c 1744 884 883 1 -143.0000 -316.3099 121.20%
1744.43/1749.23 c 1749 890 889 1 -143.0000 -316.3099 121.20%
1752.82/1757.60 c 1758 894 893 1 -143.0000 -316.2075 121.12%
1762.09/1766.97 c 1767 900 899 1 -143.0000 -316.2075 121.12%
1767.68/1772.52 c 1773 907 906 1 -143.0000 -316.2075 121.12%
1786.32/1791.29 c 1791 912 911 1 -143.0000 -316.2075 121.12%
1792.61/1797.58 c 1798 919 918 1 -143.0000 -316.2075 121.12%
1798.39/1803.37 c 1803 921 920 1 -143.0000 -316.2075 121.12%
1804.38/1809.36 c 1809 927 926 1 -143.0000 -316.2075 121.12%
1809.86/1814.85 c 1815 933 932 1 -143.0000 -316.2075 121.12%
1815.35/1820.37 c 1820 939 938 1 -143.0000 -316.2075 121.12%
1821.53/1826.51 c 1827 944 943 1 -143.0000 -316.2075 121.12%
1827.42/1832.43 c 1832 949 948 1 -143.0000 -316.2075 121.12%
1832.60/1837.67 c 1838 952 951 1 -143.0000 -316.2075 121.12%
1838.00/1843.03 c 1843 957 956 1 -143.0000 -316.2075 121.12%
1844.37/1849.48 c 1849 963 962 1 -143.0000 -316.0003 120.98%
1851.46/1856.50 c 1857 968 967 1 -143.0000 -316.0003 120.98%
1857.54/1862.64 c 1863 973 972 1 -143.0000 -315.9021 120.91%
1863.32/1868.41 c 1868 978 977 1 -143.0000 -315.6825 120.76%
1869.41/1874.55 c 1875 982 981 1 -143.0000 -315.6825 120.76%
1874.79/1879.94 c 1880 986 985 1 -143.0000 -315.6825 120.76%
1881.58/1886.70 c 1887 991 990 1 -143.0000 -315.6825 120.76%
1888.16/1893.34 c 1893 996 995 1 -143.0000 -315.6825 120.76%
1893.96/1899.12 c 1899 1001 1000 1 -143.0000 -315.6825 120.76%
1899.43/1904.67 c 1905 1006 1005 1 -143.0000 -315.6825 120.76%
1905.12/1910.30 c 1910 1012 1011 1 -143.0000 -315.6825 120.76%
1910.50/1915.79 c 1916 1017 1016 1 -143.0000 -315.6825 120.76%
1916.48/1921.73 c 1922 1023 1022 1 -143.0000 -315.6825 120.76%
1921.78/1927.09 c 1927 1027 1026 1 -143.0000 -315.6825 120.76%
1928.86/1934.18 c 1934 1031 1030 1 -143.0000 -315.6825 120.76%
1936.12/1941.46 c 1941 1036 1035 1 -143.0000 -315.5913 120.69%
1941.51/1946.87 c 1947 1041 1040 1 -143.0000 -315.5913 120.69%
1948.59/1953.99 c 1954 1045 1044 1 -143.0000 -315.5913 120.69%
1958.77/1964.17 c 1964 1050 0 1 -143.0000 -315.5913 120.69%
1982.40/1987.87 c 1988 1051 1 1 -143.0000 -315.5913 120.69%
1993.58/1999.07 c 1999 1052 2 1 -143.0000 -315.5913 120.69%
2002.84/2008.33 c 2008 1053 3 1 -143.0000 -315.5913 120.69%
2009.73/2015.29 c 2015 1055 5 1 -143.0000 -315.5913 120.69%
2020.10/2025.63 c 2026 1061 11 1 -143.0000 -315.5913 120.69%
2025.39/2031.01 c 2031 1065 15 1 -143.0000 -315.5913 120.69%
2030.67/2036.21 c 2036 1067 17 1 -143.0000 -315.5913 120.69%
2036.26/2041.87 c 2042 1070 20 1 -143.0000 -315.5913 120.69%
2042.14/2047.77 c 2048 1074 24 1 -143.0000 -315.5913 120.69%
2049.32/2054.91 c 2055 1077 27 1 -143.0000 -315.5913 120.69%
2054.31/2059.98 c 2060 1082 32 1 -143.0000 -315.5913 120.69%
2064.78/2070.42 c 2070 1084 34 1 -143.0000 -315.5913 120.69%
2069.77/2075.43 c 2075 1089 39 1 -143.0000 -315.5913 120.69%
2080.13/2085.89 c 2086 1092 42 1 -143.0000 -315.5913 120.69%
2085.43/2091.15 c 2091 1096 46 1 -143.0000 -315.5913 120.69%
2092.60/2098.30 c 2098 1098 48 1 -143.0000 -315.5913 120.69%
2102.97/2108.74 c 2109 1099 49 1 -143.0000 -315.5913 120.69%
2109.86/2115.65 c 2116 1102 52 1 -143.0000 -315.5913 120.69%
2114.94/2120.74 c 2121 1104 54 1 -143.0000 -315.5913 120.69%
2121.72/2127.57 c 2128 1106 56 1 -143.0000 -315.5913 120.69%
2130.00/2135.89 c 2136 1110 60 1 -143.0000 -315.5913 120.69%
2135.79/2141.64 c 2142 1114 64 1 -143.0000 -315.5913 120.69%
2146.37/2152.22 c 2152 1119 69 1 -143.0000 -315.5913 120.69%
2151.46/2157.39 c 2157 1121 71 1 -143.0000 -315.5913 120.69%
2158.54/2164.48 c 2164 1131 81 1 -143.0000 -315.5913 120.69%
2165.42/2171.33 c 2171 1132 82 1 -143.0000 -315.5913 120.69%
2171.40/2177.39 c 2177 1136 86 1 -143.0000 -315.5913 120.69%
2179.38/2185.37 c 2185 1138 88 1 -143.0000 -315.5913 120.69%
2184.47/2190.45 c 2190 1145 95 1 -143.0000 -315.5913 120.69%
2189.85/2195.83 c 2196 1151 101 1 -143.0000 -315.5913 120.69%
2195.44/2201.40 c 2201 1154 104 1 -143.0000 -315.5913 120.69%
2202.13/2208.18 c 2208 1156 106 1 -143.0000 -315.5913 120.69%
2211.49/2217.57 c 2218 1159 109 1 -143.0000 -315.5913 120.69%
2220.38/2226.42 c 2226 1166 116 1 -143.0000 -315.5913 120.69%
2226.16/2232.25 c 2232 1169 119 1 -143.0000 -315.5913 120.69%
2231.24/2237.35 c 2237 1170 120 1 -143.0000 -315.5913 120.69%
2236.33/2242.49 c 2242 1174 124 1 -143.0000 -315.5913 120.69%
2243.81/2249.98 c 2250 1180 130 1 -143.0000 -315.5913 120.69%
2251.59/2257.79 c 2258 1182 132 1 -143.0000 -315.5913 120.69%
2257.68/2263.81 c 2264 1188 138 1 -143.0000 -315.5913 120.69%
2263.66/2269.83 c 2270 1190 140 1 -143.0000 -315.5913 120.69%
2270.24/2276.47 c 2276 1193 143 1 -143.0000 -315.5913 120.69%
2277.32/2283.56 c 2284 1196 146 1 -143.0000 -315.5913 120.69%
2282.91/2289.11 c 2289 1202 152 1 -143.0000 -315.5913 120.69%
2288.08/2294.31 c 2294 1208 158 1 -143.0000 -315.5913 120.69%
2294.07/2300.32 c 2300 1216 166 1 -143.0000 -315.5913 120.69%
2302.64/2309.01 c 2309 1222 172 1 -143.0000 -315.5913 120.69%
2308.83/2315.15 c 2315 1233 183 1 -143.0000 -315.5913 120.69%
2314.31/2320.65 c 2321 1239 189 1 -143.0000 -315.5913 120.69%
2321.59/2328.01 c 2328 1247 197 1 -143.0000 -315.5913 120.69%
2326.97/2333.36 c 2333 1254 204 1 -143.0000 -315.5913 120.69%
2332.06/2338.49 c 2338 1259 209 1 -143.0000 -315.5913 120.69%
2337.45/2343.86 c 2344 1267 217 1 -143.0000 -315.5913 120.69%
2345.92/2352.39 c 2352 1273 223 1 -143.0000 -315.5913 120.69%
2351.11/2357.58 c 2358 1275 225 1 -143.0000 -315.5913 120.69%
2358.60/2365.03 c 2365 1283 233 1 -143.0000 -315.5913 120.69%
2364.47/2370.94 c 2371 1289 239 1 -143.0000 -315.5913 120.69%
2370.45/2376.98 c 2377 1296 246 1 -143.0000 -315.5913 120.69%
2376.44/2382.98 c 2383 1302 252 1 -143.0000 -315.5913 120.69%
2382.32/2388.89 c 2389 1307 257 1 -143.0000 -315.5913 120.69%
2396.79/2403.32 c 2403 1312 262 1 -143.0000 -315.5913 120.69%
2403.77/2410.32 c 2410 1318 268 1 -143.0000 -315.5913 120.69%
2410.16/2416.79 c 2417 1322 272 1 -143.0000 -315.5913 120.69%
2415.94/2422.58 c 2423 1327 277 1 -143.0000 -315.5913 120.69%
2421.93/2428.53 c 2429 1332 282 1 -143.0000 -315.5913 120.69%
2428.31/2434.90 c 2435 1340 290 1 -143.0000 -315.5913 120.69%
2435.40/2442.06 c 2442 1342 292 1 -143.0000 -315.5913 120.69%
2443.49/2450.16 c 2450 1346 296 1 -143.0000 -315.5913 120.69%
2449.96/2456.66 c 2457 1349 299 1 -143.0000 -315.5913 120.69%
2456.94/2463.63 c 2464 1356 306 1 -143.0000 -315.5913 120.69%
2462.52/2469.24 c 2469 1367 317 1 -143.0000 -315.5913 120.69%
2467.71/2474.43 c 2474 1372 322 1 -143.0000 -315.5913 120.69%
2473.49/2480.25 c 2480 1376 326 1 -143.0000 -315.5913 120.69%
2479.57/2486.33 c 2486 1382 332 1 -143.0000 -315.5913 120.69%
2485.95/2492.71 c 2493 1390 340 1 -143.0000 -315.5913 120.69%
2491.74/2498.50 c 2499 1397 347 1 -143.0000 -315.5913 120.69%
2496.93/2503.71 c 2504 1401 351 1 -143.0000 -315.5913 120.69%
2502.23/2509.08 c 2509 1406 356 1 -143.0000 -315.5913 120.69%
2512.20/2519.07 c 2519 1411 361 1 -143.0000 -315.5913 120.69%
2518.47/2525.33 c 2525 1419 369 1 -143.0000 -315.5913 120.69%
2524.46/2531.37 c 2531 1426 376 1 -143.0000 -315.5913 120.69%
2530.04/2536.92 c 2537 1427 377 1 -143.0000 -315.5913 120.69%
2535.14/2542.04 c 2542 1431 381 1 -143.0000 -315.5913 120.69%
2544.00/2550.98 c 2551 1437 387 1 -143.0000 -315.5913 120.69%
2549.29/2556.27 c 2556 1445 395 1 -143.0000 -315.5913 120.69%
2555.09/2562.07 c 2562 1447 397 1 -143.0000 -315.5913 120.69%
2560.66/2567.69 c 2568 1452 402 1 -143.0000 -315.5913 120.69%
2565.74/2572.71 c 2573 1460 410 1 -143.0000 -315.5913 120.69%
2570.73/2577.76 c 2578 1466 416 1 -143.0000 -315.5913 120.69%
2576.22/2583.28 c 2583 1471 421 1 -143.0000 -315.5913 120.69%
2583.50/2590.59 c 2591 1475 425 1 -143.0000 -315.5913 120.69%
2590.38/2597.49 c 2598 1480 430 1 -143.0000 -315.5913 120.69%
2596.09/2603.11 c 2603 1486 436 1 -143.0000 -315.5913 120.69%
2602.16/2609.24 c 2609 1492 442 1 -143.0000 -315.5913 120.69%
2615.62/2622.72 c 2623 1497 447 1 -143.0000 -315.5913 120.69%
2621.20/2628.39 c 2628 1501 451 1 -143.0000 -315.5913 120.69%
2627.00/2634.12 c 2634 1509 459 1 -143.0000 -315.5913 120.69%
2632.58/2639.74 c 2640 1517 467 1 -143.0000 -315.5913 120.69%
2637.56/2644.78 c 2645 1525 475 1 -143.0000 -315.5913 120.69%
2643.55/2650.72 c 2651 1535 485 1 -143.0000 -315.5913 120.69%
2650.63/2657.84 c 2658 1542 492 1 -143.0000 -315.5913 120.69%
2656.02/2663.23 c 2663 1547 497 1 -143.0000 -315.5913 120.69%
2662.20/2669.41 c 2669 1551 501 1 -143.0000 -315.5913 120.69%
2668.29/2675.57 c 2676 1557 507 1 -143.0000 -315.5913 120.69%
2674.47/2681.79 c 2682 1562 512 1 -143.0000 -315.5913 120.69%
2686.44/2693.77 c 2694 1567 517 1 -143.0000 -315.5913 120.69%
2692.42/2699.72 c 2700 1572 522 1 -143.0000 -315.5913 120.69%
2698.50/2705.86 c 2706 1577 527 1 -143.0000 -315.5913 120.69%
2703.59/2710.98 c 2711 1584 534 1 -143.0000 -315.5913 120.69%
2710.37/2717.78 c 2718 1589 539 1 -143.0000 -315.5913 120.69%
2716.05/2723.47 c 2723 1596 546 1 -143.0000 -315.5913 120.69%
2721.05/2728.48 c 2728 1597 547 1 -143.0000 -315.5913 120.69%
2726.03/2733.49 c 2734 1601 551 1 -143.0000 -315.5913 120.69%
2731.42/2738.81 c 2739 1607 557 1 -143.0000 -315.5913 120.69%
2739.71/2747.15 c 2747 1618 568 1 -143.0000 -315.5913 120.69%
2744.98/2752.45 c 2752 1623 573 1 -143.0000 -315.5913 120.69%
2751.96/2759.42 c 2759 1627 577 1 -143.0000 -315.5913 120.69%
2757.05/2764.53 c 2765 1632 582 1 -143.0000 -315.5913 120.69%
2764.93/2772.47 c 2772 1640 590 1 -143.0000 -315.5913 120.69%
2771.41/2778.91 c 2779 1644 594 1 -143.0000 -315.5913 120.69%
2777.09/2784.69 c 2785 1649 599 1 -143.0000 -315.5913 120.69%
2783.09/2790.66 c 2791 1656 606 1 -143.0000 -315.5913 120.69%
2789.17/2796.76 c 2797 1662 612 1 -143.0000 -315.5913 120.69%
2794.46/2802.06 c 2802 1666 616 1 -143.0000 -315.5913 120.69%
2803.54/2811.17 c 2811 1672 622 1 -143.0000 -315.5913 120.69%
2809.43/2817.02 c 2817 1679 629 1 -143.0000 -315.5913 120.69%
2817.00/2824.61 c 2825 1683 633 1 -143.0000 -315.5913 120.69%
2823.98/2831.68 c 2832 1688 638 1 -143.0000 -315.5913 120.69%
2829.76/2837.47 c 2837 1696 646 1 -143.0000 -315.5913 120.69%
2835.75/2843.49 c 2844 1697 647 1 -143.0000 -315.5913 120.69%
2840.84/2848.52 c 2849 1705 655 1 -143.0000 -315.5913 120.69%
2846.82/2854.55 c 2855 1711 661 1 -143.0000 -315.5913 120.69%
2852.01/2859.78 c 2860 1716 666 1 -143.0000 -315.5913 120.69%
2857.41/2865.18 c 2865 1721 671 1 -143.0000 -315.5913 120.69%
2862.48/2870.29 c 2870 1723 673 1 -143.0000 -315.5913 120.69%
2868.07/2875.80 c 2876 1729 679 1 -143.0000 -315.5913 120.69%
2874.76/2882.52 c 2883 1737 687 1 -143.0000 -315.5913 120.69%
2880.64/2888.49 c 2888 1742 692 1 -143.0000 -315.5913 120.69%
2887.42/2895.23 c 2895 1747 697 1 -143.0000 -315.5913 120.69%
2895.50/2903.37 c 2903 1755 705 1 -143.0000 -315.5913 120.69%
2901.09/2908.98 c 2909 1758 708 1 -143.0000 -315.5913 120.69%
2906.08/2914.00 c 2914 1762 712 1 -143.0000 -315.5913 120.69%
2925.24/2933.15 c 2933 1767 717 1 -143.0000 -315.5913 120.69%
2930.51/2938.44 c 2938 1772 722 1 -143.0000 -315.5913 120.69%
2935.90/2943.81 c 2944 1776 726 1 -143.0000 -315.5913 120.69%
2943.57/2951.60 c 2952 1781 731 1 -143.0000 -315.5913 120.69%
2949.56/2957.55 c 2958 1790 740 1 -143.0000 -315.5913 120.69%
2956.06/2964.11 c 2964 1798 748 1 -143.0000 -315.5913 120.69%
2961.43/2969.40 c 2969 1806 756 1 -143.0000 -315.5913 120.69%
2966.82/2974.84 c 2975 1812 762 1 -143.0000 -315.5913 120.69%
2972.02/2980.02 c 2980 1818 768 1 -143.0000 -315.5913 120.69%
2977.40/2985.40 c 2985 1821 771 1 -143.0000 -315.5913 120.69%
2982.89/2990.95 c 2991 1826 776 1 -143.0000 -315.5913 120.69%
2988.57/2996.68 c 2997 1831 781 1 -143.0000 -315.5913 120.69%
2994.46/3002.56 c 3003 1837 787 1 -143.0000 -315.5913 120.69%
3000.34/3008.46 c 3008 1841 791 1 -143.0000 -315.5913 120.69%
3006.52/3014.64 c 3015 1846 796 1 -143.0000 -315.5913 120.69%
3013.11/3021.28 c 3021 1847 797 1 -143.0000 -315.5913 120.69%
3021.38/3029.54 c 3030 1855 805 1 -143.0000 -315.5913 120.69%
3026.67/3034.86 c 3035 1861 811 1 -143.0000 -315.5913 120.69%
3031.96/3040.16 c 3040 1869 819 1 -143.0000 -315.5913 120.69%
3037.54/3045.74 c 3046 1877 827 1 -143.0000 -315.5913 120.69%
3045.51/3053.74 c 3054 1884 834 1 -143.0000 -315.5913 120.69%
3051.60/3059.88 c 3060 1891 841 1 -143.0000 -315.5913 120.69%
3057.08/3065.38 c 3065 1895 845 1 -143.0000 -315.5913 120.69%
3063.66/3071.90 c 3072 1898 848 1 -143.0000 -315.5913 120.69%
3073.34/3081.68 c 3082 1905 855 1 -143.0000 -315.5913 120.69%
3084.92/3093.26 c 3093 1907 857 1 -143.0000 -315.5913 120.69%
3093.29/3101.61 c 3102 1912 862 1 -143.0000 -315.5913 120.69%
3100.37/3108.73 c 3109 1920 870 1 -143.0000 -315.5913 120.69%
3106.35/3114.72 c 3115 1925 875 1 -143.0000 -315.5913 120.69%
3114.24/3122.65 c 3123 1930 880 1 -143.0000 -315.5913 120.69%
3119.74/3128.18 c 3128 1936 886 1 -143.0000 -315.5913 120.69%
3125.31/3133.78 c 3134 1942 892 1 -143.0000 -315.5913 120.69%
3131.49/3139.94 c 3140 1949 899 1 -143.0000 -315.5913 120.69%
3136.88/3145.30 c 3145 1954 904 1 -143.0000 -315.5913 120.69%
3142.16/3150.64 c 3151 1959 909 1 -143.0000 -315.5913 120.69%
3147.45/3155.96 c 3156 1964 914 1 -143.0000 -315.5913 120.69%
3153.54/3162.03 c 3162 1971 921 1 -143.0000 -315.5913 120.69%
3162.22/3170.73 c 3171 1972 922 1 -143.0000 -315.5913 120.69%
3168.20/3176.70 c 3177 1982 932 1 -143.0000 -315.5913 120.69%
3173.78/3182.31 c 3182 1987 937 1 -143.0000 -315.5913 120.69%
3178.87/3187.47 c 3187 1990 940 1 -143.0000 -315.5913 120.69%
3184.35/3192.91 c 3193 1997 947 1 -143.0000 -315.5913 120.69%
3190.45/3199.03 c 3199 2001 951 1 -143.0000 -315.5913 120.69%
3198.12/3206.72 c 3207 2004 954 1 -143.0000 -315.5913 120.69%
3204.11/3212.76 c 3213 2011 961 1 -143.0000 -315.5913 120.69%
3210.59/3219.24 c 3219 2017 967 1 -143.0000 -315.5913 120.69%
3215.78/3224.42 c 3224 2024 974 1 -143.0000 -315.5913 120.69%
3223.56/3232.29 c 3232 2027 977 1 -143.0000 -315.5913 120.69%
3229.24/3237.96 c 3238 2032 982 1 -143.0000 -315.5913 120.69%
3235.01/3243.74 c 3244 2037 987 1 -143.0000 -315.5913 120.69%
3240.80/3249.55 c 3250 2041 991 1 -143.0000 -315.5913 120.69%
3246.69/3255.44 c 3255 2044 994 1 -143.0000 -315.5913 120.69%
3252.07/3260.83 c 3261 2051 1001 1 -143.0000 -315.5913 120.69%
3258.46/3267.27 c 3267 2057 1007 1 -143.0000 -315.5913 120.69%
3263.94/3272.77 c 3273 2062 1012 1 -143.0000 -315.5913 120.69%
3269.93/3278.76 c 3279 2068 1018 1 -143.0000 -315.5913 120.69%
3276.11/3284.91 c 3285 2071 1021 1 -143.0000 -315.5913 120.69%
3282.21/3291.05 c 3291 2076 1028 1 -143.0000 -315.5913 120.69%
3289.87/3298.71 c 3299 2078 1028 1 -143.0000 -315.5913 120.69%
3295.66/3304.55 c 3305 2084 1034 1 -143.0000 -315.5913 120.69%
3303.04/3311.99 c 3312 2091 1041 1 -143.0000 -315.5913 120.69%
3309.32/3318.23 c 3318 2095 1045 1 -143.0000 -315.5913 120.69%
3314.91/3323.84 c 3324 2101 1051 1 -143.0000 -315.5913 120.69%
3320.89/3329.84 c 3330 2106 1056 1 -143.0000 -315.5913 120.69%
3326.87/3335.84 c 3336 2109 1059 1 -143.0000 -315.5913 120.69%
3335.45/3344.42 c 3344 2115 1065 1 -143.0000 -315.5913 120.69%
3346.14/3355.15 c 3355 2117 1067 1 -143.0000 -315.5913 120.69%
3352.81/3361.86 c 3362 2122 1072 1 -143.0000 -315.5913 120.69%
3359.39/3368.44 c 3368 2127 1077 1 -143.0000 -315.5913 120.69%
3364.48/3373.55 c 3374 2132 1082 1 -143.0000 -315.5913 120.69%
3369.87/3378.92 c 3379 2139 1089 1 -143.0000 -315.5913 120.69%
3374.85/3383.98 c 3384 2143 1093 1 -143.0000 -315.5913 120.69%
3380.44/3389.52 c 3390 2149 1099 1 -143.0000 -315.5913 120.69%
3386.62/3395.71 c 3396 2156 1106 1 -143.0000 -315.5913 120.69%
3394.50/3403.65 c 3404 2162 1112 1 -143.0000 -315.5913 120.69%
3399.59/3408.71 c 3409 2164 1114 1 -143.0000 -315.5913 120.69%
3405.57/3414.79 c 3415 2167 1117 1 -143.0000 -315.5913 120.69%
3412.75/3421.95 c 3422 2174 1124 1 -143.0000 -315.5913 120.69%
3419.44/3428.60 c 3429 2178 1128 1 -143.0000 -315.5913 120.69%
3428.02/3437.24 c 3437 2186 1136 1 -143.0000 -315.5913 120.69%
3436.59/3445.87 c 3446 2187 1137 1 -143.0000 -315.5913 120.69%
3443.37/3452.62 c 3453 2193 1143 1 -143.0000 -315.5913 120.69%
3452.64/3461.99 c 3462 2199 1149 1 -143.0000 -315.5913 120.69%
3458.52/3467.86 c 3468 2207 1157 1 -143.0000 -315.5913 120.69%
3464.81/3474.16 c 3474 2212 1162 1 -143.0000 -315.5913 120.69%
3470.08/3479.44 c 3479 2215 1165 1 -143.0000 -315.5913 120.69%
3477.16/3486.54 c 3487 2222 1172 1 -143.0000 -315.5913 120.69%
3483.04/3492.46 c 3492 2229 1179 1 -143.0000 -315.5913 120.69%
3491.21/3500.63 c 3501 2234 1184 1 -143.0000 -315.5913 120.69%
3496.29/3505.77 c 3506 2239 1189 1 -143.0000 -315.5913 120.69%
3501.38/3510.89 c 3511 2242 1192 1 -143.0000 -315.5913 120.69%
3508.05/3517.56 c 3518 2248 1198 1 -143.0000 -315.5913 120.69%
3515.44/3524.99 c 3525 2253 1203 1 -143.0000 -315.5913 120.69%
3520.64/3530.19 c 3530 2258 1208 1 -143.0000 -315.5913 120.69%
3526.10/3535.63 c 3536 2262 1212 1 -143.0000 -315.5913 120.69%
3532.18/3541.72 c 3542 2266 1216 1 -143.0000 -315.5913 120.69%
3539.26/3548.87 c 3549 2271 1221 1 -143.0000 -315.5913 120.69%
3544.34/3553.90 c 3554 2275 1225 1 -143.0000 -315.5913 120.69%
3550.92/3560.53 c 3561 2279 1229 1 -143.0000 -315.5913 120.69%
3556.00/3565.62 c 3566 2282 1232 1 -143.0000 -315.5913 120.69%
3562.89/3572.51 c 3573 2287 1237 1 -143.0000 -315.5913 120.69%
3569.66/3579.34 c 3579 2292 1242 1 -143.0000 -315.5913 120.69%
3575.54/3585.26 c 3585 2297 1247 1 -143.0000 -315.5913 120.69%
3585.11/3594.83 c 3595 2304 1254 1 -143.0000 -315.5913 120.69%
3588.31/3598.09 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.31/3598.09 c Total Time : 3598.10
3588.31/3598.09 c solving : 3598.10
3588.31/3598.09 c presolving : 0.38 (included in solving)
3588.31/3598.09 c B&B Tree :
3588.31/3598.09 c nodes (total) : 1
3588.31/3598.09 c Solution :
3588.31/3598.09 c Solutions found : 6
3588.31/3598.09 c Primal Bound : -1.43000000000000e+02
3588.31/3598.09 c Dual Bound : -3.15591324788261e+02
3588.31/3598.09 c Gap : 120.69323 %
3588.31/3598.09 c * Warning: final gap: 1.20693e+00 is greater than SCIPepsilon: 1.00000e-09
3588.42/3598.11 o -143
3588.42/3598.11 s SATISFIABLE
3588.42/3598.11 v -x1000 -x999 -x998 -x997 -x996 x995 x994 x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979
3588.42/3598.11 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 x966 -x965 -x964 x963 -x962 -x961 -x960 x959 x958 -x957
3588.42/3598.11 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937 x936
3588.42/3598.11 v -x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 -x926 x925 x924 x923 -x922 x921 -x920 -x919 -x918 x917 -x916 -x915 -x914
3588.42/3598.11 v -x913 -x912 x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 x897 -x896 x895 -x894 -x893 -x892
3588.42/3598.11 v -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
3588.42/3598.11 v -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
3588.42/3598.11 v x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 x830 x829 x828
3588.42/3598.11 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 x811 -x810 x809 -x808 -x807 -x806
3588.42/3598.11 v -x805 x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
3588.42/3598.11 v x784 x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 x769 -x768 -x767 x766 -x765 -x764 -x763
3588.42/3598.11 v -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741
3588.42/3598.11 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 x731 -x730 x729 x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 x719
3588.42/3598.11 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
3588.42/3598.11 v -x697 x696 x695 -x694 x693 -x692 x691 -x690 -x689 -x688 x687 x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 x676
3588.42/3598.11 v x675 -x674 x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
3588.42/3598.11 v -x654 -x653 -x652 -x651 -x650 -x649 x648 x647 -x646 x645 -x644 x643 -x642 -x641 x640 -x639 x638 x637 x636 -x635 -x634 -x633
3588.42/3598.11 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 x613 -x612 -x611
3588.42/3598.11 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
3588.42/3598.11 v -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568
3588.42/3598.11 v -x567 -x566 -x565 -x564 x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547
3588.42/3598.11 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
3588.42/3598.11 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
3588.42/3598.11 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 x487 -x486 -x485 -x484 -x483
3588.42/3598.11 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462
3588.42/3598.11 v x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441
3588.42/3598.11 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419
3588.42/3598.11 v -x418 -x417 -x416 x415 -x414 x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398
3588.42/3598.11 v x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 x376
3588.42/3598.11 v -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 x356 -x355
3588.42/3598.11 v -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334
3588.42/3598.11 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3588.42/3598.18 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292
3588.42/3598.18 v -x291 -x290 -x289 x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3588.42/3598.18 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3588.42/3598.18 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
3588.42/3598.18 v -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207
3588.42/3598.18 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
3588.42/3598.18 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
3588.42/3598.18 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144
3588.42/3598.18 v x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123
3588.42/3598.18 v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102
3588.42/3598.18 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
3588.42/3598.18 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
3588.42/3598.18 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
3588.42/3598.18 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 (61358 MiB free)
memory of node 1: 64473 MiB (57349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464791-1722382194/watcher-4464791-1722382194 -o /tmp/evaluation-result-4464791-1722382194/solver-4464791-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30829 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464791-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=32920, runsolver pid=32917
[startup+0.100782 s]*
/proc/loadavg: 4.11 4.13 4.09 5/246 32935
/proc/meminfo: memFree=121517328/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=49056 memory=37392 CPUtime=0.09 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 30817 0 -1 4194304 7227 0 0 0 8 1 0 0 20 0 1 0 4815890 50233344 9348 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 12264 9348 2379 3035 0 8660 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49056 KiB
Current children cumulated memory: 37392 KiB
[startup+0.213608 s]*
/proc/loadavg: 4.11 4.13 4.09 5/251 32943
/proc/meminfo: memFree=121453932/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=78656 memory=68616 CPUtime=0.21 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 30817 0 -1 4194304 14961 0 0 0 17 4 0 0 20 0 1 0 4815890 80543744 17154 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 19664 17154 2587 3035 0 16060 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78656 KiB
Current children cumulated memory: 68616 KiB
[startup+0.31333 s]*
/proc/loadavg: 4.11 4.13 4.09 5/250 32943
/proc/meminfo: memFree=121651208/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=97644 memory=83944 CPUtime=0.31 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 30817 0 -1 4194304 18814 0 0 0 25 6 0 0 20 0 1 0 4815890 99987456 20986 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 24411 20986 2630 3035 0 20807 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97644 KiB
Current children cumulated memory: 83944 KiB
[startup+0.70077 s]
/proc/loadavg: 4.11 4.13 4.09 4/244 32951
/proc/meminfo: memFree=122012608/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=188300 memory=110464 CPUtime=0.68 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 28070 0 0 0 60 8 0 0 20 0 2 0 4815890 192819200 27616 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 47075 27616 2694 3035 0 30007 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188300 KiB
Current children cumulated memory: 110464 KiB
[startup+1.50036 s]
/proc/loadavg: 4.10 4.13 4.09 3/242 32994
/proc/meminfo: memFree=121962072/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=196496 memory=158628 CPUtime=1.48 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 41022 0 0 0 136 12 0 0 20 0 3 0 4815890 201211904 39657 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 49124 39657 2950 3035 0 44843 0
[pid=32920/tid=32952] ppid=32917 vsize=196496 memory=0 CPUtime=0.82 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 15841 0 0 0 78 4 0 0 20 0 3 0 4815953 201211904 39657 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=196496 memory=12036 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815961 201211904 39657 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 196496 KiB
Current children cumulated memory: 158628 KiB
[startup+3.1131 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 33135
/proc/meminfo: memFree=121649960/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=262032 memory=168052 CPUtime=3.08 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 51421 0 0 0 296 12 0 0 20 0 3 0 4815890 268320768 42013 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 65508 42013 2950 3035 0 48411 0
[pid=32920/tid=32952] ppid=32917 vsize=262032 memory=-5155628011599063941 CPUtime=2.43 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 26235 0 0 0 238 5 0 0 20 0 3 0 4815953 268320768 42013 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=262032 memory=133592 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4815961 268320768 42013 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 262032 KiB
Current children cumulated memory: 168052 KiB
[startup+6.3003 s]
/proc/loadavg: 4.17 4.14 4.09 5/255 33141
/proc/meminfo: memFree=121309228/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=262032 memory=182464 CPUtime=6.26 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 64839 0 0 0 612 14 0 0 20 0 3 0 4815890 268320768 45616 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 65508 45616 2950 3035 0 53453 0
[pid=32920/tid=32952] ppid=32917 vsize=262032 memory=0 CPUtime=5.6 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 39651 0 0 0 554 6 0 0 20 0 3 0 4815953 268320768 45616 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=262032 memory=171552 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4815961 268320768 45616 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 262032 KiB
Current children cumulated memory: 182464 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.09 5/256 33198
/proc/meminfo: memFree=121286688/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=262032 memory=198056 CPUtime=12.64 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 94182 0 0 0 1247 17 0 0 20 0 3 0 4815890 268320768 49514 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 65508 49514 2950 3035 0 59905 0
[pid=32920/tid=32952] ppid=32917 vsize=262032 memory=0 CPUtime=11.98 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 68985 0 0 0 1189 9 0 0 20 0 3 0 4815953 268320768 49514 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=262032 memory=197712 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4815961 268320768 49514 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 262032 KiB
Current children cumulated memory: 198056 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 33202
/proc/meminfo: memFree=121262276/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=330680 memory=202556 CPUtime=25.4 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 133510 0 0 0 2521 19 0 0 20 0 3 0 4815890 338616320 50639 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 82670 50639 2950 3035 0 63199 0
[pid=32920/tid=32952] ppid=32917 vsize=330680 memory=202384 CPUtime=24.75 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 108304 0 0 0 2463 12 0 0 20 0 3 0 4815953 338616320 50639 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=330680 memory=158628 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4815961 338616320 50639 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 330680 KiB
Current children cumulated memory: 202556 KiB
[startup+51.1135 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 33205
/proc/meminfo: memFree=121165108/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=330680 memory=213180 CPUtime=50.92 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 165349 0 0 0 5071 21 0 0 20 0 3 0 4815890 338616320 53295 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 82670 53295 2950 3035 0 65871 0
[pid=32920/tid=32952] ppid=32917 vsize=330680 memory=12744 CPUtime=50.27 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 140137 0 0 0 5013 14 0 0 20 0 3 0 4815953 338616320 53295 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=330680 memory=14824 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4815961 338616320 53295 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 330680 KiB
Current children cumulated memory: 213180 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 33213
/proc/meminfo: memFree=121128500/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=330680 memory=222776 CPUtime=101.96 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 188682 0 0 0 10173 23 0 0 20 0 3 0 4815890 338616320 55694 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 82670 55694 2998 3035 0 71148 0
[pid=32920/tid=32952] ppid=32917 vsize=330680 memory=12036 CPUtime=101.31 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 163384 0 0 0 10115 16 0 0 20 0 3 0 4815953 338616320 55694 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=330680 memory=222584 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4815961 338616320 55694 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 330680 KiB
Current children cumulated memory: 222776 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 33225
/proc/meminfo: memFree=120988028/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=396216 memory=276908 CPUtime=161.8 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 219972 0 0 0 16153 27 0 0 20 0 3 0 4815890 405725184 69227 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 99054 69227 2998 3035 0 88901 0
[pid=32920/tid=32952] ppid=32917 vsize=396216 memory=225760 CPUtime=161.14 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 194614 0 0 0 16095 19 0 0 20 0 3 0 4815953 405725184 69227 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=396216 memory=248848 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4815961 405725184 69227 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 396216 KiB
Current children cumulated memory: 276908 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 33235
/proc/meminfo: memFree=120899404/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=461752 memory=304344 CPUtime=221.63 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 250812 0 0 0 22133 30 0 0 20 0 3 0 4815890 472834048 76086 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 115438 76086 3014 3035 0 95737 0
[pid=32920/tid=32952] ppid=32917 vsize=461752 memory=277116 CPUtime=220.97 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 225247 0 0 0 22075 22 0 0 20 0 3 0 4815953 472834048 76086 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=461752 memory=304344 CPUtime=0 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4815961 472834048 76086 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 461752 KiB
Current children cumulated memory: 304344 KiB
################
# More data... #
################
/proc/loadavg: 4.12 4.11 4.13 5/252 34791
/proc/meminfo: memFree=118536576/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=954548 CPUtime=3453.04 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1060139 0 0 0 345178 126 0 0 20 0 3 0 4815890 1235255296 238637 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238637 3014 3035 0 287779 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=954544 CPUtime=3452.18 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1033382 0 0 0 345109 109 0 0 20 0 3 0 4815953 1235255296 238637 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=954548 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 250 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238637 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 954548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/254 34972
/proc/meminfo: memFree=118532756/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=954876 CPUtime=3512.85 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1074347 0 0 0 351158 127 0 0 20 0 3 0 4815890 1235255296 238719 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238719 3014 3035 0 288987 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=954548 CPUtime=3511.98 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1047571 0 0 0 351089 109 0 0 20 0 3 0 4815953 1235255296 238719 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=954876 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 250 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238719 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 954876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 34983
/proc/meminfo: memFree=118484252/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955804 CPUtime=3572.65 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1080486 0 0 0 357137 128 0 0 20 0 3 0 4815890 1235255296 238951 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238951 3014 3035 0 290593 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=12036 CPUtime=3571.79 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1053687 0 0 0 357068 111 0 0 20 0 3 0 4815953 1235255296 238951 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=-7019541185795547007 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238951 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955804 KiB
[startup+3598.19 s]
# the end of solver process 32920 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.2 s, system=1.30585 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.12 5/254 34983
/proc/meminfo: memFree=118484228/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955808 CPUtime=3574.36 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1080669 0 0 0 357308 128 0 0 20 0 3 0 4815890 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238952 3014 3035 0 290994 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=4772 CPUtime=3573.49 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1053870 0 0 0 357238 111 0 0 20 0 3 0 4815953 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=597096 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3574.36 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955808 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.12 5/254 34985
/proc/meminfo: memFree=118483896/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955808 CPUtime=3580.73 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1080680 0 0 0 357945 128 0 0 20 0 3 0 4815890 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238952 3014 3035 0 290994 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=955808 CPUtime=3579.86 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1053881 0 0 0 357875 111 0 0 20 0 3 0 4815953 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=955800 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955808 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34985
/proc/meminfo: memFree=118483896/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955808 CPUtime=3583.91 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1080740 0 0 0 358263 128 0 0 20 0 3 0 4815890 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238952 3014 3035 0 290994 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=-7019541185795547007 CPUtime=3583.05 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1053941 0 0 0 358194 111 0 0 20 0 3 0 4815953 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=955808 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238952 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955808 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483280/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955820 CPUtime=3585.51 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1081175 0 0 0 358423 128 0 0 20 0 3 0 4815890 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238955 3014 3035 0 292207 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=15860 CPUtime=3584.64 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1054376 0 0 0 358353 111 0 0 20 0 3 0 4815953 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=955808 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955820 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483280/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955820 CPUtime=3587.1 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1081180 0 0 0 358582 128 0 0 20 0 3 0 4815890 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238955 3014 3035 0 292207 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=14936 CPUtime=3586.24 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1054381 0 0 0 358513 111 0 0 20 0 3 0 4815953 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=12036 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3587.1 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955820 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483280/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955820 CPUtime=3587.9 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1081184 0 0 0 358662 128 0 0 20 0 3 0 4815890 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238955 3014 3035 0 292207 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=12036 CPUtime=3587.03 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1054385 0 0 0 358592 111 0 0 20 0 3 0 4815953 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=14936 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3587.9 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955820 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483252/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=1206304 memory=955820 CPUtime=3588.31 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 30817 0 -1 1077936128 1081313 0 0 0 358703 128 0 0 20 0 3 0 4815890 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 301576 238955 3014 3035 0 292207 0
[pid=32920/tid=32952] ppid=32917 vsize=1206304 memory=-7595720463122261373 CPUtime=3587.44 cores=1,3
/proc/32920/task/32952/stat : 32952 (fscip) R 32917 32920 30817 0 -1 4194368 1054514 0 0 0 358633 111 0 0 20 0 3 0 4815953 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
[pid=32920/tid=32953] ppid=32917 vsize=1206304 memory=4572165843995750049 CPUtime=0.06 cores=1,3
/proc/32920/task/32953/stat : 32953 (fscip) S 32917 32920 30817 0 -1 1077936192 252 0 0 0 2 4 0 0 20 0 3 0 4815961 1235255296 238955 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
Current children cumulated CPU time: 3588.31 s
Current children cumulated vsize: 1206304 KiB
Current children cumulated memory: 955820 KiB
[startup+3598.12 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483252/131655788 swapFree=131071996/131071996
[pid=32920] ppid=32917 vsize=988088 memory=825508 CPUtime=3588.42 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 30817 0 -1 4194304 1083562 0 0 0 358713 129 0 0 20 0 1 0 4815890 1011802112 206377 134679101440 4194304 16623229 140729269312064 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43130880 140729269318678 140729269318794 140729269318794 140729269325808 0
/proc/32920/statm: 247022 206377 3014 3035 0 225431 0
Current children cumulated CPU time: 3588.42 s
Current children cumulated vsize: 988088 KiB
Current children cumulated memory: 825508 KiB
Child status: 0
Real time (s): 3598.19
CPU time (s): 3588.5
CPU user time (s): 3587.2
CPU system time (s): 1.30585
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 1206304
Max. memory (cumulated for all children) (KiB): 962924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.2
system time used= 1.30585
maximum resident set size= 963120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084163
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= 6701
involuntary context switches= 2201
# summary of solver processes directly reported to runsolver:
# pid: 32920
# total CPU time (s): 3588.5
# total CPU user time (s): 3587.2
# total CPU system time (s): 1.30585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6944 second user time and 36.5329 second system time
The end
Begin job on nodeC006 at 2024-07-31 01:29:54
IDJOB=4464791
IDBENCH=148532
IDSOLVER=3092
FILE ID=nodeC006/4464791-1722382194
RUNJOBID= nodeC006-1722378594-30829
SLURM_JOB_ID= 8249836
Free space on /tmp= 723756 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464791-1722382194/watcher-4464791-1722382194 -o /tmp/evaluation-result-4464791-1722382194/solver-4464791-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30829 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464791-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1
RANDOM SEED=1453536771
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.167
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.175
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.822
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121557004 kB
MemAvailable: 129276020 kB
Buffers: 97868 kB
Cached: 8389792 kB
SwapCached: 0 kB
Active: 267280 kB
Inactive: 9253488 kB
Active(anon): 1372 kB
Inactive(anon): 1053096 kB
Active(file): 265908 kB
Inactive(file): 8200392 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85768 kB
Writeback: 0 kB
AnonPages: 1023664 kB
Mapped: 100496 kB
Shmem: 21320 kB
KReclaimable: 185828 kB
Slab: 273372 kB
SReclaimable: 185828 kB
SUnreclaim: 87544 kB
KernelStack: 3808 kB
PageTables: 10784 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 875096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 858112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 02:29:52