0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 43364352, getVmSize() = 43364352, SCIPgetMemUsed() = 15879028, SCIPgetMemTotal() = 20795908, SCIPgetMemExternEstim() = 13418155
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.28 c ** Estimated virtualMemUsedAtSolver = 68493388, getVmSize() = 114114560, SCIPgetMemUsed() = 46558815, SCIPgetMemTotal() = 89321927, SCIPgetMemExternEstim() = 13418155
0.20/0.28 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.28 c Original Problem :
0.20/0.28 c Problem name : instance-4449833-1721452675
0.20/0.28 c Variables : 403 (403 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 13065
0.20/0.28 c Objective sense : minimize
0.20/0.28 c Presolved Problem :
0.20/0.28 c Variables : 403 (403 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 13065
0.20/0.28 c Constraints : Number
0.20/0.28 c setppc : 13
0.20/0.28 c logicor : 13052
0.20/0.28 c ** Instance transfer method used: 0
0.20/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.32 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.32 c Nodes Active
0.29/0.32 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.39/0.45 c * 0 0 1 1 13.0000 - -
0.39/0.46 c * 0 0 1 1 12.0000 - -
0.96/1.02 c * 1 0 1 1 8.0000 - -
2.06/2.15 c * 2 0 1 1 6.0000 - -
2.35/2.45 c * 2 0 1 1 5.0000 - -
3.46/3.58 c * 4 2 1 1 4.0000 0.0000 -
4.16/4.29 c * 4 35 34 1 3.0000 0.0000 -
4.75/4.87 c * 5 35 34 1 2.0000 0.0000 -
4.96/5.10 c 5 77 52 1 2.0000 0.0000 -
10.14/10.23 c 10 990 386 1 2.0000 0.0000 -
15.42/15.51 c 16 2034 855 1 2.0000 0.0000 -
20.80/20.91 c 21 2912 1235 1 2.0000 0.0000 -
25.89/26.03 c 26 3812 1595 1 2.0000 0.0000 -
31.17/31.30 c 31 4731 1836 1 2.0000 0.0000 -
36.26/36.45 c 36 5502 2135 1 2.0000 0.0000 -
42.24/42.45 c 42 5813 2277 1 2.0000 0.0000 -
47.83/48.06 c 48 6519 2638 1 2.0000 0.0000 -
53.11/53.35 c 53 6878 2841 1 2.0000 0.0000 -
59.39/59.67 c 60 7499 3063 1 2.0000 0.0000 -
65.28/65.54 c 66 7769 3161 1 2.0000 0.0000 -
71.16/71.48 c 71 8130 3291 1 2.0000 0.0000 -
76.34/76.68 c 77 8652 3489 1 2.0000 0.0000 -
82.03/82.34 c 82 9007 3598 1 2.0000 0.0000 -
87.81/88.18 c 88 9603 3802 1 2.0000 0.0000 -
93.80/94.13 c 94 9793 3864 1 2.0000 0.0000 -
99.88/100.25 c 100 10134 3937 1 2.0000 0.0000 -
105.57/105.94 c 106 10537 4049 1 2.0000 0.0000 -
111.45/111.82 c 112 11058 4199 1 2.0000 0.0000 -
116.73/117.11 c 117 11352 4268 1 2.0000 0.0000 -
122.21/122.64 c 123 11871 4405 1 2.0000 0.0000 -
127.71/128.13 c 128 12241 4489 1 2.0000 0.0000 -
132.98/133.42 c 133 12676 4618 1 2.0000 0.0000 -
138.86/139.32 c 139 13113 4714 1 2.0000 0.0000 -
144.26/144.70 c 145 13550 4842 1 2.0000 0.0000 -
149.94/150.44 c 150 13913 4966 1 2.0000 0.0000 -
155.82/156.38 c 156 14280 5107 1 2.0000 0.0000 -
161.71/162.29 c 162 14642 5195 1 2.0000 0.0000 -
167.79/168.35 c 168 15033 5283 1 2.0000 0.0000 -
173.07/173.69 c 174 15428 5323 1 2.0000 0.0000 -
178.57/179.16 c 179 16104 5459 1 2.0000 0.0000 -
184.55/185.11 c 185 16363 5494 1 2.0000 0.0000 -
190.22/190.82 c 191 16771 5604 1 2.0000 0.0000 -
195.41/196.09 c 196 17132 5672 1 2.0000 0.0000 -
201.40/202.04 c 202 17533 5764 1 2.0000 0.0000 -
207.27/207.99 c 208 17914 5832 1 2.0000 0.0000 -
212.97/213.62 c 214 18216 5920 1 2.0000 0.0000 -
218.85/219.58 c 220 18537 5994 1 2.0000 0.0000 -
224.63/225.35 c 225 18808 6073 1 2.0000 0.0000 -
230.42/231.12 c 231 19325 6197 1 2.0000 0.0000 -
235.90/236.67 c 237 19632 6279 1 2.0000 0.0000 -
241.68/242.48 c 242 20068 6353 1 2.0000 0.0000 -
247.07/247.88 c 248 20293 6410 1 2.0000 0.0000 -
252.96/253.79 c 254 20622 6461 1 2.0000 0.0000 -
258.64/259.40 c 259 20870 6531 1 2.0000 0.0000 -
265.23/266.08 c 266 21077 6600 1 2.0000 0.0000 -
270.22/271.08 c 271 21282 6635 1 2.0000 0.0000 -
276.39/277.26 c 277 21508 6701 1 2.0000 0.0000 -
281.98/282.88 c 283 21823 6741 1 2.0000 0.0000 -
287.26/288.19 c 288 22181 6813 1 2.0000 0.0000 -
293.04/293.94 c 294 22354 6837 1 2.0000 0.0000 -
299.13/300.03 c 300 22715 6881 1 2.0000 0.0000 -
304.71/305.60 c 306 22962 6936 1 2.0000 0.0000 -
310.10/311.08 c 311 23436 7035 1 2.0000 0.0000 -
315.98/316.96 c 317 23887 7104 1 2.0000 0.0000 -
322.17/323.15 c 323 24294 7212 1 2.0000 0.0000 -
327.35/328.33 c 328 24420 7252 1 2.0000 0.0000 -
332.63/333.68 c 334 24715 7314 1 2.0000 0.0000 -
338.12/339.13 c 339 25247 7420 1 2.0000 0.0000 -
343.80/344.87 c 345 25620 7485 1 2.0000 0.0000 -
348.89/349.93 c 350 25704 7518 1 2.0000 0.0000 -
354.67/355.71 c 356 26088 7560 1 2.0000 0.0000 -
360.46/361.56 c 362 26337 7593 1 2.0000 0.0000 -
366.04/367.18 c 367 26887 7710 1 2.0000 0.0000 -
371.82/372.90 c 373 27125 7761 1 2.0000 0.0000 -
377.70/378.86 c 379 27391 7826 1 2.0000 0.0000 -
382.90/384.01 c 384 27677 7856 1 2.0000 0.0000 -
388.87/390.01 c 390 27898 7886 1 2.0000 0.0000 -
394.26/395.43 c 395 28208 7970 1 2.0000 0.0000 -
400.24/401.46 c 401 28480 8047 1 2.0000 0.0000 -
406.03/407.20 c 407 28693 8106 1 2.0000 0.0000 -
412.12/413.32 c 413 28965 8161 1 2.0000 0.0000 -
417.70/418.94 c 419 29319 8224 1 2.0000 0.0000 -
423.09/424.36 c 424 29617 8278 1 2.0000 0.0000 -
428.77/430.02 c 430 29876 8338 1 2.0000 0.0000 -
434.55/435.88 c 436 30190 8392 1 2.0000 0.0000 -
440.24/441.57 c 442 30517 8432 1 2.0000 0.0000 -
446.22/447.56 c 448 30770 8481 1 2.0000 0.0000 -
451.71/453.08 c 453 30957 8504 1 2.0000 0.0000 -
457.39/458.75 c 459 31346 8563 1 2.0000 0.0000 -
463.09/464.40 c 464 31642 8607 1 2.0000 0.0000 -
468.68/470.08 c 470 31954 8667 1 2.0000 0.0000 -
474.16/475.54 c 476 32251 8712 1 2.0000 0.0000 -
479.24/480.62 c 481 32515 8747 1 2.0000 0.0000 -
484.74/486.16 c 486 32807 8783 1 2.0000 0.0000 -
489.82/491.23 c 491 33095 8816 1 2.0000 0.0000 -
495.10/496.51 c 497 33257 8845 1 2.0000 0.0000 -
500.99/502.46 c 502 33501 8895 1 2.0000 0.0000 -
506.47/507.96 c 508 34001 8974 1 2.0000 0.0000 -
511.76/513.23 c 513 34325 9016 1 2.0000 0.0000 -
517.44/518.99 c 519 34433 9037 1 2.0000 0.0000 -
522.63/524.18 c 524 34656 9078 1 2.0000 0.0000 -
528.11/529.63 c 530 34962 9128 1 2.0000 0.0000 -
533.81/535.32 c 535 35554 9249 1 2.0000 0.0000 -
539.59/541.17 c 541 35818 9288 1 2.0000 0.0000 -
544.87/546.43 c 546 36081 9330 1 2.0000 0.0000 -
550.47/552.03 c 552 36465 9390 1 2.0000 0.0000 -
555.95/557.57 c 558 37068 9486 1 2.0000 0.0000 -
561.83/563.49 c 564 37447 9543 1 2.0000 0.0000 -
567.41/569.06 c 569 37919 9586 1 2.0000 0.0000 -
572.50/574.17 c 574 38108 9613 1 2.0000 0.0000 -
578.17/579.86 c 580 38238 9639 1 2.0000 0.0000 -
583.95/585.65 c 586 38555 9672 1 2.0000 0.0000 -
589.33/591.00 c 591 38781 9704 1 2.0000 0.0000 -
594.81/596.55 c 597 39056 9743 1 2.0000 0.0000 -
599.89/601.63 c 602 39539 9815 1 2.0000 0.0000 -
605.47/607.29 c 607 39846 9853 1 2.0000 0.0000 -
611.45/613.24 c 613 40056 9888 1 2.0000 0.0000 -
617.14/618.93 c 619 40495 9915 1 2.0000 0.0000 -
622.82/624.67 c 625 40732 9952 1 2.0000 0.0000 -
628.21/630.09 c 630 40900 9986 1 2.0000 0.0000 -
634.18/636.02 c 636 41117 10027 1 2.0000 0.0000 -
639.17/641.04 c 641 41373 10072 1 2.0000 0.0000 -
644.94/646.89 c 647 41517 10088 1 2.0000 0.0000 -
651.13/653.08 c 653 41798 10127 1 2.0000 0.0000 -
657.21/659.12 c 659 41991 10141 1 2.0000 0.0000 -
662.58/664.58 c 665 42073 10164 1 2.0000 0.0000 -
668.26/670.25 c 670 42206 10200 1 2.0000 0.0000 -
673.45/675.49 c 676 42313 10215 1 2.0000 0.0000 -
679.13/681.18 c 681 42637 10238 1 2.0000 0.0000 -
684.30/686.34 c 686 42953 10286 1 2.0000 0.0000 -
690.09/692.11 c 692 43114 10316 1 2.0000 0.0000 -
696.07/698.17 c 698 43316 10343 1 2.0000 0.0000 -
701.65/703.79 c 704 43537 10369 1 2.0000 0.0000 -
706.73/708.88 c 709 44143 10413 1 2.0000 0.0000 -
712.02/714.16 c 714 44442 10423 1 2.0000 0.0000 -
717.79/719.95 c 720 44757 10464 1 2.0000 0.0000 -
723.18/725.32 c 725 44980 10510 1 2.0000 0.0000 -
729.26/731.41 c 731 45363 10560 1 2.0000 0.0000 -
734.44/736.63 c 737 45466 10581 1 2.0000 0.0000 -
739.62/741.82 c 742 46252 10720 1 2.0000 0.0000 -
745.40/747.69 c 748 46485 10730 1 2.0000 0.0000 -
751.09/753.33 c 753 46677 10786 1 2.0000 0.0000 -
756.66/758.94 c 759 46961 10823 1 2.0000 0.0000 -
762.04/764.37 c 764 47208 10835 1 2.0000 0.0000 -
767.73/770.08 c 770 47644 10870 1 2.0000 0.0000 -
773.10/775.43 c 775 48234 10912 1 2.0000 0.0000 -
778.49/780.88 c 781 48651 10959 1 2.0000 0.0000 -
784.07/786.49 c 786 48879 10984 1 2.0000 0.0000 -
790.55/792.93 c 793 49321 11046 1 2.0000 0.0000 -
796.22/798.60 c 799 49688 11088 1 2.0000 0.0000 -
801.40/803.86 c 804 50093 11147 1 2.0000 0.0000 -
806.98/809.45 c 809 50395 11173 1 2.0000 0.0000 -
813.06/815.59 c 816 50923 11215 1 2.0000 0.0000 -
818.84/821.34 c 821 51336 11243 1 2.0000 0.0000 -
824.13/826.62 c 827 51741 11278 1 2.0000 0.0000 -
829.40/831.90 c 832 52304 11294 1 2.0000 0.0000 -
834.88/837.49 c 838 52872 11315 1 2.0000 0.0000 -
840.57/843.18 c 843 53208 11336 1 2.0000 0.0000 -
846.34/848.90 c 849 53671 11345 1 2.0000 0.0000 -
851.73/854.30 c 854 54010 11375 1 2.0000 0.0000 -
857.61/860.28 c 860 54310 11418 1 2.0000 0.0000 -
862.99/865.67 c 866 54831 11476 1 2.0000 0.0000 -
868.47/871.16 c 871 55272 11516 1 2.0000 0.0000 -
873.74/876.42 c 876 55768 11586 1 2.0000 0.0000 -
879.03/881.71 c 882 56165 11640 1 2.0000 0.0000 -
884.51/887.20 c 887 56355 11660 1 2.0000 0.0000 -
889.79/892.59 c 893 56544 11679 1 2.0000 0.0000 -
895.37/898.13 c 898 56954 11729 1 2.0000 0.0000 -
900.36/903.14 c 903 57113 11759 1 2.0000 0.0000 -
906.04/908.85 c 909 57630 11842 1 2.0000 0.0000 -
912.01/914.80 c 915 58100 11888 1 2.0000 0.0000 -
917.90/920.70 c 921 58479 11917 1 2.0000 0.0000 -
923.57/926.46 c 926 58850 11947 1 2.0000 0.0000 -
929.35/932.29 c 932 59249 11991 1 2.0000 0.0000 -
934.83/937.79 c 938 59465 12002 1 2.0000 0.0000 -
940.11/943.06 c 943 59799 12033 1 2.0000 0.0000 -
945.59/948.57 c 949 60119 12070 1 2.0000 0.0000 -
951.57/954.52 c 955 60401 12129 1 2.0000 0.0000 -
957.45/960.43 c 960 60647 12191 1 2.0000 0.0000 -
963.43/966.46 c 966 60892 12239 1 2.0000 0.0000 -
968.50/971.55 c 972 61104 12263 1 2.0000 0.0000 -
973.99/977.07 c 977 61458 12312 1 2.0000 0.0000 -
979.97/983.03 c 983 61853 12351 1 2.0000 0.0000 -
986.14/989.28 c 989 61978 12367 1 2.0000 0.0000 -
991.74/994.88 c 995 62331 12387 1 2.0000 0.0000 -
997.22/1000.31 c 1000 62554 12396 1 2.0000 0.0000 -
1002.31/1005.48 c 1005 62746 12404 1 2.0000 0.0000 -
1008.09/1011.29 c 1011 63028 12430 1 2.0000 0.0000 -
1013.47/1016.64 c 1017 63223 12458 1 2.0000 0.0000 -
1019.16/1022.35 c 1022 63593 12502 1 2.0000 0.0000 -
1024.85/1028.05 c 1028 63862 12538 1 2.0000 0.0000 -
1030.22/1033.43 c 1033 64469 12585 1 2.0000 0.0000 -
1035.31/1038.54 c 1039 64769 12595 1 2.0000 0.0000 -
1040.90/1044.14 c 1044 65100 12634 1 2.0000 0.0000 -
1046.28/1049.56 c 1050 65494 12658 1 2.0000 0.0000 -
1052.07/1055.32 c 1055 65863 12678 1 2.0000 0.0000 -
1058.04/1061.30 c 1061 66272 12733 1 2.0000 0.0000 -
1063.54/1066.81 c 1067 66696 12771 1 2.0000 0.0000 -
1069.02/1072.32 c 1072 66949 12823 1 2.0000 0.0000 -
1075.00/1078.30 c 1078 67087 12857 1 2.0000 0.0000 -
1080.88/1084.28 c 1084 67375 12912 1 2.0000 0.0000 -
1086.56/1089.92 c 1090 67917 13001 1 2.0000 0.0000 -
1091.64/1095.01 c 1095 68072 13019 1 2.0000 0.0000 -
1097.22/1100.66 c 1101 68333 13050 1 2.0000 0.0000 -
1102.90/1106.37 c 1106 68518 13069 1 2.0000 0.0000 -
1108.47/1111.98 c 1112 68725 13099 1 2.0000 0.0000 -
1113.66/1117.11 c 1117 69173 13167 1 2.0000 0.0000 -
1119.13/1122.61 c 1123 69316 13188 1 2.0000 0.0000 -
1125.01/1128.50 c 1128 69497 13223 1 2.0000 0.0000 -
1130.39/1133.94 c 1134 69775 13278 1 2.0000 0.0000 -
1135.98/1139.56 c 1140 70048 13322 1 2.0000 0.0000 -
1141.15/1144.74 c 1145 70432 13368 1 2.0000 0.0000 -
1146.44/1150.09 c 1150 70711 13405 1 2.0000 0.0000 -
1151.73/1155.37 c 1155 71028 13451 1 2.0000 0.0000 -
1157.01/1160.68 c 1161 71302 13476 1 2.0000 0.0000 -
1162.79/1166.44 c 1166 71660 13522 1 2.0000 0.0000 -
1168.66/1172.39 c 1172 71988 13575 1 2.0000 0.0000 -
1174.34/1178.10 c 1178 72275 13615 1 2.0000 0.0000 -
1179.52/1183.21 c 1183 72881 13673 1 2.0000 0.0000 -
1185.20/1188.92 c 1189 73144 13733 1 2.0000 0.0000 -
1190.68/1194.43 c 1194 73374 13762 1 2.0000 0.0000 -
1196.86/1200.68 c 1201 73436 13759 1 2.0000 0.0000 -
1203.04/1206.84 c 1207 73562 13764 1 2.0000 0.0000 -
1208.22/1212.04 c 1212 73676 13758 1 2.0000 0.0000 -
1214.00/1217.89 c 1218 73847 13767 1 2.0000 0.0000 -
1219.38/1223.20 c 1223 73961 13773 1 2.0000 0.0000 -
1224.95/1228.81 c 1229 74055 13777 1 2.0000 0.0000 -
1231.03/1234.99 c 1235 74137 13776 1 2.0000 0.0000 -
1236.12/1240.01 c 1240 74291 13785 1 2.0000 0.0000 -
1241.39/1245.38 c 1245 74649 13825 1 2.0000 0.0000 -
1246.68/1250.63 c 1251 75082 13867 1 2.0000 0.0000 -
1252.36/1256.36 c 1256 75508 13912 1 2.0000 0.0000 -
1258.14/1262.14 c 1262 75980 13936 1 2.0000 0.0000 -
1263.61/1267.64 c 1268 76368 14000 1 2.0000 0.0000 -
1269.40/1273.45 c 1273 76673 14020 1 2.0000 0.0000 -
1274.98/1279.05 c 1279 77122 14067 1 2.0000 0.0000 -
1280.96/1285.10 c 1285 77453 14112 1 2.0000 0.0000 -
1287.04/1291.18 c 1291 77596 14124 1 2.0000 0.0000 -
1292.31/1296.42 c 1296 77768 14153 1 2.0000 0.0000 -
1298.00/1302.13 c 1302 77984 14175 1 2.0000 0.0000 -
1303.48/1307.67 c 1308 78193 14183 1 2.0000 0.0000 -
1308.65/1312.87 c 1313 78489 14223 1 2.0000 0.0000 -
1313.94/1318.19 c 1318 78660 14249 1 2.0000 0.0000 -
1319.82/1324.04 c 1324 79112 14278 1 2.0000 0.0000 -
1325.60/1329.80 c 1330 79369 1 1 2.0000 0.0000 -
1330.88/1335.16 c 1335 79876 173 1 2.0000 0.0000 -
1336.35/1340.63 c 1341 80519 183 1 2.0000 0.0000 -
1341.33/1345.65 c 1346 80921 232 1 2.0000 0.0000 -
1346.81/1351.11 c 1351 81364 315 1 2.0000 0.0000 -
1352.30/1356.66 c 1357 81733 359 1 2.0000 0.0000 -
1357.47/1361.80 c 1362 82043 404 1 2.0000 0.0000 -
1362.55/1366.97 c 1367 82634 574 1 2.0000 0.0000 -
1367.84/1372.22 c 1372 83321 720 1 2.0000 0.0000 -
1373.22/1377.69 c 1378 83692 821 1 2.0000 0.0000 -
1378.90/1383.38 c 1383 84414 938 1 2.0000 0.0000 -
1384.08/1388.56 c 1389 84654 1002 1 2.0000 0.0000 -
1389.47/1393.96 c 1394 84773 1046 1 2.0000 0.0000 -
1394.75/1399.24 c 1399 85018 1104 1 2.0000 0.0000 -
1399.74/1404.27 c 1404 85367 1157 1 2.0000 0.0000 -
1404.72/1409.29 c 1409 85564 1201 1 2.0000 0.0000 -
1410.11/1414.68 c 1415 86084 1248 1 2.0000 0.0000 -
1415.19/1419.77 c 1420 86938 1318 1 2.0000 0.0000 -
1420.27/1424.85 c 1425 87714 1403 1 2.0000 0.0000 -
1425.36/1429.92 c 1430 88897 1589 1 2.0000 0.0000 -
1430.64/1435.25 c 1435 89411 1696 1 2.0000 0.0000 -
1436.53/1441.13 c 1441 89714 1802 1 2.0000 0.0000 -
1441.71/1446.37 c 1446 90025 1927 1 2.0000 0.0000 -
1446.99/1451.62 c 1452 90602 2111 1 2.0000 0.0000 -
1452.49/1457.12 c 1457 90915 2218 1 2.0000 0.0000 -
1457.87/1462.52 c 1463 91641 2456 1 2.0000 0.0000 -
1462.85/1467.57 c 1468 92407 2637 1 2.0000 0.0000 -
1467.93/1472.62 c 1473 93417 2762 1 2.0000 0.0000 -
1473.11/1477.89 c 1478 94325 2914 1 2.0000 0.0000 -
1478.50/1483.29 c 1483 95344 3068 1 2.0000 0.0000 -
1483.78/1488.55 c 1489 96049 3249 1 2.0000 0.0000 -
1489.47/1494.24 c 1494 96494 3343 1 2.0000 0.0000 -
1495.06/1499.82 c 1500 97367 3447 1 2.0000 0.0000 -
1500.64/1505.46 c 1505 98041 3546 1 2.0000 0.0000 -
1505.82/1510.63 c 1511 99020 3725 1 2.0000 0.0000 -
1511.22/1516.02 c 1516 99835 3915 1 2.0000 0.0000 -
1516.49/1521.30 c 1521 100902 4128 1 2.0000 0.0000 -
1521.48/1526.35 c 1526 102410 4379 1 2.0000 0.0000 -
1526.56/1531.48 c 1531 103358 4528 1 2.0000 0.0000 -
1531.65/1536.58 c 1537 104249 4620 1 2.0000 0.0000 -
1536.83/1541.77 c 1542 105024 4689 1 2.0000 0.0000 -
1542.01/1546.98 c 1547 106051 4766 1 2.0000 0.0000 -
1547.50/1552.41 c 1552 106874 4887 1 2.0000 0.0000 -
1552.49/1557.45 c 1557 107815 5146 1 2.0000 0.0000 -
1557.67/1562.69 c 1563 108724 5424 1 2.0000 0.0000 -
1563.36/1568.39 c 1568 109444 5748 1 2.0000 0.0000 -
1569.05/1574.04 c 1574 109707 5845 1 2.0000 0.0000 -
1574.62/1579.69 c 1580 110123 5999 1 2.0000 0.0000 -
1580.41/1585.40 c 1585 110592 6180 1 2.0000 0.0000 -
1585.59/1590.68 c 1591 111259 6407 1 2.0000 0.0000 -
1591.38/1596.40 c 1596 111758 6596 1 2.0000 0.0000 -
1596.66/1601.75 c 1602 112390 6877 1 2.0000 0.0000 -
1602.44/1607.54 c 1608 112791 7051 1 2.0000 0.0000 -
1607.73/1612.83 c 1613 113491 7418 1 2.0000 0.0000 -
1613.31/1618.43 c 1618 114295 7885 1 2.0000 0.0000 -
1618.60/1623.70 c 1624 114806 8123 1 2.0000 0.0000 -
1624.18/1629.36 c 1629 115387 8288 1 2.0000 0.0000 -
1629.47/1634.60 c 1635 115947 8398 1 2.0000 0.0000 -
1634.86/1640.02 c 1640 116815 8580 1 2.0000 0.0000 -
1640.14/1645.31 c 1645 117400 8745 1 2.0000 0.0000 -
1645.52/1650.76 c 1651 117833 8846 1 2.0000 0.0000 -
1650.91/1656.14 c 1656 118459 9028 1 2.0000 0.0000 -
1656.48/1661.71 c 1662 119136 9211 1 2.0000 0.0000 -
1662.07/1667.33 c 1667 119769 9400 1 2.0000 0.0000 -
1667.55/1672.86 c 1673 120229 9550 1 2.0000 0.0000 -
1672.94/1678.21 c 1678 121025 9934 1 2.0000 0.0000 -
1678.02/1683.35 c 1683 121678 10260 1 2.0000 0.0000 -
1683.81/1689.16 c 1689 121918 10416 1 2.0000 0.0000 -
1689.59/1694.99 c 1695 122307 10606 1 2.0000 0.0000 -
1695.18/1700.57 c 1701 122657 10770 1 2.0000 0.0000 -
1700.56/1705.91 c 1706 123113 11092 1 2.0000 0.0000 -
1705.95/1711.32 c 1711 123641 11430 1 2.0000 0.0000 -
1711.63/1717.06 c 1717 123979 11592 1 2.0000 0.0000 -
1717.32/1722.76 c 1723 124317 11770 1 2.0000 0.0000 -
1722.50/1727.93 c 1728 124521 11852 1 2.0000 0.0000 -
1728.09/1733.59 c 1734 125060 12047 1 2.0000 0.0000 -
1733.37/1738.83 c 1739 125549 12323 1 2.0000 0.0000 -
1738.74/1744.26 c 1744 125931 12514 1 2.0000 0.0000 -
1744.23/1749.78 c 1750 126255 12693 1 2.0000 0.0000 -
1749.51/1755.00 c 1755 126666 12940 1 2.0000 0.0000 -
1754.79/1760.34 c 1760 126865 13073 1 2.0000 0.0000 -
1760.36/1765.90 c 1766 127354 13275 1 2.0000 0.0000 -
1765.55/1771.13 c 1771 127668 13467 1 2.0000 0.0000 -
1771.13/1776.71 c 1777 128180 13749 1 2.0000 0.0000 -
1776.52/1782.14 c 1782 128507 13934 1 2.0000 0.0000 -
1782.10/1787.74 c 1788 128774 14139 1 2.0000 0.0000 -
1787.48/1793.18 c 1793 129383 14310 1 2.0000 0.0000 -
1792.86/1798.50 c 1799 129807 14535 1 2.0000 0.0000 -
1798.35/1804.00 c 1804 130104 14718 1 2.0000 0.0000 -
1804.44/1810.12 c 1810 130400 14852 1 2.0000 0.0000 -
1809.42/1815.18 c 1815 130937 15159 1 2.0000 0.0000 -
1815.09/1820.81 c 1821 131758 15337 1 2.0000 0.0000 -
1820.18/1825.97 c 1826 132523 15488 1 2.0000 0.0000 -
1825.27/1831.05 c 1831 133565 15668 1 2.0000 0.0000 -
1831.15/1836.97 c 1837 134125 15973 1 2.0000 0.0000 -
1836.34/1842.16 c 1842 134647 16313 1 2.0000 0.0000 -
1841.52/1847.32 c 1847 135138 16610 1 2.0000 0.0000 -
1847.20/1853.05 c 1853 135635 16926 1 2.0000 0.0000 -
1852.48/1858.32 c 1858 136233 17284 1 2.0000 0.0000 -
1857.66/1863.54 c 1864 136639 17522 1 2.0000 0.0000 -
1862.95/1868.89 c 1869 137200 17770 1 2.0000 0.0000 -
1868.83/1874.78 c 1875 137666 17968 1 2.0000 0.0000 -
1874.52/1880.47 c 1880 137988 18157 1 2.0000 0.0000 -
1880.21/1886.14 c 1886 138229 18288 1 2.0000 0.0000 -
1886.39/1892.33 c 1892 138636 18376 1 2.0000 0.0000 -
1891.77/1897.75 c 1898 139123 18487 1 2.0000 0.0000 -
1897.76/1903.79 c 1904 139422 18539 1 2.0000 0.0000 -
1903.25/1909.22 c 1909 139743 18688 1 2.0000 0.0000 -
1908.93/1914.96 c 1915 140212 18944 1 2.0000 0.0000 -
1914.42/1920.42 c 1920 140768 19136 1 2.0000 0.0000 -
1919.50/1925.53 c 1926 141033 19237 1 2.0000 0.0000 -
1924.78/1930.82 c 1931 141481 19382 1 2.0000 0.0000 -
1930.57/1936.68 c 1937 141694 19472 1 2.0000 0.0000 -
1936.15/1942.22 c 1942 142079 19634 1 2.0000 0.0000 -
1941.64/1947.74 c 1948 142265 19732 1 2.0000 0.0000 -
1947.62/1953.76 c 1954 142645 19912 1 2.0000 0.0000 -
1953.31/1959.47 c 1959 143115 20238 1 2.0000 0.0000 -
1958.89/1965.01 c 1965 143640 20501 1 2.0000 0.0000 -
1963.98/1970.13 c 1970 144008 20700 1 2.0000 0.0000 -
1969.57/1975.76 c 1976 144377 20906 1 2.0000 0.0000 -
1974.75/1980.95 c 1981 144813 21149 1 2.0000 0.0000 -
1980.13/1986.31 c 1986 145136 21293 1 2.0000 0.0000 -
1986.02/1992.25 c 1992 145673 21587 1 2.0000 0.0000 -
1991.81/1998.00 c 1998 146237 21749 1 2.0000 0.0000 -
1996.99/2003.22 c 2003 146770 22077 1 2.0000 0.0000 -
2002.47/2008.76 c 2009 147224 22290 1 2.0000 0.0000 -
2007.76/2014.03 c 2014 147702 22556 1 2.0000 0.0000 -
2013.04/2019.30 c 2019 148327 22754 1 2.0000 0.0000 -
2018.22/2024.57 c 2025 149049 23083 1 2.0000 0.0000 -
2023.81/2030.13 c 2030 149428 23274 1 2.0000 0.0000 -
2028.80/2035.18 c 2035 150530 23433 1 2.0000 0.0000 -
2034.26/2040.66 c 2041 151206 23705 1 2.0000 0.0000 -
2039.54/2046.00 c 2046 151646 23937 1 2.0000 0.0000 -
2045.82/2052.24 c 2052 152126 24074 1 2.0000 0.0000 -
2051.00/2057.41 c 2057 152605 24314 1 2.0000 0.0000 -
2056.28/2062.70 c 2063 153303 24561 1 2.0000 0.0000 -
2061.57/2068.10 c 2068 153820 24780 1 2.0000 0.0000 -
2067.14/2073.66 c 2074 154344 25027 1 2.0000 0.0000 -
2072.93/2079.42 c 2079 154816 25225 1 2.0000 0.0000 -
2078.20/2084.73 c 2085 155199 25421 1 2.0000 0.0000 -
2083.79/2090.34 c 2090 155470 25638 1 2.0000 0.0000 -
2089.58/2096.17 c 2096 155792 25890 1 2.0000 0.0000 -
2094.95/2101.57 c 2102 156325 26197 1 2.0000 0.0000 -
2100.93/2107.51 c 2108 156622 26396 1 2.0000 0.0000 -
2106.91/2113.53 c 2114 156946 26564 1 2.0000 0.0000 -
2112.09/2118.78 c 2119 157390 26825 1 2.0000 0.0000 -
2117.37/2124.09 c 2124 157788 27064 1 2.0000 0.0000 -
2122.85/2129.57 c 2130 157999 27198 1 2.0000 0.0000 -
2128.03/2134.79 c 2135 158594 27437 1 2.0000 0.0000 -
2133.90/2140.60 c 2141 159418 27634 1 2.0000 0.0000 -
2139.69/2146.43 c 2146 159938 27769 1 2.0000 0.0000 -
2144.66/2151.48 c 2151 161303 27967 1 2.0000 0.0000 -
2149.74/2156.53 c 2157 162339 28112 1 2.0000 0.0000 -
2154.93/2161.77 c 2162 163254 28196 1 2.0000 0.0000 -
2160.21/2167.02 c 2167 164206 28333 1 2.0000 0.0000 -
2165.58/2172.40 c 2172 165053 28526 1 2.0000 0.0000 -
2170.86/2177.73 c 2178 165780 28710 1 2.0000 0.0000 -
2176.34/2183.22 c 2183 166272 28841 1 2.0000 0.0000 -
2181.92/2188.84 c 2189 166751 28976 1 2.0000 0.0000 -
2187.50/2194.46 c 2194 167419 29102 1 2.0000 0.0000 -
2192.87/2199.84 c 2200 167784 29201 1 2.0000 0.0000 -
2198.65/2205.62 c 2206 168488 29364 1 2.0000 0.0000 -
2203.84/2210.83 c 2211 169203 29495 1 2.0000 0.0000 -
2209.21/2216.25 c 2216 169947 29633 1 2.0000 0.0000 -
2214.30/2221.33 c 2221 170547 29756 1 2.0000 0.0000 -
2219.68/2226.77 c 2227 170974 29881 1 2.0000 0.0000 -
2225.26/2232.35 c 2232 171721 30103 1 2.0000 0.0000 -
2231.14/2238.28 c 2238 172236 30278 1 2.0000 0.0000 -
2236.32/2243.40 c 2243 172545 30410 1 2.0000 0.0000 -
2241.49/2248.61 c 2249 172924 30565 1 2.0000 0.0000 -
2246.77/2253.96 c 2254 173230 30694 1 2.0000 0.0000 -
2252.05/2259.29 c 2259 174250 30880 1 2.0000 0.0000 -
2258.02/2265.20 c 2265 174826 31046 1 2.0000 0.0000 -
2263.71/2270.98 c 2271 175096 31151 1 2.0000 0.0000 -
2269.38/2276.65 c 2277 175669 31407 1 2.0000 0.0000 -
2274.66/2281.95 c 2282 176440 31551 1 2.0000 0.0000 -
2280.04/2287.38 c 2287 177194 31626 1 2.0000 0.0000 -
2285.92/2293.26 c 2293 177854 31765 1 2.0000 0.0000 -
2291.80/2299.19 c 2299 178197 31943 1 2.0000 0.0000 -
2297.36/2304.79 c 2305 178556 32070 1 2.0000 0.0000 -
2302.75/2310.11 c 2310 178822 32164 1 2.0000 0.0000 -
2308.32/2315.72 c 2316 179375 32469 1 2.0000 0.0000 -
2313.41/2320.89 c 2321 179980 32715 1 2.0000 0.0000 -
2318.49/2325.93 c 2326 180348 32795 1 2.0000 0.0000 -
2323.57/2331.09 c 2331 181256 32911 1 2.0000 0.0000 -
2329.04/2336.52 c 2337 181744 32997 1 2.0000 0.0000 -
2334.23/2341.74 c 2342 182367 33092 1 2.0000 0.0000 -
2339.31/2346.82 c 2347 183174 33165 1 2.0000 0.0000 -
2344.49/2352.00 c 2352 183950 33254 1 2.0000 0.0000 -
2349.57/2357.13 c 2357 184300 33340 1 2.0000 0.0000 -
2354.95/2362.58 c 2363 185149 33433 1 2.0000 0.0000 -
2360.23/2367.82 c 2368 185846 33602 1 2.0000 0.0000 -
2365.52/2373.13 c 2373 186841 33747 1 2.0000 0.0000 -
2370.80/2378.48 c 2378 187550 33854 1 2.0000 0.0000 -
2376.18/2383.81 c 2384 188422 33953 1 2.0000 0.0000 -
2381.67/2389.34 c 2389 188898 34084 1 2.0000 0.0000 -
2387.35/2395.04 c 2395 189432 34204 1 2.0000 0.0000 -
2392.63/2400.30 c 2400 190281 34351 1 2.0000 0.0000 -
2398.11/2405.88 c 2406 190969 34478 1 2.0000 0.0000 -
2403.70/2411.41 c 2411 192002 34670 1 2.0000 0.0000 -
2409.07/2416.88 c 2417 192501 34920 1 2.0000 0.0000 -
2414.56/2422.38 c 2422 193302 35071 1 2.0000 0.0000 -
2419.84/2427.64 c 2428 194153 35219 1 2.0000 0.0000 -
2425.23/2433.05 c 2433 195029 35365 1 2.0000 0.0000 -
2430.61/2438.48 c 2438 195385 35539 1 2.0000 0.0000 -
2435.90/2443.74 c 2444 196423 35675 1 2.0000 0.0000 -
2441.48/2449.33 c 2449 197139 35855 1 2.0000 0.0000 -
2446.67/2454.51 c 2455 197511 36003 1 2.0000 0.0000 -
2452.15/2460.09 c 2460 197800 36076 1 2.0000 0.0000 -
2457.53/2465.46 c 2465 198149 36177 1 2.0000 0.0000 -
2463.33/2471.29 c 2471 198389 36263 1 2.0000 0.0000 -
2468.80/2476.78 c 2477 199073 36428 1 2.0000 0.0000 -
2474.19/2482.17 c 2482 199873 36617 1 2.0000 0.0000 -
2479.77/2487.73 c 2488 200396 36812 1 2.0000 0.0000 -
2485.65/2493.63 c 2494 200822 36991 1 2.0000 0.0000 -
2491.64/2499.68 c 2500 201185 37196 1 2.0000 0.0000 -
2497.12/2505.18 c 2505 201714 37531 1 2.0000 0.0000 -
2502.71/2510.73 c 2511 202059 37755 1 2.0000 0.0000 -
2508.39/2516.40 c 2516 202555 38008 1 2.0000 0.0000 -
2513.98/2522.00 c 2522 202830 38195 1 2.0000 0.0000 -
2519.56/2527.60 c 2528 203184 38455 1 2.0000 0.0000 -
2524.84/2532.97 c 2533 203669 38737 1 2.0000 0.0000 -
2530.33/2538.49 c 2538 204102 39029 1 2.0000 0.0000 -
2535.91/2544.03 c 2544 204574 39337 1 2.0000 0.0000 -
2541.39/2549.51 c 2550 205058 39648 1 2.0000 0.0000 -
2546.98/2555.10 c 2555 205615 39966 1 2.0000 0.0000 -
2552.06/2560.27 c 2560 206069 40219 1 2.0000 0.0000 -
2557.55/2565.75 c 2566 206540 40488 1 2.0000 0.0000 -
2563.13/2571.32 c 2571 206936 40754 1 2.0000 0.0000 -
2568.32/2576.53 c 2577 207389 41018 1 2.0000 0.0000 -
2573.70/2581.97 c 2582 207789 41296 1 2.0000 0.0000 -
2578.78/2587.06 c 2587 208318 41600 1 2.0000 0.0000 -
2584.66/2592.95 c 2593 208680 41769 1 2.0000 0.0000 -
2589.94/2598.25 c 2598 209244 42055 1 2.0000 0.0000 -
2595.03/2603.37 c 2603 209731 42312 1 2.0000 0.0000 -
2600.41/2608.75 c 2609 210326 42590 1 2.0000 0.0000 -
2605.49/2613.81 c 2614 210847 42849 1 2.0000 0.0000 -
2611.07/2619.44 c 2619 211623 43199 1 2.0000 0.0000 -
2616.46/2624.80 c 2625 212198 43521 1 2.0000 0.0000 -
2621.65/2630.06 c 2630 212942 43719 1 2.0000 0.0000 -
2626.92/2635.39 c 2635 213694 43843 1 2.0000 0.0000 -
2632.31/2640.79 c 2641 214219 44082 1 2.0000 0.0000 -
2637.60/2646.06 c 2646 214822 44375 1 2.0000 0.0000 -
2642.68/2651.12 c 2651 215076 44510 1 2.0000 0.0000 -
2648.16/2656.64 c 2657 215422 44715 1 2.0000 0.0000 -
2653.75/2662.21 c 2662 215748 44924 1 2.0000 0.0000 -
2658.73/2667.27 c 2667 216133 45159 1 2.0000 0.0000 -
2664.01/2672.57 c 2673 216439 45374 1 2.0000 0.0000 -
2669.70/2678.25 c 2678 216879 45670 1 2.0000 0.0000 -
2675.29/2683.83 c 2684 217232 45929 1 2.0000 0.0000 -
2681.57/2690.14 c 2690 217514 46112 1 2.0000 0.0000 -
2686.85/2695.47 c 2695 217837 46349 1 2.0000 0.0000 -
2692.04/2700.65 c 2701 218107 46515 1 2.0000 0.0000 -
2697.72/2706.36 c 2706 218378 46719 1 2.0000 0.0000 -
2702.80/2711.46 c 2711 218771 46951 1 2.0000 0.0000 -
2708.28/2716.99 c 2717 218968 47104 1 2.0000 0.0000 -
2713.77/2722.42 c 2722 219181 47281 1 2.0000 0.0000 -
2719.66/2728.36 c 2728 219685 47564 1 2.0000 0.0000 -
2725.34/2734.01 c 2734 220018 47799 1 2.0000 0.0000 -
2731.02/2739.75 c 2740 220223 47919 1 2.0000 0.0000 -
2736.80/2745.51 c 2746 220656 48122 1 2.0000 0.0000 -
2742.19/2750.95 c 2751 221007 48338 1 2.0000 0.0000 -
2747.97/2756.79 c 2757 221842 48515 1 2.0000 0.0000 -
2753.06/2761.85 c 2762 222783 48650 1 2.0000 0.0000 -
2758.25/2767.08 c 2767 224115 48782 1 2.0000 0.0000 -
2763.73/2772.55 c 2773 225142 48894 1 2.0000 0.0000 -
2769.31/2778.16 c 2778 225615 49209 1 2.0000 0.0000 -
2774.60/2783.40 c 2783 226004 49473 1 2.0000 0.0000 -
2779.78/2788.67 c 2789 226473 49770 1 2.0000 0.0000 -
2785.37/2794.21 c 2794 227262 50119 1 2.0000 0.0000 -
2790.35/2799.28 c 2799 227991 50298 1 2.0000 0.0000 -
2795.93/2804.80 c 2805 228946 50540 1 2.0000 0.0000 -
2801.31/2810.20 c 2810 229690 50846 1 2.0000 0.0000 -
2806.70/2815.64 c 2816 230114 51145 1 2.0000 0.0000 -
2811.88/2820.86 c 2821 230622 51402 1 2.0000 0.0000 -
2817.27/2826.23 c 2826 231018 51559 1 2.0000 0.0000 -
2822.54/2831.54 c 2832 231245 51746 1 2.0000 0.0000 -
2828.14/2837.14 c 2837 231556 51981 1 2.0000 0.0000 -
2834.01/2843.07 c 2843 231874 52233 1 2.0000 0.0000 -
2839.59/2848.67 c 2849 232115 52390 1 2.0000 0.0000 -
2845.18/2854.25 c 2854 232388 52551 1 2.0000 0.0000 -
2850.46/2859.51 c 2860 232861 52790 1 2.0000 0.0000 -
2856.15/2865.22 c 2865 233119 52922 1 2.0000 0.0000 -
2861.83/2870.96 c 2871 233356 53085 1 2.0000 0.0000 -
2867.32/2876.46 c 2876 233606 53229 1 2.0000 0.0000 -
2872.91/2882.03 c 2882 234273 53543 1 2.0000 0.0000 -
2878.38/2887.57 c 2888 234985 53853 1 2.0000 0.0000 -
2883.87/2893.00 c 2893 235425 54098 1 2.0000 0.0000 -
2889.65/2898.87 c 2899 235632 54209 1 2.0000 0.0000 -
2894.84/2904.08 c 2904 235935 54375 1 2.0000 0.0000 -
2900.52/2909.72 c 2910 236193 54551 1 2.0000 0.0000 -
2906.00/2915.28 c 2915 236468 54757 1 2.0000 0.0000 -
2911.59/2920.83 c 2921 236886 55008 1 2.0000 0.0000 -
2916.97/2926.23 c 2926 237352 55240 1 2.0000 0.0000 -
2922.66/2931.98 c 2932 237617 55402 1 2.0000 0.0000 -
2928.04/2937.36 c 2937 238045 55665 1 2.0000 0.0000 -
2933.33/2942.61 c 2943 238384 55861 1 2.0000 0.0000 -
2939.12/2948.42 c 2948 238856 56176 1 2.0000 0.0000 -
2944.30/2953.61 c 2954 239731 56620 1 2.0000 0.0000 -
2949.79/2959.10 c 2959 240259 57006 1 2.0000 0.0000 -
2955.17/2964.57 c 2965 240900 57335 1 2.0000 0.0000 -
2960.75/2970.16 c 2970 241335 57565 1 2.0000 0.0000 -
2966.33/2975.73 c 2976 241589 57765 1 2.0000 0.0000 -
2971.62/2981.08 c 2981 241844 57931 1 2.0000 0.0000 -
2976.70/2986.15 c 2986 242064 58049 1 2.0000 0.0000 -
2981.99/2991.45 c 2991 242268 58190 1 2.0000 0.0000 -
2987.08/2996.57 c 2997 242432 58274 1 2.0000 0.0000 -
2992.97/3002.49 c 3002 242701 58402 1 2.0000 0.0000 -
2998.75/3008.25 c 3008 243228 58694 1 2.0000 0.0000 -
3004.22/3013.70 c 3014 243425 58848 1 2.0000 0.0000 -
3010.11/3019.62 c 3020 243729 59054 1 2.0000 0.0000 -
3015.50/3025.05 c 3025 244155 59293 1 2.0000 0.0000 -
3021.07/3030.64 c 3031 244737 59559 1 2.0000 0.0000 -
3026.16/3035.70 c 3036 245028 59749 1 2.0000 0.0000 -
3031.74/3041.30 c 3041 245371 59941 1 2.0000 0.0000 -
3037.02/3046.67 c 3047 246109 60195 1 2.0000 0.0000 -
3042.60/3052.22 c 3052 246503 60412 1 2.0000 0.0000 -
3048.39/3058.06 c 3058 246940 60700 1 2.0000 0.0000 -
3053.67/3063.34 c 3063 247447 60930 1 2.0000 0.0000 -
3059.05/3068.76 c 3069 247894 61194 1 2.0000 0.0000 -
3064.45/3074.19 c 3074 248370 61511 1 2.0000 0.0000 -
3069.93/3079.63 c 3080 248903 61786 1 2.0000 0.0000 -
3075.41/3085.13 c 3085 249502 62075 1 2.0000 0.0000 -
3080.50/3090.20 c 3090 250547 62180 1 2.0000 0.0000 -
3085.68/3095.42 c 3095 251736 62376 1 2.0000 0.0000 -
3091.16/3100.96 c 3101 252280 62739 1 2.0000 0.0000 -
3096.94/3106.74 c 3107 252769 63061 1 2.0000 0.0000 -
3102.43/3112.21 c 3112 253447 63369 1 2.0000 0.0000 -
3107.92/3117.73 c 3118 254159 63720 1 2.0000 0.0000 -
3113.40/3123.21 c 3123 254592 63972 1 2.0000 0.0000 -
3119.38/3129.23 c 3129 254995 64081 1 2.0000 0.0000 -
3124.57/3134.46 c 3134 255422 64224 1 2.0000 0.0000 -
3130.15/3140.06 c 3140 255719 64413 1 2.0000 0.0000 -
3136.04/3145.95 c 3146 256075 64587 1 2.0000 0.0000 -
3141.22/3151.13 c 3151 256397 64806 1 2.0000 0.0000 -
3146.50/3156.47 c 3156 256606 64977 1 2.0000 0.0000 -
3151.88/3161.81 c 3162 256879 65183 1 2.0000 0.0000 -
3157.27/3167.24 c 3167 257197 65249 1 2.0000 0.0000 -
3162.96/3172.97 c 3173 257480 65282 1 2.0000 0.0000 -
3168.44/3178.43 c 3178 257825 65476 1 2.0000 0.0000 -
3173.63/3183.61 c 3184 258320 65653 1 2.0000 0.0000 -
3178.61/3188.65 c 3189 258550 65763 1 2.0000 0.0000 -
3184.10/3194.10 c 3194 259063 65807 1 2.0000 0.0000 -
3189.39/3199.48 c 3199 259270 65825 1 2.0000 0.0000 -
3195.27/3205.34 c 3205 259595 65968 1 2.0000 0.0000 -
3200.75/3210.88 c 3211 260240 66217 1 2.0000 0.0000 -
3205.94/3216.00 c 3216 260864 66564 1 2.0000 0.0000 -
3211.22/3221.30 c 3221 261881 66623 1 2.0000 0.0000 -
3216.51/3226.68 c 3227 262375 66709 1 2.0000 0.0000 -
3221.49/3231.69 c 3232 262720 66877 1 2.0000 0.0000 -
3227.07/3237.27 c 3237 262945 67058 1 2.0000 0.0000 -
3232.46/3242.60 c 3243 263217 67290 1 2.0000 0.0000 -
3237.54/3247.73 c 3248 263371 67420 1 2.0000 0.0000 -
3242.53/3252.77 c 3253 263714 67608 1 2.0000 0.0000 -
3248.21/3258.40 c 3258 263997 67808 1 2.0000 0.0000 -
3253.79/3264.08 c 3264 264223 67974 1 2.0000 0.0000 -
3258.98/3269.29 c 3269 264665 68271 1 2.0000 0.0000 -
3264.55/3274.88 c 3275 265284 68626 1 2.0000 0.0000 -
3269.94/3280.27 c 3280 265801 68897 1 2.0000 0.0000 -
3276.22/3286.57 c 3287 266147 69123 1 2.0000 0.0000 -
3281.60/3291.92 c 3292 266420 69263 1 2.0000 0.0000 -
3286.99/3297.30 c 3297 266654 69377 1 2.0000 0.0000 -
3292.27/3302.67 c 3303 267028 69567 1 2.0000 0.0000 -
3297.66/3308.10 c 3308 267404 69798 1 2.0000 0.0000 -
3302.94/3313.31 c 3313 267776 70015 1 2.0000 0.0000 -
3308.32/3318.76 c 3319 268022 70165 1 2.0000 0.0000 -
3313.80/3324.24 c 3324 268203 70288 1 2.0000 0.0000 -
3319.48/3329.90 c 3330 268523 70424 1 2.0000 0.0000 -
3324.77/3335.26 c 3335 268911 70650 1 2.0000 0.0000 -
3330.56/3341.05 c 3341 269314 70818 1 2.0000 0.0000 -
3336.33/3346.82 c 3347 269834 71122 1 2.0000 0.0000 -
3341.72/3352.25 c 3352 270200 71348 1 2.0000 0.0000 -
3347.50/3358.06 c 3358 270589 71571 1 2.0000 0.0000 -
3352.98/3363.54 c 3364 270919 71735 1 2.0000 0.0000 -
3358.66/3369.20 c 3369 271223 71908 1 2.0000 0.0000 -
3364.24/3374.88 c 3375 271630 72153 1 2.0000 0.0000 -
3370.12/3380.72 c 3381 272065 72424 1 2.0000 0.0000 -
3375.51/3386.12 c 3386 272517 72746 1 2.0000 0.0000 -
3381.39/3392.07 c 3392 272725 72892 1 2.0000 0.0000 -
3386.77/3397.45 c 3397 273112 73068 1 2.0000 0.0000 -
3392.05/3402.77 c 3403 273529 73312 1 2.0000 0.0000 -
3397.54/3408.29 c 3408 274169 73616 1 2.0000 0.0000 -
3403.42/3414.13 c 3414 274702 73926 1 2.0000 0.0000 -
3409.10/3419.81 c 3420 274947 74102 1 2.0000 0.0000 -
3414.78/3425.53 c 3426 275467 74343 1 2.0000 0.0000 -
3420.28/3431.01 c 3431 275909 74542 1 2.0000 0.0000 -
3425.55/3436.39 c 3436 276321 74770 1 2.0000 0.0000 -
3430.73/3441.56 c 3442 276824 75034 1 2.0000 0.0000 -
3435.82/3446.62 c 3447 277517 75352 1 2.0000 0.0000 -
3441.31/3452.15 c 3452 278411 75792 1 2.0000 0.0000 -
3446.39/3457.25 c 3457 278720 75986 1 2.0000 0.0000 -
3451.97/3462.88 c 3463 278950 76152 1 2.0000 0.0000 -
3457.35/3468.26 c 3468 279479 76427 1 2.0000 0.0000 -
3462.74/3473.65 c 3474 280027 76742 1 2.0000 0.0000 -
3467.92/3478.85 c 3479 280315 76900 1 2.0000 0.0000 -
3474.01/3484.99 c 3485 280480 77021 1 2.0000 0.0000 -
3479.79/3490.73 c 3491 280768 77211 1 2.0000 0.0000 -
3485.97/3496.94 c 3497 281162 77455 1 2.0000 0.0000 -
3492.24/3503.20 c 3503 281584 77742 1 2.0000 0.0000 -
3497.53/3508.53 c 3509 282183 78043 1 2.0000 0.0000 -
3502.81/3513.80 c 3514 282615 78242 1 2.0000 0.0000 -
3508.29/3519.37 c 3519 282969 78432 1 2.0000 0.0000 -
3513.58/3524.61 c 3525 283356 78658 1 2.0000 0.0000 -
3519.07/3530.11 c 3530 283760 78858 1 2.0000 0.0000 -
3525.04/3536.16 c 3536 284112 79094 1 2.0000 0.0000 -
3530.53/3541.66 c 3542 284327 79235 1 2.0000 0.0000 -
3535.81/3546.99 c 3547 284740 79493 1 2.0000 0.0000 -
3541.39/3552.58 c 3553 285035 79660 1 2.0000 0.0000 -
3546.78/3557.99 c 3558 285665 79978 1 2.0000 0.0000 -
3552.16/3563.35 c 3563 286341 80311 1 2.0000 0.0000 -
3557.65/3568.81 c 3569 286732 80543 1 2.0000 0.0000 -
3562.93/3574.15 c 3574 287193 80855 1 2.0000 0.0000 -
3568.31/3579.51 c 3580 287734 81131 1 2.0000 0.0000 -
3573.90/3585.16 c 3585 288413 81363 1 2.0000 0.0000 -
3579.19/3590.46 c 3590 289038 81671 1 2.0000 0.0000 -
3584.57/3595.86 c 3596 289597 81913 1 2.0000 0.0000 -
3589.05/3600.34 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.05/3600.34 c Total Time : 3600.3300
3589.05/3600.34 c solving : 3600.3300
3589.05/3600.34 c presolving : 0.2470 (included in solving)
3589.05/3600.34 c B&B Tree :
3589.05/3600.34 c nodes (total) : 1
3589.05/3600.34 c Solution :
3589.05/3600.34 c Solutions found : 8
3589.05/3600.34 c Primal Bound : +2.00000000000000e+00
3589.05/3600.34 c Dual Bound : +0.00000000000000e+00
3589.05/3600.34 c Gap : infinite
3589.05/3600.34 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3589.05/3600.34 o 2
3589.05/3600.34 s SATISFIABLE
3589.05/3600.34 v -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382
3589.05/3600.34 v -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361
3589.05/3600.34 v -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340
3589.05/3600.34 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319
3589.05/3600.34 v -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
3589.05/3600.34 v -x297 -x296 x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
3589.05/3600.34 v -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x78 x77 x76 x75 x74 x73 x72 x71
3589.05/3600.34 v x70 x69 x68 x67 -x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40
3589.05/3600.34 v x39 x38 x37 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 x9 x8
3589.05/3600.34 v x7 x6 -x5 -x4 x3 x2 x1 -x260 -x247 -x234 -x221 -x208 -x195 -x182 -x169 -x156 -x143 -x130 x117 -x104 -x259 -x246 -x233 -x220
3589.05/3600.34 v -x207 -x194 -x181 -x168 -x155 -x142 -x129 -x116 -x103 -x258 x245 -x232 -x219 -x206 -x193 -x180 -x167 -x154 -x141 -x128 -x115
3589.05/3600.34 v -x102 -x257 -x244 -x231 -x218 x205 -x192 -x179 -x166 -x153 -x140 -x127 -x114 -x101 -x256 -x243 -x230 -x217 -x204 -x191 -x178
3589.05/3600.34 v -x165 -x152 -x139 x126 -x113 -x100 -x255 -x242 -x229 -x216 -x203 -x190 -x177 -x164 -x151 x138 -x125 -x112 -x99 -x254 -x241 -x228
3589.05/3600.34 v x215 -x202 -x189 -x176 -x163 -x150 -x137 -x124 -x111 -x98 x253 -x240 -x227 -x214 -x201 -x188 -x175 -x162 -x149 -x136 -x123
3589.05/3600.34 v -x110 -x97 -x252 -x239 -x226 -x213 -x200 -x187 -x174 -x161 -x148 -x135 -x122 -x109 -x96 -x251 -x238 x225 -x212 -x199 -x186
3589.05/3600.34 v -x173 -x160 -x147 -x134 -x121 -x108 -x95 -x250 -x237 -x224 -x211 -x198 -x185 -x172 x159 -x146 -x133 -x120 -x107 -x94 -x249 -x236
3589.05/3600.34 v -x223 -x210 -x197 -x184 -x171 -x158 x145 -x132 -x119 -x106 -x93 -x248 -x235 -x222 -x209 -x196 -x183 x170 -x157 -x144 -x131
3589.05/3600.34 v -x118 -x105 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61122 MiB free)
memory of node 1: 64510 MiB (62186 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449833-1721452675/watcher-4449833-1721452675 -o /tmp/evaluation-result-4449833-1721452675/solver-4449833-1721452675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449833-1721452675.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1065284, runsolver pid=1065281
[startup+0.100788 s]*
/proc/loadavg: 4.07 4.13 4.09 5/260 1065285
/proc/meminfo: memFree=126237348/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=52072 memory=41336 CPUtime=0.09 cores=5,7
/proc/1065284/stat : 1065284 (fscip) R 1065281 1065284 1059834 0 -1 4194304 9566 0 0 0 8 1 0 0 20 0 1 0 197434925 53321728 10334 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 13018 10334 2718 3032 0 9418 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52072 KiB
Current children cumulated memory: 41336 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.07 4.13 4.09 5/260 1065285
/proc/meminfo: memFree=126192876/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=104240 memory=85736 CPUtime=0.2 cores=5,7
/proc/1065284/stat : 1065284 (fscip) R 1065281 1065284 1059834 0 -1 4194304 17124 0 0 0 17 3 0 0 20 0 1 0 197434925 106741760 21434 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 26060 21434 2734 3032 0 22460 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104240 KiB
Current children cumulated memory: 85736 KiB
[startup+0.309801 s]*
/proc/loadavg: 4.07 4.13 4.09 5/261 1065286
/proc/meminfo: memFree=126176976/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=187172 memory=101444 CPUtime=0.29 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 23443 0 0 0 26 3 0 0 20 0 2 0 197434925 191664128 25361 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 46793 25361 2766 3032 0 28558 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=187172 memory=-7520302109299008635 CPUtime=0 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 1726 0 0 0 0 0 0 0 20 0 2 0 197434954 191664128 25361 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 187172 KiB
Current children cumulated memory: 101444 KiB
[startup+0.700781 s]
/proc/loadavg: 4.07 4.13 4.09 5/262 1065287
/proc/meminfo: memFree=126133584/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=195368 memory=144600 CPUtime=0.66 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 34229 0 0 0 62 4 0 0 20 0 3 0 197434925 200056832 36150 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 48842 36150 2814 3032 0 41734 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=195368 memory=16112 CPUtime=0.37 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 12509 0 0 0 36 1 0 0 20 0 3 0 197434954 200056832 36150 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=195368 memory=257 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197434957 200056832 36150 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 195368 KiB
Current children cumulated memory: 144600 KiB
[startup+1.50019 s]
/proc/loadavg: 4.06 4.13 4.09 5/262 1065287
/proc/meminfo: memFree=126133584/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=195368 memory=152536 CPUtime=1.46 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 41633 0 0 0 141 5 0 0 20 0 3 0 197434925 200056832 38134 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 48842 38134 2926 3032 0 44650 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=195368 memory=257 CPUtime=1.17 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 19913 0 0 0 115 2 0 0 20 0 3 0 197434954 200056832 38134 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=195368 memory=0 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197434957 200056832 38134 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 195368 KiB
Current children cumulated memory: 152536 KiB
[startup+3.10541 s]
/proc/loadavg: 4.06 4.13 4.09 5/262 1065287
/proc/meminfo: memFree=126093068/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=260904 memory=185820 CPUtime=3.06 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 52850 0 0 0 299 7 0 0 20 0 3 0 197434925 267165696 46455 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 65226 46455 2974 3032 0 55811 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=260904 memory=0 CPUtime=2.76 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 30974 0 0 0 273 3 0 0 20 0 3 0 197434954 267165696 46455 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=260904 memory=0 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 197434957 267165696 46455 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 260904 KiB
Current children cumulated memory: 185820 KiB
[startup+6.30027 s]
/proc/loadavg: 4.06 4.13 4.09 5/262 1065289
/proc/meminfo: memFree=126084408/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=260904 memory=194648 CPUtime=6.24 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 67942 0 0 0 616 8 0 0 20 0 3 0 197434925 267165696 48662 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 65226 48662 2990 3032 0 57932 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=260904 memory=0 CPUtime=5.95 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 46036 0 0 0 590 5 0 0 20 0 3 0 197434954 267165696 48662 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=260904 memory=-7520302109299008635 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 197434957 267165696 48662 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 260904 KiB
Current children cumulated memory: 194648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.12 4.09 5/262 1065289
/proc/meminfo: memFree=126067956/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=261928 memory=210720 CPUtime=12.63 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 95974 0 0 0 1252 11 0 0 20 0 3 0 197434925 268214272 52680 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 65482 52680 2990 3032 0 61804 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=261928 memory=-7520302109299008635 CPUtime=12.33 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 74014 0 0 0 1226 7 0 0 20 0 3 0 197434954 268214272 52680 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=261928 memory=215720 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 197434957 268214272 52680 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 261928 KiB
Current children cumulated memory: 210720 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.15 4.10 5/262 1065290
/proc/meminfo: memFree=126026840/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=332732 memory=238496 CPUtime=25.38 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 142687 0 0 0 2523 15 0 0 20 0 3 0 197434925 340717568 59624 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 83183 59624 2990 3032 0 69178 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=332732 memory=224404 CPUtime=25.09 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 120654 0 0 0 2497 12 0 0 20 0 3 0 197434954 340717568 59624 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=332732 memory=5536 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 197434957 340717568 59624 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 332732 KiB
Current children cumulated memory: 238496 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 1065295
/proc/meminfo: memFree=125950064/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=345944 memory=257092 CPUtime=50.92 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 194599 0 0 0 5071 21 0 0 20 0 3 0 197434925 354246656 64273 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 86486 64273 2990 3032 0 75654 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=345944 memory=47212 CPUtime=50.62 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 172461 0 0 0 5045 17 0 0 20 0 3 0 197434954 354246656 64273 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=345944 memory=249756 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 197434957 354246656 64273 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 345944 KiB
Current children cumulated memory: 257092 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/262 1065303
/proc/meminfo: memFree=125882988/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=381604 memory=311864 CPUtime=101.97 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 245847 0 0 0 10171 26 0 0 20 0 3 0 197434925 390762496 77966 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 95401 77966 2990 3032 0 89569 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=381604 memory=301060 CPUtime=101.67 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 223631 0 0 0 10145 22 0 0 20 0 3 0 197434954 390762496 77966 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=381604 memory=299240 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 197434957 390762496 77966 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 381604 KiB
Current children cumulated memory: 311864 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/265 1065318
/proc/meminfo: memFree=125752552/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=486260 memory=372228 CPUtime=161.81 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 318253 0 0 0 16147 34 0 0 20 0 3 0 197434925 497930240 93057 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 121565 93057 2990 3032 0 105139 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=486260 memory=328704 CPUtime=161.5 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 295975 0 0 0 16120 30 0 0 20 0 3 0 197434954 497930240 93057 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=486260 memory=2340 CPUtime=0 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 197434957 497930240 93057 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 486260 KiB
Current children cumulated memory: 372228 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/264 1065329
/proc/meminfo: memFree=125668140/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=527124 memory=419524 CPUtime=221.64 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 361398 0 0 0 22125 39 0 0 20 0 3 0 197434925 539774976 104881 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 131781 104881 2990 3032 0 119438 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=527124 memory=401888 CPUtime=221.33 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 339091 0 0 0 22098 35 0 0 20 0 3 0 197434954 539774976 104881 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
################
# More data... #
################
/proc/1065284/statm: 643467 577194 3310 3032 0 631813 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=2236424 CPUtime=3450.95 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 8860949 0 0 0 344470 625 0 0 20 0 3 0 197434954 2635640832 577194 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=2199292 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 577194 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2308776 KiB
[startup+3522.3 s]
/proc/loadavg: 3.46 3.92 4.03 4/253 1067281
/proc/meminfo: memFree=121459824/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2348824 CPUtime=3511.29 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9128053 0 0 0 350473 656 0 0 20 0 3 0 197434925 2635640832 587206 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 587206 3310 3032 0 632384 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=47392 CPUtime=3510.75 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9105099 0 0 0 350432 643 0 0 20 0 3 0 197434954 2635640832 587206 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=2345156 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 587206 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3511.29 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2348824 KiB
[startup+3582.3 s]
/proc/loadavg: 3.29 3.78 3.97 4/253 1067292
/proc/meminfo: memFree=121376064/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2381248 CPUtime=3571.11 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9355763 0 0 0 356438 673 0 0 20 0 3 0 197434925 2635640832 595312 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 595312 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=-7240233240563192679 CPUtime=3570.56 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9332795 0 0 0 356396 660 0 0 20 0 3 0 197434954 2635640832 595312 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=11588 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 595312 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3571.11 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2381248 KiB
[startup+3600.37 s]
# the end of solver process 1065284 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.3 s, system=6.82482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.29 3.78 3.97 4/253 1067292
/proc/meminfo: memFree=121375644/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2381344 CPUtime=3572.8 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9355987 0 0 0 356607 673 0 0 20 0 3 0 197434925 2635640832 595336 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 595336 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=-7095836577494241638 CPUtime=3572.27 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9333019 0 0 0 356566 661 0 0 20 0 3 0 197434954 2635640832 595336 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=-9187040377606338752 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 595336 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2381344 KiB
[startup+3590.4 s]
/proc/loadavg: 3.27 3.77 3.97 4/253 1067295
/proc/meminfo: memFree=121363108/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2389296 CPUtime=3579.19 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9359885 0 0 0 357245 674 0 0 20 0 3 0 197434925 2635640832 597324 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 597324 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=2385572 CPUtime=3578.65 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9336917 0 0 0 357204 661 0 0 20 0 3 0 197434954 2635640832 597324 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=2377944 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 597324 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3579.19 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2389296 KiB
[startup+3596.8 s]
/proc/loadavg: 3.25 3.75 3.96 4/253 1067296
/proc/meminfo: memFree=121357112/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2391996 CPUtime=3585.56 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9364706 0 0 0 357882 674 0 0 20 0 3 0 197434925 2635640832 597999 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 597999 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=2381268 CPUtime=3585.03 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9341738 0 0 0 357841 662 0 0 20 0 3 0 197434954 2635640832 597999 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=2378984 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 597999 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2391996 KiB
[startup+3598.4 s]
/proc/loadavg: 3.31 3.76 3.96 4/253 1067296
/proc/meminfo: memFree=121348828/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2398180 CPUtime=3587.16 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9364785 0 0 0 358041 675 0 0 20 0 3 0 197434925 2635640832 599545 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 599545 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=47392 CPUtime=3586.62 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9341817 0 0 0 358000 662 0 0 20 0 3 0 197434954 2635640832 599545 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=12508 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 599545 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2398180 KiB
[startup+3599.2 s]
/proc/loadavg: 3.31 3.76 3.96 4/253 1067296
/proc/meminfo: memFree=121344768/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2398188 CPUtime=3587.96 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9366473 0 0 0 358121 675 0 0 20 0 3 0 197434925 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 599547 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=32496 CPUtime=3587.42 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9343505 0 0 0 358080 662 0 0 20 0 3 0 197434954 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=11588 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3587.96 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2398188 KiB
[startup+3600 s]*
/proc/loadavg: 3.31 3.76 3.96 4/253 1067296
/proc/meminfo: memFree=121344200/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2398188 CPUtime=3588.76 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9369265 0 0 0 358201 675 0 0 20 0 3 0 197434925 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 599547 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=-7095836577494241638 CPUtime=3588.22 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9346798 0 0 0 358159 663 0 0 20 0 3 0 197434954 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=-9187040377606338752 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2398188 KiB
[startup+3600.2 s]
/proc/loadavg: 3.31 3.76 3.96 4/253 1067296
/proc/meminfo: memFree=121344200/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2398188 CPUtime=3588.95 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9426211 0 0 0 358217 678 0 0 20 0 3 0 197434925 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 599547 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=5420 CPUtime=3588.41 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9403309 0 0 0 358176 665 0 0 20 0 3 0 197434954 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=2824 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3588.95 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2398188 KiB
[startup+3600.3 s]
/proc/loadavg: 3.31 3.76 3.96 4/253 1067296
/proc/meminfo: memFree=121344200/131524600 swapFree=131071996/131071996
[pid=1065284] ppid=1065281 vsize=2573868 memory=2398188 CPUtime=3589.05 cores=5,7
/proc/1065284/stat : 1065284 (fscip) S 1065281 1065284 1059834 0 -1 1077936128 9443527 0 0 0 358227 678 0 0 20 0 3 0 197434925 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
/proc/1065284/statm: 643467 599547 3310 3032 0 639240 0
[pid=1065284/tid=1065286] ppid=1065281 vsize=2573868 memory=2381248 CPUtime=3588.51 cores=5,7
/proc/1065284/task/1065286/stat : 1065286 (fscip) R 1065281 1065284 1059834 0 -1 4194368 9420558 0 0 0 358185 666 0 0 20 0 3 0 197434954 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
[pid=1065284/tid=1065287] ppid=1065281 vsize=2573868 memory=-7240233240563192679 CPUtime=0.03 cores=5,7
/proc/1065284/task/1065287/stat : 1065287 (fscip) S 1065281 1065284 1059834 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 197434957 2635640832 599547 134679101440 4194304 16613245 140724260245072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46010368 140724260250643 140724260250759 140724260250759 140724260257776 0
Current children cumulated CPU time: 3589.05 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 2398188 KiB
Child status: 0
Real time (s): 3600.37
CPU time (s): 3589.13
CPU user time (s): 3582.3
CPU system time (s): 6.82482
CPU usage (%): 99.6878
Max. virtual memory (cumulated for all children) (KiB): 2573868
Max. memory (cumulated for all children) (KiB): 2398188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.3
system time used= 6.82482
maximum resident set size= 2398188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9444014
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= 10123
involuntary context switches= 4018
# summary of solver processes directly reported to runsolver:
# pid: 1065284
# total CPU time (s): 3589.13
# total CPU user time (s): 3582.3
# total CPU system time (s): 6.82482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26639 second user time and 16.4671 second system time
The end
Begin job on nodeC029 at 2024-07-20 07:18:08
IDJOB=4449833
IDBENCH=176148
IDSOLVER=3064
FILE ID=nodeC029/4449833-1721452675
RUNJOBID= nodeC029-1721446720-1059847
SLURM_JOB_ID= 7545672
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.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-4449833-1721452675/watcher-4449833-1721452675 -o /tmp/evaluation-result-4449833-1721452675/solver-4449833-1721452675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449833-1721452675.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=734949562
nodeC029.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 : 3670.362
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.09
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 : 3678.763
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.98
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 : 3600.139
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.09
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 : 3603.003
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.98
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 : 3670.398
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.09
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 : 3663.233
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.98
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 : 3600.337
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.09
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 : 3676.791
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126268668 kB
MemAvailable: 129156464 kB
Buffers: 541776 kB
Cached: 3160772 kB
SwapCached: 0 kB
Active: 1054308 kB
Inactive: 3516292 kB
Active(anon): 1456 kB
Inactive(anon): 912504 kB
Active(file): 1052852 kB
Inactive(file): 2603788 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28844 kB
Writeback: 72 kB
AnonPages: 868012 kB
Mapped: 141652 kB
Shmem: 45912 kB
KReclaimable: 141608 kB
Slab: 260072 kB
SReclaimable: 141608 kB
SUnreclaim: 118464 kB
KernelStack: 4208 kB
PageTables: 11032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 867028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 444416 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889984 MiB
End job on nodeC029 at 2024-07-20 08:18:09