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.16 | 3611.5 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
| MD5SUM | 0fb77b786bdb5828a2775dbdb30deb06 |
| 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 | 2656 |
| Best CPU time to get the best result obtained on this benchmark | 6.95181 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 336 |
| Total number of constraints | 69031 |
| Number of soft constraints | 69017 |
| Number of constraints which are clauses | 69017 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 24 |
| Top cost | 47694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 9891329 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 25 |
| 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 |
359.39/361.47 o 40022 359.49/361.54 o 13200 359.59/361.60 o 13190 359.59/361.67 o 13189 359.69/361.72 o 5790 359.78/361.83 o 5784 360.19/362.21 o 5593 360.19/362.26 o 4743 360.29/362.30 o 4742 360.29/362.34 o 4741 360.29/362.39 o 4740 360.39/362.43 o 4739 360.39/362.47 o 4738 360.49/362.52 o 4737 360.49/362.56 o 4736 360.58/362.60 o 4735 360.58/362.64 o 4734 360.58/362.69 o 4733 360.69/362.73 o 4732 360.69/362.77 o 4731 360.79/362.81 o 4730 360.79/362.84 o 4729 360.89/362.90 o 4728 360.89/362.94 o 4727 360.89/362.98 o 4726 361.00/363.02 o 4725 361.00/363.06 o 4724 361.00/363.10 o 4723 361.10/363.13 o 4722 361.10/363.18 o 4721 361.19/363.22 o 4720 361.19/363.27 o 4719 361.29/363.32 o 4718 361.29/363.36 o 4717 361.38/363.40 o 4716 361.38/363.43 o 4715 361.38/363.47 o 4714 361.48/363.51 o 4713 361.48/363.55 o 4712 361.48/363.59 o 4711 361.58/363.63 o 4710 361.58/363.66 o 4709 361.68/363.70 o 4708 361.68/363.75 o 4707 361.68/363.79 o 4706 361.78/363.83 o 4705 361.78/363.86 o 4704 361.88/363.90 o 4703 361.88/363.94 o 4702 361.88/363.97 o 4701 361.99/364.01 o 4700 361.99/364.05 o 4699 361.99/364.08 o 4698 362.09/364.12 o 4697 362.09/364.16 o 4696 362.19/364.20 o 4695 362.19/364.24 o 4694 362.19/364.27 o 4693 362.28/364.31 o 4692 362.28/364.34 o 4691 362.28/364.38 o 4690 362.38/364.43 o 4689 362.38/364.47 o 4688 362.48/364.52 o 4687 362.48/364.57 o 4686 362.58/364.61 o 4685 362.58/364.64 o 4684 362.58/364.68 o 4683 362.68/364.71 o 4682 363.09/365.12 o 4639 363.28/365.30 o 4638 363.28/365.33 o 4637 363.28/365.37 o 4636 363.38/365.40 o 4635 363.38/365.44 o 4634 363.38/365.47 o 4633 363.48/365.51 o 4632 363.48/365.57 o 4631 363.58/365.61 o 4630 363.58/365.64 o 4629 363.58/365.68 o 4628 363.68/365.71 o 4627 363.68/365.75 o 4626 363.88/365.93 o 4625 363.88/365.97 o 4624 385.22/387.33 o 4623 385.22/387.37 o 4622 385.32/387.42 o 4621 385.32/387.46 o 4620 385.42/387.50 o 4619 385.42/387.55 o 4618 385.42/387.59 o 4608 385.52/387.63 o 4607 385.52/387.68 o 4606 385.62/387.72 o 4605 385.62/387.76 o 4604 385.72/387.80 o 4603 385.72/387.84 o 4602 385.72/387.88 o 4592 385.82/387.92 o 4582 385.82/387.96 o 4581 385.82/388.00 o 4580 385.93/388.04 o 4579 385.93/388.08 o 4569 386.03/388.11 o 4568 394.39/396.55 o 4567 394.49/396.60 o 4566 394.49/396.65 o 4565 394.59/396.70 o 4564 395.49/397.68 o 4563 395.59/397.74 o 4562 395.59/397.79 o 4561 395.69/397.83 o 4560 395.69/397.88 o 4559 395.79/397.93 o 4558 402.46/404.60 o 4557 402.46/404.66 o 4556 402.56/404.71 o 4555 402.56/404.76 o 4554 426.30/428.50 o 4553 426.30/428.56 o 4552 426.40/428.62 o 4551 426.40/428.68 o 4550 426.50/428.74 o 4549 426.50/428.80 o 4548 426.60/428.86 o 4547 426.70/428.91 o 4546 426.70/428.97 o 4545 426.81/429.03 o 4544 426.81/429.09 o 4543 426.91/429.15 o 4542 427.00/429.20 o 4541 427.00/429.26 o 4540 427.10/429.32 o 4539 427.10/429.37 o 4538 427.19/429.43 o 4537 427.19/429.49 o 4536 427.29/429.55 o 4526 427.39/429.61 o 4516 427.39/429.66 o 4506 427.50/429.72 o 4505 427.50/429.78 o 4504 427.60/429.83 o 4503 427.60/429.89 o 4502 427.70/429.94 o 4501 427.70/430.00 o 4500 428.90/431.12 o 4499 428.90/431.18 o 4498 428.99/431.25 o 4497 429.09/431.31 o 4496 429.09/431.37 o 4495 429.19/431.43 o 4494 429.19/431.49 o 4493 429.29/431.55 o 4492 429.49/431.70 o 4447 429.49/431.76 o 4437 429.59/431.81 o 4436 429.59/431.87 o 4435 429.69/431.92 o 4434 429.69/431.98 o 4433 429.81/432.04 o 4423 429.81/432.09 o 4422 429.91/432.15 o 4412 429.99/432.21 o 4402 439.16/441.45 o 4349 439.27/441.51 o 4348 439.27/441.56 o 4347 439.37/441.60 o 4346 439.37/441.66 o 4336 439.47/441.71 o 4326 476.68/479.04 o 4325 476.68/479.10 o 4324 476.77/479.16 o 4323 476.86/479.21 o 4322 476.86/479.27 o 4321 476.96/479.32 o 4320 476.96/479.38 o 4319 477.06/479.43 o 4318 477.06/479.49 o 4317 477.16/479.54 o 4316 477.16/479.59 o 4315 477.26/479.65 o 4314 477.36/479.70 o 4313 477.36/479.76 o 4312 477.46/479.81 o 4311 477.46/479.86 o 4310 477.56/479.92 o 4309 477.56/479.97 o 4308 477.67/480.02 o 4307 477.67/480.07 o 4306 477.77/480.13 o 4305 477.77/480.18 o 4304 477.86/480.23 o 4303 477.86/480.28 o 4302 477.96/480.34 o 4301 477.96/480.39 o 4300 478.06/480.44 o 4299 478.06/480.49 o 4298 478.16/480.54 o 4297 478.16/480.59 o 4296 478.26/480.65 o 4295 478.26/480.70 o 4294 478.36/480.75 o 4293 478.46/480.80 o 4292 478.46/480.85 o 4291 478.56/480.90 o 4290 478.56/480.95 o 4289 478.56/481.00 o 4288 478.67/481.05 o 4287 478.67/481.10 o 4286 478.77/481.15 o 4285 478.77/481.19 o 4284 478.86/481.24 o 4283 478.86/481.29 o 4282 478.96/481.34 o 4281 480.25/482.65 o 4280 480.35/482.70 o 4279 480.35/482.76 o 4278 480.45/482.81 o 4277 480.45/482.86 o 4276 480.55/482.91 o 4275 480.55/482.96 o 4274 480.66/483.01 o 4273 480.66/483.06 o 4272 480.76/483.11 o 4271 480.76/483.16 o 4270 480.85/483.21 o 4269 480.85/483.26 o 4268 480.95/483.31 o 4267 480.95/483.36 o 4266 499.30/501.71 o 4265 499.30/501.78 o 4264 499.40/501.85 o 4254 499.50/501.92 o 4244 499.50/501.99 o 4243 499.61/502.05 o 4242 499.71/502.12 o 4241 499.71/502.18 o 4240 499.80/502.24 o 4239 499.90/502.31 o 4229 499.90/502.38 o 4228 500.00/502.44 o 4227 500.10/502.50 o 4226 500.10/502.57 o 4225 500.20/502.63 o 4224 500.20/502.69 o 4223 500.30/502.75 o 4222 500.40/502.82 o 4221 500.40/502.88 o 4220 500.50/502.94 o 4219 500.50/503.00 o 4218 500.61/503.06 o 4208 500.71/503.12 o 4207 500.71/503.18 o 4197 500.80/503.24 o 4196 500.90/503.30 o 4186 500.90/503.36 o 4176 501.00/503.42 o 4166 501.29/503.74 o 4066 510.88/513.33 o 4065 510.88/513.39 o 4064 510.98/513.43 o 4063 510.98/513.49 o 4062 511.08/513.54 o 4061 511.08/513.58 o 4060 511.17/513.63 o 4059 599.83/602.50 o 4058 599.83/602.56 o 4057 622.38/625.15 o 4056 622.47/625.23 o 4055 622.57/625.31 o 4054 622.57/625.39 o 4053 622.67/625.46 o 4052 622.77/625.54 o 4051 622.86/625.62 o 4050 622.86/625.69 o 4049 622.96/625.77 o 4048 623.06/625.84 o 4047 623.16/625.92 o 4046 623.16/625.99 o 4045 623.28/626.07 o 4044 623.38/626.19 o 4043 623.56/626.31 o 4042 623.66/626.44 o 4041 623.76/626.57 o 4040 623.86/626.69 o 4039 624.06/626.81 o 4038 624.16/626.93 o 4037 624.27/627.05 o 4036 624.37/627.17 o 4035 624.86/627.65 o 4034 625.16/627.98 o 4033 712.12/715.17 o 4032 712.21/715.27 o 4031 712.31/715.35 o 4030 712.41/715.43 o 4029 715.12/718.19 o 4028 752.51/755.68 o 3607 752.61/755.79 o 3513 752.71/755.83 o 3512 752.71/755.87 o 3511 752.81/755.91 o 3510 752.81/755.95 o 3509 752.81/755.98 o 3508 752.92/756.02 o 3507 778.74/781.96 o 3506 778.74/782.01 o 3496 778.85/782.06 o 3486 873.68/877.14 o 3465 873.77/877.24 o 3464 873.87/877.33 o 3463 873.97/877.42 o 3462 874.07/877.52 o 3461 949.75/953.43 o 3460 949.85/953.55 o 3459 949.95/953.65 o 3458 956.94/960.63 o 3457 957.04/960.73 o 3456 957.14/960.82 o 3455 957.24/960.91 o 3454 957.24/961.00 o 3453 957.35/961.09 o 3452 957.45/961.18 o 3442 957.54/961.27 o 3441 957.64/961.35 o 3440 957.74/961.44 o 3439 957.84/961.53 o 3438 957.94/961.62 o 3428 958.04/961.71 o 3418 958.13/961.88 o 3409 977.58/981.30 o 3408 977.58/981.40 o 3407 977.68/981.48 o 3406 977.78/981.56 o 3405 977.88/981.64 o 3404 977.98/981.71 o 3403 977.98/981.79 o 3402 978.08/981.87 o 3401 978.18/981.95 o 3391 978.29/982.04 o 3381 978.39/982.11 o 3380 978.39/982.19 o 3370 978.48/982.27 o 3369 981.28/985.06 o 3368 983.46/987.27 o 3364 983.56/987.37 o 3363 983.66/987.46 o 3362 983.76/987.54 o 3361 983.86/987.62 o 3360 983.96/987.71 o 3350 983.96/987.79 o 3349 984.06/987.87 o 3339 984.16/987.95 o 3338 984.27/988.03 o 3337 1050.38/1054.37 o 3336 1050.48/1054.43 o 3335 1050.48/1054.50 o 3334 1050.58/1054.56 o 3333 1050.68/1054.62 o 3332 1050.68/1054.68 o 3331 1050.78/1054.74 o 3330 1050.88/1054.80 o 3329 1050.88/1054.86 o 3328 1050.98/1054.92 o 3327 1050.98/1054.99 o 3326 1051.09/1055.05 o 3325 1051.09/1055.11 o 3324 1051.19/1055.17 o 3323 1051.27/1055.23 o 3322 1051.27/1055.29 o 3321 1051.37/1055.35 o 3320 1051.47/1055.41 o 3319 1051.47/1055.47 o 3318 1051.57/1055.53 o 3317 1051.57/1055.59 o 3316 1051.67/1055.65 o 3315 1051.77/1055.70 o 3314 1051.77/1055.76 o 3313 1051.87/1055.87 o 3305 1051.97/1055.93 o 3304 1051.97/1055.99 o 3303 1052.18/1056.11 o 3302 1052.37/1056.30 o 3301 1052.37/1056.36 o 3300 1052.47/1056.43 o 3299 1052.47/1056.49 o 3298 1052.58/1056.55 o 3297 1052.68/1056.61 o 3296 1052.68/1056.67 o 3295 1052.78/1056.73 o 3294 1052.88/1056.86 o 3293 1053.09/1057.04 o 3292 1058.26/1062.28 o 3291 1058.36/1062.35 o 3290 1058.95/1062.93 o 3289 1058.95/1062.99 o 3288 1081.29/1085.35 o 3287 1081.39/1085.45 o 3286 1203.16/1207.52 o 3285 1203.16/1207.59 o 3284 1203.26/1207.66 o 3283 1203.36/1207.72 o 3282 1203.36/1207.79 o 3281 1203.46/1207.85 o 3280 1203.56/1207.92 o 3279 1203.56/1207.98 o 3278 1203.67/1208.05 o 3277 1203.77/1208.11 o 3276 1203.77/1208.17 o 3275 1203.86/1208.24 o 3274 1203.96/1208.30 o 3273 1203.96/1208.36 o 3272 1204.06/1208.43 o 3271 1204.06/1208.49 o 3270 1204.16/1208.55 o 3269 1204.26/1208.62 o 3268 1204.26/1208.68 o 3267 1204.36/1208.74 o 3266 1204.46/1208.80 o 3265 1204.46/1208.87 o 3264 1204.56/1208.93 o 3263 1204.56/1208.99 o 3262 1204.67/1209.05 o 3261 1204.77/1209.11 o 3260 1204.77/1209.18 o 3259 1204.86/1209.24 o 3258 1204.96/1209.30 o 3257 1204.96/1209.36 o 3256 1205.06/1209.42 o 3255 1205.06/1209.48 o 3254 1205.16/1209.54 o 3253 1205.26/1209.61 o 3252 1205.26/1209.67 o 3251 1205.36/1209.73 o 3250 1205.36/1209.79 o 3249 1205.46/1209.85 o 3248 1205.56/1209.91 o 3247 1205.56/1209.97 o 3246 1205.67/1210.03 o 3245 1205.67/1210.09 o 3244 1205.77/1210.15 o 3243 1205.86/1210.21 o 3242 1205.86/1210.27 o 3241 1205.96/1210.33 o 3240 1205.96/1210.39 o 3239 1206.06/1210.44 o 3238 1206.15/1210.50 o 3237 1206.15/1210.56 o 3236 1206.25/1210.62 o 3235 1206.25/1210.68 o 3234 1208.05/1212.44 o 3233 1208.15/1212.51 o 3232 1208.15/1212.58 o 3231 1208.25/1212.64 o 3230 1208.35/1212.71 o 3229 1214.84/1219.25 o 3228 1332.32/1337.08 o 3227 1332.50/1337.30 o 3226 1332.70/1337.48 o 3225 1332.90/1337.65 o 3224 1333.10/1337.83 o 3223 1333.20/1338.01 o 3222 1333.41/1338.19 o 3212 1333.60/1338.36 o 3211 1334.10/1338.85 o 3210 1410.60/1415.57 o 3209 1873.03/1879.29 o 3208 2941.37/2950.51 o 3207 2941.37/2950.57 o 3206 2941.47/2950.61 o 3205 2941.47/2950.66 o 3204 2941.57/2950.71 o 3203 2941.57/2950.76 o 3202 2941.67/2950.81 o 3201 2941.67/2950.86 o 3200 2941.77/2950.91 o 3199 2941.77/2950.95 o 3198 3003.16/3012.53 o 3197 3003.26/3012.61 o 3187 3003.26/3012.68 o 3186 3003.36/3012.75 o 3185 3003.46/3012.82 o 3184 3003.46/3012.89 o 3183 3003.56/3012.96 o 3182 3003.67/3013.03 o 3181 3003.67/3013.11 o 3171 3003.77/3013.18 o 3170 3003.86/3013.25 o 3169 3003.96/3013.32 o 3159 3338.26/3348.72 o 3158 3338.36/3348.80 o 3157 3338.36/3348.87 o 3156 3338.45/3348.95 o 3155 3338.57/3349.02 o 3154 3338.57/3349.09 o 3153 3338.67/3349.16 o 3152 3338.75/3349.23 o 3151 3338.85/3349.30 o 3150 3338.85/3349.37 o 3149 3338.95/3349.44 o 3148 3339.05/3349.51 o 3147 3339.05/3349.57 o 3146 3339.15/3349.64 o 3145 3339.25/3349.71 o 3144 3339.25/3349.78 o 3143 3339.35/3349.85 o 3142 3339.45/3349.92 o 3141 3339.45/3349.99 o 3140 3339.56/3350.06 o 3139 3339.66/3350.12 o 3138 3339.66/3350.19 o 3137 3339.75/3350.26 o 3136 3339.85/3350.33 o 3135 3339.95/3350.40 o 3134 3339.95/3350.46 o 3133 3340.05/3350.53 o 3132 3340.15/3350.60 o 3131 3340.15/3350.66 o 3130 3340.25/3350.73 o 3129 3340.35/3350.80 o 3128 3340.35/3350.86 o 3127 3340.45/3350.93 o 3126 3340.45/3351.00 o 3125 3340.56/3351.06 o 3124 3340.66/3351.13 o 3123 3340.66/3351.19 o 3122 3340.75/3351.26 o 3121 3340.84/3351.32 o 3120 3340.84/3351.38 o 3119 3340.94/3351.45 o 3118 3341.04/3351.51 o 3117 3341.04/3351.58 o 3116 3341.14/3351.64 o 3115 3341.24/3351.70 o 3114 3341.24/3351.77 o 3113 3341.34/3351.83 o 3112 3341.34/3351.89 o 3111 3341.44/3351.96 o 3110 3341.55/3352.02 o 3109 3341.55/3352.08 o 3108 3341.65/3352.14 o 3107 3341.74/3352.21 o 3106 3341.74/3352.27 o 3105 3341.84/3352.33 o 3104 3341.84/3352.39 o 3103 3341.94/3352.45 o 3102 3342.04/3352.52 o 3101 3342.04/3352.58 o 3100 3600.05/3611.40 c Program interrupted by user. 3600.05/3611.40 s SATISFIABLE 3600.05/3611.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
OK 2900
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: 63794 MiB (55088 MiB free)
memory of node 1: 64507 MiB (59525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525735-1751625792/watcher-4525735-1751625792 -o /tmp/evaluation-result-4525735-1751625792/solver-4525735-1751625792 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92127 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=661833438 --ls=360 --inp-dombreaklim=0 HOME/instance-4525735-1751625792.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=94706, runsolver pid=94703
[startup+0.100075 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 94707
/proc/meminfo: memFree=117346972/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=44468 memory=21224 CPUtime=0.09 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 5886 0 0 0 8 1 0 0 20 0 1 0 78259028 45535232 5306 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 11117 5306 1024 1200 0 9597 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44468 KiB
Current children cumulated memory: 21224 KiB
[startup+0.213171 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 94707
/proc/meminfo: memFree=117329332/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=62880 memory=39092 CPUtime=0.18 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 11851 0 0 0 15 3 0 0 20 0 1 0 78259028 64389120 9773 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 15720 9773 1024 1200 0 14200 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62880 KiB
Current children cumulated memory: 39092 KiB
[startup+0.312985 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 94707
/proc/meminfo: memFree=117320448/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=74848 memory=48164 CPUtime=0.27 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 14290 0 0 0 23 4 0 0 20 0 1 0 78259028 76644352 12041 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 18712 12041 1024 1200 0 17192 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 48164 KiB
[startup+0.700236 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 94707
/proc/meminfo: memFree=117283840/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=134408 memory=110492 CPUtime=0.62 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 27895 0 0 0 53 9 0 0 20 0 1 0 78259028 137633792 27623 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 33602 27623 1024 1200 0 32082 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 134408 KiB
Current children cumulated memory: 110492 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 94707
/proc/meminfo: memFree=117182964/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=1.41 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41270 0 0 0 127 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+3.10569 s]
/proc/loadavg: 4.16 4.11 4.09 5/251 94707
/proc/meminfo: memFree=117156172/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=3 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41282 0 0 0 286 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.11 4.09 5/251 94708
/proc/meminfo: memFree=117143916/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=6.16 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41294 0 0 0 602 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 94708
/proc/meminfo: memFree=117067328/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=12.51 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41306 0 0 0 1237 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 94708
/proc/meminfo: memFree=117025296/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=25.26 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41310 0 0 0 2512 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+51.1133 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 94708
/proc/meminfo: memFree=116727304/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=50.75 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41330 0 0 0 5061 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 94710
/proc/meminfo: memFree=116638236/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=101.67 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41342 0 0 0 10153 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 94712
/proc/meminfo: memFree=116567220/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=161.36 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41354 0 0 0 16122 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 94714
/proc/meminfo: memFree=116580932/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=221.03 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41378 0 0 0 22089 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 221.03 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 94720
/proc/meminfo: memFree=116591400/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=280.71 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41378 0 0 0 28057 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 280.71 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 94722
/proc/meminfo: memFree=116553912/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=225420 memory=191536 CPUtime=340.39 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 41390 0 0 0 34025 14 0 0 20 0 1 0 78259028 230830080 47884 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 56355 47884 1024 1200 0 54835 0
Current children cumulated CPU time: 340.39 s
Current children cumulated vsize: 225420 KiB
Current children cumulated memory: 191536 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 94724
/proc/meminfo: memFree=115722232/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=1159468 memory=1029040 CPUtime=400.18 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 192840 0 0 0 39965 53 0 0 20 0 1 0 78259028 1187295232 257260 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 289867 257260 1248 1200 0 288347 0
Current children cumulated CPU time: 400.18 s
Current children cumulated vsize: 1159468 KiB
Current children cumulated memory: 1029040 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 94728
/proc/meminfo: memFree=115034352/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=1836096 memory=1734128 CPUtime=460.01 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 298748 0 0 0 45913 88 0 0 20 0 1 0 78259028 1880162304 433532 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 459024 433532 1248 1200 0 457504 0
################
# More data... #
################
Current children cumulated memory: 3009220 KiB
[startup+2862.3 s]
/proc/loadavg: 1.97 3.28 3.81 2/234 94942
/proc/meminfo: memFree=124150068/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3853532 memory=3009220 CPUtime=2853.47 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 525733 0 0 0 285066 281 0 0 20 0 1 0 78259028 3946016768 752305 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 963383 752305 1248 1200 0 961863 0
Current children cumulated CPU time: 2853.47 s
Current children cumulated vsize: 3853532 KiB
Current children cumulated memory: 3009220 KiB
[startup+2922.3 s]
/proc/loadavg: 1.40 2.87 3.63 2/234 94944
/proc/meminfo: memFree=124145948/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3853532 memory=3014468 CPUtime=2913.26 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 526233 0 0 0 291042 284 0 0 20 0 1 0 78259028 3946016768 753617 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 963383 753617 1248 1200 0 961863 0
Current children cumulated CPU time: 2913.26 s
Current children cumulated vsize: 3853532 KiB
Current children cumulated memory: 3014468 KiB
[startup+2982.3 s]
/proc/loadavg: 1.25 2.56 3.47 2/233 94946
/proc/meminfo: memFree=124122644/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3853532 memory=3019460 CPUtime=2973.07 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 526706 0 0 0 297020 287 0 0 20 0 1 0 78259028 3946016768 754865 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 963383 754865 1248 1200 0 961863 0
Current children cumulated CPU time: 2973.07 s
Current children cumulated vsize: 3853532 KiB
Current children cumulated memory: 3019460 KiB
[startup+3042.3 s]
/proc/loadavg: 1.14 2.29 3.32 2/233 94950
/proc/meminfo: memFree=124094404/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3855692 memory=3021124 CPUtime=3032.86 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 527745 0 0 0 302997 289 0 0 20 0 1 0 78259028 3948228608 755281 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 963923 755281 1248 1200 0 962403 0
Current children cumulated CPU time: 3032.86 s
Current children cumulated vsize: 3855692 KiB
Current children cumulated memory: 3021124 KiB
[startup+3102.3 s]
/proc/loadavg: 1.17 2.08 3.18 2/232 94952
/proc/meminfo: memFree=124070768/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3855692 memory=3022148 CPUtime=3092.66 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 528667 0 0 0 308974 292 0 0 20 0 1 0 78259028 3948228608 755537 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 963923 755537 1248 1200 0 962403 0
Current children cumulated CPU time: 3092.66 s
Current children cumulated vsize: 3855692 KiB
Current children cumulated memory: 3022148 KiB
[startup+3162.3 s]
/proc/loadavg: 1.12 1.90 3.05 2/232 94954
/proc/meminfo: memFree=124065576/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3857096 memory=3023300 CPUtime=3152.48 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 529467 0 0 0 314953 295 0 0 20 0 1 0 78259028 3949666304 755825 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964274 755825 1248 1200 0 962754 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 3857096 KiB
Current children cumulated memory: 3023300 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.75 2.92 2/232 94956
/proc/meminfo: memFree=124064616/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3858744 memory=3025220 CPUtime=3212.27 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 530350 0 0 0 320930 297 0 0 20 0 1 0 78259028 3951353856 756305 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964686 756305 1248 1200 0 963166 0
Current children cumulated CPU time: 3212.27 s
Current children cumulated vsize: 3858744 KiB
Current children cumulated memory: 3025220 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.64 2.81 2/233 94963
/proc/meminfo: memFree=124065152/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3025860 CPUtime=3272.08 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 531188 0 0 0 326907 301 0 0 20 0 1 0 78259028 3952283648 756465 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756465 1248 1200 0 963393 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3025860 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.54 2.70 2/233 94965
/proc/meminfo: memFree=124065420/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3026372 CPUtime=3331.88 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 531950 0 0 0 332884 304 0 0 20 0 1 0 78259028 3952283648 756593 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756593 1248 1200 0 963393 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3026372 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.45 2.60 2/233 94967
/proc/meminfo: memFree=124065704/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3026372 CPUtime=3391.66 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 532538 0 0 0 338859 307 0 0 20 0 1 0 78259028 3952283648 756593 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756593 1248 1200 0 963393 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3026372 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.40 2.50 2/234 94971
/proc/meminfo: memFree=124060808/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3026372 CPUtime=3451.45 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 533180 0 0 0 344835 310 0 0 20 0 1 0 78259028 3952283648 756593 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756593 1248 1200 0 963393 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3026372 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.34 2.41 2/234 94973
/proc/meminfo: memFree=124058916/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3026372 CPUtime=3511.24 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 533946 0 0 0 350812 312 0 0 20 0 1 0 78259028 3952283648 756593 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756593 1248 1200 0 963393 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3026372 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.30 2.33 2/234 94975
/proc/meminfo: memFree=124069652/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3026372 CPUtime=3571.05 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 534616 0 0 0 356790 315 0 0 20 0 1 0 78259028 3952283648 756593 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756593 1248 1200 0 963393 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3026372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 1.09 1.28 2.30 2/233 94975
/proc/meminfo: memFree=124069636/131382112 swapFree=33010160/33010684
[pid=94706] ppid=94703 vsize=3859652 memory=3026372 CPUtime=3600.05 cores=5,7
/proc/94706/stat : 94706 (Exact) R 94703 94706 92114 0 -1 4194304 534779 0 0 0 359689 316 0 0 20 0 1 0 78259028 3952283648 756593 18446744073709551615 4198400 9112445 140722241136256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47923200 140722241145125 140722241145323 140722241145323 140722241150927 0
/proc/94706/statm: 964913 756593 1248 1200 0 963393 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3859652 KiB
Current children cumulated memory: 3026372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 94706 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.95 s, system=3.20908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.5
CPU time (s): 3600.16
CPU user time (s): 3596.95
CPU system time (s): 3.20908
CPU usage (%): 99.6859
Max. virtual memory (cumulated for all children) (KiB): 4151728
Max. memory (cumulated for all children) (KiB): 3194812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.95
system time used= 3.20908
maximum resident set size= 3385276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534809
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= 72
involuntary context switches= 2670
# summary of solver processes directly reported to runsolver:
# pid: 94706
# total CPU time (s): 3600.16
# total CPU user time (s): 3596.95
# total CPU system time (s): 3.20908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1628 second user time and 34.4941 second system time
The end
Begin job on nodeC009 at 2025-07-04 12:43:12 IDJOB=4525735 IDBENCH=143883 IDSOLVER=3376 FILE ID=nodeC009/4525735-1751625792 RUNJOBID= nodeC009-1751617714-92127 SLURM_JOB_ID= 9598931 Free space on /tmp= 431192 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_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-4525735-1751625792/watcher-4525735-1751625792 -o /tmp/evaluation-result-4525735-1751625792/solver-4525735-1751625792 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92127 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=661833438 --ls=360 --inp-dombreaklim=0 HOME/instance-4525735-1751625792.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06 RANDOM SEED=661833438 nodeC009 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.504 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.457 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.85 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.411 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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.85 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 : 3644.537 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.377 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.85 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.565 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.233 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 117363856 kB MemAvailable: 120051048 kB Buffers: 2144 kB Cached: 3420228 kB SwapCached: 24 kB Active: 10509064 kB Inactive: 2791676 kB Active(anon): 9892116 kB Inactive(anon): 4188 kB Active(file): 616948 kB Inactive(file): 2787488 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 9304 kB Writeback: 4 kB AnonPages: 9881440 kB Mapped: 119092 kB Shmem: 17936 kB KReclaimable: 244384 kB Slab: 332084 kB SReclaimable: 244384 kB SUnreclaim: 87700 kB KernelStack: 4064 kB PageTables: 23560 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 11464176 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3575808 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431220 MiB End job on nodeC009 at 2025-07-04 13:43:24