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.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 33574912, getVmSize() = 33574912, SCIPgetMemUsed() = 8129590, SCIPgetMemTotal() = 11526902, SCIPgetMemExternEstim() = 6567362
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.41/0.43 c ** Estimated virtualMemUsedAtSolver = 38594988, getVmSize() = 75214848, SCIPgetMemUsed() = 28826753, SCIPgetMemTotal() = 51325121, SCIPgetMemExternEstim() = 6567362
0.41/0.43 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.41/0.43 c Original Problem :
0.41/0.43 c Problem name : instance-4464559-1722390380
0.41/0.43 c Variables : 242 (242 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.43 c Constraints : 6358
0.41/0.43 c Objective sense : minimize
0.41/0.43 c Presolved Problem :
0.41/0.43 c Variables : 242 (242 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.43 c Constraints : 6358
0.41/0.43 c Constraints : Number
0.41/0.43 c setppc : 11
0.41/0.43 c logicor : 6347
0.41/0.43 c ** Instance transfer method used: 0
0.41/0.45 c ** ParaScipInstance copy does not increase the number of variables. **
0.41/0.48 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.41/0.48 c Nodes Active
0.41/0.48 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.59/0.67 c * 1 0 1 1 11.0000 - -
0.59/0.68 c * 1 0 1 1 10.0000 - -
1.08/1.12 c * 1 0 1 1 6.0000 - -
5.34/5.41 c 5 62 55 1 6.0000 0.0000 -
10.32/10.45 c 10 436 349 1 6.0000 0.0000 -
15.51/15.67 c 16 847 707 1 6.0000 0.0000 -
20.68/20.81 c 21 1354 1180 1 6.0000 0.0000 -
25.87/26.01 c 26 1849 1631 1 6.0000 0.0000 -
31.53/31.76 c 32 2516 37 1 6.0000 0.0000 -
36.61/36.81 c 37 2906 411 1 6.0000 0.0000 -
41.68/41.91 c 42 3874 943 1 6.0000 0.0000 -
46.87/47.18 c 47 4762 1351 1 6.0000 0.0000 -
52.13/52.48 c 52 6217 1827 1 6.0000 0.0000 -
57.31/57.65 c 58 7056 2178 1 6.0000 0.0000 -
62.88/63.20 c 63 8130 2647 1 6.0000 0.0000 -
68.16/68.50 c 69 9083 3047 1 6.0000 0.0000 -
73.23/73.64 c 74 9993 3462 1 6.0000 0.0000 -
78.62/79.06 c 79 11104 3897 1 6.0000 0.0000 -
83.70/84.18 c 84 12911 4420 1 6.0000 0.0000 -
88.77/89.29 c 89 14187 4943 1 6.0000 0.0000 -
94.05/94.57 c 95 15252 5516 1 6.0000 0.0000 -
99.22/99.78 c 100 16178 6138 1 6.0000 0.0000 -
104.31/104.86 c 105 17683 6809 1 6.0000 0.0000 -
109.38/109.93 c 110 19580 7951 1 6.0000 0.0000 -
114.36/115.01 c 115 21870 9026 1 6.0000 0.0000 -
119.93/120.51 c 121 23880 9847 1 6.0000 0.0000 -
125.01/125.62 c 126 25979 10562 1 6.0000 0.0000 -
130.50/131.13 c 131 27402 11258 1 6.0000 0.0000 -
135.57/136.26 c 136 29530 12474 1 6.0000 0.0000 -
140.95/141.64 c 142 31312 13544 1 6.0000 0.0000 -
146.13/146.82 c 147 32302 13989 1 6.0000 0.0000 -
151.43/152.16 c 152 33354 14321 1 6.0000 0.0000 -
156.50/157.27 c 157 34708 14964 1 6.0000 0.0000 -
161.77/162.53 c 163 36253 15773 1 6.0000 0.0000 -
167.05/167.88 c 168 37327 16514 1 6.0000 0.0000 -
172.34/173.15 c 173 38238 17079 1 6.0000 0.0000 -
177.51/178.33 c 178 39445 17679 1 6.0000 0.0000 -
183.31/184.16 c 184 40796 18372 1 6.0000 0.0000 -
188.47/189.37 c 189 41779 18840 1 6.0000 0.0000 -
193.66/194.57 c 195 43524 19713 1 6.0000 0.0000 -
199.24/200.11 c 200 45217 20479 1 6.0000 0.0000 -
204.52/205.46 c 205 45915 20804 1 6.0000 0.0000 -
209.80/210.75 c 211 46745 21182 1 6.0000 0.0000 -
214.87/215.83 c 216 48460 22217 1 6.0000 0.0000 -
219.96/220.90 c 221 49845 22957 1 6.0000 0.0000 -
225.05/226.10 c 226 50929 23751 1 6.0000 0.0000 -
230.23/231.24 c 231 52351 24562 1 6.0000 0.0000 -
235.30/236.38 c 236 54198 25588 1 6.0000 0.0000 -
240.68/241.78 c 242 55266 26204 1 6.0000 0.0000 -
245.98/247.02 c 247 56434 26793 1 6.0000 0.0000 -
251.25/252.33 c 252 57288 27312 1 6.0000 0.0000 -
256.43/257.58 c 258 58672 28048 1 6.0000 0.0000 -
261.61/262.74 c 263 59615 28523 1 6.0000 0.0000 -
266.91/268.07 c 268 60406 29015 1 6.0000 0.0000 -
271.98/273.17 c 273 62434 30028 1 6.0000 0.0000 -
277.25/278.41 c 278 64302 30932 1 6.0000 0.0000 -
282.53/283.78 c 284 66079 31634 1 6.0000 0.0000 -
287.71/288.98 c 289 67901 32433 1 6.0000 0.0000 -
292.91/294.11 c 294 70174 33481 1 6.0000 0.0000 -
298.17/299.42 c 299 72263 34352 1 6.0000 0.0000 -
303.36/304.67 c 305 73225 34810 1 6.0000 0.0000 -
308.63/309.97 c 310 74675 35406 1 6.0000 0.0000 -
313.82/315.18 c 315 76167 36134 1 6.0000 0.0000 -
318.89/320.29 c 320 78002 36964 1 6.0000 0.0000 -
324.08/325.48 c 325 79310 37607 1 6.0000 0.0000 -
329.56/330.92 c 331 80771 38358 1 6.0000 0.0000 -
334.75/336.19 c 336 82600 39134 1 6.0000 0.0000 -
340.12/341.60 c 342 83654 39655 1 6.0000 0.0000 -
345.30/346.70 c 347 85546 40424 1 6.0000 0.0000 -
350.38/351.86 c 352 86664 40927 1 6.0000 0.0000 -
355.58/357.06 c 357 88056 41557 1 6.0000 0.0000 -
361.34/362.81 c 363 88590 41795 1 6.0000 0.0000 -
366.43/367.96 c 368 90358 42481 1 6.0000 0.0000 -
371.90/373.42 c 373 91394 42931 1 6.0000 0.0000 -
377.09/378.67 c 379 93572 43817 1 6.0000 0.0000 -
382.37/383.99 c 384 94947 44373 1 6.0000 0.0000 -
387.56/389.11 c 389 96609 45126 1 6.0000 0.0000 -
392.73/394.30 c 394 97734 45753 1 6.0000 0.0000 -
397.91/399.56 c 400 99158 46493 1 6.0000 0.0000 -
403.29/404.97 c 405 100357 47021 1 6.0000 0.0000 -
408.87/410.53 c 411 101475 47509 1 6.0000 0.0000 -
413.95/415.67 c 416 102824 48067 1 6.0000 0.0000 -
419.03/420.75 c 421 104904 48918 1 6.0000 0.0000 -
424.21/425.98 c 426 106234 49536 1 6.0000 0.0000 -
429.30/431.07 c 431 107967 50287 1 6.0000 0.0000 -
434.47/436.26 c 436 109496 50929 1 6.0000 0.0000 -
439.75/441.53 c 442 110821 51465 1 6.0000 0.0000 -
445.24/447.01 c 447 112168 52064 1 6.0000 0.0000 -
450.40/452.25 c 452 113700 52784 1 6.0000 0.0000 -
455.89/457.75 c 458 115369 53415 1 6.0000 0.0000 -
461.36/463.24 c 463 116858 54040 1 6.0000 0.0000 -
466.64/468.52 c 469 118626 54717 1 6.0000 0.0000 -
471.71/473.63 c 474 119622 55096 1 6.0000 0.0000 -
476.80/478.78 c 479 120879 55655 1 6.0000 0.0000 -
481.87/483.88 c 484 122440 56297 1 6.0000 0.0000 -
487.16/489.14 c 489 124033 56886 1 6.0000 0.0000 -
492.43/494.46 c 494 125345 57396 1 6.0000 0.0000 -
497.51/499.57 c 500 126649 58039 1 6.0000 0.0000 -
502.69/504.72 c 505 127949 58931 1 6.0000 0.0000 -
508.08/510.12 c 510 129259 59751 1 6.0000 0.0000 -
513.64/515.71 c 516 130309 60388 1 6.0000 0.0000 -
518.72/520.80 c 521 132632 61414 1 6.0000 0.0000 -
523.90/526.04 c 526 133960 62120 1 6.0000 0.0000 -
528.99/531.13 c 531 135739 62875 1 6.0000 0.0000 -
534.45/536.69 c 537 137278 63539 1 6.0000 0.0000 -
539.73/541.94 c 542 138803 64300 1 6.0000 0.0000 -
544.82/547.09 c 547 140321 65009 1 6.0000 0.0000 -
550.09/552.35 c 552 141683 65573 1 6.0000 0.0000 -
555.16/557.43 c 557 142890 66127 1 6.0000 0.0000 -
560.34/562.65 c 563 144909 67035 1 6.0000 0.0000 -
565.52/567.84 c 568 146089 67622 1 6.0000 0.0000 -
570.59/572.96 c 573 147797 68396 1 6.0000 0.0000 -
575.78/578.17 c 578 149796 69162 1 6.0000 0.0000 -
581.45/583.81 c 584 151387 69820 1 6.0000 0.0000 -
587.03/589.49 c 589 152654 70474 1 6.0000 0.0000 -
592.31/594.70 c 595 154716 71375 1 6.0000 0.0000 -
597.48/599.99 c 600 156319 72065 1 6.0000 0.0000 -
602.85/605.38 c 605 157989 72756 1 6.0000 0.0000 -
608.03/610.53 c 611 159639 73433 1 6.0000 0.0000 -
613.30/615.81 c 616 161229 74118 1 6.0000 0.0000 -
618.39/620.93 c 621 163143 75070 1 6.0000 0.0000 -
624.06/626.60 c 627 165692 76271 1 6.0000 0.0000 -
629.24/631.86 c 632 167191 77018 1 6.0000 0.0000 -
634.43/637.06 c 637 168924 77674 1 6.0000 0.0000 -
639.59/642.20 c 642 170822 78516 1 6.0000 0.0000 -
644.67/647.36 c 647 172744 79406 1 6.0000 0.0000 -
649.85/652.59 c 653 174183 80016 1 6.0000 0.0000 -
655.03/657.74 c 658 175927 80720 1 6.0000 0.0000 -
660.10/662.85 c 663 178106 81765 1 6.0000 0.0000 -
665.38/668.13 c 668 179465 82340 1 6.0000 0.0000 -
670.66/673.40 c 673 180909 82945 1 6.0000 0.0000 -
676.14/679.01 c 679 182788 83884 1 6.0000 0.0000 -
681.41/684.20 c 684 184249 84633 1 6.0000 0.0000 -
686.49/689.39 c 689 185927 85428 1 6.0000 0.0000 -
691.77/694.68 c 695 187067 86028 1 6.0000 0.0000 -
697.05/699.99 c 700 188612 86736 1 6.0000 0.0000 -
702.33/705.23 c 705 189538 87255 1 6.0000 0.0000 -
707.51/710.42 c 710 191882 88235 1 6.0000 0.0000 -
712.69/715.61 c 716 193466 88938 1 6.0000 0.0000 -
717.77/720.80 c 721 195080 89630 1 6.0000 0.0000 -
722.96/725.93 c 726 196547 90306 1 6.0000 0.0000 -
728.43/731.41 c 731 198034 90942 1 6.0000 0.0000 -
733.71/736.71 c 737 199431 91588 1 6.0000 0.0000 -
739.19/742.23 c 742 201136 92262 1 6.0000 0.0000 -
744.47/747.53 c 748 202781 92972 1 6.0000 0.0000 -
749.76/752.89 c 753 204441 93642 1 6.0000 0.0000 -
755.33/758.46 c 758 205920 94289 1 6.0000 0.0000 -
760.51/763.61 c 764 207496 94970 1 6.0000 0.0000 -
765.60/768.79 c 769 208934 95714 1 6.0000 0.0000 -
770.78/773.93 c 774 210544 96425 1 6.0000 0.0000 -
775.87/779.03 c 779 212066 97177 1 6.0000 0.0000 -
780.95/784.17 c 784 213622 97900 1 6.0000 0.0000 -
786.22/789.42 c 789 215521 98773 1 6.0000 0.0000 -
791.50/794.79 c 795 216827 99299 1 6.0000 0.0000 -
796.68/799.98 c 800 218582 100035 1 6.0000 0.0000 -
801.87/805.18 c 805 219955 100693 1 6.0000 0.0000 -
807.04/810.33 c 810 221366 101302 1 6.0000 0.0000 -
812.22/815.51 c 816 223412 102054 1 6.0000 0.0000 -
817.31/820.64 c 821 224685 102525 1 6.0000 0.0000 -
822.59/826.01 c 826 226702 103317 1 6.0000 0.0000 -
827.67/831.04 c 831 228333 103992 1 6.0000 0.0000 -
832.84/836.22 c 836 229837 104663 1 6.0000 0.0000 -
837.91/841.32 c 841 231423 105400 1 6.0000 0.0000 -
843.00/846.47 c 846 233802 106399 1 6.0000 0.0000 -
848.28/851.76 c 852 236155 107398 1 6.0000 0.0000 -
853.46/856.91 c 857 238129 108098 1 6.0000 0.0000 -
859.03/862.51 c 863 239430 108677 1 6.0000 0.0000 -
864.21/867.71 c 868 241172 109351 1 6.0000 0.0000 -
869.40/872.97 c 873 243033 110258 1 6.0000 0.0000 -
874.59/878.13 c 878 244622 110972 1 6.0000 0.0000 -
879.85/883.48 c 883 246324 111563 1 6.0000 0.0000 -
884.93/888.59 c 889 247852 112311 1 6.0000 0.0000 -
890.21/893.81 c 894 249244 112905 1 6.0000 0.0000 -
895.30/898.94 c 899 250784 113472 1 6.0000 0.0000 -
900.38/904.10 c 904 252239 114016 1 6.0000 0.0000 -
905.66/909.39 c 909 253939 114706 1 6.0000 0.0000 -
911.04/914.71 c 915 255817 115470 1 6.0000 0.0000 -
916.43/920.13 c 920 257152 116050 1 6.0000 0.0000 -
921.80/925.53 c 926 258690 116705 1 6.0000 0.0000 -
927.08/930.82 c 931 260370 117410 1 6.0000 0.0000 -
932.16/935.93 c 936 261800 117961 1 6.0000 0.0000 -
937.44/941.29 c 941 263950 118954 1 6.0000 0.0000 -
942.52/946.35 c 946 265617 119586 1 6.0000 0.0000 -
948.11/951.95 c 952 267141 120071 1 6.0000 0.0000 -
953.38/957.24 c 957 268633 120693 1 6.0000 0.0000 -
958.37/962.28 c 962 270676 121509 1 6.0000 0.0000 -
963.84/967.79 c 968 271761 121993 1 6.0000 0.0000 -
969.23/973.16 c 973 273184 122525 1 6.0000 0.0000 -
974.39/978.39 c 978 275381 123424 1 6.0000 0.0000 -
979.58/983.52 c 984 276952 124062 1 6.0000 0.0000 -
984.86/988.82 c 989 278532 124659 1 6.0000 0.0000 -
990.05/994.09 c 994 279793 125181 1 6.0000 0.0000 -
995.22/999.27 c 999 281573 125886 1 6.0000 0.0000 -
1000.29/1004.33 c 1004 282962 126419 1 6.0000 0.0000 -
1005.57/1009.68 c 1010 284892 127125 1 6.0000 0.0000 -
1010.97/1015.02 c 1015 286371 127800 1 6.0000 0.0000 -
1016.14/1020.22 c 1020 288399 128559 1 6.0000 0.0000 -
1021.22/1025.37 c 1025 290916 129473 1 6.0000 0.0000 -
1026.60/1030.79 c 1031 292563 130012 1 6.0000 0.0000 -
1032.07/1036.21 c 1036 294801 130920 1 6.0000 0.0000 -
1037.25/1041.48 c 1041 296453 131470 1 6.0000 0.0000 -
1042.44/1046.69 c 1047 298545 132159 1 6.0000 0.0000 -
1047.71/1051.99 c 1052 300245 132835 1 6.0000 0.0000 -
1053.30/1057.50 c 1058 302053 133463 1 6.0000 0.0000 -
1058.38/1062.68 c 1063 303970 134241 1 6.0000 0.0000 -
1063.66/1067.97 c 1068 305770 134981 1 6.0000 0.0000 -
1068.75/1073.06 c 1073 307816 135746 1 6.0000 0.0000 -
1074.02/1078.32 c 1078 309168 136222 1 6.0000 0.0000 -
1079.21/1083.53 c 1084 311146 136917 1 6.0000 0.0000 -
1084.38/1088.74 c 1089 313289 137838 1 6.0000 0.0000 -
1089.66/1094.01 c 1094 315210 138703 1 6.0000 0.0000 -
1094.83/1099.26 c 1099 317076 139413 1 6.0000 0.0000 -
1100.11/1104.52 c 1105 318795 140222 1 6.0000 0.0000 -
1105.29/1109.75 c 1110 320752 140993 1 6.0000 0.0000 -
1110.48/1114.92 c 1115 322399 141602 1 6.0000 0.0000 -
1115.56/1120.05 c 1120 324032 142148 1 6.0000 0.0000 -
1120.73/1125.20 c 1125 325728 142748 1 6.0000 0.0000 -
1125.72/1130.26 c 1130 327288 143402 1 6.0000 0.0000 -
1130.90/1135.42 c 1135 328504 143977 1 6.0000 0.0000 -
1136.18/1140.74 c 1141 330900 144669 1 6.0000 0.0000 -
1141.57/1146.20 c 1146 331749 144979 1 6.0000 0.0000 -
1146.84/1151.46 c 1151 333288 145569 1 6.0000 0.0000 -
1152.02/1156.65 c 1157 335530 146436 1 6.0000 0.0000 -
1157.29/1161.97 c 1162 337217 147110 1 6.0000 0.0000 -
1162.39/1167.10 c 1167 339677 148028 1 6.0000 0.0000 -
1167.85/1172.57 c 1173 341145 148526 1 6.0000 0.0000 -
1173.03/1177.75 c 1178 342942 149215 1 6.0000 0.0000 -
1178.21/1182.98 c 1183 344484 149828 1 6.0000 0.0000 -
1183.49/1188.26 c 1188 346598 150512 1 6.0000 0.0000 -
1188.67/1193.41 c 1193 348515 151186 1 6.0000 0.0000 -
1193.95/1198.73 c 1199 350474 151961 1 6.0000 0.0000 -
1199.03/1203.88 c 1204 352089 152597 1 6.0000 0.0000 -
1204.41/1209.29 c 1209 353855 153301 1 6.0000 0.0000 -
1209.69/1214.56 c 1215 356222 154144 1 6.0000 0.0000 -
1214.87/1219.72 c 1220 357596 154675 1 6.0000 0.0000 -
1220.05/1224.94 c 1225 359194 155257 1 6.0000 0.0000 -
1225.53/1230.46 c 1230 360578 155795 1 6.0000 0.0000 -
1230.81/1235.79 c 1236 362402 156586 1 6.0000 0.0000 -
1236.59/1241.52 c 1242 363466 157049 1 6.0000 0.0000 -
1241.77/1246.76 c 1247 364626 157503 1 6.0000 0.0000 -
1246.95/1252.01 c 1252 366082 158065 1 6.0000 0.0000 -
1252.22/1257.29 c 1257 368122 158896 1 6.0000 0.0000 -
1257.30/1262.39 c 1262 369945 159589 1 6.0000 0.0000 -
1262.69/1267.77 c 1268 371024 159992 1 6.0000 0.0000 -
1267.98/1273.05 c 1273 372889 160729 1 6.0000 0.0000 -
1273.44/1278.59 c 1279 374590 161392 1 6.0000 0.0000 -
1278.63/1283.70 c 1284 376098 161905 1 6.0000 0.0000 -
1283.91/1289.07 c 1289 377735 162462 1 6.0000 0.0000 -
1289.38/1294.58 c 1295 379033 162947 1 6.0000 0.0000 -
1294.96/1300.16 c 1300 380663 163689 1 6.0000 0.0000 -
1300.03/1305.29 c 1305 382365 164310 1 6.0000 0.0000 -
1305.21/1310.43 c 1310 384402 165291 1 6.0000 0.0000 -
1310.28/1315.53 c 1316 386545 165999 1 6.0000 0.0000 -
1315.37/1320.67 c 1321 387853 166408 1 6.0000 0.0000 -
1320.44/1325.72 c 1326 389931 167022 1 6.0000 0.0000 -
1325.52/1330.88 c 1331 391674 167567 1 6.0000 0.0000 -
1331.09/1336.43 c 1336 393282 168158 1 6.0000 0.0000 -
1336.27/1341.65 c 1342 394513 168619 1 6.0000 0.0000 -
1341.44/1346.85 c 1347 396632 169332 1 6.0000 0.0000 -
1346.62/1352.05 c 1352 398567 170004 1 6.0000 0.0000 -
1351.80/1357.29 c 1357 400126 170565 1 6.0000 0.0000 -
1357.17/1362.60 c 1363 401522 171080 1 6.0000 0.0000 -
1362.36/1367.81 c 1368 403175 171632 1 6.0000 0.0000 -
1367.55/1373.08 c 1373 405389 172412 1 6.0000 0.0000 -
1372.92/1378.47 c 1378 407032 173066 1 6.0000 0.0000 -
1378.00/1383.59 c 1384 409297 173720 1 6.0000 0.0000 -
1383.28/1388.88 c 1389 411099 174351 1 6.0000 0.0000 -
1388.55/1394.12 c 1394 412844 175112 1 6.0000 0.0000 -
1393.53/1399.17 c 1399 414997 175783 1 6.0000 0.0000 -
1399.20/1404.86 c 1405 416618 176332 1 6.0000 0.0000 -
1404.39/1410.06 c 1410 417938 176789 1 6.0000 0.0000 -
1409.86/1415.52 c 1416 420113 177389 1 6.0000 0.0000 -
1415.35/1421.04 c 1421 421765 178012 1 6.0000 0.0000 -
1420.43/1426.18 c 1426 423326 178645 1 6.0000 0.0000 -
1425.49/1431.25 c 1431 425555 179482 1 6.0000 0.0000 -
1430.77/1436.58 c 1437 426973 180158 1 6.0000 0.0000 -
1436.05/1441.80 c 1442 428042 180712 1 6.0000 0.0000 -
1441.42/1447.23 c 1447 429533 181274 1 6.0000 0.0000 -
1446.70/1452.51 c 1453 431089 181950 1 6.0000 0.0000 -
1451.67/1457.57 c 1458 432782 182498 1 6.0000 0.0000 -
1456.75/1462.62 c 1463 435131 183255 1 6.0000 0.0000 -
1461.83/1467.78 c 1468 436756 183869 1 6.0000 0.0000 -
1467.22/1473.15 c 1473 438896 184438 1 6.0000 0.0000 -
1472.58/1478.54 c 1479 440812 185106 1 6.0000 0.0000 -
1477.76/1483.76 c 1484 442396 185673 1 6.0000 0.0000 -
1483.05/1489.08 c 1489 444245 186461 1 6.0000 0.0000 -
1488.31/1494.31 c 1494 446448 187140 1 6.0000 0.0000 -
1493.38/1499.47 c 1499 448059 187643 1 6.0000 0.0000 -
1498.57/1504.61 c 1505 449883 188293 1 6.0000 0.0000 -
1503.65/1509.75 c 1510 452014 189068 1 6.0000 0.0000 -
1509.22/1515.35 c 1515 453554 189710 1 6.0000 0.0000 -
1514.41/1520.53 c 1521 455270 190310 1 6.0000 0.0000 -
1519.49/1525.62 c 1526 456482 190886 1 6.0000 0.0000 -
1524.77/1530.96 c 1531 458363 191494 1 6.0000 0.0000 -
1530.14/1536.31 c 1536 460056 192192 1 6.0000 0.0000 -
1535.32/1541.59 c 1542 461729 192816 1 6.0000 0.0000 -
1540.50/1546.71 c 1547 463709 193487 1 6.0000 0.0000 -
1545.48/1551.79 c 1552 465902 194266 1 6.0000 0.0000 -
1550.77/1557.07 c 1557 467985 194757 1 6.0000 0.0000 -
1556.25/1562.51 c 1563 469298 195214 1 6.0000 0.0000 -
1561.33/1567.68 c 1568 470943 195784 1 6.0000 0.0000 -
1566.60/1572.94 c 1573 473037 196527 1 6.0000 0.0000 -
1571.59/1578.01 c 1578 474779 197135 1 6.0000 0.0000 -
1576.96/1583.37 c 1583 476754 197847 1 6.0000 0.0000 -
1582.14/1588.53 c 1589 478207 198417 1 6.0000 0.0000 -
1587.32/1593.78 c 1594 479616 198969 1 6.0000 0.0000 -
1592.90/1599.34 c 1599 480908 199394 1 6.0000 0.0000 -
1598.08/1604.51 c 1605 482589 199964 1 6.0000 0.0000 -
1603.57/1610.09 c 1610 484004 200449 1 6.0000 0.0000 -
1609.14/1615.61 c 1616 485513 201066 1 6.0000 0.0000 -
1614.22/1620.75 c 1621 487519 201802 1 6.0000 0.0000 -
1619.40/1626.01 c 1626 488952 202219 1 6.0000 0.0000 -
1624.87/1631.49 c 1632 490361 202726 1 6.0000 0.0000 -
1630.15/1636.71 c 1637 491257 203015 1 6.0000 0.0000 -
1635.34/1641.94 c 1642 492567 203560 1 6.0000 0.0000 -
1640.62/1647.20 c 1647 494644 204513 1 6.0000 0.0000 -
1645.60/1652.28 c 1652 496974 205291 1 6.0000 0.0000 -
1650.88/1657.59 c 1658 498450 205652 1 6.0000 0.0000 -
1656.16/1662.89 c 1663 499623 206053 1 6.0000 0.0000 -
1661.64/1668.38 c 1668 500765 206453 1 6.0000 0.0000 -
1667.22/1673.95 c 1674 502105 206976 1 6.0000 0.0000 -
1672.60/1679.33 c 1679 503923 207519 1 6.0000 0.0000 -
1678.18/1684.90 c 1685 505651 208044 1 6.0000 0.0000 -
1683.28/1690.06 c 1690 507266 208610 1 6.0000 0.0000 -
1688.44/1695.23 c 1695 508681 209091 1 6.0000 0.0000 -
1693.73/1700.56 c 1701 510330 209727 1 6.0000 0.0000 -
1699.21/1706.06 c 1706 511693 210116 1 6.0000 0.0000 -
1704.69/1711.50 c 1712 513177 210617 1 6.0000 0.0000 -
1710.06/1716.90 c 1717 514435 211078 1 6.0000 0.0000 -
1715.15/1722.03 c 1722 515944 211497 1 6.0000 0.0000 -
1720.33/1727.22 c 1727 516852 211853 1 6.0000 0.0000 -
1725.60/1732.57 c 1733 518072 212293 1 6.0000 0.0000 -
1730.78/1737.75 c 1738 520144 213023 1 6.0000 0.0000 -
1736.26/1743.24 c 1743 521517 213600 1 6.0000 0.0000 -
1741.34/1748.36 c 1748 523406 214160 1 6.0000 0.0000 -
1746.52/1753.59 c 1754 525310 214724 1 6.0000 0.0000 -
1751.80/1758.80 c 1759 527796 215393 1 6.0000 0.0000 -
1756.78/1763.84 c 1764 530159 216180 1 6.0000 0.0000 -
1762.16/1769.27 c 1769 532273 216847 1 6.0000 0.0000 -
1767.34/1774.48 c 1774 534331 217437 1 6.0000 0.0000 -
1772.41/1779.59 c 1780 536602 218131 1 6.0000 0.0000 -
1777.60/1784.72 c 1785 538813 218761 1 6.0000 0.0000 -
1782.78/1790.01 c 1790 540427 219314 1 6.0000 0.0000 -
1787.96/1795.13 c 1795 542220 219907 1 6.0000 0.0000 -
1793.03/1800.29 c 1800 544570 220662 1 6.0000 0.0000 -
1798.21/1805.43 c 1805 546490 221228 1 6.0000 0.0000 -
1803.90/1811.15 c 1811 548181 221731 1 6.0000 0.0000 -
1809.17/1816.44 c 1816 550130 222326 1 6.0000 0.0000 -
1814.45/1821.78 c 1822 551289 222806 1 6.0000 0.0000 -
1819.63/1826.90 c 1827 552744 223309 1 6.0000 0.0000 -
1825.01/1832.34 c 1832 553924 223692 1 6.0000 0.0000 -
1830.49/1837.85 c 1838 555877 224320 1 6.0000 0.0000 -
1835.78/1843.19 c 1843 557646 224953 1 6.0000 0.0000 -
1840.94/1848.31 c 1848 559176 225470 1 6.0000 0.0000 -
1846.32/1853.77 c 1854 560963 226110 1 6.0000 0.0000 -
1851.90/1859.39 c 1859 562323 226614 1 6.0000 0.0000 -
1857.18/1864.64 c 1865 564331 227168 1 6.0000 0.0000 -
1862.46/1869.98 c 1870 566053 227732 1 6.0000 0.0000 -
1867.74/1875.25 c 1875 567724 228329 1 6.0000 0.0000 -
1873.02/1880.57 c 1881 568936 228765 1 6.0000 0.0000 -
1878.51/1886.09 c 1886 570907 229496 1 6.0000 0.0000 -
1883.60/1891.14 c 1891 573430 230143 1 6.0000 0.0000 -
1888.96/1896.58 c 1897 575352 230746 1 6.0000 0.0000 -
1894.24/1901.84 c 1902 577223 231312 1 6.0000 0.0000 -
1899.32/1906.96 c 1907 579391 231986 1 6.0000 0.0000 -
1904.80/1912.44 c 1912 581525 232555 1 6.0000 0.0000 -
1910.18/1917.80 c 1918 583305 233176 1 6.0000 0.0000 -
1915.26/1922.98 c 1923 585560 233800 1 6.0000 0.0000 -
1920.84/1928.50 c 1929 587162 234415 1 6.0000 0.0000 -
1926.02/1933.74 c 1934 588536 234899 1 6.0000 0.0000 -
1931.20/1938.91 c 1939 590250 235565 1 6.0000 0.0000 -
1936.58/1944.37 c 1944 591331 236028 1 6.0000 0.0000 -
1941.96/1949.75 c 1950 593458 236652 1 6.0000 0.0000 -
1947.35/1955.13 c 1955 595500 237445 1 6.0000 0.0000 -
1952.52/1960.30 c 1960 597315 238024 1 6.0000 0.0000 -
1957.90/1965.76 c 1966 599262 238581 1 6.0000 0.0000 -
1963.29/1971.11 c 1971 600995 239217 1 6.0000 0.0000 -
1968.36/1976.24 c 1976 603192 240065 1 6.0000 0.0000 -
1973.64/1981.51 c 1982 604560 240496 1 6.0000 0.0000 -
1978.62/1986.55 c 1987 606222 241021 1 6.0000 0.0000 -
1983.70/1991.60 c 1992 608210 241688 1 6.0000 0.0000 -
1989.09/1997.08 c 1997 609868 242256 1 6.0000 0.0000 -
1994.26/2002.29 c 2002 611951 242958 1 6.0000 0.0000 -
1999.64/2007.64 c 2008 613902 243645 1 6.0000 0.0000 -
2005.03/2013.04 c 2013 615568 244114 1 6.0000 0.0000 -
2010.50/2018.52 c 2019 617713 244650 1 6.0000 0.0000 -
2015.78/2023.80 c 2024 619397 245264 1 6.0000 0.0000 -
2020.86/2028.98 c 2029 620766 245706 1 6.0000 0.0000 -
2026.24/2034.37 c 2034 622396 246325 1 6.0000 0.0000 -
2031.31/2039.48 c 2039 624067 246818 1 6.0000 0.0000 -
2036.39/2044.53 c 2045 625769 247454 1 6.0000 0.0000 -
2041.68/2049.81 c 2050 627142 247882 1 6.0000 0.0000 -
2046.87/2055.01 c 2055 629099 248569 1 6.0000 0.0000 -
2052.03/2060.21 c 2060 630255 248947 1 6.0000 0.0000 -
2057.11/2065.35 c 2065 631929 249527 1 6.0000 0.0000 -
2062.29/2070.52 c 2071 634648 250293 1 6.0000 0.0000 -
2067.78/2076.08 c 2076 636769 250998 1 6.0000 0.0000 -
2072.86/2081.12 c 2081 638922 251608 1 6.0000 0.0000 -
2077.93/2086.24 c 2086 640929 252253 1 6.0000 0.0000 -
2083.31/2091.62 c 2092 642408 252765 1 6.0000 0.0000 -
2088.59/2096.91 c 2097 644851 253599 1 6.0000 0.0000 -
2093.97/2102.30 c 2102 646852 254253 1 6.0000 0.0000 -
2099.05/2107.48 c 2107 648405 254755 1 6.0000 0.0000 -
2104.43/2112.86 c 2113 649699 255396 1 6.0000 0.0000 -
2109.51/2117.98 c 2118 651633 256040 1 6.0000 0.0000 -
2114.98/2123.44 c 2123 652981 256460 1 6.0000 0.0000 -
2120.06/2128.55 c 2129 654933 257004 1 6.0000 0.0000 -
2125.34/2133.83 c 2134 656966 257657 1 6.0000 0.0000 -
2130.91/2139.41 c 2139 658919 258282 1 6.0000 0.0000 -
2136.10/2144.67 c 2145 659969 258827 1 6.0000 0.0000 -
2141.48/2150.01 c 2150 661977 259565 1 6.0000 0.0000 -
2146.46/2155.06 c 2155 663590 260083 1 6.0000 0.0000 -
2152.03/2160.68 c 2161 664660 260533 1 6.0000 0.0000 -
2157.21/2165.86 c 2166 666965 261210 1 6.0000 0.0000 -
2162.59/2171.25 c 2171 668310 261693 1 6.0000 0.0000 -
2167.66/2176.32 c 2176 670575 262251 1 6.0000 0.0000 -
2172.65/2181.36 c 2181 672873 262803 1 6.0000 0.0000 -
2177.82/2186.59 c 2187 675261 263402 1 6.0000 0.0000 -
2183.21/2191.92 c 2192 676826 263727 1 6.0000 0.0000 -
2188.28/2197.01 c 2197 679304 264655 1 6.0000 0.0000 -
2193.27/2202.09 c 2202 681014 264983 1 6.0000 0.0000 -
2198.73/2207.54 c 2208 681893 265218 1 6.0000 0.0000 -
2204.22/2213.02 c 2213 683189 265696 1 6.0000 0.0000 -
2209.39/2218.25 c 2218 685873 266198 1 6.0000 0.0000 -
2214.47/2223.37 c 2223 687141 266619 1 6.0000 0.0000 -
2219.74/2228.66 c 2229 689263 267099 1 6.0000 0.0000 -
2224.93/2233.89 c 2234 691632 267519 1 6.0000 0.0000 -
2230.11/2239.09 c 2239 693927 268274 1 6.0000 0.0000 -
2235.39/2244.31 c 2244 695636 268911 1 6.0000 0.0000 -
2241.27/2250.20 c 2250 696975 269406 1 6.0000 0.0000 -
2246.54/2255.52 c 2256 698214 269949 1 6.0000 0.0000 -
2251.63/2260.60 c 2261 699552 270462 1 6.0000 0.0000 -
2256.80/2265.88 c 2266 701041 271094 1 6.0000 0.0000 -
2262.29/2271.36 c 2271 702871 271724 1 6.0000 0.0000 -
2267.76/2276.80 c 2277 704020 272316 1 6.0000 0.0000 -
2273.05/2282.11 c 2282 705191 272737 1 6.0000 0.0000 -
2278.32/2287.46 c 2287 706825 273299 1 6.0000 0.0000 -
2283.50/2292.68 c 2293 708409 273864 1 6.0000 0.0000 -
2288.58/2297.73 c 2298 710256 274418 1 6.0000 0.0000 -
2293.87/2303.05 c 2303 712522 275057 1 6.0000 0.0000 -
2299.04/2308.28 c 2308 714074 275477 1 6.0000 0.0000 -
2304.22/2313.45 c 2313 716343 276101 1 6.0000 0.0000 -
2309.39/2318.62 c 2319 717875 276581 1 6.0000 0.0000 -
2315.07/2324.30 c 2324 720278 277348 1 6.0000 0.0000 -
2320.25/2329.55 c 2330 720885 277792 1 6.0000 0.0000 -
2325.33/2334.65 c 2335 722478 278289 1 6.0000 0.0000 -
2330.82/2340.11 c 2340 723798 278677 1 6.0000 0.0000 -
2335.99/2345.31 c 2345 724807 278977 1 6.0000 0.0000 -
2341.27/2350.62 c 2351 726710 279476 1 6.0000 0.0000 -
2346.66/2356.10 c 2356 728215 279934 1 6.0000 0.0000 -
2352.23/2361.63 c 2362 729137 280425 1 6.0000 0.0000 -
2357.62/2367.01 c 2367 730456 280943 1 6.0000 0.0000 -
2362.88/2372.38 c 2372 732168 281403 1 6.0000 0.0000 -
2368.06/2377.56 c 2378 733804 281988 1 6.0000 0.0000 -
2373.24/2382.74 c 2383 735846 282628 1 6.0000 0.0000 -
2378.53/2388.10 c 2388 736970 283073 1 6.0000 0.0000 -
2383.90/2393.48 c 2393 738283 283587 1 6.0000 0.0000 -
2389.08/2398.66 c 2399 740114 284125 1 6.0000 0.0000 -
2394.26/2403.86 c 2404 742172 284808 1 6.0000 0.0000 -
2399.74/2409.36 c 2409 743490 285250 1 6.0000 0.0000 -
2405.02/2414.62 c 2415 745409 285950 1 6.0000 0.0000 -
2410.19/2419.84 c 2420 746919 286464 1 6.0000 0.0000 -
2415.57/2425.22 c 2425 748103 286896 1 6.0000 0.0000 -
2421.15/2430.84 c 2431 748902 287341 1 6.0000 0.0000 -
2426.44/2436.16 c 2436 750147 287882 1 6.0000 0.0000 -
2432.33/2442.06 c 2442 750809 288302 1 6.0000 0.0000 -
2437.60/2447.30 c 2447 752653 288912 1 6.0000 0.0000 -
2442.68/2452.43 c 2452 754653 289460 1 6.0000 0.0000 -
2447.85/2457.66 c 2458 756863 290105 1 6.0000 0.0000 -
2453.02/2462.86 c 2463 758966 290782 1 6.0000 0.0000 -
2458.11/2467.97 c 2468 760457 291307 1 6.0000 0.0000 -
2463.49/2473.31 c 2473 762282 292017 1 6.0000 0.0000 -
2468.77/2478.66 c 2479 763947 292583 1 6.0000 0.0000 -
2473.95/2483.81 c 2484 765722 293002 1 6.0000 0.0000 -
2479.43/2489.37 c 2489 767514 293614 1 6.0000 0.0000 -
2484.71/2494.64 c 2495 768807 294114 1 6.0000 0.0000 -
2489.69/2499.69 c 2500 770945 294797 1 6.0000 0.0000 -
2494.87/2504.82 c 2505 772829 295345 1 6.0000 0.0000 -
2500.16/2510.19 c 2510 774643 295760 1 6.0000 0.0000 -
2505.32/2515.39 c 2515 776463 296295 1 6.0000 0.0000 -
2510.40/2520.45 c 2520 778650 296983 1 6.0000 0.0000 -
2515.68/2525.75 c 2526 780159 297402 1 6.0000 0.0000 -
2521.08/2531.12 c 2531 782507 297884 1 6.0000 0.0000 -
2526.54/2536.65 c 2537 784223 298453 1 6.0000 0.0000 -
2531.72/2541.84 c 2542 785493 298934 1 6.0000 0.0000 -
2537.10/2547.27 c 2547 787396 299477 1 6.0000 0.0000 -
2542.18/2552.37 c 2552 789550 300122 1 6.0000 0.0000 -
2547.66/2557.84 c 2558 790746 300541 1 6.0000 0.0000 -
2553.03/2563.23 c 2563 792811 301141 1 6.0000 0.0000 -
2558.11/2568.31 c 2568 794821 301786 1 6.0000 0.0000 -
2563.20/2573.46 c 2573 796909 302425 1 6.0000 0.0000 -
2568.48/2578.73 c 2579 798978 302989 1 6.0000 0.0000 -
2573.77/2584.04 c 2584 800590 303493 1 6.0000 0.0000 -
2578.93/2589.25 c 2589 802165 303899 1 6.0000 0.0000 -
2584.01/2594.36 c 2594 803752 304309 1 6.0000 0.0000 -
2589.09/2599.41 c 2599 805473 304816 1 6.0000 0.0000 -
2594.27/2604.67 c 2605 806728 305296 1 6.0000 0.0000 -
2599.35/2609.78 c 2610 808587 305826 1 6.0000 0.0000 -
2604.74/2615.11 c 2615 810172 306276 1 6.0000 0.0000 -
2610.01/2620.42 c 2620 811931 306774 1 6.0000 0.0000 -
2615.18/2625.64 c 2626 813441 307258 1 6.0000 0.0000 -
2620.47/2630.91 c 2631 815464 307910 1 6.0000 0.0000 -
2626.24/2636.72 c 2637 816460 308204 1 6.0000 0.0000 -
2631.42/2641.99 c 2642 817786 308566 1 6.0000 0.0000 -
2636.80/2647.38 c 2647 819400 309043 1 6.0000 0.0000 -
2642.18/2652.79 c 2653 820619 309471 1 6.0000 0.0000 -
2647.58/2658.18 c 2658 821820 309899 1 6.0000 0.0000 -
2652.64/2663.24 c 2663 822967 310249 1 6.0000 0.0000 -
2658.02/2668.69 c 2669 825219 310964 1 6.0000 0.0000 -
2663.20/2673.82 c 2674 827077 311624 1 6.0000 0.0000 -
2668.58/2679.20 c 2679 828959 312115 1 6.0000 0.0000 -
2673.96/2684.61 c 2685 830525 312626 1 6.0000 0.0000 -
2679.45/2690.14 c 2690 832033 313078 1 6.0000 0.0000 -
2684.71/2695.48 c 2695 833578 313571 1 6.0000 0.0000 -
2690.00/2700.73 c 2701 835066 314053 1 6.0000 0.0000 -
2695.87/2706.62 c 2707 836492 314454 1 6.0000 0.0000 -
2701.15/2711.99 c 2712 837722 314829 1 6.0000 0.0000 -
2706.43/2717.26 c 2717 839475 315424 1 6.0000 0.0000 -
2711.61/2722.49 c 2722 841160 316193 1 6.0000 0.0000 -
2716.88/2727.73 c 2728 842489 316680 1 6.0000 0.0000 -
2722.28/2733.11 c 2733 843623 316908 1 6.0000 0.0000 -
2727.26/2738.17 c 2738 845233 317367 1 6.0000 0.0000 -
2732.33/2743.22 c 2743 847124 318011 1 6.0000 0.0000 -
2737.40/2748.37 c 2748 849407 318612 1 6.0000 0.0000 -
2742.48/2753.42 c 2753 851539 319174 1 6.0000 0.0000 -
2747.66/2758.63 c 2759 853102 319755 1 6.0000 0.0000 -
2753.16/2764.18 c 2764 854867 320215 1 6.0000 0.0000 -
2758.52/2769.57 c 2770 856034 320574 1 6.0000 0.0000 -
2763.91/2774.99 c 2775 857547 321043 1 6.0000 0.0000 -
2769.48/2780.56 c 2781 859180 321561 1 6.0000 0.0000 -
2774.66/2785.79 c 2786 860578 322112 1 6.0000 0.0000 -
2780.05/2791.15 c 2791 861995 322684 1 6.0000 0.0000 -
2785.22/2796.30 c 2796 863556 323330 1 6.0000 0.0000 -
2790.59/2801.72 c 2802 865079 323834 1 6.0000 0.0000 -
2795.89/2807.02 c 2807 866625 324436 1 6.0000 0.0000 -
2801.16/2812.38 c 2812 868541 325012 1 6.0000 0.0000 -
2806.33/2817.55 c 2818 870179 325524 1 6.0000 0.0000 -
2811.71/2822.96 c 2823 871420 325884 1 6.0000 0.0000 -
2816.90/2828.19 c 2828 872409 326158 1 6.0000 0.0000 -
2822.47/2833.77 c 2834 873796 326523 1 6.0000 0.0000 -
2827.55/2838.89 c 2839 875589 326956 1 6.0000 0.0000 -
2833.03/2844.35 c 2844 877193 327351 1 6.0000 0.0000 -
2838.30/2849.66 c 2850 879294 328007 1 6.0000 0.0000 -
2843.58/2854.95 c 2855 880658 328424 1 6.0000 0.0000 -
2848.57/2860.01 c 2860 882073 329036 1 6.0000 0.0000 -
2853.65/2865.09 c 2865 883710 329604 1 6.0000 0.0000 -
2858.92/2870.31 c 2870 885601 330154 1 6.0000 0.0000 -
2863.90/2875.36 c 2875 887023 330538 1 6.0000 0.0000 -
2869.28/2880.78 c 2881 888636 331089 1 6.0000 0.0000 -
2874.76/2886.24 c 2886 890046 331510 1 6.0000 0.0000 -
2879.74/2891.29 c 2891 891884 332071 1 6.0000 0.0000 -
2885.01/2896.53 c 2897 893880 332639 1 6.0000 0.0000 -
2890.39/2901.95 c 2902 895000 332918 1 6.0000 0.0000 -
2895.48/2907.08 c 2907 896123 333245 1 6.0000 0.0000 -
2900.57/2912.16 c 2912 897843 333757 1 6.0000 0.0000 -
2905.64/2917.21 c 2917 899203 334156 1 6.0000 0.0000 -
2911.02/2922.65 c 2923 900333 334527 1 6.0000 0.0000 -
2916.09/2927.72 c 2928 901635 334959 1 6.0000 0.0000 -
2921.77/2933.43 c 2933 902376 335343 1 6.0000 0.0000 -
2926.84/2938.55 c 2939 903456 335653 1 6.0000 0.0000 -
2932.22/2943.95 c 2944 905302 336231 1 6.0000 0.0000 -
2937.90/2949.65 c 2950 906830 336697 1 6.0000 0.0000 -
2943.16/2954.91 c 2955 908428 337238 1 6.0000 0.0000 -
2948.45/2960.28 c 2960 909528 337582 1 6.0000 0.0000 -
2953.61/2965.47 c 2965 910652 337874 1 6.0000 0.0000 -
2958.79/2970.65 c 2971 911998 338218 1 6.0000 0.0000 -
2963.97/2975.82 c 2976 912941 338474 1 6.0000 0.0000 -
2969.05/2980.95 c 2981 914635 338975 1 6.0000 0.0000 -
2974.24/2986.17 c 2986 916234 339362 1 6.0000 0.0000 -
2979.30/2991.28 c 2991 917444 339710 1 6.0000 0.0000 -
2984.38/2996.33 c 2996 919414 340135 1 6.0000 0.0000 -
2989.55/3001.52 c 3002 920667 340474 1 6.0000 0.0000 -
2994.62/3006.62 c 3007 922397 340811 1 6.0000 0.0000 -
2999.60/3011.69 c 3012 923820 341295 1 6.0000 0.0000 -
3004.88/3016.97 c 3017 925485 341782 1 6.0000 0.0000 -
3010.06/3022.13 c 3022 926932 342202 1 6.0000 0.0000 -
3015.43/3027.57 c 3028 928405 342685 1 6.0000 0.0000 -
3020.50/3032.67 c 3033 929990 343081 1 6.0000 0.0000 -
3025.58/3037.74 c 3038 931631 343528 1 6.0000 0.0000 -
3030.75/3042.97 c 3043 932783 343856 1 6.0000 0.0000 -
3036.62/3048.84 c 3049 934289 344327 1 6.0000 0.0000 -
3042.00/3054.29 c 3054 935998 344804 1 6.0000 0.0000 -
3047.58/3059.80 c 3060 937720 345340 1 6.0000 0.0000 -
3052.66/3065.01 c 3065 939094 345738 1 6.0000 0.0000 -
3057.93/3070.28 c 3070 940659 346176 1 6.0000 0.0000 -
3063.30/3075.63 c 3076 942160 346607 1 6.0000 0.0000 -
3068.48/3080.84 c 3081 943251 346941 1 6.0000 0.0000 -
3074.36/3086.77 c 3087 944667 347351 1 6.0000 0.0000 -
3079.54/3091.95 c 3092 946503 347844 1 6.0000 0.0000 -
3084.63/3097.10 c 3097 947768 348306 1 6.0000 0.0000 -
3089.71/3102.15 c 3102 949963 349011 1 6.0000 0.0000 -
3094.97/3107.44 c 3107 951464 349517 1 6.0000 0.0000 -
3100.46/3112.98 c 3113 952520 349903 1 6.0000 0.0000 -
3105.72/3118.24 c 3118 954005 350343 1 6.0000 0.0000 -
3110.69/3123.29 c 3123 955872 350756 1 6.0000 0.0000 -
3116.16/3128.77 c 3129 957535 351338 1 6.0000 0.0000 -
3121.35/3133.97 c 3134 959451 351819 1 6.0000 0.0000 -
3126.63/3139.22 c 3139 961567 352447 1 6.0000 0.0000 -
3131.71/3144.32 c 3144 962542 352643 1 6.0000 0.0000 -
3137.18/3149.80 c 3150 964365 353096 1 6.0000 0.0000 -
3142.16/3154.87 c 3155 966234 353591 1 6.0000 0.0000 -
3147.24/3159.92 c 3160 968118 354085 1 6.0000 0.0000 -
3152.33/3165.04 c 3165 970146 354720 1 6.0000 0.0000 -
3157.50/3170.26 c 3170 971376 354988 1 6.0000 0.0000 -
3162.67/3175.42 c 3175 973136 355498 1 6.0000 0.0000 -
3167.75/3180.58 c 3181 974383 355831 1 6.0000 0.0000 -
3173.02/3185.87 c 3186 975990 356203 1 6.0000 0.0000 -
3178.32/3191.15 c 3191 977594 356578 1 6.0000 0.0000 -
3183.49/3196.31 c 3196 979296 357065 1 6.0000 0.0000 -
3188.96/3201.81 c 3202 980870 357525 1 6.0000 0.0000 -
3194.25/3207.13 c 3207 982055 357867 1 6.0000 0.0000 -
3199.52/3212.46 c 3212 983731 358343 1 6.0000 0.0000 -
3204.70/3217.61 c 3218 985536 358814 1 6.0000 0.0000 -
3209.68/3222.66 c 3223 987243 359248 1 6.0000 0.0000 -
3214.76/3227.71 c 3228 989036 359721 1 6.0000 0.0000 -
3219.74/3232.76 c 3233 990536 360125 1 6.0000 0.0000 -
3225.03/3238.06 c 3238 992074 360576 1 6.0000 0.0000 -
3230.19/3243.27 c 3243 993627 360937 1 6.0000 0.0000 -
3235.47/3248.55 c 3249 994844 361262 1 6.0000 0.0000 -
3240.66/3253.76 c 3254 995821 361536 1 6.0000 0.0000 -
3246.14/3259.25 c 3259 997123 361953 1 6.0000 0.0000 -
3251.71/3264.87 c 3265 998256 362406 1 6.0000 0.0000 -
3256.90/3270.06 c 3270 999503 362830 1 6.0000 0.0000 -
3262.57/3275.80 c 3276 1000723 363158 1 6.0000 0.0000 -
3267.86/3281.05 c 3281 1001679 363422 1 6.0000 0.0000 -
3273.23/3286.41 c 3286 1002323 363646 1 6.0000 0.0000 -
3278.71/3291.90 c 3292 1003375 363950 1 6.0000 0.0000 -
3284.08/3297.40 c 3297 1004714 364454 1 6.0000 0.0000 -
3289.56/3302.82 c 3303 1005942 364859 1 6.0000 0.0000 -
3294.86/3308.12 c 3308 1007386 365258 1 6.0000 0.0000 -
3299.84/3313.17 c 3313 1008876 365807 1 6.0000 0.0000 -
3305.20/3318.59 c 3319 1010403 366362 1 6.0000 0.0000 -
3310.28/3323.69 c 3324 1012141 366648 1 6.0000 0.0000 -
3315.56/3329.01 c 3329 1013812 367091 1 6.0000 0.0000 -
3320.75/3334.19 c 3334 1015348 367431 1 6.0000 0.0000 -
3326.01/3339.43 c 3339 1016996 367990 1 6.0000 0.0000 -
3331.09/3344.57 c 3345 1018659 368419 1 6.0000 0.0000 -
3336.17/3349.65 c 3350 1019670 368769 1 6.0000 0.0000 -
3341.25/3354.78 c 3355 1021255 369247 1 6.0000 0.0000 -
3346.43/3359.92 c 3360 1022621 369665 1 6.0000 0.0000 -
3351.63/3365.17 c 3365 1024332 370198 1 6.0000 0.0000 -
3356.89/3370.48 c 3370 1025560 370576 1 6.0000 0.0000 -
3362.49/3376.02 c 3376 1026960 371026 1 6.0000 0.0000 -
3367.65/3381.30 c 3381 1028075 371354 1 6.0000 0.0000 -
3372.93/3386.53 c 3387 1029113 371688 1 6.0000 0.0000 -
3378.21/3391.89 c 3392 1030580 372104 1 6.0000 0.0000 -
3383.59/3397.28 c 3397 1032120 372610 1 6.0000 0.0000 -
3389.26/3402.90 c 3403 1032940 372924 1 6.0000 0.0000 -
3394.94/3408.62 c 3409 1034049 373278 1 6.0000 0.0000 -
3400.02/3413.70 c 3414 1035363 373714 1 6.0000 0.0000 -
3405.21/3418.93 c 3419 1036582 374114 1 6.0000 0.0000 -
3410.58/3424.31 c 3424 1037884 374550 1 6.0000 0.0000 -
3415.87/3429.65 c 3430 1039583 375049 1 6.0000 0.0000 -
3421.14/3434.91 c 3435 1040904 375489 1 6.0000 0.0000 -
3426.24/3440.05 c 3440 1042331 375868 1 6.0000 0.0000 -
3431.51/3445.30 c 3445 1043633 376205 1 6.0000 0.0000 -
3436.68/3450.52 c 3451 1045167 376658 1 6.0000 0.0000 -
3441.86/3455.70 c 3456 1045985 376894 1 6.0000 0.0000 -
3447.05/3460.94 c 3461 1047248 377204 1 6.0000 0.0000 -
3452.33/3466.27 c 3466 1048799 377776 1 6.0000 0.0000 -
3457.41/3471.32 c 3471 1049986 378189 1 6.0000 0.0000 -
3462.38/3476.38 c 3476 1051287 378573 1 6.0000 0.0000 -
3467.86/3481.85 c 3482 1052265 378832 1 6.0000 0.0000 -
3473.63/3487.65 c 3488 1053295 379173 1 6.0000 0.0000 -
3478.81/3492.86 c 3493 1054584 379514 1 6.0000 0.0000 -
3484.01/3498.03 c 3498 1055960 379944 1 6.0000 0.0000 -
3489.38/3503.47 c 3503 1057794 380438 1 6.0000 0.0000 -
3494.66/3508.74 c 3509 1058894 380819 1 6.0000 0.0000 -
3499.83/3513.98 c 3514 1060079 381171 1 6.0000 0.0000 -
3505.52/3519.69 c 3520 1061784 381685 1 6.0000 0.0000 -
3510.59/3524.78 c 3525 1063242 382052 1 6.0000 0.0000 -
3516.56/3530.80 c 3531 1064710 382507 1 6.0000 0.0000 -
3521.85/3536.07 c 3536 1066114 382792 1 6.0000 0.0000 -
3527.21/3541.47 c 3541 1066724 383010 1 6.0000 0.0000 -
3532.40/3546.69 c 3547 1068098 383514 1 6.0000 0.0000 -
3537.68/3551.90 c 3552 1069719 384016 1 6.0000 0.0000 -
3543.25/3557.55 c 3558 1070952 384382 1 6.0000 0.0000 -
3548.33/3562.69 c 3563 1072305 384673 1 6.0000 0.0000 -
3553.61/3567.97 c 3568 1073241 384964 1 6.0000 0.0000 -
3559.08/3573.41 c 3573 1074733 385327 1 6.0000 0.0000 -
3564.17/3578.53 c 3579 1076412 385791 1 6.0000 0.0000 -
3569.34/3583.76 c 3584 1077451 386083 1 6.0000 0.0000 -
3574.52/3588.99 c 3589 1078317 386343 1 6.0000 0.0000 -
3579.81/3594.24 c 3594 1079096 386588 1 6.0000 0.0000 -
3584.60/3599.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.60/3599.08 c Total Time : 3599.0800
3584.60/3599.08 c solving : 3599.0800
3584.60/3599.08 c presolving : 0.3796 (included in solving)
3584.60/3599.08 c B&B Tree :
3584.60/3599.08 c nodes (total) : 1
3584.60/3599.08 c Solution :
3584.60/3599.08 c Solutions found : 3
3584.60/3599.08 c Primal Bound : +6.00000000000000e+00
3584.60/3599.08 c Dual Bound : +0.00000000000000e+00
3584.60/3599.08 c Gap : infinite
3584.60/3599.08 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3584.60/3599.09 o 6
3584.60/3599.09 s SATISFIABLE
3584.60/3599.09 v x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 x224 -x223 -x222 -x221
3584.60/3599.09 v -x220 x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 x200 -x199
3584.60/3599.09 v -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x55 x54 x53 x52 x51 x50 x49 x48 x47 -x46 x45 x44 x43 -x42
3584.60/3599.09 v -x41 x40 x39 -x38 x37 -x36 x35 -x34 x33 x32 -x31 -x30 -x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 -x18 -x17 -x16 -x15 -x14 -x13
3584.60/3599.09 v -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 -x187 -x176 -x165 -x154 -x143 -x132 -x121 -x110 -x99 -x88 -x77 -x186 -x175
3584.60/3599.09 v -x164 -x153 -x142 -x131 -x120 -x109 -x98 -x87 -x76 -x185 -x174 -x163 -x152 -x141 -x130 -x119 -x108 -x97 -x86 -x75 -x184 -x173
3584.60/3599.09 v -x162 -x151 -x140 -x129 -x118 -x107 x96 -x85 -x74 x183 -x172 -x161 -x150 -x139 -x128 -x117 -x106 -x95 -x84 -x73 -x182 -x171
3584.60/3599.09 v -x160 -x149 -x138 -x127 -x116 -x105 -x94 -x83 -x72 -x181 -x170 -x159 -x148 -x137 -x126 -x115 -x104 -x93 -x82 -x71 -x180 x169
3584.60/3599.09 v -x158 -x147 -x136 -x125 -x114 -x103 -x92 -x81 -x70 -x179 -x168 -x157 x146 -x135 -x124 -x113 -x102 -x91 -x80 -x69 -x178 -x167
3584.60/3599.09 v x156 -x145 -x134 -x123 -x112 -x101 -x90 -x79 -x68 -x177 -x166 -x155 -x144 -x133 -x122 -x111 -x100 -x89 -x78 -x67 x66 x65 x64
3584.60/3599.09 v -x63 -x62 x61 x60 -x59 -x58 -x57 x56
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: 64096 MiB (62326 MiB free)
memory of node 1: 64473 MiB (62620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464559-1722390380/watcher-4464559-1722390380 -o /tmp/evaluation-result-4464559-1722390380/solver-4464559-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35618 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464559-1722390380.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=35654, runsolver pid=35648
[startup+0.10107 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127917168/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=36152 memory=25796 CPUtime=0.1 cores=0,2
/proc/35654/stat : 35654 (fscip) R 35648 35654 35608 0 -1 4194304 4835 0 0 0 9 1 0 0 20 0 1 0 5635020 37019648 6449 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 9038 6449 2710 3035 0 5434 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36152 KiB
Current children cumulated memory: 25796 KiB
[startup+0.213665 s]*
/proc/loadavg: 1.11 1.23 2.16 6/242 35682
/proc/meminfo: memFree=127845548/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=60568 memory=44624 CPUtime=0.21 cores=0,2
/proc/35654/stat : 35654 (fscip) R 35648 35654 35608 0 -1 4194304 9061 0 0 0 18 3 0 0 20 0 1 0 5635020 62021632 11156 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 15142 11156 2758 3035 0 11538 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60568 KiB
Current children cumulated memory: 44624 KiB
[startup+0.313508 s]*
/proc/loadavg: 1.11 1.23 2.16 7/242 35682
/proc/meminfo: memFree=127806440/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=69800 memory=54060 CPUtime=0.32 cores=0,2
/proc/35654/stat : 35654 (fscip) R 35648 35654 35608 0 -1 4194304 10858 0 0 0 28 4 0 0 20 0 1 0 5635020 71475200 13515 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 17450 13515 2758 3035 0 13846 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 69800 KiB
Current children cumulated memory: 54060 KiB
[startup+0.701071 s]
/proc/loadavg: 1.11 1.23 2.16 7/244 35684
/proc/meminfo: memFree=127699032/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=157404 memory=86152 CPUtime=0.67 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 19733 0 0 0 60 7 0 0 20 0 3 0 5635020 161181696 21538 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 39351 21538 2934 3035 0 26163 0
[pid=35654/tid=35683] ppid=35648 vsize=157404 memory=25076 CPUtime=0.21 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 6484 0 0 0 19 2 0 0 20 0 3 0 5635063 161181696 21538 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=157404 memory=289 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5635068 161181696 21538 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 157404 KiB
Current children cumulated memory: 86152 KiB
[startup+1.50029 s]
/proc/loadavg: 1.11 1.23 2.16 5/247 35687
/proc/meminfo: memFree=127528876/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=157404 memory=103648 CPUtime=1.46 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 24598 0 0 0 137 9 0 0 20 0 3 0 5635020 161181696 25912 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 39351 25912 2950 3035 0 30959 0
[pid=35654/tid=35683] ppid=35648 vsize=157404 memory=289 CPUtime=1 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 11349 0 0 0 96 4 0 0 20 0 3 0 5635063 161181696 25912 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=157404 memory=0 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5635068 161181696 25912 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 157404 KiB
Current children cumulated memory: 103648 KiB
[startup+3.1125 s]
/proc/loadavg: 1.34 1.28 2.17 6/251 35691
/proc/meminfo: memFree=127167860/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=157404 memory=110508 CPUtime=3.06 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 32219 0 0 0 296 10 0 0 20 0 3 0 5635020 161181696 27627 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 39351 27627 2950 3035 0 33230 0
[pid=35654/tid=35683] ppid=35648 vsize=157404 memory=0 CPUtime=2.61 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 18967 0 0 0 256 5 0 0 20 0 3 0 5635063 161181696 27627 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=157404 memory=0 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5635068 161181696 27627 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 157404 KiB
Current children cumulated memory: 110508 KiB
[startup+6.30035 s]
/proc/loadavg: 1.34 1.28 2.17 5/250 35692
/proc/meminfo: memFree=127021512/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=222940 memory=131972 CPUtime=6.24 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 47101 0 0 0 612 12 0 0 20 0 3 0 5635020 228290560 32993 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 55735 32993 2950 3035 0 38652 0
[pid=35654/tid=35683] ppid=35648 vsize=222940 memory=103648 CPUtime=5.78 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 33823 0 0 0 571 7 0 0 20 0 3 0 5635063 228290560 32993 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=222940 memory=129136 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5635068 228290560 32993 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 131972 KiB
[startup+12.7004 s]
/proc/loadavg: 1.83 1.39 2.20 5/250 35692
/proc/meminfo: memFree=126932020/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=222940 memory=143832 CPUtime=12.62 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 77735 0 0 0 1247 15 0 0 20 0 3 0 5635020 228290560 35958 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 55735 35958 3014 3035 0 42215 0
[pid=35654/tid=35683] ppid=35648 vsize=222940 memory=146528 CPUtime=12.16 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 64386 0 0 0 1206 10 0 0 20 0 3 0 5635063 228290560 35958 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=222940 memory=25076 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5635068 228290560 35958 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 143832 KiB
[startup+25.5004 s]
/proc/loadavg: 2.16 1.47 2.22 5/250 35695
/proc/meminfo: memFree=126797472/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=231380 memory=164564 CPUtime=25.35 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 124939 0 0 0 2516 19 0 0 20 0 3 0 5635020 236933120 41141 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 57845 41141 3014 3035 0 46355 0
[pid=35654/tid=35683] ppid=35648 vsize=231380 memory=-7234869542979198585 CPUtime=24.89 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 111526 0 0 0 2475 14 0 0 20 0 3 0 5635063 236933120 41141 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=231380 memory=5528 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5635068 236933120 41141 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 231380 KiB
Current children cumulated memory: 164564 KiB
[startup+51.1127 s]
/proc/loadavg: 2.79 1.68 2.27 5/250 35698
/proc/meminfo: memFree=126699428/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=254044 memory=191204 CPUtime=50.85 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 172012 0 0 0 5061 24 0 0 20 0 3 0 5635020 260141056 47801 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 63511 47801 3014 3035 0 53786 0
[pid=35654/tid=35683] ppid=35648 vsize=254044 memory=190964 CPUtime=50.4 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 158558 0 0 0 5021 19 0 0 20 0 3 0 5635063 260141056 47801 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=254044 memory=188932 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5635068 260141056 47801 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 254044 KiB
Current children cumulated memory: 191204 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.09 2.37 5/250 35708
/proc/meminfo: memFree=126524260/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=300340 memory=248140 CPUtime=101.81 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 239069 0 0 0 10150 31 0 0 20 0 3 0 5635020 307548160 62035 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 75085 62035 3014 3035 0 69614 0
[pid=35654/tid=35683] ppid=35648 vsize=300340 memory=247280 CPUtime=101.35 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 225537 0 0 0 10109 26 0 0 20 0 3 0 5635063 307548160 62035 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=300340 memory=245352 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5635068 307548160 62035 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 300340 KiB
Current children cumulated memory: 248140 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.45 2.48 5/252 35722
/proc/meminfo: memFree=126387976/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=399932 memory=314872 CPUtime=161.57 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 273931 0 0 0 16117 40 0 0 20 0 3 0 5635020 409530368 78718 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 99983 78718 3014 3035 0 83594 0
[pid=35654/tid=35683] ppid=35648 vsize=399932 memory=11440 CPUtime=161.1 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 260376 0 0 0 16076 34 0 0 20 0 3 0 5635063 409530368 78718 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=399932 memory=294344 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5635068 409530368 78718 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 399932 KiB
Current children cumulated memory: 314872 KiB
[startup+222.3 s]
/proc/loadavg: 4.89 2.98 2.67 5/252 35734
/proc/meminfo: memFree=126212844/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=448964 memory=390672 CPUtime=221.36 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 315056 0 0 0 22089 47 0 0 20 0 3 0 5635020 459739136 97668 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 112241 97668 3318 3035 0 102504 0
[pid=35654/tid=35683] ppid=35648 vsize=448964 memory=11440 CPUtime=220.88 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 301480 0 0 0 22047 41 0 0 20 0 3 0 5635063 459739136 97668 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=448964 memory=368364 CPUtime=0 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5635068 459739136 97668 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
################
# More data... #
################
Current children cumulated memory: 2985104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/252 37523
/proc/meminfo: memFree=121057140/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3184292 memory=3030636 CPUtime=3448.43 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 8863501 0 0 0 343913 930 0 0 20 0 3 0 5635020 3260715008 757659 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 796073 757659 3334 3035 0 775797 0
[pid=35654/tid=35683] ppid=35648 vsize=3184292 memory=2934044 CPUtime=3447.64 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 8848829 0 0 0 343853 911 0 0 20 0 3 0 5635063 3260715008 757659 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3184292 memory=11440 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 140 0 0 0 2 4 0 0 20 0 3 0 5635068 3260715008 757659 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3448.43 s
Current children cumulated vsize: 3184292 KiB
Current children cumulated memory: 3030636 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 37533
/proc/meminfo: memFree=120897604/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3184884 memory=3053248 CPUtime=3508.2 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9156719 0 0 0 349865 955 0 0 20 0 3 0 5635020 3261321216 763312 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 796221 763312 3334 3035 0 779322 0
[pid=35654/tid=35683] ppid=35648 vsize=3184884 memory=3051988 CPUtime=3507.4 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9142026 0 0 0 349804 936 0 0 20 0 3 0 5635063 3261321216 763312 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3184884 memory=19304 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 142 0 0 0 2 4 0 0 20 0 3 0 5635068 3261321216 763312 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3508.2 s
Current children cumulated vsize: 3184884 KiB
Current children cumulated memory: 3053248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 37545
/proc/meminfo: memFree=120791752/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3101288 CPUtime=3567.95 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9450161 0 0 0 355816 979 0 0 20 0 3 0 5635020 3376783360 775322 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 775322 3334 3035 0 811432 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=3099240 CPUtime=3567.14 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9435445 0 0 0 355754 960 0 0 20 0 3 0 5635063 3376783360 775322 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=3099240 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 775322 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3567.95 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3101288 KiB
[startup+3599.13 s]
# the end of solver process 35654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.76 s, system=9.96992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/252 37546
/proc/meminfo: memFree=120789280/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3101364 CPUtime=3569.66 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9457523 0 0 0 355986 980 0 0 20 0 3 0 5635020 3376783360 775341 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 775341 3334 3035 0 811440 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=-7234869542979198585 CPUtime=3568.85 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9443408 0 0 0 355925 960 0 0 20 0 3 0 5635063 3376783360 775341 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=-4050210904893537938 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 775341 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3101364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/249 37546
/proc/meminfo: memFree=120786296/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3106404 CPUtime=3576.02 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9523036 0 0 0 356618 984 0 0 20 0 3 0 5635020 3376783360 776601 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 776601 3334 3035 0 811688 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=3101364 CPUtime=3575.21 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9508320 0 0 0 356556 965 0 0 20 0 3 0 5635063 3376783360 776601 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=140581594974625 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 776601 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3576.02 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3106404 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120778596/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3109064 CPUtime=3579.21 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9523468 0 0 0 356936 985 0 0 20 0 3 0 5635020 3376783360 777266 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 777266 3334 3035 0 811843 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=-7234869542979198588 CPUtime=3578.4 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9508752 0 0 0 356875 965 0 0 20 0 3 0 5635063 3376783360 777266 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=3109028 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 777266 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3579.21 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3109064 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775208/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3111260 CPUtime=3582.4 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9567529 0 0 0 357253 987 0 0 20 0 3 0 5635020 3376783360 777815 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 777815 3334 3035 0 811873 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=12968 CPUtime=3581.59 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9552813 0 0 0 357192 967 0 0 20 0 3 0 5635063 3376783360 777815 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=3101364 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 777815 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3582.4 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3111260 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3111268 CPUtime=3583.99 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9612773 0 0 0 357410 989 0 0 20 0 3 0 5635020 3376783360 777817 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 777817 3334 3035 0 811874 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=2276 CPUtime=3583.19 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9598090 0 0 0 357349 970 0 0 20 0 3 0 5635063 3376783360 777817 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=3111260 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 777817 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3583.99 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3111268 KiB
[startup+3598.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3297640 memory=3111268 CPUtime=3584.39 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9651041 0 0 0 357448 991 0 0 20 0 3 0 5635020 3376783360 777817 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 824410 777817 3334 3035 0 811874 0
[pid=35654/tid=35683] ppid=35648 vsize=3297640 memory=12968 CPUtime=3583.59 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9636323 0 0 0 357387 972 0 0 20 0 3 0 5635063 3376783360 777817 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3297640 memory=12672 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3376783360 777817 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3584.39 s
Current children cumulated vsize: 3297640 KiB
Current children cumulated memory: 3111268 KiB
[startup+3599 s]*
/proc/loadavg: 4.15 4.12 4.09 4/224 37624
/proc/meminfo: memFree=124845308/131655788 swapFree=131071996/131071996
[pid=35654] ppid=35648 vsize=3291472 memory=3105104 CPUtime=3584.6 cores=0,2
/proc/35654/stat : 35654 (fscip) S 35648 35654 35608 0 -1 1077936128 9658786 0 0 0 357469 991 0 0 20 0 3 0 5635020 3370467328 776276 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
/proc/35654/statm: 822868 776276 3334 3035 0 810332 0
[pid=35654/tid=35683] ppid=35648 vsize=3291472 memory=8980 CPUtime=3583.79 cores=0,2
/proc/35654/task/35683/stat : 35683 (fscip) R 35648 35654 35608 0 -1 4194368 9644069 0 0 0 357407 972 0 0 20 0 3 0 5635063 3370467328 776276 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
[pid=35654/tid=35684] ppid=35648 vsize=3291472 memory=-4050210904893537938 CPUtime=0.06 cores=0,2
/proc/35654/task/35684/stat : 35684 (fscip) S 35648 35654 35608 0 -1 1077936192 144 0 0 0 2 4 0 0 20 0 3 0 5635068 3370467328 776276 134679101440 4194304 16623229 140734018754928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37826560 140734018757654 140734018757770 140734018757770 140734018764784 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 3291472 KiB
Current children cumulated memory: 3105104 KiB
[startup+3599.11 s]*
/proc/loadavg: 4.15 4.12 4.09 2/222 37641
/proc/meminfo: memFree=126849892/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): 3599.13
CPU time (s): 3584.73
CPU user time (s): 3574.76
CPU system time (s): 9.96992
CPU usage (%): 99.5997
Max. virtual memory (cumulated for all children) (KiB): 3297640
Max. memory (cumulated for all children) (KiB): 3111268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.76
system time used= 9.96992
maximum resident set size= 3111268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9659738
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= 10791
involuntary context switches= 25300
# summary of solver processes directly reported to runsolver:
# pid: 35654
# total CPU time (s): 3584.73
# total CPU user time (s): 3574.76
# total CPU system time (s): 9.96992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6513 second user time and 35.574 second system time
The end
Begin job on nodeC005 at 2024-07-31 03:46:20
IDJOB=4464559
IDBENCH=176105
IDSOLVER=3092
FILE ID=nodeC005/4464559-1722390380
RUNJOBID= nodeC005-1722390380-35618
SLURM_JOB_ID= 8249878
Free space on /tmp= 723784 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464559-1722390380/watcher-4464559-1722390380 -o /tmp/evaluation-result-4464559-1722390380/solver-4464559-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35618 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464559-1722390380.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f
RANDOM SEED=140675488
nodeC005.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.212
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.72
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.221
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.37
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.222
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.72
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.219
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.37
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.214
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.72
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 : 1197.223
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.37
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 : 1197.219
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.72
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 : 1197.217
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127945832 kB
MemAvailable: 130010360 kB
Buffers: 111784 kB
Cached: 2759280 kB
SwapCached: 0 kB
Active: 271564 kB
Inactive: 2943188 kB
Active(anon): 1368 kB
Inactive(anon): 363700 kB
Active(file): 270196 kB
Inactive(file): 2579488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115120 kB
Writeback: 16 kB
AnonPages: 343756 kB
Mapped: 87744 kB
Shmem: 21320 kB
KReclaimable: 110088 kB
Slab: 192840 kB
SReclaimable: 110088 kB
SUnreclaim: 82752 kB
KernelStack: 3520 kB
PageTables: 8968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 669816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC005 at 2024-07-31 04:46:19