Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | ? (TO) | 3602.19 | 3649.99 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb |
| MD5SUM | 3ad5724dc0c956b4efc5b1550fba1884 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 70311 |
| Best CPU time to get the best result obtained on this benchmark | 2.84758 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 24250 |
| Total number of constraints | 51198 |
| Number of constraints which are clauses | 51198 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 423 |
| Number of terms in the objective function | 12053 |
| Biggest coefficient in the objective function | 2252 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 21122166 |
| Number of bits of the sum of numbers in the objective function | 25 |
| Biggest number in a constraint | 2252 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 21122166 |
| Number of bits of the biggest sum of numbers | 25 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.41/0.48 o 4379686 22.72/22.88 o 4377620 23.03/23.12 o 4375516 23.22/23.36 o 4373990 23.52/23.62 o 4372174 23.71/23.87 o 4370280 24.03/24.13 o 4368734 24.21/24.39 o 4366840 24.51/24.64 o 4364747 24.81/24.90 o 4363027 25.02/25.16 o 4361307 25.31/25.41 o 4359427 25.51/25.67 o 4357869 25.81/25.92 o 4355864 26.02/26.17 o 4353996 26.30/26.42 o 4352258 26.50/26.66 o 4350320 26.80/26.91 o 4348324 27.01/27.16 o 4346630 27.30/27.41 o 4344736 27.50/27.65 o 4342901 27.80/27.90 o 4341143 28.01/28.15 o 4339132 28.19/28.39 o 4337412 28.49/28.64 o 4335398 28.69/28.89 o 4333852 29.01/29.13 o 4331789 29.19/29.38 o 4329895 29.49/29.63 o 4327829 29.69/29.87 o 4325728 30.00/30.12 o 4323982 30.19/30.37 o 4322296 30.49/30.62 o 4320457 30.69/30.86 o 4318887 30.90/31.11 o 4317109 31.18/31.35 o 4315185 31.48/31.60 o 4313285 31.68/31.85 o 4311335 31.89/32.10 o 4309667 32.18/32.35 o 4308327 32.38/32.59 o 4306363 32.68/32.85 o 4304640 32.98/33.22 o 4302746 33.17/33.46 o 4300607 33.47/33.71 o 4298745 33.67/33.96 o 4297013 33.97/34.20 o 4295267 34.17/34.44 o 4293489 34.37/34.68 o 4291394 34.67/34.93 o 4289616 34.88/35.17 o 4287529 35.17/35.41 o 4285855 35.36/35.66 o 4284311 35.66/35.90 o 4282565 35.88/36.15 o 4280761 36.16/36.40 o 4278765 36.36/36.65 o 4276945 36.56/36.89 o 4274882 36.87/37.14 o 4273124 37.06/37.39 o 4271040 37.36/37.63 o 4269262 37.56/37.87 o 4267394 37.87/38.12 o 4265706 38.06/38.37 o 4263954 38.36/38.62 o 4261873 38.56/38.87 o 4259673 38.87/39.11 o 4257697 39.05/39.36 o 4255753 39.25/39.59 o 4253853 39.55/39.82 o 4252069 39.77/40.07 o 4250331 40.05/40.31 o 4248407 40.25/40.56 o 4246312 40.55/40.81 o 4244540 40.76/41.06 o 4242631 41.05/41.31 o 4240536 41.25/41.56 o 4238728 41.55/41.81 o 4236902 41.76/42.06 o 4235098 41.95/42.29 o 4233122 42.25/42.53 o 4231260 42.45/42.76 o 4229138 42.66/43.00 o 4227156 42.95/43.23 o 4225816 43.15/43.47 o 4223898 43.45/43.71 o 4222092 43.66/43.96 o 4220392 43.95/44.20 o 4218866 44.15/44.44 o 4216727 44.35/44.68 o 4215039 44.65/44.92 o 4213171 44.86/45.17 o 4211151 45.15/45.41 o 4209837 45.35/45.65 o 4208627 45.65/45.90 o 4206965 45.86/46.14 o 4205375 46.04/46.38 o 4203540 46.34/46.63 o 4201872 46.54/46.87 o 4199820 46.85/47.11 o 4198126 47.04/47.35 o 4196316 47.24/47.59 o 4194314 47.54/47.84 o 4192756 47.75/48.09 o 4191036 48.04/48.33 o 4188955 48.24/48.57 o 4186854 48.54/48.81 o 4184945 48.75/49.06 o 4183547 49.04/49.30 o 4181658 49.24/49.54 o 4179868 49.44/49.79 o 4178200 49.75/50.03 o 4176300 49.93/50.27 o 4174522 50.23/50.51 o 4172774 50.43/50.76 o 4170886 50.63/51.00 o 4168992 50.93/51.24 o 4166996 51.13/51.48 o 4165108 51.43/51.72 o 4163298 51.63/51.94 o 4161264 51.84/52.18 o 4159538 52.13/52.42 o 4157844 52.33/52.66 o 4156092 52.63/52.91 o 4154404 52.84/53.15 o 4152684 53.12/53.40 o 4150653 53.32/53.64 o 4149011 53.52/53.89 o 4147465 53.84/54.13 o 4145571 54.02/54.37 o 4143883 54.32/54.60 o 4142305 54.52/54.83 o 4140253 54.73/55.06 o 4138391 54.92/55.29 o 4136529 55.22/55.53 o 4134989 55.42/55.76 o 4133431 55.62/55.99 o 4131257 55.92/56.22 o 4129589 56.12/56.45 o 4127921 56.32/56.68 o 4126111 56.62/56.91 o 4123981 56.83/57.15 o 4122203 57.02/57.38 o 4120425 57.31/57.61 o 4118957 57.51/57.84 o 4116831 57.73/58.08 o 4115108 58.01/58.31 o 4113280 58.21/58.54 o 4111193 58.41/58.77 o 4109687 58.61/59.00 o 4108025 58.91/59.23 o 4106357 59.11/59.46 o 4104663 59.31/59.69 o 4103137 59.61/59.92 o 4101333 59.82/60.16 o 4099671 60.01/60.39 o 4097783 60.30/60.62 o 4095723 60.50/60.86 o 4093645 60.72/61.09 o 4091651 61.00/61.32 o 4090311 61.20/61.55 o 4088355 61.40/61.79 o 4086687 61.71/62.02 o 4084929 61.90/62.25 o 4083287 62.10/62.49 o 4081314 62.40/62.72 o 4079488 62.61/62.95 o 4077994 62.82/63.18 o 4076411 63.11/63.42 o 4074432 63.31/63.65 o 4072354 63.51/63.88 o 4070568 63.83/64.29 o 4068668 64.24/64.70 o 4066968 64.54/65.09 o 4064928 64.92/65.42 o 4062969 128.35/131.59 o 4061095 129.03/132.28 o 4059058 129.73/132.96 o 4057097 130.42/133.64 o 4055293 131.11/134.32 o 4053262 131.71/134.99 o 4051704 132.40/135.67 o 4049687 133.09/136.35 o 4047793 133.79/137.01 o 4046079 134.38/137.69 o 4044237 135.07/138.37 o 4042575 135.76/139.05 o 4040829 136.46/139.71 o 4038725 137.05/140.38 o 4036947 137.75/141.05 o 4035009 138.44/141.72 o 4033245 139.03/142.39 o 4031545 139.73/143.07 o 4029799 140.42/143.73 o 4027995 141.11/144.41 o 4026449 141.71/145.08 o 4025059 142.40/145.76 o 4023423 143.09/146.43 o 4021555 143.79/147.11 o 4019809 144.38/147.78 o 4018135 145.27/148.69 o 4016525 146.17/149.52 o 4014799 146.87/150.22 o 4012782 147.46/150.89 o 4010902 148.16/151.55 o 4008789 148.86/152.22 o 4007153 149.56/152.90 o 4005865 150.15/153.58 o 4004403 150.85/154.23 o 4003227 151.45/154.88 o 4003071 152.15/155.53 o 4002911 152.76/156.18 o 4002807 153.45/156.83 o 4001385 154.05/157.48 o 4000175 154.76/158.13 o 3998747 155.35/158.78 o 3997061 156.04/159.43 o 3995497 156.65/160.09 o 3995233 157.34/160.74 o 3994231 158.04/161.40 o 3994140 158.69/164.16 o 3992417 159.73/165.25 o 3990987 160.54/166.05 o 3990459 161.22/166.74 o 3989301 161.92/167.40 o 3987903 162.53/168.06 o 3987571 163.22/168.72 o 3986205 163.81/169.36 o 3984839 164.52/170.02 o 3983377 165.11/170.67 o 3983080 165.81/171.33 o 3981740 166.41/171.98 o 3981609 167.11/172.63 o 3979999 167.70/173.29 o 3978455 168.40/173.94 o 3976787 169.00/174.58 o 3976773 169.70/175.24 o 3976621 170.30/175.88 o 3976517 170.99/176.53 o 3976335 171.61/177.18 o 3975255 172.29/177.84 o 3973486 172.89/178.49 o 3971914 173.60/179.14 o 3970182 174.18/179.78 o 3970174 174.88/180.43 o 3968784 175.49/181.08 o 3967522 176.18/181.73 o 3966182 176.78/182.38 o 3964308 177.49/183.03 o 3962511 178.07/183.68 o 3961197 178.77/184.32 o 3959509 179.37/184.97 o 3957983 180.07/185.62 o 3956121 180.67/186.27 o 3953898 181.36/186.90 o 3952592 181.96/187.54 o 3952546 182.58/188.18 o 3950846 183.26/188.81 o 3950696 183.86/189.46 o 3949088 184.47/190.11 o 3947840 185.16/190.75 o 3946482 185.75/191.39 o 3944482 186.46/192.03 o 3942892 187.05/192.66 o 3941062 187.75/193.30 o 3939188 188.35/193.94 o 3937462 188.94/194.57 o 3935690 189.64/195.22 o 3934152 190.24/195.87 o 3934044 190.94/196.51 o 3932704 191.55/197.15 o 3930894 192.23/197.80 o 3929168 192.83/198.44 o 3927842 193.44/199.08 o 3926006 194.13/199.72 o 3924286 194.73/200.36 o 3922650 195.32/201.00 o 3920879 196.02/201.63 o 3919275 196.62/202.27 o 3919067 197.32/202.92 o 3917671 197.92/203.56 o 3915890 198.53/204.19 o 3914520 199.22/204.82 o 3912730 199.82/205.46 o 3910952 200.43/206.09 o 3909290 201.11/206.72 o 3907282 201.71/207.36 o 3905588 202.31/207.99 o 3903816 203.01/208.63 o 3902476 203.61/209.26 o 3902070 204.31/209.90 o 3900730 204.90/210.53 o 3898952 205.52/211.17 o 3897478 206.20/211.81 o 3896146 206.80/212.45 o 3894326 207.41/213.08 o 3892986 208.10/213.73 o 3891141 208.69/214.36 o 3889551 209.29/215.00 o 3887619 209.99/215.64 o 3887235 210.59/216.28 o 3887017 211.29/216.90 o 3885717 211.88/217.54 o 3885670 212.50/218.18 o 3885217 213.18/218.83 o 3883955 213.78/219.47 o 3882035 214.39/220.09 o 3880079 215.07/220.72 o 3877955 215.67/221.35 o 3876229 216.27/221.98 o 3874128 216.97/222.61 o 3872538 217.57/223.24 o 3870701 218.16/223.87 o 3870628 218.86/224.52 o 3868799 219.47/225.16 o 3868619 220.06/225.80 o 3868593 220.76/226.43 o 3868541 221.37/227.10 o 3867099 222.05/227.78 o 3865733 222.85/228.54 o 3865586 223.46/229.18 o 3865490 224.25/229.92 o 3864124 224.95/230.69 o 3864106 225.65/231.33 o 3863863 226.74/232.40 o 3863845 227.35/233.04 o 3863579 227.94/233.69 o 3862227 228.74/234.48 o 3862053 229.64/235.33 o 3861931 230.45/236.17 o 3861824 231.13/236.80 o 3861598 231.73/237.43 o 3861554 232.34/238.07 o 3861496 233.03/238.70 o 3860156 233.82/239.54 o 3858662 234.62/240.30 o 3857200 235.33/241.07 o 3857012 236.02/241.70 o 3856908 236.61/242.34 o 3855582 237.43/243.18 o 3854056 238.21/243.95 o 3852246 239.11/244.83 o 3850572 239.90/245.67 o 3848942 240.80/246.51 o 3848719 241.41/247.15 o 3848667 243.31/249.09 o 3847173 244.88/250.62 o 3847103 245.48/251.24 o 3846851 246.08/251.86 o 3845485 250.17/255.99 o 3845137 263.21/269.03 o 3844925 263.89/269.78 o 3843463 266.30/272.16 o 3841845 268.48/274.37 o 3840192 271.07/276.99 o 3839946 271.76/277.63 o 3839862 272.36/278.26 o 3839810 272.96/278.89 o 3838504 275.05/280.92 o 3838478 275.65/281.56 o 3838208 276.26/282.19 o 3836946 278.73/284.61 o 3836760 281.43/287.33 o 3835298 283.32/289.27 o 3833772 298.33/305.65 o 3833682 406.45/415.02 o 3832078 541.38/551.16 o 3831994 542.17/551.97 o 3831852 542.96/552.78 o 3830390 543.76/553.57 o 3828896 544.56/554.37 o 3827121 545.37/555.17 o 3825523 546.15/555.96 o 3825308 546.95/556.75 o 3825224 547.75/557.55 o 3823620 548.54/558.30 o 3822048 549.25/559.05 o 3821924 550.04/559.81 o 3821834 550.73/560.56 o 3820430 551.53/561.33 o 3818904 552.24/562.10 o 3817456 553.12/562.92 o 3815788 553.92/563.76 o 3814198 554.72/564.60 o 3814024 555.51/565.37 o 3812736 556.41/566.22 o 3811004 557.22/567.07 o 3810850 558.01/567.87 o 3809536 558.80/568.69 o 3807900 559.70/569.52 o 3806406 560.50/570.35 o 3804938 561.39/571.20 o 3803168 563.54/573.48 o 3803090 564.62/574.53 o 3802936 566.70/576.61 o 3802605 573.24/583.29 o 3800943 578.93/588.97 o 3799371 580.33/590.32 o 3799200 581.14/591.12 o 3799084 603.64/614.71 o 3797686 609.43/620.57 o 3795945 624.78/635.93 o 3795815 625.58/636.73 o 3794515 644.23/655.40 o 3793085 672.35/683.63 o 3791353 681.43/692.76 o 3789578 761.90/773.55 o 3787881 769.39/781.05 o 3786263 772.97/784.60 o 3784551 781.85/793.64 o 3782863 906.43/919.24 o 3781175 907.13/919.99 o 3779861 907.93/920.74 o 3778431 908.63/921.48 o 3776725 909.42/922.23 o 3776719 910.12/922.97 o 3776435 910.92/923.73 o 3775225 911.62/924.49 o 3775109 912.42/925.24 o 3773679 913.11/925.98 o 3772217 913.91/926.72 o 3770627 914.62/927.46 o 3768997 915.33/928.19 o 3767277 916.11/928.91 o 3765557 916.81/929.64 o 3765479 917.51/930.37 o 3765305 918.22/931.10 o 3765261 919.01/931.83 o 3763921 919.70/932.56 o 3762459 920.40/933.29 o 3760806 921.21/934.03 o 3759066 921.89/934.76 o 3758729 922.69/935.50 o 3757293 923.39/936.23 o 3755953 924.09/936.97 o 3755881 924.88/937.70 o 3754491 925.58/938.43 o 3752521 926.29/939.16 o 3750801 926.98/939.89 o 3749171 927.78/940.62 o 3747268 928.47/941.35 o 3745615 929.18/942.09 o 3744069 929.97/942.82 o 3742134 930.67/943.55 o 3740164 931.36/944.28 o 3738502 932.06/945.01 o 3736634 932.86/945.73 o 3734702 933.56/946.47 o 3732767 934.35/947.20 o 3730992 935.05/947.93 o 3729336 935.74/948.64 o 3729110 936.44/949.35 o 3727648 937.15/950.06 o 3725800 937.84/950.77 o 3724338 938.54/951.49 o 3722650 939.33/952.20 o 3721310 940.03/952.91 o 3721160 940.73/953.63 o 3719712 941.43/954.34 o 3717933 942.14/955.06 o 3717841 942.82/955.77 o 3716567 943.53/956.49 o 3714821 944.32/957.21 o 3712982 945.02/957.91 o 3711044 945.72/958.63 o 3709454 946.41/959.33 o 3707896 947.12/960.04 o 3706466 947.81/960.73 o 3706428 948.51/961.43 o 3706136 949.22/962.14 o 3704810 949.90/962.84 o 3703148 950.60/963.54 o 3701398 951.30/964.24 o 3699431 951.99/964.94 o 3697813 952.69/965.65 o 3697477 953.39/966.34 o 3696125 954.10/967.05 o 3694184 954.78/967.76 o 3692426 955.48/968.46 o 3690868 956.19/969.14 o 3690311 956.87/969.83 o 3689101 957.57/970.51 o 3687563 958.27/971.20 o 3686327 958.87/971.88 o 3684737 959.57/972.56 o 3683211 960.26/973.25 o 3681601 960.96/973.94 o 3680043 961.66/974.63 o 3678375 962.36/975.32 o 3678265 962.96/976.01 o 3678201 963.75/976.70 o 3676707 964.35/977.39 o 3675213 965.06/978.07 o 3673687 965.74/978.76 o 3672225 966.44/979.44 o 3670563 967.15/980.12 o 3670311 967.84/980.80 o 3670209 968.43/981.48 o 3668895 969.15/982.15 o 3667401 969.83/982.83 o 3665863 970.53/983.51 o 3664259 971.14/984.19 o 3664091 971.82/984.87 o 3662623 972.52/985.54 o 3661065 973.22/986.21 o 3659371 973.82/986.89 o 3657578 974.52/987.56 o 3655858 975.21/988.24 o 3654196 975.91/988.92 o 3652508 976.61/989.61 o 3651078 977.21/990.29 o 3649442 977.91/990.96 o 3649364 978.60/991.62 o 3647870 979.20/992.29 o 3646556 979.90/992.95 o 3644978 980.60/993.62 o 3643374 981.20/994.29 o 3641654 981.89/994.95 o 3640340 982.59/995.62 o 3638652 983.19/996.28 o 3636874 983.89/996.95 o 3635270 984.59/997.63 o 3635088 985.28/998.30 o 3633724 985.88/998.97 o 3632384 986.58/999.64 o 3630440 987.29/1000.31 o 3628441 987.89/1000.98 o 3627043 988.58/1001.65 o 3626440 989.28/1002.32 o 3625140 989.88/1003.00 o 3623336 990.58/1003.67 o 3621622 991.28/1004.34 o 3620296 991.99/1005.01 o 3618640 992.57/1005.69 o 3616632 993.27/1006.36 o 3615152 993.98/1007.03 o 3614791 994.67/1007.70 o 3613173 995.27/1008.37 o 3611427 995.98/1009.05 o 3609713 996.66/1009.72 o 3607682 997.26/1010.40 o 3605936 997.97/1011.07 o 3604132 998.66/1011.74 o 3602418 999.35/1012.40 o 3600616 999.96/1013.07 o 3598742 1000.65/1013.73 o 3597210 1001.35/1014.41 o 3595231 1001.96/1015.09 o 3593673 1002.64/1015.76 o 3591869 1003.34/1016.43 o 3590271 1003.95/1017.10 o 3588649 1004.64/1017.77 o 3587053 1005.34/1018.44 o 3585294 1005.95/1019.10 o 3583289 1006.63/1019.77 o 3581635 1007.33/1020.44 o 3581597 1007.94/1021.10 o 3580071 1008.63/1021.76 o 3578449 1009.33/1022.42 o 3576859 1009.94/1023.08 o 3575031 1010.62/1023.75 o 3573357 1011.32/1024.41 o 3571767 1011.93/1025.04 o 3570067 1012.52/1025.66 o 3568239 1013.21/1026.30 o 3566446 1013.81/1026.95 o 3564772 1014.41/1027.59 o 3563104 1015.11/1028.24 o 3561404 1015.81/1028.90 o 3559814 1016.40/1029.55 o 3558172 1017.10/1030.21 o 3556504 1017.70/1030.88 o 3554842 1018.40/1031.54 o 3553174 1019.10/1032.20 o 3551662 1019.70/1032.85 o 3550348 1020.39/1033.51 o 3548596 1021.01/1034.16 o 3548344 1021.69/1034.82 o 3546902 1022.29/1035.48 o 3545100 1023.00/1036.14 o 3543290 1023.68/1036.81 o 3541596 1024.28/1037.47 o 3539928 1024.99/1038.13 o 3538083 1025.58/1038.79 o 3536531 1026.28/1039.46 o 3534985 1026.99/1040.12 o 3533349 1027.57/1040.78 o 3531687 1028.27/1041.44 o 3530219 1028.88/1042.09 o 3528551 1029.57/1042.75 o 3526740 1030.17/1043.39 o 3525052 1030.87/1044.06 o 3523462 1031.56/1044.72 o 3521800 1032.16/1045.38 o 3519879 1032.87/1046.05 o 3518321 1033.55/1046.71 o 3518075 1034.15/1047.38 o 3516563 1034.86/1048.03 o 3514927 1035.45/1048.68 o 3513285 1036.14/1049.33 o 3511597 1036.73/1049.97 o 3510019 1037.43/1050.62 o 3508705 1038.03/1051.27 o 3507425 1038.74/1051.91 o 3505589 1039.34/1052.55 o 3503869 1039.95/1053.19 o 3502529 1040.63/1053.84 o 3500693 1041.23/1054.48 o 3500429 1041.94/1055.13 o 3499089 1042.53/1055.77 o 3497369 1043.23/1056.41 o 3495855 1043.84/1057.05 o 3494361 1044.52/1057.70 o 3494095 1045.12/1058.34 o 3494026 1045.72/1058.99 o 3492512 1046.41/1059.64 o 3490582 1047.01/1060.27 o 3488762 1047.70/1060.91 o 3488641 1048.30/1061.55 o 3487179 1048.91/1062.19 o 3485433 1049.60/1062.82 o 3483623 1050.20/1063.46 o 3482077 1050.81/1064.10 o 3480017 1051.49/1064.73 o 3477893 1052.09/1065.36 o 3475882 1052.69/1066.00 o 3474484 1053.39/1066.63 o 3472438 1053.98/1067.26 o 3470485 1054.58/1067.89 o 3468913 1055.28/1068.52 o 3467093 1055.89/1069.14 o 3465463 1056.47/1069.77 o 3463801 1057.07/1070.39 o 3462243 1057.78/1071.01 o 3460197 1058.36/1071.62 o 3458273 1058.96/1072.24 o 3456405 1059.56/1072.87 o 3454475 1060.16/1073.49 o 3452665 1060.77/1074.11 o 3450715 1061.45/1074.72 o 3448969 1062.05/1075.33 o 3447217 1062.65/1075.94 o 3445119 1063.25/1076.55 o 3443143 1063.86/1077.16 o 3441313 1064.45/1077.77 o 3439346 1065.04/1078.38 o 3437402 1065.64/1079.00 o 3435740 1066.35/1079.61 o 3433962 1066.94/1080.22 o 3431902 1067.54/1080.82 o 3429871 1068.14/1081.43 o 3427834 1068.75/1082.03 o 3425858 1069.33/1082.63 o 3424170 1069.93/1083.23 o 3422392 1070.53/1083.84 o 3420562 1071.13/1084.44 o 3418467 1071.74/1085.04 o 3416471 1072.32/1085.65 o 3414809 1072.92/1086.25 o 3412877 1073.52/1086.85 o 3412799 1074.12/1087.45 o 3411337 1074.73/1088.05 o 3409649 1075.31/1088.65 o 3407717 1075.91/1089.26 o 3405862 1076.51/1089.86 o 3403906 1077.10/1090.46 o 3403511 1077.71/1091.05 o 3402115 1078.30/1091.64 o 3400337 1078.90/1092.23 o 3398277 1079.50/1092.82 o 3398193 1080.09/1093.41 o 3396505 1080.59/1094.00 o 3394509 1081.19/1094.59 o 3392679 1081.80/1095.18 o 3390933 1082.39/1095.76 o 3389535 1082.99/1096.35 o 3387680 1083.58/1096.94 o 3385698 1084.18/1097.52 o 3383926 1084.69/1098.10 o 3382180 1085.28/1098.69 o 3380117 1085.88/1099.28 o 3378266 1086.48/1099.87 o 3376543 1087.07/1100.47 o 3375145 1087.68/1101.04 o 3373805 1088.26/1101.61 o 3372117 1088.77/1102.18 o 3372059 1089.36/1102.75 o 3370719 1089.96/1103.31 o 3368864 1090.46/1103.87 o 3366868 1091.05/1104.45 o 3365066 1091.66/1105.02 o 3363003 1092.15/1105.57 o 3361257 1092.76/1106.13 o 3359479 1093.25/1106.69 o 3357653 1093.84/1107.26 o 3357155 1094.44/1107.81 o 3355881 1094.94/1108.38 o 3353812 1095.54/1108.94 o 3352008 1096.14/1109.51 o 3350642 1096.65/1110.08 o 3348896 1097.23/1110.65 o 3347384 1097.83/1111.21 o 3345341 1098.32/1111.78 o 3343537 1098.92/1112.34 o 3341535 1099.53/1112.90 o 3339699 1100.03/1113.45 o 3337869 1100.64/1114.01 o 3336247 1101.12/1114.57 o 3334178 1101.74/1115.13 o 3332083 1102.22/1115.69 o 3330040 1102.82/1116.24 o 3328378 1103.42/1116.80 o 3326376 1103.92/1117.36 o 3324342 1104.51/1117.91 o 3322686 1105.01/1118.47 o 3320940 1105.62/1119.02 o 3319110 1106.11/1119.57 o 3317306 1106.72/1120.13 o 3315275 1107.21/1120.69 o 3313497 1107.80/1121.24 o 3311704 1108.30/1121.79 o 3311592 1108.90/1122.33 o 3311384 1109.39/1122.88 o 3311092 1109.99/1123.42 o 3311002 1110.49/1123.96 o 3310988 1111.09/1124.50 o 3309766 1111.60/1125.03 o 3307930 1112.09/1125.58 o 3306256 1112.70/1126.13 o 3304428 1113.18/1126.68 o 3302600 1113.78/1127.22 o 3300796 1114.28/1127.77 o 3298992 1114.88/1128.32 o 3297422 1115.38/1128.87 o 3296096 1115.97/1129.41 o 3294036 1116.47/1129.94 o 3292197 1116.97/1130.48 o 3290128 1117.58/1131.01 o 3288396 1118.07/1131.54 o 3286664 1118.58/1132.06 o 3284618 1119.06/1132.58 o 3282868 1119.57/1133.10 o 3280851 1120.16/1133.62 o 3279073 1120.67/1134.14 o 3276978 1121.15/1134.66 o 3275116 1121.66/1135.18 o 3273018 1122.25/1135.71 o 3272827 1122.75/1136.25 o 3272773 1123.24/1136.77 o 3272619 1123.74/1137.29 o 3272367 1124.34/1137.81 o 3271001 1124.84/1138.33 o 3269197 1125.34/1138.85 o 3267575 1125.84/1139.38 o 3266171 1126.43/1139.92 o 3264483 1129.53/1143.10 o 3264416 1130.53/1144.03 o 3264389 1137.29/1150.84 o 3264120 1137.79/1151.34 o 3264062 1138.28/1151.85 o 3264036 1138.78/1152.34 o 3263958 1139.28/1152.84 o 3263920 1139.78/1153.34 o 3263842 1140.67/1154.20 o 3262736 1159.48/1173.62 o 3262620 1214.54/1230.17 o 3262606 1218.12/1233.77 o 3262594 1246.53/1262.81 o 3262511 1247.03/1263.34 o 3262447 1312.14/1329.41 o 3262351 1312.75/1330.03 o 3262299 1313.23/1330.53 o 3262255 1326.18/1343.76 o 3260387 1368.98/1387.37 o 3260329 1369.48/1387.88 o 3260297 1369.98/1388.37 o 3260277 1370.48/1388.86 o 3260257 1370.98/1389.36 o 3260167 1371.47/1389.84 o 3260007 1372.07/1390.44 o 3258789 1372.57/1390.93 o 3258775 1373.07/1391.41 o 3258763 1631.18/1657.87 o 3257180 1631.78/1658.40 o 3255312 1632.28/1658.92 o 3253377 1632.78/1659.44 o 3251654 1633.28/1659.96 o 3251652 1633.78/1660.47 o 3251549 1634.27/1660.97 o 3249966 1659.60/1686.31 o 3248446 1682.90/1710.02 o 3247048 1716.49/1744.25 o 3245522 1761.03/1789.60 o 3243587 1803.45/1832.42 o 3241777 1892.77/1924.82 o 3239845 2033.15/2066.68 o 3238209 2033.57/2067.10 o 3236613 2033.95/2067.48 o 3235075 2034.35/2067.86 o 3233381 2034.75/2068.24 o 3231777 2105.05/2139.41 o 3230019 2149.92/2184.82 o 3229955 2256.41/2291.79 o 3228078 2256.82/2292.20 o 3226648 2257.20/2292.58 o 3224704 2257.60/2292.97 o 3224109 2258.00/2293.32 o 3222725 2290.94/2326.58 o 3221231 2423.21/2460.07 o 3220755 2423.60/2460.40 o 3219377 2517.87/2555.29 o 3217666 2564.15/2602.29 o 3216048 2796.79/2836.60 o 3214273 2850.74/2891.03 o 3212527 3189.31/3232.39 o 3210804 3189.91/3232.91 o 3209037 3226.64/3270.17 o 3207198 3262.31/3306.37 o 3205231 3299.35/3343.60 o 3204914 3299.76/3344.05 o 3204851 3300.15/3344.47 o 3204627 3300.55/3344.89 o 3204587 3593.90/3640.82 o 3204581
ERROR: no interpretation found !
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 (7295 MiB free)
memory of node 1: 64473 MiB (6554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440807-1721805171/watcher-4440807-1721805171 -o /tmp/evaluation-result-4440807-1721805171/solver-4440807-1721805171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721801544-155523 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440807-1721805171 --seed=705592125 HOME/instance-4440807-1721805171.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=157885, runsolver pid=157882
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.08 4.30 4.24 5/246 157886
/proc/meminfo: memFree=14151604/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=53724 memory=30436 CPUtime=0.11 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 6883 0 0 0 8 3 0 0 20 0 1 0 16506515 55013376 7609 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 13431 7609 738 747 0 12494 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 53724 KiB
Current children cumulated memory: 30436 KiB
[startup+0.213775 s]*
/proc/loadavg: 4.08 4.30 4.24 5/246 157886
/proc/meminfo: memFree=14140308/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=64752 memory=41536 CPUtime=0.21 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 9539 0 0 0 18 3 0 0 20 0 1 0 16506515 66306048 10384 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 16188 10384 754 747 0 15251 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64752 KiB
Current children cumulated memory: 41536 KiB
[startup+0.313602 s]*
/proc/loadavg: 4.08 4.30 4.24 5/246 157886
/proc/meminfo: memFree=14130560/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=68348 memory=47600 CPUtime=0.31 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 10522 0 0 0 27 4 0 0 20 0 1 0 16506515 69988352 11900 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 17087 11900 770 747 0 16150 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47600 KiB
[startup+0.700334 s]
/proc/loadavg: 4.08 4.30 4.24 5/246 157886
/proc/meminfo: memFree=14127656/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=70532 memory=49796 CPUtime=0.69 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 12776 0 0 0 64 5 0 0 20 0 1 0 16506515 72224768 12449 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 17633 12449 834 747 0 16696 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70532 KiB
Current children cumulated memory: 49796 KiB
[startup+1.5003 s]
/proc/loadavg: 4.08 4.30 4.24 5/246 157886
/proc/meminfo: memFree=14101916/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=81080 memory=66224 CPUtime=1.49 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 15298 0 0 0 143 6 0 0 20 0 1 0 16506515 83025920 16556 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 20270 16556 834 747 0 19333 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81080 KiB
Current children cumulated memory: 66224 KiB
[startup+3.113 s]
/proc/loadavg: 4.07 4.29 4.23 5/246 157886
/proc/meminfo: memFree=14005004/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=109352 memory=89872 CPUtime=3.09 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 19391 0 0 0 301 8 0 0 20 0 1 0 16506515 111976448 22468 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 27338 22468 834 747 0 26401 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 109352 KiB
Current children cumulated memory: 89872 KiB
[startup+6.3003 s]
/proc/loadavg: 4.07 4.29 4.23 5/243 157900
/proc/meminfo: memFree=13903176/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=159772 memory=140176 CPUtime=6.27 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 27293 0 0 0 615 12 0 0 20 0 1 0 16506515 163606528 35044 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 39943 35044 834 747 0 39006 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159772 KiB
Current children cumulated memory: 140176 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.29 4.23 5/246 157981
/proc/meminfo: memFree=19826900/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=266904 memory=243184 CPUtime=12.65 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 43294 0 0 0 1244 21 0 0 20 0 1 0 16506515 273309696 60796 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 66726 60796 834 747 0 65789 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 266904 KiB
Current children cumulated memory: 243184 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.27 4.23 5/246 157982
/proc/meminfo: memFree=19252644/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=386020 memory=328000 CPUtime=25.41 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 56048 0 0 0 2510 31 0 0 20 0 1 0 16506515 395284480 82000 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 96505 82000 834 747 0 95568 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 386020 KiB
Current children cumulated memory: 328000 KiB
[startup+51.1134 s]
/proc/loadavg: 4.21 4.30 4.24 5/253 157994
/proc/meminfo: memFree=18625952/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=386164 memory=339624 CPUtime=50.84 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 56552 0 0 0 5051 33 0 0 20 0 1 0 16506515 395431936 84906 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 96541 84906 834 747 0 95604 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 386164 KiB
Current children cumulated memory: 339624 KiB
[startup+102.301 s]
/proc/loadavg: 4.21 4.28 4.24 5/253 158003
/proc/meminfo: memFree=16807620/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=1015872 memory=802908 CPUtime=99.42 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 157660 0 0 0 9863 79 0 0 20 0 1 0 16506515 1040252928 200727 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 3 0 0 235 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 253968 200727 834 747 0 253031 0
Current children cumulated CPU time: 99.42 s
Current children cumulated vsize: 1015872 KiB
Current children cumulated memory: 802908 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.27 4.24 5/251 158059
/proc/meminfo: memFree=38873344/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=1189536 memory=1014536 CPUtime=158.69 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) D 157882 157885 155510 0 -1 4194304 189851 0 0 0 15774 95 0 0 20 0 1 0 16506515 1218084864 253634 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 235 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 297384 253634 834 747 0 296447 0
Current children cumulated CPU time: 158.69 s
Current children cumulated vsize: 1189536 KiB
Current children cumulated memory: 1014536 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.26 4.24 5/246 158096
/proc/meminfo: memFree=37709372/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=1189536 memory=1016448 CPUtime=216.67 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 189974 0 0 0 21570 97 0 0 20 0 1 0 16506515 1218084864 254112 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 445 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 297384 254112 834 747 0 296447 0
Current children cumulated CPU time: 216.67 s
Current children cumulated vsize: 1189536 KiB
Current children cumulated memory: 1016448 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.23 4.22 5/249 158126
/proc/meminfo: memFree=37763468/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=1189536 memory=1018544 CPUtime=276.44 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 190352 0 0 0 27536 108 0 0 20 0 1 0 16506515 1218084864 254636 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 448 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 297384 254636 834 747 0 296447 0
Current children cumulated CPU time: 276.44 s
Current children cumulated vsize: 1189536 KiB
Current children cumulated memory: 1018544 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.22 4.22 5/250 158137
/proc/meminfo: memFree=35873456/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=1806352 memory=1436688 CPUtime=334.59 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 383329 0 0 0 33296 163 0 0 20 0 1 0 16506515 1849704448 359172 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 614 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 451588 359172 834 747 0 450651 0
Current children cumulated CPU time: 334.59 s
Current children cumulated vsize: 1806352 KiB
Current children cumulated memory: 1436688 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.20 4.21 5/242 158147
/proc/meminfo: memFree=33799372/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2177220 memory=1900248 CPUtime=393.77 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 478825 0 0 0 39163 214 0 0 20 0 1 0 16506515 2229473280 475062 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 680 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 544305 475062 834 747 0 543368 0
Current children cumulated CPU time: 393.77 s
Current children cumulated vsize: 2177220 KiB
Current children cumulated memory: 1900248 KiB
[startup+462.3 s]
/proc/loadavg: 4.68 4.31 4.24 5/244 158161
/proc/meminfo: memFree=32661768/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2178368 memory=1901536 CPUtime=453.41 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 479672 0 0 0 45101 240 0 0 20 0 1 0 16506515 2230648832 475384 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 698 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 544592 475384 834 747 0 543655 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/254 159866
/proc/meminfo: memFree=486852/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3060.7 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 520261 0 0 0 304608 1462 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3198 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3060.7 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.58 4.28 4.21 5/258 159882
/proc/meminfo: memFree=668572/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3120.11 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 521264 0 0 0 310509 1502 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3241 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3120.11 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.58 4.34 4.24 5/259 159893
/proc/meminfo: memFree=517392/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3179.33 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 522283 0 0 0 316392 1541 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3303 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3179.33 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.29 4.23 5/259 159904
/proc/meminfo: memFree=518764/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3238.79 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 523105 0 0 0 322314 1565 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3341 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3238.79 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.25 4.22 5/259 159914
/proc/meminfo: memFree=531620/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3298.06 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 524139 0 0 0 328218 1588 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3400 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3298.06 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.24 4.21 5/257 159924
/proc/meminfo: memFree=656552/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3357.73 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 525083 0 0 0 334166 1607 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3416 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3357.73 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.27 4.22 5/258 159945
/proc/meminfo: memFree=496284/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3417.47 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 526051 0 0 0 340101 1646 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3428 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3417.47 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.23 4.21 5/259 159958
/proc/meminfo: memFree=494976/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3476.34 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 526883 0 0 0 345955 1679 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3524 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3476.34 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.22 4.20 6/260 159969
/proc/meminfo: memFree=527948/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3535.67 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 527782 0 0 0 351867 1700 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3575 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3535.67 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3642.3 s]
/proc/loadavg: 4.11 4.19 4.19 5/260 159979
/proc/meminfo: memFree=513020/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3595.4 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 528586 0 0 0 357820 1720 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3588 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3595.4 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3647 s]*
/proc/loadavg: 4.18 4.21 4.20 5/260 159979
/proc/meminfo: memFree=617488/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3600.09 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 528723 0 0 0 358287 1722 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3588 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3649.99 s]
# the end of solver process 157885 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3584.81 s, system=17.3845 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3648 s]*
/proc/loadavg: 4.18 4.21 4.20 5/260 159981
/proc/meminfo: memFree=494352/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3601.09 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 528725 0 0 0 358383 1726 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3588 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3601.09 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3648.8 s]
/proc/loadavg: 4.18 4.21 4.20 5/260 159981
/proc/meminfo: memFree=494352/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3601.88 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 528727 0 0 0 358458 1730 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3588 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3601.88 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
[startup+3649 s]*
/proc/loadavg: 4.41 4.25 4.21 5/260 159981
/proc/meminfo: memFree=597728/131655788 swapFree=131062208/131071996
[pid=157885] ppid=157882 vsize=2192040 memory=2106204 CPUtime=3602.08 cores=1,3
/proc/157885/stat : 157885 (Exact_veripb2_n) R 157882 157885 155510 0 -1 4194304 528727 0 0 0 358478 1730 0 0 20 0 1 0 16506515 2244648960 526551 134679101440 4194304 7250417 140735426668192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3588 0 0 7950792 8015128 31965184 140735426671419 140735426671707 140735426671707 140735426678718 0
/proc/157885/statm: 548010 526551 834 747 0 547073 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 2192040 KiB
Current children cumulated memory: 2106204 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3649.99
CPU time (s): 3602.19
CPU user time (s): 3584.81
CPU system time (s): 17.3845
CPU usage (%): 98.6904
Max. virtual memory (cumulated for all children) (KiB): 2192040
Max. memory (cumulated for all children) (KiB): 2106204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.81
system time used= 17.3845
maximum resident set size= 2106204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62797648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17154
involuntary context switches= 10067
# summary of solver processes directly reported to runsolver:
# pid: 157885
# total CPU time (s): 3602.19
# total CPU user time (s): 3584.81
# total CPU system time (s): 17.3845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5234 second user time and 36.5355 second system time
The end
Begin job on nodeC007 at 2024-07-24 09:12:51 IDJOB=4440807 IDBENCH=148149 IDSOLVER=3080 FILE ID=nodeC007/4440807-1721805171 RUNJOBID= nodeC007-1721801544-155523 SLURM_JOB_ID= 7770679 Free space on /tmp= 723760 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440807-1721805171/watcher-4440807-1721805171 -o /tmp/evaluation-result-4440807-1721805171/solver-4440807-1721805171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721801544-155523 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440807-1721805171 --seed=705592125 HOME/instance-4440807-1721805171.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3ad5724dc0c956b4efc5b1550fba1884 RANDOM SEED=705592125 nodeC007.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 : 3675.021 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.67 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 : 1610.300 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.382 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.67 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.203 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 : 3675.011 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.67 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 : 1228.272 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.410 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.67 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 : 2565.926 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: 14185332 kB MemAvailable: 129745704 kB Buffers: 227784 kB Cached: 115970940 kB SwapCached: 2184 kB Active: 1900788 kB Inactive: 114664916 kB Active(anon): 1848 kB Inactive(anon): 410664 kB Active(file): 1898940 kB Inactive(file): 114254252 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062208 kB Dirty: 206732 kB Writeback: 0 kB AnonPages: 365016 kB Mapped: 99544 kB Shmem: 45424 kB KReclaimable: 469088 kB Slab: 589928 kB SReclaimable: 469088 kB SUnreclaim: 120840 kB KernelStack: 4048 kB PageTables: 10064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 785420 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 437064 kB DirectMap2M: 60284928 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 723760 MiB End job on nodeC007 at 2024-07-24 10:13:41