0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22409216, getVmSize() = 22409216, SCIPgetMemUsed() = 730681, SCIPgetMemTotal() = 902993, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15439189, getVmSize() = 23908352, SCIPgetMemUsed() = 854615, SCIPgetMemTotal() = 1385847, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464335-1722378988
0.00/0.00 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 1
0.00/0.00 c logicor : 1
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.05/5.11 c 5 26187 2485 1 - 0.0000 -
10.04/10.15 c 10 69249 10671 1 - 0.0000 -
15.11/15.20 c 15 99593 16169 1 - 0.0000 -
20.09/20.24 c 20 127324 21838 1 - 0.0000 -
25.08/25.29 c 25 159371 27669 1 - 0.0000 -
30.17/30.34 c 30 189790 31482 1 - 0.0000 -
35.15/35.39 c 35 219578 35844 1 - 0.0000 -
40.23/40.44 c 40 248540 40542 1 - 0.0000 -
45.32/45.51 c 46 275178 45122 1 - 0.0000 -
50.29/50.56 c 51 300457 48684 1 - 0.0000 -
55.37/55.61 c 56 333894 51813 1 - 0.0000 -
60.36/60.66 c 61 366955 54608 1 - 0.0000 -
65.44/65.71 c 66 395426 57801 1 - 0.0000 -
70.43/70.76 c 71 428166 60277 1 - 0.0000 -
75.51/75.81 c 76 449274 64043 1 - 0.0000 -
80.49/80.87 c 81 470923 67910 1 - 0.0000 -
85.58/85.95 c 86 490413 72248 1 - 0.0000 -
90.56/91.01 c 91 513212 76253 1 - 0.0000 -
95.64/96.05 c 96 537022 80040 1 - 0.0000 -
100.73/101.12 c 101 554794 83514 1 - 0.0000 -
105.71/106.17 c 106 575113 86882 1 - 0.0000 -
110.78/111.25 c 111 598197 89968 1 - 0.0000 -
115.76/116.29 c 116 617392 93187 1 - 0.0000 -
120.84/121.34 c 121 642475 96135 1 - 0.0000 -
125.93/126.42 c 126 663739 99243 1 - 0.0000 -
130.91/131.47 c 131 682355 102141 1 - 0.0000 -
136.00/136.52 c 137 701774 104784 1 - 0.0000 -
141.08/141.64 c 142 718663 107931 1 - 0.0000 -
146.06/146.68 c 147 734587 110913 1 - 0.0000 -
151.24/151.80 c 152 750239 113989 1 - 0.0000 -
156.23/156.89 c 157 764664 116646 1 - 0.0000 -
161.31/161.99 c 162 779538 119174 1 - 0.0000 -
166.39/167.04 c 167 796252 122160 1 - 0.0000 -
171.48/172.13 c 172 814628 125066 1 - 0.0000 -
176.55/177.23 c 177 840337 126699 1 - 0.0000 -
181.53/182.28 c 182 872285 128741 1 - 0.0000 -
186.61/187.33 c 187 906756 130526 1 - 0.0000 -
191.59/192.38 c 192 933398 132304 1 - 0.0000 -
196.68/197.43 c 197 963385 133685 1 - 0.0000 -
201.75/202.51 c 203 989103 136107 1 - 0.0000 -
206.74/207.55 c 208 1009715 138563 1 - 0.0000 -
211.82/212.60 c 213 1043582 139874 1 - 0.0000 -
216.80/217.65 c 218 1077084 141404 1 - 0.0000 -
221.89/222.71 c 223 1107606 143895 1 - 0.0000 -
226.87/227.80 c 228 1133726 146545 1 - 0.0000 -
231.95/232.85 c 233 1156847 149120 1 - 0.0000 -
236.94/237.89 c 238 1184627 151610 1 - 0.0000 -
242.02/242.94 c 243 1217266 154119 1 - 0.0000 -
247.00/247.99 c 248 1246423 156908 1 - 0.0000 -
252.10/253.07 c 253 1271213 159462 1 - 0.0000 -
257.18/258.19 c 258 1288226 161883 1 - 0.0000 -
262.24/263.26 c 263 1307509 164760 1 - 0.0000 -
267.33/268.34 c 268 1325713 167410 1 - 0.0000 -
272.31/273.39 c 273 1338464 169869 1 - 0.0000 -
277.49/278.52 c 279 1353014 171967 1 - 0.0000 -
282.57/283.66 c 284 1369724 174125 1 - 0.0000 -
287.65/288.75 c 289 1387638 176493 1 - 0.0000 -
292.74/293.83 c 294 1404931 178512 1 - 0.0000 -
297.93/299.07 c 299 1421225 180710 1 - 0.0000 -
303.02/304.11 c 304 1444603 182716 1 - 0.0000 -
308.09/309.21 c 309 1460870 184629 1 - 0.0000 -
313.07/314.27 c 314 1477267 186466 1 - 0.0000 -
318.15/319.32 c 319 1509093 188655 1 - 0.0000 -
323.13/324.37 c 324 1542976 191058 1 - 0.0000 -
328.22/329.44 c 329 1576317 193275 1 - 0.0000 -
333.19/334.49 c 334 1606533 195669 1 - 0.0000 -
338.28/339.54 c 340 1638757 197849 1 - 0.0000 -
343.26/344.59 c 345 1672137 200133 1 - 0.0000 -
348.34/349.69 c 350 1690098 202304 1 - 0.0000 -
353.53/354.86 c 355 1705775 204455 1 - 0.0000 -
358.61/359.98 c 360 1719365 206585 1 - 0.0000 -
363.70/365.04 c 365 1742430 208772 1 - 0.0000 -
368.68/370.09 c 370 1771457 211359 1 - 0.0000 -
373.77/375.14 c 375 1797379 213457 1 - 0.0000 -
378.84/380.25 c 380 1826493 216369 1 - 0.0000 -
383.93/385.32 c 385 1856864 219224 1 - 0.0000 -
388.90/390.37 c 390 1888717 221791 1 - 0.0000 -
393.99/395.48 c 395 1920913 224707 1 - 0.0000 -
399.07/400.53 c 401 1954830 227186 1 - 0.0000 -
404.15/405.63 c 406 1986786 229960 1 - 0.0000 -
409.23/410.74 c 411 2016817 232645 1 - 0.0000 -
414.22/415.79 c 416 2047220 235180 1 - 0.0000 -
419.30/420.85 c 421 2076448 237786 1 - 0.0000 -
424.49/426.03 c 426 2101820 240110 1 - 0.0000 -
429.57/431.17 c 431 2133379 242557 1 - 0.0000 -
434.65/436.27 c 436 2155908 244972 1 - 0.0000 -
439.93/441.57 c 442 2182414 247629 1 - 0.0000 -
445.01/446.62 c 447 2208549 249992 1 - 0.0000 -
450.00/451.67 c 452 2237568 252019 1 - 0.0000 -
455.28/457.01 c 457 2263975 254170 1 - 0.0000 -
460.36/462.05 c 462 2288119 256406 1 - 0.0000 -
465.35/467.10 c 467 2321514 259077 1 - 0.0000 -
470.43/472.15 c 472 2354990 262289 1 - 0.0000 -
475.60/477.33 c 477 2379073 264714 1 - 0.0000 -
480.68/482.42 c 482 2405703 267570 1 - 0.0000 -
485.66/487.47 c 487 2436153 269628 1 - 0.0000 -
490.74/492.52 c 493 2468617 272186 1 - 0.0000 -
495.73/497.57 c 498 2503252 274273 1 - 0.0000 -
500.81/502.69 c 503 2533137 277056 1 - 0.0000 -
505.89/507.78 c 508 2568989 280189 1 - 0.0000 -
510.98/512.88 c 513 2588956 282400 1 - 0.0000 -
516.06/517.93 c 518 2618856 284956 1 - 0.0000 -
521.04/522.98 c 523 2651130 287584 1 - 0.0000 -
526.13/528.04 c 528 2679480 290176 1 - 0.0000 -
531.40/533.31 c 533 2698867 292321 1 - 0.0000 -
536.38/538.36 c 538 2724099 294353 1 - 0.0000 -
541.66/543.69 c 544 2739143 295975 1 - 0.0000 -
546.75/548.77 c 549 2765593 298161 1 - 0.0000 -
551.93/553.93 c 554 2795659 300635 1 - 0.0000 -
556.91/558.98 c 559 2823726 303194 1 - 0.0000 -
562.01/564.03 c 564 2854523 305665 1 - 0.0000 -
567.09/569.12 c 569 2870086 307462 1 - 0.0000 -
572.16/574.26 c 574 2885080 309162 1 - 0.0000 -
577.34/579.47 c 579 2900732 311106 1 - 0.0000 -
582.43/584.52 c 585 2932561 313173 1 - 0.0000 -
587.61/589.77 c 590 2960185 315419 1 - 0.0000 -
592.69/594.84 c 595 2986775 317497 1 - 0.0000 -
597.68/599.89 c 600 3018173 320243 1 - 0.0000 -
602.76/604.94 c 605 3039333 322431 1 - 0.0000 -
607.85/610.07 c 610 3051592 324022 1 - 0.0000 -
613.22/615.45 c 615 3070515 325915 1 - 0.0000 -
618.21/620.49 c 620 3085554 327744 1 - 0.0000 -
623.59/625.84 c 626 3098637 329457 1 - 0.0000 -
628.58/630.89 c 631 3125739 331403 1 - 0.0000 -
633.66/635.94 c 636 3157794 333014 1 - 0.0000 -
638.65/640.99 c 641 3191203 334969 1 - 0.0000 -
643.74/646.06 c 646 3221201 337363 1 - 0.0000 -
649.00/651.30 c 651 3243657 339452 1 - 0.0000 -
653.99/656.35 c 656 3267395 341649 1 - 0.0000 -
659.17/661.57 c 662 3296088 343722 1 - 0.0000 -
664.34/666.79 c 667 3321923 345713 1 - 0.0000 -
669.43/671.83 c 672 3350649 347623 1 - 0.0000 -
674.71/677.14 c 677 3373533 349441 1 - 0.0000 -
679.69/682.19 c 682 3403458 351104 1 - 0.0000 -
684.96/687.44 c 687 3418672 352728 1 - 0.0000 -
690.14/692.60 c 693 3443694 354440 1 - 0.0000 -
695.22/697.74 c 698 3469195 356531 1 - 0.0000 -
700.30/702.88 c 703 3499194 358370 1 - 0.0000 -
705.48/708.01 c 708 3528456 360419 1 - 0.0000 -
710.65/713.26 c 713 3556828 361833 1 - 0.0000 -
716.13/718.75 c 719 3579369 363334 1 - 0.0000 -
721.21/723.84 c 724 3606097 364920 1 - 0.0000 -
726.50/729.12 c 729 3630612 366571 1 - 0.0000 -
731.66/734.30 c 734 3655585 367970 1 - 0.0000 -
736.84/739.57 c 740 3673925 369438 1 - 0.0000 -
741.93/744.69 c 745 3695023 370588 1 - 0.0000 -
747.00/749.75 c 750 3712772 372017 1 - 0.0000 -
752.08/754.85 c 755 3729613 373664 1 - 0.0000 -
757.27/760.05 c 760 3743902 374891 1 - 0.0000 -
762.44/765.20 c 765 3759187 376701 1 - 0.0000 -
767.52/770.30 c 770 3784184 378862 1 - 0.0000 -
773.00/775.90 c 776 3807873 380743 1 - 0.0000 -
778.08/780.95 c 781 3830594 382306 1 - 0.0000 -
783.17/786.07 c 786 3852549 384031 1 - 0.0000 -
788.43/791.30 c 791 3874568 385770 1 - 0.0000 -
793.72/796.61 c 797 3889626 387417 1 - 0.0000 -
799.10/802.03 c 802 3906043 389294 1 - 0.0000 -
804.19/807.16 c 807 3922541 390796 1 - 0.0000 -
809.25/812.26 c 812 3937657 391950 1 - 0.0000 -
814.53/817.50 c 818 3952801 393516 1 - 0.0000 -
819.51/822.60 c 823 3971813 395071 1 - 0.0000 -
825.01/828.03 c 828 3990973 396607 1 - 0.0000 -
829.98/833.08 c 833 4021910 397980 1 - 0.0000 -
835.24/838.31 c 838 4036028 398925 1 - 0.0000 -
840.43/843.51 c 844 4056670 400315 1 - 0.0000 -
845.50/848.67 c 849 4072340 401900 1 - 0.0000 -
850.59/853.72 c 854 4095360 403557 1 - 0.0000 -
855.67/858.86 c 859 4116715 405154 1 - 0.0000 -
861.44/864.62 c 865 4139923 406607 1 - 0.0000 -
866.62/869.86 c 870 4165368 408480 1 - 0.0000 -
871.70/874.98 c 875 4191566 409847 1 - 0.0000 -
876.89/880.15 c 880 4215285 411177 1 - 0.0000 -
882.45/885.72 c 886 4229900 412862 1 - 0.0000 -
887.84/891.18 c 891 4240218 413906 1 - 0.0000 -
893.01/896.30 c 896 4257226 415354 1 - 0.0000 -
898.10/901.43 c 901 4279710 416952 1 - 0.0000 -
903.47/906.83 c 907 4296907 418713 1 - 0.0000 -
908.66/912.05 c 912 4317703 420593 1 - 0.0000 -
913.65/917.09 c 917 4338569 422237 1 - 0.0000 -
918.81/922.29 c 922 4370072 424104 1 - 0.0000 -
923.99/927.43 c 927 4400067 425840 1 - 0.0000 -
929.27/932.71 c 933 4414816 427096 1 - 0.0000 -
934.24/937.76 c 938 4443033 428705 1 - 0.0000 -
939.33/942.81 c 943 4466873 430165 1 - 0.0000 -
944.31/947.88 c 948 4494016 432064 1 - 0.0000 -
949.60/953.12 c 953 4503828 433390 1 - 0.0000 -
954.96/958.54 c 959 4516724 434840 1 - 0.0000 -
960.15/963.76 c 964 4532061 436209 1 - 0.0000 -
965.32/968.94 c 969 4549144 437552 1 - 0.0000 -
970.30/973.99 c 974 4572020 439734 1 - 0.0000 -
975.49/979.13 c 979 4588489 441357 1 - 0.0000 -
980.55/984.27 c 984 4602913 442615 1 - 0.0000 -
985.74/989.42 c 989 4619841 443925 1 - 0.0000 -
990.72/994.47 c 994 4657612 444970 1 - 0.0000 -
995.81/999.52 c 1000 4692052 447108 1 - 0.0000 -
1000.89/1004.60 c 1005 4726044 448959 1 - 0.0000 -
1005.87/1009.65 c 1010 4757475 450526 1 - 0.0000 -
1010.95/1014.70 c 1015 4790603 451968 1 - 0.0000 -
1015.93/1019.78 c 1020 4824603 453253 1 - 0.0000 -
1021.42/1025.27 c 1025 4845865 454761 1 - 0.0000 -
1026.60/1030.40 c 1030 4868880 456752 1 - 0.0000 -
1031.68/1035.51 c 1036 4897624 458687 1 - 0.0000 -
1036.86/1040.78 c 1041 4918954 460389 1 - 0.0000 -
1041.94/1045.83 c 1046 4943973 461769 1 - 0.0000 -
1046.93/1050.88 c 1051 4977016 463486 1 - 0.0000 -
1052.01/1055.93 c 1056 5011137 465069 1 - 0.0000 -
1057.00/1060.99 c 1061 5033889 466837 1 - 0.0000 -
1062.09/1066.04 c 1066 5066103 468482 1 - 0.0000 -
1067.26/1071.21 c 1071 5094551 470232 1 - 0.0000 -
1072.64/1076.61 c 1077 5111315 472050 1 - 0.0000 -
1078.03/1082.11 c 1082 5134254 473908 1 - 0.0000 -
1083.12/1087.18 c 1087 5172443 476095 1 - 0.0000 -
1088.28/1092.32 c 1092 5196273 477185 1 - 0.0000 -
1093.47/1097.56 c 1098 5223460 478761 1 - 0.0000 -
1098.55/1102.67 c 1103 5245080 480164 1 - 0.0000 -
1103.63/1107.72 c 1108 5279334 481500 1 - 0.0000 -
1108.62/1112.77 c 1113 5310751 483084 1 - 0.0000 -
1113.71/1117.82 c 1118 5340849 484516 1 - 0.0000 -
1118.68/1122.87 c 1123 5370485 486114 1 - 0.0000 -
1123.77/1127.93 c 1128 5402954 487864 1 - 0.0000 -
1128.75/1132.98 c 1133 5437088 490625 1 - 0.0000 -
1133.95/1138.13 c 1138 5456226 492371 1 - 0.0000 -
1139.31/1143.54 c 1144 5464613 493406 1 - 0.0000 -
1144.59/1148.88 c 1149 5474683 494776 1 - 0.0000 -
1150.07/1154.30 c 1154 5479728 495707 1 - 0.0000 -
1155.04/1159.38 c 1159 5495873 497090 1 - 0.0000 -
1160.42/1164.71 c 1165 5514281 498564 1 - 0.0000 -
1165.41/1169.76 c 1170 5543131 500690 1 - 0.0000 -
1170.69/1175.01 c 1175 5571674 502222 1 - 0.0000 -
1175.67/1180.06 c 1180 5605730 504109 1 - 0.0000 -
1180.84/1185.23 c 1185 5636623 505520 1 - 0.0000 -
1185.82/1190.28 c 1190 5665465 507452 1 - 0.0000 -
1190.90/1195.35 c 1195 5699985 508985 1 - 0.0000 -
1195.99/1200.40 c 1200 5735625 510667 1 - 0.0000 -
1200.97/1205.48 c 1205 5771153 512559 1 - 0.0000 -
1206.05/1210.53 c 1211 5805150 513843 1 - 0.0000 -
1211.24/1215.79 c 1216 5833843 515345 1 - 0.0000 -
1216.32/1220.84 c 1221 5859145 517257 1 - 0.0000 -
1221.90/1226.49 c 1226 5878481 518769 1 - 0.0000 -
1227.88/1232.41 c 1232 5901468 520170 1 - 0.0000 -
1232.86/1237.46 c 1237 5921631 521247 1 - 0.0000 -
1238.25/1242.80 c 1243 5944543 523109 1 - 0.0000 -
1243.63/1248.20 c 1248 5956587 524135 1 - 0.0000 -
1248.81/1253.42 c 1253 5976466 525408 1 - 0.0000 -
1253.79/1258.47 c 1258 6012459 527065 1 - 0.0000 -
1258.87/1263.52 c 1264 6047791 528843 1 - 0.0000 -
1264.34/1269.10 c 1269 6067217 530275 1 - 0.0000 -
1269.71/1274.48 c 1274 6077504 531480 1 - 0.0000 -
1274.90/1279.65 c 1280 6091739 533065 1 - 0.0000 -
1279.98/1284.70 c 1285 6113560 534880 1 - 0.0000 -
1284.96/1289.75 c 1290 6140514 536396 1 - 0.0000 -
1290.05/1294.80 c 1295 6172904 537750 1 - 0.0000 -
1295.35/1300.15 c 1300 6195444 539572 1 - 0.0000 -
1300.61/1305.41 c 1305 6227735 540939 1 - 0.0000 -
1305.70/1310.51 c 1311 6259425 542239 1 - 0.0000 -
1310.67/1315.56 c 1316 6294264 544234 1 - 0.0000 -
1315.86/1320.78 c 1321 6315633 545745 1 - 0.0000 -
1320.94/1325.83 c 1326 6343805 547397 1 - 0.0000 -
1326.13/1331.11 c 1331 6367293 548895 1 - 0.0000 -
1331.80/1336.77 c 1337 6372383 549753 1 - 0.0000 -
1337.21/1342.15 c 1342 6379993 550585 1 - 0.0000 -
1342.57/1347.51 c 1348 6388781 551593 1 - 0.0000 -
1348.45/1353.46 c 1353 6401523 552677 1 - 0.0000 -
1353.54/1358.56 c 1359 6424532 554264 1 - 0.0000 -
1358.81/1363.86 c 1364 6443264 556036 1 - 0.0000 -
1363.90/1368.96 c 1369 6461603 557633 1 - 0.0000 -
1368.99/1374.01 c 1374 6490714 559028 1 - 0.0000 -
1374.16/1379.22 c 1379 6514470 560956 1 - 0.0000 -
1379.14/1384.29 c 1384 6544320 562467 1 - 0.0000 -
1384.23/1389.34 c 1389 6576218 564166 1 - 0.0000 -
1389.41/1394.57 c 1395 6603827 566064 1 - 0.0000 -
1394.70/1399.84 c 1400 6621571 567758 1 - 0.0000 -
1399.77/1405.01 c 1405 6635681 569172 1 - 0.0000 -
1404.86/1410.05 c 1410 6661223 570960 1 - 0.0000 -
1410.03/1415.23 c 1415 6686774 572081 1 - 0.0000 -
1415.42/1420.63 c 1421 6714248 573403 1 - 0.0000 -
1420.50/1425.70 c 1426 6738706 575175 1 - 0.0000 -
1425.68/1430.91 c 1431 6758848 577212 1 - 0.0000 -
1430.77/1436.09 c 1436 6779556 579017 1 - 0.0000 -
1436.14/1441.41 c 1441 6799660 580965 1 - 0.0000 -
1441.22/1446.59 c 1447 6833515 583708 1 - 0.0000 -
1446.50/1451.87 c 1452 6858494 585553 1 - 0.0000 -
1451.79/1457.13 c 1457 6873768 587154 1 - 0.0000 -
1456.87/1462.27 c 1462 6894924 588997 1 - 0.0000 -
1462.15/1467.53 c 1468 6928286 591479 1 - 0.0000 -
1467.13/1472.58 c 1473 6950611 593499 1 - 0.0000 -
1472.51/1477.90 c 1478 6978223 595409 1 - 0.0000 -
1477.98/1483.43 c 1483 7020007 597558 1 - 0.0000 -
1483.37/1488.88 c 1489 7035803 599428 1 - 0.0000 -
1488.45/1493.98 c 1494 7065866 601251 1 - 0.0000 -
1493.73/1499.27 c 1499 7097903 603223 1 - 0.0000 -
1499.02/1504.56 c 1505 7113830 605084 1 - 0.0000 -
1504.20/1509.78 c 1510 7133405 607151 1 - 0.0000 -
1509.28/1514.83 c 1515 7154324 608873 1 - 0.0000 -
1515.15/1520.76 c 1521 7173203 610193 1 - 0.0000 -
1520.83/1526.46 c 1526 7190507 612142 1 - 0.0000 -
1526.22/1531.82 c 1532 7211659 613991 1 - 0.0000 -
1531.31/1536.99 c 1537 7232191 615893 1 - 0.0000 -
1536.49/1542.12 c 1542 7261375 617662 1 - 0.0000 -
1542.05/1547.74 c 1548 7285874 620216 1 - 0.0000 -
1547.64/1553.34 c 1553 7306883 622115 1 - 0.0000 -
1552.92/1558.69 c 1559 7330031 624113 1 - 0.0000 -
1558.41/1564.13 c 1564 7345777 625614 1 - 0.0000 -
1563.88/1569.61 c 1570 7362536 626938 1 - 0.0000 -
1569.28/1575.07 c 1575 7390284 629362 1 - 0.0000 -
1574.55/1580.30 c 1580 7416103 631045 1 - 0.0000 -
1579.53/1585.38 c 1585 7442833 633203 1 - 0.0000 -
1585.41/1591.27 c 1591 7466601 635543 1 - 0.0000 -
1590.49/1596.33 c 1596 7497313 637562 1 - 0.0000 -
1595.87/1601.75 c 1602 7516363 638898 1 - 0.0000 -
1601.26/1607.15 c 1607 7536681 640372 1 - 0.0000 -
1606.34/1612.26 c 1612 7553411 641884 1 - 0.0000 -
1611.42/1617.36 c 1617 7571574 643411 1 - 0.0000 -
1616.59/1622.54 c 1623 7590608 645167 1 - 0.0000 -
1621.98/1627.90 c 1628 7603687 646848 1 - 0.0000 -
1627.85/1633.89 c 1634 7617830 648705 1 - 0.0000 -
1633.44/1639.45 c 1639 7639563 650744 1 - 0.0000 -
1638.52/1644.56 c 1645 7656529 652494 1 - 0.0000 -
1643.60/1649.68 c 1650 7676175 654472 1 - 0.0000 -
1648.68/1654.74 c 1655 7695819 656576 1 - 0.0000 -
1654.17/1660.28 c 1660 7710545 658352 1 - 0.0000 -
1659.44/1665.54 c 1666 7733763 660315 1 - 0.0000 -
1664.52/1670.63 c 1671 7756036 662341 1 - 0.0000 -
1669.81/1675.96 c 1676 7778633 664064 1 - 0.0000 -
1675.29/1681.49 c 1682 7798370 665875 1 - 0.0000 -
1680.77/1686.99 c 1687 7822825 668532 1 - 0.0000 -
1685.86/1692.04 c 1692 7847730 670721 1 - 0.0000 -
1690.96/1697.11 c 1697 7872746 673099 1 - 0.0000 -
1696.02/1702.20 c 1702 7899147 675166 1 - 0.0000 -
1701.10/1707.34 c 1707 7922696 676885 1 - 0.0000 -
1706.28/1712.57 c 1713 7931600 678133 1 - 0.0000 -
1711.66/1717.94 c 1718 7948483 680040 1 - 0.0000 -
1716.76/1723.02 c 1723 7973461 681854 1 - 0.0000 -
1721.75/1728.10 c 1728 8002191 683108 1 - 0.0000 -
1726.92/1733.28 c 1733 8024306 684243 1 - 0.0000 -
1732.00/1738.37 c 1738 8053954 685143 1 - 0.0000 -
1737.08/1743.42 c 1743 8080686 686951 1 - 0.0000 -
1742.26/1748.68 c 1749 8092451 688150 1 - 0.0000 -
1748.24/1754.63 c 1755 8106469 689636 1 - 0.0000 -
1753.74/1760.15 c 1760 8120840 690947 1 - 0.0000 -
1759.01/1765.49 c 1766 8144695 692578 1 - 0.0000 -
1764.09/1770.59 c 1771 8171410 694192 1 - 0.0000 -
1769.18/1775.67 c 1776 8199294 696146 1 - 0.0000 -
1774.56/1781.02 c 1781 8226554 698112 1 - 0.0000 -
1779.65/1786.12 c 1786 8251933 699893 1 - 0.0000 -
1785.22/1791.73 c 1792 8274680 701606 1 - 0.0000 -
1790.30/1796.87 c 1797 8300564 702776 1 - 0.0000 -
1795.38/1801.99 c 1802 8322733 702948 1 - 0.0000 -
1800.47/1807.04 c 1807 8349733 703795 1 - 0.0000 -
1806.04/1812.61 c 1813 8364799 705379 1 - 0.0000 -
1811.32/1817.91 c 1818 8386529 707523 1 - 0.0000 -
1817.10/1823.71 c 1824 8403293 709447 1 - 0.0000 -
1822.58/1829.21 c 1829 8419717 711597 1 - 0.0000 -
1828.27/1834.98 c 1835 8432493 713195 1 - 0.0000 -
1833.85/1840.53 c 1841 8460673 715251 1 - 0.0000 -
1838.83/1845.57 c 1846 8469170 716414 1 - 0.0000 -
1844.22/1850.96 c 1851 8488449 718663 1 - 0.0000 -
1850.00/1856.71 c 1857 8505248 720900 1 - 0.0000 -
1855.29/1862.05 c 1862 8533711 722565 1 - 0.0000 -
1860.28/1867.10 c 1867 8561755 724333 1 - 0.0000 -
1865.36/1872.17 c 1872 8590848 726157 1 - 0.0000 -
1870.43/1877.25 c 1877 8623443 727867 1 - 0.0000 -
1875.90/1882.71 c 1883 8635533 728879 1 - 0.0000 -
1881.09/1887.99 c 1888 8642883 729943 1 - 0.0000 -
1886.29/1893.14 c 1893 8660618 731112 1 - 0.0000 -
1892.17/1899.07 c 1899 8674520 732447 1 - 0.0000 -
1897.94/1904.89 c 1905 8682160 733387 1 - 0.0000 -
1903.32/1910.27 c 1910 8687296 734207 1 - 0.0000 -
1908.60/1915.58 c 1916 8694419 735046 1 - 0.0000 -
1914.19/1921.13 c 1921 8700473 735878 1 - 0.0000 -
1919.86/1926.80 c 1927 8708985 736878 1 - 0.0000 -
1925.33/1932.35 c 1932 8712406 737511 1 - 0.0000 -
1931.42/1938.41 c 1938 8718319 738316 1 - 0.0000 -
1936.80/1943.80 c 1944 8728197 739046 1 - 0.0000 -
1942.00/1949.10 c 1949 8735463 739756 1 - 0.0000 -
1947.66/1954.77 c 1955 8745239 740682 1 - 0.0000 -
1953.14/1960.23 c 1960 8755443 741658 1 - 0.0000 -
1958.62/1965.79 c 1966 8764587 742534 1 - 0.0000 -
1964.01/1971.13 c 1971 8771303 743600 1 - 0.0000 -
1969.48/1976.69 c 1977 8777473 744522 1 - 0.0000 -
1974.77/1981.96 c 1982 8783428 745349 1 - 0.0000 -
1980.45/1987.62 c 1988 8790303 746346 1 - 0.0000 -
1985.74/1992.90 c 1993 8797260 747107 1 - 0.0000 -
1991.31/1998.56 c 1999 8804083 748012 1 - 0.0000 -
1996.70/2003.98 c 2004 8810911 748822 1 - 0.0000 -
2002.28/2009.50 c 2010 8817677 749734 1 - 0.0000 -
2007.66/2015.00 c 2015 8827499 750660 1 - 0.0000 -
2013.14/2020.47 c 2020 8840820 751815 1 - 0.0000 -
2018.92/2026.22 c 2026 8848474 752727 1 - 0.0000 -
2024.11/2031.44 c 2031 8857854 753905 1 - 0.0000 -
2029.49/2036.85 c 2037 8868094 754889 1 - 0.0000 -
2035.06/2042.46 c 2042 8884211 756042 1 - 0.0000 -
2040.66/2048.07 c 2048 8898366 757539 1 - 0.0000 -
2046.22/2053.65 c 2054 8908793 758524 1 - 0.0000 -
2051.72/2059.15 c 2059 8930927 760340 1 - 0.0000 -
2057.09/2064.52 c 2065 8936936 761209 1 - 0.0000 -
2062.38/2069.85 c 2070 8944975 762190 1 - 0.0000 -
2067.86/2075.32 c 2075 8955668 762877 1 - 0.0000 -
2072.94/2080.44 c 2080 8968405 763930 1 - 0.0000 -
2078.33/2085.87 c 2086 8988803 765276 1 - 0.0000 -
2083.62/2091.18 c 2091 9011851 766686 1 - 0.0000 -
2089.09/2096.62 c 2097 9038423 768228 1 - 0.0000 -
2094.48/2102.11 c 2102 9044094 768913 1 - 0.0000 -
2100.25/2107.85 c 2108 9056648 770029 1 - 0.0000 -
2106.54/2114.13 c 2114 9067354 771137 1 - 0.0000 -
2111.81/2119.42 c 2119 9087792 772625 1 - 0.0000 -
2117.20/2124.87 c 2125 9107440 773065 1 - 0.0000 -
2122.78/2130.45 c 2130 9117084 773965 1 - 0.0000 -
2127.96/2135.66 c 2136 9131421 775042 1 - 0.0000 -
2133.35/2141.08 c 2141 9143741 776070 1 - 0.0000 -
2138.52/2146.21 c 2146 9155596 776807 1 - 0.0000 -
2143.90/2151.67 c 2152 9170205 777640 1 - 0.0000 -
2149.40/2157.17 c 2157 9186253 778610 1 - 0.0000 -
2155.07/2162.83 c 2163 9194124 779419 1 - 0.0000 -
2160.26/2168.09 c 2168 9210457 780380 1 - 0.0000 -
2165.63/2173.46 c 2173 9218307 781166 1 - 0.0000 -
2171.02/2178.86 c 2179 9232837 782116 1 - 0.0000 -
2176.70/2184.53 c 2185 9246650 782867 1 - 0.0000 -
2182.37/2190.22 c 2190 9258464 783673 1 - 0.0000 -
2187.57/2195.41 c 2195 9268889 784388 1 - 0.0000 -
2192.75/2200.64 c 2201 9284931 785472 1 - 0.0000 -
2198.53/2206.41 c 2206 9298373 786188 1 - 0.0000 -
2204.13/2212.07 c 2212 9304798 787015 1 - 0.0000 -
2209.89/2217.85 c 2218 9313856 787955 1 - 0.0000 -
2215.38/2223.37 c 2223 9332640 788735 1 - 0.0000 -
2221.06/2229.07 c 2229 9344403 789194 1 - 0.0000 -
2227.05/2235.04 c 2235 9353975 790044 1 - 0.0000 -
2232.91/2240.98 c 2241 9363687 790894 1 - 0.0000 -
2238.01/2246.03 c 2246 9382460 791709 1 - 0.0000 -
2243.88/2251.96 c 2252 9397806 792293 1 - 0.0000 -
2250.15/2258.26 c 2258 9409311 793012 1 - 0.0000 -
2256.14/2264.25 c 2264 9423651 794270 1 - 0.0000 -
2261.82/2269.96 c 2270 9435144 795939 1 - 0.0000 -
2267.20/2275.37 c 2275 9444300 796939 1 - 0.0000 -
2273.18/2281.33 c 2281 9450180 797765 1 - 0.0000 -
2278.16/2286.36 c 2286 9458133 798508 1 - 0.0000 -
2284.14/2292.33 c 2292 9465313 799320 1 - 0.0000 -
2289.72/2297.97 c 2298 9475677 800494 1 - 0.0000 -
2295.40/2303.60 c 2304 9482308 801405 1 - 0.0000 -
2300.90/2309.17 c 2309 9489557 802116 1 - 0.0000 -
2306.67/2314.98 c 2315 9494037 802778 1 - 0.0000 -
2311.76/2320.04 c 2320 9503778 803431 1 - 0.0000 -
2317.13/2325.47 c 2325 9516378 804415 1 - 0.0000 -
2322.73/2331.03 c 2331 9525643 805226 1 - 0.0000 -
2327.71/2336.07 c 2336 9545664 806467 1 - 0.0000 -
2332.88/2341.27 c 2341 9553130 807191 1 - 0.0000 -
2338.16/2346.55 c 2347 9577670 808575 1 - 0.0000 -
2343.34/2351.70 c 2352 9600077 810210 1 - 0.0000 -
2348.62/2357.02 c 2357 9624703 811900 1 - 0.0000 -
2353.71/2362.11 c 2362 9651158 812565 1 - 0.0000 -
2358.99/2367.43 c 2367 9669141 812960 1 - 0.0000 -
2364.06/2372.54 c 2373 9689395 813714 1 - 0.0000 -
2369.56/2378.08 c 2378 9716323 814138 1 - 0.0000 -
2375.23/2383.76 c 2384 9722693 814798 1 - 0.0000 -
2380.41/2388.92 c 2389 9727278 815369 1 - 0.0000 -
2385.61/2394.16 c 2394 9734574 816013 1 - 0.0000 -
2390.88/2399.45 c 2399 9753946 816853 1 - 0.0000 -
2396.47/2405.04 c 2405 9773957 817786 1 - 0.0000 -
2401.95/2410.58 c 2411 9781638 818651 1 - 0.0000 -
2407.12/2415.75 c 2416 9797921 819388 1 - 0.0000 -
2412.32/2420.97 c 2421 9806542 820233 1 - 0.0000 -
2418.29/2426.91 c 2427 9820923 821800 1 - 0.0000 -
2423.38/2432.04 c 2432 9835166 823113 1 - 0.0000 -
2428.36/2437.09 c 2437 9860592 823873 1 - 0.0000 -
2434.04/2442.78 c 2443 9873131 825023 1 - 0.0000 -
2439.12/2447.85 c 2448 9902164 826325 1 - 0.0000 -
2444.31/2453.07 c 2453 9925374 827514 1 - 0.0000 -
2449.48/2458.23 c 2458 9947196 829200 1 - 0.0000 -
2454.47/2463.28 c 2463 9972424 830156 1 - 0.0000 -
2459.65/2468.45 c 2468 9997206 831335 1 - 0.0000 -
2464.74/2473.57 c 2474 10020284 832525 1 - 0.0000 -
2469.82/2478.62 c 2479 10046566 833904 1 - 0.0000 -
2474.80/2483.67 c 2484 10073573 835154 1 - 0.0000 -
2480.20/2489.08 c 2489 10092243 836289 1 - 0.0000 -
2486.36/2495.28 c 2495 10097443 837271 1 - 0.0000 -
2491.84/2500.70 c 2501 10102636 837898 1 - 0.0000 -
2497.43/2506.34 c 2506 10111298 838954 1 - 0.0000 -
2502.71/2511.65 c 2512 10119087 840031 1 - 0.0000 -
2508.59/2517.51 c 2518 10127670 841158 1 - 0.0000 -
2513.98/2522.98 c 2523 10135061 842217 1 - 0.0000 -
2519.36/2528.30 c 2528 10151367 843063 1 - 0.0000 -
2525.24/2534.28 c 2534 10166906 844178 1 - 0.0000 -
2531.13/2540.14 c 2540 10176605 845115 1 - 0.0000 -
2536.40/2545.43 c 2545 10194088 846558 1 - 0.0000 -
2542.09/2551.11 c 2551 10214183 848295 1 - 0.0000 -
2548.16/2557.20 c 2557 10221033 849362 1 - 0.0000 -
2553.95/2563.01 c 2563 10227620 850307 1 - 0.0000 -
2559.93/2569.05 c 2569 10234844 851439 1 - 0.0000 -
2565.40/2574.55 c 2575 10242607 852480 1 - 0.0000 -
2570.48/2579.62 c 2580 10259396 853577 1 - 0.0000 -
2576.46/2585.60 c 2586 10270302 854714 1 - 0.0000 -
2581.64/2590.85 c 2591 10284833 856132 1 - 0.0000 -
2587.12/2596.30 c 2596 10300946 857861 1 - 0.0000 -
2592.11/2601.35 c 2601 10328380 859987 1 - 0.0000 -
2597.29/2606.50 c 2607 10349676 860787 1 - 0.0000 -
2602.48/2611.74 c 2612 10369217 861990 1 - 0.0000 -
2607.46/2616.76 c 2617 10379550 863027 1 - 0.0000 -
2613.24/2622.52 c 2623 10384147 863928 1 - 0.0000 -
2618.73/2628.05 c 2628 10391573 865096 1 - 0.0000 -
2624.00/2633.34 c 2633 10402619 866148 1 - 0.0000 -
2629.69/2639.07 c 2639 10409811 867136 1 - 0.0000 -
2635.16/2644.56 c 2645 10429638 868707 1 - 0.0000 -
2641.14/2650.51 c 2651 10446873 869584 1 - 0.0000 -
2646.42/2655.87 c 2656 10458520 870369 1 - 0.0000 -
2652.61/2662.07 c 2662 10471325 871232 1 - 0.0000 -
2657.88/2667.31 c 2667 10484153 872186 1 - 0.0000 -
2663.47/2672.92 c 2673 10496972 872975 1 - 0.0000 -
2668.94/2678.49 c 2678 10518364 874237 1 - 0.0000 -
2674.23/2683.77 c 2684 10538585 875768 1 - 0.0000 -
2679.31/2688.82 c 2689 10571533 876574 1 - 0.0000 -
2684.51/2694.02 c 2694 10596365 878295 1 - 0.0000 -
2689.49/2699.09 c 2699 10617827 880217 1 - 0.0000 -
2694.96/2704.53 c 2705 10640033 881941 1 - 0.0000 -
2700.84/2710.48 c 2710 10657918 883404 1 - 0.0000 -
2706.02/2715.60 c 2716 10686225 885379 1 - 0.0000 -
2711.00/2720.65 c 2721 10719512 886585 1 - 0.0000 -
2716.18/2725.88 c 2726 10742670 887762 1 - 0.0000 -
2721.38/2731.07 c 2731 10769802 889304 1 - 0.0000 -
2726.74/2736.44 c 2736 10803853 891097 1 - 0.0000 -
2731.93/2741.69 c 2742 10830541 892771 1 - 0.0000 -
2737.51/2747.23 c 2747 10859532 894292 1 - 0.0000 -
2742.59/2752.37 c 2752 10884794 895393 1 - 0.0000 -
2747.68/2757.44 c 2757 10910120 896781 1 - 0.0000 -
2752.66/2762.49 c 2762 10932747 897974 1 - 0.0000 -
2757.74/2767.54 c 2768 10953697 899264 1 - 0.0000 -
2763.02/2772.86 c 2773 10965666 900674 1 - 0.0000 -
2768.32/2778.12 c 2778 10990722 902780 1 - 0.0000 -
2774.19/2784.05 c 2784 11016468 905042 1 - 0.0000 -
2779.36/2789.28 c 2789 11051070 907438 1 - 0.0000 -
2784.65/2794.51 c 2795 11076663 909703 1 - 0.0000 -
2790.02/2800.00 c 2800 11102005 911573 1 - 0.0000 -
2795.60/2805.51 c 2806 11133347 913546 1 - 0.0000 -
2800.98/2810.93 c 2811 11163660 914933 1 - 0.0000 -
2806.26/2816.28 c 2816 11179607 915908 1 - 0.0000 -
2811.94/2821.96 c 2822 11209306 918523 1 - 0.0000 -
2817.04/2827.01 c 2827 11248575 920442 1 - 0.0000 -
2822.31/2832.32 c 2832 11269936 922266 1 - 0.0000 -
2827.49/2837.57 c 2838 11301697 924230 1 - 0.0000 -
2832.87/2842.95 c 2843 11322262 926425 1 - 0.0000 -
2837.86/2848.01 c 2848 11350272 927767 1 - 0.0000 -
2843.13/2853.28 c 2853 11371031 929027 1 - 0.0000 -
2848.91/2859.01 c 2859 11392567 930234 1 - 0.0000 -
2854.08/2864.25 c 2864 11417549 931434 1 - 0.0000 -
2859.98/2870.19 c 2870 11429786 932632 1 - 0.0000 -
2865.95/2876.14 c 2876 11445793 934091 1 - 0.0000 -
2871.52/2881.76 c 2882 11467221 936269 1 - 0.0000 -
2876.70/2886.98 c 2887 11494487 938405 1 - 0.0000 -
2882.08/2892.39 c 2892 11519103 940593 1 - 0.0000 -
2887.57/2897.85 c 2898 11549314 943162 1 - 0.0000 -
2892.86/2903.17 c 2903 11573908 945078 1 - 0.0000 -
2898.03/2908.34 c 2908 11604412 946819 1 - 0.0000 -
2903.02/2913.39 c 2913 11630194 948222 1 - 0.0000 -
2908.70/2919.01 c 2919 11655765 949767 1 - 0.0000 -
2913.79/2924.14 c 2924 11676501 950995 1 - 0.0000 -
2919.06/2929.45 c 2929 11697025 952641 1 - 0.0000 -
2924.14/2934.56 c 2935 11721476 954255 1 - 0.0000 -
2929.41/2939.82 c 2940 11745933 955637 1 - 0.0000 -
2934.79/2945.27 c 2945 11768607 957188 1 - 0.0000 -
2940.69/2951.13 c 2951 11784806 958465 1 - 0.0000 -
2945.76/2956.26 c 2956 11812592 959555 1 - 0.0000 -
2951.04/2961.52 c 2962 11836847 961741 1 - 0.0000 -
2956.22/2966.74 c 2967 11859542 963372 1 - 0.0000 -
2961.30/2971.88 c 2972 11881274 964638 1 - 0.0000 -
2967.18/2977.75 c 2978 11899159 965651 1 - 0.0000 -
2972.46/2983.02 c 2983 11918981 967051 1 - 0.0000 -
2977.83/2988.41 c 2988 11943933 968315 1 - 0.0000 -
2983.70/2994.37 c 2994 11960903 969528 1 - 0.0000 -
2989.18/2999.84 c 3000 11985390 971604 1 - 0.0000 -
2994.37/3005.02 c 3005 12014893 973268 1 - 0.0000 -
2999.84/3010.59 c 3011 12042133 974730 1 - 0.0000 -
3005.01/3015.70 c 3016 12062329 976300 1 - 0.0000 -
3010.00/3020.75 c 3021 12083692 977445 1 - 0.0000 -
3016.07/3026.85 c 3027 12102886 978998 1 - 0.0000 -
3021.55/3032.36 c 3032 12119772 980455 1 - 0.0000 -
3027.23/3038.11 c 3038 12140935 982050 1 - 0.0000 -
3032.71/3043.57 c 3044 12162631 983454 1 - 0.0000 -
3037.78/3048.69 c 3049 12185334 984842 1 - 0.0000 -
3042.86/3053.77 c 3054 12209918 986037 1 - 0.0000 -
3048.04/3058.96 c 3059 12229975 987398 1 - 0.0000 -
3054.01/3064.96 c 3065 12250550 988751 1 - 0.0000 -
3059.10/3070.05 c 3070 12274354 990042 1 - 0.0000 -
3064.67/3075.60 c 3076 12300659 991510 1 - 0.0000 -
3069.65/3080.65 c 3081 12314775 992292 1 - 0.0000 -
3074.73/3085.70 c 3086 12339465 993844 1 - 0.0000 -
3079.91/3090.91 c 3091 12368825 995140 1 - 0.0000 -
3085.49/3096.59 c 3097 12382612 996691 1 - 0.0000 -
3091.27/3102.39 c 3102 12398426 997865 1 - 0.0000 -
3096.96/3108.08 c 3108 12407288 998807 1 - 0.0000 -
3102.72/3113.80 c 3114 12414329 999800 1 - 0.0000 -
3107.80/3118.90 c 3119 12421056 1000827 1 - 0.0000 -
3112.98/3124.13 c 3124 12425503 1001456 1 - 0.0000 -
3118.66/3129.85 c 3130 12433603 1002438 1 - 0.0000 -
3124.24/3135.47 c 3135 12439390 1003377 1 - 0.0000 -
3129.93/3141.18 c 3141 12447158 1004079 1 - 0.0000 -
3135.91/3147.13 c 3147 12458983 1005196 1 - 0.0000 -
3141.48/3152.77 c 3153 12467076 1006147 1 - 0.0000 -
3146.77/3158.08 c 3158 12481398 1007441 1 - 0.0000 -
3152.14/3163.49 c 3164 12491953 1008522 1 - 0.0000 -
3157.41/3168.76 c 3169 12507524 1009903 1 - 0.0000 -
3163.20/3174.57 c 3175 12532756 1011733 1 - 0.0000 -
3168.39/3179.79 c 3180 12550302 1013383 1 - 0.0000 -
3173.87/3185.25 c 3185 12568953 1015424 1 - 0.0000 -
3179.24/3190.65 c 3191 12575553 1016084 1 - 0.0000 -
3184.52/3195.99 c 3196 12584342 1016811 1 - 0.0000 -
3190.20/3201.68 c 3202 12595221 1017600 1 - 0.0000 -
3196.38/3207.88 c 3208 12612446 1018845 1 - 0.0000 -
3201.96/3213.41 c 3213 12631775 1020354 1 - 0.0000 -
3206.94/3218.46 c 3218 12653632 1022203 1 - 0.0000 -
3212.22/3223.76 c 3224 12676798 1024143 1 - 0.0000 -
3217.41/3228.90 c 3229 12695404 1025917 1 - 0.0000 -
3222.50/3234.10 c 3234 12717667 1027762 1 - 0.0000 -
3227.97/3239.54 c 3240 12727678 1028851 1 - 0.0000 -
3233.75/3245.39 c 3245 12734253 1030012 1 - 0.0000 -
3238.94/3250.51 c 3251 12740576 1030721 1 - 0.0000 -
3244.92/3256.55 c 3257 12751221 1031814 1 - 0.0000 -
3250.41/3262.05 c 3262 12759807 1032714 1 - 0.0000 -
3255.69/3267.36 c 3267 12770914 1033819 1 - 0.0000 -
3261.27/3272.95 c 3273 12792933 1035162 1 - 0.0000 -
3267.15/3278.81 c 3279 12804740 1036249 1 - 0.0000 -
3272.22/3283.91 c 3284 12821803 1037464 1 - 0.0000 -
3277.32/3289.01 c 3289 12847458 1039119 1 - 0.0000 -
3282.58/3294.36 c 3294 12873806 1041141 1 - 0.0000 -
3287.67/3299.41 c 3299 12904271 1043462 1 - 0.0000 -
3292.75/3304.57 c 3305 12927383 1045250 1 - 0.0000 -
3298.14/3309.99 c 3310 12953917 1047008 1 - 0.0000 -
3303.50/3315.35 c 3315 12970353 1048427 1 - 0.0000 -
3308.89/3320.78 c 3321 12986792 1050422 1 - 0.0000 -
3314.28/3326.18 c 3326 13010471 1052198 1 - 0.0000 -
3319.95/3331.81 c 3332 13034239 1054566 1 - 0.0000 -
3325.54/3337.43 c 3337 13067408 1057653 1 - 0.0000 -
3331.52/3343.45 c 3343 13092715 1059776 1 - 0.0000 -
3337.00/3348.92 c 3349 13125692 1062366 1 - 0.0000 -
3342.58/3354.59 c 3355 13149018 1064014 1 - 0.0000 -
3347.97/3359.96 c 3360 13181097 1065729 1 - 0.0000 -
3353.17/3365.13 c 3365 13203593 1067187 1 - 0.0000 -
3358.14/3370.17 c 3370 13234543 1069469 1 - 0.0000 -
3363.22/3375.22 c 3375 13269875 1070861 1 - 0.0000 -
3368.20/3380.28 c 3380 13299867 1073129 1 - 0.0000 -
3373.78/3385.90 c 3386 13324930 1074972 1 - 0.0000 -
3379.17/3391.23 c 3391 13360754 1077566 1 - 0.0000 -
3384.25/3396.35 c 3396 13394971 1079491 1 - 0.0000 -
3389.34/3401.40 c 3401 13424657 1080564 1 - 0.0000 -
3395.21/3407.37 c 3407 13444937 1082124 1 - 0.0000 -
3400.29/3412.41 c 3412 13470030 1083649 1 - 0.0000 -
3405.27/3417.46 c 3417 13501097 1085252 1 - 0.0000 -
3410.56/3422.74 c 3423 13523088 1086719 1 - 0.0000 -
3416.05/3428.20 c 3428 13553127 1088780 1 - 0.0000 -
3421.53/3433.75 c 3434 13579184 1090322 1 - 0.0000 -
3426.82/3439.05 c 3439 13596531 1091825 1 - 0.0000 -
3433.38/3445.63 c 3446 13611406 1093246 1 - 0.0000 -
3438.47/3450.70 c 3451 13638060 1095400 1 - 0.0000 -
3443.86/3456.17 c 3456 13663688 1097325 1 - 0.0000 -
3449.04/3461.34 c 3461 13682340 1099512 1 - 0.0000 -
3454.83/3467.16 c 3467 13710727 1101959 1 - 0.0000 -
3459.91/3472.25 c 3472 13736370 1103355 1 - 0.0000 -
3465.29/3477.62 c 3478 13772322 1105351 1 - 0.0000 -
3470.97/3483.35 c 3483 13795940 1107098 1 - 0.0000 -
3476.05/3488.44 c 3488 13819558 1108954 1 - 0.0000 -
3481.23/3493.69 c 3494 13841913 1110393 1 - 0.0000 -
3486.41/3498.81 c 3499 13863820 1111699 1 - 0.0000 -
3491.40/3503.85 c 3504 13889681 1113890 1 - 0.0000 -
3496.98/3509.42 c 3509 13913096 1116313 1 - 0.0000 -
3502.87/3515.38 c 3515 13917076 1116948 1 - 0.0000 -
3508.66/3521.17 c 3521 13928103 1117853 1 - 0.0000 -
3513.83/3526.32 c 3526 13951296 1120125 1 - 0.0000 -
3519.32/3531.81 c 3532 13974030 1122080 1 - 0.0000 -
3524.61/3537.17 c 3537 14000756 1123763 1 - 0.0000 -
3530.38/3543.00 c 3543 14008082 1124866 1 - 0.0000 -
3535.58/3548.11 c 3548 14012073 1125543 1 - 0.0000 -
3541.34/3553.93 c 3554 14019023 1126275 1 - 0.0000 -
3546.93/3559.57 c 3560 14023268 1126954 1 - 0.0000 -
3552.81/3565.49 c 3566 14028385 1127679 1 - 0.0000 -
3557.99/3570.64 c 3571 14033124 1128422 1 - 0.0000 -
3564.28/3576.90 c 3577 14038007 1129159 1 - 0.0000 -
3570.06/3582.76 c 3583 14044234 1129942 1 - 0.0000 -
3575.54/3588.26 c 3588 14048355 1130513 1 - 0.0000 -
3581.12/3593.86 c 3594 14061055 1130981 1 - 0.0000 -
3589.59/3602.39 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.59/3602.39 c Total Time : 3602.3800
3589.59/3602.39 c solving : 3602.3800
3589.59/3602.39 c presolving : 0.0015 (included in solving)
3589.59/3602.39 c B&B Tree :
3589.59/3602.39 c nodes (total) : 1
3589.59/3602.39 c Solution :
3589.59/3602.39 c Solutions found : 0
3589.59/3602.39 c Primal Bound : -
3589.59/3602.39 c Dual Bound : +0.00000000000000e+00
3589.59/3602.39 c Gap : -
3589.59/3602.39 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: 64059 MiB (50984 MiB free)
memory of node 1: 64510 MiB (57694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464335-1722378988/watcher-4464335-1722378988 -o /tmp/evaluation-result-4464335-1722378988/solver-4464335-1722378988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464335-1722378988.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28791, runsolver pid=28788
[startup+0.100544 s]*
/proc/loadavg: 4.08 3.05 1.50 5/247 28794
/proc/meminfo: memFree=111278704/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=19392 CPUtime=0.09 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 2186 0 0 0 9 0 0 0 20 0 3 0 4269475 108969984 4848 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 4848 2950 3035 0 8166 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 1070 0 0 0 8 0 0 0 20 0 3 0 4269475 108969984 4848 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=232851243367 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 4848 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 19392 KiB
[startup+0.213537 s]*
/proc/loadavg: 4.08 3.05 1.50 5/247 28794
/proc/meminfo: memFree=111278368/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=19656 CPUtime=0.19 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 2242 0 0 0 19 0 0 0 20 0 3 0 4269475 108969984 4914 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 4914 2950 3035 0 8202 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 1126 0 0 0 18 0 0 0 20 0 3 0 4269475 108969984 4914 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=73505 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 4914 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 19656 KiB
[startup+0.31054 s]*
/proc/loadavg: 4.08 3.05 1.50 6/247 28794
/proc/meminfo: memFree=111278032/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=19656 CPUtime=0.28 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 2272 0 0 0 28 0 0 0 20 0 3 0 4269475 108969984 4914 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 4914 2950 3035 0 8233 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=-5155626882055826565 CPUtime=0.28 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 1156 0 0 0 28 0 0 0 20 0 3 0 4269475 108969984 4914 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=0 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 4914 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 19656 KiB
[startup+0.700366 s]
/proc/loadavg: 4.08 3.05 1.50 5/247 28794
/proc/meminfo: memFree=111274420/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=20976 CPUtime=0.66 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 2569 0 0 0 66 0 0 0 20 0 3 0 4269475 108969984 5244 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 5244 2950 3035 0 8538 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=0 CPUtime=0.66 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 1453 0 0 0 66 0 0 0 20 0 3 0 4269475 108969984 5244 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=0 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 5244 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 20976 KiB
[startup+1.50042 s]
/proc/loadavg: 4.08 3.05 1.50 5/247 28794
/proc/meminfo: memFree=111268652/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=21316 CPUtime=1.46 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 3852 0 0 0 145 1 0 0 20 0 3 0 4269475 108969984 5329 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 5329 2950 3035 0 8623 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=0 CPUtime=1.45 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 2721 0 0 0 145 0 0 0 20 0 3 0 4269475 108969984 5329 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=0 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 5329 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 21316 KiB
[startup+3.11241 s]
/proc/loadavg: 4.08 3.05 1.50 5/247 28794
/proc/meminfo: memFree=111267912/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=21740 CPUtime=3.06 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 4337 0 0 0 304 2 0 0 20 0 3 0 4269475 108969984 5435 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 5435 2950 3035 0 8757 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=0 CPUtime=3.06 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 3204 0 0 0 304 2 0 0 20 0 3 0 4269475 108969984 5435 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=0 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 5435 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 21740 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 3.07 1.52 5/247 28796
/proc/meminfo: memFree=111264860/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106416 memory=25336 CPUtime=6.24 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 6839 0 0 0 620 4 0 0 20 0 3 0 4269475 108969984 6334 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26604 6334 2950 3035 0 9452 0
[pid=28791/tid=28793] ppid=28788 vsize=106416 memory=22196 CPUtime=6.23 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 5682 0 0 0 619 4 0 0 20 0 3 0 4269475 108969984 6334 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106416 memory=-5155626882055826565 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4269476 108969984 6334 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 25336 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 3.10 1.54 5/247 28796
/proc/meminfo: memFree=111255220/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=106996 memory=35380 CPUtime=12.62 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 13973 0 0 0 1253 9 0 0 20 0 3 0 4269475 109563904 8845 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 26749 8845 3014 3035 0 11815 0
[pid=28791/tid=28793] ppid=28788 vsize=106996 memory=21932 CPUtime=12.61 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 12778 0 0 0 1253 8 0 0 20 0 3 0 4269475 109563904 8845 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=106996 memory=2337 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4269476 109563904 8845 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 106996 KiB
Current children cumulated memory: 35380 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 3.15 1.58 5/247 28799
/proc/meminfo: memFree=111223668/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=114580 memory=55784 CPUtime=25.37 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 32350 0 0 0 2520 17 0 0 20 0 3 0 4269475 117329920 13946 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 28645 13946 3014 3035 0 16992 0
[pid=28791/tid=28793] ppid=28788 vsize=114580 memory=53852 CPUtime=25.37 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 31083 0 0 0 2520 17 0 0 20 0 3 0 4269475 117329920 13946 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=114580 memory=52212 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4269476 117329920 13946 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 114580 KiB
Current children cumulated memory: 55784 KiB
[startup+51.1126 s]
/proc/loadavg: 4.08 3.22 1.64 5/247 28802
/proc/meminfo: memFree=111164048/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=126608 memory=86200 CPUtime=50.9 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 66542 0 0 0 5054 36 0 0 20 0 3 0 4269475 129646592 21550 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 31652 21550 3030 3035 0 24606 0
[pid=28791/tid=28793] ppid=28788 vsize=126608 memory=79024 CPUtime=50.89 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 65206 0 0 0 5053 36 0 0 20 0 3 0 4269475 129646592 21550 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=126608 memory=76128 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4269476 129646592 21550 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 86200 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 3.39 1.78 5/247 28810
/proc/meminfo: memFree=111100508/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=227236 memory=140012 CPUtime=101.91 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 131157 0 0 0 10122 69 0 0 20 0 3 0 4269475 232689664 35003 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 56809 35003 3030 3035 0 38989 0
[pid=28791/tid=28793] ppid=28788 vsize=227236 memory=138940 CPUtime=101.9 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 129745 0 0 0 10121 69 0 0 20 0 3 0 4269475 232689664 35003 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=227236 memory=11648 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4269476 232689664 35003 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 227236 KiB
Current children cumulated memory: 140012 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 3.53 1.93 5/247 28821
/proc/meminfo: memFree=110951248/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=260544 memory=189752 CPUtime=161.71 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 193734 0 0 0 16069 102 0 0 20 0 3 0 4269475 266797056 47438 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 65136 47438 3030 3035 0 51927 0
[pid=28791/tid=28793] ppid=28788 vsize=260544 memory=12688 CPUtime=161.68 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 192275 0 0 0 16067 101 0 0 20 0 3 0 4269475 266797056 47438 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=260544 memory=188752 CPUtime=0 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4269476 266797056 47438 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 161.71 s
################
# More data... #
################
Current children cumulated memory: 1609416 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.39 4.22 5/250 30737
/proc/meminfo: memFree=121866664/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1753956 memory=1638636 CPUtime=3390.23 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 6818874 0 0 0 337095 1928 0 0 20 0 3 0 4269475 1796050944 409659 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 438489 409659 3030 3035 0 419800 0
[pid=28791/tid=28793] ppid=28788 vsize=1753956 memory=1633368 CPUtime=3389.89 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 6816224 0 0 0 337072 1917 0 0 20 0 3 0 4269475 1796050944 409659 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1753956 memory=1638636 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 155 0 0 0 1 5 0 0 20 0 3 0 4269476 1796050944 409659 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3390.23 s
Current children cumulated vsize: 1753956 KiB
Current children cumulated memory: 1638636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.35 4.21 5/249 30747
/proc/meminfo: memFree=121824652/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1770244 memory=1664232 CPUtime=3450.03 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 6918075 0 0 0 343040 1963 0 0 20 0 3 0 4269475 1812729856 416058 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 442561 416058 3030 3035 0 425808 0
[pid=28791/tid=28793] ppid=28788 vsize=1770244 memory=1657452 CPUtime=3449.69 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 6915411 0 0 0 343017 1952 0 0 20 0 3 0 4269475 1812729856 416058 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1770244 memory=1664156 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 157 0 0 0 1 5 0 0 20 0 3 0 4269476 1812729856 416058 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3450.03 s
Current children cumulated vsize: 1770244 KiB
Current children cumulated memory: 1664232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.30 4.20 5/246 30757
/proc/meminfo: memFree=121750424/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1804328 memory=1689020 CPUtime=3509.85 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7109873 0 0 0 348985 2000 0 0 20 0 3 0 4269475 1847631872 422255 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 451082 422255 3030 3035 0 436234 0
[pid=28791/tid=28793] ppid=28788 vsize=1804328 memory=11768 CPUtime=3509.49 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7107197 0 0 0 348961 1988 0 0 20 0 3 0 4269475 1847631872 422255 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1804328 memory=11648 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 159 0 0 0 1 5 0 0 20 0 3 0 4269476 1847631872 422255 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3509.85 s
Current children cumulated vsize: 1804328 KiB
Current children cumulated memory: 1689020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.29 4.20 5/246 30770
/proc/meminfo: memFree=121706612/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1813776 memory=1709636 CPUtime=3569.66 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7221543 0 0 0 354947 2019 0 0 20 0 3 0 4269475 1857306624 427409 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 453444 427409 3030 3035 0 439747 0
[pid=28791/tid=28793] ppid=28788 vsize=1813776 memory=1701932 CPUtime=3569.3 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7218855 0 0 0 354923 2007 0 0 20 0 3 0 4269475 1857306624 427409 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1813776 memory=1709636 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1857306624 427409 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 1813776 KiB
Current children cumulated memory: 1709636 KiB
[startup+3602.43 s]
# the end of solver process 28791 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.3 s, system=20.419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.23 4.29 4.20 5/246 30770
/proc/meminfo: memFree=121706284/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1813776 memory=1710160 CPUtime=3571.37 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7221787 0 0 0 355118 2019 0 0 20 0 3 0 4269475 1857306624 427540 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 453444 427540 3030 3035 0 439875 0
[pid=28791/tid=28793] ppid=28788 vsize=1813776 memory=-5155627977289788293 CPUtime=3571 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7219099 0 0 0 355093 2007 0 0 20 0 3 0 4269475 1857306624 427540 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1813776 memory=2692 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1857306624 427540 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 1813776 KiB
Current children cumulated memory: 1710160 KiB
[startup+3590.4 s]
/proc/loadavg: 4.27 4.30 4.20 5/246 30772
/proc/meminfo: memFree=121705156/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1814356 memory=1711048 CPUtime=3577.73 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7223668 0 0 0 355753 2020 0 0 20 0 3 0 4269475 1857900544 427762 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 453589 427762 3030 3035 0 440084 0
[pid=28791/tid=28793] ppid=28788 vsize=1814356 memory=1710160 CPUtime=3577.37 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7220980 0 0 0 355729 2008 0 0 20 0 3 0 4269475 1857900544 427762 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1814356 memory=12800 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1857900544 427762 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3577.73 s
Current children cumulated vsize: 1814356 KiB
Current children cumulated memory: 1711048 KiB
[startup+3596.8 s]
/proc/loadavg: 4.25 4.29 4.20 5/246 30773
/proc/meminfo: memFree=121704296/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1814356 memory=1711936 CPUtime=3584.12 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7236421 0 0 0 356390 2022 0 0 20 0 3 0 4269475 1857900544 427984 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 453589 427984 3030 3035 0 440276 0
[pid=28791/tid=28793] ppid=28788 vsize=1814356 memory=1710224 CPUtime=3583.75 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7233733 0 0 0 356365 2010 0 0 20 0 3 0 4269475 1857900544 427984 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1814356 memory=1711184 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1857900544 427984 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 1814356 KiB
Current children cumulated memory: 1711936 KiB
[startup+3600 s]*
/proc/loadavg: 4.23 4.29 4.20 5/246 30773
/proc/meminfo: memFree=121834032/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1611416 memory=1509072 CPUtime=3587.32 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7370822 0 0 0 356700 2032 0 0 20 0 3 0 4269475 1650089984 377268 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 402854 377268 3030 3035 0 389541 0
[pid=28791/tid=28793] ppid=28788 vsize=1611416 memory=-5155627977289788293 CPUtime=3586.96 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7368130 0 0 0 356676 2020 0 0 20 0 3 0 4269475 1650089984 377268 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1611416 memory=19632 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1650089984 377268 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 1611416 KiB
Current children cumulated memory: 1509072 KiB
[startup+3601.6 s]
/proc/loadavg: 4.23 4.29 4.20 5/246 30773
/proc/meminfo: memFree=121936700/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1393204 memory=1290872 CPUtime=3588.9 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7403854 0 0 0 356855 2035 0 0 20 0 3 0 4269475 1426640896 322718 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 348301 322718 3030 3035 0 334988 0
[pid=28791/tid=28793] ppid=28788 vsize=1393204 memory=1635696 CPUtime=3588.53 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7401160 0 0 0 356830 2023 0 0 20 0 3 0 4269475 1426640896 322718 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1393204 memory=12800 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1426640896 322718 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3588.9 s
Current children cumulated vsize: 1393204 KiB
Current children cumulated memory: 1290872 KiB
[startup+3602 s]*
/proc/loadavg: 4.23 4.29 4.20 5/246 30773
/proc/meminfo: memFree=122099488/131655788 swapFree=131071472/131071996
[pid=28791] ppid=28788 vsize=1319608 memory=1217280 CPUtime=3589.3 cores=5,7
/proc/28791/stat : 28791 (fscip) S 28788 28791 28297 0 -1 1077936128 7405151 0 0 0 356895 2035 0 0 20 0 3 0 4269475 1351278592 304320 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
/proc/28791/statm: 329902 304320 3030 3035 0 316589 0
[pid=28791/tid=28793] ppid=28788 vsize=1319028 memory=-5155627977289788293 CPUtime=3588.94 cores=5,7
/proc/28791/task/28793/stat : 28793 (fscip) R 28788 28791 28297 0 -1 4194368 7402458 0 0 0 356871 2023 0 0 20 0 3 0 4269475 1350684672 304175 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
[pid=28791/tid=28794] ppid=28788 vsize=1319028 memory=2708 CPUtime=0.06 cores=5,7
/proc/28791/task/28794/stat : 28794 (fscip) S 28788 28791 28297 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 4269476 1350684672 304175 134679101440 4194304 16623229 140720435608736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37707776 140720435610650 140720435610766 140720435610766 140720435617776 0
Current children cumulated CPU time: 3589.3 s
Current children cumulated vsize: 1319608 KiB
Current children cumulated memory: 1217280 KiB
[startup+3602.41 s]*
/proc/loadavg: 4.23 4.29 4.20 5/244 30773
/proc/meminfo: memFree=123297312/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3602.43
CPU time (s): 3589.72
CPU user time (s): 3569.3
CPU system time (s): 20.419
CPU usage (%): 99.6471
Max. virtual memory (cumulated for all children) (KiB): 1815580
Max. memory (cumulated for all children) (KiB): 1713228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.3
system time used= 20.419
maximum resident set size= 1713228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7406392
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= 10542
involuntary context switches= 8299
# summary of solver processes directly reported to runsolver:
# pid: 28791
# total CPU time (s): 3589.72
# total CPU user time (s): 3569.3
# total CPU system time (s): 20.419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4871 second user time and 34.6694 second system time
The end
Begin job on nodeC008 at 2024-07-31 00:36:28
IDJOB=4464335
IDBENCH=148100
IDSOLVER=3092
FILE ID=nodeC008/4464335-1722378988
RUNJOBID= nodeC008-1722378594-28310
SLURM_JOB_ID= 8249838
Free space on /tmp= 723652 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.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-4464335-1722378988/watcher-4464335-1722378988 -o /tmp/evaluation-result-4464335-1722378988/solver-4464335-1722378988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464335-1722378988.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=99795441
nodeC008.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 : 3662.722
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 : 6984.63
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 : 3520.189
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.27
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.544
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 : 6984.63
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.442
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.27
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 : 3670.221
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 : 6984.63
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 : 3492.324
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.27
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.522
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 : 6984.63
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.366
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111287008 kB
MemAvailable: 111518752 kB
Buffers: 78028 kB
Cached: 992948 kB
SwapCached: 72 kB
Active: 291100 kB
Inactive: 19621004 kB
Active(anon): 1504 kB
Inactive(anon): 18860400 kB
Active(file): 289596 kB
Inactive(file): 760604 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 27976 kB
Writeback: 0 kB
AnonPages: 18840664 kB
Mapped: 124580 kB
Shmem: 21104 kB
KReclaimable: 43148 kB
Slab: 118000 kB
SReclaimable: 43148 kB
SUnreclaim: 74852 kB
KernelStack: 3896 kB
PageTables: 46396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 16230236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8679424 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: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723624 MiB
End job on nodeC008 at 2024-07-31 01:36:30