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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 22806528, getVmSize() = 22806528, SCIPgetMemUsed() = 1114034, SCIPgetMemTotal() = 1401594, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 16437248, getVmSize() = 26505216, SCIPgetMemUsed() = 2070610, SCIPgetMemTotal() = 4017210, SCIPgetMemExternEstim() = 1048576
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4434698-1721095524
0.00/0.02 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 16
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 14
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 9
0.00/0.02 c logicor : 5
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.05 c * 0 0 1 1 1502.0000 - -
0.10/0.11 c * 0 0 1 1 1118.0000 - -
0.68/0.72 c * 1 2 1 1 1065.0000 0.0000 -
0.78/0.83 c * 1 2 1 1 828.0000 0.0000 -
0.88/0.97 c * 1 2 1 1 769.0000 0.0000 -
0.88/1.01 c * 1 2 1 1 753.0000 0.0000 -
2.38/2.45 c * 2 896 895 1 493.0000 0.0000 -
2.99/3.07 c * 3 896 895 1 298.0000 0.0000 -
5.36/5.44 c 5 2394 1344 1 298.0000 0.0000 -
6.27/6.31 c * 6 2394 1344 1 202.0000 0.0000 -
10.45/10.53 c 11 4149 3083 1 202.0000 0.0000 -
15.53/15.67 c 16 6983 5895 1 202.0000 0.0000 -
20.61/20.79 c 21 8642 7516 1 202.0000 0.0000 -
23.41/23.53 c * 24 9539 8405 1 200.0000 0.0000 -
23.41/23.53 c * 24 9539 8405 1 198.0000 0.0000 -
25.70/25.88 c * 26 10511 9306 1 197.0000 0.0000 -
25.70/25.88 c 26 10511 9306 1 197.0000 0.0000 -
25.70/25.89 c * 26 10511 9306 1 196.0000 0.0000 -
25.70/25.89 c * 26 10511 9306 1 194.0000 0.0000 -
26.29/26.40 c * 26 10886 9640 1 140.0000 0.0000 -
28.09/28.25 c * 28 11752 10133 1 139.0000 0.0000 -
30.99/31.11 c 31 13405 11513 1 139.0000 0.0000 -
36.06/36.25 c 36 17060 14059 1 139.0000 0.0000 -
37.88/38.09 c * 38 17409 14316 1 138.0000 0.0000 -
37.88/38.09 c * 38 17409 14316 1 136.0000 0.0000 -
41.15/41.35 c 41 19613 16038 1 136.0000 0.0000 -
41.55/41.76 c * 42 19613 16038 1 134.0000 0.0000 -
41.55/41.77 c * 42 19613 16038 1 132.0000 0.0000 -
41.55/41.77 c * 42 19613 16038 1 130.0000 0.0000 -
44.44/44.69 c * 45 20846 16890 1 128.0000 0.0000 -
44.53/44.70 c * 45 20846 16890 1 126.0000 0.0000 -
46.34/46.52 c 47 21673 15955 1 126.0000 0.0000 -
48.32/48.59 c * 49 21990 16228 1 125.0000 0.0000 -
48.42/48.60 c * 49 22382 16569 1 123.0000 0.0000 -
51.52/51.78 c 52 23393 17388 1 123.0000 0.0000 -
55.91/56.18 c * 56 25225 18914 1 122.0000 0.0000 -
56.70/56.93 c 57 25537 19143 1 122.0000 0.0000 -
60.18/60.40 c * 60 26523 19925 1 121.0000 0.0000 -
60.18/60.41 c * 60 26523 19925 1 119.0000 0.0000 -
60.18/60.42 c * 60 26523 19925 1 118.0000 0.0000 -
61.79/62.11 c 62 27597 20669 1 118.0000 0.0000 -
66.96/67.21 c 67 29803 22384 1 118.0000 0.0000 -
72.04/72.30 c 72 31562 23821 1 118.0000 0.0000 -
72.25/72.58 c * 73 31562 23821 1 111.0000 0.0000 -
76.13/76.40 c * 76 33381 24902 1 110.0000 0.0000 -
76.74/77.08 c * 77 33381 24902 1 108.0000 0.0000 -
76.74/77.09 c * 77 33381 24902 1 106.0000 0.0000 -
77.13/77.43 c 77 34338 25211 1 106.0000 0.0000 -
77.33/77.65 c * 78 34338 25211 1 104.0000 0.0000 -
77.63/77.90 c * 78 34338 25211 1 103.0000 0.0000 -
77.63/77.94 c * 78 34338 25211 1 101.0000 0.0000 -
77.85/78.18 c * 78 34338 25211 1 99.0000 0.0000 -
78.43/78.78 c * 79 35293 25367 1 98.0000 0.0000 -
79.03/79.38 c * 79 35293 25367 1 76.0000 0.0000 -
82.21/82.56 c 83 37609 24688 1 76.0000 0.0000 -
87.30/87.60 c * 88 39814 26227 1 74.0000 0.0000 -
87.30/87.60 c 88 39814 26227 1 74.0000 0.0000 -
92.59/92.94 c 93 43238 28181 1 74.0000 0.0000 -
95.79/96.18 c * 96 45149 29293 1 73.0000 0.0000 -
95.88/96.20 c * 96 45149 29293 1 71.0000 0.0000 -
97.78/98.14 c 98 46304 29735 1 71.0000 0.0000 -
102.85/103.20 c 103 48598 31361 1 71.0000 0.0000 -
103.45/103.85 c * 104 48598 31361 1 70.0000 0.0000 -
107.93/108.33 c 108 50590 32564 1 70.0000 0.0000 -
112.91/113.39 c 113 52762 33990 1 70.0000 0.0000 -
118.10/118.54 c 119 54716 35174 1 70.0000 0.0000 -
123.18/123.68 c 124 57522 36748 1 70.0000 0.0000 -
128.37/128.80 c 129 60314 38494 1 70.0000 0.0000 -
133.45/133.96 c 134 63097 40011 1 70.0000 0.0000 -
138.54/139.07 c 139 65410 41459 1 70.0000 0.0000 -
143.71/144.29 c 144 68188 42905 1 70.0000 0.0000 -
145.53/146.07 c * 146 69163 43430 1 68.0000 0.0000 -
148.90/149.44 c 149 71924 44569 1 68.0000 0.0000 -
149.80/150.39 c * 150 71924 44569 1 64.0000 0.0000 -
153.99/154.55 c 155 73943 37033 1 64.0000 0.0000 -
159.17/159.76 c 160 76340 38760 1 64.0000 0.0000 -
164.25/164.88 c 165 79148 40372 1 64.0000 0.0000 -
169.54/170.11 c 170 80890 41538 1 64.0000 0.0000 -
174.61/175.21 c 175 82435 42683 1 64.0000 0.0000 -
177.10/177.76 c * 178 83010 43106 1 63.0000 0.0000 -
179.79/180.41 c 180 83991 43692 1 63.0000 0.0000 -
184.97/185.65 c 186 85634 44747 1 63.0000 0.0000 -
190.05/190.73 c 191 87012 45799 1 63.0000 0.0000 -
195.22/195.92 c 196 88503 46845 1 63.0000 0.0000 -
200.32/201.10 c 201 89701 47613 1 63.0000 0.0000 -
205.49/206.25 c 206 91109 48537 1 63.0000 0.0000 -
210.56/211.38 c 211 92956 49660 1 63.0000 0.0000 -
215.74/216.54 c 217 94917 50925 1 63.0000 0.0000 -
220.93/221.71 c 222 96397 51895 1 63.0000 0.0000 -
226.10/226.97 c 227 97843 52931 1 63.0000 0.0000 -
226.70/227.52 c * 228 97843 52931 1 60.0000 0.0000 -
231.38/232.23 c 232 99596 53695 1 60.0000 0.0000 -
236.56/237.45 c 237 102204 55375 1 60.0000 0.0000 -
241.84/242.70 c 243 104670 56779 1 60.0000 0.0000 -
247.52/248.42 c 248 106629 57902 1 60.0000 0.0000 -
252.69/253.60 c 254 108238 58982 1 60.0000 0.0000 -
257.78/258.72 c 259 110120 60000 1 60.0000 0.0000 -
262.96/263.96 c 264 111535 60979 1 60.0000 0.0000 -
266.34/267.36 c * 267 112499 61573 1 59.0000 0.0000 -
266.44/267.40 c * 267 112499 61573 1 57.0000 0.0000 -
266.44/267.45 c * 267 112499 61573 1 55.0000 0.0000 -
268.05/269.10 c 269 113176 60465 1 55.0000 0.0000 -
273.32/274.39 c 274 116010 62099 1 55.0000 0.0000 -
278.51/279.52 c 280 118314 63471 1 55.0000 0.0000 -
283.69/284.72 c 285 120428 64650 1 55.0000 0.0000 -
285.00/286.03 c * 286 120888 64860 1 53.0000 0.0000 -
285.00/286.07 c * 286 120888 64860 1 51.0000 0.0000 -
288.98/290.06 c 290 122884 64180 1 51.0000 0.0000 -
294.36/295.47 c 295 125264 65515 1 51.0000 0.0000 -
299.54/300.60 c 301 127662 66983 1 51.0000 0.0000 -
304.53/305.69 c 306 130228 68322 1 51.0000 0.0000 -
309.71/310.83 c 311 132564 69456 1 51.0000 0.0000 -
314.90/316.04 c 316 135684 70944 1 51.0000 0.0000 -
320.08/321.20 c 321 137970 72192 1 51.0000 0.0000 -
325.16/326.33 c 326 140097 73393 1 51.0000 0.0000 -
330.45/331.61 c 332 141932 74767 1 51.0000 0.0000 -
335.72/336.92 c 337 143652 75804 1 51.0000 0.0000 -
340.83/342.10 c 342 145181 76781 1 51.0000 0.0000 -
345.99/347.26 c 347 146996 77822 1 51.0000 0.0000 -
351.08/352.33 c 352 148417 78692 1 51.0000 0.0000 -
356.37/357.63 c 358 150945 80044 1 51.0000 0.0000 -
361.54/362.84 c 363 153806 81556 1 51.0000 0.0000 -
366.74/368.01 c 368 155700 82588 1 51.0000 0.0000 -
371.90/373.24 c 373 157734 83794 1 51.0000 0.0000 -
377.10/378.41 c 378 159744 84878 1 51.0000 0.0000 -
382.27/383.66 c 384 161268 85720 1 51.0000 0.0000 -
387.46/388.88 c 389 163898 87106 1 51.0000 0.0000 -
392.65/394.08 c 394 166281 88206 1 51.0000 0.0000 -
397.82/399.20 c 399 168060 89237 1 51.0000 0.0000 -
402.90/404.37 c 404 169670 90151 1 51.0000 0.0000 -
408.29/409.78 c 410 171565 91144 1 51.0000 0.0000 -
413.58/415.02 c 415 174213 92515 1 51.0000 0.0000 -
418.84/420.38 c 420 176800 93883 1 51.0000 0.0000 -
424.33/425.88 c 426 179070 95138 1 51.0000 0.0000 -
429.71/431.23 c 431 181467 96303 1 51.0000 0.0000 -
434.90/436.48 c 436 183369 97317 1 51.0000 0.0000 -
440.37/441.94 c 442 185165 98290 1 51.0000 0.0000 -
445.86/447.41 c 447 186649 99318 1 51.0000 0.0000 -
451.34/452.91 c 453 187957 100201 1 51.0000 0.0000 -
456.62/458.27 c 458 189390 101290 1 51.0000 0.0000 -
461.90/463.51 c 464 191037 102407 1 51.0000 0.0000 -
467.69/469.38 c 469 192297 103397 1 51.0000 0.0000 -
473.07/474.71 c 475 193758 104398 1 51.0000 0.0000 -
478.65/480.31 c 480 195930 105672 1 51.0000 0.0000 -
483.92/485.62 c 486 197432 106621 1 51.0000 0.0000 -
489.01/490.75 c 491 199610 107899 1 51.0000 0.0000 -
494.18/495.92 c 496 201435 108988 1 51.0000 0.0000 -
499.38/501.18 c 501 202857 109896 1 51.0000 0.0000 -
504.75/506.52 c 507 204204 110825 1 51.0000 0.0000 -
510.13/511.92 c 512 205626 111785 1 51.0000 0.0000 -
515.34/517.13 c 517 206856 112550 1 51.0000 0.0000 -
520.81/522.63 c 523 208080 113348 1 51.0000 0.0000 -
525.99/527.87 c 528 209718 114341 1 51.0000 0.0000 -
531.37/533.21 c 533 211925 115434 1 51.0000 0.0000 -
536.66/538.55 c 539 213617 116360 1 51.0000 0.0000 -
542.04/543.91 c 544 216360 117672 1 51.0000 0.0000 -
547.14/549.10 c 549 217858 118555 1 51.0000 0.0000 -
552.31/554.25 c 554 219430 119436 1 51.0000 0.0000 -
557.49/559.49 c 559 221359 120477 1 51.0000 0.0000 -
558.99/560.97 c * 561 221489 120593 1 50.0000 0.0000 -
559.10/561.06 c * 561 221489 120593 1 48.0000 0.0000 -
563.20/565.14 c 565 223398 117942 1 48.0000 0.0000 -
568.46/570.41 c 570 225478 119019 1 48.0000 0.0000 -
573.65/575.63 c 576 226784 119795 1 48.0000 0.0000 -
579.33/581.30 c 581 228033 120702 1 48.0000 0.0000 -
584.52/586.52 c 587 228990 121393 1 48.0000 0.0000 -
589.79/591.87 c 592 230405 122281 1 48.0000 0.0000 -
595.18/597.23 c 597 231958 123236 1 48.0000 0.0000 -
600.35/602.45 c 602 233091 123965 1 48.0000 0.0000 -
606.24/608.32 c 608 234493 124999 1 48.0000 0.0000 -
611.52/613.63 c 614 235886 125902 1 48.0000 0.0000 -
617.01/619.15 c 619 237318 126964 1 48.0000 0.0000 -
622.48/624.66 c 625 239091 128121 1 48.0000 0.0000 -
623.77/625.90 c * 626 239268 128278 1 44.0000 0.0000 -
627.75/629.95 c 630 240159 125371 1 44.0000 0.0000 -
633.54/635.75 c 636 241940 126457 1 44.0000 0.0000 -
638.72/640.96 c 641 243370 127335 1 44.0000 0.0000 -
644.01/646.23 c 646 244620 128101 1 44.0000 0.0000 -
649.39/651.68 c 652 246464 129125 1 44.0000 0.0000 -
654.88/657.19 c 657 248040 130092 1 44.0000 0.0000 -
660.05/662.34 c 662 249335 130897 1 44.0000 0.0000 -
665.34/667.63 c 668 251038 131818 1 44.0000 0.0000 -
670.92/673.25 c 673 252546 132732 1 44.0000 0.0000 -
676.31/678.63 c 679 253769 133419 1 44.0000 0.0000 -
681.29/683.67 c 684 255168 134180 1 44.0000 0.0000 -
686.86/689.20 c 689 256677 135011 1 44.0000 0.0000 -
692.15/694.50 c 694 258658 135997 1 44.0000 0.0000 -
698.74/701.11 c 701 259961 136778 1 44.0000 0.0000 -
704.11/706.54 c 707 261439 137555 1 44.0000 0.0000 -
709.88/712.32 c 712 263000 138445 1 44.0000 0.0000 -
715.17/717.60 c 718 264341 139238 1 44.0000 0.0000 -
721.05/723.55 c 724 265246 139933 1 44.0000 0.0000 -
726.54/729.08 c 729 266254 140636 1 44.0000 0.0000 -
731.71/734.28 c 734 267550 141412 1 44.0000 0.0000 -
737.10/739.68 c 740 268931 142201 1 44.0000 0.0000 -
742.39/744.99 c 745 270389 142979 1 44.0000 0.0000 -
747.77/750.32 c 750 271685 143751 1 44.0000 0.0000 -
753.15/755.72 c 756 273536 144610 1 44.0000 0.0000 -
758.45/761.06 c 761 275483 145579 1 44.0000 0.0000 -
764.12/766.71 c 767 276877 146406 1 44.0000 0.0000 -
769.20/771.86 c 772 278226 147195 1 44.0000 0.0000 -
774.59/777.27 c 777 280291 148184 1 44.0000 0.0000 -
780.27/782.90 c 783 282191 149162 1 44.0000 0.0000 -
785.96/788.64 c 789 283488 150003 1 44.0000 0.0000 -
791.35/794.04 c 794 284737 150678 1 44.0000 0.0000 -
796.82/799.52 c 800 286280 151550 1 44.0000 0.0000 -
802.21/804.95 c 805 287685 152283 1 44.0000 0.0000 -
807.49/810.26 c 810 289819 153383 1 44.0000 0.0000 -
813.08/815.81 c 816 291008 154048 1 44.0000 0.0000 -
818.27/821.01 c 821 292093 154617 1 44.0000 0.0000 -
823.44/826.24 c 826 293513 155319 1 44.0000 0.0000 -
828.63/831.40 c 831 294337 155845 1 44.0000 0.0000 -
834.02/836.84 c 837 295222 156385 1 44.0000 0.0000 -
839.40/842.26 c 842 296593 157102 1 44.0000 0.0000 -
845.49/848.31 c 848 297808 157747 1 44.0000 0.0000 -
850.57/853.48 c 853 298933 158256 1 44.0000 0.0000 -
855.86/858.76 c 859 300053 158778 1 44.0000 0.0000 -
861.54/864.43 c 864 301359 159454 1 44.0000 0.0000 -
866.52/869.49 c 869 302490 160011 1 44.0000 0.0000 -
871.80/874.70 c 875 303830 160751 1 44.0000 0.0000 -
876.89/879.85 c 880 305224 161511 1 44.0000 0.0000 -
881.97/884.91 c 885 307100 162422 1 44.0000 0.0000 -
887.56/890.52 c 891 308563 163066 1 44.0000 0.0000 -
892.84/895.82 c 896 310001 163739 1 44.0000 0.0000 -
897.92/900.99 c 901 311084 164313 1 44.0000 0.0000 -
903.12/906.12 c 906 312792 165173 1 44.0000 0.0000 -
908.90/911.93 c 912 314091 165844 1 44.0000 0.0000 -
914.17/917.23 c 917 315815 166688 1 44.0000 0.0000 -
920.16/923.25 c 923 318070 167843 1 44.0000 0.0000 -
925.35/928.48 c 928 319524 168517 1 44.0000 0.0000 -
931.53/934.60 c 935 321324 169515 1 44.0000 0.0000 -
936.72/939.81 c 940 323321 170473 1 44.0000 0.0000 -
942.69/945.83 c 946 324602 171164 1 44.0000 0.0000 -
948.28/951.43 c 951 325849 171961 1 44.0000 0.0000 -
953.77/956.95 c 957 326883 172599 1 44.0000 0.0000 -
959.15/962.31 c 962 328760 173554 1 44.0000 0.0000 -
964.34/967.59 c 968 330245 174285 1 44.0000 0.0000 -
970.02/973.28 c 973 332173 175035 1 44.0000 0.0000 -
975.71/978.90 c 979 333525 175735 1 44.0000 0.0000 -
978.19/981.46 c * 981 334608 176197 1 42.0000 0.0000 -
978.39/981.62 c * 982 334608 176197 1 40.0000 0.0000 -
978.48/981.78 c * 982 334608 176197 1 38.0000 0.0000 -
980.98/984.25 c 984 335900 166832 1 38.0000 0.0000 -
986.67/989.94 c 990 337981 167643 1 38.0000 0.0000 -
991.86/995.15 c 995 340558 168676 1 38.0000 0.0000 -
997.43/1000.70 c 1001 342423 169461 1 38.0000 0.0000 -
1002.61/1005.90 c 1006 344035 170139 1 38.0000 0.0000 -
1007.71/1011.06 c 1011 346278 171193 1 38.0000 0.0000 -
1009.40/1012.79 c * 1013 346797 171438 1 37.0000 0.0000 -
1013.08/1016.49 c 1016 349285 170564 1 37.0000 0.0000 -
1017.48/1020.86 c * 1021 351502 171429 1 36.0000 0.0000 -
1017.69/1021.03 c * 1021 351502 171429 1 34.0000 0.0000 -
1017.97/1021.36 c * 1021 351502 171429 1 32.0000 0.0000 -
1018.47/1021.87 c 1022 351841 123454 1 32.0000 0.0000 -
1024.06/1027.42 c 1027 354992 124861 1 32.0000 0.0000 -
1029.43/1032.80 c 1033 357800 125935 1 32.0000 0.0000 -
1034.52/1037.92 c 1038 360009 126890 1 32.0000 0.0000 -
1040.10/1043.57 c 1044 361602 127707 1 32.0000 0.0000 -
1045.39/1048.84 c 1049 363965 128717 1 32.0000 0.0000 -
1050.69/1054.16 c 1054 366313 129596 1 32.0000 0.0000 -
1056.06/1059.51 c 1060 368136 130443 1 32.0000 0.0000 -
1061.14/1064.67 c 1065 370895 131529 1 32.0000 0.0000 -
1066.54/1070.06 c 1070 372148 132174 1 32.0000 0.0000 -
1071.90/1075.41 c 1075 373995 133037 1 32.0000 0.0000 -
1078.08/1081.67 c 1082 375781 134063 1 32.0000 0.0000 -
1083.37/1086.97 c 1087 377388 134970 1 32.0000 0.0000 -
1088.66/1092.21 c 1092 379070 135854 1 32.0000 0.0000 -
1094.04/1097.60 c 1098 381579 137054 1 32.0000 0.0000 -
1099.92/1103.51 c 1104 383998 138144 1 32.0000 0.0000 -
1105.01/1108.66 c 1109 386337 139177 1 32.0000 0.0000 -
1108.70/1112.38 c * 1112 387154 139570 1 30.0000 0.0000 -
1110.89/1114.52 c 1115 389343 138731 1 30.0000 0.0000 -
1116.49/1120.19 c 1120 393574 140253 1 30.0000 0.0000 -
1122.06/1125.77 c 1126 395984 141507 1 30.0000 0.0000 -
1127.13/1130.88 c 1131 397390 142319 1 30.0000 0.0000 -
1132.51/1136.27 c 1136 398855 143037 1 30.0000 0.0000 -
1137.79/1141.50 c 1142 400700 143907 1 30.0000 0.0000 -
1143.17/1146.99 c 1147 402518 144783 1 30.0000 0.0000 -
1148.37/1152.13 c 1152 403298 145161 1 30.0000 0.0000 -
1153.63/1157.49 c 1158 405630 146176 1 30.0000 0.0000 -
1159.12/1162.90 c 1163 408337 147314 1 30.0000 0.0000 -
1164.89/1168.70 c 1169 410254 148130 1 30.0000 0.0000 -
1170.29/1174.14 c 1174 411605 148717 1 30.0000 0.0000 -
1175.75/1179.66 c 1180 413109 149391 1 30.0000 0.0000 -
1181.03/1185.01 c 1185 415508 150274 1 30.0000 0.0000 -
1186.71/1190.66 c 1191 417626 151106 1 30.0000 0.0000 -
1192.48/1196.41 c 1196 419465 151935 1 30.0000 0.0000 -
1197.97/1201.94 c 1202 421661 152860 1 30.0000 0.0000 -
1203.35/1207.38 c 1207 423534 153609 1 30.0000 0.0000 -
1208.94/1212.98 c 1213 425393 154320 1 30.0000 0.0000 -
1214.72/1218.74 c 1219 427819 155240 1 30.0000 0.0000 -
1220.11/1224.13 c 1224 430171 156205 1 30.0000 0.0000 -
1226.00/1230.02 c 1230 432542 157209 1 30.0000 0.0000 -
1231.87/1235.94 c 1236 435747 158444 1 30.0000 0.0000 -
1237.26/1241.33 c 1241 438921 159612 1 30.0000 0.0000 -
1242.84/1246.92 c 1247 441844 160698 1 30.0000 0.0000 -
1248.22/1252.30 c 1252 445529 161933 1 30.0000 0.0000 -
1253.61/1257.72 c 1258 448727 163041 1 30.0000 0.0000 -
1259.19/1263.35 c 1263 450878 164120 1 30.0000 0.0000 -
1264.18/1268.38 c 1268 452149 164961 1 30.0000 0.0000 -
1269.98/1274.11 c 1274 453662 165766 1 30.0000 0.0000 -
1275.74/1279.92 c 1280 455008 166461 1 30.0000 0.0000 -
1281.23/1285.46 c 1285 457373 167562 1 30.0000 0.0000 -
1287.00/1291.21 c 1291 459309 168416 1 30.0000 0.0000 -
1292.48/1296.78 c 1297 461781 169466 1 30.0000 0.0000 -
1298.37/1302.60 c 1303 463797 170438 1 30.0000 0.0000 -
1304.15/1308.48 c 1308 466374 171472 1 30.0000 0.0000 -
1310.04/1314.30 c 1314 468828 172601 1 30.0000 0.0000 -
1315.52/1319.82 c 1320 471771 173926 1 30.0000 0.0000 -
1321.30/1325.62 c 1326 474436 175081 1 30.0000 0.0000 -
1327.09/1331.43 c 1331 476874 176119 1 30.0000 0.0000 -
1332.97/1337.39 c 1337 480795 177569 1 30.0000 0.0000 -
1338.45/1342.89 c 1343 482636 178326 1 30.0000 0.0000 -
1343.75/1348.17 c 1348 484971 179332 1 30.0000 0.0000 -
1349.22/1353.66 c 1354 487961 180484 1 30.0000 0.0000 -
1354.91/1359.32 c 1359 490535 181515 1 30.0000 0.0000 -
1360.00/1364.40 c 1364 491912 182289 1 30.0000 0.0000 -
1365.69/1370.11 c 1370 493231 183004 1 30.0000 0.0000 -
1371.07/1375.50 c 1376 494637 183732 1 30.0000 0.0000 -
1376.94/1381.43 c 1381 496705 184816 1 30.0000 0.0000 -
1382.03/1386.59 c 1387 499520 185957 1 30.0000 0.0000 -
1387.42/1391.96 c 1392 501907 186949 1 30.0000 0.0000 -
1392.52/1397.05 c 1397 503197 187581 1 30.0000 0.0000 -
1398.29/1402.83 c 1403 505649 188628 1 30.0000 0.0000 -
1403.97/1408.53 c 1409 507820 189632 1 30.0000 0.0000 -
1409.46/1414.03 c 1414 511088 190917 1 30.0000 0.0000 -
1415.03/1419.60 c 1420 512461 191602 1 30.0000 0.0000 -
1420.31/1424.90 c 1425 516032 192909 1 30.0000 0.0000 -
1426.00/1430.63 c 1431 518686 193945 1 30.0000 0.0000 -
1431.99/1436.63 c 1437 520887 194933 1 30.0000 0.0000 -
1437.57/1442.23 c 1442 522095 195662 1 30.0000 0.0000 -
1443.16/1447.87 c 1448 523788 196509 1 30.0000 0.0000 -
1449.14/1453.86 c 1454 525473 197278 1 30.0000 0.0000 -
1455.13/1459.87 c 1460 527333 198156 1 30.0000 0.0000 -
1460.20/1464.93 c 1465 530222 199413 1 30.0000 0.0000 -
1466.09/1470.83 c 1471 532144 200281 1 30.0000 0.0000 -
1472.18/1476.90 c 1477 534723 201323 1 30.0000 0.0000 -
1477.56/1482.35 c 1482 537324 202427 1 30.0000 0.0000 -
1483.85/1488.65 c 1489 540571 203700 1 30.0000 0.0000 -
1489.34/1494.18 c 1494 542938 204636 1 30.0000 0.0000 -
1494.72/1499.58 c 1500 545083 205677 1 30.0000 0.0000 -
1500.89/1505.71 c 1506 546680 206525 1 30.0000 0.0000 -
1506.29/1511.15 c 1511 549329 207626 1 30.0000 0.0000 -
1512.06/1516.90 c 1517 552166 208740 1 30.0000 0.0000 -
1518.16/1523.02 c 1523 555129 209872 1 30.0000 0.0000 -
1523.53/1528.48 c 1528 557020 210574 1 30.0000 0.0000 -
1529.23/1534.14 c 1534 559339 211531 1 30.0000 0.0000 -
1534.60/1539.58 c 1540 561542 212452 1 30.0000 0.0000 -
1540.10/1545.05 c 1545 563529 213230 1 30.0000 0.0000 -
1545.97/1550.96 c 1551 565369 213962 1 30.0000 0.0000 -
1551.75/1556.75 c 1557 568409 215078 1 30.0000 0.0000 -
1557.34/1562.39 c 1562 570486 215881 1 30.0000 0.0000 -
1563.03/1568.01 c 1568 572441 216704 1 30.0000 0.0000 -
1565.91/1570.93 c * 1571 573759 217199 1 29.0000 0.0000 -
1568.70/1573.74 c 1574 576363 216967 1 29.0000 0.0000 -
1574.09/1579.11 c 1579 580141 218255 1 29.0000 0.0000 -
1579.77/1584.88 c 1585 583848 219572 1 29.0000 0.0000 -
1585.25/1590.37 c 1590 586319 220490 1 29.0000 0.0000 -
1590.84/1595.92 c 1596 588774 221361 1 29.0000 0.0000 -
1596.12/1601.26 c 1601 592293 222648 1 29.0000 0.0000 -
1601.40/1606.59 c 1607 595184 223721 1 29.0000 0.0000 -
1606.90/1612.03 c 1612 598381 225071 1 29.0000 0.0000 -
1612.56/1617.75 c 1618 601640 226370 1 29.0000 0.0000 -
1618.14/1623.38 c 1623 605592 227783 1 29.0000 0.0000 -
1623.32/1628.53 c 1629 607785 228578 1 29.0000 0.0000 -
1628.82/1634.07 c 1634 610730 229621 1 29.0000 0.0000 -
1634.68/1639.91 c 1640 612221 230362 1 29.0000 0.0000 -
1640.27/1645.58 c 1646 613958 231102 1 29.0000 0.0000 -
1646.45/1651.78 c 1652 616287 232015 1 29.0000 0.0000 -
1652.23/1657.54 c 1658 618443 232818 1 29.0000 0.0000 -
1658.00/1663.35 c 1663 620288 233513 1 29.0000 0.0000 -
1663.18/1668.55 c 1669 622692 234415 1 29.0000 0.0000 -
1668.96/1674.34 c 1674 625168 235351 1 29.0000 0.0000 -
1674.65/1680.06 c 1680 627789 236437 1 29.0000 0.0000 -
1680.21/1685.63 c 1686 630129 237293 1 29.0000 0.0000 -
1686.00/1691.46 c 1691 633746 238576 1 29.0000 0.0000 -
1691.69/1697.18 c 1697 636279 239569 1 29.0000 0.0000 -
1696.75/1702.20 c 1702 637851 240179 1 29.0000 0.0000 -
1702.74/1708.25 c 1708 640392 241264 1 29.0000 0.0000 -
1708.53/1714.07 c 1714 643393 242507 1 29.0000 0.0000 -
1714.50/1720.02 c 1720 645427 243426 1 29.0000 0.0000 -
1720.59/1726.14 c 1726 648085 244458 1 29.0000 0.0000 -
1725.95/1731.59 c 1732 649422 245110 1 29.0000 0.0000 -
1731.63/1737.28 c 1737 650923 245897 1 29.0000 0.0000 -
1736.72/1742.35 c 1742 651984 246546 1 29.0000 0.0000 -
1742.00/1747.63 c 1748 653351 247284 1 29.0000 0.0000 -
1747.68/1753.32 c 1753 654858 248010 1 29.0000 0.0000 -
1753.36/1759.06 c 1759 658234 249245 1 29.0000 0.0000 -
1758.83/1764.59 c * 1765 660622 250110 1 28.0000 0.0000 -
1758.83/1764.59 c 1765 660622 250110 1 28.0000 0.0000 -
1764.21/1769.92 c 1770 662185 249329 1 28.0000 0.0000 -
1769.69/1775.42 c 1775 665293 250383 1 28.0000 0.0000 -
1775.07/1780.84 c 1781 667591 251205 1 28.0000 0.0000 -
1780.85/1786.61 c 1787 670057 252122 1 28.0000 0.0000 -
1786.83/1792.63 c 1793 673335 253316 1 28.0000 0.0000 -
1792.32/1798.13 c 1798 675131 254025 1 28.0000 0.0000 -
1797.69/1803.54 c 1804 677854 254922 1 28.0000 0.0000 -
1803.67/1809.53 c 1810 680877 256036 1 28.0000 0.0000 -
1809.26/1815.19 c 1815 682636 256765 1 28.0000 0.0000 -
1815.32/1821.25 c 1821 685196 257725 1 28.0000 0.0000 -
1820.90/1826.85 c 1827 688436 258737 1 28.0000 0.0000 -
1826.38/1832.30 c 1832 690975 259702 1 28.0000 0.0000 -
1832.18/1838.12 c 1838 693045 260530 1 28.0000 0.0000 -
1837.64/1843.62 c 1844 695227 261412 1 28.0000 0.0000 -
1843.42/1849.42 c 1849 697688 262271 1 28.0000 0.0000 -
1848.71/1854.70 c 1855 699780 262989 1 28.0000 0.0000 -
1854.19/1860.20 c 1860 700993 263593 1 28.0000 0.0000 -
1859.98/1866.11 c 1866 702967 264515 1 28.0000 0.0000 -
1865.55/1871.66 c 1872 705003 265461 1 28.0000 0.0000 -
1871.22/1877.39 c 1877 706934 266162 1 28.0000 0.0000 -
1877.20/1883.31 c 1883 709882 267312 1 28.0000 0.0000 -
1882.78/1888.92 c 1889 713449 268648 1 28.0000 0.0000 -
1887.88/1894.03 c 1894 715767 269544 1 28.0000 0.0000 -
1894.05/1900.21 c 1900 719280 270711 1 28.0000 0.0000 -
1899.23/1905.47 c 1905 723308 271949 1 28.0000 0.0000 -
1904.81/1911.05 c 1911 725614 272716 1 28.0000 0.0000 -
1910.18/1916.49 c 1916 728595 273765 1 28.0000 0.0000 -
1915.87/1922.17 c 1922 732133 274937 1 28.0000 0.0000 -
1921.24/1927.55 c 1928 737045 276419 1 28.0000 0.0000 -
1927.32/1933.68 c 1934 738226 277082 1 28.0000 0.0000 -
1933.30/1939.69 c 1940 739396 277816 1 28.0000 0.0000 -
1938.69/1945.01 c 1945 740791 278659 1 28.0000 0.0000 -
1944.36/1950.77 c 1951 742184 279434 1 28.0000 0.0000 -
1950.34/1956.71 c 1957 744829 280561 1 28.0000 0.0000 -
1955.52/1961.96 c 1962 746194 281156 1 28.0000 0.0000 -
1961.20/1967.62 c 1968 748807 282243 1 28.0000 0.0000 -
1966.98/1973.40 c 1973 749970 282952 1 28.0000 0.0000 -
1973.05/1979.57 c 1980 751751 283781 1 28.0000 0.0000 -
1978.55/1985.08 c 1985 753315 284521 1 28.0000 0.0000 -
1984.12/1990.61 c 1991 754590 285220 1 28.0000 0.0000 -
1989.80/1996.38 c 1996 756722 286278 1 28.0000 0.0000 -
1995.97/2002.51 c 2003 758133 287027 1 28.0000 0.0000 -
2001.47/2008.05 c 2008 760436 288027 1 28.0000 0.0000 -
2007.04/2013.69 c 2014 763718 289386 1 28.0000 0.0000 -
2012.92/2019.57 c 2020 765302 290067 1 28.0000 0.0000 -
2019.11/2025.73 c 2026 767408 291000 1 28.0000 0.0000 -
2024.50/2031.19 c 2031 770797 292480 1 28.0000 0.0000 -
2029.87/2036.56 c 2037 772751 293310 1 28.0000 0.0000 -
2035.55/2042.22 c 2042 776536 294689 1 28.0000 0.0000 -
2041.44/2048.19 c 2048 781275 296552 1 28.0000 0.0000 -
2047.33/2054.10 c 2054 783599 297550 1 28.0000 0.0000 -
2053.59/2060.37 c 2060 785208 298339 1 28.0000 0.0000 -
2059.67/2066.46 c 2066 786699 299096 1 28.0000 0.0000 -
2065.46/2072.29 c 2072 790361 300346 1 28.0000 0.0000 -
2070.64/2077.40 c 2077 793067 301370 1 28.0000 0.0000 -
2076.82/2083.63 c 2084 796550 302538 1 28.0000 0.0000 -
2082.99/2089.81 c 2090 799754 303668 1 28.0000 0.0000 -
2088.58/2095.48 c 2095 801461 304592 1 28.0000 0.0000 -
2094.46/2101.37 c 2101 804280 305773 1 28.0000 0.0000 -
2100.65/2107.57 c 2108 805923 306448 1 28.0000 0.0000 -
2106.15/2113.02 c 2113 807239 307106 1 28.0000 0.0000 -
2111.13/2118.04 c 2118 809457 308089 1 28.0000 0.0000 -
2117.01/2123.94 c 2124 813278 309507 1 28.0000 0.0000 -
2122.89/2129.85 c 2130 817312 310984 1 28.0000 0.0000 -
2127.87/2134.88 c 2135 819858 311947 1 28.0000 0.0000 -
2133.06/2140.09 c 2140 822534 312893 1 28.0000 0.0000 -
2138.23/2145.26 c 2145 825506 313899 1 28.0000 0.0000 -
2143.42/2150.43 c 2150 828985 315136 1 28.0000 0.0000 -
2148.70/2155.71 c 2156 829761 315572 1 28.0000 0.0000 -
2154.00/2161.07 c 2161 831999 316709 1 28.0000 0.0000 -
2160.99/2168.05 c 2168 833327 317260 1 28.0000 0.0000 -
2166.07/2173.16 c 2173 835642 318241 1 28.0000 0.0000 -
2172.05/2179.17 c 2179 839563 319566 1 28.0000 0.0000 -
2177.43/2184.51 c 2185 841355 320398 1 28.0000 0.0000 -
2182.52/2189.65 c 2190 844910 321707 1 28.0000 0.0000 -
2187.91/2195.03 c 2195 848151 322808 1 28.0000 0.0000 -
2193.19/2200.30 c 2200 849069 323336 1 28.0000 0.0000 -
2198.57/2205.74 c 2206 850661 323954 1 28.0000 0.0000 -
2203.75/2210.96 c 2211 852490 324662 1 28.0000 0.0000 -
2209.23/2216.48 c 2216 855353 325633 1 28.0000 0.0000 -
2215.32/2222.50 c 2223 860452 327402 1 28.0000 0.0000 -
2221.20/2228.49 c 2228 863118 328300 1 28.0000 0.0000 -
2226.90/2234.12 c 2234 865925 329302 1 28.0000 0.0000 -
2232.88/2240.13 c 2240 870445 330844 1 28.0000 0.0000 -
2238.34/2245.67 c 2246 875699 332663 1 28.0000 0.0000 -
2244.43/2251.71 c 2252 880536 334205 1 28.0000 0.0000 -
2249.91/2257.28 c 2257 884192 335309 1 28.0000 0.0000 -
2255.99/2263.36 c 2263 888101 336669 1 28.0000 0.0000 -
2261.48/2268.84 c 2269 890980 337660 1 28.0000 0.0000 -
2266.56/2273.98 c 2274 896861 339554 1 28.0000 0.0000 -
2271.76/2279.18 c 2279 898917 340327 1 28.0000 0.0000 -
2277.33/2284.72 c 2285 901994 341400 1 28.0000 0.0000 -
2283.11/2290.51 c 2291 907111 343049 1 28.0000 0.0000 -
2289.00/2296.48 c 2296 910341 344070 1 28.0000 0.0000 -
2294.08/2301.55 c 2302 914032 345267 1 28.0000 0.0000 -
2299.58/2307.01 c 2307 916091 346088 1 28.0000 0.0000 -
2305.45/2312.95 c 2313 917765 346828 1 28.0000 0.0000 -
2310.92/2318.47 c 2318 919822 347717 1 28.0000 0.0000 -
2316.81/2324.32 c 2324 922798 348711 1 28.0000 0.0000 -
2322.50/2330.10 c 2330 926523 349979 1 28.0000 0.0000 -
2327.77/2335.39 c 2335 927924 350582 1 28.0000 0.0000 -
2333.16/2340.73 c 2341 931084 351490 1 28.0000 0.0000 -
2339.34/2346.94 c 2347 932728 352201 1 28.0000 0.0000 -
2345.54/2353.14 c 2353 935747 353178 1 28.0000 0.0000 -
2350.52/2358.17 c 2358 937953 353918 1 28.0000 0.0000 -
2356.40/2364.11 c 2364 942427 355386 1 28.0000 0.0000 -
2362.26/2369.94 c 2370 946064 356566 1 28.0000 0.0000 -
2368.06/2375.72 c 2376 949718 357616 1 28.0000 0.0000 -
2373.04/2380.74 c 2381 953191 358649 1 28.0000 0.0000 -
2378.62/2386.39 c 2386 954579 359219 1 28.0000 0.0000 -
2384.31/2392.07 c 2392 957638 360382 1 28.0000 0.0000 -
2389.79/2397.52 c 2398 960652 361497 1 28.0000 0.0000 -
2394.97/2402.77 c 2403 963723 362552 1 28.0000 0.0000 -
2400.75/2408.51 c 2409 966360 363547 1 28.0000 0.0000 -
2406.84/2414.69 c 2415 969434 364601 1 28.0000 0.0000 -
2412.72/2420.51 c 2421 973424 365835 1 28.0000 0.0000 -
2418.60/2426.47 c 2426 976540 366901 1 28.0000 0.0000 -
2423.79/2431.68 c 2432 977183 367316 1 28.0000 0.0000 -
2428.87/2436.71 c 2437 978798 368085 1 28.0000 0.0000 -
2434.87/2442.73 c 2443 981782 369129 1 28.0000 0.0000 -
2440.64/2448.52 c 2449 983616 369859 1 28.0000 0.0000 -
2445.93/2453.81 c 2454 986838 370872 1 28.0000 0.0000 -
2451.51/2459.46 c 2459 989208 371754 1 28.0000 0.0000 -
2457.49/2465.47 c 2465 993278 373076 1 28.0000 0.0000 -
2463.28/2471.23 c 2471 995893 373993 1 28.0000 0.0000 -
2468.46/2476.45 c 2476 999012 375014 1 28.0000 0.0000 -
2474.24/2482.27 c 2482 1002034 376055 1 28.0000 0.0000 -
2480.63/2488.60 c 2489 1005751 377282 1 28.0000 0.0000 -
2486.61/2494.61 c 2495 1008077 378170 1 28.0000 0.0000 -
2492.69/2500.78 c 2501 1011236 379290 1 28.0000 0.0000 -
2498.67/2506.71 c 2507 1013579 380222 1 28.0000 0.0000 -
2504.14/2512.29 c 2512 1016782 381215 1 28.0000 0.0000 -
2510.04/2518.20 c 2518 1021248 382505 1 28.0000 0.0000 -
2515.61/2523.79 c 2524 1023910 383323 1 28.0000 0.0000 -
2521.20/2529.39 c 2529 1025297 384028 1 28.0000 0.0000 -
2526.29/2534.44 c 2534 1026360 384512 1 28.0000 0.0000 -
2532.06/2540.23 c 2540 1028819 385433 1 28.0000 0.0000 -
2537.45/2545.62 c 2546 1029672 385878 1 28.0000 0.0000 -
2543.03/2551.27 c 2551 1031351 386471 1 28.0000 0.0000 -
2548.11/2556.34 c 2556 1033426 387187 1 28.0000 0.0000 -
2553.91/2562.12 c 2562 1035658 387917 1 28.0000 0.0000 -
2559.48/2567.76 c 2568 1037594 388834 1 28.0000 0.0000 -
2564.77/2573.07 c 2573 1039327 389430 1 28.0000 0.0000 -
2570.14/2578.41 c 2578 1042111 390392 1 28.0000 0.0000 -
2575.11/2583.49 c 2583 1045175 391276 1 28.0000 0.0000 -
2581.49/2589.83 c 2590 1047803 392156 1 28.0000 0.0000 -
2586.79/2595.17 c 2595 1050152 392853 1 28.0000 0.0000 -
2592.36/2600.78 c 2601 1056275 394616 1 28.0000 0.0000 -
2598.15/2606.51 c 2607 1060533 395939 1 28.0000 0.0000 -
2603.74/2612.18 c 2612 1062065 396547 1 28.0000 0.0000 -
2610.21/2618.67 c 2619 1064565 397449 1 28.0000 0.0000 -
2616.10/2624.59 c 2625 1068685 398812 1 28.0000 0.0000 -
2621.88/2630.33 c 2630 1072283 400005 1 28.0000 0.0000 -
2625.47/2633.90 c * 2634 1073760 400466 1 27.0000 0.0000 -
2627.68/2636.11 c 2636 1074967 398712 1 27.0000 0.0000 -
2633.66/2642.12 c 2642 1078259 399744 1 27.0000 0.0000 -
2639.12/2647.69 c 2648 1080453 400575 1 27.0000 0.0000 -
2644.20/2652.74 c 2653 1083869 401675 1 27.0000 0.0000 -
2650.29/2658.84 c 2659 1088154 402939 1 27.0000 0.0000 -
2656.07/2664.62 c 2665 1090570 403771 1 27.0000 0.0000 -
2661.25/2669.88 c 2670 1092915 404596 1 27.0000 0.0000 -
2666.94/2675.56 c 2676 1096578 405683 1 27.0000 0.0000 -
2672.31/2680.98 c 2681 1099387 406599 1 27.0000 0.0000 -
2677.70/2686.30 c 2686 1102263 407547 1 27.0000 0.0000 -
2683.19/2691.85 c 2692 1104399 408377 1 27.0000 0.0000 -
2688.88/2697.50 c 2698 1106581 409120 1 27.0000 0.0000 -
2695.05/2703.76 c 2704 1110330 410361 1 27.0000 0.0000 -
2700.54/2709.22 c 2709 1112101 410962 1 27.0000 0.0000 -
2706.33/2715.06 c 2715 1114432 411633 1 27.0000 0.0000 -
2712.20/2720.93 c 2721 1118249 412788 1 27.0000 0.0000 -
2718.18/2726.90 c 2727 1119863 413300 1 27.0000 0.0000 -
2724.07/2732.80 c 2733 1123228 414386 1 27.0000 0.0000 -
2730.37/2739.15 c 2739 1127581 415629 1 27.0000 0.0000 -
2736.43/2745.24 c 2745 1130681 416797 1 27.0000 0.0000 -
2742.12/2750.96 c 2751 1133461 417551 1 27.0000 0.0000 -
2748.09/2756.91 c 2757 1136514 418396 1 27.0000 0.0000 -
2754.08/2762.99 c 2763 1139445 419379 1 27.0000 0.0000 -
2759.37/2768.27 c 2768 1142798 420516 1 27.0000 0.0000 -
2764.55/2773.40 c 2773 1144928 421240 1 27.0000 0.0000 -
2769.53/2778.46 c 2778 1147627 422121 1 27.0000 0.0000 -
2774.92/2783.85 c 2784 1150551 423098 1 27.0000 0.0000 -
2780.00/2788.93 c 2789 1151959 423615 1 27.0000 0.0000 -
2786.10/2795.06 c 2795 1154746 424506 1 27.0000 0.0000 -
2791.67/2800.68 c 2801 1158390 425554 1 27.0000 0.0000 -
2798.85/2807.89 c 2808 1161883 426721 1 27.0000 0.0000 -
2804.83/2813.85 c 2814 1164121 427359 1 27.0000 0.0000 -
2810.22/2819.27 c 2819 1165768 427947 1 27.0000 0.0000 -
2815.50/2824.59 c 2825 1167680 428609 1 27.0000 0.0000 -
2821.09/2830.13 c 2830 1172892 430182 1 27.0000 0.0000 -
2826.86/2835.90 c 2836 1177122 431386 1 27.0000 0.0000 -
2832.44/2841.55 c 2842 1180741 432577 1 27.0000 0.0000 -
2838.13/2847.20 c 2847 1183701 433477 1 27.0000 0.0000 -
2843.21/2852.32 c 2852 1185843 434120 1 27.0000 0.0000 -
2849.30/2858.42 c 2858 1190467 435629 1 27.0000 0.0000 -
2854.58/2863.70 c 2864 1193221 436643 1 27.0000 0.0000 -
2860.06/2869.28 c 2869 1194443 437181 1 27.0000 0.0000 -
2865.96/2875.14 c 2875 1196339 437841 1 27.0000 0.0000 -
2871.52/2880.76 c 2881 1198764 438625 1 27.0000 0.0000 -
2877.50/2886.75 c 2887 1202371 439757 1 27.0000 0.0000 -
2882.99/2892.26 c 2892 1204638 440502 1 27.0000 0.0000 -
2888.57/2897.82 c 2898 1206911 441301 1 27.0000 0.0000 -
2893.56/2902.85 c 2903 1209670 442191 1 27.0000 0.0000 -
2898.75/2908.11 c 2908 1211049 442651 1 27.0000 0.0000 -
2904.63/2913.90 c 2914 1213676 443355 1 27.0000 0.0000 -
2910.40/2919.73 c 2920 1216206 444250 1 27.0000 0.0000 -
2915.89/2925.29 c 2925 1219060 445212 1 27.0000 0.0000 -
2921.47/2930.81 c 2931 1223164 446447 1 27.0000 0.0000 -
2927.67/2937.03 c 2937 1226351 447414 1 27.0000 0.0000 -
2933.14/2942.57 c 2943 1230078 448568 1 27.0000 0.0000 -
2934.14/2943.57 c * 2944 1230078 448568 1 26.0000 0.0000 -
2938.82/2948.25 c 2948 1233036 446895 1 26.0000 0.0000 -
2945.00/2954.49 c 2954 1236599 447986 1 26.0000 0.0000 -
2950.60/2960.09 c 2960 1237798 448521 1 26.0000 0.0000 -
2956.17/2965.62 c 2966 1240014 449133 1 26.0000 0.0000 -
2961.56/2971.04 c 2971 1244645 450426 1 26.0000 0.0000 -
2967.04/2976.53 c 2977 1246656 451091 1 26.0000 0.0000 -
2972.92/2982.47 c 2982 1250406 452223 1 26.0000 0.0000 -
2978.01/2987.51 c 2988 1252229 452874 1 26.0000 0.0000 -
2983.28/2992.81 c 2993 1254599 453739 1 26.0000 0.0000 -
2988.37/2997.93 c 2998 1256338 454489 1 26.0000 0.0000 -
2994.34/3003.98 c 3004 1258252 455113 1 26.0000 0.0000 -
3001.12/3010.71 c 3011 1259523 455719 1 26.0000 0.0000 -
3006.69/3016.39 c 3016 1261386 456342 1 26.0000 0.0000 -
3012.17/3021.87 c 3022 1264113 457159 1 26.0000 0.0000 -
3017.65/3027.36 c 3027 1266163 457837 1 26.0000 0.0000 -
3023.44/3033.14 c 3033 1268495 458681 1 26.0000 0.0000 -
3028.81/3038.53 c 3039 1272177 459825 1 26.0000 0.0000 -
3034.89/3044.61 c 3045 1276626 461084 1 26.0000 0.0000 -
3040.17/3049.93 c 3050 1280722 462324 1 26.0000 0.0000 -
3045.56/3055.34 c 3055 1282713 462955 1 26.0000 0.0000 -
3051.14/3060.97 c 3061 1286373 464047 1 26.0000 0.0000 -
3056.83/3066.65 c 3067 1289103 464857 1 26.0000 0.0000 -
3062.01/3071.83 c 3072 1291601 465747 1 26.0000 0.0000 -
3067.49/3077.32 c 3077 1293424 466410 1 26.0000 0.0000 -
3073.38/3083.29 c 3083 1296344 467264 1 26.0000 0.0000 -
3079.56/3089.49 c 3089 1298634 468091 1 26.0000 0.0000 -
3084.74/3094.64 c 3095 1299934 468621 1 26.0000 0.0000 -
3091.13/3101.03 c 3101 1302587 469605 1 26.0000 0.0000 -
3096.40/3106.34 c 3106 1304914 470310 1 26.0000 0.0000 -
3101.99/3111.91 c 3112 1308931 471502 1 26.0000 0.0000 -
3107.28/3117.21 c 3117 1310704 472143 1 26.0000 0.0000 -
3112.66/3122.62 c 3123 1313827 473108 1 26.0000 0.0000 -
3118.64/3128.64 c 3129 1315648 473811 1 26.0000 0.0000 -
3124.22/3134.23 c 3134 1318379 474624 1 26.0000 0.0000 -
3130.12/3140.15 c 3140 1320437 475338 1 26.0000 0.0000 -
3136.39/3146.44 c 3146 1322019 475993 1 26.0000 0.0000 -
3142.47/3152.59 c 3153 1323627 476593 1 26.0000 0.0000 -
3147.85/3158.01 c 3158 1326895 477533 1 26.0000 0.0000 -
3153.63/3163.76 c 3164 1330210 478634 1 26.0000 0.0000 -
3159.81/3169.99 c 3170 1332315 479373 1 26.0000 0.0000 -
3165.29/3175.46 c 3175 1335946 480483 1 26.0000 0.0000 -
3170.67/3180.87 c 3181 1337834 481157 1 26.0000 0.0000 -
3176.66/3186.80 c 3187 1340907 482158 1 26.0000 0.0000 -
3181.64/3191.84 c 3192 1344331 483149 1 26.0000 0.0000 -
3186.84/3197.09 c 3197 1346203 483743 1 26.0000 0.0000 -
3192.51/3202.75 c 3203 1347812 484309 1 26.0000 0.0000 -
3198.19/3208.42 c 3208 1349271 484871 1 26.0000 0.0000 -
3203.17/3213.43 c 3213 1353187 485919 1 26.0000 0.0000 -
3208.56/3218.89 c 3219 1355963 486779 1 26.0000 0.0000 -
3214.34/3224.69 c 3225 1357878 487332 1 26.0000 0.0000 -
3221.22/3231.52 c 3232 1359274 487913 1 26.0000 0.0000 -
3226.61/3236.99 c 3237 1360509 488391 1 26.0000 0.0000 -
3232.58/3242.92 c 3243 1361554 488776 1 26.0000 0.0000 -
3238.37/3248.70 c 3249 1365327 489961 1 26.0000 0.0000 -
3243.66/3254.09 c 3254 1368024 490830 1 26.0000 0.0000 -
3248.93/3259.32 c 3259 1370496 491641 1 26.0000 0.0000 -
3255.13/3265.59 c 3266 1371911 492097 1 26.0000 0.0000 -
3260.31/3270.77 c 3271 1376053 493178 1 26.0000 0.0000 -
3265.99/3276.42 c 3276 1379336 494091 1 26.0000 0.0000 -
3270.97/3281.48 c 3281 1382298 494965 1 26.0000 0.0000 -
3276.76/3287.28 c 3287 1383187 495404 1 26.0000 0.0000 -
3282.33/3292.85 c 3293 1384329 495948 1 26.0000 0.0000 -
3288.02/3298.50 c 3298 1386300 496610 1 26.0000 0.0000 -
3293.41/3303.96 c 3304 1388087 497221 1 26.0000 0.0000 -
3298.79/3309.37 c 3309 1390686 498123 1 26.0000 0.0000 -
3306.27/3316.82 c 3317 1391565 498584 1 26.0000 0.0000 -
3312.05/3322.61 c 3323 1392411 499050 1 26.0000 0.0000 -
3318.23/3328.86 c 3329 1394027 499654 1 26.0000 0.0000 -
3323.91/3334.59 c 3335 1397105 500707 1 26.0000 0.0000 -
3329.30/3340.01 c 3340 1398021 501083 1 26.0000 0.0000 -
3335.39/3346.01 c 3346 1401331 502160 1 26.0000 0.0000 -
3340.86/3351.55 c 3352 1402434 502689 1 26.0000 0.0000 -
3346.46/3357.12 c 3357 1403442 503111 1 26.0000 0.0000 -
3352.23/3362.92 c 3363 1405161 503812 1 26.0000 0.0000 -
3358.11/3368.89 c 3369 1406828 504447 1 26.0000 0.0000 -
3363.19/3373.95 c 3374 1408868 505091 1 26.0000 0.0000 -
3368.88/3379.65 c 3380 1411132 505924 1 26.0000 0.0000 -
3374.27/3385.01 c 3385 1413882 506922 1 26.0000 0.0000 -
3380.04/3390.83 c 3391 1416203 507723 1 26.0000 0.0000 -
3386.42/3397.20 c 3397 1420226 509020 1 26.0000 0.0000 -
3392.70/3403.50 c 3404 1423168 510006 1 26.0000 0.0000 -
3398.79/3409.68 c 3410 1427191 511162 1 26.0000 0.0000 -
3404.06/3414.92 c 3415 1428777 511704 1 26.0000 0.0000 -
3409.45/3420.31 c 3420 1430462 512237 1 26.0000 0.0000 -
3414.64/3425.51 c 3426 1431992 512733 1 26.0000 0.0000 -
3420.13/3431.02 c 3431 1432361 513014 1 26.0000 0.0000 -
3425.41/3436.34 c 3436 1432842 513281 1 26.0000 0.0000 -
3431.59/3442.50 c 3443 1433527 513650 1 26.0000 0.0000 -
3436.98/3447.99 c 3448 1433991 513992 1 26.0000 0.0000 -
3443.95/3454.96 c 3455 1435416 514625 1 26.0000 0.0000 -
3449.15/3460.18 c 3460 1436471 515104 1 26.0000 0.0000 -
3455.22/3466.21 c 3466 1437881 515634 1 26.0000 0.0000 -
3461.30/3472.34 c 3472 1438709 516042 1 26.0000 0.0000 -
3468.18/3479.28 c 3479 1439403 516460 1 26.0000 0.0000 -
3475.46/3486.51 c 3487 1440364 516939 1 26.0000 0.0000 -
3481.84/3492.94 c 3493 1441583 517566 1 26.0000 0.0000 -
3487.13/3498.20 c 3498 1442468 518019 1 26.0000 0.0000 -
3493.11/3504.27 c 3504 1443563 518482 1 26.0000 0.0000 -
3498.70/3509.86 c 3510 1444648 519019 1 26.0000 0.0000 -
3504.48/3515.60 c 3516 1445947 519684 1 26.0000 0.0000 -
3509.77/3520.98 c 3521 1447125 520208 1 26.0000 0.0000 -
3515.86/3527.03 c 3527 1448088 520783 1 26.0000 0.0000 -
3521.44/3532.63 c 3533 1449154 521319 1 26.0000 0.0000 -
3526.93/3538.15 c 3538 1450542 521907 1 26.0000 0.0000 -
3532.50/3543.76 c 3544 1451482 522304 1 26.0000 0.0000 -
3538.38/3549.64 c 3550 1453626 523076 1 26.0000 0.0000 -
3544.07/3555.37 c 3555 1454430 523494 1 26.0000 0.0000 -
3549.25/3560.56 c 3561 1455326 523926 1 26.0000 0.0000 -
3556.93/3568.24 c 3568 1456489 524450 1 26.0000 0.0000 -
3563.31/3574.62 c 3575 1457661 524951 1 26.0000 0.0000 -
3569.30/3580.68 c 3581 1459963 525807 1 26.0000 0.0000 -
3575.58/3586.94 c 3587 1461422 526428 1 26.0000 0.0000 -
3580.96/3592.33 c 3592 1464038 527268 1 26.0000 0.0000 -
3586.66/3598.01 c 3598 1465038 527652 1 26.0000 0.0000 -
3594.82/3606.26 c SCIP Status : c solving was interrupted [hard time limit reached]
3594.82/3606.26 c Total Time : 3606.2600
3594.82/3606.26 c solving : 3606.2600
3594.82/3606.26 c presolving : 0.0158 (included in solving)
3594.82/3606.26 c B&B Tree :
3594.82/3606.26 c nodes (total) : 1
3594.82/3606.26 c Solution :
3594.82/3606.26 c Solutions found : 67
3594.82/3606.26 c Primal Bound : +2.60000000000000e+01
3594.82/3606.26 c Dual Bound : +0.00000000000000e+00
3594.82/3606.26 c Gap : infinite
3594.82/3606.26 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3594.82/3606.26 o 26
3594.82/3606.26 s SATISFIABLE
3594.82/3606.26 v x143 -x198 x197 x196 x195 -x194 x193 -x192 -x191 x190 x189 x188 -x187 x186 -x185 x184 x183 x182 -x181 x180 x179 -x178 x177 x176
3594.82/3606.26 v -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 x161 x160 -x159 x158 -x157 -x156 -x155 -x154
3594.82/3606.26 v x153 x152 -x151 x150 -x149 -x148 x147 x146 -x145 x144 -x142 -x141 x140 x139 x138 x137 -x136 -x135 -x134 -x133 -x132 x131 x130
3594.82/3606.26 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
3594.82/3606.26 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
3594.82/3606.26 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61
3594.82/3606.26 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
3594.82/3606.26 v 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
3594.82/3606.26 v -x9 -x8 -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: 64059 MiB (61071 MiB free)
memory of node 1: 64510 MiB (62194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434698-1721095524/watcher-4434698-1721095524 -o /tmp/evaluation-result-4434698-1721095524/solver-4434698-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830637 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434698-1721095524.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
solver pid=830691, runsolver pid=830679
Current StackSize limit: 8192 KiB
[startup+0.100813 s]*
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126179528/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=109992 memory=24068 CPUtime=0.1 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 3518 0 0 0 9 1 0 0 20 0 3 0 161711168 112631808 6017 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 27498 6017 2910 3032 0 9689 0
[pid=830691/tid=830702] ppid=830679 vsize=109992 memory=4026531971 CPUtime=0.06 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 1795 0 0 0 6 0 0 0 20 0 3 0 161711171 112631808 6017 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=109992 memory=19017 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711172 112631808 6017 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109992 KiB
Current children cumulated memory: 24068 KiB
[startup+0.214525 s]*
/proc/loadavg: 3.90 4.14 4.13 5/251 830707
/proc/meminfo: memFree=126161780/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=109992 memory=27500 CPUtime=0.21 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 4378 0 0 0 20 1 0 0 20 0 3 0 161711168 112631808 6875 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 27498 6875 2910 3032 0 10284 0
[pid=830691/tid=830702] ppid=830679 vsize=109992 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 2655 0 0 0 18 0 0 0 20 0 3 0 161711171 112631808 6875 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=109992 memory=19017 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711172 112631808 6875 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109992 KiB
Current children cumulated memory: 27500 KiB
[startup+0.315387 s]*
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126151420/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=109992 memory=30060 CPUtime=0.31 cores=5,7
/proc/830691/stat : 830691 (fscip) R 830679 830691 830624 0 -1 1077936128 5030 0 0 0 30 1 0 0 20 0 3 0 161711168 112631808 7515 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 27498 7515 2910 3032 0 11160 0
[pid=830691/tid=830702] ppid=830679 vsize=109992 memory=-6153162199148968810 CPUtime=0.28 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 3307 0 0 0 27 1 0 0 20 0 3 0 161711171 112631808 7515 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=109992 memory=-9044459746194447340 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711172 112631808 7515 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 109992 KiB
Current children cumulated memory: 30060 KiB
[startup+0.700412 s]
/proc/loadavg: 3.90 4.14 4.13 7/251 830707
/proc/meminfo: memFree=126133656/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=109992 memory=40068 CPUtime=0.68 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 8223 0 0 0 66 2 0 0 20 0 3 0 161711168 112631808 10017 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 27498 10017 2926 3032 0 14220 0
[pid=830691/tid=830702] ppid=830679 vsize=109992 memory=0 CPUtime=0.65 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6500 0 0 0 63 2 0 0 20 0 3 0 161711171 112631808 10017 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=109992 memory=0 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711172 112631808 10017 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109992 KiB
Current children cumulated memory: 40068 KiB
[startup+1.50044 s]
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126122712/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=109992 memory=42988 CPUtime=1.48 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 13605 0 0 0 145 3 0 0 20 0 3 0 161711168 112631808 10747 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 27498 10747 2974 3032 0 14224 0
[pid=830691/tid=830702] ppid=830679 vsize=109992 memory=0 CPUtime=1.45 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 11872 0 0 0 142 3 0 0 20 0 3 0 161711171 112631808 10747 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=109992 memory=0 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711172 112631808 10747 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109992 KiB
Current children cumulated memory: 42988 KiB
[startup+3.11402 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126099724/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=111536 memory=54788 CPUtime=3.09 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 17457 0 0 0 305 4 0 0 20 0 3 0 161711168 114212864 13697 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 27884 13697 2974 3032 0 17318 0
[pid=830691/tid=830702] ppid=830679 vsize=111536 memory=0 CPUtime=3.05 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 15648 0 0 0 302 3 0 0 20 0 3 0 161711171 114212864 13697 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=111536 memory=2273 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161711172 114212864 13697 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 111536 KiB
Current children cumulated memory: 54788 KiB
[startup+6.30037 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126074196/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=112548 memory=68212 CPUtime=6.27 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 27111 0 0 0 622 5 0 0 20 0 3 0 161711168 115249152 17053 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 28137 17053 2974 3032 0 20787 0
[pid=830691/tid=830702] ppid=830679 vsize=112548 memory=0 CPUtime=6.23 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 25283 0 0 0 619 4 0 0 20 0 3 0 161711171 115249152 17053 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=112548 memory=11516 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161711172 115249152 17053 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112548 KiB
Current children cumulated memory: 68212 KiB
[startup+12.7004 s]
/proc/loadavg: 3.93 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126029768/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=114580 memory=83764 CPUtime=12.64 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 48254 0 0 0 1257 7 0 0 20 0 3 0 161711168 117329920 20941 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 28645 20941 3294 3032 0 24390 0
[pid=830691/tid=830702] ppid=830679 vsize=114580 memory=11516 CPUtime=12.6 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 46331 0 0 0 1254 6 0 0 20 0 3 0 161711171 117329920 20941 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=114580 memory=52096 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161711172 117329920 20941 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 114580 KiB
Current children cumulated memory: 83764 KiB
[startup+25.5004 s]
/proc/loadavg: 3.94 4.13 4.12 8/251 830711
/proc/meminfo: memFree=125957512/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=198836 memory=121112 CPUtime=25.4 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 85255 0 0 0 2529 11 0 0 20 0 3 0 161711168 203608064 30278 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 49709 30278 3294 3032 0 34095 0
[pid=830691/tid=830702] ppid=830679 vsize=198836 memory=11516 CPUtime=25.36 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 83221 0 0 0 2526 10 0 0 20 0 3 0 161711171 203608064 30278 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=198836 memory=116568 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 161711172 203608064 30278 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 198836 KiB
Current children cumulated memory: 121112 KiB
[startup+51.1139 s]
/proc/loadavg: 4.02 4.14 4.13 8/251 830714
/proc/meminfo: memFree=125833892/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=225472 memory=169792 CPUtime=50.93 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 155944 0 0 0 5073 20 0 0 20 0 3 0 161711168 230883328 42448 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 56368 42448 3294 3032 0 47286 0
[pid=830691/tid=830702] ppid=830679 vsize=225472 memory=5468 CPUtime=50.89 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 153635 0 0 0 5070 19 0 0 20 0 3 0 161711171 230883328 42448 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=225472 memory=158176 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 161711172 230883328 42448 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 225472 KiB
Current children cumulated memory: 169792 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.12 8/251 830723
/proc/meminfo: memFree=125633456/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=319604 memory=258184 CPUtime=101.96 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 271205 0 0 0 10160 36 0 0 20 0 3 0 161711168 327274496 64546 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 79901 64546 3294 3032 0 69200 0
[pid=830691/tid=830702] ppid=830679 vsize=319604 memory=11516 CPUtime=101.9 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 268598 0 0 0 10155 35 0 0 20 0 3 0 161711171 327274496 64546 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=319604 memory=251516 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 161711172 327274496 64546 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 319604 KiB
Current children cumulated memory: 258184 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.12 8/251 830734
/proc/meminfo: memFree=125423620/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=413540 memory=351548 CPUtime=161.76 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 369021 0 0 0 16126 50 0 0 20 0 3 0 161711168 423464960 87887 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 103385 87887 3294 3032 0 93999 0
[pid=830691/tid=830702] ppid=830679 vsize=413540 memory=305316 CPUtime=161.7 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 366305 0 0 0 16121 49 0 0 20 0 3 0 161711171 423464960 87887 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=413540 memory=11516 CPUtime=0 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 161711172 423464960 87887 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 413540 KiB
################
# More data... #
################
Current children cumulated memory: 2498668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.16 7/253 832562
/proc/meminfo: memFree=120529344/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2595112 memory=2514724 CPUtime=3451.33 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6359666 0 0 0 344395 738 0 0 20 0 3 0 161711168 2657394688 628681 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 648778 628681 3294 3032 0 643431 0
[pid=830691/tid=830702] ppid=830679 vsize=2595112 memory=2485516 CPUtime=3450.97 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6355504 0 0 0 344371 726 0 0 20 0 3 0 161711171 2657394688 628681 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2595112 memory=2514448 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 150 0 0 0 1 4 0 0 20 0 3 0 161711172 2657394688 628681 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 2595112 KiB
Current children cumulated memory: 2514724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.16 7/252 832572
/proc/meminfo: memFree=120467132/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2674576 memory=2532704 CPUtime=3511.16 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6510530 0 0 0 350366 750 0 0 20 0 3 0 161711168 2738765824 633176 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 668644 633176 3294 3032 0 647784 0
[pid=830691/tid=830702] ppid=830679 vsize=2674576 memory=2514448 CPUtime=3510.8 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6506333 0 0 0 350342 738 0 0 20 0 3 0 161711171 2738765824 633176 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2674576 memory=11516 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 157 0 0 0 1 4 0 0 20 0 3 0 161711172 2738765824 633176 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 2674576 KiB
Current children cumulated memory: 2532704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.16 7/251 832583
/proc/meminfo: memFree=120384848/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2681696 memory=2549736 CPUtime=3570.99 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6666147 0 0 0 356337 762 0 0 20 0 3 0 161711168 2746056704 637434 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 670424 637434 3294 3032 0 650880 0
[pid=830691/tid=830702] ppid=830679 vsize=2681696 memory=11516 CPUtime=3570.62 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6661930 0 0 0 356312 750 0 0 20 0 3 0 161711171 2746056704 637434 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2681696 memory=5468 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 159 0 0 0 1 4 0 0 20 0 3 0 161711172 2746056704 637434 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 2681696 KiB
Current children cumulated memory: 2549736 KiB
[startup+3606.32 s]
# the end of solver process 830691 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.07 s, system=7.86323 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.16 7/251 832584
/proc/meminfo: memFree=120383160/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2681696 memory=2549740 CPUtime=3572.7 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6666710 0 0 0 356507 763 0 0 20 0 3 0 161711168 2746056704 637435 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 670424 637435 3294 3032 0 650880 0
[pid=830691/tid=830702] ppid=830679 vsize=2681696 memory=6720659948264570219 CPUtime=3572.33 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6662493 0 0 0 356482 751 0 0 20 0 3 0 161711171 2746056704 637435 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2681696 memory=2756 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 159 0 0 0 1 4 0 0 20 0 3 0 161711172 2746056704 637435 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 2681696 KiB
Current children cumulated memory: 2549740 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.13 4.16 7/251 832586
/proc/meminfo: memFree=120367984/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2687844 memory=2557448 CPUtime=3585.45 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6715517 0 0 0 357779 766 0 0 20 0 3 0 161711168 2752352256 639362 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 671961 639362 3294 3032 0 652641 0
[pid=830691/tid=830702] ppid=830679 vsize=2687844 memory=11516 CPUtime=3585.08 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6711279 0 0 0 357754 754 0 0 20 0 3 0 161711171 2752352256 639362 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2687844 memory=41416 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 161711172 2752352256 639362 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 2687844 KiB
Current children cumulated memory: 2557448 KiB
[startup+3603.2 s]
/proc/loadavg: 4.03 4.11 4.15 5/240 832668
/proc/meminfo: memFree=122913620/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2615140 memory=2485132 CPUtime=3591.83 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6834430 0 0 0 358406 777 0 0 20 0 3 0 161711168 2677903360 621283 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 653785 621283 3294 3032 0 634561 0
[pid=830691/tid=830702] ppid=830679 vsize=2615140 memory=2551632 CPUtime=3591.46 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6830182 0 0 0 358381 765 0 0 20 0 3 0 161711171 2677903360 621283 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2615140 memory=2552852 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 161711172 2677903360 621283 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3591.83 s
Current children cumulated vsize: 2615140 KiB
Current children cumulated memory: 2485132 KiB
[startup+3604.8 s]
/proc/loadavg: 4.03 4.11 4.15 5/246 832683
/proc/meminfo: memFree=122936948/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2516820 memory=2386816 CPUtime=3593.42 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6840186 0 0 0 358564 778 0 0 20 0 3 0 161711168 2577223680 596704 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 629205 596704 3294 3032 0 609981 0
[pid=830691/tid=830702] ppid=830679 vsize=2516820 memory=25168 CPUtime=3593.05 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6835938 0 0 0 358539 766 0 0 20 0 3 0 161711171 2577223680 596704 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2516820 memory=100 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 161711172 2577223680 596704 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3593.42 s
Current children cumulated vsize: 2516820 KiB
Current children cumulated memory: 2386816 KiB
[startup+3605.6 s]
/proc/loadavg: 4.03 4.11 4.15 5/248 832729
/proc/meminfo: memFree=122901100/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2464560 memory=2334556 CPUtime=3594.22 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6840711 0 0 0 358644 778 0 0 20 0 3 0 161711168 2523709440 583639 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 616140 583639 3294 3032 0 596916 0
[pid=830691/tid=830702] ppid=830679 vsize=2464560 memory=41416 CPUtime=3593.85 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6836463 0 0 0 358619 766 0 0 20 0 3 0 161711171 2523709440 583639 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2464560 memory=12020 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 161711172 2523709440 583639 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3594.22 s
Current children cumulated vsize: 2464560 KiB
Current children cumulated memory: 2334556 KiB
[startup+3606 s]*
/proc/loadavg: 4.03 4.11 4.15 5/250 832731
/proc/meminfo: memFree=122830336/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2424580 memory=2294576 CPUtime=3594.63 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6842472 0 0 0 358685 778 0 0 20 0 3 0 161711168 2482769920 573644 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 606145 573644 3294 3032 0 586921 0
[pid=830691/tid=830702] ppid=830679 vsize=2424580 memory=-6585224089376570215 CPUtime=3594.26 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6838224 0 0 0 358660 766 0 0 20 0 3 0 161711171 2482769920 573644 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2424580 memory=24956 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 161711172 2482769920 573644 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3594.63 s
Current children cumulated vsize: 2424580 KiB
Current children cumulated memory: 2294576 KiB
[startup+3606.2 s]
/proc/loadavg: 4.03 4.11 4.15 5/250 832731
/proc/meminfo: memFree=122830336/131655788 swapFree=131071996/131071996
[pid=830691] ppid=830679 vsize=2335508 memory=2212628 CPUtime=3594.82 cores=5,7
/proc/830691/stat : 830691 (fscip) S 830679 830691 830624 0 -1 1077936128 6845555 0 0 0 358703 779 0 0 20 0 3 0 161711168 2391560192 553157 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
/proc/830691/statm: 583877 553157 3294 3032 0 564653 0
[pid=830691/tid=830702] ppid=830679 vsize=2335508 memory=18871 CPUtime=3594.45 cores=5,7
/proc/830691/task/830702/stat : 830702 (fscip) R 830679 830691 830624 0 -1 4194368 6841321 0 0 0 358678 767 0 0 20 0 3 0 161711171 2391560192 553157 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
[pid=830691/tid=830706] ppid=830679 vsize=2335508 memory=25126 CPUtime=0.05 cores=5,7
/proc/830691/task/830706/stat : 830706 (fscip) S 830679 830691 830624 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 161711172 2391560192 553157 134679101440 4194304 16613245 140725926329744 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30048256 140725926335509 140725926335625 140725926335625 140725926342640 0
Current children cumulated CPU time: 3594.82 s
Current children cumulated vsize: 2335508 KiB
Current children cumulated memory: 2212628 KiB
[startup+3606.3 s]*
/proc/loadavg: 4.03 4.11 4.15 5/249 832731
/proc/meminfo: memFree=124151044/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3606.32
CPU time (s): 3594.94
CPU user time (s): 3587.07
CPU system time (s): 7.86323
CPU usage (%): 99.6844
Max. virtual memory (cumulated for all children) (KiB): 2687844
Max. memory (cumulated for all children) (KiB): 2557836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.07
system time used= 7.86323
maximum resident set size= 2557836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6851388
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= 10185
involuntary context switches= 4608
# summary of solver processes directly reported to runsolver:
# pid: 830691
# total CPU time (s): 3594.94
# total CPU user time (s): 3587.07
# total CPU system time (s): 7.86323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1061 second user time and 40.8856 second system time
The end
Begin job on nodeC006 at 2024-07-16 04:05:36
IDJOB=4434698
IDBENCH=147578
IDSOLVER=3064
FILE ID=nodeC006/4434698-1721095524
RUNJOBID= nodeC006-1721095536-830637
SLURM_JOB_ID= 7505606
Free space on /tmp= 723776 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.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-4434698-1721095524/watcher-4434698-1721095524 -o /tmp/evaluation-result-4434698-1721095524/solver-4434698-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830637 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434698-1721095524.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=941439795
nodeC006.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 : 0xb00001f
cpu MHz : 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.256
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1202.619
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1203.753
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1193.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126224836 kB
MemAvailable: 129912060 kB
Buffers: 392016 kB
Cached: 4092660 kB
SwapCached: 0 kB
Active: 689460 kB
Inactive: 4119264 kB
Active(anon): 1340 kB
Inactive(anon): 360408 kB
Active(file): 688120 kB
Inactive(file): 3758856 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112716 kB
Writeback: 4 kB
AnonPages: 323984 kB
Mapped: 103072 kB
Shmem: 37704 kB
KReclaimable: 160556 kB
Slab: 265364 kB
SReclaimable: 160556 kB
SUnreclaim: 104808 kB
KernelStack: 3584 kB
PageTables: 9288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 736696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC006 at 2024-07-16 05:05:43