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 = 35819520, getVmSize() = 35819520, SCIPgetMemUsed() = 8941580, SCIPgetMemTotal() = 13847684, SCIPgetMemExternEstim() = 6259060
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.59/0.68 c ** Estimated virtualMemUsedAtSolver = 32174080, getVmSize() = 60702720, SCIPgetMemUsed() = 20877618, SCIPgetMemTotal() = 37164754, SCIPgetMemExternEstim() = 6259060
0.59/0.68 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.59/0.68 c Original Problem :
0.59/0.68 c Problem name : instance-4452160-1721428805
0.59/0.68 c Variables : 1122 (1122 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.68 c Constraints : 5318
0.59/0.68 c Objective sense : minimize
0.59/0.68 c Presolved Problem :
0.59/0.68 c Variables : 1116 (1116 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.68 c Constraints : 5045
0.59/0.68 c Constraints : Number
0.59/0.68 c knapsack : 1
0.59/0.68 c setppc : 2139
0.59/0.68 c linear : 1
0.59/0.68 c logicor : 2904
0.59/0.68 c ** Instance transfer method used: 0
0.68/0.71 c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.73 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.73 c Nodes Active
0.68/0.73 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.66/5.71 c 6 2 1 1 - 0.0000 -
12.96/13.05 c 13 14 13 1 - 0.0000 -
18.73/18.88 c 19 84 48 1 - 0.0000 -
24.02/24.18 c 24 267 54 1 - 0.0000 -
29.38/29.58 c 30 428 92 1 - 0.0000 -
34.77/34.90 c 35 520 147 1 - 0.0000 -
40.16/40.34 c 40 625 188 1 - 0.0000 -
45.24/45.48 c 45 713 221 1 - 0.0000 -
50.62/50.86 c 51 828 258 1 - 0.0000 -
56.09/56.31 c 56 924 310 1 - 0.0000 -
62.96/63.23 c 63 972 1 1 - 0.0000 -
68.14/68.47 c 68 1138 25 1 - 0.0000 -
73.84/74.17 c 74 1318 32 1 - 0.0000 -
79.21/79.50 c 80 1534 32 1 - 0.0000 -
84.38/84.70 c 85 1690 55 1 - 0.0000 -
89.47/89.87 c 90 1909 60 1 - 0.0000 -
94.76/95.13 c 95 2102 72 1 - 0.0000 -
100.13/100.53 c 101 2361 71 1 - 0.0000 -
105.21/105.60 c 106 2637 71 1 - 0.0000 -
110.71/111.12 c 111 2754 76 1 - 0.0000 -
115.87/116.31 c 116 2989 85 1 - 0.0000 -
120.85/121.38 c 121 3238 75 1 - 0.0000 -
126.13/126.60 c 127 3499 71 1 - 0.0000 -
131.21/131.74 c 132 3718 75 1 - 0.0000 -
137.69/138.27 c 138 3907 81 1 - 0.0000 -
142.77/143.34 c 143 4177 90 1 - 0.0000 -
147.86/148.40 c 148 4458 87 1 - 0.0000 -
152.94/153.52 c 154 4675 91 1 - 0.0000 -
158.04/158.65 c 159 4916 98 1 - 0.0000 -
163.12/163.79 c 164 5187 95 1 - 0.0000 -
168.30/168.93 c 169 5412 99 1 - 0.0000 -
173.59/174.24 c 174 5604 91 1 - 0.0000 -
178.68/179.31 c 179 5866 94 1 - 0.0000 -
183.76/184.42 c 184 6113 90 1 - 0.0000 -
188.75/189.49 c 189 6359 89 1 - 0.0000 -
193.83/194.58 c 195 6626 88 1 - 0.0000 -
198.92/199.66 c 200 6905 82 1 - 0.0000 -
204.00/204.76 c 205 7146 81 1 - 0.0000 -
209.09/209.84 c 210 7410 76 1 - 0.0000 -
214.18/214.98 c 215 7691 72 1 - 0.0000 -
219.56/220.38 c 220 7864 78 1 - 0.0000 -
224.64/225.49 c 226 8107 81 1 - 0.0000 -
229.73/230.57 c 231 8344 71 1 - 0.0000 -
235.02/235.87 c 236 8594 76 1 - 0.0000 -
240.10/240.95 c 241 8881 69 1 - 0.0000 -
245.19/246.03 c 246 8952 71 1 - 0.0000 -
250.47/251.30 c 251 9170 84 1 - 0.0000 -
255.56/256.48 c 256 9382 93 1 - 0.0000 -
260.64/261.56 c 262 9652 98 1 - 0.0000 -
265.73/266.62 c 267 9892 95 1 - 0.0000 -
270.82/271.74 c 272 10135 90 1 - 0.0000 -
276.00/276.90 c 277 10351 99 1 - 0.0000 -
280.99/281.98 c 282 10563 99 1 - 0.0000 -
286.18/287.12 c 287 10789 99 1 - 0.0000 -
291.26/292.26 c 292 11053 100 1 - 0.0000 -
296.34/297.39 c 297 11230 101 1 - 0.0000 -
301.53/302.56 c 303 11469 110 1 - 0.0000 -
307.21/308.28 c 308 11692 115 1 - 0.0000 -
312.39/313.44 c 313 11943 114 1 - 0.0000 -
320.37/321.41 c 321 12208 109 1 - 0.0000 -
325.56/326.66 c 327 12414 117 1 - 0.0000 -
330.64/331.78 c 332 12619 127 1 - 0.0000 -
335.73/336.85 c 337 12871 132 1 - 0.0000 -
340.82/341.96 c 342 13094 131 1 - 0.0000 -
345.91/347.03 c 347 13354 140 1 - 0.0000 -
351.08/352.20 c 352 13598 132 1 - 0.0000 -
356.17/357.32 c 357 13803 137 1 - 0.0000 -
361.25/362.43 c 362 14052 135 1 - 0.0000 -
366.34/367.54 c 368 14273 140 1 - 0.0000 -
371.42/372.60 c 373 14512 140 1 - 0.0000 -
376.51/377.71 c 378 14753 141 1 - 0.0000 -
381.59/382.89 c 383 15004 139 1 - 0.0000 -
387.27/388.52 c 389 15222 140 1 - 0.0000 -
392.37/393.63 c 394 15432 148 1 - 0.0000 -
397.45/398.72 c 399 15686 155 1 - 0.0000 -
402.63/403.91 c 404 15934 145 1 - 0.0000 -
407.83/409.11 c 409 16162 149 1 - 0.0000 -
412.90/414.28 c 414 16356 146 1 - 0.0000 -
418.08/419.47 c 419 16574 145 1 - 0.0000 -
423.27/424.62 c 425 16782 163 1 - 0.0000 -
429.96/431.39 c 431 16866 160 1 - 0.0000 -
435.14/436.59 c 437 17109 162 1 - 0.0000 -
440.23/441.69 c 442 17345 163 1 - 0.0000 -
445.31/446.76 c 447 17550 164 1 - 0.0000 -
450.39/451.88 c 452 17783 158 1 - 0.0000 -
455.69/457.12 c 457 18018 167 1 - 0.0000 -
460.76/462.22 c 462 18282 155 1 - 0.0000 -
465.85/467.30 c 467 18538 164 1 - 0.0000 -
470.93/472.49 c 472 18826 159 1 - 0.0000 -
476.12/477.62 c 478 19071 154 1 - 0.0000 -
481.20/482.78 c 483 19283 152 1 - 0.0000 -
486.28/487.86 c 488 19496 155 1 - 0.0000 -
491.37/492.97 c 493 19745 150 1 - 0.0000 -
496.46/498.03 c 498 19935 150 1 - 0.0000 -
501.44/503.09 c 503 20178 150 1 - 0.0000 -
506.92/508.51 c 509 20421 149 1 - 0.0000 -
511.90/513.59 c 514 20683 154 1 - 0.0000 -
516.99/518.67 c 519 20957 152 1 - 0.0000 -
522.07/523.78 c 524 21191 151 1 - 0.0000 -
527.25/528.92 c 529 21428 150 1 - 0.0000 -
532.35/534.01 c 534 21693 149 1 - 0.0000 -
537.33/539.10 c 539 21914 146 1 - 0.0000 -
542.59/544.30 c 544 22141 151 1 - 0.0000 -
547.77/549.57 c 550 22399 147 1 - 0.0000 -
553.06/554.86 c 555 22622 162 1 - 0.0000 -
558.26/560.01 c 560 22857 161 1 - 0.0000 -
563.34/565.14 c 565 23117 159 1 - 0.0000 -
568.51/570.38 c 570 23349 160 1 - 0.0000 -
573.69/575.58 c 576 23573 160 1 - 0.0000 -
578.77/580.68 c 581 23828 159 1 - 0.0000 -
583.86/585.74 c 586 24000 175 1 - 0.0000 -
588.95/590.81 c 591 24265 168 1 - 0.0000 -
594.04/595.94 c 596 24555 160 1 - 0.0000 -
599.14/601.03 c 601 24811 161 1 - 0.0000 -
605.22/607.18 c 607 24959 164 1 - 0.0000 -
610.39/612.38 c 612 25159 160 1 - 0.0000 -
615.47/617.47 c 617 25430 157 1 - 0.0000 -
620.57/622.54 c 623 25636 156 1 - 0.0000 -
625.65/627.66 c 628 25901 153 1 - 0.0000 -
630.74/632.76 c 633 26156 153 1 - 0.0000 -
635.82/637.86 c 638 26400 161 1 - 0.0000 -
640.91/642.90 c 643 26662 158 1 - 0.0000 -
645.89/648.01 c 648 26888 153 1 - 0.0000 -
650.98/653.07 c 653 27134 154 1 - 0.0000 -
656.06/658.14 c 658 27377 149 1 - 0.0000 -
661.83/664.01 c 664 27613 151 1 - 0.0000 -
666.94/669.08 c 669 27866 158 1 - 0.0000 -
672.02/674.17 c 674 28035 161 1 - 0.0000 -
677.30/679.42 c 679 28268 157 1 - 0.0000 -
682.48/684.60 c 685 28507 161 1 - 0.0000 -
687.56/689.75 c 690 28742 162 1 - 0.0000 -
692.65/694.82 c 695 28968 173 1 - 0.0000 -
697.64/699.88 c 700 29260 173 1 - 0.0000 -
702.73/704.97 c 705 29532 173 1 - 0.0000 -
707.82/710.07 c 710 29752 176 1 - 0.0000 -
713.29/715.50 c 716 29929 187 1 - 0.0000 -
718.48/720.70 c 721 30202 188 1 - 0.0000 -
724.06/726.37 c 726 30285 186 1 - 0.0000 -
729.66/731.94 c 732 30513 185 1 - 0.0000 -
734.85/737.14 c 737 30710 196 1 - 0.0000 -
739.92/742.25 c 742 30925 216 1 - 0.0000 -
745.61/747.90 c 748 31172 217 1 - 0.0000 -
750.59/752.98 c 753 31436 218 1 - 0.0000 -
755.69/758.05 c 758 31696 216 1 - 0.0000 -
760.77/763.17 c 763 31949 210 1 - 0.0000 -
766.24/768.66 c 769 32220 209 1 - 0.0000 -
771.33/773.76 c 774 32423 213 1 - 0.0000 -
776.63/779.04 c 779 32604 228 1 - 0.0000 -
781.62/784.09 c 784 32835 223 1 - 0.0000 -
786.89/789.32 c 789 33073 224 1 - 0.0000 -
791.97/794.45 c 794 33316 234 1 - 0.0000 -
797.15/799.63 c 800 33535 237 1 - 0.0000 -
802.24/804.75 c 805 33775 234 1 - 0.0000 -
807.32/809.87 c 810 33967 247 1 - 0.0000 -
812.63/815.12 c 815 34156 263 1 - 0.0000 -
818.00/820.56 c 821 34292 285 1 - 0.0000 -
823.09/825.67 c 826 34519 279 1 - 0.0000 -
828.27/830.81 c 831 34709 291 1 - 0.0000 -
833.35/835.93 c 836 34923 291 1 - 0.0000 -
838.46/841.04 c 841 35114 292 1 - 0.0000 -
843.55/846.12 c 846 35351 292 1 - 0.0000 -
848.62/851.20 c 851 35562 302 1 - 0.0000 -
856.41/859.08 c 859 35784 298 1 - 0.0000 -
861.49/864.18 c 864 36010 293 1 - 0.0000 -
866.56/869.27 c 869 36219 302 1 - 0.0000 -
871.65/874.34 c 874 36421 300 1 - 0.0000 -
876.84/879.50 c 880 36649 309 1 - 0.0000 -
881.92/884.66 c 885 36822 333 1 - 0.0000 -
887.01/889.78 c 890 37050 338 1 - 0.0000 -
892.20/894.93 c 895 37206 345 1 - 0.0000 -
897.30/900.09 c 900 37422 363 1 - 0.0000 -
902.38/905.16 c 905 37670 358 1 - 0.0000 -
907.46/910.22 c 910 37909 360 1 - 0.0000 -
912.54/915.32 c 915 38128 361 1 - 0.0000 -
917.82/920.62 c 921 38274 380 1 - 0.0000 -
923.01/925.83 c 926 38512 385 1 - 0.0000 -
928.09/930.93 c 931 38770 384 1 - 0.0000 -
933.48/936.38 c 936 38960 402 1 - 0.0000 -
938.57/941.48 c 941 39187 402 1 - 0.0000 -
943.75/946.67 c 947 39376 420 1 - 0.0000 -
948.94/951.89 c 952 39601 422 1 - 0.0000 -
954.02/956.96 c 957 39848 407 1 - 0.0000 -
959.12/962.10 c 962 40051 407 1 - 0.0000 -
964.29/967.23 c 967 40263 412 1 - 0.0000 -
969.37/972.33 c 972 40513 404 1 - 0.0000 -
974.67/977.62 c 978 40699 399 1 - 0.0000 -
980.17/983.12 c 983 40941 392 1 - 0.0000 -
985.44/988.40 c 988 41169 393 1 - 0.0000 -
990.82/993.88 c 994 41377 390 1 - 0.0000 -
995.90/998.96 c 999 41586 399 1 - 0.0000 -
1001.00/1004.06 c 1004 41821 385 1 - 0.0000 -
1006.09/1009.18 c 1009 42049 394 1 - 0.0000 -
1011.26/1014.30 c 1014 42258 397 1 - 0.0000 -
1016.24/1019.36 c 1019 42442 406 1 - 0.0000 -
1021.34/1024.49 c 1024 42701 403 1 - 0.0000 -
1026.72/1029.83 c 1030 42930 398 1 - 0.0000 -
1031.81/1034.93 c 1035 43145 406 1 - 0.0000 -
1036.90/1040.06 c 1040 43334 410 1 - 0.0000 -
1042.57/1045.74 c 1046 43477 420 1 - 0.0000 -
1047.76/1050.94 c 1051 43704 434 1 - 0.0000 -
1052.85/1056.02 c 1056 43927 447 1 - 0.0000 -
1057.94/1061.15 c 1061 44135 450 1 - 0.0000 -
1063.02/1066.26 c 1066 44412 447 1 - 0.0000 -
1068.10/1071.38 c 1071 44643 446 1 - 0.0000 -
1073.48/1076.76 c 1077 44796 456 1 - 0.0000 -
1078.97/1082.28 c 1082 45002 469 1 - 0.0000 -
1084.46/1087.76 c 1088 45194 485 1 - 0.0000 -
1089.64/1092.92 c 1093 45401 488 1 - 0.0000 -
1094.63/1097.98 c 1098 45656 476 1 - 0.0000 -
1100.01/1103.34 c 1103 45816 494 1 - 0.0000 -
1105.10/1108.47 c 1108 46015 507 1 - 0.0000 -
1110.18/1113.54 c 1114 46261 517 1 - 0.0000 -
1115.26/1118.69 c 1119 46521 505 1 - 0.0000 -
1121.85/1125.29 c 1125 46713 514 1 - 0.0000 -
1126.94/1130.35 c 1130 46918 525 1 - 0.0000 -
1132.32/1135.77 c 1136 47074 552 1 - 0.0000 -
1137.40/1140.87 c 1141 47281 555 1 - 0.0000 -
1142.99/1146.41 c 1146 47484 563 1 - 0.0000 -
1147.97/1151.49 c 1152 47698 569 1 - 0.0000 -
1153.06/1156.59 c 1157 47974 570 1 - 0.0000 -
1159.05/1162.54 c 1163 48215 571 1 - 0.0000 -
1164.14/1167.63 c 1168 48457 569 1 - 0.0000 -
1169.12/1172.68 c 1173 48651 583 1 - 0.0000 -
1174.62/1178.17 c 1178 48895 589 1 - 0.0000 -
1179.88/1183.42 c 1183 49109 590 1 - 0.0000 -
1184.97/1188.51 c 1189 49340 601 1 - 0.0000 -
1189.95/1193.58 c 1194 49607 598 1 - 0.0000 -
1195.04/1198.66 c 1199 49857 613 1 - 0.0000 -
1200.14/1203.79 c 1204 50111 606 1 - 0.0000 -
1205.43/1209.03 c 1209 50335 611 1 - 0.0000 -
1210.52/1214.14 c 1214 50567 605 1 - 0.0000 -
1215.59/1219.26 c 1219 50781 617 1 - 0.0000 -
1220.77/1224.43 c 1224 50946 633 1 - 0.0000 -
1226.06/1229.76 c 1230 51156 639 1 - 0.0000 -
1231.14/1234.84 c 1235 51387 647 1 - 0.0000 -
1236.23/1239.93 c 1240 51648 651 1 - 0.0000 -
1241.33/1245.05 c 1245 51836 654 1 - 0.0000 -
1246.70/1250.45 c 1250 52062 662 1 - 0.0000 -
1252.39/1256.12 c 1256 52283 665 1 - 0.0000 -
1257.66/1261.48 c 1261 52492 677 1 - 0.0000 -
1262.95/1266.74 c 1267 52639 712 1 - 0.0000 -
1268.13/1271.96 c 1272 52832 730 1 - 0.0000 -
1273.33/1277.16 c 1277 53015 723 1 - 0.0000 -
1278.70/1282.50 c 1282 53213 737 1 - 0.0000 -
1283.78/1287.67 c 1288 53429 749 1 - 0.0000 -
1288.97/1292.86 c 1293 53679 754 1 - 0.0000 -
1294.16/1298.01 c 1298 53864 758 1 - 0.0000 -
1299.25/1303.11 c 1303 54112 754 1 - 0.0000 -
1304.62/1308.55 c 1309 54312 773 1 - 0.0000 -
1309.81/1313.79 c 1314 54539 768 1 - 0.0000 -
1315.21/1319.12 c 1319 54730 776 1 - 0.0000 -
1320.48/1324.45 c 1324 54914 782 1 - 0.0000 -
1325.57/1329.57 c 1330 55139 786 1 - 0.0000 -
1331.16/1335.13 c 1335 55306 790 1 - 0.0000 -
1336.15/1340.19 c 1340 55493 790 1 - 0.0000 -
1341.23/1345.29 c 1345 55685 797 1 - 0.0000 -
1346.51/1350.58 c 1351 55926 806 1 - 0.0000 -
1351.89/1355.99 c 1356 56110 812 1 - 0.0000 -
1357.09/1361.15 c 1361 56289 814 1 - 0.0000 -
1362.26/1366.32 c 1366 56472 823 1 - 0.0000 -
1367.45/1371.54 c 1372 56633 841 1 - 0.0000 -
1372.73/1376.88 c 1377 56789 843 1 - 0.0000 -
1378.42/1382.55 c 1383 56998 856 1 - 0.0000 -
1384.02/1388.13 c 1388 57176 870 1 - 0.0000 -
1389.19/1393.39 c 1393 57326 891 1 - 0.0000 -
1394.68/1398.87 c 1399 57511 898 1 - 0.0000 -
1399.97/1404.16 c 1404 57755 906 1 - 0.0000 -
1405.05/1409.23 c 1409 57987 905 1 - 0.0000 -
1410.23/1414.47 c 1414 58202 902 1 - 0.0000 -
1415.82/1420.03 c 1420 58404 924 1 - 0.0000 -
1421.10/1425.33 c 1425 58622 928 1 - 0.0000 -
1426.58/1430.82 c 1431 58828 929 1 - 0.0000 -
1431.78/1436.03 c 1436 59040 937 1 - 0.0000 -
1436.77/1441.11 c 1441 59183 955 1 - 0.0000 -
1442.14/1446.43 c 1446 59370 967 1 - 0.0000 -
1447.13/1451.47 c 1451 59560 985 1 - 0.0000 -
1452.31/1456.66 c 1457 59760 995 1 - 0.0000 -
1457.40/1461.72 c 1462 59960 1003 1 - 0.0000 -
1462.79/1467.18 c 1467 60149 1014 1 - 0.0000 -
1468.16/1472.53 c 1473 60304 1026 1 - 0.0000 -
1473.35/1477.71 c 1478 60513 1037 1 - 0.0000 -
1478.75/1483.14 c 1483 60715 1046 1 - 0.0000 -
1483.73/1488.19 c 1488 60957 1034 1 - 0.0000 -
1488.91/1493.33 c 1493 61175 1052 1 - 0.0000 -
1493.99/1498.41 c 1498 61437 1039 1 - 0.0000 -
1499.08/1503.51 c 1504 61590 1059 1 - 0.0000 -
1504.26/1508.76 c 1509 61847 1080 1 - 0.0000 -
1509.35/1513.85 c 1514 62098 1076 1 - 0.0000 -
1514.55/1519.01 c 1519 62355 1074 1 - 0.0000 -
1519.82/1524.31 c 1524 62534 1088 1 - 0.0000 -
1524.90/1529.48 c 1529 62777 1084 1 - 0.0000 -
1530.09/1534.63 c 1535 63026 1123 1 - 0.0000 -
1535.18/1539.76 c 1540 63293 1090 1 - 0.0000 -
1540.58/1545.18 c 1545 63507 1095 1 - 0.0000 -
1545.75/1550.31 c 1550 63679 1107 1 - 0.0000 -
1551.13/1555.76 c 1556 63882 1116 1 - 0.0000 -
1556.22/1560.87 c 1561 64072 1123 1 - 0.0000 -
1561.41/1566.10 c 1566 64264 1126 1 - 0.0000 -
1566.59/1571.20 c 1571 64516 1122 1 - 0.0000 -
1571.57/1576.28 c 1576 64743 1114 1 - 0.0000 -
1576.86/1581.59 c 1582 64955 1111 1 - 0.0000 -
1582.14/1586.88 c 1587 65147 1115 1 - 0.0000 -
1587.34/1592.10 c 1592 65358 1113 1 - 0.0000 -
1592.42/1597.15 c 1597 65541 1113 1 - 0.0000 -
1597.50/1602.26 c 1602 65751 1130 1 - 0.0000 -
1603.19/1608.01 c 1608 65897 1144 1 - 0.0000 -
1608.28/1613.08 c 1613 66165 1145 1 - 0.0000 -
1613.37/1618.20 c 1618 66320 1178 1 - 0.0000 -
1618.54/1623.37 c 1623 66561 1173 1 - 0.0000 -
1623.62/1628.45 c 1628 66761 1181 1 - 0.0000 -
1629.11/1634.01 c 1634 66967 1191 1 - 0.0000 -
1634.40/1639.22 c 1639 67157 1206 1 - 0.0000 -
1639.58/1644.48 c 1644 67320 1227 1 - 0.0000 -
1644.67/1649.59 c 1650 67543 1223 1 - 0.0000 -
1649.86/1654.76 c 1655 67731 1223 1 - 0.0000 -
1655.15/1660.05 c 1660 67907 1259 1 - 0.0000 -
1660.24/1665.13 c 1665 68098 1278 1 - 0.0000 -
1665.41/1670.39 c 1670 68289 1284 1 - 0.0000 -
1670.60/1675.53 c 1676 68529 1283 1 - 0.0000 -
1675.78/1680.71 c 1681 68754 1298 1 - 0.0000 -
1680.87/1685.88 c 1686 69022 1295 1 - 0.0000 -
1686.45/1691.42 c 1691 69265 1295 1 - 0.0000 -
1691.54/1696.53 c 1697 69484 1296 1 - 0.0000 -
1696.62/1701.60 c 1702 69760 1289 1 - 0.0000 -
1701.91/1706.99 c 1707 69942 1307 1 - 0.0000 -
1707.00/1712.07 c 1712 70170 1297 1 - 0.0000 -
1712.08/1717.19 c 1717 70375 1306 1 - 0.0000 -
1717.16/1722.28 c 1722 70639 1314 1 - 0.0000 -
1722.35/1727.41 c 1727 70913 1309 1 - 0.0000 -
1727.44/1732.50 c 1732 71136 1305 1 - 0.0000 -
1732.62/1737.73 c 1738 71365 1305 1 - 0.0000 -
1738.02/1743.13 c 1743 71566 1310 1 - 0.0000 -
1743.19/1748.35 c 1748 71804 1306 1 - 0.0000 -
1748.27/1753.47 c 1753 72051 1310 1 - 0.0000 -
1753.36/1758.56 c 1759 72306 1323 1 - 0.0000 -
1758.64/1763.81 c 1764 72522 1330 1 - 0.0000 -
1763.73/1768.93 c 1769 72742 1343 1 - 0.0000 -
1768.84/1774.10 c 1774 72978 1336 1 - 0.0000 -
1774.11/1779.31 c 1779 73165 1344 1 - 0.0000 -
1779.20/1784.46 c 1784 73408 1344 1 - 0.0000 -
1784.39/1789.69 c 1790 73676 1344 1 - 0.0000 -
1789.67/1794.97 c 1795 73823 1345 1 - 0.0000 -
1794.77/1800.08 c 1800 74044 1346 1 - 0.0000 -
1799.85/1805.17 c 1805 74252 1354 1 - 0.0000 -
1805.03/1810.33 c 1810 74494 1353 1 - 0.0000 -
1810.21/1815.54 c 1816 74740 1352 1 - 0.0000 -
1815.30/1820.67 c 1821 74971 1346 1 - 0.0000 -
1820.59/1825.94 c 1826 75200 1343 1 - 0.0000 -
1825.87/1831.29 c 1831 75399 1340 1 - 0.0000 -
1830.96/1836.38 c 1836 75640 1332 1 - 0.0000 -
1836.05/1841.48 c 1841 75846 1339 1 - 0.0000 -
1841.13/1846.57 c 1847 76034 1361 1 - 0.0000 -
1846.22/1851.65 c 1852 76263 1361 1 - 0.0000 -
1851.30/1856.73 c 1857 76502 1362 1 - 0.0000 -
1856.38/1861.89 c 1862 76714 1362 1 - 0.0000 -
1861.78/1867.20 c 1867 76937 1379 1 - 0.0000 -
1866.76/1872.28 c 1872 77195 1377 1 - 0.0000 -
1872.35/1877.88 c 1878 77392 1370 1 - 0.0000 -
1877.54/1883.04 c 1883 77629 1364 1 - 0.0000 -
1882.53/1888.11 c 1888 77845 1367 1 - 0.0000 -
1887.90/1893.48 c 1893 78044 1381 1 - 0.0000 -
1893.09/1898.69 c 1899 78277 1381 1 - 0.0000 -
1898.28/1903.82 c 1904 78530 1390 1 - 0.0000 -
1903.27/1908.86 c 1909 78823 1397 1 - 0.0000 -
1908.35/1913.96 c 1914 79112 1391 1 - 0.0000 -
1913.55/1919.16 c 1919 79389 1387 1 - 0.0000 -
1918.72/1924.37 c 1924 79613 1393 1 - 0.0000 -
1923.91/1929.56 c 1930 79804 1404 1 - 0.0000 -
1931.69/1937.30 c 1937 80044 1400 1 - 0.0000 -
1936.68/1942.36 c 1942 80300 1405 1 - 0.0000 -
1941.76/1947.48 c 1947 80481 1408 1 - 0.0000 -
1946.85/1952.53 c 1953 80656 1433 1 - 0.0000 -
1952.23/1957.98 c 1958 80916 1443 1 - 0.0000 -
1957.33/1963.10 c 1963 81162 1441 1 - 0.0000 -
1962.50/1968.22 c 1968 81402 1442 1 - 0.0000 -
1967.60/1973.32 c 1973 81667 1444 1 - 0.0000 -
1972.68/1978.43 c 1978 81892 1438 1 - 0.0000 -
1977.77/1983.51 c 1984 82149 1442 1 - 0.0000 -
1982.95/1988.76 c 1989 82335 1449 1 - 0.0000 -
1988.14/1994.01 c 1994 82550 1466 1 - 0.0000 -
1993.42/1999.28 c 1999 82771 1462 1 - 0.0000 -
1998.71/2004.58 c 2005 83002 1459 1 - 0.0000 -
2003.80/2009.68 c 2010 83257 1459 1 - 0.0000 -
2009.38/2015.20 c 2015 83493 1469 1 - 0.0000 -
2014.46/2020.30 c 2020 83781 1459 1 - 0.0000 -
2020.35/2026.23 c 2026 84030 1464 1 - 0.0000 -
2025.43/2031.38 c 2031 84242 1465 1 - 0.0000 -
2030.52/2036.46 c 2036 84475 1474 1 - 0.0000 -
2035.71/2041.60 c 2042 84716 1472 1 - 0.0000 -
2041.69/2047.60 c 2048 84862 1485 1 - 0.0000 -
2047.08/2053.04 c 2053 85057 1498 1 - 0.0000 -
2052.17/2058.15 c 2058 85283 1495 1 - 0.0000 -
2057.24/2063.27 c 2063 85518 1497 1 - 0.0000 -
2062.42/2068.49 c 2068 85752 1501 1 - 0.0000 -
2067.62/2073.62 c 2074 85968 1513 1 - 0.0000 -
2072.90/2078.93 c 2079 86180 1519 1 - 0.0000 -
2078.78/2084.81 c 2085 86456 1523 1 - 0.0000 -
2083.87/2089.96 c 2090 86709 1523 1 - 0.0000 -
2088.96/2095.06 c 2095 86946 1524 1 - 0.0000 -
2094.24/2100.31 c 2100 87174 1536 1 - 0.0000 -
2099.33/2105.41 c 2105 87378 1544 1 - 0.0000 -
2104.51/2110.60 c 2111 87623 1542 1 - 0.0000 -
2109.60/2115.72 c 2116 87848 1543 1 - 0.0000 -
2114.68/2120.80 c 2121 88095 1542 1 - 0.0000 -
2120.07/2126.20 c 2126 88362 1549 1 - 0.0000 -
2125.26/2131.41 c 2131 88631 1552 1 - 0.0000 -
2130.24/2136.49 c 2136 88870 1551 1 - 0.0000 -
2135.33/2141.56 c 2142 89094 1561 1 - 0.0000 -
2140.71/2146.95 c 2147 89312 1563 1 - 0.0000 -
2145.81/2152.04 c 2152 89484 1582 1 - 0.0000 -
2150.90/2157.13 c 2157 89757 1577 1 - 0.0000 -
2156.67/2162.91 c 2163 89972 1586 1 - 0.0000 -
2161.65/2167.96 c 2168 90180 1587 1 - 0.0000 -
2166.74/2173.02 c 2173 90409 1589 1 - 0.0000 -
2171.84/2178.14 c 2178 90610 1594 1 - 0.0000 -
2176.91/2183.26 c 2183 90802 1608 1 - 0.0000 -
2181.99/2188.33 c 2188 91025 1608 1 - 0.0000 -
2187.18/2193.51 c 2194 91203 1611 1 - 0.0000 -
2192.36/2198.71 c 2199 91396 1625 1 - 0.0000 -
2197.84/2204.20 c 2204 91553 1633 1 - 0.0000 -
2202.93/2209.39 c 2209 91766 1636 1 - 0.0000 -
2208.31/2214.76 c 2215 91982 1645 1 - 0.0000 -
2213.61/2220.10 c 2220 92227 1649 1 - 0.0000 -
2218.78/2225.21 c 2225 92469 1649 1 - 0.0000 -
2223.77/2230.29 c 2230 92695 1645 1 - 0.0000 -
2228.86/2235.38 c 2235 92915 1643 1 - 0.0000 -
2233.94/2240.49 c 2240 93137 1631 1 - 0.0000 -
2239.03/2245.57 c 2246 93322 1637 1 - 0.0000 -
2244.52/2251.04 c 2251 93575 1627 1 - 0.0000 -
2249.79/2256.37 c 2256 93800 1629 1 - 0.0000 -
2254.88/2261.43 c 2261 94034 1629 1 - 0.0000 -
2260.16/2266.72 c 2267 94257 1633 1 - 0.0000 -
2265.16/2271.77 c 2272 94482 1629 1 - 0.0000 -
2270.34/2276.94 c 2277 94694 1634 1 - 0.0000 -
2275.62/2282.29 c 2282 94909 1634 1 - 0.0000 -
2280.80/2287.47 c 2287 95135 1636 1 - 0.0000 -
2286.00/2292.67 c 2293 95360 1635 1 - 0.0000 -
2292.88/2299.54 c 2300 95570 1638 1 - 0.0000 -
2298.16/2304.85 c 2305 95782 1647 1 - 0.0000 -
2303.25/2309.93 c 2310 96016 1643 1 - 0.0000 -
2308.44/2315.14 c 2315 96235 1648 1 - 0.0000 -
2313.52/2320.21 c 2320 96469 1642 1 - 0.0000 -
2318.60/2325.37 c 2325 96694 1648 1 - 0.0000 -
2323.88/2330.63 c 2331 96903 1657 1 - 0.0000 -
2328.97/2335.73 c 2336 97081 1680 1 - 0.0000 -
2334.07/2340.82 c 2341 97355 1682 1 - 0.0000 -
2339.05/2345.89 c 2346 97624 1678 1 - 0.0000 -
2344.14/2350.98 c 2351 97877 1678 1 - 0.0000 -
2349.24/2356.05 c 2356 98100 1667 1 - 0.0000 -
2354.51/2361.33 c 2361 98353 1661 1 - 0.0000 -
2359.60/2366.46 c 2366 98528 1679 1 - 0.0000 -
2364.68/2371.53 c 2372 98722 1683 1 - 0.0000 -
2369.77/2376.63 c 2377 98968 1686 1 - 0.0000 -
2374.96/2381.88 c 2382 99215 1692 1 - 0.0000 -
2380.26/2387.19 c 2387 99462 1703 1 - 0.0000 -
2385.43/2392.31 c 2392 99745 1700 1 - 0.0000 -
2390.41/2397.37 c 2397 100018 1686 1 - 0.0000 -
2396.91/2403.84 c 2404 100228 1684 1 - 0.0000 -
2402.10/2409.08 c 2409 100437 1693 1 - 0.0000 -
2407.28/2414.20 c 2414 100673 1687 1 - 0.0000 -
2412.46/2419.46 c 2419 100903 1686 1 - 0.0000 -
2417.55/2424.55 c 2425 101124 1699 1 - 0.0000 -
2422.73/2429.75 c 2430 101328 1704 1 - 0.0000 -
2427.92/2434.96 c 2435 101571 1710 1 - 0.0000 -
2433.01/2440.05 c 2440 101841 1708 1 - 0.0000 -
2438.10/2445.15 c 2445 102050 1709 1 - 0.0000 -
2443.67/2450.72 c 2451 102202 1722 1 - 0.0000 -
2448.76/2455.86 c 2456 102407 1729 1 - 0.0000 -
2453.84/2460.96 c 2461 102625 1733 1 - 0.0000 -
2458.94/2466.07 c 2466 102872 1734 1 - 0.0000 -
2464.11/2471.29 c 2471 103086 1744 1 - 0.0000 -
2469.20/2476.38 c 2476 103320 1742 1 - 0.0000 -
2474.28/2481.48 c 2481 103554 1740 1 - 0.0000 -
2479.37/2486.57 c 2487 103788 1734 1 - 0.0000 -
2484.65/2491.80 c 2492 103993 1744 1 - 0.0000 -
2489.64/2496.86 c 2497 104267 1740 1 - 0.0000 -
2494.95/2502.17 c 2502 104450 1749 1 - 0.0000 -
2500.12/2507.30 c 2507 104672 1754 1 - 0.0000 -
2505.21/2512.44 c 2512 104912 1751 1 - 0.0000 -
2510.29/2517.51 c 2518 105092 1755 1 - 0.0000 -
2515.38/2522.65 c 2523 105321 1751 1 - 0.0000 -
2520.47/2527.76 c 2528 105573 1745 1 - 0.0000 -
2525.77/2533.04 c 2533 105836 1744 1 - 0.0000 -
2530.85/2538.12 c 2538 106075 1746 1 - 0.0000 -
2536.13/2543.45 c 2543 106295 1752 1 - 0.0000 -
2541.21/2548.50 c 2549 106555 1753 1 - 0.0000 -
2546.29/2553.60 c 2554 106799 1748 1 - 0.0000 -
2551.28/2558.69 c 2559 107051 1756 1 - 0.0000 -
2556.47/2563.88 c 2564 107261 1759 1 - 0.0000 -
2561.66/2569.08 c 2569 107477 1773 1 - 0.0000 -
2566.83/2574.29 c 2574 107695 1783 1 - 0.0000 -
2572.52/2579.95 c 2580 107861 1781 1 - 0.0000 -
2577.61/2585.07 c 2585 108106 1779 1 - 0.0000 -
2582.78/2590.24 c 2590 108323 1778 1 - 0.0000 -
2587.97/2595.43 c 2595 108523 1786 1 - 0.0000 -
2592.95/2600.49 c 2600 108744 1785 1 - 0.0000 -
2598.14/2605.65 c 2606 109004 1792 1 - 0.0000 -
2603.54/2611.03 c 2611 109255 1781 1 - 0.0000 -
2608.53/2616.09 c 2616 109527 1779 1 - 0.0000 -
2613.62/2621.17 c 2621 109765 1781 1 - 0.0000 -
2618.69/2626.24 c 2626 110013 1782 1 - 0.0000 -
2623.77/2631.31 c 2631 110246 1776 1 - 0.0000 -
2629.06/2636.68 c 2637 110468 1777 1 - 0.0000 -
2634.24/2641.86 c 2642 110655 1781 1 - 0.0000 -
2639.44/2647.04 c 2647 110873 1794 1 - 0.0000 -
2644.82/2652.43 c 2652 111062 1807 1 - 0.0000 -
2649.90/2657.59 c 2658 111307 1812 1 - 0.0000 -
2654.98/2662.65 c 2663 111514 1826 1 - 0.0000 -
2660.58/2668.22 c 2668 111786 1818 1 - 0.0000 -
2665.76/2673.49 c 2674 112005 1822 1 - 0.0000 -
2670.95/2678.63 c 2679 112238 1820 1 - 0.0000 -
2676.23/2683.95 c 2684 112454 1823 1 - 0.0000 -
2681.33/2689.04 c 2689 112699 1828 1 - 0.0000 -
2686.60/2694.31 c 2694 112913 1834 1 - 0.0000 -
2691.68/2699.40 c 2699 113127 1842 1 - 0.0000 -
2696.68/2704.45 c 2704 113337 1851 1 - 0.0000 -
2701.76/2709.58 c 2710 113574 1860 1 - 0.0000 -
2706.85/2714.65 c 2715 113835 1846 1 - 0.0000 -
2711.94/2719.75 c 2720 114109 1845 1 - 0.0000 -
2717.03/2724.86 c 2725 114356 1842 1 - 0.0000 -
2722.33/2730.17 c 2730 114633 1834 1 - 0.0000 -
2727.50/2735.34 c 2735 114853 1830 1 - 0.0000 -
2733.30/2741.18 c 2741 115103 1830 1 - 0.0000 -
2738.37/2746.28 c 2746 115309 1839 1 - 0.0000 -
2743.46/2751.37 c 2751 115563 1826 1 - 0.0000 -
2748.55/2756.43 c 2756 115839 1821 1 - 0.0000 -
2754.15/2762.10 c 2762 115924 1820 1 - 0.0000 -
2759.32/2767.25 c 2767 116180 1819 1 - 0.0000 -
2764.41/2772.32 c 2772 116460 1823 1 - 0.0000 -
2769.41/2777.39 c 2777 116696 1820 1 - 0.0000 -
2774.60/2782.58 c 2783 116954 1816 1 - 0.0000 -
2779.68/2787.65 c 2788 117221 1809 1 - 0.0000 -
2784.77/2792.71 c 2793 117448 1814 1 - 0.0000 -
2789.85/2797.84 c 2798 117652 1831 1 - 0.0000 -
2794.94/2802.91 c 2803 117907 1823 1 - 0.0000 -
2799.92/2807.97 c 2808 118128 1830 1 - 0.0000 -
2805.21/2813.23 c 2813 118357 1822 1 - 0.0000 -
2810.29/2818.35 c 2818 118594 1831 1 - 0.0000 -
2815.38/2823.45 c 2823 118820 1835 1 - 0.0000 -
2820.46/2828.53 c 2829 119042 1828 1 - 0.0000 -
2825.74/2833.88 c 2834 119245 1840 1 - 0.0000 -
2831.04/2839.12 c 2839 119456 1840 1 - 0.0000 -
2836.42/2844.57 c 2845 119680 1849 1 - 0.0000 -
2841.51/2849.65 c 2850 119935 1846 1 - 0.0000 -
2846.59/2854.78 c 2855 120168 1842 1 - 0.0000 -
2851.67/2859.86 c 2860 120413 1836 1 - 0.0000 -
2856.75/2864.99 c 2865 120632 1839 1 - 0.0000 -
2861.84/2870.08 c 2870 120895 1832 1 - 0.0000 -
2866.93/2875.13 c 2875 121094 1830 1 - 0.0000 -
2872.00/2880.24 c 2880 121367 1824 1 - 0.0000 -
2877.28/2885.56 c 2886 121542 1838 1 - 0.0000 -
2882.38/2890.66 c 2891 121804 1834 1 - 0.0000 -
2887.56/2895.85 c 2896 122005 1842 1 - 0.0000 -
2892.64/2900.96 c 2901 122243 1841 1 - 0.0000 -
2897.74/2906.03 c 2906 122452 1846 1 - 0.0000 -
2902.82/2911.11 c 2911 122677 1851 1 - 0.0000 -
2907.80/2916.19 c 2916 122946 1843 1 - 0.0000 -
2913.47/2921.89 c 2922 123176 1849 1 - 0.0000 -
2918.55/2926.96 c 2927 123409 1848 1 - 0.0000 -
2923.64/2932.02 c 2932 123659 1845 1 - 0.0000 -
2928.72/2937.12 c 2937 123912 1842 1 - 0.0000 -
2933.89/2942.35 c 2942 124070 1835 1 - 0.0000 -
2939.07/2947.52 c 2948 124282 1837 1 - 0.0000 -
2944.06/2952.59 c 2953 124559 1827 1 - 0.0000 -
2949.24/2957.74 c 2958 124791 1825 1 - 0.0000 -
2954.42/2963.01 c 2963 124991 1829 1 - 0.0000 -
2959.79/2968.38 c 2968 125186 1837 1 - 0.0000 -
2964.87/2973.43 c 2973 125394 1843 1 - 0.0000 -
2969.86/2978.49 c 2978 125627 1838 1 - 0.0000 -
2975.04/2983.61 c 2984 125882 1831 1 - 0.0000 -
2980.04/2988.69 c 2989 126142 1824 1 - 0.0000 -
2985.62/2994.20 c 2994 126381 1820 1 - 0.0000 -
2990.61/2999.29 c 2999 126623 1817 1 - 0.0000 -
2995.99/3004.64 c 3005 126844 1812 1 - 0.0000 -
3001.08/3009.72 c 3010 127084 1811 1 - 0.0000 -
3006.16/3014.81 c 3015 127341 1792 1 - 0.0000 -
3011.24/3019.95 c 3020 127551 1795 1 - 0.0000 -
3016.34/3025.06 c 3025 127792 1794 1 - 0.0000 -
3021.42/3030.16 c 3030 128012 1792 1 - 0.0000 -
3026.50/3035.23 c 3035 128248 1792 1 - 0.0000 -
3031.68/3040.45 c 3040 128445 1799 1 - 0.0000 -
3036.96/3045.79 c 3046 128665 1798 1 - 0.0000 -
3043.04/3051.80 c 3052 128825 1798 1 - 0.0000 -
3048.02/3056.87 c 3057 129054 1799 1 - 0.0000 -
3053.10/3061.96 c 3062 129306 1794 1 - 0.0000 -
3058.19/3067.07 c 3067 129541 1790 1 - 0.0000 -
3063.28/3072.18 c 3072 129810 1788 1 - 0.0000 -
3068.35/3077.28 c 3077 130007 1797 1 - 0.0000 -
3073.54/3082.41 c 3082 130232 1800 1 - 0.0000 -
3078.53/3087.48 c 3087 130490 1804 1 - 0.0000 -
3083.72/3092.62 c 3093 130744 1793 1 - 0.0000 -
3088.71/3097.69 c 3098 130984 1793 1 - 0.0000 -
3093.89/3102.82 c 3103 131227 1796 1 - 0.0000 -
3098.98/3107.90 c 3108 131484 1794 1 - 0.0000 -
3104.56/3113.50 c 3114 131672 1790 1 - 0.0000 -
3109.64/3118.64 c 3119 131891 1793 1 - 0.0000 -
3114.93/3123.94 c 3124 132112 1798 1 - 0.0000 -
3120.12/3129.19 c 3129 132369 1791 1 - 0.0000 -
3125.20/3134.29 c 3134 132578 1793 1 - 0.0000 -
3130.29/3139.37 c 3139 132825 1784 1 - 0.0000 -
3135.37/3144.45 c 3144 133024 1792 1 - 0.0000 -
3140.66/3149.70 c 3150 133270 1791 1 - 0.0000 -
3145.75/3154.81 c 3155 133523 1797 1 - 0.0000 -
3150.84/3159.95 c 3160 133809 1797 1 - 0.0000 -
3155.92/3165.05 c 3165 134053 1789 1 - 0.0000 -
3160.91/3170.09 c 3170 134281 1784 1 - 0.0000 -
3166.00/3175.19 c 3175 134535 1780 1 - 0.0000 -
3171.07/3180.28 c 3180 134786 1773 1 - 0.0000 -
3176.16/3185.36 c 3185 135070 1773 1 - 0.0000 -
3181.35/3190.56 c 3191 135194 1777 1 - 0.0000 -
3186.44/3195.67 c 3196 135405 1787 1 - 0.0000 -
3191.73/3200.93 c 3201 135654 1792 1 - 0.0000 -
3196.82/3206.05 c 3206 135872 1793 1 - 0.0000 -
3201.91/3211.13 c 3211 136121 1787 1 - 0.0000 -
3206.98/3216.28 c 3216 136342 1795 1 - 0.0000 -
3212.07/3221.36 c 3221 136590 1793 1 - 0.0000 -
3217.16/3226.42 c 3226 136870 1786 1 - 0.0000 -
3222.26/3231.50 c 3232 137141 1783 1 - 0.0000 -
3227.45/3236.70 c 3237 137377 1779 1 - 0.0000 -
3232.43/3241.77 c 3242 137634 1782 1 - 0.0000 -
3237.62/3246.95 c 3247 137880 1777 1 - 0.0000 -
3242.72/3252.03 c 3252 138126 1776 1 - 0.0000 -
3247.81/3257.16 c 3257 138383 1778 1 - 0.0000 -
3253.18/3262.59 c 3263 138602 1772 1 - 0.0000 -
3258.36/3267.71 c 3268 138845 1777 1 - 0.0000 -
3263.66/3273.05 c 3273 139103 1779 1 - 0.0000 -
3268.75/3278.11 c 3278 139367 1779 1 - 0.0000 -
3273.82/3283.28 c 3283 139575 1771 1 - 0.0000 -
3279.01/3288.41 c 3288 139842 1767 1 - 0.0000 -
3284.30/3293.70 c 3294 140066 1766 1 - 0.0000 -
3289.38/3298.87 c 3299 140298 1759 1 - 0.0000 -
3294.47/3303.97 c 3304 140533 1753 1 - 0.0000 -
3300.05/3309.52 c 3310 140718 1761 1 - 0.0000 -
3305.04/3314.59 c 3315 140940 1759 1 - 0.0000 -
3310.13/3319.67 c 3320 141177 1758 1 - 0.0000 -
3315.22/3324.77 c 3325 141426 1751 1 - 0.0000 -
3320.30/3329.84 c 3330 141664 1747 1 - 0.0000 -
3325.89/3335.41 c 3335 141813 1753 1 - 0.0000 -
3330.88/3340.49 c 3340 142072 1747 1 - 0.0000 -
3335.96/3345.58 c 3346 142321 1753 1 - 0.0000 -
3341.05/3350.66 c 3351 142571 1752 1 - 0.0000 -
3346.14/3355.75 c 3356 142834 1752 1 - 0.0000 -
3351.23/3360.82 c 3361 143086 1753 1 - 0.0000 -
3356.22/3365.88 c 3366 143309 1758 1 - 0.0000 -
3361.51/3371.11 c 3371 143550 1765 1 - 0.0000 -
3366.79/3376.45 c 3376 143792 1767 1 - 0.0000 -
3372.39/3382.08 c 3382 144019 1774 1 - 0.0000 -
3377.48/3387.18 c 3387 144241 1769 1 - 0.0000 -
3382.55/3392.25 c 3392 144481 1763 1 - 0.0000 -
3387.63/3397.36 c 3397 144743 1760 1 - 0.0000 -
3392.92/3402.62 c 3403 144986 1760 1 - 0.0000 -
3398.00/3407.72 c 3408 145248 1752 1 - 0.0000 -
3402.99/3412.79 c 3413 145459 1749 1 - 0.0000 -
3408.40/3418.16 c 3418 145683 1747 1 - 0.0000 -
3413.47/3423.29 c 3423 145893 1751 1 - 0.0000 -
3418.65/3428.40 c 3428 146134 1742 1 - 0.0000 -
3423.74/3433.60 c 3434 146373 1741 1 - 0.0000 -
3428.92/3438.79 c 3439 146618 1743 1 - 0.0000 -
3434.22/3444.03 c 3444 146894 1744 1 - 0.0000 -
3440.59/3450.48 c 3450 147134 1738 1 - 0.0000 -
3445.77/3455.64 c 3456 147385 1738 1 - 0.0000 -
3450.87/3460.73 c 3461 147642 1737 1 - 0.0000 -
3455.95/3465.82 c 3466 147884 1745 1 - 0.0000 -
3461.04/3470.90 c 3471 148136 1738 1 - 0.0000 -
3466.14/3476.07 c 3476 148346 1740 1 - 0.0000 -
3471.41/3481.39 c 3481 148585 1744 1 - 0.0000 -
3476.60/3486.55 c 3487 148832 1743 1 - 0.0000 -
3481.69/3491.65 c 3492 149082 1730 1 - 0.0000 -
3486.77/3496.72 c 3497 149337 1724 1 - 0.0000 -
3491.85/3501.81 c 3502 149606 1714 1 - 0.0000 -
3496.94/3506.90 c 3507 149833 1712 1 - 0.0000 -
3502.32/3512.38 c 3512 150038 1708 1 - 0.0000 -
3508.20/3518.22 c 3518 150273 1704 1 - 0.0000 -
3513.29/3523.32 c 3523 150515 1708 1 - 0.0000 -
3518.37/3528.43 c 3528 150774 1701 1 - 0.0000 -
3523.47/3533.54 c 3534 151015 1690 1 - 0.0000 -
3528.65/3538.79 c 3539 151281 1688 1 - 0.0000 -
3533.74/3543.88 c 3544 151515 1691 1 - 0.0000 -
3540.61/3550.73 c 3551 151743 1685 1 - 0.0000 -
3545.70/3555.82 c 3556 151978 1694 1 - 0.0000 -
3550.69/3560.89 c 3561 152193 1708 1 - 0.0000 -
3555.99/3566.13 c 3566 152455 1713 1 - 0.0000 -
3561.06/3571.21 c 3571 152713 1710 1 - 0.0000 -
3566.14/3576.34 c 3576 152969 1705 1 - 0.0000 -
3571.33/3581.52 c 3582 153220 1697 1 - 0.0000 -
3576.42/3586.62 c 3587 153443 1691 1 - 0.0000 -
3581.60/3591.80 c 3592 153704 1687 1 - 0.0000 -
3586.59/3596.88 c 3597 153959 1683 1 - 0.0000 -
3589.79/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.79/3600.07 c Total Time : 3600.0600
3589.79/3600.07 c solving : 3600.0600
3589.79/3600.07 c presolving : 0.6385 (included in solving)
3589.79/3600.07 c B&B Tree :
3589.79/3600.07 c nodes (total) : 1
3589.79/3600.07 c Solution :
3589.79/3600.07 c Solutions found : 0
3589.79/3600.07 c Primal Bound : -
3589.79/3600.07 c Dual Bound : +0.00000000000000e+00
3589.79/3600.07 c Gap : -
3589.79/3600.07 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 (58993 MiB free)
memory of node 1: 64473 MiB (61295 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452160-1721428805/watcher-4452160-1721428805 -o /tmp/evaluation-result-4452160-1721428805/solver-4452160-1721428805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033551 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452160-1721428805.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=1038843, runsolver pid=1038840
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.14 4.18 4.19 5/247 1038844
/proc/meminfo: memFree=123150960/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=39668 memory=29076 CPUtime=0.1 cores=1,3
/proc/1038843/stat : 1038843 (fscip) R 1038840 1038843 1033539 0 -1 4194304 5343 0 0 0 10 0 0 0 20 0 1 0 195039313 40620032 7269 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 9917 7269 2670 3032 0 6317 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39668 KiB
Current children cumulated memory: 29076 KiB
[startup+0.212801 s]*
/proc/loadavg: 4.14 4.18 4.19 5/247 1038844
/proc/meminfo: memFree=123139724/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=41868 memory=31100 CPUtime=0.21 cores=1,3
/proc/1038843/stat : 1038843 (fscip) R 1038840 1038843 1033539 0 -1 4194304 5844 0 0 0 21 0 0 0 20 0 1 0 195039313 42872832 7775 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 10467 7775 2718 3032 0 6867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41868 KiB
Current children cumulated memory: 31100 KiB
[startup+0.312796 s]*
/proc/loadavg: 4.14 4.18 4.19 5/247 1038844
/proc/meminfo: memFree=123136560/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=41868 memory=31424 CPUtime=0.31 cores=1,3
/proc/1038843/stat : 1038843 (fscip) R 1038840 1038843 1033539 0 -1 4194304 5876 0 0 0 31 0 0 0 20 0 1 0 195039313 42872832 7856 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 10467 7856 2734 3032 0 6867 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41868 KiB
Current children cumulated memory: 31424 KiB
[startup+0.700369 s]
/proc/loadavg: 4.14 4.18 4.19 5/247 1038844
/proc/meminfo: memFree=123136420/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=137900 memory=48820 CPUtime=0.68 cores=1,3
/proc/1038843/stat : 1038843 (fscip) R 1038840 1038843 1033539 0 -1 4194304 10196 0 0 0 67 1 0 0 20 0 2 0 195039313 141209600 12205 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 34475 12205 2766 3032 0 14523 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137900 KiB
Current children cumulated memory: 48820 KiB
[startup+1.50039 s]
/proc/loadavg: 4.14 4.18 4.19 5/249 1038846
/proc/meminfo: memFree=123089724/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=154332 memory=81964 CPUtime=1.48 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 19494 0 0 0 144 4 0 0 20 0 3 0 195039313 158035968 20491 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 38583 20491 2910 3032 0 25412 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=154332 memory=4344 CPUtime=0.77 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 8843 0 0 0 75 2 0 0 20 0 3 0 195039382 158035968 20491 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=154332 memory=12740 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 195039386 158035968 20491 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 154332 KiB
Current children cumulated memory: 81964 KiB
[startup+3.11269 s]
/proc/loadavg: 4.21 4.19 4.20 5/249 1038846
/proc/meminfo: memFree=123049576/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=159160 memory=108608 CPUtime=3.08 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 29440 0 0 0 303 5 0 0 20 0 3 0 195039313 162979840 27152 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 39790 27152 2926 3032 0 32453 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=159160 memory=29488 CPUtime=2.38 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 18782 0 0 0 235 3 0 0 20 0 3 0 195039382 162979840 27152 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=159160 memory=65196 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 195039386 162979840 27152 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 159160 KiB
Current children cumulated memory: 108608 KiB
[startup+6.30037 s]
/proc/loadavg: 4.21 4.19 4.20 5/249 1038848
/proc/meminfo: memFree=122999760/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=219868 memory=160008 CPUtime=6.27 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 55108 0 0 0 620 7 0 0 20 0 3 0 195039313 225144832 40002 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 54967 40002 2926 3032 0 46882 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=219868 memory=146204 CPUtime=5.55 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 44415 0 0 0 551 4 0 0 20 0 3 0 195039382 225144832 40002 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=219868 memory=0 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 195039386 225144832 40002 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 219868 KiB
Current children cumulated memory: 160008 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.18 4.20 5/247 1038894
/proc/meminfo: memFree=122796744/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=219868 memory=162828 CPUtime=12.65 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 59654 0 0 0 1258 7 0 0 20 0 3 0 195039313 225144832 40707 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 54967 40707 2926 3032 0 47243 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=219868 memory=162828 CPUtime=11.94 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 48948 0 0 0 1189 5 0 0 20 0 3 0 195039382 225144832 40707 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=219868 memory=3762757730025358555 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 195039386 225144832 40707 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219868 KiB
Current children cumulated memory: 162828 KiB
[startup+25.5004 s]
/proc/loadavg: 4.22 4.19 4.20 5/249 1038901
/proc/meminfo: memFree=122458960/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=219868 memory=163620 CPUtime=25.4 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 102368 0 0 0 2530 10 0 0 20 0 3 0 195039313 225144832 40905 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 54967 40905 2990 3032 0 47243 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=219868 memory=163620 CPUtime=24.69 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 91567 0 0 0 2461 8 0 0 20 0 3 0 195039382 225144832 40905 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=219868 memory=0 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 195039386 225144832 40905 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 219868 KiB
Current children cumulated memory: 163620 KiB
[startup+51.1129 s]
/proc/loadavg: 4.14 4.18 4.19 5/249 1038904
/proc/meminfo: memFree=122258060/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=219868 memory=176448 CPUtime=50.93 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 170602 0 0 0 5075 18 0 0 20 0 3 0 195039313 225144832 44112 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 54967 44112 2990 3032 0 50395 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=219868 memory=173704 CPUtime=50.22 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 159693 0 0 0 5007 15 0 0 20 0 3 0 195039382 225144832 44112 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=219868 memory=172980 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 195039386 225144832 44112 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 219868 KiB
Current children cumulated memory: 176448 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.18 5/251 1038914
/proc/meminfo: memFree=121142180/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=285404 memory=201608 CPUtime=101.92 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 249244 0 0 0 10167 25 0 0 20 0 3 0 195039313 292253696 50402 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 71351 50402 2990 3032 0 57048 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=285404 memory=201608 CPUtime=101.21 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 238233 0 0 0 10098 23 0 0 20 0 3 0 195039382 292253696 50402 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=285404 memory=50128 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 195039386 292253696 50402 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 285404 KiB
Current children cumulated memory: 201608 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=1038843] ppid=1038840 vsize=285404 memory=201608 CPUtime=161.72 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 278714 0 0 0 16144 28 0 0 20 0 3 0 195039313 292253696 50402 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 71351 50402 2990 3032 0 57048 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=285404 memory=201608 CPUtime=161 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 267626 0 0 0 16075 25 0 0 20 0 3 0 195039382 292253696 50402 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=285404 memory=201608 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 195039386 292253696 50402 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 285404 KiB
Current children cumulated memory: 201608 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/252 1038936
/proc/meminfo: memFree=121123916/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=285404 memory=201612 CPUtime=221.55 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 294269 0 0 0 22124 31 0 0 20 0 3 0 195039313 292253696 50403 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 71351 50403 2990 3032 0 57048 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=285404 memory=201612 CPUtime=220.82 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 283111 0 0 0 22054 28 0 0 20 0 3 0 195039382 292253696 50403 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=285404 memory=201612 CPUtime=0 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 195039386 292253696 50403 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 285404 KiB
Current children cumulated memory: 201612 KiB
################
# More data... #
################
/proc/1038843/statm: 89845 69980 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=279888 CPUtime=3391.58 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 445964 0 0 0 339060 98 0 0 20 0 3 0 195039382 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=279920 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 242 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.17 6/249 1040791
/proc/meminfo: memFree=119180004/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279920 CPUtime=3452.46 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 459741 0 0 0 345131 115 0 0 20 0 3 0 195039313 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69980 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=279888 CPUtime=3451.41 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 447129 0 0 0 345042 99 0 0 20 0 3 0 195039382 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=279920 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.21 4.18 6/249 1040801
/proc/meminfo: memFree=119178956/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279920 CPUtime=3512.29 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 460927 0 0 0 351113 116 0 0 20 0 3 0 195039313 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69980 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=279920 CPUtime=3511.24 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 448292 0 0 0 351023 101 0 0 20 0 3 0 195039382 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=279920 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 248 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69980 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.75 4.37 4.24 6/249 1040812
/proc/meminfo: memFree=119173864/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3572.12 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462196 0 0 0 357094 118 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=279952 CPUtime=3571.07 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449537 0 0 0 357004 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=5624 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3600.08 s]
# the end of solver process 1038843 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.66 s, system=1.20495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.69 4.36 4.24 6/249 1040814
/proc/meminfo: memFree=119173768/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3573.84 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462196 0 0 0 357265 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=9123871377723847069 CPUtime=3572.78 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449537 0 0 0 357175 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=4196303366748228478 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3590.4 s]
/proc/loadavg: 4.64 4.35 4.23 6/249 1040814
/proc/meminfo: memFree=119173728/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3580.21 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462203 0 0 0 357902 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=279952 CPUtime=3579.14 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449544 0 0 0 357811 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=4916 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3596.8 s]
/proc/loadavg: 4.67 4.36 4.24 6/249 1040815
/proc/meminfo: memFree=119173716/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3586.59 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462252 0 0 0 358540 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=50524 CPUtime=3585.52 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449593 0 0 0 358449 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=279952 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3598.4 s]
/proc/loadavg: 4.53 4.34 4.23 5/240 1040846
/proc/meminfo: memFree=119551608/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3588.18 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462257 0 0 0 358699 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=279952 CPUtime=3587.12 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449598 0 0 0 358609 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=50524 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3599.2 s]
/proc/loadavg: 4.53 4.34 4.23 5/240 1040846
/proc/meminfo: memFree=119551616/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3588.98 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462258 0 0 0 358779 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=-7383225827200243043 CPUtime=3587.91 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449599 0 0 0 358688 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=1471338356517208193 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3588.98 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3599.6 s]
/proc/loadavg: 4.53 4.34 4.23 5/240 1040846
/proc/meminfo: memFree=119551616/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3589.38 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462270 0 0 0 358819 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=2268 CPUtime=3588.31 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449611 0 0 0 358728 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=5532 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3589.38 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
[startup+3600 s]*
/proc/loadavg: 4.53 4.34 4.23 5/240 1040846
/proc/meminfo: memFree=119551600/131655788 swapFree=131071996/131071996
[pid=1038843] ppid=1038840 vsize=359380 memory=279952 CPUtime=3589.79 cores=1,3
/proc/1038843/stat : 1038843 (fscip) S 1038840 1038843 1033539 0 -1 1077936128 462295 0 0 0 358860 119 0 0 20 0 3 0 195039313 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
/proc/1038843/statm: 89845 69988 2990 3032 0 73271 0
[pid=1038843/tid=1038845] ppid=1038840 vsize=359380 memory=-7383225827200243043 CPUtime=3588.72 cores=1,3
/proc/1038843/task/1038845/stat : 1038845 (fscip) R 1038840 1038843 1033539 0 -1 4194368 449634 0 0 0 358769 103 0 0 20 0 3 0 195039382 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
[pid=1038843/tid=1038846] ppid=1038840 vsize=359380 memory=1471338356517208193 CPUtime=0.05 cores=1,3
/proc/1038843/task/1038846/stat : 1038846 (fscip) S 1038840 1038843 1033539 0 -1 1077936192 251 0 0 0 1 4 0 0 20 0 3 0 195039386 368005120 69988 134679101440 4194304 16613245 140725474948448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 30052352 140725474956307 140725474956423 140725474956423 140725474963440 0
Current children cumulated CPU time: 3589.79 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 279952 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3589.87
CPU user time (s): 3588.66
CPU system time (s): 1.20495
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 359380
Max. memory (cumulated for all children) (KiB): 279952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.66
system time used= 1.20495
maximum resident set size= 279952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462913
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= 10593
involuntary context switches= 1260
# summary of solver processes directly reported to runsolver:
# pid: 1038843
# total CPU time (s): 3589.87
# total CPU user time (s): 3588.66
# total CPU system time (s): 1.20495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.03 second user time and 38.05 second system time
The end
Begin job on nodeC005 at 2024-07-20 00:40:17
IDJOB=4452160
IDBENCH=162921
IDSOLVER=3064
FILE ID=nodeC005/4452160-1721428805
RUNJOBID= nodeC005-1721421610-1033551
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-8_6_25.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-4452160-1721428805/watcher-4452160-1721428805 -o /tmp/evaluation-result-4452160-1721428805/solver-4452160-1721428805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033551 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452160-1721428805.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 327700430205073718cfdeea5c9331a0
RANDOM SEED=1691851216
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 : 3672.992
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 : 1284.563
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.317
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.178
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 : 3619.535
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 : 3647.951
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.408
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.322
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: 123179040 kB
MemAvailable: 128703624 kB
Buffers: 543356 kB
Cached: 5762476 kB
SwapCached: 0 kB
Active: 1147300 kB
Inactive: 6627060 kB
Active(anon): 3440 kB
Inactive(anon): 1510984 kB
Active(file): 1143860 kB
Inactive(file): 5116076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57028 kB
Writeback: 0 kB
AnonPages: 1460380 kB
Mapped: 143900 kB
Shmem: 45896 kB
KReclaimable: 209692 kB
Slab: 329348 kB
SReclaimable: 209692 kB
SUnreclaim: 119656 kB
KernelStack: 3968 kB
PageTables: 12344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1093960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1112064 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= 723684 MiB
End job on nodeC005 at 2024-07-20 01:40:17