Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.07 | 3609.41 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo |
| MD5SUM | 67d067d79b844c4946a358fd5c7ae34f |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 7648133 |
| Best CPU time to get the best result obtained on this benchmark | 1.29866 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1300 |
| Total number of constraints | 2598 |
| Number of soft constraints | 2523 |
| Number of constraints which are clauses | 2523 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 59386724 |
| Min constraint cost | 1 |
| Max constraint cost | 59386724 |
| Sum of constraints costs | 74836280126 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 o 26802925 0.00/0.06 o 26794675 0.00/0.06 o 26792980 0.00/0.06 o 26782377 0.00/0.06 o 26701689 0.00/0.06 o 26687191 0.00/0.06 o 26438193 0.00/0.06 o 26300771 0.00/0.06 o 26125527 0.00/0.06 o 23799753 0.00/0.06 o 23654493 0.00/0.07 o 23650959 0.00/0.07 o 23600137 0.00/0.07 o 23595109 0.00/0.07 o 23594544 0.00/0.08 o 23591371 0.00/0.08 o 23518388 0.00/0.08 o 23476977 0.00/0.08 o 23475580 0.00/0.08 o 23467716 0.00/0.08 o 23462688 0.00/0.08 o 23462123 0.00/0.09 o 23372471 0.00/0.09 o 23227211 0.00/0.09 o 23205581 0.00/0.09 o 23200226 0.00/0.09 o 23191484 0.00/0.09 o 23190919 0.00/0.10 o 23184696 0.10/0.10 o 23183943 0.10/0.10 o 23182742 0.10/0.10 o 23178639 0.10/0.10 o 23178559 0.10/0.10 o 23177977 0.10/0.10 o 23176483 0.10/0.10 o 23175472 0.10/0.11 o 22821722 0.10/0.12 o 22821178 0.10/0.12 o 22820425 0.10/0.12 o 22819224 0.10/0.12 o 22815121 0.10/0.12 o 22815041 0.10/0.12 o 22814459 0.10/0.12 o 22812965 0.10/0.12 o 22811954 0.10/0.13 o 22808056 0.10/0.13 o 22806361 0.10/0.13 o 22792347 0.10/0.14 o 22775430 0.10/0.14 o 22766164 0.10/0.14 o 22757062 0.10/0.14 o 22754930 0.10/0.14 o 22741318 0.10/0.16 o 22565068 0.10/0.16 o 22419808 0.10/0.16 o 22414558 0.10/0.16 o 22414120 0.10/0.16 o 22384745 0.10/0.16 o 22382620 0.20/0.22 o 22367868 0.20/0.22 o 22363765 0.20/0.22 o 22363685 0.20/0.22 o 22363103 0.20/0.22 o 22361609 0.20/0.23 o 22360598 0.20/0.23 o 22301076 0.20/0.23 o 22299381 0.20/0.23 o 22241571 0.20/0.24 o 22234637 0.20/0.24 o 22177483 0.20/0.24 o 22127053 0.20/0.25 o 22098970 0.20/0.25 o 22061758 0.20/0.25 o 22053016 0.20/0.27 o 22013704 0.20/0.28 o 21978641 0.20/0.28 o 21976516 0.20/0.30 o 21908715 0.30/0.33 o 21900947 0.30/0.33 o 21896844 0.30/0.33 o 21896764 0.30/0.34 o 21896182 0.40/0.45 o 21896079 0.40/0.45 o 21861016 0.40/0.45 o 21858891 0.50/0.55 o 21823994 0.50/0.55 o 21796207 0.50/0.56 o 21792185 0.50/0.56 o 21646925 1.69/1.72 o 20897181 1.69/1.72 o 20896377 1.69/1.73 o 20893745 1.69/1.73 o 20882972 1.69/1.74 o 20876986 1.69/1.74 o 20873670 1.69/1.75 o 20868493 1.69/1.76 o 20867717 1.69/1.77 o 20863980 1.69/1.77 o 20859224 1.69/1.78 o 20847492 1.69/1.78 o 20844925 1.69/1.79 o 20838939 1.79/1.81 o 20833755 1.79/1.81 o 20829655 1.79/1.82 o 20681133 1.79/1.83 o 20677033 1.79/1.84 o 20671968 1.79/1.84 o 20671888 1.79/1.85 o 20669812 1.79/1.85 o 20667320 1.79/1.86 o 20667240 1.79/1.86 o 20665164 1.79/1.87 o 20664753 1.79/1.87 o 20664673 1.79/1.88 o 20662597 1.79/1.89 o 20533811 1.79/1.89 o 20528507 1.89/1.90 o 20528427 1.89/1.90 o 20526351 1.89/1.92 o 20525858 1.89/1.92 o 20524781 1.89/1.93 o 20523248 1.89/1.93 o 20520681 1.89/1.94 o 20520601 1.89/1.94 o 20518525 1.89/1.96 o 20472549 1.89/1.96 o 20465334 1.89/1.98 o 20430243 1.89/1.98 o 20423028 1.89/1.99 o 20417963 1.89/2.00 o 20417883 1.99/2.01 o 20415807 1.99/2.03 o 19577098 1.99/2.03 o 19526668 1.99/2.04 o 19516280 1.99/2.04 o 19515527 1.99/2.05 o 19510223 1.99/2.05 o 19510143 1.99/2.06 o 19508067 1.99/2.06 o 19503008 1.99/2.07 o 19502928 1.99/2.07 o 19500852 2.09/2.11 o 19417057 2.09/2.11 o 19379460 2.09/2.12 o 19374991 2.09/2.12 o 19359247 2.09/2.13 o 19354113 2.09/2.14 o 19349644 2.09/2.15 o 19333900 2.09/2.16 o 19311145 2.09/2.16 o 19306676 2.09/2.17 o 19290932 2.09/2.17 o 19277057 2.09/2.18 o 19276977 2.09/2.19 o 19274901 2.18/2.28 o 19274001 2.29/2.31 o 19246359 2.29/2.32 o 19239827 2.29/2.32 o 19196859 2.29/2.33 o 19189644 2.29/2.34 o 19184579 2.29/2.34 o 19184499 2.29/2.35 o 19182423 2.29/2.35 o 19177364 2.29/2.36 o 19177284 2.29/2.37 o 19175208 2.38/2.44 o 18686843 2.38/2.44 o 17469970 2.38/2.45 o 17330827 2.38/2.45 o 17228199 2.38/2.46 o 17217811 2.38/2.47 o 17217058 2.38/2.47 o 17211754 2.38/2.48 o 17211674 2.38/2.49 o 17209598 2.48/2.50 o 17209301 2.48/2.50 o 17206128 2.48/2.51 o 17205375 2.48/2.51 o 17200071 2.48/2.52 o 17199991 2.48/2.52 o 17197915 2.48/2.53 o 17192856 2.48/2.54 o 17192776 2.48/2.54 o 17190700 2.58/2.67 o 15324631 2.58/2.68 o 15314243 2.58/2.68 o 15313490 2.58/2.69 o 15308186 2.58/2.69 o 15308106 2.68/2.70 o 15306030 2.68/2.71 o 15284202 2.68/2.73 o 15147956 2.68/2.77 o 15135246 2.78/2.83 o 14824873 2.78/2.83 o 14789295 2.78/2.84 o 14685109 2.78/2.86 o 14219896 2.78/2.87 o 14139666 2.78/2.87 o 14063265 2.78/2.89 o 13737237 2.88/2.90 o 13661924 2.88/2.97 o 13659825 2.88/2.98 o 13653602 2.88/2.99 o 13652849 2.88/2.99 o 13647545 2.98/3.00 o 13647465 2.98/3.01 o 13646883 2.98/3.01 o 13645389 2.98/3.02 o 13640920 2.98/3.03 o 13638788 2.98/3.03 o 13637886 2.98/3.04 o 13625176 2.98/3.09 o 13558289 3.18/3.29 o 13557845 3.28/3.30 o 13556351 3.28/3.32 o 13544858 3.38/3.48 o 13532421 3.48/3.50 o 13509486 3.48/3.53 o 13505152 3.48/3.54 o 13505072 3.48/3.54 o 13504490 3.58/3.63 o 13504084 3.58/3.64 o 13499456 3.58/3.65 o 13498703 3.58/3.66 o 13493399 3.58/3.67 o 13493319 3.58/3.68 o 13492737 3.58/3.69 o 13491243 3.68/3.71 o 13489356 3.68/3.72 o 13475481 3.78/3.81 o 13470715 3.78/3.83 o 13470635 3.78/3.84 o 13470053 3.78/3.85 o 13468559 3.78/3.86 o 13463931 3.88/3.93 o 13459056 3.99/4.05 o 13456364 3.99/4.06 o 13456284 3.99/4.07 o 13455702 3.99/4.09 o 13454208 4.09/4.14 o 13441498 4.18/4.22 o 13437426 4.28/4.38 o 13428353 4.38/4.41 o 13416073 4.38/4.42 o 13415993 4.38/4.43 o 13415411 4.38/4.45 o 13413917 4.78/4.86 o 13402424 5.47/5.56 o 13400024 5.57/5.67 o 13385796 5.67/5.73 o 13385716 5.67/5.75 o 13385134 5.67/5.78 o 13383640 5.77/5.83 o 13378765 13.35/13.49 o 13374137 13.45/13.52 o 13373301 13.45/13.55 o 13372945 13.45/13.58 o 13371862 13.55/13.60 o 13370988 13.55/13.65 o 13328381 19.24/19.37 o 13291217 19.34/19.40 o 13288139 22.83/22.94 o 13252126 31.81/31.90 o 13251753 32.21/32.34 o 13201323 33.01/33.13 o 13196695 35.70/35.83 o 13168408 35.70/35.88 o 13118605 35.80/35.90 o 13091652 35.80/35.92 o 12627738 35.80/35.94 o 12581592 36.30/36.47 o 12562440 38.09/38.29 o 12544351 38.19/38.32 o 12536887 40.99/41.17 o 12525342 41.09/41.23 o 12160092 41.09/41.26 o 12092934 41.09/41.29 o 11561130 41.29/41.45 o 11560645 41.29/41.49 o 11560565 41.39/41.53 o 11559983 41.39/41.57 o 11558489 41.48/41.62 o 11558058 41.48/41.66 o 11557978 41.58/41.70 o 11557396 41.58/41.73 o 11555902 41.58/41.77 o 11554891 41.68/41.85 o 11553430 41.68/41.89 o 11553350 41.78/41.93 o 11552768 41.78/41.96 o 11551274 41.78/42.00 o 11550263 42.08/42.29 o 11548555 42.18/42.33 o 11548475 42.18/42.37 o 11547893 42.28/42.41 o 11546399 42.28/42.44 o 11545388 54.55/54.73 o 11542204 54.55/54.73 o 11539980 54.55/54.74 o 11538631 54.55/54.74 o 11537641 54.55/54.74 o 11537006 54.55/54.74 o 11535389 54.55/54.76 o 11498177 54.55/54.76 o 11489435 54.55/54.78 o 11190188 54.65/54.80 o 11159374 54.65/54.80 o 10940036 54.65/54.82 o 10934786 54.65/54.82 o 10934348 54.65/54.83 o 10904973 54.65/54.83 o 10902848 54.65/54.85 o 10893429 54.65/54.85 o 10887929 54.65/54.85 o 10841764 54.65/54.85 o 10820658 54.65/54.87 o 10739675 54.65/54.89 o 10716961 54.65/54.89 o 10681865 54.75/54.94 o 10495420 54.75/54.94 o 10393068 54.86/55.03 o 9892435 54.86/55.03 o 9824522 54.86/55.03 o 9732747 55.05/55.21 o 9725427 55.05/55.29 o 9615484 55.05/55.29 o 9556917 55.05/55.29 o 9520869 55.45/55.69 o 9517791 55.45/55.69 o 9498639 56.15/56.37 o 9494617 57.15/57.36 o 9460310 57.15/57.37 o 9197164 57.15/57.39 o 9012434 57.25/57.40 o 8966440 57.25/57.41 o 8852209 61.44/61.64 o 8595754 61.44/61.66 o 8480442 61.44/61.68 o 8441851 71.11/71.31 o 8404651 72.21/72.44 o 8404527 84.68/84.95 o 8400424 84.68/84.97 o 8395616 84.68/84.99 o 8393491 84.79/85.00 o 8380355 84.79/85.01 o 8379960 84.79/85.02 o 8376457 84.79/85.03 o 8374762 84.89/85.12 o 8353656 84.89/85.16 o 8214513 84.89/85.17 o 8214237 84.89/85.18 o 8111885 85.18/85.41 o 8107257 85.18/85.45 o 8102839 85.38/85.69 o 8099381 85.48/85.70 o 8097823 85.48/85.71 o 8091629 85.48/85.72 o 8088551 85.48/85.73 o 8069399 98.44/98.70 o 8001131 104.23/104.57 o 7987086 104.23/104.58 o 7981636 109.41/109.76 o 7939300 115.70/116.10 o 7938235 115.80/116.14 o 7937105 115.80/116.17 o 7936540 118.39/118.72 o 7935942 121.08/121.45 o 7933588 123.08/123.40 o 7933275 123.08/123.42 o 7931500 123.08/123.43 o 7931028 123.08/123.45 o 7929964 123.18/123.56 o 7838189 123.97/124.37 o 7813769 125.87/126.24 o 7809136 138.24/138.63 o 7752698 138.44/138.84 o 7752133 185.31/185.83 o 7749779 190.00/190.52 o 7749606 190.00/190.53 o 7747911 190.10/190.64 o 7747771 190.10/190.65 o 7747173 190.10/190.66 o 7746882 190.10/190.67 o 7741957 190.10/190.69 o 7741027 190.20/190.70 o 7740430 190.20/190.71 o 7739958 190.51/191.04 o 7739815 190.51/191.06 o 7739343 190.51/191.07 o 7738778 190.51/191.09 o 7738386 190.51/191.10 o 7737751 190.60/191.11 o 7737198 190.60/191.13 o 7736600 190.80/191.32 o 7736263 190.80/191.33 o 7735252 190.80/191.35 o 7734892 190.80/191.36 o 7733903 190.80/191.38 o 7733511 190.80/191.39 o 7732913 190.90/191.41 o 7732876 190.90/191.42 o 7732323 190.90/191.44 o 7732278 190.90/191.45 o 7731725 191.00/191.53 o 7731639 191.00/191.54 o 7731041 191.00/191.56 o 7730030 191.20/191.74 o 7728301 191.20/191.75 o 7727703 191.20/191.77 o 7727171 191.20/191.79 o 7726606 191.30/191.81 o 7726573 191.30/191.82 o 7726008 196.39/196.93 o 7725745 197.18/197.76 o 7721723 211.75/212.38 o 7721455 212.84/213.40 o 7721018 212.84/213.42 o 7720144 212.84/213.44 o 7719010 212.84/213.45 o 7718300 212.84/213.47 o 7717170 378.14/379.14 o 7712691 1378.28/1382.26 o 7712625 1378.38/1382.30 o 7706888 1379.08/1383.02 o 7706629 1379.08/1383.04 o 7705755 1379.08/1383.06 o 7704130 1379.08/1383.08 o 7702603 3600.05/3609.40 c Program interrupted by user. 3600.05/3609.40 s SATISFIABLE 3600.05/3609.40 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
OK 7702603
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55645 MiB free)
memory of node 1: 64473 MiB (48989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456463-1721722153/watcher-4456463-1721722153 -o /tmp/evaluation-result-4456463-1721722153/solver-4456463-1721722153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721718417-85830 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2010145809 HOME/instance-4456463-1721722153.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=88543, runsolver pid=88540
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.21 4.16 4.10 6/256 88544
/proc/meminfo: memFree=107136936/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=33540 memory=12644 CPUtime=0.1 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 2677 0 0 0 10 0 0 0 20 0 1 0 8745034 34344960 3161 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 8385 3161 835 746 0 7449 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33540 KiB
Current children cumulated memory: 12644 KiB
[startup+0.205493 s]*
/proc/loadavg: 4.21 4.16 4.10 5/256 88544
/proc/meminfo: memFree=107131864/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=36180 memory=17328 CPUtime=0.2 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 3352 0 0 0 20 0 0 0 20 0 1 0 8745034 37048320 4332 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 9045 4332 835 746 0 8109 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36180 KiB
Current children cumulated memory: 17328 KiB
[startup+0.304545 s]*
/proc/loadavg: 4.21 4.16 4.10 5/256 88544
/proc/meminfo: memFree=107120036/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=37936 memory=21220 CPUtime=0.3 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 3799 0 0 0 30 0 0 0 20 0 1 0 8745034 38846464 5305 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 9484 5305 835 746 0 8548 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 21220 KiB
[startup+0.700187 s]
/proc/loadavg: 4.21 4.16 4.10 5/256 88544
/proc/meminfo: memFree=107115516/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=43824 memory=30852 CPUtime=0.68 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 5197 0 0 0 68 0 0 0 20 0 1 0 8745034 44875776 7713 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 10956 7713 835 746 0 10020 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43824 KiB
Current children cumulated memory: 30852 KiB
[startup+1.50019 s]
/proc/loadavg: 4.21 4.16 4.10 6/256 88544
/proc/meminfo: memFree=107107164/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=47760 memory=35800 CPUtime=1.49 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 5921 0 0 0 148 1 0 0 20 0 1 0 8745034 48906240 8950 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 11940 8950 835 746 0 11004 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 35800 KiB
[startup+3.10535 s]
/proc/loadavg: 4.19 4.16 4.10 6/256 88544
/proc/meminfo: memFree=107089652/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=68176 memory=50116 CPUtime=3.08 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 8153 0 0 0 307 1 0 0 20 0 1 0 8745034 69812224 12529 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 17044 12529 835 746 0 16108 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68176 KiB
Current children cumulated memory: 50116 KiB
[startup+6.30021 s]
/proc/loadavg: 4.19 4.16 4.10 6/256 88544
/proc/meminfo: memFree=107060992/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=111320 memory=78228 CPUtime=6.28 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 12562 0 0 0 625 3 0 0 20 0 1 0 8745034 113991680 19557 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 27830 19557 835 746 0 26894 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 111320 KiB
Current children cumulated memory: 78228 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.10 6/256 88545
/proc/meminfo: memFree=107008460/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=187508 memory=136128 CPUtime=12.66 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 20829 0 0 0 1261 5 0 0 20 0 1 0 8745034 192008192 34032 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 46877 34032 835 746 0 45941 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 187508 KiB
Current children cumulated memory: 136128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.09 6/256 88547
/proc/meminfo: memFree=106955684/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=187508 memory=136476 CPUtime=25.42 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 20960 0 0 0 2537 5 0 0 20 0 1 0 8745034 192008192 34119 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 46877 34119 835 746 0 45941 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 187508 KiB
Current children cumulated memory: 136476 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.15 4.10 6/256 88551
/proc/meminfo: memFree=106774452/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=222984 memory=191856 CPUtime=50.97 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 28742 0 0 0 5089 8 0 0 20 0 1 0 8745034 228335616 47964 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 55746 47964 835 746 0 54810 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 222984 KiB
Current children cumulated memory: 191856 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/257 88563
/proc/meminfo: memFree=106636660/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=292068 memory=252572 CPUtime=102.03 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 43992 0 0 0 10190 13 0 0 20 0 1 0 8745034 299077632 63143 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 73017 63143 835 746 0 72081 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 292068 KiB
Current children cumulated memory: 252572 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/257 88577
/proc/meminfo: memFree=106426448/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=293884 memory=254208 CPUtime=161.87 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 44481 0 0 0 16174 13 0 0 20 0 1 0 8745034 300937216 63552 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 73471 63552 835 746 0 72535 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 293884 KiB
Current children cumulated memory: 254208 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/256 88587
/proc/meminfo: memFree=106343508/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=299776 memory=258656 CPUtime=221.72 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 45623 0 0 0 22159 13 0 0 20 0 1 0 8745034 306970624 64664 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 74944 64664 851 746 0 74008 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 299776 KiB
Current children cumulated memory: 258656 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 88598
/proc/meminfo: memFree=106336704/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=299776 memory=258920 CPUtime=281.58 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 45669 0 0 0 28144 14 0 0 20 0 1 0 8745034 306970624 64730 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 74944 64730 851 746 0 74008 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 299776 KiB
Current children cumulated memory: 258920 KiB
[startup+342.3 s]
/proc/loadavg: 4.46 4.22 4.13 6/257 88609
/proc/meminfo: memFree=106326244/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=299776 memory=258920 CPUtime=341.43 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 45687 0 0 0 34129 14 0 0 20 0 1 0 8745034 306970624 64730 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 74944 64730 851 746 0 74008 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 299776 KiB
Current children cumulated memory: 258920 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.19 4.12 7/255 88619
/proc/meminfo: memFree=106319520/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=299776 memory=259032 CPUtime=401.27 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 45705 0 0 0 40113 14 0 0 20 0 1 0 8745034 306970624 64758 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 74944 64758 851 746 0 74008 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 299776 KiB
Current children cumulated memory: 259032 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.17 4.12 6/255 88630
/proc/meminfo: memFree=106313320/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=300408 memory=259508 CPUtime=461.12 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 45851 0 0 0 46098 14 0 0 20 0 1 0 8745034 307617792 64877 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 75102 64877 851 746 0 74166 0
Current children cumulated CPU time: 461.12 s
################
# More data... #
################
Current children cumulated memory: 289688 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/257 90119
/proc/meminfo: memFree=103132016/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=304260 memory=289688 CPUtime=2854.72 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 49793 0 0 0 285456 16 0 0 20 0 1 0 8745034 311562240 72422 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76065 72422 851 746 0 75129 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 304260 KiB
Current children cumulated memory: 289688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/257 90130
/proc/meminfo: memFree=103131060/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=304260 memory=289688 CPUtime=2914.58 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 49908 0 0 0 291442 16 0 0 20 0 1 0 8745034 311562240 72422 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76065 72422 851 746 0 75129 0
Current children cumulated CPU time: 2914.58 s
Current children cumulated vsize: 304260 KiB
Current children cumulated memory: 289688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/259 90310
/proc/meminfo: memFree=103126728/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=304260 memory=289688 CPUtime=2974.44 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 50025 0 0 0 297428 16 0 0 20 0 1 0 8745034 311562240 72422 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76065 72422 851 746 0 75129 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 304260 KiB
Current children cumulated memory: 289688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/259 90321
/proc/meminfo: memFree=103124360/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=304960 memory=290168 CPUtime=3034.3 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 50266 0 0 0 303414 16 0 0 20 0 1 0 8745034 312279040 72542 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76240 72542 851 746 0 75304 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 304960 KiB
Current children cumulated memory: 290168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/257 90334
/proc/meminfo: memFree=103115064/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306340 memory=291240 CPUtime=3094.15 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 50650 0 0 0 309399 16 0 0 20 0 1 0 8745034 313692160 72810 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76585 72810 851 746 0 75649 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 306340 KiB
Current children cumulated memory: 291240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/257 90357
/proc/meminfo: memFree=103114044/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306340 memory=291240 CPUtime=3154.01 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 50769 0 0 0 315385 16 0 0 20 0 1 0 8745034 313692160 72810 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76585 72810 851 746 0 75649 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 306340 KiB
Current children cumulated memory: 291240 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/257 90367
/proc/meminfo: memFree=103110976/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306340 memory=291304 CPUtime=3213.87 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 50898 0 0 0 321371 16 0 0 20 0 1 0 8745034 313692160 72826 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76585 72826 851 746 0 75649 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 306340 KiB
Current children cumulated memory: 291304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/256 90377
/proc/meminfo: memFree=103110060/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306532 memory=291432 CPUtime=3273.73 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51051 0 0 0 327357 16 0 0 20 0 1 0 8745034 313888768 72858 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76633 72858 851 746 0 75697 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 306532 KiB
Current children cumulated memory: 291432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/257 90389
/proc/meminfo: memFree=103107884/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306532 memory=291432 CPUtime=3333.59 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51161 0 0 0 333343 16 0 0 20 0 1 0 8745034 313888768 72858 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76633 72858 851 746 0 75697 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 306532 KiB
Current children cumulated memory: 291432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 90400
/proc/meminfo: memFree=103106480/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306976 memory=291844 CPUtime=3393.44 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51386 0 0 0 339328 16 0 0 20 0 1 0 8745034 314343424 72961 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76744 72961 851 746 0 75808 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 306976 KiB
Current children cumulated memory: 291844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/255 90410
/proc/meminfo: memFree=103103524/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306976 memory=291844 CPUtime=3453.3 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51501 0 0 0 345314 16 0 0 20 0 1 0 8745034 314343424 72961 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76744 72961 851 746 0 75808 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 306976 KiB
Current children cumulated memory: 291844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/255 90421
/proc/meminfo: memFree=103100788/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306976 memory=291844 CPUtime=3513.16 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51618 0 0 0 351300 16 0 0 20 0 1 0 8745034 314343424 72961 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76744 72961 851 746 0 75808 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 306976 KiB
Current children cumulated memory: 291844 KiB
[startup+3582.3 s]
/proc/loadavg: 3.63 4.01 4.11 3/241 90493
/proc/meminfo: memFree=104174312/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306976 memory=291844 CPUtime=3573.02 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51734 0 0 0 357286 16 0 0 20 0 1 0 8745034 314343424 72961 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76744 72961 851 746 0 75808 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 306976 KiB
Current children cumulated memory: 291844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.99 3.82 4.04 3/241 90498
/proc/meminfo: memFree=104168624/131524600 swapFree=131071996/131071996
[pid=88543] ppid=88540 vsize=306976 memory=291844 CPUtime=3600.05 cores=1,3
/proc/88543/stat : 88543 (Exact_nosoplex) R 88540 88543 85818 0 -1 4194304 51735 0 0 0 359989 16 0 0 20 0 1 0 8745034 314343424 72961 134679101440 4194304 7248369 140727484279136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 41422848 140727484281771 140727484281950 140727484281950 140727484288966 0
/proc/88543/statm: 76744 72961 851 746 0 75808 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 306976 KiB
Current children cumulated memory: 291844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 88543 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.9 s, system=0.169548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.41
CPU time (s): 3600.07
CPU user time (s): 3599.9
CPU system time (s): 0.169548
CPU usage (%): 99.7414
Max. virtual memory (cumulated for all children) (KiB): 306976
Max. memory (cumulated for all children) (KiB): 291844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.9
system time used= 0.169548
maximum resident set size= 291844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 1526
# summary of solver processes directly reported to runsolver:
# pid: 88543
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.9
# total CPU system time (s): 0.169548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25761 second user time and 15.8477 second system time
The end
Begin job on nodeC033 at 2024-07-23 10:09:13 IDJOB=4456463 IDBENCH=144004 IDSOLVER=3039 FILE ID=nodeC033/4456463-1721722153 RUNJOBID= nodeC033-1721718417-85830 SLURM_JOB_ID= 7770410 Free space on /tmp= 890064 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap101_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456463-1721722153/watcher-4456463-1721722153 -o /tmp/evaluation-result-4456463-1721722153/solver-4456463-1721722153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721718417-85830 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2010145809 HOME/instance-4456463-1721722153.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f RANDOM SEED=2010145809 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.672 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.188 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.506 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.772 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.198 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.109 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.450 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 107146492 kB MemAvailable: 124599856 kB Buffers: 139792 kB Cached: 18069696 kB SwapCached: 0 kB Active: 903296 kB Inactive: 22765724 kB Active(anon): 1556 kB Inactive(anon): 5495724 kB Active(file): 901740 kB Inactive(file): 17270000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5100 kB Writeback: 0 kB AnonPages: 5457724 kB Mapped: 110640 kB Shmem: 37720 kB KReclaimable: 242892 kB Slab: 347188 kB SReclaimable: 242892 kB SUnreclaim: 104296 kB KernelStack: 4124 kB PageTables: 20296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6983512 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18976 kB HardwareCorrupted: 0 kB AnonHugePages: 4913152 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: 305876 kB DirectMap2M: 23584768 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890068 MiB End job on nodeC033 at 2024-07-23 11:09:23