0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 39714816, getVmSize() = 39714816, SCIPgetMemUsed() = 13247293, SCIPgetMemTotal() = 17828821, SCIPgetMemExternEstim() = 7064717
0.00/0.06 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.78/1.88 c ** Estimated virtualMemUsedAtSolver = 50859606, getVmSize() = 92811264, SCIPgetMemUsed() = 49590884, SCIPgetMemTotal() = 69224692, SCIPgetMemExternEstim() = 7064717
1.78/1.88 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.78/1.88 c Original Problem :
1.78/1.88 c Problem name : instance-4464127-1722382195
1.78/1.88 c Variables : 3216 (3216 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.88 c Constraints : 3658
1.78/1.88 c Objective sense : minimize
1.78/1.88 c Presolved Problem :
1.78/1.88 c Variables : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.88 c Constraints : 830
1.78/1.88 c Constraints : Number
1.78/1.88 c knapsack : 384
1.78/1.88 c setppc : 63
1.78/1.88 c orbitope : 383
1.78/1.88 c ** Instance transfer method used: 0
1.78/1.89 c ** ParaScipInstance copy increased the number of variables. **
1.88/1.91 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.88/1.91 c Nodes Active
1.88/1.91 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.06/6.16 c 6 22 21 1 - 6.0000 -
11.32/11.43 c 11 352 164 1 - 6.0000 -
16.39/16.52 c 17 678 189 1 - 6.0000 -
21.47/21.63 c 22 1098 232 1 - 6.0000 -
26.45/26.68 c 27 1554 269 1 - 6.0000 -
31.52/31.76 c 32 1997 303 1 - 6.0000 -
36.60/36.84 c 37 2390 369 1 - 6.0000 -
41.68/41.92 c 42 2736 410 1 - 6.0000 -
46.65/47.01 c 47 3215 425 1 - 6.0000 -
51.74/52.09 c 52 3605 451 1 - 6.0000 -
56.91/57.22 c 57 4016 475 1 - 6.0000 -
61.98/62.31 c 62 4593 566 1 - 6.0000 -
67.07/67.41 c 67 5066 633 1 - 6.0000 -
72.15/72.51 c 73 5486 685 1 - 6.0000 -
77.23/77.62 c 78 5897 699 1 - 6.0000 -
82.30/82.76 c 83 6334 731 1 - 6.0000 -
87.39/87.89 c 88 6733 803 1 - 6.0000 -
92.47/92.95 c 93 7050 829 1 - 6.0000 -
97.55/98.05 c 98 7467 840 1 - 6.0000 -
102.72/103.21 c 103 7860 907 1 - 6.0000 -
107.80/108.30 c 108 8178 943 1 - 6.0000 -
112.88/113.40 c 113 8551 992 1 - 6.0000 -
117.96/118.51 c 119 8996 1022 1 - 6.0000 -
123.05/123.61 c 124 9379 1057 1 - 6.0000 -
128.12/128.71 c 129 9782 1121 1 - 6.0000 -
133.20/133.81 c 134 10163 1176 1 - 6.0000 -
138.28/138.93 c 139 10523 1231 1 - 6.0000 -
143.38/144.06 c 144 10872 1296 1 - 6.0000 -
148.46/149.14 c 149 11329 1352 1 - 6.0000 -
153.63/154.35 c 154 11835 1417 1 - 6.0000 -
158.72/159.44 c 159 12222 1455 1 - 6.0000 -
163.80/164.55 c 165 12594 1509 1 - 6.0000 -
168.88/169.67 c 170 12982 1587 1 - 6.0000 -
173.96/174.77 c 175 13357 1641 1 - 6.0000 -
179.14/179.97 c 180 13720 1708 1 - 6.0000 -
184.52/185.31 c 185 14115 1761 1 - 6.0000 -
189.60/190.49 c 190 14499 1836 1 - 6.0000 -
194.68/195.58 c 196 14830 1893 1 - 6.0000 -
199.78/200.65 c 201 15273 1958 1 - 6.0000 -
204.95/205.82 c 206 15399 76 1 - 6.0000 -
210.03/210.94 c 211 15685 157 1 - 6.0000 -
215.02/215.99 c 216 16138 193 1 - 6.0000 -
220.10/221.09 c 221 16621 198 1 - 6.0000 -
225.28/226.28 c 226 16863 227 1 - 6.0000 -
230.46/231.47 c 231 17037 284 1 - 6.0000 -
235.74/236.77 c 237 17329 322 1 - 6.0000 -
240.82/241.85 c 242 17663 368 1 - 6.0000 -
246.30/247.36 c 247 17949 405 1 - 6.0000 -
251.38/252.44 c 252 18212 408 1 - 6.0000 -
256.46/257.53 c 258 18544 445 1 - 6.0000 -
261.54/262.66 c 263 18880 464 1 - 6.0000 -
266.73/267.82 c 268 19204 485 1 - 6.0000 -
271.92/273.07 c 273 19653 615 1 - 6.0000 -
276.99/278.18 c 278 20166 737 1 - 6.0000 -
282.06/283.26 c 283 20763 847 1 - 6.0000 -
287.23/288.40 c 288 21285 879 1 - 6.0000 -
292.32/293.52 c 294 21722 959 1 - 6.0000 -
297.40/298.62 c 299 22170 1032 1 - 6.0000 -
302.57/303.85 c 304 22651 1157 1 - 6.0000 -
307.65/308.94 c 309 23114 1259 1 - 6.0000 -
312.74/314.05 c 314 23629 1362 1 - 6.0000 -
317.82/319.11 c 319 24104 1431 1 - 6.0000 -
322.98/324.33 c 324 24614 1527 1 - 6.0000 -
328.06/329.41 c 329 25061 1558 1 - 6.0000 -
333.24/334.63 c 335 25550 1623 1 - 6.0000 -
338.32/339.71 c 340 25984 1676 1 - 6.0000 -
343.30/344.77 c 345 26489 1722 1 - 6.0000 -
348.38/349.84 c 350 26986 1784 1 - 6.0000 -
353.46/354.99 c 355 27415 1815 1 - 6.0000 -
358.55/360.07 c 360 27926 1859 1 - 6.0000 -
363.62/365.17 c 365 28496 1901 1 - 6.0000 -
368.69/370.27 c 370 29192 2019 1 - 6.0000 -
373.77/375.34 c 375 29831 2056 1 - 6.0000 -
378.75/380.39 c 380 30466 2164 1 - 6.0000 -
383.91/385.50 c 386 31072 2245 1 - 6.0000 -
388.90/390.58 c 391 31604 2291 1 - 6.0000 -
394.08/395.70 c 396 32103 2456 1 - 6.0000 -
399.15/400.80 c 401 32722 2543 1 - 6.0000 -
404.14/405.85 c 406 33342 2619 1 - 6.0000 -
409.22/410.91 c 411 33912 2707 1 - 6.0000 -
414.32/416.05 c 416 34509 2767 1 - 6.0000 -
419.40/421.13 c 421 35161 2848 1 - 6.0000 -
424.47/426.23 c 426 35778 2933 1 - 6.0000 -
429.45/431.28 c 431 36376 3061 1 - 6.0000 -
434.54/436.33 c 436 36973 3128 1 - 6.0000 -
439.62/441.40 c 441 37514 3237 1 - 6.0000 -
444.69/446.52 c 447 38015 3289 1 - 6.0000 -
449.87/451.70 c 452 38539 3393 1 - 6.0000 -
454.86/456.76 c 457 39073 3465 1 - 6.0000 -
459.94/461.87 c 462 39614 3549 1 - 6.0000 -
465.32/467.21 c 467 40120 3603 1 - 6.0000 -
470.30/472.26 c 472 40643 3664 1 - 6.0000 -
475.38/477.32 c 477 41157 3693 1 - 6.0000 -
480.36/482.39 c 482 41673 3795 1 - 6.0000 -
485.55/487.54 c 488 42160 3840 1 - 6.0000 -
490.53/492.59 c 493 42717 3883 1 - 6.0000 -
495.61/497.68 c 498 43278 3979 1 - 6.0000 -
500.79/502.81 c 503 43874 4042 1 - 6.0000 -
505.77/507.88 c 508 44351 4113 1 - 6.0000 -
510.86/512.94 c 513 44759 4119 1 - 6.0000 -
515.84/517.99 c 518 45283 4195 1 - 6.0000 -
520.93/523.04 c 523 45985 4321 1 - 6.0000 -
526.01/528.14 c 528 46484 4402 1 - 6.0000 -
531.28/533.42 c 533 46936 4446 1 - 6.0000 -
536.36/538.56 c 539 47519 4510 1 - 6.0000 -
541.44/543.68 c 544 48115 4601 1 - 6.0000 -
546.52/548.76 c 549 48659 4652 1 - 6.0000 -
551.61/553.83 c 554 49187 4742 1 - 6.0000 -
556.68/558.91 c 559 49782 4805 1 - 6.0000 -
561.78/564.02 c 564 50337 4885 1 - 6.0000 -
566.76/569.09 c 569 50861 4970 1 - 6.0000 -
571.92/574.23 c 574 51361 5024 1 - 6.0000 -
577.01/579.31 c 579 51923 5104 1 - 6.0000 -
581.99/584.39 c 584 52350 5180 1 - 6.0000 -
587.07/589.46 c 589 52877 5219 1 - 6.0000 -
592.15/594.52 c 595 53374 5270 1 - 6.0000 -
597.24/599.60 c 600 53919 5362 1 - 6.0000 -
602.51/604.95 c 605 54343 5458 1 - 6.0000 -
607.48/610.01 c 610 54928 5592 1 - 6.0000 -
612.58/615.09 c 615 55478 5658 1 - 6.0000 -
617.85/620.31 c 620 56030 5713 1 - 6.0000 -
622.83/625.39 c 625 56484 5733 1 - 6.0000 -
627.91/630.49 c 630 56970 5827 1 - 6.0000 -
633.09/635.69 c 636 57481 5913 1 - 6.0000 -
638.18/640.76 c 641 58052 6000 1 - 6.0000 -
643.26/645.85 c 646 58525 6065 1 - 6.0000 -
648.43/651.01 c 651 58988 6127 1 - 6.0000 -
653.52/656.18 c 656 59549 6222 1 - 6.0000 -
658.59/661.26 c 661 59969 6222 1 - 6.0000 -
663.77/666.41 c 666 60445 6286 1 - 6.0000 -
668.85/671.57 c 672 60829 6272 1 - 6.0000 -
673.93/676.63 c 677 61349 6310 1 - 6.0000 -
679.11/681.83 c 682 61859 6353 1 - 6.0000 -
684.19/686.93 c 687 62359 6388 1 - 6.0000 -
689.29/692.02 c 692 62938 6444 1 - 6.0000 -
694.46/697.20 c 697 63500 6462 1 - 6.0000 -
699.44/702.27 c 702 64013 6541 1 - 6.0000 -
704.52/707.34 c 707 64405 6548 1 - 6.0000 -
709.60/712.40 c 712 64795 6566 1 - 6.0000 -
714.69/717.58 c 718 65126 6602 1 - 6.0000 -
719.76/722.68 c 723 65534 6666 1 - 6.0000 -
724.84/727.78 c 728 65899 6708 1 - 6.0000 -
729.93/732.87 c 733 66197 6725 1 - 6.0000 -
735.01/737.94 c 738 66549 6734 1 - 6.0000 -
740.29/743.20 c 743 66821 6723 1 - 6.0000 -
745.37/748.30 c 748 67256 6729 1 - 6.0000 -
750.45/753.41 c 753 67552 6741 1 - 6.0000 -
755.43/758.49 c 758 68040 6770 1 - 6.0000 -
760.51/763.59 c 764 68443 6801 1 - 6.0000 -
765.70/768.73 c 769 68675 6852 1 - 6.0000 -
770.78/773.81 c 774 69142 6870 1 - 6.0000 -
775.76/778.89 c 779 69622 6882 1 - 6.0000 -
780.84/783.98 c 784 69955 6903 1 - 6.0000 -
785.93/789.06 c 789 70328 6898 1 - 6.0000 -
791.01/794.16 c 794 70694 6913 1 - 6.0000 -
796.08/799.26 c 799 71116 6926 1 - 6.0000 -
801.16/804.37 c 804 71551 6907 1 - 6.0000 -
806.24/809.46 c 809 71813 6926 1 - 6.0000 -
811.53/814.71 c 815 72072 6963 1 - 6.0000 -
816.60/819.85 c 820 72301 7016 1 - 6.0000 -
821.69/824.94 c 825 72617 7054 1 - 6.0000 -
826.78/830.10 c 830 72886 7082 1 - 6.0000 -
831.95/835.28 c 835 73144 7113 1 - 6.0000 -
837.13/840.45 c 840 73363 7120 1 - 6.0000 -
842.22/845.53 c 846 73565 7131 1 - 6.0000 -
847.30/850.65 c 851 73989 7156 1 - 6.0000 -
852.48/855.81 c 856 74314 7174 1 - 6.0000 -
857.77/861.13 c 861 74528 7201 1 - 6.0000 -
862.84/866.27 c 866 74760 7196 1 - 6.0000 -
867.92/871.37 c 871 75097 7216 1 - 6.0000 -
873.01/876.49 c 876 75350 7235 1 - 6.0000 -
878.09/881.57 c 882 75690 7251 1 - 6.0000 -
883.26/886.72 c 887 76045 7267 1 - 6.0000 -
888.34/891.86 c 892 76445 7281 1 - 6.0000 -
893.42/896.94 c 897 76814 7275 1 - 6.0000 -
898.53/902.03 c 902 77180 7273 1 - 6.0000 -
903.69/907.29 c 907 77450 7361 1 - 6.0000 -
908.78/912.39 c 912 77731 7363 1 - 6.0000 -
913.95/917.55 c 918 78015 7369 1 - 6.0000 -
919.03/922.62 c 923 78323 7447 1 - 6.0000 -
924.02/927.69 c 928 78759 7508 1 - 6.0000 -
929.10/932.79 c 933 79136 7551 1 - 6.0000 -
934.28/937.95 c 938 79587 7541 1 - 6.0000 -
939.37/943.05 c 943 79989 7537 1 - 6.0000 -
944.45/948.15 c 948 80369 7538 1 - 6.0000 -
949.52/953.23 c 953 80703 7541 1 - 6.0000 -
954.60/958.32 c 958 80973 7562 1 - 6.0000 -
959.68/963.44 c 963 81279 7554 1 - 6.0000 -
964.77/968.51 c 969 81600 7585 1 - 6.0000 -
969.86/973.60 c 974 82007 7576 1 - 6.0000 -
974.84/978.67 c 979 82352 7573 1 - 6.0000 -
979.92/983.76 c 984 82700 7620 1 - 6.0000 -
985.10/988.95 c 989 83020 7653 1 - 6.0000 -
990.19/994.05 c 994 83362 7636 1 - 6.0000 -
995.27/999.12 c 999 83722 7669 1 - 6.0000 -
1000.26/1004.19 c 1004 83987 7779 1 - 6.0000 -
1005.43/1009.30 c 1009 84308 7827 1 - 6.0000 -
1010.51/1014.42 c 1014 84570 7869 1 - 6.0000 -
1015.59/1019.58 c 1020 84885 7918 1 - 6.0000 -
1020.67/1024.65 c 1025 85164 7963 1 - 6.0000 -
1025.85/1029.81 c 1030 85404 8020 1 - 6.0000 -
1030.93/1034.92 c 1035 85662 8055 1 - 6.0000 -
1036.02/1040.01 c 1040 85916 8107 1 - 6.0000 -
1041.11/1045.17 c 1045 86150 8135 1 - 6.0000 -
1046.18/1050.27 c 1050 86337 8126 1 - 6.0000 -
1051.56/1055.61 c 1056 86630 8168 1 - 6.0000 -
1056.64/1060.71 c 1061 86952 8215 1 - 6.0000 -
1061.72/1065.83 c 1066 87341 8257 1 - 6.0000 -
1066.81/1070.97 c 1071 87722 8305 1 - 6.0000 -
1072.00/1076.11 c 1076 88051 8358 1 - 6.0000 -
1077.06/1081.22 c 1081 88469 8430 1 - 6.0000 -
1082.14/1086.30 c 1086 88812 8480 1 - 6.0000 -
1087.13/1091.38 c 1091 89206 8496 1 - 6.0000 -
1092.30/1096.51 c 1097 89549 8537 1 - 6.0000 -
1097.38/1101.65 c 1102 89944 8578 1 - 6.0000 -
1102.46/1106.78 c 1107 90259 8569 1 - 6.0000 -
1107.65/1111.94 c 1112 90589 8567 1 - 6.0000 -
1112.74/1117.03 c 1117 90893 8568 1 - 6.0000 -
1117.82/1122.14 c 1122 91158 8539 1 - 6.0000 -
1122.89/1127.26 c 1127 91444 8519 1 - 6.0000 -
1127.97/1132.32 c 1132 91709 8525 1 - 6.0000 -
1132.95/1137.38 c 1137 91943 8540 1 - 6.0000 -
1138.03/1142.49 c 1142 92366 8555 1 - 6.0000 -
1143.11/1147.59 c 1148 92711 8530 1 - 6.0000 -
1148.29/1152.72 c 1153 93015 8547 1 - 6.0000 -
1153.48/1157.90 c 1158 93293 8590 1 - 6.0000 -
1158.46/1163.01 c 1163 93572 8603 1 - 6.0000 -
1163.55/1168.10 c 1168 93816 8579 1 - 6.0000 -
1168.72/1173.26 c 1173 94081 8624 1 - 6.0000 -
1173.80/1178.36 c 1178 94370 8640 1 - 6.0000 -
1178.88/1183.44 c 1183 94633 8659 1 - 6.0000 -
1183.96/1188.56 c 1189 94936 8671 1 - 6.0000 -
1189.04/1193.64 c 1194 95261 8692 1 - 6.0000 -
1194.22/1198.86 c 1199 95537 8697 1 - 6.0000 -
1199.30/1203.96 c 1204 95822 8717 1 - 6.0000 -
1204.49/1209.19 c 1209 96163 8712 1 - 6.0000 -
1209.96/1214.62 c 1215 96424 8720 1 - 6.0000 -
1215.14/1219.82 c 1220 96704 8741 1 - 6.0000 -
1220.22/1224.93 c 1225 96974 8754 1 - 6.0000 -
1225.42/1230.15 c 1230 97198 8790 1 - 6.0000 -
1230.49/1235.27 c 1235 97414 8812 1 - 6.0000 -
1235.77/1240.54 c 1241 97647 8844 1 - 6.0000 -
1240.95/1245.74 c 1246 97898 8849 1 - 6.0000 -
1246.03/1250.85 c 1251 98181 8842 1 - 6.0000 -
1251.11/1255.94 c 1256 98440 8853 1 - 6.0000 -
1256.21/1261.03 c 1261 98719 8877 1 - 6.0000 -
1261.29/1266.12 c 1266 99008 8880 1 - 6.0000 -
1266.36/1271.28 c 1271 99275 8891 1 - 6.0000 -
1271.64/1276.50 c 1276 99486 8905 1 - 6.0000 -
1276.72/1281.66 c 1282 99837 8914 1 - 6.0000 -
1281.90/1286.82 c 1287 100147 8935 1 - 6.0000 -
1286.98/1291.90 c 1292 100481 8982 1 - 6.0000 -
1291.96/1297.00 c 1297 100761 9023 1 - 6.0000 -
1297.16/1302.15 c 1302 101014 9044 1 - 6.0000 -
1302.23/1307.23 c 1307 101303 9075 1 - 6.0000 -
1307.31/1312.35 c 1312 101583 9099 1 - 6.0000 -
1312.49/1317.53 c 1318 101782 9119 1 - 6.0000 -
1317.57/1322.63 c 1323 102094 9140 1 - 6.0000 -
1322.65/1327.72 c 1328 102412 9147 1 - 6.0000 -
1327.84/1332.94 c 1333 102665 9205 1 - 6.0000 -
1332.81/1338.01 c 1338 102934 9266 1 - 6.0000 -
1338.00/1343.18 c 1343 103238 9287 1 - 6.0000 -
1343.17/1348.33 c 1348 103544 9302 1 - 6.0000 -
1348.26/1353.42 c 1353 103888 9331 1 - 6.0000 -
1353.33/1358.53 c 1359 104151 9362 1 - 6.0000 -
1358.51/1363.73 c 1364 104401 9415 1 - 6.0000 -
1363.59/1368.84 c 1369 104593 9468 1 - 6.0000 -
1368.67/1373.93 c 1374 104916 9501 1 - 6.0000 -
1373.77/1379.07 c 1379 105179 9525 1 - 6.0000 -
1378.94/1384.21 c 1384 105458 9564 1 - 6.0000 -
1384.02/1389.39 c 1389 105763 9570 1 - 6.0000 -
1389.20/1394.55 c 1395 106054 9586 1 - 6.0000 -
1394.28/1399.70 c 1400 106484 9675 1 - 6.0000 -
1399.45/1404.80 c 1405 106881 9735 1 - 6.0000 -
1404.53/1409.90 c 1410 107229 9749 1 - 6.0000 -
1409.51/1414.99 c 1415 107591 9804 1 - 6.0000 -
1414.70/1420.14 c 1420 108044 9819 1 - 6.0000 -
1419.78/1425.25 c 1425 108366 9780 1 - 6.0000 -
1424.85/1430.34 c 1430 108680 9801 1 - 6.0000 -
1429.93/1435.47 c 1435 108932 9814 1 - 6.0000 -
1435.01/1440.55 c 1441 109259 9860 1 - 6.0000 -
1440.19/1445.72 c 1446 109553 9838 1 - 6.0000 -
1445.27/1450.81 c 1451 109911 9859 1 - 6.0000 -
1450.35/1456.01 c 1456 110296 9979 1 - 6.0000 -
1455.63/1461.20 c 1461 110796 10085 1 - 6.0000 -
1460.60/1466.29 c 1466 111314 10276 1 - 6.0000 -
1465.68/1471.37 c 1471 111738 10275 1 - 6.0000 -
1470.86/1476.50 c 1476 112067 10260 1 - 6.0000 -
1476.14/1481.80 c 1482 112182 10232 1 - 6.0000 -
1481.43/1487.11 c 1487 112610 10277 1 - 6.0000 -
1486.50/1492.23 c 1492 113006 10342 1 - 6.0000 -
1491.48/1497.27 c 1497 113423 10403 1 - 6.0000 -
1496.56/1502.38 c 1502 113882 10454 1 - 6.0000 -
1501.64/1507.45 c 1507 114315 10521 1 - 6.0000 -
1506.72/1512.51 c 1513 114792 10576 1 - 6.0000 -
1511.79/1517.65 c 1518 115231 10606 1 - 6.0000 -
1516.87/1522.74 c 1523 115613 10636 1 - 6.0000 -
1521.95/1527.85 c 1528 116021 10691 1 - 6.0000 -
1527.04/1532.92 c 1533 116520 10738 1 - 6.0000 -
1532.23/1538.12 c 1538 116848 10726 1 - 6.0000 -
1537.29/1543.22 c 1543 117252 10794 1 - 6.0000 -
1542.37/1548.33 c 1548 117641 10829 1 - 6.0000 -
1547.45/1553.46 c 1553 118196 10878 1 - 6.0000 -
1552.82/1558.82 c 1559 118616 10917 1 - 6.0000 -
1557.90/1563.91 c 1564 119032 10931 1 - 6.0000 -
1563.00/1569.01 c 1569 119386 10938 1 - 6.0000 -
1567.98/1574.07 c 1574 119781 10974 1 - 6.0000 -
1573.14/1579.24 c 1579 120167 10999 1 - 6.0000 -
1578.22/1584.30 c 1584 120797 11076 1 - 6.0000 -
1583.21/1589.36 c 1589 121234 11164 1 - 6.0000 -
1588.38/1594.58 c 1595 121684 11252 1 - 6.0000 -
1593.46/1599.65 c 1600 122164 11287 1 - 6.0000 -
1598.54/1604.73 c 1605 122562 11355 1 - 6.0000 -
1603.52/1609.79 c 1610 123008 11401 1 - 6.0000 -
1608.59/1614.86 c 1615 123371 11410 1 - 6.0000 -
1613.68/1619.92 c 1620 123842 11485 1 - 6.0000 -
1618.66/1625.01 c 1625 124362 11571 1 - 6.0000 -
1623.92/1630.26 c 1630 124810 11614 1 - 6.0000 -
1629.00/1635.37 c 1635 125243 11677 1 - 6.0000 -
1634.09/1640.44 c 1640 125876 11730 1 - 6.0000 -
1639.17/1645.55 c 1646 126345 11804 1 - 6.0000 -
1644.26/1650.61 c 1651 126826 11841 1 - 6.0000 -
1649.44/1655.80 c 1656 127205 11861 1 - 6.0000 -
1654.51/1660.97 c 1661 127611 11907 1 - 6.0000 -
1659.90/1666.32 c 1666 128001 11929 1 - 6.0000 -
1665.28/1671.71 c 1672 128213 11883 1 - 6.0000 -
1670.36/1676.84 c 1677 128631 11965 1 - 6.0000 -
1675.44/1681.97 c 1682 129030 11977 1 - 6.0000 -
1681.12/1687.60 c 1688 129234 11943 1 - 6.0000 -
1686.20/1692.71 c 1693 129691 11977 1 - 6.0000 -
1691.18/1697.78 c 1698 130207 12040 1 - 6.0000 -
1696.27/1702.88 c 1703 130646 12080 1 - 6.0000 -
1701.46/1708.01 c 1708 131067 12098 1 - 6.0000 -
1706.54/1713.20 c 1713 131403 12093 1 - 6.0000 -
1711.70/1718.32 c 1718 131815 12113 1 - 6.0000 -
1716.79/1723.45 c 1723 132192 12127 1 - 6.0000 -
1721.97/1728.68 c 1729 132605 12132 1 - 6.0000 -
1727.06/1733.76 c 1734 132993 12164 1 - 6.0000 -
1732.24/1738.96 c 1739 133307 12135 1 - 6.0000 -
1737.34/1744.05 c 1744 133656 12142 1 - 6.0000 -
1742.50/1749.27 c 1749 134009 12197 1 - 6.0000 -
1747.78/1754.51 c 1755 134433 12238 1 - 6.0000 -
1752.86/1759.63 c 1760 134853 12324 1 - 6.0000 -
1757.94/1764.76 c 1765 135307 12350 1 - 6.0000 -
1763.23/1770.06 c 1770 135605 12331 1 - 6.0000 -
1768.31/1775.18 c 1775 135936 12337 1 - 6.0000 -
1773.48/1780.39 c 1780 136330 12348 1 - 6.0000 -
1778.57/1785.50 c 1786 136680 12365 1 - 6.0000 -
1783.85/1790.70 c 1791 137040 12401 1 - 6.0000 -
1788.93/1795.81 c 1796 137404 12390 1 - 6.0000 -
1794.01/1800.93 c 1801 137790 12391 1 - 6.0000 -
1799.10/1806.04 c 1806 138195 12398 1 - 6.0000 -
1804.19/1811.14 c 1811 138615 12429 1 - 6.0000 -
1809.25/1816.23 c 1816 139016 12442 1 - 6.0000 -
1814.33/1821.35 c 1821 139326 12426 1 - 6.0000 -
1819.81/1826.86 c 1827 139648 12436 1 - 6.0000 -
1824.89/1831.99 c 1832 140065 12430 1 - 6.0000 -
1830.18/1837.21 c 1837 140490 12447 1 - 6.0000 -
1835.56/1842.67 c 1843 140848 12419 1 - 6.0000 -
1840.64/1847.74 c 1848 141185 12434 1 - 6.0000 -
1845.73/1852.82 c 1853 141604 12507 1 - 6.0000 -
1850.81/1857.93 c 1858 141922 12476 1 - 6.0000 -
1855.79/1862.99 c 1863 142295 12472 1 - 6.0000 -
1860.88/1868.08 c 1868 142749 12475 1 - 6.0000 -
1866.15/1873.32 c 1873 143097 12452 1 - 6.0000 -
1871.13/1878.39 c 1878 143392 12462 1 - 6.0000 -
1876.31/1883.58 c 1884 143699 12422 1 - 6.0000 -
1881.39/1888.68 c 1889 144144 12441 1 - 6.0000 -
1886.47/1893.79 c 1894 144517 12542 1 - 6.0000 -
1891.65/1899.01 c 1899 144934 12487 1 - 6.0000 -
1896.84/1904.12 c 1904 145303 12477 1 - 6.0000 -
1902.21/1909.50 c 1910 145664 12485 1 - 6.0000 -
1907.40/1914.74 c 1915 145890 12440 1 - 6.0000 -
1912.58/1919.92 c 1920 146203 12445 1 - 6.0000 -
1917.65/1925.02 c 1925 146578 12426 1 - 6.0000 -
1922.74/1930.13 c 1930 146890 12395 1 - 6.0000 -
1927.81/1935.25 c 1935 147249 12392 1 - 6.0000 -
1932.89/1940.35 c 1940 147493 12411 1 - 6.0000 -
1938.18/1945.68 c 1946 147747 12430 1 - 6.0000 -
1943.36/1950.89 c 1951 148009 12430 1 - 6.0000 -
1948.54/1956.01 c 1956 148277 12468 1 - 6.0000 -
1953.53/1961.10 c 1961 148543 12488 1 - 6.0000 -
1958.70/1966.26 c 1966 148766 12482 1 - 6.0000 -
1963.88/1971.46 c 1971 149010 12543 1 - 6.0000 -
1969.16/1976.77 c 1977 149335 12615 1 - 6.0000 -
1974.34/1981.94 c 1982 149669 12660 1 - 6.0000 -
1979.45/1987.03 c 1987 150002 12762 1 - 6.0000 -
1984.43/1992.10 c 1992 150431 12853 1 - 6.0000 -
1989.59/1997.27 c 1997 150886 12926 1 - 6.0000 -
1994.68/2002.34 c 2002 151259 12980 1 - 6.0000 -
1999.77/2007.48 c 2007 151604 13031 1 - 6.0000 -
2004.95/2012.67 c 2013 151951 13052 1 - 6.0000 -
2010.12/2017.83 c 2018 152302 13142 1 - 6.0000 -
2015.21/2022.91 c 2023 152656 13196 1 - 6.0000 -
2020.19/2027.96 c 2028 153013 13217 1 - 6.0000 -
2025.28/2033.02 c 2033 153351 13243 1 - 6.0000 -
2030.27/2038.10 c 2038 153726 13291 1 - 6.0000 -
2035.44/2043.23 c 2043 154080 13300 1 - 6.0000 -
2040.52/2048.39 c 2048 154429 13326 1 - 6.0000 -
2045.59/2053.47 c 2053 154699 13342 1 - 6.0000 -
2050.97/2058.86 c 2059 155001 13378 1 - 6.0000 -
2056.04/2063.98 c 2064 155289 13391 1 - 6.0000 -
2061.14/2069.08 c 2069 155582 13439 1 - 6.0000 -
2066.22/2074.17 c 2074 155832 13491 1 - 6.0000 -
2071.39/2079.33 c 2079 156074 13529 1 - 6.0000 -
2076.47/2084.41 c 2084 156404 13588 1 - 6.0000 -
2081.56/2089.50 c 2090 156713 13591 1 - 6.0000 -
2086.54/2094.57 c 2095 156995 13618 1 - 6.0000 -
2091.71/2099.79 c 2100 157372 13678 1 - 6.0000 -
2096.80/2104.86 c 2105 157707 13756 1 - 6.0000 -
2101.99/2110.04 c 2110 158149 13873 1 - 6.0000 -
2107.07/2115.17 c 2115 158552 13965 1 - 6.0000 -
2112.14/2120.27 c 2120 158949 14003 1 - 6.0000 -
2117.43/2125.50 c 2126 159312 14016 1 - 6.0000 -
2122.51/2130.62 c 2131 159609 14041 1 - 6.0000 -
2127.59/2135.72 c 2136 159934 14113 1 - 6.0000 -
2132.78/2140.98 c 2141 160390 14194 1 - 6.0000 -
2137.87/2146.07 c 2146 160730 14284 1 - 6.0000 -
2142.95/2151.17 c 2151 161031 14352 1 - 6.0000 -
2148.02/2156.27 c 2156 161344 14405 1 - 6.0000 -
2153.10/2161.34 c 2161 161736 14465 1 - 6.0000 -
2158.28/2166.52 c 2167 162149 14501 1 - 6.0000 -
2163.36/2171.69 c 2172 162566 14651 1 - 6.0000 -
2168.45/2176.78 c 2177 162943 14769 1 - 6.0000 -
2173.63/2182.01 c 2182 163365 14859 1 - 6.0000 -
2178.72/2187.07 c 2187 163801 14924 1 - 6.0000 -
2183.88/2192.21 c 2192 164233 15021 1 - 6.0000 -
2188.97/2197.38 c 2197 164631 15078 1 - 6.0000 -
2194.04/2202.43 c 2202 165040 15161 1 - 6.0000 -
2199.13/2207.59 c 2208 165509 15323 1 - 6.0000 -
2204.21/2212.67 c 2213 165917 15420 1 - 6.0000 -
2209.29/2217.76 c 2218 166328 15514 1 - 6.0000 -
2214.38/2222.82 c 2223 166726 15582 1 - 6.0000 -
2219.46/2227.95 c 2228 167115 15625 1 - 6.0000 -
2224.55/2233.02 c 2233 167584 15703 1 - 6.0000 -
2229.53/2238.11 c 2238 167968 15792 1 - 6.0000 -
2234.71/2243.24 c 2243 168391 15861 1 - 6.0000 -
2239.79/2248.32 c 2248 168810 15943 1 - 6.0000 -
2244.87/2253.44 c 2253 169249 16049 1 - 6.0000 -
2249.95/2258.53 c 2259 169698 16180 1 - 6.0000 -
2255.03/2263.61 c 2264 170157 16256 1 - 6.0000 -
2260.52/2269.12 c 2269 170545 16262 1 - 6.0000 -
2265.60/2274.28 c 2274 170865 16249 1 - 6.0000 -
2270.67/2279.33 c 2279 171282 16315 1 - 6.0000 -
2275.85/2284.52 c 2285 171639 16400 1 - 6.0000 -
2280.93/2289.62 c 2290 171973 16397 1 - 6.0000 -
2286.02/2294.74 c 2295 172303 16411 1 - 6.0000 -
2291.20/2299.90 c 2300 172587 16454 1 - 6.0000 -
2296.29/2305.07 c 2305 172856 16509 1 - 6.0000 -
2301.38/2310.14 c 2310 173078 16536 1 - 6.0000 -
2306.44/2315.28 c 2315 173296 16582 1 - 6.0000 -
2311.53/2320.37 c 2320 173601 16605 1 - 6.0000 -
2316.72/2325.55 c 2326 173888 16693 1 - 6.0000 -
2321.79/2330.67 c 2331 174162 16747 1 - 6.0000 -
2326.97/2335.84 c 2336 174437 16787 1 - 6.0000 -
2332.05/2340.95 c 2341 174731 16834 1 - 6.0000 -
2337.15/2346.07 c 2346 174943 16858 1 - 6.0000 -
2342.24/2351.18 c 2351 175185 16878 1 - 6.0000 -
2347.41/2356.37 c 2356 175457 16945 1 - 6.0000 -
2352.49/2361.49 c 2361 175758 17040 1 - 6.0000 -
2357.57/2366.58 c 2367 176094 17089 1 - 6.0000 -
2362.66/2371.66 c 2372 176416 17130 1 - 6.0000 -
2367.74/2376.77 c 2377 176672 17174 1 - 6.0000 -
2373.21/2382.27 c 2382 176993 17259 1 - 6.0000 -
2378.40/2387.40 c 2387 177383 17385 1 - 6.0000 -
2383.48/2392.57 c 2393 177776 17492 1 - 6.0000 -
2388.56/2397.65 c 2398 178155 17569 1 - 6.0000 -
2393.64/2402.71 c 2403 178505 17642 1 - 6.0000 -
2398.62/2407.77 c 2408 178890 17684 1 - 6.0000 -
2403.81/2412.99 c 2413 179394 17749 1 - 6.0000 -
2408.89/2418.09 c 2418 179822 17809 1 - 6.0000 -
2413.97/2423.17 c 2423 180193 17845 1 - 6.0000 -
2419.13/2428.32 c 2428 180565 17853 1 - 6.0000 -
2424.22/2433.41 c 2433 180941 17851 1 - 6.0000 -
2429.40/2438.61 c 2439 181338 17896 1 - 6.0000 -
2434.38/2443.67 c 2444 181729 17977 1 - 6.0000 -
2439.47/2448.78 c 2449 182074 18001 1 - 6.0000 -
2444.86/2454.12 c 2454 182338 17991 1 - 6.0000 -
2449.92/2459.25 c 2459 182743 18026 1 - 6.0000 -
2455.01/2464.34 c 2464 183106 18047 1 - 6.0000 -
2460.09/2469.42 c 2469 183422 18070 1 - 6.0000 -
2465.28/2474.60 c 2475 183748 18093 1 - 6.0000 -
2470.36/2479.71 c 2480 184163 18168 1 - 6.0000 -
2475.34/2484.78 c 2485 184570 18151 1 - 6.0000 -
2480.52/2489.95 c 2490 185015 18260 1 - 6.0000 -
2485.71/2495.16 c 2495 185371 18295 1 - 6.0000 -
2490.78/2500.22 c 2500 185782 18357 1 - 6.0000 -
2495.96/2505.45 c 2505 186168 18407 1 - 6.0000 -
2501.15/2510.67 c 2511 186458 18366 1 - 6.0000 -
2506.33/2515.83 c 2516 186845 18405 1 - 6.0000 -
2511.41/2520.91 c 2521 187229 18448 1 - 6.0000 -
2516.49/2526.02 c 2526 187645 18511 1 - 6.0000 -
2521.57/2531.11 c 2531 188008 18541 1 - 6.0000 -
2526.56/2536.19 c 2536 188437 18577 1 - 6.0000 -
2531.73/2541.31 c 2541 188770 18628 1 - 6.0000 -
2536.80/2546.42 c 2546 189084 18685 1 - 6.0000 -
2541.89/2551.51 c 2552 189436 18751 1 - 6.0000 -
2546.87/2556.58 c 2557 189803 18766 1 - 6.0000 -
2552.05/2561.71 c 2562 190167 18791 1 - 6.0000 -
2557.04/2566.78 c 2567 190541 18804 1 - 6.0000 -
2562.22/2571.92 c 2572 190894 18849 1 - 6.0000 -
2567.20/2577.01 c 2577 191271 18899 1 - 6.0000 -
2572.29/2582.08 c 2582 191659 18933 1 - 6.0000 -
2577.45/2587.21 c 2587 192001 18945 1 - 6.0000 -
2582.63/2592.40 c 2592 192370 18943 1 - 6.0000 -
2587.62/2597.47 c 2597 192801 19033 1 - 6.0000 -
2593.00/2602.80 c 2603 193120 19073 1 - 6.0000 -
2597.98/2607.88 c 2608 193500 19101 1 - 6.0000 -
2603.17/2613.02 c 2613 193842 19129 1 - 6.0000 -
2608.16/2618.07 c 2618 194193 19132 1 - 6.0000 -
2613.32/2623.20 c 2623 194599 19178 1 - 6.0000 -
2618.52/2628.48 c 2628 194930 19195 1 - 6.0000 -
2623.59/2633.59 c 2634 195319 19221 1 - 6.0000 -
2628.87/2638.82 c 2639 195709 19243 1 - 6.0000 -
2633.96/2643.96 c 2644 196058 19229 1 - 6.0000 -
2640.05/2650.03 c 2650 196357 19262 1 - 6.0000 -
2645.03/2655.10 c 2655 196777 19346 1 - 6.0000 -
2650.20/2660.23 c 2660 197156 19389 1 - 6.0000 -
2655.28/2665.32 c 2665 197524 19425 1 - 6.0000 -
2660.37/2670.48 c 2670 197909 19439 1 - 6.0000 -
2665.44/2675.55 c 2676 198281 19464 1 - 6.0000 -
2670.53/2680.68 c 2681 198690 19507 1 - 6.0000 -
2675.61/2685.79 c 2686 199092 19553 1 - 6.0000 -
2680.90/2691.07 c 2691 199501 19614 1 - 6.0000 -
2686.07/2696.29 c 2696 199934 19720 1 - 6.0000 -
2691.25/2701.45 c 2701 200193 19696 1 - 6.0000 -
2696.53/2706.70 c 2707 200329 19674 1 - 6.0000 -
2701.52/2711.78 c 2712 200761 19720 1 - 6.0000 -
2706.91/2717.11 c 2717 201105 19741 1 - 6.0000 -
2712.18/2722.47 c 2722 201419 19772 1 - 6.0000 -
2717.26/2727.55 c 2728 201830 19843 1 - 6.0000 -
2722.34/2732.61 c 2733 202223 19864 1 - 6.0000 -
2727.33/2737.69 c 2738 202543 19902 1 - 6.0000 -
2732.50/2742.82 c 2743 202923 19910 1 - 6.0000 -
2737.59/2747.90 c 2748 203265 19940 1 - 6.0000 -
2742.87/2753.20 c 2753 203555 20019 1 - 6.0000 -
2747.95/2758.30 c 2758 203963 20084 1 - 6.0000 -
2753.03/2763.47 c 2763 204327 20166 1 - 6.0000 -
2758.12/2768.58 c 2769 204754 20235 1 - 6.0000 -
2763.30/2773.78 c 2774 205019 20253 1 - 6.0000 -
2768.38/2778.89 c 2779 205247 20300 1 - 6.0000 -
2773.68/2784.14 c 2784 205510 20310 1 - 6.0000 -
2778.75/2789.21 c 2789 205828 20315 1 - 6.0000 -
2783.82/2794.35 c 2794 206189 20371 1 - 6.0000 -
2789.01/2799.56 c 2800 206414 20449 1 - 6.0000 -
2794.09/2804.64 c 2805 206714 20483 1 - 6.0000 -
2799.17/2809.79 c 2810 207005 20489 1 - 6.0000 -
2804.25/2814.89 c 2815 207343 20519 1 - 6.0000 -
2809.34/2819.98 c 2820 207671 20535 1 - 6.0000 -
2814.42/2825.07 c 2825 207935 20536 1 - 6.0000 -
2819.60/2830.21 c 2830 208245 20551 1 - 6.0000 -
2824.59/2835.29 c 2835 208543 20575 1 - 6.0000 -
2829.77/2840.41 c 2840 208763 20577 1 - 6.0000 -
2834.94/2845.62 c 2846 208967 20556 1 - 6.0000 -
2839.93/2850.68 c 2851 209267 20622 1 - 6.0000 -
2845.01/2855.76 c 2856 209601 20629 1 - 6.0000 -
2850.09/2860.83 c 2861 209874 20642 1 - 6.0000 -
2855.29/2866.01 c 2866 210186 20652 1 - 6.0000 -
2860.56/2871.34 c 2871 210485 20718 1 - 6.0000 -
2865.64/2876.47 c 2876 210811 20814 1 - 6.0000 -
2870.82/2881.64 c 2882 211105 20854 1 - 6.0000 -
2875.80/2886.69 c 2887 211410 20881 1 - 6.0000 -
2880.89/2891.76 c 2892 211690 20868 1 - 6.0000 -
2885.97/2896.86 c 2897 211933 20889 1 - 6.0000 -
2891.05/2901.98 c 2902 212174 20900 1 - 6.0000 -
2896.14/2907.08 c 2907 212523 20907 1 - 6.0000 -
2901.23/2912.16 c 2912 212753 20921 1 - 6.0000 -
2906.40/2917.39 c 2917 212967 20906 1 - 6.0000 -
2911.48/2922.48 c 2922 213349 20931 1 - 6.0000 -
2916.65/2927.61 c 2928 213720 20959 1 - 6.0000 -
2921.64/2932.68 c 2933 214096 20995 1 - 6.0000 -
2926.72/2937.75 c 2938 214514 21063 1 - 6.0000 -
2931.80/2942.82 c 2943 214864 21086 1 - 6.0000 -
2936.88/2947.92 c 2948 215192 21129 1 - 6.0000 -
2941.87/2952.99 c 2953 215519 21174 1 - 6.0000 -
2947.07/2958.17 c 2958 215761 21167 1 - 6.0000 -
2952.33/2963.41 c 2963 216163 21227 1 - 6.0000 -
2957.51/2968.67 c 2969 216512 21291 1 - 6.0000 -
2962.59/2973.76 c 2974 216894 21348 1 - 6.0000 -
2967.77/2978.99 c 2979 217150 21341 1 - 6.0000 -
2973.66/2984.82 c 2985 217183 21291 1 - 6.0000 -
2979.04/2990.29 c 2990 217212 21244 1 - 6.0000 -
2984.72/2995.94 c 2996 217241 21200 1 - 6.0000 -
2989.81/3001.01 c 3001 217268 21150 1 - 6.0000 -
2995.58/3006.82 c 3007 217293 21105 1 - 6.0000 -
3002.26/3013.55 c 3014 217307 21077 1 - 6.0000 -
3007.35/3018.68 c 3019 217475 21116 1 - 6.0000 -
3012.53/3023.82 c 3024 217855 21143 1 - 6.0000 -
3017.61/3029.01 c 3029 218260 21147 1 - 6.0000 -
3022.69/3034.09 c 3034 218669 21207 1 - 6.0000 -
3027.86/3039.22 c 3039 219023 21232 1 - 6.0000 -
3032.94/3044.37 c 3044 219368 21376 1 - 6.0000 -
3038.03/3049.47 c 3049 219749 21410 1 - 6.0000 -
3043.11/3054.57 c 3055 220106 21416 1 - 6.0000 -
3048.19/3059.68 c 3060 220415 21395 1 - 6.0000 -
3053.27/3064.78 c 3065 220759 21391 1 - 6.0000 -
3058.56/3070.03 c 3070 221150 21420 1 - 6.0000 -
3063.64/3075.14 c 3075 221471 21479 1 - 6.0000 -
3068.81/3080.32 c 3080 221862 21510 1 - 6.0000 -
3074.09/3085.68 c 3086 222272 21513 1 - 6.0000 -
3079.17/3090.78 c 3091 222550 21536 1 - 6.0000 -
3084.35/3095.98 c 3096 222872 21601 1 - 6.0000 -
3089.45/3101.08 c 3101 223142 21641 1 - 6.0000 -
3094.62/3106.22 c 3106 223386 21690 1 - 6.0000 -
3099.80/3111.40 c 3111 223659 21733 1 - 6.0000 -
3104.89/3116.58 c 3117 223978 21767 1 - 6.0000 -
3110.07/3121.72 c 3122 224299 21784 1 - 6.0000 -
3115.14/3126.87 c 3127 224601 21819 1 - 6.0000 -
3120.34/3132.02 c 3132 224897 21857 1 - 6.0000 -
3125.43/3137.19 c 3137 225135 21909 1 - 6.0000 -
3130.59/3142.32 c 3142 225489 21998 1 - 6.0000 -
3135.68/3147.43 c 3147 225737 22070 1 - 6.0000 -
3140.96/3152.73 c 3153 225961 22147 1 - 6.0000 -
3146.05/3157.87 c 3158 226199 22225 1 - 6.0000 -
3151.24/3163.02 c 3163 226468 22303 1 - 6.0000 -
3156.40/3168.22 c 3168 226742 22371 1 - 6.0000 -
3161.38/3173.29 c 3173 227014 22433 1 - 6.0000 -
3166.57/3178.46 c 3178 227246 22512 1 - 6.0000 -
3171.66/3183.54 c 3184 227550 22609 1 - 6.0000 -
3176.83/3188.78 c 3189 227838 22668 1 - 6.0000 -
3182.02/3193.93 c 3194 228180 22725 1 - 6.0000 -
3187.11/3199.02 c 3199 228501 22776 1 - 6.0000 -
3192.38/3204.31 c 3204 228791 22837 1 - 6.0000 -
3197.76/3209.78 c 3210 229013 22902 1 - 6.0000 -
3203.44/3215.46 c 3215 229169 23000 1 - 6.0000 -
3208.62/3220.66 c 3221 229335 23065 1 - 6.0000 -
3213.81/3225.86 c 3226 229564 23146 1 - 6.0000 -
3218.99/3231.07 c 3231 229812 23216 1 - 6.0000 -
3224.07/3236.19 c 3236 230140 23284 1 - 6.0000 -
3229.24/3241.31 c 3241 230411 23334 1 - 6.0000 -
3234.22/3246.39 c 3246 230695 23436 1 - 6.0000 -
3239.40/3251.50 c 3252 230999 23494 1 - 6.0000 -
3244.49/3256.68 c 3257 231208 23541 1 - 6.0000 -
3249.67/3261.87 c 3262 231406 23552 1 - 6.0000 -
3254.75/3266.95 c 3267 231663 23592 1 - 6.0000 -
3259.93/3272.16 c 3272 231918 23646 1 - 6.0000 -
3265.00/3277.24 c 3277 232166 23700 1 - 6.0000 -
3270.19/3282.41 c 3282 232425 23743 1 - 6.0000 -
3275.37/3287.61 c 3288 232700 23840 1 - 6.0000 -
3280.46/3292.72 c 3293 233005 23929 1 - 6.0000 -
3285.54/3297.81 c 3298 233335 24015 1 - 6.0000 -
3290.51/3302.89 c 3303 233821 24128 1 - 6.0000 -
3295.61/3308.01 c 3308 234228 24152 1 - 6.0000 -
3300.88/3313.21 c 3313 234640 24174 1 - 6.0000 -
3305.85/3318.29 c 3318 235108 24250 1 - 6.0000 -
3310.93/3323.39 c 3323 235526 24277 1 - 6.0000 -
3316.12/3328.58 c 3329 235882 24305 1 - 6.0000 -
3321.20/3333.69 c 3334 236210 24326 1 - 6.0000 -
3326.28/3338.76 c 3339 236582 24365 1 - 6.0000 -
3331.37/3343.87 c 3344 236941 24378 1 - 6.0000 -
3336.56/3349.01 c 3349 237246 24385 1 - 6.0000 -
3341.54/3354.09 c 3354 237609 24393 1 - 6.0000 -
3346.62/3359.19 c 3359 237960 24396 1 - 6.0000 -
3351.70/3364.29 c 3364 238226 24485 1 - 6.0000 -
3356.98/3369.51 c 3370 238483 24549 1 - 6.0000 -
3362.36/3374.98 c 3375 238755 24574 1 - 6.0000 -
3367.55/3380.12 c 3380 239005 24604 1 - 6.0000 -
3372.63/3385.22 c 3385 239282 24627 1 - 6.0000 -
3377.71/3390.33 c 3390 239480 24677 1 - 6.0000 -
3382.78/3395.47 c 3395 239695 24754 1 - 6.0000 -
3387.96/3400.61 c 3401 239963 24795 1 - 6.0000 -
3393.14/3405.84 c 3406 240181 24829 1 - 6.0000 -
3398.22/3410.96 c 3411 240435 24869 1 - 6.0000 -
3403.30/3416.07 c 3416 240760 24922 1 - 6.0000 -
3408.38/3421.13 c 3421 241124 24941 1 - 6.0000 -
3413.45/3426.21 c 3426 241456 25008 1 - 6.0000 -
3418.54/3431.36 c 3431 241702 25077 1 - 6.0000 -
3423.62/3436.44 c 3436 241969 25083 1 - 6.0000 -
3428.80/3441.64 c 3442 242214 25124 1 - 6.0000 -
3433.88/3446.78 c 3447 242434 25232 1 - 6.0000 -
3439.07/3452.01 c 3452 242655 25306 1 - 6.0000 -
3444.26/3457.18 c 3457 242894 25372 1 - 6.0000 -
3449.33/3462.27 c 3462 243142 25425 1 - 6.0000 -
3454.42/3467.33 c 3467 243391 25491 1 - 6.0000 -
3459.50/3472.41 c 3472 243641 25544 1 - 6.0000 -
3464.68/3477.62 c 3478 243836 25593 1 - 6.0000 -
3469.66/3482.69 c 3483 244074 25636 1 - 6.0000 -
3474.94/3487.97 c 3488 244324 25652 1 - 6.0000 -
3480.03/3493.09 c 3493 244624 25675 1 - 6.0000 -
3485.11/3498.19 c 3498 244886 25739 1 - 6.0000 -
3490.37/3503.42 c 3503 245117 25784 1 - 6.0000 -
3495.55/3508.61 c 3509 245331 25814 1 - 6.0000 -
3500.63/3513.70 c 3514 245601 25842 1 - 6.0000 -
3505.72/3518.86 c 3519 245841 25960 1 - 6.0000 -
3510.91/3524.04 c 3524 246082 26026 1 - 6.0000 -
3515.98/3529.15 c 3529 246316 26045 1 - 6.0000 -
3521.06/3534.26 c 3534 246584 26099 1 - 6.0000 -
3526.13/3539.38 c 3539 246862 26141 1 - 6.0000 -
3531.21/3544.45 c 3544 247148 26181 1 - 6.0000 -
3536.29/3549.58 c 3550 247424 26257 1 - 6.0000 -
3541.47/3554.74 c 3555 247705 26324 1 - 6.0000 -
3546.55/3559.81 c 3560 247960 26375 1 - 6.0000 -
3551.63/3564.91 c 3565 248232 26414 1 - 6.0000 -
3556.72/3570.08 c 3570 248552 26476 1 - 6.0000 -
3561.80/3575.17 c 3575 248913 26526 1 - 6.0000 -
3566.96/3580.31 c 3580 249143 26583 1 - 6.0000 -
3572.04/3585.47 c 3585 249361 26637 1 - 6.0000 -
3577.12/3590.55 c 3591 249696 26691 1 - 6.0000 -
3582.30/3595.72 c 3596 249913 26710 1 - 6.0000 -
3584.79/3598.22 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.79/3598.22 c Total Time : 3598.2200
3584.79/3598.22 c solving : 3598.2200
3584.79/3598.22 c presolving : 1.8148 (included in solving)
3584.79/3598.22 c B&B Tree :
3584.79/3598.22 c nodes (total) : 1
3584.79/3598.22 c Solution :
3584.79/3598.22 c Solutions found : 0
3584.79/3598.22 c Primal Bound : -
3584.79/3598.22 c Dual Bound : +6.00000000000000e+00
3584.79/3598.22 c Gap : -
3584.79/3598.25 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 (63557 MiB free)
memory of node 1: 64473 MiB (55464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464127-1722382195/watcher-4464127-1722382195 -o /tmp/evaluation-result-4464127-1722382195/solver-4464127-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28007 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464127-1722382195.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30258, runsolver pid=30255
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.16 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121829024/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=42852 memory=31716 CPUtime=0.1 cores=0,2
/proc/30258/stat : 30258 (fscip) R 30255 30258 27997 0 -1 4194304 5556 0 0 0 9 1 0 0 20 0 1 0 4589897 43880448 7929 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 10713 7929 2646 3035 0 7109 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42852 KiB
Current children cumulated memory: 31716 KiB
[startup+0.214124 s]*
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121794148/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=47008 memory=36828 CPUtime=0.21 cores=0,2
/proc/30258/stat : 30258 (fscip) R 30255 30258 27997 0 -1 4194304 7694 0 0 0 19 2 0 0 20 0 1 0 4589897 48136192 9207 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 11752 9207 2758 3035 0 8148 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47008 KiB
Current children cumulated memory: 36828 KiB
[startup+0.313952 s]*
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121778068/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=51860 memory=40828 CPUtime=0.32 cores=0,2
/proc/30258/stat : 30258 (fscip) R 30255 30258 27997 0 -1 4194304 8743 0 0 0 29 3 0 0 20 0 1 0 4589897 53104640 10207 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 12965 10207 2774 3035 0 9361 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 51860 KiB
Current children cumulated memory: 40828 KiB
[startup+0.700314 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121763824/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=64356 memory=47704 CPUtime=0.68 cores=0,2
/proc/30258/stat : 30258 (fscip) R 30255 30258 27997 0 -1 4194304 10421 0 0 0 65 3 0 0 20 0 1 0 4589897 65900544 11926 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 16089 11926 2790 3035 0 12485 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64356 KiB
Current children cumulated memory: 47704 KiB
[startup+1.50026 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121740088/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=83368 memory=66976 CPUtime=1.48 cores=0,2
/proc/30258/stat : 30258 (fscip) R 30255 30258 27997 0 -1 4194304 15298 0 0 0 144 4 0 0 20 0 1 0 4589897 85368832 16744 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 20842 16744 2790 3035 0 17238 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83368 KiB
Current children cumulated memory: 66976 KiB
[startup+3.10773 s]
/proc/loadavg: 4.15 4.14 4.09 5/251 30271
/proc/meminfo: memFree=123263748/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=187752 memory=119040 CPUtime=3.06 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 32702 0 0 0 298 8 0 0 20 0 3 0 4589897 192258048 29760 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 46938 29760 2854 3035 0 34884 0
[pid=30258/tid=30266] ppid=30255 vsize=187752 memory=198340509722 CPUtime=1.18 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 13870 0 0 0 115 3 0 0 20 0 3 0 4590085 192258048 29760 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=187752 memory=0 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590088 192258048 29760 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 187752 KiB
Current children cumulated memory: 119040 KiB
[startup+6.30037 s]
/proc/loadavg: 4.21 4.15 4.10 5/249 30379
/proc/meminfo: memFree=128588572/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=165428 CPUtime=6.24 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 48752 0 0 0 613 11 0 0 20 0 3 0 4589897 259366912 41357 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 41357 2950 3035 0 46502 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=198340509722 CPUtime=4.36 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 29894 0 0 0 430 6 0 0 20 0 3 0 4590085 259366912 41357 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=0 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 41357 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 165428 KiB
[startup+12.7004 s]
/proc/loadavg: 4.20 4.15 4.10 5/255 30415
/proc/meminfo: memFree=128275408/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=170464 CPUtime=12.61 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 79110 0 0 0 1247 14 0 0 20 0 3 0 4589897 259366912 42616 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 42616 2998 3035 0 47906 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=11536 CPUtime=10.73 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 60232 0 0 0 1064 9 0 0 20 0 3 0 4590085 259366912 42616 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=16320 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 42616 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 170464 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 30418
/proc/meminfo: memFree=128135096/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=175868 CPUtime=25.36 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 115982 0 0 0 2519 17 0 0 20 0 3 0 4589897 259366912 43967 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 43967 2998 3035 0 49496 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=175864 CPUtime=23.47 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 97080 0 0 0 2335 12 0 0 20 0 3 0 4590085 259366912 43967 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=175852 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 43967 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 175868 KiB
[startup+51.1133 s]
/proc/loadavg: 4.23 4.16 4.10 5/252 30477
/proc/meminfo: memFree=128032704/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=198464 CPUtime=50.85 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 161891 0 0 0 5064 21 0 0 20 0 3 0 4589897 259366912 49616 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 49616 2998 3035 0 54464 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=195580 CPUtime=48.96 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 142957 0 0 0 4880 16 0 0 20 0 3 0 4590085 259366912 49616 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=195592 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 49616 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 198464 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/252 30486
/proc/meminfo: memFree=128007664/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=202544 CPUtime=101.82 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 178802 0 0 0 10158 24 0 0 20 0 3 0 4589897 259366912 50636 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 50636 2998 3035 0 54464 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=200756 CPUtime=99.93 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 159838 0 0 0 9974 19 0 0 20 0 3 0 4590085 259366912 50636 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=200372 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 50636 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 202544 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/252 30497
/proc/meminfo: memFree=127938632/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=211012 CPUtime=161.61 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 180390 0 0 0 16134 27 0 0 20 0 3 0 4589897 259366912 52753 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 52753 2998 3035 0 54951 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=16320 CPUtime=159.71 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 161418 0 0 0 15950 21 0 0 20 0 3 0 4590085 259366912 52753 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=211012 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 52753 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 211012 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 30508
/proc/meminfo: memFree=127882044/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253288 memory=223892 CPUtime=221.38 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 188001 0 0 0 22110 28 0 0 20 0 3 0 4589897 259366912 55973 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 63322 55973 2998 3035 0 59436 0
[pid=30258/tid=30266] ppid=30255 vsize=253288 memory=211468 CPUtime=219.49 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 169013 0 0 0 21926 23 0 0 20 0 3 0 4590085 259366912 55973 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=253288 memory=223892 CPUtime=0 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4590088 259366912 55973 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 223892 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/250 30518
/proc/meminfo: memFree=127859024/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=253424 memory=225456 CPUtime=281.16 cores=0,2
################
# More data... #
################
/proc/30258/statm: 132447 110454 3302 3035 0 113482 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=11536 CPUtime=3387.44 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 672516 0 0 0 338572 172 0 0 20 0 3 0 4590085 542502912 110454 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=11536 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 110454 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3389.65 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 441816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.33 4.21 5/252 32220
/proc/meminfo: memFree=114000472/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=443316 CPUtime=3449.43 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 701567 0 0 0 344748 195 0 0 20 0 3 0 4589897 542502912 110829 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 110829 3302 3035 0 113940 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=443224 CPUtime=3447.2 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 682132 0 0 0 344546 174 0 0 20 0 3 0 4590085 542502912 110829 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=443232 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 110829 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3449.43 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 443316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.29 4.19 5/252 32400
/proc/meminfo: memFree=113986684/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=445148 CPUtime=3509.2 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 711447 0 0 0 350722 198 0 0 20 0 3 0 4589897 542502912 111287 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 111287 3302 3035 0 114409 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=11536 CPUtime=3506.97 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 692004 0 0 0 350521 176 0 0 20 0 3 0 4590085 542502912 111287 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=445012 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 111287 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3509.2 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 445148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.29 4.20 5/252 32411
/proc/meminfo: memFree=113952360/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466436 CPUtime=3568.96 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 726422 0 0 0 356695 201 0 0 20 0 3 0 4589897 542502912 116609 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116609 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=466436 CPUtime=3566.72 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 706971 0 0 0 356493 179 0 0 20 0 3 0 4590085 542502912 116609 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=466436 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116609 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3568.96 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466436 KiB
[startup+3598.26 s]
# the end of solver process 30258 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.8 s, system=2.05795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.29 4.20 5/252 32412
/proc/meminfo: memFree=113951928/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3570.66 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 729854 0 0 0 356865 201 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=-5155635678166150021 CPUtime=3568.42 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 710403 0 0 0 356663 179 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=4786084627272593057 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.28 4.20 5/252 32412
/proc/meminfo: memFree=113951992/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3577.02 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 731510 0 0 0 357501 201 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=466440 CPUtime=3574.78 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 712053 0 0 0 357299 179 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=466440 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3577.02 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.28 4.20 5/252 32414
/proc/meminfo: memFree=113951828/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3580.21 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 731991 0 0 0 357819 202 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=466440 CPUtime=3577.97 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 712534 0 0 0 357617 180 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=466440 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113948816/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3583.39 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 733334 0 0 0 358137 202 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=466436 CPUtime=3581.15 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 713877 0 0 0 357935 180 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=466440 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3583.39 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113948236/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3584.19 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 733387 0 0 0 358217 202 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=11536 CPUtime=3581.95 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 713930 0 0 0 358015 180 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=12856 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113938668/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3584.6 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 734042 0 0 0 358258 202 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=-5155635678166150021 CPUtime=3582.36 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 714586 0 0 0 358056 180 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=4786084627272593057 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
[startup+3598.2 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113938668/131655788 swapFree=131071728/131071996
[pid=30258] ppid=30255 vsize=529788 memory=466440 CPUtime=3584.79 cores=0,2
/proc/30258/stat : 30258 (fscip) S 30255 30258 27997 0 -1 1077936128 750290 0 0 0 358276 203 0 0 20 0 3 0 4589897 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
/proc/30258/statm: 132447 116610 3302 3035 0 120070 0
[pid=30258/tid=30266] ppid=30255 vsize=529788 memory=2836 CPUtime=3582.55 cores=0,2
/proc/30258/task/30266/stat : 30266 (fscip) R 30255 30258 27997 0 -1 4194368 730831 0 0 0 358074 181 0 0 20 0 3 0 4590085 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
[pid=30258/tid=30267] ppid=30255 vsize=529788 memory=13732 CPUtime=0.05 cores=0,2
/proc/30258/task/30267/stat : 30267 (fscip) S 30255 30258 27997 0 -1 1077936192 26 0 0 0 1 4 0 0 20 0 3 0 4590088 542502912 116610 134679101440 4194304 16623229 140721511615632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29245440 140721511621654 140721511621770 140721511621770 140721511628784 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 529788 KiB
Current children cumulated memory: 466440 KiB
Child status: 0
Real time (s): 3598.26
CPU time (s): 3584.86
CPU user time (s): 3582.8
CPU system time (s): 2.05795
CPU usage (%): 99.6276
Max. virtual memory (cumulated for all children) (KiB): 529788
Max. memory (cumulated for all children) (KiB): 466440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.8
system time used= 2.05795
maximum resident set size= 466440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 752066
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= 10686
involuntary context switches= 25080
# summary of solver processes directly reported to runsolver:
# pid: 30258
# total CPU time (s): 3584.86
# total CPU user time (s): 3582.8
# total CPU system time (s): 2.05795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7896 second user time and 36.9151 second system time
The end
Begin job on nodeC011 at 2024-07-31 01:29:55
IDJOB=4464127
IDBENCH=148772
IDSOLVER=3092
FILE ID=nodeC011/4464127-1722382195
RUNJOBID= nodeC011-1722378594-28007
SLURM_JOB_ID= 8249841
Free space on /tmp= 723736 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.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-4464127-1722382195/watcher-4464127-1722382195 -o /tmp/evaluation-result-4464127-1722382195/solver-4464127-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28007 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464127-1722382195.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1367756045
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2482.483
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3416.054
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3421.576
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3536.645
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.223
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121879904 kB
MemAvailable: 122906164 kB
Buffers: 90904 kB
Cached: 1779484 kB
SwapCached: 12 kB
Active: 274836 kB
Inactive: 9056256 kB
Active(anon): 1876 kB
Inactive(anon): 7488344 kB
Active(file): 272960 kB
Inactive(file): 1567912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 85888 kB
Writeback: 0 kB
AnonPages: 7458892 kB
Mapped: 104088 kB
Shmem: 29468 kB
KReclaimable: 51176 kB
Slab: 127364 kB
SReclaimable: 51176 kB
SUnreclaim: 76188 kB
KernelStack: 3824 kB
PageTables: 23256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7413480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5310464 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC011 at 2024-07-31 02:29:54