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.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 24305664, getVmSize() = 24305664, SCIPgetMemUsed() = 2141748, SCIPgetMemTotal() = 2703780, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 17484458, getVmSize() = 28147712, SCIPgetMemUsed() = 2620372, SCIPgetMemTotal() = 5326900, SCIPgetMemExternEstim() = 1048576
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4464540-1722385801
0.00/0.04 c Variables : 369 (369 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 748
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 369 (369 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 748
0.00/0.04 c Constraints : Number
0.00/0.04 c logicor : 748
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.87/5.01 c 5 2821 2341 1 - 0.0000 -
9.96/10.10 c 10 6925 4757 1 - 0.0000 -
15.05/15.14 c 15 11758 5760 1 - 0.0000 -
20.02/20.19 c 20 17147 6409 1 - 0.0000 -
25.09/25.24 c 25 22154 7383 1 - 0.0000 -
30.17/30.33 c 30 26307 7923 1 - 0.0000 -
35.15/35.39 c 35 27698 9265 1 - 0.0000 -
40.22/40.43 c 40 34323 13724 1 - 0.0000 -
45.20/45.48 c 45 41556 17680 1 - 0.0000 -
50.28/50.53 c 51 48322 21215 1 - 0.0000 -
55.25/55.58 c 56 55094 24646 1 - 0.0000 -
60.34/60.63 c 61 61551 27287 1 - 0.0000 -
65.31/65.68 c 66 67597 30000 1 - 0.0000 -
70.39/70.73 c 71 73504 32502 1 - 0.0000 -
75.37/75.78 c 76 79122 34882 1 - 0.0000 -
80.45/80.83 c 81 84761 37203 1 - 0.0000 -
85.43/85.88 c 86 90452 39219 1 - 0.0000 -
90.50/90.93 c 91 95366 42524 1 - 0.0000 -
95.48/95.98 c 96 101919 44355 1 - 0.0000 -
100.56/101.03 c 101 107543 46599 1 - 0.0000 -
105.55/106.08 c 106 112926 48508 1 - 0.0000 -
110.63/111.13 c 111 118217 50401 1 - 0.0000 -
115.62/116.18 c 116 123101 52064 1 - 0.0000 -
120.68/121.23 c 121 127935 53453 1 - 0.0000 -
125.66/126.28 c 126 132559 54821 1 - 0.0000 -
130.75/131.32 c 131 137121 57101 1 - 0.0000 -
135.73/136.37 c 136 141649 59101 1 - 0.0000 -
140.81/141.43 c 141 146027 60904 1 - 0.0000 -
145.80/146.47 c 146 150262 62201 1 - 0.0000 -
150.89/151.52 c 152 154309 64070 1 - 0.0000 -
155.86/156.57 c 157 158305 65248 1 - 0.0000 -
160.95/161.62 c 162 162688 67392 1 - 0.0000 -
165.93/166.67 c 167 166849 69354 1 - 0.0000 -
171.01/171.72 c 172 170902 70762 1 - 0.0000 -
176.00/176.77 c 177 175023 72074 1 - 0.0000 -
181.08/181.82 c 182 178872 73222 1 - 0.0000 -
186.06/186.87 c 187 182568 74634 1 - 0.0000 -
191.14/191.92 c 192 186274 75596 1 - 0.0000 -
196.13/196.97 c 197 189926 77147 1 - 0.0000 -
201.21/202.02 c 202 193486 78302 1 - 0.0000 -
206.20/207.07 c 207 197162 79364 1 - 0.0000 -
211.28/212.12 c 212 201140 80593 1 - 0.0000 -
216.27/217.17 c 217 204905 81274 1 - 0.0000 -
221.33/222.23 c 222 208260 82311 1 - 0.0000 -
226.32/227.28 c 227 211779 83333 1 - 0.0000 -
231.40/232.33 c 232 215235 84336 1 - 0.0000 -
236.39/237.38 c 237 218580 86333 1 - 0.0000 -
241.47/242.44 c 242 221862 87582 1 - 0.0000 -
246.45/247.49 c 248 225073 88750 1 - 0.0000 -
251.54/252.54 c 253 228206 89735 1 - 0.0000 -
256.52/257.59 c 258 231604 91374 1 - 0.0000 -
261.60/262.64 c 263 234581 92386 1 - 0.0000 -
266.59/267.69 c 268 237492 93304 1 - 0.0000 -
271.67/272.75 c 273 240452 94331 1 - 0.0000 -
276.76/277.80 c 278 243699 95467 1 - 0.0000 -
281.73/282.86 c 283 246425 96103 1 - 0.0000 -
286.82/287.92 c 288 248859 96483 1 - 0.0000 -
291.80/292.97 c 293 251082 96833 1 - 0.0000 -
296.89/298.03 c 298 253366 97336 1 - 0.0000 -
301.89/303.08 c 303 255773 97863 1 - 0.0000 -
306.96/308.13 c 308 257995 98402 1 - 0.0000 -
311.95/313.18 c 313 260239 99015 1 - 0.0000 -
317.02/318.23 c 318 262475 99470 1 - 0.0000 -
322.01/323.28 c 323 264370 99770 1 - 0.0000 -
327.09/328.35 c 328 266589 100650 1 - 0.0000 -
332.17/333.40 c 333 268629 101424 1 - 0.0000 -
337.16/338.45 c 338 270423 101701 1 - 0.0000 -
342.24/343.51 c 344 272557 102582 1 - 0.0000 -
347.23/348.55 c 349 274563 103448 1 - 0.0000 -
352.31/353.61 c 354 276552 104618 1 - 0.0000 -
357.30/358.68 c 359 278688 105868 1 - 0.0000 -
362.38/363.73 c 364 280756 106805 1 - 0.0000 -
367.37/368.79 c 369 282667 107713 1 - 0.0000 -
372.45/373.85 c 374 284641 108334 1 - 0.0000 -
377.53/378.91 c 379 286567 109474 1 - 0.0000 -
382.52/383.97 c 384 288519 110496 1 - 0.0000 -
387.61/389.03 c 389 290173 110932 1 - 0.0000 -
392.59/394.08 c 394 291897 111362 1 - 0.0000 -
397.67/399.14 c 399 293568 111871 1 - 0.0000 -
402.75/404.21 c 404 295125 112287 1 - 0.0000 -
407.73/409.27 c 409 296637 112620 1 - 0.0000 -
412.81/414.32 c 414 298261 113073 1 - 0.0000 -
417.80/419.38 c 419 299944 113523 1 - 0.0000 -
422.88/424.43 c 424 301552 113937 1 - 0.0000 -
427.97/429.51 c 430 303448 114854 1 - 0.0000 -
432.95/434.56 c 435 304996 115394 1 - 0.0000 -
438.03/439.61 c 440 306724 115811 1 - 0.0000 -
443.02/444.67 c 445 308407 116024 1 - 0.0000 -
448.10/449.72 c 450 310213 116594 1 - 0.0000 -
453.09/454.78 c 455 311980 117322 1 - 0.0000 -
458.17/459.83 c 460 313905 118382 1 - 0.0000 -
463.16/464.90 c 465 315470 118974 1 - 0.0000 -
468.24/469.98 c 470 316902 119353 1 - 0.0000 -
473.34/475.05 c 475 318289 119772 1 - 0.0000 -
478.42/480.12 c 480 319796 120153 1 - 0.0000 -
483.49/485.20 c 485 321335 120846 1 - 0.0000 -
488.49/490.25 c 490 322704 121158 1 - 0.0000 -
493.57/495.33 c 495 324137 121703 1 - 0.0000 -
498.55/500.39 c 500 325474 122008 1 - 0.0000 -
503.63/505.46 c 505 326911 122416 1 - 0.0000 -
508.72/510.52 c 511 328251 122759 1 - 0.0000 -
513.71/515.58 c 516 329418 123040 1 - 0.0000 -
518.79/520.69 c 521 330799 123474 1 - 0.0000 -
523.87/525.73 c 526 331987 123687 1 - 0.0000 -
528.96/530.80 c 531 333282 123883 1 - 0.0000 -
533.95/535.89 c 536 334929 124847 1 - 0.0000 -
539.03/540.96 c 541 336444 125394 1 - 0.0000 -
544.12/546.05 c 546 337717 125855 1 - 0.0000 -
549.10/551.11 c 551 339161 126268 1 - 0.0000 -
554.19/556.18 c 556 340229 126441 1 - 0.0000 -
559.27/561.25 c 561 341734 126907 1 - 0.0000 -
564.35/566.31 c 566 343129 127144 1 - 0.0000 -
569.33/571.38 c 571 344411 127381 1 - 0.0000 -
574.41/576.43 c 576 345753 127877 1 - 0.0000 -
579.39/581.49 c 582 346948 128129 1 - 0.0000 -
584.48/586.54 c 587 348800 128978 1 - 0.0000 -
589.56/591.60 c 592 350888 129753 1 - 0.0000 -
594.55/596.66 c 597 352907 130257 1 - 0.0000 -
599.63/601.72 c 602 354822 130816 1 - 0.0000 -
604.60/606.78 c 607 356826 131408 1 - 0.0000 -
609.68/611.82 c 612 359173 132058 1 - 0.0000 -
614.66/616.88 c 617 361253 132638 1 - 0.0000 -
619.75/621.94 c 622 363367 133418 1 - 0.0000 -
624.73/626.99 c 627 365362 133954 1 - 0.0000 -
629.82/632.03 c 632 366772 134272 1 - 0.0000 -
634.81/637.10 c 637 368273 134733 1 - 0.0000 -
639.89/642.17 c 642 369696 134929 1 - 0.0000 -
644.96/647.21 c 647 371133 135220 1 - 0.0000 -
649.94/652.27 c 652 372705 135579 1 - 0.0000 -
655.03/657.32 c 657 374346 136017 1 - 0.0000 -
660.00/662.37 c 662 376576 136573 1 - 0.0000 -
665.09/667.42 c 667 378549 137336 1 - 0.0000 -
670.07/672.47 c 672 380777 138286 1 - 0.0000 -
675.15/677.52 c 678 383068 138950 1 - 0.0000 -
680.13/682.58 c 683 385251 139967 1 - 0.0000 -
685.22/687.63 c 688 387500 141005 1 - 0.0000 -
690.19/692.69 c 693 389904 142013 1 - 0.0000 -
695.27/697.73 c 698 391938 142661 1 - 0.0000 -
700.35/702.81 c 703 394380 143706 1 - 0.0000 -
705.34/707.86 c 708 396681 144339 1 - 0.0000 -
710.42/712.91 c 713 398823 145009 1 - 0.0000 -
715.40/717.97 c 718 400983 145869 1 - 0.0000 -
720.49/723.02 c 723 403124 146568 1 - 0.0000 -
725.47/728.07 c 728 405286 147103 1 - 0.0000 -
730.56/733.12 c 733 407300 147547 1 - 0.0000 -
735.54/738.17 c 738 409536 148122 1 - 0.0000 -
740.61/743.23 c 743 411303 148640 1 - 0.0000 -
745.70/748.30 c 748 413071 149017 1 - 0.0000 -
750.68/753.37 c 753 414981 149557 1 - 0.0000 -
755.77/758.41 c 758 416634 149816 1 - 0.0000 -
760.76/763.46 c 763 418951 150684 1 - 0.0000 -
765.83/768.51 c 769 421281 152093 1 - 0.0000 -
770.82/773.56 c 774 423731 153313 1 - 0.0000 -
775.91/778.61 c 779 426242 154707 1 - 0.0000 -
780.89/783.67 c 784 428769 156009 1 - 0.0000 -
785.98/788.72 c 789 431144 157014 1 - 0.0000 -
790.97/793.78 c 794 433253 157905 1 - 0.0000 -
796.04/798.84 c 799 435477 158526 1 - 0.0000 -
801.03/803.89 c 804 437677 159386 1 - 0.0000 -
806.12/808.94 c 809 439457 159724 1 - 0.0000 -
811.10/813.99 c 814 441767 160462 1 - 0.0000 -
816.19/819.04 c 819 443739 161102 1 - 0.0000 -
821.18/824.09 c 824 445688 161757 1 - 0.0000 -
826.34/829.25 c 829 447838 162482 1 - 0.0000 -
831.43/834.30 c 834 449766 162968 1 - 0.0000 -
836.42/839.35 c 839 451758 163496 1 - 0.0000 -
841.50/844.42 c 844 453392 163944 1 - 0.0000 -
846.49/849.48 c 849 454798 164150 1 - 0.0000 -
851.57/854.54 c 855 456569 164691 1 - 0.0000 -
856.65/859.60 c 860 458606 165304 1 - 0.0000 -
861.64/864.66 c 865 460393 165601 1 - 0.0000 -
866.72/869.70 c 870 462156 166038 1 - 0.0000 -
871.71/874.75 c 875 463937 166369 1 - 0.0000 -
876.79/879.81 c 880 465546 166802 1 - 0.0000 -
881.78/884.89 c 885 467334 167530 1 - 0.0000 -
886.86/889.94 c 890 469155 168250 1 - 0.0000 -
891.85/894.99 c 895 470821 168951 1 - 0.0000 -
896.93/900.04 c 900 472554 169534 1 - 0.0000 -
901.91/905.10 c 905 474168 170027 1 - 0.0000 -
907.00/910.17 c 910 475720 170425 1 - 0.0000 -
912.07/915.22 c 915 477335 170755 1 - 0.0000 -
917.06/920.27 c 920 478935 171233 1 - 0.0000 -
922.14/925.35 c 925 480722 171854 1 - 0.0000 -
927.22/930.40 c 930 482309 172932 1 - 0.0000 -
932.21/935.47 c 935 483618 173222 1 - 0.0000 -
937.29/940.53 c 941 485505 173558 1 - 0.0000 -
942.28/945.58 c 946 486956 173943 1 - 0.0000 -
947.36/950.68 c 951 488372 174353 1 - 0.0000 -
952.45/955.72 c 956 490072 175251 1 - 0.0000 -
957.43/960.77 c 961 491903 176065 1 - 0.0000 -
962.52/965.82 c 966 493255 176528 1 - 0.0000 -
967.50/970.88 c 971 494550 176880 1 - 0.0000 -
972.58/975.93 c 976 495752 177195 1 - 0.0000 -
977.68/981.01 c 981 496941 177521 1 - 0.0000 -
982.65/986.06 c 986 498087 177707 1 - 0.0000 -
987.74/991.12 c 991 499244 177910 1 - 0.0000 -
992.72/996.16 c 996 500408 178078 1 - 0.0000 -
997.80/1001.22 c 1001 501529 178251 1 - 0.0000 -
1002.79/1006.29 c 1006 502638 178392 1 - 0.0000 -
1007.87/1011.37 c 1011 503644 178524 1 - 0.0000 -
1012.95/1016.42 c 1016 504972 178859 1 - 0.0000 -
1018.04/1021.50 c 1022 506601 179254 1 - 0.0000 -
1023.02/1026.55 c 1027 508202 179933 1 - 0.0000 -
1028.11/1031.62 c 1032 509797 180382 1 - 0.0000 -
1033.09/1036.68 c 1037 511120 180796 1 - 0.0000 -
1038.17/1041.74 c 1042 512312 181269 1 - 0.0000 -
1043.27/1046.81 c 1047 513680 181639 1 - 0.0000 -
1048.24/1051.90 c 1052 515041 182024 1 - 0.0000 -
1053.33/1057.01 c 1057 516397 182451 1 - 0.0000 -
1058.42/1062.06 c 1062 517678 182762 1 - 0.0000 -
1063.50/1067.12 c 1067 519247 183238 1 - 0.0000 -
1068.58/1072.21 c 1072 520467 183608 1 - 0.0000 -
1073.56/1077.27 c 1077 522043 184084 1 - 0.0000 -
1078.64/1082.36 c 1082 523592 185082 1 - 0.0000 -
1083.73/1087.41 c 1087 524732 185519 1 - 0.0000 -
1088.81/1092.51 c 1093 526066 186296 1 - 0.0000 -
1093.80/1097.56 c 1098 527525 186934 1 - 0.0000 -
1098.88/1102.62 c 1103 528834 187466 1 - 0.0000 -
1103.86/1107.66 c 1108 529902 187696 1 - 0.0000 -
1108.95/1112.77 c 1113 531057 188089 1 - 0.0000 -
1114.03/1117.84 c 1118 532300 188477 1 - 0.0000 -
1119.12/1122.91 c 1123 533680 188842 1 - 0.0000 -
1124.10/1127.95 c 1128 535003 189137 1 - 0.0000 -
1129.19/1133.02 c 1133 536267 189792 1 - 0.0000 -
1134.18/1138.06 c 1138 537560 190479 1 - 0.0000 -
1139.26/1143.12 c 1143 538820 190929 1 - 0.0000 -
1144.34/1148.20 c 1148 540036 191150 1 - 0.0000 -
1149.32/1153.25 c 1153 540944 191300 1 - 0.0000 -
1154.40/1158.31 c 1158 542139 191714 1 - 0.0000 -
1159.38/1163.38 c 1163 543171 191991 1 - 0.0000 -
1164.48/1168.45 c 1168 544070 192139 1 - 0.0000 -
1169.56/1173.52 c 1174 545198 192535 1 - 0.0000 -
1174.64/1178.62 c 1179 546140 192736 1 - 0.0000 -
1179.72/1183.70 c 1184 547005 192803 1 - 0.0000 -
1184.81/1188.84 c 1189 548186 193209 1 - 0.0000 -
1189.90/1193.90 c 1194 549240 193504 1 - 0.0000 -
1194.88/1198.96 c 1199 550242 193723 1 - 0.0000 -
1199.97/1204.06 c 1204 551384 194263 1 - 0.0000 -
1205.06/1209.12 c 1209 552196 194370 1 - 0.0000 -
1210.04/1214.19 c 1214 553220 194543 1 - 0.0000 -
1215.12/1219.26 c 1219 554323 194834 1 - 0.0000 -
1220.20/1224.35 c 1224 555353 195162 1 - 0.0000 -
1225.28/1229.41 c 1229 556193 195253 1 - 0.0000 -
1230.28/1234.46 c 1234 557383 195481 1 - 0.0000 -
1235.36/1239.53 c 1240 558416 195668 1 - 0.0000 -
1240.45/1244.61 c 1245 559581 195961 1 - 0.0000 -
1245.43/1249.67 c 1250 560756 196040 1 - 0.0000 -
1250.51/1254.79 c 1255 561964 196667 1 - 0.0000 -
1255.60/1259.87 c 1260 563176 196975 1 - 0.0000 -
1260.68/1264.95 c 1265 564144 197231 1 - 0.0000 -
1265.77/1270.08 c 1270 565193 197805 1 - 0.0000 -
1270.86/1275.14 c 1275 566414 198328 1 - 0.0000 -
1275.93/1280.21 c 1280 567675 198846 1 - 0.0000 -
1281.01/1285.31 c 1285 568502 199017 1 - 0.0000 -
1286.00/1290.37 c 1290 569581 199365 1 - 0.0000 -
1291.08/1295.45 c 1295 570589 199657 1 - 0.0000 -
1296.17/1300.53 c 1301 571707 199925 1 - 0.0000 -
1301.25/1305.63 c 1306 572835 200213 1 - 0.0000 -
1306.33/1310.70 c 1311 574176 200846 1 - 0.0000 -
1311.32/1315.76 c 1316 575672 201693 1 - 0.0000 -
1316.41/1320.87 c 1321 576603 201924 1 - 0.0000 -
1321.49/1325.93 c 1326 577796 202353 1 - 0.0000 -
1326.47/1330.99 c 1331 579163 202717 1 - 0.0000 -
1331.56/1336.05 c 1336 580564 203026 1 - 0.0000 -
1336.66/1341.15 c 1341 581558 203350 1 - 0.0000 -
1341.64/1346.19 c 1346 582621 203590 1 - 0.0000 -
1346.71/1351.27 c 1351 583722 203895 1 - 0.0000 -
1351.79/1356.35 c 1356 584724 204231 1 - 0.0000 -
1356.88/1361.42 c 1361 585685 204611 1 - 0.0000 -
1361.87/1366.49 c 1366 586812 204995 1 - 0.0000 -
1366.95/1371.55 c 1372 588063 205663 1 - 0.0000 -
1372.03/1376.66 c 1377 589144 206144 1 - 0.0000 -
1377.12/1381.76 c 1382 589987 206272 1 - 0.0000 -
1382.20/1386.81 c 1387 590927 206515 1 - 0.0000 -
1387.18/1391.88 c 1392 592003 206784 1 - 0.0000 -
1392.27/1396.92 c 1397 593105 206953 1 - 0.0000 -
1397.35/1402.01 c 1402 594252 207400 1 - 0.0000 -
1402.33/1407.09 c 1407 595277 207674 1 - 0.0000 -
1407.42/1412.17 c 1412 596499 208013 1 - 0.0000 -
1412.48/1417.25 c 1417 598044 208535 1 - 0.0000 -
1417.56/1422.31 c 1422 599619 209175 1 - 0.0000 -
1422.54/1427.35 c 1427 601173 209516 1 - 0.0000 -
1427.63/1432.40 c 1432 602488 209786 1 - 0.0000 -
1432.61/1437.46 c 1437 603859 210088 1 - 0.0000 -
1437.70/1442.50 c 1443 605319 210563 1 - 0.0000 -
1442.68/1447.58 c 1448 606931 211035 1 - 0.0000 -
1447.77/1452.65 c 1453 608378 211505 1 - 0.0000 -
1452.85/1457.71 c 1458 609826 211929 1 - 0.0000 -
1457.84/1462.79 c 1463 611117 212160 1 - 0.0000 -
1462.92/1467.85 c 1468 612393 212469 1 - 0.0000 -
1468.00/1472.90 c 1473 613585 212761 1 - 0.0000 -
1472.99/1477.96 c 1478 614835 213043 1 - 0.0000 -
1478.08/1483.02 c 1483 616060 213361 1 - 0.0000 -
1483.06/1488.08 c 1488 617298 213590 1 - 0.0000 -
1488.15/1493.15 c 1493 618876 214458 1 - 0.0000 -
1493.22/1498.21 c 1498 620344 214958 1 - 0.0000 -
1498.20/1503.26 c 1503 621715 215359 1 - 0.0000 -
1503.29/1508.35 c 1508 623208 216113 1 - 0.0000 -
1508.37/1513.42 c 1513 624648 216940 1 - 0.0000 -
1513.36/1518.48 c 1518 625803 217459 1 - 0.0000 -
1518.44/1523.59 c 1524 627060 217836 1 - 0.0000 -
1523.52/1528.64 c 1529 628607 218313 1 - 0.0000 -
1528.51/1533.69 c 1534 630044 218928 1 - 0.0000 -
1533.60/1538.75 c 1539 631448 219372 1 - 0.0000 -
1538.68/1543.86 c 1544 632795 219937 1 - 0.0000 -
1543.77/1548.91 c 1549 633970 220196 1 - 0.0000 -
1548.75/1553.96 c 1554 635468 220742 1 - 0.0000 -
1553.84/1559.02 c 1559 636580 220969 1 - 0.0000 -
1558.82/1564.06 c 1564 637921 221316 1 - 0.0000 -
1563.91/1569.13 c 1569 639152 221618 1 - 0.0000 -
1568.98/1574.22 c 1574 640283 221947 1 - 0.0000 -
1573.97/1579.28 c 1579 641810 222909 1 - 0.0000 -
1579.05/1584.35 c 1584 643394 223667 1 - 0.0000 -
1584.13/1589.41 c 1589 644942 224460 1 - 0.0000 -
1589.13/1594.46 c 1594 646236 224905 1 - 0.0000 -
1594.21/1599.52 c 1600 647332 225146 1 - 0.0000 -
1599.19/1604.59 c 1605 648741 225528 1 - 0.0000 -
1604.28/1609.65 c 1610 650111 225930 1 - 0.0000 -
1609.37/1614.74 c 1615 651450 226238 1 - 0.0000 -
1614.45/1619.82 c 1620 652858 226494 1 - 0.0000 -
1619.44/1624.89 c 1625 654302 226914 1 - 0.0000 -
1624.52/1629.95 c 1630 655633 227197 1 - 0.0000 -
1629.62/1635.02 c 1635 657105 227682 1 - 0.0000 -
1634.60/1640.10 c 1640 658292 228041 1 - 0.0000 -
1639.68/1645.17 c 1645 659577 228252 1 - 0.0000 -
1644.76/1650.22 c 1650 660833 228573 1 - 0.0000 -
1649.74/1655.28 c 1655 661770 228653 1 - 0.0000 -
1654.83/1660.33 c 1660 662954 229141 1 - 0.0000 -
1659.82/1665.38 c 1665 664351 229524 1 - 0.0000 -
1664.89/1670.43 c 1670 665457 229781 1 - 0.0000 -
1669.88/1675.49 c 1675 666808 230060 1 - 0.0000 -
1674.96/1680.57 c 1681 668033 230440 1 - 0.0000 -
1680.05/1685.63 c 1686 669258 230850 1 - 0.0000 -
1685.13/1690.71 c 1691 670564 231233 1 - 0.0000 -
1690.12/1695.78 c 1696 671505 231374 1 - 0.0000 -
1695.21/1700.83 c 1701 673077 231745 1 - 0.0000 -
1700.19/1705.88 c 1706 674266 232113 1 - 0.0000 -
1705.28/1710.93 c 1711 675566 232494 1 - 0.0000 -
1710.36/1716.01 c 1716 676970 232782 1 - 0.0000 -
1715.34/1721.11 c 1721 678011 232925 1 - 0.0000 -
1720.43/1726.16 c 1726 679116 233321 1 - 0.0000 -
1725.50/1731.22 c 1731 680741 234158 1 - 0.0000 -
1730.49/1736.29 c 1736 681908 234400 1 - 0.0000 -
1735.57/1741.37 c 1741 683184 234704 1 - 0.0000 -
1740.66/1746.45 c 1746 684607 235312 1 - 0.0000 -
1745.74/1751.50 c 1752 685935 235708 1 - 0.0000 -
1750.73/1756.58 c 1757 687191 236035 1 - 0.0000 -
1755.81/1761.64 c 1762 688480 236328 1 - 0.0000 -
1760.90/1766.72 c 1767 689509 236585 1 - 0.0000 -
1765.88/1771.78 c 1772 690605 236829 1 - 0.0000 -
1770.97/1776.86 c 1777 691827 237188 1 - 0.0000 -
1776.05/1781.92 c 1782 692949 237480 1 - 0.0000 -
1781.04/1786.97 c 1787 694152 237783 1 - 0.0000 -
1786.12/1792.03 c 1792 695213 238160 1 - 0.0000 -
1791.11/1797.10 c 1797 696490 238563 1 - 0.0000 -
1796.19/1802.18 c 1802 697664 239039 1 - 0.0000 -
1801.26/1807.23 c 1807 698660 239328 1 - 0.0000 -
1806.24/1812.29 c 1812 699687 239559 1 - 0.0000 -
1811.33/1817.34 c 1817 700803 239929 1 - 0.0000 -
1816.42/1822.43 c 1822 701896 240328 1 - 0.0000 -
1821.40/1827.47 c 1827 702978 240710 1 - 0.0000 -
1826.49/1832.56 c 1833 703928 240967 1 - 0.0000 -
1831.57/1837.68 c 1838 705142 241374 1 - 0.0000 -
1836.66/1842.73 c 1843 706398 241671 1 - 0.0000 -
1841.73/1847.84 c 1848 707609 242089 1 - 0.0000 -
1846.82/1852.90 c 1853 708772 242384 1 - 0.0000 -
1851.81/1857.96 c 1858 710594 242885 1 - 0.0000 -
1856.89/1863.03 c 1863 711712 243301 1 - 0.0000 -
1861.88/1868.10 c 1868 712698 243568 1 - 0.0000 -
1866.96/1873.18 c 1873 713917 243981 1 - 0.0000 -
1872.04/1878.23 c 1878 715097 244319 1 - 0.0000 -
1877.02/1883.29 c 1883 716320 244669 1 - 0.0000 -
1882.10/1888.36 c 1888 717170 244725 1 - 0.0000 -
1887.19/1893.41 c 1893 718418 245026 1 - 0.0000 -
1892.17/1898.46 c 1898 719516 245307 1 - 0.0000 -
1897.26/1903.51 c 1904 720601 245589 1 - 0.0000 -
1902.24/1908.56 c 1909 721770 246020 1 - 0.0000 -
1907.32/1913.62 c 1914 723021 246445 1 - 0.0000 -
1912.30/1918.68 c 1919 724126 246741 1 - 0.0000 -
1917.49/1923.81 c 1924 725146 247090 1 - 0.0000 -
1922.48/1928.88 c 1929 726087 247311 1 - 0.0000 -
1927.56/1933.95 c 1934 726957 247494 1 - 0.0000 -
1932.65/1939.01 c 1939 727768 247623 1 - 0.0000 -
1937.63/1944.10 c 1944 728598 247793 1 - 0.0000 -
1942.72/1949.17 c 1949 729398 247854 1 - 0.0000 -
1947.79/1954.25 c 1954 730144 247939 1 - 0.0000 -
1952.87/1959.31 c 1959 731090 248220 1 - 0.0000 -
1957.86/1964.38 c 1964 732085 248524 1 - 0.0000 -
1962.94/1969.46 c 1969 732878 248626 1 - 0.0000 -
1968.03/1974.53 c 1975 734011 249119 1 - 0.0000 -
1973.01/1979.58 c 1980 735140 249336 1 - 0.0000 -
1978.09/1984.65 c 1985 736132 249599 1 - 0.0000 -
1983.18/1989.70 c 1990 737213 249948 1 - 0.0000 -
1988.17/1994.76 c 1995 738415 250293 1 - 0.0000 -
1993.25/1999.85 c 2000 739411 250552 1 - 0.0000 -
1998.34/2004.92 c 2005 740299 250814 1 - 0.0000 -
2003.32/2010.01 c 2010 741321 251168 1 - 0.0000 -
2008.51/2015.15 c 2015 742372 251406 1 - 0.0000 -
2013.58/2020.23 c 2020 743507 251765 1 - 0.0000 -
2018.67/2025.31 c 2025 744441 252005 1 - 0.0000 -
2023.76/2030.46 c 2030 745343 252272 1 - 0.0000 -
2028.84/2035.54 c 2036 746444 252711 1 - 0.0000 -
2033.92/2040.61 c 2041 747340 252901 1 - 0.0000 -
2038.91/2045.69 c 2046 748324 253125 1 - 0.0000 -
2043.99/2050.75 c 2051 749314 253457 1 - 0.0000 -
2049.08/2055.84 c 2056 750370 253871 1 - 0.0000 -
2054.15/2060.90 c 2061 751341 254131 1 - 0.0000 -
2059.15/2065.96 c 2066 752213 254287 1 - 0.0000 -
2064.24/2071.03 c 2071 753256 254575 1 - 0.0000 -
2069.22/2076.10 c 2076 754409 254710 1 - 0.0000 -
2074.31/2081.17 c 2081 755335 254935 1 - 0.0000 -
2079.38/2086.25 c 2086 756230 255203 1 - 0.0000 -
2084.46/2091.33 c 2091 757264 255499 1 - 0.0000 -
2089.54/2096.42 c 2096 758129 255713 1 - 0.0000 -
2094.53/2101.49 c 2102 758862 255798 1 - 0.0000 -
2099.61/2106.56 c 2107 759764 256032 1 - 0.0000 -
2104.70/2111.66 c 2112 760771 256208 1 - 0.0000 -
2109.78/2116.75 c 2117 761686 256471 1 - 0.0000 -
2114.87/2121.84 c 2122 762612 256699 1 - 0.0000 -
2119.95/2126.91 c 2127 763623 256966 1 - 0.0000 -
2124.93/2132.01 c 2132 764568 257398 1 - 0.0000 -
2130.13/2137.12 c 2137 765529 257891 1 - 0.0000 -
2135.20/2142.22 c 2142 766640 258257 1 - 0.0000 -
2140.18/2147.28 c 2147 767531 258720 1 - 0.0000 -
2145.27/2152.33 c 2152 768417 259063 1 - 0.0000 -
2150.35/2157.45 c 2157 769311 259614 1 - 0.0000 -
2155.44/2162.59 c 2163 770024 259961 1 - 0.0000 -
2160.52/2167.66 c 2168 770705 260199 1 - 0.0000 -
2165.60/2172.75 c 2173 771350 260368 1 - 0.0000 -
2170.79/2177.91 c 2178 772048 260515 1 - 0.0000 -
2175.77/2183.01 c 2183 772849 260770 1 - 0.0000 -
2180.97/2188.13 c 2188 773546 260913 1 - 0.0000 -
2185.96/2193.19 c 2193 774226 261033 1 - 0.0000 -
2191.13/2198.32 c 2198 774843 260998 1 - 0.0000 -
2196.11/2203.37 c 2203 775551 261157 1 - 0.0000 -
2201.19/2208.46 c 2208 776271 261320 1 - 0.0000 -
2206.28/2213.53 c 2214 776822 261300 1 - 0.0000 -
2211.36/2218.64 c 2219 777497 261367 1 - 0.0000 -
2216.45/2223.72 c 2224 778261 261544 1 - 0.0000 -
2221.43/2228.79 c 2229 779121 261884 1 - 0.0000 -
2226.52/2233.89 c 2234 779976 262130 1 - 0.0000 -
2231.60/2238.96 c 2239 780906 262344 1 - 0.0000 -
2236.68/2244.04 c 2244 781554 262490 1 - 0.0000 -
2241.66/2249.10 c 2249 782249 262640 1 - 0.0000 -
2246.76/2254.19 c 2254 782970 262746 1 - 0.0000 -
2251.82/2259.26 c 2259 783791 262842 1 - 0.0000 -
2256.91/2264.31 c 2264 784448 262874 1 - 0.0000 -
2261.90/2269.38 c 2269 785142 262988 1 - 0.0000 -
2266.98/2274.43 c 2274 785835 263103 1 - 0.0000 -
2272.06/2279.52 c 2280 786463 263188 1 - 0.0000 -
2277.14/2284.63 c 2285 787018 263248 1 - 0.0000 -
2282.13/2289.69 c 2290 787558 263295 1 - 0.0000 -
2287.21/2294.76 c 2295 788142 263357 1 - 0.0000 -
2292.29/2299.86 c 2300 788953 263416 1 - 0.0000 -
2297.37/2305.00 c 2305 789604 263567 1 - 0.0000 -
2302.46/2310.08 c 2310 790309 263711 1 - 0.0000 -
2307.54/2315.12 c 2315 791159 263964 1 - 0.0000 -
2312.61/2320.20 c 2320 792044 264158 1 - 0.0000 -
2317.59/2325.27 c 2325 792962 264316 1 - 0.0000 -
2322.67/2330.34 c 2330 793710 264441 1 - 0.0000 -
2327.76/2335.40 c 2335 794465 264588 1 - 0.0000 -
2332.73/2340.49 c 2340 795366 264785 1 - 0.0000 -
2337.82/2345.57 c 2346 796223 265135 1 - 0.0000 -
2342.90/2350.65 c 2351 797205 265488 1 - 0.0000 -
2348.18/2356.01 c 2356 798566 266129 1 - 0.0000 -
2353.28/2361.07 c 2361 799698 266618 1 - 0.0000 -
2358.36/2366.15 c 2366 800602 266936 1 - 0.0000 -
2363.43/2371.23 c 2371 801342 267134 1 - 0.0000 -
2368.42/2376.29 c 2376 802077 267337 1 - 0.0000 -
2373.50/2381.37 c 2381 802943 267655 1 - 0.0000 -
2378.59/2386.47 c 2386 803748 267884 1 - 0.0000 -
2383.67/2391.54 c 2392 804730 268294 1 - 0.0000 -
2388.76/2396.62 c 2397 805580 268559 1 - 0.0000 -
2393.84/2401.71 c 2402 806357 268691 1 - 0.0000 -
2398.82/2406.77 c 2407 807143 268823 1 - 0.0000 -
2403.89/2411.86 c 2412 807835 268965 1 - 0.0000 -
2408.99/2416.94 c 2417 808569 269090 1 - 0.0000 -
2414.07/2422.01 c 2422 809209 269167 1 - 0.0000 -
2419.05/2427.07 c 2427 809995 269333 1 - 0.0000 -
2424.13/2432.15 c 2432 810726 269417 1 - 0.0000 -
2429.21/2437.25 c 2437 811536 269560 1 - 0.0000 -
2434.29/2442.31 c 2442 812185 269667 1 - 0.0000 -
2439.38/2447.40 c 2447 812941 269792 1 - 0.0000 -
2444.36/2452.47 c 2452 813603 269828 1 - 0.0000 -
2449.46/2457.55 c 2458 814330 269878 1 - 0.0000 -
2454.54/2462.64 c 2463 815066 270011 1 - 0.0000 -
2459.52/2467.70 c 2468 815836 270052 1 - 0.0000 -
2464.61/2472.74 c 2473 816564 270184 1 - 0.0000 -
2469.69/2477.81 c 2478 817288 270309 1 - 0.0000 -
2474.78/2482.93 c 2483 817910 270355 1 - 0.0000 -
2479.76/2487.99 c 2488 818567 270403 1 - 0.0000 -
2484.86/2493.06 c 2493 819421 270578 1 - 0.0000 -
2489.94/2498.14 c 2498 820075 270654 1 - 0.0000 -
2494.92/2503.19 c 2503 820778 270714 1 - 0.0000 -
2499.99/2508.24 c 2508 821455 270761 1 - 0.0000 -
2505.09/2513.34 c 2513 822161 270818 1 - 0.0000 -
2510.17/2518.43 c 2518 822772 270859 1 - 0.0000 -
2515.16/2523.48 c 2523 823430 270954 1 - 0.0000 -
2520.24/2528.54 c 2529 824279 271220 1 - 0.0000 -
2525.32/2533.61 c 2534 825028 271355 1 - 0.0000 -
2530.31/2538.66 c 2539 825847 271580 1 - 0.0000 -
2535.40/2543.73 c 2544 826519 271654 1 - 0.0000 -
2540.39/2548.79 c 2549 827255 271805 1 - 0.0000 -
2545.47/2553.87 c 2554 827925 271877 1 - 0.0000 -
2550.55/2558.94 c 2559 828512 271928 1 - 0.0000 -
2555.64/2564.05 c 2564 829206 272053 1 - 0.0000 -
2560.63/2569.10 c 2569 830007 272253 1 - 0.0000 -
2565.71/2574.17 c 2574 830638 272338 1 - 0.0000 -
2570.78/2579.26 c 2579 831339 272393 1 - 0.0000 -
2575.87/2584.38 c 2584 832056 272546 1 - 0.0000 -
2580.96/2589.43 c 2589 832750 272629 1 - 0.0000 -
2586.04/2594.53 c 2595 833394 272667 1 - 0.0000 -
2591.13/2599.60 c 2600 834074 272785 1 - 0.0000 -
2596.11/2604.69 c 2605 834762 272860 1 - 0.0000 -
2601.20/2609.76 c 2610 835395 272871 1 - 0.0000 -
2606.28/2614.84 c 2615 836042 272918 1 - 0.0000 -
2611.37/2619.91 c 2620 836718 273000 1 - 0.0000 -
2616.36/2624.98 c 2625 837528 273161 1 - 0.0000 -
2621.45/2630.02 c 2630 838459 273409 1 - 0.0000 -
2626.54/2635.13 c 2635 839434 273662 1 - 0.0000 -
2631.60/2640.20 c 2640 840595 274060 1 - 0.0000 -
2636.59/2645.26 c 2645 841698 274271 1 - 0.0000 -
2641.67/2650.34 c 2650 842635 274485 1 - 0.0000 -
2646.66/2655.39 c 2655 843553 274707 1 - 0.0000 -
2651.74/2660.44 c 2660 844379 274978 1 - 0.0000 -
2656.83/2665.53 c 2666 845137 275195 1 - 0.0000 -
2661.82/2670.58 c 2671 845843 275336 1 - 0.0000 -
2666.90/2675.67 c 2676 846567 275477 1 - 0.0000 -
2671.99/2680.74 c 2681 847339 275661 1 - 0.0000 -
2677.07/2685.85 c 2686 848031 275809 1 - 0.0000 -
2682.15/2690.92 c 2691 848784 275911 1 - 0.0000 -
2687.14/2695.98 c 2696 849583 276323 1 - 0.0000 -
2692.24/2701.07 c 2701 850487 276719 1 - 0.0000 -
2697.33/2706.14 c 2706 851326 277018 1 - 0.0000 -
2702.40/2711.27 c 2711 851957 277165 1 - 0.0000 -
2707.48/2716.35 c 2716 852637 277384 1 - 0.0000 -
2712.57/2721.45 c 2721 853370 277536 1 - 0.0000 -
2717.65/2726.55 c 2727 854010 277692 1 - 0.0000 -
2722.74/2731.64 c 2732 854708 277961 1 - 0.0000 -
2727.83/2736.76 c 2737 855326 278082 1 - 0.0000 -
2732.91/2741.90 c 2742 856066 278323 1 - 0.0000 -
2738.10/2747.04 c 2747 856677 278400 1 - 0.0000 -
2743.20/2752.12 c 2752 857257 278532 1 - 0.0000 -
2748.18/2757.18 c 2757 857889 278684 1 - 0.0000 -
2753.25/2762.27 c 2762 858565 278848 1 - 0.0000 -
2758.43/2767.43 c 2767 859265 279010 1 - 0.0000 -
2763.52/2772.53 c 2773 859811 279044 1 - 0.0000 -
2768.61/2777.66 c 2778 860425 279114 1 - 0.0000 -
2773.69/2782.71 c 2783 860982 279191 1 - 0.0000 -
2778.78/2787.81 c 2788 861589 279260 1 - 0.0000 -
2783.77/2792.89 c 2793 862184 279404 1 - 0.0000 -
2788.84/2797.96 c 2798 862785 279498 1 - 0.0000 -
2793.94/2803.03 c 2803 863441 279693 1 - 0.0000 -
2799.02/2808.12 c 2808 864218 280032 1 - 0.0000 -
2804.00/2813.19 c 2813 865013 280152 1 - 0.0000 -
2809.08/2818.28 c 2818 865757 280322 1 - 0.0000 -
2814.27/2823.45 c 2823 866582 280699 1 - 0.0000 -
2819.35/2828.53 c 2829 867288 280888 1 - 0.0000 -
2824.43/2833.61 c 2834 867993 281139 1 - 0.0000 -
2829.52/2838.74 c 2839 868894 281692 1 - 0.0000 -
2834.60/2843.80 c 2844 869643 281895 1 - 0.0000 -
2839.69/2848.90 c 2849 870242 281990 1 - 0.0000 -
2844.67/2853.97 c 2854 870916 282220 1 - 0.0000 -
2849.77/2859.05 c 2859 871802 282647 1 - 0.0000 -
2854.86/2864.13 c 2864 872599 282964 1 - 0.0000 -
2859.93/2869.20 c 2869 873357 283151 1 - 0.0000 -
2865.02/2874.31 c 2874 874297 283630 1 - 0.0000 -
2870.10/2879.42 c 2879 875111 283882 1 - 0.0000 -
2875.18/2884.51 c 2885 875815 284063 1 - 0.0000 -
2880.27/2889.60 c 2890 876472 284213 1 - 0.0000 -
2885.25/2894.68 c 2895 877015 284250 1 - 0.0000 -
2890.35/2899.76 c 2900 877558 284286 1 - 0.0000 -
2895.43/2904.83 c 2905 878348 284686 1 - 0.0000 -
2900.51/2909.93 c 2910 878969 284761 1 - 0.0000 -
2905.61/2915.01 c 2915 879636 284876 1 - 0.0000 -
2910.69/2920.15 c 2920 880305 285024 1 - 0.0000 -
2915.77/2925.23 c 2925 880906 285158 1 - 0.0000 -
2920.86/2930.39 c 2930 881609 285418 1 - 0.0000 -
2925.94/2935.46 c 2935 882158 285509 1 - 0.0000 -
2931.02/2940.55 c 2941 882842 285704 1 - 0.0000 -
2936.10/2945.61 c 2946 883409 285830 1 - 0.0000 -
2941.10/2950.69 c 2951 884222 286114 1 - 0.0000 -
2946.28/2955.87 c 2956 884848 286169 1 - 0.0000 -
2951.36/2960.96 c 2961 885381 286218 1 - 0.0000 -
2956.46/2966.05 c 2966 885892 286260 1 - 0.0000 -
2961.55/2971.11 c 2971 886631 286492 1 - 0.0000 -
2966.54/2976.16 c 2976 887343 286633 1 - 0.0000 -
2971.61/2981.26 c 2981 887999 286764 1 - 0.0000 -
2976.69/2986.36 c 2986 888578 286787 1 - 0.0000 -
2981.78/2991.40 c 2991 889229 286894 1 - 0.0000 -
2986.86/2996.52 c 2997 889791 286947 1 - 0.0000 -
2991.85/3001.58 c 3002 890322 287003 1 - 0.0000 -
2996.94/3006.68 c 3007 890857 287016 1 - 0.0000 -
3002.02/3011.78 c 3012 891433 287085 1 - 0.0000 -
3007.10/3016.83 c 3017 892084 287221 1 - 0.0000 -
3012.18/3021.93 c 3022 892680 287283 1 - 0.0000 -
3017.17/3026.99 c 3027 893407 287504 1 - 0.0000 -
3022.37/3032.17 c 3032 893975 287603 1 - 0.0000 -
3027.44/3037.26 c 3037 894772 287854 1 - 0.0000 -
3032.53/3042.35 c 3042 895381 287990 1 - 0.0000 -
3037.62/3047.42 c 3047 896020 288128 1 - 0.0000 -
3042.70/3052.59 c 3053 896692 288313 1 - 0.0000 -
3047.79/3057.65 c 3058 897381 288472 1 - 0.0000 -
3052.97/3062.83 c 3063 897971 288582 1 - 0.0000 -
3058.05/3067.94 c 3068 898694 288761 1 - 0.0000 -
3063.15/3073.04 c 3073 899518 289014 1 - 0.0000 -
3068.23/3078.13 c 3078 900252 289132 1 - 0.0000 -
3073.30/3083.28 c 3083 900890 289291 1 - 0.0000 -
3078.39/3088.38 c 3088 901610 289441 1 - 0.0000 -
3083.48/3093.43 c 3093 902214 289546 1 - 0.0000 -
3088.56/3098.53 c 3099 902734 289566 1 - 0.0000 -
3093.64/3103.63 c 3104 903301 289609 1 - 0.0000 -
3098.73/3108.73 c 3109 903809 289689 1 - 0.0000 -
3103.82/3113.84 c 3114 904423 289772 1 - 0.0000 -
3108.89/3118.90 c 3119 905165 289896 1 - 0.0000 -
3113.89/3123.99 c 3124 905917 290041 1 - 0.0000 -
3118.98/3129.06 c 3129 906639 290248 1 - 0.0000 -
3124.16/3134.24 c 3134 907145 290335 1 - 0.0000 -
3129.14/3139.28 c 3139 907886 290673 1 - 0.0000 -
3134.22/3144.38 c 3144 908635 290906 1 - 0.0000 -
3139.31/3149.44 c 3149 909365 291095 1 - 0.0000 -
3144.39/3154.51 c 3155 910010 291282 1 - 0.0000 -
3149.38/3159.56 c 3160 910578 291437 1 - 0.0000 -
3154.47/3164.67 c 3165 911097 291494 1 - 0.0000 -
3159.55/3169.76 c 3170 911710 291678 1 - 0.0000 -
3164.63/3174.83 c 3175 912339 291816 1 - 0.0000 -
3169.72/3180.01 c 3180 913051 291974 1 - 0.0000 -
3174.81/3185.09 c 3185 913761 292067 1 - 0.0000 -
3179.90/3190.19 c 3190 914350 292193 1 - 0.0000 -
3184.98/3195.24 c 3195 915034 292352 1 - 0.0000 -
3190.06/3200.32 c 3200 915816 292659 1 - 0.0000 -
3195.14/3205.46 c 3205 916484 292770 1 - 0.0000 -
3200.22/3210.58 c 3211 917136 292944 1 - 0.0000 -
3205.31/3215.68 c 3216 917782 293122 1 - 0.0000 -
3210.50/3220.84 c 3221 918477 293273 1 - 0.0000 -
3215.58/3225.94 c 3226 919043 293355 1 - 0.0000 -
3220.68/3231.07 c 3231 919604 293511 1 - 0.0000 -
3225.85/3236.20 c 3236 920306 293832 1 - 0.0000 -
3230.93/3241.36 c 3241 920966 294153 1 - 0.0000 -
3236.02/3246.48 c 3246 921625 294352 1 - 0.0000 -
3241.21/3251.65 c 3252 922217 294572 1 - 0.0000 -
3246.30/3256.71 c 3257 922776 294683 1 - 0.0000 -
3251.28/3261.79 c 3262 923694 295059 1 - 0.0000 -
3256.36/3266.87 c 3267 924327 295247 1 - 0.0000 -
3261.56/3272.01 c 3272 924993 295405 1 - 0.0000 -
3266.55/3277.11 c 3277 925634 295635 1 - 0.0000 -
3271.64/3282.18 c 3282 926228 295817 1 - 0.0000 -
3276.71/3287.30 c 3287 926899 295954 1 - 0.0000 -
3281.89/3292.44 c 3292 927411 296033 1 - 0.0000 -
3286.98/3297.52 c 3298 928027 296243 1 - 0.0000 -
3292.06/3302.64 c 3303 928563 296381 1 - 0.0000 -
3297.15/3307.73 c 3308 929245 296605 1 - 0.0000 -
3302.23/3312.83 c 3313 929996 296901 1 - 0.0000 -
3307.31/3317.92 c 3318 930649 297092 1 - 0.0000 -
3312.31/3322.98 c 3323 931317 297279 1 - 0.0000 -
3317.40/3328.05 c 3328 931834 297367 1 - 0.0000 -
3322.48/3333.18 c 3333 932296 297423 1 - 0.0000 -
3327.55/3338.28 c 3338 932831 297473 1 - 0.0000 -
3332.65/3343.38 c 3343 933451 297627 1 - 0.0000 -
3337.73/3348.46 c 3348 934018 297741 1 - 0.0000 -
3342.81/3353.55 c 3354 934648 297900 1 - 0.0000 -
3347.90/3358.63 c 3359 935336 298052 1 - 0.0000 -
3352.87/3363.68 c 3364 936279 298388 1 - 0.0000 -
3358.06/3368.80 c 3369 936879 298474 1 - 0.0000 -
3363.14/3373.94 c 3374 937584 298666 1 - 0.0000 -
3368.23/3379.01 c 3379 938488 298971 1 - 0.0000 -
3373.33/3384.12 c 3384 939147 299113 1 - 0.0000 -
3378.31/3389.19 c 3389 939819 299253 1 - 0.0000 -
3383.38/3394.28 c 3394 940751 299416 1 - 0.0000 -
3388.46/3399.35 c 3399 941484 299679 1 - 0.0000 -
3393.55/3404.42 c 3404 942212 299949 1 - 0.0000 -
3398.64/3409.53 c 3410 943066 300178 1 - 0.0000 -
3403.71/3414.60 c 3415 944041 300402 1 - 0.0000 -
3408.79/3419.73 c 3420 944843 300670 1 - 0.0000 -
3413.89/3424.82 c 3425 945726 300748 1 - 0.0000 -
3418.97/3429.95 c 3430 946622 301033 1 - 0.0000 -
3424.06/3435.02 c 3435 947391 301335 1 - 0.0000 -
3429.15/3440.15 c 3440 948016 301561 1 - 0.0000 -
3434.22/3445.25 c 3445 948864 301834 1 - 0.0000 -
3439.31/3450.39 c 3450 949554 301922 1 - 0.0000 -
3444.39/3455.46 c 3455 950252 302096 1 - 0.0000 -
3449.48/3460.52 c 3461 950892 302307 1 - 0.0000 -
3454.47/3465.57 c 3466 951494 302400 1 - 0.0000 -
3459.55/3470.68 c 3471 952126 302552 1 - 0.0000 -
3464.64/3475.74 c 3476 952737 302642 1 - 0.0000 -
3469.73/3480.81 c 3481 953590 302792 1 - 0.0000 -
3474.81/3485.96 c 3486 954217 302933 1 - 0.0000 -
3479.90/3491.02 c 3491 954844 303015 1 - 0.0000 -
3485.00/3496.13 c 3496 955571 303102 1 - 0.0000 -
3490.07/3501.21 c 3501 956176 303196 1 - 0.0000 -
3495.05/3506.29 c 3506 956905 303429 1 - 0.0000 -
3500.14/3511.35 c 3511 957928 303693 1 - 0.0000 -
3505.22/3516.45 c 3516 958830 303944 1 - 0.0000 -
3510.32/3521.53 c 3522 959402 304035 1 - 0.0000 -
3515.30/3526.59 c 3527 960098 304202 1 - 0.0000 -
3520.39/3531.68 c 3532 960897 304478 1 - 0.0000 -
3525.47/3536.75 c 3537 961619 304692 1 - 0.0000 -
3530.56/3541.87 c 3542 962296 304781 1 - 0.0000 -
3535.64/3546.95 c 3547 963048 304955 1 - 0.0000 -
3540.74/3552.01 c 3552 963844 305088 1 - 0.0000 -
3545.83/3557.15 c 3557 964522 305222 1 - 0.0000 -
3550.90/3562.23 c 3562 965227 305381 1 - 0.0000 -
3555.99/3567.30 c 3567 965858 305518 1 - 0.0000 -
3561.07/3572.49 c 3572 966622 305692 1 - 0.0000 -
3566.16/3577.57 c 3578 967329 305879 1 - 0.0000 -
3571.25/3582.65 c 3583 968062 306127 1 - 0.0000 -
3576.33/3587.76 c 3588 968728 306323 1 - 0.0000 -
3581.41/3592.87 c 3593 969276 306366 1 - 0.0000 -
3586.51/3597.94 c 3598 969907 306446 1 - 0.0000 -
3587.20/3598.64 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.20/3598.64 c Total Time : 3598.6400
3587.20/3598.64 c solving : 3598.6400
3587.20/3598.64 c presolving : 0.0270 (included in solving)
3587.20/3598.64 c B&B Tree :
3587.20/3598.64 c nodes (total) : 1
3587.20/3598.64 c Solution :
3587.20/3598.64 c Solutions found : 0
3587.20/3598.64 c Primal Bound : -
3587.20/3598.64 c Dual Bound : +0.00000000000000e+00
3587.20/3598.64 c Gap : -
3587.20/3598.64 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: 64059 MiB (56558 MiB free)
memory of node 1: 64510 MiB (45417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464540-1722385801/watcher-4464540-1722385801 -o /tmp/evaluation-result-4464540-1722385801/solver-4464540-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464540-1722385801.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32678, runsolver pid=32675
[startup+0.100104 s]*
/proc/loadavg: 4.28 4.19 4.18 5/253 32681
/proc/meminfo: memFree=104409116/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=111232 memory=25936 CPUtime=0.1 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 3859 0 0 0 9 1 0 0 20 0 3 0 4950775 113901568 6484 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 27808 6484 2934 3035 0 9776 0
[pid=32678/tid=32680] ppid=32675 vsize=111232 memory=4026561586 CPUtime=0.05 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 1659 0 0 0 5 0 0 0 20 0 3 0 4950780 113901568 6484 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=111232 memory=232851243367 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4950781 113901568 6484 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 25936 KiB
[startup+0.213514 s]*
/proc/loadavg: 4.28 4.19 4.18 5/253 32681
/proc/meminfo: memFree=104407948/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=111232 memory=27580 CPUtime=0.22 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 4256 0 0 0 21 1 0 0 20 0 3 0 4950775 113901568 6895 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 27808 6895 2950 3035 0 10173 0
[pid=32678/tid=32680] ppid=32675 vsize=111232 memory=664970838410264707 CPUtime=0.17 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 2056 0 0 0 17 0 0 0 20 0 3 0 4950780 113901568 6895 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=111232 memory=73505 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4950781 113901568 6895 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 27580 KiB
[startup+0.313417 s]*
/proc/loadavg: 4.28 4.19 4.18 5/253 32681
/proc/meminfo: memFree=104398708/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=111232 memory=35764 CPUtime=0.32 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 6351 0 0 0 30 2 0 0 20 0 3 0 4950775 113901568 8941 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 27808 8941 2950 3035 0 12612 0
[pid=32678/tid=32680] ppid=32675 vsize=111232 memory=-5155630184902847365 CPUtime=0.27 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 4151 0 0 0 26 1 0 0 20 0 3 0 4950780 113901568 8941 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=111232 memory=0 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4950781 113901568 8941 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 35764 KiB
[startup+0.700393 s]
/proc/loadavg: 4.28 4.19 4.18 5/253 32681
/proc/meminfo: memFree=104398232/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=112380 memory=40252 CPUtime=0.69 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 7461 0 0 0 67 2 0 0 20 0 3 0 4950775 115077120 10063 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 28095 10063 2950 3035 0 13551 0
[pid=32678/tid=32680] ppid=32675 vsize=112380 memory=0 CPUtime=0.64 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 5261 0 0 0 63 1 0 0 20 0 3 0 4950780 115077120 10063 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=112380 memory=0 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4950781 115077120 10063 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112380 KiB
Current children cumulated memory: 40252 KiB
[startup+1.5004 s]
/proc/loadavg: 4.28 4.19 4.18 5/253 32681
/proc/meminfo: memFree=104385920/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=113080 memory=49748 CPUtime=1.49 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 15196 0 0 0 146 3 0 0 20 0 3 0 4950775 115793920 12437 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 28270 12437 2950 3035 0 16445 0
[pid=32678/tid=32680] ppid=32675 vsize=113080 memory=0 CPUtime=1.43 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 12996 0 0 0 141 2 0 0 20 0 3 0 4950780 115793920 12437 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=113080 memory=0 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4950781 115793920 12437 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 113080 KiB
Current children cumulated memory: 49748 KiB
[startup+3.11403 s]
/proc/loadavg: 4.26 4.19 4.18 6/253 32683
/proc/meminfo: memFree=104377160/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=113080 memory=57176 CPUtime=3.09 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 18663 0 0 0 306 3 0 0 20 0 3 0 4950775 115793920 14294 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 28270 14294 2966 3035 0 18018 0
[pid=32678/tid=32680] ppid=32675 vsize=113080 memory=0 CPUtime=3.04 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 16445 0 0 0 302 2 0 0 20 0 3 0 4950780 115793920 14294 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=113080 memory=0 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4950781 115793920 14294 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113080 KiB
Current children cumulated memory: 57176 KiB
[startup+6.30038 s]
/proc/loadavg: 4.26 4.19 4.18 5/253 32683
/proc/meminfo: memFree=104373632/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=113080 memory=61224 CPUtime=6.26 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 27312 0 0 0 621 5 0 0 20 0 3 0 4950775 115793920 15306 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 28270 15306 3014 3035 0 19292 0
[pid=32678/tid=32680] ppid=32675 vsize=113080 memory=-5155630184902847365 CPUtime=6.21 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 25070 0 0 0 617 4 0 0 20 0 3 0 4950780 115793920 15306 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=113080 memory=-5155630184902847365 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4950781 115793920 15306 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113080 KiB
Current children cumulated memory: 61224 KiB
[startup+12.7004 s]
/proc/loadavg: 4.24 4.18 4.18 5/250 32684
/proc/meminfo: memFree=104363096/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=114496 memory=73008 CPUtime=12.64 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 45697 0 0 0 1256 8 0 0 20 0 3 0 4950775 117243904 18252 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 28624 18252 3318 3035 0 21674 0
[pid=32678/tid=32680] ppid=32675 vsize=114496 memory=-5155630184902847365 CPUtime=12.59 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 43412 0 0 0 1252 7 0 0 20 0 3 0 4950780 117243904 18252 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=114496 memory=69816 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4950781 117243904 18252 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 114496 KiB
Current children cumulated memory: 73008 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.17 4.18 5/250 32734
/proc/meminfo: memFree=110862928/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=123504 memory=91336 CPUtime=25.39 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 77747 0 0 0 2526 13 0 0 20 0 3 0 4950775 126468096 22834 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 30876 22834 3318 3035 0 26098 0
[pid=32678/tid=32680] ppid=32675 vsize=123504 memory=90492 CPUtime=25.33 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 75382 0 0 0 2521 12 0 0 20 0 3 0 4950780 126468096 22834 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=123504 memory=12800 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4950781 126468096 22834 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 123504 KiB
Current children cumulated memory: 91336 KiB
[startup+51.1129 s]
/proc/loadavg: 4.19 4.18 4.18 5/250 32737
/proc/meminfo: memFree=110825500/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=191128 memory=109972 CPUtime=50.89 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 123290 0 0 0 5066 23 0 0 20 0 3 0 4950775 195715072 27493 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 47782 27493 3318 3035 0 30871 0
[pid=32678/tid=32680] ppid=32675 vsize=191128 memory=108912 CPUtime=50.83 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 120872 0 0 0 5061 22 0 0 20 0 3 0 4950780 195715072 27493 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=191128 memory=12800 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4950781 195715072 27493 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 191128 KiB
Current children cumulated memory: 109972 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.18 8/250 32747
/proc/meminfo: memFree=110757876/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=191128 memory=149316 CPUtime=101.85 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 178456 0 0 0 10142 43 0 0 20 0 3 0 4950775 195715072 37329 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 47782 37329 3318 3035 0 40763 0
[pid=32678/tid=32680] ppid=32675 vsize=191128 memory=0 CPUtime=101.79 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 175966 0 0 0 10137 42 0 0 20 0 3 0 4950780 195715072 37329 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=191128 memory=-7163656373871403134 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4950781 195715072 37329 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 191128 KiB
Current children cumulated memory: 149316 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/250 32758
/proc/meminfo: memFree=110713380/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=256664 memory=178044 CPUtime=161.65 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 221930 0 0 0 16104 61 0 0 20 0 3 0 4950775 262823936 44511 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 64166 44511 3318 3035 0 47960 0
[pid=32678/tid=32680] ppid=32675 vsize=256664 memory=163840 CPUtime=161.57 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 219390 0 0 0 16098 59 0 0 20 0 3 0 4950780 262823936 44511 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=256664 memory=11648 CPUtime=0 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4950781 262823936 44511 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 256664 KiB
################
# More data... #
################
/proc/32678/statm: 167928 158357 3318 3035 0 161125 0
[pid=32678/tid=32680] ppid=32675 vsize=671712 memory=620488 CPUtime=3391.07 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 795710 0 0 0 338758 349 0 0 20 0 3 0 4950780 687833088 158357 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=671712 memory=629188 CPUtime=0.04 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4950781 687833088 158357 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 671712 KiB
Current children cumulated memory: 633428 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/250 34400
/proc/meminfo: memFree=128385192/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=671712 memory=639316 CPUtime=3451.28 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 803943 0 0 0 344762 366 0 0 20 0 3 0 4950775 687833088 159829 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 167928 159829 3318 3035 0 162307 0
[pid=32678/tid=32680] ppid=32675 vsize=671712 memory=620488 CPUtime=3450.88 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 800034 0 0 0 344736 352 0 0 20 0 3 0 4950780 687833088 159829 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=671712 memory=639316 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 206 0 0 0 1 4 0 0 20 0 3 0 4950781 687833088 159829 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 671712 KiB
Current children cumulated memory: 639316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/250 34579
/proc/meminfo: memFree=128381492/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=671712 memory=640788 CPUtime=3511.11 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 808120 0 0 0 350741 370 0 0 20 0 3 0 4950775 687833088 160197 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 167928 160197 3318 3035 0 162675 0
[pid=32678/tid=32680] ppid=32675 vsize=671712 memory=620488 CPUtime=3510.71 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 804187 0 0 0 350715 356 0 0 20 0 3 0 4950780 687833088 160197 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=671712 memory=640020 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 209 0 0 0 1 4 0 0 20 0 3 0 4950781 687833088 160197 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 671712 KiB
Current children cumulated memory: 640788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.17 7/250 34590
/proc/meminfo: memFree=128375524/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=672740 memory=645524 CPUtime=3570.95 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 813627 0 0 0 356722 373 0 0 20 0 3 0 4950775 688885760 161381 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 168185 161381 3318 3035 0 163949 0
[pid=32678/tid=32680] ppid=32675 vsize=672740 memory=644712 CPUtime=3570.53 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 809669 0 0 0 356695 358 0 0 20 0 3 0 4950780 688885760 161381 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=672740 memory=12800 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 688885760 161381 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 645524 KiB
[startup+3598.65 s]
# the end of solver process 32678 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.51 s, system=3.75314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.17 4.17 5/250 34590
/proc/meminfo: memFree=128375520/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=672740 memory=645524 CPUtime=3572.65 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 813651 0 0 0 356892 373 0 0 20 0 3 0 4950775 688885760 161381 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 168185 161381 3318 3035 0 163949 0
[pid=32678/tid=32680] ppid=32675 vsize=672740 memory=7686721470247706567 CPUtime=3572.24 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 809693 0 0 0 356866 358 0 0 20 0 3 0 4950780 688885760 161381 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=672740 memory=15152 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 688885760 161381 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 645524 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.17 4.17 5/250 34590
/proc/meminfo: memFree=128375252/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=672740 memory=645616 CPUtime=3579.02 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 813755 0 0 0 357529 373 0 0 20 0 3 0 4950775 688885760 161404 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 168185 161404 3318 3035 0 163949 0
[pid=32678/tid=32680] ppid=32675 vsize=672740 memory=11768 CPUtime=3578.62 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 809797 0 0 0 357503 359 0 0 20 0 3 0 4950780 688885760 161404 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=672740 memory=645524 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 688885760 161404 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3579.02 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 645616 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.17 4.17 5/250 34591
/proc/meminfo: memFree=128375168/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=672740 memory=645780 CPUtime=3582.21 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 814134 0 0 0 357848 373 0 0 20 0 3 0 4950775 688885760 161445 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 168185 161445 3318 3035 0 163949 0
[pid=32678/tid=32680] ppid=32675 vsize=672740 memory=11648 CPUtime=3581.81 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 810176 0 0 0 357822 359 0 0 20 0 3 0 4950780 688885760 161445 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=672740 memory=645616 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 688885760 161445 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3582.21 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 645780 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.17 4.17 5/250 34591
/proc/meminfo: memFree=128374680/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=672740 memory=645784 CPUtime=3585.41 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 814172 0 0 0 358167 374 0 0 20 0 3 0 4950775 688885760 161446 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 168185 161446 3318 3035 0 163949 0
[pid=32678/tid=32680] ppid=32675 vsize=672740 memory=645780 CPUtime=3585 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 810214 0 0 0 358141 359 0 0 20 0 3 0 4950780 688885760 161446 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=672740 memory=-7235713967909331321 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 688885760 161446 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 645784 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.17 4.17 5/250 34591
/proc/meminfo: memFree=128374664/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=672740 memory=645784 CPUtime=3586.21 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 814176 0 0 0 358247 374 0 0 20 0 3 0 4950775 688885760 161446 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 168185 161446 3318 3035 0 163949 0
[pid=32678/tid=32680] ppid=32675 vsize=672740 memory=11648 CPUtime=3585.79 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 810218 0 0 0 358220 359 0 0 20 0 3 0 4950780 688885760 161446 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=672740 memory=5468 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 688885760 161446 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 645784 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.16 4.17 6/250 34591
/proc/meminfo: memFree=128374672/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=671712 memory=644760 CPUtime=3587 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 818838 0 0 0 358326 374 0 0 20 0 3 0 4950775 687833088 161190 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 167928 161190 3318 3035 0 163692 0
[pid=32678/tid=32680] ppid=32675 vsize=671712 memory=11648 CPUtime=3586.59 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 814874 0 0 0 358300 359 0 0 20 0 3 0 4950780 687833088 161190 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=671712 memory=12800 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 687833088 161190 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 671712 KiB
Current children cumulated memory: 644760 KiB
[startup+3598.6 s]
/proc/loadavg: 4.11 4.16 4.17 6/250 34591
/proc/meminfo: memFree=128374672/131655788 swapFree=131071472/131071996
[pid=32678] ppid=32675 vsize=662460 memory=635508 CPUtime=3587.2 cores=4,6
/proc/32678/stat : 32678 (fscip) S 32675 32678 28297 0 -1 1077936128 820204 0 0 0 358346 374 0 0 20 0 3 0 4950775 678359040 158877 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
/proc/32678/statm: 165615 158877 3318 3035 0 161379 0
[pid=32678/tid=32680] ppid=32675 vsize=662460 memory=2304 CPUtime=3586.79 cores=4,6
/proc/32678/task/32680/stat : 32680 (fscip) R 32675 32678 28297 0 -1 4194368 816239 0 0 0 358320 359 0 0 20 0 3 0 4950780 678359040 158877 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
[pid=32678/tid=32681] ppid=32675 vsize=662460 memory=38744 CPUtime=0.05 cores=4,6
/proc/32678/task/32681/stat : 32681 (fscip) S 32675 32678 28297 0 -1 1077936192 212 0 0 0 1 4 0 0 20 0 3 0 4950781 678359040 158877 134679101440 4194304 16623229 140734021981728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27774976 140734021985306 140734021985422 140734021985422 140734021992432 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 662460 KiB
Current children cumulated memory: 635508 KiB
Child status: 0
Real time (s): 3598.65
CPU time (s): 3587.26
CPU user time (s): 3583.51
CPU system time (s): 3.75314
CPU usage (%): 99.6835
Max. virtual memory (cumulated for all children) (KiB): 737248
Max. memory (cumulated for all children) (KiB): 645784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.51
system time used= 3.75314
maximum resident set size= 645784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 820771
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= 11049
involuntary context switches= 3882
# summary of solver processes directly reported to runsolver:
# pid: 32678
# total CPU time (s): 3587.26
# total CPU user time (s): 3583.51
# total CPU system time (s): 3.75314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7602 second user time and 38.0043 second system time
The end
Begin job on nodeC008 at 2024-07-31 02:30:01
IDJOB=4464540
IDBENCH=158911
IDSOLVER=3092
FILE ID=nodeC008/4464540-1722385801
RUNJOBID= nodeC008-1722378594-28308
SLURM_JOB_ID= 8249838
Free space on /tmp= 723524 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-plain.pb.metafix.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-4464540-1722385801/watcher-4464540-1722385801 -o /tmp/evaluation-result-4464540-1722385801/solver-4464540-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464540-1722385801.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d059f39552443ed7b428fbc50456c2f5
RANDOM SEED=99795441
nodeC008.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 : 3660.923
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 : 6984.63
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 : 3561.072
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.27
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.569
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 : 6984.63
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.551
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.322
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 : 6984.63
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 : 3492.314
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.27
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.372
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 : 6984.63
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.503
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 104423304 kB
MemAvailable: 104834820 kB
Buffers: 91056 kB
Cached: 1157284 kB
SwapCached: 72 kB
Active: 431956 kB
Inactive: 26324808 kB
Active(anon): 1504 kB
Inactive(anon): 25527704 kB
Active(file): 430452 kB
Inactive(file): 797104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 28352 kB
Writeback: 0 kB
AnonPages: 25503588 kB
Mapped: 125272 kB
Shmem: 21104 kB
KReclaimable: 47984 kB
Slab: 123632 kB
SReclaimable: 47984 kB
SUnreclaim: 75648 kB
KernelStack: 4128 kB
PageTables: 60204 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 18068436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10188800 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: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC008 at 2024-07-31 03:30:00