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.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24289280, getVmSize() = 24289280, SCIPgetMemUsed() = 2141668, SCIPgetMemTotal() = 2703780, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 17472170, getVmSize() = 28127232, SCIPgetMemUsed() = 2620292, SCIPgetMemTotal() = 5326900, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4447490-1721354072
0.00/0.01 c Variables : 369 (369 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 748
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 369 (369 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 748
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 748
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.47/5.51 c 6 3867 3037 1 - 0.0000 -
10.45/10.56 c 11 8444 5078 1 - 0.0000 -
15.54/15.61 c 16 13369 6098 1 - 0.0000 -
20.52/20.67 c 21 18568 6682 1 - 0.0000 -
25.61/25.71 c 26 23763 7758 1 - 0.0000 -
30.59/30.79 c 31 27319 8916 1 - 0.0000 -
35.68/35.85 c 36 31621 12097 1 - 0.0000 -
40.76/40.90 c 41 40053 16952 1 - 0.0000 -
45.75/45.96 c 46 48240 21166 1 - 0.0000 -
50.84/51.01 c 51 56125 25129 1 - 0.0000 -
55.82/56.06 c 56 63731 28372 1 - 0.0000 -
60.91/61.12 c 61 71017 31542 1 - 0.0000 -
65.89/66.16 c 66 78042 34429 1 - 0.0000 -
70.97/71.21 c 71 84796 37217 1 - 0.0000 -
75.95/76.26 c 76 91686 39638 1 - 0.0000 -
81.03/81.31 c 81 98044 43739 1 - 0.0000 -
86.02/86.37 c 86 105517 45655 1 - 0.0000 -
91.10/91.41 c 91 112071 48327 1 - 0.0000 -
96.08/96.46 c 96 118589 50601 1 - 0.0000 -
101.16/101.51 c 102 124590 52608 1 - 0.0000 -
106.16/106.56 c 107 130536 54218 1 - 0.0000 -
111.24/111.61 c 112 136152 56480 1 - 0.0000 -
116.22/116.66 c 117 141747 59144 1 - 0.0000 -
121.30/121.71 c 122 147342 61224 1 - 0.0000 -
126.28/126.76 c 127 152763 63362 1 - 0.0000 -
131.37/131.81 c 132 158051 65163 1 - 0.0000 -
136.35/136.86 c 137 163713 67911 1 - 0.0000 -
141.44/141.91 c 142 168973 70250 1 - 0.0000 -
146.42/146.97 c 147 174323 71794 1 - 0.0000 -
151.51/152.01 c 152 179373 73407 1 - 0.0000 -
156.49/157.06 c 157 184560 75035 1 - 0.0000 -
161.57/162.12 c 162 189767 77066 1 - 0.0000 -
166.56/167.17 c 167 195183 78739 1 - 0.0000 -
171.63/172.22 c 172 200944 80535 1 - 0.0000 -
176.61/177.27 c 177 206502 81719 1 - 0.0000 -
181.70/182.32 c 182 212060 83396 1 - 0.0000 -
186.68/187.37 c 187 217400 85677 1 - 0.0000 -
191.76/192.42 c 192 222796 87930 1 - 0.0000 -
196.74/197.47 c 197 228204 89733 1 - 0.0000 -
201.82/202.52 c 203 233647 92061 1 - 0.0000 -
206.80/207.57 c 208 238866 93680 1 - 0.0000 -
211.89/212.63 c 213 244336 95639 1 - 0.0000 -
216.86/217.68 c 218 249182 96495 1 - 0.0000 -
221.94/222.73 c 223 253833 97469 1 - 0.0000 -
226.92/227.78 c 228 258580 98459 1 - 0.0000 -
232.00/232.83 c 233 263215 99533 1 - 0.0000 -
236.99/237.88 c 238 267608 101070 1 - 0.0000 -
242.07/242.93 c 243 271752 101995 1 - 0.0000 -
247.05/247.99 c 248 275796 104247 1 - 0.0000 -
252.14/253.04 c 253 280100 106525 1 - 0.0000 -
257.12/258.09 c 258 284415 108272 1 - 0.0000 -
262.20/263.14 c 263 288516 110495 1 - 0.0000 -
267.18/268.19 c 268 292457 111556 1 - 0.0000 -
272.26/273.24 c 273 296230 112539 1 - 0.0000 -
277.25/278.29 c 278 300108 113538 1 - 0.0000 -
282.33/283.34 c 283 304053 115166 1 - 0.0000 -
287.31/288.39 c 288 308111 115919 1 - 0.0000 -
292.40/293.44 c 293 312066 117356 1 - 0.0000 -
297.39/298.49 c 298 315892 119032 1 - 0.0000 -
302.47/303.55 c 304 319315 120056 1 - 0.0000 -
307.46/308.59 c 309 322704 121158 1 - 0.0000 -
312.54/313.65 c 314 325897 122084 1 - 0.0000 -
317.52/318.69 c 319 329015 122941 1 - 0.0000 -
322.61/323.74 c 324 331922 123684 1 - 0.0000 -
327.59/328.79 c 329 335080 124889 1 - 0.0000 -
332.68/333.86 c 334 338062 125938 1 - 0.0000 -
337.76/338.90 c 339 340912 126678 1 - 0.0000 -
342.75/343.96 c 344 343853 127260 1 - 0.0000 -
347.83/349.00 c 349 346497 128090 1 - 0.0000 -
352.82/354.05 c 354 349590 129313 1 - 0.0000 -
357.91/359.10 c 359 353174 130307 1 - 0.0000 -
362.89/364.15 c 364 356417 131306 1 - 0.0000 -
367.97/369.20 c 369 359776 132199 1 - 0.0000 -
372.95/374.25 c 374 362768 133210 1 - 0.0000 -
378.04/379.30 c 379 365461 133967 1 - 0.0000 -
383.02/384.36 c 384 367418 134482 1 - 0.0000 -
388.11/389.41 c 389 369311 134910 1 - 0.0000 -
393.10/394.47 c 394 371138 135218 1 - 0.0000 -
398.18/399.51 c 400 373012 135632 1 - 0.0000 -
403.17/404.56 c 405 375287 136220 1 - 0.0000 -
408.25/409.62 c 410 377578 136794 1 - 0.0000 -
413.24/414.68 c 415 380389 138208 1 - 0.0000 -
418.32/419.73 c 420 382989 138915 1 - 0.0000 -
423.40/424.83 c 425 385496 140058 1 - 0.0000 -
428.40/429.88 c 430 387878 141146 1 - 0.0000 -
433.48/434.92 c 435 390451 142224 1 - 0.0000 -
438.47/439.97 c 440 392675 142996 1 - 0.0000 -
443.55/445.02 c 445 395129 143920 1 - 0.0000 -
448.54/450.07 c 450 397506 144558 1 - 0.0000 -
453.63/455.13 c 455 399786 145333 1 - 0.0000 -
458.61/460.17 c 460 401847 146209 1 - 0.0000 -
463.69/465.23 c 465 403922 146779 1 - 0.0000 -
468.67/470.28 c 470 405968 147285 1 - 0.0000 -
473.75/475.33 c 475 408003 147737 1 - 0.0000 -
478.74/480.39 c 480 409975 148266 1 - 0.0000 -
483.83/485.43 c 485 411466 148714 1 - 0.0000 -
488.81/490.48 c 490 413039 149009 1 - 0.0000 -
493.91/495.54 c 496 414765 149532 1 - 0.0000 -
498.99/500.60 c 501 416213 149750 1 - 0.0000 -
503.97/505.65 c 506 418352 150521 1 - 0.0000 -
509.06/510.70 c 511 420221 151415 1 - 0.0000 -
514.04/515.75 c 516 422590 152852 1 - 0.0000 -
519.13/520.83 c 521 425091 154239 1 - 0.0000 -
524.22/525.92 c 526 427216 155127 1 - 0.0000 -
529.20/530.97 c 531 429421 156203 1 - 0.0000 -
534.29/536.03 c 536 431717 157267 1 - 0.0000 -
539.28/541.08 c 541 433516 157969 1 - 0.0000 -
544.36/546.15 c 546 435603 158599 1 - 0.0000 -
549.44/551.20 c 551 437662 159377 1 - 0.0000 -
554.42/556.26 c 556 439283 159676 1 - 0.0000 -
559.51/561.30 c 561 441454 160358 1 - 0.0000 -
564.50/566.38 c 566 443348 160975 1 - 0.0000 -
569.59/571.42 c 571 445219 161595 1 - 0.0000 -
574.57/576.49 c 576 447086 162150 1 - 0.0000 -
579.66/581.58 c 582 449073 162819 1 - 0.0000 -
584.74/586.63 c 587 450848 163240 1 - 0.0000 -
589.73/591.69 c 592 452573 163756 1 - 0.0000 -
594.81/596.79 c 597 453848 163959 1 - 0.0000 -
599.89/601.86 c 602 455293 164336 1 - 0.0000 -
604.98/606.91 c 607 456846 164831 1 - 0.0000 -
609.97/611.96 c 612 458723 165313 1 - 0.0000 -
615.05/617.03 c 617 460361 165595 1 - 0.0000 -
620.05/622.08 c 622 461958 165971 1 - 0.0000 -
625.13/627.13 c 627 463692 166365 1 - 0.0000 -
630.12/632.18 c 632 465078 166641 1 - 0.0000 -
635.20/637.25 c 637 466661 167264 1 - 0.0000 -
640.28/642.30 c 642 468410 167974 1 - 0.0000 -
645.27/647.37 c 647 470142 168723 1 - 0.0000 -
650.35/652.42 c 652 471580 169178 1 - 0.0000 -
655.34/657.47 c 657 473223 169757 1 - 0.0000 -
660.43/662.56 c 663 474702 170150 1 - 0.0000 -
665.51/667.63 c 668 476298 170554 1 - 0.0000 -
670.50/672.69 c 673 477655 170844 1 - 0.0000 -
675.59/677.73 c 678 479287 171294 1 - 0.0000 -
680.67/682.81 c 683 480888 172014 1 - 0.0000 -
685.75/687.90 c 688 482371 172944 1 - 0.0000 -
690.74/692.97 c 693 483559 173207 1 - 0.0000 -
695.83/698.02 c 698 485378 173566 1 - 0.0000 -
700.81/703.09 c 703 486726 173869 1 - 0.0000 -
705.91/708.16 c 708 487990 174286 1 - 0.0000 -
710.98/713.23 c 713 489418 174757 1 - 0.0000 -
716.07/718.31 c 718 491300 175876 1 - 0.0000 -
721.05/723.37 c 723 492655 176331 1 - 0.0000 -
726.14/728.42 c 728 493823 176664 1 - 0.0000 -
731.13/733.46 c 733 495024 176980 1 - 0.0000 -
736.21/738.51 c 739 496114 177281 1 - 0.0000 -
741.20/743.57 c 744 497274 177586 1 - 0.0000 -
746.29/748.62 c 749 498313 177740 1 - 0.0000 -
751.27/753.69 c 754 499406 177930 1 - 0.0000 -
756.35/758.75 c 759 500499 178076 1 - 0.0000 -
761.45/763.81 c 764 501563 178249 1 - 0.0000 -
766.43/768.86 c 769 502613 178386 1 - 0.0000 -
771.51/773.91 c 774 503566 178510 1 - 0.0000 -
776.50/778.98 c 779 504793 178818 1 - 0.0000 -
781.59/784.05 c 784 506172 179130 1 - 0.0000 -
786.68/789.10 c 789 507673 179608 1 - 0.0000 -
791.66/794.19 c 794 509038 180073 1 - 0.0000 -
796.75/799.25 c 799 510632 180677 1 - 0.0000 -
801.83/804.32 c 804 511681 180915 1 - 0.0000 -
806.91/809.41 c 809 513014 181517 1 - 0.0000 -
812.00/814.53 c 815 514222 181758 1 - 0.0000 -
817.09/819.64 c 820 515415 182142 1 - 0.0000 -
822.17/824.70 c 825 516563 182478 1 - 0.0000 -
827.16/829.79 c 830 517744 182776 1 - 0.0000 -
832.25/834.85 c 835 519207 183225 1 - 0.0000 -
837.32/839.95 c 840 520266 183559 1 - 0.0000 -
842.42/845.00 c 845 521739 184007 1 - 0.0000 -
847.51/850.14 c 850 523220 184785 1 - 0.0000 -
852.58/855.21 c 855 524452 185458 1 - 0.0000 -
857.56/860.28 c 860 525547 186059 1 - 0.0000 -
862.76/865.43 c 865 527014 186779 1 - 0.0000 -
867.74/870.47 c 870 528364 187262 1 - 0.0000 -
872.83/875.55 c 876 529499 187661 1 - 0.0000 -
877.91/880.62 c 881 530522 187928 1 - 0.0000 -
882.89/885.67 c 886 531707 188306 1 - 0.0000 -
887.99/890.74 c 891 533013 188648 1 - 0.0000 -
893.07/895.81 c 896 534195 188958 1 - 0.0000 -
898.06/900.88 c 901 535562 189475 1 - 0.0000 -
903.14/905.92 c 906 536821 190096 1 - 0.0000 -
908.33/911.15 c 911 538019 190709 1 - 0.0000 -
913.41/916.21 c 916 539255 191023 1 - 0.0000 -
918.40/921.29 c 921 540329 191185 1 - 0.0000 -
923.48/926.38 c 926 541284 191379 1 - 0.0000 -
928.57/931.43 c 931 542562 191852 1 - 0.0000 -
933.65/936.50 c 937 543447 192028 1 - 0.0000 -
938.64/941.56 c 942 544459 192268 1 - 0.0000 -
943.72/946.62 c 947 545556 192613 1 - 0.0000 -
948.72/951.69 c 952 546456 192742 1 - 0.0000 -
953.80/956.79 c 957 547428 192937 1 - 0.0000 -
958.89/961.86 c 962 548628 193379 1 - 0.0000 -
963.97/966.93 c 967 549566 193562 1 - 0.0000 -
969.06/972.10 c 972 550714 193914 1 - 0.0000 -
974.24/977.25 c 977 551762 194316 1 - 0.0000 -
979.32/982.33 c 982 552740 194470 1 - 0.0000 -
984.41/987.40 c 987 553679 194674 1 - 0.0000 -
989.40/992.49 c 992 554787 194947 1 - 0.0000 -
994.48/997.54 c 998 555816 195220 1 - 0.0000 -
999.57/1002.63 c 1003 556718 195335 1 - 0.0000 -
1004.55/1007.69 c 1008 557885 195566 1 - 0.0000 -
1009.64/1012.76 c 1013 559074 195878 1 - 0.0000 -
1014.72/1017.83 c 1018 560144 195994 1 - 0.0000 -
1019.71/1022.89 c 1023 561461 196518 1 - 0.0000 -
1024.80/1027.95 c 1028 562742 196816 1 - 0.0000 -
1029.89/1033.05 c 1033 563721 197085 1 - 0.0000 -
1034.88/1038.09 c 1038 564693 197494 1 - 0.0000 -
1039.96/1043.15 c 1043 565900 198025 1 - 0.0000 -
1044.95/1048.19 c 1048 567048 198604 1 - 0.0000 -
1050.03/1053.29 c 1053 568092 198893 1 - 0.0000 -
1055.12/1058.38 c 1058 569082 199196 1 - 0.0000 -
1060.20/1063.47 c 1063 570150 199537 1 - 0.0000 -
1065.28/1068.51 c 1069 571136 199783 1 - 0.0000 -
1070.28/1073.56 c 1074 572404 200118 1 - 0.0000 -
1075.36/1078.65 c 1079 573526 200563 1 - 0.0000 -
1080.34/1083.69 c 1084 575057 201472 1 - 0.0000 -
1085.43/1088.78 c 1089 576194 201826 1 - 0.0000 -
1090.52/1093.87 c 1094 577207 202105 1 - 0.0000 -
1095.61/1098.92 c 1099 578538 202533 1 - 0.0000 -
1100.59/1103.98 c 1104 580100 202953 1 - 0.0000 -
1105.68/1109.04 c 1109 581226 203236 1 - 0.0000 -
1110.76/1114.17 c 1114 582150 203502 1 - 0.0000 -
1115.85/1119.24 c 1119 583391 203828 1 - 0.0000 -
1120.83/1124.29 c 1124 584424 204202 1 - 0.0000 -
1125.92/1129.37 c 1129 585402 204565 1 - 0.0000 -
1131.01/1134.43 c 1134 586326 204702 1 - 0.0000 -
1135.99/1139.49 c 1140 587693 205419 1 - 0.0000 -
1141.08/1144.59 c 1145 588854 206017 1 - 0.0000 -
1146.26/1149.77 c 1150 589733 206244 1 - 0.0000 -
1151.35/1154.84 c 1155 590632 206422 1 - 0.0000 -
1156.44/1159.93 c 1160 591744 206736 1 - 0.0000 -
1161.52/1165.02 c 1165 592736 206882 1 - 0.0000 -
1166.52/1170.09 c 1170 593725 207116 1 - 0.0000 -
1171.60/1175.13 c 1175 594733 207494 1 - 0.0000 -
1176.69/1180.23 c 1180 595700 207792 1 - 0.0000 -
1181.77/1185.34 c 1185 596730 208108 1 - 0.0000 -
1186.85/1190.41 c 1190 598004 208525 1 - 0.0000 -
1191.84/1195.49 c 1195 599182 209055 1 - 0.0000 -
1196.93/1200.54 c 1201 600428 209370 1 - 0.0000 -
1202.01/1205.60 c 1206 601601 209601 1 - 0.0000 -
1206.99/1210.69 c 1211 602551 209798 1 - 0.0000 -
1212.09/1215.75 c 1216 603618 210057 1 - 0.0000 -
1217.17/1220.83 c 1221 604718 210402 1 - 0.0000 -
1222.26/1225.93 c 1226 605845 210722 1 - 0.0000 -
1227.24/1230.98 c 1231 607132 211101 1 - 0.0000 -
1232.34/1236.03 c 1236 608263 211468 1 - 0.0000 -
1237.42/1241.12 c 1241 609412 211868 1 - 0.0000 -
1242.40/1246.18 c 1246 610419 212039 1 - 0.0000 -
1247.48/1251.29 c 1251 611406 212202 1 - 0.0000 -
1252.57/1256.36 c 1256 612404 212473 1 - 0.0000 -
1257.76/1261.52 c 1262 613370 212729 1 - 0.0000 -
1262.74/1266.58 c 1267 614334 212959 1 - 0.0000 -
1267.83/1271.65 c 1272 615211 213145 1 - 0.0000 -
1272.92/1276.75 c 1277 616151 213384 1 - 0.0000 -
1278.01/1281.81 c 1282 617047 213538 1 - 0.0000 -
1283.09/1286.91 c 1287 617938 213762 1 - 0.0000 -
1288.08/1291.99 c 1292 619233 214561 1 - 0.0000 -
1293.17/1297.07 c 1297 620286 214941 1 - 0.0000 -
1298.25/1302.13 c 1302 621220 215231 1 - 0.0000 -
1303.24/1307.19 c 1307 622171 215588 1 - 0.0000 -
1308.32/1312.25 c 1312 623293 216177 1 - 0.0000 -
1313.51/1317.42 c 1317 624279 216746 1 - 0.0000 -
1318.50/1322.49 c 1322 625066 217053 1 - 0.0000 -
1323.58/1327.57 c 1328 626005 217561 1 - 0.0000 -
1328.77/1332.71 c 1333 626846 217761 1 - 0.0000 -
1333.86/1337.82 c 1338 627795 218017 1 - 0.0000 -
1338.84/1342.89 c 1343 628933 218459 1 - 0.0000 -
1343.93/1347.99 c 1348 629897 218877 1 - 0.0000 -
1349.02/1353.05 c 1353 630943 219212 1 - 0.0000 -
1354.10/1358.13 c 1358 631849 219541 1 - 0.0000 -
1359.09/1363.19 c 1363 632745 219919 1 - 0.0000 -
1364.17/1368.28 c 1368 633625 220144 1 - 0.0000 -
1369.25/1373.33 c 1373 634362 220331 1 - 0.0000 -
1374.24/1378.39 c 1378 635471 220745 1 - 0.0000 -
1379.43/1383.56 c 1384 636255 220931 1 - 0.0000 -
1384.52/1388.63 c 1389 637229 221128 1 - 0.0000 -
1389.60/1393.70 c 1394 638026 221340 1 - 0.0000 -
1394.58/1398.79 c 1399 638901 221556 1 - 0.0000 -
1399.67/1403.87 c 1404 639689 221792 1 - 0.0000 -
1404.76/1408.94 c 1409 640502 222125 1 - 0.0000 -
1409.84/1414.00 c 1414 641476 222685 1 - 0.0000 -
1414.83/1419.08 c 1419 642804 223467 1 - 0.0000 -
1419.92/1424.12 c 1424 643747 223854 1 - 0.0000 -
1424.99/1429.22 c 1429 644963 224460 1 - 0.0000 -
1429.98/1434.29 c 1434 645889 224810 1 - 0.0000 -
1435.06/1439.35 c 1439 646764 224990 1 - 0.0000 -
1440.15/1444.41 c 1444 647663 225221 1 - 0.0000 -
1445.13/1449.47 c 1449 648766 225533 1 - 0.0000 -
1450.21/1454.55 c 1455 649910 225901 1 - 0.0000 -
1455.30/1459.63 c 1460 650896 226109 1 - 0.0000 -
1460.39/1464.72 c 1465 652136 226409 1 - 0.0000 -
1465.37/1469.78 c 1470 653475 226661 1 - 0.0000 -
1470.56/1474.90 c 1475 654562 226994 1 - 0.0000 -
1475.54/1479.95 c 1480 655748 227264 1 - 0.0000 -
1480.63/1485.00 c 1485 657106 227683 1 - 0.0000 -
1485.61/1490.07 c 1490 658243 228035 1 - 0.0000 -
1490.70/1495.15 c 1495 659430 228247 1 - 0.0000 -
1495.78/1500.23 c 1500 660637 228537 1 - 0.0000 -
1500.76/1505.29 c 1505 661634 228647 1 - 0.0000 -
1505.84/1510.38 c 1510 662849 229115 1 - 0.0000 -
1510.93/1515.44 c 1515 664302 229512 1 - 0.0000 -
1516.01/1520.51 c 1521 665605 229806 1 - 0.0000 -
1521.00/1525.56 c 1526 667109 230158 1 - 0.0000 -
1526.09/1530.62 c 1531 668552 230579 1 - 0.0000 -
1531.07/1535.67 c 1536 670145 231144 1 - 0.0000 -
1536.15/1540.72 c 1541 671427 231392 1 - 0.0000 -
1541.13/1545.79 c 1546 673218 231761 1 - 0.0000 -
1546.21/1550.85 c 1551 674811 232310 1 - 0.0000 -
1551.31/1555.90 c 1556 676566 232667 1 - 0.0000 -
1556.28/1560.96 c 1561 678003 232925 1 - 0.0000 -
1561.38/1566.07 c 1566 679647 233589 1 - 0.0000 -
1566.46/1571.16 c 1571 681449 234282 1 - 0.0000 -
1571.54/1576.24 c 1576 683119 234695 1 - 0.0000 -
1576.53/1581.28 c 1581 684826 235390 1 - 0.0000 -
1581.61/1586.33 c 1586 686620 235910 1 - 0.0000 -
1586.61/1591.38 c 1591 688289 236296 1 - 0.0000 -
1591.69/1596.45 c 1596 689749 236637 1 - 0.0000 -
1596.78/1601.52 c 1602 691188 236984 1 - 0.0000 -
1601.76/1606.56 c 1607 692789 237454 1 - 0.0000 -
1606.84/1611.63 c 1612 694284 237816 1 - 0.0000 -
1611.84/1616.68 c 1617 695757 238355 1 - 0.0000 -
1616.92/1621.75 c 1622 697382 238935 1 - 0.0000 -
1622.00/1626.80 c 1627 698741 239348 1 - 0.0000 -
1627.00/1631.85 c 1632 700230 239713 1 - 0.0000 -
1632.08/1636.91 c 1637 701627 240224 1 - 0.0000 -
1637.07/1641.97 c 1642 703039 240720 1 - 0.0000 -
1642.15/1647.02 c 1647 704535 241205 1 - 0.0000 -
1647.24/1652.11 c 1652 706156 241598 1 - 0.0000 -
1652.23/1657.15 c 1657 707692 242117 1 - 0.0000 -
1657.31/1662.21 c 1662 709355 242630 1 - 0.0000 -
1662.39/1667.30 c 1667 711474 243212 1 - 0.0000 -
1667.39/1672.38 c 1672 712746 243566 1 - 0.0000 -
1672.47/1677.42 c 1677 714422 244138 1 - 0.0000 -
1677.45/1682.47 c 1682 715976 244557 1 - 0.0000 -
1682.54/1687.55 c 1688 717186 244737 1 - 0.0000 -
1687.52/1692.59 c 1693 718767 245133 1 - 0.0000 -
1692.61/1697.66 c 1698 720262 245507 1 - 0.0000 -
1697.70/1702.73 c 1703 721806 246054 1 - 0.0000 -
1702.68/1707.78 c 1708 723424 246587 1 - 0.0000 -
1707.77/1712.87 c 1713 724808 247007 1 - 0.0000 -
1712.85/1717.93 c 1718 726095 247310 1 - 0.0000 -
1717.83/1722.97 c 1723 727253 247546 1 - 0.0000 -
1722.93/1728.04 c 1728 728376 247766 1 - 0.0000 -
1728.01/1733.11 c 1733 729454 247854 1 - 0.0000 -
1733.00/1738.17 c 1738 730545 248015 1 - 0.0000 -
1738.08/1743.24 c 1743 731909 248459 1 - 0.0000 -
1743.17/1748.30 c 1748 733067 248668 1 - 0.0000 -
1748.16/1753.35 c 1753 734659 249319 1 - 0.0000 -
1753.24/1758.41 c 1758 736096 249600 1 - 0.0000 -
1758.23/1763.47 c 1763 737607 250042 1 - 0.0000 -
1763.31/1768.58 c 1769 739202 250480 1 - 0.0000 -
1768.50/1773.71 c 1774 740473 250860 1 - 0.0000 -
1773.48/1778.77 c 1779 741831 251296 1 - 0.0000 -
1778.57/1783.83 c 1784 743338 251684 1 - 0.0000 -
1783.65/1788.90 c 1789 744701 252132 1 - 0.0000 -
1788.64/1793.97 c 1794 746063 252597 1 - 0.0000 -
1793.73/1799.02 c 1799 747341 252900 1 - 0.0000 -
1798.72/1804.08 c 1804 748748 253290 1 - 0.0000 -
1803.80/1809.15 c 1809 750111 253781 1 - 0.0000 -
1808.88/1814.20 c 1814 751472 254134 1 - 0.0000 -
1813.87/1819.25 c 1819 752737 254395 1 - 0.0000 -
1818.95/1824.30 c 1824 754254 254709 1 - 0.0000 -
1823.93/1829.37 c 1829 755543 254993 1 - 0.0000 -
1829.02/1834.42 c 1834 756812 255365 1 - 0.0000 -
1834.01/1839.48 c 1839 758110 255708 1 - 0.0000 -
1839.10/1844.55 c 1845 759191 255856 1 - 0.0000 -
1844.08/1849.59 c 1850 760462 256147 1 - 0.0000 -
1849.17/1854.65 c 1855 761830 256536 1 - 0.0000 -
1854.15/1859.69 c 1860 763083 256815 1 - 0.0000 -
1859.23/1864.75 c 1865 764331 257217 1 - 0.0000 -
1864.32/1869.85 c 1870 765767 258010 1 - 0.0000 -
1869.40/1874.93 c 1875 767157 258501 1 - 0.0000 -
1874.49/1880.02 c 1880 768403 259059 1 - 0.0000 -
1879.49/1885.09 c 1885 769546 259711 1 - 0.0000 -
1884.66/1890.22 c 1890 770533 260134 1 - 0.0000 -
1889.75/1895.34 c 1895 771486 260377 1 - 0.0000 -
1894.83/1900.40 c 1900 772441 260624 1 - 0.0000 -
1899.82/1905.47 c 1905 773479 260878 1 - 0.0000 -
1904.91/1910.54 c 1911 774433 261019 1 - 0.0000 -
1910.00/1915.61 c 1916 775384 261091 1 - 0.0000 -
1914.98/1920.69 c 1921 776348 261308 1 - 0.0000 -
1920.06/1925.77 c 1926 777227 261346 1 - 0.0000 -
1925.16/1930.85 c 1931 778280 261547 1 - 0.0000 -
1930.24/1935.91 c 1936 779474 261998 1 - 0.0000 -
1935.22/1940.97 c 1941 780750 262325 1 - 0.0000 -
1940.32/1946.06 c 1946 781671 262486 1 - 0.0000 -
1945.40/1951.14 c 1951 782741 262730 1 - 0.0000 -
1950.48/1956.22 c 1956 783848 262837 1 - 0.0000 -
1955.46/1961.26 c 1961 784807 262969 1 - 0.0000 -
1960.55/1966.33 c 1966 785796 263094 1 - 0.0000 -
1965.64/1971.41 c 1971 786683 263199 1 - 0.0000 -
1970.63/1976.46 c 1976 787455 263289 1 - 0.0000 -
1975.71/1981.55 c 1982 788261 263370 1 - 0.0000 -
1980.79/1986.64 c 1987 789320 263513 1 - 0.0000 -
1985.78/1991.68 c 1992 790318 263715 1 - 0.0000 -
1990.86/1996.75 c 1997 791549 264066 1 - 0.0000 -
1995.96/2001.85 c 2002 792821 264292 1 - 0.0000 -
2001.04/2006.92 c 2007 793824 264467 1 - 0.0000 -
2006.02/2011.98 c 2012 794874 264668 1 - 0.0000 -
2011.11/2017.05 c 2017 796024 265109 1 - 0.0000 -
2016.20/2022.13 c 2022 797152 265495 1 - 0.0000 -
2021.28/2027.27 c 2027 798695 266201 1 - 0.0000 -
2026.37/2032.31 c 2032 800029 266775 1 - 0.0000 -
2031.35/2037.38 c 2037 801015 267048 1 - 0.0000 -
2036.44/2042.43 c 2042 801932 267308 1 - 0.0000 -
2041.42/2047.48 c 2047 802972 267667 1 - 0.0000 -
2046.51/2052.53 c 2053 803961 267947 1 - 0.0000 -
2051.50/2057.59 c 2058 805156 268459 1 - 0.0000 -
2056.58/2062.64 c 2063 806109 268663 1 - 0.0000 -
2061.57/2067.69 c 2068 807019 268818 1 - 0.0000 -
2066.66/2072.77 c 2073 807833 268963 1 - 0.0000 -
2071.74/2077.82 c 2078 808660 269090 1 - 0.0000 -
2076.82/2082.90 c 2083 809446 269241 1 - 0.0000 -
2081.82/2087.97 c 2088 810291 269373 1 - 0.0000 -
2086.90/2093.03 c 2093 811070 269481 1 - 0.0000 -
2091.98/2098.13 c 2098 811918 269586 1 - 0.0000 -
2097.07/2103.20 c 2103 812710 269759 1 - 0.0000 -
2102.06/2108.25 c 2108 813501 269812 1 - 0.0000 -
2107.14/2113.32 c 2113 814324 269880 1 - 0.0000 -
2112.12/2118.38 c 2118 815147 270029 1 - 0.0000 -
2117.22/2123.45 c 2123 815972 270061 1 - 0.0000 -
2122.30/2128.51 c 2129 816814 270222 1 - 0.0000 -
2127.28/2133.57 c 2134 817562 270332 1 - 0.0000 -
2132.37/2138.63 c 2139 818269 270386 1 - 0.0000 -
2137.46/2143.73 c 2144 819175 270555 1 - 0.0000 -
2142.54/2148.83 c 2149 819919 270629 1 - 0.0000 -
2147.53/2153.88 c 2154 820695 270718 1 - 0.0000 -
2152.61/2158.96 c 2159 821451 270759 1 - 0.0000 -
2157.71/2164.03 c 2164 822225 270828 1 - 0.0000 -
2162.79/2169.10 c 2169 822915 270866 1 - 0.0000 -
2167.78/2174.16 c 2174 823628 270988 1 - 0.0000 -
2172.86/2179.24 c 2179 824553 271257 1 - 0.0000 -
2177.94/2184.30 c 2184 825439 271489 1 - 0.0000 -
2182.93/2189.38 c 2189 826262 271641 1 - 0.0000 -
2188.01/2194.47 c 2194 827020 271729 1 - 0.0000 -
2193.11/2199.58 c 2200 827771 271849 1 - 0.0000 -
2198.19/2204.67 c 2205 828441 271917 1 - 0.0000 -
2203.27/2209.71 c 2210 829172 272050 1 - 0.0000 -
2208.26/2214.77 c 2215 829998 272248 1 - 0.0000 -
2213.35/2219.86 c 2220 830715 272341 1 - 0.0000 -
2218.43/2224.91 c 2225 831421 272404 1 - 0.0000 -
2223.52/2230.00 c 2230 832225 272593 1 - 0.0000 -
2228.51/2235.09 c 2235 832943 272632 1 - 0.0000 -
2233.59/2240.15 c 2240 833622 272702 1 - 0.0000 -
2238.58/2245.19 c 2245 834347 272829 1 - 0.0000 -
2243.67/2250.26 c 2250 835088 272860 1 - 0.0000 -
2248.75/2255.36 c 2255 835767 272900 1 - 0.0000 -
2253.84/2260.48 c 2260 836433 272960 1 - 0.0000 -
2258.92/2265.55 c 2266 837261 273095 1 - 0.0000 -
2264.00/2270.64 c 2271 838299 273413 1 - 0.0000 -
2269.09/2275.72 c 2276 839273 273628 1 - 0.0000 -
2274.08/2280.77 c 2281 840498 274036 1 - 0.0000 -
2279.16/2285.85 c 2286 841680 274265 1 - 0.0000 -
2284.15/2290.89 c 2291 842678 274504 1 - 0.0000 -
2289.24/2295.98 c 2296 843622 274714 1 - 0.0000 -
2294.33/2301.06 c 2301 844502 275013 1 - 0.0000 -
2299.41/2306.16 c 2306 845340 275244 1 - 0.0000 -
2304.49/2311.23 c 2311 846080 275399 1 - 0.0000 -
2309.48/2316.28 c 2316 846824 275547 1 - 0.0000 -
2314.56/2321.35 c 2321 847614 275732 1 - 0.0000 -
2319.66/2326.43 c 2326 848363 275863 1 - 0.0000 -
2324.74/2331.52 c 2332 849134 276008 1 - 0.0000 -
2329.73/2336.58 c 2337 850051 276533 1 - 0.0000 -
2334.81/2341.65 c 2342 850976 276915 1 - 0.0000 -
2339.89/2346.76 c 2347 851710 277089 1 - 0.0000 -
2344.98/2351.83 c 2352 852457 277341 1 - 0.0000 -
2350.07/2356.93 c 2357 853172 277469 1 - 0.0000 -
2355.15/2362.00 c 2362 853876 277671 1 - 0.0000 -
2360.14/2367.08 c 2367 854587 277900 1 - 0.0000 -
2365.23/2372.12 c 2372 855248 278059 1 - 0.0000 -
2370.31/2377.22 c 2377 856012 278304 1 - 0.0000 -
2375.29/2382.29 c 2382 856661 278394 1 - 0.0000 -
2380.38/2387.35 c 2387 857266 278532 1 - 0.0000 -
2385.46/2392.41 c 2392 857954 278710 1 - 0.0000 -
2390.45/2397.46 c 2397 858669 278859 1 - 0.0000 -
2395.53/2402.52 c 2403 859375 279025 1 - 0.0000 -
2400.62/2407.61 c 2408 859982 279070 1 - 0.0000 -
2405.71/2412.70 c 2413 860595 279135 1 - 0.0000 -
2410.69/2417.79 c 2418 861195 279214 1 - 0.0000 -
2415.78/2422.89 c 2423 861839 279294 1 - 0.0000 -
2420.87/2427.94 c 2428 862440 279429 1 - 0.0000 -
2425.96/2433.08 c 2433 863109 279577 1 - 0.0000 -
2431.04/2438.14 c 2438 863930 279950 1 - 0.0000 -
2436.13/2443.22 c 2443 864776 280141 1 - 0.0000 -
2441.11/2448.29 c 2448 865586 280302 1 - 0.0000 -
2446.30/2453.41 c 2453 866352 280532 1 - 0.0000 -
2451.29/2458.49 c 2458 867193 280868 1 - 0.0000 -
2456.37/2463.56 c 2464 867972 281127 1 - 0.0000 -
2461.45/2468.68 c 2469 868921 281696 1 - 0.0000 -
2466.54/2473.78 c 2474 869724 281916 1 - 0.0000 -
2471.72/2478.91 c 2479 870397 282025 1 - 0.0000 -
2476.72/2483.98 c 2484 871207 282376 1 - 0.0000 -
2481.80/2489.07 c 2489 872068 282653 1 - 0.0000 -
2486.88/2494.13 c 2494 872985 283049 1 - 0.0000 -
2491.87/2499.19 c 2499 873908 283427 1 - 0.0000 -
2497.06/2504.30 c 2504 874822 283756 1 - 0.0000 -
2502.04/2509.38 c 2509 875671 284066 1 - 0.0000 -
2507.12/2514.43 c 2514 876366 284190 1 - 0.0000 -
2512.22/2519.58 c 2520 877011 284249 1 - 0.0000 -
2517.30/2524.65 c 2525 877610 284288 1 - 0.0000 -
2522.38/2529.77 c 2530 878467 284710 1 - 0.0000 -
2527.47/2534.87 c 2535 879187 284808 1 - 0.0000 -
2532.56/2539.94 c 2540 879909 284972 1 - 0.0000 -
2537.64/2545.00 c 2545 880587 285105 1 - 0.0000 -
2542.63/2550.09 c 2550 881321 285336 1 - 0.0000 -
2547.71/2555.17 c 2555 881971 285484 1 - 0.0000 -
2552.80/2560.24 c 2560 882693 285679 1 - 0.0000 -
2557.89/2565.36 c 2565 883332 285822 1 - 0.0000 -
2562.97/2570.42 c 2570 884167 286101 1 - 0.0000 -
2568.06/2575.54 c 2576 884855 286171 1 - 0.0000 -
2573.04/2580.59 c 2581 885414 286212 1 - 0.0000 -
2578.13/2585.67 c 2586 886070 286342 1 - 0.0000 -
2583.22/2590.72 c 2591 886811 286521 1 - 0.0000 -
2588.31/2595.81 c 2596 887562 286654 1 - 0.0000 -
2593.29/2600.87 c 2601 888226 286761 1 - 0.0000 -
2598.38/2605.96 c 2606 888905 286836 1 - 0.0000 -
2603.47/2611.05 c 2611 889561 286943 1 - 0.0000 -
2608.55/2616.13 c 2616 890156 286990 1 - 0.0000 -
2613.64/2621.24 c 2621 890735 287028 1 - 0.0000 -
2618.72/2626.31 c 2626 891325 287048 1 - 0.0000 -
2623.71/2631.39 c 2631 892002 287195 1 - 0.0000 -
2628.79/2636.47 c 2636 892680 287283 1 - 0.0000 -
2633.88/2641.54 c 2642 893454 287509 1 - 0.0000 -
2638.96/2646.61 c 2647 894113 287667 1 - 0.0000 -
2643.94/2651.68 c 2652 894910 287861 1 - 0.0000 -
2649.03/2656.75 c 2657 895555 288025 1 - 0.0000 -
2654.11/2661.85 c 2662 896313 288204 1 - 0.0000 -
2659.19/2666.95 c 2667 897003 288330 1 - 0.0000 -
2664.27/2672.04 c 2672 897689 288535 1 - 0.0000 -
2669.35/2677.12 c 2677 898422 288694 1 - 0.0000 -
2674.43/2682.20 c 2682 899125 288891 1 - 0.0000 -
2679.52/2687.33 c 2687 900010 289094 1 - 0.0000 -
2684.60/2692.43 c 2692 900738 289249 1 - 0.0000 -
2689.68/2697.51 c 2698 901493 289408 1 - 0.0000 -
2694.66/2702.56 c 2703 902161 289529 1 - 0.0000 -
2699.74/2707.62 c 2708 902726 289562 1 - 0.0000 -
2704.73/2712.69 c 2713 903322 289608 1 - 0.0000 -
2709.91/2717.81 c 2718 903897 289704 1 - 0.0000 -
2714.89/2722.88 c 2723 904573 289794 1 - 0.0000 -
2719.97/2727.96 c 2728 905340 289919 1 - 0.0000 -
2725.16/2733.12 c 2733 906206 290141 1 - 0.0000 -
2730.23/2738.20 c 2738 906857 290291 1 - 0.0000 -
2735.22/2743.29 c 2743 907443 290491 1 - 0.0000 -
2740.29/2748.38 c 2748 908224 290770 1 - 0.0000 -
2745.37/2753.47 c 2753 909106 291057 1 - 0.0000 -
2750.46/2758.54 c 2759 909771 291225 1 - 0.0000 -
2755.54/2763.65 c 2764 910418 291405 1 - 0.0000 -
2760.62/2768.72 c 2769 910993 291475 1 - 0.0000 -
2765.71/2773.81 c 2774 911612 291618 1 - 0.0000 -
2770.69/2778.87 c 2779 912311 291802 1 - 0.0000 -
2775.76/2783.97 c 2784 913062 291977 1 - 0.0000 -
2780.86/2789.07 c 2789 913790 292061 1 - 0.0000 -
2785.94/2794.17 c 2794 914476 292240 1 - 0.0000 -
2791.01/2799.26 c 2799 915194 292405 1 - 0.0000 -
2796.10/2804.35 c 2804 916026 292693 1 - 0.0000 -
2801.18/2809.43 c 2809 916680 292842 1 - 0.0000 -
2806.25/2814.55 c 2815 917330 292955 1 - 0.0000 -
2811.34/2819.65 c 2820 918119 293215 1 - 0.0000 -
2816.42/2824.72 c 2825 918841 293355 1 - 0.0000 -
2821.50/2829.84 c 2830 919380 293430 1 - 0.0000 -
2826.59/2834.90 c 2835 920095 293730 1 - 0.0000 -
2831.67/2840.05 c 2840 920814 294101 1 - 0.0000 -
2836.76/2845.11 c 2845 921503 294326 1 - 0.0000 -
2841.83/2850.21 c 2850 922112 294520 1 - 0.0000 -
2846.92/2855.33 c 2855 922745 294669 1 - 0.0000 -
2852.00/2860.40 c 2860 923694 295059 1 - 0.0000 -
2857.08/2865.50 c 2866 924365 295256 1 - 0.0000 -
2862.16/2870.62 c 2871 925061 295424 1 - 0.0000 -
2867.24/2875.75 c 2876 925729 295651 1 - 0.0000 -
2872.32/2880.81 c 2881 926408 295865 1 - 0.0000 -
2877.30/2885.89 c 2886 927030 295963 1 - 0.0000 -
2882.38/2890.99 c 2891 927648 296118 1 - 0.0000 -
2887.57/2896.15 c 2896 928296 296310 1 - 0.0000 -
2892.65/2901.23 c 2901 928913 296460 1 - 0.0000 -
2897.73/2906.35 c 2906 929735 296815 1 - 0.0000 -
2902.81/2911.46 c 2911 930422 297028 1 - 0.0000 -
2907.89/2916.54 c 2917 931181 297243 1 - 0.0000 -
2912.98/2921.65 c 2922 931748 297344 1 - 0.0000 -
2918.06/2926.77 c 2927 932279 297421 1 - 0.0000 -
2923.14/2931.82 c 2932 932862 297478 1 - 0.0000 -
2928.23/2936.91 c 2937 933509 297645 1 - 0.0000 -
2933.21/2941.99 c 2942 934168 297780 1 - 0.0000 -
2938.29/2947.08 c 2947 934841 297963 1 - 0.0000 -
2943.37/2952.16 c 2952 935584 298190 1 - 0.0000 -
2948.45/2957.23 c 2957 936450 298423 1 - 0.0000 -
2953.63/2962.41 c 2962 936949 298472 1 - 0.0000 -
2958.71/2967.51 c 2968 937703 298714 1 - 0.0000 -
2963.70/2972.55 c 2973 938489 298969 1 - 0.0000 -
2968.78/2977.64 c 2978 939110 299101 1 - 0.0000 -
2973.86/2982.70 c 2983 939704 299222 1 - 0.0000 -
2978.94/2987.81 c 2988 940623 299422 1 - 0.0000 -
2984.03/2992.94 c 2993 941295 299645 1 - 0.0000 -
2989.01/2997.99 c 2998 941966 299902 1 - 0.0000 -
2994.09/3003.07 c 3003 942727 300091 1 - 0.0000 -
2999.17/3008.19 c 3008 943512 300254 1 - 0.0000 -
3004.36/3013.33 c 3013 944301 300443 1 - 0.0000 -
3009.34/3018.37 c 3018 945048 300705 1 - 0.0000 -
3014.42/3023.45 c 3023 945816 300742 1 - 0.0000 -
3019.49/3028.55 c 3029 946666 301042 1 - 0.0000 -
3024.57/3033.60 c 3034 947332 301300 1 - 0.0000 -
3029.66/3038.73 c 3039 947873 301501 1 - 0.0000 -
3034.64/3043.79 c 3044 948510 301697 1 - 0.0000 -
3039.82/3048.97 c 3049 949280 301933 1 - 0.0000 -
3044.91/3054.10 c 3054 949857 301972 1 - 0.0000 -
3050.09/3059.20 c 3059 950524 302248 1 - 0.0000 -
3055.07/3064.29 c 3064 951008 302333 1 - 0.0000 -
3060.15/3069.37 c 3069 951543 302400 1 - 0.0000 -
3065.33/3074.52 c 3075 952120 302552 1 - 0.0000 -
3070.42/3079.66 c 3080 952672 302635 1 - 0.0000 -
3075.50/3084.75 c 3085 953374 302787 1 - 0.0000 -
3080.58/3089.80 c 3090 954060 302895 1 - 0.0000 -
3085.66/3094.91 c 3095 954535 302958 1 - 0.0000 -
3090.74/3100.03 c 3100 955225 303076 1 - 0.0000 -
3095.83/3105.15 c 3105 955753 303116 1 - 0.0000 -
3100.91/3110.21 c 3110 956286 303216 1 - 0.0000 -
3105.99/3115.30 c 3115 957023 303464 1 - 0.0000 -
3111.17/3120.50 c 3121 957953 303716 1 - 0.0000 -
3116.15/3125.57 c 3126 958773 303931 1 - 0.0000 -
3121.24/3130.69 c 3131 959258 304016 1 - 0.0000 -
3126.32/3135.78 c 3136 959869 304150 1 - 0.0000 -
3131.40/3140.88 c 3141 960481 304319 1 - 0.0000 -
3136.48/3145.94 c 3146 961214 304557 1 - 0.0000 -
3141.46/3150.99 c 3151 961765 304708 1 - 0.0000 -
3146.65/3156.10 c 3156 962420 304825 1 - 0.0000 -
3151.72/3161.21 c 3161 963049 304954 1 - 0.0000 -
3156.71/3166.26 c 3166 963769 305081 1 - 0.0000 -
3161.99/3171.50 c 3172 964407 305197 1 - 0.0000 -
3166.97/3176.57 c 3177 964974 305342 1 - 0.0000 -
3172.05/3181.69 c 3182 965515 305425 1 - 0.0000 -
3177.13/3186.77 c 3187 966119 305581 1 - 0.0000 -
3182.31/3191.90 c 3192 966799 305757 1 - 0.0000 -
3187.30/3196.98 c 3197 967387 305895 1 - 0.0000 -
3192.39/3202.09 c 3202 968006 306097 1 - 0.0000 -
3197.47/3207.16 c 3207 968586 306295 1 - 0.0000 -
3202.55/3212.28 c 3212 969075 306350 1 - 0.0000 -
3207.64/3217.35 c 3217 969586 306394 1 - 0.0000 -
3212.72/3222.43 c 3222 970089 306447 1 - 0.0000 -
3217.81/3227.53 c 3228 970554 306503 1 - 0.0000 -
3222.90/3232.63 c 3233 971093 306599 1 - 0.0000 -
3227.88/3237.69 c 3238 971512 306636 1 - 0.0000 -
3232.97/3242.79 c 3243 972121 306830 1 - 0.0000 -
3238.06/3247.86 c 3248 972736 306976 1 - 0.0000 -
3243.14/3252.96 c 3253 973334 307221 1 - 0.0000 -
3248.33/3258.12 c 3258 973929 307443 1 - 0.0000 -
3253.41/3263.25 c 3263 974476 307612 1 - 0.0000 -
3258.51/3268.35 c 3268 975005 307727 1 - 0.0000 -
3263.59/3273.43 c 3273 975489 307809 1 - 0.0000 -
3268.57/3278.49 c 3278 976057 307949 1 - 0.0000 -
3273.66/3283.59 c 3284 976564 308032 1 - 0.0000 -
3278.75/3288.66 c 3289 977048 308080 1 - 0.0000 -
3283.84/3293.75 c 3294 977565 308191 1 - 0.0000 -
3288.92/3298.87 c 3299 978053 308248 1 - 0.0000 -
3294.01/3303.93 c 3304 978696 308494 1 - 0.0000 -
3299.10/3309.04 c 3309 979242 308613 1 - 0.0000 -
3304.19/3314.17 c 3314 980068 308905 1 - 0.0000 -
3309.27/3319.29 c 3319 980704 309073 1 - 0.0000 -
3314.35/3324.36 c 3324 981330 309231 1 - 0.0000 -
3319.44/3329.42 c 3329 981967 309312 1 - 0.0000 -
3324.53/3334.51 c 3335 982484 309408 1 - 0.0000 -
3329.51/3339.60 c 3340 982993 309503 1 - 0.0000 -
3334.60/3344.65 c 3345 983433 309522 1 - 0.0000 -
3339.68/3349.76 c 3350 984095 309781 1 - 0.0000 -
3344.77/3354.85 c 3355 984683 309946 1 - 0.0000 -
3349.97/3360.01 c 3360 985203 310085 1 - 0.0000 -
3355.15/3365.20 c 3365 985634 310157 1 - 0.0000 -
3360.13/3370.29 c 3370 986076 310187 1 - 0.0000 -
3365.32/3375.40 c 3375 986514 310223 1 - 0.0000 -
3370.41/3380.50 c 3381 987260 310470 1 - 0.0000 -
3375.39/3385.58 c 3386 988167 310701 1 - 0.0000 -
3380.48/3390.64 c 3391 988894 310791 1 - 0.0000 -
3385.56/3395.73 c 3396 989476 310961 1 - 0.0000 -
3390.55/3400.79 c 3401 990199 311277 1 - 0.0000 -
3395.64/3405.87 c 3406 990906 311568 1 - 0.0000 -
3400.73/3410.93 c 3411 991596 311805 1 - 0.0000 -
3405.81/3416.01 c 3416 992277 312035 1 - 0.0000 -
3410.80/3421.09 c 3421 992951 312228 1 - 0.0000 -
3415.88/3426.17 c 3426 993637 312437 1 - 0.0000 -
3420.97/3431.29 c 3431 994177 312543 1 - 0.0000 -
3426.05/3436.39 c 3436 994851 312751 1 - 0.0000 -
3431.14/3441.48 c 3441 995398 312845 1 - 0.0000 -
3436.23/3446.55 c 3447 995967 312962 1 - 0.0000 -
3441.41/3451.76 c 3452 996484 313116 1 - 0.0000 -
3446.50/3456.83 c 3457 997016 313209 1 - 0.0000 -
3451.58/3461.91 c 3462 997536 313283 1 - 0.0000 -
3456.56/3466.96 c 3467 998095 313390 1 - 0.0000 -
3461.66/3472.06 c 3472 998659 313487 1 - 0.0000 -
3466.74/3477.16 c 3477 999189 313569 1 - 0.0000 -
3471.82/3482.23 c 3482 999613 313581 1 - 0.0000 -
3476.91/3487.34 c 3487 1000133 313659 1 - 0.0000 -
3482.00/3492.48 c 3492 1000708 313741 1 - 0.0000 -
3487.19/3497.62 c 3498 1001261 313882 1 - 0.0000 -
3492.27/3502.71 c 3503 1001873 313956 1 - 0.0000 -
3497.36/3507.84 c 3508 1002488 314128 1 - 0.0000 -
3502.44/3512.96 c 3513 1002911 314152 1 - 0.0000 -
3507.53/3518.03 c 3518 1003469 314275 1 - 0.0000 -
3512.63/3523.17 c 3523 1004016 314362 1 - 0.0000 -
3517.80/3528.30 c 3528 1004735 314559 1 - 0.0000 -
3522.79/3533.36 c 3533 1005290 314739 1 - 0.0000 -
3527.88/3538.44 c 3538 1005876 314825 1 - 0.0000 -
3532.96/3543.58 c 3544 1006430 314974 1 - 0.0000 -
3538.05/3548.64 c 3549 1007019 315103 1 - 0.0000 -
3543.14/3553.74 c 3554 1007518 315156 1 - 0.0000 -
3548.22/3558.82 c 3559 1008074 315221 1 - 0.0000 -
3553.31/3563.91 c 3564 1008534 315269 1 - 0.0000 -
3558.30/3568.99 c 3569 1009137 315384 1 - 0.0000 -
3563.38/3574.09 c 3574 1009788 315557 1 - 0.0000 -
3568.57/3579.25 c 3579 1010296 315650 1 - 0.0000 -
3573.65/3584.33 c 3584 1010772 315694 1 - 0.0000 -
3578.74/3589.47 c 3589 1011311 315769 1 - 0.0000 -
3583.83/3594.52 c 3595 1011932 315927 1 - 0.0000 -
3588.91/3599.65 c 3600 1012389 315938 1 - 0.0000 -
3589.91/3600.67 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.91/3600.67 c Total Time : 3600.6700
3589.91/3600.67 c solving : 3600.6700
3589.91/3600.67 c presolving : 0.0096 (included in solving)
3589.91/3600.67 c B&B Tree :
3589.91/3600.67 c nodes (total) : 1
3589.91/3600.67 c Solution :
3589.91/3600.67 c Solutions found : 0
3589.91/3600.67 c Primal Bound : -
3589.91/3600.67 c Dual Bound : +0.00000000000000e+00
3589.91/3600.67 c Gap : -
3589.91/3600.67 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 (62816 MiB free)
memory of node 1: 64473 MiB (63307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447490-1721354072/watcher-4447490-1721354072 -o /tmp/evaluation-result-4447490-1721354072/solver-4447490-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447490-1721354072.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=982209, runsolver pid=982206
Current StackSize limit: 8192 KiB
[startup+0.100761 s]*
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129126992/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=111216 memory=29064 CPUtime=0.09 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 4694 0 0 0 9 0 0 0 20 0 3 0 187574268 113885184 7266 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 27804 7266 2926 3032 0 10617 0
[pid=982209/tid=982218] ppid=982206 vsize=111216 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 2498 0 0 0 8 0 0 0 20 0 3 0 187574270 113885184 7266 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=111216 memory=1656803 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 113885184 7266 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111216 KiB
Current children cumulated memory: 29064 KiB
[startup+0.205506 s]*
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129115016/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=111216 memory=35928 CPUtime=0.19 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 6396 0 0 0 19 0 0 0 20 0 3 0 187574268 113885184 8982 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 27804 8982 2926 3032 0 12648 0
[pid=982209/tid=982218] ppid=982206 vsize=111216 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 4200 0 0 0 18 0 0 0 20 0 3 0 187574270 113885184 8982 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=111216 memory=1656803 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 113885184 8982 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111216 KiB
Current children cumulated memory: 35928 KiB
[startup+0.305514 s]*
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129110024/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=111780 memory=39360 CPUtime=0.29 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 7226 0 0 0 29 0 0 0 20 0 3 0 187574268 114462720 9840 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 27945 9840 2926 3032 0 13263 0
[pid=982209/tid=982218] ppid=982206 vsize=111780 memory=-6658689036806437738 CPUtime=0.28 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 5030 0 0 0 28 0 0 0 20 0 3 0 187574270 114462720 9840 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=111780 memory=0 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 114462720 9840 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111780 KiB
Current children cumulated memory: 39360 KiB
[startup+0.700232 s]
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129098776/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=113064 memory=48200 CPUtime=0.69 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 9757 0 0 0 68 1 0 0 20 0 3 0 187574268 115777536 12050 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 28266 12050 2926 3032 0 16274 0
[pid=982209/tid=982218] ppid=982206 vsize=113064 memory=0 CPUtime=0.66 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 7561 0 0 0 66 0 0 0 20 0 3 0 187574270 115777536 12050 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=113064 memory=0 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 115777536 12050 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113064 KiB
Current children cumulated memory: 48200 KiB
[startup+1.50025 s]
/proc/loadavg: 1.97 2.26 2.89 5/266 982220
/proc/meminfo: memFree=129094608/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=113908 memory=51076 CPUtime=1.48 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 16353 0 0 0 147 1 0 0 20 0 3 0 187574268 116641792 12769 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 28477 12769 2942 3032 0 16870 0
[pid=982209/tid=982218] ppid=982206 vsize=113908 memory=0 CPUtime=1.47 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 14146 0 0 0 146 1 0 0 20 0 3 0 187574270 116641792 12769 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=113908 memory=0 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574270 116641792 12769 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113908 KiB
Current children cumulated memory: 51076 KiB
[startup+3.10542 s]
/proc/loadavg: 2.13 2.29 2.90 5/266 982220
/proc/meminfo: memFree=129065132/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=113908 memory=57112 CPUtime=3.08 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 18853 0 0 0 306 2 0 0 20 0 3 0 187574268 116641792 14278 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 28477 14278 2942 3032 0 18019 0
[pid=982209/tid=982218] ppid=982206 vsize=113908 memory=0 CPUtime=3.06 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 16644 0 0 0 305 1 0 0 20 0 3 0 187574270 116641792 14278 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=113908 memory=4109880337890302123 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187574270 116641792 14278 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113908 KiB
Current children cumulated memory: 57112 KiB
[startup+6.30018 s]
/proc/loadavg: 2.13 2.29 2.90 6/266 982220
/proc/meminfo: memFree=129039476/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=113908 memory=64952 CPUtime=6.27 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 28431 0 0 0 623 4 0 0 20 0 3 0 187574268 116641792 16238 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 28477 16238 2990 3032 0 19966 0
[pid=982209/tid=982218] ppid=982206 vsize=113908 memory=0 CPUtime=6.25 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 26199 0 0 0 622 3 0 0 20 0 3 0 187574270 116641792 16238 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=113908 memory=61172 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187574270 116641792 16238 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 113908 KiB
Current children cumulated memory: 64952 KiB
[startup+12.7002 s]
/proc/loadavg: 2.28 2.32 2.91 5/266 982222
/proc/meminfo: memFree=129011444/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=117980 memory=74588 CPUtime=12.65 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 46483 0 0 0 1258 7 0 0 20 0 3 0 187574268 120811520 18647 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 29495 18647 3310 3032 0 21987 0
[pid=982209/tid=982218] ppid=982206 vsize=117980 memory=6720666528053871218 CPUtime=12.63 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 44213 0 0 0 1256 7 0 0 20 0 3 0 187574270 120811520 18647 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=117980 memory=0 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 187574270 120811520 18647 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 117980 KiB
Current children cumulated memory: 74588 KiB
[startup+25.5003 s]
/proc/loadavg: 2.73 2.42 2.93 5/266 982223
/proc/meminfo: memFree=128956060/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=125012 memory=91144 CPUtime=25.41 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 74384 0 0 0 2529 12 0 0 20 0 3 0 187574268 128012288 22786 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 31253 22786 3310 3032 0 26492 0
[pid=982209/tid=982218] ppid=982206 vsize=125012 memory=90456 CPUtime=25.39 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 72070 0 0 0 2528 11 0 0 20 0 3 0 187574270 128012288 22786 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=125012 memory=637 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 187574270 128012288 22786 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 125012 KiB
Current children cumulated memory: 91144 KiB
[startup+51.1054 s]
/proc/loadavg: 3.23 2.56 2.96 5/264 982228
/proc/meminfo: memFree=128861648/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=191956 memory=110444 CPUtime=50.94 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 121604 0 0 0 5074 20 0 0 20 0 3 0 187574268 196562944 27611 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 47989 27611 3310 3032 0 30872 0
[pid=982209/tid=982218] ppid=982206 vsize=191956 memory=109764 CPUtime=50.91 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 119223 0 0 0 5072 19 0 0 20 0 3 0 187574270 196562944 27611 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=191956 memory=2268 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 187574270 196562944 27611 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 191956 KiB
Current children cumulated memory: 110444 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 2.83 3.04 5/266 982620
/proc/meminfo: memFree=128675172/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=191956 memory=153580 CPUtime=101.97 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 195205 0 0 0 10157 40 0 0 20 0 3 0 187574268 196562944 38395 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 47989 38395 3310 3032 0 41511 0
[pid=982209/tid=982218] ppid=982206 vsize=191956 memory=11608 CPUtime=101.94 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 192729 0 0 0 10155 39 0 0 20 0 3 0 187574270 196562944 38395 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=191956 memory=11608 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 187574270 196562944 38395 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 191956 KiB
Current children cumulated memory: 153580 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.08 3.11 6/266 982630
/proc/meminfo: memFree=128483008/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=257492 memory=199104 CPUtime=161.77 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 248063 0 0 0 16122 55 0 0 20 0 3 0 187574268 263671808 49776 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 64373 49776 3310 3032 0 52344 0
[pid=982209/tid=982218] ppid=982206 vsize=257492 memory=163968 CPUtime=161.74 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 245549 0 0 0 16120 54 0 0 20 0 3 0 187574270 263671808 49776 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=257492 memory=198924 CPUtime=0 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 187574270 263671808 49776 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 257492 KiB
################
# More data... #
################
/proc/982209/statm: 184776 161876 3310 3032 0 165596 0
[pid=982209/tid=982218] ppid=982206 vsize=739104 memory=12384 CPUtime=3391.89 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 947598 0 0 0 338882 307 0 0 20 0 3 0 187574270 756842496 161876 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=739104 memory=644680 CPUtime=0.02 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 187574270 756842496 161876 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 739104 KiB
Current children cumulated memory: 647504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/264 984025
/proc/meminfo: memFree=123532356/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=739104 memory=652188 CPUtime=3451.98 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 961064 0 0 0 344880 318 0 0 20 0 3 0 187574268 756842496 163047 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 184776 163047 3310 3032 0 167085 0
[pid=982209/tid=982218] ppid=982206 vsize=739104 memory=12384 CPUtime=3451.72 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 957701 0 0 0 344862 310 0 0 20 0 3 0 187574270 756842496 163047 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=739104 memory=12384 CPUtime=0.02 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 187574270 756842496 163047 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 739104 KiB
Current children cumulated memory: 652188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/265 984037
/proc/meminfo: memFree=123459860/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=739104 memory=653508 CPUtime=3511.82 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 970745 0 0 0 350860 322 0 0 20 0 3 0 187574268 756842496 163377 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 184776 163377 3310 3032 0 167373 0
[pid=982209/tid=982218] ppid=982206 vsize=739104 memory=45640 CPUtime=3511.56 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 967366 0 0 0 350842 314 0 0 20 0 3 0 187574270 756842496 163377 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=739104 memory=653316 CPUtime=0.02 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 187574270 756842496 163377 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 739104 KiB
Current children cumulated memory: 653508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984048
/proc/meminfo: memFree=123394184/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=657836 CPUtime=3571.66 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 982086 0 0 0 356840 326 0 0 20 0 3 0 187574268 757895168 164459 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 164459 3310 3032 0 168244 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=657836 CPUtime=3571.4 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 978691 0 0 0 356822 318 0 0 20 0 3 0 187574270 757895168 164459 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=16184 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 164459 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 657836 KiB
[startup+3600.68 s]
# the end of solver process 982209 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.7 s, system=3.30509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.19 4.15 5/265 984048
/proc/meminfo: memFree=123392884/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=657840 CPUtime=3573.36 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 982109 0 0 0 357010 326 0 0 20 0 3 0 187574268 757895168 164460 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 164460 3310 3032 0 168244 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=6720662134302327406 CPUtime=3573.1 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 978714 0 0 0 356992 318 0 0 20 0 3 0 187574270 757895168 164460 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=2158428 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 164460 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 657840 KiB
[startup+3590.4 s]
/proc/loadavg: 4.28 4.22 4.16 5/265 984050
/proc/meminfo: memFree=123387224/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=658960 CPUtime=3579.74 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 989407 0 0 0 357647 327 0 0 20 0 3 0 187574268 757895168 164740 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 164740 3310 3032 0 168548 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=12384 CPUtime=3579.47 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 986000 0 0 0 357628 319 0 0 20 0 3 0 187574270 757895168 164740 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=5616 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 164740 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3579.74 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 658960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.22 4.16 5/265 984050
/proc/meminfo: memFree=123379856/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=661500 CPUtime=3586.12 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 990514 0 0 0 358285 327 0 0 20 0 3 0 187574268 757895168 165375 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 165375 3310 3032 0 169156 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=12384 CPUtime=3585.85 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 987107 0 0 0 358266 319 0 0 20 0 3 0 187574270 757895168 165375 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=658868 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 165375 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 661500 KiB
[startup+3598.4 s]
/proc/loadavg: 4.26 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123378316/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=662688 CPUtime=3587.71 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 990866 0 0 0 358444 327 0 0 20 0 3 0 187574268 757895168 165672 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 165672 3310 3032 0 169388 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=661500 CPUtime=3587.45 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 987459 0 0 0 358426 319 0 0 20 0 3 0 187574270 757895168 165672 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=16184 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 165672 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3587.71 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 662688 KiB
[startup+3600 s]*
/proc/loadavg: 4.24 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=662716 CPUtime=3589.31 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 993278 0 0 0 358604 327 0 0 20 0 3 0 187574268 757895168 165679 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 165679 3310 3032 0 169388 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=6720662134302327406 CPUtime=3589.06 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 990293 0 0 0 358586 320 0 0 20 0 3 0 187574270 757895168 165679 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=-7448521292198273920 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 165679 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3589.31 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 662716 KiB
[startup+3600.4 s]
/proc/loadavg: 4.24 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=740132 memory=662716 CPUtime=3589.71 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 1017537 0 0 0 358643 328 0 0 20 0 3 0 187574268 757895168 165679 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 185033 165679 3310 3032 0 169388 0
[pid=982209/tid=982218] ppid=982206 vsize=740132 memory=12384 CPUtime=3589.45 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 1014125 0 0 0 358624 321 0 0 20 0 3 0 187574270 757895168 165679 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=740132 memory=5616 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 757895168 165679 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3589.71 s
Current children cumulated vsize: 740132 KiB
Current children cumulated memory: 662716 KiB
[startup+3600.6 s]
/proc/loadavg: 4.24 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982209] ppid=982206 vsize=729852 memory=652440 CPUtime=3589.91 cores=1,3
/proc/982209/stat : 982209 (fscip) S 982206 982209 982041 0 -1 1077936128 1024348 0 0 0 358662 329 0 0 20 0 3 0 187574268 747368448 163110 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
/proc/982209/statm: 182463 163110 3310 3032 0 166818 0
[pid=982209/tid=982218] ppid=982206 vsize=729852 memory=1294596 CPUtime=3589.65 cores=1,3
/proc/982209/task/982218/stat : 982218 (fscip) R 982206 982209 982041 0 -1 4194368 1020938 0 0 0 358644 321 0 0 20 0 3 0 187574270 747368448 163110 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
[pid=982209/tid=982220] ppid=982206 vsize=729852 memory=6720662134302327406 CPUtime=0.03 cores=1,3
/proc/982209/task/982220/stat : 982220 (fscip) S 982206 982209 982041 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 187574270 747368448 163110 134679101440 4194304 16613245 140725045536960 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50077696 140725045539860 140725045539976 140725045539976 140725045546992 0
Current children cumulated CPU time: 3589.91 s
Current children cumulated vsize: 729852 KiB
Current children cumulated memory: 652440 KiB
Child status: 0
Real time (s): 3600.68
CPU time (s): 3590
CPU user time (s): 3586.7
CPU system time (s): 3.30509
CPU usage (%): 99.7034
Max. virtual memory (cumulated for all children) (KiB): 740132
Max. memory (cumulated for all children) (KiB): 662716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.7
system time used= 3.30509
maximum resident set size= 662716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1025210
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= 10887
involuntary context switches= 3723
# summary of solver processes directly reported to runsolver:
# pid: 982209
# total CPU time (s): 3590
# total CPU user time (s): 3586.7
# total CPU system time (s): 3.30509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13279 second user time and 16.917 second system time
The end
Begin job on nodeC028 at 2024-07-19 03:54:45
IDJOB=4447490
IDBENCH=158911
IDSOLVER=3064
FILE ID=nodeC028/4447490-1721354072
RUNJOBID= nodeC028-1721354084-982053
SLURM_JOB_ID= 7542773
Free space on /tmp= 890012 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4447490-1721354072/watcher-4447490-1721354072 -o /tmp/evaluation-result-4447490-1721354072/solver-4447490-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447490-1721354072.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d059f39552443ed7b428fbc50456c2f5
RANDOM SEED=22335364
nodeC028.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 : 3638.845
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.56
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 : 3649.463
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.59
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 : 3669.155
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.56
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 : 3672.147
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.59
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 : 3659.644
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.56
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 : 3666.083
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.59
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 : 3600.291
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.56
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.269
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129163256 kB
MemAvailable: 129686424 kB
Buffers: 503192 kB
Cached: 861744 kB
SwapCached: 0 kB
Active: 1003196 kB
Inactive: 762488 kB
Active(anon): 1452 kB
Inactive(anon): 436976 kB
Active(file): 1001744 kB
Inactive(file): 325512 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113076 kB
Writeback: 4 kB
AnonPages: 398600 kB
Mapped: 129736 kB
Shmem: 37720 kB
KReclaimable: 71468 kB
Slab: 178896 kB
SReclaimable: 71468 kB
SUnreclaim: 107428 kB
KernelStack: 3936 kB
PageTables: 10272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 764304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 04:54:45