Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_dombreaking 2025-06-16 | MSAT (TO) | 3600.63 | 3610.95 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub3_wcsp.wbo |
| MD5SUM | 25adf5b940a77273e2a5bcad45fe6bb3 |
| 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 | 3079 |
| Best CPU time to get the best result obtained on this benchmark | 43.3589 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 776 |
| Total number of constraints | 319436 |
| Number of soft constraints | 319418 |
| Number of constraints which are clauses | 319418 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 58724 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 41665382 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
363.52/364.98 o 29290 364.02/365.40 o 29289 364.32/365.77 o 29288 364.63/366.05 o 18325 364.92/366.35 o 11236 370.72/372.19 o 11235 370.91/372.38 o 9570 371.50/372.98 o 9539 371.71/373.15 o 9538 371.90/373.32 o 9537 372.10/373.52 o 9527 372.30/373.70 o 9517 372.40/373.87 o 9516 372.61/374.04 o 9515 372.80/374.20 o 9514 373.00/374.40 o 9513 373.09/374.57 o 9512 373.29/374.75 o 9511 373.50/374.92 o 9501 373.61/375.09 o 9491 373.80/375.27 o 9481 374.00/375.44 o 9471 374.19/375.65 o 9470 374.39/375.81 o 9469 383.27/384.77 o 9468 383.47/384.99 o 9467 383.77/385.22 o 9466 383.97/385.44 o 9465 384.26/385.70 o 9464 384.46/385.93 o 9463 384.68/386.15 o 9462 384.96/386.40 o 9461 385.16/386.64 o 9460 385.37/386.86 o 9459 385.58/387.08 o 9458 385.86/387.30 o 9457 386.06/387.53 o 9456 386.36/387.84 o 9455 386.57/388.06 o 9454 386.86/388.37 o 9453 387.06/388.59 o 9452 387.36/388.81 o 9451 387.57/389.03 o 9450 387.76/389.24 o 9449 387.96/389.46 o 9448 388.16/389.68 o 9447 388.46/389.90 o 9446 388.67/390.11 o 9445 388.85/390.33 o 9444 389.05/390.54 o 9443 389.26/390.76 o 9442 389.46/390.97 o 9441 389.67/391.19 o 9440 389.95/391.40 o 9439 390.15/391.62 o 9438 390.35/391.83 o 9437 390.56/392.04 o 9436 390.75/392.26 o 9435 390.95/392.47 o 9434 391.14/392.68 o 9433 391.45/392.98 o 9432 391.66/393.19 o 9431 391.94/393.40 o 9430 392.15/393.68 o 9429 392.45/393.90 o 9428 392.66/394.12 o 9427 392.84/394.32 o 9426 393.04/394.53 o 9425 393.25/394.73 o 9424 393.45/394.93 o 9423 393.66/395.13 o 9422 393.84/395.33 o 9421 394.04/395.59 o 9420 394.25/395.79 o 9419 394.45/395.98 o 9418 394.66/396.17 o 9417 394.84/396.37 o 9416 395.04/396.56 o 9415 395.24/396.75 o 9414 395.44/396.94 o 9413 395.65/397.13 o 9412 395.94/397.48 o 9411 396.13/397.67 o 9410 396.33/397.86 o 9409 396.54/398.05 o 9408 396.73/398.24 o 9407 396.93/398.42 o 9406 397.13/398.61 o 9405 397.23/398.80 o 9404 397.43/398.98 o 9403 401.42/402.95 o 9399 401.63/403.16 o 9398 401.82/403.36 o 9397 402.02/403.56 o 9396 402.22/403.76 o 9395 402.42/403.96 o 9394 402.82/404.33 o 9393 500.27/502.06 o 9238 500.46/502.28 o 9138 500.66/502.49 o 9038 500.96/502.71 o 8938 501.16/502.92 o 8928 501.37/503.14 o 8918 501.56/503.36 o 8908 501.76/503.57 o 8907 501.96/503.79 o 8906 502.16/504.00 o 8905 502.46/504.22 o 8895 502.65/504.43 o 8885 502.85/504.64 o 8875 503.05/504.86 o 8865 503.27/505.07 o 8855 503.45/505.28 o 8845 503.65/505.49 o 8835 503.85/505.70 o 8825 504.15/505.90 o 8815 504.36/506.11 o 8805 504.55/506.32 o 8795 504.75/506.52 o 8785 504.95/506.73 o 8775 505.15/506.93 o 8675 505.36/507.14 o 8575 505.55/507.34 o 8475 505.75/507.55 o 8465 505.95/507.76 o 8455 506.15/507.97 o 8445 506.36/508.17 o 8435 506.54/508.38 o 8425 506.74/508.59 o 8415 507.04/508.80 o 8405 507.25/509.01 o 8395 507.44/509.22 o 8394 507.64/509.44 o 8393 507.84/509.65 o 8392 508.04/509.86 o 8391 508.25/510.07 o 8390 508.44/510.28 o 8389 508.64/510.49 o 8388 508.94/510.70 o 8387 509.14/510.91 o 8377 509.35/511.12 o 8367 509.54/511.33 o 8357 509.74/511.53 o 8347 509.93/511.74 o 8337 510.13/511.95 o 8327 510.35/512.16 o 8317 510.53/512.36 o 8307 510.73/512.57 o 8306 510.93/512.78 o 8305 511.13/512.99 o 8304 511.43/513.20 o 8303 511.63/513.40 o 8302 511.83/513.61 o 8301 512.03/513.82 o 8300 512.24/514.02 o 8299 512.43/514.23 o 8298 512.63/514.43 o 8297 512.83/514.64 o 8296 513.03/514.84 o 8295 513.24/515.04 o 8294 513.43/515.25 o 8293 513.63/515.45 o 8292 513.82/515.65 o 8291 514.02/515.85 o 8290 514.23/516.05 o 8289 514.42/516.25 o 8288 514.62/516.45 o 8188 514.82/516.66 o 8088 515.02/516.86 o 7988 515.23/517.06 o 7987 515.42/517.26 o 7977 515.62/517.46 o 7967 515.82/517.67 o 7957 516.02/517.87 o 7857 516.23/518.07 o 7757 516.42/518.28 o 7756 516.62/518.48 o 7755 516.82/518.69 o 7754 517.02/518.90 o 7753 517.23/519.10 o 7752 517.51/519.30 o 7751 517.71/519.51 o 7750 517.91/519.71 o 7749 518.11/519.92 o 7748 518.32/520.12 o 7747 518.51/520.32 o 7746 518.71/520.53 o 7745 518.91/520.73 o 7744 519.11/520.93 o 7743 519.32/521.13 o 7742 519.51/521.33 o 7741 519.71/521.53 o 7731 519.91/521.73 o 7721 520.11/521.94 o 7711 520.32/522.14 o 7710 520.50/522.34 o 7709 520.71/522.54 o 7708 520.91/522.73 o 7707 521.11/522.94 o 7697 521.32/523.14 o 7687 521.51/523.34 o 7677 521.70/523.54 o 7667 521.90/523.74 o 7657 522.10/523.94 o 7647 522.32/524.14 o 7637 522.50/524.34 o 7627 522.70/524.54 o 7617 522.90/524.74 o 7607 523.10/524.94 o 7606 523.31/525.14 o 7605 523.50/525.33 o 7604 523.70/525.54 o 7594 523.90/525.74 o 7584 524.10/525.94 o 7574 524.32/526.14 o 7564 524.50/526.33 o 7554 524.89/526.71 o 7544 525.10/526.91 o 7534 525.21/527.10 o 7524 525.49/527.30 o 7523 525.59/527.49 o 7522 525.79/527.69 o 7521 525.99/527.88 o 7520 526.40/528.25 o 7519 526.60/528.44 o 7518 526.80/528.64 o 7418 526.99/528.84 o 7318 527.20/529.04 o 7218 527.39/529.24 o 7217 527.59/529.44 o 7216 527.79/529.63 o 7215 527.99/529.83 o 7214 528.20/530.03 o 7204 528.38/530.23 o 7194 528.59/530.42 o 7184 528.79/530.63 o 7084 528.99/530.82 o 7083 529.20/531.02 o 7082 529.39/531.21 o 7081 529.58/531.41 o 7080 529.78/531.60 o 7079 529.88/531.80 o 7078 530.08/531.99 o 7077 530.29/532.19 o 6977 530.48/532.39 o 6877 530.69/532.59 o 6777 530.88/532.79 o 6677 531.08/532.99 o 6577 531.29/533.19 o 6477 531.48/533.39 o 6377 531.68/533.58 o 6376 531.87/533.77 o 6375 532.07/533.96 o 6374 532.29/534.15 o 6373 532.48/534.34 o 6372 532.68/534.53 o 6371 532.88/534.72 o 6370 533.07/534.92 o 6360 533.29/535.11 o 6350 533.47/535.31 o 6340 533.67/535.50 o 6330 533.87/535.70 o 6320 533.97/535.89 o 6310 534.19/536.09 o 6300 534.87/536.78 o 6290 535.07/536.98 o 6280 535.29/537.17 o 6270 535.47/537.36 o 6260 535.67/537.56 o 6250 535.87/537.75 o 6240 536.07/537.95 o 6230 536.28/538.14 o 6229 536.46/538.32 o 6228 536.67/538.51 o 6227 536.87/538.70 o 6226 536.97/538.89 o 6225 537.18/539.08 o 6224 537.37/539.26 o 6223 537.56/539.45 o 6222 537.76/539.64 o 6221 537.96/539.82 o 6220 538.06/540.00 o 6219 538.27/540.18 o 6218 538.46/540.36 o 6217 538.66/540.54 o 6216 538.86/540.72 o 6215 539.06/540.90 o 6214 539.17/541.08 o 6213 539.35/541.26 o 6212 539.56/541.43 o 6211 539.76/541.62 o 6111 539.96/541.82 o 6011 540.17/542.01 o 5911 540.27/542.19 o 5901 540.45/542.38 o 5801 540.66/542.58 o 5701 540.86/542.77 o 5601 541.06/542.96 o 5501 541.35/543.25 o 5445 541.55/543.42 o 5444 541.75/543.60 o 5443 541.85/543.78 o 5433 542.05/543.96 o 5432 542.27/544.13 o 5431 542.46/544.31 o 5421 542.55/544.48 o 5420 542.75/544.65 o 5419 542.95/544.84 o 5409 546.44/548.38 o 5408 574.18/576.18 o 5407 605.70/607.74 o 5406 605.90/608.00 o 5405 606.19/608.26 o 5404 606.49/608.50 o 5403 606.69/608.75 o 5402 607.01/609.10 o 5401 607.29/609.39 o 5400 669.03/671.25 o 5399 939.92/942.82 o 5398 940.32/943.20 o 5397 940.62/943.57 o 5396 941.02/943.93 o 5395 941.41/944.30 o 5394 941.71/944.66 o 5393 942.12/945.02 o 5392 942.41/945.38 o 5391 942.81/945.74 o 5390 943.12/946.09 o 5389 943.51/946.45 o 5388 943.91/946.80 o 5387 944.22/947.15 o 5386 944.61/947.50 o 5385 944.90/947.85 o 5384 945.22/948.19 o 5383 945.60/948.55 o 5373 945.90/948.90 o 5363 946.30/949.23 o 5362 946.60/949.56 o 5361 947.70/950.69 o 5326 951.79/954.79 o 5316 1430.87/1435.05 o 5315 1431.46/1435.62 o 5314 1431.97/1436.14 o 5313 1432.45/1436.67 o 5312 1432.96/1437.20 o 5311 1433.55/1437.72 o 5310 1434.05/1438.24 o 5309 1434.55/1438.76 o 5308 1435.04/1439.28 o 5307 1436.15/1440.35 o 5306 1437.14/1441.38 o 5305 1440.34/1444.54 o 5304 2533.34/2540.59 o 5303 2534.33/2541.57 o 5302 2534.94/2542.19 o 5301 2535.53/2542.77 o 5300 2536.12/2543.36 o 5299 2593.63/2601.17 o 5298 2838.90/2847.51 o 5297 2839.60/2848.28 o 5296 2840.41/2849.03 o 5286 2841.10/2849.77 o 5285 2841.89/2850.51 o 5284 2842.59/2851.26 o 5274 2843.30/2852.00 o 5264 2844.09/2852.73 o 5254 2844.79/2853.46 o 5253 2845.50/2854.18 o 5252 2846.28/2854.90 o 5251 2846.98/2855.62 o 5250 2847.68/2856.33 o 5249 2848.39/2857.04 o 5248 2849.08/2857.75 o 5247 2849.77/2858.45 o 5246 2850.49/2859.15 o 5245 2851.18/2859.85 o 5244 2851.88/2860.55 o 5243 2852.57/2861.24 o 5242 2853.27/2861.92 o 5241 2853.97/2862.60 o 5240 2869.63/2878.37 o 5239 2870.23/2879.00 o 5238 3065.69/3074.80 o 5237 3065.90/3075.09 o 5236 3066.19/3075.38 o 5235 3066.49/3075.67 o 5234 3066.79/3075.96 o 5233 3067.09/3076.25 o 5232 3067.39/3076.54 o 5231 3067.69/3076.83 o 5230 3068.00/3077.11 o 5229 3068.29/3077.40 o 5228 3068.49/3077.69 o 5218 3068.79/3077.97 o 5217 3069.09/3078.25 o 5216 3069.38/3078.54 o 5206 3069.68/3078.83 o 5196 3069.89/3079.10 o 5195 3070.18/3079.37 o 5194 3070.48/3079.65 o 5184 3070.78/3079.92 o 5183 3070.99/3080.19 o 5182 3071.28/3080.47 o 5172 3071.58/3080.74 o 5162 3071.78/3081.00 o 5161 3072.08/3081.27 o 5160 3072.38/3081.53 o 5159 3072.58/3081.79 o 5158 3072.89/3082.05 o 5157 3073.17/3082.31 o 5156 3073.37/3082.57 o 5155 3073.67/3082.82 o 5154 3073.88/3083.08 o 5153 3074.17/3083.34 o 5152 3074.37/3083.59 o 5151 3074.67/3083.85 o 5150 3074.88/3084.10 o 5149 3075.17/3084.35 o 5148 3075.47/3084.60 o 5147 3075.67/3084.85 o 5146 3075.88/3085.10 o 5145 3076.17/3085.36 o 5135 3076.47/3085.61 o 5134 3076.67/3085.87 o 5124 3076.98/3086.12 o 5114 3077.16/3086.37 o 5104 3077.46/3086.62 o 5094 3077.66/3086.85 o 5093 3078.06/3087.24 o 5090 3078.36/3087.51 o 5089 3078.56/3087.76 o 5088 3078.87/3088.01 o 5087 3079.06/3088.26 o 5086 3079.36/3088.51 o 5085 3079.56/3088.76 o 5084 3079.76/3089.01 o 5083 3080.05/3089.25 o 5082 3600.07/3610.41 c Program interrupted by user. 3600.07/3610.41 s SATISFIABLE 3600.07/3610.41 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
OK 4782
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: 63837 MiB (52713 MiB free)
memory of node 1: 64465 MiB (30607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525726-1751625273/watcher-4525726-1751625273 -o /tmp/evaluation-result-4525726-1751625273/solver-4525726-1751625273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90939 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1207461643 --ls=360 --inp-dombreaklim=0 HOME/instance-4525726-1751625273.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=91094, runsolver pid=91091
[startup+0.100103 s]*
/proc/loadavg: 4.15 4.17 3.94 5/249 91095
/proc/meminfo: memFree=85287724/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=69404 memory=44424 CPUtime=0.11 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 12395 0 0 0 9 2 0 0 20 0 1 0 78206753 71069696 11106 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 17351 11106 1024 1200 0 15831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 69404 KiB
Current children cumulated memory: 44424 KiB
[startup+0.213084 s]*
/proc/loadavg: 4.15 4.17 3.94 5/249 91095
/proc/meminfo: memFree=85271848/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=85140 memory=62480 CPUtime=0.21 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 17204 0 0 0 18 3 0 0 20 0 1 0 78206753 87183360 15620 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 21285 15620 1024 1200 0 19765 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 85140 KiB
Current children cumulated memory: 62480 KiB
[startup+0.31296 s]*
/proc/loadavg: 4.15 4.17 3.94 5/249 91095
/proc/meminfo: memFree=85280092/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=110668 memory=83120 CPUtime=0.31 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 21479 0 0 0 26 5 0 0 20 0 1 0 78206753 113324032 20780 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 27667 20780 1024 1200 0 26147 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 110668 KiB
Current children cumulated memory: 83120 KiB
[startup+0.700345 s]
/proc/loadavg: 4.15 4.17 3.94 5/249 91095
/proc/meminfo: memFree=85258168/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=191920 memory=157116 CPUtime=0.69 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 33724 0 0 0 60 9 0 0 20 0 1 0 78206753 196526080 39279 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 47980 39279 1024 1200 0 46460 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 191920 KiB
Current children cumulated memory: 157116 KiB
[startup+1.50029 s]
/proc/loadavg: 4.15 4.17 3.94 5/249 91095
/proc/meminfo: memFree=85214068/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=374396 memory=338380 CPUtime=1.49 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 57304 0 0 0 131 18 0 0 20 0 1 0 78206753 383381504 84595 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 93599 84595 1024 1200 0 92079 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 374396 KiB
Current children cumulated memory: 338380 KiB
[startup+3.11275 s]
/proc/loadavg: 4.15 4.17 3.94 5/249 91095
/proc/meminfo: memFree=84764660/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=3.09 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 112787 0 0 0 274 35 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+6.30027 s]
/proc/loadavg: 4.14 4.16 3.94 5/249 91095
/proc/meminfo: memFree=84771312/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=6.27 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 112845 0 0 0 591 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 3.94 5/249 91095
/proc/meminfo: memFree=84778340/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=12.65 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 112939 0 0 0 1229 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.17 3.95 5/249 91096
/proc/meminfo: memFree=84793800/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=25.41 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113052 0 0 0 2505 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+51.1129 s]
/proc/loadavg: 4.12 4.15 3.95 5/249 91096
/proc/meminfo: memFree=84801948/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=50.94 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113129 0 0 0 5058 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.13 3.95 5/249 91098
/proc/meminfo: memFree=84911120/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=101.96 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113281 0 0 0 10160 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 3.97 5/250 91103
/proc/meminfo: memFree=84702248/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=161.74 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113435 0 0 0 16138 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 3.98 5/251 91106
/proc/meminfo: memFree=84569076/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=221.51 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113512 0 0 0 22115 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 3.99 5/251 91108
/proc/meminfo: memFree=83368412/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=281.25 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113584 0 0 0 28089 36 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.00 5/251 91110
/proc/meminfo: memFree=82936176/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=896480 memory=825048 CPUtime=341.02 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 113603 0 0 0 34065 37 0 0 20 0 1 0 78206753 917995520 206262 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 224120 206262 1024 1200 0 222600 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 896480 KiB
Current children cumulated memory: 825048 KiB
[startup+402.3 s]
/proc/loadavg: 4.42 4.18 4.03 5/252 91117
/proc/meminfo: memFree=80353032/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=3306912 memory=2889120 CPUtime=400.82 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 408915 0 0 0 39960 122 0 0 20 0 1 0 78206753 3386277888 722280 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 826728 722280 1280 1200 0 825208 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 3306912 KiB
Current children cumulated memory: 2889120 KiB
[startup+462.3 s]
/proc/loadavg: 4.61 4.30 4.08 5/251 91119
/proc/meminfo: memFree=79058092/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=5015756 memory=4353796 CPUtime=460.66 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 636486 0 0 0 45877 189 0 0 20 0 1 0 78206753 5136134144 1088449 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 1253939 1088449 1280 1200 0 1252419 0
################
# More data... #
################
/proc/meminfo: memFree=104977548/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14137932 CPUtime=2913.53 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2303966 0 0 0 290561 792 0 0 20 0 1 0 78206753 15324397568 3534483 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3534483 1280 1200 0 3739788 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14137932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 91473
/proc/meminfo: memFree=104756640/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14346624 CPUtime=2973.4 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2322215 0 0 0 296538 802 0 0 20 0 1 0 78206753 15324397568 3586656 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3586656 1280 1200 0 3739788 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14346624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 91475
/proc/meminfo: memFree=104718100/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3033.26 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2334327 0 0 0 302519 807 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 91477
/proc/meminfo: memFree=104698448/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3093.13 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2336983 0 0 0 308500 813 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 91479
/proc/meminfo: memFree=104698476/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3153 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2340261 0 0 0 314482 818 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 91574
/proc/meminfo: memFree=104728488/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3212.86 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2343847 0 0 0 320463 823 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 91576
/proc/meminfo: memFree=104704200/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3272.72 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2347312 0 0 0 326444 828 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 91579
/proc/meminfo: memFree=104703120/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3332.59 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2351313 0 0 0 332427 832 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/252 91581
/proc/meminfo: memFree=104698732/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3392.45 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2355217 0 0 0 338409 836 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/252 91587
/proc/meminfo: memFree=104702244/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3452.32 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2359549 0 0 0 344391 841 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 91589
/proc/meminfo: memFree=104713044/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3512.18 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2362478 0 0 0 350369 849 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 91681
/proc/meminfo: memFree=104767748/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3572.05 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2367513 0 0 0 356351 854 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 91682
/proc/meminfo: memFree=104751540/131382116 swapFree=33005528/33010684
[pid=91094] ppid=91091 vsize=14965232 memory=14386516 CPUtime=3600.07 cores=4,6
/proc/91094/stat : 91094 (Exact) R 91091 91094 90928 0 -1 4194304 2369590 0 0 0 359153 854 0 0 20 0 1 0 78206753 15324397568 3596629 18446744073709551615 4198400 9112445 140736907360528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44830720 140736907368740 140736907368939 140736907368939 140736907374543 0
/proc/91094/statm: 3741308 3596629 1280 1200 0 3739788 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 14965232 KiB
Current children cumulated memory: 14386516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.95 s]
# the end of solver process 91094 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.79 s, system=8.84011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.81 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 91682
/proc/meminfo: memFree=112940044/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.9 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 91682
/proc/meminfo: memFree=112940044/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3610.95
CPU time (s): 3600.63
CPU user time (s): 3591.79
CPU system time (s): 8.84011
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 14965232
Max. memory (cumulated for all children) (KiB): 14386516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.79
system time used= 8.84011
maximum resident set size= 14386516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2371771
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= 28
involuntary context switches= 3592
# summary of solver processes directly reported to runsolver:
# pid: 91094
# total CPU time (s): 3600.63
# total CPU user time (s): 3591.79
# total CPU system time (s): 8.84011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6972 second user time and 33.4745 second system time
The end
Begin job on nodeC010 at 2025-07-04 12:34:34 IDJOB=4525726 IDBENCH=143882 IDSOLVER=3376 FILE ID=nodeC010/4525726-1751625273 RUNJOBID= nodeC010-1751624136-90939 SLURM_JOB_ID= 9598946 Free space on /tmp= 429736 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525726-1751625273/watcher-4525726-1751625273 -o /tmp/evaluation-result-4525726-1751625273/solver-4525726-1751625273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90939 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1207461643 --ls=360 --inp-dombreaklim=0 HOME/instance-4525726-1751625273.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3 RANDOM SEED=1207461643 nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3662.600 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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 : 3594.328 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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.218 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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 : 3492.402 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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.909 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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.142 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 85320780 kB MemAvailable: 85421208 kB Buffers: 228 kB Cached: 896440 kB SwapCached: 4296 kB Active: 43070816 kB Inactive: 658132 kB Active(anon): 42790980 kB Inactive(anon): 54928 kB Active(file): 279836 kB Inactive(file): 603204 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005528 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16400 kB Writeback: 56 kB AnonPages: 42823624 kB Mapped: 115340 kB Shmem: 13628 kB KReclaimable: 114028 kB Slab: 199796 kB SReclaimable: 114028 kB SUnreclaim: 85768 kB KernelStack: 4016 kB PageTables: 89408 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 47997344 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18884608 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429800 MiB End job on nodeC010 at 2025-07-04 13:34:45