Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 | SAT | -8479 | 3584.22 | 3596.17 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z7-s2.opb |
| MD5SUM | d13cdfe545ae2728c47d5ad7db8600db |
| 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 | -10280 |
| Best CPU time to get the best result obtained on this benchmark | 345.088 |
| 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 | 2023 |
| Total number of constraints | 31798 |
| Number of constraints which are clauses | 31790 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2023 |
| Number of terms in the objective function | 1997 |
| Biggest coefficient in the objective function | 333 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 170608 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 735392 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 5003866 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3584.13/3596.16 o -3385 3584.13/3596.16 o -3397 3584.13/3596.16 o -3420 3584.13/3596.16 o -3431 3584.13/3596.16 o -3454 3584.13/3596.16 o -3489 3584.13/3596.16 o -3531 3584.13/3596.16 o -3580 3584.13/3596.16 o -3663 3584.13/3596.16 o -3750 3584.13/3596.16 o -3759 3584.13/3596.16 o -3885 3584.13/3596.16 o -3895 3584.13/3596.16 o -3921 3584.13/3596.16 o -3930 3584.13/3596.16 o -3932 3584.13/3596.16 o -3936 3584.13/3596.16 o -3939 3584.13/3596.16 o -3949 3584.13/3596.16 o -3950 3584.13/3596.16 o -3962 3584.13/3596.16 o -3976 3584.13/3596.16 o -3984 3584.13/3596.16 o -3985 3584.13/3596.16 o -4005 3584.13/3596.16 o -4047 3584.13/3596.16 o -4051 3584.13/3596.16 o -4057 3584.13/3596.16 o -4071 3584.13/3596.16 o -4072 3584.13/3596.16 o -4077 3584.13/3596.16 o -4078 3584.13/3596.16 o -4081 3584.13/3596.16 o -4116 3584.13/3596.16 o -4117 3584.13/3596.16 o -4200 3584.13/3596.16 o -4201 3584.13/3596.16 o -4222 3584.13/3596.16 o -4223 3584.13/3596.16 o -4232 3584.13/3596.16 o -4233 3584.13/3596.16 o -4244 3584.13/3596.16 o -4245 3584.13/3596.16 o -4247 3584.13/3596.16 o -4251 3584.13/3596.16 o -4252 3584.13/3596.16 o -4258 3584.13/3596.16 o -4265 3584.13/3596.16 o -4269 3584.13/3596.16 o -4270 3584.13/3596.16 o -4277 3584.13/3596.16 o -4279 3584.13/3596.16 o -4304 3584.13/3596.16 o -4318 3584.13/3596.16 o -4328 3584.13/3596.16 o -4329 3584.13/3596.16 o -4338 3584.13/3596.16 o -4339 3584.13/3596.16 o -4343 3584.13/3596.16 o -4350 3584.13/3596.16 o -4351 3584.13/3596.16 o -4355 3584.13/3596.16 o -4357 3584.13/3596.16 o -4362 3584.13/3596.16 o -4369 3584.13/3596.16 o -4370 3584.13/3596.16 o -4371 3584.13/3596.16 o -4372 3584.13/3596.16 o -4373 3584.13/3596.16 o -4402 3584.13/3596.16 o -4549 3584.13/3596.16 o -4567 3584.13/3596.16 o -4568 3584.13/3596.16 o -4569 3584.13/3596.16 o -4574 3584.13/3596.16 o -4577 3584.13/3596.16 o -4634 3584.13/3596.16 o -4662 3584.13/3596.16 o -4663 3584.13/3596.16 o -4671 3584.13/3596.16 o -4672 3584.13/3596.16 o -4690 3584.13/3596.16 o -4691 3584.13/3596.16 o -4705 3584.13/3596.16 o -4708 3584.13/3596.16 o -4728 3584.13/3596.16 o -4733 3584.13/3596.16 o -4740 3584.13/3596.16 o -4743 3584.13/3596.16 o -4746 3584.13/3596.16 o -4750 3584.13/3596.16 o -4762 3584.13/3596.16 o -4774 3584.13/3596.16 o -4782 3584.13/3596.16 o -4787 3584.13/3596.16 o -4789 3584.13/3596.16 o -4799 3584.13/3596.16 o -4806 3584.13/3596.16 o -4814 3584.13/3596.16 o -4817 3584.13/3596.16 o -4824 3584.13/3596.16 o -4829 3584.13/3596.16 o -4838 3584.13/3596.16 o -4840 3584.13/3596.16 o -4845 3584.13/3596.16 o -4861 3584.13/3596.16 o -4862 3584.13/3596.16 o -4866 3584.13/3596.16 o -4867 3584.13/3596.16 o -4868 3584.13/3596.16 o -4876 3584.13/3596.16 o -4879 3584.13/3596.16 o -4894 3584.13/3596.16 o -4895 3584.13/3596.16 o -4910 3584.13/3596.16 o -4915 3584.13/3596.16 o -4916 3584.13/3596.16 o -4923 3584.13/3596.16 o -4924 3584.13/3596.16 o -4925 3584.13/3596.16 o -4929 3584.13/3596.16 o -4930 3584.13/3596.16 o -4932 3584.13/3596.16 o -4942 3584.13/3596.16 o -4950 3584.13/3596.16 o -4951 3584.13/3596.16 o -4973 3584.13/3596.16 o -4989 3584.13/3596.16 o -5051 3584.13/3596.16 o -5054 3584.13/3596.16 o -5055 3584.13/3596.16 o -5063 3584.13/3596.16 o -5066 3584.13/3596.16 o -5078 3584.13/3596.16 o -5084 3584.13/3596.16 o -5098 3584.13/3596.16 o -5106 3584.13/3596.16 o -5107 3584.13/3596.16 o -5117 3584.13/3596.16 o -5122 3584.13/3596.16 o -5123 3584.13/3596.16 o -5127 3584.13/3596.16 o -5132 3584.13/3596.16 o -5139 3584.13/3596.16 o -5147 3584.13/3596.16 o -5148 3584.13/3596.16 o -5165 3584.13/3596.16 o -5171 3584.13/3596.16 o -5176 3584.13/3596.16 o -5180 3584.13/3596.16 o -5191 3584.13/3596.16 o -5198 3584.13/3596.16 o -5203 3584.13/3596.16 o -5204 3584.13/3596.16 o -5208 3584.13/3596.16 o -5212 3584.13/3596.16 o -5215 3584.13/3596.16 o -5219 3584.13/3596.16 o -5223 3584.13/3596.16 o -5233 3584.13/3596.16 o -5235 3584.13/3596.16 o -5249 3584.13/3596.16 o -5252 3584.13/3596.16 o -5254 3584.13/3596.16 o -5255 3584.13/3596.16 o -5284 3584.13/3596.16 o -5314 3584.13/3596.16 o -5321 3584.13/3596.16 o -5326 3584.13/3596.16 o -5328 3584.13/3596.16 o -5347 3584.13/3596.16 o -5367 3584.13/3596.16 o -5380 3584.13/3596.16 o -5385 3584.13/3596.16 o -5388 3584.13/3596.16 o -5391 3584.13/3596.16 o -5399 3584.13/3596.16 o -5400 3584.13/3596.16 o -5412 3584.13/3596.16 o -5420 3584.13/3596.16 o -5421 3584.13/3596.16 o -5422 3584.13/3596.16 o -5426 3584.13/3596.16 o -5446 3584.13/3596.16 o -5459 3584.13/3596.16 o -5460 3584.13/3596.16 o -5462 3584.13/3596.16 o -5475 3584.13/3596.16 o -5478 3584.13/3596.16 o -5485 3584.13/3596.16 o -5497 3584.13/3596.16 o -5515 3584.13/3596.16 o -5528 3584.13/3596.16 o -5532 3584.13/3596.16 o -5544 3584.13/3596.16 o -5557 3584.13/3596.16 o -5560 3584.13/3596.16 o -5568 3584.13/3596.16 o -5580 3584.13/3596.16 o -5583 3584.13/3596.16 o -5590 3584.13/3596.16 o -5594 3584.13/3596.16 o -5597 3584.13/3596.16 o -5600 3584.13/3596.16 o -5604 3584.13/3596.16 o -5619 3584.13/3596.16 o -5631 3584.13/3596.16 o -5668 3584.13/3596.16 o -5715 3584.13/3596.16 o -5717 3584.13/3596.16 o -5733 3584.13/3596.16 o -5734 3584.13/3596.16 o -5741 3584.13/3596.16 o -5744 3584.13/3596.16 o -5747 3584.13/3596.16 o -5749 3584.13/3596.16 o -5762 3584.13/3596.16 o -5765 3584.13/3596.16 o -5767 3584.13/3596.16 o -5770 3584.13/3596.16 o -5771 3584.13/3596.16 o -5772 3584.13/3596.16 o -5775 3584.13/3596.16 o -5790 3584.13/3596.16 o -5791 3584.13/3596.16 o -5804 3584.13/3596.16 o -5810 3584.13/3596.16 o -5828 3584.13/3596.16 o -5861 3584.13/3596.16 o -5864 3584.13/3596.16 o -5906 3584.13/3596.16 o -5920 3584.13/3596.16 o -5942 3584.13/3596.16 o -5970 3584.13/3596.16 o -5972 3584.13/3596.16 o -6011 3584.13/3596.16 o -6026 3584.13/3596.16 o -6030 3584.13/3596.16 o -6049 3584.13/3596.16 o -6081 3584.13/3596.16 o -6136 3584.13/3596.16 o -6173 3584.13/3596.16 o -6182 3584.13/3596.16 o -6275 3584.13/3596.16 o -6278 3584.13/3596.16 o -6327 3584.13/3596.16 o -6339 3584.13/3596.16 o -6342 3584.13/3596.16 o -6375 3584.13/3596.16 o -6387 3584.13/3596.16 o -6398 3584.13/3596.16 o -6408 3584.13/3596.16 o -6415 3584.13/3596.16 o -6457 3584.13/3596.16 o -6461 3584.13/3596.16 o -6465 3584.13/3596.16 o -6501 3584.13/3596.16 o -6513 3584.13/3596.16 o -6526 3584.13/3596.16 o -6534 3584.13/3596.16 o -6539 3584.13/3596.16 o -6541 3584.13/3596.16 o -6542 3584.13/3596.16 o -6603 3584.13/3596.16 o -6618 3584.13/3596.16 o -6633 3584.13/3596.16 o -6635 3584.13/3596.16 o -6675 3584.13/3596.16 o -6683 3584.13/3596.16 o -6697 3584.13/3596.16 o -6705 3584.13/3596.16 o -6709 3584.13/3596.16 o -6764 3584.13/3596.16 o -6776 3584.13/3596.16 o -6789 3584.13/3596.16 o -6791 3584.13/3596.16 o -6792 3584.13/3596.16 o -6796 3584.13/3596.16 o -6813 3584.13/3596.16 o -6852 3584.13/3596.16 o -6860 3584.13/3596.16 o -6865 3584.13/3596.16 o -6891 3584.13/3596.16 o -6896 3584.13/3596.16 o -6899 3584.13/3596.16 o -6910 3584.13/3596.16 o -6933 3584.13/3596.16 o -6954 3584.13/3596.16 o -6955 3584.13/3596.16 o -6957 3584.13/3596.16 o -6964 3584.13/3596.16 o -6984 3584.13/3596.16 o -7014 3584.13/3596.16 o -7029 3584.13/3596.16 o -7031 3584.13/3596.16 o -7041 3584.13/3596.16 o -7048 3584.13/3596.16 o -7054 3584.13/3596.16 o -7069 3584.13/3596.16 o -7108 3584.13/3596.16 o -7134 3584.13/3596.16 o -7142 3584.13/3596.16 o -7144 3584.13/3596.16 o -7147 3584.13/3596.16 o -7149 3584.13/3596.16 o -7152 3584.13/3596.16 o -7161 3584.13/3596.16 o -7170 3584.13/3596.16 o -7189 3584.13/3596.16 o -7190 3584.13/3596.16 o -7219 3584.13/3596.16 o -7224 3584.13/3596.16 o -7226 3584.13/3596.16 o -7273 3584.13/3596.16 o -7290 3584.13/3596.16 o -7333 3584.13/3596.16 o -7340 3584.13/3596.16 o -7343 3584.13/3596.16 o -7385 3584.13/3596.16 o -7398 3584.13/3596.16 o -7399 3584.13/3596.16 o -7404 3584.13/3596.16 o -7409 3584.13/3596.16 o -7419 3584.13/3596.16 o -7436 3584.13/3596.16 o -7441 3584.13/3596.16 o -7442 3584.13/3596.16 o -7444 3584.13/3596.16 o -7474 3584.13/3596.16 o -7488 3584.13/3596.16 o -7493 3584.13/3596.16 o -7510 3584.13/3596.16 o -7521 3584.13/3596.16 o -7522 3584.13/3596.16 o -7530 3584.13/3596.16 o -7535 3584.13/3596.16 o -7536 3584.13/3596.16 o -7550 3584.13/3596.16 o -7554 3584.13/3596.16 o -7560 3584.13/3596.16 o -7561 3584.13/3596.16 o -7582 3584.13/3596.16 o -7588 3584.13/3596.16 o -7591 3584.13/3596.16 o -7595 3584.13/3596.16 o -7600 3584.13/3596.16 o -7602 3584.13/3596.16 o -7605 3584.13/3596.16 o -7606 3584.13/3596.16 o -7609 3584.13/3596.16 o -7617 3584.13/3596.16 o -7649 3584.13/3596.16 o -7650 3584.13/3596.16 o -7657 3584.13/3596.16 o -7661 3584.13/3596.16 o -7677 3584.13/3596.16 o -7693 3584.13/3596.16 o -7725 3584.13/3596.16 o -7728 3584.13/3596.16 o -7735 3584.13/3596.16 o -7749 3584.13/3596.16 o -7752 3584.13/3596.16 o -7761 3584.13/3596.16 o -7764 3584.13/3596.16 o -7775 3584.13/3596.16 o -7776 3584.13/3596.16 o -7778 3584.13/3596.16 o -7789 3584.13/3596.16 o -7814 3584.13/3596.16 o -7819 3584.13/3596.16 o -7824 3584.13/3596.16 o -7828 3584.13/3596.16 o -7829 3584.13/3596.16 o -7830 3584.13/3596.16 o -7843 3584.13/3596.16 o -7857 3584.13/3596.16 o -7858 3584.13/3596.16 o -7911 3584.13/3596.16 o -7921 3584.13/3596.16 o -7936 3584.13/3596.16 o -7939 3584.13/3596.16 o -7940 3584.13/3596.16 o -7958 3584.13/3596.16 o -7965 3584.13/3596.16 o -7967 3584.13/3596.16 o -7970 3584.13/3596.16 o -7973 3584.13/3596.16 o -7994 3584.13/3596.16 o -8001 3584.13/3596.16 o -8010 3584.13/3596.16 o -8015 3584.13/3596.16 o -8016 3584.13/3596.16 o -8019 3584.13/3596.16 o -8020 3584.13/3596.16 o -8025 3584.13/3596.16 o -8031 3584.13/3596.16 o -8059 3584.13/3596.16 o -8092 3584.13/3596.16 o -8126 3584.13/3596.16 o -8155 3584.13/3596.16 o -8156 3584.13/3596.16 o -8199 3584.13/3596.16 o -8200 3584.13/3596.16 o -8207 3584.13/3596.16 o -8217 3584.13/3596.16 o -8226 3584.13/3596.16 o -8227 3584.13/3596.16 o -8229 3584.13/3596.16 o -8236 3584.13/3596.16 o -8240 3584.13/3596.16 o -8245 3584.13/3596.16 o -8260 3584.13/3596.16 o -8269 3584.13/3596.16 o -8277 3584.13/3596.16 o -8288 3584.13/3596.16 o -8307 3584.13/3596.16 o -8319 3584.13/3596.16 o -8320 3584.13/3596.16 o -8324 3584.13/3596.16 o -8331 3584.13/3596.16 o -8336 3584.13/3596.16 o -8337 3584.13/3596.16 o -8338 3584.13/3596.16 o -8349 3584.13/3596.16 o -8355 3584.13/3596.16 o -8366 3584.13/3596.16 o -8369 3584.13/3596.16 o -8370 3584.13/3596.16 o -8373 3584.13/3596.16 o -8378 3584.13/3596.16 o -8379 3584.13/3596.16 o -8383 3584.13/3596.16 o -8387 3584.13/3596.16 o -8388 3584.13/3596.16 o -8392 3584.13/3596.16 o -8406 3584.13/3596.16 o -8412 3584.13/3596.16 o -8417 3584.13/3596.16 o -8420 3584.13/3596.16 o -8422 3584.13/3596.16 o -8435 3584.13/3596.16 o -8441 3584.13/3596.16 o -8446 3584.13/3596.16 o -8448 3584.13/3596.16 o -8450 3584.13/3596.16 o -8458 3584.13/3596.16 o -8459 3584.13/3596.16 o -8465 3584.13/3596.16 o -8471 3584.13/3596.16 o -8472 3584.13/3596.16 o -8474 3584.13/3596.16 o -8479 3584.13/3596.16 c Program interrupted by user. 3584.13/3596.16 s SATISFIABLE 3584.13/3596.16 v -x1 -x2 -x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 -x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 -x48 -x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 -x63 -x64 x65 x66 -x67 -x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 -x81 x82 x83 -x84 -x85 -x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 -x96 -x97 -x98 -x99 x100 -x101 x102 -x103 -x104 x105 -x106 x107 x108 x109 x110 x111 x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 x125 x126 x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 x139 x140 x141 x142 x143 x144 x145 -x146 -x147 -x148 x149 x150 -x151 x152 -x153 -x154 -x155 -x156 x157 x158 x159 x160 x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 x176 x177 x178 x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 x194 x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 -x248 -x249 -x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 -x263 x264 -x265 -x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 x306 x307 x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 -x330 -x331 -x332 x333 -x334 -x335 x336 -x337 x338 x339 x340 x341 x342 x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 x375 -x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 x407 x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 x424 x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 x521 x522 x523 x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 x533 x534 x535 x536 x537 x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 x567 x568 x569 x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 x601 x602 x603 x604 x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 x824 x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 x838 x839 x840 x841 x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 x856 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 x2021 -x2022 x2023
OK -8479
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 (61896 MiB free)
memory of node 1: 64473 MiB (63261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438474-1722966224/watcher-4438474-1722966224 -o /tmp/evaluation-result-4438474-1722966224/solver-4438474-1722966224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722959025-340263 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438474-1722966224.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=344828, runsolver pid=344825
[startup+0.100831 s]*
/proc/loadavg: 4.19 4.20 4.18 5/252 344832
/proc/meminfo: memFree=128148340/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=25712 memory=7280 CPUtime=0.09 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 1170 0 0 0 9 0 0 0 20 0 1 0 62993521 26329088 1820 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 6428 1820 750 2417 0 3530 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44304 KiB
Current children cumulated memory: 10868 KiB
[startup+0.21342 s]*
/proc/loadavg: 4.19 4.20 4.18 5/252 344832
/proc/meminfo: memFree=128135992/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=31620 memory=13088 CPUtime=0.2 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 2627 0 0 0 20 0 0 0 20 0 1 0 62993521 32378880 3272 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 7905 3272 750 2417 0 5007 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50212 KiB
Current children cumulated memory: 16676 KiB
[startup+0.31386 s]*
/proc/loadavg: 4.19 4.20 4.18 4/248 344834
/proc/meminfo: memFree=128173632/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=37856 memory=19280 CPUtime=0.3 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 4201 0 0 0 29 1 0 0 20 0 1 0 62993521 38764544 4820 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 9497 4820 750 2417 0 6599 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56448 KiB
Current children cumulated memory: 22868 KiB
[startup+0.700412 s]
/proc/loadavg: 4.19 4.20 4.18 6/248 344848
/proc/meminfo: memFree=128052460/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=48568 memory=32548 CPUtime=0.67 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 6925 0 0 0 66 1 0 0 20 0 1 0 62993521 49733632 8137 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 12142 8137 782 2417 0 9244 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67160 KiB
Current children cumulated memory: 36136 KiB
[startup+1.50042 s]
/proc/loadavg: 4.17 4.20 4.18 5/245 344871
/proc/meminfo: memFree=128016056/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=48568 memory=32548 CPUtime=1.47 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 6925 0 0 0 146 1 0 0 20 0 1 0 62993521 49733632 8137 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 12142 8137 782 2417 0 9244 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 67160 KiB
Current children cumulated memory: 36136 KiB
[startup+3.11375 s]
/proc/loadavg: 4.17 4.20 4.18 5/252 344885
/proc/meminfo: memFree=127688220/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=140560 memory=114508 CPUtime=3.08 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 20786 0 0 0 303 5 0 0 20 0 1 0 62993521 143933440 28627 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 35140 28627 782 2417 0 32242 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 159152 KiB
Current children cumulated memory: 118096 KiB
[startup+6.30047 s]
/proc/loadavg: 4.16 4.20 4.18 5/252 344885
/proc/meminfo: memFree=127206532/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=313036 memory=296256 CPUtime=6.26 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 37144 0 0 0 615 11 0 0 20 0 1 0 62993521 320548864 74064 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 78259 74064 782 2417 0 75361 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 331628 KiB
Current children cumulated memory: 299844 KiB
[startup+12.7005 s]
/proc/loadavg: 4.15 4.19 4.18 5/252 344885
/proc/meminfo: memFree=123996416/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=2090844 memory=1908628 CPUtime=12.64 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 126925 0 0 0 1216 48 0 0 20 0 1 0 62993521 2141024256 477157 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 522711 477157 782 2417 0 519813 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2109436 KiB
Current children cumulated memory: 1912216 KiB
[startup+25.5005 s]
/proc/loadavg: 4.12 4.19 4.18 5/252 344939
/proc/meminfo: memFree=123590344/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=2326688 memory=2006256 CPUtime=25.4 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 133236 0 0 0 2487 53 0 0 20 0 1 0 62993521 2382528512 501564 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 581672 501564 782 2417 0 578774 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2345280 KiB
Current children cumulated memory: 2009844 KiB
[startup+51.1135 s]
/proc/loadavg: 4.14 4.18 4.18 5/252 344943
/proc/meminfo: memFree=121582860/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 652 573 264 0 134 0
[pid=344831] ppid=344828 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344831/stat : 344831 (timeout) S 344828 344831 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62993520 8867840 245 134679101440 94707358679040 94707358714056 140727037583008 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94707360811472 94707360813604 94707369279488 140727037588492 140727037588637 140727037588637 140727037595623 0
/proc/344831/statm: 2165 245 220 9 0 87 0
[pid=344832] ppid=344831 vsize=2326688 memory=2006256 CPUtime=50.92 cores=0,2
/proc/344832/stat : 344832 (CASHWMaxSAT-Dis) R 344831 344831 340253 0 -1 4194304 133573 0 0 0 5039 53 0 0 20 0 1 0 62993521 2382528512 501564 134679101440 4194304 14093885 140730372636064 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 49856512 140730372637714 140730372637846 140730372637846 140730372644832 0
/proc/344832/statm: 581672 501564 782 2417 0 578774 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2345280 KiB
Current children cumulated memory: 2009844 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.17 4.17 5/252 344952
/proc/meminfo: memFree=121238324/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 243 107 0 0 0 0 0 0 20 0 1 0 62993520 10170368 652 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
################
# More data... #
################
/proc/345894/statm: 96287 86774 764 737 0 95375 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 403740 KiB
Current children cumulated memory: 350804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.19 5/252 346836
/proc/meminfo: memFree=117026220/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363724 CPUtime=1718.72 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55404 0 0 0 171850 22 0 0 20 0 1 0 63173322 411693056 90931 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90931 764 737 0 99599 0
Current children cumulated CPU time: 3510.53 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.18 5/252 346847
/proc/meminfo: memFree=117025248/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363888 CPUtime=1778.55 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55539 0 0 0 177833 22 0 0 20 0 1 0 63173322 411693056 90972 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90972 764 737 0 99599 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367596 KiB
[startup+3596.17 s]
# the end of solver process 344828 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.99 s, system=1.22782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.18 5/252 346848
/proc/meminfo: memFree=117025152/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363888 CPUtime=1780.25 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55540 0 0 0 178003 22 0 0 20 0 1 0 63173322 411693056 90972 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90972 764 737 0 99599 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367596 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.18 5/252 346848
/proc/meminfo: memFree=117025000/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363888 CPUtime=1786.62 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55541 0 0 0 178640 22 0 0 20 0 1 0 63173322 411693056 90972 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90972 764 737 0 99599 0
Current children cumulated CPU time: 3578.43 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367596 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.18 5/252 346850
/proc/meminfo: memFree=117024992/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363896 CPUtime=1789.81 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55648 0 0 0 178959 22 0 0 20 0 1 0 63173322 411693056 90974 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90974 764 737 0 99599 0
Current children cumulated CPU time: 3581.62 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367604 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.18 5/252 346850
/proc/meminfo: memFree=117024944/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363896 CPUtime=1791.41 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55648 0 0 0 179119 22 0 0 20 0 1 0 63173322 411693056 90974 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90974 764 737 0 99599 0
Current children cumulated CPU time: 3583.22 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367604 KiB
[startup+3595.6 s]
/proc/loadavg: 4.09 4.12 4.18 5/252 346850
/proc/meminfo: memFree=117024944/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363896 CPUtime=1791.81 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55648 0 0 0 179159 22 0 0 20 0 1 0 63173322 411693056 90974 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90974 764 737 0 99599 0
Current children cumulated CPU time: 3583.62 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367604 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.18 4/243 346903
/proc/meminfo: memFree=117120388/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=402044 memory=363896 CPUtime=1792.22 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55648 0 0 0 179200 22 0 0 20 0 1 0 63173322 411693056 90974 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 100511 90974 764 737 0 99599 0
Current children cumulated CPU time: 3584.03 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 367604 KiB
[startup+3596.11 s]
/proc/loadavg: 4.09 4.12 4.18 4/243 346903
/proc/meminfo: memFree=117120388/131655788 swapFree=131071996/131071996
[pid=344828] ppid=344825 vsize=9932 memory=2668 CPUtime=1791.81 cores=0,2
/proc/344828/stat : 344828 (Hybrid-CASHWMax) S 344825 344828 340253 0 -1 4194304 274 203565 0 0 0 0 179083 98 20 0 1 0 62993520 10170368 667 134679101440 94680594440192 94680595519512 140721009219040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94680597617968 94680597665156 94680610729984 140721009222608 140721009222766 140721009222766 140721009229781 0
/proc/344828/statm: 2483 667 573 264 0 134 0
[pid=345893] ppid=344828 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/345893/stat : 345893 (timeout) S 344828 345893 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63173321 8867840 260 134679101440 94692044513280 94692044548296 140720387509616 0 0 0 0 3293184 73735 0 0 0 17 2 0 0 0 0 0 94692046645712 94692046647844 94692054212608 140720387511284 140720387511453 140720387511453 140720387518439 0
/proc/345893/statm: 2165 260 236 9 0 87 0
[pid=345894] ppid=345893 vsize=240216 memory=234720 CPUtime=1792.32 cores=0,2
/proc/345894/stat : 345894 (Exact) R 345893 345893 340253 0 -1 4194304 55654 0 0 0 179210 22 0 0 20 0 1 0 63173322 245981184 58680 134679101440 4194304 7210733 140730680409696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4 0 0 7850304 7914896 14143488 140730680415248 140730680415398 140730680415398 140730680422384 0
/proc/345894/statm: 60054 58680 856 737 0 59142 0
Current children cumulated CPU time: 3584.13 s
Current children cumulated vsize: 258808 KiB
Current children cumulated memory: 238428 KiB
Child status: 0
Real time (s): 3596.17
CPU time (s): 3584.22
CPU user time (s): 3582.99
CPU system time (s): 1.22782
CPU usage (%): 99.6676
Max. virtual memory (cumulated for all children) (KiB): 3393468
Max. memory (cumulated for all children) (KiB): 2860664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.99
system time used= 1.22782
maximum resident set size= 2857076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 422
involuntary context switches= 25071
# summary of solver processes directly reported to runsolver:
# pid: 344828
# total CPU time (s): 3584.22
# total CPU user time (s): 3582.99
# total CPU system time (s): 1.22782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1291 second user time and 38.8502 second system time
The end
Begin job on nodeC004 at 2024-08-06 19:43:44 IDJOB=4438474 IDBENCH=155343 IDSOLVER=3073 FILE ID=nodeC004/4438474-1722966224 RUNJOBID= nodeC004-1722959025-340263 SLURM_JOB_ID= 8259024 Free space on /tmp= 723728 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438474-1722966224/watcher-4438474-1722966224 -o /tmp/evaluation-result-4438474-1722966224/solver-4438474-1722966224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722959025-340263 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438474-1722966224.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db RANDOM SEED=802109645 nodeC004.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.234 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.85 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 : 3655.339 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.39 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.245 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.85 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.390 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.39 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 : 3658.385 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.85 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 : 3491.928 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.39 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.261 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.85 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.281 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128161416 kB MemAvailable: 129702228 kB Buffers: 343908 kB Cached: 2039524 kB SwapCached: 0 kB Active: 628572 kB Inactive: 2385064 kB Active(anon): 1484 kB Inactive(anon): 666108 kB Active(file): 627088 kB Inactive(file): 1718956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 75140 kB Writeback: 0 kB AnonPages: 629492 kB Mapped: 122104 kB Shmem: 37704 kB KReclaimable: 69936 kB Slab: 155908 kB SReclaimable: 69936 kB SUnreclaim: 85972 kB KernelStack: 4032 kB PageTables: 10220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1048916 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24704 kB HardwareCorrupted: 0 kB AnonHugePages: 270336 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: 252744 kB DirectMap2M: 20623360 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 723700 MiB End job on nodeC004 at 2024-08-06 20:43:40