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.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 36421632, getVmSize() = 36421632, SCIPgetMemUsed() = 9947740, SCIPgetMemTotal() = 14500244, SCIPgetMemExternEstim() = 7046960
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.34 c ** Estimated virtualMemUsedAtSolver = 33374208, getVmSize() = 63700992, SCIPgetMemUsed() = 23395711, SCIPgetMemTotal() = 40008583, SCIPgetMemExternEstim() = 7046960
0.30/0.34 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.30/0.34 c Original Problem :
0.30/0.34 c Problem name : instance-4452070-1721428802
0.30/0.34 c Variables : 1260 (1260 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.34 c Constraints : 5990
0.30/0.34 c Objective sense : minimize
0.30/0.34 c Presolved Problem :
0.30/0.34 c Variables : 1254 (1254 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.34 c Constraints : 5701
0.30/0.34 c Constraints : Number
0.30/0.34 c knapsack : 1
0.30/0.34 c setppc : 2409
0.30/0.34 c linear : 1
0.30/0.34 c logicor : 3290
0.30/0.34 c ** Instance transfer method used: 0
0.30/0.35 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.38 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.38 c Nodes Active
0.30/0.38 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.74/5.86 c 6 2 1 1 - 0.0000 -
17.51/17.63 c 18 16 15 1 - 0.0000 -
22.48/22.69 c 23 29 28 1 - 0.0000 -
28.06/28.28 c 28 103 55 1 - 0.0000 -
33.35/33.58 c 34 202 50 1 - 0.0000 -
39.03/39.20 c 39 323 60 1 - 0.0000 -
44.71/44.96 c 45 430 69 1 - 0.0000 -
50.59/50.86 c 51 477 92 1 - 0.0000 -
55.96/56.25 c 56 562 117 1 - 0.0000 -
60.95/61.29 c 61 617 141 1 - 0.0000 -
66.03/66.35 c 66 720 143 1 - 0.0000 -
71.11/71.48 c 71 842 165 1 - 0.0000 -
76.40/76.76 c 77 883 7 1 - 0.0000 -
83.67/84.06 c 84 894 18 1 - 0.0000 -
89.45/89.87 c 90 1057 44 1 - 0.0000 -
94.64/95.11 c 95 1145 52 1 - 0.0000 -
99.81/100.26 c 100 1263 55 1 - 0.0000 -
104.89/105.38 c 105 1407 67 1 - 0.0000 -
109.97/110.47 c 110 1573 74 1 - 0.0000 -
115.05/115.58 c 116 1873 81 1 - 0.0000 -
120.14/120.67 c 121 2165 81 1 - 0.0000 -
125.22/125.75 c 126 2443 76 1 - 0.0000 -
130.50/131.05 c 131 2613 96 1 - 0.0000 -
135.67/136.26 c 136 2908 88 1 - 0.0000 -
140.85/141.44 c 141 3100 107 1 - 0.0000 -
145.94/146.51 c 147 3381 101 1 - 0.0000 -
151.21/151.81 c 152 3579 122 1 - 0.0000 -
156.19/156.86 c 157 3735 150 1 - 0.0000 -
162.77/163.44 c 163 3917 175 1 - 0.0000 -
167.86/168.53 c 169 4188 200 1 - 0.0000 -
173.23/173.97 c 174 4422 213 1 - 0.0000 -
178.32/179.09 c 179 4656 231 1 - 0.0000 -
183.60/184.33 c 184 4808 254 1 - 0.0000 -
188.78/189.50 c 190 5038 275 1 - 0.0000 -
193.86/194.62 c 195 5222 301 1 - 0.0000 -
198.94/199.77 c 200 5503 306 1 - 0.0000 -
204.23/205.10 c 205 5607 354 1 - 0.0000 -
209.50/210.31 c 210 5747 390 1 - 0.0000 -
214.78/215.67 c 216 5927 418 1 - 0.0000 -
220.07/220.95 c 221 6086 459 1 - 0.0000 -
225.26/226.16 c 226 6273 492 1 - 0.0000 -
230.33/231.27 c 231 6433 522 1 - 0.0000 -
235.81/236.71 c 237 6567 561 1 - 0.0000 -
241.11/242.07 c 242 6711 605 1 - 0.0000 -
249.47/250.47 c 250 6857 639 1 - 0.0000 -
254.85/255.83 c 256 7002 679 1 - 0.0000 -
259.93/260.94 c 261 7178 704 1 - 0.0000 -
265.03/266.05 c 266 7349 734 1 - 0.0000 -
270.50/271.51 c 272 7479 792 1 - 0.0000 -
275.57/276.63 c 277 7627 801 1 - 0.0000 -
280.85/281.97 c 282 7812 840 1 - 0.0000 -
286.14/287.26 c 287 7947 901 1 - 0.0000 -
291.42/292.53 c 293 8109 955 1 - 0.0000 -
296.91/298.10 c 298 8260 982 1 - 0.0000 -
301.99/303.19 c 303 8467 987 1 - 0.0000 -
307.16/308.30 c 308 8694 1002 1 - 0.0000 -
312.64/313.86 c 314 8858 1058 1 - 0.0000 -
317.72/318.96 c 319 9016 1102 1 - 0.0000 -
322.93/324.13 c 324 9184 1128 1 - 0.0000 -
328.49/329.70 c 330 9381 1156 1 - 0.0000 -
333.67/334.99 c 335 9549 1209 1 - 0.0000 -
338.76/340.08 c 340 9768 1224 1 - 0.0000 -
344.02/345.34 c 345 9934 1260 1 - 0.0000 -
349.51/350.86 c 351 10121 1295 1 - 0.0000 -
354.58/355.98 c 356 10288 1321 1 - 0.0000 -
359.67/361.10 c 361 10446 1353 1 - 0.0000 -
364.94/366.31 c 366 10637 1390 1 - 0.0000 -
370.03/371.45 c 371 10868 1422 1 - 0.0000 -
375.30/376.74 c 377 11047 1459 1 - 0.0000 -
380.49/382.01 c 382 11253 1488 1 - 0.0000 -
385.77/387.29 c 387 11429 1538 1 - 0.0000 -
390.85/392.38 c 392 11620 1569 1 - 0.0000 -
396.43/397.94 c 398 11827 1575 1 - 0.0000 -
401.52/403.05 c 403 12017 1594 1 - 0.0000 -
407.08/408.60 c 409 12237 1619 1 - 0.0000 -
412.06/413.67 c 414 12427 1643 1 - 0.0000 -
417.25/418.85 c 419 12669 1670 1 - 0.0000 -
422.63/424.20 c 424 12884 1687 1 - 0.0000 -
427.71/429.30 c 429 13106 1716 1 - 0.0000 -
433.50/435.18 c 435 13304 1733 1 - 0.0000 -
438.67/440.37 c 440 13515 1748 1 - 0.0000 -
444.05/445.79 c 446 13678 1786 1 - 0.0000 -
449.23/450.90 c 451 13855 1820 1 - 0.0000 -
454.61/456.31 c 456 14077 1836 1 - 0.0000 -
459.69/461.43 c 461 14271 1860 1 - 0.0000 -
465.07/466.89 c 467 14421 1857 1 - 0.0000 -
470.56/472.38 c 472 14620 1880 1 - 0.0000 -
475.83/477.64 c 478 14834 1903 1 - 0.0000 -
481.12/482.99 c 483 15030 1923 1 - 0.0000 -
486.31/488.16 c 488 15229 1934 1 - 0.0000 -
491.38/493.26 c 493 15365 1963 1 - 0.0000 -
496.65/498.58 c 499 15584 1977 1 - 0.0000 -
501.83/503.72 c 504 15803 1998 1 - 0.0000 -
507.02/508.94 c 509 15955 2035 1 - 0.0000 -
513.11/515.10 c 515 16124 2057 1 - 0.0000 -
518.28/520.21 c 520 16279 2083 1 - 0.0000 -
523.36/525.37 c 525 16428 2106 1 - 0.0000 -
528.44/530.45 c 530 16591 2128 1 - 0.0000 -
533.62/535.63 c 536 16754 2164 1 - 0.0000 -
539.11/541.15 c 541 16911 2196 1 - 0.0000 -
544.98/547.03 c 547 17095 2212 1 - 0.0000 -
550.45/552.51 c 553 17270 2260 1 - 0.0000 -
555.53/557.68 c 558 17464 2286 1 - 0.0000 -
560.82/562.99 c 563 17693 2300 1 - 0.0000 -
566.20/568.35 c 568 17883 2331 1 - 0.0000 -
571.28/573.46 c 573 18087 2347 1 - 0.0000 -
576.36/578.57 c 579 18304 2363 1 - 0.0000 -
581.64/583.88 c 584 18505 2378 1 - 0.0000 -
586.72/588.94 c 589 18694 2399 1 - 0.0000 -
591.82/594.05 c 594 18874 2424 1 - 0.0000 -
596.98/599.25 c 599 19063 2451 1 - 0.0000 -
602.36/604.65 c 605 19257 2483 1 - 0.0000 -
607.75/610.02 c 610 19486 2496 1 - 0.0000 -
615.42/617.74 c 618 19633 2524 1 - 0.0000 -
620.50/622.84 c 623 19826 2537 1 - 0.0000 -
625.79/628.15 c 628 20012 2584 1 - 0.0000 -
631.06/633.43 c 633 20265 2599 1 - 0.0000 -
636.34/638.72 c 639 20477 2627 1 - 0.0000 -
641.81/644.22 c 644 20651 2657 1 - 0.0000 -
647.20/649.63 c 650 20871 2685 1 - 0.0000 -
652.97/655.42 c 655 21023 2727 1 - 0.0000 -
658.05/660.55 c 661 21193 2771 1 - 0.0000 -
663.33/665.85 c 666 21445 2777 1 - 0.0000 -
668.62/671.12 c 671 21667 2804 1 - 0.0000 -
673.68/676.21 c 676 21902 2825 1 - 0.0000 -
678.87/681.41 c 681 22177 2846 1 - 0.0000 -
683.95/686.55 c 687 22374 2881 1 - 0.0000 -
689.13/691.76 c 692 22567 2916 1 - 0.0000 -
694.30/696.97 c 697 22770 2925 1 - 0.0000 -
699.39/702.03 c 702 22992 2934 1 - 0.0000 -
704.57/707.25 c 707 23260 2933 1 - 0.0000 -
709.94/712.61 c 713 23458 2956 1 - 0.0000 -
715.02/717.75 c 718 23670 2974 1 - 0.0000 -
720.10/722.85 c 723 23951 2969 1 - 0.0000 -
725.29/728.01 c 728 24166 2994 1 - 0.0000 -
730.37/733.14 c 733 24376 3000 1 - 0.0000 -
735.93/738.76 c 739 24522 3026 1 - 0.0000 -
741.33/744.13 c 744 24670 3061 1 - 0.0000 -
747.20/750.03 c 750 24900 3069 1 - 0.0000 -
752.46/755.39 c 755 25123 3096 1 - 0.0000 -
757.85/760.72 c 761 25354 3121 1 - 0.0000 -
762.84/765.79 c 766 25547 3141 1 - 0.0000 -
769.31/772.29 c 772 25719 3162 1 - 0.0000 -
774.49/777.43 c 777 25846 3200 1 - 0.0000 -
779.57/782.59 c 783 26053 3219 1 - 0.0000 -
784.65/787.69 c 788 26251 3238 1 - 0.0000 -
790.14/793.17 c 793 26404 3257 1 - 0.0000 -
795.21/798.28 c 798 26587 3264 1 - 0.0000 -
800.40/803.42 c 803 26783 3287 1 - 0.0000 -
805.48/808.54 c 809 26967 3309 1 - 0.0000 -
810.66/813.70 c 814 27168 3329 1 - 0.0000 -
815.84/818.93 c 819 27338 3370 1 - 0.0000 -
821.32/824.42 c 824 27540 3382 1 - 0.0000 -
826.41/829.56 c 830 27723 3404 1 - 0.0000 -
831.59/834.74 c 835 27892 3438 1 - 0.0000 -
837.07/840.24 c 840 28084 3468 1 - 0.0000 -
842.55/845.71 c 846 28328 3483 1 - 0.0000 -
847.63/850.89 c 851 28518 3505 1 - 0.0000 -
853.01/856.20 c 856 28722 3542 1 - 0.0000 -
858.10/861.32 c 861 28926 3573 1 - 0.0000 -
863.48/866.73 c 867 29129 3588 1 - 0.0000 -
869.16/872.40 c 872 29257 3623 1 - 0.0000 -
874.34/877.67 c 878 29458 3627 1 - 0.0000 -
879.92/883.29 c 883 29634 3659 1 - 0.0000 -
885.20/888.51 c 889 29851 3685 1 - 0.0000 -
890.39/893.72 c 894 30072 3714 1 - 0.0000 -
895.78/899.18 c 899 30330 3715 1 - 0.0000 -
901.05/904.47 c 904 30577 3724 1 - 0.0000 -
906.33/909.72 c 910 30791 3755 1 - 0.0000 -
911.52/914.96 c 915 31040 3774 1 - 0.0000 -
916.80/920.26 c 920 31257 3798 1 - 0.0000 -
921.88/925.38 c 925 31457 3823 1 - 0.0000 -
926.96/930.48 c 930 31672 3840 1 - 0.0000 -
932.34/935.86 c 936 31827 3869 1 - 0.0000 -
938.02/941.53 c 942 32036 3888 1 - 0.0000 -
943.31/946.88 c 947 32267 3906 1 - 0.0000 -
948.39/951.98 c 952 32547 3917 1 - 0.0000 -
953.67/957.29 c 957 32757 3940 1 - 0.0000 -
958.85/962.40 c 962 32971 3949 1 - 0.0000 -
963.93/967.51 c 968 33149 3959 1 - 0.0000 -
969.01/972.64 c 973 33374 3967 1 - 0.0000 -
974.20/977.84 c 978 33545 3993 1 - 0.0000 -
979.39/983.05 c 983 33788 4007 1 - 0.0000 -
984.56/988.20 c 988 34009 4006 1 - 0.0000 -
989.74/993.40 c 993 34230 4003 1 - 0.0000 -
994.93/998.66 c 999 34462 4021 1 - 0.0000 -
1000.32/1004.09 c 1004 34641 4052 1 - 0.0000 -
1005.58/1009.39 c 1009 34840 4074 1 - 0.0000 -
1010.67/1014.44 c 1014 35039 4099 1 - 0.0000 -
1015.86/1019.64 c 1020 35305 4107 1 - 0.0000 -
1020.84/1024.65 c 1025 35447 4112 1 - 0.0000 -
1026.02/1029.87 c 1030 35657 4123 1 - 0.0000 -
1031.50/1035.34 c 1035 35857 4144 1 - 0.0000 -
1036.58/1040.41 c 1040 36095 4161 1 - 0.0000 -
1041.86/1045.79 c 1046 36318 4172 1 - 0.0000 -
1046.94/1050.90 c 1051 36514 4193 1 - 0.0000 -
1052.02/1055.97 c 1056 36722 4217 1 - 0.0000 -
1057.40/1061.32 c 1061 36928 4249 1 - 0.0000 -
1062.49/1066.47 c 1066 37137 4256 1 - 0.0000 -
1067.56/1071.53 c 1072 37318 4273 1 - 0.0000 -
1072.75/1076.71 c 1077 37520 4288 1 - 0.0000 -
1077.83/1081.84 c 1082 37762 4307 1 - 0.0000 -
1083.02/1087.04 c 1087 38012 4304 1 - 0.0000 -
1088.19/1092.22 c 1092 38254 4319 1 - 0.0000 -
1093.28/1097.35 c 1097 38515 4332 1 - 0.0000 -
1098.36/1102.44 c 1102 38761 4350 1 - 0.0000 -
1103.44/1107.51 c 1108 39002 4361 1 - 0.0000 -
1108.62/1112.71 c 1113 39211 4367 1 - 0.0000 -
1113.71/1117.87 c 1118 39460 4374 1 - 0.0000 -
1119.08/1123.29 c 1123 39615 4403 1 - 0.0000 -
1124.16/1128.39 c 1128 39862 4403 1 - 0.0000 -
1129.35/1133.55 c 1134 40088 4411 1 - 0.0000 -
1134.53/1138.73 c 1139 40291 4418 1 - 0.0000 -
1139.71/1143.96 c 1144 40514 4445 1 - 0.0000 -
1144.99/1149.23 c 1149 40829 4450 1 - 0.0000 -
1150.89/1155.11 c 1155 41051 4448 1 - 0.0000 -
1156.06/1160.38 c 1160 41297 4458 1 - 0.0000 -
1161.24/1165.51 c 1166 41535 4445 1 - 0.0000 -
1166.32/1170.62 c 1171 41759 4468 1 - 0.0000 -
1171.60/1175.96 c 1176 41900 4492 1 - 0.0000 -
1176.69/1181.02 c 1181 42162 4491 1 - 0.0000 -
1181.96/1186.38 c 1186 42412 4505 1 - 0.0000 -
1187.24/1191.68 c 1192 42651 4521 1 - 0.0000 -
1192.52/1196.91 c 1197 42858 4539 1 - 0.0000 -
1197.90/1202.35 c 1202 43077 4570 1 - 0.0000 -
1203.19/1207.63 c 1208 43305 4580 1 - 0.0000 -
1208.37/1212.84 c 1213 43475 4602 1 - 0.0000 -
1213.44/1217.99 c 1218 43649 4620 1 - 0.0000 -
1218.63/1223.12 c 1223 43862 4633 1 - 0.0000 -
1223.91/1228.43 c 1228 44082 4646 1 - 0.0000 -
1229.89/1234.41 c 1234 44284 4645 1 - 0.0000 -
1235.07/1239.69 c 1240 44438 4667 1 - 0.0000 -
1240.65/1245.20 c 1245 44647 4692 1 - 0.0000 -
1245.83/1250.43 c 1250 44772 4721 1 - 0.0000 -
1251.01/1255.67 c 1256 44937 4733 1 - 0.0000 -
1256.60/1261.22 c 1261 45163 4759 1 - 0.0000 -
1261.98/1266.61 c 1267 45335 4791 1 - 0.0000 -
1267.37/1272.03 c 1272 45538 4815 1 - 0.0000 -
1272.74/1277.40 c 1277 45750 4824 1 - 0.0000 -
1277.91/1282.61 c 1283 45917 4842 1 - 0.0000 -
1283.31/1288.03 c 1288 46158 4850 1 - 0.0000 -
1288.58/1293.37 c 1293 46370 4860 1 - 0.0000 -
1293.86/1298.62 c 1299 46537 4885 1 - 0.0000 -
1299.35/1304.16 c 1304 46699 4913 1 - 0.0000 -
1304.42/1309.26 c 1309 46934 4923 1 - 0.0000 -
1309.70/1314.51 c 1315 47100 4947 1 - 0.0000 -
1314.88/1319.74 c 1320 47298 4959 1 - 0.0000 -
1320.17/1325.08 c 1325 47469 4982 1 - 0.0000 -
1325.85/1330.78 c 1331 47673 5014 1 - 0.0000 -
1331.14/1336.07 c 1336 47905 5038 1 - 0.0000 -
1336.22/1341.14 c 1341 48136 5054 1 - 0.0000 -
1341.39/1346.36 c 1346 48313 5091 1 - 0.0000 -
1346.57/1351.58 c 1352 48538 5095 1 - 0.0000 -
1351.95/1356.94 c 1357 48734 5107 1 - 0.0000 -
1357.04/1362.08 c 1362 48907 5118 1 - 0.0000 -
1362.13/1367.17 c 1367 49068 5132 1 - 0.0000 -
1368.01/1373.07 c 1373 49111 5137 1 - 0.0000 -
1373.09/1378.17 c 1378 49313 5155 1 - 0.0000 -
1378.26/1383.34 c 1383 49504 5171 1 - 0.0000 -
1383.84/1388.92 c 1389 49747 5176 1 - 0.0000 -
1389.12/1394.23 c 1394 49992 5190 1 - 0.0000 -
1394.21/1399.36 c 1399 50171 5210 1 - 0.0000 -
1399.39/1404.55 c 1405 50442 5222 1 - 0.0000 -
1404.57/1409.80 c 1410 50637 5243 1 - 0.0000 -
1409.75/1414.98 c 1415 50848 5246 1 - 0.0000 -
1415.42/1420.62 c 1421 51067 5270 1 - 0.0000 -
1420.60/1425.88 c 1426 51304 5289 1 - 0.0000 -
1425.69/1430.98 c 1431 51472 5314 1 - 0.0000 -
1430.97/1436.20 c 1436 51653 5340 1 - 0.0000 -
1435.95/1441.25 c 1441 51886 5354 1 - 0.0000 -
1441.03/1446.32 c 1446 52077 5376 1 - 0.0000 -
1446.31/1451.61 c 1452 52256 5396 1 - 0.0000 -
1451.50/1456.87 c 1457 52442 5416 1 - 0.0000 -
1456.79/1462.18 c 1462 52676 5434 1 - 0.0000 -
1461.86/1467.26 c 1467 52889 5455 1 - 0.0000 -
1466.93/1472.34 c 1472 53072 5470 1 - 0.0000 -
1471.92/1477.39 c 1477 53336 5482 1 - 0.0000 -
1477.10/1482.53 c 1483 53529 5513 1 - 0.0000 -
1482.28/1487.73 c 1488 53730 5537 1 - 0.0000 -
1487.37/1492.81 c 1493 53966 5545 1 - 0.0000 -
1492.45/1497.96 c 1498 54197 5555 1 - 0.0000 -
1497.82/1503.33 c 1503 54431 5572 1 - 0.0000 -
1502.81/1508.39 c 1508 54678 5579 1 - 0.0000 -
1507.99/1513.53 c 1514 54932 5580 1 - 0.0000 -
1513.48/1519.05 c 1519 55117 5602 1 - 0.0000 -
1518.86/1524.49 c 1524 55295 5634 1 - 0.0000 -
1523.94/1529.59 c 1530 55516 5646 1 - 0.0000 -
1529.02/1534.66 c 1535 55715 5646 1 - 0.0000 -
1534.10/1539.74 c 1540 55948 5632 1 - 0.0000 -
1539.49/1545.14 c 1545 56161 5630 1 - 0.0000 -
1545.06/1550.71 c 1551 56337 5646 1 - 0.0000 -
1550.45/1556.11 c 1556 56545 5662 1 - 0.0000 -
1555.92/1561.60 c 1562 56748 5672 1 - 0.0000 -
1561.31/1567.05 c 1567 56982 5691 1 - 0.0000 -
1566.40/1572.13 c 1572 57261 5692 1 - 0.0000 -
1571.67/1577.49 c 1578 57466 5715 1 - 0.0000 -
1576.85/1582.65 c 1583 57671 5735 1 - 0.0000 -
1581.93/1587.77 c 1588 57854 5740 1 - 0.0000 -
1587.51/1593.39 c 1593 58008 5751 1 - 0.0000 -
1592.59/1598.50 c 1598 58220 5759 1 - 0.0000 -
1597.77/1603.61 c 1604 58446 5769 1 - 0.0000 -
1602.86/1608.79 c 1609 58684 5777 1 - 0.0000 -
1608.43/1614.32 c 1614 58791 5817 1 - 0.0000 -
1613.62/1619.58 c 1620 59015 5830 1 - 0.0000 -
1618.80/1624.76 c 1625 59207 5841 1 - 0.0000 -
1623.88/1629.89 c 1630 59419 5859 1 - 0.0000 -
1629.07/1635.02 c 1635 59617 5881 1 - 0.0000 -
1634.15/1640.14 c 1640 59867 5881 1 - 0.0000 -
1639.23/1645.29 c 1645 60097 5886 1 - 0.0000 -
1644.31/1650.38 c 1650 60339 5889 1 - 0.0000 -
1649.59/1655.64 c 1656 60547 5894 1 - 0.0000 -
1654.77/1660.89 c 1661 60749 5909 1 - 0.0000 -
1659.85/1665.99 c 1666 60964 5915 1 - 0.0000 -
1664.95/1671.07 c 1671 61219 5930 1 - 0.0000 -
1670.11/1676.26 c 1676 61427 5953 1 - 0.0000 -
1675.19/1681.37 c 1681 61666 5948 1 - 0.0000 -
1680.37/1686.58 c 1687 61907 5941 1 - 0.0000 -
1685.46/1691.65 c 1692 62142 5955 1 - 0.0000 -
1690.54/1696.75 c 1697 62350 5975 1 - 0.0000 -
1695.63/1701.86 c 1702 62562 5973 1 - 0.0000 -
1700.71/1706.95 c 1707 62787 5975 1 - 0.0000 -
1705.79/1712.05 c 1712 63051 5963 1 - 0.0000 -
1711.25/1717.50 c 1718 63267 5967 1 - 0.0000 -
1716.54/1722.82 c 1723 63544 5975 1 - 0.0000 -
1721.52/1727.89 c 1728 63781 5984 1 - 0.0000 -
1726.60/1732.96 c 1733 64026 5978 1 - 0.0000 -
1731.99/1738.34 c 1738 64229 5994 1 - 0.0000 -
1737.07/1743.40 c 1743 64441 5998 1 - 0.0000 -
1742.15/1748.57 c 1749 64719 6006 1 - 0.0000 -
1747.33/1753.74 c 1754 64905 6025 1 - 0.0000 -
1752.41/1758.81 c 1759 65198 6038 1 - 0.0000 -
1757.49/1763.92 c 1764 65409 6040 1 - 0.0000 -
1763.87/1770.30 c 1770 65589 6048 1 - 0.0000 -
1768.95/1775.41 c 1775 65859 6052 1 - 0.0000 -
1774.03/1780.53 c 1781 66091 6058 1 - 0.0000 -
1779.21/1785.71 c 1786 66297 6066 1 - 0.0000 -
1784.40/1790.92 c 1791 66526 6062 1 - 0.0000 -
1789.38/1795.98 c 1796 66778 6074 1 - 0.0000 -
1794.57/1801.15 c 1801 66997 6068 1 - 0.0000 -
1799.64/1806.22 c 1806 67262 6074 1 - 0.0000 -
1804.82/1811.49 c 1811 67484 6087 1 - 0.0000 -
1809.90/1816.58 c 1817 67726 6102 1 - 0.0000 -
1815.09/1821.76 c 1822 67990 6101 1 - 0.0000 -
1820.27/1826.90 c 1827 68222 6125 1 - 0.0000 -
1825.25/1831.99 c 1832 68455 6129 1 - 0.0000 -
1830.44/1837.18 c 1837 68682 6141 1 - 0.0000 -
1835.52/1842.27 c 1842 68953 6145 1 - 0.0000 -
1840.90/1847.65 c 1848 69178 6151 1 - 0.0000 -
1846.77/1853.50 c 1854 69390 6166 1 - 0.0000 -
1852.15/1858.93 c 1859 69605 6188 1 - 0.0000 -
1857.23/1864.04 c 1864 69831 6204 1 - 0.0000 -
1862.32/1869.13 c 1869 70078 6207 1 - 0.0000 -
1867.39/1874.23 c 1874 70312 6211 1 - 0.0000 -
1872.57/1879.44 c 1879 70558 6218 1 - 0.0000 -
1877.65/1884.58 c 1885 70760 6231 1 - 0.0000 -
1882.74/1889.66 c 1890 70983 6240 1 - 0.0000 -
1887.82/1894.77 c 1895 71247 6252 1 - 0.0000 -
1892.99/1899.91 c 1900 71463 6261 1 - 0.0000 -
1898.08/1905.05 c 1905 71689 6264 1 - 0.0000 -
1903.16/1910.12 c 1910 71907 6284 1 - 0.0000 -
1908.15/1915.19 c 1915 72109 6293 1 - 0.0000 -
1913.52/1920.52 c 1921 72323 6315 1 - 0.0000 -
1919.20/1926.26 c 1926 72579 6331 1 - 0.0000 -
1924.38/1931.40 c 1931 72822 6334 1 - 0.0000 -
1929.36/1936.46 c 1936 73068 6345 1 - 0.0000 -
1934.54/1941.64 c 1942 73310 6342 1 - 0.0000 -
1939.63/1946.72 c 1947 73598 6331 1 - 0.0000 -
1944.81/1951.91 c 1952 73835 6331 1 - 0.0000 -
1949.90/1957.09 c 1957 74070 6331 1 - 0.0000 -
1954.99/1962.18 c 1962 74264 6347 1 - 0.0000 -
1960.26/1967.43 c 1967 74458 6344 1 - 0.0000 -
1965.54/1972.79 c 1973 74697 6350 1 - 0.0000 -
1970.82/1978.09 c 1978 74960 6358 1 - 0.0000 -
1976.00/1983.21 c 1983 75217 6365 1 - 0.0000 -
1982.07/1989.34 c 1989 75464 6352 1 - 0.0000 -
1987.16/1994.46 c 1994 75712 6339 1 - 0.0000 -
1992.34/1999.61 c 2000 75954 6345 1 - 0.0000 -
1997.42/2004.75 c 2005 76137 6357 1 - 0.0000 -
2002.60/2009.91 c 2010 76359 6358 1 - 0.0000 -
2007.58/2014.99 c 2015 76610 6366 1 - 0.0000 -
2012.67/2020.06 c 2020 76877 6369 1 - 0.0000 -
2017.76/2025.15 c 2025 77117 6368 1 - 0.0000 -
2022.82/2030.25 c 2030 77401 6366 1 - 0.0000 -
2028.01/2035.41 c 2035 77655 6358 1 - 0.0000 -
2033.09/2040.56 c 2041 77863 6374 1 - 0.0000 -
2038.17/2045.64 c 2046 78146 6397 1 - 0.0000 -
2043.45/2050.90 c 2051 78409 6392 1 - 0.0000 -
2048.65/2056.19 c 2056 78653 6392 1 - 0.0000 -
2053.91/2061.47 c 2061 78905 6397 1 - 0.0000 -
2059.00/2066.58 c 2067 79189 6400 1 - 0.0000 -
2065.49/2073.06 c 2073 79367 6399 1 - 0.0000 -
2070.66/2078.23 c 2078 79567 6405 1 - 0.0000 -
2075.74/2083.37 c 2083 79812 6414 1 - 0.0000 -
2080.82/2088.48 c 2088 80065 6426 1 - 0.0000 -
2086.00/2093.66 c 2094 80327 6436 1 - 0.0000 -
2091.18/2098.88 c 2099 80594 6433 1 - 0.0000 -
2096.66/2104.30 c 2104 80844 6446 1 - 0.0000 -
2101.64/2109.37 c 2109 81079 6455 1 - 0.0000 -
2106.72/2114.48 c 2114 81280 6509 1 - 0.0000 -
2112.01/2119.79 c 2120 81500 6515 1 - 0.0000 -
2117.19/2124.91 c 2125 81687 6533 1 - 0.0000 -
2122.28/2130.09 c 2130 81947 6543 1 - 0.0000 -
2127.37/2135.18 c 2135 82208 6554 1 - 0.0000 -
2132.43/2140.27 c 2140 82479 6565 1 - 0.0000 -
2137.62/2145.42 c 2145 82808 6564 1 - 0.0000 -
2142.70/2150.56 c 2151 83038 6555 1 - 0.0000 -
2147.88/2155.72 c 2156 83268 6565 1 - 0.0000 -
2153.18/2161.04 c 2161 83475 6575 1 - 0.0000 -
2158.44/2166.38 c 2166 83698 6583 1 - 0.0000 -
2163.52/2171.47 c 2171 83913 6605 1 - 0.0000 -
2168.81/2176.74 c 2177 84167 6621 1 - 0.0000 -
2173.99/2182.01 c 2182 84410 6638 1 - 0.0000 -
2179.18/2187.12 c 2187 84642 6638 1 - 0.0000 -
2184.55/2192.53 c 2193 84897 6647 1 - 0.0000 -
2189.73/2197.70 c 2198 85095 6659 1 - 0.0000 -
2194.82/2202.88 c 2203 85372 6669 1 - 0.0000 -
2200.30/2208.37 c 2208 85594 6669 1 - 0.0000 -
2205.38/2213.45 c 2213 85837 6680 1 - 0.0000 -
2210.45/2218.56 c 2219 86057 6675 1 - 0.0000 -
2215.83/2223.95 c 2224 86321 6684 1 - 0.0000 -
2220.92/2229.05 c 2229 86511 6708 1 - 0.0000 -
2226.20/2234.39 c 2234 86701 6719 1 - 0.0000 -
2231.38/2239.52 c 2240 86911 6735 1 - 0.0000 -
2236.46/2244.67 c 2245 87120 6737 1 - 0.0000 -
2241.54/2249.75 c 2250 87377 6733 1 - 0.0000 -
2246.62/2254.84 c 2255 87631 6726 1 - 0.0000 -
2251.70/2259.93 c 2260 87881 6729 1 - 0.0000 -
2256.89/2265.13 c 2265 88111 6731 1 - 0.0000 -
2262.07/2270.35 c 2270 88335 6757 1 - 0.0000 -
2267.15/2275.42 c 2275 88551 6758 1 - 0.0000 -
2272.43/2280.79 c 2281 88743 6778 1 - 0.0000 -
2277.61/2285.99 c 2286 89011 6786 1 - 0.0000 -
2282.80/2291.11 c 2291 89237 6799 1 - 0.0000 -
2288.68/2297.09 c 2297 89490 6809 1 - 0.0000 -
2294.45/2302.84 c 2303 89684 6835 1 - 0.0000 -
2299.53/2307.95 c 2308 89870 6864 1 - 0.0000 -
2304.62/2313.02 c 2313 90161 6850 1 - 0.0000 -
2309.80/2318.20 c 2318 90410 6860 1 - 0.0000 -
2314.88/2323.33 c 2323 90664 6852 1 - 0.0000 -
2320.16/2328.69 c 2329 90875 6861 1 - 0.0000 -
2325.44/2333.90 c 2334 91132 6861 1 - 0.0000 -
2330.42/2338.96 c 2339 91407 6850 1 - 0.0000 -
2336.40/2344.97 c 2345 91565 6858 1 - 0.0000 -
2341.49/2350.08 c 2350 91831 6859 1 - 0.0000 -
2346.58/2355.14 c 2355 92131 6863 1 - 0.0000 -
2351.65/2360.21 c 2360 92411 6857 1 - 0.0000 -
2356.73/2365.30 c 2365 92666 6851 1 - 0.0000 -
2361.81/2370.41 c 2370 92922 6849 1 - 0.0000 -
2366.79/2375.46 c 2375 93206 6846 1 - 0.0000 -
2371.88/2380.56 c 2381 93452 6850 1 - 0.0000 -
2376.96/2385.65 c 2386 93738 6849 1 - 0.0000 -
2382.04/2390.78 c 2391 93945 6843 1 - 0.0000 -
2387.22/2395.91 c 2396 94203 6852 1 - 0.0000 -
2392.31/2401.04 c 2401 94452 6858 1 - 0.0000 -
2397.30/2406.10 c 2406 94735 6856 1 - 0.0000 -
2402.57/2411.36 c 2411 94951 6870 1 - 0.0000 -
2407.65/2416.43 c 2416 95169 6881 1 - 0.0000 -
2413.03/2421.85 c 2422 95357 6899 1 - 0.0000 -
2418.32/2427.14 c 2427 95518 6914 1 - 0.0000 -
2423.39/2432.21 c 2432 95722 6940 1 - 0.0000 -
2428.47/2437.30 c 2437 96047 6941 1 - 0.0000 -
2433.57/2442.41 c 2442 96282 6951 1 - 0.0000 -
2438.65/2447.51 c 2448 96534 6956 1 - 0.0000 -
2444.03/2452.96 c 2453 96779 6966 1 - 0.0000 -
2449.11/2458.06 c 2458 97080 6966 1 - 0.0000 -
2454.20/2463.14 c 2463 97268 6974 1 - 0.0000 -
2459.27/2468.21 c 2468 97594 6983 1 - 0.0000 -
2464.35/2473.32 c 2473 97864 7007 1 - 0.0000 -
2469.43/2478.45 c 2478 98091 7021 1 - 0.0000 -
2474.51/2483.59 c 2484 98340 7024 1 - 0.0000 -
2479.69/2488.71 c 2489 98562 7041 1 - 0.0000 -
2484.77/2493.84 c 2494 98770 7053 1 - 0.0000 -
2489.86/2498.94 c 2499 99038 7041 1 - 0.0000 -
2495.25/2504.30 c 2504 99284 7041 1 - 0.0000 -
2500.43/2509.53 c 2510 99545 7042 1 - 0.0000 -
2505.50/2514.62 c 2515 99783 7051 1 - 0.0000 -
2510.58/2519.74 c 2520 100016 7059 1 - 0.0000 -
2515.78/2524.91 c 2525 100251 7072 1 - 0.0000 -
2521.86/2531.03 c 2531 100490 7076 1 - 0.0000 -
2527.03/2536.28 c 2536 100669 7082 1 - 0.0000 -
2532.12/2541.36 c 2541 100936 7091 1 - 0.0000 -
2537.20/2546.44 c 2546 101160 7092 1 - 0.0000 -
2542.28/2551.55 c 2552 101447 7074 1 - 0.0000 -
2547.37/2556.67 c 2557 101644 7090 1 - 0.0000 -
2552.55/2561.81 c 2562 101856 7101 1 - 0.0000 -
2557.63/2566.98 c 2567 102099 7108 1 - 0.0000 -
2562.72/2572.07 c 2572 102352 7102 1 - 0.0000 -
2568.09/2577.47 c 2577 102618 7099 1 - 0.0000 -
2573.27/2582.65 c 2583 102870 7117 1 - 0.0000 -
2578.35/2587.73 c 2588 103126 7130 1 - 0.0000 -
2583.33/2592.79 c 2593 103376 7146 1 - 0.0000 -
2591.61/2601.09 c 2601 103608 7155 1 - 0.0000 -
2596.78/2606.21 c 2606 103822 7179 1 - 0.0000 -
2602.16/2611.60 c 2612 104079 7179 1 - 0.0000 -
2607.23/2616.73 c 2617 104314 7196 1 - 0.0000 -
2612.62/2622.14 c 2622 104522 7206 1 - 0.0000 -
2617.69/2627.27 c 2627 104777 7214 1 - 0.0000 -
2622.77/2632.36 c 2632 105007 7227 1 - 0.0000 -
2627.85/2637.43 c 2637 105286 7227 1 - 0.0000 -
2632.94/2642.53 c 2643 105538 7226 1 - 0.0000 -
2638.11/2647.78 c 2648 105761 7271 1 - 0.0000 -
2643.79/2653.43 c 2653 105999 7281 1 - 0.0000 -
2648.87/2658.54 c 2659 106247 7294 1 - 0.0000 -
2654.05/2663.73 c 2664 106468 7298 1 - 0.0000 -
2659.34/2669.02 c 2669 106684 7319 1 - 0.0000 -
2664.31/2674.07 c 2674 106886 7351 1 - 0.0000 -
2669.58/2679.39 c 2679 107091 7358 1 - 0.0000 -
2674.86/2684.64 c 2685 107311 7385 1 - 0.0000 -
2679.95/2689.70 c 2690 107597 7372 1 - 0.0000 -
2684.93/2694.75 c 2695 107858 7381 1 - 0.0000 -
2690.00/2699.88 c 2700 108118 7370 1 - 0.0000 -
2695.29/2705.16 c 2705 108448 7362 1 - 0.0000 -
2700.46/2710.35 c 2710 108694 7361 1 - 0.0000 -
2705.64/2715.59 c 2716 108935 7372 1 - 0.0000 -
2710.92/2720.87 c 2721 109179 7380 1 - 0.0000 -
2716.00/2725.93 c 2726 109425 7384 1 - 0.0000 -
2720.98/2730.99 c 2731 109714 7377 1 - 0.0000 -
2726.46/2736.40 c 2736 109952 7406 1 - 0.0000 -
2731.74/2741.73 c 2742 110182 7415 1 - 0.0000 -
2736.73/2746.79 c 2747 110420 7421 1 - 0.0000 -
2742.02/2752.06 c 2752 110637 7434 1 - 0.0000 -
2747.19/2757.25 c 2757 110899 7435 1 - 0.0000 -
2752.47/2762.50 c 2762 111138 7443 1 - 0.0000 -
2757.75/2767.81 c 2768 111345 7463 1 - 0.0000 -
2762.74/2772.88 c 2773 111558 7465 1 - 0.0000 -
2767.94/2778.09 c 2778 111793 7488 1 - 0.0000 -
2773.20/2783.35 c 2783 112071 7480 1 - 0.0000 -
2779.78/2789.98 c 2790 112242 7474 1 - 0.0000 -
2784.87/2795.05 c 2795 112504 7489 1 - 0.0000 -
2789.95/2800.15 c 2800 112749 7495 1 - 0.0000 -
2795.12/2805.30 c 2805 112958 7496 1 - 0.0000 -
2800.11/2810.35 c 2810 113230 7481 1 - 0.0000 -
2805.19/2815.47 c 2815 113470 7488 1 - 0.0000 -
2810.77/2821.06 c 2821 113745 7492 1 - 0.0000 -
2815.95/2826.22 c 2826 114011 7491 1 - 0.0000 -
2821.03/2831.30 c 2831 114244 7493 1 - 0.0000 -
2826.21/2836.53 c 2837 114544 7493 1 - 0.0000 -
2831.29/2841.60 c 2842 114789 7509 1 - 0.0000 -
2836.57/2846.95 c 2847 115018 7530 1 - 0.0000 -
2841.76/2852.18 c 2852 115251 7540 1 - 0.0000 -
2846.94/2857.33 c 2857 115470 7569 1 - 0.0000 -
2852.32/2862.72 c 2863 115692 7601 1 - 0.0000 -
2857.40/2867.84 c 2868 115953 7606 1 - 0.0000 -
2862.70/2873.11 c 2873 116145 7624 1 - 0.0000 -
2867.97/2878.45 c 2878 116412 7644 1 - 0.0000 -
2873.26/2883.71 c 2884 116639 7654 1 - 0.0000 -
2878.55/2889.02 c 2889 116865 7675 1 - 0.0000 -
2883.63/2894.17 c 2894 117114 7683 1 - 0.0000 -
2889.00/2899.50 c 2900 117317 7700 1 - 0.0000 -
2894.18/2904.70 c 2905 117591 7691 1 - 0.0000 -
2899.26/2909.81 c 2910 117834 7692 1 - 0.0000 -
2904.64/2915.24 c 2915 118106 7687 1 - 0.0000 -
2909.63/2920.29 c 2920 118335 7697 1 - 0.0000 -
2915.22/2925.83 c 2926 118569 7693 1 - 0.0000 -
2920.30/2930.94 c 2931 118814 7695 1 - 0.0000 -
2925.39/2936.05 c 2936 119027 7700 1 - 0.0000 -
2930.66/2941.33 c 2941 119260 7710 1 - 0.0000 -
2935.74/2946.43 c 2946 119507 7701 1 - 0.0000 -
2941.02/2951.75 c 2952 119747 7712 1 - 0.0000 -
2946.10/2956.82 c 2957 119961 7732 1 - 0.0000 -
2951.30/2962.02 c 2962 120177 7740 1 - 0.0000 -
2956.56/2967.31 c 2967 120433 7742 1 - 0.0000 -
2961.64/2972.44 c 2972 120657 7744 1 - 0.0000 -
2966.72/2977.52 c 2978 120891 7737 1 - 0.0000 -
2971.71/2982.58 c 2983 121128 7737 1 - 0.0000 -
2976.79/2987.64 c 2988 121375 7749 1 - 0.0000 -
2981.87/2992.70 c 2993 121642 7732 1 - 0.0000 -
2987.65/2998.57 c 2999 121863 7735 1 - 0.0000 -
2992.83/3003.74 c 3004 122171 7738 1 - 0.0000 -
2998.11/3009.02 c 3009 122377 7755 1 - 0.0000 -
3003.28/3014.29 c 3014 122580 7767 1 - 0.0000 -
3008.36/3019.38 c 3019 122850 7759 1 - 0.0000 -
3013.54/3024.50 c 3025 123098 7766 1 - 0.0000 -
3018.52/3029.59 c 3030 123304 7773 1 - 0.0000 -
3023.71/3034.74 c 3035 123511 7790 1 - 0.0000 -
3028.89/3039.95 c 3040 123705 7824 1 - 0.0000 -
3033.97/3045.01 c 3045 123928 7829 1 - 0.0000 -
3039.44/3050.50 c 3051 124189 7832 1 - 0.0000 -
3045.12/3056.29 c 3056 124431 7836 1 - 0.0000 -
3050.20/3061.37 c 3061 124706 7825 1 - 0.0000 -
3055.38/3066.54 c 3067 124963 7832 1 - 0.0000 -
3060.56/3071.73 c 3072 125237 7838 1 - 0.0000 -
3065.64/3076.83 c 3077 125472 7840 1 - 0.0000 -
3070.83/3082.02 c 3082 125690 7847 1 - 0.0000 -
3075.91/3087.15 c 3087 125955 7848 1 - 0.0000 -
3080.98/3092.27 c 3092 126198 7843 1 - 0.0000 -
3086.56/3097.83 c 3098 126436 7847 1 - 0.0000 -
3091.64/3102.95 c 3103 126684 7851 1 - 0.0000 -
3097.12/3108.46 c 3108 126926 7846 1 - 0.0000 -
3102.20/3113.57 c 3114 127178 7842 1 - 0.0000 -
3107.69/3119.04 c 3119 127403 7849 1 - 0.0000 -
3112.95/3124.35 c 3124 127624 7861 1 - 0.0000 -
3118.04/3129.43 c 3129 127880 7849 1 - 0.0000 -
3123.12/3134.52 c 3135 128171 7840 1 - 0.0000 -
3128.20/3139.60 c 3140 128434 7841 1 - 0.0000 -
3133.18/3144.69 c 3145 128666 7851 1 - 0.0000 -
3138.26/3149.77 c 3150 128900 7853 1 - 0.0000 -
3143.34/3154.89 c 3155 129201 7850 1 - 0.0000 -
3149.31/3160.88 c 3161 129437 7855 1 - 0.0000 -
3154.61/3166.15 c 3166 129684 7874 1 - 0.0000 -
3159.67/3171.23 c 3171 130008 7869 1 - 0.0000 -
3165.35/3177.01 c 3177 130155 7870 1 - 0.0000 -
3170.83/3182.43 c 3182 130401 7882 1 - 0.0000 -
3175.91/3187.50 c 3188 130647 7879 1 - 0.0000 -
3180.99/3192.61 c 3193 130910 7874 1 - 0.0000 -
3186.16/3197.80 c 3198 131153 7875 1 - 0.0000 -
3191.25/3202.92 c 3203 131433 7873 1 - 0.0000 -
3196.34/3208.06 c 3208 131661 7868 1 - 0.0000 -
3201.71/3213.42 c 3213 131893 7880 1 - 0.0000 -
3206.79/3218.59 c 3219 132153 7904 1 - 0.0000 -
3211.87/3223.69 c 3224 132429 7895 1 - 0.0000 -
3217.15/3228.99 c 3229 132649 7918 1 - 0.0000 -
3222.24/3234.08 c 3234 132877 7923 1 - 0.0000 -
3227.32/3239.14 c 3239 133120 7919 1 - 0.0000 -
3232.68/3244.57 c 3245 133351 7927 1 - 0.0000 -
3237.87/3249.76 c 3250 133591 7937 1 - 0.0000 -
3242.95/3254.85 c 3255 133884 7941 1 - 0.0000 -
3248.03/3259.93 c 3260 134188 7948 1 - 0.0000 -
3253.70/3265.65 c 3266 134497 7941 1 - 0.0000 -
3258.78/3270.74 c 3271 134730 7944 1 - 0.0000 -
3263.86/3275.89 c 3276 134956 7959 1 - 0.0000 -
3268.94/3280.97 c 3281 135189 7972 1 - 0.0000 -
3274.04/3286.07 c 3286 135478 7965 1 - 0.0000 -
3279.12/3291.13 c 3291 135714 7958 1 - 0.0000 -
3284.18/3296.23 c 3296 135952 7966 1 - 0.0000 -
3289.36/3301.46 c 3301 136179 7975 1 - 0.0000 -
3294.44/3306.56 c 3307 136437 7974 1 - 0.0000 -
3299.72/3311.84 c 3312 136655 7986 1 - 0.0000 -
3304.80/3316.95 c 3317 136936 7987 1 - 0.0000 -
3309.99/3322.13 c 3322 137093 7988 1 - 0.0000 -
3315.16/3327.36 c 3327 137345 7994 1 - 0.0000 -
3320.24/3332.46 c 3332 137597 7999 1 - 0.0000 -
3325.32/3337.56 c 3338 137860 8014 1 - 0.0000 -
3330.40/3342.65 c 3343 138138 8004 1 - 0.0000 -
3335.58/3347.80 c 3348 138348 8014 1 - 0.0000 -
3340.66/3352.91 c 3353 138636 8026 1 - 0.0000 -
3345.75/3358.04 c 3358 138911 8027 1 - 0.0000 -
3350.83/3363.12 c 3363 139181 8033 1 - 0.0000 -
3355.91/3368.23 c 3368 139405 8044 1 - 0.0000 -
3361.19/3373.54 c 3374 139658 8058 1 - 0.0000 -
3366.38/3378.77 c 3379 139873 8072 1 - 0.0000 -
3371.46/3383.88 c 3384 140129 8070 1 - 0.0000 -
3376.64/3389.05 c 3389 140420 8070 1 - 0.0000 -
3381.81/3394.29 c 3394 140628 8070 1 - 0.0000 -
3387.09/3399.57 c 3400 140831 8072 1 - 0.0000 -
3392.17/3404.65 c 3405 141069 8069 1 - 0.0000 -
3397.26/3409.75 c 3410 141357 8059 1 - 0.0000 -
3402.34/3414.82 c 3415 141657 8060 1 - 0.0000 -
3407.43/3419.96 c 3420 141924 8046 1 - 0.0000 -
3412.81/3425.36 c 3425 142127 8058 1 - 0.0000 -
3417.89/3430.48 c 3430 142364 8056 1 - 0.0000 -
3422.97/3435.58 c 3436 142594 8065 1 - 0.0000 -
3428.66/3441.24 c 3441 142848 8072 1 - 0.0000 -
3433.84/3446.43 c 3446 143227 8063 1 - 0.0000 -
3439.01/3451.67 c 3452 143513 8060 1 - 0.0000 -
3444.30/3456.92 c 3457 143720 8063 1 - 0.0000 -
3449.39/3462.03 c 3462 143967 8069 1 - 0.0000 -
3454.48/3467.11 c 3467 144212 8072 1 - 0.0000 -
3459.55/3472.20 c 3472 144434 8086 1 - 0.0000 -
3464.73/3477.47 c 3477 144630 8082 1 - 0.0000 -
3469.81/3482.57 c 3483 144883 8096 1 - 0.0000 -
3474.89/3487.66 c 3488 145057 8099 1 - 0.0000 -
3480.16/3492.95 c 3493 145217 8109 1 - 0.0000 -
3485.25/3498.03 c 3498 145482 8117 1 - 0.0000 -
3490.34/3503.12 c 3503 145755 8114 1 - 0.0000 -
3495.51/3508.30 c 3508 146007 8121 1 - 0.0000 -
3500.50/3513.35 c 3513 146289 8131 1 - 0.0000 -
3505.58/3518.48 c 3518 146532 8141 1 - 0.0000 -
3510.66/3523.58 c 3524 146806 8142 1 - 0.0000 -
3515.74/3528.66 c 3529 147052 8157 1 - 0.0000 -
3520.82/3533.71 c 3534 147300 8154 1 - 0.0000 -
3526.00/3538.95 c 3539 147552 8158 1 - 0.0000 -
3530.98/3544.01 c 3544 147805 8169 1 - 0.0000 -
3536.18/3549.17 c 3549 148037 8173 1 - 0.0000 -
3541.35/3554.35 c 3554 148287 8173 1 - 0.0000 -
3546.43/3559.44 c 3559 148507 8188 1 - 0.0000 -
3551.61/3564.67 c 3565 148762 8181 1 - 0.0000 -
3556.79/3569.83 c 3570 149025 8191 1 - 0.0000 -
3561.77/3574.89 c 3575 149263 8185 1 - 0.0000 -
3567.07/3580.19 c 3580 149494 8189 1 - 0.0000 -
3572.24/3585.32 c 3585 149752 8203 1 - 0.0000 -
3577.42/3590.57 c 3591 150007 8211 1 - 0.0000 -
3582.50/3595.68 c 3596 150264 8214 1 - 0.0000 -
3586.91/3600.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.91/3600.11 c Total Time : 3600.1000
3586.91/3600.11 c solving : 3600.1000
3586.91/3600.11 c presolving : 0.2862 (included in solving)
3586.91/3600.11 c B&B Tree :
3586.91/3600.11 c nodes (total) : 1
3586.91/3600.11 c Solution :
3586.91/3600.11 c Solutions found : 0
3586.91/3600.11 c Primal Bound : -
3586.91/3600.11 c Dual Bound : +0.00000000000000e+00
3586.91/3600.11 c Gap : -
3586.91/3600.12 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (59115 MiB free)
memory of node 1: 64473 MiB (58734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452070-1721428802/watcher-4452070-1721428802 -o /tmp/evaluation-result-4452070-1721428802/solver-4452070-1721428802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033549 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452070-1721428802.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1038699, runsolver pid=1038696
[startup+0.100342 s]*
/proc/loadavg: 4.15 4.18 4.20 6/247 1038700
/proc/meminfo: memFree=120658408/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=40816 memory=30172 CPUtime=0.09 cores=0,2
/proc/1038699/stat : 1038699 (fscip) R 1038696 1038699 1033539 0 -1 4194304 5680 0 0 0 8 1 0 0 20 0 1 0 195038969 41795584 7543 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 10204 7543 2670 3032 0 6604 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40816 KiB
Current children cumulated memory: 30172 KiB
[startup+0.213112 s]*
/proc/loadavg: 4.15 4.18 4.20 5/247 1038700
/proc/meminfo: memFree=120657428/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=42568 memory=31992 CPUtime=0.21 cores=0,2
/proc/1038699/stat : 1038699 (fscip) R 1038696 1038699 1033539 0 -1 4194304 6066 0 0 0 20 1 0 0 20 0 1 0 195038969 43589632 7998 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 10642 7998 2734 3032 0 7042 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42568 KiB
Current children cumulated memory: 31992 KiB
[startup+0.312728 s]*
/proc/loadavg: 4.14 4.18 4.19 6/247 1038700
/proc/meminfo: memFree=120651604/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=53248 memory=38388 CPUtime=0.3 cores=0,2
/proc/1038699/stat : 1038699 (fscip) R 1038696 1038699 1033539 0 -1 4194304 7923 0 0 0 29 1 0 0 20 0 1 0 195038969 54525952 9597 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 13312 9597 2734 3032 0 9712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53248 KiB
Current children cumulated memory: 38388 KiB
[startup+0.700377 s]
/proc/loadavg: 4.14 4.18 4.19 5/249 1038702
/proc/meminfo: memFree=120620944/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=151252 memory=68908 CPUtime=0.66 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 16838 0 0 0 63 3 0 0 20 0 3 0 195038969 154882048 17227 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 37813 17227 2782 3032 0 22169 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=151252 memory=5532 CPUtime=0.32 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 5243 0 0 0 31 1 0 0 20 0 3 0 195039004 154882048 17227 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=151252 memory=2273 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 195039008 154882048 17227 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 151252 KiB
Current children cumulated memory: 68908 KiB
[startup+1.50038 s]
/proc/loadavg: 4.14 4.18 4.19 5/244 1038716
/proc/meminfo: memFree=123226616/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=157764 memory=85792 CPUtime=1.46 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 21649 0 0 0 142 4 0 0 20 0 3 0 195038969 161550336 21448 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 39441 21448 2910 3032 0 26749 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=157764 memory=2273 CPUtime=1.11 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 10047 0 0 0 109 2 0 0 20 0 3 0 195039004 161550336 21448 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=157764 memory=0 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 195039008 161550336 21448 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 157764 KiB
Current children cumulated memory: 85792 KiB
[startup+3.11295 s]
/proc/loadavg: 4.14 4.18 4.19 6/244 1038812
/proc/meminfo: memFree=123194464/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=223300 memory=123092 CPUtime=3.06 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 36056 0 0 0 300 6 0 0 20 0 3 0 195038969 228659200 30773 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 55825 30773 2926 3032 0 36873 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=223300 memory=12740 CPUtime=2.72 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 24454 0 0 0 268 4 0 0 20 0 3 0 195039004 228659200 30773 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=223300 memory=0 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 195039008 228659200 30773 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 223300 KiB
Current children cumulated memory: 123092 KiB
[startup+6.3004 s]
/proc/loadavg: 4.21 4.19 4.20 6/249 1038846
/proc/meminfo: memFree=123073316/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=223300 memory=166320 CPUtime=6.24 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 60087 0 0 0 615 9 0 0 20 0 3 0 195038969 228659200 41580 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 55825 41580 2926 3032 0 49027 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=223300 memory=0 CPUtime=5.89 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 48454 0 0 0 583 6 0 0 20 0 3 0 195039004 228659200 41580 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=223300 memory=166320 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 195039008 228659200 41580 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 223300 KiB
Current children cumulated memory: 166320 KiB
[startup+12.7004 s]
/proc/loadavg: 4.19 4.19 4.20 6/249 1038848
/proc/meminfo: memFree=122983240/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=223300 memory=176672 CPUtime=12.62 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 69796 0 0 0 1252 10 0 0 20 0 3 0 195038969 228659200 44168 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 55825 44168 2926 3032 0 51296 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=223300 memory=166320 CPUtime=12.27 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 58149 0 0 0 1220 7 0 0 20 0 3 0 195039004 228659200 44168 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=223300 memory=12740 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 195039008 228659200 44168 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 223300 KiB
Current children cumulated memory: 176672 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.20 4.20 5/247 1038895
/proc/meminfo: memFree=122467676/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=223300 memory=176936 CPUtime=25.38 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 106086 0 0 0 2525 13 0 0 20 0 3 0 195038969 228659200 44234 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 55825 44234 2974 3032 0 51312 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=223300 memory=280988303423520 CPUtime=25.02 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 94378 0 0 0 2492 10 0 0 20 0 3 0 195039004 228659200 44234 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=223300 memory=12740 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 195039008 228659200 44234 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 223300 KiB
Current children cumulated memory: 176936 KiB
[startup+51.1129 s]
/proc/loadavg: 4.14 4.18 4.19 5/249 1038904
/proc/meminfo: memFree=122395652/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=288836 memory=214732 CPUtime=50.9 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 196918 0 0 0 5068 22 0 0 20 0 3 0 195038969 295768064 53683 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 72209 53683 2990 3032 0 61023 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=288836 memory=192708 CPUtime=50.54 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 185088 0 0 0 5035 19 0 0 20 0 3 0 195039004 295768064 53683 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=288836 memory=0 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 195039008 295768064 53683 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 288836 KiB
Current children cumulated memory: 214732 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/251 1038914
/proc/meminfo: memFree=121142292/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=289732 memory=246956 CPUtime=101.9 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 293166 0 0 0 10158 32 0 0 20 0 3 0 195038969 296685568 61739 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 72433 61739 2990 3032 0 68798 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=289732 memory=246956 CPUtime=101.54 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 281221 0 0 0 10125 29 0 0 20 0 3 0 195039004 296685568 61739 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=289732 memory=12740 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 195039008 296685568 61739 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 289732 KiB
Current children cumulated memory: 246956 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/251 1038925
/proc/meminfo: memFree=121124776/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=289732 memory=247088 CPUtime=161.67 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 349183 0 0 0 16130 37 0 0 20 0 3 0 195038969 296685568 61772 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 72433 61772 2990 3032 0 68798 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=289732 memory=5532 CPUtime=161.31 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 337114 0 0 0 16097 34 0 0 20 0 3 0 195039004 296685568 61772 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=289732 memory=12740 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 195039008 296685568 61772 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 289732 KiB
Current children cumulated memory: 247088 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/252 1038936
/proc/meminfo: memFree=121123916/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=289732 memory=247088 CPUtime=221.47 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 367265 0 0 0 22106 41 0 0 20 0 3 0 195038969 296685568 61772 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 72433 61772 2990 3032 0 68798 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=289732 memory=247088 CPUtime=221.09 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 355154 0 0 0 22072 37 0 0 20 0 3 0 195039004 296685568 61772 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=289732 memory=2268 CPUtime=0 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 195039008 296685568 61772 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
################
# More data... #
################
Current children cumulated memory: 352300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/249 1040791
/proc/meminfo: memFree=119180016/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358488 CPUtime=3449.68 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 732008 0 0 0 344805 163 0 0 20 0 3 0 195038969 446705664 89622 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89622 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=0 CPUtime=3449 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 719205 0 0 0 344753 147 0 0 20 0 3 0 195039004 446705664 89622 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=352204 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 168 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89622 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3449.68 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.21 4.18 5/249 1040801
/proc/meminfo: memFree=119178948/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358512 CPUtime=3509.46 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 735501 0 0 0 350781 165 0 0 20 0 3 0 195038969 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89628 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=358300 CPUtime=3508.78 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 722684 0 0 0 350730 148 0 0 20 0 3 0 195039004 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=352300 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.75 4.37 4.24 5/249 1040812
/proc/meminfo: memFree=119173868/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358512 CPUtime=3569.25 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 738876 0 0 0 356758 167 0 0 20 0 3 0 195038969 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89628 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=352300 CPUtime=3568.56 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726046 0 0 0 356706 150 0 0 20 0 3 0 195039004 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=358512 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3569.25 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358512 KiB
[startup+3600.14 s]
# the end of solver process 1038699 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.34 s, system=1.68756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.75 4.37 4.24 5/249 1040812
/proc/meminfo: memFree=119173848/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358512 CPUtime=3570.96 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 738896 0 0 0 356929 167 0 0 20 0 3 0 195038969 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89628 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=6177639368193 CPUtime=3570.27 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726066 0 0 0 356877 150 0 0 20 0 3 0 195039004 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=6181934335489 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358512 KiB
[startup+3590.4 s]
/proc/loadavg: 4.69 4.36 4.24 5/249 1040814
/proc/meminfo: memFree=119173696/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358512 CPUtime=3577.32 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 738941 0 0 0 357565 167 0 0 20 0 3 0 195038969 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89628 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=12740 CPUtime=3576.63 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726111 0 0 0 357513 150 0 0 20 0 3 0 195039004 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=50524 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89628 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3577.32 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358512 KiB
[startup+3596.8 s]
/proc/loadavg: 4.64 4.35 4.23 5/249 1040814
/proc/meminfo: memFree=119173704/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358568 CPUtime=3583.71 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 738975 0 0 0 358203 168 0 0 20 0 3 0 195038969 446705664 89642 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89642 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=6440051382608496251 CPUtime=3583.01 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726145 0 0 0 358150 151 0 0 20 0 3 0 195039004 446705664 89642 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=12740 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89642 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3583.71 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358568 KiB
[startup+3598.4 s]
/proc/loadavg: 4.67 4.36 4.24 5/249 1040815
/proc/meminfo: memFree=119173652/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358608 CPUtime=3585.3 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 739498 0 0 0 358362 168 0 0 20 0 3 0 195038969 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89652 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=358568 CPUtime=3584.61 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726668 0 0 0 358310 151 0 0 20 0 3 0 195039004 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=5624 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3585.3 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358608 KiB
[startup+3599.2 s]
/proc/loadavg: 4.67 4.36 4.24 5/249 1040815
/proc/meminfo: memFree=119173716/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358608 CPUtime=3586.1 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 739621 0 0 0 358442 168 0 0 20 0 3 0 195038969 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89652 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=11936 CPUtime=3585.4 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726786 0 0 0 358389 151 0 0 20 0 3 0 195039004 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=5624 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358608 KiB
[startup+3599.6 s]
/proc/loadavg: 4.67 4.36 4.24 5/249 1040815
/proc/meminfo: memFree=119173716/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358608 CPUtime=3586.5 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 739621 0 0 0 358482 168 0 0 20 0 3 0 195038969 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89652 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=1976 CPUtime=3585.8 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726786 0 0 0 358429 151 0 0 20 0 3 0 195039004 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=20508 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358608 KiB
[startup+3600 s]*
/proc/loadavg: 4.67 4.36 4.24 5/249 1040815
/proc/meminfo: memFree=119173708/131655788 swapFree=131071996/131071996
[pid=1038699] ppid=1038696 vsize=436236 memory=358608 CPUtime=3586.91 cores=0,2
/proc/1038699/stat : 1038699 (fscip) S 1038696 1038699 1033539 0 -1 1077936128 739690 0 0 0 358523 168 0 0 20 0 3 0 195038969 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
/proc/1038699/statm: 109059 89652 2990 3032 0 92857 0
[pid=1038699/tid=1038701] ppid=1038696 vsize=436236 memory=-7383225827200243043 CPUtime=3586.21 cores=0,2
/proc/1038699/task/1038701/stat : 1038701 (fscip) R 1038696 1038699 1033539 0 -1 4194368 726884 0 0 0 358470 151 0 0 20 0 3 0 195039004 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
[pid=1038699/tid=1038702] ppid=1038696 vsize=436236 memory=1471338356517208193 CPUtime=0.06 cores=0,2
/proc/1038699/task/1038702/stat : 1038702 (fscip) S 1038696 1038699 1033539 0 -1 1077936192 172 0 0 0 2 4 0 0 20 0 3 0 195039008 446705664 89652 134679101440 4194304 16613245 140720493471216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33538048 140720493478931 140720493479047 140720493479047 140720493486064 0
Current children cumulated CPU time: 3586.91 s
Current children cumulated vsize: 436236 KiB
Current children cumulated memory: 358608 KiB
[startup+3600.12 s]*
/proc/loadavg: 4.67 4.36 4.24 5/247 1040815
/proc/meminfo: memFree=119219728/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.14
CPU time (s): 3587.03
CPU user time (s): 3585.34
CPU system time (s): 1.68756
CPU usage (%): 99.6358
Max. virtual memory (cumulated for all children) (KiB): 436236
Max. memory (cumulated for all children) (KiB): 358608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.34
system time used= 1.68756
maximum resident set size= 358608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740744
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= 10515
involuntary context switches= 25099
# summary of solver processes directly reported to runsolver:
# pid: 1038699
# total CPU time (s): 3587.03
# total CPU user time (s): 3585.34
# total CPU system time (s): 1.68756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3547 second user time and 35.4465 second system time
The end
Begin job on nodeC005 at 2024-07-20 00:40:14
IDJOB=4452070
IDBENCH=162875
IDSOLVER=3064
FILE ID=nodeC005/4452070-1721428802
RUNJOBID= nodeC005-1721421610-1033549
SLURM_JOB_ID= 7545501
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.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-4452070-1721428802/watcher-4452070-1721428802 -o /tmp/evaluation-result-4452070-1721428802/solver-4452070-1721428802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033549 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452070-1721428802.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe5132cea97c009eada70044fd563797
RANDOM SEED=611299347
nodeC005.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 : 3491.771
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.53
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 : 3515.833
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.365
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.35
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 : 3630.219
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.53
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 : 3638.218
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.35
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.403
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.53
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.221
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120678860 kB
MemAvailable: 126203076 kB
Buffers: 543340 kB
Cached: 5762116 kB
SwapCached: 0 kB
Active: 1147212 kB
Inactive: 9121880 kB
Active(anon): 3480 kB
Inactive(anon): 4006044 kB
Active(file): 1143732 kB
Inactive(file): 5115836 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28060 kB
Writeback: 28 kB
AnonPages: 3954628 kB
Mapped: 144240 kB
Shmem: 45896 kB
KReclaimable: 209692 kB
Slab: 329368 kB
SReclaimable: 209692 kB
SUnreclaim: 119676 kB
KernelStack: 3932 kB
PageTables: 17696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1100712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2334720 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC005 at 2024-07-20 01:40:14