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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 25862144, getVmSize() = 25862144, SCIPgetMemUsed() = 2784235, SCIPgetMemTotal() = 4278059, SCIPgetMemExternEstim() = 1336279
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 19253930, getVmSize() = 31899648, SCIPgetMemUsed() = 5556337, SCIPgetMemTotal() = 9145913, SCIPgetMemExternEstim() = 1336279
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4464449-1722382202
0.00/0.02 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 830
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 375 (375 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 785
0.00/0.02 c Constraints : Number
0.00/0.02 c setppc : 95
0.00/0.02 c linear : 15
0.00/0.02 c logicor : 675
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.36/5.44 c 5 988 240 1 - 0.0000 -
10.34/10.49 c 10 4490 573 1 - 0.0000 -
15.42/15.54 c 16 7903 745 1 - 0.0000 -
20.40/20.60 c 21 11346 876 1 - 0.0000 -
25.48/25.67 c 26 14123 1165 1 - 0.0000 -
30.66/30.85 c 31 14870 128 1 - 0.0000 -
35.74/35.96 c 36 15141 399 1 - 0.0000 -
40.83/41.04 c 41 16269 662 1 - 0.0000 -
45.81/46.09 c 46 18271 1103 1 - 0.0000 -
50.89/51.16 c 51 20313 1530 1 - 0.0000 -
55.96/56.21 c 56 23056 1844 1 - 0.0000 -
60.94/61.26 c 61 25774 2138 1 - 0.0000 -
66.02/66.30 c 66 28686 2425 1 - 0.0000 -
71.00/71.35 c 71 31558 2686 1 - 0.0000 -
76.07/76.45 c 76 34773 2911 1 - 0.0000 -
81.16/81.51 c 82 36956 3228 1 - 0.0000 -
86.13/86.57 c 87 40390 3398 1 - 0.0000 -
91.21/91.63 c 92 43488 3582 1 - 0.0000 -
96.19/96.68 c 97 46967 3755 1 - 0.0000 -
101.26/101.73 c 102 51098 3866 1 - 0.0000 -
106.24/106.78 c 107 54668 3967 1 - 0.0000 -
111.32/111.85 c 112 57523 4100 1 - 0.0000 -
116.40/116.91 c 117 60495 4395 1 - 0.0000 -
121.38/121.97 c 122 63071 4561 1 - 0.0000 -
126.47/127.02 c 127 66101 4704 1 - 0.0000 -
131.45/132.07 c 132 68580 4882 1 - 0.0000 -
136.52/137.12 c 137 71083 5074 1 - 0.0000 -
141.51/142.19 c 142 73986 5216 1 - 0.0000 -
146.58/147.24 c 147 76534 5450 1 - 0.0000 -
151.56/152.29 c 152 79794 5701 1 - 0.0000 -
156.65/157.34 c 157 82915 5821 1 - 0.0000 -
161.64/162.39 c 162 85776 5880 1 - 0.0000 -
166.71/167.45 c 167 88391 6086 1 - 0.0000 -
171.79/172.50 c 173 91982 6144 1 - 0.0000 -
176.78/177.55 c 178 95505 6188 1 - 0.0000 -
181.86/182.60 c 183 99049 6243 1 - 0.0000 -
186.84/187.65 c 188 102871 6249 1 - 0.0000 -
191.93/192.70 c 193 106506 6295 1 - 0.0000 -
196.91/197.75 c 198 110270 6308 1 - 0.0000 -
202.00/202.80 c 203 113671 6300 1 - 0.0000 -
206.97/207.85 c 208 116828 6421 1 - 0.0000 -
212.06/212.90 c 213 120304 6526 1 - 0.0000 -
217.04/217.95 c 218 123504 6562 1 - 0.0000 -
222.02/223.01 c 223 126636 6597 1 - 0.0000 -
227.11/228.06 c 228 129472 6637 1 - 0.0000 -
232.09/233.10 c 233 131982 6911 1 - 0.0000 -
237.17/238.15 c 238 135607 6939 1 - 0.0000 -
242.25/243.20 c 243 138790 6990 1 - 0.0000 -
247.23/248.25 c 248 142247 7040 1 - 0.0000 -
252.32/253.30 c 253 145961 7021 1 - 0.0000 -
257.30/258.34 c 258 149630 7035 1 - 0.0000 -
262.28/263.39 c 263 153209 7064 1 - 0.0000 -
267.35/268.45 c 268 156428 7111 1 - 0.0000 -
272.44/273.50 c 274 159394 7206 1 - 0.0000 -
277.42/278.57 c 279 162241 7361 1 - 0.0000 -
282.51/283.62 c 284 165704 7354 1 - 0.0000 -
287.48/288.68 c 289 168548 7456 1 - 0.0000 -
292.56/293.75 c 294 171369 7488 1 - 0.0000 -
297.64/298.80 c 299 174757 7505 1 - 0.0000 -
302.63/303.85 c 304 177918 7624 1 - 0.0000 -
307.70/308.90 c 309 181056 7776 1 - 0.0000 -
312.69/313.95 c 314 184171 7826 1 - 0.0000 -
317.78/319.01 c 319 187214 7901 1 - 0.0000 -
322.76/324.06 c 324 189659 7933 1 - 0.0000 -
327.84/329.11 c 329 192252 8034 1 - 0.0000 -
332.82/334.16 c 334 195165 8131 1 - 0.0000 -
337.90/339.21 c 339 198378 8153 1 - 0.0000 -
342.88/344.26 c 344 201605 8284 1 - 0.0000 -
347.96/349.31 c 349 205191 8360 1 - 0.0000 -
352.95/354.37 c 354 208640 8431 1 - 0.0000 -
358.02/359.42 c 359 212060 8541 1 - 0.0000 -
363.01/364.47 c 364 215545 8719 1 - 0.0000 -
368.09/369.52 c 370 218719 8702 1 - 0.0000 -
373.06/374.57 c 375 221735 8732 1 - 0.0000 -
378.14/379.63 c 380 224913 8726 1 - 0.0000 -
383.12/384.68 c 385 228487 8763 1 - 0.0000 -
388.20/389.73 c 390 232024 8772 1 - 0.0000 -
393.18/394.78 c 395 235462 8799 1 - 0.0000 -
398.25/399.84 c 400 238560 8839 1 - 0.0000 -
403.33/404.91 c 405 241808 8860 1 - 0.0000 -
408.31/409.95 c 410 244825 8916 1 - 0.0000 -
413.29/415.01 c 415 247639 8938 1 - 0.0000 -
418.38/420.05 c 420 250546 8951 1 - 0.0000 -
423.35/425.10 c 425 253551 8991 1 - 0.0000 -
428.44/430.18 c 430 256646 8984 1 - 0.0000 -
433.50/435.23 c 435 259976 9044 1 - 0.0000 -
438.48/440.28 c 440 263238 9043 1 - 0.0000 -
443.56/445.33 c 445 266438 9032 1 - 0.0000 -
448.54/450.38 c 450 269778 9041 1 - 0.0000 -
453.61/455.43 c 455 273361 9062 1 - 0.0000 -
458.60/460.48 c 460 276644 9070 1 - 0.0000 -
463.67/465.53 c 466 279638 9038 1 - 0.0000 -
468.65/470.58 c 471 282865 9197 1 - 0.0000 -
473.74/475.63 c 476 286315 9293 1 - 0.0000 -
478.72/480.68 c 481 289194 9357 1 - 0.0000 -
483.81/485.73 c 486 292448 9359 1 - 0.0000 -
488.79/490.78 c 491 295764 9373 1 - 0.0000 -
493.87/495.83 c 496 298906 9388 1 - 0.0000 -
498.85/500.88 c 501 302131 9404 1 - 0.0000 -
503.94/505.93 c 506 305131 9454 1 - 0.0000 -
508.92/510.98 c 511 308795 9474 1 - 0.0000 -
514.01/516.03 c 516 312482 9514 1 - 0.0000 -
519.00/521.09 c 521 316108 9579 1 - 0.0000 -
524.08/526.14 c 526 319784 9552 1 - 0.0000 -
529.05/531.19 c 531 323383 9584 1 - 0.0000 -
534.13/536.26 c 536 327066 9640 1 - 0.0000 -
539.21/541.31 c 541 330820 9627 1 - 0.0000 -
544.19/546.36 c 546 333669 9610 1 - 0.0000 -
549.28/551.43 c 551 336293 9664 1 - 0.0000 -
554.25/556.48 c 556 338907 9688 1 - 0.0000 -
559.34/561.53 c 562 341507 9777 1 - 0.0000 -
564.32/566.58 c 567 344227 9837 1 - 0.0000 -
569.41/571.63 c 572 346841 9872 1 - 0.0000 -
574.38/576.68 c 577 349523 9907 1 - 0.0000 -
579.47/581.74 c 582 352098 9990 1 - 0.0000 -
584.45/586.79 c 587 354636 10074 1 - 0.0000 -
589.53/591.84 c 592 356861 10052 1 - 0.0000 -
594.52/596.89 c 597 359392 10180 1 - 0.0000 -
599.60/601.94 c 602 361697 10212 1 - 0.0000 -
604.58/606.99 c 607 364194 10247 1 - 0.0000 -
609.67/612.04 c 612 366566 10258 1 - 0.0000 -
614.65/617.09 c 617 368913 10323 1 - 0.0000 -
619.74/622.14 c 622 371330 10402 1 - 0.0000 -
624.73/627.19 c 627 373651 10433 1 - 0.0000 -
629.79/632.26 c 632 375991 10523 1 - 0.0000 -
634.88/637.31 c 637 378363 10517 1 - 0.0000 -
639.86/642.36 c 642 380686 10542 1 - 0.0000 -
644.94/647.41 c 647 383001 10537 1 - 0.0000 -
649.93/652.46 c 652 385184 10578 1 - 0.0000 -
655.01/657.51 c 658 387486 10589 1 - 0.0000 -
659.99/662.56 c 663 389645 10640 1 - 0.0000 -
665.08/667.61 c 668 391966 10689 1 - 0.0000 -
670.06/672.66 c 673 394229 10648 1 - 0.0000 -
675.14/677.71 c 678 396511 10675 1 - 0.0000 -
680.13/682.76 c 683 398779 10736 1 - 0.0000 -
685.21/687.81 c 688 400997 10743 1 - 0.0000 -
690.20/692.86 c 693 403139 10950 1 - 0.0000 -
695.28/697.91 c 698 405411 11020 1 - 0.0000 -
700.27/702.96 c 703 407598 11154 1 - 0.0000 -
705.35/708.01 c 708 409742 11157 1 - 0.0000 -
710.34/713.06 c 713 411888 11180 1 - 0.0000 -
715.42/718.11 c 718 414179 11169 1 - 0.0000 -
720.40/723.16 c 723 416356 11301 1 - 0.0000 -
725.47/728.21 c 728 418446 11396 1 - 0.0000 -
730.46/733.26 c 733 420576 11523 1 - 0.0000 -
735.54/738.32 c 738 422641 11593 1 - 0.0000 -
740.53/743.36 c 743 424739 11605 1 - 0.0000 -
745.62/748.41 c 748 426882 11615 1 - 0.0000 -
750.60/753.46 c 753 429011 11737 1 - 0.0000 -
755.68/758.51 c 759 431107 11826 1 - 0.0000 -
760.66/763.56 c 764 433257 11894 1 - 0.0000 -
765.75/768.61 c 769 435374 11930 1 - 0.0000 -
770.73/773.66 c 774 437672 11947 1 - 0.0000 -
775.82/778.71 c 779 439919 11940 1 - 0.0000 -
780.80/783.76 c 784 442170 11968 1 - 0.0000 -
785.88/788.81 c 789 444523 11975 1 - 0.0000 -
790.87/793.86 c 794 446820 11981 1 - 0.0000 -
795.96/798.91 c 799 448824 12064 1 - 0.0000 -
800.94/803.96 c 804 450778 12134 1 - 0.0000 -
806.04/809.01 c 809 452902 12247 1 - 0.0000 -
811.01/814.06 c 814 454876 12214 1 - 0.0000 -
816.10/819.11 c 819 456960 12265 1 - 0.0000 -
821.09/824.16 c 824 458816 12294 1 - 0.0000 -
826.16/829.21 c 829 461037 12320 1 - 0.0000 -
831.14/834.26 c 834 463209 12350 1 - 0.0000 -
836.23/839.31 c 839 465289 12385 1 - 0.0000 -
841.21/844.36 c 844 467639 12443 1 - 0.0000 -
846.29/849.41 c 849 469874 12567 1 - 0.0000 -
851.28/854.48 c 854 471990 12640 1 - 0.0000 -
856.36/859.56 c 860 474072 12718 1 - 0.0000 -
861.45/864.61 c 865 476191 12732 1 - 0.0000 -
866.41/869.66 c 870 478444 12926 1 - 0.0000 -
871.50/874.71 c 875 480458 12987 1 - 0.0000 -
876.48/879.78 c 880 482255 12957 1 - 0.0000 -
881.57/884.83 c 885 484293 12971 1 - 0.0000 -
886.56/889.88 c 890 486484 12953 1 - 0.0000 -
891.64/894.93 c 895 488620 12949 1 - 0.0000 -
896.62/899.99 c 900 490726 12972 1 - 0.0000 -
901.71/905.04 c 905 492872 12978 1 - 0.0000 -
906.70/910.10 c 910 494999 12994 1 - 0.0000 -
911.78/915.15 c 915 497234 13015 1 - 0.0000 -
916.85/920.20 c 920 499533 13011 1 - 0.0000 -
921.83/925.25 c 925 501738 13010 1 - 0.0000 -
926.92/930.30 c 930 503927 12987 1 - 0.0000 -
931.90/935.35 c 935 506095 13014 1 - 0.0000 -
936.99/940.40 c 940 508148 13049 1 - 0.0000 -
941.97/945.45 c 945 510316 13053 1 - 0.0000 -
947.06/950.50 c 951 512619 13061 1 - 0.0000 -
952.04/955.55 c 956 514799 13099 1 - 0.0000 -
957.12/960.60 c 961 517185 13160 1 - 0.0000 -
962.11/965.65 c 966 519486 13203 1 - 0.0000 -
967.19/970.70 c 971 521726 13182 1 - 0.0000 -
972.18/975.75 c 976 524093 13141 1 - 0.0000 -
977.26/980.80 c 981 526305 13166 1 - 0.0000 -
982.25/985.85 c 986 528251 13240 1 - 0.0000 -
987.33/990.90 c 991 530429 13274 1 - 0.0000 -
992.31/995.95 c 996 532809 13244 1 - 0.0000 -
997.41/1001.02 c 1001 535070 13276 1 - 0.0000 -
1002.39/1006.07 c 1006 537664 13250 1 - 0.0000 -
1007.47/1011.12 c 1011 539930 13257 1 - 0.0000 -
1012.46/1016.17 c 1016 542416 13238 1 - 0.0000 -
1017.53/1021.22 c 1021 545062 13233 1 - 0.0000 -
1022.51/1026.27 c 1026 547618 13243 1 - 0.0000 -
1027.60/1031.32 c 1031 550051 13245 1 - 0.0000 -
1032.58/1036.37 c 1036 552300 13234 1 - 0.0000 -
1037.67/1041.42 c 1041 554728 13256 1 - 0.0000 -
1042.65/1046.47 c 1046 557609 13251 1 - 0.0000 -
1047.74/1051.52 c 1052 559530 13252 1 - 0.0000 -
1052.72/1056.57 c 1057 561409 13246 1 - 0.0000 -
1057.80/1061.62 c 1062 563309 13340 1 - 0.0000 -
1062.77/1066.67 c 1067 565107 13351 1 - 0.0000 -
1067.86/1071.72 c 1072 567015 13425 1 - 0.0000 -
1072.84/1076.77 c 1077 569092 13447 1 - 0.0000 -
1077.92/1081.82 c 1082 571156 13421 1 - 0.0000 -
1082.90/1086.87 c 1087 573120 13409 1 - 0.0000 -
1087.98/1091.93 c 1092 575083 13386 1 - 0.0000 -
1092.96/1096.98 c 1097 577065 13349 1 - 0.0000 -
1098.05/1102.03 c 1102 578941 13384 1 - 0.0000 -
1103.04/1107.08 c 1107 581203 13394 1 - 0.0000 -
1108.12/1112.13 c 1112 583371 13433 1 - 0.0000 -
1113.10/1117.18 c 1117 585581 13430 1 - 0.0000 -
1118.17/1122.23 c 1122 587815 13419 1 - 0.0000 -
1123.16/1127.28 c 1127 589936 13412 1 - 0.0000 -
1128.23/1132.33 c 1132 591923 13385 1 - 0.0000 -
1133.22/1137.38 c 1137 593814 13370 1 - 0.0000 -
1138.30/1142.44 c 1142 595778 13369 1 - 0.0000 -
1143.28/1147.49 c 1148 597852 13429 1 - 0.0000 -
1148.37/1152.54 c 1153 600079 13489 1 - 0.0000 -
1153.35/1157.59 c 1158 602290 13483 1 - 0.0000 -
1158.44/1162.64 c 1163 604460 13467 1 - 0.0000 -
1163.42/1167.69 c 1168 606752 13504 1 - 0.0000 -
1168.50/1172.74 c 1173 608954 13493 1 - 0.0000 -
1173.48/1177.79 c 1178 611125 13476 1 - 0.0000 -
1178.56/1182.84 c 1183 613360 13446 1 - 0.0000 -
1183.55/1187.89 c 1188 615564 13409 1 - 0.0000 -
1188.62/1192.94 c 1193 617675 13363 1 - 0.0000 -
1193.62/1197.99 c 1198 619658 13345 1 - 0.0000 -
1198.71/1203.04 c 1203 621753 13371 1 - 0.0000 -
1203.69/1208.09 c 1208 623924 13412 1 - 0.0000 -
1208.77/1213.14 c 1213 626115 13526 1 - 0.0000 -
1213.76/1218.19 c 1218 628166 13657 1 - 0.0000 -
1218.83/1223.24 c 1223 630196 13699 1 - 0.0000 -
1223.82/1228.29 c 1228 632358 13725 1 - 0.0000 -
1228.89/1233.35 c 1233 634536 13718 1 - 0.0000 -
1233.98/1238.40 c 1238 636482 13684 1 - 0.0000 -
1238.96/1243.45 c 1243 638531 13666 1 - 0.0000 -
1244.04/1248.50 c 1249 640709 13659 1 - 0.0000 -
1249.02/1253.55 c 1254 642744 13656 1 - 0.0000 -
1254.11/1258.60 c 1259 644951 13746 1 - 0.0000 -
1259.09/1263.65 c 1264 647061 13794 1 - 0.0000 -
1264.17/1268.70 c 1269 649136 13806 1 - 0.0000 -
1269.16/1273.75 c 1274 651087 13804 1 - 0.0000 -
1274.25/1278.81 c 1279 653038 13782 1 - 0.0000 -
1279.22/1283.85 c 1284 655303 13788 1 - 0.0000 -
1284.31/1288.90 c 1289 657508 13893 1 - 0.0000 -
1289.30/1293.95 c 1294 659601 13912 1 - 0.0000 -
1294.27/1299.01 c 1299 661703 13915 1 - 0.0000 -
1299.37/1304.05 c 1304 663905 13984 1 - 0.0000 -
1304.35/1309.10 c 1309 666018 13971 1 - 0.0000 -
1309.44/1314.15 c 1314 668120 13992 1 - 0.0000 -
1314.51/1319.20 c 1319 670213 14034 1 - 0.0000 -
1319.48/1324.25 c 1324 672333 14012 1 - 0.0000 -
1324.57/1329.30 c 1329 674514 13977 1 - 0.0000 -
1329.55/1334.35 c 1334 676630 13955 1 - 0.0000 -
1334.64/1339.40 c 1339 678703 13928 1 - 0.0000 -
1339.62/1344.45 c 1344 680782 13895 1 - 0.0000 -
1344.70/1349.50 c 1350 682937 13897 1 - 0.0000 -
1349.68/1354.55 c 1355 684969 13878 1 - 0.0000 -
1354.77/1359.60 c 1360 687261 13894 1 - 0.0000 -
1359.75/1364.65 c 1365 689599 13894 1 - 0.0000 -
1364.84/1369.70 c 1370 691593 13897 1 - 0.0000 -
1369.82/1374.75 c 1375 693774 13891 1 - 0.0000 -
1374.91/1379.80 c 1380 696102 14039 1 - 0.0000 -
1379.89/1384.86 c 1385 698509 14103 1 - 0.0000 -
1384.97/1389.90 c 1390 700900 14095 1 - 0.0000 -
1389.95/1394.95 c 1395 703036 14011 1 - 0.0000 -
1394.94/1400.00 c 1400 705195 13989 1 - 0.0000 -
1400.04/1405.05 c 1405 707460 14039 1 - 0.0000 -
1405.01/1410.10 c 1410 709589 14041 1 - 0.0000 -
1410.10/1415.15 c 1415 711701 13991 1 - 0.0000 -
1415.18/1420.20 c 1420 713984 13952 1 - 0.0000 -
1420.16/1425.25 c 1425 716111 13991 1 - 0.0000 -
1425.24/1430.30 c 1430 717983 14006 1 - 0.0000 -
1430.23/1435.36 c 1435 719940 13997 1 - 0.0000 -
1435.31/1440.41 c 1440 721982 14014 1 - 0.0000 -
1440.29/1445.47 c 1445 723936 14007 1 - 0.0000 -
1445.38/1450.53 c 1451 725490 14055 1 - 0.0000 -
1450.46/1455.60 c 1456 726961 14058 1 - 0.0000 -
1455.45/1460.67 c 1461 728215 14067 1 - 0.0000 -
1460.53/1465.72 c 1466 729490 14051 1 - 0.0000 -
1465.52/1470.76 c 1471 730918 14067 1 - 0.0000 -
1470.61/1475.82 c 1476 732704 14273 1 - 0.0000 -
1475.59/1480.88 c 1481 734351 14268 1 - 0.0000 -
1480.67/1485.94 c 1486 736009 14239 1 - 0.0000 -
1485.65/1490.98 c 1491 737828 14266 1 - 0.0000 -
1490.74/1496.03 c 1496 740209 14290 1 - 0.0000 -
1495.73/1501.08 c 1501 742582 14333 1 - 0.0000 -
1500.81/1506.13 c 1506 745065 14319 1 - 0.0000 -
1505.80/1511.18 c 1511 747596 14303 1 - 0.0000 -
1510.87/1516.23 c 1516 750008 14276 1 - 0.0000 -
1515.85/1521.28 c 1521 752385 14393 1 - 0.0000 -
1520.94/1526.33 c 1526 754589 14549 1 - 0.0000 -
1525.91/1531.38 c 1531 756784 14607 1 - 0.0000 -
1531.00/1536.43 c 1536 758992 14670 1 - 0.0000 -
1535.98/1541.50 c 1542 761028 14670 1 - 0.0000 -
1541.07/1546.54 c 1547 762850 14671 1 - 0.0000 -
1546.05/1551.59 c 1552 764831 14741 1 - 0.0000 -
1551.14/1556.64 c 1557 766566 14798 1 - 0.0000 -
1556.13/1561.69 c 1562 768242 14842 1 - 0.0000 -
1561.21/1566.74 c 1567 769963 14936 1 - 0.0000 -
1566.19/1571.79 c 1572 771776 15041 1 - 0.0000 -
1571.27/1576.85 c 1577 773578 15063 1 - 0.0000 -
1576.36/1581.91 c 1582 775405 15184 1 - 0.0000 -
1581.34/1586.96 c 1587 777014 15294 1 - 0.0000 -
1586.44/1592.01 c 1592 778672 15280 1 - 0.0000 -
1591.41/1597.06 c 1597 780459 15337 1 - 0.0000 -
1596.50/1602.11 c 1602 782039 15514 1 - 0.0000 -
1601.49/1607.16 c 1607 783506 15673 1 - 0.0000 -
1606.56/1612.23 c 1612 784916 15756 1 - 0.0000 -
1611.54/1617.28 c 1617 786522 15899 1 - 0.0000 -
1616.62/1622.34 c 1622 788418 15948 1 - 0.0000 -
1621.71/1627.40 c 1627 790206 15965 1 - 0.0000 -
1626.70/1632.47 c 1632 791945 16098 1 - 0.0000 -
1631.78/1637.54 c 1638 793617 16178 1 - 0.0000 -
1636.86/1642.61 c 1643 795081 16402 1 - 0.0000 -
1641.85/1647.68 c 1648 796727 16472 1 - 0.0000 -
1646.94/1652.74 c 1653 798378 16531 1 - 0.0000 -
1652.01/1657.81 c 1658 799896 16726 1 - 0.0000 -
1657.00/1662.86 c 1663 801448 16812 1 - 0.0000 -
1662.09/1667.92 c 1668 803165 16814 1 - 0.0000 -
1667.07/1672.97 c 1673 805228 16834 1 - 0.0000 -
1672.16/1678.02 c 1678 807120 16880 1 - 0.0000 -
1677.15/1683.08 c 1683 808907 16957 1 - 0.0000 -
1682.23/1688.13 c 1688 810604 16994 1 - 0.0000 -
1687.21/1693.18 c 1693 812311 17045 1 - 0.0000 -
1692.28/1698.24 c 1698 813710 17088 1 - 0.0000 -
1697.27/1703.29 c 1703 815533 17161 1 - 0.0000 -
1702.35/1708.35 c 1708 817786 17297 1 - 0.0000 -
1707.43/1713.40 c 1713 820200 17207 1 - 0.0000 -
1712.42/1718.47 c 1718 821647 17203 1 - 0.0000 -
1717.51/1723.52 c 1724 823546 17305 1 - 0.0000 -
1722.49/1728.58 c 1729 825699 17369 1 - 0.0000 -
1727.57/1733.63 c 1734 827666 17442 1 - 0.0000 -
1732.55/1738.69 c 1739 829733 17541 1 - 0.0000 -
1737.64/1743.74 c 1744 831970 17600 1 - 0.0000 -
1742.62/1748.79 c 1749 834319 17639 1 - 0.0000 -
1747.70/1753.84 c 1754 836427 17736 1 - 0.0000 -
1752.69/1758.89 c 1759 838814 17794 1 - 0.0000 -
1757.78/1763.94 c 1764 841052 17798 1 - 0.0000 -
1762.87/1769.02 c 1769 843428 17878 1 - 0.0000 -
1767.85/1774.06 c 1774 845979 17899 1 - 0.0000 -
1772.94/1779.11 c 1779 848543 17915 1 - 0.0000 -
1777.92/1784.16 c 1784 850986 17941 1 - 0.0000 -
1782.99/1789.21 c 1789 853344 17987 1 - 0.0000 -
1787.97/1794.27 c 1794 855698 17992 1 - 0.0000 -
1793.06/1799.33 c 1799 858032 18071 1 - 0.0000 -
1798.04/1804.38 c 1804 860283 18081 1 - 0.0000 -
1803.12/1809.43 c 1809 862540 18096 1 - 0.0000 -
1808.11/1814.48 c 1814 864657 18117 1 - 0.0000 -
1813.19/1819.53 c 1820 866834 18155 1 - 0.0000 -
1818.18/1824.58 c 1825 868931 18252 1 - 0.0000 -
1823.26/1829.63 c 1830 871022 18287 1 - 0.0000 -
1828.24/1834.68 c 1835 872987 18315 1 - 0.0000 -
1833.31/1839.73 c 1840 875055 18354 1 - 0.0000 -
1838.29/1844.78 c 1845 877143 18380 1 - 0.0000 -
1843.38/1849.83 c 1850 879243 18401 1 - 0.0000 -
1848.36/1854.88 c 1855 880886 18430 1 - 0.0000 -
1853.45/1859.93 c 1860 882814 18451 1 - 0.0000 -
1858.43/1864.99 c 1865 884791 18475 1 - 0.0000 -
1863.52/1870.03 c 1870 886669 18474 1 - 0.0000 -
1868.50/1875.08 c 1875 888746 18507 1 - 0.0000 -
1873.59/1880.13 c 1880 890793 18590 1 - 0.0000 -
1878.57/1885.18 c 1885 892959 18576 1 - 0.0000 -
1883.64/1890.23 c 1890 895029 18577 1 - 0.0000 -
1888.63/1895.28 c 1895 897112 18584 1 - 0.0000 -
1893.71/1900.34 c 1900 899217 18617 1 - 0.0000 -
1898.69/1905.39 c 1905 901194 18641 1 - 0.0000 -
1903.77/1910.44 c 1910 903183 18671 1 - 0.0000 -
1908.86/1915.50 c 1916 905126 18694 1 - 0.0000 -
1913.85/1920.55 c 1921 907313 18710 1 - 0.0000 -
1918.93/1925.64 c 1926 909575 18776 1 - 0.0000 -
1923.91/1930.69 c 1931 911866 18804 1 - 0.0000 -
1928.99/1935.76 c 1936 914074 18896 1 - 0.0000 -
1934.08/1940.81 c 1941 916297 18927 1 - 0.0000 -
1939.07/1945.86 c 1946 918457 18998 1 - 0.0000 -
1944.15/1950.91 c 1951 920553 19013 1 - 0.0000 -
1949.14/1955.96 c 1956 922624 19076 1 - 0.0000 -
1954.22/1961.01 c 1961 924681 19038 1 - 0.0000 -
1959.21/1966.06 c 1966 926797 19051 1 - 0.0000 -
1964.29/1971.12 c 1971 928923 19087 1 - 0.0000 -
1969.28/1976.17 c 1976 930953 19164 1 - 0.0000 -
1974.35/1981.22 c 1981 933108 19256 1 - 0.0000 -
1979.33/1986.27 c 1986 935342 19256 1 - 0.0000 -
1984.41/1991.32 c 1991 937641 19268 1 - 0.0000 -
1989.40/1996.37 c 1996 939835 19215 1 - 0.0000 -
1994.48/2001.42 c 2001 941996 19226 1 - 0.0000 -
1999.47/2006.47 c 2006 944123 19341 1 - 0.0000 -
2004.55/2011.52 c 2012 946287 19360 1 - 0.0000 -
2009.53/2016.57 c 2017 948389 19405 1 - 0.0000 -
2014.62/2021.62 c 2022 950423 19413 1 - 0.0000 -
2019.60/2026.67 c 2027 952397 19436 1 - 0.0000 -
2024.69/2031.72 c 2032 954406 19422 1 - 0.0000 -
2029.68/2036.77 c 2037 956447 19432 1 - 0.0000 -
2034.75/2041.82 c 2042 958426 19425 1 - 0.0000 -
2039.74/2046.87 c 2047 960334 19458 1 - 0.0000 -
2044.82/2051.92 c 2052 962228 19451 1 - 0.0000 -
2049.80/2056.98 c 2057 964098 19420 1 - 0.0000 -
2054.89/2062.02 c 2062 966077 19406 1 - 0.0000 -
2059.88/2067.07 c 2067 968101 19424 1 - 0.0000 -
2064.97/2072.12 c 2072 970076 19427 1 - 0.0000 -
2069.94/2077.17 c 2077 972062 19454 1 - 0.0000 -
2075.02/2082.22 c 2082 974067 19525 1 - 0.0000 -
2080.00/2087.27 c 2087 975973 19524 1 - 0.0000 -
2085.09/2092.32 c 2092 977982 19544 1 - 0.0000 -
2090.07/2097.37 c 2097 979947 19576 1 - 0.0000 -
2095.15/2102.42 c 2102 981983 19605 1 - 0.0000 -
2100.13/2107.47 c 2107 983909 19637 1 - 0.0000 -
2105.22/2112.52 c 2113 985684 19680 1 - 0.0000 -
2110.21/2117.57 c 2118 987760 19712 1 - 0.0000 -
2115.29/2122.62 c 2123 989754 19689 1 - 0.0000 -
2120.27/2127.67 c 2128 991826 19698 1 - 0.0000 -
2125.35/2132.72 c 2133 993848 19728 1 - 0.0000 -
2130.34/2137.77 c 2138 995871 19769 1 - 0.0000 -
2135.43/2142.82 c 2143 997828 19771 1 - 0.0000 -
2140.41/2147.87 c 2148 999812 19771 1 - 0.0000 -
2145.49/2152.92 c 2153 1001823 19924 1 - 0.0000 -
2150.47/2157.97 c 2158 1003847 19926 1 - 0.0000 -
2155.56/2163.02 c 2163 1005897 19919 1 - 0.0000 -
2160.55/2168.08 c 2168 1007884 19917 1 - 0.0000 -
2165.63/2173.13 c 2173 1009938 19939 1 - 0.0000 -
2170.61/2178.19 c 2178 1011943 19936 1 - 0.0000 -
2175.69/2183.24 c 2183 1013799 19932 1 - 0.0000 -
2180.67/2188.29 c 2188 1015810 19994 1 - 0.0000 -
2185.76/2193.34 c 2193 1017787 20013 1 - 0.0000 -
2190.74/2198.39 c 2198 1019802 20048 1 - 0.0000 -
2195.82/2203.44 c 2203 1021959 20049 1 - 0.0000 -
2200.81/2208.49 c 2208 1024132 20041 1 - 0.0000 -
2205.89/2213.54 c 2214 1026212 20038 1 - 0.0000 -
2210.87/2218.59 c 2219 1028126 20050 1 - 0.0000 -
2215.95/2223.64 c 2224 1030286 20075 1 - 0.0000 -
2220.94/2228.69 c 2229 1032371 20056 1 - 0.0000 -
2226.02/2233.74 c 2234 1034512 20101 1 - 0.0000 -
2231.01/2238.79 c 2239 1036450 20179 1 - 0.0000 -
2236.09/2243.84 c 2244 1038316 20275 1 - 0.0000 -
2241.07/2248.89 c 2249 1040349 20291 1 - 0.0000 -
2246.16/2253.94 c 2254 1042318 20297 1 - 0.0000 -
2251.14/2258.99 c 2259 1044380 20297 1 - 0.0000 -
2256.23/2264.04 c 2264 1046490 20300 1 - 0.0000 -
2261.22/2269.09 c 2269 1048673 20351 1 - 0.0000 -
2266.29/2274.14 c 2274 1050989 20359 1 - 0.0000 -
2271.28/2279.19 c 2279 1053194 20375 1 - 0.0000 -
2276.35/2284.24 c 2284 1055284 20360 1 - 0.0000 -
2281.34/2289.29 c 2289 1057502 20356 1 - 0.0000 -
2286.42/2294.34 c 2294 1059513 20404 1 - 0.0000 -
2291.50/2299.40 c 2299 1061521 20372 1 - 0.0000 -
2296.49/2304.45 c 2304 1063669 20396 1 - 0.0000 -
2301.57/2309.50 c 2310 1065558 20538 1 - 0.0000 -
2306.55/2314.55 c 2315 1067421 20629 1 - 0.0000 -
2311.64/2319.60 c 2320 1069400 20739 1 - 0.0000 -
2316.62/2324.65 c 2325 1071309 20802 1 - 0.0000 -
2321.70/2329.70 c 2330 1073234 20873 1 - 0.0000 -
2326.69/2334.78 c 2335 1075148 20952 1 - 0.0000 -
2331.77/2339.82 c 2340 1077061 21006 1 - 0.0000 -
2336.76/2344.87 c 2345 1078904 21065 1 - 0.0000 -
2341.84/2349.92 c 2350 1080821 21124 1 - 0.0000 -
2346.83/2354.97 c 2355 1082793 21137 1 - 0.0000 -
2351.91/2360.02 c 2360 1084883 21169 1 - 0.0000 -
2356.89/2365.07 c 2365 1086993 21183 1 - 0.0000 -
2361.97/2370.12 c 2370 1088918 21215 1 - 0.0000 -
2366.95/2375.17 c 2375 1090745 21235 1 - 0.0000 -
2372.01/2380.22 c 2380 1092487 21261 1 - 0.0000 -
2376.99/2385.27 c 2385 1094690 21259 1 - 0.0000 -
2382.08/2390.32 c 2390 1096842 21272 1 - 0.0000 -
2387.05/2395.37 c 2395 1098994 21258 1 - 0.0000 -
2392.13/2400.42 c 2400 1101068 21267 1 - 0.0000 -
2397.11/2405.48 c 2405 1103101 21286 1 - 0.0000 -
2402.19/2410.53 c 2411 1105140 21277 1 - 0.0000 -
2407.17/2415.58 c 2416 1107033 21308 1 - 0.0000 -
2412.26/2420.63 c 2421 1108935 21300 1 - 0.0000 -
2417.24/2425.68 c 2426 1110826 21385 1 - 0.0000 -
2422.32/2430.74 c 2431 1112660 21478 1 - 0.0000 -
2427.40/2435.80 c 2436 1114606 21506 1 - 0.0000 -
2432.38/2440.85 c 2441 1116496 21512 1 - 0.0000 -
2437.46/2445.92 c 2446 1118299 21576 1 - 0.0000 -
2442.44/2450.96 c 2451 1120223 21610 1 - 0.0000 -
2447.52/2456.01 c 2456 1122118 21650 1 - 0.0000 -
2452.51/2461.06 c 2461 1124175 21636 1 - 0.0000 -
2457.58/2466.11 c 2466 1126237 21640 1 - 0.0000 -
2462.57/2471.16 c 2471 1128279 21630 1 - 0.0000 -
2467.64/2476.21 c 2476 1130158 21716 1 - 0.0000 -
2472.63/2481.26 c 2481 1132214 21745 1 - 0.0000 -
2477.71/2486.31 c 2486 1134267 21779 1 - 0.0000 -
2482.70/2491.36 c 2491 1136215 21787 1 - 0.0000 -
2487.78/2496.41 c 2496 1138261 21841 1 - 0.0000 -
2492.76/2501.47 c 2501 1140203 21810 1 - 0.0000 -
2497.84/2506.52 c 2507 1142186 21859 1 - 0.0000 -
2502.83/2511.57 c 2512 1144325 21869 1 - 0.0000 -
2507.92/2516.62 c 2517 1146402 21866 1 - 0.0000 -
2512.90/2521.67 c 2522 1148486 21852 1 - 0.0000 -
2517.98/2526.72 c 2527 1150578 21861 1 - 0.0000 -
2522.96/2531.77 c 2532 1152597 21902 1 - 0.0000 -
2528.05/2536.82 c 2537 1154642 21877 1 - 0.0000 -
2533.04/2541.87 c 2542 1156680 21889 1 - 0.0000 -
2538.11/2546.92 c 2547 1158329 22103 1 - 0.0000 -
2543.10/2551.97 c 2552 1160047 22205 1 - 0.0000 -
2548.19/2557.02 c 2557 1161852 22245 1 - 0.0000 -
2553.17/2562.07 c 2562 1163745 22298 1 - 0.0000 -
2558.26/2567.12 c 2567 1165579 22389 1 - 0.0000 -
2563.25/2572.17 c 2572 1167451 22473 1 - 0.0000 -
2568.31/2577.23 c 2577 1169300 22487 1 - 0.0000 -
2573.30/2582.28 c 2582 1171111 22559 1 - 0.0000 -
2578.39/2587.33 c 2587 1172767 22551 1 - 0.0000 -
2583.47/2592.41 c 2592 1174493 22595 1 - 0.0000 -
2588.45/2597.46 c 2597 1176197 22607 1 - 0.0000 -
2593.53/2602.51 c 2603 1177928 22627 1 - 0.0000 -
2598.52/2607.56 c 2608 1179881 22729 1 - 0.0000 -
2603.60/2612.61 c 2613 1181716 22673 1 - 0.0000 -
2608.59/2617.66 c 2618 1183709 22700 1 - 0.0000 -
2613.67/2622.71 c 2623 1185662 22746 1 - 0.0000 -
2618.65/2627.76 c 2628 1187704 22863 1 - 0.0000 -
2623.73/2632.81 c 2633 1189651 22957 1 - 0.0000 -
2628.72/2637.86 c 2638 1191613 22975 1 - 0.0000 -
2633.80/2642.91 c 2643 1193545 22986 1 - 0.0000 -
2638.79/2647.96 c 2648 1195405 22954 1 - 0.0000 -
2643.89/2653.05 c 2653 1197214 22943 1 - 0.0000 -
2648.86/2658.10 c 2658 1199089 22926 1 - 0.0000 -
2653.95/2663.15 c 2663 1200905 22900 1 - 0.0000 -
2659.02/2668.20 c 2668 1202903 22930 1 - 0.0000 -
2664.00/2673.25 c 2673 1204905 22920 1 - 0.0000 -
2669.08/2678.30 c 2678 1206844 22923 1 - 0.0000 -
2674.07/2683.35 c 2683 1208835 22949 1 - 0.0000 -
2679.15/2688.42 c 2688 1210391 22930 1 - 0.0000 -
2684.14/2693.47 c 2693 1212381 22943 1 - 0.0000 -
2689.22/2698.52 c 2699 1214621 22991 1 - 0.0000 -
2694.21/2703.57 c 2704 1216591 22962 1 - 0.0000 -
2699.29/2708.62 c 2709 1218735 22989 1 - 0.0000 -
2704.27/2713.67 c 2714 1220870 23016 1 - 0.0000 -
2709.35/2718.72 c 2719 1223098 22998 1 - 0.0000 -
2714.34/2723.77 c 2724 1225398 23035 1 - 0.0000 -
2719.42/2728.84 c 2729 1227572 23023 1 - 0.0000 -
2724.41/2733.89 c 2734 1229344 23040 1 - 0.0000 -
2729.48/2738.94 c 2739 1231505 23043 1 - 0.0000 -
2734.47/2743.99 c 2744 1233960 23075 1 - 0.0000 -
2739.56/2749.04 c 2749 1236219 23048 1 - 0.0000 -
2744.54/2754.09 c 2754 1238513 23042 1 - 0.0000 -
2749.63/2759.15 c 2759 1239791 23333 1 - 0.0000 -
2754.70/2764.22 c 2764 1240874 23671 1 - 0.0000 -
2759.79/2769.32 c 2769 1241862 24025 1 - 0.0000 -
2764.87/2774.41 c 2774 1242830 24164 1 - 0.0000 -
2769.86/2779.48 c 2779 1243917 24352 1 - 0.0000 -
2774.94/2784.53 c 2785 1245568 24446 1 - 0.0000 -
2779.92/2789.59 c 2790 1247293 24585 1 - 0.0000 -
2785.01/2794.64 c 2795 1249494 24646 1 - 0.0000 -
2789.99/2799.69 c 2800 1251353 24661 1 - 0.0000 -
2795.08/2804.74 c 2805 1253338 24673 1 - 0.0000 -
2800.06/2809.79 c 2810 1255361 24753 1 - 0.0000 -
2805.14/2814.84 c 2815 1257437 24794 1 - 0.0000 -
2810.12/2819.89 c 2820 1259651 24866 1 - 0.0000 -
2815.21/2824.95 c 2825 1261856 24857 1 - 0.0000 -
2820.19/2830.01 c 2830 1263897 24859 1 - 0.0000 -
2825.29/2835.05 c 2835 1266399 24861 1 - 0.0000 -
2830.36/2840.11 c 2840 1268581 25005 1 - 0.0000 -
2835.35/2845.16 c 2845 1270653 25140 1 - 0.0000 -
2840.41/2850.21 c 2850 1272821 25280 1 - 0.0000 -
2845.40/2855.27 c 2855 1274903 25351 1 - 0.0000 -
2850.49/2860.32 c 2860 1277163 25426 1 - 0.0000 -
2855.47/2865.38 c 2865 1279333 25421 1 - 0.0000 -
2860.56/2870.43 c 2870 1281350 25461 1 - 0.0000 -
2865.54/2875.48 c 2875 1283250 25499 1 - 0.0000 -
2870.62/2880.53 c 2881 1285369 25547 1 - 0.0000 -
2875.61/2885.58 c 2886 1287505 25562 1 - 0.0000 -
2880.69/2890.63 c 2891 1289588 25576 1 - 0.0000 -
2885.68/2895.68 c 2896 1291690 25610 1 - 0.0000 -
2890.75/2900.73 c 2901 1293661 25607 1 - 0.0000 -
2895.74/2905.79 c 2906 1295606 25613 1 - 0.0000 -
2900.83/2910.85 c 2911 1297512 25620 1 - 0.0000 -
2905.90/2915.92 c 2916 1299565 25613 1 - 0.0000 -
2910.89/2920.97 c 2921 1301602 25608 1 - 0.0000 -
2915.98/2926.02 c 2926 1303955 25602 1 - 0.0000 -
2920.96/2931.07 c 2931 1306133 25636 1 - 0.0000 -
2926.04/2936.14 c 2936 1307846 25658 1 - 0.0000 -
2931.03/2941.19 c 2941 1309880 25709 1 - 0.0000 -
2936.11/2946.25 c 2946 1311868 25743 1 - 0.0000 -
2941.18/2951.30 c 2951 1313883 25753 1 - 0.0000 -
2946.17/2956.35 c 2956 1316023 25739 1 - 0.0000 -
2951.25/2961.40 c 2961 1317936 25735 1 - 0.0000 -
2956.24/2966.45 c 2966 1320005 25705 1 - 0.0000 -
2961.32/2971.50 c 2972 1321877 25752 1 - 0.0000 -
2966.30/2976.56 c 2977 1323814 25777 1 - 0.0000 -
2971.38/2981.61 c 2982 1325803 25779 1 - 0.0000 -
2976.37/2986.66 c 2987 1327987 25787 1 - 0.0000 -
2981.46/2991.71 c 2992 1329839 25881 1 - 0.0000 -
2986.54/2996.80 c 2997 1331511 26159 1 - 0.0000 -
2991.53/3001.85 c 3002 1333262 26261 1 - 0.0000 -
2996.60/3006.91 c 3007 1334860 26342 1 - 0.0000 -
3001.59/3011.99 c 3012 1336610 26350 1 - 0.0000 -
3006.68/3017.04 c 3017 1338192 26368 1 - 0.0000 -
3011.67/3022.09 c 3022 1339903 26370 1 - 0.0000 -
3016.74/3027.14 c 3027 1341744 26355 1 - 0.0000 -
3021.73/3032.19 c 3032 1343694 26368 1 - 0.0000 -
3026.80/3037.24 c 3037 1345716 26405 1 - 0.0000 -
3031.78/3042.29 c 3042 1347537 26374 1 - 0.0000 -
3036.87/3047.34 c 3047 1349654 26403 1 - 0.0000 -
3041.85/3052.39 c 3052 1351523 26404 1 - 0.0000 -
3046.93/3057.46 c 3057 1353206 26456 1 - 0.0000 -
3052.02/3062.50 c 3063 1355100 26507 1 - 0.0000 -
3057.00/3067.55 c 3068 1356759 26512 1 - 0.0000 -
3062.09/3072.60 c 3073 1358839 26530 1 - 0.0000 -
3067.07/3077.67 c 3078 1360634 26623 1 - 0.0000 -
3072.15/3082.72 c 3083 1362578 26673 1 - 0.0000 -
3077.14/3087.77 c 3088 1364571 26780 1 - 0.0000 -
3082.22/3092.83 c 3093 1366294 26874 1 - 0.0000 -
3087.21/3097.89 c 3098 1368439 26928 1 - 0.0000 -
3092.29/3102.94 c 3103 1370996 26935 1 - 0.0000 -
3097.27/3107.99 c 3108 1373290 26948 1 - 0.0000 -
3102.36/3113.04 c 3113 1375439 26936 1 - 0.0000 -
3107.34/3118.09 c 3118 1377615 26937 1 - 0.0000 -
3112.42/3123.14 c 3123 1379593 27026 1 - 0.0000 -
3117.41/3128.19 c 3128 1382206 27132 1 - 0.0000 -
3122.48/3133.24 c 3133 1385009 27113 1 - 0.0000 -
3127.46/3138.29 c 3138 1387632 27051 1 - 0.0000 -
3132.55/3143.34 c 3143 1390330 27106 1 - 0.0000 -
3137.53/3148.39 c 3148 1393230 27093 1 - 0.0000 -
3142.61/3153.44 c 3153 1395871 27112 1 - 0.0000 -
3147.60/3158.49 c 3158 1398413 27089 1 - 0.0000 -
3152.68/3163.54 c 3164 1400537 27172 1 - 0.0000 -
3157.66/3168.59 c 3169 1402804 27192 1 - 0.0000 -
3162.75/3173.65 c 3174 1405137 27152 1 - 0.0000 -
3167.73/3178.69 c 3179 1407298 27182 1 - 0.0000 -
3172.81/3183.74 c 3184 1409635 27258 1 - 0.0000 -
3177.79/3188.79 c 3189 1411852 27420 1 - 0.0000 -
3182.88/3193.86 c 3194 1413745 27726 1 - 0.0000 -
3187.95/3198.93 c 3199 1415756 27923 1 - 0.0000 -
3192.94/3203.98 c 3204 1417930 28110 1 - 0.0000 -
3198.03/3209.03 c 3209 1420006 28157 1 - 0.0000 -
3203.02/3214.08 c 3214 1422109 28119 1 - 0.0000 -
3208.10/3219.13 c 3219 1424211 28210 1 - 0.0000 -
3213.08/3224.19 c 3224 1426253 28366 1 - 0.0000 -
3218.15/3229.24 c 3229 1428369 28498 1 - 0.0000 -
3223.13/3234.29 c 3234 1430411 28535 1 - 0.0000 -
3228.22/3239.34 c 3239 1432379 28621 1 - 0.0000 -
3233.20/3244.39 c 3244 1434258 28667 1 - 0.0000 -
3238.28/3249.44 c 3249 1436223 28766 1 - 0.0000 -
3243.27/3254.49 c 3254 1438165 28791 1 - 0.0000 -
3248.34/3259.54 c 3260 1440054 28836 1 - 0.0000 -
3253.33/3264.59 c 3265 1441833 29016 1 - 0.0000 -
3258.42/3269.64 c 3270 1443742 29028 1 - 0.0000 -
3263.40/3274.69 c 3275 1445623 29098 1 - 0.0000 -
3268.48/3279.74 c 3280 1447445 29156 1 - 0.0000 -
3273.47/3284.79 c 3285 1449113 29183 1 - 0.0000 -
3278.55/3289.84 c 3290 1450863 29179 1 - 0.0000 -
3283.53/3294.89 c 3295 1452630 29179 1 - 0.0000 -
3288.62/3299.94 c 3300 1454494 29297 1 - 0.0000 -
3293.59/3304.99 c 3305 1456175 29441 1 - 0.0000 -
3298.69/3310.04 c 3310 1457943 29550 1 - 0.0000 -
3303.67/3315.10 c 3315 1459686 29552 1 - 0.0000 -
3308.75/3320.16 c 3320 1461448 29657 1 - 0.0000 -
3313.82/3325.21 c 3325 1463382 29673 1 - 0.0000 -
3318.80/3330.26 c 3330 1465201 29741 1 - 0.0000 -
3323.89/3335.31 c 3335 1466974 29756 1 - 0.0000 -
3328.87/3340.36 c 3340 1468713 29823 1 - 0.0000 -
3333.95/3345.46 c 3345 1470355 29911 1 - 0.0000 -
3339.04/3350.51 c 3351 1472004 29921 1 - 0.0000 -
3344.02/3355.56 c 3356 1473709 29916 1 - 0.0000 -
3349.11/3360.61 c 3361 1475478 30015 1 - 0.0000 -
3354.09/3365.67 c 3366 1477221 30006 1 - 0.0000 -
3359.17/3370.71 c 3371 1479093 30000 1 - 0.0000 -
3364.15/3375.76 c 3376 1480714 30214 1 - 0.0000 -
3369.23/3380.81 c 3381 1482530 30244 1 - 0.0000 -
3374.21/3385.86 c 3386 1484242 30295 1 - 0.0000 -
3379.30/3390.95 c 3391 1485240 30330 1 - 0.0000 -
3384.39/3396.02 c 3396 1486435 30379 1 - 0.0000 -
3389.38/3401.08 c 3401 1487891 30467 1 - 0.0000 -
3394.46/3406.13 c 3406 1489485 30508 1 - 0.0000 -
3399.44/3411.19 c 3411 1491363 30535 1 - 0.0000 -
3404.51/3416.29 c 3416 1492993 30593 1 - 0.0000 -
3409.59/3421.34 c 3421 1495042 30615 1 - 0.0000 -
3414.58/3426.39 c 3426 1496781 30653 1 - 0.0000 -
3419.66/3431.44 c 3431 1498841 30683 1 - 0.0000 -
3424.75/3436.50 c 3437 1500727 30690 1 - 0.0000 -
3429.73/3441.55 c 3442 1502592 30694 1 - 0.0000 -
3434.81/3446.63 c 3447 1504230 30677 1 - 0.0000 -
3439.80/3451.68 c 3452 1506220 30697 1 - 0.0000 -
3444.88/3456.73 c 3457 1508133 30712 1 - 0.0000 -
3449.86/3461.78 c 3462 1509857 30712 1 - 0.0000 -
3454.94/3466.83 c 3467 1511769 30820 1 - 0.0000 -
3459.92/3471.88 c 3472 1513699 30793 1 - 0.0000 -
3465.01/3476.93 c 3477 1515455 30775 1 - 0.0000 -
3470.00/3481.98 c 3482 1517242 30784 1 - 0.0000 -
3475.08/3487.05 c 3487 1519025 30748 1 - 0.0000 -
3480.07/3492.10 c 3492 1520398 30776 1 - 0.0000 -
3485.15/3497.15 c 3497 1522315 30780 1 - 0.0000 -
3490.22/3502.20 c 3502 1524040 30857 1 - 0.0000 -
3495.20/3507.26 c 3507 1525238 30905 1 - 0.0000 -
3500.29/3512.32 c 3512 1526280 30924 1 - 0.0000 -
3505.27/3517.37 c 3517 1528258 30962 1 - 0.0000 -
3510.35/3522.42 c 3522 1529684 30975 1 - 0.0000 -
3515.34/3527.47 c 3527 1531616 30984 1 - 0.0000 -
3520.42/3532.53 c 3533 1533727 30990 1 - 0.0000 -
3525.41/3537.59 c 3538 1535815 30979 1 - 0.0000 -
3530.49/3542.64 c 3543 1537518 30986 1 - 0.0000 -
3535.47/3547.68 c 3548 1539410 30982 1 - 0.0000 -
3540.55/3552.73 c 3553 1541499 31060 1 - 0.0000 -
3545.53/3557.78 c 3558 1543783 31074 1 - 0.0000 -
3550.62/3562.83 c 3563 1546135 31080 1 - 0.0000 -
3555.60/3567.88 c 3568 1548353 31073 1 - 0.0000 -
3560.68/3572.93 c 3573 1550646 31118 1 - 0.0000 -
3565.67/3577.98 c 3578 1552930 31180 1 - 0.0000 -
3570.75/3583.03 c 3583 1555382 31251 1 - 0.0000 -
3575.74/3588.08 c 3588 1557411 31272 1 - 0.0000 -
3580.82/3593.13 c 3593 1559636 31282 1 - 0.0000 -
3585.80/3598.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.80/3598.18 c Total Time : 3598.1700
3585.80/3598.18 c solving : 3598.1700
3585.80/3598.18 c presolving : 0.0188 (included in solving)
3585.80/3598.18 c B&B Tree :
3585.80/3598.18 c nodes (total) : 1
3585.80/3598.18 c Solution :
3585.80/3598.18 c Solutions found : 0
3585.80/3598.18 c Primal Bound : -
3585.80/3598.18 c Dual Bound : +0.00000000000000e+00
3585.80/3598.18 c Gap : -
3585.80/3598.18 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: 64096 MiB (63184 MiB free)
memory of node 1: 64473 MiB (62378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464449-1722382202/watcher-4464449-1722382202 -o /tmp/evaluation-result-4464449-1722382202/solver-4464449-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28010 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464449-1722382202.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30410, runsolver pid=30407
[startup+0.100127 s]*
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128551988/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=115340 memory=35232 CPUtime=0.09 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 5683 0 0 0 8 1 0 0 20 0 3 0 4590580 118108160 8808 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 28835 8808 2918 3035 0 12142 0
[pid=30410/tid=30412] ppid=30407 vsize=115340 memory=4026561586 CPUtime=0.06 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 2654 0 0 0 6 0 0 0 20 0 3 0 4590583 118108160 8808 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=115340 memory=232851243367 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590584 118108160 8808 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 35232 KiB
[startup+0.213132 s]*
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128549972/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=115340 memory=35232 CPUtime=0.2 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 5686 0 0 0 19 1 0 0 20 0 3 0 4590580 118108160 8808 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 28835 8808 2918 3035 0 12142 0
[pid=30410/tid=30412] ppid=30407 vsize=115340 memory=664970838410264707 CPUtime=0.16 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 2657 0 0 0 16 0 0 0 20 0 3 0 4590583 118108160 8808 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=115340 memory=1633 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590584 118108160 8808 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 35232 KiB
[startup+0.311594 s]*
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128547116/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=115340 memory=39372 CPUtime=0.3 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 6690 0 0 0 28 2 0 0 20 0 3 0 4590580 118108160 9843 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 28835 9843 2966 3035 0 13137 0
[pid=30410/tid=30412] ppid=30407 vsize=115340 memory=-5155628015978048389 CPUtime=0.27 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 3663 0 0 0 26 1 0 0 20 0 3 0 4590583 118108160 9843 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=115340 memory=0 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590584 118108160 9843 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 39372 KiB
[startup+0.700378 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128543344/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=118648 memory=46500 CPUtime=0.67 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 8444 0 0 0 65 2 0 0 20 0 3 0 4590580 121495552 11625 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 29662 11625 2966 3035 0 14892 0
[pid=30410/tid=30412] ppid=30407 vsize=118648 memory=0 CPUtime=0.64 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 5462 0 0 0 63 1 0 0 20 0 3 0 4590583 121495552 11625 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=118648 memory=0 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590584 121495552 11625 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118648 KiB
Current children cumulated memory: 46500 KiB
[startup+1.50036 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128471092/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=133428 memory=72848 CPUtime=1.46 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 20458 0 0 0 142 4 0 0 20 0 3 0 4590580 136630272 18212 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 33357 18212 2966 3035 0 22296 0
[pid=30410/tid=30412] ppid=30407 vsize=133428 memory=0 CPUtime=1.43 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 17404 0 0 0 140 3 0 0 20 0 3 0 4590583 136630272 18212 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=133428 memory=0 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590584 136630272 18212 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133428 KiB
Current children cumulated memory: 72848 KiB
[startup+3.11279 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128416080/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=140008 memory=82608 CPUtime=3.07 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 23721 0 0 0 302 5 0 0 20 0 3 0 4590580 143368192 20652 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 35002 20652 2966 3035 0 24639 0
[pid=30410/tid=30412] ppid=30407 vsize=140008 memory=2273 CPUtime=3.04 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 20663 0 0 0 300 4 0 0 20 0 3 0 4590583 143368192 20652 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=140008 memory=0 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4590584 143368192 20652 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 140008 KiB
Current children cumulated memory: 82608 KiB
[startup+6.30036 s]
/proc/loadavg: 4.20 4.15 4.10 5/255 30417
/proc/meminfo: memFree=128264432/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=142016 memory=93728 CPUtime=6.25 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 34561 0 0 0 619 6 0 0 20 0 3 0 4590580 145424384 23432 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 35504 23432 3014 3035 0 27695 0
[pid=30410/tid=30412] ppid=30407 vsize=142016 memory=-5155628015978048389 CPUtime=6.22 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 31480 0 0 0 617 5 0 0 20 0 3 0 4590583 145424384 23432 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=142016 memory=93720 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4590584 145424384 23432 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 142016 KiB
Current children cumulated memory: 93728 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.10 5/255 30417
/proc/meminfo: memFree=128151880/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=142016 memory=108792 CPUtime=12.63 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 56724 0 0 0 1254 9 0 0 20 0 3 0 4590580 145424384 27198 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 35504 27198 3014 3035 0 31788 0
[pid=30410/tid=30412] ppid=30407 vsize=142016 memory=83840 CPUtime=12.6 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 53594 0 0 0 1252 8 0 0 20 0 3 0 4590583 145424384 27198 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=142016 memory=0 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4590584 145424384 27198 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 142016 KiB
Current children cumulated memory: 108792 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 30418
/proc/meminfo: memFree=128083936/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=207552 memory=127628 CPUtime=25.38 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 87583 0 0 0 2526 12 0 0 20 0 3 0 4590580 212533248 31907 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 51888 31907 3014 3035 0 35821 0
[pid=30410/tid=30412] ppid=30407 vsize=207552 memory=101272 CPUtime=25.35 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 84399 0 0 0 2524 11 0 0 20 0 3 0 4590583 212533248 31907 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=207552 memory=11536 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4590584 212533248 31907 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 207552 KiB
Current children cumulated memory: 127628 KiB
[startup+51.1125 s]
/proc/loadavg: 4.21 4.16 4.10 5/252 30479
/proc/meminfo: memFree=128023164/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=207552 memory=145604 CPUtime=50.89 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 146138 0 0 0 5070 19 0 0 20 0 3 0 4590580 212533248 36401 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 51888 36401 3014 3035 0 40019 0
[pid=30410/tid=30412] ppid=30407 vsize=207552 memory=145600 CPUtime=50.86 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 142867 0 0 0 5068 18 0 0 20 0 3 0 4590583 212533248 36401 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=207552 memory=145600 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4590584 212533248 36401 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 207552 KiB
Current children cumulated memory: 145604 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/252 30487
/proc/meminfo: memFree=127994980/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=211624 memory=159536 CPUtime=101.86 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 193709 0 0 0 10157 29 0 0 20 0 3 0 4590580 216702976 39884 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 52906 39884 3014 3035 0 43844 0
[pid=30410/tid=30412] ppid=30407 vsize=211624 memory=149636 CPUtime=101.83 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 190328 0 0 0 10155 28 0 0 20 0 3 0 4590583 216702976 39884 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=211624 memory=149632 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4590584 216702976 39884 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 211624 KiB
Current children cumulated memory: 159536 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/252 30499
/proc/meminfo: memFree=127912488/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=214584 memory=169436 CPUtime=161.64 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 233021 0 0 0 16123 41 0 0 20 0 3 0 4590580 219734016 42359 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 53646 42359 3014 3035 0 46502 0
[pid=30410/tid=30412] ppid=30407 vsize=214584 memory=163720 CPUtime=161.59 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 229583 0 0 0 16120 39 0 0 20 0 3 0 4590583 219734016 42359 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=214584 memory=1936 CPUtime=0 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4590584 219734016 42359 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 214584 KiB
################
# More data... #
################
/proc/30410/statm: 98205 86012 3014 3035 0 90561 0
[pid=30410/tid=30412] ppid=30407 vsize=392820 memory=334180 CPUtime=3450.08 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 978053 0 0 0 344553 455 0 0 20 0 3 0 4590583 402247680 86012 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=392820 memory=11536 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 125 0 0 0 1 4 0 0 20 0 3 0 4590584 402247680 86012 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3450.46 s
Current children cumulated vsize: 392820 KiB
Current children cumulated memory: 344048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.33 4.21 5/252 32401
/proc/meminfo: memFree=113982896/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=355756 CPUtime=3510.25 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1013969 0 0 0 350547 478 0 0 20 0 3 0 4590580 417640448 88939 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 88939 3014 3035 0 94879 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=11536 CPUtime=3509.87 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1009352 0 0 0 350524 463 0 0 20 0 3 0 4590583 417640448 88939 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=352680 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 127 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 88939 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3510.25 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 355756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.28 4.20 5/252 32412
/proc/meminfo: memFree=113951992/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=358696 CPUtime=3570.04 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1043605 0 0 0 356518 486 0 0 20 0 3 0 4590580 417640448 89674 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 89674 3014 3035 0 95018 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=358696 CPUtime=3569.66 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1038967 0 0 0 356495 471 0 0 20 0 3 0 4590583 417640448 89674 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=11536 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 89674 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3570.04 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 358696 KiB
[startup+3598.18 s]
# the end of solver process 30410 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.97 s, system=4.9097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.28 4.20 5/252 32412
/proc/meminfo: memFree=113951976/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=358696 CPUtime=3571.76 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1043619 0 0 0 356689 487 0 0 20 0 3 0 4590580 417640448 89674 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 89674 3014 3035 0 95018 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=-5155635678166150021 CPUtime=3571.36 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1038981 0 0 0 356665 471 0 0 20 0 3 0 4590583 417640448 89674 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=4786084627272593057 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 89674 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 358696 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113948236/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361608 CPUtime=3578.12 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1044583 0 0 0 357325 487 0 0 20 0 3 0 4590580 417640448 90402 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90402 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=358696 CPUtime=3577.73 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1039945 0 0 0 357301 472 0 0 20 0 3 0 4590583 417640448 90402 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=358696 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90402 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3578.12 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361608 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115033324/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361772 CPUtime=3581.31 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1044595 0 0 0 357643 488 0 0 20 0 3 0 4590580 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90443 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=361772 CPUtime=3580.92 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1039957 0 0 0 357619 473 0 0 20 0 3 0 4590583 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=12856 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3581.31 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361772 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.27 4.19 5/248 32506
/proc/meminfo: memFree=115030276/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361772 CPUtime=3582.9 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1044597 0 0 0 357802 488 0 0 20 0 3 0 4590580 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90443 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=13392608 CPUtime=3582.51 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1039959 0 0 0 357778 473 0 0 20 0 3 0 4590583 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=361772 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361772 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.27 4.19 5/248 32508
/proc/meminfo: memFree=115021592/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361772 CPUtime=3584.49 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1044602 0 0 0 357961 488 0 0 20 0 3 0 4590580 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90443 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=279865036021312 CPUtime=3584.1 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1039964 0 0 0 357937 473 0 0 20 0 3 0 4590583 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=11536 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361772 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.27 4.19 5/252 32512
/proc/meminfo: memFree=114911324/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361772 CPUtime=3585.29 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1044605 0 0 0 358040 489 0 0 20 0 3 0 4590580 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90443 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=5496 CPUtime=3584.9 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1039967 0 0 0 358016 474 0 0 20 0 3 0 4590583 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=1840 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361772 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.27 4.19 5/252 32512
/proc/meminfo: memFree=114899060/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361772 CPUtime=3585.7 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1045447 0 0 0 358081 489 0 0 20 0 3 0 4590580 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90443 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=-5155633513519278981 CPUtime=3585.31 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1040806 0 0 0 358057 474 0 0 20 0 3 0 4590583 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=28048 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361772 KiB
[startup+3598.11 s]
/proc/loadavg: 4.15 4.27 4.19 5/252 32512
/proc/meminfo: memFree=114899060/131655788 swapFree=131071728/131071996
[pid=30410] ppid=30407 vsize=407852 memory=361772 CPUtime=3585.8 cores=5,7
/proc/30410/stat : 30410 (fscip) S 30407 30410 27997 0 -1 1077936128 1049130 0 0 0 358091 489 0 0 20 0 3 0 4590580 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
/proc/30410/statm: 101963 90443 3014 3035 0 96040 0
[pid=30410/tid=30412] ppid=30407 vsize=407852 memory=355756 CPUtime=3585.41 cores=5,7
/proc/30410/task/30412/stat : 30412 (fscip) R 30407 30410 27997 0 -1 4194368 1044489 0 0 0 358067 474 0 0 20 0 3 0 4590583 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
[pid=30410/tid=30413] ppid=30407 vsize=407852 memory=11536 CPUtime=0.05 cores=5,7
/proc/30410/task/30413/stat : 30413 (fscip) S 30407 30410 27997 0 -1 1077936192 128 0 0 0 1 4 0 0 20 0 3 0 4590584 417640448 90443 134679101440 4194304 16623229 140728046535472 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52834304 140728046543894 140728046544010 140728046544010 140728046551024 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 361772 KiB
Child status: 0
Real time (s): 3598.18
CPU time (s): 3585.88
CPU user time (s): 3580.97
CPU system time (s): 4.9097
CPU usage (%): 99.6581
Max. virtual memory (cumulated for all children) (KiB): 407852
Max. memory (cumulated for all children) (KiB): 361772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.97
system time used= 4.9097
maximum resident set size= 361772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051431
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= 10946
involuntary context switches= 3885
# summary of solver processes directly reported to runsolver:
# pid: 30410
# total CPU time (s): 3585.88
# total CPU user time (s): 3580.97
# total CPU system time (s): 4.9097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6313 second user time and 35.1739 second system time
The end
Begin job on nodeC011 at 2024-07-31 01:30:02
IDJOB=4464449
IDBENCH=155408
IDSOLVER=3092
FILE ID=nodeC011/4464449-1722382202
RUNJOBID= nodeC011-1722378594-28010
SLURM_JOB_ID= 8249841
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820146.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-4464449-1722382202/watcher-4464449-1722382202 -o /tmp/evaluation-result-4464449-1722382202/solver-4464449-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28010 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464449-1722382202.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 081659ee65bc936cbb896171f511d736
RANDOM SEED=1367756045
nodeC011.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 : 3667.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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 : 2394.267
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.29
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.289
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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.164
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.29
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 : 2793.312
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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 : 3491.654
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.29
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.401
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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.135
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128576536 kB
MemAvailable: 129587132 kB
Buffers: 90992 kB
Cached: 1763864 kB
SwapCached: 12 kB
Active: 260228 kB
Inactive: 2387888 kB
Active(anon): 1924 kB
Inactive(anon): 820808 kB
Active(file): 258304 kB
Inactive(file): 1567080 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 115324 kB
Writeback: 0 kB
AnonPages: 791484 kB
Mapped: 127128 kB
Shmem: 29468 kB
KReclaimable: 50824 kB
Slab: 126752 kB
SReclaimable: 50824 kB
SUnreclaim: 75928 kB
KernelStack: 4032 kB
PageTables: 10696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 929936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC011 at 2024-07-31 02:30:01