0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 28315648, getVmSize() = 28315648, SCIPgetMemUsed() = 4369796, SCIPgetMemTotal() = 6744476, SCIPgetMemExternEstim() = 2039873
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 21909504, getVmSize() = 37412864, SCIPgetMemUsed() = 8857296, SCIPgetMemTotal() = 14608536, SCIPgetMemExternEstim() = 2039873
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4445930-1721323260
0.00/0.04 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 1015
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 525 (525 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 960
0.00/0.04 c Constraints : Number
0.00/0.04 c setppc : 260
0.00/0.04 c linear : 25
0.00/0.04 c logicor : 675
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.88/5.96 c 6 1180 113 1 - 0.0000 -
10.96/11.00 c 11 3983 139 1 - 0.0000 -
15.94/16.07 c 16 6455 162 1 - 0.0000 -
21.03/21.18 c 21 7544 387 1 - 0.0000 -
26.11/26.23 c 26 8049 669 1 - 0.0000 -
31.40/31.56 c 32 8626 960 1 - 0.0000 -
36.59/36.71 c 37 9604 1206 1 - 0.0000 -
41.67/41.83 c 42 10245 1487 1 - 0.0000 -
46.76/46.91 c 47 11305 1698 1 - 0.0000 -
51.74/51.97 c 52 12771 1921 1 - 0.0000 -
56.83/57.02 c 57 15389 2044 1 - 0.0000 -
61.81/62.08 c 62 17102 2327 1 - 0.0000 -
66.90/67.18 c 67 18715 2658 1 - 0.0000 -
71.98/72.23 c 72 21051 2849 1 - 0.0000 -
76.96/77.28 c 77 23317 3108 1 - 0.0000 -
82.05/82.37 c 82 25699 3322 1 - 0.0000 -
87.13/87.44 c 87 27899 3507 1 - 0.0000 -
92.12/92.49 c 92 30991 3621 1 - 0.0000 -
97.20/97.58 c 98 33638 3685 1 - 0.0000 -
102.29/102.62 c 103 36554 3829 1 - 0.0000 -
107.27/107.67 c 108 39301 3869 1 - 0.0000 -
112.36/112.74 c 113 41823 3967 1 - 0.0000 -
117.34/117.79 c 118 44669 4043 1 - 0.0000 -
122.43/122.84 c 123 47253 4216 1 - 0.0000 -
127.41/127.89 c 128 49783 4384 1 - 0.0000 -
132.49/132.94 c 133 52461 4421 1 - 0.0000 -
137.48/137.99 c 138 55104 4418 1 - 0.0000 -
142.57/143.04 c 143 57961 4511 1 - 0.0000 -
147.65/148.10 c 148 60811 4528 1 - 0.0000 -
152.64/153.15 c 153 63499 4628 1 - 0.0000 -
157.72/158.23 c 158 65926 4719 1 - 0.0000 -
162.71/163.27 c 163 68136 4829 1 - 0.0000 -
167.79/168.32 c 168 70515 4945 1 - 0.0000 -
172.77/173.37 c 173 72965 5003 1 - 0.0000 -
177.86/178.42 c 178 75958 5000 1 - 0.0000 -
182.84/183.47 c 183 78367 5030 1 - 0.0000 -
187.92/188.52 c 189 80297 5148 1 - 0.0000 -
192.92/193.57 c 194 82889 5244 1 - 0.0000 -
198.00/198.63 c 199 85516 5241 1 - 0.0000 -
202.98/203.68 c 204 87581 5270 1 - 0.0000 -
208.07/208.72 c 209 89647 5337 1 - 0.0000 -
213.05/213.78 c 214 91926 5353 1 - 0.0000 -
218.14/218.83 c 219 94504 5393 1 - 0.0000 -
223.12/223.89 c 224 96432 5527 1 - 0.0000 -
228.21/228.94 c 229 98666 5603 1 - 0.0000 -
233.19/233.99 c 234 100791 5740 1 - 0.0000 -
238.29/239.05 c 239 102753 5801 1 - 0.0000 -
243.37/244.11 c 244 105151 5826 1 - 0.0000 -
248.35/249.18 c 249 107011 6049 1 - 0.0000 -
253.43/254.26 c 254 109230 6166 1 - 0.0000 -
258.52/259.31 c 259 111106 6297 1 - 0.0000 -
263.51/264.36 c 264 113166 6354 1 - 0.0000 -
268.59/269.41 c 269 114977 6479 1 - 0.0000 -
273.57/274.46 c 274 116855 6537 1 - 0.0000 -
278.66/279.54 c 280 118854 6606 1 - 0.0000 -
283.64/284.59 c 285 120771 6677 1 - 0.0000 -
288.73/289.65 c 290 123044 6699 1 - 0.0000 -
293.71/294.69 c 295 125081 6772 1 - 0.0000 -
298.80/299.74 c 300 127191 6848 1 - 0.0000 -
303.79/304.79 c 305 129431 6889 1 - 0.0000 -
308.87/309.84 c 310 131819 7016 1 - 0.0000 -
313.85/314.89 c 315 134032 7163 1 - 0.0000 -
318.94/319.94 c 320 136288 7205 1 - 0.0000 -
323.93/324.99 c 325 138515 7276 1 - 0.0000 -
329.01/330.04 c 330 140644 7298 1 - 0.0000 -
333.99/335.09 c 335 142821 7344 1 - 0.0000 -
339.08/340.14 c 340 144976 7330 1 - 0.0000 -
344.07/345.19 c 345 146993 7408 1 - 0.0000 -
349.15/350.24 c 350 149218 7390 1 - 0.0000 -
354.13/355.29 c 355 151516 7391 1 - 0.0000 -
359.22/360.34 c 360 153680 7352 1 - 0.0000 -
364.20/365.39 c 365 155790 7300 1 - 0.0000 -
369.29/370.44 c 370 157935 7333 1 - 0.0000 -
374.77/375.95 c 376 159679 7358 1 - 0.0000 -
379.86/381.00 c 381 161521 7451 1 - 0.0000 -
384.85/386.05 c 386 163381 7475 1 - 0.0000 -
389.83/391.10 c 391 165289 7513 1 - 0.0000 -
394.92/396.15 c 396 167172 7571 1 - 0.0000 -
400.00/401.21 c 401 169013 7586 1 - 0.0000 -
404.98/406.27 c 406 170879 7628 1 - 0.0000 -
410.07/411.32 c 411 172421 7754 1 - 0.0000 -
415.06/416.37 c 416 174375 7789 1 - 0.0000 -
420.13/421.43 c 421 176216 7884 1 - 0.0000 -
425.23/426.51 c 427 177952 7903 1 - 0.0000 -
430.21/431.56 c 432 179997 7938 1 - 0.0000 -
435.29/436.63 c 437 181828 7972 1 - 0.0000 -
440.28/441.68 c 442 183911 8013 1 - 0.0000 -
445.37/446.75 c 447 185900 8060 1 - 0.0000 -
450.45/451.80 c 452 187640 8131 1 - 0.0000 -
455.43/456.85 c 457 189325 8204 1 - 0.0000 -
460.52/461.90 c 462 190997 8283 1 - 0.0000 -
465.50/466.99 c 467 192919 8351 1 - 0.0000 -
470.58/472.05 c 472 194685 8381 1 - 0.0000 -
475.57/477.10 c 477 196516 8434 1 - 0.0000 -
480.84/482.39 c 482 198047 8528 1 - 0.0000 -
485.93/487.45 c 487 200022 8693 1 - 0.0000 -
491.01/492.50 c 493 202164 8739 1 - 0.0000 -
495.99/497.55 c 498 204263 8672 1 - 0.0000 -
501.07/502.60 c 503 206219 8712 1 - 0.0000 -
506.05/507.65 c 508 208166 8720 1 - 0.0000 -
511.13/512.70 c 513 210155 8724 1 - 0.0000 -
516.12/517.75 c 518 212162 8755 1 - 0.0000 -
521.20/522.80 c 523 214223 8777 1 - 0.0000 -
526.18/527.85 c 528 216199 8767 1 - 0.0000 -
531.26/532.90 c 533 218142 8723 1 - 0.0000 -
536.25/537.95 c 538 219883 8742 1 - 0.0000 -
541.34/543.01 c 543 221446 8802 1 - 0.0000 -
546.31/548.06 c 548 223267 8829 1 - 0.0000 -
551.39/553.11 c 553 224844 8899 1 - 0.0000 -
556.38/558.16 c 558 226442 8928 1 - 0.0000 -
561.46/563.21 c 563 228280 8989 1 - 0.0000 -
566.44/568.26 c 568 230247 8976 1 - 0.0000 -
571.52/573.31 c 573 231992 9036 1 - 0.0000 -
576.50/578.36 c 578 233569 9064 1 - 0.0000 -
581.59/583.41 c 583 235299 9178 1 - 0.0000 -
586.57/588.49 c 588 236944 9219 1 - 0.0000 -
591.65/593.53 c 594 238681 9344 1 - 0.0000 -
596.63/598.59 c 599 240676 9402 1 - 0.0000 -
601.72/603.63 c 604 242574 9401 1 - 0.0000 -
606.69/608.68 c 609 244350 9436 1 - 0.0000 -
611.78/613.73 c 614 246167 9480 1 - 0.0000 -
616.76/618.79 c 619 247972 9477 1 - 0.0000 -
621.85/623.86 c 624 249800 9561 1 - 0.0000 -
626.93/628.91 c 629 251635 9587 1 - 0.0000 -
631.91/633.98 c 634 253461 9605 1 - 0.0000 -
637.00/639.03 c 639 255354 9646 1 - 0.0000 -
641.98/644.08 c 644 257194 9699 1 - 0.0000 -
647.06/649.13 c 649 258915 9761 1 - 0.0000 -
652.14/654.21 c 654 260824 9779 1 - 0.0000 -
657.12/659.27 c 659 262369 9939 1 - 0.0000 -
662.21/664.32 c 664 264032 9996 1 - 0.0000 -
667.19/669.37 c 669 266135 10015 1 - 0.0000 -
672.28/674.42 c 674 267985 10169 1 - 0.0000 -
677.26/679.47 c 679 270196 10178 1 - 0.0000 -
682.34/684.52 c 685 272093 10215 1 - 0.0000 -
687.33/689.57 c 690 274141 10282 1 - 0.0000 -
692.41/694.62 c 695 276096 10304 1 - 0.0000 -
697.40/699.67 c 700 277853 10341 1 - 0.0000 -
702.48/704.72 c 705 279681 10422 1 - 0.0000 -
707.47/709.77 c 710 281937 10448 1 - 0.0000 -
712.55/714.82 c 715 283943 10447 1 - 0.0000 -
717.54/719.87 c 720 285912 10475 1 - 0.0000 -
722.62/724.92 c 725 287736 10506 1 - 0.0000 -
727.72/730.00 c 730 289082 10740 1 - 0.0000 -
732.70/735.09 c 735 290167 10840 1 - 0.0000 -
737.79/740.13 c 740 291918 10889 1 - 0.0000 -
742.77/745.18 c 745 293980 10923 1 - 0.0000 -
747.86/750.24 c 750 295769 10999 1 - 0.0000 -
752.94/755.33 c 755 297526 11009 1 - 0.0000 -
757.93/760.38 c 760 299416 11110 1 - 0.0000 -
763.01/765.43 c 765 301208 11471 1 - 0.0000 -
768.00/770.48 c 770 303148 11529 1 - 0.0000 -
773.09/775.53 c 776 305005 11617 1 - 0.0000 -
778.07/780.58 c 781 306559 11708 1 - 0.0000 -
783.15/785.66 c 786 308039 11790 1 - 0.0000 -
788.25/790.71 c 791 309882 11859 1 - 0.0000 -
793.23/795.76 c 796 311514 11941 1 - 0.0000 -
798.32/800.83 c 801 313003 11997 1 - 0.0000 -
803.30/805.88 c 806 314883 12052 1 - 0.0000 -
808.39/810.93 c 811 316185 12079 1 - 0.0000 -
813.37/815.99 c 816 318043 12097 1 - 0.0000 -
818.66/821.29 c 821 319835 12127 1 - 0.0000 -
823.74/826.34 c 826 321619 12184 1 - 0.0000 -
828.82/831.41 c 831 323323 12195 1 - 0.0000 -
833.81/836.46 c 836 324964 12190 1 - 0.0000 -
838.90/841.53 c 842 326697 12205 1 - 0.0000 -
843.88/846.58 c 847 328432 12255 1 - 0.0000 -
848.97/851.63 c 852 330138 12326 1 - 0.0000 -
853.95/856.68 c 857 331982 12386 1 - 0.0000 -
859.04/861.73 c 862 333660 12485 1 - 0.0000 -
864.12/866.80 c 867 335326 12539 1 - 0.0000 -
869.11/871.85 c 872 337068 12619 1 - 0.0000 -
874.20/876.90 c 877 339000 12649 1 - 0.0000 -
879.18/881.95 c 882 340682 12690 1 - 0.0000 -
884.27/887.01 c 887 342478 12747 1 - 0.0000 -
889.26/892.06 c 892 344151 12792 1 - 0.0000 -
894.35/897.12 c 897 346045 12867 1 - 0.0000 -
899.33/902.18 c 902 347529 12896 1 - 0.0000 -
904.41/907.26 c 907 349160 12922 1 - 0.0000 -
909.50/912.31 c 912 350801 12975 1 - 0.0000 -
914.49/917.36 c 917 352352 13019 1 - 0.0000 -
919.57/922.41 c 922 354463 13014 1 - 0.0000 -
924.55/927.46 c 927 356231 13043 1 - 0.0000 -
929.64/932.51 c 933 357718 13093 1 - 0.0000 -
934.72/937.61 c 938 359089 13147 1 - 0.0000 -
939.72/942.67 c 943 360655 13232 1 - 0.0000 -
944.80/947.74 c 948 361894 13282 1 - 0.0000 -
949.88/952.82 c 953 363446 13309 1 - 0.0000 -
954.87/957.88 c 958 364796 13331 1 - 0.0000 -
959.96/962.97 c 963 366169 13370 1 - 0.0000 -
965.04/968.04 c 968 367654 13397 1 - 0.0000 -
970.04/973.10 c 973 369163 13449 1 - 0.0000 -
975.12/978.17 c 978 370460 13476 1 - 0.0000 -
980.20/983.24 c 983 372425 13530 1 - 0.0000 -
985.18/988.29 c 988 374379 13638 1 - 0.0000 -
990.27/993.34 c 993 376165 13671 1 - 0.0000 -
995.25/998.39 c 998 377724 13685 1 - 0.0000 -
1000.34/1003.44 c 1003 379027 13742 1 - 0.0000 -
1005.42/1008.51 c 1009 380343 13778 1 - 0.0000 -
1010.40/1013.56 c 1014 381890 13815 1 - 0.0000 -
1015.49/1018.61 c 1019 383291 13862 1 - 0.0000 -
1020.47/1023.67 c 1024 384845 13832 1 - 0.0000 -
1025.55/1028.72 c 1029 386121 13827 1 - 0.0000 -
1030.54/1033.77 c 1034 387439 13816 1 - 0.0000 -
1035.62/1038.83 c 1039 388876 13848 1 - 0.0000 -
1040.60/1043.88 c 1044 390524 13914 1 - 0.0000 -
1045.68/1048.94 c 1049 391951 13908 1 - 0.0000 -
1050.77/1054.01 c 1054 393426 13951 1 - 0.0000 -
1055.76/1059.06 c 1059 394929 13935 1 - 0.0000 -
1060.83/1064.11 c 1064 396525 13956 1 - 0.0000 -
1065.82/1069.16 c 1069 397863 13974 1 - 0.0000 -
1070.90/1074.21 c 1074 399127 14016 1 - 0.0000 -
1075.88/1079.26 c 1079 400514 13996 1 - 0.0000 -
1080.96/1084.31 c 1084 402301 14055 1 - 0.0000 -
1085.95/1089.36 c 1089 404232 14042 1 - 0.0000 -
1091.03/1094.41 c 1094 405892 14114 1 - 0.0000 -
1096.01/1099.48 c 1099 407661 14108 1 - 0.0000 -
1101.10/1104.53 c 1105 409588 14118 1 - 0.0000 -
1106.08/1109.58 c 1110 411670 14161 1 - 0.0000 -
1111.16/1114.63 c 1115 413553 14230 1 - 0.0000 -
1116.15/1119.68 c 1120 415441 14206 1 - 0.0000 -
1121.23/1124.73 c 1125 416972 14248 1 - 0.0000 -
1126.22/1129.78 c 1130 418957 14259 1 - 0.0000 -
1131.30/1134.84 c 1135 420379 14288 1 - 0.0000 -
1136.28/1139.89 c 1140 421964 14307 1 - 0.0000 -
1141.37/1144.95 c 1145 423206 14300 1 - 0.0000 -
1146.45/1150.00 c 1150 424981 14307 1 - 0.0000 -
1151.44/1155.07 c 1155 426503 14320 1 - 0.0000 -
1156.53/1160.12 c 1160 428012 14358 1 - 0.0000 -
1161.51/1165.17 c 1165 429650 14412 1 - 0.0000 -
1166.59/1170.22 c 1170 431235 14460 1 - 0.0000 -
1171.58/1175.27 c 1175 432886 14614 1 - 0.0000 -
1176.66/1180.32 c 1180 434408 14725 1 - 0.0000 -
1181.66/1185.37 c 1185 435869 14751 1 - 0.0000 -
1186.74/1190.43 c 1190 437477 14786 1 - 0.0000 -
1191.72/1195.48 c 1195 438750 14799 1 - 0.0000 -
1196.81/1200.53 c 1201 440353 14797 1 - 0.0000 -
1201.90/1205.60 c 1206 442121 14820 1 - 0.0000 -
1206.88/1210.65 c 1211 444084 14867 1 - 0.0000 -
1211.96/1215.70 c 1216 445905 14945 1 - 0.0000 -
1216.95/1220.76 c 1221 447438 14978 1 - 0.0000 -
1222.04/1225.81 c 1226 449082 14949 1 - 0.0000 -
1227.02/1230.86 c 1231 450860 14983 1 - 0.0000 -
1232.92/1236.76 c 1237 451197 122 1 - 0.0000 -
1238.10/1241.98 c 1242 452359 433 1 - 0.0000 -
1243.19/1247.03 c 1247 454519 593 1 - 0.0000 -
1248.18/1252.08 c 1252 456516 949 1 - 0.0000 -
1253.26/1257.13 c 1257 458782 1096 1 - 0.0000 -
1258.24/1262.18 c 1262 461175 1243 1 - 0.0000 -
1263.33/1267.23 c 1267 463646 1306 1 - 0.0000 -
1268.31/1272.28 c 1272 466140 1409 1 - 0.0000 -
1273.40/1277.34 c 1277 468428 1555 1 - 0.0000 -
1278.39/1282.39 c 1282 470846 1696 1 - 0.0000 -
1283.47/1287.44 c 1287 473465 1783 1 - 0.0000 -
1288.55/1292.52 c 1293 475634 1930 1 - 0.0000 -
1293.54/1297.58 c 1298 477897 2031 1 - 0.0000 -
1298.62/1302.63 c 1303 479821 2212 1 - 0.0000 -
1303.62/1307.68 c 1308 482298 2298 1 - 0.0000 -
1308.70/1312.73 c 1313 484721 2380 1 - 0.0000 -
1313.69/1317.78 c 1318 486832 2491 1 - 0.0000 -
1318.77/1322.83 c 1323 489254 2565 1 - 0.0000 -
1323.76/1327.89 c 1328 491489 2652 1 - 0.0000 -
1328.84/1332.95 c 1333 493684 2726 1 - 0.0000 -
1333.94/1338.03 c 1338 495779 2805 1 - 0.0000 -
1338.92/1343.08 c 1343 498540 2880 1 - 0.0000 -
1344.00/1348.13 c 1348 500915 2966 1 - 0.0000 -
1348.99/1353.18 c 1353 503402 2957 1 - 0.0000 -
1354.07/1358.23 c 1358 505750 3000 1 - 0.0000 -
1359.06/1363.28 c 1363 507886 3110 1 - 0.0000 -
1364.14/1368.33 c 1368 510091 3216 1 - 0.0000 -
1369.22/1373.41 c 1373 512159 3413 1 - 0.0000 -
1374.22/1378.46 c 1378 514357 3497 1 - 0.0000 -
1379.30/1383.51 c 1384 516802 3546 1 - 0.0000 -
1384.29/1388.57 c 1389 518929 3599 1 - 0.0000 -
1389.38/1393.62 c 1394 521130 3701 1 - 0.0000 -
1394.36/1398.67 c 1399 523506 3780 1 - 0.0000 -
1399.45/1403.72 c 1404 525471 3974 1 - 0.0000 -
1404.43/1408.77 c 1409 527701 4160 1 - 0.0000 -
1409.52/1413.82 c 1414 529748 4353 1 - 0.0000 -
1414.50/1418.87 c 1419 531818 4455 1 - 0.0000 -
1419.59/1423.92 c 1424 533770 4681 1 - 0.0000 -
1424.58/1428.97 c 1429 535675 4820 1 - 0.0000 -
1429.67/1434.02 c 1434 537554 4964 1 - 0.0000 -
1434.65/1439.07 c 1439 539766 5055 1 - 0.0000 -
1439.74/1444.12 c 1444 541684 5265 1 - 0.0000 -
1444.72/1449.17 c 1449 543664 5403 1 - 0.0000 -
1449.81/1454.22 c 1454 545701 5523 1 - 0.0000 -
1454.79/1459.27 c 1459 547780 5496 1 - 0.0000 -
1459.88/1464.32 c 1464 549813 5573 1 - 0.0000 -
1464.86/1469.39 c 1469 551757 5650 1 - 0.0000 -
1469.95/1474.44 c 1474 553710 5741 1 - 0.0000 -
1474.93/1479.49 c 1480 555552 5787 1 - 0.0000 -
1480.01/1484.58 c 1485 557263 5933 1 - 0.0000 -
1485.10/1489.63 c 1490 558858 6065 1 - 0.0000 -
1490.08/1494.68 c 1495 560639 6142 1 - 0.0000 -
1495.17/1499.73 c 1500 562302 6258 1 - 0.0000 -
1500.26/1504.81 c 1505 563982 6362 1 - 0.0000 -
1505.24/1509.86 c 1510 565714 6456 1 - 0.0000 -
1510.33/1514.91 c 1515 567747 6570 1 - 0.0000 -
1515.31/1519.96 c 1520 569721 6662 1 - 0.0000 -
1520.40/1525.01 c 1525 571683 6703 1 - 0.0000 -
1525.39/1530.07 c 1530 573496 6811 1 - 0.0000 -
1530.48/1535.11 c 1535 575380 6895 1 - 0.0000 -
1535.46/1540.16 c 1540 577432 6961 1 - 0.0000 -
1540.55/1545.21 c 1545 579355 7044 1 - 0.0000 -
1545.53/1550.26 c 1550 581643 7066 1 - 0.0000 -
1550.61/1555.34 c 1555 583458 7196 1 - 0.0000 -
1555.70/1560.41 c 1560 584778 7384 1 - 0.0000 -
1560.69/1565.47 c 1565 586008 7435 1 - 0.0000 -
1565.87/1570.63 c 1571 587117 7507 1 - 0.0000 -
1570.86/1575.67 c 1576 588676 7626 1 - 0.0000 -
1575.94/1580.75 c 1581 590400 7658 1 - 0.0000 -
1581.03/1585.80 c 1586 592191 7720 1 - 0.0000 -
1586.02/1590.85 c 1591 593985 7808 1 - 0.0000 -
1591.10/1595.91 c 1596 595736 7821 1 - 0.0000 -
1596.09/1600.96 c 1601 597492 7923 1 - 0.0000 -
1601.17/1606.01 c 1606 599375 8022 1 - 0.0000 -
1606.16/1611.08 c 1611 601042 8091 1 - 0.0000 -
1611.24/1616.13 c 1616 603094 8135 1 - 0.0000 -
1616.23/1621.19 c 1621 604721 8209 1 - 0.0000 -
1621.30/1626.24 c 1626 606544 8300 1 - 0.0000 -
1626.29/1631.29 c 1631 608287 8438 1 - 0.0000 -
1631.37/1636.34 c 1636 610197 8479 1 - 0.0000 -
1636.46/1641.40 c 1641 612219 8509 1 - 0.0000 -
1641.44/1646.45 c 1646 614058 8568 1 - 0.0000 -
1646.52/1651.50 c 1652 615805 8646 1 - 0.0000 -
1651.51/1656.55 c 1657 617521 8717 1 - 0.0000 -
1656.58/1661.62 c 1662 619247 8826 1 - 0.0000 -
1661.57/1666.67 c 1667 621189 8911 1 - 0.0000 -
1666.65/1671.72 c 1672 622858 8983 1 - 0.0000 -
1671.63/1676.77 c 1677 624728 9036 1 - 0.0000 -
1676.72/1681.83 c 1682 626538 9188 1 - 0.0000 -
1681.70/1686.88 c 1687 628248 9235 1 - 0.0000 -
1686.78/1691.93 c 1692 630004 9378 1 - 0.0000 -
1691.77/1696.98 c 1697 631778 9444 1 - 0.0000 -
1696.85/1702.03 c 1702 633562 9644 1 - 0.0000 -
1701.84/1707.08 c 1707 635241 9783 1 - 0.0000 -
1706.93/1712.14 c 1712 636861 9804 1 - 0.0000 -
1711.92/1717.18 c 1717 638727 9829 1 - 0.0000 -
1717.00/1722.23 c 1722 640421 9894 1 - 0.0000 -
1721.99/1727.28 c 1727 642007 9957 1 - 0.0000 -
1727.07/1732.35 c 1732 643727 9988 1 - 0.0000 -
1732.15/1737.40 c 1737 645285 10016 1 - 0.0000 -
1737.14/1742.45 c 1742 646950 10086 1 - 0.0000 -
1742.23/1747.53 c 1748 648644 10229 1 - 0.0000 -
1747.31/1752.60 c 1753 650215 10350 1 - 0.0000 -
1752.30/1757.65 c 1758 651818 10349 1 - 0.0000 -
1757.39/1762.70 c 1763 653467 10402 1 - 0.0000 -
1762.38/1767.75 c 1768 655336 10477 1 - 0.0000 -
1767.46/1772.80 c 1773 656872 10554 1 - 0.0000 -
1772.44/1777.85 c 1778 658263 10617 1 - 0.0000 -
1777.53/1782.90 c 1783 660013 10656 1 - 0.0000 -
1782.51/1787.97 c 1788 661635 10783 1 - 0.0000 -
1787.60/1793.06 c 1793 663074 10933 1 - 0.0000 -
1792.69/1798.12 c 1798 664540 11026 1 - 0.0000 -
1797.69/1803.18 c 1803 665860 11120 1 - 0.0000 -
1802.76/1808.23 c 1808 667031 11159 1 - 0.0000 -
1807.75/1813.28 c 1813 668731 11204 1 - 0.0000 -
1812.83/1818.37 c 1818 669895 11297 1 - 0.0000 -
1818.02/1823.51 c 1824 671466 11417 1 - 0.0000 -
1823.01/1828.56 c 1829 673356 11483 1 - 0.0000 -
1828.09/1833.61 c 1834 675308 11466 1 - 0.0000 -
1833.17/1838.71 c 1839 677020 11518 1 - 0.0000 -
1838.16/1843.77 c 1844 678580 11525 1 - 0.0000 -
1843.25/1848.82 c 1849 680256 11568 1 - 0.0000 -
1848.23/1853.87 c 1854 681804 11594 1 - 0.0000 -
1853.32/1858.92 c 1859 683597 11623 1 - 0.0000 -
1858.30/1863.97 c 1864 685239 11664 1 - 0.0000 -
1863.39/1869.02 c 1869 687135 11682 1 - 0.0000 -
1868.38/1874.08 c 1874 688980 11722 1 - 0.0000 -
1873.47/1879.15 c 1879 690435 11770 1 - 0.0000 -
1878.45/1884.19 c 1884 691952 11828 1 - 0.0000 -
1883.53/1889.25 c 1889 693505 11922 1 - 0.0000 -
1888.51/1894.29 c 1894 695107 11999 1 - 0.0000 -
1893.60/1899.34 c 1899 697150 12043 1 - 0.0000 -
1898.58/1904.39 c 1904 698927 12089 1 - 0.0000 -
1903.67/1909.46 c 1909 700483 12179 1 - 0.0000 -
1908.76/1914.51 c 1915 702158 12217 1 - 0.0000 -
1913.75/1919.56 c 1920 703909 12297 1 - 0.0000 -
1918.83/1924.61 c 1925 705602 12293 1 - 0.0000 -
1923.81/1929.66 c 1930 707373 12366 1 - 0.0000 -
1928.90/1934.73 c 1935 709112 12406 1 - 0.0000 -
1933.89/1939.79 c 1940 710915 12554 1 - 0.0000 -
1938.97/1944.84 c 1945 712664 12629 1 - 0.0000 -
1943.96/1949.89 c 1950 714666 12734 1 - 0.0000 -
1949.04/1954.94 c 1955 716609 12821 1 - 0.0000 -
1954.02/1959.99 c 1960 718370 12802 1 - 0.0000 -
1959.12/1965.04 c 1965 720342 12819 1 - 0.0000 -
1964.10/1970.09 c 1970 722207 12815 1 - 0.0000 -
1969.19/1975.15 c 1975 723989 12815 1 - 0.0000 -
1974.27/1980.20 c 1980 725655 12882 1 - 0.0000 -
1979.26/1985.25 c 1985 727217 12921 1 - 0.0000 -
1984.34/1990.31 c 1990 728681 12937 1 - 0.0000 -
1989.43/1995.44 c 1995 729941 12990 1 - 0.0000 -
1994.41/2000.49 c 2000 731651 13030 1 - 0.0000 -
1999.50/2005.54 c 2006 733408 13081 1 - 0.0000 -
2004.58/2010.62 c 2011 735014 13219 1 - 0.0000 -
2009.57/2015.67 c 2016 736935 13237 1 - 0.0000 -
2014.65/2020.72 c 2021 738719 13325 1 - 0.0000 -
2019.64/2025.77 c 2026 740457 13369 1 - 0.0000 -
2024.72/2030.83 c 2031 742026 13443 1 - 0.0000 -
2029.71/2035.87 c 2036 743734 13463 1 - 0.0000 -
2034.79/2040.92 c 2041 745488 13549 1 - 0.0000 -
2039.79/2045.98 c 2046 747252 13611 1 - 0.0000 -
2044.87/2051.03 c 2051 749040 13732 1 - 0.0000 -
2049.86/2056.08 c 2056 750929 13764 1 - 0.0000 -
2054.94/2061.13 c 2061 752625 13775 1 - 0.0000 -
2059.93/2066.18 c 2066 754210 13800 1 - 0.0000 -
2065.01/2071.25 c 2071 755819 13858 1 - 0.0000 -
2070.09/2076.30 c 2076 757409 13876 1 - 0.0000 -
2075.19/2081.40 c 2081 758679 14045 1 - 0.0000 -
2080.17/2086.47 c 2086 760124 14116 1 - 0.0000 -
2085.25/2091.53 c 2092 761685 14214 1 - 0.0000 -
2090.23/2096.59 c 2097 763255 14242 1 - 0.0000 -
2095.43/2101.71 c 2102 764220 14305 1 - 0.0000 -
2100.41/2106.75 c 2107 765524 14304 1 - 0.0000 -
2105.49/2111.80 c 2112 766855 14360 1 - 0.0000 -
2110.48/2116.85 c 2117 768406 14378 1 - 0.0000 -
2115.57/2121.90 c 2122 769913 14444 1 - 0.0000 -
2120.55/2126.95 c 2127 771560 14530 1 - 0.0000 -
2125.64/2132.00 c 2132 773060 14621 1 - 0.0000 -
2130.62/2137.06 c 2137 774555 14708 1 - 0.0000 -
2135.71/2142.12 c 2142 775928 14728 1 - 0.0000 -
2140.70/2147.19 c 2147 777179 14749 1 - 0.0000 -
2145.77/2152.24 c 2152 779010 14877 1 - 0.0000 -
2150.76/2157.29 c 2157 780755 14994 1 - 0.0000 -
2155.85/2162.34 c 2162 782408 15030 1 - 0.0000 -
2160.83/2167.39 c 2167 783858 15180 1 - 0.0000 -
2165.92/2172.45 c 2172 785364 15210 1 - 0.0000 -
2171.01/2177.50 c 2178 786862 15246 1 - 0.0000 -
2175.99/2182.55 c 2183 788258 15266 1 - 0.0000 -
2181.08/2187.61 c 2188 789782 15293 1 - 0.0000 -
2186.07/2192.67 c 2193 791233 15329 1 - 0.0000 -
2191.15/2197.72 c 2198 792928 15359 1 - 0.0000 -
2196.13/2202.78 c 2203 794572 15382 1 - 0.0000 -
2201.21/2207.83 c 2208 796233 15441 1 - 0.0000 -
2206.30/2212.91 c 2213 797889 15500 1 - 0.0000 -
2211.28/2217.96 c 2218 799334 15561 1 - 0.0000 -
2216.36/2223.02 c 2223 800865 15602 1 - 0.0000 -
2221.35/2228.06 c 2228 802291 15606 1 - 0.0000 -
2226.43/2233.11 c 2233 803658 15594 1 - 0.0000 -
2231.51/2238.20 c 2238 805201 15623 1 - 0.0000 -
2236.49/2243.29 c 2243 806483 15666 1 - 0.0000 -
2241.58/2248.37 c 2248 807796 15721 1 - 0.0000 -
2246.66/2253.42 c 2253 809590 15726 1 - 0.0000 -
2251.64/2258.47 c 2258 811314 15753 1 - 0.0000 -
2256.72/2263.55 c 2264 812644 15752 1 - 0.0000 -
2261.81/2268.60 c 2269 813752 15778 1 - 0.0000 -
2266.79/2273.65 c 2274 815360 15888 1 - 0.0000 -
2271.87/2278.71 c 2279 816770 16009 1 - 0.0000 -
2276.86/2283.76 c 2284 818111 16093 1 - 0.0000 -
2281.93/2288.81 c 2289 819611 16100 1 - 0.0000 -
2286.93/2293.86 c 2294 821077 16134 1 - 0.0000 -
2292.30/2299.29 c 2299 822670 16141 1 - 0.0000 -
2297.38/2304.34 c 2304 824221 16164 1 - 0.0000 -
2302.47/2309.40 c 2309 825712 16208 1 - 0.0000 -
2307.45/2314.46 c 2314 827187 16277 1 - 0.0000 -
2312.54/2319.51 c 2320 828559 16341 1 - 0.0000 -
2317.52/2324.58 c 2325 830161 16397 1 - 0.0000 -
2322.60/2329.63 c 2330 831620 16461 1 - 0.0000 -
2327.59/2334.69 c 2335 832953 16513 1 - 0.0000 -
2332.67/2339.75 c 2340 834250 16608 1 - 0.0000 -
2337.75/2344.80 c 2345 835510 16606 1 - 0.0000 -
2342.74/2349.86 c 2350 836748 16646 1 - 0.0000 -
2347.82/2354.91 c 2355 838078 16663 1 - 0.0000 -
2352.80/2359.98 c 2360 839389 16732 1 - 0.0000 -
2357.89/2365.05 c 2365 840630 16741 1 - 0.0000 -
2362.97/2370.12 c 2370 841910 16738 1 - 0.0000 -
2367.95/2375.17 c 2375 843057 16758 1 - 0.0000 -
2373.04/2380.23 c 2380 844189 16814 1 - 0.0000 -
2378.02/2385.28 c 2385 845389 16827 1 - 0.0000 -
2383.10/2390.36 c 2390 846572 16830 1 - 0.0000 -
2388.18/2395.40 c 2395 847902 16842 1 - 0.0000 -
2393.16/2400.45 c 2400 849323 16866 1 - 0.0000 -
2398.24/2405.55 c 2406 850636 16862 1 - 0.0000 -
2403.33/2410.61 c 2411 851823 16879 1 - 0.0000 -
2408.31/2415.67 c 2416 853177 16894 1 - 0.0000 -
2413.40/2420.74 c 2421 854317 16892 1 - 0.0000 -
2418.39/2425.79 c 2426 855527 16906 1 - 0.0000 -
2423.46/2430.85 c 2431 856674 16981 1 - 0.0000 -
2428.54/2435.90 c 2436 858042 17043 1 - 0.0000 -
2433.74/2441.11 c 2441 859334 17103 1 - 0.0000 -
2438.72/2446.16 c 2446 860990 17174 1 - 0.0000 -
2443.80/2451.21 c 2451 862377 17235 1 - 0.0000 -
2448.78/2456.26 c 2456 863911 17288 1 - 0.0000 -
2453.86/2461.31 c 2461 865605 17381 1 - 0.0000 -
2458.84/2466.36 c 2466 867189 17438 1 - 0.0000 -
2463.92/2471.42 c 2471 868710 17419 1 - 0.0000 -
2468.90/2476.46 c 2476 870190 17458 1 - 0.0000 -
2473.99/2481.51 c 2482 871829 17465 1 - 0.0000 -
2478.98/2486.57 c 2487 873569 17493 1 - 0.0000 -
2484.06/2491.66 c 2492 875420 17519 1 - 0.0000 -
2489.15/2496.70 c 2497 876765 17533 1 - 0.0000 -
2494.13/2501.76 c 2502 878151 17592 1 - 0.0000 -
2499.22/2506.81 c 2507 879930 17617 1 - 0.0000 -
2504.21/2511.86 c 2512 881646 17609 1 - 0.0000 -
2509.29/2516.91 c 2517 883267 17637 1 - 0.0000 -
2514.28/2521.96 c 2522 884806 17666 1 - 0.0000 -
2519.37/2527.02 c 2527 886372 17774 1 - 0.0000 -
2524.35/2532.07 c 2532 887450 17927 1 - 0.0000 -
2529.44/2537.13 c 2537 888347 17951 1 - 0.0000 -
2534.52/2542.20 c 2542 889368 17979 1 - 0.0000 -
2539.51/2547.25 c 2547 890328 18049 1 - 0.0000 -
2544.59/2552.30 c 2552 891908 18148 1 - 0.0000 -
2549.58/2557.35 c 2557 893533 18199 1 - 0.0000 -
2554.66/2562.40 c 2562 895156 18272 1 - 0.0000 -
2559.66/2567.45 c 2567 896779 18281 1 - 0.0000 -
2564.74/2572.50 c 2573 898383 18299 1 - 0.0000 -
2569.72/2577.55 c 2578 900003 18321 1 - 0.0000 -
2574.81/2582.60 c 2583 901471 18314 1 - 0.0000 -
2579.79/2587.65 c 2588 903013 18300 1 - 0.0000 -
2584.89/2592.72 c 2593 904437 18333 1 - 0.0000 -
2589.87/2597.76 c 2598 906027 18383 1 - 0.0000 -
2594.95/2602.83 c 2603 907505 18419 1 - 0.0000 -
2599.94/2607.88 c 2608 909182 18492 1 - 0.0000 -
2605.03/2612.94 c 2613 910776 18512 1 - 0.0000 -
2610.12/2618.00 c 2618 912319 18501 1 - 0.0000 -
2615.11/2623.05 c 2623 913752 18518 1 - 0.0000 -
2620.19/2628.11 c 2628 915371 18585 1 - 0.0000 -
2625.17/2633.16 c 2633 917055 18723 1 - 0.0000 -
2630.26/2638.21 c 2638 918610 18743 1 - 0.0000 -
2635.24/2643.26 c 2643 920151 18760 1 - 0.0000 -
2640.33/2648.32 c 2648 921589 18802 1 - 0.0000 -
2645.31/2653.37 c 2653 923198 18916 1 - 0.0000 -
2650.40/2658.42 c 2658 924595 18947 1 - 0.0000 -
2655.39/2663.47 c 2663 926010 18968 1 - 0.0000 -
2660.48/2668.56 c 2669 927371 18971 1 - 0.0000 -
2665.56/2673.60 c 2674 928710 18929 1 - 0.0000 -
2670.56/2678.66 c 2679 930097 18967 1 - 0.0000 -
2675.64/2683.73 c 2684 931405 18919 1 - 0.0000 -
2680.62/2688.78 c 2689 932745 18944 1 - 0.0000 -
2685.71/2693.83 c 2694 934220 18983 1 - 0.0000 -
2690.79/2698.91 c 2699 935650 19054 1 - 0.0000 -
2695.79/2703.96 c 2704 936980 19054 1 - 0.0000 -
2700.87/2709.08 c 2709 938210 19128 1 - 0.0000 -
2705.97/2714.13 c 2714 939441 19135 1 - 0.0000 -
2710.95/2719.19 c 2719 940672 19214 1 - 0.0000 -
2716.03/2724.25 c 2724 941974 19225 1 - 0.0000 -
2721.11/2729.31 c 2729 943080 19281 1 - 0.0000 -
2726.10/2734.36 c 2734 944713 19284 1 - 0.0000 -
2731.19/2739.41 c 2739 946236 19307 1 - 0.0000 -
2736.17/2744.46 c 2744 947922 19310 1 - 0.0000 -
2741.26/2749.51 c 2750 949371 19347 1 - 0.0000 -
2746.24/2754.56 c 2755 950802 19400 1 - 0.0000 -
2751.33/2759.62 c 2760 952490 19575 1 - 0.0000 -
2756.31/2764.67 c 2765 954056 19622 1 - 0.0000 -
2761.40/2769.72 c 2770 955669 19661 1 - 0.0000 -
2766.39/2774.77 c 2775 957271 19696 1 - 0.0000 -
2771.47/2779.83 c 2780 958897 19766 1 - 0.0000 -
2776.46/2784.89 c 2785 960304 19799 1 - 0.0000 -
2781.55/2789.94 c 2790 961726 19830 1 - 0.0000 -
2786.64/2795.01 c 2795 963016 19911 1 - 0.0000 -
2791.63/2800.07 c 2800 964607 19936 1 - 0.0000 -
2796.71/2805.15 c 2805 965995 19950 1 - 0.0000 -
2801.79/2810.20 c 2810 967215 19962 1 - 0.0000 -
2806.78/2815.27 c 2815 968427 20225 1 - 0.0000 -
2811.86/2820.37 c 2820 969156 20501 1 - 0.0000 -
2816.95/2825.43 c 2825 970354 20546 1 - 0.0000 -
2821.94/2830.48 c 2830 972033 20576 1 - 0.0000 -
2827.02/2835.53 c 2836 973728 20572 1 - 0.0000 -
2832.01/2840.59 c 2841 975131 20566 1 - 0.0000 -
2837.09/2845.68 c 2846 976271 20626 1 - 0.0000 -
2842.18/2850.73 c 2851 977552 20619 1 - 0.0000 -
2847.16/2855.78 c 2856 979043 20637 1 - 0.0000 -
2852.24/2860.86 c 2861 980425 20680 1 - 0.0000 -
2857.33/2865.94 c 2866 981455 20719 1 - 0.0000 -
2862.31/2870.99 c 2871 982797 20798 1 - 0.0000 -
2867.39/2876.04 c 2876 984293 20857 1 - 0.0000 -
2872.38/2881.09 c 2881 985914 20915 1 - 0.0000 -
2877.46/2886.14 c 2886 987512 20984 1 - 0.0000 -
2882.53/2891.22 c 2891 988971 21106 1 - 0.0000 -
2887.52/2896.27 c 2896 990404 21140 1 - 0.0000 -
2892.60/2901.32 c 2901 991912 21198 1 - 0.0000 -
2897.58/2906.37 c 2906 993458 21205 1 - 0.0000 -
2902.66/2911.42 c 2911 994852 21283 1 - 0.0000 -
2907.65/2916.47 c 2916 996256 21332 1 - 0.0000 -
2912.73/2921.52 c 2922 997627 21341 1 - 0.0000 -
2917.71/2926.58 c 2927 998898 21366 1 - 0.0000 -
2922.80/2931.63 c 2932 1000170 21335 1 - 0.0000 -
2927.78/2936.67 c 2937 1001560 21385 1 - 0.0000 -
2932.86/2941.72 c 2942 1003095 21414 1 - 0.0000 -
2937.85/2946.77 c 2947 1004592 21426 1 - 0.0000 -
2942.92/2951.82 c 2952 1005980 21449 1 - 0.0000 -
2947.92/2956.88 c 2957 1007401 21517 1 - 0.0000 -
2952.99/2961.93 c 2962 1008875 21542 1 - 0.0000 -
2957.98/2966.99 c 2967 1010546 21553 1 - 0.0000 -
2963.06/2972.05 c 2972 1012292 21540 1 - 0.0000 -
2968.05/2977.10 c 2977 1013857 21542 1 - 0.0000 -
2973.13/2982.15 c 2982 1015379 21549 1 - 0.0000 -
2978.22/2987.23 c 2987 1016785 21557 1 - 0.0000 -
2983.20/2992.28 c 2992 1018143 21540 1 - 0.0000 -
2988.28/2997.33 c 2997 1019689 21546 1 - 0.0000 -
2993.28/3002.38 c 3002 1021245 21571 1 - 0.0000 -
2998.36/3007.43 c 3007 1022593 21592 1 - 0.0000 -
3003.35/3012.48 c 3012 1024004 21593 1 - 0.0000 -
3008.44/3017.53 c 3018 1025301 21655 1 - 0.0000 -
3013.42/3022.58 c 3023 1026619 21783 1 - 0.0000 -
3018.50/3027.63 c 3028 1027891 21851 1 - 0.0000 -
3023.49/3032.68 c 3033 1029192 21843 1 - 0.0000 -
3028.58/3037.73 c 3038 1030543 21826 1 - 0.0000 -
3033.57/3042.78 c 3043 1031822 21806 1 - 0.0000 -
3038.65/3047.83 c 3048 1033135 21784 1 - 0.0000 -
3043.63/3052.88 c 3053 1034466 21793 1 - 0.0000 -
3048.73/3057.93 c 3058 1035874 21789 1 - 0.0000 -
3053.71/3062.98 c 3063 1037080 21761 1 - 0.0000 -
3058.80/3068.03 c 3068 1038421 21773 1 - 0.0000 -
3063.78/3073.08 c 3073 1039781 21812 1 - 0.0000 -
3068.87/3078.13 c 3078 1041115 21824 1 - 0.0000 -
3073.95/3083.21 c 3083 1042524 21822 1 - 0.0000 -
3078.94/3088.26 c 3088 1043983 21833 1 - 0.0000 -
3084.02/3093.31 c 3093 1045307 21850 1 - 0.0000 -
3089.01/3098.36 c 3098 1046704 21843 1 - 0.0000 -
3094.09/3103.41 c 3103 1048069 21839 1 - 0.0000 -
3099.08/3108.46 c 3108 1049430 21886 1 - 0.0000 -
3104.16/3113.51 c 3114 1050782 21874 1 - 0.0000 -
3109.15/3118.56 c 3119 1052149 21885 1 - 0.0000 -
3114.34/3123.78 c 3124 1053544 21902 1 - 0.0000 -
3119.42/3128.84 c 3129 1055010 21916 1 - 0.0000 -
3124.41/3133.89 c 3134 1056307 21908 1 - 0.0000 -
3129.60/3139.00 c 3139 1057763 21995 1 - 0.0000 -
3134.58/3144.06 c 3144 1059277 22029 1 - 0.0000 -
3139.67/3149.11 c 3149 1060638 21977 1 - 0.0000 -
3144.66/3154.16 c 3154 1062035 21969 1 - 0.0000 -
3149.73/3159.23 c 3159 1063166 22003 1 - 0.0000 -
3154.72/3164.29 c 3164 1064146 22005 1 - 0.0000 -
3159.81/3169.34 c 3169 1065452 22028 1 - 0.0000 -
3164.79/3174.39 c 3174 1066798 22044 1 - 0.0000 -
3169.88/3179.46 c 3179 1067895 22084 1 - 0.0000 -
3174.97/3184.51 c 3185 1069175 22086 1 - 0.0000 -
3179.95/3189.58 c 3190 1070503 22153 1 - 0.0000 -
3185.03/3194.63 c 3195 1071997 22163 1 - 0.0000 -
3190.02/3199.68 c 3200 1073491 22214 1 - 0.0000 -
3195.11/3204.73 c 3205 1074944 22226 1 - 0.0000 -
3200.09/3209.78 c 3210 1076427 22261 1 - 0.0000 -
3205.18/3214.85 c 3215 1077677 22312 1 - 0.0000 -
3210.26/3219.90 c 3220 1079012 22383 1 - 0.0000 -
3215.26/3224.95 c 3225 1080562 22391 1 - 0.0000 -
3220.34/3230.00 c 3230 1082047 22411 1 - 0.0000 -
3225.32/3235.06 c 3235 1083433 22480 1 - 0.0000 -
3230.41/3240.11 c 3240 1084899 22501 1 - 0.0000 -
3235.40/3245.16 c 3245 1086345 22507 1 - 0.0000 -
3240.48/3250.21 c 3250 1087672 22516 1 - 0.0000 -
3245.47/3255.26 c 3255 1089163 22539 1 - 0.0000 -
3250.55/3260.31 c 3260 1090696 22590 1 - 0.0000 -
3255.54/3265.36 c 3265 1091970 22631 1 - 0.0000 -
3260.62/3270.42 c 3270 1093207 22641 1 - 0.0000 -
3265.60/3275.47 c 3275 1094569 22745 1 - 0.0000 -
3270.70/3280.52 c 3281 1095859 22771 1 - 0.0000 -
3275.68/3285.57 c 3286 1097563 22798 1 - 0.0000 -
3280.77/3290.62 c 3291 1099158 22784 1 - 0.0000 -
3285.75/3295.67 c 3296 1100569 22840 1 - 0.0000 -
3290.84/3300.74 c 3301 1101809 22930 1 - 0.0000 -
3295.92/3305.83 c 3306 1102961 22952 1 - 0.0000 -
3301.01/3310.90 c 3311 1104092 23000 1 - 0.0000 -
3306.00/3315.97 c 3316 1105109 23006 1 - 0.0000 -
3311.09/3321.02 c 3321 1106345 23061 1 - 0.0000 -
3316.07/3326.10 c 3326 1107445 23100 1 - 0.0000 -
3321.16/3331.15 c 3331 1108640 23088 1 - 0.0000 -
3326.24/3336.28 c 3336 1109611 23119 1 - 0.0000 -
3331.33/3341.36 c 3341 1110914 23149 1 - 0.0000 -
3336.41/3346.42 c 3346 1112166 23160 1 - 0.0000 -
3341.40/3351.47 c 3351 1113709 23263 1 - 0.0000 -
3346.49/3356.53 c 3357 1114990 23266 1 - 0.0000 -
3351.47/3361.58 c 3362 1116322 23280 1 - 0.0000 -
3356.56/3366.63 c 3367 1117365 23318 1 - 0.0000 -
3361.54/3371.69 c 3372 1118793 23323 1 - 0.0000 -
3366.63/3376.75 c 3377 1120141 23332 1 - 0.0000 -
3371.72/3381.80 c 3382 1121524 23383 1 - 0.0000 -
3376.70/3386.87 c 3387 1122802 23386 1 - 0.0000 -
3381.79/3391.92 c 3392 1124057 23404 1 - 0.0000 -
3386.77/3396.97 c 3397 1125504 23415 1 - 0.0000 -
3391.87/3402.02 c 3402 1126694 23416 1 - 0.0000 -
3396.85/3407.09 c 3407 1127771 23495 1 - 0.0000 -
3401.94/3412.17 c 3412 1128895 23492 1 - 0.0000 -
3407.01/3417.22 c 3417 1130153 23535 1 - 0.0000 -
3412.00/3422.27 c 3422 1131558 23604 1 - 0.0000 -
3417.09/3427.32 c 3427 1132895 23617 1 - 0.0000 -
3422.07/3432.39 c 3432 1134109 23636 1 - 0.0000 -
3427.16/3437.47 c 3437 1135225 23691 1 - 0.0000 -
3432.25/3442.52 c 3443 1136479 23788 1 - 0.0000 -
3437.23/3447.57 c 3448 1137901 23823 1 - 0.0000 -
3442.32/3452.62 c 3453 1139222 23915 1 - 0.0000 -
3447.31/3457.67 c 3458 1140538 23952 1 - 0.0000 -
3452.39/3462.73 c 3463 1141791 23984 1 - 0.0000 -
3457.37/3467.78 c 3468 1143028 24004 1 - 0.0000 -
3462.47/3472.84 c 3473 1144145 24019 1 - 0.0000 -
3467.45/3477.89 c 3478 1145387 24070 1 - 0.0000 -
3472.53/3482.94 c 3483 1146620 24103 1 - 0.0000 -
3477.52/3487.99 c 3488 1147928 24116 1 - 0.0000 -
3482.61/3493.04 c 3493 1149215 24133 1 - 0.0000 -
3487.60/3498.09 c 3498 1150524 24174 1 - 0.0000 -
3492.68/3503.14 c 3503 1151956 24178 1 - 0.0000 -
3497.67/3508.19 c 3508 1153075 24266 1 - 0.0000 -
3502.74/3513.24 c 3513 1154214 24282 1 - 0.0000 -
3507.83/3518.31 c 3518 1155347 24292 1 - 0.0000 -
3512.82/3523.36 c 3523 1156747 24317 1 - 0.0000 -
3517.90/3528.41 c 3528 1158013 24315 1 - 0.0000 -
3522.89/3533.46 c 3533 1159264 24383 1 - 0.0000 -
3527.97/3538.51 c 3539 1160462 24427 1 - 0.0000 -
3532.96/3543.59 c 3544 1161205 24609 1 - 0.0000 -
3538.05/3548.68 c 3549 1162462 24664 1 - 0.0000 -
3543.14/3553.73 c 3554 1163676 24703 1 - 0.0000 -
3548.12/3558.79 c 3559 1165056 24758 1 - 0.0000 -
3553.20/3563.85 c 3564 1166294 24816 1 - 0.0000 -
3558.29/3568.91 c 3569 1167338 24947 1 - 0.0000 -
3563.27/3573.98 c 3574 1168257 24972 1 - 0.0000 -
3568.37/3579.10 c 3579 1169332 24994 1 - 0.0000 -
3573.54/3584.20 c 3584 1170337 25025 1 - 0.0000 -
3578.54/3589.26 c 3589 1171329 25042 1 - 0.0000 -
3583.62/3594.31 c 3594 1172341 25057 1 - 0.0000 -
3588.60/3599.37 c 3599 1173515 25101 1 - 0.0000 -
3589.40/3600.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.40/3600.17 c Total Time : 3600.1700
3589.40/3600.17 c solving : 3600.1700
3589.40/3600.17 c presolving : 0.0382 (included in solving)
3589.40/3600.17 c B&B Tree :
3589.40/3600.17 c nodes (total) : 1
3589.40/3600.17 c Solution :
3589.40/3600.17 c Solutions found : 0
3589.40/3600.17 c Primal Bound : -
3589.40/3600.17 c Dual Bound : +0.00000000000000e+00
3589.40/3600.17 c Gap : -
3589.40/3600.17 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60735 MiB free)
memory of node 1: 64510 MiB (61010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445930-1721323260/watcher-4445930-1721323260 -o /tmp/evaluation-result-4445930-1721323260/solver-4445930-1721323260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968467 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445930-1721323260.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=972939, runsolver pid=972936
[startup+0.100093 s]*
/proc/loadavg: 4.23 4.18 4.17 5/266 972942
/proc/meminfo: memFree=124642224/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=121232 memory=36140 CPUtime=0.1 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 7058 0 0 0 9 1 0 0 20 0 3 0 184485180 124141568 9035 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 30308 9035 2830 3032 0 12869 0
[pid=972939/tid=972941] ppid=972936 vsize=121232 memory=4026561586 CPUtime=0.05 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 2241 0 0 0 5 0 0 0 20 0 3 0 184485184 124141568 9035 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=121232 memory=237146210664 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184485185 124141568 9035 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 121232 KiB
Current children cumulated memory: 36140 KiB
[startup+0.206117 s]*
/proc/loadavg: 4.23 4.18 4.17 5/266 972942
/proc/meminfo: memFree=124633008/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=121232 memory=46000 CPUtime=0.2 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 9431 0 0 0 19 1 0 0 20 0 3 0 184485180 124141568 11500 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 30308 11500 2926 3032 0 15583 0
[pid=972939/tid=972941] ppid=972936 vsize=121232 memory=4782652875487838339 CPUtime=0.15 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 4614 0 0 0 15 0 0 0 20 0 3 0 184485184 124141568 11500 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=121232 memory=1285800 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184485185 124141568 11500 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121232 KiB
Current children cumulated memory: 46000 KiB
[startup+0.30596 s]*
/proc/loadavg: 4.23 4.18 4.17 5/266 972942
/proc/meminfo: memFree=124627508/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=121232 memory=51016 CPUtime=0.3 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 10636 0 0 0 29 1 0 0 20 0 3 0 184485180 124141568 12754 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 30308 12754 2926 3032 0 16492 0
[pid=972939/tid=972941] ppid=972936 vsize=121232 memory=-6512603528188574566 CPUtime=0.25 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 5819 0 0 0 25 0 0 0 20 0 3 0 184485184 124141568 12754 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=121232 memory=0 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184485185 124141568 12754 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121232 KiB
Current children cumulated memory: 51016 KiB
[startup+0.700202 s]
/proc/loadavg: 4.23 4.18 4.17 5/266 972942
/proc/meminfo: memFree=124613600/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=121232 memory=78736 CPUtime=0.69 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 17561 0 0 0 67 2 0 0 20 0 3 0 184485180 124141568 19684 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 30308 19684 2926 3032 0 23848 0
[pid=972939/tid=972941] ppid=972936 vsize=121232 memory=0 CPUtime=0.64 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 12744 0 0 0 63 1 0 0 20 0 3 0 184485184 124141568 19684 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=121232 memory=0 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184485185 124141568 19684 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121232 KiB
Current children cumulated memory: 78736 KiB
[startup+1.50021 s]
/proc/loadavg: 4.23 4.18 4.17 6/266 972942
/proc/meminfo: memFree=124589576/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=121232 memory=88536 CPUtime=1.48 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 27900 0 0 0 146 2 0 0 20 0 3 0 184485180 124141568 22134 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 30308 22134 2942 3032 0 26416 0
[pid=972939/tid=972941] ppid=972936 vsize=121232 memory=0 CPUtime=1.44 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 23083 0 0 0 142 2 0 0 20 0 3 0 184485184 124141568 22134 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=121232 memory=0 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184485185 124141568 22134 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121232 KiB
Current children cumulated memory: 88536 KiB
[startup+3.10487 s]
/proc/loadavg: 4.21 4.18 4.17 7/266 972943
/proc/meminfo: memFree=124582960/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=121232 memory=89320 CPUtime=3.09 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 29052 0 0 0 306 3 0 0 20 0 3 0 184485180 124141568 22330 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 30308 22330 2942 3032 0 26657 0
[pid=972939/tid=972941] ppid=972936 vsize=121232 memory=2273 CPUtime=3.03 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 24215 0 0 0 301 2 0 0 20 0 3 0 184485184 124141568 22330 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=121232 memory=0 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 184485185 124141568 22330 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121232 KiB
Current children cumulated memory: 89320 KiB
[startup+6.30019 s]
/proc/loadavg: 4.21 4.18 4.17 6/266 972943
/proc/meminfo: memFree=124565016/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=186768 memory=103864 CPUtime=6.28 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 48649 0 0 0 623 5 0 0 20 0 3 0 184485180 191250432 25966 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 46692 25966 2990 3032 0 30303 0
[pid=972939/tid=972941] ppid=972936 vsize=186768 memory=-6512603528188574566 CPUtime=6.22 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 43779 0 0 0 618 4 0 0 20 0 3 0 184485184 191250432 25966 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=186768 memory=103860 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 184485185 191250432 25966 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 186768 KiB
Current children cumulated memory: 103864 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.17 4.17 6/266 972945
/proc/meminfo: memFree=124542236/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=186768 memory=112544 CPUtime=12.66 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 67196 0 0 0 1258 8 0 0 20 0 3 0 184485180 191250432 28136 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 46692 28136 2990 3032 0 32473 0
[pid=972939/tid=972941] ppid=972936 vsize=186768 memory=93816 CPUtime=12.6 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 62272 0 0 0 1253 7 0 0 20 0 3 0 184485184 191250432 28136 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=186768 memory=0 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 184485185 191250432 28136 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 186768 KiB
Current children cumulated memory: 112544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.17 4.17 6/266 972946
/proc/meminfo: memFree=124510220/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=186768 memory=125012 CPUtime=25.42 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 98161 0 0 0 2531 11 0 0 20 0 3 0 184485180 191250432 31253 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 46692 31253 2990 3032 0 35721 0
[pid=972939/tid=972941] ppid=972936 vsize=186768 memory=108180 CPUtime=25.37 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 93166 0 0 0 2527 10 0 0 20 0 3 0 184485184 191250432 31253 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=186768 memory=7676 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 184485185 191250432 31253 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 186768 KiB
Current children cumulated memory: 125012 KiB
[startup+51.1049 s]
/proc/loadavg: 4.16 4.17 4.17 6/266 972950
/proc/meminfo: memFree=124477528/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=186768 memory=128332 CPUtime=50.94 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 147196 0 0 0 5080 14 0 0 20 0 3 0 184485180 191250432 32083 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 46692 32083 2990 3032 0 37198 0
[pid=972939/tid=972941] ppid=972936 vsize=186768 memory=129692 CPUtime=50.9 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 142085 0 0 0 5076 14 0 0 20 0 3 0 184485184 191250432 32083 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=186768 memory=129640 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 184485185 191250432 32083 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 186768 KiB
Current children cumulated memory: 128332 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.17 6/266 972960
/proc/meminfo: memFree=124392060/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=186768 memory=139544 CPUtime=101.99 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 200965 0 0 0 10177 22 0 0 20 0 3 0 184485180 191250432 34886 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 46692 34886 2990 3032 0 39593 0
[pid=972939/tid=972941] ppid=972936 vsize=186768 memory=139544 CPUtime=101.93 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 195680 0 0 0 10172 21 0 0 20 0 3 0 184485184 191250432 34886 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=186768 memory=139500 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 184485185 191250432 34886 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 186768 KiB
Current children cumulated memory: 139544 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.17 6/267 972971
/proc/meminfo: memFree=124298800/131524600 swapFree=130798872/131071996
[pid=972939] ppid=972936 vsize=186768 memory=140500 CPUtime=161.81 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 227558 0 0 0 16150 31 0 0 20 0 3 0 184485180 191250432 35125 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 46692 35125 2990 3032 0 39593 0
[pid=972939/tid=972941] ppid=972936 vsize=186768 memory=140272 CPUtime=161.74 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 222178 0 0 0 16145 29 0 0 20 0 3 0 184485184 191250432 35125 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=186768 memory=7676 CPUtime=0 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 184485185 191250432 35125 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 186768 KiB
################
# More data... #
################
/proc/972939/statm: 129278 107852 2990 3032 0 111266 0
[pid=972939/tid=972941] ppid=972936 vsize=517112 memory=428072 CPUtime=3451.7 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1045261 0 0 0 344878 292 0 0 20 0 3 0 184485184 529522688 107852 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=517112 memory=27460 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 162 0 0 0 1 2 0 0 20 0 3 0 184485185 529522688 107852 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 517112 KiB
Current children cumulated memory: 431408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/263 974967
/proc/meminfo: memFree=120882188/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=517112 memory=431836 CPUtime=3511.82 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1066179 0 0 0 350876 306 0 0 20 0 3 0 184485180 529522688 107959 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 129278 107959 2990 3032 0 111266 0
[pid=972939/tid=972941] ppid=972936 vsize=517112 memory=7676 CPUtime=3511.52 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1059641 0 0 0 350855 297 0 0 20 0 3 0 184485184 529522688 107959 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=517112 memory=431836 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 164 0 0 0 1 2 0 0 20 0 3 0 184485185 529522688 107959 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 517112 KiB
Current children cumulated memory: 431836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 974982
/proc/meminfo: memFree=120854412/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=436512 CPUtime=3571.65 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1085334 0 0 0 356855 310 0 0 20 0 3 0 184485180 538435584 109128 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109128 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=431836 CPUtime=3571.35 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1078780 0 0 0 356834 301 0 0 20 0 3 0 184485184 538435584 109128 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=436512 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 166 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109128 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 436512 KiB
[startup+3600.17 s]
# the end of solver process 972939 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.36 s, system=3.12601 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.09 6/265 974982
/proc/meminfo: memFree=120854404/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=436512 CPUtime=3573.35 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1085342 0 0 0 357025 310 0 0 20 0 3 0 184485180 538435584 109128 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109128 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=6720669835229151595 CPUtime=3573.05 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1078788 0 0 0 357004 301 0 0 20 0 3 0 184485184 538435584 109128 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=-7448802767174721399 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 166 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109128 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 436512 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 974982
/proc/meminfo: memFree=120853568/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437356 CPUtime=3579.73 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1085596 0 0 0 357662 311 0 0 20 0 3 0 184485180 538435584 109339 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109339 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=7676 CPUtime=3579.42 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1079042 0 0 0 357641 301 0 0 20 0 3 0 184485184 538435584 109339 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=436580 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 166 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109339 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3579.73 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437356 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 974984
/proc/meminfo: memFree=120766784/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437892 CPUtime=3586.11 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1086628 0 0 0 358300 311 0 0 20 0 3 0 184485180 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109473 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=437700 CPUtime=3585.81 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1080071 0 0 0 358279 302 0 0 20 0 3 0 184485184 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=436512 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437892 KiB
[startup+3598.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 974985
/proc/meminfo: memFree=120766792/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437892 CPUtime=3587.7 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1086646 0 0 0 358459 311 0 0 20 0 3 0 184485180 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109473 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=2240 CPUtime=3587.4 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1080089 0 0 0 358438 302 0 0 20 0 3 0 184485184 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=27460 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437892 KiB
[startup+3599.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 974985
/proc/meminfo: memFree=120766792/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437892 CPUtime=3588.5 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1086650 0 0 0 358539 311 0 0 20 0 3 0 184485180 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109473 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=7676 CPUtime=3588.2 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1080093 0 0 0 358518 302 0 0 20 0 3 0 184485184 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=27460 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437892 KiB
[startup+3599.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 974985
/proc/meminfo: memFree=120766792/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437892 CPUtime=3588.9 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1086679 0 0 0 358579 311 0 0 20 0 3 0 184485180 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109473 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=7676 CPUtime=3588.6 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1080121 0 0 0 358558 302 0 0 20 0 3 0 184485184 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=27460 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3588.9 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437892 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 974985
/proc/meminfo: memFree=120766792/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437892 CPUtime=3589.3 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1087057 0 0 0 358619 311 0 0 20 0 3 0 184485180 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109473 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=6720669835229151595 CPUtime=3589 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1080525 0 0 0 358598 302 0 0 20 0 3 0 184485184 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3589.3 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437892 KiB
[startup+3600.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 974985
/proc/meminfo: memFree=120766792/131524600 swapFree=130799128/131071996
[pid=972939] ppid=972936 vsize=525816 memory=437892 CPUtime=3589.4 cores=5,7
/proc/972939/stat : 972939 (fscip) S 972936 972939 968454 0 -1 1077936128 1088876 0 0 0 358629 311 0 0 20 0 3 0 184485180 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
/proc/972939/statm: 131454 109473 2990 3032 0 113442 0
[pid=972939/tid=972941] ppid=972936 vsize=525816 memory=437892 CPUtime=3589.1 cores=5,7
/proc/972939/task/972941/stat : 972941 (fscip) R 972936 972939 968454 0 -1 4194368 1082316 0 0 0 358608 302 0 0 20 0 3 0 184485184 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
[pid=972939/tid=972942] ppid=972936 vsize=525816 memory=437892 CPUtime=0.03 cores=5,7
/proc/972939/task/972942/stat : 972942 (fscip) S 972936 972939 968454 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 184485185 538435584 109473 134679101440 4194304 16613245 140729286950704 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 27758592 140729286951956 140729286952072 140729286952072 140729286959088 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 525816 KiB
Current children cumulated memory: 437892 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3589.48
CPU user time (s): 3586.36
CPU system time (s): 3.12601
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 525816
Max. memory (cumulated for all children) (KiB): 437892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.36
system time used= 3.12601
maximum resident set size= 437892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1090510
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= 10878
involuntary context switches= 2630
# summary of solver processes directly reported to runsolver:
# pid: 972939
# total CPU time (s): 3589.48
# total CPU user time (s): 3586.36
# total CPU system time (s): 3.12601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95028 second user time and 17.093 second system time
The end
Begin job on nodeC014 at 2024-07-18 19:21:13
IDJOB=4445930
IDBENCH=155406
IDSOLVER=3064
FILE ID=nodeC014/4445930-1721323260
RUNJOBID= nodeC014-1721318012-968467
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.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-4445930-1721323260/watcher-4445930-1721323260 -o /tmp/evaluation-result-4445930-1721323260/solver-4445930-1721323260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968467 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445930-1721323260.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=741213565
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.665
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.324
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.939
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.058
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.726
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.924
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.695
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124667884 kB
MemAvailable: 127889280 kB
Buffers: 450408 kB
Cached: 3574484 kB
SwapCached: 12912 kB
Active: 1379352 kB
Inactive: 4887320 kB
Active(anon): 9308 kB
Inactive(anon): 2252988 kB
Active(file): 1370044 kB
Inactive(file): 2634332 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 28412 kB
Writeback: 0 kB
AnonPages: 2230624 kB
Mapped: 85184 kB
Shmem: 20508 kB
KReclaimable: 113332 kB
Slab: 211100 kB
SReclaimable: 113332 kB
SUnreclaim: 97768 kB
KernelStack: 4240 kB
PageTables: 14248 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2140316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1005568 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC014 at 2024-07-18 20:21:13