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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 27127808, getVmSize() = 27127808, SCIPgetMemUsed() = 4032175, SCIPgetMemTotal() = 5507223, SCIPgetMemExternEstim() = 2944118
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 20206933, getVmSize() = 33492992, SCIPgetMemUsed() = 5509606, SCIPgetMemTotal() = 10345246, SCIPgetMemExternEstim() = 2944118
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4464558-1722390441
0.00/0.04 c Variables : 171 (171 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 2799
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 171 (171 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 2799
0.00/0.04 c Constraints : Number
0.00/0.04 c setppc : 9
0.00/0.04 c logicor : 2790
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.07 c * 0 0 1 1 9.0000 - -
0.00/0.07 c * 0 0 1 1 8.0000 - -
0.00/0.08 c * 0 0 1 1 4.0000 - -
5.28/5.31 c 5 509 402 1 4.0000 0.0000 -
11.26/11.35 c 11 1587 294 1 4.0000 0.0000 -
16.34/16.44 c 16 2594 1151 1 4.0000 0.0000 -
21.43/21.54 c 22 3883 2009 1 4.0000 0.0000 -
26.51/26.60 c 27 5042 2827 1 4.0000 0.0000 -
31.60/31.73 c 32 6674 3998 1 4.0000 0.0000 -
36.69/36.83 c 37 8713 5322 1 4.0000 0.0000 -
41.77/41.98 c 42 10728 6564 1 4.0000 0.0000 -
46.86/47.05 c 47 12658 7724 1 4.0000 0.0000 -
51.95/52.13 c 52 14334 8776 1 4.0000 0.0000 -
57.03/57.20 c 57 16868 10076 1 4.0000 0.0000 -
62.32/62.51 c 63 18529 11054 1 4.0000 0.0000 -
67.39/67.61 c 68 20475 12173 1 4.0000 0.0000 -
72.68/72.92 c 73 22633 13452 1 4.0000 0.0000 -
77.77/78.09 c 78 24930 14800 1 4.0000 0.0000 -
82.85/83.15 c 83 27110 15961 1 4.0000 0.0000 -
87.93/88.24 c 88 29204 17024 1 4.0000 0.0000 -
93.02/93.32 c 93 32108 18647 1 4.0000 0.0000 -
98.01/98.39 c 98 34282 19693 1 4.0000 0.0000 -
103.20/103.52 c 104 36314 20677 1 4.0000 0.0000 -
108.38/108.76 c 109 38300 21516 1 4.0000 0.0000 -
113.47/113.85 c 114 40465 22432 1 4.0000 0.0000 -
118.54/118.97 c 119 42262 23229 1 4.0000 0.0000 -
123.83/124.24 c 124 44542 24354 1 4.0000 0.0000 -
128.91/129.30 c 129 46824 25419 1 4.0000 0.0000 -
133.99/134.43 c 134 49009 26455 1 4.0000 0.0000 -
139.07/139.53 c 140 50683 27302 1 4.0000 0.0000 -
144.17/144.60 c 145 52886 28312 1 4.0000 0.0000 -
149.25/149.74 c 150 54471 29084 1 4.0000 0.0000 -
154.33/154.84 c 155 56188 29956 1 4.0000 0.0000 -
159.53/160.07 c 160 57713 30637 1 4.0000 0.0000 -
164.61/165.18 c 165 59398 31361 1 4.0000 0.0000 -
169.79/170.30 c 170 60901 32142 1 4.0000 0.0000 -
174.88/175.44 c 175 62687 33038 1 4.0000 0.0000 -
179.96/180.51 c 181 64752 33829 1 4.0000 0.0000 -
185.15/185.74 c 186 66861 34604 1 4.0000 0.0000 -
190.24/190.81 c 191 69315 35779 1 4.0000 0.0000 -
195.32/195.91 c 196 71048 36628 1 4.0000 0.0000 -
200.41/201.05 c 201 72902 37368 1 4.0000 0.0000 -
205.50/206.15 c 206 74802 38137 1 4.0000 0.0000 -
210.58/211.23 c 211 77048 39103 1 4.0000 0.0000 -
215.66/216.36 c 216 79074 40044 1 4.0000 0.0000 -
220.74/221.43 c 221 81314 40947 1 4.0000 0.0000 -
225.83/226.52 c 227 82913 41657 1 4.0000 0.0000 -
230.91/231.63 c 232 84948 42640 1 4.0000 0.0000 -
235.99/236.79 c 237 86370 43343 1 4.0000 0.0000 -
241.17/241.92 c 242 87962 44126 1 4.0000 0.0000 -
246.26/247.04 c 247 89898 44990 1 4.0000 0.0000 -
251.44/252.24 c 252 92009 45809 1 4.0000 0.0000 -
256.53/257.33 c 257 93651 46645 1 4.0000 0.0000 -
261.61/262.47 c 262 95317 47481 1 4.0000 0.0000 -
266.79/267.65 c 268 97387 48248 1 4.0000 0.0000 -
271.88/272.79 c 273 99517 49109 1 4.0000 0.0000 -
277.07/277.91 c 278 101493 49968 1 4.0000 0.0000 -
282.16/283.05 c 283 103570 50821 1 4.0000 0.0000 -
287.34/288.25 c 288 105188 51552 1 4.0000 0.0000 -
292.42/293.33 c 293 107169 52359 1 4.0000 0.0000 -
297.51/298.43 c 298 108888 53160 1 4.0000 0.0000 -
302.60/303.50 c 304 111917 54062 1 4.0000 0.0000 -
307.58/308.56 c 309 115007 55015 1 4.0000 0.0000 -
312.67/313.69 c 314 117313 56095 1 4.0000 0.0000 -
317.86/318.81 c 319 119405 57089 1 4.0000 0.0000 -
323.04/324.02 c 324 121578 58008 1 4.0000 0.0000 -
328.03/329.10 c 329 123787 59018 1 4.0000 0.0000 -
333.22/334.21 c 334 125833 59920 1 4.0000 0.0000 -
338.20/339.28 c 339 128073 60698 1 4.0000 0.0000 -
343.29/344.36 c 344 130017 61639 1 4.0000 0.0000 -
348.47/349.56 c 350 132497 62378 1 4.0000 0.0000 -
353.66/354.70 c 355 134972 63617 1 4.0000 0.0000 -
358.64/359.79 c 360 137356 64630 1 4.0000 0.0000 -
363.73/364.89 c 365 139007 65345 1 4.0000 0.0000 -
368.92/370.06 c 370 140595 66181 1 4.0000 0.0000 -
374.10/375.20 c 375 141934 66883 1 4.0000 0.0000 -
379.09/380.27 c 380 143792 67772 1 4.0000 0.0000 -
384.17/385.35 c 385 145243 68464 1 4.0000 0.0000 -
389.27/390.45 c 390 147510 69356 1 4.0000 0.0000 -
394.35/395.54 c 396 149661 70252 1 4.0000 0.0000 -
399.43/400.67 c 401 152261 71204 1 4.0000 0.0000 -
404.62/405.82 c 406 155484 72297 1 4.0000 0.0000 -
409.70/410.98 c 411 159767 73562 1 4.0000 0.0000 -
414.99/416.26 c 416 162430 74725 1 4.0000 0.0000 -
420.07/421.35 c 421 165357 76103 1 4.0000 0.0000 -
425.27/426.53 c 427 167414 77047 1 4.0000 0.0000 -
430.35/431.66 c 432 169569 77915 1 4.0000 0.0000 -
435.64/436.94 c 437 171974 78882 1 4.0000 0.0000 -
440.72/442.03 c 442 174220 79886 1 4.0000 0.0000 -
446.11/447.46 c 447 175869 80554 1 4.0000 0.0000 -
451.40/452.71 c 453 178499 81733 1 4.0000 0.0000 -
456.48/457.80 c 458 181481 82634 1 4.0000 0.0000 -
461.57/462.94 c 463 183504 83471 1 4.0000 0.0000 -
466.66/468.05 c 468 186055 84323 1 4.0000 0.0000 -
471.75/473.18 c 473 188560 85448 1 4.0000 0.0000 -
476.83/478.26 c 478 190339 86210 1 4.0000 0.0000 -
482.01/483.40 c 483 192996 87313 1 4.0000 0.0000 -
487.09/488.50 c 488 195390 88391 1 4.0000 0.0000 -
492.18/493.69 c 494 198213 89465 1 4.0000 0.0000 -
497.27/498.78 c 499 200514 90469 1 4.0000 0.0000 -
502.46/503.94 c 504 202730 91439 1 4.0000 0.0000 -
507.54/509.10 c 509 205141 92497 1 4.0000 0.0000 -
512.73/514.26 c 514 206980 93325 1 4.0000 0.0000 -
517.82/519.36 c 519 209244 94077 1 4.0000 0.0000 -
523.00/524.53 c 525 211456 94871 1 4.0000 0.0000 -
528.19/529.73 c 530 213713 95716 1 4.0000 0.0000 -
533.28/534.86 c 535 215721 96584 1 4.0000 0.0000 -
538.56/540.19 c 540 217735 97448 1 4.0000 0.0000 -
543.75/545.38 c 545 219381 98184 1 4.0000 0.0000 -
548.84/550.43 c 550 221767 99102 1 4.0000 0.0000 -
553.92/555.57 c 556 224181 100106 1 4.0000 0.0000 -
559.10/560.78 c 561 226760 101019 1 4.0000 0.0000 -
564.40/566.02 c 566 229093 102026 1 4.0000 0.0000 -
569.48/571.18 c 571 231151 102868 1 4.0000 0.0000 -
574.76/576.49 c 576 232604 103640 1 4.0000 0.0000 -
580.05/581.70 c 582 234196 104406 1 4.0000 0.0000 -
585.24/586.92 c 587 236588 105232 1 4.0000 0.0000 -
590.42/592.12 c 592 238634 106054 1 4.0000 0.0000 -
595.42/597.19 c 597 240639 106806 1 4.0000 0.0000 -
600.79/602.59 c 603 242100 107465 1 4.0000 0.0000 -
605.98/607.77 c 608 244426 108293 1 4.0000 0.0000 -
611.27/613.00 c 613 246484 109222 1 4.0000 0.0000 -
616.45/618.28 c 618 248760 110188 1 4.0000 0.0000 -
621.73/623.55 c 624 251114 111231 1 4.0000 0.0000 -
626.92/628.70 c 629 253500 112058 1 4.0000 0.0000 -
632.09/633.95 c 634 255187 112757 1 4.0000 0.0000 -
637.29/639.12 c 639 257376 113660 1 4.0000 0.0000 -
642.36/644.20 c 644 259631 114546 1 4.0000 0.0000 -
647.44/649.33 c 649 261748 114873 1 4.0000 0.0000 -
652.72/654.63 c 655 263739 115631 1 4.0000 0.0000 -
657.80/659.77 c 660 266380 116639 1 4.0000 0.0000 -
663.09/665.09 c 665 268328 117357 1 4.0000 0.0000 -
668.36/670.34 c 670 270369 117957 1 4.0000 0.0000 -
673.55/675.54 c 676 272110 118620 1 4.0000 0.0000 -
678.63/680.60 c 681 274244 119411 1 4.0000 0.0000 -
683.81/685.80 c 686 277156 120566 1 4.0000 0.0000 -
689.00/691.04 c 691 279514 121361 1 4.0000 0.0000 -
694.08/696.14 c 696 281747 122200 1 4.0000 0.0000 -
699.16/701.23 c 701 285066 123262 1 4.0000 0.0000 -
704.23/706.37 c 706 286706 123851 1 4.0000 0.0000 -
709.41/711.54 c 712 289341 124656 1 4.0000 0.0000 -
714.70/716.84 c 717 291957 125655 1 4.0000 0.0000 -
719.88/722.08 c 722 294180 126570 1 4.0000 0.0000 -
725.06/727.23 c 727 295787 127176 1 4.0000 0.0000 -
730.24/732.42 c 732 297144 127828 1 4.0000 0.0000 -
735.42/737.68 c 738 299203 128642 1 4.0000 0.0000 -
740.61/742.86 c 743 301553 129635 1 4.0000 0.0000 -
745.79/748.04 c 748 304472 130691 1 4.0000 0.0000 -
750.77/753.10 c 753 306544 131542 1 4.0000 0.0000 -
756.25/758.53 c 759 308076 132358 1 4.0000 0.0000 -
761.32/763.67 c 764 309641 133210 1 4.0000 0.0000 -
766.71/769.01 c 769 310998 133865 1 4.0000 0.0000 -
771.99/774.30 c 774 312301 134503 1 4.0000 0.0000 -
777.27/779.67 c 780 313817 135049 1 4.0000 0.0000 -
782.45/784.87 c 785 315603 135720 1 4.0000 0.0000 -
787.64/790.06 c 790 318225 136681 1 4.0000 0.0000 -
792.82/795.29 c 795 319857 137282 1 4.0000 0.0000 -
798.10/800.54 c 801 321860 138121 1 4.0000 0.0000 -
803.28/805.78 c 806 323387 138747 1 4.0000 0.0000 -
808.57/811.05 c 811 325478 139563 1 4.0000 0.0000 -
813.84/816.33 c 816 327349 140266 1 4.0000 0.0000 -
819.03/821.55 c 822 329550 141066 1 4.0000 0.0000 -
824.20/826.72 c 827 331763 141824 1 4.0000 0.0000 -
829.38/831.92 c 832 334374 142545 1 4.0000 0.0000 -
834.57/837.13 c 837 336444 143194 1 4.0000 0.0000 -
839.66/842.29 c 842 338336 143826 1 4.0000 0.0000 -
845.03/847.68 c 848 342018 145093 1 4.0000 0.0000 -
850.21/852.88 c 853 344199 146004 1 4.0000 0.0000 -
855.40/858.08 c 858 346431 146630 1 4.0000 0.0000 -
860.47/863.13 c 863 348526 147375 1 4.0000 0.0000 -
865.56/868.23 c 868 350897 148304 1 4.0000 0.0000 -
870.73/873.45 c 873 352866 149050 1 4.0000 0.0000 -
876.02/878.74 c 879 354956 149820 1 4.0000 0.0000 -
881.20/883.97 c 884 356844 150590 1 4.0000 0.0000 -
886.39/889.14 c 889 358786 151259 1 4.0000 0.0000 -
891.56/894.37 c 894 360898 152017 1 4.0000 0.0000 -
896.85/899.63 c 900 362977 152701 1 4.0000 0.0000 -
902.03/904.88 c 905 365426 153504 1 4.0000 0.0000 -
907.31/910.12 c 910 367041 154173 1 4.0000 0.0000 -
912.49/915.39 c 915 368837 154869 1 4.0000 0.0000 -
917.67/920.59 c 921 371382 155737 1 4.0000 0.0000 -
922.85/925.76 c 926 373892 156653 1 4.0000 0.0000 -
928.13/931.01 c 931 376429 157469 1 4.0000 0.0000 -
933.41/936.39 c 936 378647 158082 1 4.0000 0.0000 -
938.80/941.74 c 942 380613 158848 1 4.0000 0.0000 -
943.87/946.89 c 947 382454 159530 1 4.0000 0.0000 -
949.06/952.03 c 952 384559 160309 1 4.0000 0.0000 -
954.24/957.24 c 957 386026 160854 1 4.0000 0.0000 -
959.52/962.53 c 963 388349 161729 1 4.0000 0.0000 -
964.80/967.87 c 968 390375 162476 1 4.0000 0.0000 -
969.98/973.02 c 973 392354 163224 1 4.0000 0.0000 -
975.16/978.21 c 978 394124 163928 1 4.0000 0.0000 -
980.34/983.40 c 983 395897 164615 1 4.0000 0.0000 -
985.52/988.62 c 989 398553 165455 1 4.0000 0.0000 -
990.60/993.79 c 994 401252 166380 1 4.0000 0.0000 -
995.89/999.03 c 999 403867 167207 1 4.0000 0.0000 -
1001.06/1004.27 c 1004 405718 167814 1 4.0000 0.0000 -
1006.25/1009.42 c 1009 407985 168660 1 4.0000 0.0000 -
1011.43/1014.64 c 1015 409671 169468 1 4.0000 0.0000 -
1016.51/1019.71 c 1020 411024 170035 1 4.0000 0.0000 -
1021.60/1024.86 c 1025 412899 170590 1 4.0000 0.0000 -
1026.78/1030.06 c 1030 414787 171266 1 4.0000 0.0000 -
1032.35/1035.65 c 1036 416506 171865 1 4.0000 0.0000 -
1037.54/1040.81 c 1041 417916 172401 1 4.0000 0.0000 -
1042.83/1046.18 c 1046 420032 173141 1 4.0000 0.0000 -
1048.20/1051.59 c 1052 422218 173841 1 4.0000 0.0000 -
1053.48/1056.80 c 1057 423844 174393 1 4.0000 0.0000 -
1058.66/1062.07 c 1062 426031 175099 1 4.0000 0.0000 -
1063.75/1067.19 c 1067 428535 175991 1 4.0000 0.0000 -
1069.13/1072.50 c 1072 430598 176753 1 4.0000 0.0000 -
1074.20/1077.68 c 1078 432320 177336 1 4.0000 0.0000 -
1079.49/1082.97 c 1083 434243 178071 1 4.0000 0.0000 -
1084.87/1088.37 c 1088 436652 179021 1 4.0000 0.0000 -
1090.05/1093.51 c 1094 438474 179690 1 4.0000 0.0000 -
1095.23/1098.71 c 1099 440691 180480 1 4.0000 0.0000 -
1100.51/1104.04 c 1104 442995 181316 1 4.0000 0.0000 -
1105.70/1109.22 c 1109 445138 182057 1 4.0000 0.0000 -
1110.98/1114.54 c 1115 447233 182732 1 4.0000 0.0000 -
1116.27/1119.87 c 1120 449903 183624 1 4.0000 0.0000 -
1121.65/1125.21 c 1125 451653 184321 1 4.0000 0.0000 -
1126.84/1130.45 c 1130 453463 184842 1 4.0000 0.0000 -
1132.13/1135.70 c 1136 456404 185629 1 4.0000 0.0000 -
1137.61/1141.25 c 1141 458282 186301 1 4.0000 0.0000 -
1142.90/1146.53 c 1147 460185 187006 1 4.0000 0.0000 -
1147.99/1151.69 c 1152 462030 187614 1 4.0000 0.0000 -
1153.17/1156.84 c 1157 463557 188229 1 4.0000 0.0000 -
1158.65/1162.30 c 1162 465028 188782 1 4.0000 0.0000 -
1163.84/1167.57 c 1168 466532 189315 1 4.0000 0.0000 -
1169.43/1173.19 c 1173 468757 190085 1 4.0000 0.0000 -
1174.82/1178.55 c 1179 470315 190783 1 4.0000 0.0000 -
1180.20/1183.95 c 1184 472204 191525 1 4.0000 0.0000 -
1185.58/1189.34 c 1189 473856 192157 1 4.0000 0.0000 -
1190.87/1194.62 c 1195 476469 192960 1 4.0000 0.0000 -
1195.96/1199.78 c 1200 479129 193742 1 4.0000 0.0000 -
1201.25/1205.01 c 1205 481047 194561 1 4.0000 0.0000 -
1206.52/1210.39 c 1210 483166 195320 1 4.0000 0.0000 -
1211.70/1215.57 c 1216 485356 196057 1 4.0000 0.0000 -
1216.88/1220.78 c 1221 487135 196778 1 4.0000 0.0000 -
1222.17/1226.05 c 1226 488922 197520 1 4.0000 0.0000 -
1227.54/1231.48 c 1231 490902 198291 1 4.0000 0.0000 -
1232.83/1236.72 c 1237 493146 198849 1 4.0000 0.0000 -
1238.01/1241.91 c 1242 494992 199373 1 4.0000 0.0000 -
1243.39/1247.33 c 1247 496603 199970 1 4.0000 0.0000 -
1248.58/1252.56 c 1253 497920 200413 1 4.0000 0.0000 -
1254.15/1258.15 c 1258 499824 201114 1 4.0000 0.0000 -
1259.43/1263.42 c 1263 501392 201687 1 4.0000 0.0000 -
1264.62/1268.65 c 1269 503052 202365 1 4.0000 0.0000 -
1270.00/1274.06 c 1274 505167 203214 1 4.0000 0.0000 -
1275.28/1279.31 c 1279 506500 203751 1 4.0000 0.0000 -
1280.46/1284.54 c 1285 508762 204495 1 4.0000 0.0000 -
1285.54/1289.67 c 1290 510715 205199 1 4.0000 0.0000 -
1290.93/1295.03 c 1295 512019 205757 1 4.0000 0.0000 -
1296.20/1300.32 c 1300 514269 206518 1 4.0000 0.0000 -
1301.29/1305.43 c 1305 516231 207009 1 4.0000 0.0000 -
1306.47/1310.61 c 1311 517983 207437 1 4.0000 0.0000 -
1311.65/1315.84 c 1316 519763 208077 1 4.0000 0.0000 -
1316.94/1321.14 c 1321 522297 209016 1 4.0000 0.0000 -
1322.21/1326.46 c 1326 523627 209586 1 4.0000 0.0000 -
1327.40/1331.62 c 1332 525751 210211 1 4.0000 0.0000 -
1332.57/1336.84 c 1337 527993 210893 1 4.0000 0.0000 -
1338.15/1342.42 c 1342 531424 211665 1 4.0000 0.0000 -
1343.34/1347.64 c 1348 533549 212453 1 4.0000 0.0000 -
1348.52/1352.84 c 1353 536071 213390 1 4.0000 0.0000 -
1353.80/1358.14 c 1358 538147 214055 1 4.0000 0.0000 -
1358.98/1363.33 c 1363 540205 214771 1 4.0000 0.0000 -
1364.07/1368.49 c 1368 542651 215604 1 4.0000 0.0000 -
1369.26/1373.65 c 1374 544649 216256 1 4.0000 0.0000 -
1374.34/1378.74 c 1379 546662 216910 1 4.0000 0.0000 -
1379.73/1384.12 c 1384 549046 217765 1 4.0000 0.0000 -
1385.02/1389.45 c 1389 551000 218533 1 4.0000 0.0000 -
1390.30/1394.78 c 1395 552382 219181 1 4.0000 0.0000 -
1395.60/1400.03 c 1400 555496 220237 1 4.0000 0.0000 -
1400.77/1405.20 c 1405 557782 220978 1 4.0000 0.0000 -
1405.86/1410.32 c 1410 559844 221665 1 4.0000 0.0000 -
1411.04/1415.54 c 1416 561991 222392 1 4.0000 0.0000 -
1416.23/1420.77 c 1421 563908 223069 1 4.0000 0.0000 -
1421.71/1426.27 c 1426 566075 223845 1 4.0000 0.0000 -
1427.10/1431.64 c 1432 568052 224694 1 4.0000 0.0000 -
1432.59/1437.11 c 1437 569581 225289 1 4.0000 0.0000 -
1437.97/1442.52 c 1443 571390 226029 1 4.0000 0.0000 -
1443.06/1447.67 c 1448 573425 226606 1 4.0000 0.0000 -
1448.45/1453.00 c 1453 574953 227246 1 4.0000 0.0000 -
1453.64/1458.25 c 1458 576483 227781 1 4.0000 0.0000 -
1459.22/1463.80 c 1464 578785 228633 1 4.0000 0.0000 -
1464.61/1469.30 c 1469 580090 229197 1 4.0000 0.0000 -
1469.80/1474.49 c 1474 581347 229674 1 4.0000 0.0000 -
1475.17/1479.86 c 1480 583810 230717 1 4.0000 0.0000 -
1480.56/1485.26 c 1485 585979 231566 1 4.0000 0.0000 -
1485.75/1490.47 c 1490 587643 232193 1 4.0000 0.0000 -
1491.13/1495.81 c 1496 589883 232922 1 4.0000 0.0000 -
1496.33/1501.09 c 1501 592355 233747 1 4.0000 0.0000 -
1501.60/1506.34 c 1506 594162 234285 1 4.0000 0.0000 -
1506.88/1511.60 c 1512 595813 234904 1 4.0000 0.0000 -
1512.18/1516.99 c 1517 597655 235521 1 4.0000 0.0000 -
1517.37/1522.18 c 1522 598963 236169 1 4.0000 0.0000 -
1522.84/1527.65 c 1528 601256 237092 1 4.0000 0.0000 -
1528.24/1533.06 c 1533 602969 237701 1 4.0000 0.0000 -
1533.72/1538.53 c 1539 604183 238248 1 4.0000 0.0000 -
1539.01/1543.82 c 1544 606024 238963 1 4.0000 0.0000 -
1544.29/1549.13 c 1549 607799 239566 1 4.0000 0.0000 -
1549.48/1554.31 c 1554 611180 240222 1 4.0000 0.0000 -
1554.96/1559.80 c 1560 614207 241295 1 4.0000 0.0000 -
1560.25/1565.11 c 1565 616642 242094 1 4.0000 0.0000 -
1565.54/1570.42 c 1570 618747 242856 1 4.0000 0.0000 -
1570.92/1575.84 c 1576 620482 243473 1 4.0000 0.0000 -
1576.00/1580.98 c 1581 621882 244075 1 4.0000 0.0000 -
1581.60/1586.50 c 1586 623017 244565 1 4.0000 0.0000 -
1586.78/1591.77 c 1592 625063 245347 1 4.0000 0.0000 -
1591.96/1596.96 c 1597 627291 246015 1 4.0000 0.0000 -
1597.16/1602.11 c 1602 628610 246486 1 4.0000 0.0000 -
1602.34/1607.33 c 1607 631194 247423 1 4.0000 0.0000 -
1607.52/1612.56 c 1613 633265 248109 1 4.0000 0.0000 -
1612.71/1617.74 c 1618 635837 248751 1 4.0000 0.0000 -
1617.80/1622.87 c 1623 637714 249419 1 4.0000 0.0000 -
1623.19/1628.23 c 1628 639545 250074 1 4.0000 0.0000 -
1628.67/1633.77 c 1634 641462 250998 1 4.0000 0.0000 -
1634.26/1639.31 c 1639 642743 251538 1 4.0000 0.0000 -
1639.75/1644.85 c 1645 644998 252265 1 4.0000 0.0000 -
1645.03/1650.10 c 1650 646749 252936 1 4.0000 0.0000 -
1650.31/1655.40 c 1655 648540 253554 1 4.0000 0.0000 -
1655.30/1660.48 c 1660 650615 254311 1 4.0000 0.0000 -
1660.79/1665.91 c 1666 652189 254946 1 4.0000 0.0000 -
1666.07/1671.23 c 1671 654006 255513 1 4.0000 0.0000 -
1671.37/1676.53 c 1677 655377 256001 1 4.0000 0.0000 -
1676.55/1681.76 c 1682 656232 256534 1 4.0000 0.0000 -
1681.94/1687.13 c 1687 657420 257037 1 4.0000 0.0000 -
1687.32/1692.56 c 1693 659402 257684 1 4.0000 0.0000 -
1692.61/1697.84 c 1698 660996 258142 1 4.0000 0.0000 -
1698.00/1703.21 c 1703 661727 258607 1 4.0000 0.0000 -
1703.38/1708.60 c 1709 663825 259314 1 4.0000 0.0000 -
1708.66/1713.91 c 1714 665452 259886 1 4.0000 0.0000 -
1713.95/1719.26 c 1719 667057 260387 1 4.0000 0.0000 -
1719.25/1724.55 c 1725 668921 261029 1 4.0000 0.0000 -
1724.53/1729.84 c 1730 670660 261652 1 4.0000 0.0000 -
1730.02/1735.33 c 1735 671670 262175 1 4.0000 0.0000 -
1735.50/1740.80 c 1741 673364 262923 1 4.0000 0.0000 -
1740.58/1745.92 c 1746 675059 263635 1 4.0000 0.0000 -
1745.68/1751.08 c 1751 676592 264378 1 4.0000 0.0000 -
1750.97/1756.36 c 1756 678704 265385 1 4.0000 0.0000 -
1756.25/1761.67 c 1762 680756 266270 1 4.0000 0.0000 -
1761.34/1766.73 c 1767 682984 266995 1 4.0000 0.0000 -
1766.63/1772.05 c 1772 685112 267641 1 4.0000 0.0000 -
1771.91/1777.32 c 1777 687094 268355 1 4.0000 0.0000 -
1777.20/1782.61 c 1783 688007 268926 1 4.0000 0.0000 -
1782.38/1787.88 c 1788 689534 269542 1 4.0000 0.0000 -
1787.47/1792.97 c 1793 690685 270083 1 4.0000 0.0000 -
1792.66/1798.18 c 1798 692832 270915 1 4.0000 0.0000 -
1798.15/1803.60 c 1804 694434 271647 1 4.0000 0.0000 -
1803.53/1809.00 c 1809 695919 272262 1 4.0000 0.0000 -
1808.72/1814.26 c 1814 697167 272786 1 4.0000 0.0000 -
1814.00/1819.59 c 1820 698942 273316 1 4.0000 0.0000 -
1819.18/1824.76 c 1825 701177 273963 1 4.0000 0.0000 -
1824.37/1829.96 c 1830 703297 274850 1 4.0000 0.0000 -
1829.66/1835.21 c 1835 704526 275342 1 4.0000 0.0000 -
1834.64/1840.27 c 1840 706215 275912 1 4.0000 0.0000 -
1839.93/1845.58 c 1846 707504 276494 1 4.0000 0.0000 -
1845.22/1850.82 c 1851 709171 277212 1 4.0000 0.0000 -
1850.51/1856.13 c 1856 711135 277859 1 4.0000 0.0000 -
1855.79/1861.40 c 1861 712266 278408 1 4.0000 0.0000 -
1861.18/1866.88 c 1867 713757 279047 1 4.0000 0.0000 -
1866.46/1872.11 c 1872 715165 279581 1 4.0000 0.0000 -
1871.75/1877.43 c 1877 716598 280136 1 4.0000 0.0000 -
1877.13/1882.87 c 1883 717883 280740 1 4.0000 0.0000 -
1882.42/1888.17 c 1888 719155 281267 1 4.0000 0.0000 -
1888.31/1894.00 c 1894 720939 281980 1 4.0000 0.0000 -
1893.49/1899.27 c 1899 721937 282376 1 4.0000 0.0000 -
1899.07/1904.86 c 1905 723437 282899 1 4.0000 0.0000 -
1904.36/1910.18 c 1910 725741 283696 1 4.0000 0.0000 -
1909.65/1915.44 c 1915 727168 284276 1 4.0000 0.0000 -
1914.83/1920.65 c 1921 729107 284832 1 4.0000 0.0000 -
1920.22/1926.06 c 1926 731479 285587 1 4.0000 0.0000 -
1925.60/1931.47 c 1931 733512 286265 1 4.0000 0.0000 -
1930.99/1936.88 c 1937 735445 286906 1 4.0000 0.0000 -
1936.37/1942.29 c 1942 737641 287631 1 4.0000 0.0000 -
1941.76/1947.66 c 1948 739467 288121 1 4.0000 0.0000 -
1947.26/1953.14 c 1953 740377 288483 1 4.0000 0.0000 -
1952.34/1958.27 c 1958 741433 289040 1 4.0000 0.0000 -
1957.72/1963.67 c 1964 742944 289667 1 4.0000 0.0000 -
1963.01/1968.94 c 1969 744467 290219 1 4.0000 0.0000 -
1968.40/1974.36 c 1974 745754 290704 1 4.0000 0.0000 -
1973.68/1979.67 c 1980 747227 291321 1 4.0000 0.0000 -
1978.97/1984.91 c 1985 749123 291955 1 4.0000 0.0000 -
1984.36/1990.34 c 1990 750817 292517 1 4.0000 0.0000 -
1989.44/1995.42 c 1995 752208 293142 1 4.0000 0.0000 -
1994.52/2000.54 c 2001 753397 293722 1 4.0000 0.0000 -
1999.72/2005.77 c 2006 754404 294058 1 4.0000 0.0000 -
2005.01/2011.04 c 2011 755449 294443 1 4.0000 0.0000 -
2010.39/2016.49 c 2016 756740 294984 1 4.0000 0.0000 -
2015.58/2021.62 c 2022 758790 295745 1 4.0000 0.0000 -
2020.76/2026.80 c 2027 759985 296219 1 4.0000 0.0000 -
2026.25/2032.32 c 2032 761290 296701 1 4.0000 0.0000 -
2031.84/2037.95 c 2038 763349 297367 1 4.0000 0.0000 -
2037.22/2043.33 c 2043 765356 298085 1 4.0000 0.0000 -
2042.51/2048.62 c 2049 767314 298747 1 4.0000 0.0000 -
2047.90/2054.07 c 2054 768625 299237 1 4.0000 0.0000 -
2053.28/2059.40 c 2059 769826 299627 1 4.0000 0.0000 -
2058.46/2064.63 c 2065 771254 300186 1 4.0000 0.0000 -
2063.85/2070.05 c 2070 772853 300814 1 4.0000 0.0000 -
2069.12/2075.36 c 2075 774514 301381 1 4.0000 0.0000 -
2074.61/2080.80 c 2081 776057 301927 1 4.0000 0.0000 -
2079.80/2086.07 c 2086 777331 302396 1 4.0000 0.0000 -
2085.06/2091.30 c 2091 779338 303062 1 4.0000 0.0000 -
2090.45/2096.74 c 2097 781084 303615 1 4.0000 0.0000 -
2095.84/2102.14 c 2102 783235 304435 1 4.0000 0.0000 -
2101.41/2107.73 c 2108 784634 305064 1 4.0000 0.0000 -
2106.50/2112.89 c 2113 786292 305656 1 4.0000 0.0000 -
2111.78/2118.15 c 2118 787956 306228 1 4.0000 0.0000 -
2117.15/2123.52 c 2124 789176 306773 1 4.0000 0.0000 -
2122.65/2129.02 c 2129 790457 307265 1 4.0000 0.0000 -
2128.02/2134.40 c 2134 791891 307794 1 4.0000 0.0000 -
2133.10/2139.58 c 2140 792946 308220 1 4.0000 0.0000 -
2138.18/2144.67 c 2145 794757 308850 1 4.0000 0.0000 -
2144.16/2150.66 c 2151 796878 309527 1 4.0000 0.0000 -
2149.45/2155.90 c 2156 799393 310235 1 4.0000 0.0000 -
2154.73/2161.25 c 2161 800926 310677 1 4.0000 0.0000 -
2160.21/2166.78 c 2167 802690 311292 1 4.0000 0.0000 -
2165.50/2172.07 c 2172 804401 311978 1 4.0000 0.0000 -
2170.87/2177.45 c 2177 806166 312488 1 4.0000 0.0000 -
2176.06/2182.66 c 2183 807685 313096 1 4.0000 0.0000 -
2181.44/2188.06 c 2188 809055 313688 1 4.0000 0.0000 -
2187.22/2193.88 c 2194 810775 314344 1 4.0000 0.0000 -
2192.69/2199.31 c 2199 811739 314761 1 4.0000 0.0000 -
2198.18/2204.80 c 2205 812629 315151 1 4.0000 0.0000 -
2204.06/2210.74 c 2211 814163 315725 1 4.0000 0.0000 -
2209.45/2216.12 c 2216 815219 316156 1 4.0000 0.0000 -
2215.02/2221.71 c 2222 816615 316663 1 4.0000 0.0000 -
2220.10/2226.88 c 2227 818046 317162 1 4.0000 0.0000 -
2225.48/2232.24 c 2232 819726 317793 1 4.0000 0.0000 -
2230.67/2237.47 c 2237 820961 318290 1 4.0000 0.0000 -
2235.95/2242.77 c 2243 822399 318837 1 4.0000 0.0000 -
2241.34/2248.17 c 2248 823751 319298 1 4.0000 0.0000 -
2247.02/2253.80 c 2254 825005 319823 1 4.0000 0.0000 -
2252.40/2259.29 c 2259 825865 320263 1 4.0000 0.0000 -
2257.97/2264.85 c 2265 826527 320663 1 4.0000 0.0000 -
2263.56/2270.45 c 2270 827092 321024 1 4.0000 0.0000 -
2268.84/2275.70 c 2276 827965 321510 1 4.0000 0.0000 -
2273.92/2280.86 c 2281 829367 322141 1 4.0000 0.0000 -
2279.21/2286.18 c 2286 830534 322649 1 4.0000 0.0000 -
2284.99/2291.93 c 2292 831693 323079 1 4.0000 0.0000 -
2290.47/2297.45 c 2297 832767 323459 1 4.0000 0.0000 -
2296.05/2303.10 c 2303 834199 323988 1 4.0000 0.0000 -
2301.53/2308.55 c 2309 834866 324302 1 4.0000 0.0000 -
2306.91/2313.99 c 2314 835462 324596 1 4.0000 0.0000 -
2312.30/2319.32 c 2319 836338 325021 1 4.0000 0.0000 -
2317.57/2324.69 c 2325 837751 325633 1 4.0000 0.0000 -
2322.85/2329.95 c 2330 838767 326077 1 4.0000 0.0000 -
2328.43/2335.56 c 2336 840177 326543 1 4.0000 0.0000 -
2333.62/2340.77 c 2341 842817 327311 1 4.0000 0.0000 -
2339.40/2346.51 c 2347 843489 327644 1 4.0000 0.0000 -
2344.98/2352.19 c 2352 845437 328348 1 4.0000 0.0000 -
2350.26/2357.44 c 2357 847819 329215 1 4.0000 0.0000 -
2355.54/2362.77 c 2363 848991 329573 1 4.0000 0.0000 -
2360.83/2368.09 c 2368 851251 330358 1 4.0000 0.0000 -
2366.21/2373.42 c 2373 852607 330958 1 4.0000 0.0000 -
2371.49/2378.77 c 2379 853866 331382 1 4.0000 0.0000 -
2376.87/2384.16 c 2384 854968 331715 1 4.0000 0.0000 -
2382.26/2389.52 c 2390 856060 332117 1 4.0000 0.0000 -
2387.53/2394.83 c 2395 857788 332723 1 4.0000 0.0000 -
2392.72/2400.04 c 2400 858969 333132 1 4.0000 0.0000 -
2398.10/2405.45 c 2405 859763 333455 1 4.0000 0.0000 -
2403.38/2410.78 c 2411 861235 334089 1 4.0000 0.0000 -
2408.86/2416.23 c 2416 862597 334593 1 4.0000 0.0000 -
2414.35/2421.77 c 2422 864688 335290 1 4.0000 0.0000 -
2419.73/2427.14 c 2427 865835 335702 1 4.0000 0.0000 -
2425.11/2432.52 c 2433 866784 336043 1 4.0000 0.0000 -
2430.60/2438.02 c 2438 868380 336606 1 4.0000 0.0000 -
2435.87/2443.33 c 2443 869825 337097 1 4.0000 0.0000 -
2441.55/2449.06 c 2449 871872 337823 1 4.0000 0.0000 -
2446.73/2454.24 c 2454 873569 338459 1 4.0000 0.0000 -
2451.92/2459.44 c 2459 875102 339014 1 4.0000 0.0000 -
2457.39/2464.94 c 2465 876687 339513 1 4.0000 0.0000 -
2463.28/2470.81 c 2471 879187 340191 1 4.0000 0.0000 -
2468.25/2475.88 c 2476 881352 340842 1 4.0000 0.0000 -
2473.83/2481.43 c 2481 883499 341515 1 4.0000 0.0000 -
2479.22/2486.88 c 2487 884733 341951 1 4.0000 0.0000 -
2484.80/2492.46 c 2492 885752 342392 1 4.0000 0.0000 -
2490.18/2497.82 c 2498 887273 342848 1 4.0000 0.0000 -
2495.17/2502.88 c 2503 888894 343573 1 4.0000 0.0000 -
2500.25/2507.97 c 2508 889858 344091 1 4.0000 0.0000 -
2505.63/2513.36 c 2513 891159 344505 1 4.0000 0.0000 -
2510.91/2518.69 c 2519 892307 344966 1 4.0000 0.0000 -
2516.59/2524.38 c 2524 894162 345624 1 4.0000 0.0000 -
2522.07/2529.87 c 2530 896199 346278 1 4.0000 0.0000 -
2527.55/2535.33 c 2535 897732 346838 1 4.0000 0.0000 -
2533.13/2540.97 c 2541 898472 347179 1 4.0000 0.0000 -
2538.41/2546.24 c 2546 899653 347654 1 4.0000 0.0000 -
2543.70/2551.56 c 2552 901107 348156 1 4.0000 0.0000 -
2549.08/2556.93 c 2557 902347 348587 1 4.0000 0.0000 -
2554.17/2562.03 c 2562 903941 349080 1 4.0000 0.0000 -
2559.64/2567.51 c 2568 905204 349521 1 4.0000 0.0000 -
2565.13/2573.07 c 2573 907489 350178 1 4.0000 0.0000 -
2570.61/2578.50 c 2579 909594 350844 1 4.0000 0.0000 -
2575.89/2583.86 c 2584 911552 351477 1 4.0000 0.0000 -
2581.36/2589.36 c 2589 913602 352151 1 4.0000 0.0000 -
2586.64/2594.63 c 2595 914944 352729 1 4.0000 0.0000 -
2592.42/2600.49 c 2600 916230 353198 1 4.0000 0.0000 -
2597.81/2605.87 c 2606 917320 353592 1 4.0000 0.0000 -
2603.19/2611.21 c 2611 919152 354149 1 4.0000 0.0000 -
2608.47/2616.55 c 2617 920190 354515 1 4.0000 0.0000 -
2613.76/2621.89 c 2622 922154 355255 1 4.0000 0.0000 -
2619.14/2627.23 c 2627 923404 355727 1 4.0000 0.0000 -
2624.92/2633.01 c 2633 924933 356149 1 4.0000 0.0000 -
2630.19/2638.38 c 2638 926067 356567 1 4.0000 0.0000 -
2635.88/2644.02 c 2644 927194 356903 1 4.0000 0.0000 -
2641.56/2649.75 c 2650 928835 357492 1 4.0000 0.0000 -
2646.94/2655.18 c 2655 930533 357954 1 4.0000 0.0000 -
2652.32/2660.59 c 2661 931743 358407 1 4.0000 0.0000 -
2657.50/2665.71 c 2666 933539 359079 1 4.0000 0.0000 -
2662.79/2671.05 c 2671 934578 359544 1 4.0000 0.0000 -
2668.16/2676.42 c 2676 936260 360125 1 4.0000 0.0000 -
2673.64/2681.98 c 2682 937711 360705 1 4.0000 0.0000 -
2679.23/2687.55 c 2688 938570 361142 1 4.0000 0.0000 -
2684.60/2692.93 c 2693 939963 361827 1 4.0000 0.0000 -
2689.99/2698.39 c 2698 941265 362330 1 4.0000 0.0000 -
2695.17/2703.58 c 2704 942344 362728 1 4.0000 0.0000 -
2700.36/2708.76 c 2709 943640 363210 1 4.0000 0.0000 -
2705.64/2714.05 c 2714 944374 363608 1 4.0000 0.0000 -
2711.02/2719.45 c 2719 945821 364160 1 4.0000 0.0000 -
2716.49/2724.95 c 2725 947371 364692 1 4.0000 0.0000 -
2721.97/2730.40 c 2730 948624 365142 1 4.0000 0.0000 -
2727.36/2735.83 c 2736 949603 365554 1 4.0000 0.0000 -
2732.84/2741.34 c 2741 951234 366003 1 4.0000 0.0000 -
2738.63/2747.18 c 2747 952990 366575 1 4.0000 0.0000 -
2744.30/2752.87 c 2753 954029 366998 1 4.0000 0.0000 -
2749.59/2758.19 c 2758 955982 367681 1 4.0000 0.0000 -
2754.77/2763.33 c 2763 957366 368145 1 4.0000 0.0000 -
2759.95/2768.52 c 2769 958853 368629 1 4.0000 0.0000 -
2765.33/2773.93 c 2774 960525 369231 1 4.0000 0.0000 -
2770.91/2779.59 c 2780 961496 369774 1 4.0000 0.0000 -
2776.30/2784.96 c 2785 963078 370248 1 4.0000 0.0000 -
2781.97/2790.66 c 2791 964689 370728 1 4.0000 0.0000 -
2787.74/2796.43 c 2796 966599 371364 1 4.0000 0.0000 -
2793.82/2802.55 c 2803 968235 371947 1 4.0000 0.0000 -
2799.11/2807.88 c 2808 969901 372534 1 4.0000 0.0000 -
2804.48/2813.28 c 2813 971487 373052 1 4.0000 0.0000 -
2810.17/2818.93 c 2819 973047 373565 1 4.0000 0.0000 -
2815.65/2824.47 c 2824 974057 373951 1 4.0000 0.0000 -
2820.83/2829.68 c 2830 974913 374345 1 4.0000 0.0000 -
2826.41/2835.27 c 2835 975712 374725 1 4.0000 0.0000 -
2832.39/2841.24 c 2841 976853 375102 1 4.0000 0.0000 -
2837.77/2846.70 c 2847 977486 375406 1 4.0000 0.0000 -
2843.45/2852.38 c 2852 978431 375874 1 4.0000 0.0000 -
2849.03/2857.91 c 2858 979315 376259 1 4.0000 0.0000 -
2854.91/2863.82 c 2864 980734 376798 1 4.0000 0.0000 -
2860.39/2869.35 c 2869 981428 377160 1 4.0000 0.0000 -
2865.67/2874.66 c 2875 982068 377459 1 4.0000 0.0000 -
2870.76/2879.75 c 2880 983109 377860 1 4.0000 0.0000 -
2876.23/2885.24 c 2885 984353 378234 1 4.0000 0.0000 -
2882.02/2891.08 c 2891 985507 378738 1 4.0000 0.0000 -
2887.30/2896.31 c 2896 986493 379148 1 4.0000 0.0000 -
2892.58/2901.66 c 2902 988066 379740 1 4.0000 0.0000 -
2897.66/2906.77 c 2907 989645 380419 1 4.0000 0.0000 -
2903.54/2912.68 c 2913 990929 380830 1 4.0000 0.0000 -
2909.42/2918.55 c 2919 992924 381474 1 4.0000 0.0000 -
2915.10/2924.24 c 2924 994308 381917 1 4.0000 0.0000 -
2920.78/2929.91 c 2930 995395 382363 1 4.0000 0.0000 -
2926.66/2935.82 c 2936 996790 382833 1 4.0000 0.0000 -
2932.63/2941.80 c 2942 998538 383316 1 4.0000 0.0000 -
2938.12/2947.36 c 2947 999776 383768 1 4.0000 0.0000 -
2943.90/2953.14 c 2953 1000977 384279 1 4.0000 0.0000 -
2949.68/2958.97 c 2959 1002200 384726 1 4.0000 0.0000 -
2955.06/2964.39 c 2964 1003237 385123 1 4.0000 0.0000 -
2960.14/2969.49 c 2969 1004595 385595 1 4.0000 0.0000 -
2965.62/2974.92 c 2975 1006204 386148 1 4.0000 0.0000 -
2971.20/2980.59 c 2981 1007212 386520 1 4.0000 0.0000 -
2976.59/2985.96 c 2986 1008612 386969 1 4.0000 0.0000 -
2982.16/2991.50 c 2992 1009926 387436 1 4.0000 0.0000 -
2987.75/2997.19 c 2997 1011037 387855 1 4.0000 0.0000 -
2993.62/3003.06 c 3003 1012092 388268 1 4.0000 0.0000 -
2999.41/3008.89 c 3009 1013294 388654 1 4.0000 0.0000 -
3005.18/3014.64 c 3015 1014944 389156 1 4.0000 0.0000 -
3010.57/3020.09 c 3020 1016145 389579 1 4.0000 0.0000 -
3016.24/3025.74 c 3026 1017138 389954 1 4.0000 0.0000 -
3021.22/3030.79 c 3031 1018421 390406 1 4.0000 0.0000 -
3026.70/3036.21 c 3036 1019576 390815 1 4.0000 0.0000 -
3032.19/3041.74 c 3042 1020281 391141 1 4.0000 0.0000 -
3037.67/3047.26 c 3047 1021697 391626 1 4.0000 0.0000 -
3042.85/3052.48 c 3052 1022603 391992 1 4.0000 0.0000 -
3048.33/3057.95 c 3058 1024068 392570 1 4.0000 0.0000 -
3053.71/3063.33 c 3063 1025130 392929 1 4.0000 0.0000 -
3059.59/3069.29 c 3069 1026147 393399 1 4.0000 0.0000 -
3065.37/3075.07 c 3075 1027369 393869 1 4.0000 0.0000 -
3070.76/3080.46 c 3080 1028584 394269 1 4.0000 0.0000 -
3076.63/3086.34 c 3086 1029257 394607 1 4.0000 0.0000 -
3082.21/3091.98 c 3092 1030817 395157 1 4.0000 0.0000 -
3087.30/3097.04 c 3097 1032291 395619 1 4.0000 0.0000 -
3092.98/3102.71 c 3103 1033789 396184 1 4.0000 0.0000 -
3098.56/3108.31 c 3108 1034794 396584 1 4.0000 0.0000 -
3103.94/3113.79 c 3114 1036316 397067 1 4.0000 0.0000 -
3109.62/3119.48 c 3119 1037409 397431 1 4.0000 0.0000 -
3115.30/3125.12 c 3125 1038756 397909 1 4.0000 0.0000 -
3120.57/3130.41 c 3130 1040795 398548 1 4.0000 0.0000 -
3125.86/3135.73 c 3136 1042089 399025 1 4.0000 0.0000 -
3131.04/3140.93 c 3141 1043441 399481 1 4.0000 0.0000 -
3136.52/3146.43 c 3146 1044879 400073 1 4.0000 0.0000 -
3141.70/3151.66 c 3152 1046017 400458 1 4.0000 0.0000 -
3146.98/3156.92 c 3157 1047488 400964 1 4.0000 0.0000 -
3152.57/3162.58 c 3163 1048639 401316 1 4.0000 0.0000 -
3158.24/3168.28 c 3168 1050341 401905 1 4.0000 0.0000 -
3163.92/3173.93 c 3174 1052345 402527 1 4.0000 0.0000 -
3170.11/3180.11 c 3180 1053937 402978 1 4.0000 0.0000 -
3175.78/3185.83 c 3186 1055147 403530 1 4.0000 0.0000 -
3181.27/3191.38 c 3191 1056666 404044 1 4.0000 0.0000 -
3187.24/3197.30 c 3197 1058108 404548 1 4.0000 0.0000 -
3192.72/3202.85 c 3203 1059732 405079 1 4.0000 0.0000 -
3198.10/3208.20 c 3208 1060829 405531 1 4.0000 0.0000 -
3203.68/3213.89 c 3214 1062030 406056 1 4.0000 0.0000 -
3209.06/3219.26 c 3219 1063371 406607 1 4.0000 0.0000 -
3214.35/3224.59 c 3225 1064867 407064 1 4.0000 0.0000 -
3220.12/3230.32 c 3230 1066855 407628 1 4.0000 0.0000 -
3225.81/3236.10 c 3236 1068757 408187 1 4.0000 0.0000 -
3231.59/3241.82 c 3242 1070897 408911 1 4.0000 0.0000 -
3237.16/3247.40 c 3247 1072130 409364 1 4.0000 0.0000 -
3242.75/3253.03 c 3253 1073993 409957 1 4.0000 0.0000 -
3248.42/3258.79 c 3259 1075655 410459 1 4.0000 0.0000 -
3254.00/3264.30 c 3264 1078177 411311 1 4.0000 0.0000 -
3259.59/3269.90 c 3270 1079346 411729 1 4.0000 0.0000 -
3265.17/3275.51 c 3276 1080822 412182 1 4.0000 0.0000 -
3270.45/3280.85 c 3281 1082173 412631 1 4.0000 0.0000 -
3275.83/3286.28 c 3286 1084069 413139 1 4.0000 0.0000 -
3281.61/3292.10 c 3292 1084818 413571 1 4.0000 0.0000 -
3286.89/3297.34 c 3297 1085777 414088 1 4.0000 0.0000 -
3292.77/3303.26 c 3303 1086339 414475 1 4.0000 0.0000 -
3298.24/3308.77 c 3309 1087356 414922 1 4.0000 0.0000 -
3303.73/3314.29 c 3314 1088212 415293 1 4.0000 0.0000 -
3309.21/3319.73 c 3320 1089980 415878 1 4.0000 0.0000 -
3314.49/3325.09 c 3325 1091279 416300 1 4.0000 0.0000 -
3320.58/3331.18 c 3331 1092284 416698 1 4.0000 0.0000 -
3325.95/3336.55 c 3337 1093132 417057 1 4.0000 0.0000 -
3331.33/3341.98 c 3342 1094196 417493 1 4.0000 0.0000 -
3336.81/3347.47 c 3347 1095134 417806 1 4.0000 0.0000 -
3342.29/3352.96 c 3353 1096666 418258 1 4.0000 0.0000 -
3347.87/3358.56 c 3359 1098448 418868 1 4.0000 0.0000 -
3353.55/3364.28 c 3364 1099817 419314 1 4.0000 0.0000 -
3359.44/3370.16 c 3370 1100912 419761 1 4.0000 0.0000 -
3365.10/3375.82 c 3376 1102465 420289 1 4.0000 0.0000 -
3370.79/3381.57 c 3382 1104324 420925 1 4.0000 0.0000 -
3376.28/3387.06 c 3387 1106327 421572 1 4.0000 0.0000 -
3381.76/3392.59 c 3393 1107252 421980 1 4.0000 0.0000 -
3387.14/3397.98 c 3398 1108437 422351 1 4.0000 0.0000 -
3392.32/3403.18 c 3403 1109705 422791 1 4.0000 0.0000 -
3397.51/3408.30 c 3408 1110654 423154 1 4.0000 0.0000 -
3402.69/3413.56 c 3414 1111729 423554 1 4.0000 0.0000 -
3408.27/3419.13 c 3419 1112851 423882 1 4.0000 0.0000 -
3413.65/3424.58 c 3425 1114073 424307 1 4.0000 0.0000 -
3419.53/3430.45 c 3430 1115980 424896 1 4.0000 0.0000 -
3424.81/3435.78 c 3436 1117072 425385 1 4.0000 0.0000 -
3430.49/3441.48 c 3441 1118096 425732 1 4.0000 0.0000 -
3435.96/3446.98 c 3447 1119212 426104 1 4.0000 0.0000 -
3441.55/3452.59 c 3453 1120225 426436 1 4.0000 0.0000 -
3447.32/3458.34 c 3458 1121372 426840 1 4.0000 0.0000 -
3452.71/3463.77 c 3464 1123299 427435 1 4.0000 0.0000 -
3458.49/3469.54 c 3470 1124537 427808 1 4.0000 0.0000 -
3463.87/3474.96 c 3475 1125973 428288 1 4.0000 0.0000 -
3469.65/3480.77 c 3481 1127260 428700 1 4.0000 0.0000 -
3475.43/3486.54 c 3487 1128763 429235 1 4.0000 0.0000 -
3481.20/3492.39 c 3492 1130249 429803 1 4.0000 0.0000 -
3486.68/3497.87 c 3498 1131902 430320 1 4.0000 0.0000 -
3492.46/3503.61 c 3504 1132840 430654 1 4.0000 0.0000 -
3498.34/3509.50 c 3510 1134468 431187 1 4.0000 0.0000 -
3503.83/3515.10 c 3515 1136164 431786 1 4.0000 0.0000 -
3509.41/3520.68 c 3521 1137600 432260 1 4.0000 0.0000 -
3514.90/3526.16 c 3526 1139457 432794 1 4.0000 0.0000 -
3520.07/3531.32 c 3531 1141367 433358 1 4.0000 0.0000 -
3525.55/3536.88 c 3537 1142717 433826 1 4.0000 0.0000 -
3530.83/3542.14 c 3542 1144457 434342 1 4.0000 0.0000 -
3536.61/3547.96 c 3548 1145901 434767 1 4.0000 0.0000 -
3542.39/3553.73 c 3554 1146916 435153 1 4.0000 0.0000 -
3547.97/3559.37 c 3559 1148213 435555 1 4.0000 0.0000 -
3553.15/3564.55 c 3565 1150428 436188 1 4.0000 0.0000 -
3558.53/3569.97 c 3570 1151553 436683 1 4.0000 0.0000 -
3564.41/3575.83 c 3576 1152638 437131 1 4.0000 0.0000 -
3570.19/3581.64 c 3582 1153622 437607 1 4.0000 0.0000 -
3576.07/3587.51 c 3588 1154581 438031 1 4.0000 0.0000 -
3581.45/3592.92 c 3593 1156710 438655 1 4.0000 0.0000 -
3586.83/3598.33 c 3598 1157921 439001 0 4.0000 0.0000 -
3587.73/3599.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.73/3599.28 c Total Time : 3599.2800
3587.73/3599.28 c solving : 3599.2800
3587.73/3599.28 c presolving : 0.0302 (included in solving)
3587.73/3599.28 c B&B Tree :
3587.73/3599.28 c nodes (total) : 1
3587.73/3599.28 c Solution :
3587.73/3599.28 c Solutions found : 3
3587.73/3599.28 c Primal Bound : +4.00000000000000e+00
3587.73/3599.28 c Dual Bound : +0.00000000000000e+00
3587.73/3599.28 c Gap : infinite
3587.73/3599.28 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.73/3599.29 o 4
3587.73/3599.29 s SATISFIABLE
3587.73/3599.29 v x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 x152 -x151 -x150
3587.73/3599.29 v -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128
3587.73/3599.29 v -x127 x36 x35 x34 x33 x32 -x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 -x19 -x18 x17 x16 -x15 x14 -x13 -x12 -x11 -x10
3587.73/3599.29 v x9 -x8 x7 -x6 -x5 -x4 x3 x2 -x1 -x126 -x117 -x108 -x99 -x90 -x81 -x72 -x63 -x54 x125 -x116 -x107 -x98 -x89 -x80 -x71 -x62 -x53
3587.73/3599.29 v -x124 -x115 x106 -x97 -x88 -x79 -x70 -x61 -x52 -x123 -x114 -x105 -x96 -x87 -x78 -x69 -x60 -x51 -x122 -x113 -x104 -x95 -x86
3587.73/3599.29 v x77 -x68 -x59 -x50 -x121 -x112 -x103 -x94 -x85 -x76 -x67 -x58 -x49 -x120 -x111 -x102 -x93 x84 -x75 -x66 -x57 -x48 -x119 x110
3587.73/3599.29 v -x101 -x92 -x83 -x74 -x65 -x56 -x47 -x118 -x109 -x100 -x91 -x82 -x73 -x64 -x55 -x46 x45 -x44 -x43 x42 -x41 x40 -x39 -x38 x37
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 (63443 MiB free)
memory of node 1: 64473 MiB (63048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464558-1722390441/watcher-4464558-1722390441 -o /tmp/evaluation-result-4464558-1722390441/solver-4464558-1722390441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722390441-42213 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464558-1722390441.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42255, runsolver pid=42252
[startup+0.100081 s]*
/proc/loadavg: 1.13 1.23 2.14 3/253 42278
/proc/meminfo: memFree=129497524/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=37608 CPUtime=0.1 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 7195 0 0 0 9 1 0 0 20 0 3 0 5646000 119468032 9402 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 9402 2950 3035 0 12566 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=4026531959 CPUtime=0.05 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 3328 0 0 0 5 0 0 0 20 0 3 0 5646004 119468032 9402 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=215671391511 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 9402 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 37608 KiB
[startup+0.205326 s]*
/proc/loadavg: 1.13 1.23 2.14 4/247 42294
/proc/meminfo: memFree=129487240/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=45880 CPUtime=0.2 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 9445 0 0 0 19 1 0 0 20 0 3 0 5646000 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 11470 2950 3035 0 14988 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=3472328299600544044 CPUtime=0.15 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 5578 0 0 0 15 0 0 0 20 0 3 0 5646004 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=237129450765 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 45880 KiB
[startup+0.305661 s]*
/proc/loadavg: 1.13 1.23 2.14 3/247 42294
/proc/meminfo: memFree=129485232/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=45880 CPUtime=0.3 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 9456 0 0 0 29 1 0 0 20 0 3 0 5646000 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 11470 2950 3035 0 14988 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=6944657691966978410 CPUtime=0.25 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 5589 0 0 0 25 0 0 0 20 0 3 0 5646004 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=-6000919498543622763 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 45880 KiB
[startup+0.700223 s]
/proc/loadavg: 1.13 1.23 2.14 3/246 42341
/proc/meminfo: memFree=129541916/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=45880 CPUtime=0.69 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 9458 0 0 0 68 1 0 0 20 0 3 0 5646000 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 11470 2950 3035 0 14988 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=0 CPUtime=0.64 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 5591 0 0 0 64 0 0 0 20 0 3 0 5646004 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=0 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 11470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 45880 KiB
[startup+1.50024 s]
/proc/loadavg: 1.13 1.23 2.14 5/261 42374
/proc/meminfo: memFree=129190176/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=60480 CPUtime=1.49 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 16782 0 0 0 147 2 0 0 20 0 3 0 5646000 119468032 15120 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 15120 2950 3035 0 18633 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=0 CPUtime=1.44 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12893 0 0 0 143 1 0 0 20 0 3 0 5646004 119468032 15120 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=0 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 15120 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 60480 KiB
[startup+3.10529 s]
/proc/loadavg: 1.28 1.26 2.14 5/254 42505
/proc/meminfo: memFree=129231492/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=66088 CPUtime=3.08 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 19081 0 0 0 306 2 0 0 20 0 3 0 5646000 119468032 16522 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 16522 2950 3035 0 20515 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=-5155633492094773893 CPUtime=3.04 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 15188 0 0 0 302 2 0 0 20 0 3 0 5646004 119468032 16522 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=0 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 16522 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 66088 KiB
[startup+6.30023 s]
/proc/loadavg: 1.28 1.26 2.14 5/262 42797
/proc/meminfo: memFree=129270452/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=116668 memory=80728 CPUtime=6.27 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 31130 0 0 0 624 3 0 0 20 0 3 0 5646000 119468032 20182 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 29167 20182 2966 3035 0 23620 0
[pid=42255/tid=42277] ppid=42252 vsize=116668 memory=11596 CPUtime=6.22 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 27212 0 0 0 620 2 0 0 20 0 3 0 5646004 119468032 20182 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=116668 memory=67844 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5646005 119468032 20182 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 80728 KiB
[startup+12.7002 s]
/proc/loadavg: 1.70 1.35 2.16 5/262 42799
/proc/meminfo: memFree=129209068/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=124380 memory=93376 CPUtime=12.66 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 55177 0 0 0 1260 6 0 0 20 0 3 0 5646000 127365120 23344 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 31095 23344 3014 3035 0 26867 0
[pid=42255/tid=42277] ppid=42252 vsize=124380 memory=92092 CPUtime=12.61 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 51209 0 0 0 1256 5 0 0 20 0 3 0 5646004 127365120 23344 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=124380 memory=88664 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5646005 127365120 23344 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 124380 KiB
Current children cumulated memory: 93376 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 1.44 2.19 5/262 42800
/proc/meminfo: memFree=129141488/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=136740 memory=107564 CPUtime=25.41 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 90766 0 0 0 2532 9 0 0 20 0 3 0 5646000 140021760 26891 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 34185 26891 3014 3035 0 30561 0
[pid=42255/tid=42277] ppid=42252 vsize=136740 memory=87656 CPUtime=25.37 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 86718 0 0 0 2528 9 0 0 20 0 3 0 5646004 140021760 26891 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=136740 memory=106592 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5646005 140021760 26891 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 136740 KiB
Current children cumulated memory: 107564 KiB
[startup+51.1053 s]
/proc/loadavg: 2.78 1.66 2.24 5/261 42826
/proc/meminfo: memFree=129044084/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=228436 memory=137952 CPUtime=50.95 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 146718 0 0 0 5080 15 0 0 20 0 3 0 5646000 233918464 34488 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 57109 34488 3014 3035 0 38396 0
[pid=42255/tid=42277] ppid=42252 vsize=228436 memory=11596 CPUtime=50.9 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 142578 0 0 0 5076 14 0 0 20 0 3 0 5646004 233918464 34488 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=228436 memory=13120 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5646005 233918464 34488 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 228436 KiB
Current children cumulated memory: 137952 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.07 2.35 5/261 42834
/proc/meminfo: memFree=128849224/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=276516 memory=215936 CPUtime=101.99 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 234356 0 0 0 10174 25 0 0 20 0 3 0 5646000 283152384 53984 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 69129 53984 3014 3035 0 57591 0
[pid=42255/tid=42277] ppid=42252 vsize=276516 memory=107564 CPUtime=101.94 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 230171 0 0 0 10169 25 0 0 20 0 3 0 5646004 283152384 53984 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=276516 memory=11596 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5646005 283152384 53984 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 276516 KiB
Current children cumulated memory: 215936 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.45 2.47 5/260 42845
/proc/meminfo: memFree=128630432/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=345160 memory=297848 CPUtime=161.81 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 306922 0 0 0 16146 35 0 0 20 0 3 0 5646000 353443840 74462 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 86290 74462 3014 3035 0 80984 0
[pid=42255/tid=42277] ppid=42252 vsize=345160 memory=251152 CPUtime=161.76 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 302723 0 0 0 16142 34 0 0 20 0 3 0 5646004 353443840 74462 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=345160 memory=255520 CPUtime=0 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5646005 353443840 74462 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 345160 KiB
################
# More data... #
################
/proc/42255/statm: 871883 767470 3334 3035 0 864985 0
[pid=42255/tid=42277] ppid=42252 vsize=3487532 memory=11596 CPUtime=3391.27 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 11102674 0 0 0 338300 827 0 0 20 0 3 0 5646004 3571232768 767470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3487532 memory=11596 CPUtime=0.02 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 5646005 3571232768 767470 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 3487532 KiB
Current children cumulated memory: 3069880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/263 44678
/proc/meminfo: memFree=118258052/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3488560 memory=3118152 CPUtime=3451.31 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 11541931 0 0 0 344272 859 0 0 20 0 3 0 5646000 3572285440 779538 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 872140 779538 3334 3035 0 867673 0
[pid=42255/tid=42277] ppid=42252 vsize=3488560 memory=3108344 CPUtime=3451.05 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 11537261 0 0 0 344254 851 0 0 20 0 3 0 5646004 3572285440 779538 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3488560 memory=3107828 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 5646005 3572285440 779538 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3451.31 s
Current children cumulated vsize: 3488560 KiB
Current children cumulated memory: 3118152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/259 44689
/proc/meminfo: memFree=118092920/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3554096 memory=3162824 CPUtime=3511.1 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12021949 0 0 0 350222 888 0 0 20 0 3 0 5646000 3639394304 790706 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888524 790706 3334 3035 0 870215 0
[pid=42255/tid=42277] ppid=42252 vsize=3554096 memory=3135264 CPUtime=3510.84 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12017267 0 0 0 350204 880 0 0 20 0 3 0 5646004 3639394304 790706 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3554096 memory=3158200 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 5646005 3639394304 790706 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3511.1 s
Current children cumulated vsize: 3554096 KiB
Current children cumulated memory: 3162824 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 44699
/proc/meminfo: memFree=117919228/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3554096 memory=3209936 CPUtime=3570.89 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12450404 0 0 0 356175 914 0 0 20 0 3 0 5646000 3639394304 802484 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888524 802484 3334 3035 0 872743 0
[pid=42255/tid=42277] ppid=42252 vsize=3554096 memory=3205620 CPUtime=3570.62 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12445713 0 0 0 356156 906 0 0 20 0 3 0 5646004 3639394304 802484 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3554096 memory=11596 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3639394304 802484 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 3554096 KiB
Current children cumulated memory: 3209936 KiB
[startup+3599.3 s]
# the end of solver process 42255 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.49 s, system=9.34387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.11 5/259 44699
/proc/meminfo: memFree=117913880/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3554096 memory=3209936 CPUtime=3572.58 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12450428 0 0 0 356344 914 0 0 20 0 3 0 5646000 3639394304 802484 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888524 802484 3334 3035 0 872743 0
[pid=42255/tid=42277] ppid=42252 vsize=3554096 memory=-7091597680321846903 CPUtime=3572.32 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12445737 0 0 0 356326 906 0 0 20 0 3 0 5646004 3639394304 802484 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3554096 memory=2200 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3639394304 802484 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 3554096 KiB
Current children cumulated memory: 3209936 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.11 5/259 44701
/proc/meminfo: memFree=117898212/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3554096 memory=3214436 CPUtime=3578.96 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12517989 0 0 0 356977 919 0 0 20 0 3 0 5646000 3639394304 803609 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888524 803609 3334 3035 0 874263 0
[pid=42255/tid=42277] ppid=42252 vsize=3554096 memory=13120 CPUtime=3578.69 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12513298 0 0 0 356959 910 0 0 20 0 3 0 5646004 3639394304 803609 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3554096 memory=11596 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3639394304 803609 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3578.96 s
Current children cumulated vsize: 3554096 KiB
Current children cumulated memory: 3214436 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.15 4.11 5/259 44701
/proc/meminfo: memFree=117889812/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3554096 memory=3214828 CPUtime=3582.15 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12533593 0 0 0 357295 920 0 0 20 0 3 0 5646000 3639394304 803707 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888524 803707 3334 3035 0 874263 0
[pid=42255/tid=42277] ppid=42252 vsize=3554096 memory=3213844 CPUtime=3581.88 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12528902 0 0 0 357276 912 0 0 20 0 3 0 5646004 3639394304 803707 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3554096 memory=11596 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3639394304 803707 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3582.15 s
Current children cumulated vsize: 3554096 KiB
Current children cumulated memory: 3214828 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.15 4.11 5/259 44701
/proc/meminfo: memFree=117883960/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3554096 memory=3216432 CPUtime=3585.34 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12593212 0 0 0 357611 923 0 0 20 0 3 0 5646000 3639394304 804108 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888524 804108 3334 3035 0 874263 0
[pid=42255/tid=42277] ppid=42252 vsize=3554096 memory=3210960 CPUtime=3585.07 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12588521 0 0 0 357592 915 0 0 20 0 3 0 5646004 3639394304 804108 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3554096 memory=3216432 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3639394304 804108 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 3554096 KiB
Current children cumulated memory: 3216432 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 44703
/proc/meminfo: memFree=117879364/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3555124 memory=3217464 CPUtime=3586.92 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12601653 0 0 0 357769 923 0 0 20 0 3 0 5646000 3640446976 804366 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888781 804366 3334 3035 0 874520 0
[pid=42255/tid=42277] ppid=42252 vsize=3555124 memory=12272 CPUtime=3586.66 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12596962 0 0 0 357751 915 0 0 20 0 3 0 5646004 3640446976 804366 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3555124 memory=11596 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3640446976 804366 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 3555124 KiB
Current children cumulated memory: 3217464 KiB
[startup+3598.8 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 44703
/proc/meminfo: memFree=117879364/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3555124 memory=3217464 CPUtime=3587.33 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12662051 0 0 0 357805 928 0 0 20 0 3 0 5646000 3640446976 804366 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 888781 804366 3334 3035 0 874520 0
[pid=42255/tid=42277] ppid=42252 vsize=3555124 memory=2160 CPUtime=3587.06 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12657370 0 0 0 357786 920 0 0 20 0 3 0 5646004 3640446976 804366 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3555124 memory=-7523943244549416059 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3640446976 804366 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 3555124 KiB
Current children cumulated memory: 3217464 KiB
[startup+3599.2 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 44703
/proc/meminfo: memFree=117878644/131524600 swapFree=131071996/131071996
[pid=42255] ppid=42252 vsize=3547928 memory=3210276 CPUtime=3587.73 cores=1,3
/proc/42255/stat : 42255 (fscip) S 42252 42255 42201 0 -1 1077936128 12672174 0 0 0 357844 929 0 0 20 0 3 0 5646000 3633078272 802569 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
/proc/42255/statm: 886982 802569 3334 3035 0 872721 0
[pid=42255/tid=42277] ppid=42252 vsize=3547928 memory=12272 CPUtime=3587.46 cores=1,3
/proc/42255/task/42277/stat : 42277 (fscip) R 42252 42255 42201 0 -1 4194368 12667483 0 0 0 357825 921 0 0 20 0 3 0 5646004 3633078272 802569 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
[pid=42255/tid=42278] ppid=42252 vsize=3547928 memory=2160 CPUtime=0.03 cores=1,3
/proc/42255/task/42278/stat : 42278 (fscip) S 42252 42255 42201 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5646005 3633078272 802569 134679101440 4194304 16623229 140728112884240 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41709568 140728112890906 140728112891022 140728112891022 140728112898032 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 3547928 KiB
Current children cumulated memory: 3210276 KiB
Child status: 0
Real time (s): 3599.3
CPU time (s): 3587.84
CPU user time (s): 3578.49
CPU system time (s): 9.34387
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 3555124
Max. memory (cumulated for all children) (KiB): 3217464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.49
system time used= 9.34387
maximum resident set size= 3217464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12672818
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= 10448
involuntary context switches= 4643
# summary of solver processes directly reported to runsolver:
# pid: 42255
# total CPU time (s): 3587.84
# total CPU user time (s): 3578.49
# total CPU system time (s): 9.34387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82851 second user time and 16.5596 second system time
The end
Begin job on nodeC030 at 2024-07-31 03:47:21
IDJOB=4464558
IDBENCH=176173
IDSOLVER=3092
FILE ID=nodeC030/4464558-1722390441
RUNJOBID= nodeC030-1722390441-42213
SLURM_JOB_ID= 8249879
Free space on /tmp= 890056 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=9-t=5.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-4464558-1722390441/watcher-4464558-1722390441 -o /tmp/evaluation-result-4464558-1722390441/solver-4464558-1722390441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722390441-42213 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464558-1722390441.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e8bf5f7be237686d5dd1c770609b55cb
RANDOM SEED=908172744
nodeC030.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 : 3643.550
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 : 7000.60
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 : 3673.993
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.48
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 : 3654.394
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 : 7000.60
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.964
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.48
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 : 3651.663
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 : 7000.60
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 : 3673.985
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.48
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 : 3601.065
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 : 7000.60
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.813
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129535560 kB
MemAvailable: 129930000 kB
Buffers: 105948 kB
Cached: 1122484 kB
SwapCached: 0 kB
Active: 276928 kB
Inactive: 1230052 kB
Active(anon): 1448 kB
Inactive(anon): 298460 kB
Active(file): 275480 kB
Inactive(file): 931592 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112592 kB
Writeback: 8 kB
AnonPages: 278688 kB
Mapped: 99200 kB
Shmem: 21328 kB
KReclaimable: 54384 kB
Slab: 136812 kB
SReclaimable: 54384 kB
SUnreclaim: 82428 kB
KernelStack: 3792 kB
PageTables: 9276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 660528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC030 at 2024-07-31 04:47:20