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 = 26017792, getVmSize() = 26017792, SCIPgetMemUsed() = 2810791, SCIPgetMemTotal() = 4429455, SCIPgetMemExternEstim() = 1884500
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 19111936, getVmSize() = 31318016, SCIPgetMemUsed() = 4053066, SCIPgetMemTotal() = 8480954, SCIPgetMemExternEstim() = 1884500
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4449693-1721403251
0.00/0.02 c Variables : 148 (148 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 1760
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 148 (148 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 1760
0.00/0.02 c Constraints : Number
0.00/0.02 c setppc : 8
0.00/0.02 c logicor : 1752
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.05 c * 0 0 1 1 8.0000 - -
0.00/0.05 c * 0 0 1 1 7.0000 - -
0.00/0.05 c * 0 0 1 1 4.0000 - -
0.10/0.13 c * 0 0 1 1 2.0000 - -
5.67/5.70 c 6 1003 645 1 2.0000 0.0000 -
10.65/10.74 c 11 3337 869 1 2.0000 0.0000 -
15.63/15.79 c 16 8579 2176 1 2.0000 0.0000 -
20.71/20.88 c 21 13719 2994 1 2.0000 0.0000 -
25.79/25.92 c 26 19215 4326 1 2.0000 0.0000 -
30.77/30.97 c 31 24560 5581 1 2.0000 0.0000 -
35.86/36.02 c 36 30128 6500 1 2.0000 0.0000 -
40.84/41.08 c 41 35506 7821 1 2.0000 0.0000 -
45.92/46.13 c 46 41619 8904 1 2.0000 0.0000 -
50.89/51.18 c 51 47730 10138 1 2.0000 0.0000 -
55.96/56.23 c 56 53438 11255 1 2.0000 0.0000 -
60.94/61.28 c 61 58614 12662 1 2.0000 0.0000 -
66.03/66.33 c 66 63878 13809 1 2.0000 0.0000 -
71.00/71.38 c 71 68901 14928 1 2.0000 0.0000 -
76.08/76.43 c 76 74471 15845 1 2.0000 0.0000 -
81.06/81.49 c 81 80702 16760 1 2.0000 0.0000 -
86.14/86.53 c 87 85457 17531 1 2.0000 0.0000 -
91.12/91.58 c 92 90262 18393 1 2.0000 0.0000 -
96.19/96.63 c 97 95125 19140 1 2.0000 0.0000 -
101.28/101.77 c 102 100379 19803 1 2.0000 0.0000 -
106.36/106.82 c 107 105551 20463 1 2.0000 0.0000 -
111.35/111.86 c 112 110132 21374 1 2.0000 0.0000 -
116.42/116.93 c 117 115556 22602 1 2.0000 0.0000 -
121.51/122.02 c 122 120108 23138 1 2.0000 0.0000 -
126.59/127.11 c 127 125408 23795 1 2.0000 0.0000 -
131.66/132.21 c 132 129989 24610 1 2.0000 0.0000 -
136.64/137.28 c 137 133900 25003 1 2.0000 0.0000 -
141.83/142.41 c 142 137551 25322 1 2.0000 0.0000 -
146.80/147.47 c 147 141253 25621 1 2.0000 0.0000 -
151.88/152.52 c 153 146971 26403 1 2.0000 0.0000 -
156.96/157.61 c 158 152614 27117 1 2.0000 0.0000 -
161.94/162.66 c 163 158034 27561 1 2.0000 0.0000 -
167.01/167.72 c 168 163198 28087 1 2.0000 0.0000 -
171.98/172.77 c 173 168505 28710 1 2.0000 0.0000 -
177.06/177.82 c 178 174440 29417 1 2.0000 0.0000 -
182.13/182.92 c 183 180281 30224 1 2.0000 0.0000 -
187.11/187.97 c 188 186805 31511 1 2.0000 0.0000 -
192.19/193.04 c 193 192443 32408 1 2.0000 0.0000 -
197.16/198.09 c 198 198566 32822 1 2.0000 0.0000 -
202.23/203.14 c 203 205060 33195 1 2.0000 0.0000 -
207.30/208.20 c 208 211262 33679 1 2.0000 0.0000 -
212.28/213.25 c 213 218268 34261 1 2.0000 0.0000 -
217.35/218.30 c 218 225255 35005 1 2.0000 0.0000 -
222.32/223.35 c 223 232479 36263 1 2.0000 0.0000 -
227.39/228.42 c 228 240542 37290 1 2.0000 0.0000 -
232.37/233.48 c 233 246635 38109 1 2.0000 0.0000 -
237.44/238.52 c 239 253259 39429 1 2.0000 0.0000 -
242.42/243.59 c 244 260033 40791 1 2.0000 0.0000 -
247.48/248.67 c 249 265870 41504 1 2.0000 0.0000 -
252.56/253.76 c 254 270934 41712 1 2.0000 0.0000 -
257.64/258.81 c 259 277587 42288 1 2.0000 0.0000 -
262.71/263.90 c 264 282984 43059 1 2.0000 0.0000 -
267.68/268.97 c 269 288911 43744 1 2.0000 0.0000 -
272.76/274.09 c 274 293832 44737 1 2.0000 0.0000 -
277.83/279.15 c 279 298997 45273 1 2.0000 0.0000 -
282.90/284.20 c 284 305879 47079 1 2.0000 0.0000 -
287.88/289.28 c 289 311204 48232 1 2.0000 0.0000 -
292.96/294.36 c 294 317356 49071 1 2.0000 0.0000 -
298.02/299.45 c 299 324127 49656 1 2.0000 0.0000 -
303.21/304.60 c 305 325899 49790 1 2.0000 0.0000 -
308.28/309.74 c 310 330781 50106 1 2.0000 0.0000 -
313.36/314.82 c 315 335781 50493 1 2.0000 0.0000 -
318.44/319.99 c 320 340894 50806 1 2.0000 0.0000 -
323.52/325.06 c 325 348003 52599 1 2.0000 0.0000 -
328.59/330.15 c 330 353482 53720 1 2.0000 0.0000 -
333.66/335.20 c 335 359286 55244 1 2.0000 0.0000 -
338.64/340.28 c 340 365648 55866 1 2.0000 0.0000 -
343.72/345.32 c 345 370830 56511 1 2.0000 0.0000 -
348.70/350.38 c 350 376606 57296 1 2.0000 0.0000 -
353.77/355.42 c 355 383033 58002 1 2.0000 0.0000 -
358.75/360.49 c 360 388055 58833 1 2.0000 0.0000 -
363.82/365.57 c 366 393371 59430 1 2.0000 0.0000 -
368.89/370.64 c 371 400357 60346 1 2.0000 0.0000 -
373.98/375.70 c 376 405323 60783 1 2.0000 0.0000 -
379.05/380.80 c 381 408618 61026 1 2.0000 0.0000 -
384.02/385.85 c 386 414873 61808 1 2.0000 0.0000 -
389.10/390.93 c 391 419373 63205 1 2.0000 0.0000 -
394.08/395.99 c 396 424351 64239 1 2.0000 0.0000 -
399.15/401.08 c 401 430585 64899 1 2.0000 0.0000 -
404.23/406.13 c 406 437222 66082 1 2.0000 0.0000 -
409.30/411.20 c 411 443776 66821 1 2.0000 0.0000 -
414.27/416.26 c 416 450079 67213 1 2.0000 0.0000 -
419.35/421.34 c 421 456631 67690 1 2.0000 0.0000 -
424.42/426.43 c 426 464532 69028 1 2.0000 0.0000 -
429.39/431.47 c 431 472611 70334 1 2.0000 0.0000 -
434.47/436.52 c 437 479776 71684 1 2.0000 0.0000 -
439.44/441.57 c 442 487011 72845 1 2.0000 0.0000 -
444.51/446.63 c 447 493864 74397 1 2.0000 0.0000 -
449.58/451.71 c 452 500484 75522 1 2.0000 0.0000 -
454.56/456.77 c 457 508689 76462 1 2.0000 0.0000 -
459.64/461.82 c 462 516791 77340 1 2.0000 0.0000 -
464.72/466.90 c 467 523829 78741 1 2.0000 0.0000 -
469.68/471.98 c 472 530248 79830 1 2.0000 0.0000 -
474.77/477.04 c 477 537073 81641 1 2.0000 0.0000 -
479.85/482.13 c 482 542500 82760 1 2.0000 0.0000 -
484.82/487.18 c 487 548817 83743 1 2.0000 0.0000 -
489.88/492.23 c 492 556182 84681 1 2.0000 0.0000 -
494.96/497.31 c 497 562201 84993 1 2.0000 0.0000 -
499.94/502.35 c 502 568477 85209 1 2.0000 0.0000 -
505.00/507.40 c 507 574406 85835 1 2.0000 0.0000 -
510.08/512.50 c 513 580344 86064 1 2.0000 0.0000 -
515.05/517.55 c 518 586177 86138 1 2.0000 0.0000 -
520.13/522.69 c 523 590397 86102 1 2.0000 0.0000 -
525.20/527.79 c 528 595373 85923 1 2.0000 0.0000 -
530.28/532.89 c 533 600152 85817 1 2.0000 0.0000 -
535.45/538.00 c 538 605593 85700 1 2.0000 0.0000 -
540.43/543.05 c 543 610718 85828 1 2.0000 0.0000 -
545.51/548.14 c 548 615545 87151 1 2.0000 0.0000 -
550.49/553.18 c 553 620805 88239 1 2.0000 0.0000 -
555.56/558.28 c 558 624499 88787 1 2.0000 0.0000 -
560.73/563.43 c 563 628517 89420 1 2.0000 0.0000 -
565.71/568.49 c 568 632178 89715 1 2.0000 0.0000 -
570.78/573.55 c 574 635996 90211 1 2.0000 0.0000 -
575.86/578.61 c 579 641016 90308 1 2.0000 0.0000 -
580.83/583.68 c 584 645554 90531 1 2.0000 0.0000 -
586.01/588.81 c 589 650871 90911 1 2.0000 0.0000 -
590.98/593.87 c 594 656037 92244 1 2.0000 0.0000 -
596.06/598.97 c 599 659673 92810 1 2.0000 0.0000 -
601.14/604.03 c 604 662901 93546 1 2.0000 0.0000 -
606.21/609.12 c 609 667039 94462 1 2.0000 0.0000 -
611.28/614.21 c 614 671975 94990 1 2.0000 0.0000 -
616.36/619.34 c 619 676338 95695 1 2.0000 0.0000 -
621.43/624.42 c 624 680057 96475 1 2.0000 0.0000 -
626.40/629.47 c 629 684777 96964 1 2.0000 0.0000 -
631.47/634.54 c 635 688967 97791 1 2.0000 0.0000 -
636.55/639.61 c 640 693339 98514 1 2.0000 0.0000 -
641.53/644.69 c 645 698320 99118 1 2.0000 0.0000 -
646.60/649.73 c 650 703069 99476 1 2.0000 0.0000 -
651.57/654.78 c 655 707787 100055 1 2.0000 0.0000 -
656.65/659.84 c 660 712553 100644 1 2.0000 0.0000 -
661.62/664.89 c 665 717575 101725 1 2.0000 0.0000 -
666.69/669.95 c 670 721472 102387 1 2.0000 0.0000 -
671.77/675.02 c 675 726760 103078 1 2.0000 0.0000 -
676.85/680.10 c 680 732276 103491 1 2.0000 0.0000 -
681.82/685.19 c 685 736910 104343 1 2.0000 0.0000 -
686.89/690.28 c 690 740573 104999 1 2.0000 0.0000 -
691.96/695.33 c 695 744170 105393 1 2.0000 0.0000 -
697.03/700.42 c 700 748060 105783 1 2.0000 0.0000 -
702.02/705.46 c 705 753372 106501 1 2.0000 0.0000 -
707.08/710.51 c 711 757477 107120 1 2.0000 0.0000 -
712.06/715.57 c 716 762971 107409 1 2.0000 0.0000 -
717.13/720.69 c 721 765643 108353 1 2.0000 0.0000 -
722.21/725.78 c 726 769217 109237 1 2.0000 0.0000 -
727.28/730.86 c 731 773677 110352 1 2.0000 0.0000 -
732.35/735.92 c 736 777016 111121 1 2.0000 0.0000 -
737.33/740.99 c 741 780487 111859 1 2.0000 0.0000 -
742.41/746.05 c 746 782966 112340 1 2.0000 0.0000 -
747.58/751.24 c 751 783550 112469 1 2.0000 0.0000 -
752.76/756.45 c 756 785401 112811 1 2.0000 0.0000 -
757.83/761.50 c 762 787066 113256 1 2.0000 0.0000 -
762.91/766.63 c 767 788921 113625 1 2.0000 0.0000 -
767.99/771.77 c 772 790398 113962 1 2.0000 0.0000 -
773.17/776.94 c 777 792896 114458 1 2.0000 0.0000 -
778.24/782.05 c 782 794985 114729 1 2.0000 0.0000 -
783.42/787.25 c 787 798144 115184 1 2.0000 0.0000 -
788.70/792.51 c 793 801729 115467 1 2.0000 0.0000 -
793.77/797.64 c 798 805149 115892 1 2.0000 0.0000 -
798.85/802.70 c 803 810231 116297 1 2.0000 0.0000 -
803.82/807.78 c 808 813425 116537 1 2.0000 0.0000 -
808.90/812.88 c 813 817338 116750 1 2.0000 0.0000 -
813.98/817.95 c 818 820800 117292 1 2.0000 0.0000 -
819.05/823.00 c 823 825778 117920 1 2.0000 0.0000 -
824.13/828.12 c 828 829896 118873 1 2.0000 0.0000 -
829.20/833.20 c 833 833144 119808 1 2.0000 0.0000 -
834.37/838.42 c 838 836938 120724 1 2.0000 0.0000 -
839.45/843.59 c 844 839963 121554 1 2.0000 0.0000 -
844.63/848.75 c 849 843644 122410 1 2.0000 0.0000 -
849.70/853.89 c 854 846644 122995 1 2.0000 0.0000 -
854.78/858.99 c 859 850572 123845 1 2.0000 0.0000 -
859.86/864.06 c 864 852382 124313 1 2.0000 0.0000 -
865.22/869.43 c 869 854510 124695 1 2.0000 0.0000 -
870.30/874.53 c 875 856883 125057 1 2.0000 0.0000 -
875.37/879.66 c 880 859680 125564 1 2.0000 0.0000 -
880.45/884.74 c 885 862414 126007 1 2.0000 0.0000 -
885.54/889.82 c 890 865573 126470 1 2.0000 0.0000 -
890.71/895.00 c 895 868829 126984 1 2.0000 0.0000 -
895.69/900.09 c 900 870941 127293 1 2.0000 0.0000 -
900.87/905.23 c 905 873712 128118 1 2.0000 0.0000 -
905.94/910.34 c 910 877301 129044 1 2.0000 0.0000 -
911.02/915.49 c 916 880118 129386 1 2.0000 0.0000 -
916.30/920.73 c 921 883569 130156 1 2.0000 0.0000 -
921.39/925.84 c 926 886077 130597 1 2.0000 0.0000 -
926.47/930.94 c 931 889245 131103 1 2.0000 0.0000 -
931.55/936.04 c 936 891993 131338 1 2.0000 0.0000 -
936.63/941.16 c 941 895029 131538 1 2.0000 0.0000 -
941.91/946.43 c 946 895999 131712 1 2.0000 0.0000 -
946.98/951.54 c 952 898001 131791 1 2.0000 0.0000 -
952.06/956.66 c 957 901201 132580 1 2.0000 0.0000 -
957.15/961.76 c 962 903193 132945 1 2.0000 0.0000 -
962.23/966.84 c 967 905452 133419 1 2.0000 0.0000 -
967.41/972.09 c 972 906760 133716 1 2.0000 0.0000 -
972.69/977.31 c 977 908417 134059 1 2.0000 0.0000 -
977.87/982.50 c 982 910538 134619 1 2.0000 0.0000 -
982.96/987.67 c 988 911601 134911 1 2.0000 0.0000 -
988.23/992.93 c 993 912603 135092 1 2.0000 0.0000 -
993.32/998.06 c 998 913924 135309 1 2.0000 0.0000 -
998.50/1003.20 c 1003 915533 135544 1 2.0000 0.0000 -
1003.58/1008.33 c 1008 918039 135885 1 2.0000 0.0000 -
1008.85/1013.60 c 1014 918913 136045 1 2.0000 0.0000 -
1013.93/1018.76 c 1019 921166 136198 1 2.0000 0.0000 -
1019.00/1023.82 c 1024 923174 136361 1 2.0000 0.0000 -
1024.08/1028.96 c 1029 925448 136560 1 2.0000 0.0000 -
1029.35/1034.24 c 1034 926285 136766 1 2.0000 0.0000 -
1034.43/1039.38 c 1039 927023 137001 1 2.0000 0.0000 -
1039.61/1044.55 c 1045 927701 137192 1 2.0000 0.0000 -
1044.78/1049.72 c 1050 928493 137336 1 2.0000 0.0000 -
1049.86/1054.89 c 1055 929121 137445 1 2.0000 0.0000 -
1055.05/1060.02 c 1060 929940 137547 1 2.0000 0.0000 -
1060.21/1065.21 c 1065 930691 137635 1 2.0000 0.0000 -
1065.40/1070.44 c 1070 931745 137712 1 2.0000 0.0000 -
1070.37/1075.49 c 1076 933610 137846 1 2.0000 0.0000 -
1075.54/1080.69 c 1081 934845 138058 1 2.0000 0.0000 -
1080.93/1086.02 c 1086 935490 138239 1 2.0000 0.0000 -
1086.30/1091.40 c 1091 936065 138450 1 2.0000 0.0000 -
1091.38/1096.52 c 1097 936627 138671 1 2.0000 0.0000 -
1096.45/1101.65 c 1102 937252 138858 1 2.0000 0.0000 -
1101.63/1106.82 c 1107 937991 139049 1 2.0000 0.0000 -
1106.72/1111.99 c 1112 938908 139160 1 2.0000 0.0000 -
1111.89/1117.14 c 1117 940256 139270 1 2.0000 0.0000 -
1116.97/1122.29 c 1122 941931 139361 1 2.0000 0.0000 -
1122.24/1127.53 c 1128 943172 139465 1 2.0000 0.0000 -
1127.42/1132.74 c 1133 943664 139590 1 2.0000 0.0000 -
1132.50/1137.81 c 1138 944498 139690 1 2.0000 0.0000 -
1137.58/1142.97 c 1143 945539 139799 1 2.0000 0.0000 -
1142.76/1148.12 c 1148 946479 139871 1 2.0000 0.0000 -
1147.94/1153.35 c 1153 947302 139976 1 2.0000 0.0000 -
1153.00/1158.48 c 1158 948525 140096 1 2.0000 0.0000 -
1158.18/1163.65 c 1164 949827 140239 1 2.0000 0.0000 -
1163.57/1169.00 c 1169 950284 140391 1 2.0000 0.0000 -
1168.64/1174.13 c 1174 950963 140571 1 2.0000 0.0000 -
1173.82/1179.37 c 1179 951576 140739 1 2.0000 0.0000 -
1179.09/1184.61 c 1185 952613 140817 1 2.0000 0.0000 -
1184.37/1189.96 c 1190 953769 140888 1 2.0000 0.0000 -
1189.45/1195.07 c 1195 954485 140987 1 2.0000 0.0000 -
1194.72/1200.32 c 1200 955800 141043 1 2.0000 0.0000 -
1199.90/1205.56 c 1206 956571 141278 1 2.0000 0.0000 -
1205.08/1210.80 c 1211 956991 141462 1 2.0000 0.0000 -
1210.45/1216.11 c 1216 957503 141631 1 2.0000 0.0000 -
1215.53/1221.21 c 1221 958020 141801 1 2.0000 0.0000 -
1220.61/1226.35 c 1226 958869 141881 1 2.0000 0.0000 -
1225.69/1231.45 c 1231 959794 141947 1 2.0000 0.0000 -
1230.76/1236.56 c 1237 960752 142015 1 2.0000 0.0000 -
1235.94/1241.71 c 1242 961858 142076 1 2.0000 0.0000 -
1241.12/1246.95 c 1247 963787 142361 1 2.0000 0.0000 -
1246.21/1252.02 c 1252 966862 142803 1 2.0000 0.0000 -
1251.28/1257.11 c 1257 968552 143125 1 2.0000 0.0000 -
1256.35/1262.27 c 1262 970648 143441 1 2.0000 0.0000 -
1261.42/1267.37 c 1267 971833 143755 1 2.0000 0.0000 -
1266.50/1272.43 c 1272 974486 144090 1 2.0000 0.0000 -
1271.58/1277.54 c 1278 976039 144335 1 2.0000 0.0000 -
1276.76/1282.78 c 1283 978548 144597 1 2.0000 0.0000 -
1281.83/1287.83 c 1288 981109 144750 1 2.0000 0.0000 -
1287.11/1293.11 c 1293 981991 144911 1 2.0000 0.0000 -
1292.19/1298.27 c 1298 983419 145081 1 2.0000 0.0000 -
1297.26/1303.35 c 1303 984440 145276 1 2.0000 0.0000 -
1302.44/1308.50 c 1309 985144 145362 1 2.0000 0.0000 -
1307.62/1313.71 c 1314 986042 145473 1 2.0000 0.0000 -
1312.80/1318.90 c 1319 986999 145612 1 2.0000 0.0000 -
1318.07/1324.28 c 1324 988645 145908 1 2.0000 0.0000 -
1323.15/1329.35 c 1329 990517 146366 1 2.0000 0.0000 -
1328.33/1334.56 c 1335 993070 146991 1 2.0000 0.0000 -
1333.60/1339.81 c 1340 994814 147360 1 2.0000 0.0000 -
1338.67/1344.96 c 1345 995889 147670 1 2.0000 0.0000 -
1343.77/1350.10 c 1350 996919 147928 1 2.0000 0.0000 -
1349.14/1355.48 c 1355 997863 148258 1 2.0000 0.0000 -
1354.31/1360.67 c 1361 999581 148552 1 2.0000 0.0000 -
1359.59/1365.91 c 1366 1002031 148870 1 2.0000 0.0000 -
1364.76/1371.13 c 1371 1004359 149478 1 2.0000 0.0000 -
1370.03/1376.46 c 1376 1005962 149892 1 2.0000 0.0000 -
1375.11/1381.56 c 1382 1007943 150393 1 2.0000 0.0000 -
1380.28/1386.76 c 1387 1009947 150627 1 2.0000 0.0000 -
1385.47/1391.96 c 1392 1011611 150948 1 2.0000 0.0000 -
1390.65/1397.11 c 1397 1013261 151117 1 2.0000 0.0000 -
1395.72/1402.26 c 1402 1015015 151369 1 2.0000 0.0000 -
1400.90/1407.48 c 1407 1015774 151628 1 2.0000 0.0000 -
1405.98/1412.59 c 1413 1016975 151845 1 2.0000 0.0000 -
1411.26/1417.86 c 1418 1019111 152315 1 2.0000 0.0000 -
1416.34/1422.97 c 1423 1022231 152785 1 2.0000 0.0000 -
1421.60/1428.24 c 1428 1025187 153233 1 2.0000 0.0000 -
1426.78/1433.46 c 1433 1028615 153790 1 2.0000 0.0000 -
1431.86/1438.56 c 1439 1030192 154162 1 2.0000 0.0000 -
1437.13/1443.83 c 1444 1032661 154506 1 2.0000 0.0000 -
1442.31/1449.02 c 1449 1036503 155020 1 2.0000 0.0000 -
1447.48/1454.21 c 1454 1038511 155538 1 2.0000 0.0000 -
1452.56/1459.35 c 1459 1041172 155927 1 2.0000 0.0000 -
1457.83/1464.65 c 1465 1044015 156174 1 2.0000 0.0000 -
1462.91/1469.75 c 1470 1047342 156508 1 2.0000 0.0000 -
1468.08/1474.91 c 1475 1049363 157001 1 2.0000 0.0000 -
1473.36/1480.25 c 1480 1050925 157538 1 2.0000 0.0000 -
1478.54/1485.48 c 1485 1052221 157995 1 2.0000 0.0000 -
1483.71/1490.67 c 1491 1053726 158272 1 2.0000 0.0000 -
1488.98/1495.92 c 1496 1056940 158475 1 2.0000 0.0000 -
1494.17/1501.13 c 1501 1058330 158806 1 2.0000 0.0000 -
1499.23/1506.27 c 1506 1061771 159223 1 2.0000 0.0000 -
1504.31/1511.36 c 1511 1064520 159507 1 2.0000 0.0000 -
1509.39/1516.42 c 1516 1066580 159848 1 2.0000 0.0000 -
1514.37/1521.49 c 1521 1069054 160128 1 2.0000 0.0000 -
1519.95/1527.03 c 1527 1071018 160443 1 2.0000 0.0000 -
1525.12/1532.24 c 1532 1073096 160692 1 2.0000 0.0000 -
1530.39/1537.52 c 1538 1073747 160862 1 2.0000 0.0000 -
1535.37/1542.58 c 1543 1077264 161295 1 2.0000 0.0000 -
1540.65/1547.88 c 1548 1078960 161482 1 2.0000 0.0000 -
1545.83/1553.00 c 1553 1081513 161591 1 2.0000 0.0000 -
1551.00/1558.25 c 1558 1083412 161635 1 2.0000 0.0000 -
1556.08/1563.32 c 1563 1084586 161890 1 2.0000 0.0000 -
1561.06/1568.38 c 1568 1086600 161994 1 2.0000 0.0000 -
1566.13/1573.43 c 1573 1088586 162115 1 2.0000 0.0000 -
1571.22/1578.59 c 1579 1090526 162198 1 2.0000 0.0000 -
1576.69/1584.06 c 1584 1091758 162375 1 2.0000 0.0000 -
1581.87/1589.26 c 1589 1092889 162810 1 2.0000 0.0000 -
1587.35/1594.73 c 1595 1094850 163257 1 2.0000 0.0000 -
1592.72/1600.18 c 1600 1096294 163616 1 2.0000 0.0000 -
1597.80/1605.27 c 1605 1098911 163866 1 2.0000 0.0000 -
1603.08/1610.54 c 1611 1100711 164134 1 2.0000 0.0000 -
1608.15/1615.63 c 1616 1102918 164187 1 2.0000 0.0000 -
1613.32/1620.84 c 1621 1104241 164380 1 2.0000 0.0000 -
1618.51/1626.05 c 1626 1105239 164468 1 2.0000 0.0000 -
1623.88/1631.41 c 1631 1108363 164845 1 2.0000 0.0000 -
1628.96/1636.51 c 1637 1111485 165204 1 2.0000 0.0000 -
1634.13/1641.73 c 1642 1113773 165428 1 2.0000 0.0000 -
1639.42/1647.08 c 1647 1115939 165514 1 2.0000 0.0000 -
1644.59/1652.26 c 1652 1118022 165570 1 2.0000 0.0000 -
1649.87/1657.56 c 1658 1120869 165977 1 2.0000 0.0000 -
1655.05/1662.78 c 1663 1123542 166317 1 2.0000 0.0000 -
1660.12/1667.89 c 1668 1125678 166535 1 2.0000 0.0000 -
1665.20/1672.98 c 1673 1128268 166784 1 2.0000 0.0000 -
1671.18/1678.90 c 1679 1129623 167381 1 2.0000 0.0000 -
1676.36/1684.18 c 1684 1130810 167828 1 2.0000 0.0000 -
1681.43/1689.24 c 1689 1132708 168279 1 2.0000 0.0000 -
1686.51/1694.36 c 1694 1134989 168605 1 2.0000 0.0000 -
1691.59/1699.44 c 1699 1137527 168919 1 2.0000 0.0000 -
1696.66/1704.51 c 1705 1140637 169103 1 2.0000 0.0000 -
1701.74/1709.61 c 1710 1143741 169356 1 2.0000 0.0000 -
1707.01/1714.91 c 1715 1146123 169421 1 2.0000 0.0000 -
1712.10/1720.01 c 1720 1148909 169508 1 2.0000 0.0000 -
1717.18/1725.16 c 1725 1150719 169545 1 2.0000 0.0000 -
1722.34/1730.31 c 1730 1154096 169864 1 2.0000 0.0000 -
1727.63/1735.64 c 1736 1157377 170301 1 2.0000 0.0000 -
1732.70/1740.77 c 1741 1160257 170499 1 2.0000 0.0000 -
1738.17/1746.22 c 1746 1162234 170691 1 2.0000 0.0000 -
1743.15/1751.26 c 1751 1165606 170889 1 2.0000 0.0000 -
1748.23/1756.34 c 1756 1168670 170949 1 2.0000 0.0000 -
1753.30/1761.43 c 1761 1171703 171019 1 2.0000 0.0000 -
1758.28/1766.49 c 1766 1174389 171111 1 2.0000 0.0000 -
1763.55/1771.75 c 1772 1177312 171368 1 2.0000 0.0000 -
1768.84/1777.01 c 1777 1179342 171808 1 2.0000 0.0000 -
1774.31/1782.52 c 1783 1180720 172265 1 2.0000 0.0000 -
1779.48/1787.79 c 1788 1182144 172767 1 2.0000 0.0000 -
1784.66/1792.96 c 1793 1183439 173084 1 2.0000 0.0000 -
1789.94/1798.22 c 1798 1184812 173216 1 2.0000 0.0000 -
1795.11/1803.42 c 1803 1186286 173329 1 2.0000 0.0000 -
1800.20/1808.56 c 1809 1187555 173396 1 2.0000 0.0000 -
1805.27/1813.67 c 1814 1188652 173455 1 2.0000 0.0000 -
1810.46/1818.81 c 1819 1189635 173513 1 2.0000 0.0000 -
1815.63/1824.04 c 1824 1192183 173903 1 2.0000 0.0000 -
1821.10/1829.55 c 1830 1194649 174371 1 2.0000 0.0000 -
1826.18/1834.69 c 1835 1196988 174379 1 2.0000 0.0000 -
1831.26/1839.80 c 1840 1198971 174557 1 2.0000 0.0000 -
1836.65/1845.13 c 1845 1201159 174780 1 2.0000 0.0000 -
1841.72/1850.20 c 1850 1204698 174985 1 2.0000 0.0000 -
1846.90/1855.45 c 1855 1207328 175387 1 2.0000 0.0000 -
1852.49/1861.03 c 1861 1209021 175941 1 2.0000 0.0000 -
1857.47/1866.09 c 1866 1212119 176370 1 2.0000 0.0000 -
1862.55/1871.19 c 1871 1213433 176748 1 2.0000 0.0000 -
1867.63/1876.26 c 1876 1215408 177118 1 2.0000 0.0000 -
1872.71/1881.32 c 1881 1218405 177520 1 2.0000 0.0000 -
1877.69/1886.36 c 1886 1221786 177526 1 2.0000 0.0000 -
1883.17/1891.82 c 1892 1224766 177955 1 2.0000 0.0000 -
1888.55/1897.28 c 1897 1228351 178511 1 2.0000 0.0000 -
1893.63/1902.33 c 1902 1231640 178597 1 2.0000 0.0000 -
1898.81/1907.50 c 1908 1234443 178566 1 2.0000 0.0000 -
1903.99/1912.73 c 1913 1236845 178678 1 2.0000 0.0000 -
1909.07/1917.82 c 1918 1238831 178757 1 2.0000 0.0000 -
1914.66/1923.41 c 1923 1240970 178819 1 2.0000 0.0000 -
1920.04/1928.87 c 1929 1243199 179227 1 2.0000 0.0000 -
1925.12/1934.00 c 1934 1244438 179334 1 2.0000 0.0000 -
1930.40/1939.25 c 1939 1246305 179652 1 2.0000 0.0000 -
1935.68/1944.51 c 1945 1247719 179881 1 2.0000 0.0000 -
1940.76/1949.68 c 1950 1249334 180097 1 2.0000 0.0000 -
1946.15/1955.07 c 1955 1250930 180392 1 2.0000 0.0000 -
1951.32/1960.20 c 1960 1253004 180700 1 2.0000 0.0000 -
1956.41/1965.36 c 1965 1253987 180916 1 2.0000 0.0000 -
1961.59/1970.50 c 1970 1255103 181110 1 2.0000 0.0000 -
1966.77/1975.70 c 1976 1256362 181258 1 2.0000 0.0000 -
1971.85/1980.80 c 1981 1258773 181523 1 2.0000 0.0000 -
1976.94/1985.94 c 1986 1259866 181761 1 2.0000 0.0000 -
1982.12/1991.16 c 1991 1261292 182016 1 2.0000 0.0000 -
1987.19/1996.28 c 1996 1262373 182160 1 2.0000 0.0000 -
1992.37/2001.49 c 2001 1264268 182456 1 2.0000 0.0000 -
1997.54/2006.64 c 2007 1265021 182626 1 2.0000 0.0000 -
2002.62/2011.78 c 2012 1266022 182841 1 2.0000 0.0000 -
2007.70/2016.89 c 2017 1267162 183048 1 2.0000 0.0000 -
2013.08/2022.22 c 2022 1268519 183188 1 2.0000 0.0000 -
2018.16/2027.30 c 2027 1270325 183480 1 2.0000 0.0000 -
2023.23/2032.40 c 2032 1271720 183682 1 2.0000 0.0000 -
2028.32/2037.57 c 2038 1273395 183856 1 2.0000 0.0000 -
2033.49/2042.70 c 2043 1274279 184065 1 2.0000 0.0000 -
2038.66/2047.91 c 2048 1275179 184237 1 2.0000 0.0000 -
2043.64/2052.99 c 2053 1276391 184454 1 2.0000 0.0000 -
2048.92/2058.21 c 2058 1277152 184648 1 2.0000 0.0000 -
2054.20/2063.52 c 2064 1277875 184831 1 2.0000 0.0000 -
2059.47/2068.82 c 2069 1278710 185060 1 2.0000 0.0000 -
2064.55/2073.99 c 2074 1279674 185289 1 2.0000 0.0000 -
2069.74/2079.12 c 2079 1280418 185420 1 2.0000 0.0000 -
2074.71/2084.17 c 2084 1281766 185530 1 2.0000 0.0000 -
2079.89/2089.38 c 2089 1283068 185719 1 2.0000 0.0000 -
2084.97/2094.47 c 2094 1284222 185851 1 2.0000 0.0000 -
2090.14/2099.66 c 2100 1285853 185978 1 2.0000 0.0000 -
2095.42/2104.95 c 2105 1286873 186246 1 2.0000 0.0000 -
2100.50/2110.05 c 2110 1287598 186476 1 2.0000 0.0000 -
2105.67/2115.28 c 2115 1288186 186650 1 2.0000 0.0000 -
2110.94/2120.56 c 2121 1288928 186884 1 2.0000 0.0000 -
2116.32/2125.97 c 2126 1289697 187087 1 2.0000 0.0000 -
2121.41/2131.10 c 2131 1290309 187251 1 2.0000 0.0000 -
2126.48/2136.20 c 2136 1291263 187440 1 2.0000 0.0000 -
2131.75/2141.49 c 2141 1292177 187598 1 2.0000 0.0000 -
2137.23/2146.94 c 2147 1292919 187741 1 2.0000 0.0000 -
2142.31/2152.04 c 2152 1294099 187779 1 2.0000 0.0000 -
2147.40/2157.13 c 2157 1295435 187862 1 2.0000 0.0000 -
2152.57/2162.31 c 2162 1296638 188008 1 2.0000 0.0000 -
2157.74/2167.51 c 2168 1297399 188144 1 2.0000 0.0000 -
2162.82/2172.64 c 2173 1298306 188367 1 2.0000 0.0000 -
2168.00/2177.85 c 2178 1299455 188647 1 2.0000 0.0000 -
2173.38/2183.24 c 2183 1299934 188842 1 2.0000 0.0000 -
2178.65/2188.59 c 2189 1300471 189038 1 2.0000 0.0000 -
2184.13/2194.03 c 2194 1301161 189240 1 2.0000 0.0000 -
2189.30/2199.26 c 2199 1301641 189429 1 2.0000 0.0000 -
2194.57/2204.51 c 2205 1302385 189655 1 2.0000 0.0000 -
2199.66/2209.67 c 2210 1303185 189781 1 2.0000 0.0000 -
2205.13/2215.15 c 2215 1303767 189927 1 2.0000 0.0000 -
2210.51/2220.53 c 2221 1304568 190046 1 2.0000 0.0000 -
2215.99/2226.08 c 2226 1305275 190229 1 2.0000 0.0000 -
2221.26/2231.37 c 2231 1305904 190426 1 2.0000 0.0000 -
2226.84/2236.90 c 2237 1306961 190644 1 2.0000 0.0000 -
2232.02/2242.14 c 2242 1307676 190727 1 2.0000 0.0000 -
2237.59/2247.72 c 2248 1308589 190815 1 2.0000 0.0000 -
2242.68/2252.89 c 2253 1309330 191028 1 2.0000 0.0000 -
2247.86/2258.01 c 2258 1309995 191177 1 2.0000 0.0000 -
2253.13/2263.35 c 2263 1310681 191360 1 2.0000 0.0000 -
2258.41/2268.63 c 2269 1311549 191458 1 2.0000 0.0000 -
2263.89/2274.19 c 2274 1311952 191629 1 2.0000 0.0000 -
2269.16/2279.40 c 2279 1312892 191764 1 2.0000 0.0000 -
2274.44/2284.77 c 2285 1313635 191859 1 2.0000 0.0000 -
2279.61/2289.92 c 2290 1314563 191990 1 2.0000 0.0000 -
2284.89/2295.25 c 2295 1314923 192113 1 2.0000 0.0000 -
2290.16/2300.54 c 2301 1315465 192263 1 2.0000 0.0000 -
2295.44/2305.86 c 2306 1315938 192389 1 2.0000 0.0000 -
2300.52/2310.94 c 2311 1316468 192514 1 2.0000 0.0000 -
2305.60/2316.10 c 2316 1317336 192659 1 2.0000 0.0000 -
2310.97/2321.49 c 2322 1318140 192740 1 2.0000 0.0000 -
2316.66/2327.13 c 2327 1318555 192865 1 2.0000 0.0000 -
2322.03/2332.50 c 2332 1319401 193174 1 2.0000 0.0000 -
2327.51/2338.06 c 2338 1320354 193432 1 2.0000 0.0000 -
2332.88/2343.40 c 2343 1321298 193667 1 2.0000 0.0000 -
2338.06/2348.64 c 2349 1321984 193815 1 2.0000 0.0000 -
2343.44/2354.07 c 2354 1322346 193975 1 2.0000 0.0000 -
2348.91/2359.53 c 2360 1323226 194154 1 2.0000 0.0000 -
2354.29/2364.91 c 2365 1323705 194318 1 2.0000 0.0000 -
2359.38/2370.09 c 2370 1324210 194437 1 2.0000 0.0000 -
2364.84/2375.51 c 2376 1324954 194642 1 2.0000 0.0000 -
2370.22/2380.93 c 2381 1325341 194810 1 2.0000 0.0000 -
2375.60/2386.39 c 2386 1325942 195037 1 2.0000 0.0000 -
2381.08/2391.86 c 2392 1326405 195199 1 2.0000 0.0000 -
2386.66/2397.43 c 2397 1327042 195423 1 2.0000 0.0000 -
2391.74/2402.56 c 2403 1328083 195692 1 2.0000 0.0000 -
2397.22/2408.03 c 2408 1328539 195859 1 2.0000 0.0000 -
2402.88/2413.71 c 2414 1329256 196054 1 2.0000 0.0000 -
2408.57/2419.44 c 2419 1330833 196384 1 2.0000 0.0000 -
2414.15/2425.09 c 2425 1332820 196792 1 2.0000 0.0000 -
2419.82/2430.76 c 2431 1334303 197163 1 2.0000 0.0000 -
2425.01/2435.97 c 2436 1335912 197347 1 2.0000 0.0000 -
2430.09/2441.06 c 2441 1337339 197564 1 2.0000 0.0000 -
2435.27/2446.20 c 2446 1338601 197758 1 2.0000 0.0000 -
2440.65/2451.69 c 2452 1340159 198074 1 2.0000 0.0000 -
2445.93/2456.97 c 2457 1341764 198289 1 2.0000 0.0000 -
2451.10/2462.16 c 2462 1342829 198507 1 2.0000 0.0000 -
2456.28/2467.38 c 2467 1343807 198665 1 2.0000 0.0000 -
2461.47/2472.50 c 2472 1344613 198833 1 2.0000 0.0000 -
2466.75/2477.88 c 2478 1345276 198953 1 2.0000 0.0000 -
2472.23/2483.31 c 2483 1346635 199219 1 2.0000 0.0000 -
2477.21/2488.36 c 2488 1348202 199532 1 2.0000 0.0000 -
2482.29/2493.44 c 2493 1349419 199784 1 2.0000 0.0000 -
2487.88/2499.05 c 2499 1351759 200129 1 2.0000 0.0000 -
2493.15/2504.39 c 2504 1353680 200471 1 2.0000 0.0000 -
2498.23/2509.47 c 2509 1356104 200850 1 2.0000 0.0000 -
2503.31/2514.53 c 2515 1357438 201149 1 2.0000 0.0000 -
2508.69/2519.91 c 2520 1358845 201406 1 2.0000 0.0000 -
2514.17/2525.43 c 2525 1360155 201786 1 2.0000 0.0000 -
2519.25/2530.56 c 2531 1361310 201995 1 2.0000 0.0000 -
2524.53/2535.82 c 2536 1362911 202316 1 2.0000 0.0000 -
2530.11/2541.40 c 2541 1364430 202483 1 2.0000 0.0000 -
2535.28/2546.61 c 2547 1366013 202496 1 2.0000 0.0000 -
2540.37/2551.73 c 2552 1368305 202407 1 2.0000 0.0000 -
2545.45/2556.83 c 2557 1370490 202332 1 2.0000 0.0000 -
2550.53/2561.92 c 2562 1372572 202212 1 2.0000 0.0000 -
2555.71/2567.12 c 2567 1374908 202647 1 2.0000 0.0000 -
2560.78/2572.24 c 2572 1377610 202857 1 2.0000 0.0000 -
2565.86/2577.34 c 2577 1380036 202998 1 2.0000 0.0000 -
2570.95/2582.48 c 2582 1381733 202978 1 2.0000 0.0000 -
2576.12/2587.61 c 2588 1383258 203003 1 2.0000 0.0000 -
2581.40/2592.93 c 2593 1384743 203027 1 2.0000 0.0000 -
2586.58/2598.13 c 2598 1386301 203021 1 2.0000 0.0000 -
2591.66/2603.20 c 2603 1388134 202958 1 2.0000 0.0000 -
2596.63/2608.29 c 2608 1389967 202928 1 2.0000 0.0000 -
2602.12/2613.78 c 2614 1391370 203010 1 2.0000 0.0000 -
2607.19/2618.88 c 2619 1392760 203021 1 2.0000 0.0000 -
2612.58/2624.20 c 2624 1394384 203005 1 2.0000 0.0000 -
2617.95/2629.68 c 2630 1396271 203315 1 2.0000 0.0000 -
2623.23/2634.92 c 2635 1398743 203616 1 2.0000 0.0000 -
2628.31/2640.04 c 2640 1400331 203849 1 2.0000 0.0000 -
2633.49/2645.21 c 2645 1402464 204041 1 2.0000 0.0000 -
2638.67/2650.47 c 2650 1403596 204200 1 2.0000 0.0000 -
2644.15/2655.93 c 2656 1405409 204348 1 2.0000 0.0000 -
2649.34/2661.17 c 2661 1406867 204462 1 2.0000 0.0000 -
2654.41/2666.22 c 2666 1408260 204617 1 2.0000 0.0000 -
2659.49/2671.34 c 2671 1410353 204667 1 2.0000 0.0000 -
2664.57/2676.49 c 2676 1411240 204817 1 2.0000 0.0000 -
2669.75/2681.64 c 2682 1411877 204931 1 2.0000 0.0000 -
2674.83/2686.76 c 2687 1413183 204977 1 2.0000 0.0000 -
2680.02/2691.95 c 2692 1414282 205219 1 2.0000 0.0000 -
2685.39/2697.36 c 2697 1414850 205380 1 2.0000 0.0000 -
2690.58/2702.51 c 2703 1415375 205516 1 2.0000 0.0000 -
2695.76/2707.73 c 2708 1416038 205670 1 2.0000 0.0000 -
2700.93/2712.94 c 2713 1416822 205849 1 2.0000 0.0000 -
2706.02/2718.09 c 2718 1417567 205868 1 2.0000 0.0000 -
2711.20/2723.22 c 2723 1418329 205903 1 2.0000 0.0000 -
2716.57/2728.67 c 2729 1418970 206111 1 2.0000 0.0000 -
2721.97/2734.04 c 2734 1419509 206255 1 2.0000 0.0000 -
2727.05/2739.18 c 2739 1420299 206404 1 2.0000 0.0000 -
2732.13/2744.29 c 2744 1421177 206402 1 2.0000 0.0000 -
2737.31/2749.41 c 2749 1422228 206428 1 2.0000 0.0000 -
2742.49/2754.65 c 2755 1422895 206477 1 2.0000 0.0000 -
2747.57/2759.71 c 2760 1423941 206520 1 2.0000 0.0000 -
2752.66/2764.86 c 2765 1424690 206644 1 2.0000 0.0000 -
2757.95/2770.11 c 2770 1425392 206671 1 2.0000 0.0000 -
2763.03/2775.24 c 2775 1427011 206773 1 2.0000 0.0000 -
2768.11/2780.31 c 2780 1428804 207026 1 2.0000 0.0000 -
2773.69/2785.95 c 2786 1429732 207185 1 2.0000 0.0000 -
2778.77/2791.03 c 2791 1431403 207246 1 2.0000 0.0000 -
2783.86/2796.13 c 2796 1433500 207408 1 2.0000 0.0000 -
2789.24/2801.57 c 2802 1435609 207721 1 2.0000 0.0000 -
2794.62/2806.99 c 2807 1437991 207889 1 2.0000 0.0000 -
2799.71/2812.07 c 2812 1439364 208032 1 2.0000 0.0000 -
2804.78/2817.16 c 2817 1440690 208065 1 2.0000 0.0000 -
2809.86/2822.26 c 2822 1442586 208007 1 2.0000 0.0000 -
2814.95/2827.38 c 2827 1444535 208011 1 2.0000 0.0000 -
2820.13/2832.56 c 2833 1446077 207998 1 2.0000 0.0000 -
2825.32/2837.71 c 2838 1447623 207938 1 2.0000 0.0000 -
2830.39/2842.81 c 2843 1449865 207890 1 2.0000 0.0000 -
2835.48/2847.90 c 2848 1451920 207821 1 2.0000 0.0000 -
2840.56/2853.00 c 2853 1453843 207792 1 2.0000 0.0000 -
2845.64/2858.17 c 2858 1455621 207707 1 2.0000 0.0000 -
2850.82/2863.31 c 2863 1457307 207671 1 2.0000 0.0000 -
2855.90/2868.43 c 2868 1459796 207590 1 2.0000 0.0000 -
2860.98/2873.56 c 2874 1462297 207533 1 2.0000 0.0000 -
2866.07/2878.65 c 2879 1464788 207622 1 2.0000 0.0000 -
2871.15/2883.71 c 2884 1467295 207643 1 2.0000 0.0000 -
2876.23/2888.87 c 2889 1469794 207776 1 2.0000 0.0000 -
2882.10/2894.72 c 2895 1471937 207963 1 2.0000 0.0000 -
2887.78/2900.45 c 2900 1474581 208099 1 2.0000 0.0000 -
2893.96/2906.66 c 2907 1475771 208393 1 2.0000 0.0000 -
2899.15/2911.80 c 2912 1476682 208715 1 2.0000 0.0000 -
2904.92/2917.67 c 2918 1478441 209162 1 2.0000 0.0000 -
2910.80/2923.52 c 2924 1479666 209407 1 2.0000 0.0000 -
2917.08/2929.82 c 2930 1482080 209967 1 2.0000 0.0000 -
2922.45/2935.30 c 2935 1484523 210737 1 2.0000 0.0000 -
2928.53/2941.31 c 2941 1487197 211284 1 2.0000 0.0000 -
2933.91/2946.73 c 2947 1489175 211669 1 2.0000 0.0000 -
2940.19/2953.08 c 2953 1491575 212136 1 2.0000 0.0000 -
2946.17/2959.02 c 2959 1492951 212502 1 2.0000 0.0000 -
2951.35/2964.20 c 2964 1494267 212832 1 2.0000 0.0000 -
2957.14/2970.09 c 2970 1496600 213221 1 2.0000 0.0000 -
2962.91/2975.84 c 2976 1498821 213609 1 2.0000 0.0000 -
2968.29/2981.24 c 2981 1501554 213934 1 2.0000 0.0000 -
2973.96/2986.95 c 2987 1503725 214172 1 2.0000 0.0000 -
2979.93/2992.93 c 2993 1505905 214400 1 2.0000 0.0000 -
2985.91/2998.90 c 2999 1508717 214601 1 2.0000 0.0000 -
2992.00/3005.02 c 3005 1510896 215162 1 2.0000 0.0000 -
2997.88/3010.93 c 3011 1512311 215407 1 2.0000 0.0000 -
3003.86/3016.94 c 3017 1514500 215833 1 2.0000 0.0000 -
3010.04/3023.12 c 3023 1515991 216070 1 2.0000 0.0000 -
3015.41/3028.56 c 3029 1518619 216186 1 2.0000 0.0000 -
3021.39/3034.50 c 3034 1520082 216295 1 2.0000 0.0000 -
3026.98/3040.17 c 3040 1521854 216533 1 2.0000 0.0000 -
3032.05/3045.20 c 3045 1523500 216584 1 2.0000 0.0000 -
3038.23/3051.47 c 3051 1524950 216812 1 2.0000 0.0000 -
3044.00/3057.28 c 3057 1527202 217226 1 2.0000 0.0000 -
3049.89/3063.16 c 3063 1528296 217473 1 2.0000 0.0000 -
3055.07/3068.36 c 3068 1530871 217797 1 2.0000 0.0000 -
3060.65/3073.98 c 3074 1532681 218037 1 2.0000 0.0000 -
3066.53/3079.88 c 3080 1534421 218196 1 2.0000 0.0000 -
3072.60/3085.99 c 3086 1537218 218314 1 2.0000 0.0000 -
3078.78/3092.14 c 3092 1539994 218392 1 2.0000 0.0000 -
3084.36/3097.71 c 3098 1541903 218572 1 2.0000 0.0000 -
3089.65/3103.05 c 3103 1544063 218563 1 2.0000 0.0000 -
3095.12/3108.59 c 3109 1545691 218679 1 2.0000 0.0000 -
3100.30/3113.79 c 3114 1548376 218738 1 2.0000 0.0000 -
3106.08/3119.53 c 3120 1551215 218845 1 2.0000 0.0000 -
3111.76/3125.25 c 3125 1552781 219097 1 2.0000 0.0000 -
3117.44/3130.96 c 3131 1554955 219408 1 2.0000 0.0000 -
3122.82/3136.33 c 3136 1558531 219836 1 2.0000 0.0000 -
3128.20/3141.79 c 3142 1561680 219927 1 2.0000 0.0000 -
3133.59/3147.15 c 3147 1563395 220081 1 2.0000 0.0000 -
3139.36/3152.90 c 3153 1565851 220359 1 2.0000 0.0000 -
3144.64/3158.26 c 3158 1567952 220530 1 2.0000 0.0000 -
3150.22/3163.81 c 3164 1570207 220699 1 2.0000 0.0000 -
3155.31/3168.93 c 3169 1574483 220848 1 2.0000 0.0000 -
3161.09/3174.75 c 3175 1577530 221001 1 2.0000 0.0000 -
3166.56/3180.24 c 3180 1579948 221312 1 2.0000 0.0000 -
3171.84/3185.55 c 3186 1581496 221470 1 2.0000 0.0000 -
3177.72/3191.42 c 3191 1582077 221750 1 2.0000 0.0000 -
3183.10/3196.85 c 3197 1583758 222131 1 2.0000 0.0000 -
3188.68/3202.41 c 3202 1586720 222539 1 2.0000 0.0000 -
3194.36/3208.18 c 3208 1588578 222623 1 2.0000 0.0000 -
3199.64/3213.50 c 3214 1590148 222753 1 2.0000 0.0000 -
3205.41/3219.26 c 3219 1593281 223074 1 2.0000 0.0000 -
3210.88/3224.79 c 3225 1594363 223389 1 2.0000 0.0000 -
3216.86/3230.76 c 3231 1595237 223496 1 2.0000 0.0000 -
3222.84/3236.74 c 3237 1596841 223590 1 2.0000 0.0000 -
3228.61/3242.53 c 3243 1598285 223917 1 2.0000 0.0000 -
3233.90/3247.89 c 3248 1599011 224189 1 2.0000 0.0000 -
3239.87/3253.85 c 3254 1601057 224531 1 2.0000 0.0000 -
3246.05/3260.01 c 3260 1602585 224920 1 2.0000 0.0000 -
3251.92/3265.92 c 3266 1604679 225144 1 2.0000 0.0000 -
3256.89/3270.93 c 3271 1606470 225381 1 2.0000 0.0000 -
3262.28/3276.34 c 3276 1608802 225430 1 2.0000 0.0000 -
3268.24/3282.31 c 3282 1611220 225506 1 2.0000 0.0000 -
3273.63/3287.71 c 3288 1612957 225904 1 2.0000 0.0000 -
3278.70/3292.89 c 3293 1615103 226263 1 2.0000 0.0000 -
3283.78/3297.92 c 3298 1617494 226469 1 2.0000 0.0000 -
3289.26/3303.40 c 3303 1620367 226556 1 2.0000 0.0000 -
3294.84/3309.03 c 3309 1622340 226734 1 2.0000 0.0000 -
3300.31/3314.51 c 3315 1624214 226921 1 2.0000 0.0000 -
3305.99/3320.21 c 3320 1626745 227183 1 2.0000 0.0000 -
3311.66/3325.97 c 3326 1629111 227594 1 2.0000 0.0000 -
3317.74/3332.03 c 3332 1630871 227867 1 2.0000 0.0000 -
3323.82/3338.17 c 3338 1632711 228133 1 2.0000 0.0000 -
3328.89/3343.23 c 3343 1634103 228463 1 2.0000 0.0000 -
3334.46/3348.88 c 3349 1635218 228807 1 2.0000 0.0000 -
3340.65/3355.09 c 3355 1637291 229146 1 2.0000 0.0000 -
3345.92/3360.35 c 3360 1637911 229338 1 2.0000 0.0000 -
3351.61/3366.08 c 3366 1639157 229721 1 2.0000 0.0000 -
3356.77/3371.29 c 3371 1640298 230018 1 2.0000 0.0000 -
3362.06/3376.59 c 3377 1641246 230213 1 2.0000 0.0000 -
3367.63/3382.11 c 3382 1641782 230352 1 2.0000 0.0000 -
3373.11/3387.63 c 3388 1643561 230584 1 2.0000 0.0000 -
3379.08/3393.63 c 3394 1645009 230795 1 2.0000 0.0000 -
3384.16/3398.72 c 3399 1645926 231002 1 2.0000 0.0000 -
3390.04/3404.67 c 3405 1648009 231294 1 2.0000 0.0000 -
3395.92/3410.53 c 3411 1649911 231510 1 2.0000 0.0000 -
3401.09/3415.79 c 3416 1651917 231831 1 2.0000 0.0000 -
3406.67/3421.32 c 3421 1653109 232025 1 2.0000 0.0000 -
3412.54/3427.29 c 3427 1654802 232345 1 2.0000 0.0000 -
3418.42/3433.10 c 3433 1657752 232659 1 2.0000 0.0000 -
3424.19/3438.99 c 3439 1659321 233031 1 2.0000 0.0000 -
3429.47/3444.26 c 3444 1660573 233316 1 2.0000 0.0000 -
3435.35/3450.11 c 3450 1661491 233468 1 2.0000 0.0000 -
3440.33/3455.18 c 3455 1662653 233637 1 2.0000 0.0000 -
3445.80/3460.67 c 3461 1664582 233802 1 2.0000 0.0000 -
3451.88/3466.79 c 3467 1666068 234015 1 2.0000 0.0000 -
3456.96/3471.89 c 3472 1667162 234275 1 2.0000 0.0000 -
3462.44/3477.34 c 3477 1668803 234472 1 2.0000 0.0000 -
3467.71/3482.64 c 3483 1672083 234685 1 2.0000 0.0000 -
3473.78/3488.73 c 3489 1673853 234848 1 2.0000 0.0000 -
3478.96/3493.99 c 3494 1676902 235063 1 2.0000 0.0000 -
3484.74/3499.72 c 3500 1678819 235375 1 2.0000 0.0000 -
3490.22/3505.27 c 3505 1679535 235653 1 2.0000 0.0000 -
3495.40/3510.40 c 3510 1680973 235833 1 2.0000 0.0000 -
3501.27/3516.38 c 3516 1682579 236127 1 2.0000 0.0000 -
3506.84/3521.95 c 3522 1684391 236610 1 2.0000 0.0000 -
3511.83/3526.96 c 3527 1686211 237045 1 2.0000 0.0000 -
3516.90/3532.05 c 3532 1687754 237251 1 2.0000 0.0000 -
3522.57/3537.71 c 3538 1689650 237596 1 2.0000 0.0000 -
3527.55/3542.76 c 3543 1690592 237890 1 2.0000 0.0000 -
3533.33/3548.55 c 3549 1692059 238238 1 2.0000 0.0000 -
3539.31/3554.51 c 3555 1693458 238631 1 2.0000 0.0000 -
3544.88/3560.15 c 3560 1695483 239079 1 2.0000 0.0000 -
3550.06/3565.31 c 3565 1696760 239263 1 2.0000 0.0000 -
3555.64/3570.98 c 3571 1697399 239451 1 2.0000 0.0000 -
3561.62/3576.96 c 3577 1698151 239710 1 2.0000 0.0000 -
3566.69/3582.07 c 3582 1698968 239873 1 2.0000 0.0000 -
3572.37/3587.70 c 3588 1700682 240167 1 2.0000 0.0000 -
3577.46/3592.88 c 3593 1702284 240467 1 2.0000 0.0000 -
3583.03/3598.46 c 3598 1703791 240584 1 2.0000 0.0000 -
3585.53/3600.97 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.53/3600.97 c Total Time : 3600.9700
3585.53/3600.97 c solving : 3600.9700
3585.53/3600.97 c presolving : 0.0201 (included in solving)
3585.53/3600.97 c B&B Tree :
3585.53/3600.97 c nodes (total) : 1
3585.53/3600.97 c Solution :
3585.53/3600.97 c Solutions found : 4
3585.53/3600.97 c Primal Bound : +2.00000000000000e+00
3585.53/3600.97 c Dual Bound : +0.00000000000000e+00
3585.53/3600.97 c Gap : infinite
3585.53/3600.97 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3585.53/3600.98 o 2
3585.53/3600.98 s SATISFIABLE
3585.53/3600.98 v -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
3585.53/3600.98 v -x126 x125 -x124 -x123 -x122 -x121 x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105
3585.53/3600.98 v -x104 x103 -x102 -x101 x28 -x27 -x26 -x25 -x24 -x23 x22 x21 -x20 -x19 x18 x17 -x16 -x15 x14 x13 x12 -x11 -x10 x9 x8 x7 x6
3585.53/3600.98 v -x5 -x4 x3 x2 x1 -x100 -x92 -x84 -x76 -x68 -x60 x52 -x44 -x99 -x91 -x83 -x75 -x67 x59 -x51 -x43 -x98 -x90 -x82 -x74 x66 -x58
3585.53/3600.98 v -x50 -x42 -x97 -x89 -x81 -x73 -x65 -x57 -x49 x41 -x96 x88 -x80 -x72 -x64 -x56 -x48 -x40 -x95 -x87 -x79 -x71 -x63 -x55 -x47
3585.53/3600.98 v -x39 -x94 -x86 -x78 -x70 -x62 -x54 -x46 -x38 x93 -x85 -x77 -x69 -x61 -x53 -x45 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29
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 (61035 MiB free)
memory of node 1: 64510 MiB (59066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449693-1721403251/watcher-4449693-1721403251 -o /tmp/evaluation-result-4449693-1721403251/solver-4449693-1721403251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449693-1721403251.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=1037906, runsolver pid=1037895
[startup+0.100089 s]*
/proc/loadavg: 2.77 3.03 3.05 8/269 1037916
/proc/meminfo: memFree=122880148/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=114644 memory=35136 CPUtime=0.1 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 6481 0 0 0 9 1 0 0 20 0 3 0 192493364 117395456 8784 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 28661 8784 2926 3032 0 12043 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=114644 memory=4026531971 CPUtime=0.06 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 3263 0 0 0 6 0 0 0 20 0 3 0 192493367 117395456 8784 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=114644 memory=15945 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493368 117395456 8784 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 35136 KiB
[startup+0.206771 s]*
/proc/loadavg: 2.77 3.03 3.05 7/269 1037916
/proc/meminfo: memFree=122766452/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=114644 memory=38476 CPUtime=0.2 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 7501 0 0 0 19 1 0 0 20 0 3 0 192493364 117395456 9619 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 28661 9619 2926 3032 0 13146 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=114644 memory=5798214436838572163 CPUtime=0.17 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 4278 0 0 0 17 0 0 0 20 0 3 0 192493367 117395456 9619 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=114644 memory=15945 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493368 117395456 9619 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 38476 KiB
[startup+0.305864 s]*
/proc/loadavg: 2.77 3.03 3.05 5/269 1037916
/proc/meminfo: memFree=122694296/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=114644 memory=38476 CPUtime=0.3 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 7501 0 0 0 29 1 0 0 20 0 3 0 192493364 117395456 9619 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 28661 9619 2926 3032 0 13146 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=114644 memory=-7308037602875105887 CPUtime=0.27 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 4278 0 0 0 27 0 0 0 20 0 3 0 192493367 117395456 9619 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=114644 memory=0 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493368 117395456 9619 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 38476 KiB
[startup+0.700209 s]
/proc/loadavg: 2.77 3.03 3.05 5/269 1037916
/proc/meminfo: memFree=122580932/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=115584 memory=48504 CPUtime=0.69 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 10065 0 0 0 68 1 0 0 20 0 3 0 192493364 118358016 12126 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 28896 12126 2926 3032 0 15875 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=115584 memory=0 CPUtime=0.65 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 6842 0 0 0 65 0 0 0 20 0 3 0 192493367 118358016 12126 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=115584 memory=0 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493368 118358016 12126 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 48504 KiB
[startup+1.50023 s]
/proc/loadavg: 2.77 3.03 3.05 8/269 1037916
/proc/meminfo: memFree=122416652/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=115584 memory=52084 CPUtime=1.48 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 15106 0 0 0 147 1 0 0 20 0 3 0 192493364 118358016 13021 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 28896 13021 2926 3032 0 16662 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=115584 memory=0 CPUtime=1.45 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 11883 0 0 0 144 1 0 0 20 0 3 0 192493367 118358016 13021 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=115584 memory=0 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493368 118358016 13021 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 52084 KiB
[startup+3.10683 s]
/proc/loadavg: 2.87 3.04 3.05 7/271 1037966
/proc/meminfo: memFree=121854664/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=115584 memory=57476 CPUtime=3.08 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 17371 0 0 0 306 2 0 0 20 0 3 0 192493364 118358016 14369 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 28896 14369 2926 3032 0 18001 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=115584 memory=0 CPUtime=3.06 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14129 0 0 0 304 2 0 0 20 0 3 0 192493367 118358016 14369 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=115584 memory=2273 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 192493368 118358016 14369 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 57476 KiB
[startup+6.30021 s]
/proc/loadavg: 2.87 3.04 3.05 6/273 1037970
/proc/meminfo: memFree=121382300/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=116060 memory=64388 CPUtime=6.26 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 27435 0 0 0 623 3 0 0 20 0 3 0 192493364 118845440 16097 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 29015 16097 2926 3032 0 19641 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=116060 memory=0 CPUtime=6.24 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 24168 0 0 0 621 3 0 0 20 0 3 0 192493367 118845440 16097 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=116060 memory=11400 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 192493368 118845440 16097 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 116060 KiB
Current children cumulated memory: 64388 KiB
[startup+12.7002 s]
/proc/loadavg: 3.04 3.08 3.06 7/273 1037970
/proc/meminfo: memFree=121226432/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=118716 memory=76676 CPUtime=12.64 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 46803 0 0 0 1259 5 0 0 20 0 3 0 192493364 121565184 19169 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 29679 19169 2990 3032 0 22557 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=118716 memory=74624 CPUtime=12.6 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 43484 0 0 0 1256 4 0 0 20 0 3 0 192493367 121565184 19169 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=118716 memory=55188 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 192493368 121565184 19169 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 118716 KiB
Current children cumulated memory: 76676 KiB
[startup+25.5003 s]
/proc/loadavg: 3.19 3.11 3.07 7/273 1037971
/proc/meminfo: memFree=121125376/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=120500 memory=83516 CPUtime=25.39 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 73738 0 0 0 2529 10 0 0 20 0 3 0 192493364 123392000 20879 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 30125 20879 2990 3032 0 24817 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=120500 memory=80360 CPUtime=25.36 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 70359 0 0 0 2527 9 0 0 20 0 3 0 192493367 123392000 20879 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=120500 memory=11400 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 192493368 123392000 20879 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 120500 KiB
Current children cumulated memory: 83516 KiB
[startup+51.1067 s]
/proc/loadavg: 3.52 3.20 3.10 6/273 1037976
/proc/meminfo: memFree=120914576/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=127156 memory=98156 CPUtime=50.89 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 119282 0 0 0 5070 19 0 0 20 0 3 0 192493364 130207744 24539 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 31789 24539 2990 3032 0 28129 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=127156 memory=83552 CPUtime=50.86 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 115809 0 0 0 5068 18 0 0 20 0 3 0 192493367 130207744 24539 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=127156 memory=97888 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 192493368 130207744 24539 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 127156 KiB
Current children cumulated memory: 98156 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.35 3.16 6/269 1037985
/proc/meminfo: memFree=120753528/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=207788 memory=139416 CPUtime=101.88 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 190994 0 0 0 10154 34 0 0 20 0 3 0 192493364 212774912 34854 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 51947 34854 2990 3032 0 39735 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=207788 memory=137152 CPUtime=101.84 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 187394 0 0 0 10151 33 0 0 20 0 3 0 192493367 212774912 34854 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=207788 memory=134508 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 192493368 212774912 34854 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 207788 KiB
Current children cumulated memory: 139416 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.50 3.23 7/269 1037995
/proc/meminfo: memFree=120602612/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=244676 memory=187452 CPUtime=161.63 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 253193 0 0 0 16113 50 0 0 20 0 3 0 192493364 250548224 46863 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 61169 46863 3310 3032 0 52966 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=244676 memory=165512 CPUtime=161.6 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 249561 0 0 0 16110 50 0 0 20 0 3 0 192493367 250548224 46863 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=244676 memory=163928 CPUtime=0 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 192493368 250548224 46863 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 244676 KiB
################
# More data... #
################
/proc/1037906/statm: 844603 786793 3310 3032 0 835402 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3378412 memory=11400 CPUtime=3447.24 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 13038217 0 0 0 343638 1086 0 0 20 0 3 0 192493367 3459493888 786793 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3378412 memory=3144932 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 161 0 0 0 1 2 0 0 20 0 3 0 192493368 3459493888 786793 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3447.49 s
Current children cumulated vsize: 3378412 KiB
Current children cumulated memory: 3147172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/266 1039818
/proc/meminfo: memFree=113042096/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3386608 memory=3180968 CPUtime=3507.24 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 13488826 0 0 0 349607 1117 0 0 20 0 3 0 192493364 3467886592 795242 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 846652 795242 3310 3032 0 839176 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3386608 memory=16216 CPUtime=3507 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 13483798 0 0 0 349588 1112 0 0 20 0 3 0 192493367 3467886592 795242 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3386608 memory=-6807328024884055141 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 163 0 0 0 1 2 0 0 20 0 3 0 192493368 3467886592 795242 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3507.24 s
Current children cumulated vsize: 3386608 KiB
Current children cumulated memory: 3180968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/266 1039828
/proc/meminfo: memFree=112880780/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3386608 memory=3213236 CPUtime=3566.99 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 13939278 0 0 0 355560 1139 0 0 20 0 3 0 192493364 3467886592 803309 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 846652 803309 3310 3032 0 841187 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3386608 memory=45960 CPUtime=3566.74 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 13934231 0 0 0 355540 1134 0 0 20 0 3 0 192493367 3467886592 803309 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3386608 memory=11400 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3467886592 803309 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3566.99 s
Current children cumulated vsize: 3386608 KiB
Current children cumulated memory: 3213236 KiB
[startup+3600.98 s]
# the end of solver process 1037906 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.08 s, system=11.5389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 7/266 1039828
/proc/meminfo: memFree=112877696/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3386608 memory=3213240 CPUtime=3568.7 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 13939452 0 0 0 355730 1140 0 0 20 0 3 0 192493364 3467886592 803310 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 846652 803310 3310 3032 0 841187 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3386608 memory=-6735270430896065637 CPUtime=3568.44 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 13934405 0 0 0 355710 1134 0 0 20 0 3 0 192493367 3467886592 803310 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3386608 memory=4872558142750484537 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3467886592 803310 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3568.7 s
Current children cumulated vsize: 3386608 KiB
Current children cumulated memory: 3213240 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 6/266 1039831
/proc/meminfo: memFree=112870204/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3720216 memory=3218908 CPUtime=3575.06 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 13994495 0 0 0 356364 1142 0 0 20 0 3 0 192493364 3809501184 804727 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 930054 804727 3310 3032 0 924685 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3720216 memory=11400 CPUtime=3574.81 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 13989448 0 0 0 356345 1136 0 0 20 0 3 0 192493367 3809501184 804727 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3720216 memory=3213228 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3809501184 804727 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 3720216 KiB
Current children cumulated memory: 3218908 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112865104/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3720216 memory=3221408 CPUtime=3581.44 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 14077369 0 0 0 356997 1147 0 0 20 0 3 0 192493364 3809501184 805352 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 930054 805352 3310 3032 0 925309 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3720216 memory=3213224 CPUtime=3581.18 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14072322 0 0 0 356977 1141 0 0 20 0 3 0 192493367 3809501184 805352 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3720216 memory=5428 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3809501184 805352 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3581.44 s
Current children cumulated vsize: 3720216 KiB
Current children cumulated memory: 3221408 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112857980/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3720216 memory=3228416 CPUtime=3583.03 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 14077649 0 0 0 357156 1147 0 0 20 0 3 0 192493364 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 930054 807104 3310 3032 0 925309 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3720216 memory=3228416 CPUtime=3582.78 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14072602 0 0 0 357136 1142 0 0 20 0 3 0 192493367 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3720216 memory=3228416 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3583.03 s
Current children cumulated vsize: 3720216 KiB
Current children cumulated memory: 3228416 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3720216 memory=3228416 CPUtime=3584.63 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 14077736 0 0 0 357316 1147 0 0 20 0 3 0 192493364 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 930054 807104 3310 3032 0 925309 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3720216 memory=-6735270430896065637 CPUtime=3584.38 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14072689 0 0 0 357296 1142 0 0 20 0 3 0 192493367 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3720216 memory=4872558142750484537 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 3720216 KiB
Current children cumulated memory: 3228416 KiB
[startup+3600.4 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3720216 memory=3228416 CPUtime=3585.03 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 14092676 0 0 0 357354 1149 0 0 20 0 3 0 192493364 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 930054 807104 3310 3032 0 925309 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3720216 memory=1904 CPUtime=3584.77 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14087626 0 0 0 357334 1143 0 0 20 0 3 0 192493367 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3720216 memory=5568 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3809501184 807104 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3585.03 s
Current children cumulated vsize: 3720216 KiB
Current children cumulated memory: 3228416 KiB
[startup+3600.8 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3710964 memory=3219172 CPUtime=3585.43 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 14097903 0 0 0 357394 1149 0 0 20 0 3 0 192493364 3800027136 804793 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 927741 804793 3310 3032 0 922996 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3710964 memory=11240 CPUtime=3585.17 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14092853 0 0 0 357374 1143 0 0 20 0 3 0 192493367 3800027136 804793 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3710964 memory=11240 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3800027136 804793 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 3710964 KiB
Current children cumulated memory: 3219172 KiB
[startup+3600.9 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037906] ppid=1037895 vsize=3707880 memory=3216092 CPUtime=3585.53 cores=0,2
/proc/1037906/stat : 1037906 (fscip) S 1037895 1037906 1035639 0 -1 1077936128 14099297 0 0 0 357404 1149 0 0 20 0 3 0 192493364 3796869120 804023 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
/proc/1037906/statm: 926970 804023 3310 3032 0 922225 0
[pid=1037906/tid=1037915] ppid=1037895 vsize=3707880 memory=3200088 CPUtime=3585.27 cores=0,2
/proc/1037906/task/1037915/stat : 1037915 (fscip) R 1037895 1037906 1035639 0 -1 4194368 14094247 0 0 0 357384 1143 0 0 20 0 3 0 192493367 3796869120 804023 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
[pid=1037906/tid=1037916] ppid=1037895 vsize=3707880 memory=3219744 CPUtime=0.03 cores=0,2
/proc/1037906/task/1037916/stat : 1037916 (fscip) S 1037895 1037906 1035639 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 192493368 3796869120 804023 134679101440 4194304 16613245 140727855225696 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44904448 140727855227923 140727855228039 140727855228039 140727855235056 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 3707880 KiB
Current children cumulated memory: 3216092 KiB
Child status: 0
Real time (s): 3600.98
CPU time (s): 3585.62
CPU user time (s): 3574.08
CPU system time (s): 11.5389
CPU usage (%): 99.5733
Max. virtual memory (cumulated for all children) (KiB): 3720216
Max. memory (cumulated for all children) (KiB): 3228416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.08
system time used= 11.5389
maximum resident set size= 3228416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14100273
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= 10633
involuntary context switches= 25137
# summary of solver processes directly reported to runsolver:
# pid: 1037906
# total CPU time (s): 3585.62
# total CPU user time (s): 3574.08
# total CPU system time (s): 11.5389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00549 second user time and 20.4064 second system time
The end
Begin job on nodeC031 at 2024-07-19 17:34:23
IDJOB=4449693
IDBENCH=176095
IDSOLVER=3064
FILE ID=nodeC031/4449693-1721403251
RUNJOBID= nodeC031-1721403263-1037848
SLURM_JOB_ID= 7545454
Free space on /tmp= 890080 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=6.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-4449693-1721403251/watcher-4449693-1721403251 -o /tmp/evaluation-result-4449693-1721403251/solver-4449693-1721403251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449693-1721403251.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 452542b5617bc71813112a35665296a2
RANDOM SEED=121410093
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.991
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3520.453
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3508.348
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.928
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3544.490
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3326.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3579.360
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.884
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122986984 kB
MemAvailable: 129593248 kB
Buffers: 506880 kB
Cached: 6866412 kB
SwapCached: 0 kB
Active: 1040440 kB
Inactive: 6709744 kB
Active(anon): 1448 kB
Inactive(anon): 421680 kB
Active(file): 1038992 kB
Inactive(file): 6288064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 118932 kB
Writeback: 12 kB
AnonPages: 375140 kB
Mapped: 106636 kB
Shmem: 45912 kB
KReclaimable: 237712 kB
Slab: 367620 kB
SReclaimable: 237712 kB
SUnreclaim: 129908 kB
KernelStack: 4016 kB
PageTables: 9952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 830756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC031 at 2024-07-19 18:34:25