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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 45277184, getVmSize() = 45277184, SCIPgetMemUsed() = 18558667, SCIPgetMemTotal() = 23011451, SCIPgetMemExternEstim() = 11922953
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.16 c ** Estimated virtualMemUsedAtSolver = 47704960, getVmSize() = 83824640, SCIPgetMemUsed() = 42077688, SCIPgetMemTotal() = 59634488, SCIPgetMemExternEstim() = 11922953
0.09/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.16 c Original Problem :
0.09/0.16 c Problem name : instance-4450060-1721406853
0.09/0.16 c Variables : 3834 (3834 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 8964
0.09/0.16 c Objective sense : minimize
0.09/0.16 c Presolved Problem :
0.09/0.16 c Variables : 3811 (3811 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 5506
0.09/0.16 c Constraints : Number
0.09/0.16 c setppc : 5505
0.09/0.16 c orbitope : 1
0.09/0.16 c ** Instance transfer method used: 0
0.09/0.16 c ** ParaScipInstance copy increased the number of variables. **
0.09/0.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.17 c Nodes Active
0.09/0.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.06/5.14 c 5 16 15 1 - 0.0000 -
10.14/10.28 c 10 187 186 1 - 0.0000 -
15.22/15.36 c 15 380 313 1 - 0.0000 -
20.51/20.60 c 21 791 461 1 - 0.0000 -
25.58/25.75 c 26 1327 570 1 - 0.0000 -
30.67/30.80 c 31 1946 675 1 - 0.0000 -
35.65/35.87 c 36 2424 749 1 - 0.0000 -
41.03/41.21 c 41 2979 863 1 - 0.0000 -
46.12/46.30 c 46 3443 1032 1 - 0.0000 -
51.80/52.01 c 52 4155 1221 1 - 0.0000 -
56.87/57.19 c 57 4770 1363 1 - 0.0000 -
62.26/62.50 c 63 5365 1540 1 - 0.0000 -
67.24/67.55 c 68 6055 1726 1 - 0.0000 -
72.53/72.82 c 73 6667 1977 1 - 0.0000 -
77.62/77.96 c 78 7408 2178 1 - 0.0000 -
82.70/83.01 c 83 8142 2319 1 - 0.0000 -
87.79/88.16 c 88 8740 2465 1 - 0.0000 -
92.96/93.34 c 93 9338 2626 1 - 0.0000 -
98.05/98.41 c 98 9891 2776 1 - 0.0000 -
103.13/103.51 c 104 10622 2910 1 - 0.0000 -
108.22/108.65 c 109 11170 3071 1 - 0.0000 -
113.31/113.79 c 114 11920 3227 1 - 0.0000 -
118.49/118.94 c 119 12634 3361 1 - 0.0000 -
123.58/124.01 c 124 13282 3482 1 - 0.0000 -
128.66/129.18 c 129 13771 3703 1 - 0.0000 -
133.75/134.27 c 134 14297 3803 1 - 0.0000 -
138.83/139.31 c 139 14848 3944 1 - 0.0000 -
144.01/144.51 c 145 15529 4040 1 - 0.0000 -
149.10/149.66 c 150 15952 4161 1 - 0.0000 -
154.18/154.72 c 155 16538 4277 1 - 0.0000 -
159.17/159.76 c 160 17043 4395 1 - 0.0000 -
164.25/164.82 c 165 17589 4489 1 - 0.0000 -
169.34/169.97 c 170 18142 4618 1 - 0.0000 -
174.43/175.09 c 175 18695 4697 1 - 0.0000 -
179.61/180.22 c 180 19225 4863 1 - 0.0000 -
184.69/185.30 c 185 19717 5059 1 - 0.0000 -
189.77/190.41 c 190 20216 5172 1 - 0.0000 -
194.76/195.46 c 195 20748 5291 1 - 0.0000 -
199.84/200.55 c 201 21205 5462 1 - 0.0000 -
205.02/205.75 c 206 21730 5602 1 - 0.0000 -
210.11/210.80 c 211 22258 5738 1 - 0.0000 -
215.09/215.85 c 216 22836 5895 1 - 0.0000 -
220.29/221.06 c 221 23436 6004 1 - 0.0000 -
225.37/226.13 c 226 23963 6125 1 - 0.0000 -
231.14/231.90 c 232 24429 6242 1 - 0.0000 -
236.13/236.94 c 237 24949 6386 1 - 0.0000 -
241.22/242.03 c 242 25533 6496 1 - 0.0000 -
246.40/247.22 c 247 26052 6583 1 - 0.0000 -
251.38/252.28 c 252 26495 6733 1 - 0.0000 -
256.57/257.41 c 257 27005 6851 1 - 0.0000 -
261.55/262.45 c 262 27501 7012 1 - 0.0000 -
266.93/267.84 c 268 28051 7139 1 - 0.0000 -
272.02/272.96 c 273 28532 7218 1 - 0.0000 -
277.11/278.02 c 278 29051 7338 1 - 0.0000 -
282.19/283.15 c 283 29611 7448 1 - 0.0000 -
287.27/288.26 c 288 30095 7531 1 - 0.0000 -
292.36/293.38 c 293 30667 7652 1 - 0.0000 -
297.54/298.57 c 299 31232 7800 1 - 0.0000 -
302.63/303.62 c 304 31788 7894 1 - 0.0000 -
307.62/308.68 c 309 32310 8044 1 - 0.0000 -
312.70/313.79 c 314 32787 8158 1 - 0.0000 -
317.89/318.90 c 319 33316 8294 1 - 0.0000 -
322.98/324.08 c 324 33839 8456 1 - 0.0000 -
328.06/329.15 c 329 34374 8591 1 - 0.0000 -
333.15/334.26 c 334 34921 8728 1 - 0.0000 -
338.23/339.32 c 339 35519 8843 1 - 0.0000 -
343.32/344.46 c 344 36040 8972 1 - 0.0000 -
348.50/349.63 c 350 36583 9082 1 - 0.0000 -
353.59/354.71 c 355 37122 9215 1 - 0.0000 -
358.77/359.93 c 360 37574 9330 1 - 0.0000 -
363.76/364.98 c 365 38147 9449 1 - 0.0000 -
368.95/370.12 c 370 38734 9570 1 - 0.0000 -
374.04/375.22 c 375 39292 9694 1 - 0.0000 -
379.12/380.30 c 380 39791 9807 1 - 0.0000 -
384.10/385.37 c 385 40350 9939 1 - 0.0000 -
389.19/390.44 c 390 40889 10062 1 - 0.0000 -
394.17/395.48 c 395 41399 10180 1 - 0.0000 -
399.35/400.61 c 401 41972 10290 1 - 0.0000 -
404.43/405.73 c 406 42528 10445 1 - 0.0000 -
409.52/410.82 c 411 43066 10558 1 - 0.0000 -
414.50/415.88 c 416 43560 10685 1 - 0.0000 -
419.58/420.94 c 421 44153 10787 1 - 0.0000 -
424.57/426.00 c 426 44668 10911 1 - 0.0000 -
429.65/431.05 c 431 45214 10977 1 - 0.0000 -
434.74/436.12 c 436 45728 11087 1 - 0.0000 -
439.82/441.21 c 441 46265 11159 1 - 0.0000 -
444.80/446.26 c 446 46811 11235 1 - 0.0000 -
449.87/451.39 c 451 47410 11345 1 - 0.0000 -
454.96/456.48 c 456 47934 11466 1 - 0.0000 -
460.25/461.71 c 462 48380 11588 1 - 0.0000 -
465.23/466.77 c 467 48920 11684 1 - 0.0000 -
470.31/471.82 c 472 49468 11784 1 - 0.0000 -
475.39/476.91 c 477 49975 11916 1 - 0.0000 -
480.48/482.06 c 482 50483 12032 1 - 0.0000 -
485.56/487.12 c 487 50981 12118 1 - 0.0000 -
490.54/492.17 c 492 51501 12206 1 - 0.0000 -
495.72/497.30 c 497 52047 12300 1 - 0.0000 -
500.70/502.36 c 502 52458 12423 1 - 0.0000 -
505.79/507.42 c 507 52939 12529 1 - 0.0000 -
510.96/512.64 c 513 53495 12637 1 - 0.0000 -
516.05/517.75 c 518 53900 12743 1 - 0.0000 -
521.13/522.87 c 523 54392 12895 1 - 0.0000 -
526.21/527.93 c 528 54873 13020 1 - 0.0000 -
531.19/532.97 c 533 55480 13129 1 - 0.0000 -
536.48/538.23 c 538 55994 13219 1 - 0.0000 -
541.46/543.27 c 543 56478 13357 1 - 0.0000 -
546.64/548.41 c 548 56916 13440 1 - 0.0000 -
551.72/553.51 c 554 57390 13532 1 - 0.0000 -
556.80/558.60 c 559 57914 13600 1 - 0.0000 -
561.89/563.73 c 564 58467 13701 1 - 0.0000 -
566.87/568.78 c 569 59013 13785 1 - 0.0000 -
571.95/573.83 c 574 59501 13867 1 - 0.0000 -
577.03/578.93 c 579 60002 13962 1 - 0.0000 -
582.13/584.06 c 584 60503 14057 1 - 0.0000 -
587.30/589.20 c 589 61019 14115 1 - 0.0000 -
592.28/594.26 c 594 61530 14211 1 - 0.0000 -
597.46/599.44 c 599 61998 14316 1 - 0.0000 -
602.44/604.49 c 604 62527 14395 1 - 0.0000 -
607.63/609.63 c 610 63049 14464 1 - 0.0000 -
613.51/615.51 c 616 63502 14550 1 - 0.0000 -
618.59/620.62 c 621 63990 14652 1 - 0.0000 -
623.67/625.70 c 626 64506 14754 1 - 0.0000 -
628.65/630.76 c 631 65004 14861 1 - 0.0000 -
633.73/635.83 c 636 65473 14935 1 - 0.0000 -
638.82/640.93 c 641 65979 15042 1 - 0.0000 -
643.90/646.03 c 646 66496 15130 1 - 0.0000 -
648.98/651.14 c 651 67002 15239 1 - 0.0000 -
654.16/656.37 c 656 67475 15313 1 - 0.0000 -
659.24/661.49 c 661 67992 15382 1 - 0.0000 -
664.32/666.54 c 667 68429 15514 1 - 0.0000 -
669.40/671.66 c 672 68847 15605 1 - 0.0000 -
674.49/676.79 c 677 69325 15666 1 - 0.0000 -
679.67/681.90 c 682 69770 15732 1 - 0.0000 -
684.65/686.98 c 687 70307 15788 1 - 0.0000 -
689.73/692.07 c 692 70781 15856 1 - 0.0000 -
694.82/697.17 c 697 71250 15942 1 - 0.0000 -
699.90/702.27 c 702 71730 16007 1 - 0.0000 -
704.97/707.32 c 707 72220 16115 1 - 0.0000 -
710.16/712.51 c 713 72619 16237 1 - 0.0000 -
715.34/717.72 c 718 73096 16335 1 - 0.0000 -
720.52/722.95 c 723 73567 16477 1 - 0.0000 -
725.61/728.09 c 728 74082 16531 1 - 0.0000 -
730.79/733.20 c 733 74557 16618 1 - 0.0000 -
735.77/738.27 c 738 75056 16692 1 - 0.0000 -
740.85/743.32 c 743 75557 16787 1 - 0.0000 -
746.13/748.69 c 749 75974 16897 1 - 0.0000 -
751.31/753.83 c 754 76478 16980 1 - 0.0000 -
756.29/758.87 c 759 76981 17022 1 - 0.0000 -
761.48/764.02 c 764 77423 17136 1 - 0.0000 -
766.76/769.33 c 769 77847 17230 1 - 0.0000 -
771.84/774.48 c 774 78275 17266 1 - 0.0000 -
776.92/779.57 c 780 78713 17356 1 - 0.0000 -
782.00/784.68 c 785 79142 17499 1 - 0.0000 -
787.09/789.73 c 790 79595 17598 1 - 0.0000 -
792.17/794.89 c 795 80043 17677 1 - 0.0000 -
797.25/799.98 c 800 80520 17760 1 - 0.0000 -
802.82/805.57 c 806 80985 17814 1 - 0.0000 -
808.01/810.76 c 811 81382 17972 1 - 0.0000 -
813.10/815.89 c 816 81816 18055 1 - 0.0000 -
818.38/821.13 c 821 82323 18145 1 - 0.0000 -
823.47/826.20 c 826 82782 18214 1 - 0.0000 -
828.45/831.28 c 831 83297 18278 1 - 0.0000 -
833.53/836.36 c 836 83764 18362 1 - 0.0000 -
838.61/841.49 c 841 84225 18464 1 - 0.0000 -
843.80/846.66 c 847 84744 18550 1 - 0.0000 -
848.89/851.72 c 852 85239 18608 1 - 0.0000 -
853.97/856.81 c 857 85741 18678 1 - 0.0000 -
859.06/861.90 c 862 86169 18788 1 - 0.0000 -
864.04/866.97 c 867 86657 18881 1 - 0.0000 -
869.13/872.03 c 872 87090 18990 1 - 0.0000 -
874.11/877.09 c 877 87548 19077 1 - 0.0000 -
879.29/882.28 c 882 87982 19138 1 - 0.0000 -
884.38/887.40 c 887 88485 19195 1 - 0.0000 -
889.47/892.46 c 892 88890 19290 1 - 0.0000 -
894.55/897.54 c 898 89332 19366 1 - 0.0000 -
899.63/902.69 c 903 89812 19449 1 - 0.0000 -
904.72/907.74 c 908 90272 19510 1 - 0.0000 -
909.80/912.84 c 913 90730 19597 1 - 0.0000 -
914.99/918.06 c 918 91142 19643 1 - 0.0000 -
920.07/923.17 c 923 91548 19729 1 - 0.0000 -
925.15/928.26 c 928 92017 19821 1 - 0.0000 -
930.34/933.40 c 933 92462 19883 1 - 0.0000 -
935.32/938.44 c 938 92917 19964 1 - 0.0000 -
940.40/943.58 c 944 93362 20046 1 - 0.0000 -
945.49/948.66 c 949 93764 20105 1 - 0.0000 -
950.58/953.72 c 954 94226 20163 1 - 0.0000 -
955.56/958.79 c 959 94657 20241 1 - 0.0000 -
960.65/963.85 c 964 95109 20317 1 - 0.0000 -
965.73/968.94 c 969 95582 20382 1 - 0.0000 -
970.82/974.03 c 974 96034 20467 1 - 0.0000 -
975.90/979.16 c 979 96532 20585 1 - 0.0000 -
980.99/984.21 c 984 96955 20674 1 - 0.0000 -
985.97/989.26 c 989 97436 20756 1 - 0.0000 -
991.06/994.31 c 994 97841 20851 1 - 0.0000 -
996.54/999.81 c 1000 98258 20954 1 - 0.0000 -
1001.62/1004.93 c 1005 98708 21058 1 - 0.0000 -
1006.71/1010.08 c 1010 99195 21134 1 - 0.0000 -
1011.89/1015.22 c 1015 99683 21195 1 - 0.0000 -
1016.87/1020.27 c 1020 100131 21287 1 - 0.0000 -
1021.96/1025.39 c 1025 100638 21339 1 - 0.0000 -
1027.04/1030.44 c 1030 101137 21425 1 - 0.0000 -
1032.13/1035.52 c 1036 101619 21504 1 - 0.0000 -
1037.41/1040.81 c 1041 102113 21615 1 - 0.0000 -
1042.50/1045.90 c 1046 102596 21715 1 - 0.0000 -
1048.08/1051.58 c 1052 103054 21770 1 - 0.0000 -
1053.26/1056.76 c 1057 103505 21855 1 - 0.0000 -
1058.45/1061.91 c 1062 104041 21941 1 - 0.0000 -
1063.54/1067.03 c 1067 104459 21994 1 - 0.0000 -
1068.71/1072.22 c 1072 104913 22025 1 - 0.0000 -
1073.80/1077.31 c 1077 105382 22068 1 - 0.0000 -
1078.78/1082.36 c 1082 105860 22151 1 - 0.0000 -
1083.87/1087.44 c 1087 106250 22235 1 - 0.0000 -
1088.95/1092.56 c 1093 106695 22313 1 - 0.0000 -
1094.14/1097.71 c 1098 107160 22362 1 - 0.0000 -
1099.32/1102.93 c 1103 107588 22452 1 - 0.0000 -
1104.40/1108.09 c 1108 108090 22538 1 - 0.0000 -
1109.49/1113.15 c 1113 108546 22584 1 - 0.0000 -
1114.56/1118.24 c 1118 109025 22645 1 - 0.0000 -
1119.64/1123.33 c 1123 109457 22764 1 - 0.0000 -
1124.72/1128.41 c 1128 109913 22860 1 - 0.0000 -
1129.71/1133.48 c 1133 110392 22970 1 - 0.0000 -
1134.79/1138.55 c 1139 110879 23001 1 - 0.0000 -
1139.87/1143.66 c 1144 111415 23090 1 - 0.0000 -
1145.05/1148.86 c 1149 111834 23174 1 - 0.0000 -
1150.23/1154.01 c 1154 112271 23268 1 - 0.0000 -
1155.81/1159.67 c 1160 112702 23354 1 - 0.0000 -
1160.99/1164.81 c 1165 113147 23405 1 - 0.0000 -
1165.97/1169.87 c 1170 113623 23467 1 - 0.0000 -
1171.05/1174.92 c 1175 114065 23574 1 - 0.0000 -
1176.03/1179.98 c 1180 114499 23625 1 - 0.0000 -
1181.12/1185.07 c 1185 114956 23691 1 - 0.0000 -
1186.20/1190.19 c 1190 115402 23753 1 - 0.0000 -
1191.27/1195.26 c 1195 115853 23830 1 - 0.0000 -
1196.56/1200.52 c 1201 116276 23925 1 - 0.0000 -
1201.64/1205.63 c 1206 116685 24001 1 - 0.0000 -
1206.72/1210.72 c 1211 117162 24074 1 - 0.0000 -
1211.80/1215.87 c 1216 117573 24138 1 - 0.0000 -
1216.88/1220.99 c 1221 118026 24197 1 - 0.0000 -
1222.07/1226.14 c 1226 118496 24244 1 - 0.0000 -
1227.15/1231.27 c 1231 119039 24319 1 - 0.0000 -
1232.33/1236.44 c 1236 119508 24359 1 - 0.0000 -
1237.41/1241.55 c 1242 119982 24431 1 - 0.0000 -
1242.49/1246.68 c 1247 120361 24525 1 - 0.0000 -
1247.67/1251.80 c 1252 120737 24598 1 - 0.0000 -
1252.75/1256.90 c 1257 121156 24682 1 - 0.0000 -
1257.73/1261.95 c 1262 121603 24793 1 - 0.0000 -
1262.82/1267.01 c 1267 122033 24839 1 - 0.0000 -
1268.09/1272.30 c 1272 122548 24891 1 - 0.0000 -
1273.08/1277.35 c 1277 123027 24918 1 - 0.0000 -
1278.26/1282.57 c 1283 123419 24973 1 - 0.0000 -
1283.35/1287.62 c 1288 123911 25014 1 - 0.0000 -
1288.53/1292.88 c 1293 124374 25048 1 - 0.0000 -
1293.73/1298.01 c 1298 124797 25118 1 - 0.0000 -
1298.81/1303.10 c 1303 125216 25185 1 - 0.0000 -
1303.79/1308.19 c 1308 125650 25245 1 - 0.0000 -
1308.87/1313.28 c 1313 126115 25310 1 - 0.0000 -
1313.95/1318.36 c 1318 126587 25396 1 - 0.0000 -
1319.04/1323.45 c 1323 127043 25467 1 - 0.0000 -
1324.12/1328.51 c 1329 127524 25568 1 - 0.0000 -
1329.11/1333.56 c 1334 128021 25595 1 - 0.0000 -
1334.19/1338.68 c 1339 128450 25651 1 - 0.0000 -
1339.38/1343.82 c 1344 128802 25786 1 - 0.0000 -
1345.86/1350.37 c 1350 129007 1 1 - 0.0000 -
1351.15/1355.65 c 1356 129326 79 1 - 0.0000 -
1356.23/1360.70 c 1361 129817 88 1 - 0.0000 -
1361.21/1365.77 c 1366 130291 117 1 - 0.0000 -
1366.30/1370.82 c 1371 130818 137 1 - 0.0000 -
1371.28/1375.88 c 1376 131417 167 1 - 0.0000 -
1376.37/1380.95 c 1381 131981 186 1 - 0.0000 -
1381.35/1385.99 c 1386 132660 200 1 - 0.0000 -
1386.55/1391.10 c 1391 133258 196 1 - 0.0000 -
1391.72/1396.34 c 1396 133689 212 1 - 0.0000 -
1396.82/1401.43 c 1401 134253 222 1 - 0.0000 -
1401.79/1406.48 c 1406 134949 239 1 - 0.0000 -
1406.98/1411.64 c 1412 135551 274 1 - 0.0000 -
1412.06/1416.74 c 1417 136152 270 1 - 0.0000 -
1417.05/1421.79 c 1422 136882 278 1 - 0.0000 -
1422.14/1426.85 c 1427 137509 306 1 - 0.0000 -
1427.22/1431.94 c 1432 138298 331 1 - 0.0000 -
1432.20/1436.98 c 1437 139223 339 1 - 0.0000 -
1437.30/1442.04 c 1442 140256 348 1 - 0.0000 -
1442.38/1447.13 c 1447 141121 390 1 - 0.0000 -
1447.37/1452.20 c 1452 141985 377 1 - 0.0000 -
1452.55/1457.30 c 1457 142853 434 1 - 0.0000 -
1457.53/1462.35 c 1462 143723 441 1 - 0.0000 -
1462.72/1467.51 c 1468 144173 440 1 - 0.0000 -
1467.90/1472.72 c 1473 144877 463 1 - 0.0000 -
1472.88/1477.78 c 1478 145656 498 1 - 0.0000 -
1478.07/1482.95 c 1483 146725 476 1 - 0.0000 -
1483.16/1488.01 c 1488 147727 502 1 - 0.0000 -
1488.24/1493.20 c 1493 148354 529 1 - 0.0000 -
1493.42/1498.34 c 1498 148776 535 1 - 0.0000 -
1498.50/1503.40 c 1503 149483 524 1 - 0.0000 -
1503.59/1508.54 c 1509 150359 531 1 - 0.0000 -
1508.77/1513.71 c 1514 150945 594 1 - 0.0000 -
1513.86/1518.81 c 1519 151923 626 1 - 0.0000 -
1518.85/1523.85 c 1524 153003 642 1 - 0.0000 -
1524.03/1529.00 c 1529 154020 657 1 - 0.0000 -
1529.02/1534.05 c 1534 155078 673 1 - 0.0000 -
1534.10/1539.11 c 1539 156006 736 1 - 0.0000 -
1539.09/1544.17 c 1544 157002 762 1 - 0.0000 -
1544.17/1549.23 c 1549 157984 732 1 - 0.0000 -
1549.65/1554.72 c 1555 158887 722 1 - 0.0000 -
1554.64/1559.76 c 1560 159868 762 1 - 0.0000 -
1559.72/1564.81 c 1565 160634 753 1 - 0.0000 -
1564.81/1569.99 c 1570 161670 749 1 - 0.0000 -
1569.89/1575.05 c 1575 162387 899 1 - 0.0000 -
1574.97/1580.10 c 1580 163289 963 1 - 0.0000 -
1579.95/1585.15 c 1585 164210 1049 1 - 0.0000 -
1585.03/1590.20 c 1590 165039 1159 1 - 0.0000 -
1590.11/1595.33 c 1595 165903 1248 1 - 0.0000 -
1595.09/1600.38 c 1600 166714 1378 1 - 0.0000 -
1600.17/1605.42 c 1605 167614 1460 1 - 0.0000 -
1605.15/1610.47 c 1610 168574 1488 1 - 0.0000 -
1610.23/1615.52 c 1616 169562 1464 1 - 0.0000 -
1615.21/1620.57 c 1621 170513 1495 1 - 0.0000 -
1620.29/1625.62 c 1626 171466 1482 1 - 0.0000 -
1625.28/1630.67 c 1631 172440 1469 1 - 0.0000 -
1630.35/1635.72 c 1636 173453 1400 1 - 0.0000 -
1635.43/1640.84 c 1641 174417 1381 1 - 0.0000 -
1640.42/1645.88 c 1646 175363 1433 1 - 0.0000 -
1645.49/1650.96 c 1651 176368 1424 1 - 0.0000 -
1650.58/1656.10 c 1656 177379 1405 1 - 0.0000 -
1655.66/1661.17 c 1661 178380 1432 1 - 0.0000 -
1660.74/1666.23 c 1666 179366 1447 1 - 0.0000 -
1665.72/1671.28 c 1671 180387 1451 1 - 0.0000 -
1670.80/1676.33 c 1676 181330 1456 1 - 0.0000 -
1675.78/1681.39 c 1681 182342 1400 1 - 0.0000 -
1680.85/1686.43 c 1686 183307 1370 1 - 0.0000 -
1685.84/1691.49 c 1692 184340 1341 1 - 0.0000 -
1690.92/1696.55 c 1697 185382 1290 1 - 0.0000 -
1696.00/1701.66 c 1702 186276 1291 1 - 0.0000 -
1701.08/1706.71 c 1707 187280 1308 1 - 0.0000 -
1706.26/1711.91 c 1712 188217 1315 1 - 0.0000 -
1711.24/1716.96 c 1717 189167 1250 1 - 0.0000 -
1716.33/1722.01 c 1722 190146 1313 1 - 0.0000 -
1721.31/1727.06 c 1727 191094 1311 1 - 0.0000 -
1726.39/1732.11 c 1732 192078 1300 1 - 0.0000 -
1731.46/1737.22 c 1737 192967 1322 1 - 0.0000 -
1736.45/1742.27 c 1742 193932 1329 1 - 0.0000 -
1741.52/1747.37 c 1747 194913 1377 1 - 0.0000 -
1746.60/1752.42 c 1752 195827 1432 1 - 0.0000 -
1751.99/1757.89 c 1758 196807 1482 1 - 0.0000 -
1757.17/1763.01 c 1763 197733 1552 1 - 0.0000 -
1762.15/1768.05 c 1768 198596 1589 1 - 0.0000 -
1767.23/1773.10 c 1773 199554 1598 1 - 0.0000 -
1772.22/1778.19 c 1778 200552 1594 1 - 0.0000 -
1777.29/1783.24 c 1783 201506 1633 1 - 0.0000 -
1782.37/1788.35 c 1788 202335 1620 1 - 0.0000 -
1787.45/1793.42 c 1793 203255 1669 1 - 0.0000 -
1792.43/1798.48 c 1798 204221 1691 1 - 0.0000 -
1797.51/1803.53 c 1804 204865 1729 1 - 0.0000 -
1802.49/1808.59 c 1809 205433 1728 1 - 0.0000 -
1807.57/1813.68 c 1814 206002 1718 1 - 0.0000 -
1812.65/1818.74 c 1819 206806 1711 1 - 0.0000 -
1817.73/1823.80 c 1824 207641 1749 1 - 0.0000 -
1822.72/1828.87 c 1829 208384 1761 1 - 0.0000 -
1827.80/1833.99 c 1834 208923 1818 1 - 0.0000 -
1832.88/1839.09 c 1839 209503 1820 1 - 0.0000 -
1838.06/1844.26 c 1844 210109 1847 1 - 0.0000 -
1843.15/1849.32 c 1849 210727 1827 1 - 0.0000 -
1848.13/1854.37 c 1854 211318 1825 1 - 0.0000 -
1853.21/1859.44 c 1859 211941 1846 1 - 0.0000 -
1858.29/1864.51 c 1865 212687 1845 1 - 0.0000 -
1863.37/1869.61 c 1870 213320 1866 1 - 0.0000 -
1868.35/1874.65 c 1875 213995 1868 1 - 0.0000 -
1873.43/1879.74 c 1880 214752 1910 1 - 0.0000 -
1878.41/1884.79 c 1885 215544 1950 1 - 0.0000 -
1883.60/1889.94 c 1890 216683 1935 1 - 0.0000 -
1888.57/1894.98 c 1895 217595 1959 1 - 0.0000 -
1893.67/1900.03 c 1900 218374 1941 1 - 0.0000 -
1898.65/1905.09 c 1905 219177 2088 1 - 0.0000 -
1903.74/1910.14 c 1910 220069 2138 1 - 0.0000 -
1908.81/1915.22 c 1915 220907 2168 1 - 0.0000 -
1913.79/1920.28 c 1920 221844 2196 1 - 0.0000 -
1918.88/1925.35 c 1925 222897 2170 1 - 0.0000 -
1923.97/1930.42 c 1930 223903 2178 1 - 0.0000 -
1928.95/1935.48 c 1935 224821 2198 1 - 0.0000 -
1934.04/1940.52 c 1941 225671 2244 1 - 0.0000 -
1939.02/1945.57 c 1946 226614 2248 1 - 0.0000 -
1944.10/1950.64 c 1951 227457 2284 1 - 0.0000 -
1949.19/1955.71 c 1956 228400 2296 1 - 0.0000 -
1954.27/1960.88 c 1961 229144 2320 1 - 0.0000 -
1959.36/1965.92 c 1966 230055 2309 1 - 0.0000 -
1964.85/1971.40 c 1971 230937 2306 1 - 0.0000 -
1969.83/1976.44 c 1976 231883 2327 1 - 0.0000 -
1974.81/1981.49 c 1982 232804 2337 1 - 0.0000 -
1980.00/1986.67 c 1987 233727 2343 1 - 0.0000 -
1985.09/1991.72 c 1992 234469 2374 1 - 0.0000 -
1990.08/1996.77 c 1997 235413 2410 1 - 0.0000 -
1995.16/2001.82 c 2002 236374 2437 1 - 0.0000 -
2000.15/2006.87 c 2007 237334 2430 1 - 0.0000 -
2005.23/2011.93 c 2012 238234 2456 1 - 0.0000 -
2010.32/2017.03 c 2017 239144 2515 1 - 0.0000 -
2015.31/2022.10 c 2022 240048 2506 1 - 0.0000 -
2020.68/2027.42 c 2027 240859 2486 1 - 0.0000 -
2025.67/2032.49 c 2032 241794 2489 1 - 0.0000 -
2030.76/2037.54 c 2038 242642 2560 1 - 0.0000 -
2035.74/2042.59 c 2043 243595 2564 1 - 0.0000 -
2040.82/2047.64 c 2048 244483 2589 1 - 0.0000 -
2045.91/2052.78 c 2053 245434 2596 1 - 0.0000 -
2050.99/2057.87 c 2058 246419 2631 1 - 0.0000 -
2056.09/2062.91 c 2063 247281 2696 1 - 0.0000 -
2061.07/2067.96 c 2068 248068 2744 1 - 0.0000 -
2066.15/2073.01 c 2073 248807 2769 1 - 0.0000 -
2071.14/2078.06 c 2078 249460 2780 1 - 0.0000 -
2076.23/2083.12 c 2083 250230 2759 1 - 0.0000 -
2081.21/2088.17 c 2088 251131 2785 1 - 0.0000 -
2086.29/2093.23 c 2093 252007 2835 1 - 0.0000 -
2091.28/2098.27 c 2098 253115 2853 1 - 0.0000 -
2096.36/2103.32 c 2103 254222 2820 1 - 0.0000 -
2101.44/2108.49 c 2108 255212 2848 1 - 0.0000 -
2106.94/2113.93 c 2114 256094 2859 1 - 0.0000 -
2111.92/2118.98 c 2119 256786 2886 1 - 0.0000 -
2117.01/2124.03 c 2124 257590 2888 1 - 0.0000 -
2121.99/2129.08 c 2129 258368 2929 1 - 0.0000 -
2127.07/2134.13 c 2134 259411 2873 1 - 0.0000 -
2132.07/2139.19 c 2139 260341 2889 1 - 0.0000 -
2137.14/2144.25 c 2144 261317 2878 1 - 0.0000 -
2142.23/2149.34 c 2149 262209 2892 1 - 0.0000 -
2147.31/2154.43 c 2154 263166 2882 1 - 0.0000 -
2152.30/2159.48 c 2159 264140 2898 1 - 0.0000 -
2157.48/2164.64 c 2165 265075 2905 1 - 0.0000 -
2162.48/2169.69 c 2170 265980 2916 1 - 0.0000 -
2167.76/2174.97 c 2175 266805 2975 1 - 0.0000 -
2172.85/2180.02 c 2180 267736 3008 1 - 0.0000 -
2177.83/2185.07 c 2185 268617 3153 1 - 0.0000 -
2182.92/2190.17 c 2190 269476 3171 1 - 0.0000 -
2187.99/2195.23 c 2195 270416 3163 1 - 0.0000 -
2192.99/2200.27 c 2200 271345 3147 1 - 0.0000 -
2198.97/2206.22 c 2206 272112 3181 1 - 0.0000 -
2203.96/2211.26 c 2211 273072 3227 1 - 0.0000 -
2209.04/2216.31 c 2216 273986 3215 1 - 0.0000 -
2214.02/2221.37 c 2221 274888 3198 1 - 0.0000 -
2219.11/2226.42 c 2226 275794 3236 1 - 0.0000 -
2224.10/2231.48 c 2231 276797 3232 1 - 0.0000 -
2229.18/2236.52 c 2237 277692 3252 1 - 0.0000 -
2234.16/2241.57 c 2242 278239 3368 1 - 0.0000 -
2239.26/2246.64 c 2247 278969 3499 1 - 0.0000 -
2244.34/2251.73 c 2252 279734 3566 1 - 0.0000 -
2249.33/2256.79 c 2257 280488 3630 1 - 0.0000 -
2254.41/2261.84 c 2262 281400 3694 1 - 0.0000 -
2259.39/2266.89 c 2267 282297 3720 1 - 0.0000 -
2264.48/2271.98 c 2272 283161 3792 1 - 0.0000 -
2269.57/2277.03 c 2277 283994 3873 1 - 0.0000 -
2274.56/2282.08 c 2282 284849 3904 1 - 0.0000 -
2279.64/2287.14 c 2287 285820 3895 1 - 0.0000 -
2284.82/2292.34 c 2292 286623 3887 1 - 0.0000 -
2289.81/2297.39 c 2297 287501 3913 1 - 0.0000 -
2294.89/2302.44 c 2302 288450 3932 1 - 0.0000 -
2299.98/2307.51 c 2308 289206 4024 1 - 0.0000 -
2304.97/2312.56 c 2313 290015 4084 1 - 0.0000 -
2310.05/2317.61 c 2318 290903 4123 1 - 0.0000 -
2315.03/2322.66 c 2323 291776 4143 1 - 0.0000 -
2320.12/2327.71 c 2328 292697 4183 1 - 0.0000 -
2325.10/2332.77 c 2333 293563 4183 1 - 0.0000 -
2330.18/2337.82 c 2338 294430 4198 1 - 0.0000 -
2335.16/2342.88 c 2343 295084 4249 1 - 0.0000 -
2340.25/2347.97 c 2348 295997 4242 1 - 0.0000 -
2345.33/2353.03 c 2353 296891 4275 1 - 0.0000 -
2350.32/2358.08 c 2358 297768 4301 1 - 0.0000 -
2355.41/2363.14 c 2363 298719 4315 1 - 0.0000 -
2360.48/2368.20 c 2368 299687 4328 1 - 0.0000 -
2365.46/2373.25 c 2373 300627 4355 1 - 0.0000 -
2370.56/2378.38 c 2378 301460 4396 1 - 0.0000 -
2375.64/2383.43 c 2383 302418 4430 1 - 0.0000 -
2380.62/2388.48 c 2388 303391 4439 1 - 0.0000 -
2385.71/2393.59 c 2394 304003 4489 1 - 0.0000 -
2390.80/2398.65 c 2399 304586 4499 1 - 0.0000 -
2395.88/2403.72 c 2404 305246 4500 1 - 0.0000 -
2401.36/2409.21 c 2409 305861 4522 1 - 0.0000 -
2406.36/2414.26 c 2414 306557 4551 1 - 0.0000 -
2411.44/2419.31 c 2419 307384 4567 1 - 0.0000 -
2416.43/2424.37 c 2424 308255 4563 1 - 0.0000 -
2421.61/2429.51 c 2430 309184 4584 1 - 0.0000 -
2426.59/2434.56 c 2435 310048 4615 1 - 0.0000 -
2431.68/2439.62 c 2440 310931 4586 1 - 0.0000 -
2436.67/2444.67 c 2445 311763 4648 1 - 0.0000 -
2441.75/2449.73 c 2450 312651 4626 1 - 0.0000 -
2446.74/2454.77 c 2455 313570 4638 1 - 0.0000 -
2452.03/2460.06 c 2460 314329 4678 1 - 0.0000 -
2457.11/2465.11 c 2465 315268 4687 1 - 0.0000 -
2462.19/2470.23 c 2470 316236 4705 1 - 0.0000 -
2467.29/2475.36 c 2475 317158 4719 1 - 0.0000 -
2472.47/2480.54 c 2481 317999 4763 1 - 0.0000 -
2477.55/2485.69 c 2486 318707 4825 1 - 0.0000 -
2482.74/2490.84 c 2491 319550 4835 1 - 0.0000 -
2487.83/2495.95 c 2496 320419 4889 1 - 0.0000 -
2493.11/2501.20 c 2501 321191 4959 1 - 0.0000 -
2498.19/2506.38 c 2506 322061 4951 1 - 0.0000 -
2503.28/2511.43 c 2511 322935 4959 1 - 0.0000 -
2508.26/2516.49 c 2516 323792 4983 1 - 0.0000 -
2513.36/2521.54 c 2522 324660 4995 1 - 0.0000 -
2518.34/2526.59 c 2527 325471 5040 1 - 0.0000 -
2523.52/2531.71 c 2532 326401 5038 1 - 0.0000 -
2528.71/2536.90 c 2537 327270 5073 1 - 0.0000 -
2533.80/2542.01 c 2542 328243 5092 1 - 0.0000 -
2538.89/2547.10 c 2547 329140 5097 1 - 0.0000 -
2543.87/2552.15 c 2552 330038 5099 1 - 0.0000 -
2548.95/2557.28 c 2557 330796 5127 1 - 0.0000 -
2554.84/2563.10 c 2563 331622 5194 1 - 0.0000 -
2559.83/2568.16 c 2568 332530 5221 1 - 0.0000 -
2564.91/2573.22 c 2573 333304 5234 1 - 0.0000 -
2569.90/2578.27 c 2578 334146 5255 1 - 0.0000 -
2574.98/2583.35 c 2583 335025 5242 1 - 0.0000 -
2580.06/2588.40 c 2588 335854 5284 1 - 0.0000 -
2585.05/2593.45 c 2593 336741 5328 1 - 0.0000 -
2590.13/2598.55 c 2599 337487 5438 1 - 0.0000 -
2595.12/2603.59 c 2604 338374 5409 1 - 0.0000 -
2600.21/2608.64 c 2609 339260 5363 1 - 0.0000 -
2605.29/2613.71 c 2614 340152 5389 1 - 0.0000 -
2610.28/2618.76 c 2619 340991 5407 1 - 0.0000 -
2615.36/2623.86 c 2624 341999 5432 1 - 0.0000 -
2620.44/2628.91 c 2629 342853 5467 1 - 0.0000 -
2625.43/2633.95 c 2634 343809 5488 1 - 0.0000 -
2630.53/2639.08 c 2639 344669 5498 1 - 0.0000 -
2635.61/2644.14 c 2644 345487 5515 1 - 0.0000 -
2640.79/2649.35 c 2649 346392 5527 1 - 0.0000 -
2645.88/2654.47 c 2654 347269 5544 1 - 0.0000 -
2650.96/2659.51 c 2660 348240 5545 1 - 0.0000 -
2655.94/2664.56 c 2665 348875 5684 1 - 0.0000 -
2661.04/2669.61 c 2670 349845 5661 1 - 0.0000 -
2666.02/2674.66 c 2675 350677 5699 1 - 0.0000 -
2671.11/2679.74 c 2680 351484 5757 1 - 0.0000 -
2676.09/2684.78 c 2685 352410 5770 1 - 0.0000 -
2681.18/2689.89 c 2690 353280 5804 1 - 0.0000 -
2686.26/2694.97 c 2695 354194 5811 1 - 0.0000 -
2691.35/2700.05 c 2700 355116 5876 1 - 0.0000 -
2696.53/2705.21 c 2705 355999 5929 1 - 0.0000 -
2701.62/2710.32 c 2710 356860 5980 1 - 0.0000 -
2706.61/2715.36 c 2715 357616 6001 1 - 0.0000 -
2711.69/2720.40 c 2720 358534 5998 1 - 0.0000 -
2716.88/2725.68 c 2726 359344 6031 1 - 0.0000 -
2721.96/2730.73 c 2731 360129 6111 1 - 0.0000 -
2726.95/2735.77 c 2736 360850 6183 1 - 0.0000 -
2732.03/2740.86 c 2741 361793 6199 1 - 0.0000 -
2737.12/2745.90 c 2746 362733 6249 1 - 0.0000 -
2742.11/2750.97 c 2751 363698 6260 1 - 0.0000 -
2747.19/2756.04 c 2756 364663 6273 1 - 0.0000 -
2752.19/2761.09 c 2761 365594 6373 1 - 0.0000 -
2757.27/2766.14 c 2766 366552 6396 1 - 0.0000 -
2762.45/2771.33 c 2771 367487 6466 1 - 0.0000 -
2767.53/2776.45 c 2776 368391 6559 1 - 0.0000 -
2772.62/2781.51 c 2782 369310 6619 1 - 0.0000 -
2777.71/2786.65 c 2787 370285 6657 1 - 0.0000 -
2782.79/2791.70 c 2792 371261 6647 1 - 0.0000 -
2787.77/2796.75 c 2797 372195 6657 1 - 0.0000 -
2792.77/2801.79 c 2802 373124 6702 1 - 0.0000 -
2797.95/2806.97 c 2807 374096 6722 1 - 0.0000 -
2803.04/2812.02 c 2812 375072 6748 1 - 0.0000 -
2808.02/2817.07 c 2817 376062 6788 1 - 0.0000 -
2813.51/2822.56 c 2823 376929 6805 1 - 0.0000 -
2818.59/2827.61 c 2828 377842 6813 1 - 0.0000 -
2823.68/2832.76 c 2833 378649 6848 1 - 0.0000 -
2828.76/2837.81 c 2838 379580 6930 1 - 0.0000 -
2833.84/2842.94 c 2843 380601 6895 1 - 0.0000 -
2838.93/2848.07 c 2848 381509 6982 1 - 0.0000 -
2844.03/2853.19 c 2853 382457 7014 1 - 0.0000 -
2849.10/2858.23 c 2858 383378 6983 1 - 0.0000 -
2854.08/2863.28 c 2863 384374 6978 1 - 0.0000 -
2859.17/2868.38 c 2868 385318 6952 1 - 0.0000 -
2864.26/2873.43 c 2873 386206 6912 1 - 0.0000 -
2869.24/2878.48 c 2878 387137 6942 1 - 0.0000 -
2874.43/2883.60 c 2884 388043 6997 1 - 0.0000 -
2879.52/2888.70 c 2889 388838 7081 1 - 0.0000 -
2884.50/2893.77 c 2894 389692 7122 1 - 0.0000 -
2889.59/2898.83 c 2899 390537 7154 1 - 0.0000 -
2894.57/2903.87 c 2904 391471 7164 1 - 0.0000 -
2899.65/2908.92 c 2909 392367 7193 1 - 0.0000 -
2904.74/2914.02 c 2914 393251 7179 1 - 0.0000 -
2909.73/2919.08 c 2919 394171 7079 1 - 0.0000 -
2915.11/2924.41 c 2924 395144 7095 1 - 0.0000 -
2920.10/2929.46 c 2929 396011 7125 1 - 0.0000 -
2925.18/2934.55 c 2935 396897 7182 1 - 0.0000 -
2930.27/2939.62 c 2940 397813 7151 1 - 0.0000 -
2935.35/2944.74 c 2945 398652 7202 1 - 0.0000 -
2940.43/2949.80 c 2950 399558 7199 1 - 0.0000 -
2945.42/2954.84 c 2955 400547 7234 1 - 0.0000 -
2950.50/2959.90 c 2960 401370 7367 1 - 0.0000 -
2955.49/2964.95 c 2965 402269 7451 1 - 0.0000 -
2960.58/2970.02 c 2970 403128 7442 1 - 0.0000 -
2965.56/2975.07 c 2975 403932 7539 1 - 0.0000 -
2970.65/2980.12 c 2980 404773 7517 1 - 0.0000 -
2975.64/2985.19 c 2985 405660 7532 1 - 0.0000 -
2980.72/2990.23 c 2990 406565 7514 1 - 0.0000 -
2985.70/2995.29 c 2995 407436 7479 1 - 0.0000 -
2990.78/3000.34 c 3000 408436 7475 1 - 0.0000 -
2995.87/3005.40 c 3005 409416 7475 1 - 0.0000 -
3001.75/3011.32 c 3011 410274 7478 1 - 0.0000 -
3006.74/3016.37 c 3016 411206 7494 1 - 0.0000 -
3011.83/3021.43 c 3021 412099 7573 1 - 0.0000 -
3016.81/3026.48 c 3026 413010 7613 1 - 0.0000 -
3021.90/3031.56 c 3032 413960 7632 1 - 0.0000 -
3026.98/3036.61 c 3037 414914 7624 1 - 0.0000 -
3031.97/3041.67 c 3042 415777 7735 1 - 0.0000 -
3037.06/3046.72 c 3047 416635 7797 1 - 0.0000 -
3042.04/3051.78 c 3052 417578 7789 1 - 0.0000 -
3047.12/3056.83 c 3057 418527 7773 1 - 0.0000 -
3052.11/3061.88 c 3062 419485 7776 1 - 0.0000 -
3057.20/3066.94 c 3067 420420 7730 1 - 0.0000 -
3062.18/3071.98 c 3072 421330 7798 1 - 0.0000 -
3067.27/3077.09 c 3077 422252 7753 1 - 0.0000 -
3072.35/3082.13 c 3082 423252 7711 1 - 0.0000 -
3077.34/3087.19 c 3087 424222 7686 1 - 0.0000 -
3082.42/3092.23 c 3092 425177 7672 1 - 0.0000 -
3087.40/3097.28 c 3097 426160 7669 1 - 0.0000 -
3092.49/3102.34 c 3102 426977 7716 1 - 0.0000 -
3097.48/3107.38 c 3107 427924 7702 1 - 0.0000 -
3102.56/3112.43 c 3112 428726 7806 1 - 0.0000 -
3107.55/3117.48 c 3117 429612 7798 1 - 0.0000 -
3112.64/3122.53 c 3123 430551 7808 1 - 0.0000 -
3117.62/3127.59 c 3128 431483 7822 1 - 0.0000 -
3122.70/3132.64 c 3133 432462 7816 1 - 0.0000 -
3128.19/3138.13 c 3138 433284 7783 1 - 0.0000 -
3133.18/3143.18 c 3143 434229 7809 1 - 0.0000 -
3138.26/3148.23 c 3148 435182 7835 1 - 0.0000 -
3143.24/3153.28 c 3153 436135 7837 1 - 0.0000 -
3148.33/3158.34 c 3158 437130 7799 1 - 0.0000 -
3153.31/3163.38 c 3163 438016 7803 1 - 0.0000 -
3158.40/3168.43 c 3168 439004 7796 1 - 0.0000 -
3163.38/3173.49 c 3173 439947 7780 1 - 0.0000 -
3168.46/3178.54 c 3179 440865 7792 1 - 0.0000 -
3173.55/3183.60 c 3184 441806 7818 1 - 0.0000 -
3178.53/3188.65 c 3189 442743 7800 1 - 0.0000 -
3183.63/3193.71 c 3194 443622 7825 1 - 0.0000 -
3188.61/3198.77 c 3199 444527 7862 1 - 0.0000 -
3193.70/3203.83 c 3204 445453 7860 1 - 0.0000 -
3198.68/3208.87 c 3209 446440 7860 1 - 0.0000 -
3203.77/3213.99 c 3214 447350 7866 1 - 0.0000 -
3208.86/3219.06 c 3219 448265 7863 1 - 0.0000 -
3213.94/3224.13 c 3224 449158 7836 1 - 0.0000 -
3218.93/3229.18 c 3229 450132 7831 1 - 0.0000 -
3224.01/3234.26 c 3234 451149 7853 1 - 0.0000 -
3229.09/3239.32 c 3239 452138 7868 1 - 0.0000 -
3234.08/3244.38 c 3244 453016 7871 1 - 0.0000 -
3239.16/3249.43 c 3249 453937 7883 1 - 0.0000 -
3244.15/3254.48 c 3254 454898 7914 1 - 0.0000 -
3249.23/3259.56 c 3260 455947 7936 1 - 0.0000 -
3254.32/3264.61 c 3265 456951 7963 1 - 0.0000 -
3259.30/3269.65 c 3270 458062 7952 1 - 0.0000 -
3264.39/3274.71 c 3275 459013 7928 1 - 0.0000 -
3269.38/3279.75 c 3280 459977 7908 1 - 0.0000 -
3274.67/3285.09 c 3285 460527 7905 1 - 0.0000 -
3279.75/3290.18 c 3290 461351 7988 1 - 0.0000 -
3284.83/3295.23 c 3295 462298 7963 1 - 0.0000 -
3289.81/3300.27 c 3300 463229 7954 1 - 0.0000 -
3294.91/3305.32 c 3305 464122 7997 1 - 0.0000 -
3299.88/3310.38 c 3310 465178 7985 1 - 0.0000 -
3305.07/3315.52 c 3316 466097 7993 1 - 0.0000 -
3310.06/3320.57 c 3321 467003 8000 1 - 0.0000 -
3315.14/3325.62 c 3326 467896 8038 1 - 0.0000 -
3320.12/3330.67 c 3331 468840 8024 1 - 0.0000 -
3325.22/3335.73 c 3336 469656 8111 1 - 0.0000 -
3330.20/3340.77 c 3341 470532 8164 1 - 0.0000 -
3335.28/3345.83 c 3346 471503 8173 1 - 0.0000 -
3340.27/3350.87 c 3351 472470 8184 1 - 0.0000 -
3345.35/3355.92 c 3356 473364 8213 1 - 0.0000 -
3350.34/3360.97 c 3361 474300 8194 1 - 0.0000 -
3355.43/3366.03 c 3366 475211 8229 1 - 0.0000 -
3360.42/3371.07 c 3371 476140 8246 1 - 0.0000 -
3365.50/3376.13 c 3376 477028 8263 1 - 0.0000 -
3370.48/3381.19 c 3381 477853 8332 1 - 0.0000 -
3375.57/3386.24 c 3386 478606 8442 1 - 0.0000 -
3380.65/3391.40 c 3391 479483 8455 1 - 0.0000 -
3385.73/3396.49 c 3396 480414 8501 1 - 0.0000 -
3390.82/3401.58 c 3402 481379 8527 1 - 0.0000 -
3395.90/3406.63 c 3407 482326 8540 1 - 0.0000 -
3400.89/3411.67 c 3412 483190 8571 1 - 0.0000 -
3405.97/3416.72 c 3417 484067 8611 1 - 0.0000 -
3410.96/3421.77 c 3422 485044 8665 1 - 0.0000 -
3416.05/3426.83 c 3427 486025 8671 1 - 0.0000 -
3421.24/3432.01 c 3432 486953 8695 1 - 0.0000 -
3426.32/3437.19 c 3437 487939 8733 1 - 0.0000 -
3431.40/3442.24 c 3442 488889 8748 1 - 0.0000 -
3436.39/3447.29 c 3447 489745 8788 1 - 0.0000 -
3441.47/3452.35 c 3452 490669 8750 1 - 0.0000 -
3446.56/3457.47 c 3457 491461 8741 1 - 0.0000 -
3451.64/3462.52 c 3463 492446 8830 1 - 0.0000 -
3456.74/3467.67 c 3468 493473 8906 1 - 0.0000 -
3461.82/3472.72 c 3473 494679 8902 1 - 0.0000 -
3466.80/3477.77 c 3478 495810 8955 1 - 0.0000 -
3471.89/3482.83 c 3483 497062 8932 1 - 0.0000 -
3476.87/3487.89 c 3488 498218 8899 1 - 0.0000 -
3482.06/3493.01 c 3493 499077 8920 1 - 0.0000 -
3487.14/3498.14 c 3498 499952 8965 1 - 0.0000 -
3492.14/3503.19 c 3503 500840 8992 1 - 0.0000 -
3497.21/3508.24 c 3508 501736 8941 1 - 0.0000 -
3502.30/3513.32 c 3513 502510 8978 1 - 0.0000 -
3507.29/3518.37 c 3518 503375 8964 1 - 0.0000 -
3512.37/3523.42 c 3523 504319 8961 1 - 0.0000 -
3517.35/3528.47 c 3528 505248 8978 1 - 0.0000 -
3522.54/3533.68 c 3534 506048 9051 1 - 0.0000 -
3527.63/3538.76 c 3539 506909 9147 1 - 0.0000 -
3532.72/3543.84 c 3544 507702 9232 1 - 0.0000 -
3537.70/3548.89 c 3549 508531 9291 1 - 0.0000 -
3542.78/3553.99 c 3554 509482 9297 1 - 0.0000 -
3547.88/3559.05 c 3559 510337 9330 1 - 0.0000 -
3552.86/3564.09 c 3564 511279 9371 1 - 0.0000 -
3557.94/3569.14 c 3569 512212 9366 1 - 0.0000 -
3563.03/3574.23 c 3574 513006 9402 1 - 0.0000 -
3568.01/3579.27 c 3579 513910 9442 1 - 0.0000 -
3573.10/3584.33 c 3584 514737 9480 1 - 0.0000 -
3578.08/3589.39 c 3589 515667 9498 1 - 0.0000 -
3583.27/3594.50 c 3595 516649 9508 1 - 0.0000 -
3588.26/3599.56 c 3600 517637 9507 1 - 0.0000 -
3588.76/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.76/3600.10 c Total Time : 3600.1000
3588.76/3600.10 c solving : 3600.1000
3588.76/3600.10 c presolving : 0.1235 (included in solving)
3588.76/3600.10 c B&B Tree :
3588.76/3600.10 c nodes (total) : 1
3588.76/3600.10 c Solution :
3588.76/3600.10 c Solutions found : 0
3588.76/3600.10 c Primal Bound : -
3588.76/3600.10 c Dual Bound : +0.00000000000000e+00
3588.76/3600.10 c Gap : -
3588.87/3600.11 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: 63931 MiB (60896 MiB free)
memory of node 1: 64510 MiB (55760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450060-1721406853/watcher-4450060-1721406853 -o /tmp/evaluation-result-4450060-1721406853/solver-4450060-1721406853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037850 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450060-1721406853.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1040021, runsolver pid=1040018
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.08 4.11 4.09 5/264 1040022
/proc/meminfo: memFree=119392364/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=49716 memory=39244 CPUtime=0.09 cores=1,3
/proc/1040021/stat : 1040021 (fscip) R 1040018 1040021 1035639 0 -1 4194304 8773 0 0 0 9 0 0 0 20 0 1 0 192853549 50909184 9811 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 12429 9811 2670 3032 0 8829 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49716 KiB
Current children cumulated memory: 39244 KiB
[startup+0.205821 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119342248/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=182416 memory=89224 CPUtime=0.19 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 21263 0 0 0 17 2 0 0 20 0 3 0 192853549 186793984 22306 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 45604 22306 2766 3032 0 29067 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=182416 memory=6007641856751698051 CPUtime=0.02 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 5514 0 0 0 2 0 0 0 20 0 3 0 192853565 186793984 22306 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=182416 memory=15945 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853567 186793984 22306 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 182416 KiB
Current children cumulated memory: 89224 KiB
[startup+0.305819 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119330740/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=183496 memory=100540 CPUtime=0.29 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 23982 0 0 0 26 3 0 0 20 0 3 0 192853549 187899904 25135 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 45874 25135 2910 3032 0 31897 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=183496 memory=-7664417297257883264 CPUtime=0.12 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 8233 0 0 0 11 1 0 0 20 0 3 0 192853565 187899904 25135 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=183496 memory=0 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853567 187899904 25135 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 183496 KiB
Current children cumulated memory: 100540 KiB
[startup+0.700198 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119337768/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=183496 memory=103420 CPUtime=0.67 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 24689 0 0 0 64 3 0 0 20 0 3 0 192853549 187899904 25855 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 45874 25855 2910 3032 0 32588 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=183496 memory=0 CPUtime=0.5 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 8940 0 0 0 49 1 0 0 20 0 3 0 192853565 187899904 25855 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=183496 memory=0 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853567 187899904 25855 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 183496 KiB
Current children cumulated memory: 103420 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119337464/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=195060 memory=133388 CPUtime=1.47 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 35023 0 0 0 143 4 0 0 20 0 3 0 192853549 199741440 33347 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 48765 33347 2926 3032 0 40659 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=195060 memory=0 CPUtime=1.3 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 19267 0 0 0 128 2 0 0 20 0 3 0 192853565 199741440 33347 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=195060 memory=0 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 192853567 199741440 33347 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 195060 KiB
Current children cumulated memory: 133388 KiB
[startup+3.10582 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 1040072
/proc/meminfo: memFree=122670264/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=185284 memory=132060 CPUtime=3.07 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 45601 0 0 0 302 5 0 0 20 0 3 0 192853549 189730816 33015 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 46321 33015 2926 3032 0 40530 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=185284 memory=0 CPUtime=2.9 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 29845 0 0 0 287 3 0 0 20 0 3 0 192853565 189730816 33015 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=185284 memory=2209 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 192853567 189730816 33015 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 185284 KiB
Current children cumulated memory: 132060 KiB
[startup+6.30024 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122542600/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=250992 memory=159136 CPUtime=6.25 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 63453 0 0 0 618 7 0 0 20 0 3 0 192853549 257015808 39784 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 62748 39784 2974 3032 0 47621 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=250992 memory=0 CPUtime=6.09 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 47669 0 0 0 604 5 0 0 20 0 3 0 192853565 257015808 39784 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=250992 memory=11400 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 192853567 257015808 39784 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 250992 KiB
Current children cumulated memory: 159136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122457900/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=250992 memory=172444 CPUtime=12.63 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 99331 0 0 0 1254 9 0 0 20 0 3 0 192853549 257015808 43111 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 62748 43111 2974 3032 0 51214 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=250992 memory=172104 CPUtime=12.47 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 83519 0 0 0 1240 7 0 0 20 0 3 0 192853565 257015808 43111 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=250992 memory=11400 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 192853567 257015808 43111 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 250992 KiB
Current children cumulated memory: 172444 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 1040126
/proc/meminfo: memFree=122397136/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=250992 memory=185844 CPUtime=25.38 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 150466 0 0 0 2525 13 0 0 20 0 3 0 192853549 257015808 46461 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 62748 46461 2974 3032 0 54201 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=250992 memory=-6933350163988322757 CPUtime=25.22 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 134612 0 0 0 2511 11 0 0 20 0 3 0 192853565 257015808 46461 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=250992 memory=164 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 192853567 257015808 46461 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 250992 KiB
Current children cumulated memory: 185844 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 1040177
/proc/meminfo: memFree=122348552/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=250992 memory=200652 CPUtime=50.9 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 211566 0 0 0 5070 20 0 0 20 0 3 0 192853549 257015808 50163 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 62748 50163 2974 3032 0 58497 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=250992 memory=200652 CPUtime=50.73 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 195647 0 0 0 5055 18 0 0 20 0 3 0 192853565 257015808 50163 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=250992 memory=200652 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 192853567 257015808 50163 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 250992 KiB
Current children cumulated memory: 200652 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 1040184
/proc/meminfo: memFree=122182660/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=316528 memory=213232 CPUtime=101.94 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 280587 0 0 0 10165 29 0 0 20 0 3 0 192853549 324124672 53308 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 79132 53308 2974 3032 0 61364 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=316528 memory=213188 CPUtime=101.77 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 264603 0 0 0 10150 27 0 0 20 0 3 0 192853565 324124672 53308 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=316528 memory=13120 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 192853567 324124672 53308 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 316528 KiB
Current children cumulated memory: 213232 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 1040194
/proc/meminfo: memFree=122036848/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=316528 memory=248116 CPUtime=161.76 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 334249 0 0 0 16136 40 0 0 20 0 3 0 192853549 324124672 62029 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 79132 62029 2974 3032 0 70070 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=316528 memory=247056 CPUtime=161.59 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 318227 0 0 0 16121 38 0 0 20 0 3 0 192853565 324124672 62029 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=316528 memory=247116 CPUtime=0 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 192853567 324124672 62029 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 316528 KiB
Current children cumulated memory: 248116 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 1040207
################
# More data... #
################
[pid=1040021] ppid=1040018 vsize=532640 memory=461932 CPUtime=3451.45 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 911730 0 0 0 344839 306 0 0 20 0 3 0 192853549 545423360 115483 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 115483 2974 3032 0 118234 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=461932 CPUtime=3451.03 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 894911 0 0 0 344807 296 0 0 20 0 3 0 192853565 545423360 115483 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=461932 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 115483 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 461932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 1042065
/proc/meminfo: memFree=118296368/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467016 CPUtime=3511.28 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 921409 0 0 0 350818 310 0 0 20 0 3 0 192853549 545423360 116754 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116754 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=461932 CPUtime=3510.84 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 904576 0 0 0 350785 299 0 0 20 0 3 0 192853565 545423360 116754 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=467016 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116754 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3511.28 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/268 1042075
/proc/meminfo: memFree=118244920/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3571.1 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 927058 0 0 0 356796 314 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=13120 CPUtime=3570.67 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 910211 0 0 0 356763 304 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=13120 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3600.12 s]
# the end of solver process 1040021 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.7 s, system=3.17907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.09 5/268 1042077
/proc/meminfo: memFree=118244236/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3572.81 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 927059 0 0 0 356966 315 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=-7241642814537634412 CPUtime=3572.37 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 910212 0 0 0 356933 304 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=-6933350163988322498 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 1042078
/proc/meminfo: memFree=118240808/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3579.18 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 927081 0 0 0 357603 315 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=467024 CPUtime=3578.75 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 910234 0 0 0 357570 305 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=467024 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3579.18 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118237448/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3585.56 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 928279 0 0 0 358240 316 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=45960 CPUtime=3585.12 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 911431 0 0 0 358207 305 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=467024 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118236440/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3587.15 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 931853 0 0 0 358399 316 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=467024 CPUtime=3586.73 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 915005 0 0 0 358367 306 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=16216 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118236440/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3587.96 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 931860 0 0 0 358479 317 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=45960 CPUtime=3587.52 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 915012 0 0 0 358446 306 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=45960 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3587.96 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118236440/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3588.36 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 931861 0 0 0 358519 317 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=-7385758002596582764 CPUtime=3587.92 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 915013 0 0 0 358486 306 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=1904 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118236308/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=532640 memory=467024 CPUtime=3588.76 cores=1,3
/proc/1040021/stat : 1040021 (fscip) S 1040018 1040021 1035639 0 -1 1077936128 931865 0 0 0 358559 317 0 0 20 0 3 0 192853549 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 133160 116756 2974 3032 0 119518 0
[pid=1040021/tid=1040023] ppid=1040018 vsize=532640 memory=-7241642814537634412 CPUtime=3588.33 cores=1,3
/proc/1040021/task/1040023/stat : 1040023 (fscip) R 1040018 1040021 1035639 0 -1 4194368 915014 0 0 0 358527 306 0 0 20 0 3 0 192853565 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=532640 memory=-6933350163988322498 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 3 0 192853567 545423360 116756 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 467024 KiB
[startup+3600.11 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118236308/131524600 swapFree=131071996/131071996
[pid=1040021] ppid=1040018 vsize=408516 memory=363044 CPUtime=3588.87 cores=1,3
/proc/1040021/stat : 1040021 (fscip) R 1040018 1040021 1035639 0 -1 4194304 933911 0 0 0 358570 317 0 0 20 0 2 0 192853549 418320384 90761 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
/proc/1040021/statm: 102129 90761 2974 3032 0 97914 0
[pid=1040021/tid=1040024] ppid=1040018 vsize=408516 memory=2228 CPUtime=0.03 cores=1,3
/proc/1040021/task/1040024/stat : 1040024 (fscip) S 1040018 1040021 1035639 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 2 0 192853567 418320384 90761 134679101440 4194304 16613245 140735320015936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53415936 140735320019987 140735320020103 140735320020103 140735320027120 0
Current children cumulated CPU time: 3588.87 s
Current children cumulated vsize: 408516 KiB
Current children cumulated memory: 363044 KiB
Child status: 0
Real time (s): 3600.12
CPU time (s): 3588.88
CPU user time (s): 3585.7
CPU system time (s): 3.17907
CPU usage (%): 99.6879
Max. virtual memory (cumulated for all children) (KiB): 532640
Max. memory (cumulated for all children) (KiB): 467024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.7
system time used= 3.17907
maximum resident set size= 467024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933930
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= 10706
involuntary context switches= 2071
# summary of solver processes directly reported to runsolver:
# pid: 1040021
# total CPU time (s): 3588.88
# total CPU user time (s): 3585.7
# total CPU system time (s): 3.17907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51514 second user time and 17.0321 second system time
The end
Begin job on nodeC031 at 2024-07-19 18:34:25
IDJOB=4450060
IDBENCH=160390
IDSOLVER=3064
FILE ID=nodeC031/4450060-1721406853
RUNJOBID= nodeC031-1721403263-1037850
SLURM_JOB_ID= 7545454
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450060-1721406853/watcher-4450060-1721406853 -o /tmp/evaluation-result-4450060-1721406853/solver-4450060-1721406853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037850 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450060-1721406853.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06224f4c25a1c1b3a15eb701c288d1cc
RANDOM SEED=211602312
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.004
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.800
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.357
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.139
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.002
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119457040 kB
MemAvailable: 126005888 kB
Buffers: 511652 kB
Cached: 6803520 kB
SwapCached: 0 kB
Active: 1046624 kB
Inactive: 10225716 kB
Active(anon): 1544 kB
Inactive(anon): 4001548 kB
Active(file): 1045080 kB
Inactive(file): 6224168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85440 kB
Writeback: 0 kB
AnonPages: 3951948 kB
Mapped: 143696 kB
Shmem: 45912 kB
KReclaimable: 238496 kB
Slab: 368440 kB
SReclaimable: 238496 kB
SUnreclaim: 129944 kB
KernelStack: 4172 kB
PageTables: 16924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3533808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72288 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1337344 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC031 at 2024-07-19 19:34:26