0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 37806080, getVmSize() = 37806080, SCIPgetMemUsed() = 11449856, SCIPgetMemTotal() = 15511384, SCIPgetMemExternEstim() = 8663376
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.68/2.79 c ** Estimated virtualMemUsedAtSolver = 33438378, getVmSize() = 62509056, SCIPgetMemUsed() = 22682154, SCIPgetMemTotal() = 38561618, SCIPgetMemExternEstim() = 8663376
2.68/2.79 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.68/2.79 c Original Problem :
2.68/2.79 c Problem name : instance-4464934-1722390245
2.68/2.79 c Variables : 3444 (3444 binary, 0 integer, 0 implicit integer, 0 continuous)
2.68/2.79 c Constraints : 6014
2.68/2.79 c Objective sense : minimize
2.68/2.79 c Presolved Problem :
2.68/2.79 c Variables : 3444 (3444 binary, 0 integer, 0 implicit integer, 0 continuous)
2.68/2.79 c Constraints : 3089
2.68/2.79 c Constraints : Number
2.68/2.79 c knapsack : 1
2.68/2.79 c setppc : 125
2.68/2.79 c linear : 2944
2.68/2.79 c indicator : 19
2.68/2.79 c ** Instance transfer method used: 0
2.77/2.80 c ** ParaScipInstance copy does not increase the number of variables. **
2.77/2.81 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.77/2.81 c Nodes Active
2.77/2.81 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.87/2.94 c * 3 0 1 1 736.0000 - -
3.36/3.48 c * 3 0 1 1 237.0000 - -
3.46/3.56 c * 4 0 1 1 218.0000 - -
3.46/3.58 c * 4 0 1 1 206.0000 - -
3.67/3.71 c * 4 0 1 1 199.0000 - -
4.45/4.56 c * 5 0 1 1 165.0000 - -
5.15/5.23 c 5 2 1 1 165.0000 0.0000 -
11.13/11.24 c 11 18 17 1 165.0000 0.0000 -
12.63/12.73 c * 13 24 23 1 137.0000 0.0000 -
12.63/12.75 c * 13 24 23 1 135.0000 0.0000 -
15.22/15.35 c * 15 31 30 1 91.0000 0.0000 -
16.92/17.10 c * 17 62 61 1 63.0000 0.0000 -
16.92/17.10 c 17 62 61 1 63.0000 0.0000 -
18.91/19.05 c * 19 104 103 1 60.0000 0.0000 -
21.01/21.17 c * 21 135 134 1 50.0000 0.0000 -
23.00/23.15 c 23 198 197 1 50.0000 0.0000 -
28.29/28.40 c 28 288 287 1 50.0000 0.0000 -
30.68/30.87 c * 31 344 343 1 48.0000 0.0000 -
33.27/33.40 c 33 371 370 1 48.0000 0.0000 -
38.96/39.10 c 39 436 435 1 48.0000 0.0000 -
44.54/44.78 c 45 497 496 1 48.0000 0.0000 -
50.42/50.68 c 51 569 568 1 48.0000 0.0000 -
54.61/54.85 c * 55 599 598 1 44.0000 0.0000 -
55.71/55.91 c 56 628 627 1 44.0000 0.0000 -
60.90/61.12 c 61 694 693 1 44.0000 0.0000 -
66.58/66.89 c 67 762 761 1 44.0000 0.0000 -
71.66/71.96 c 72 826 825 1 44.0000 0.0000 -
77.45/77.73 c 78 884 883 1 44.0000 0.0000 -
83.33/83.62 c 84 953 952 1 44.0000 0.0000 -
90.32/90.62 c 91 1051 1 1 44.0000 0.0000 -
95.71/96.04 c 96 1152 102 1 44.0000 0.0000 -
100.79/101.12 c 101 1223 173 1 44.0000 0.0000 -
106.18/106.59 c 107 1351 301 1 44.0000 0.0000 -
111.46/111.87 c 112 1479 429 1 44.0000 0.0000 -
116.85/117.29 c 117 1614 564 1 44.0000 0.0000 -
122.04/122.48 c 122 1753 703 1 44.0000 0.0000 -
127.23/127.63 c 128 1864 814 1 44.0000 0.0000 -
127.82/128.24 c * 128 1864 814 1 43.0000 0.0000 -
132.42/132.81 c 133 1974 924 1 43.0000 0.0000 -
137.50/137.93 c 138 2074 1024 1 43.0000 0.0000 -
142.69/143.14 c 143 2182 1132 1 43.0000 0.0000 -
148.17/148.64 c 149 2294 1244 1 43.0000 0.0000 -
153.26/153.76 c 154 2405 1355 1 43.0000 0.0000 -
158.75/159.21 c 159 2516 1466 1 43.0000 0.0000 -
164.64/165.12 c 165 2613 1563 1 43.0000 0.0000 -
169.92/170.46 c 170 2696 1646 1 43.0000 0.0000 -
175.21/175.78 c 176 2786 1736 1 43.0000 0.0000 -
180.80/181.36 c 181 2893 1843 1 43.0000 0.0000 -
186.38/186.91 c 187 2995 1945 1 43.0000 0.0000 -
191.67/192.20 c 192 3091 2041 1 43.0000 0.0000 -
196.85/197.41 c 197 3199 2149 1 43.0000 0.0000 -
202.35/202.94 c 203 3320 2270 1 43.0000 0.0000 -
207.63/208.23 c 208 3427 2377 1 43.0000 0.0000 -
212.82/213.42 c 213 3542 2492 1 43.0000 0.0000 -
217.90/218.52 c 219 3678 2628 1 43.0000 0.0000 -
222.99/223.70 c 224 3808 2758 1 43.0000 0.0000 -
228.18/228.84 c 229 3934 2884 1 43.0000 0.0000 -
233.37/234.02 c 234 4070 3020 1 43.0000 0.0000 -
238.46/239.15 c 239 4210 3160 1 43.0000 0.0000 -
243.54/244.28 c 244 4335 3285 1 43.0000 0.0000 -
248.82/249.59 c 250 4481 3431 1 43.0000 0.0000 -
254.02/254.72 c 255 4616 3566 1 43.0000 0.0000 -
259.90/260.65 c 261 4730 3680 1 43.0000 0.0000 -
265.09/265.81 c 266 4842 3792 1 43.0000 0.0000 -
270.17/270.96 c 271 4950 3900 1 43.0000 0.0000 -
275.56/276.38 c 276 5070 4020 1 43.0000 0.0000 -
281.04/281.80 c 282 5192 4142 1 43.0000 0.0000 -
286.23/287.03 c 287 5312 4262 1 43.0000 0.0000 -
291.41/292.29 c 292 5454 4404 1 43.0000 0.0000 -
296.69/297.56 c 298 5590 4540 1 43.0000 0.0000 -
301.98/302.80 c 303 5733 4683 1 43.0000 0.0000 -
307.37/308.20 c 308 5862 4812 1 43.0000 0.0000 -
312.46/313.30 c 313 5993 4943 1 43.0000 0.0000 -
317.54/318.45 c 318 6119 5069 1 43.0000 0.0000 -
322.63/323.55 c 324 6264 5214 1 43.0000 0.0000 -
327.81/328.78 c 329 6419 5369 1 43.0000 0.0000 -
333.00/333.95 c 334 6567 5517 1 43.0000 0.0000 -
338.88/339.80 c 340 6695 5645 1 43.0000 0.0000 -
344.17/345.16 c 345 6826 5776 1 43.0000 0.0000 -
349.45/350.46 c 350 6955 5905 1 43.0000 0.0000 -
354.64/355.68 c 356 7109 6059 1 43.0000 0.0000 -
359.82/360.84 c 361 7251 6201 1 43.0000 0.0000 -
365.01/366.04 c 366 7370 6320 1 43.0000 0.0000 -
370.29/371.30 c 371 7480 6430 1 43.0000 0.0000 -
375.58/376.62 c 377 7597 6547 1 43.0000 0.0000 -
380.87/381.99 c 382 7722 6672 1 43.0000 0.0000 -
386.25/387.38 c 387 7839 6789 1 43.0000 0.0000 -
391.53/392.64 c 393 7960 6910 1 43.0000 0.0000 -
396.62/397.76 c 398 8088 7038 1 43.0000 0.0000 -
401.81/402.96 c 403 8203 7153 1 43.0000 0.0000 -
407.19/408.32 c 408 8328 7278 1 43.0000 0.0000 -
412.38/413.50 c 414 8436 7386 1 43.0000 0.0000 -
417.46/418.69 c 419 8560 7510 1 43.0000 0.0000 -
422.75/423.94 c 424 8697 7647 1 43.0000 0.0000 -
427.94/429.18 c 429 8822 7772 1 43.0000 0.0000 -
433.22/434.44 c 434 8952 7902 1 43.0000 0.0000 -
438.51/439.79 c 440 9061 8011 1 43.0000 0.0000 -
443.80/445.08 c 445 9168 8118 1 43.0000 0.0000 -
449.28/450.53 c 451 9292 8242 1 43.0000 0.0000 -
454.77/456.00 c 456 9368 8318 1 43.0000 0.0000 -
459.96/461.28 c 461 9432 8382 1 43.0000 0.0000 -
465.24/466.51 c 467 9548 8498 1 43.0000 0.0000 -
470.43/471.74 c 472 9663 8613 1 43.0000 0.0000 -
475.61/476.93 c 477 9770 8720 1 43.0000 0.0000 -
480.80/482.10 c 482 9878 8828 1 43.0000 0.0000 -
485.98/487.32 c 487 9978 8928 1 43.0000 0.0000 -
491.57/492.92 c 493 10095 9045 1 43.0000 0.0000 -
497.35/498.70 c 499 10222 9172 1 43.0000 0.0000 -
502.64/504.06 c 504 10370 9320 1 43.0000 0.0000 -
507.92/509.38 c 509 10487 9437 1 43.0000 0.0000 -
513.21/514.65 c 515 10622 9572 1 43.0000 0.0000 -
518.29/519.79 c 520 10727 9677 1 43.0000 0.0000 -
523.48/524.91 c 525 10844 9794 1 43.0000 0.0000 -
528.57/530.10 c 530 10967 9917 1 43.0000 0.0000 -
534.25/535.77 c 536 11098 10048 1 43.0000 0.0000 -
539.44/540.90 c 541 11227 10177 1 43.0000 0.0000 -
544.42/545.98 c 546 11333 10283 1 43.0000 0.0000 -
550.11/551.66 c 552 11441 10391 1 43.0000 0.0000 -
555.30/556.84 c 557 11561 10511 1 43.0000 0.0000 -
560.38/561.95 c 562 11692 10642 1 43.0000 0.0000 -
565.47/567.08 c 567 11808 10758 1 43.0000 0.0000 -
570.65/572.27 c 572 11914 10864 1 43.0000 0.0000 -
576.14/577.73 c 578 12016 10966 1 43.0000 0.0000 -
581.32/582.90 c 583 12132 11082 1 43.0000 0.0000 -
586.71/588.39 c 588 12270 11220 1 43.0000 0.0000 -
592.10/593.74 c 594 12391 11341 1 43.0000 0.0000 -
597.28/598.94 c 599 12547 11497 1 43.0000 0.0000 -
602.37/604.09 c 604 12657 11607 1 43.0000 0.0000 -
607.76/609.49 c 610 12787 11737 1 43.0000 0.0000 -
613.04/614.77 c 615 12912 11862 1 43.0000 0.0000 -
618.33/620.03 c 620 13061 12011 1 43.0000 0.0000 -
623.61/625.31 c 625 13207 12157 1 43.0000 0.0000 -
628.70/630.41 c 630 13309 12259 1 43.0000 0.0000 -
633.78/635.57 c 636 13434 12384 1 43.0000 0.0000 -
639.87/641.62 c 642 13557 12507 1 43.0000 0.0000 -
645.15/646.95 c 647 13685 12635 1 43.0000 0.0000 -
650.44/652.28 c 652 13812 12762 1 43.0000 0.0000 -
655.62/657.47 c 657 13940 12890 1 43.0000 0.0000 -
660.91/662.79 c 663 14067 13017 1 43.0000 0.0000 -
666.10/667.97 c 668 14194 13144 1 43.0000 0.0000 -
671.19/673.07 c 673 14317 13267 1 43.0000 0.0000 -
676.28/678.18 c 678 14444 13394 1 43.0000 0.0000 -
681.45/683.37 c 683 14579 13529 1 43.0000 0.0000 -
686.54/688.46 c 688 14714 13664 1 43.0000 0.0000 -
691.82/693.73 c 694 14834 13784 1 43.0000 0.0000 -
697.12/699.01 c 699 14979 13929 1 43.0000 0.0000 -
702.40/704.32 c 704 15101 14051 1 43.0000 0.0000 -
707.49/709.48 c 709 15232 14182 1 43.0000 0.0000 -
712.77/714.76 c 715 15371 14321 1 43.0000 0.0000 -
717.95/719.93 c 720 15506 14456 1 43.0000 0.0000 -
723.04/725.03 c 725 15627 14577 1 43.0000 0.0000 -
728.22/730.26 c 730 15758 14708 1 43.0000 0.0000 -
733.72/735.75 c 736 15902 14852 1 43.0000 0.0000 -
739.01/741.01 c 741 16041 14991 1 43.0000 0.0000 -
744.09/746.17 c 746 16147 15097 1 43.0000 0.0000 -
749.27/751.39 c 751 16282 15232 1 43.0000 0.0000 -
754.46/756.56 c 757 16408 15358 1 43.0000 0.0000 -
759.64/761.76 c 762 16536 15486 1 43.0000 0.0000 -
764.83/766.99 c 767 16641 15591 1 43.0000 0.0000 -
770.11/772.20 c 772 16767 15717 1 43.0000 0.0000 -
775.20/777.31 c 777 16891 15841 1 43.0000 0.0000 -
780.29/782.43 c 782 17011 15961 1 43.0000 0.0000 -
785.47/787.64 c 788 17142 16092 1 43.0000 0.0000 -
790.66/792.82 c 793 17265 16215 1 43.0000 0.0000 -
796.15/798.34 c 798 17382 16332 1 43.0000 0.0000 -
802.13/804.33 c 804 17509 16459 1 43.0000 0.0000 -
807.51/809.74 c 810 17627 16577 1 43.0000 0.0000 -
812.70/814.94 c 815 17767 16717 1 43.0000 0.0000 -
817.99/820.22 c 820 17926 16876 1 43.0000 0.0000 -
823.17/825.44 c 825 18065 17015 1 43.0000 0.0000 -
828.36/830.65 c 831 18199 17149 1 43.0000 0.0000 -
833.44/835.77 c 836 18323 17273 1 43.0000 0.0000 -
838.63/840.99 c 841 18442 17392 1 43.0000 0.0000 -
843.72/846.07 c 846 18572 17522 1 43.0000 0.0000 -
849.00/851.39 c 851 18690 17640 1 43.0000 0.0000 -
854.80/857.18 c 857 18803 17753 1 43.0000 0.0000 -
859.98/862.33 c 862 18962 17912 1 43.0000 0.0000 -
865.06/867.50 c 868 19092 18042 1 43.0000 0.0000 -
870.65/873.06 c 873 19230 18180 1 43.0000 0.0000 -
875.93/878.33 c 878 19339 18289 1 43.0000 0.0000 -
881.12/883.55 c 884 19447 18397 1 43.0000 0.0000 -
886.30/888.71 c 889 19587 18537 1 43.0000 0.0000 -
891.39/893.80 c 894 19727 18677 1 43.0000 0.0000 -
896.47/898.94 c 899 19866 18816 1 43.0000 0.0000 -
901.66/904.15 c 904 20006 18956 1 43.0000 0.0000 -
906.95/909.46 c 909 20155 19105 1 43.0000 0.0000 -
912.64/915.11 c 915 20298 19248 1 43.0000 0.0000 -
917.72/920.28 c 920 20425 19375 1 43.0000 0.0000 -
922.91/925.46 c 925 20561 19511 1 43.0000 0.0000 -
928.09/930.62 c 931 20688 19638 1 43.0000 0.0000 -
933.18/935.78 c 936 20823 19773 1 43.0000 0.0000 -
939.06/941.63 c 942 20959 19909 1 43.0000 0.0000 -
944.25/946.86 c 947 21086 20036 1 43.0000 0.0000 -
949.63/952.20 c 952 21206 20156 1 43.0000 0.0000 -
954.72/957.39 c 957 21344 20294 1 43.0000 0.0000 -
960.20/962.82 c 963 21466 20416 1 43.0000 0.0000 -
965.29/967.99 c 968 21598 20548 1 43.0000 0.0000 -
970.58/973.21 c 973 21736 20686 1 43.0000 0.0000 -
975.67/978.31 c 978 21874 20824 1 43.0000 0.0000 -
981.46/984.12 c 984 22004 20954 1 43.0000 0.0000 -
986.63/989.32 c 989 22129 21079 1 43.0000 0.0000 -
991.72/994.48 c 994 22268 21218 1 43.0000 0.0000 -
997.01/999.77 c 1000 22397 21347 1 43.0000 0.0000 -
1002.29/1005.01 c 1005 22506 21456 1 43.0000 0.0000 -
1007.48/1010.20 c 1010 22641 21591 1 43.0000 0.0000 -
1012.47/1015.29 c 1015 22782 21732 1 43.0000 0.0000 -
1017.85/1020.69 c 1021 22917 21867 1 43.0000 0.0000 -
1023.13/1025.95 c 1026 23063 22013 1 43.0000 0.0000 -
1028.33/1031.13 c 1031 23199 22149 1 43.0000 0.0000 -
1033.51/1036.33 c 1036 23334 22284 1 43.0000 0.0000 -
1038.70/1041.52 c 1042 23469 22419 1 43.0000 0.0000 -
1043.88/1046.77 c 1047 23599 22549 1 43.0000 0.0000 -
1049.56/1052.43 c 1052 23729 22679 1 43.0000 0.0000 -
1054.65/1057.52 c 1058 23853 22803 1 43.0000 0.0000 -
1059.83/1062.76 c 1063 23992 22942 1 43.0000 0.0000 -
1065.03/1067.96 c 1068 24116 23066 1 43.0000 0.0000 -
1070.31/1073.24 c 1073 24238 23188 1 43.0000 0.0000 -
1075.49/1078.46 c * 1078 24342 23292 1 32.0000 0.0000 -
1075.49/1078.46 c 1078 24342 23292 1 32.0000 0.0000 -
1080.68/1083.66 c 1084 24484 23434 1 32.0000 0.0000 -
1085.87/1088.86 c 1089 24616 23566 1 32.0000 0.0000 -
1091.16/1094.12 c 1094 24754 23704 1 32.0000 0.0000 -
1096.34/1099.31 c 1099 24891 23841 1 32.0000 0.0000 -
1101.42/1104.44 c 1104 25023 23973 1 32.0000 0.0000 -
1106.61/1109.60 c 1110 25154 24104 1 32.0000 0.0000 -
1111.79/1114.82 c 1115 25294 24244 1 32.0000 0.0000 -
1116.99/1120.06 c 1120 25424 24374 1 32.0000 0.0000 -
1122.07/1125.19 c 1125 25553 24503 1 32.0000 0.0000 -
1127.36/1130.44 c 1130 25694 24644 1 32.0000 0.0000 -
1132.64/1135.74 c 1136 25849 24799 1 32.0000 0.0000 -
1137.73/1140.86 c 1141 25991 24941 1 32.0000 0.0000 -
1143.41/1146.53 c 1147 26113 25063 1 32.0000 0.0000 -
1148.50/1151.68 c 1152 26243 25193 1 32.0000 0.0000 -
1153.79/1156.90 c 1157 26368 25318 1 32.0000 0.0000 -
1158.88/1162.01 c 1162 26507 25457 1 32.0000 0.0000 -
1163.96/1167.16 c 1167 26655 25605 1 32.0000 0.0000 -
1169.14/1172.36 c 1172 26804 25754 1 32.0000 0.0000 -
1174.23/1177.47 c 1177 26942 25892 1 32.0000 0.0000 -
1179.41/1182.68 c 1183 27080 26030 1 32.0000 0.0000 -
1185.40/1188.62 c 1189 27208 26158 1 32.0000 0.0000 -
1190.59/1193.81 c 1194 27326 26276 1 32.0000 0.0000 -
1196.17/1199.41 c 1199 27448 26398 1 32.0000 0.0000 -
1201.35/1204.64 c 1205 27586 26536 1 32.0000 0.0000 -
1206.65/1209.91 c 1210 27730 26680 1 32.0000 0.0000 -
1211.73/1215.03 c 1215 27887 26837 1 32.0000 0.0000 -
1216.91/1220.23 c 1220 28023 26973 1 32.0000 0.0000 -
1222.30/1225.69 c 1226 28159 27109 1 32.0000 0.0000 -
1227.49/1230.84 c 1231 28294 27244 1 32.0000 0.0000 -
1232.78/1236.14 c 1236 28448 27398 1 32.0000 0.0000 -
1237.86/1241.25 c 1241 28587 27537 1 32.0000 0.0000 -
1243.25/1246.65 c 1247 28728 27678 1 32.0000 0.0000 -
1248.43/1251.86 c 1252 28861 27811 1 32.0000 0.0000 -
1254.11/1257.54 c 1258 29008 27958 1 32.0000 0.0000 -
1259.60/1263.03 c 1263 29147 28097 1 32.0000 0.0000 -
1264.98/1268.41 c 1268 29277 28227 1 32.0000 0.0000 -
1270.68/1274.12 c 1274 29427 28377 1 32.0000 0.0000 -
1275.75/1279.28 c 1279 29571 28521 1 32.0000 0.0000 -
1280.94/1284.42 c 1284 29714 28664 1 32.0000 0.0000 -
1286.03/1289.53 c 1290 29833 28783 1 32.0000 0.0000 -
1291.12/1294.63 c 1295 29998 28948 1 32.0000 0.0000 -
1296.30/1299.81 c 1300 30119 29069 1 32.0000 0.0000 -
1301.38/1304.90 c 1305 30268 29218 1 32.0000 0.0000 -
1306.38/1310.00 c 1310 30404 29354 1 32.0000 0.0000 -
1311.57/1315.16 c 1315 30558 29508 1 32.0000 0.0000 -
1316.65/1320.27 c 1320 30684 29634 1 32.0000 0.0000 -
1321.73/1325.32 c 1325 30810 29760 1 32.0000 0.0000 -
1326.82/1330.49 c 1330 30941 29891 1 32.0000 0.0000 -
1332.20/1335.90 c 1336 31092 30042 1 32.0000 0.0000 -
1337.40/1341.04 c 1341 31249 30199 1 32.0000 0.0000 -
1342.48/1346.19 c 1346 31405 30355 1 32.0000 0.0000 -
1347.66/1351.39 c 1351 31558 30508 1 32.0000 0.0000 -
1353.05/1356.72 c 1357 31711 30661 1 32.0000 0.0000 -
1358.13/1361.89 c 1362 31863 30813 1 32.0000 0.0000 -
1363.33/1367.02 c 1367 31997 30947 1 32.0000 0.0000 -
1368.31/1372.09 c 1372 32159 31109 1 32.0000 0.0000 -
1373.49/1377.28 c 1377 32292 31242 1 32.0000 0.0000 -
1378.78/1382.53 c 1383 32453 31403 1 32.0000 0.0000 -
1383.96/1387.73 c 1388 32604 31554 1 32.0000 0.0000 -
1389.25/1393.09 c 1393 32744 31694 1 32.0000 0.0000 -
1395.04/1398.86 c 1399 32874 31824 1 32.0000 0.0000 -
1400.23/1404.04 c 1404 33019 31969 1 32.0000 0.0000 -
1405.41/1409.22 c 1409 33161 32111 1 32.0000 0.0000 -
1410.59/1414.49 c 1414 33304 32254 1 32.0000 0.0000 -
1415.98/1419.87 c 1420 33410 32360 1 32.0000 0.0000 -
1421.06/1424.98 c 1425 33549 32499 1 32.0000 0.0000 -
1426.26/1430.16 c 1430 33663 32613 1 32.0000 0.0000 -
1431.64/1435.50 c 1436 33777 32727 1 32.0000 0.0000 -
1437.12/1441.01 c 1441 33889 32839 1 32.0000 0.0000 -
1442.21/1446.16 c 1446 33995 32945 1 32.0000 0.0000 -
1447.39/1451.33 c 1451 34123 33073 1 32.0000 0.0000 -
1452.58/1456.52 c 1457 34259 33209 1 32.0000 0.0000 -
1457.66/1461.64 c 1462 34382 33332 1 32.0000 0.0000 -
1462.85/1466.88 c 1467 34516 33466 1 32.0000 0.0000 -
1468.14/1472.12 c 1472 34650 33600 1 32.0000 0.0000 -
1473.33/1477.34 c 1477 34775 33725 1 32.0000 0.0000 -
1478.41/1482.46 c 1482 34895 33845 1 32.0000 0.0000 -
1483.60/1487.69 c 1488 35019 33969 1 32.0000 0.0000 -
1488.88/1492.91 c 1493 35135 34085 1 32.0000 0.0000 -
1493.97/1498.08 c 1498 35279 34229 1 32.0000 0.0000 -
1499.25/1503.31 c 1503 35387 34337 1 32.0000 0.0000 -
1504.34/1508.46 c 1508 35511 34461 1 32.0000 0.0000 -
1509.43/1513.59 c 1514 35625 34575 1 32.0000 0.0000 -
1514.71/1518.81 c 1519 35754 34704 1 32.0000 0.0000 -
1520.00/1524.12 c 1524 35899 34849 1 32.0000 0.0000 -
1525.18/1529.39 c 1529 36030 34980 1 32.0000 0.0000 -
1530.37/1534.56 c 1535 36167 35117 1 32.0000 0.0000 -
1535.65/1539.82 c 1540 36311 35261 1 32.0000 0.0000 -
1540.84/1545.07 c 1545 36440 35390 1 32.0000 0.0000 -
1546.03/1550.27 c 1550 36555 35505 1 32.0000 0.0000 -
1551.22/1555.49 c 1556 36678 35628 1 32.0000 0.0000 -
1556.70/1560.96 c 1561 36800 35750 1 32.0000 0.0000 -
1561.99/1566.29 c 1566 36929 35879 1 32.0000 0.0000 -
1567.37/1571.63 c 1572 37060 36010 1 32.0000 0.0000 -
1572.56/1576.81 c 1577 37190 36140 1 32.0000 0.0000 -
1577.64/1581.97 c 1582 37344 36294 1 32.0000 0.0000 -
1582.62/1586.97 c * 1587 37466 36416 1 30.0000 0.0000 -
1582.62/1586.97 c 1587 37466 36416 1 30.0000 0.0000 -
1588.02/1592.34 c 1592 37619 36563 1 30.0000 0.0000 -
1593.20/1597.57 c 1598 37776 36720 1 30.0000 0.0000 -
1598.49/1602.85 c 1603 37925 36869 1 30.0000 0.0000 -
1604.28/1608.66 c 1609 38065 37009 1 30.0000 0.0000 -
1609.56/1613.94 c 1614 38181 37125 1 30.0000 0.0000 -
1614.75/1619.11 c 1619 38334 37278 1 30.0000 0.0000 -
1619.83/1624.23 c 1624 38474 37418 1 30.0000 0.0000 -
1625.22/1629.66 c 1630 38611 37555 1 30.0000 0.0000 -
1630.50/1634.95 c 1635 38747 37691 1 30.0000 0.0000 -
1635.78/1640.25 c 1640 38895 37839 1 30.0000 0.0000 -
1640.88/1645.33 c 1645 39011 37955 1 30.0000 0.0000 -
1645.96/1650.48 c 1650 39139 38083 1 30.0000 0.0000 -
1651.25/1655.78 c 1656 39280 38224 1 30.0000 0.0000 -
1656.34/1660.85 c 1661 39411 38355 1 30.0000 0.0000 -
1661.42/1665.95 c 1666 39536 38480 1 30.0000 0.0000 -
1666.51/1671.07 c 1671 39663 38607 1 30.0000 0.0000 -
1671.69/1676.20 c 1676 39792 38736 1 30.0000 0.0000 -
1676.77/1681.33 c 1681 39903 38847 1 30.0000 0.0000 -
1681.87/1686.48 c 1686 40040 38984 1 30.0000 0.0000 -
1687.45/1692.07 c 1692 40162 39106 1 30.0000 0.0000 -
1692.73/1697.39 c 1697 40274 39218 1 30.0000 0.0000 -
1698.02/1702.65 c 1703 40365 39309 1 30.0000 0.0000 -
1703.30/1707.95 c 1708 40505 39449 1 30.0000 0.0000 -
1708.49/1713.13 c 1713 40624 39568 1 30.0000 0.0000 -
1713.87/1718.51 c 1719 40759 39703 1 30.0000 0.0000 -
1719.16/1723.80 c 1724 40893 39837 1 30.0000 0.0000 -
1724.25/1728.98 c 1729 41016 39960 1 30.0000 0.0000 -
1729.54/1734.25 c 1734 41144 40088 1 30.0000 0.0000 -
1734.73/1739.41 c 1739 41260 40204 1 30.0000 0.0000 -
1739.81/1744.52 c 1745 41391 40335 1 30.0000 0.0000 -
1745.19/1749.98 c 1750 41532 40476 1 30.0000 0.0000 -
1750.47/1755.27 c 1755 41655 40599 1 30.0000 0.0000 -
1755.96/1760.74 c 1761 41783 40727 1 30.0000 0.0000 -
1761.26/1766.01 c 1766 41938 40882 1 30.0000 0.0000 -
1766.34/1771.14 c 1771 42060 41004 1 30.0000 0.0000 -
1771.53/1776.39 c 1776 42202 41146 1 30.0000 0.0000 -
1776.81/1781.60 c 1782 42334 41278 1 30.0000 0.0000 -
1781.99/1786.83 c 1787 42468 41412 1 30.0000 0.0000 -
1787.18/1792.00 c 1792 42603 41547 1 30.0000 0.0000 -
1792.28/1797.14 c 1797 42744 41688 1 30.0000 0.0000 -
1797.45/1802.34 c 1802 42891 41835 1 30.0000 0.0000 -
1802.54/1807.49 c 1808 43025 41969 1 30.0000 0.0000 -
1807.72/1812.65 c 1813 43172 42116 1 30.0000 0.0000 -
1812.91/1817.83 c 1818 43294 42236 1 30.0000 0.0000 -
1818.10/1823.00 c 1823 43410 42352 1 30.0000 0.0000 -
1823.19/1828.18 c 1828 43536 42478 1 30.0000 0.0000 -
1828.37/1833.36 c 1833 43689 42631 1 30.0000 0.0000 -
1833.56/1838.52 c 1839 43802 42744 1 30.0000 0.0000 -
1838.74/1843.78 c 1844 43933 42875 1 30.0000 0.0000 -
1844.13/1849.11 c 1849 44069 43011 1 30.0000 0.0000 -
1849.51/1854.51 c 1855 44190 43132 1 30.0000 0.0000 -
1854.60/1859.61 c 1860 44323 43265 1 30.0000 0.0000 -
1859.78/1864.86 c 1865 44458 43400 1 30.0000 0.0000 -
1864.87/1869.97 c 1870 44620 43562 1 30.0000 0.0000 -
1869.96/1875.09 c 1875 44762 43704 1 30.0000 0.0000 -
1875.15/1880.27 c 1880 44878 43820 1 30.0000 0.0000 -
1880.33/1885.42 c 1885 45028 43970 1 30.0000 0.0000 -
1885.72/1890.87 c 1891 45177 44119 1 30.0000 0.0000 -
1890.80/1895.99 c 1896 45318 44260 1 30.0000 0.0000 -
1896.09/1901.27 c 1901 45425 44367 1 30.0000 0.0000 -
1901.37/1906.59 c 1907 45561 44503 1 30.0000 0.0500 -
1906.66/1911.81 c 1912 45704 44646 1 30.0000 0.0500 -
1911.85/1917.04 c 1917 45837 44779 1 30.0000 0.0500 -
1917.03/1922.25 c 1922 45971 44913 1 30.0000 0.0500 -
1922.31/1927.52 c 1928 46113 45055 1 30.0000 0.0500 -
1927.50/1932.70 c 1933 46251 45193 1 30.0000 0.0500 -
1932.59/1937.82 c * 1938 46363 45305 1 29.0000 0.0500 -
1932.59/1937.82 c 1938 46363 45305 1 29.0000 0.0500 -
1937.88/1943.11 c 1943 46540 45429 1 29.0000 0.0500 -
1942.96/1948.22 c 1948 46681 45570 1 29.0000 0.0500 -
1948.14/1953.48 c 1953 46777 45666 1 29.0000 0.0500 -
1953.23/1958.52 c 1959 46899 45788 1 29.0000 0.0500 -
1958.32/1963.61 c 1964 47033 45922 1 29.0000 0.0500 -
1963.40/1968.71 c 1969 47157 46046 1 29.0000 0.0500 -
1968.49/1973.87 c 1974 47287 46176 1 29.0000 0.0500 -
1973.69/1979.06 c 1979 47427 46316 1 29.0000 0.0500 -
1979.56/1984.98 c 1985 47578 46465 1 29.0000 0.0833 -
1985.15/1990.57 c 1991 47734 46621 1 29.0000 0.1000 -
1990.64/1996.05 c 1996 47862 46749 1 29.0000 0.1111 -
1995.72/2001.19 c 2001 47997 46884 1 29.0000 0.1111 -
2000.90/2006.34 c 2006 48122 47009 1 29.0000 0.1111 -
2006.29/2011.70 c 2012 48255 47142 1 29.0000 0.1111 -
2011.38/2016.85 c 2017 48381 47260 1 29.0000 0.1111 -
2016.67/2022.15 c 2022 48532 47411 1 29.0000 0.1111 -
2021.75/2027.28 c 2027 48683 47562 1 29.0000 0.1111 -
2027.03/2032.51 c 2033 48835 47714 1 29.0000 0.1111 -
2032.12/2037.68 c 2038 48976 47855 1 29.0000 0.1111 -
2037.41/2042.91 c 2043 49104 47983 1 29.0000 0.1111 -
2042.50/2048.08 c 2048 49229 48108 1 29.0000 0.1111 -
2047.59/2053.17 c 2053 49382 48249 1 29.0000 0.1111 -
2052.87/2058.49 c 2058 49522 48389 1 29.0000 0.1111 -
2058.25/2063.85 c 2064 49658 48525 1 29.0000 0.1111 -
2063.34/2068.99 c 2069 49807 48674 1 29.0000 0.1111 -
2068.52/2074.13 c 2074 49954 48817 1 29.0000 0.1111 -
2073.61/2079.28 c 2079 50100 48963 1 29.0000 0.1250 -
2078.89/2084.59 c 2085 50231 49094 1 29.0000 0.1250 -
2084.88/2090.51 c 2091 50377 49240 1 29.0000 0.1429 -
2089.96/2095.62 c 2096 50509 49372 1 29.0000 0.1429 -
2095.05/2100.76 c 2101 50648 49511 1 29.0000 0.1429 -
2100.23/2105.91 c 2106 50786 49649 1 29.0000 0.1429 -
2105.32/2111.05 c 2111 50910 49773 1 29.0000 0.1429 -
2110.51/2116.27 c 2116 51065 49922 1 29.0000 0.1429 -
2115.69/2121.42 c 2121 51210 50067 1 29.0000 0.1429 -
2120.89/2126.62 c 2127 51349 50206 1 29.0000 0.1429 -
2125.97/2131.79 c 2132 51488 50345 1 29.0000 0.1429 -
2131.26/2137.08 c 2137 51640 50497 1 29.0000 0.1429 -
2136.44/2142.28 c 2142 51783 50640 1 29.0000 0.1429 -
2141.82/2147.63 c 2148 51955 50812 1 29.0000 0.1429 -
2147.01/2152.86 c 2153 52083 50940 1 29.0000 0.1429 -
2152.40/2158.20 c 2158 52213 51070 1 29.0000 0.1429 -
2157.48/2163.30 c 2163 52359 51216 1 29.0000 0.1429 -
2162.67/2168.56 c 2169 52486 51343 1 29.0000 0.1429 -
2167.86/2173.74 c 2174 52620 51477 1 29.0000 0.1429 -
2172.95/2178.82 c 2179 52747 51604 1 29.0000 0.1429 -
2179.03/2184.90 c 2185 52870 51727 1 29.0000 0.1538 -
2184.81/2190.70 c 2191 53038 51895 1 29.0000 0.1667 -
2190.00/2195.95 c 2196 53182 52039 1 29.0000 0.1667 -
2195.28/2201.20 c 2201 53315 52170 1 29.0000 0.1667 -
2200.47/2206.42 c 2206 53446 52301 1 29.0000 0.1667 -
2205.55/2211.59 c 2212 53566 52421 1 29.0000 0.1667 -
2210.94/2216.92 c 2217 53693 52548 1 29.0000 0.1667 -
2216.13/2222.14 c 2222 53818 52671 1 29.0000 0.1667 -
2221.22/2227.25 c 2227 53962 52815 1 29.0000 0.1667 -
2226.30/2232.34 c 2232 54090 52943 1 29.0000 0.1667 -
2231.38/2237.43 c 2237 54225 53078 1 29.0000 0.1667 -
2236.67/2242.73 c 2243 54347 53198 1 29.0000 0.1667 -
2241.86/2247.93 c 2248 54470 53321 1 29.0000 0.1667 -
2247.74/2253.85 c 2254 54595 53446 1 29.0000 0.1667 -
2253.03/2259.13 c 2259 54748 53595 1 29.0000 0.1667 -
2258.91/2265.09 c 2265 54924 53771 1 29.0000 0.1818 -
2264.10/2270.26 c 2270 55065 53912 1 29.0000 0.1818 -
2269.29/2275.44 c 2275 55204 54051 1 29.0000 0.1818 -
2274.37/2280.51 c 2281 55336 54181 1 29.0000 0.1818 -
2280.35/2286.53 c 2287 55509 54354 1 29.0000 0.2000 -
2285.44/2291.67 c 2292 55640 54485 1 29.0000 0.2000 -
2290.62/2296.86 c 2297 55776 54621 1 29.0000 0.2000 -
2295.81/2302.08 c 2302 55926 54765 1 29.0000 0.2000 -
2301.00/2307.21 c 2307 56060 54899 1 29.0000 0.2000 -
2306.09/2312.32 c 2312 56218 55057 1 29.0000 0.2000 -
2311.17/2317.40 c 2317 56362 55201 1 29.0000 0.2000 -
2316.16/2322.48 c 2322 56518 55357 1 29.0000 0.2000 -
2321.65/2327.96 c 2328 56630 55469 1 29.0000 0.2000 -
2326.93/2333.24 c 2333 56772 55611 1 29.0000 0.2000 -
2332.02/2338.39 c 2338 56917 55756 1 29.0000 0.2000 -
2337.30/2343.65 c 2344 57068 55907 1 29.0000 0.2000 -
2342.59/2348.95 c 2349 57211 56050 1 29.0000 0.2000 -
2347.67/2354.10 c 2354 57350 56189 1 29.0000 0.2000 -
2352.96/2359.32 c 2359 57482 56321 1 29.0000 0.2000 -
2358.24/2364.61 c 2365 57598 56437 1 29.0000 0.2000 -
2363.33/2369.78 c 2370 57732 56571 1 29.0000 0.2000 -
2368.52/2374.98 c 2375 57874 56713 1 29.0000 0.2000 -
2373.61/2380.06 c 2380 58030 56869 1 29.0000 0.2000 -
2378.69/2385.19 c 2385 58160 56999 1 29.0000 0.2000 -
2383.88/2390.39 c 2390 58313 57152 1 29.0000 0.2000 -
2389.36/2395.80 c 2396 58463 57302 1 29.0000 0.2000 -
2394.84/2401.34 c 2401 58612 57451 1 29.0000 0.2000 -
2400.13/2406.67 c 2407 58769 57608 1 29.0000 0.2000 -
2405.21/2411.78 c 2412 58904 57743 1 29.0000 0.2000 -
2410.31/2416.89 c 2417 59043 57882 1 29.0000 0.2000 -
2415.60/2422.18 c 2422 59205 58044 1 29.0000 0.2000 -
2420.68/2427.29 c 2427 59335 58174 1 29.0000 0.2000 -
2425.76/2432.37 c 2432 59461 58300 1 29.0000 0.2000 -
2430.85/2437.47 c 2437 59607 58446 1 29.0000 0.2000 -
2436.44/2443.03 c 2443 59757 58596 1 29.0000 0.2000 -
2441.43/2448.08 c 2448 59890 58729 1 29.0000 0.2000 -
2446.61/2453.27 c 2453 60031 58870 1 29.0000 0.2000 -
2452.29/2458.94 c 2459 60197 59036 1 29.0000 0.2143 -
2457.58/2464.20 c 2464 60326 59165 1 29.0000 0.2222 -
2462.86/2469.57 c 2470 60459 59298 1 29.0000 0.2222 -
2468.74/2475.41 c 2475 60634 59473 1 29.0000 0.2500 -
2473.83/2480.55 c 2481 60764 59603 1 29.0000 0.2500 -
2479.11/2485.85 c 2486 60895 59734 1 29.0000 0.2500 -
2484.20/2490.97 c 2491 61037 59876 1 29.0000 0.2500 -
2489.39/2496.10 c 2496 61180 60019 1 29.0000 0.2500 -
2494.57/2501.37 c 2501 61345 60102 1 29.0000 0.2500 -
2496.28/2503.02 c * 2503 61400 60115 1 28.0000 0.2500 -
2499.86/2506.62 c 2507 61604 60094 1 28.0000 0.2500 -
2505.05/2511.85 c 2512 61745 60155 1 28.0000 0.2500 -
2510.14/2516.95 c 2517 61950 60222 1 28.0000 0.2500 -
2515.32/2522.11 c 2522 62118 60390 1 28.0000 0.2500 -
2521.10/2527.91 c 2528 62244 60516 1 28.0000 0.2500 -
2526.20/2533.08 c 2533 62358 60630 1 28.0000 0.2500 -
2531.38/2538.21 c 2538 62511 60783 1 28.0000 0.2500 -
2536.46/2543.33 c 2543 62666 60938 1 28.0000 0.2500 -
2541.55/2548.44 c 2548 62828 61100 1 28.0000 0.2500 -
2546.73/2553.67 c 2554 62956 61228 1 28.0000 0.2500 -
2551.92/2558.89 c 2559 63100 61372 1 28.0000 0.2500 -
2557.11/2564.01 c 2564 63217 61489 1 28.0000 0.2500 -
2562.19/2569.17 c 2569 63385 61655 1 28.0000 0.2500 -
2567.38/2574.36 c 2574 63530 61800 1 28.0000 0.2500 -
2572.66/2579.64 c 2580 63676 61946 1 28.0000 0.2500 -
2578.25/2585.21 c 2585 63821 62089 1 28.0000 0.2500 -
2583.64/2590.62 c 2591 63968 62236 1 28.0000 0.2500 -
2588.72/2595.77 c 2596 64069 62331 1 28.0000 0.2500 -
2593.90/2600.96 c 2601 64216 62478 1 28.0000 0.2500 -
2599.39/2606.42 c 2606 64349 62611 1 28.0000 0.2500 -
2604.87/2611.98 c 2612 64485 62727 1 28.0000 0.2500 -
2609.97/2617.09 c 2617 64632 62874 1 28.0000 0.2500 -
2615.15/2622.27 c 2622 64776 63014 1 28.0000 0.2500 -
2620.33/2627.44 c 2627 64914 63152 1 28.0000 0.2500 -
2625.42/2632.57 c 2633 65099 63281 1 28.0000 0.2500 -
2631.02/2638.14 c 2638 65237 63415 1 28.0000 0.2500 -
2636.10/2643.27 c 2643 65381 63553 1 28.0000 0.2500 -
2641.28/2648.42 c 2648 65534 63706 1 28.0000 0.2500 -
2646.37/2653.59 c 2654 65690 63862 1 28.0000 0.2500 -
2651.65/2658.83 c 2659 65851 64023 1 28.0000 0.2500 -
2656.74/2663.97 c 2664 66005 64175 1 28.0000 0.2500 -
2661.92/2669.18 c 2669 66166 64334 1 28.0000 0.2500 -
2667.31/2674.52 c 2675 66317 64485 1 28.0000 0.2500 -
2672.40/2679.66 c 2680 66489 64657 1 28.0000 0.2500 -
2677.48/2684.75 c 2685 66640 64804 1 28.0000 0.2500 -
2682.66/2689.97 c 2690 66786 64950 1 28.0000 0.2500 -
2687.76/2695.09 c 2695 66936 65100 1 28.0000 0.2500 -
2692.94/2700.25 c 2700 67092 65256 1 28.0000 0.2500 -
2698.13/2705.46 c 2705 67235 65399 1 28.0000 0.2500 -
2703.61/2710.90 c 2711 67305 65465 1 28.0000 0.2500 -
2708.70/2716.02 c 2716 67460 65620 1 28.0000 0.2500 -
2713.79/2721.16 c 2721 67604 65762 1 28.0000 0.2500 -
2718.87/2726.28 c 2726 67746 65902 1 28.0000 0.2500 -
2724.25/2731.61 c 2732 67893 66049 1 28.0000 0.2500 -
2729.44/2736.81 c 2737 68041 66189 1 28.0000 0.2500 -
2734.63/2742.03 c 2742 68173 66319 1 28.0000 0.2500 -
2739.91/2747.39 c 2747 68298 66442 1 28.0000 0.2500 -
2745.19/2752.63 c 2753 68398 66540 1 28.0000 0.2500 -
2750.29/2757.78 c 2758 68552 66680 1 28.0000 0.2500 -
2755.58/2763.04 c 2763 68707 66835 1 28.0000 0.2500 -
2760.76/2768.28 c 2768 68858 66986 1 28.0000 0.2500 -
2766.44/2773.90 c 2774 68957 67085 1 28.0000 0.2500 -
2771.53/2779.05 c 2779 69099 67227 1 28.0000 0.2500 -
2776.71/2784.20 c 2784 69267 67385 1 28.0000 0.2500 -
2781.90/2789.47 c 2789 69413 67531 1 28.0000 0.2500 -
2786.98/2794.55 c 2795 69550 67668 1 28.0000 0.2500 -
2792.17/2799.72 c 2800 69706 67824 1 28.0000 0.2500 -
2797.25/2804.82 c 2805 69851 67969 1 28.0000 0.2500 -
2802.34/2809.96 c 2810 69986 68104 1 28.0000 0.2727 -
2807.54/2815.11 c 2815 70162 68280 1 28.0000 0.2727 -
2813.21/2820.87 c 2821 70341 68459 1 28.0000 0.2857 -
2818.40/2826.04 c 2826 70504 68622 1 28.0000 0.2857 -
2823.49/2831.14 c 2831 70666 68784 1 28.0000 0.2857 -
2828.57/2836.28 c 2836 70821 68939 1 28.0000 0.2857 -
2834.05/2841.70 c 2842 70963 69081 1 28.0000 0.2857 -
2839.14/2846.80 c 2847 71119 69237 1 28.0000 0.2857 -
2844.23/2851.92 c 2852 71276 69394 1 28.0000 0.2857 -
2849.32/2857.07 c 2857 71422 69540 1 28.0000 0.2857 -
2854.50/2862.20 c 2862 71573 69691 1 28.0000 0.2857 -
2859.49/2867.22 c 2867 71721 69839 1 28.0000 0.3000 -
2864.67/2872.40 c 2872 71837 69955 1 28.0000 0.3000 -
2870.46/2878.26 c 2878 71963 70077 1 28.0000 0.3095 -
2876.24/2884.06 c 2884 72160 70274 1 28.0000 0.3333 -
2881.53/2889.32 c 2889 72331 70445 1 28.0000 0.3333 -
2886.62/2894.43 c 2894 72523 70621 1 28.0000 0.3333 -
2891.70/2899.56 c 2900 72708 70806 1 28.0000 0.3333 -
2897.08/2904.91 c 2905 72874 70966 1 28.0000 0.3333 -
2902.27/2910.13 c 2910 73049 71133 1 28.0000 0.3333 -
2907.46/2915.32 c 2915 73220 71304 1 28.0000 0.3333 -
2912.65/2920.52 c 2921 73379 71463 1 28.0000 0.3333 -
2917.83/2925.74 c 2926 73487 71571 1 28.0000 0.3333 -
2923.22/2931.15 c 2931 73592 71676 1 28.0000 0.3333 -
2928.80/2936.76 c 2937 73697 71781 1 28.0000 0.3333 -
2934.09/2942.02 c 2942 73821 71905 1 28.0000 0.3333 -
2939.18/2947.17 c 2947 73959 72043 1 28.0000 0.3333 -
2944.36/2952.39 c 2952 74073 72157 1 28.0000 0.3333 -
2950.25/2958.24 c 2958 74195 72279 1 28.0000 0.3333 -
2955.83/2963.89 c 2964 74282 72366 1 28.0000 0.3333 -
2961.91/2969.90 c 2970 74382 72466 1 28.0000 0.3333 -
2967.10/2975.12 c 2975 74522 72606 1 28.0000 0.3333 -
2972.28/2980.33 c 2980 74679 72751 1 28.0000 0.3333 -
2977.37/2985.47 c 2985 74831 72895 1 28.0000 0.3333 -
2983.15/2991.28 c 2991 74997 73061 1 28.0000 0.3333 -
2988.24/2996.39 c 2996 75163 73227 1 28.0000 0.3333 -
2993.42/3001.58 c 3002 75319 73383 1 28.0000 0.3333 -
2999.21/3007.39 c 3007 75447 73511 1 28.0000 0.3333 -
3004.30/3012.48 c 3012 75601 73665 1 28.0000 0.3333 -
3009.48/3017.62 c 3018 75760 73824 1 28.0000 0.3333 -
3014.77/3022.92 c 3023 75919 73983 1 28.0000 0.3333 -
3019.86/3028.04 c 3028 76071 74135 1 28.0000 0.3333 -
3025.04/3033.27 c 3033 76223 74287 1 28.0000 0.3333 -
3030.23/3038.48 c 3038 76387 74451 1 28.0000 0.3333 -
3035.41/3043.63 c 3044 76534 74598 1 28.0000 0.3333 -
3041.00/3049.20 c 3049 76645 74707 1 28.0000 0.3333 -
3046.19/3054.47 c 3054 76791 74853 1 28.0000 0.3333 -
3051.47/3059.77 c 3060 76994 75056 1 28.0000 0.3333 -
3056.76/3065.09 c 3065 77125 75183 1 28.0000 0.3333 -
3062.14/3070.47 c 3070 77275 75331 1 28.0000 0.3333 -
3067.43/3075.70 c 3076 77434 75490 1 28.0000 0.3333 -
3072.42/3080.79 c 3081 77585 75637 1 28.0000 0.3333 -
3077.50/3085.88 c 3086 77759 75811 1 28.0000 0.3333 -
3082.59/3090.97 c 3091 77929 75981 1 28.0000 0.3333 -
3087.78/3096.19 c 3096 78050 76102 1 28.0000 0.3333 -
3092.96/3101.33 c 3101 78205 76257 1 28.0000 0.3333 -
3098.35/3106.74 c 3107 78359 76411 1 28.0000 0.3333 -
3103.43/3111.86 c 3112 78500 76552 1 28.0000 0.3333 -
3108.72/3117.11 c 3117 78658 76710 1 28.0000 0.3333 -
3113.80/3122.26 c 3122 78819 76871 1 28.0000 0.3333 -
3118.88/3127.39 c 3127 78981 77031 1 28.0000 0.3333 -
3124.07/3132.55 c 3133 79138 77188 1 28.0000 0.3333 -
3129.26/3137.75 c 3138 79291 77341 1 28.0000 0.3333 -
3134.34/3142.84 c 3143 79452 77502 1 28.0000 0.3333 -
3139.44/3147.93 c 3148 79612 77660 1 28.0000 0.3333 -
3144.63/3153.14 c 3153 79775 77823 1 28.0000 0.3333 -
3149.71/3158.24 c 3158 79931 77979 1 28.0000 0.3333 -
3154.89/3163.41 c 3163 80066 78114 1 28.0000 0.3333 -
3159.98/3168.52 c 3169 80200 78248 1 28.0000 0.3333 -
3165.08/3173.62 c 3174 80359 78403 1 28.0000 0.3333 -
3170.26/3178.80 c 3179 80525 78567 1 28.0000 0.3333 -
3175.35/3183.98 c 3184 80723 78765 1 28.0000 0.3333 -
3180.54/3189.11 c 3189 80887 78929 1 28.0000 0.3333 -
3186.02/3194.62 c 3195 81034 79076 1 28.0000 0.3333 -
3191.21/3199.83 c 3200 81197 79239 1 28.0000 0.3333 -
3196.31/3204.90 c 3205 81348 79390 1 28.0000 0.3333 -
3201.29/3209.99 c 3210 81517 79559 1 28.0000 0.3333 -
3206.39/3215.06 c 3215 81646 79688 1 28.0000 0.3333 -
3211.86/3220.52 c 3221 81792 79828 1 28.0000 0.3333 -
3217.05/3225.73 c 3226 81982 80018 1 28.0000 0.3333 -
3222.14/3230.83 c 3231 82142 80178 1 28.0000 0.3333 -
3227.22/3235.93 c 3236 82315 80351 1 28.0000 0.3333 -
3232.52/3241.25 c 3241 82498 80534 1 28.0000 0.3333 -
3237.71/3246.42 c 3246 82664 80700 1 28.0000 0.3333 -
3242.79/3251.57 c 3252 82842 80878 1 28.0000 0.3333 -
3248.08/3256.88 c 3257 83019 81055 1 28.0000 0.3333 -
3253.17/3261.99 c 3262 83177 81213 1 28.0000 0.3333 -
3258.36/3267.11 c 3267 83349 81385 1 28.0000 0.3333 -
3263.35/3272.18 c 3272 83535 81571 1 28.0000 0.3333 -
3268.53/3277.38 c 3277 83666 81688 1 28.0000 0.3333 -
3273.82/3282.68 c 3283 83814 81836 1 28.0000 0.3333 -
3279.01/3287.81 c 3288 83963 81985 1 28.0000 0.3333 -
3284.09/3292.92 c 3293 84152 82168 1 28.0000 0.3333 -
3289.19/3298.00 c 3298 84302 82318 1 28.0000 0.3333 -
3294.37/3303.20 c 3303 84499 82511 1 28.0000 0.3333 -
3299.56/3308.46 c 3308 84631 82603 1 28.0000 0.3333 -
3304.74/3313.60 c 3314 84792 82764 1 28.0000 0.3333 -
3310.24/3319.15 c 3319 84959 82931 1 28.0000 0.3333 -
3315.32/3324.26 c 3324 85144 83116 1 28.0000 0.3333 -
3320.41/3329.38 c 3329 85313 83285 1 28.0000 0.3333 -
3325.60/3334.51 c 3335 85455 83427 1 28.0000 0.3333 -
3330.79/3339.73 c 3340 85582 83554 1 28.0000 0.3333 -
3336.08/3345.06 c 3345 85735 83707 1 28.0000 0.3333 -
3341.17/3350.18 c 3350 85878 83850 1 28.0000 0.3333 -
3346.35/3355.31 c 3355 86021 83993 1 28.0000 0.3333 -
3351.54/3360.52 c 3361 86167 84139 1 28.0000 0.3333 -
3356.63/3365.64 c 3366 86325 84297 1 28.0000 0.3333 -
3361.72/3370.79 c 3371 86498 84470 1 28.0000 0.3333 -
3366.80/3375.87 c 3376 86693 84663 1 28.0000 0.3333 -
3372.00/3381.04 c 3381 86878 84848 1 28.0000 0.3333 -
3377.08/3386.12 c 3386 87069 85039 1 28.0000 0.3333 -
3382.16/3391.24 c 3391 87256 85226 1 28.0000 0.3333 -
3387.26/3396.31 c 3396 87442 85412 1 28.0000 0.3333 -
3392.25/3401.37 c 3401 87619 85589 1 28.0000 0.3333 -
3397.43/3406.58 c 3407 87795 85761 1 28.0000 0.3333 -
3402.52/3411.69 c 3412 87934 85900 1 28.0000 0.3333 -
3407.61/3416.78 c 3417 88093 86059 1 28.0000 0.3333 -
3412.69/3421.85 c 3422 88271 86237 1 28.0000 0.3333 -
3417.88/3427.04 c 3427 88440 86406 1 28.0000 0.3333 -
3422.98/3432.13 c 3432 88553 86519 1 28.0000 0.3333 -
3428.06/3437.23 c 3437 88663 86629 1 28.0000 0.3333 -
3433.44/3442.60 c 3443 88797 86763 1 28.0000 0.3333 -
3438.52/3447.76 c 3448 88930 86896 1 28.0000 0.3333 -
3443.61/3452.84 c 3453 89069 87033 1 28.0000 0.3333 -
3448.71/3457.99 c 3458 89213 87177 1 28.0000 0.3333 -
3453.90/3463.10 c 3463 89364 87328 1 28.0000 0.3333 -
3459.08/3468.33 c 3468 89515 87477 1 28.0000 0.3333 -
3464.17/3473.47 c 3473 89678 87640 1 28.0000 0.3333 -
3469.26/3478.59 c 3479 89855 87817 1 28.0000 0.3333 -
3474.45/3483.78 c 3484 90016 87978 1 28.0000 0.3333 -
3479.63/3488.96 c 3489 90175 88137 1 28.0000 0.3333 -
3484.73/3494.04 c 3494 90349 88303 1 28.0000 0.3333 -
3489.81/3499.15 c 3499 90496 88446 1 28.0000 0.3333 -
3495.00/3504.35 c 3504 90701 88651 1 28.0000 0.3333 -
3500.29/3509.61 c 3510 90806 88752 1 28.0000 0.3333 -
3503.29/3512.69 c * 3513 90879 88821 1 27.0000 0.3333 -
3503.49/3512.82 c * 3513 90879 88821 1 26.0000 0.3333 -
3503.49/3512.89 c * 3513 90879 88821 1 25.0000 0.3333 -
3505.58/3514.98 c 3515 90935 88012 1 25.0000 0.3333 -
3509.78/3519.17 c * 3519 91081 88152 1 24.0000 0.3333 -
3511.06/3520.47 c 3520 91101 87592 1 24.0000 0.3333 -
3516.15/3525.59 c 3526 91261 87750 1 24.0000 0.3333 -
3521.65/3531.05 c 3531 91462 87947 1 24.0000 0.3333 -
3526.84/3536.24 c 3536 91666 88151 1 24.0000 0.3333 -
3532.02/3541.46 c 3541 91852 88335 1 24.0000 0.3333 -
3537.31/3546.76 c 3547 92025 88508 1 24.0000 0.3333 -
3542.60/3552.00 c 3552 92173 88644 1 24.0000 0.3333 -
3547.78/3557.25 c 3557 92324 88795 1 24.0000 0.3333 -
3552.97/3562.44 c 3562 92470 88939 1 24.0000 0.3333 -
3557.97/3567.48 c 3567 92640 89103 1 24.0000 0.3333 -
3563.86/3573.31 c 3573 92773 89236 1 24.0000 0.3333 -
3568.94/3578.44 c 3578 92941 89402 1 24.0000 0.3333 -
3574.03/3583.55 c 3584 93084 89545 1 24.0000 0.3333 -
3579.12/3588.63 c 3589 93242 89701 1 24.0000 0.3333 -
3584.51/3594.02 c 3594 93378 89823 1 24.0000 0.3333 -
3588.60/3598.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.60/3598.17 c Total Time : 3598.1700
3588.60/3598.17 c solving : 3598.1700
3588.60/3598.17 c presolving : 2.7720 (included in solving)
3588.60/3598.17 c B&B Tree :
3588.60/3598.17 c nodes (total) : 1
3588.60/3598.17 c Solution :
3588.60/3598.17 c Solutions found : 23
3588.60/3598.17 c Primal Bound : +2.40000000000000e+01
3588.60/3598.17 c Dual Bound : +3.75000000000000e-01
3588.60/3598.17 c Gap : 6300.00000 %
3588.60/3598.17 c * Warning: final gap: 6.30000e+01 is greater than SCIPepsilon: 1.00000e-09
3588.60/3598.18 o 24
3588.60/3598.18 s SATISFIABLE
3588.60/3598.18 v -x500 -x499 x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479
3588.60/3598.18 v -x478 x477 -x476 -x475 x474 -x473 x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457
3588.60/3598.18 v -x456 -x455 -x454 x453 -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 x439 -x438 -x437 -x436 x435
3588.60/3598.18 v -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 x417 -x416 -x415 x414 -x413
3588.60/3598.18 v -x412 x411 -x410 -x409 x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392
3588.60/3598.18 v -x391 x390 -x389 -x388 -x387 -x386 x385 -x384 x383 -x382 -x381 -x380 x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 x371 -x370
3588.60/3598.18 v -x369 -x368 -x367 -x366 x365 -x364 -x363 x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 x348
3588.60/3598.18 v -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 x326
3588.60/3598.18 v -x325 -x324 -x323 -x322 x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 x306 -x305
3588.60/3598.18 v -x304 -x303 -x302 x301 -x300 -x299 -x298 x297 x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 x287 -x286 -x285 -x284 -x283
3588.60/3598.18 v -x282 x281 -x280 -x279 x278 -x277 -x276 -x275 x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 x263 -x262 -x261
3588.60/3598.18 v x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239
3588.60/3598.18 v -x238 x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218
3588.60/3598.18 v x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 x196
3588.60/3598.18 v -x195 -x194 -x193 -x192 -x191 -x190 x189 x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 x174
3588.60/3598.18 v -x173 -x172 -x171 x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152
3588.60/3598.18 v -x151 x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 x138 -x137 x136 -x135 -x134 -x133 -x132 -x131
3588.60/3598.18 v -x130 x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 x113 -x112 x111 -x110 -x109
3588.60/3598.18 v x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 x92 -x91 -x90 -x89 x88 -x87 -x86 -x85
3588.60/3598.18 v -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 x63 -x62 -x61 x60 -x59 -x58
3588.60/3598.18 v -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 x33 -x32
3588.60/3598.18 v -x31 x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5
3588.60/3598.18 v x4 -x3 -x2 -x1
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: 63968 MiB (63085 MiB free)
memory of node 1: 64473 MiB (59112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464934-1722390245/watcher-4464934-1722390245 -o /tmp/evaluation-result-4464934-1722390245/solver-4464934-1722390245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722390164-38643 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464934-1722390245.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=39238, runsolver pid=39235
[startup+0.100852 s]*
/proc/loadavg: 3.21 2.28 2.88 5/259 39239
/proc/meminfo: memFree=125100896/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=51520 memory=39952 CPUtime=0.09 cores=4,6
/proc/39238/stat : 39238 (fscip) R 39235 39238 38632 0 -1 4194304 7580 0 0 0 8 1 0 0 20 0 1 0 5626767 52756480 9988 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 12880 9988 2662 3035 0 9276 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51520 KiB
Current children cumulated memory: 39952 KiB
[startup+0.205835 s]*
/proc/loadavg: 3.21 2.28 2.88 5/259 39239
/proc/meminfo: memFree=125100560/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=51772 memory=39952 CPUtime=0.2 cores=4,6
/proc/39238/stat : 39238 (fscip) R 39235 39238 38632 0 -1 4194304 7612 0 0 0 19 1 0 0 20 0 1 0 5626767 53014528 9988 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 12943 9988 2662 3035 0 9339 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51772 KiB
Current children cumulated memory: 39952 KiB
[startup+0.305847 s]*
/proc/loadavg: 3.21 2.28 2.88 5/259 39239
/proc/meminfo: memFree=125100372/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=52028 memory=40216 CPUtime=0.29 cores=4,6
/proc/39238/stat : 39238 (fscip) R 39235 39238 38632 0 -1 4194304 7676 0 0 0 28 1 0 0 20 0 1 0 5626767 53276672 10054 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 13007 10054 2662 3035 0 9403 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52028 KiB
Current children cumulated memory: 40216 KiB
[startup+0.700246 s]
/proc/loadavg: 3.21 2.28 2.88 5/259 39239
/proc/meminfo: memFree=125099560/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=52544 memory=40744 CPUtime=0.68 cores=4,6
/proc/39238/stat : 39238 (fscip) R 39235 39238 38632 0 -1 4194304 7804 0 0 0 67 1 0 0 20 0 1 0 5626767 53805056 10186 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 13136 10186 2662 3035 0 9532 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52544 KiB
Current children cumulated memory: 40744 KiB
[startup+1.50025 s]
/proc/loadavg: 3.21 2.28 2.88 5/259 39239
/proc/meminfo: memFree=125098524/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=53572 memory=41800 CPUtime=1.48 cores=4,6
/proc/39238/stat : 39238 (fscip) R 39235 39238 38632 0 -1 4194304 8060 0 0 0 147 1 0 0 20 0 1 0 5626767 54857728 10450 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 13393 10450 2662 3035 0 9789 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53572 KiB
Current children cumulated memory: 41800 KiB
[startup+3.10585 s]
/proc/loadavg: 3.21 2.28 2.88 5/261 39241
/proc/meminfo: memFree=125055568/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=155032 memory=86580 CPUtime=3.07 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 20728 0 0 0 305 2 0 0 20 0 3 0 5626767 158752768 21645 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 38758 21645 2950 3035 0 26731 0
[pid=39238/tid=39240] ppid=39235 vsize=155032 memory=42856 CPUtime=0.29 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 9953 0 0 0 28 1 0 0 20 0 3 0 5627047 158752768 21645 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=155032 memory=0 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5627049 158752768 21645 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 155032 KiB
Current children cumulated memory: 86580 KiB
[startup+6.30025 s]
/proc/loadavg: 3.35 2.33 2.89 5/261 39241
/proc/meminfo: memFree=124998908/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=230744 memory=140240 CPUtime=6.24 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 46945 0 0 0 619 5 0 0 20 0 3 0 5626767 236281856 35060 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 57686 35060 3014 3035 0 41478 0
[pid=39238/tid=39240] ppid=39235 vsize=230744 memory=0 CPUtime=3.45 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 35560 0 0 0 342 3 0 0 20 0 3 0 5627047 236281856 35060 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=230744 memory=41800 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5627049 236281856 35060 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 230744 KiB
Current children cumulated memory: 140240 KiB
[startup+12.7003 s]
/proc/loadavg: 3.41 2.36 2.90 5/261 39243
/proc/meminfo: memFree=124978288/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=230744 memory=158352 CPUtime=12.63 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 65055 0 0 0 1255 8 0 0 20 0 3 0 5626767 236281856 39588 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 57686 39588 3014 3035 0 46836 0
[pid=39238/tid=39240] ppid=39235 vsize=230744 memory=0 CPUtime=9.84 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 53615 0 0 0 978 6 0 0 20 0 3 0 5627047 236281856 39588 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=230744 memory=158352 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5627049 236281856 39588 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 230744 KiB
Current children cumulated memory: 158352 KiB
[startup+25.5002 s]
/proc/loadavg: 3.54 2.44 2.91 5/263 39247
/proc/meminfo: memFree=124779536/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=230744 memory=163208 CPUtime=25.39 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 126043 0 0 0 2528 11 0 0 20 0 3 0 5626767 236281856 40802 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 57686 40802 3014 3035 0 47913 0
[pid=39238/tid=39240] ppid=39235 vsize=230744 memory=163168 CPUtime=22.6 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 112726 0 0 0 2251 9 0 0 20 0 3 0 5627047 236281856 40802 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=230744 memory=160384 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5627049 236281856 40802 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 230744 KiB
Current children cumulated memory: 163208 KiB
[startup+51.105 s]
/proc/loadavg: 3.78 2.58 2.95 6/263 39251
/proc/meminfo: memFree=124710956/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=299112 memory=189716 CPUtime=50.92 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 197250 0 0 0 5076 16 0 0 20 0 3 0 5626767 306290688 47429 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 74778 47429 3014 3035 0 57785 0
[pid=39238/tid=39240] ppid=39235 vsize=299112 memory=187044 CPUtime=48.13 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 183274 0 0 0 4799 14 0 0 20 0 3 0 5627047 306290688 47429 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=299112 memory=11728 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5627049 306290688 47429 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 299112 KiB
Current children cumulated memory: 189716 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 2.83 3.02 5/263 39262
/proc/meminfo: memFree=124395632/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=366696 memory=253932 CPUtime=101.99 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 296580 0 0 0 10174 25 0 0 20 0 3 0 5626767 375496704 63483 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 91674 63483 3014 3035 0 72734 0
[pid=39238/tid=39240] ppid=39235 vsize=366696 memory=-7521974019224068477 CPUtime=99.18 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 281922 0 0 0 9896 22 0 0 20 0 3 0 5627047 375496704 63483 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=366696 memory=252416 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5627049 375496704 63483 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 366696 KiB
Current children cumulated memory: 253932 KiB
[startup+162.3 s]
/proc/loadavg: 3.46 2.89 3.02 4/254 39303
/proc/meminfo: memFree=124882720/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=367672 memory=255780 CPUtime=161.85 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 328791 0 0 0 16157 28 0 0 20 0 3 0 5626767 376496128 63945 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 91918 63945 3014 3035 0 72978 0
[pid=39238/tid=39240] ppid=39235 vsize=367672 memory=254656 CPUtime=159.04 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 313537 0 0 0 15879 25 0 0 20 0 3 0 5627047 376496128 63945 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=367672 memory=255772 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5627049 376496128 63945 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 367672 KiB
Current children cumulated memory: 255780 KiB
[startup+222.3 s]
/proc/loadavg: 3.03 2.88 3.01 3/245 39344
/proc/meminfo: memFree=125363896/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=370256 memory=260048 CPUtime=221.69 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 364806 0 0 0 22139 30 0 0 20 0 3 0 5626767 379142144 65012 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 92564 65012 3318 3035 0 73624 0
[pid=39238/tid=39240] ppid=39235 vsize=370256 memory=258268 CPUtime=218.89 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 349496 0 0 0 21861 28 0 0 20 0 3 0 5627047 379142144 65012 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=370256 memory=259660 CPUtime=0 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5627049 379142144 65012 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 370256 KiB
Current children cumulated memory: 260048 KiB
[startup+282.3 s]
/proc/loadavg: 2.52 2.75 2.95 3/244 39355
/proc/meminfo: memFree=125356184/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=370256 memory=261008 CPUtime=281.54 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 379775 0 0 0 28122 32 0 0 20 0 3 0 5626767 379142144 65252 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
################
# More data... #
################
/proc/39238/statm: 156780 147058 3318 3035 0 151026 0
[pid=39238/tid=39240] ppid=39235 vsize=627120 memory=1904 CPUtime=3450.1 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2331561 0 0 0 344809 201 0 0 20 0 3 0 5627047 642170880 147058 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=627120 memory=100 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 5627049 642170880 147058 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 627120 KiB
Current children cumulated memory: 588232 KiB
[startup+3522.3 s]
/proc/loadavg: 2.07 2.11 2.16 3/246 41132
/proc/meminfo: memFree=124562980/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=692656 memory=598296 CPUtime=3512.96 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2362307 0 0 0 351084 212 0 0 20 0 3 0 5626767 709279744 149574 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 173164 149574 3318 3035 0 153286 0
[pid=39238/tid=39240] ppid=39235 vsize=692656 memory=589132 CPUtime=3509.96 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2343149 0 0 0 350794 202 0 0 20 0 3 0 5627047 709279744 149574 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=692656 memory=11728 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 5627049 709279744 149574 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 692656 KiB
Current children cumulated memory: 598296 KiB
[startup+3582.3 s]
/proc/loadavg: 1.58 1.96 2.10 2/237 41172
/proc/meminfo: memFree=129461752/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=692656 memory=601828 CPUtime=3572.83 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2371230 0 0 0 357069 214 0 0 20 0 3 0 5626767 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 173164 150457 3318 3035 0 153728 0
[pid=39238/tid=39240] ppid=39235 vsize=692656 memory=11728 CPUtime=3569.83 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2352045 0 0 0 356779 204 0 0 20 0 3 0 5627047 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=692656 memory=601828 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 692656 KiB
Current children cumulated memory: 601828 KiB
[startup+3598.19 s]
# the end of solver process 39238 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.54 s, system=2.15594 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.58 1.96 2.10 2/237 41172
/proc/meminfo: memFree=129461752/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=692656 memory=601828 CPUtime=3574.54 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2371301 0 0 0 357240 214 0 0 20 0 3 0 5626767 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 173164 150457 3318 3035 0 153728 0
[pid=39238/tid=39240] ppid=39235 vsize=692656 memory=-7521974019224068477 CPUtime=3571.53 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2352116 0 0 0 356949 204 0 0 20 0 3 0 5627047 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=692656 memory=7686721470264483783 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 692656 KiB
Current children cumulated memory: 601828 KiB
[startup+3590.4 s]
/proc/loadavg: 1.49 1.93 2.09 2/237 41174
/proc/meminfo: memFree=129461696/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=692656 memory=601828 CPUtime=3580.92 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2371379 0 0 0 357878 214 0 0 20 0 3 0 5626767 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 173164 150457 3318 3035 0 153728 0
[pid=39238/tid=39240] ppid=39235 vsize=692656 memory=601828 CPUtime=3577.91 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2352194 0 0 0 357587 204 0 0 20 0 3 0 5627047 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=692656 memory=7686721470264483783 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 709279744 150457 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 692656 KiB
Current children cumulated memory: 601828 KiB
[startup+3593.6 s]
/proc/loadavg: 1.49 1.93 2.09 2/237 41174
/proc/meminfo: memFree=129461704/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=701360 memory=601932 CPUtime=3584.11 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2371571 0 0 0 358197 214 0 0 20 0 3 0 5626767 718192640 150483 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 175340 150483 3318 3035 0 155904 0
[pid=39238/tid=39240] ppid=39235 vsize=701360 memory=11728 CPUtime=3581.11 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2352386 0 0 0 357907 204 0 0 20 0 3 0 5627047 718192640 150483 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=701360 memory=601828 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 718192640 150483 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 601932 KiB
[startup+3595.2 s]
/proc/loadavg: 1.45 1.91 2.08 2/237 41175
/proc/meminfo: memFree=129461356/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=701360 memory=602044 CPUtime=3585.71 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2371662 0 0 0 358357 214 0 0 20 0 3 0 5626767 718192640 150511 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 175340 150511 3318 3035 0 155904 0
[pid=39238/tid=39240] ppid=39235 vsize=701360 memory=12796 CPUtime=3582.7 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2352477 0 0 0 358066 204 0 0 20 0 3 0 5627047 718192640 150511 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=701360 memory=-7521974019224068477 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 718192640 150511 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 602044 KiB
[startup+3596.8 s]
/proc/loadavg: 1.45 1.91 2.08 2/237 41175
/proc/meminfo: memFree=129461364/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=701360 memory=602048 CPUtime=3587.3 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2371765 0 0 0 358516 214 0 0 20 0 3 0 5626767 718192640 150512 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 175340 150512 3318 3035 0 155904 0
[pid=39238/tid=39240] ppid=39235 vsize=701360 memory=601828 CPUtime=3584.3 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2352580 0 0 0 358226 204 0 0 20 0 3 0 5627047 718192640 150512 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=701360 memory=11728 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 718192640 150512 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 602048 KiB
[startup+3597.6 s]
/proc/loadavg: 1.45 1.91 2.08 2/237 41175
/proc/meminfo: memFree=129461356/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=701360 memory=602228 CPUtime=3588.1 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2372502 0 0 0 358596 214 0 0 20 0 3 0 5626767 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 175340 150557 3318 3035 0 155904 0
[pid=39238/tid=39240] ppid=39235 vsize=701360 memory=12796 CPUtime=3585.1 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2353317 0 0 0 358306 204 0 0 20 0 3 0 5627047 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=701360 memory=6748 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3588.1 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 602228 KiB
[startup+3598 s]*
/proc/loadavg: 1.45 1.91 2.08 2/237 41175
/proc/meminfo: memFree=129461320/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=701360 memory=602228 CPUtime=3588.5 cores=4,6
/proc/39238/stat : 39238 (fscip) R 39235 39238 38632 0 -1 1077936128 2372909 0 0 0 358636 214 0 0 20 0 3 0 5626767 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 175340 150557 3318 3035 0 155904 0
[pid=39238/tid=39240] ppid=39235 vsize=701360 memory=-6514566174426108258 CPUtime=3585.5 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2353740 0 0 0 358346 204 0 0 20 0 3 0 5627047 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=701360 memory=7686721470264483783 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 602228 KiB
[startup+3598.11 s]
/proc/loadavg: 1.45 1.91 2.08 2/237 41175
/proc/meminfo: memFree=129461320/131524600 swapFree=131071996/131071996
[pid=39238] ppid=39235 vsize=701360 memory=602228 CPUtime=3588.6 cores=4,6
/proc/39238/stat : 39238 (fscip) S 39235 39238 38632 0 -1 1077936128 2378535 0 0 0 358646 214 0 0 20 0 3 0 5626767 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
/proc/39238/statm: 175340 150557 3318 3035 0 155904 0
[pid=39238/tid=39240] ppid=39235 vsize=701360 memory=598032 CPUtime=3585.6 cores=4,6
/proc/39238/task/39240/stat : 39240 (fscip) R 39235 39238 38632 0 -1 4194368 2359339 0 0 0 358356 204 0 0 20 0 3 0 5627047 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
[pid=39238/tid=39241] ppid=39235 vsize=701360 memory=7240 CPUtime=0.02 cores=4,6
/proc/39238/task/39241/stat : 39241 (fscip) S 39235 39238 38632 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 5627049 718192640 150557 134679101440 4194304 16623229 140734185562848 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 31490048 140734185567252 140734185567368 140734185567368 140734185574384 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 602228 KiB
Child status: 0
Real time (s): 3598.19
CPU time (s): 3588.7
CPU user time (s): 3586.54
CPU system time (s): 2.15594
CPU usage (%): 99.7363
Max. virtual memory (cumulated for all children) (KiB): 701360
Max. memory (cumulated for all children) (KiB): 602228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.54
system time used= 2.15594
maximum resident set size= 602228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2380175
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= 10675
involuntary context switches= 2681
# summary of solver processes directly reported to runsolver:
# pid: 39238
# total CPU time (s): 3588.7
# total CPU user time (s): 3586.54
# total CPU system time (s): 2.15594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36473 second user time and 15.5272 second system time
The end
Begin job on nodeC033 at 2024-07-31 03:44:05
IDJOB=4464934
IDBENCH=144120
IDSOLVER=3093
FILE ID=nodeC033/4464934-1722390245
RUNJOBID= nodeC033-1722390164-38643
SLURM_JOB_ID= 8249872
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-dsjc125-1-4_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464934-1722390245/watcher-4464934-1722390245 -o /tmp/evaluation-result-4464934-1722390245/solver-4464934-1722390245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722390164-38643 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464934-1722390245.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a9eb458ba5998baf9d85c7a824f8669
RANDOM SEED=69494836
nodeC033.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 : 3671.188
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.99
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 : 3688.674
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.79
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 : 3606.375
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.99
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.259
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.79
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 : 3673.668
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.99
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 : 3688.690
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.79
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 : 3665.278
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.99
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 : 3600.187
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125130868 kB
MemAvailable: 124978552 kB
Buffers: 109748 kB
Cached: 573756 kB
SwapCached: 0 kB
Active: 293248 kB
Inactive: 5617740 kB
Active(anon): 1568 kB
Inactive(anon): 5247284 kB
Active(file): 291680 kB
Inactive(file): 370456 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28332 kB
Writeback: 0 kB
AnonPages: 5227564 kB
Mapped: 121436 kB
Shmem: 21336 kB
KReclaimable: 50744 kB
Slab: 132224 kB
SReclaimable: 50744 kB
SUnreclaim: 81480 kB
KernelStack: 4120 kB
PageTables: 19324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3891012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 612352 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: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-31 04:44:03