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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22822912, getVmSize() = 22822912, SCIPgetMemUsed() = 1113386, SCIPgetMemTotal() = 1411250, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16450901, getVmSize() = 26529792, SCIPgetMemUsed() = 2069946, SCIPgetMemTotal() = 4026418, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464031-1722378597
0.00/0.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 16
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 14
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 11
0.00/0.00 c logicor : 3
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.02 c * 0 0 1 1 1388.0000 - -
0.00/0.04 c * 0 0 1 1 1152.0000 - -
0.20/0.27 c * 0 2 1 1 1091.0000 0.0000 -
0.20/0.29 c * 0 2 1 1 952.0000 0.0000 -
0.30/0.31 c * 0 2 1 1 837.0000 0.0000 -
1.19/1.21 c * 1 369 368 1 778.0000 0.0000 -
1.39/1.43 c * 1 369 368 1 753.0000 0.0000 -
1.59/1.64 c * 2 369 368 1 671.0000 0.0000 -
2.49/2.55 c * 3 985 984 1 431.0000 0.0000 -
2.88/2.91 c * 3 985 984 1 337.0000 0.0000 -
3.28/3.36 c * 3 1465 415 1 238.0000 0.0000 -
5.18/5.23 c 5 2043 991 1 238.0000 0.0000 -
6.47/6.52 c * 7 2510 1446 1 234.0000 0.0000 -
10.26/10.37 c 10 3878 2804 1 234.0000 0.0000 -
12.75/12.81 c * 13 4504 3420 1 140.0000 0.0000 -
14.84/14.94 c * 15 5553 4347 1 138.0000 0.0000 -
14.84/14.95 c * 15 5553 4347 1 136.0000 0.0000 -
14.84/14.99 c * 15 5553 4347 1 134.0000 0.0000 -
15.24/15.33 c * 15 5553 4347 1 133.0000 0.0000 -
15.34/15.42 c 15 6208 4843 1 133.0000 0.0000 -
16.23/16.31 c * 16 6208 4843 1 131.0000 0.0000 -
20.42/20.59 c 21 8000 6369 1 131.0000 0.0000 -
25.50/25.64 c 26 9893 7932 1 131.0000 0.0000 -
30.68/30.87 c 31 12074 9649 1 131.0000 0.0000 -
35.87/36.05 c 36 14270 11269 1 131.0000 0.0000 -
40.95/41.13 c 41 16511 12818 1 131.0000 0.0000 -
46.02/46.24 c 46 18894 14607 1 131.0000 0.0000 -
51.10/51.34 c 51 21438 16385 1 131.0000 0.0000 -
55.39/55.60 c * 56 22802 17396 1 130.0000 0.0000 -
55.39/55.61 c * 56 22802 17396 1 128.0000 0.0000 -
56.18/56.49 c 56 23066 14002 1 128.0000 0.0000 -
61.36/61.67 c 62 24764 15506 1 128.0000 0.0000 -
61.46/61.78 c * 62 24764 15506 1 119.0000 0.0000 -
66.64/66.95 c 67 26329 16616 1 119.0000 0.0000 -
71.83/72.10 c 72 28104 18233 1 119.0000 0.0000 -
77.00/77.30 c 77 29542 19465 1 119.0000 0.0000 -
81.79/82.18 c * 82 30984 20693 1 87.0000 0.0000 -
82.08/82.49 c 82 31261 18833 1 87.0000 0.0000 -
87.37/87.72 c 88 33124 20280 1 87.0000 0.0000 -
92.55/92.92 c 93 34739 21499 1 87.0000 0.0000 -
97.63/98.04 c 98 36699 22784 1 87.0000 0.0000 -
102.81/103.21 c 103 38266 24081 1 87.0000 0.0000 -
107.99/108.43 c 108 39998 25367 1 87.0000 0.0000 -
113.07/113.56 c 114 41674 26769 1 87.0000 0.0000 -
118.16/118.68 c 119 43186 27967 1 87.0000 0.0000 -
123.33/123.80 c 124 44658 29245 1 87.0000 0.0000 -
128.41/128.93 c 129 46202 30501 1 87.0000 0.0000 -
133.50/134.10 c 134 47538 31597 1 87.0000 0.0000 -
138.77/139.38 c 139 49044 32794 1 87.0000 0.0000 -
143.96/144.56 c 145 50840 34066 1 87.0000 0.0000 -
149.14/149.76 c 150 52524 35240 1 87.0000 0.0000 -
154.22/154.88 c 155 53949 36317 1 87.0000 0.0000 -
159.70/160.31 c 160 55238 37322 1 87.0000 0.0000 -
164.88/165.58 c 166 56669 38407 1 87.0000 0.0000 -
169.96/170.63 c 171 58286 39565 1 87.0000 0.0000 -
175.24/175.90 c 176 60025 40765 1 87.0000 0.0000 -
180.52/181.23 c 181 61179 41661 1 87.0000 0.0000 -
185.90/186.60 c 187 62959 42965 1 87.0000 0.0000 -
190.98/191.71 c 192 64418 44050 1 87.0000 0.0000 -
196.06/196.83 c 197 66260 45364 1 87.0000 0.0000 -
201.35/202.10 c 202 67562 46300 1 87.0000 0.0000 -
206.53/207.36 c 207 68835 47201 1 87.0000 0.0000 -
211.62/212.48 c 212 70195 48123 1 87.0000 0.0000 -
216.80/217.66 c 218 72991 49877 1 87.0000 0.0000 -
221.88/222.74 c 223 74379 50871 1 87.0000 0.0000 -
227.07/227.90 c 228 76099 51925 1 87.0000 0.0000 -
232.25/233.12 c 233 78223 53333 1 87.0000 0.0000 -
237.53/238.41 c 238 79951 54733 1 87.0000 0.0000 -
241.32/242.23 c * 242 80752 55366 1 71.0000 0.0000 -
243.01/243.91 c 244 81261 50872 1 71.0000 0.0000 -
248.00/248.95 c 249 82700 51959 1 71.0000 0.0000 -
253.29/254.25 c 254 84603 53314 1 71.0000 0.0000 -
258.56/259.52 c 260 86128 54425 1 71.0000 0.0000 -
263.85/264.85 c 265 87995 55602 1 71.0000 0.0000 -
269.23/270.24 c 270 89663 56678 1 71.0000 0.0000 -
274.42/275.42 c 275 91493 57826 1 71.0000 0.0000 -
279.80/280.86 c 281 92804 58771 1 71.0000 0.0000 -
284.99/286.02 c 286 93850 59556 1 71.0000 0.0000 -
290.07/291.11 c 291 95456 60534 1 71.0000 0.0000 -
295.26/296.36 c 296 96701 61414 1 71.0000 0.0000 -
300.44/301.56 c 302 98297 62318 1 71.0000 0.0000 -
305.72/306.83 c 307 100085 63392 1 71.0000 0.0000 -
310.80/311.93 c 312 101507 64291 1 71.0000 0.0000 -
316.19/317.33 c 317 103180 65366 1 71.0000 0.0000 -
322.27/323.40 c 323 104889 66331 1 71.0000 0.0000 -
327.36/328.59 c 329 107103 67609 1 71.0000 0.0000 -
332.74/333.96 c 334 109036 68640 1 71.0000 0.0000 -
337.93/339.14 c 339 111684 70056 1 71.0000 0.0000 -
343.11/344.39 c 344 114228 71472 1 71.0000 0.0000 -
348.49/349.70 c 350 116391 72693 1 71.0000 0.0000 -
353.68/354.97 c 355 118509 73957 1 71.0000 0.0000 -
358.96/360.26 c 360 119913 74857 1 71.0000 0.0000 -
364.35/365.62 c 366 121920 75858 1 71.0000 0.0000 -
369.53/370.88 c 371 124051 77203 1 71.0000 0.0000 -
374.82/376.10 c 376 125235 78131 1 71.0000 0.0000 -
380.10/381.40 c 381 126662 79140 1 71.0000 0.0000 -
385.28/386.65 c 387 127985 80109 1 71.0000 0.0000 -
390.37/391.73 c 392 129475 81091 1 71.0000 0.0000 -
395.66/397.05 c 397 130735 82019 1 71.0000 0.0000 -
401.44/402.86 c 403 131738 82736 1 71.0000 0.0000 -
406.63/408.06 c 408 133238 83635 1 71.0000 0.0000 -
411.91/413.31 c 413 134599 84550 1 71.0000 0.0000 -
417.20/418.61 c 419 136065 85350 1 71.0000 0.0000 -
422.58/424.07 c 424 137350 86115 1 71.0000 0.0000 -
427.77/429.21 c 429 138712 86975 1 71.0000 0.0000 -
432.85/434.36 c 434 140172 87851 1 71.0000 0.0000 -
438.54/440.07 c 440 141794 88778 1 71.0000 0.0000 -
443.82/445.35 c 445 142981 89595 1 71.0000 0.0000 -
449.31/450.82 c 451 144330 90412 1 71.0000 0.0000 -
454.50/456.08 c 456 145445 91165 1 71.0000 0.0000 -
459.68/461.22 c 461 146466 91872 1 71.0000 0.0000 -
465.66/467.24 c 467 147433 92537 1 71.0000 0.0000 -
470.95/472.59 c 473 148557 93469 1 71.0000 0.0000 -
476.63/478.28 c 478 149740 94436 1 71.0000 0.0000 -
482.52/484.11 c 484 150948 95340 1 71.0000 0.0000 -
487.70/489.37 c 489 152148 96168 1 71.0000 0.0000 -
492.98/494.62 c 495 153443 97003 1 71.0000 0.0000 -
498.48/500.16 c 500 154361 97687 1 71.0000 0.0000 -
503.96/505.61 c 506 155334 98410 1 71.0000 0.0000 -
509.45/511.12 c 511 156429 99223 1 71.0000 0.0000 -
514.93/516.61 c 517 158008 100276 1 71.0000 0.0000 -
520.61/522.34 c 522 159477 101393 1 71.0000 0.0000 -
525.70/527.46 c 527 160134 101830 1 71.0000 0.0000 -
530.89/532.66 c 533 161380 102726 1 71.0000 0.0000 -
536.28/538.06 c 538 162484 103512 1 71.0000 0.0000 -
541.66/543.44 c 543 163865 104385 1 71.0000 0.0000 -
547.05/548.85 c 549 165244 105244 1 71.0000 0.0000 -
552.73/554.50 c 555 166835 106331 1 71.0000 0.0000 -
558.31/560.15 c 560 168324 107330 1 71.0000 0.0000 -
563.89/565.72 c 566 169696 108230 1 71.0000 0.0000 -
568.99/570.86 c 571 171050 109108 1 71.0000 0.0000 -
571.78/573.65 c * 574 171602 109494 1 69.0000 0.0000 -
574.18/576.06 c 576 172495 108754 1 69.0000 0.0000 -
579.86/581.79 c 582 174171 109798 1 69.0000 0.0000 -
585.14/587.06 c 587 175446 110600 1 69.0000 0.0000 -
590.33/592.28 c 592 176447 111283 1 69.0000 0.0000 -
595.72/597.61 c 598 177711 112105 1 69.0000 0.0000 -
601.30/603.20 c 603 179729 113347 1 69.0000 0.0000 -
606.48/608.47 c 608 181016 114406 1 69.0000 0.0000 -
611.77/613.71 c 614 182327 115325 1 69.0000 0.0000 -
617.65/619.65 c 620 183487 116083 1 69.0000 0.0000 -
623.24/625.27 c 625 184597 116835 1 69.0000 0.0000 -
628.92/630.91 c 631 185643 117603 1 69.0000 0.0000 -
634.41/636.44 c 636 186885 118365 1 69.0000 0.0000 -
639.89/641.96 c 642 188264 119250 1 69.0000 0.0000 -
645.38/647.43 c 647 189663 120051 1 69.0000 0.0000 -
650.67/652.72 c 653 190848 120818 1 69.0000 0.0000 -
655.85/657.94 c 658 192208 121550 1 69.0000 0.0000 -
661.13/663.22 c 663 193545 122392 1 69.0000 0.0000 -
666.42/668.56 c 669 194863 123262 1 69.0000 0.0000 -
671.91/674.02 c 674 195997 124022 1 69.0000 0.0000 -
677.60/679.72 c 680 197008 124742 1 69.0000 0.0000 -
683.57/685.77 c 686 198110 125558 1 69.0000 0.0000 -
688.86/691.06 c 691 198920 126162 1 69.0000 0.0000 -
694.25/696.45 c 696 199821 126819 1 69.0000 0.0000 -
699.53/701.76 c 702 201098 127682 1 69.0000 0.0000 -
705.22/707.47 c 707 202162 128476 1 69.0000 0.0000 -
710.40/712.69 c 713 203331 129411 1 69.0000 0.0000 -
716.09/718.36 c 718 204341 130145 1 69.0000 0.0000 -
721.78/724.05 c 724 205489 130999 1 69.0000 0.0000 -
727.45/729.71 c 730 206260 131582 1 69.0000 0.0000 -
732.54/734.82 c 735 206630 131862 1 69.0000 0.0000 -
737.63/739.98 c 740 207289 132431 1 69.0000 0.0000 -
742.72/745.05 c 745 208189 133097 1 69.0000 0.0000 -
748.60/750.98 c 751 209264 133904 1 69.0000 0.0000 -
753.98/756.30 c 756 210448 134704 1 69.0000 0.0000 -
759.68/762.01 c 762 211785 135637 1 69.0000 0.0000 -
764.86/767.25 c 767 212681 136349 1 69.0000 0.0000 -
770.34/772.79 c 773 213622 137054 1 69.0000 0.0000 -
775.63/778.07 c 778 214519 137699 1 69.0000 0.0000 -
781.71/784.15 c 784 215282 138336 1 69.0000 0.0000 -
787.30/789.71 c 790 216239 139007 1 69.0000 0.0000 -
792.68/795.12 c 795 217521 139831 1 69.0000 0.0000 -
797.86/800.30 c 800 218713 140591 1 69.0000 0.0000 -
803.25/805.70 c 806 219761 141333 1 69.0000 0.0000 -
808.64/811.11 c 811 220723 141988 1 69.0000 0.0000 -
813.72/816.27 c 816 221504 142555 1 69.0000 0.0000 -
818.90/821.48 c 821 222210 143075 1 69.0000 0.0000 -
824.39/826.91 c 827 223436 143899 1 69.0000 0.0000 -
830.07/832.61 c 833 224355 144510 1 69.0000 0.0000 -
835.35/837.94 c 838 225100 145091 1 69.0000 0.0000 -
840.55/843.12 c 843 226235 145784 1 69.0000 0.0000 -
845.93/848.50 c 848 227399 146507 1 69.0000 0.0000 -
851.11/853.70 c 854 228182 147063 1 69.0000 0.0000 -
856.41/859.07 c 859 229366 147771 1 69.0000 0.0000 -
861.59/864.27 c 864 230353 148362 1 69.0000 0.0000 -
866.98/869.68 c 870 231222 149081 1 69.0000 0.0000 -
873.06/875.75 c 876 232026 149745 1 69.0000 0.0000 -
878.64/881.31 c 881 232853 150428 1 69.0000 0.0000 -
884.13/886.88 c 887 233793 151222 1 69.0000 0.0000 -
889.61/892.32 c 892 234555 151824 1 69.0000 0.0000 -
895.60/898.37 c 898 235405 152496 1 69.0000 0.0000 -
901.19/903.98 c 904 236224 153159 1 69.0000 0.0000 -
906.57/909.34 c 909 237283 154000 1 69.0000 0.0000 -
911.75/914.56 c 915 238535 154916 1 69.0000 0.0000 -
917.14/919.99 c 920 239597 155722 1 69.0000 0.0000 -
922.82/925.66 c 926 240740 156567 1 69.0000 0.0000 -
928.81/931.68 c 932 241497 157114 1 69.0000 0.0000 -
934.49/937.39 c 937 242712 157953 1 69.0000 0.0000 -
940.08/942.95 c 943 243636 158595 1 69.0000 0.0000 -
945.77/948.60 c 949 244881 159432 1 69.0000 0.0000 -
951.55/954.45 c 954 245884 160155 1 69.0000 0.0000 -
956.94/959.85 c 960 247276 161083 1 69.0000 0.0000 -
962.72/965.67 c 966 248363 161834 1 69.0000 0.0000 -
968.01/970.96 c 971 249628 162739 1 69.0000 0.0000 -
973.59/976.53 c 977 250663 163426 1 69.0000 0.0000 -
979.08/982.09 c 982 251851 164192 1 69.0000 0.0000 -
984.36/987.33 c 987 253145 165054 1 69.0000 0.0000 -
989.44/992.44 c 992 253962 165649 1 69.0000 0.0000 -
995.24/998.29 c 998 254947 166264 1 69.0000 0.0000 -
1000.62/1003.67 c 1004 256188 166997 1 69.0000 0.0000 -
1006.30/1009.37 c 1009 257690 167841 1 69.0000 0.0000 -
1011.99/1015.08 c 1015 259040 168649 1 69.0000 0.0000 -
1017.77/1020.80 c 1021 259966 169267 1 69.0000 0.0000 -
1023.36/1026.49 c 1026 260970 169981 1 69.0000 0.0000 -
1028.64/1031.79 c 1032 262432 170813 1 69.0000 0.0000 -
1034.43/1037.51 c 1038 263607 171540 1 69.0000 0.0000 -
1039.61/1042.78 c 1043 264712 172285 1 69.0000 0.0000 -
1045.70/1048.87 c 1049 265794 172997 1 69.0000 0.0000 -
1051.38/1054.58 c 1055 267053 173708 1 69.0000 0.0000 -
1057.37/1060.59 c 1061 268196 174449 1 69.0000 0.0000 -
1063.05/1066.20 c 1066 269360 175181 1 69.0000 0.0000 -
1068.84/1072.06 c 1072 270333 175770 1 69.0000 0.0000 -
1074.02/1077.26 c 1077 271724 176569 1 69.0000 0.0000 -
1079.61/1082.86 c 1083 272777 177234 1 69.0000 0.0000 -
1085.99/1089.21 c 1089 273728 177861 1 69.0000 0.0000 -
1091.78/1095.09 c 1095 274841 178560 1 69.0000 0.0000 -
1097.26/1100.60 c 1101 276164 179379 1 69.0000 0.0000 -
1102.85/1106.12 c 1106 277450 180060 1 69.0000 0.0000 -
1108.42/1111.77 c 1112 278878 180878 1 69.0000 0.0000 -
1114.41/1117.70 c 1118 280034 181630 1 69.0000 0.0000 -
1119.89/1123.23 c 1123 280906 182244 1 69.0000 0.0000 -
1125.78/1129.13 c 1129 282246 183088 1 69.0000 0.0000 -
1130.96/1134.31 c 1134 283455 183745 1 69.0000 0.0000 -
1136.55/1139.98 c 1140 284347 184335 1 69.0000 0.0000 -
1141.93/1145.30 c 1145 285070 184810 1 69.0000 0.0000 -
1147.51/1150.94 c 1151 286058 185416 1 69.0000 0.0000 -
1153.30/1156.74 c 1157 287248 186134 1 69.0000 0.0000 -
1158.69/1162.13 c 1162 288723 186989 1 69.0000 0.0000 -
1164.07/1167.56 c 1168 289688 187582 1 69.0000 0.0000 -
1169.66/1173.12 c 1173 290477 188107 1 69.0000 0.0000 -
1176.04/1179.57 c 1180 291639 188779 1 69.0000 0.0000 -
1181.82/1185.39 c 1185 292797 189421 1 69.0000 0.0000 -
1187.30/1190.89 c 1191 294116 190156 1 69.0000 0.0000 -
1193.29/1196.84 c 1197 295093 190809 1 69.0000 0.0000 -
1199.07/1202.65 c 1203 296750 191740 1 69.0000 0.0000 -
1204.86/1208.46 c 1208 298219 192615 1 69.0000 0.0000 -
1210.44/1214.09 c 1214 299007 193139 1 69.0000 0.0000 -
1215.83/1219.47 c 1219 300097 193801 1 69.0000 0.0000 -
1222.41/1226.09 c 1226 301180 194418 1 69.0000 0.0000 -
1227.79/1231.49 c 1231 301926 194900 1 69.0000 0.0000 -
1233.48/1237.11 c 1237 303285 195699 1 69.0000 0.0000 -
1239.36/1243.04 c 1243 304792 196532 1 69.0000 0.0000 -
1245.04/1248.71 c 1249 306178 197278 1 69.0000 0.0000 -
1250.62/1254.37 c 1254 307443 197995 1 69.0000 0.0000 -
1256.21/1259.99 c 1260 308586 198614 1 69.0000 0.0000 -
1261.89/1265.64 c 1266 310751 199766 1 69.0000 0.0000 -
1267.28/1271.05 c 1271 312196 200561 1 69.0000 0.0000 -
1272.96/1276.70 c 1277 313120 201196 1 69.0000 0.0000 -
1278.35/1282.18 c 1282 314161 201789 1 69.0000 0.0000 -
1283.93/1287.78 c 1288 315237 202451 1 69.0000 0.0000 -
1289.42/1293.24 c 1293 316476 203142 1 69.0000 0.0000 -
1295.40/1299.27 c 1299 317873 203929 1 69.0000 0.0000 -
1300.89/1304.71 c 1305 318870 204470 1 69.0000 0.0000 -
1306.18/1310.08 c 1310 319797 205089 1 69.0000 0.0000 -
1311.75/1315.68 c 1316 320606 205706 1 69.0000 0.0000 -
1317.15/1321.00 c 1321 321213 206141 1 69.0000 0.0000 -
1322.61/1326.56 c 1327 322065 206753 1 69.0000 0.0000 -
1328.60/1332.58 c 1333 323255 207515 1 69.0000 0.0000 -
1334.39/1338.34 c 1338 324375 208231 1 69.0000 0.0000 -
1340.17/1344.11 c 1344 325382 208796 1 69.0000 0.0000 -
1345.75/1349.75 c 1350 326353 209403 1 69.0000 0.0000 -
1351.54/1355.58 c 1356 327664 210298 1 69.0000 0.0000 -
1357.32/1361.30 c 1361 329076 211146 1 69.0000 0.0000 -
1363.01/1367.02 c 1367 330227 211819 1 69.0000 0.0000 -
1368.49/1372.56 c 1373 331270 212469 1 69.0000 0.0000 -
1373.77/1377.80 c 1378 332450 213159 1 69.0000 0.0000 -
1379.56/1383.69 c 1384 333152 213705 1 69.0000 0.0000 -
1384.65/1388.71 c 1389 333745 214114 1 69.0000 0.0000 -
1390.04/1394.10 c 1394 334630 214799 1 69.0000 0.0000 -
1395.60/1399.70 c 1400 335298 215289 1 69.0000 0.0000 -
1401.29/1405.43 c 1405 336087 215876 1 69.0000 0.0000 -
1406.88/1411.02 c 1411 336862 216413 1 69.0000 0.0000 -
1412.56/1416.72 c 1417 337572 216979 1 69.0000 0.0000 -
1418.45/1422.66 c 1423 338264 217481 1 69.0000 0.0000 -
1424.33/1428.52 c 1429 338989 218010 1 69.0000 0.0000 -
1429.61/1433.87 c 1434 339861 218650 1 69.0000 0.0000 -
1435.40/1439.67 c 1440 340750 219309 1 69.0000 0.0000 -
1440.49/1444.78 c 1445 341276 219709 1 69.0000 0.0000 -
1446.68/1450.95 c 1451 342223 220372 1 69.0000 0.0000 -
1451.95/1456.22 c 1456 343109 221012 1 69.0000 0.0000 -
1457.24/1461.59 c 1462 343883 221548 1 69.0000 0.0000 -
1463.12/1467.47 c 1467 344616 222059 1 69.0000 0.0000 -
1468.41/1472.79 c 1473 345098 222449 1 69.0000 0.0000 -
1473.89/1478.25 c 1478 345989 223070 1 69.0000 0.0000 -
1479.97/1484.30 c 1484 346499 223432 1 69.0000 0.0000 -
1485.26/1489.64 c 1490 347118 223873 1 69.0000 0.0000 -
1490.34/1494.70 c 1495 348025 224466 1 69.0000 0.0000 -
1496.02/1500.43 c 1500 348905 225084 1 69.0000 0.0000 -
1501.71/1506.18 c 1506 349493 225482 1 69.0000 0.0000 -
1507.09/1511.56 c 1512 349903 225800 1 69.0000 0.0000 -
1512.47/1516.98 c 1517 350933 226480 1 69.0000 0.0000 -
1518.15/1522.68 c 1523 351637 226954 1 69.0000 0.0000 -
1523.55/1528.04 c 1528 352328 227415 1 69.0000 0.0000 -
1529.43/1533.96 c 1534 353116 227987 1 69.0000 0.0000 -
1535.22/1539.77 c 1540 353890 228483 1 69.0000 0.0000 -
1540.60/1545.15 c 1545 354671 229042 1 69.0000 0.0000 -
1546.09/1550.69 c 1551 355501 229704 1 69.0000 0.0000 -
1551.28/1555.81 c 1556 355810 229969 1 69.0000 0.0000 -
1556.86/1561.41 c 1561 356625 230570 1 69.0000 0.0000 -
1562.34/1566.97 c 1567 357372 231093 1 69.0000 0.0000 -
1568.22/1572.82 c 1573 358134 231619 1 69.0000 0.0000 -
1574.11/1578.75 c 1579 359043 232247 1 69.0000 0.0000 -
1579.30/1583.92 c 1584 359841 232755 1 69.0000 0.0000 -
1584.98/1589.66 c 1590 360626 233252 1 69.0000 0.0000 -
1590.17/1594.80 c 1595 361485 233759 1 69.0000 0.0000 -
1595.65/1600.31 c 1600 362359 234369 1 69.0000 0.0000 -
1601.34/1606.08 c 1606 363323 234959 1 69.0000 0.0000 -
1606.71/1611.46 c 1611 364363 235619 1 69.0000 0.0000 -
1611.90/1616.65 c 1617 365068 236092 1 69.0000 0.0000 -
1619.28/1624.06 c 1624 365722 236552 1 69.0000 0.0000 -
1624.66/1629.47 c 1629 366517 237025 1 69.0000 0.0000 -
1630.55/1635.39 c 1635 367609 237680 1 69.0000 0.0000 -
1635.73/1640.59 c 1641 368196 238091 1 69.0000 0.0000 -
1641.12/1645.96 c 1646 369247 238808 1 69.0000 0.0000 -
1647.21/1652.03 c 1652 370290 239407 1 69.0000 0.0000 -
1652.59/1657.49 c 1657 371341 240014 1 69.0000 0.0000 -
1658.57/1663.42 c 1663 372136 240498 1 69.0000 0.0000 -
1663.96/1668.82 c 1669 372804 240936 1 69.0000 0.0000 -
1669.44/1674.38 c 1674 373694 241418 1 69.0000 0.0000 -
1675.43/1680.32 c 1680 374454 241934 1 69.0000 0.0000 -
1680.71/1685.69 c 1686 375199 242415 1 69.0000 0.0000 -
1686.30/1691.21 c 1691 375869 242857 1 69.0000 0.0000 -
1691.49/1696.42 c 1696 376548 243244 1 69.0000 0.0000 -
1697.46/1702.48 c 1702 377324 243722 1 69.0000 0.0000 -
1703.45/1708.45 c 1708 378467 244385 1 69.0000 0.0000 -
1709.23/1714.25 c 1714 379420 244926 1 69.0000 0.0000 -
1714.32/1719.37 c 1719 379891 245223 1 69.0000 0.0000 -
1719.51/1724.53 c 1725 380639 245691 1 69.0000 0.0000 -
1724.90/1729.99 c 1730 381403 246193 1 69.0000 0.0000 -
1730.57/1735.60 c 1736 382118 246692 1 69.0000 0.0000 -
1735.67/1740.76 c 1741 382394 246840 1 69.0000 0.0000 -
1740.85/1745.92 c 1746 382667 247085 1 69.0000 0.0000 -
1746.13/1751.24 c 1751 383331 247571 1 69.0000 0.0000 -
1751.12/1756.27 c 1756 383791 247923 1 69.0000 0.0000 -
1756.71/1761.84 c 1762 384433 248343 1 69.0000 0.0000 -
1762.59/1767.71 c 1768 385101 248797 1 69.0000 0.0000 -
1767.77/1772.99 c 1773 385932 249368 1 69.0000 0.0000 -
1774.16/1779.36 c 1779 386752 249924 1 69.0000 0.0000 -
1780.14/1785.34 c 1785 387474 250460 1 69.0000 0.0000 -
1785.83/1791.01 c 1791 388353 250997 1 69.0000 0.0000 -
1791.31/1796.52 c 1797 389239 251529 1 69.0000 0.0000 -
1797.39/1802.61 c 1803 390400 252152 1 69.0000 0.0000 -
1803.28/1808.59 c 1809 390987 252547 1 69.0000 0.0000 -
1809.96/1815.25 c 1815 391636 252918 1 69.0000 0.0000 -
1815.76/1821.09 c 1821 392474 253418 1 69.0000 0.0000 -
1821.63/1826.92 c 1827 393329 253895 1 69.0000 0.0000 -
1827.31/1832.62 c 1833 393960 254278 1 69.0000 0.0000 -
1832.40/1837.70 c 1838 394614 254696 1 69.0000 0.0000 -
1838.09/1843.41 c 1843 395564 255202 1 69.0000 0.0000 -
1844.07/1849.43 c 1849 396511 255781 1 69.0000 0.0000 -
1849.46/1854.84 c 1855 397365 256265 1 69.0000 0.0000 -
1855.44/1860.80 c 1861 398162 256700 1 69.0000 0.0000 -
1860.52/1865.96 c 1866 398739 257093 1 69.0000 0.0000 -
1866.72/1872.12 c 1872 399784 257640 1 69.0000 0.0000 -
1871.71/1877.14 c 1877 400352 257994 1 69.0000 0.0000 -
1876.99/1882.43 c 1882 401266 258604 1 69.0000 0.0000 -
1882.47/1887.91 c 1888 401987 259003 1 69.0000 0.0000 -
1888.84/1894.38 c 1894 402450 259284 1 69.0000 0.0000 -
1894.44/1899.97 c 1900 403039 259693 1 69.0000 0.0000 -
1899.53/1905.02 c 1905 403490 260018 1 69.0000 0.0000 -
1905.10/1910.67 c 1911 404434 260624 1 69.0000 0.0000 -
1910.98/1916.55 c 1917 404738 260882 1 69.0000 0.0000 -
1915.97/1921.58 c 1922 405466 261462 1 69.0000 0.0000 -
1921.06/1926.68 c 1927 406089 261933 1 69.0000 0.0000 -
1926.15/1931.79 c 1932 406809 262425 1 69.0000 0.0000 -
1932.24/1937.83 c 1938 407564 262918 1 69.0000 0.0000 -
1937.72/1943.39 c 1943 408677 263691 1 69.0000 0.0000 -
1943.31/1948.91 c 1949 409410 264178 1 69.0000 0.0000 -
1948.99/1954.60 c 1955 410580 264880 1 69.0000 0.0000 -
1955.17/1960.84 c 1961 411567 265542 1 69.0000 0.0000 -
1961.06/1966.76 c 1967 412089 265998 1 69.0000 0.0000 -
1966.94/1972.62 c 1973 412893 266630 1 69.0000 0.0000 -
1972.43/1978.13 c 1978 413603 267178 1 69.0000 0.0000 -
1978.01/1983.72 c 1984 413876 267377 1 69.0000 0.0000 -
1983.41/1989.19 c 1989 414582 267887 1 69.0000 0.0000 -
1989.48/1995.21 c 1995 415602 268531 1 69.0000 0.0000 -
1994.77/2000.56 c 2001 416406 269079 1 69.0000 0.0000 -
2000.15/2005.98 c 2006 417479 269742 1 69.0000 0.0000 -
2005.54/2011.31 c 2011 418969 270638 1 69.0000 0.0000 -
2010.63/2016.47 c 2016 419196 270803 1 69.0000 0.0000 -
2016.71/2022.57 c 2023 420261 271516 1 69.0000 0.0000 -
2022.00/2027.83 c 2028 421386 272253 1 69.0000 0.0000 -
2028.58/2034.47 c 2034 422091 272786 1 69.0000 0.0000 -
2034.27/2040.13 c 2040 422759 273272 1 69.0000 0.0000 -
2040.15/2046.04 c 2046 423893 273996 1 69.0000 0.0000 -
2046.63/2052.54 c 2053 424814 274601 1 69.0000 0.0000 -
2052.12/2058.06 c 2058 425801 275186 1 69.0000 0.0000 -
2057.21/2063.10 c 2063 426195 275412 1 69.0000 0.0000 -
2062.69/2068.69 c 2069 427051 275906 1 69.0000 0.0000 -
2068.08/2074.03 c 2074 427720 276349 1 69.0000 0.0000 -
2073.07/2079.08 c 2079 428545 276826 1 69.0000 0.0000 -
2078.45/2084.48 c 2084 429760 277449 1 69.0000 0.0000 -
2084.43/2090.46 c 2090 431800 278465 1 69.0000 0.0000 -
2090.41/2096.43 c 2096 433378 279260 1 69.0000 0.0000 -
2096.50/2102.57 c 2103 434277 279835 1 69.0000 0.0000 -
2102.19/2108.26 c 2108 435192 280466 1 69.0000 0.0000 -
2108.07/2114.18 c 2114 436438 281198 1 69.0000 0.0000 -
2113.16/2119.27 c 2119 437274 281786 1 69.0000 0.0000 -
2119.55/2125.61 c 2126 438549 282515 1 69.0000 0.0000 -
2124.93/2131.03 c 2131 439690 283324 1 69.0000 0.0000 -
2130.61/2136.79 c 2137 440311 283741 1 69.0000 0.0000 -
2136.11/2142.29 c 2142 441437 284479 1 69.0000 0.0000 -
2141.99/2148.19 c 2148 442400 285052 1 69.0000 0.0000 -
2148.97/2155.16 c 2155 443610 285721 1 69.0000 0.0000 -
2154.26/2160.41 c 2160 444405 286112 1 69.0000 0.0000 -
2159.24/2165.43 c 2165 445114 286519 1 69.0000 0.0000 -
2165.23/2171.45 c 2171 446456 287239 1 69.0000 0.0000 -
2172.81/2179.05 c 2179 447159 287708 1 69.0000 0.0000 -
2178.00/2184.21 c 2184 448035 288272 1 69.0000 0.0000 -
2183.18/2189.43 c 2189 448853 288786 1 69.0000 0.0000 -
2189.97/2196.27 c 2196 450056 289551 1 69.0000 0.0000 -
2195.45/2201.76 c 2202 450723 290036 1 69.0000 0.0000 -
2201.14/2207.47 c 2207 451654 290561 1 69.0000 0.0000 -
2207.22/2213.57 c 2214 452262 290981 1 69.0000 0.0000 -
2213.30/2219.60 c 2220 452865 291376 1 69.0000 0.0000 -
2218.99/2225.35 c 2225 453489 291776 1 69.0000 0.0000 -
2224.58/2230.90 c 2231 454127 292192 1 69.0000 0.0000 -
2230.36/2236.73 c 2237 454829 292684 1 69.0000 0.0000 -
2235.85/2242.28 c 2242 455327 292996 1 69.0000 0.0000 -
2241.83/2248.23 c 2248 456436 293645 1 69.0000 0.0000 -
2247.52/2253.94 c 2254 457285 294194 1 69.0000 0.0000 -
2253.70/2260.12 c 2260 458383 294836 1 69.0000 0.0000 -
2259.08/2265.56 c 2266 460077 295748 1 69.0000 0.0000 -
2264.47/2270.95 c 2271 460922 296227 1 69.0000 0.0000 -
2269.66/2276.16 c 2276 461747 296678 1 69.0000 0.0000 -
2275.14/2281.62 c 2282 462488 297235 1 69.0000 0.0000 -
2280.83/2287.37 c 2287 463378 297769 1 69.0000 0.0000 -
2286.62/2293.16 c 2293 464175 298157 1 69.0000 0.0000 -
2292.70/2299.24 c 2299 465415 298747 1 69.0000 0.0000 -
2297.68/2304.27 c 2304 466438 299274 1 69.0000 0.0000 -
2303.87/2310.46 c 2310 467435 299816 1 69.0000 0.0000 -
2309.75/2316.31 c 2316 468249 300354 1 69.0000 0.0000 -
2315.14/2321.75 c 2322 468891 300796 1 69.0000 0.0000 -
2321.32/2327.97 c 2328 469468 301217 1 69.0000 0.0000 -
2326.41/2333.00 c 2333 469986 301513 1 69.0000 0.0000 -
2331.79/2338.46 c 2338 470721 301940 1 69.0000 0.0000 -
2337.68/2344.39 c 2344 471664 302395 1 69.0000 0.0000 -
2344.06/2350.79 c 2351 473060 303080 1 69.0000 0.0000 -
2350.14/2356.82 c 2357 474311 303803 1 69.0000 0.0000 -
2355.43/2362.11 c 2362 475173 304239 1 69.0000 0.0000 -
2361.91/2368.61 c 2369 475742 304570 1 69.0000 0.0000 -
2367.20/2373.93 c 2374 477043 305354 1 69.0000 0.0000 -
2372.29/2379.04 c 2379 478292 306035 1 69.0000 0.0000 -
2378.07/2384.87 c 2385 479409 306568 1 69.0000 0.0000 -
2384.05/2390.82 c 2391 479918 306919 1 69.0000 0.0000 -
2390.04/2396.88 c 2397 480979 307474 1 69.0000 0.0000 -
2395.92/2402.73 c 2403 482020 308039 1 69.0000 0.0000 -
2401.41/2408.27 c 2408 483101 308652 1 69.0000 0.0000 -
2407.39/2414.21 c 2414 484397 309372 1 69.0000 0.0000 -
2412.58/2419.47 c 2419 485258 309890 1 69.0000 0.0000 -
2418.28/2425.13 c 2425 486160 310452 1 69.0000 0.0000 -
2423.96/2430.89 c 2431 487033 310979 1 69.0000 0.0000 -
2429.63/2436.56 c 2437 488146 311674 1 69.0000 0.0000 -
2435.62/2442.50 c 2442 489358 312280 1 69.0000 0.0000 -
2442.00/2448.99 c 2449 490046 312740 1 69.0000 0.0000 -
2447.20/2454.14 c 2454 490784 313266 1 69.0000 0.0000 -
2452.68/2459.66 c 2460 491242 313588 1 69.0000 0.0000 -
2458.16/2465.13 c 2465 491897 314035 1 69.0000 0.0000 -
2463.45/2470.41 c 2470 492865 314867 1 69.0000 0.0000 -
2468.72/2475.73 c 2476 493380 315288 1 69.0000 0.0000 -
2473.90/2480.98 c 2481 494141 315821 1 69.0000 0.0000 -
2479.59/2486.63 c 2487 494456 316042 1 69.0000 0.0000 -
2485.27/2492.33 c 2492 495539 316839 1 69.0000 0.0000 -
2492.24/2499.37 c 2499 496044 317188 1 69.0000 0.0000 -
2497.83/2504.90 c 2505 496908 317746 1 69.0000 0.0000 -
2503.02/2510.14 c 2510 497392 318116 1 69.0000 0.0000 -
2508.50/2515.63 c 2516 498514 318912 1 69.0000 0.0000 -
2514.47/2521.60 c 2522 499002 319328 1 69.0000 0.0000 -
2520.05/2527.27 c 2527 499803 319983 1 69.0000 0.0000 -
2525.64/2532.83 c 2533 500158 320262 1 69.0000 0.0000 -
2531.32/2538.50 c 2538 500856 320805 1 69.0000 0.0000 -
2537.30/2544.58 c 2545 501461 321230 1 69.0000 0.0000 -
2543.09/2550.38 c 2550 502115 321742 1 69.0000 0.0000 -
2549.07/2556.37 c 2556 502686 322157 1 69.0000 0.0000 -
2554.55/2561.83 c 2562 503367 322596 1 69.0000 0.0000 -
2560.74/2568.08 c 2568 503959 323040 1 69.0000 0.0000 -
2568.32/2575.65 c 2576 504592 323481 1 69.0000 0.0000 -
2574.90/2582.26 c 2582 505310 323949 1 69.0000 0.0000 -
2581.09/2588.49 c 2588 506242 324517 1 69.0000 0.0000 -
2586.47/2593.86 c 2594 506840 324935 1 69.0000 0.0000 -
2592.26/2599.68 c 2600 507599 325500 1 69.0000 0.0000 -
2597.74/2605.17 c 2605 508164 325881 1 69.0000 0.0000 -
2603.13/2610.53 c 2611 508707 326252 1 69.0000 0.0000 -
2608.21/2615.66 c 2616 509210 326589 1 69.0000 0.0000 -
2613.99/2621.48 c 2621 509757 326964 1 69.0000 0.0000 -
2619.88/2627.33 c 2627 510586 327537 1 69.0000 0.0000 -
2624.87/2632.35 c 2632 510956 327797 1 69.0000 0.0000 -
2630.36/2637.81 c 2638 511308 328069 1 69.0000 0.0000 -
2636.44/2643.91 c 2644 511977 328552 1 69.0000 0.0000 -
2642.53/2650.03 c 2650 512685 329045 1 69.0000 0.0000 -
2648.41/2655.94 c 2656 513376 329534 1 69.0000 0.0000 -
2655.89/2663.46 c 2663 513985 329933 1 69.0000 0.0000 -
2661.08/2668.64 c 2669 514803 330420 1 69.0000 0.0000 -
2666.67/2674.23 c 2674 515478 330913 1 69.0000 0.0000 -
2671.85/2679.41 c 2679 515986 331281 1 69.0000 0.0000 -
2678.24/2685.83 c 2686 516637 331744 1 69.0000 0.0000 -
2684.12/2691.70 c 2692 517611 332426 1 69.0000 0.0000 -
2690.41/2698.03 c 2698 518215 332830 1 69.0000 0.0000 -
2696.39/2704.09 c 2704 519036 333324 1 69.0000 0.0000 -
2701.49/2709.17 c 2709 519487 333651 1 69.0000 0.0000 -
2707.06/2714.74 c 2715 519958 333992 1 69.0000 0.0000 -
2712.65/2720.36 c 2720 520645 334493 1 69.0000 0.0000 -
2718.13/2725.89 c 2726 521038 334814 1 69.0000 0.0000 -
2724.11/2731.85 c 2732 521619 335249 1 69.0000 0.0000 -
2729.41/2737.19 c 2737 522218 335704 1 69.0000 0.0000 -
2735.09/2742.87 c 2743 523039 336183 1 69.0000 0.0000 -
2740.47/2748.20 c 2748 523600 336574 1 69.0000 0.0000 -
2745.66/2753.49 c 2753 524153 336891 1 69.0000 0.0000 -
2751.55/2759.32 c 2759 525046 337468 1 69.0000 0.0000 -
2757.54/2765.33 c 2765 525970 338044 1 69.0000 0.0000 -
2763.12/2770.90 c 2771 527040 338706 1 69.0000 0.0000 -
2769.00/2776.84 c 2777 527861 339241 1 69.0000 0.0000 -
2775.78/2783.60 c 2784 528538 339740 1 69.0000 0.0000 -
2781.87/2789.79 c 2790 529466 340322 1 69.0000 0.0000 -
2788.46/2796.35 c 2796 530378 340868 1 69.0000 0.0000 -
2793.54/2801.50 c 2802 530937 341229 1 69.0000 0.0000 -
2799.23/2807.13 c 2807 531348 341512 1 69.0000 0.0000 -
2804.81/2812.78 c 2813 532031 341995 1 69.0000 0.0000 -
2810.30/2818.24 c 2818 532625 342431 1 69.0000 0.0000 -
2816.09/2824.02 c 2824 533131 342779 1 69.0000 0.0000 -
2821.97/2829.94 c 2830 533671 343161 1 69.0000 0.0000 -
2828.06/2836.03 c 2836 534365 343609 1 69.0000 0.0000 -
2833.34/2841.30 c 2841 535013 344015 1 69.0000 0.0000 -
2839.52/2847.59 c 2848 535380 344252 1 69.0000 0.0000 -
2845.21/2853.20 c 2853 535830 344536 1 69.0000 0.0000 -
2850.60/2858.62 c 2859 536528 344944 1 69.0000 0.0000 -
2856.28/2864.35 c 2864 537256 345318 1 69.0000 0.0000 -
2861.97/2870.03 c 2870 538002 345792 1 69.0000 0.0000 -
2867.75/2875.89 c 2876 538554 346178 1 69.0000 0.0000 -
2873.04/2881.18 c 2881 538913 346419 1 69.0000 0.0000 -
2878.22/2886.36 c 2886 539597 346828 1 69.0000 0.0000 -
2886.30/2894.47 c 2894 540180 347281 1 69.0000 0.0000 -
2891.90/2900.00 c 2900 540832 347737 1 69.0000 0.0000 -
2897.78/2905.97 c 2906 541485 348194 1 69.0000 0.0000 -
2903.36/2911.56 c 2912 541663 348332 1 69.0000 0.0000 -
2908.75/2916.94 c 2917 542362 348829 1 69.0000 0.0000 -
2914.74/2922.93 c 2923 543333 349456 1 69.0000 0.0000 -
2921.02/2929.27 c 2929 544068 349886 1 69.0000 0.0000 -
2927.10/2935.35 c 2935 544547 350195 1 69.0000 0.0000 -
2933.79/2942.02 c 2942 545190 350582 1 69.0000 0.0000 -
2939.67/2947.91 c 2948 546090 351180 1 69.0000 0.0000 -
2945.16/2953.44 c 2953 546676 351578 1 69.0000 0.0000 -
2950.94/2959.26 c 2959 547321 351957 1 69.0000 0.0000 -
2956.23/2964.51 c 2965 548118 352452 1 69.0000 0.0000 -
2962.01/2970.38 c 2970 548972 352999 1 69.0000 0.0000 -
2967.21/2975.55 c 2976 549570 353359 1 69.0000 0.0000 -
2973.28/2981.61 c 2982 550137 353724 1 69.0000 0.0000 -
2978.27/2986.63 c 2987 550638 354075 1 69.0000 0.0000 -
2983.26/2991.64 c 2992 551043 354368 1 69.0000 0.0000 -
2988.45/2996.88 c 2997 551610 354697 1 69.0000 0.0000 -
2994.33/3002.79 c 3003 552176 355103 1 69.0000 0.0000 -
2999.42/3007.87 c 3008 552678 355395 1 69.0000 0.0000 -
3005.41/3013.87 c 3014 553210 355767 1 69.0000 0.0000 -
3010.90/3019.39 c 3019 553945 356222 1 69.0000 0.0000 -
3016.88/3025.38 c 3025 554784 356645 1 69.0000 0.0000 -
3022.96/3031.48 c 3031 555430 357089 1 69.0000 0.0000 -
3031.24/3039.72 c 3040 556026 357599 1 69.0000 0.0000 -
3038.13/3046.61 c 3047 556362 357887 1 69.0000 0.0000 -
3044.21/3052.77 c 3053 557252 358575 1 69.0000 0.0000 -
3049.60/3058.12 c 3058 557992 359143 1 69.0000 0.0000 -
3055.28/3063.85 c 3064 558995 359774 1 69.0000 0.0000 -
3060.67/3069.22 c 3069 559584 360173 1 69.0000 0.0000 -
3066.95/3075.56 c 3076 560498 360770 1 69.0000 0.0000 -
3072.44/3081.04 c 3081 561196 361248 1 69.0000 0.0000 -
3078.22/3086.82 c 3087 561749 361627 1 69.0000 0.0000 -
3083.52/3092.15 c 3092 562412 362080 1 69.0000 0.0000 -
3088.60/3097.26 c 3097 563184 362538 1 69.0000 0.0000 -
3093.88/3102.57 c 3103 563724 362912 1 69.0000 0.0000 -
3100.06/3108.71 c 3109 564511 363415 1 69.0000 0.0000 -
3105.75/3114.45 c 3114 565411 363989 1 69.0000 0.0000 -
3110.74/3119.46 c 3119 566314 364499 1 69.0000 0.0000 -
3116.33/3125.06 c 3125 567195 365062 1 69.0000 0.0000 -
3121.91/3130.63 c 3131 567976 365518 1 69.0000 0.0000 -
3126.99/3135.75 c 3136 568585 365877 1 69.0000 0.0000 -
3132.29/3141.03 c 3141 569869 366497 1 69.0000 0.0000 -
3137.47/3146.29 c 3146 570560 366928 1 69.0000 0.0000 -
3143.16/3151.97 c 3152 571089 367259 1 69.0000 0.0000 -
3148.94/3157.74 c 3158 571504 367530 1 69.0000 0.0000 -
3154.23/3163.08 c 3163 571806 367718 1 69.0000 0.0000 -
3160.32/3169.15 c 3169 572714 368246 1 69.0000 0.0000 -
3166.80/3175.62 c 3176 573305 368631 1 69.0000 0.0000 -
3171.98/3180.89 c 3181 573754 368924 1 69.0000 0.0000 -
3177.96/3186.89 c 3187 574756 369484 1 69.0000 0.0000 -
3183.05/3191.95 c 3192 575368 369882 1 69.0000 0.0000 -
3188.24/3197.19 c 3197 576042 370306 1 69.0000 0.0000 -
3196.52/3205.48 c 3205 576610 370684 1 69.0000 0.0000 -
3202.01/3210.96 c 3211 577096 371002 1 69.0000 0.0000 -
3207.69/3216.64 c 3217 577827 371431 1 69.0000 0.0000 -
3213.08/3222.09 c 3222 578448 371802 1 69.0000 0.0000 -
3218.17/3227.14 c 3227 579112 372224 1 69.0000 0.0000 -
3223.25/3232.20 c 3232 579590 372498 1 69.0000 0.0000 -
3229.14/3238.11 c 3238 580429 373079 1 69.0000 0.0000 -
3234.52/3243.53 c 3244 580972 373412 1 69.0000 0.0000 -
3239.91/3248.94 c 3249 581726 373830 1 69.0000 0.0000 -
3246.89/3255.98 c 3256 582396 374250 1 69.0000 0.0000 -
3252.17/3261.25 c 3261 582987 374601 1 69.0000 0.0000 -
3257.37/3266.48 c 3266 583565 374967 1 69.0000 0.0000 -
3263.25/3272.32 c 3272 584382 375428 1 69.0000 0.0000 -
3268.54/3277.69 c 3278 584890 375782 1 69.0000 0.0000 -
3274.62/3283.70 c 3284 586106 376530 1 69.0000 0.0000 -
3279.91/3289.00 c 3289 586639 376894 1 69.0000 0.0000 -
3286.00/3295.14 c 3295 587216 377344 1 69.0000 0.0000 -
3291.88/3301.06 c 3301 587758 377812 1 69.0000 0.0000 -
3297.56/3306.79 c 3307 588296 378216 1 69.0000 0.0000 -
3302.85/3312.09 c 3312 588829 378605 1 69.0000 0.0000 -
3309.03/3318.25 c 3318 589723 379203 1 69.0000 0.0000 -
3314.62/3323.81 c 3324 590457 379625 1 69.0000 0.0000 -
3320.20/3329.41 c 3329 590805 379893 1 69.0000 0.0000 -
3325.99/3335.22 c 3335 591490 380330 1 69.0000 0.0000 -
3330.98/3340.25 c 3340 592578 381002 1 69.0000 0.0000 -
3336.96/3346.23 c 3346 593245 381427 1 69.0000 0.0000 -
3342.15/3351.40 c 3351 594088 381918 1 69.0000 0.0000 -
3347.84/3357.10 c 3357 594627 382229 1 69.0000 0.0000 -
3353.73/3363.03 c 3363 595190 382542 1 69.0000 0.0000 -
3359.00/3368.31 c 3368 595945 383033 1 69.0000 0.0000 -
3365.49/3374.82 c 3375 596314 383310 1 69.0000 0.0000 -
3370.88/3380.28 c 3380 596919 383761 1 69.0000 0.0000 -
3376.86/3386.23 c 3386 597875 384337 1 69.0000 0.0000 -
3382.45/3391.87 c 3392 598678 384806 1 69.0000 0.0000 -
3388.13/3397.52 c 3398 599460 385284 1 69.0000 0.0000 -
3393.12/3402.56 c 3403 599979 385611 1 69.0000 0.0000 -
3398.21/3407.69 c 3408 600594 385980 1 69.0000 0.0000 -
3403.89/3413.31 c 3413 601109 386285 1 69.0000 0.0000 -
3409.69/3419.12 c 3419 601841 386720 1 69.0000 0.0000 -
3415.67/3425.17 c 3425 602132 386909 1 69.0000 0.0000 -
3421.75/3431.23 c 3431 603010 387405 1 69.0000 0.0000 -
3427.64/3437.11 c 3437 604101 387964 1 69.0000 0.0000 -
3432.82/3442.30 c 3442 604804 388379 1 69.0000 0.0000 -
3437.91/3447.41 c 3447 605297 388674 1 69.0000 0.0000 -
3443.89/3453.40 c 3453 605789 389016 1 69.0000 0.0000 -
3448.88/3458.44 c 3458 606612 389469 1 69.0000 0.0000 -
3454.06/3463.69 c 3464 607603 389992 1 69.0000 0.0000 -
3468.93/3478.53 c 3479 608286 390463 1 69.0000 0.0000 -
3475.01/3484.62 c 3485 608809 390808 1 69.0000 0.0000 -
3482.90/3492.58 c 3493 609734 391323 1 69.0000 0.0000 -
3488.18/3497.88 c 3498 610264 391669 1 69.0000 0.0000 -
3494.37/3504.10 c 3504 610981 392078 1 69.0000 0.0000 -
3500.55/3510.29 c 3510 611808 392519 1 69.0000 0.0000 -
3506.44/3516.13 c 3516 612452 392926 1 69.0000 0.0000 -
3511.52/3521.29 c 3521 613007 393267 1 69.0000 0.0000 -
3516.61/3526.31 c 3526 613480 393548 1 69.0000 0.0000 -
3522.30/3532.09 c 3532 614159 394025 1 69.0000 0.0000 -
3528.48/3538.25 c 3538 615158 394610 1 69.0000 0.0000 -
3534.27/3544.02 c 3544 616028 395084 1 69.0000 0.0000 -
3540.05/3549.86 c 3550 616672 395478 1 69.0000 0.0000 -
3545.34/3555.12 c 3555 617400 395894 1 69.0000 0.0000 -
3550.42/3560.24 c 3560 618240 396362 1 69.0000 0.0000 -
3555.71/3565.57 c 3566 619008 396788 1 69.0000 0.0000 -
3561.20/3571.08 c 3571 619665 397147 1 69.0000 0.0000 -
3566.58/3576.44 c 3576 620469 397593 1 69.0000 0.0000 -
3571.77/3581.64 c 3582 620917 397829 1 69.0000 0.0000 -
3576.76/3586.67 c 3587 621629 398232 1 69.0000 0.0000 -
3581.85/3591.71 c 3592 622451 398728 1 69.0000 0.0000 -
3587.14/3597.04 c 3597 622875 399002 1 69.0000 0.0000 -
3593.71/3603.65 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.71/3603.65 c Total Time : 3603.6500
3593.71/3603.65 c solving : 3603.6500
3593.71/3603.65 c presolving : 0.0056 (included in solving)
3593.71/3603.65 c B&B Tree :
3593.71/3603.65 c nodes (total) : 1
3593.71/3603.65 c Solution :
3593.71/3603.65 c Solutions found : 24
3593.71/3603.65 c Primal Bound : +6.90000000000000e+01
3593.71/3603.65 c Dual Bound : +0.00000000000000e+00
3593.71/3603.65 c Gap : infinite
3593.71/3603.65 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3593.71/3603.67 o 69
3593.71/3603.67 s SATISFIABLE
3593.71/3603.67 v x176 x198 x197 x196 x195 -x194 -x193 -x192 x191 -x190 -x189 x188 x187 x186 -x185 x184 x183 -x182 -x181 x180 x179 x178 -x177 -x175
3593.71/3603.67 v -x174 -x173 -x172 x171 x170 x169 x168 -x167 -x166 x165 -x164 -x163 x162 -x161 -x160 x159 -x158 x157 x156 -x155 x154 -x153
3593.71/3603.67 v x152 x151 -x150 -x149 x148 x147 -x146 -x145 x144 -x143 x142 -x141 -x140 x139 -x138 -x137 x136 x135 -x134 x133 -x132 -x131 x130
3593.71/3603.67 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
3593.71/3603.67 v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 x89 -x88 -x87 -x86 -x85
3593.71/3603.67 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
3593.71/3603.67 v -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
3593.71/3603.67 v 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
3593.71/3603.67 v -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63064 MiB free)
memory of node 1: 64473 MiB (63551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464031-1722378597/watcher-4464031-1722378597 -o /tmp/evaluation-result-4464031-1722378597/solver-4464031-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464031-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=28884, runsolver pid=28878
[startup+0.100086 s]*
/proc/loadavg: 0.14 0.12 0.09 5/260 28913
/proc/meminfo: memFree=129513480/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=110016 memory=30036 CPUtime=0.09 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 4964 0 0 0 9 0 0 0 20 0 3 0 4461708 112656384 7509 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 27504 7509 2950 3035 0 10916 0
[pid=28884/tid=28890] ppid=28878 vsize=110016 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 3235 0 0 0 8 0 0 0 20 0 3 0 4461709 112656384 7509 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=110016 memory=645 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461709 112656384 7509 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110016 KiB
Current children cumulated memory: 30036 KiB
[startup+0.205597 s]*
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129396300/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=110016 memory=39276 CPUtime=0.2 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7286 0 0 0 19 1 0 0 20 0 3 0 4461708 112656384 9819 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 27504 9819 2950 3035 0 13720 0
[pid=28884/tid=28890] ppid=28878 vsize=110016 memory=8505393642823811203 CPUtime=0.18 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 5557 0 0 0 18 0 0 0 20 0 3 0 4461709 112656384 9819 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=110016 memory=645 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461709 112656384 9819 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110016 KiB
Current children cumulated memory: 39276 KiB
[startup+0.30559 s]*
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129369108/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=110016 memory=40048 CPUtime=0.3 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7887 0 0 0 29 1 0 0 20 0 3 0 4461708 112656384 10012 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 27504 10012 2950 3035 0 14132 0
[pid=28884/tid=28890] ppid=28878 vsize=110016 memory=-6000919468495168621 CPUtime=0.28 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6158 0 0 0 28 0 0 0 20 0 3 0 4461709 112656384 10012 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=110016 memory=0 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461709 112656384 10012 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110016 KiB
Current children cumulated memory: 40048 KiB
[startup+0.700265 s]
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129295312/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=112488 memory=48896 CPUtime=0.68 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 10140 0 0 0 67 1 0 0 20 0 3 0 4461708 115187712 12224 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 28122 12224 2950 3035 0 16078 0
[pid=28884/tid=28890] ppid=28878 vsize=112488 memory=0 CPUtime=0.68 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 8411 0 0 0 67 1 0 0 20 0 3 0 4461709 115187712 12224 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=112488 memory=0 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461709 115187712 12224 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112488 KiB
Current children cumulated memory: 48896 KiB
[startup+1.50029 s]
/proc/loadavg: 0.14 0.12 0.09 5/266 28919
/proc/meminfo: memFree=129098096/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=112488 memory=53684 CPUtime=1.49 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 16238 0 0 0 147 2 0 0 20 0 3 0 4461708 115187712 13421 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 28122 13421 2998 3035 0 16991 0
[pid=28884/tid=28890] ppid=28878 vsize=112488 memory=0 CPUtime=1.47 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 14421 0 0 0 146 1 0 0 20 0 3 0 4461709 115187712 13421 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=112488 memory=0 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461709 115187712 13421 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 112488 KiB
Current children cumulated memory: 53684 KiB
[startup+3.10537 s]
/proc/loadavg: 0.45 0.18 0.11 5/266 28921
/proc/meminfo: memFree=128961152/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=114352 memory=57676 CPUtime=3.08 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 19834 0 0 0 306 2 0 0 20 0 3 0 4461708 117096448 14419 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 28588 14419 2998 3035 0 18246 0
[pid=28884/tid=28890] ppid=28878 vsize=114352 memory=-5155626886334016645 CPUtime=3.08 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 18018 0 0 0 306 2 0 0 20 0 3 0 4461709 117096448 14419 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=114352 memory=0 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4461709 117096448 14419 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 114352 KiB
Current children cumulated memory: 57676 KiB
[startup+6.30025 s]
/proc/loadavg: 0.45 0.18 0.11 5/266 28921
/proc/meminfo: memFree=128931104/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=116712 memory=66816 CPUtime=6.27 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 29497 0 0 0 623 4 0 0 20 0 3 0 4461708 119513088 16704 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 29178 16704 3302 3035 0 20740 0
[pid=28884/tid=28890] ppid=28878 vsize=116712 memory=0 CPUtime=6.25 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 27644 0 0 0 622 3 0 0 20 0 3 0 4461709 119513088 16704 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=116712 memory=-5155626886334016645 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4461709 119513088 16704 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116712 KiB
Current children cumulated memory: 66816 KiB
[startup+12.7003 s]
/proc/loadavg: 1.00 0.31 0.16 5/266 28921
/proc/meminfo: memFree=128883044/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=123476 memory=86972 CPUtime=12.65 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 53549 0 0 0 1258 7 0 0 20 0 3 0 4461708 126439424 21743 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 30869 21743 3302 3035 0 26136 0
[pid=28884/tid=28890] ppid=28878 vsize=123476 memory=12800 CPUtime=12.63 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 51599 0 0 0 1257 6 0 0 20 0 3 0 4461709 126439424 21743 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=123476 memory=1944 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4461709 126439424 21743 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 123476 KiB
Current children cumulated memory: 86972 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.43 0.20 5/267 28981
/proc/meminfo: memFree=128763368/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=202924 memory=113136 CPUtime=25.4 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 96291 0 0 0 2528 12 0 0 20 0 3 0 4461708 207794176 28284 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 50731 28284 3302 3035 0 33041 0
[pid=28884/tid=28890] ppid=28878 vsize=202924 memory=112440 CPUtime=25.38 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 94148 0 0 0 2527 11 0 0 20 0 3 0 4461709 207794176 28284 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=202924 memory=113856 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4461709 207794176 28284 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 202924 KiB
Current children cumulated memory: 113136 KiB
[startup+51.1057 s]
/proc/loadavg: 2.47 0.75 0.31 5/266 28984
/proc/meminfo: memFree=128674372/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=237072 memory=162860 CPUtime=50.91 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 168676 0 0 0 5071 20 0 0 20 0 3 0 4461708 242761728 40715 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 59268 40715 3302 3035 0 45448 0
[pid=28884/tid=28890] ppid=28878 vsize=237072 memory=158124 CPUtime=50.89 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 166469 0 0 0 5070 19 0 0 20 0 3 0 4461709 242761728 40715 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=237072 memory=155584 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4461709 242761728 40715 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 237072 KiB
Current children cumulated memory: 162860 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.31 0.53 5/266 28995
/proc/meminfo: memFree=128523968/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=339120 memory=243624 CPUtime=101.91 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 277608 0 0 0 10157 34 0 0 20 0 3 0 4461708 347258880 60906 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 84780 60906 3302 3035 0 66235 0
[pid=28884/tid=28890] ppid=28878 vsize=339120 memory=11556 CPUtime=101.89 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 275179 0 0 0 10156 33 0 0 20 0 3 0 4461709 347258880 60906 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=339120 memory=11556 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4461709 347258880 60906 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 339120 KiB
Current children cumulated memory: 243624 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.84 0.76 5/266 29005
/proc/meminfo: memFree=128399180/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=440344 memory=353232 CPUtime=161.69 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 348057 0 0 0 16121 48 0 0 20 0 3 0 4461708 450912256 88308 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 110086 88308 3302 3035 0 95667 0
[pid=28884/tid=28890] ppid=28878 vsize=440344 memory=11556 CPUtime=161.66 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 345610 0 0 0 16119 47 0 0 20 0 3 0 4461709 450912256 88308 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=440344 memory=347392 CPUtime=0 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4461709 450912256 88308 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 440344 KiB
################
# More data... #
################
/proc/28884/statm: 671842 652028 3318 3035 0 663603 0
[pid=28884/tid=28890] ppid=28878 vsize=2687368 memory=11556 CPUtime=3392.7 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6347918 0 0 0 338621 649 0 0 20 0 3 0 4461709 2751864832 652028 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2687368 memory=-7089911029484838521 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4461709 2751864832 652028 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 2687368 KiB
Current children cumulated memory: 2608112 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.39 4.14 5/265 30579
/proc/meminfo: memFree=123927688/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2711512 memory=2641060 CPUtime=3452.77 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 6512299 0 0 0 344605 672 0 0 20 0 3 0 4461708 2776588288 660265 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 677878 660265 3318 3035 0 671917 0
[pid=28884/tid=28890] ppid=28878 vsize=2711512 memory=11556 CPUtime=3452.54 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6508655 0 0 0 344590 664 0 0 20 0 3 0 4461709 2776588288 660265 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2711512 memory=-7089911029484838521 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4461709 2776588288 660265 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 2711512 KiB
Current children cumulated memory: 2641060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.38 4.16 5/267 30759
/proc/meminfo: memFree=123856480/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2801536 memory=2673780 CPUtime=3512.62 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 6693806 0 0 0 350578 684 0 0 20 0 3 0 4461708 2868772864 668445 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 700384 668445 3318 3035 0 680220 0
[pid=28884/tid=28890] ppid=28878 vsize=2801536 memory=2594988 CPUtime=3512.39 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6690147 0 0 0 350563 676 0 0 20 0 3 0 4461709 2868772864 668445 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2801536 memory=12800 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 184 0 0 0 1 3 0 0 20 0 3 0 4461709 2868772864 668445 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 2801536 KiB
Current children cumulated memory: 2673780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.34 4.16 5/267 30771
/proc/meminfo: memFree=123804172/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2813408 memory=2693880 CPUtime=3572.47 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 6871234 0 0 0 356548 699 0 0 20 0 3 0 4461708 2880929792 673470 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 703352 673470 3318 3035 0 685587 0
[pid=28884/tid=28890] ppid=28878 vsize=2813408 memory=12192 CPUtime=3572.23 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6867557 0 0 0 356533 690 0 0 20 0 3 0 4461709 2880929792 673470 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2813408 memory=18128 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2880929792 673470 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 2813408 KiB
Current children cumulated memory: 2693880 KiB
[startup+3603.67 s]
# the end of solver process 28884 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.59 s, system=7.20723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.33 4.15 5/267 30772
/proc/meminfo: memFree=123795652/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2817504 memory=2702392 CPUtime=3574.17 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 6876265 0 0 0 356718 699 0 0 20 0 3 0 4461708 2885124096 675598 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 704376 675598 3318 3035 0 687711 0
[pid=28884/tid=28890] ppid=28878 vsize=2817504 memory=-7017853435446910336 CPUtime=3573.93 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6872580 0 0 0 356702 691 0 0 20 0 3 0 4461709 2885124096 675598 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2817504 memory=-5155633680935826750 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2885124096 675598 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 2817504 KiB
Current children cumulated memory: 2702392 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123786244/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2817504 memory=2703288 CPUtime=3586.94 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 6931515 0 0 0 357990 704 0 0 20 0 3 0 4461708 2885124096 675822 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 704376 675822 3318 3035 0 687903 0
[pid=28884/tid=28890] ppid=28878 vsize=2817504 memory=2691976 CPUtime=3586.69 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 6927822 0 0 0 357974 695 0 0 20 0 3 0 4461709 2885124096 675822 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2817504 memory=2702400 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2885124096 675822 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3586.94 s
Current children cumulated vsize: 2817504 KiB
Current children cumulated memory: 2703288 KiB
[startup+3600 s]*
/proc/loadavg: 4.19 4.32 4.15 5/261 30912
/proc/meminfo: memFree=126353820/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2820040 memory=2705984 CPUtime=3590.13 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7006626 0 0 0 358305 708 0 0 20 0 3 0 4461708 2887720960 676496 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 705010 676496 3318 3035 0 688695 0
[pid=28884/tid=28890] ppid=28878 vsize=2820040 memory=-6000919472790137964 CPUtime=3589.89 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 7002966 0 0 0 358290 699 0 0 20 0 3 0 4461709 2887720960 676496 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2820040 memory=28100 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2887720960 676496 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3590.13 s
Current children cumulated vsize: 2820040 KiB
Current children cumulated memory: 2705984 KiB
[startup+3601.6 s]
/proc/loadavg: 4.19 4.32 4.15 5/265 30916
/proc/meminfo: memFree=125857284/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2632500 memory=2518460 CPUtime=3591.72 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7046259 0 0 0 358460 712 0 0 20 0 3 0 4461708 2695680000 629615 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 658125 629615 3318 3035 0 641810 0
[pid=28884/tid=28890] ppid=28878 vsize=2632500 memory=2667044 CPUtime=3591.48 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 7042567 0 0 0 358444 704 0 0 20 0 3 0 4461709 2695680000 629615 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2632500 memory=-7089911029484838521 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2695680000 629615 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3591.72 s
Current children cumulated vsize: 2632500 KiB
Current children cumulated memory: 2518460 KiB
[startup+3602.4 s]
/proc/loadavg: 4.19 4.32 4.15 5/265 30916
/proc/meminfo: memFree=125846860/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2484928 memory=2370900 CPUtime=3592.52 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7058779 0 0 0 358538 714 0 0 20 0 3 0 4461708 2544566272 592725 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 621232 592725 3318 3035 0 604917 0
[pid=28884/tid=28890] ppid=28878 vsize=2484928 memory=11556 CPUtime=3592.28 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 7055085 0 0 0 358522 706 0 0 20 0 3 0 4461709 2544566272 592725 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2484928 memory=12800 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2544566272 592725 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3592.52 s
Current children cumulated vsize: 2484928 KiB
Current children cumulated memory: 2370900 KiB
[startup+3603.2 s]
/proc/loadavg: 4.25 4.33 4.16 5/265 30917
/proc/meminfo: memFree=125912504/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2414244 memory=2300216 CPUtime=3593.31 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7068249 0 0 0 358616 715 0 0 20 0 3 0 4461708 2472185856 575054 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 603561 575054 3318 3035 0 587246 0
[pid=28884/tid=28890] ppid=28878 vsize=2414244 memory=2616824 CPUtime=3593.08 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 7064555 0 0 0 358601 707 0 0 20 0 3 0 4461709 2472185856 575054 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2414244 memory=12800 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2472185856 575054 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3593.31 s
Current children cumulated vsize: 2414244 KiB
Current children cumulated memory: 2300216 KiB
[startup+3603.6 s]
/proc/loadavg: 4.25 4.33 4.16 5/265 30917
/proc/meminfo: memFree=125912504/131524600 swapFree=131071996/131071996
[pid=28884] ppid=28878 vsize=2325788 memory=2212296 CPUtime=3593.71 cores=4,6
/proc/28884/stat : 28884 (fscip) S 28878 28884 28837 0 -1 1077936128 7068881 0 0 0 358656 715 0 0 20 0 3 0 4461708 2381606912 553074 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
/proc/28884/statm: 581447 553074 3318 3035 0 565132 0
[pid=28884/tid=28890] ppid=28878 vsize=2325788 memory=12800 CPUtime=3593.48 cores=4,6
/proc/28884/task/28890/stat : 28890 (fscip) R 28878 28884 28837 0 -1 4194368 7065188 0 0 0 358641 707 0 0 20 0 3 0 4461709 2381606912 553074 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
[pid=28884/tid=28892] ppid=28878 vsize=2325788 memory=2705984 CPUtime=0.04 cores=4,6
/proc/28884/task/28892/stat : 28892 (fscip) S 28878 28884 28837 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4461709 2381606912 553074 134679101440 4194304 16623229 140737193382576 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 32694272 140737193387030 140737193387146 140737193387146 140737193394160 0
Current children cumulated CPU time: 3593.71 s
Current children cumulated vsize: 2325788 KiB
Current children cumulated memory: 2212296 KiB
Child status: 0
Real time (s): 3603.67
CPU time (s): 3593.8
CPU user time (s): 3586.59
CPU system time (s): 7.20723
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 2820040
Max. memory (cumulated for all children) (KiB): 2705984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.59
system time used= 7.20723
maximum resident set size= 2705984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7069696
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= 9837
involuntary context switches= 4634
# summary of solver processes directly reported to runsolver:
# pid: 28884
# total CPU time (s): 3593.8
# total CPU user time (s): 3586.59
# total CPU system time (s): 7.20723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84246 second user time and 16.9847 second system time
The end
Begin job on nodeC032 at 2024-07-31 00:29:57
IDJOB=4464031
IDBENCH=147586
IDSOLVER=3092
FILE ID=nodeC032/4464031-1722378597
RUNJOBID= nodeC032-1722378597-28848
SLURM_JOB_ID= 8249855
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.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-4464031-1722378597/watcher-4464031-1722378597 -o /tmp/evaluation-result-4464031-1722378597/solver-4464031-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464031-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=576650998
nodeC032.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 : 3481.201
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3627.021
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
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 : 3544.373
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.985
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
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 : 3459.416
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3603.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
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 : 3552.927
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3395.658
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129654716 kB
MemAvailable: 129858072 kB
Buffers: 84720 kB
Cached: 955768 kB
SwapCached: 0 kB
Active: 255368 kB
Inactive: 1141020 kB
Active(anon): 1444 kB
Inactive(anon): 375844 kB
Active(file): 253924 kB
Inactive(file): 765176 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114824 kB
Writeback: 0 kB
AnonPages: 356348 kB
Mapped: 88380 kB
Shmem: 21332 kB
KReclaimable: 48160 kB
Slab: 129268 kB
SReclaimable: 48160 kB
SUnreclaim: 81108 kB
KernelStack: 3936 kB
PageTables: 8860 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 752408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC032 at 2024-07-31 01:30:01