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.10/0.12 c Default LC presolving (default).
0.10/0.12 c ** Before presolving: virtualMemUsedAtLc = 113597034, getVmSize() = 94343168, SCIPgetMemUsed() = 50571906, SCIPgetMemTotal() = 69695674, SCIPgetMemExternEstim() = 43901360
0.10/0.12 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
1.09/1.12 c ** Estimated virtualMemUsedAtSolver = 228262218, getVmSize() = 327995392, SCIPgetMemUsed() = 142962816, SCIPgetMemTotal() = 298491968, SCIPgetMemExternEstim() = 43901360
1.09/1.12 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.09/1.12 c Original Problem :
1.09/1.12 c Problem name : instance-4443950-1721302412
1.09/1.12 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.12 c Constraints : 43010
1.09/1.12 c Objective sense : minimize
1.09/1.12 c Presolved Problem :
1.09/1.12 c Variables : 1003 (1003 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.12 c Constraints : 41662
1.09/1.12 c Constraints : Number
1.09/1.12 c setppc : 168
1.09/1.12 c orbitope : 5
1.09/1.12 c logicor : 41489
1.09/1.12 c ** Instance transfer method used: 0
1.09/1.17 c ** ParaScipInstance copy increased the number of variables. **
1.19/1.21 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.19/1.21 c Nodes Active
1.19/1.21 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
17.12/17.28 c 17 2 1 1 - 0.0000 -
23.19/23.36 c 23 9 8 1 - 0.0000 -
42.73/42.97 c 43 17 16 1 - 0.0000 -
48.72/48.91 c 49 28 27 1 - 0.0000 -
54.00/54.28 c 54 37 36 1 - 0.0000 -
59.38/59.67 c 60 54 53 1 - 0.0000 -
65.76/66.02 c 66 90 89 1 - 0.0000 -
71.04/71.35 c 71 113 112 1 - 0.0000 -
77.11/77.41 c 77 176 175 1 - 0.0000 -
89.18/89.51 c 90 188 187 1 - 0.0000 -
96.35/96.70 c 97 300 263 1 - 0.0000 -
101.43/101.85 c 102 503 316 1 - 0.0000 -
106.62/107.07 c 107 744 336 1 - 0.0000 -
111.70/112.15 c 112 999 359 1 - 0.0000 -
116.78/117.24 c 117 1283 377 1 - 0.0000 -
121.85/122.31 c 122 1598 362 1 - 0.0000 -
126.93/127.40 c 127 1858 364 1 - 0.0000 -
131.91/132.49 c 132 2130 359 1 - 0.0000 -
136.99/137.58 c 138 2415 346 1 - 0.0000 -
142.07/142.68 c 143 2671 352 1 - 0.0000 -
147.15/147.75 c 148 2965 354 1 - 0.0000 -
152.23/152.85 c 153 3237 355 1 - 0.0000 -
157.31/157.99 c 158 3527 355 1 - 0.0000 -
162.40/163.08 c 163 3801 356 1 - 0.0000 -
167.48/168.14 c 168 4078 342 1 - 0.0000 -
172.75/173.40 c 173 4262 398 1 - 0.0000 -
177.84/178.50 c 178 4496 440 1 - 0.0000 -
182.82/183.57 c 184 4707 450 1 - 0.0000 -
187.89/188.67 c 189 4947 468 1 - 0.0000 -
193.07/193.85 c 194 5209 464 1 - 0.0000 -
198.26/199.01 c 199 5452 457 1 - 0.0000 -
203.24/204.08 c 204 5730 440 1 - 0.0000 -
211.00/211.85 c 212 5982 430 1 - 0.0000 -
216.09/216.92 c 217 6237 420 1 - 0.0000 -
221.17/222.04 c 222 6523 396 1 - 0.0000 -
226.35/227.20 c 227 6746 392 1 - 0.0000 -
231.43/232.39 c 232 6963 389 1 - 0.0000 -
236.70/237.61 c 238 7232 377 1 - 0.0000 -
241.68/242.69 c 243 7543 362 1 - 0.0000 -
246.86/247.80 c 248 7786 350 1 - 0.0000 -
251.94/252.94 c 253 8028 343 1 - 0.0000 -
257.03/258.01 c 258 8284 344 1 - 0.0000 -
262.12/263.14 c 263 8551 333 1 - 0.0000 -
267.19/268.24 c 268 8831 347 1 - 0.0000 -
272.27/273.34 c 273 9127 352 1 - 0.0000 -
277.35/278.44 c 278 9456 353 1 - 0.0000 -
282.43/283.55 c 284 9753 365 1 - 0.0000 -
287.51/288.67 c 289 10027 368 1 - 0.0000 -
292.69/293.82 c 294 10354 368 1 - 0.0000 -
297.66/298.89 c 299 10714 367 1 - 0.0000 -
302.75/303.96 c 304 11060 366 1 - 0.0000 -
307.83/309.04 c 309 11390 385 1 - 0.0000 -
312.91/314.13 c 314 11753 361 1 - 0.0000 -
317.99/319.27 c 319 12027 361 1 - 0.0000 -
323.07/324.34 c 324 12335 365 1 - 0.0000 -
328.16/329.49 c 330 12648 366 1 - 0.0000 -
333.23/334.57 c 335 12942 376 1 - 0.0000 -
338.41/339.70 c 340 13233 377 1 - 0.0000 -
343.39/344.75 c 345 13524 371 1 - 0.0000 -
348.48/349.83 c 350 13793 367 1 - 0.0000 -
353.56/354.93 c 355 14066 365 1 - 0.0000 -
358.65/360.04 c 360 14325 349 1 - 0.0000 -
363.73/365.14 c 365 14645 357 1 - 0.0000 -
368.80/370.27 c 370 14945 361 1 - 0.0000 -
378.37/379.82 c 380 15007 355 1 - 0.0000 -
383.36/384.88 c 385 15328 344 1 - 0.0000 -
388.55/390.00 c 390 15678 338 1 - 0.0000 -
393.53/395.08 c 395 16041 330 1 - 0.0000 -
398.70/400.20 c 400 16394 333 1 - 0.0000 -
403.78/405.36 c 405 16600 399 1 - 0.0000 -
408.87/410.46 c 410 16840 432 1 - 0.0000 -
413.95/415.59 c 416 17103 459 1 - 0.0000 -
419.13/420.74 c 421 17314 508 1 - 0.0000 -
424.21/425.84 c 426 17561 522 1 - 0.0000 -
429.30/430.96 c 431 17830 547 1 - 0.0000 -
434.49/436.14 c 436 18056 565 1 - 0.0000 -
439.56/441.25 c 441 18311 555 1 - 0.0000 -
444.64/446.39 c 446 18629 555 1 - 0.0000 -
449.72/451.49 c 451 18905 556 1 - 0.0000 -
454.81/456.59 c 457 19148 572 1 - 0.0000 -
459.99/461.74 c 462 19390 578 1 - 0.0000 -
465.07/466.88 c 467 19675 585 1 - 0.0000 -
470.26/472.04 c 472 19928 587 1 - 0.0000 -
475.44/477.21 c 477 20171 635 1 - 0.0000 -
480.52/482.33 c 482 20485 646 1 - 0.0000 -
485.50/487.39 c 487 20786 654 1 - 0.0000 -
490.68/492.59 c 493 21007 686 1 - 0.0000 -
495.76/497.69 c 498 21291 690 1 - 0.0000 -
500.84/502.78 c 503 21560 697 1 - 0.0000 -
505.93/507.87 c 508 21869 696 1 - 0.0000 -
511.12/513.01 c 513 22144 692 1 - 0.0000 -
516.20/518.15 c 518 22416 712 1 - 0.0000 -
521.28/523.25 c 523 22739 696 1 - 0.0000 -
526.36/528.38 c 528 23023 716 1 - 0.0000 -
531.44/533.46 c 533 23313 697 1 - 0.0000 -
536.53/538.59 c 539 23658 701 1 - 0.0000 -
541.61/543.64 c 544 23963 684 1 - 0.0000 -
546.69/548.75 c 549 24236 691 1 - 0.0000 -
551.77/553.82 c 554 24478 681 1 - 0.0000 -
556.85/558.92 c 559 24768 666 1 - 0.0000 -
561.94/564.01 c 564 25031 654 1 - 0.0000 -
567.02/569.14 c 569 25326 660 1 - 0.0000 -
572.10/574.25 c 574 25622 664 1 - 0.0000 -
577.18/579.38 c 579 25893 652 1 - 0.0000 -
582.36/584.51 c 585 26197 653 1 - 0.0000 -
587.45/589.61 c 590 26482 652 1 - 0.0000 -
592.53/594.72 c 595 26760 668 1 - 0.0000 -
597.61/599.83 c 600 27038 674 1 - 0.0000 -
602.69/604.95 c 605 27314 669 1 - 0.0000 -
607.78/610.03 c 610 27609 656 1 - 0.0000 -
612.76/615.10 c 615 27899 635 1 - 0.0000 -
617.93/620.26 c 620 28121 630 1 - 0.0000 -
623.01/625.36 c 625 28378 633 1 - 0.0000 -
628.10/630.45 c 630 28633 619 1 - 0.0000 -
633.28/635.65 c 636 28887 615 1 - 0.0000 -
638.36/640.78 c 641 29196 599 1 - 0.0000 -
643.45/645.88 c 646 29511 596 1 - 0.0000 -
648.64/651.01 c 651 29822 582 1 - 0.0000 -
653.72/656.10 c 656 30098 587 1 - 0.0000 -
658.79/661.24 c 661 30397 585 1 - 0.0000 -
663.87/666.36 c 666 30660 589 1 - 0.0000 -
668.96/671.47 c 671 30876 602 1 - 0.0000 -
674.04/676.57 c 677 31091 584 1 - 0.0000 -
679.22/681.70 c 682 31324 577 1 - 0.0000 -
684.21/686.79 c 687 31591 570 1 - 0.0000 -
689.29/691.86 c 692 31878 563 1 - 0.0000 -
694.37/696.94 c 697 32163 576 1 - 0.0000 -
699.46/702.00 c 702 32473 561 1 - 0.0000 -
704.54/707.18 c 707 32749 555 1 - 0.0000 -
709.62/712.28 c 712 33002 551 1 - 0.0000 -
714.70/717.38 c 717 33319 564 1 - 0.0000 -
719.78/722.44 c 722 33689 563 1 - 0.0000 -
724.86/727.51 c 728 33997 562 1 - 0.0000 -
729.95/732.61 c 733 34257 556 1 - 0.0000 -
735.03/737.73 c 738 34471 557 1 - 0.0000 -
740.11/742.81 c 743 34765 549 1 - 0.0000 -
745.19/747.91 c 748 35062 535 1 - 0.0000 -
750.17/752.99 c 753 35343 530 1 - 0.0000 -
755.36/758.12 c 758 35584 533 1 - 0.0000 -
760.44/763.25 c 763 35843 530 1 - 0.0000 -
765.52/768.34 c 768 36137 540 1 - 0.0000 -
770.61/773.45 c 773 36437 538 1 - 0.0000 -
775.69/778.57 c 779 36720 528 1 - 0.0000 -
780.87/783.71 c 784 37013 532 1 - 0.0000 -
785.95/788.86 c 789 37261 534 1 - 0.0000 -
791.03/793.94 c 794 37484 527 1 - 0.0000 -
796.12/799.04 c 799 37737 526 1 - 0.0000 -
801.20/804.11 c 804 38010 529 1 - 0.0000 -
806.19/809.17 c 809 38254 517 1 - 0.0000 -
811.26/814.23 c 814 38541 535 1 - 0.0000 -
816.35/819.36 c 819 38817 549 1 - 0.0000 -
821.43/824.41 c 824 39061 536 1 - 0.0000 -
826.51/829.55 c 830 39322 532 1 - 0.0000 -
831.59/834.62 c 835 39604 526 1 - 0.0000 -
836.57/839.68 c 840 39876 522 1 - 0.0000 -
841.76/844.83 c 845 40174 518 1 - 0.0000 -
846.84/849.90 c 850 40447 515 1 - 0.0000 -
851.93/855.02 c 855 40736 506 1 - 0.0000 -
862.58/865.75 c 866 40818 505 1 - 0.0000 -
867.67/870.85 c 871 41126 490 1 - 0.0000 -
872.75/875.92 c 876 41396 500 1 - 0.0000 -
877.74/880.99 c 881 41688 487 1 - 0.0000 -
882.92/886.14 c 886 41938 479 1 - 0.0000 -
888.00/891.27 c 891 42214 485 1 - 0.0000 -
893.08/896.39 c 896 42517 476 1 - 0.0000 -
898.16/901.46 c 901 42802 468 1 - 0.0000 -
903.24/906.53 c 907 43078 470 1 - 0.0000 -
908.33/911.67 c 912 43420 470 1 - 0.0000 -
913.51/916.85 c 917 43712 492 1 - 0.0000 -
918.59/921.95 c 922 44038 457 1 - 0.0000 -
923.68/927.01 c 927 44315 455 1 - 0.0000 -
928.76/932.10 c 932 44594 453 1 - 0.0000 -
933.83/937.26 c 937 44850 455 1 - 0.0000 -
938.92/942.37 c 942 45126 451 1 - 0.0000 -
944.00/947.48 c 947 45390 453 1 - 0.0000 -
949.08/952.56 c 953 45646 455 1 - 0.0000 -
954.16/957.65 c 958 45924 437 1 - 0.0000 -
959.25/962.77 c 963 46221 436 1 - 0.0000 -
964.32/967.83 c 968 46443 434 1 - 0.0000 -
969.41/972.98 c 973 46702 426 1 - 0.0000 -
974.59/978.12 c 978 46973 416 1 - 0.0000 -
979.67/983.20 c 983 47261 409 1 - 0.0000 -
984.76/988.33 c 988 47532 405 1 - 0.0000 -
989.84/993.43 c 993 47804 398 1 - 0.0000 -
994.92/998.58 c 999 48074 402 1 - 0.0000 -
1000.00/1003.64 c 1004 48294 395 1 - 0.0000 -
1005.08/1008.72 c 1009 48558 391 1 - 0.0000 -
1010.16/1013.84 c 1014 48806 385 1 - 0.0000 -
1015.24/1018.96 c 1019 49142 368 1 - 0.0000 -
1020.33/1024.04 c 1024 49444 369 1 - 0.0000 -
1025.41/1029.15 c 1029 49759 371 1 - 0.0000 -
1030.50/1034.27 c 1034 50052 362 1 - 0.0000 -
1035.58/1039.35 c 1039 50324 358 1 - 0.0000 -
1040.66/1044.41 c 1044 50604 356 1 - 0.0000 -
1045.74/1049.55 c 1050 50851 356 1 - 0.0000 -
1050.92/1054.70 c 1055 51112 359 1 - 0.0000 -
1056.00/1059.87 c 1060 51378 347 1 - 0.0000 -
1061.09/1064.97 c 1065 51662 333 1 - 0.0000 -
1066.18/1070.08 c 1070 51900 358 1 - 0.0000 -
1071.26/1075.17 c 1075 52154 384 1 - 0.0000 -
1076.33/1080.27 c 1080 52400 399 1 - 0.0000 -
1081.52/1085.42 c 1085 52692 407 1 - 0.0000 -
1086.60/1090.53 c 1091 52979 403 1 - 0.0000 -
1091.68/1095.62 c 1096 53246 402 1 - 0.0000 -
1096.77/1100.70 c 1101 53556 383 1 - 0.0000 -
1101.75/1105.75 c 1106 53818 351 1 - 0.0000 -
1106.83/1110.90 c 1111 54110 328 1 - 0.0000 -
1111.91/1115.97 c 1116 54427 331 1 - 0.0000 -
1117.00/1121.09 c 1121 54710 335 1 - 0.0000 -
1122.08/1126.16 c 1126 54998 326 1 - 0.0000 -
1127.16/1131.23 c 1131 55292 328 1 - 0.0000 -
1132.34/1136.40 c 1136 55567 329 1 - 0.0000 -
1137.42/1141.51 c 1142 55807 330 1 - 0.0000 -
1142.41/1146.55 c 1147 56112 326 1 - 0.0000 -
1147.49/1151.67 c 1152 56366 333 1 - 0.0000 -
1152.57/1156.78 c 1157 56610 336 1 - 0.0000 -
1157.65/1161.86 c 1162 56917 330 1 - 0.0000 -
1162.84/1167.02 c 1167 57261 319 1 - 0.0000 -
1167.92/1172.12 c 1172 57567 320 1 - 0.0000 -
1173.00/1177.28 c 1177 57831 326 1 - 0.0000 -
1178.09/1182.37 c 1182 58115 324 1 - 0.0000 -
1183.17/1187.43 c 1187 58484 312 1 - 0.0000 -
1188.25/1192.56 c 1193 58781 319 1 - 0.0000 -
1193.33/1197.68 c 1198 59094 311 1 - 0.0000 -
1198.41/1202.75 c 1203 59378 314 1 - 0.0000 -
1203.50/1207.84 c 1208 59644 317 1 - 0.0000 -
1208.58/1212.91 c 1213 59886 325 1 - 0.0000 -
1213.86/1218.24 c 1218 60125 327 1 - 0.0000 -
1219.34/1223.71 c 1224 60326 315 1 - 0.0000 -
1224.42/1228.81 c 1229 60612 311 1 - 0.0000 -
1229.50/1233.93 c 1234 60891 313 1 - 0.0000 -
1234.59/1239.00 c 1239 61197 336 1 - 0.0000 -
1239.57/1244.08 c 1244 61553 340 1 - 0.0000 -
1244.65/1249.18 c 1249 61862 342 1 - 0.0000 -
1249.83/1254.30 c 1254 62153 350 1 - 0.0000 -
1254.81/1259.39 c 1259 62448 340 1 - 0.0000 -
1259.89/1264.49 c 1264 62774 340 1 - 0.0000 -
1264.97/1269.58 c 1270 63095 340 1 - 0.0000 -
1270.05/1274.67 c 1275 63441 339 1 - 0.0000 -
1275.23/1279.85 c 1280 63750 335 1 - 0.0000 -
1280.32/1284.94 c 1285 64051 332 1 - 0.0000 -
1285.40/1290.04 c 1290 64338 324 1 - 0.0000 -
1290.49/1295.15 c 1295 64646 317 1 - 0.0000 -
1295.56/1300.24 c 1300 64990 314 1 - 0.0000 -
1300.65/1305.38 c 1305 65290 295 1 - 0.0000 -
1305.73/1310.48 c 1310 65568 315 1 - 0.0000 -
1310.81/1315.55 c 1316 65836 347 1 - 0.0000 -
1315.89/1320.63 c 1321 66081 398 1 - 0.0000 -
1320.97/1325.74 c 1326 66413 405 1 - 0.0000 -
1326.05/1330.83 c 1331 66686 431 1 - 0.0000 -
1331.13/1335.90 c 1336 66958 461 1 - 0.0000 -
1336.41/1341.29 c 1341 67239 486 1 - 0.0000 -
1341.60/1346.43 c 1346 67591 479 1 - 0.0000 -
1346.68/1351.51 c 1352 67947 485 1 - 0.0000 -
1351.67/1356.59 c 1357 68242 514 1 - 0.0000 -
1356.85/1361.73 c 1362 68474 535 1 - 0.0000 -
1361.93/1366.83 c 1367 68745 567 1 - 0.0000 -
1367.01/1371.93 c 1372 69087 538 1 - 0.0000 -
1372.10/1377.01 c 1377 69414 539 1 - 0.0000 -
1377.18/1382.11 c 1382 69731 537 1 - 0.0000 -
1382.25/1387.23 c 1387 70049 551 1 - 0.0000 -
1387.33/1392.33 c 1392 70336 579 1 - 0.0000 -
1392.32/1397.39 c 1397 70624 565 1 - 0.0000 -
1397.40/1402.45 c 1402 70946 551 1 - 0.0000 -
1402.48/1407.55 c 1408 71277 553 1 - 0.0000 -
1407.56/1412.65 c 1413 71592 573 1 - 0.0000 -
1412.64/1417.78 c 1418 71889 572 1 - 0.0000 -
1417.83/1422.90 c 1423 72257 557 1 - 0.0000 -
1422.92/1428.02 c 1428 72570 553 1 - 0.0000 -
1427.90/1433.08 c 1433 72935 552 1 - 0.0000 -
1432.98/1438.16 c 1438 73229 555 1 - 0.0000 -
1438.06/1443.24 c 1443 73495 571 1 - 0.0000 -
1443.14/1448.36 c 1448 73768 575 1 - 0.0000 -
1448.22/1453.48 c 1453 74059 579 1 - 0.0000 -
1453.30/1458.54 c 1459 74346 589 1 - 0.0000 -
1458.38/1463.65 c 1464 74725 581 1 - 0.0000 -
1463.47/1468.74 c 1469 75030 576 1 - 0.0000 -
1468.55/1473.83 c 1474 75358 565 1 - 0.0000 -
1473.63/1478.91 c 1479 75707 569 1 - 0.0000 -
1478.61/1483.98 c 1484 76028 569 1 - 0.0000 -
1483.80/1489.12 c 1489 76305 572 1 - 0.0000 -
1488.88/1494.23 c 1494 76590 578 1 - 0.0000 -
1493.86/1499.28 c 1499 76870 598 1 - 0.0000 -
1498.95/1504.37 c 1504 77207 595 1 - 0.0000 -
1504.03/1509.45 c 1509 77537 582 1 - 0.0000 -
1509.11/1514.52 c 1515 77850 586 1 - 0.0000 -
1514.19/1519.62 c 1520 78203 585 1 - 0.0000 -
1519.17/1524.69 c 1525 78569 587 1 - 0.0000 -
1524.35/1529.87 c 1530 78870 590 1 - 0.0000 -
1529.43/1534.93 c 1535 79183 585 1 - 0.0000 -
1534.52/1540.07 c 1540 79483 587 1 - 0.0000 -
1539.60/1545.19 c 1545 79783 590 1 - 0.0000 -
1544.78/1550.33 c 1550 80069 595 1 - 0.0000 -
1549.86/1555.48 c 1555 80401 597 1 - 0.0000 -
1555.04/1560.60 c 1561 80693 598 1 - 0.0000 -
1560.03/1565.65 c 1566 80975 593 1 - 0.0000 -
1565.11/1570.75 c 1571 81271 596 1 - 0.0000 -
1570.19/1575.85 c 1576 81566 594 1 - 0.0000 -
1575.27/1580.96 c 1581 81829 585 1 - 0.0000 -
1580.36/1586.10 c 1586 82094 592 1 - 0.0000 -
1585.44/1591.19 c 1591 82393 593 1 - 0.0000 -
1590.53/1596.26 c 1596 82731 600 1 - 0.0000 -
1595.70/1601.46 c 1601 82981 606 1 - 0.0000 -
1600.79/1606.56 c 1607 83254 612 1 - 0.0000 -
1605.87/1611.67 c 1612 83566 621 1 - 0.0000 -
1610.95/1616.75 c 1617 83860 622 1 - 0.0000 -
1616.03/1621.85 c 1622 84186 621 1 - 0.0000 -
1621.11/1626.95 c 1627 84454 625 1 - 0.0000 -
1626.20/1632.06 c 1632 84749 649 1 - 0.0000 -
1631.28/1637.13 c 1637 85079 641 1 - 0.0000 -
1636.35/1642.22 c 1642 85404 631 1 - 0.0000 -
1641.43/1647.31 c 1647 85722 626 1 - 0.0000 -
1646.51/1652.42 c 1652 86021 631 1 - 0.0000 -
1651.60/1657.51 c 1658 86387 637 1 - 0.0000 -
1656.58/1662.57 c 1663 86729 640 1 - 0.0000 -
1661.76/1667.72 c 1668 87068 627 1 - 0.0000 -
1666.74/1672.79 c 1673 87375 623 1 - 0.0000 -
1671.93/1677.90 c 1678 87683 638 1 - 0.0000 -
1676.91/1682.98 c 1683 87960 636 1 - 0.0000 -
1682.00/1688.06 c 1688 88281 637 1 - 0.0000 -
1687.08/1693.14 c 1693 88629 627 1 - 0.0000 -
1692.15/1698.26 c 1698 88938 625 1 - 0.0000 -
1697.23/1703.32 c 1703 89240 633 1 - 0.0000 -
1702.32/1708.40 c 1708 89562 627 1 - 0.0000 -
1707.30/1713.49 c 1713 89809 645 1 - 0.0000 -
1712.48/1718.61 c 1719 90139 650 1 - 0.0000 -
1717.46/1723.67 c 1724 90469 646 1 - 0.0000 -
1722.64/1728.88 c 1729 90794 650 1 - 0.0000 -
1727.83/1734.03 c 1734 91079 670 1 - 0.0000 -
1732.91/1739.14 c 1739 91348 664 1 - 0.0000 -
1737.99/1744.26 c 1744 91668 656 1 - 0.0000 -
1743.07/1749.31 c 1749 91978 657 1 - 0.0000 -
1748.06/1754.36 c 1754 92280 664 1 - 0.0000 -
1753.14/1759.45 c 1759 92647 676 1 - 0.0000 -
1758.22/1764.58 c 1765 92939 677 1 - 0.0000 -
1763.30/1769.63 c 1770 93251 668 1 - 0.0000 -
1768.38/1774.75 c 1775 93584 666 1 - 0.0000 -
1773.47/1779.85 c 1780 93924 667 1 - 0.0000 -
1778.55/1784.95 c 1785 94205 682 1 - 0.0000 -
1783.63/1790.00 c 1790 94529 691 1 - 0.0000 -
1788.61/1795.07 c 1795 94845 684 1 - 0.0000 -
1793.69/1800.17 c 1800 95123 684 1 - 0.0000 -
1798.77/1805.22 c 1805 95435 670 1 - 0.0000 -
1803.75/1810.29 c 1810 95707 671 1 - 0.0000 -
1808.93/1815.42 c 1815 96029 662 1 - 0.0000 -
1814.02/1820.54 c 1821 96325 664 1 - 0.0000 -
1819.00/1825.59 c 1826 96575 659 1 - 0.0000 -
1824.08/1830.66 c 1831 96917 661 1 - 0.0000 -
1829.16/1835.75 c 1836 97240 663 1 - 0.0000 -
1834.24/1840.87 c 1841 97506 679 1 - 0.0000 -
1839.32/1845.96 c 1846 97793 687 1 - 0.0000 -
1844.51/1851.11 c 1851 98168 674 1 - 0.0000 -
1849.50/1856.16 c 1856 98510 673 1 - 0.0000 -
1854.58/1861.23 c 1861 98850 658 1 - 0.0000 -
1859.66/1866.36 c 1866 99185 639 1 - 0.0000 -
1864.84/1871.53 c 1872 99453 640 1 - 0.0000 -
1869.82/1876.59 c 1877 99790 636 1 - 0.0000 -
1874.90/1881.64 c 1882 100103 631 1 - 0.0000 -
1879.98/1886.79 c 1887 100426 632 1 - 0.0000 -
1885.06/1891.86 c 1892 100721 646 1 - 0.0000 -
1890.15/1896.95 c 1897 101060 648 1 - 0.0000 -
1895.24/1902.03 c 1902 101375 648 1 - 0.0000 -
1900.32/1907.14 c 1907 101668 646 1 - 0.0000 -
1905.40/1912.22 c 1912 101966 646 1 - 0.0000 -
1910.48/1917.33 c 1917 102271 652 1 - 0.0000 -
1915.56/1922.46 c 1922 102541 662 1 - 0.0000 -
1920.64/1927.53 c 1928 102833 670 1 - 0.0000 -
1925.72/1932.62 c 1933 103105 658 1 - 0.0000 -
1930.81/1937.71 c 1938 103364 655 1 - 0.0000 -
1935.89/1942.80 c 1943 103689 648 1 - 0.0000 -
1940.97/1947.92 c 1948 103956 660 1 - 0.0000 -
1946.06/1953.01 c 1953 104259 660 1 - 0.0000 -
1951.14/1958.19 c 1958 104554 650 1 - 0.0000 -
1958.41/1965.46 c 1965 104742 660 1 - 0.0000 -
1963.49/1970.59 c 1971 104953 702 1 - 0.0000 -
1968.77/1975.83 c 1976 105210 717 1 - 0.0000 -
1973.86/1980.96 c 1981 105483 721 1 - 0.0000 -
1979.05/1986.11 c 1986 105722 734 1 - 0.0000 -
1984.12/1991.24 c 1991 105990 765 1 - 0.0000 -
1989.21/1996.33 c 1996 106260 769 1 - 0.0000 -
1994.49/2001.65 c 2002 106493 781 1 - 0.0000 -
1999.57/2006.73 c 2007 106778 777 1 - 0.0000 -
2004.65/2011.89 c 2012 107065 777 1 - 0.0000 -
2009.84/2017.06 c 2017 107344 807 1 - 0.0000 -
2014.92/2022.17 c 2022 107684 804 1 - 0.0000 -
2020.09/2027.35 c 2027 107983 803 1 - 0.0000 -
2025.17/2032.44 c 2032 108282 809 1 - 0.0000 -
2030.25/2037.58 c 2038 108550 813 1 - 0.0000 -
2035.33/2042.66 c 2043 108826 810 1 - 0.0000 -
2040.42/2047.78 c 2048 109116 807 1 - 0.0000 -
2045.51/2052.88 c 2053 109333 817 1 - 0.0000 -
2050.69/2058.00 c 2058 109576 817 1 - 0.0000 -
2055.77/2063.16 c 2063 109891 815 1 - 0.0000 -
2060.85/2068.22 c 2068 110196 816 1 - 0.0000 -
2065.93/2073.36 c 2073 110472 811 1 - 0.0000 -
2071.02/2078.43 c 2078 110697 838 1 - 0.0000 -
2076.10/2083.55 c 2084 110952 834 1 - 0.0000 -
2081.18/2088.65 c 2089 111204 835 1 - 0.0000 -
2086.36/2093.84 c 2094 111472 824 1 - 0.0000 -
2091.44/2098.91 c 2099 111733 827 1 - 0.0000 -
2096.42/2103.98 c 2104 112033 820 1 - 0.0000 -
2101.61/2109.10 c 2109 112317 820 1 - 0.0000 -
2106.69/2114.26 c 2114 112561 823 1 - 0.0000 -
2111.77/2119.38 c 2119 112836 815 1 - 0.0000 -
2116.96/2124.53 c 2125 113108 817 1 - 0.0000 -
2122.04/2129.60 c 2130 113403 813 1 - 0.0000 -
2127.02/2134.66 c 2135 113732 810 1 - 0.0000 -
2132.20/2139.80 c 2140 113984 808 1 - 0.0000 -
2137.18/2144.90 c 2145 114291 800 1 - 0.0000 -
2142.26/2149.99 c 2150 114571 794 1 - 0.0000 -
2147.45/2155.12 c 2155 114808 788 1 - 0.0000 -
2152.43/2160.19 c 2160 115088 791 1 - 0.0000 -
2157.51/2165.27 c 2165 115373 802 1 - 0.0000 -
2162.60/2170.34 c 2170 115674 784 1 - 0.0000 -
2167.68/2175.44 c 2175 115929 775 1 - 0.0000 -
2172.76/2180.55 c 2181 116207 776 1 - 0.0000 -
2177.84/2185.63 c 2186 116483 777 1 - 0.0000 -
2182.92/2190.73 c 2191 116774 772 1 - 0.0000 -
2188.00/2195.86 c 2196 117028 766 1 - 0.0000 -
2193.08/2200.95 c 2201 117303 746 1 - 0.0000 -
2198.17/2206.09 c 2206 117585 745 1 - 0.0000 -
2203.35/2211.29 c 2211 117824 740 1 - 0.0000 -
2208.44/2216.39 c 2216 118086 730 1 - 0.0000 -
2213.62/2221.50 c 2222 118362 722 1 - 0.0000 -
2218.70/2226.62 c 2227 118624 725 1 - 0.0000 -
2223.78/2231.70 c 2232 118921 712 1 - 0.0000 -
2228.86/2236.83 c 2237 119240 717 1 - 0.0000 -
2233.94/2241.94 c 2242 119513 702 1 - 0.0000 -
2239.13/2247.11 c 2247 119801 695 1 - 0.0000 -
2244.12/2252.16 c 2252 120102 697 1 - 0.0000 -
2249.19/2257.24 c 2257 120365 712 1 - 0.0000 -
2254.27/2262.34 c 2262 120652 686 1 - 0.0000 -
2259.35/2267.44 c 2267 120946 682 1 - 0.0000 -
2264.44/2272.55 c 2273 121237 686 1 - 0.0000 -
2269.52/2277.65 c 2278 121553 679 1 - 0.0000 -
2274.60/2282.77 c 2283 121835 686 1 - 0.0000 -
2279.68/2287.86 c 2288 122116 696 1 - 0.0000 -
2284.77/2292.95 c 2293 122396 690 1 - 0.0000 -
2289.85/2298.05 c 2298 122672 691 1 - 0.0000 -
2294.93/2303.15 c 2303 123024 688 1 - 0.0000 -
2300.01/2308.26 c 2308 123343 686 1 - 0.0000 -
2305.09/2313.36 c 2313 123656 674 1 - 0.0000 -
2310.18/2318.45 c 2318 123955 681 1 - 0.0000 -
2315.26/2323.59 c 2324 124255 678 1 - 0.0000 -
2320.44/2328.71 c 2329 124539 670 1 - 0.0000 -
2325.52/2333.83 c 2334 124863 672 1 - 0.0000 -
2330.60/2338.94 c 2339 125155 670 1 - 0.0000 -
2335.69/2344.03 c 2344 125439 662 1 - 0.0000 -
2340.78/2349.19 c 2349 125738 658 1 - 0.0000 -
2345.86/2354.29 c 2354 126101 663 1 - 0.0000 -
2350.94/2359.37 c 2359 126473 664 1 - 0.0000 -
2356.02/2364.46 c 2364 126850 656 1 - 0.0000 -
2361.10/2369.56 c 2370 127142 662 1 - 0.0000 -
2366.18/2374.66 c 2375 127486 666 1 - 0.0000 -
2371.26/2379.75 c 2380 127790 668 1 - 0.0000 -
2376.35/2384.89 c 2385 128075 655 1 - 0.0000 -
2381.64/2390.14 c 2390 128366 669 1 - 0.0000 -
2386.71/2395.23 c 2395 128633 661 1 - 0.0000 -
2391.79/2400.33 c 2400 128936 659 1 - 0.0000 -
2396.87/2405.46 c 2405 129208 662 1 - 0.0000 -
2401.95/2410.58 c 2411 129478 672 1 - 0.0000 -
2407.04/2415.67 c 2416 129756 684 1 - 0.0000 -
2412.11/2420.76 c 2421 130073 679 1 - 0.0000 -
2417.20/2425.89 c 2426 130360 658 1 - 0.0000 -
2422.39/2431.00 c 2431 130670 659 1 - 0.0000 -
2427.37/2436.06 c 2436 130941 664 1 - 0.0000 -
2432.45/2441.15 c 2441 131200 664 1 - 0.0000 -
2437.52/2446.22 c 2446 131502 658 1 - 0.0000 -
2442.61/2451.30 c 2451 131828 655 1 - 0.0000 -
2447.59/2456.35 c 2456 132115 646 1 - 0.0000 -
2452.67/2461.44 c 2461 132431 640 1 - 0.0000 -
2457.76/2466.50 c 2467 132734 636 1 - 0.0000 -
2462.74/2471.58 c 2472 133016 632 1 - 0.0000 -
2467.82/2476.69 c 2477 133321 622 1 - 0.0000 -
2472.90/2481.79 c 2482 133582 626 1 - 0.0000 -
2477.98/2486.89 c 2487 133856 625 1 - 0.0000 -
2483.97/2492.88 c 2493 134046 623 1 - 0.0000 -
2489.05/2497.96 c 2498 134334 621 1 - 0.0000 -
2494.13/2503.04 c 2503 134633 621 1 - 0.0000 -
2499.21/2508.12 c 2508 134917 621 1 - 0.0000 -
2504.29/2513.28 c 2513 135238 618 1 - 0.0000 -
2509.37/2518.38 c 2518 135526 621 1 - 0.0000 -
2514.55/2523.50 c 2524 135874 618 1 - 0.0000 -
2519.64/2528.69 c 2529 136176 614 1 - 0.0000 -
2524.82/2533.83 c 2534 136480 611 1 - 0.0000 -
2529.90/2538.98 c 2539 136815 606 1 - 0.0000 -
2535.08/2544.10 c 2544 137121 609 1 - 0.0000 -
2540.07/2549.18 c 2549 137452 607 1 - 0.0000 -
2545.14/2554.29 c 2554 137753 610 1 - 0.0000 -
2550.33/2559.44 c 2559 138031 599 1 - 0.0000 -
2555.51/2564.60 c 2565 138302 590 1 - 0.0000 -
2560.49/2569.68 c 2570 138612 595 1 - 0.0000 -
2565.57/2574.78 c 2575 138922 586 1 - 0.0000 -
2570.65/2579.86 c 2580 139225 591 1 - 0.0000 -
2575.73/2584.98 c 2585 139528 589 1 - 0.0000 -
2581.01/2590.26 c 2590 139835 586 1 - 0.0000 -
2586.10/2595.36 c 2595 140219 589 1 - 0.0000 -
2591.18/2600.46 c 2600 140542 578 1 - 0.0000 -
2596.26/2605.54 c 2606 140818 585 1 - 0.0000 -
2601.34/2610.60 c 2611 141140 582 1 - 0.0000 -
2606.43/2615.76 c 2616 141443 581 1 - 0.0000 -
2611.51/2620.88 c 2621 141735 591 1 - 0.0000 -
2616.60/2625.95 c 2626 142067 604 1 - 0.0000 -
2621.68/2631.06 c 2631 142402 589 1 - 0.0000 -
2626.76/2636.16 c 2636 142705 594 1 - 0.0000 -
2631.84/2641.24 c 2641 143001 592 1 - 0.0000 -
2636.92/2646.34 c 2646 143306 594 1 - 0.0000 -
2642.00/2651.41 c 2651 143616 597 1 - 0.0000 -
2646.98/2656.48 c 2656 143943 588 1 - 0.0000 -
2652.17/2661.60 c 2662 144250 588 1 - 0.0000 -
2657.15/2666.68 c 2667 144589 587 1 - 0.0000 -
2662.23/2671.76 c 2672 144905 605 1 - 0.0000 -
2667.32/2676.88 c 2677 145207 613 1 - 0.0000 -
2672.40/2681.94 c 2682 145504 613 1 - 0.0000 -
2677.48/2687.02 c 2687 145822 616 1 - 0.0000 -
2682.56/2692.12 c 2692 146143 616 1 - 0.0000 -
2687.55/2697.19 c 2697 146464 615 1 - 0.0000 -
2692.62/2702.26 c 2702 146841 624 1 - 0.0000 -
2697.70/2707.32 c 2707 147266 626 1 - 0.0000 -
2702.78/2712.40 c 2712 147621 619 1 - 0.0000 -
2707.76/2717.47 c 2717 147961 619 1 - 0.0000 -
2712.95/2722.61 c 2723 148256 619 1 - 0.0000 -
2717.93/2727.66 c 2728 148617 614 1 - 0.0000 -
2723.01/2732.75 c 2733 148971 612 1 - 0.0000 -
2728.08/2737.87 c 2738 149269 608 1 - 0.0000 -
2733.17/2742.93 c 2743 149622 614 1 - 0.0000 -
2738.25/2748.00 c 2748 149993 618 1 - 0.0000 -
2743.23/2753.08 c 2753 150347 611 1 - 0.0000 -
2748.40/2758.20 c 2758 150664 625 1 - 0.0000 -
2753.48/2763.30 c 2763 150943 635 1 - 0.0000 -
2758.46/2768.37 c 2768 151307 643 1 - 0.0000 -
2763.54/2773.43 c 2773 151711 647 1 - 0.0000 -
2768.53/2778.49 c 2778 152115 644 1 - 0.0000 -
2773.61/2783.58 c 2784 152507 649 1 - 0.0000 -
2778.68/2788.65 c 2789 152866 647 1 - 0.0000 -
2783.76/2793.77 c 2794 153197 638 1 - 0.0000 -
2788.85/2798.83 c 2799 153509 631 1 - 0.0000 -
2793.93/2803.97 c 2804 153796 619 1 - 0.0000 -
2799.01/2809.04 c 2809 154190 616 1 - 0.0000 -
2804.09/2814.13 c 2814 154535 620 1 - 0.0000 -
2809.16/2819.20 c 2819 154920 610 1 - 0.0000 -
2814.25/2824.31 c 2824 155255 608 1 - 0.0000 -
2819.23/2829.39 c 2829 155549 617 1 - 0.0000 -
2824.31/2834.46 c 2834 155844 609 1 - 0.0000 -
2829.38/2839.54 c 2840 156183 615 1 - 0.0000 -
2834.46/2844.61 c 2845 156552 619 1 - 0.0000 -
2839.44/2849.69 c 2850 156896 615 1 - 0.0000 -
2844.62/2854.82 c 2855 157218 613 1 - 0.0000 -
2849.71/2859.95 c 2860 157500 612 1 - 0.0000 -
2854.89/2865.12 c 2865 157806 610 1 - 0.0000 -
2859.96/2870.23 c 2870 158123 619 1 - 0.0000 -
2864.94/2875.29 c 2875 158454 616 1 - 0.0000 -
2870.12/2880.40 c 2880 158793 618 1 - 0.0000 -
2875.20/2885.54 c 2886 159167 613 1 - 0.0000 -
2880.28/2890.62 c 2891 159467 625 1 - 0.0000 -
2885.26/2895.68 c 2896 159766 621 1 - 0.0000 -
2890.44/2900.80 c 2901 160132 617 1 - 0.0000 -
2895.42/2905.89 c 2906 160522 616 1 - 0.0000 -
2900.50/2910.98 c 2911 160816 630 1 - 0.0000 -
2905.69/2916.10 c 2916 161135 634 1 - 0.0000 -
2910.76/2921.20 c 2921 161442 615 1 - 0.0000 -
2915.74/2926.28 c 2926 161737 615 1 - 0.0000 -
2920.83/2931.36 c 2931 162086 608 1 - 0.0000 -
2925.91/2936.46 c 2936 162371 610 1 - 0.0000 -
2930.99/2941.55 c 2942 162753 607 1 - 0.0000 -
2936.07/2946.62 c 2947 163084 605 1 - 0.0000 -
2941.14/2951.71 c 2952 163433 606 1 - 0.0000 -
2946.13/2956.77 c 2957 163769 608 1 - 0.0000 -
2951.21/2961.87 c 2962 164128 602 1 - 0.0000 -
2956.29/2966.94 c 2967 164480 602 1 - 0.0000 -
2961.37/2972.00 c 2972 164923 604 1 - 0.0000 -
2966.45/2977.11 c 2977 165267 596 1 - 0.0000 -
2971.43/2982.18 c 2982 165573 588 1 - 0.0000 -
2976.60/2987.31 c 2987 165902 587 1 - 0.0000 -
2981.59/2992.38 c 2992 166163 600 1 - 0.0000 -
2986.67/2997.46 c 2997 166440 599 1 - 0.0000 -
2991.75/3002.54 c 3003 166753 584 1 - 0.0000 -
2997.02/3007.87 c 3008 166982 588 1 - 0.0000 -
3002.11/3012.96 c 3013 167351 584 1 - 0.0000 -
3007.19/3018.04 c 3018 167708 581 1 - 0.0000 -
3012.27/3023.16 c 3023 167992 580 1 - 0.0000 -
3017.35/3028.26 c 3028 168276 573 1 - 0.0000 -
3022.42/3033.34 c 3033 168604 564 1 - 0.0000 -
3027.51/3038.41 c 3038 168906 565 1 - 0.0000 -
3032.49/3043.46 c 3043 169211 554 1 - 0.0000 -
3037.57/3048.56 c 3049 169509 554 1 - 0.0000 -
3042.65/3053.64 c 3054 169818 562 1 - 0.0000 -
3047.73/3058.78 c 3059 170118 576 1 - 0.0000 -
3052.91/3063.90 c 3064 170376 593 1 - 0.0000 -
3057.99/3069.00 c 3069 170661 595 1 - 0.0000 -
3062.98/3074.09 c 3074 170943 581 1 - 0.0000 -
3068.06/3079.19 c 3079 171240 591 1 - 0.0000 -
3073.23/3084.37 c 3084 171546 586 1 - 0.0000 -
3078.31/3089.46 c 3089 171808 597 1 - 0.0000 -
3083.40/3094.56 c 3095 172077 599 1 - 0.0000 -
3088.48/3099.64 c 3100 172365 603 1 - 0.0000 -
3093.55/3104.74 c 3105 172690 611 1 - 0.0000 -
3098.64/3109.83 c 3110 172979 614 1 - 0.0000 -
3103.71/3114.96 c 3115 173297 617 1 - 0.0000 -
3108.80/3120.03 c 3120 173622 616 1 - 0.0000 -
3113.98/3125.21 c 3125 173895 616 1 - 0.0000 -
3118.96/3130.28 c 3130 174226 629 1 - 0.0000 -
3124.13/3135.40 c 3135 174512 617 1 - 0.0000 -
3129.22/3140.54 c 3141 174806 612 1 - 0.0000 -
3134.30/3145.61 c 3146 175119 612 1 - 0.0000 -
3139.28/3150.69 c 3151 175421 608 1 - 0.0000 -
3144.36/3155.75 c 3156 175701 610 1 - 0.0000 -
3149.44/3160.84 c 3161 175968 606 1 - 0.0000 -
3154.52/3165.94 c 3166 176256 608 1 - 0.0000 -
3159.60/3171.02 c 3171 176523 596 1 - 0.0000 -
3164.59/3176.09 c 3176 176773 603 1 - 0.0000 -
3169.76/3181.25 c 3181 177034 595 1 - 0.0000 -
3174.84/3186.32 c 3186 177354 599 1 - 0.0000 -
3179.82/3191.37 c 3191 177649 598 1 - 0.0000 -
3184.91/3196.45 c 3196 177902 604 1 - 0.0000 -
3190.09/3201.61 c 3202 178183 594 1 - 0.0000 -
3195.17/3206.73 c 3207 178491 577 1 - 0.0000 -
3200.24/3211.81 c 3212 178816 563 1 - 0.0000 -
3205.22/3216.89 c 3217 179146 557 1 - 0.0000 -
3210.41/3222.00 c 3222 179431 555 1 - 0.0000 -
3215.49/3227.16 c 3227 179737 548 1 - 0.0000 -
3220.56/3232.27 c 3232 180010 555 1 - 0.0000 -
3225.64/3237.36 c 3237 180273 547 1 - 0.0000 -
3230.73/3242.44 c 3242 180533 535 1 - 0.0000 -
3235.81/3247.59 c 3248 180875 539 1 - 0.0000 -
3240.89/3252.67 c 3253 181166 537 1 - 0.0000 -
3245.97/3257.79 c 3258 181482 532 1 - 0.0000 -
3251.05/3262.87 c 3263 181802 544 1 - 0.0000 -
3256.13/3267.94 c 3268 182198 545 1 - 0.0000 -
3261.22/3273.05 c 3273 182527 536 1 - 0.0000 -
3266.30/3278.11 c 3278 182856 526 1 - 0.0000 -
3271.28/3283.18 c 3283 183180 525 1 - 0.0000 -
3276.45/3288.30 c 3288 183536 525 1 - 0.0000 -
3281.54/3293.42 c 3293 183844 533 1 - 0.0000 -
3286.62/3298.52 c 3299 184166 522 1 - 0.0000 -
3291.60/3303.57 c 3304 184496 516 1 - 0.0000 -
3296.68/3308.64 c 3309 184867 523 1 - 0.0000 -
3301.75/3313.73 c 3314 185199 524 1 - 0.0000 -
3306.73/3318.78 c 3319 185505 520 1 - 0.0000 -
3311.92/3323.91 c 3324 185841 514 1 - 0.0000 -
3317.00/3329.01 c 3329 186204 518 1 - 0.0000 -
3322.08/3334.17 c 3334 186551 507 1 - 0.0000 -
3327.16/3339.26 c 3339 186862 506 1 - 0.0000 -
3332.23/3344.38 c 3344 187203 501 1 - 0.0000 -
3337.41/3349.53 c 3350 187522 503 1 - 0.0000 -
3342.50/3354.62 c 3355 187822 503 1 - 0.0000 -
3347.58/3359.70 c 3360 188141 517 1 - 0.0000 -
3352.66/3364.80 c 3365 188472 507 1 - 0.0000 -
3357.64/3369.89 c 3370 188789 497 1 - 0.0000 -
3362.72/3374.97 c 3375 189070 496 1 - 0.0000 -
3367.80/3380.05 c 3380 189355 496 1 - 0.0000 -
3372.89/3385.13 c 3385 189625 497 1 - 0.0000 -
3377.97/3390.23 c 3390 189909 487 1 - 0.0000 -
3383.04/3395.36 c 3395 190200 484 1 - 0.0000 -
3388.12/3400.46 c 3400 190518 483 1 - 0.0000 -
3393.21/3405.55 c 3406 190825 486 1 - 0.0000 -
3398.29/3410.64 c 3411 191119 489 1 - 0.0000 -
3403.37/3415.71 c 3416 191348 488 1 - 0.0000 -
3408.45/3420.80 c 3421 191655 482 1 - 0.0000 -
3413.43/3425.88 c 3426 191973 473 1 - 0.0000 -
3418.51/3430.94 c 3431 192351 473 1 - 0.0000 -
3423.59/3436.05 c 3436 192682 472 1 - 0.0000 -
3428.67/3441.14 c 3441 193058 472 1 - 0.0000 -
3433.74/3446.24 c 3446 193369 467 1 - 0.0000 -
3438.73/3451.29 c 3451 193649 461 1 - 0.0000 -
3443.81/3456.36 c 3456 193959 471 1 - 0.0000 -
3448.89/3461.45 c 3461 194257 479 1 - 0.0000 -
3453.97/3466.52 c 3467 194618 469 1 - 0.0000 -
3458.95/3471.59 c 3472 194970 476 1 - 0.0000 -
3464.02/3476.64 c 3477 195333 475 1 - 0.0000 -
3469.11/3481.74 c 3482 195653 470 1 - 0.0000 -
3474.19/3486.83 c 3487 195995 468 1 - 0.0000 -
3479.27/3491.90 c 3492 196268 472 1 - 0.0000 -
3484.25/3496.98 c 3497 196676 475 1 - 0.0000 -
3489.33/3502.04 c 3502 197068 471 1 - 0.0000 -
3494.42/3507.14 c 3507 197459 474 1 - 0.0000 -
3499.49/3512.20 c 3512 197866 472 1 - 0.0000 -
3504.58/3517.34 c 3517 198187 470 1 - 0.0000 -
3509.65/3522.44 c 3522 198535 470 1 - 0.0000 -
3514.83/3527.60 c 3528 198870 471 1 - 0.0000 -
3519.81/3532.69 c 3533 199170 477 1 - 0.0000 -
3524.99/3537.83 c 3538 199504 484 1 - 0.0000 -
3530.08/3542.94 c 3543 199785 487 1 - 0.0000 -
3535.16/3548.10 c 3548 200094 478 1 - 0.0000 -
3540.24/3553.17 c 3553 200415 471 1 - 0.0000 -
3545.31/3558.26 c 3558 200736 466 1 - 0.0000 -
3550.80/3563.74 c 3564 201018 466 1 - 0.0000 -
3555.87/3568.81 c 3569 201401 476 1 - 0.0000 -
3560.85/3573.87 c 3574 201821 470 1 - 0.0000 -
3565.94/3578.96 c 3579 202270 467 1 - 0.0000 -
3571.02/3584.01 c 3584 202652 472 1 - 0.0000 -
3576.01/3589.08 c 3589 203003 465 1 - 0.0000 -
3581.18/3594.22 c 3594 203402 465 1 - 0.0000 -
3586.26/3599.30 c 3599 203691 468 1 - 0.0000 -
3586.96/3600.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.96/3600.08 c Total Time : 3600.0900
3586.96/3600.08 c solving : 3600.0900
3586.96/3600.08 c presolving : 1.0027 (included in solving)
3586.96/3600.08 c B&B Tree :
3586.96/3600.08 c nodes (total) : 1
3586.96/3600.08 c Solution :
3586.96/3600.08 c Solutions found : 0
3586.96/3600.08 c Primal Bound : -
3586.96/3600.08 c Dual Bound : +0.00000000000000e+00
3586.96/3600.08 c Gap : -
3587.06/3600.12 s UNKNOWN
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: 63968 MiB (61116 MiB free)
memory of node 1: 64473 MiB (55859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443950-1721302412/watcher-4443950-1721302412 -o /tmp/evaluation-result-4443950-1721302412/solver-4443950-1721302412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4443950-1721302412.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=957009, runsolver pid=957006
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.16 4.12 4.10 5/261 957010
/proc/meminfo: memFree=119695320/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=73116 memory=61608 CPUtime=0.1 cores=0,2
/proc/957009/stat : 957009 (fscip) R 957006 957009 950155 0 -1 4194304 13292 0 0 0 8 2 0 0 20 0 1 0 182410178 74870784 15402 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 18279 15402 2542 3032 0 14679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73116 KiB
Current children cumulated memory: 61608 KiB
[startup+0.2058 s]*
/proc/loadavg: 4.16 4.12 4.10 5/261 957010
/proc/meminfo: memFree=119600816/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=119496 memory=105424 CPUtime=0.2 cores=0,2
/proc/957009/stat : 957009 (fscip) R 957006 957009 950155 0 -1 4194304 25184 0 0 0 17 3 0 0 20 0 1 0 182410178 122363904 26356 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 29874 26356 2638 3032 0 26274 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119496 KiB
Current children cumulated memory: 105424 KiB
[startup+0.305723 s]*
/proc/loadavg: 4.16 4.12 4.10 5/261 957010
/proc/meminfo: memFree=119554368/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=119252 memory=106908 CPUtime=0.3 cores=0,2
/proc/957009/stat : 957009 (fscip) R 957006 957009 950155 0 -1 4194304 30950 0 0 0 26 4 0 0 20 0 1 0 182410178 122114048 26727 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 29813 26727 2670 3032 0 26213 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 106908 KiB
[startup+0.700238 s]
/proc/loadavg: 4.16 4.12 4.10 5/261 957010
/proc/meminfo: memFree=119401860/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=247712 memory=221660 CPUtime=0.69 cores=0,2
/proc/957009/stat : 957009 (fscip) R 957006 957009 950155 0 -1 4194304 40440 0 0 0 62 7 0 0 20 0 1 0 182410178 253657088 55415 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 61928 55415 2718 3032 0 58328 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 247712 KiB
Current children cumulated memory: 221660 KiB
[startup+1.50033 s]
/proc/loadavg: 4.16 4.12 4.10 5/261 957010
/proc/meminfo: memFree=119175112/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=493188 memory=419452 CPUtime=1.49 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 81218 0 0 0 136 13 0 0 20 0 3 0 182410178 505024512 104863 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 123297 104863 2766 3032 0 113043 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 493188 KiB
Current children cumulated memory: 419452 KiB
[startup+3.10631 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 957012
/proc/meminfo: memFree=119517964/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=559080 memory=463340 CPUtime=3.07 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 98253 0 0 0 292 15 0 0 20 0 3 0 182410178 572497920 115835 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 139770 115835 2910 3032 0 124250 0
[pid=957009/tid=957011] ppid=957006 vsize=559080 memory=198340509722 CPUtime=1.91 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 42497 0 0 0 186 5 0 0 20 0 3 0 182410291 572497920 115835 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=559080 memory=0 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 182410300 572497920 115835 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 559080 KiB
Current children cumulated memory: 463340 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 957015
/proc/meminfo: memFree=118178296/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=559080 memory=463340 CPUtime=6.25 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 100492 0 0 0 610 15 0 0 20 0 3 0 182410178 572497920 115835 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 139770 115835 2910 3032 0 124250 0
[pid=957009/tid=957011] ppid=957006 vsize=559080 memory=0 CPUtime=5.09 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 44727 0 0 0 504 5 0 0 20 0 3 0 182410291 572497920 115835 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=559080 memory=0 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 182410300 572497920 115835 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 559080 KiB
Current children cumulated memory: 463340 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.13 4.10 5/264 957015
/proc/meminfo: memFree=116309228/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=628688 memory=508152 CPUtime=12.63 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 140444 0 0 0 1244 19 0 0 20 0 3 0 182410178 643776512 127038 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 157172 127038 2926 3032 0 145876 0
[pid=957009/tid=957011] ppid=957006 vsize=628688 memory=0 CPUtime=11.46 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 84673 0 0 0 1138 8 0 0 20 0 3 0 182410291 643776512 127038 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=628688 memory=474972 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 182410300 643776512 127038 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 628688 KiB
Current children cumulated memory: 508152 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 957018
/proc/meminfo: memFree=116045472/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=694224 memory=571972 CPUtime=25.39 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 181793 0 0 0 2515 24 0 0 20 0 3 0 182410178 710885376 142993 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 173556 142993 2926 3032 0 162366 0
[pid=957009/tid=957011] ppid=957006 vsize=694224 memory=12088 CPUtime=24.22 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 125972 0 0 0 2409 13 0 0 20 0 3 0 182410291 710885376 142993 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=694224 memory=12088 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 182410300 710885376 142993 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 694224 KiB
Current children cumulated memory: 571972 KiB
[startup+51.1059 s]
/proc/loadavg: 4.24 4.14 4.10 5/263 957022
/proc/meminfo: memFree=115274576/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=694224 memory=572796 CPUtime=50.92 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 222873 0 0 0 5066 26 0 0 20 0 3 0 182410178 710885376 143199 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 173556 143199 2974 3032 0 162366 0
[pid=957009/tid=957011] ppid=957006 vsize=694224 memory=572200 CPUtime=49.74 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 167007 0 0 0 4959 15 0 0 20 0 3 0 182410291 710885376 143199 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=694224 memory=572200 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 182410300 710885376 143199 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 694224 KiB
Current children cumulated memory: 572796 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/259 957044
/proc/meminfo: memFree=125799568/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=759920 memory=617776 CPUtime=101.93 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 312565 0 0 0 10159 34 0 0 20 0 3 0 182410178 778158080 154444 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 189980 154444 2974 3032 0 172906 0
[pid=957009/tid=957011] ppid=957006 vsize=759920 memory=617584 CPUtime=100.76 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 256646 0 0 0 10053 23 0 0 20 0 3 0 182410291 778158080 154444 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=759920 memory=617576 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 182410300 778158080 154444 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 759920 KiB
Current children cumulated memory: 617776 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/262 957088
/proc/meminfo: memFree=122283592/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=759920 memory=622316 CPUtime=161.7 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 352713 0 0 0 16132 38 0 0 20 0 3 0 182410178 778158080 155579 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 189980 155579 2974 3032 0 172906 0
[pid=957009/tid=957011] ppid=957006 vsize=759920 memory=617576 CPUtime=160.52 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 296760 0 0 0 16025 27 0 0 20 0 3 0 182410291 778158080 155579 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=759920 memory=619500 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 182410300 778158080 155579 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 759920 KiB
Current children cumulated memory: 622316 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/262 957098
/proc/meminfo: memFree=122231508/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=759920 memory=663548 CPUtime=221.47 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 405060 0 0 0 22103 44 0 0 20 0 3 0 182410178 778158080 165887 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 189980 165887 2974 3032 0 179953 0
[pid=957009/tid=957011] ppid=957006 vsize=759920 memory=12088 CPUtime=220.29 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 349089 0 0 0 21996 33 0 0 20 0 3 0 182410291 778158080 165887 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=759920 memory=663548 CPUtime=0 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 182410300 778158080 165887 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 759920 KiB
Current children cumulated memory: 663548 KiB
[startup+282.3 s]
/proc/loadavg: 4.43 4.27 4.16 5/262 957109
/proc/meminfo: memFree=122013024/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=759920 memory=664860 CPUtime=281.24 cores=0,2
################
# More data... #
################
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3449.79 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 582005 0 0 0 344842 137 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=708768 CPUtime=3448.38 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 525212 0 0 0 344721 117 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=12088 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 120 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3449.79 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.27 2.98 3/248 958944
/proc/meminfo: memFree=121683816/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3509.55 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 583552 0 0 0 350815 140 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=708768 CPUtime=3508.14 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 526745 0 0 0 350695 119 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=5500 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 120 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3509.55 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.23 2.92 3/248 958956
/proc/meminfo: memFree=121683064/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3569.32 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594141 0 0 0 356789 143 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=12088 CPUtime=3567.9 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537319 0 0 0 356668 122 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=44984 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 121 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3569.32 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3600.13 s]
# the end of solver process 957009 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.64 s, system=1.45658 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.07 2.23 2.91 3/248 958956
/proc/meminfo: memFree=121683064/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3571.02 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594231 0 0 0 356959 143 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=6720664359062159216 CPUtime=3569.6 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537408 0 0 0 356838 122 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=4774834636748362857 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3590.4 s]
/proc/loadavg: 2.06 2.22 2.91 3/248 958958
/proc/meminfo: memFree=121682952/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3577.4 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594281 0 0 0 357596 144 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=708768 CPUtime=3575.98 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537458 0 0 0 357475 123 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=6720666528020643698 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3577.4 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3596.8 s]
/proc/loadavg: 2.06 2.22 2.90 3/248 958959
/proc/meminfo: memFree=121682868/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3583.77 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594299 0 0 0 358233 144 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=708768 CPUtime=3582.35 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537476 0 0 0 358112 123 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=32872 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3583.77 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3598.4 s]
/proc/loadavg: 2.06 2.22 2.90 3/248 958959
/proc/meminfo: memFree=121682868/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3585.36 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594304 0 0 0 358392 144 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=21668 CPUtime=3583.94 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537481 0 0 0 358271 123 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=12088 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3599.2 s]
/proc/loadavg: 2.05 2.22 2.90 3/248 958959
/proc/meminfo: memFree=121682868/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3586.16 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594306 0 0 0 358472 144 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=44984 CPUtime=3584.74 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537483 0 0 0 358351 123 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=708768 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3599.6 s]
/proc/loadavg: 2.05 2.22 2.90 3/248 958959
/proc/meminfo: memFree=121682868/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3586.56 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594306 0 0 0 358512 144 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=44984 CPUtime=3585.14 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537483 0 0 0 358391 123 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=21668 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3600 s]*
/proc/loadavg: 2.05 2.22 2.90 3/248 958959
/proc/meminfo: memFree=121682868/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=825456 memory=708768 CPUtime=3586.96 cores=0,2
/proc/957009/stat : 957009 (fscip) S 957006 957009 950155 0 -1 1077936128 594464 0 0 0 358552 144 0 0 20 0 3 0 182410178 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 206364 177192 2974 3032 0 186108 0
[pid=957009/tid=957011] ppid=957006 vsize=825456 memory=6720664359062159216 CPUtime=3585.55 cores=0,2
/proc/957009/task/957011/stat : 957011 (fscip) R 957006 957009 950155 0 -1 4194368 537638 0 0 0 358431 124 0 0 20 0 3 0 182410291 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
[pid=957009/tid=957012] ppid=957006 vsize=825456 memory=4774834636748362857 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 3 0 182410300 845266944 177192 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 708768 KiB
[startup+3600.11 s]
/proc/loadavg: 2.05 2.22 2.90 3/248 958959
/proc/meminfo: memFree=121682868/131524600 swapFree=131071996/131071996
[pid=957009] ppid=957006 vsize=756320 memory=699164 CPUtime=3587.06 cores=0,2
/proc/957009/stat : 957009 (fscip) R 957006 957009 950155 0 -1 4194304 596747 0 0 0 358562 144 0 0 20 0 2 0 182410178 774471680 174791 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
/proc/957009/statm: 189080 174791 2974 3032 0 184088 0
[pid=957009/tid=957012] ppid=957006 vsize=756320 memory=708768 CPUtime=0.03 cores=0,2
/proc/957009/task/957012/stat : 957012 (fscip) S 957006 957009 950155 0 -1 1077936192 122 0 0 0 0 3 0 0 20 0 2 0 182410300 774471680 174791 134679101440 4194304 16613245 140728085826784 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29466624 140728085828628 140728085828744 140728085828744 140728085835760 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 756320 KiB
Current children cumulated memory: 699164 KiB
Child status: 0
Real time (s): 3600.13
CPU time (s): 3587.1
CPU user time (s): 3585.64
CPU system time (s): 1.45658
CPU usage (%): 99.6379
Max. virtual memory (cumulated for all children) (KiB): 825456
Max. memory (cumulated for all children) (KiB): 708768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.64
system time used= 1.45658
maximum resident set size= 708768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601168
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= 10544
involuntary context switches= 25128
# summary of solver processes directly reported to runsolver:
# pid: 957009
# total CPU time (s): 3587.1
# total CPU user time (s): 3585.64
# total CPU system time (s): 1.45658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48525 second user time and 15.4051 second system time
The end
Begin job on nodeC032 at 2024-07-18 13:33:45
IDJOB=4443950
IDBENCH=147891
IDSOLVER=3064
FILE ID=nodeC032/4443950-1721302412
RUNJOBID= nodeC032-1721294255-950165
SLURM_JOB_ID= 7542614
Free space on /tmp= 889912 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.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-4443950-1721302412/watcher-4443950-1721302412 -o /tmp/evaluation-result-4443950-1721302412/solver-4443950-1721302412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4443950-1721302412.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=781699080
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.834
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.334
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.478
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119801252 kB
MemAvailable: 122366748 kB
Buffers: 492352 kB
Cached: 2890384 kB
SwapCached: 0 kB
Active: 1019052 kB
Inactive: 10035104 kB
Active(anon): 1556 kB
Inactive(anon): 7707580 kB
Active(file): 1017496 kB
Inactive(file): 2327524 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29796 kB
Writeback: 0 kB
AnonPages: 7670360 kB
Mapped: 140620 kB
Shmem: 37720 kB
KReclaimable: 124696 kB
Slab: 239964 kB
SReclaimable: 124696 kB
SUnreclaim: 115268 kB
KernelStack: 4192 kB
PageTables: 24392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8135028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2930688 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC032 at 2024-07-18 14:33:45