Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14.2 | MSAT (TO) | 3600.07 | 1829.73 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub2_wcsp.wbo |
| MD5SUM | 3b293c70ef0b1b0b4ae40fd7d560d8ea |
| 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 | 2746 |
| Best CPU time to get the best result obtained on this benchmark | 33.6702 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 688 |
| Total number of constraints | 280826 |
| Number of soft constraints | 280810 |
| Number of constraints which are clauses | 280810 |
| Number of constraints which are cardinality constraints (but not clauses) | 16 |
| 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 | 52140 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 37167130 |
| 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 |
36.81/36.16 o 16397 37.58/36.52 o 16296 43.74/39.65 o 16094 46.43/41.03 o 16092 71.31/53.66 o 14310 71.51/53.73 o 14198 75.27/55.61 o 11676 75.27/55.67 o 10645 87.19/61.69 o 9544 113.31/74.83 o 9443 149.85/93.26 o 8176 150.05/93.36 o 7661 155.22/95.90 o 7461 164.05/100.92 o 7274 164.45/101.18 o 6973 167.63/102.75 o 6712 167.83/102.83 o 6478 193.45/115.76 o 6204 205.17/121.68 o 5996 205.37/121.74 o 5885 221.64/129.96 o 5884 225.42/131.80 o 5496 225.62/131.94 o 5495 255.84/147.18 o 5476 256.22/147.33 o 5475 263.78/151.15 o 5355 263.97/151.20 o 5254 286.82/162.71 o 5146 309.09/173.97 o 5144 391.57/215.45 o 5134 402.50/220.95 o 5124 412.84/226.17 o 5122 417.61/228.53 o 5012 419.79/229.66 o 5001 865.77/454.18 o 4041 866.16/454.35 o 3917 1352.32/698.98 o 3878 1352.53/699.05 o 3855 1791.18/919.79 o 3845 1985.57/1017.54 o 3834 2005.24/1027.48 o 3747 2074.23/1062.11 o 3745 3187.17/1622.02 o 3744 3600.02/1829.70 s SATISFIABLE 3600.02/1829.70 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.02/1829.70 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.02/1829.70 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.02/1829.70 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.02/1829.70 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.02/1829.70 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 3600.02/1829.70 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 3600.02/1829.70 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 3600.02/1829.70 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 3600.02/1829.70 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 3600.02/1829.70 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 3600.02/1829.70 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 3600.02/1829.70 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 3600.02/1829.70 v -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 3600.02/1829.70 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 3600.02/1829.70 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 3600.02/1829.70 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 3600.02/1829.70 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 3600.02/1829.70 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 3600.02/1829.70 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 3600.02/1829.70 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 3600.02/1829.70 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 3600.02/1829.70 v -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 3600.02/1829.70 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 3600.02/1829.70 v -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 3600.02/1829.70 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 3600.02/1829.70 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 3600.02/1829.70 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 3600.02/1829.70 v -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 3600.02/1829.70 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 3600.02/1829.70 v -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 3600.02/1829.70 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 3600.02/1829.70 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 3600.02/1829.70 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 3600.02/1829.70 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 3600.02/1829.70 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 3600.02/1829.70 v x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 3600.02/1829.70 v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 3600.02/1829.70 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 3600.02/1829.70 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 3600.02/1829.70 v -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 3600.02/1829.70 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 3600.02/1829.70 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 3600.02/1829.70 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 3600.02/1829.70 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 3600.02/1829.70 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 3600.02/1829.70 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 3600.02/1829.70 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 3600.02/1829.70 v -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 3600.02/1829.70 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 3600.02/1829.70 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 3600.02/1829.70 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
OK 3744
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: 63665 MiB (60329 MiB free)
memory of node 1: 64507 MiB (53649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529468-1752571876/watcher-4529468-1752571876 -o /tmp/evaluation-result-4529468-1752571876/solver-4529468-1752571876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752571843-132791 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529468-1752571876.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
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=132935, runsolver pid=132931
[startup+0.100059 s]*
/proc/loadavg: 2.72 0.74 0.31 6/265 132937
/proc/meminfo: memFree=116690060/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=45648 memory=36988 CPUtime=0.1 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 8254 0 0 0 9 1 0 0 20 0 1 0 172865829 46743552 9247 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 11412 9247 1088 2102 0 8952 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45648 KiB
Current children cumulated memory: 36988 KiB
[startup+0.205628 s]*
/proc/loadavg: 2.72 0.74 0.31 6/265 132938
/proc/meminfo: memFree=116630148/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=113432 memory=95740 CPUtime=0.2 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 22441 0 0 0 17 3 0 0 20 0 1 0 172865829 116154368 23935 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 28358 23935 1088 2102 0 25898 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113432 KiB
Current children cumulated memory: 95740 KiB
[startup+0.305562 s]*
/proc/loadavg: 2.72 0.74 0.31 6/264 132938
/proc/meminfo: memFree=116549268/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=161040 memory=154852 CPUtime=0.3 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 38873 0 0 0 25 5 0 0 20 0 1 0 172865829 164904960 38713 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 40260 38713 1280 2102 0 37800 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161040 KiB
Current children cumulated memory: 154852 KiB
[startup+0.700177 s]
/proc/loadavg: 2.72 0.74 0.31 6/265 132941
/proc/meminfo: memFree=116467512/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=296536 memory=280416 CPUtime=0.69 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 62504 0 0 0 59 10 0 0 20 0 1 0 172865829 303652864 70104 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 74134 70104 1408 2102 0 71674 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 296536 KiB
Current children cumulated memory: 280416 KiB
[startup+1.50017 s]
/proc/loadavg: 2.72 0.74 0.31 6/265 132946
/proc/meminfo: memFree=116439048/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=342952 memory=322336 CPUtime=1.48 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 69824 0 0 0 137 11 0 0 20 0 1 0 172865829 351182848 80584 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 85738 80584 1504 2102 0 83278 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 342952 KiB
Current children cumulated memory: 322336 KiB
[startup+3.10537 s]
/proc/loadavg: 3.15 0.87 0.35 8/271 132952
/proc/meminfo: memFree=116115112/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=482592 memory=450692 CPUtime=3.09 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 83977 0 0 0 294 15 0 0 20 0 1 0 172865829 494174208 112673 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 120648 112673 1600 2102 0 118188 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 482592 KiB
Current children cumulated memory: 450692 KiB
[startup+6.30015 s]
/proc/loadavg: 3.15 0.87 0.35 6/265 132960
/proc/meminfo: memFree=116225680/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=497012 memory=464004 CPUtime=6.27 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 87365 0 0 0 611 16 0 0 20 0 1 0 172865829 508940288 116001 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 124253 116001 1600 2102 0 121793 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 497012 KiB
Current children cumulated memory: 464004 KiB
[startup+12.7001 s]
/proc/loadavg: 3.38 0.95 0.38 6/265 132960
/proc/meminfo: memFree=116252076/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=502344 memory=469380 CPUtime=12.65 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 88713 0 0 0 1249 16 0 0 20 0 1 0 172865829 514400256 117345 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 125586 117345 1600 2102 0 123126 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 502344 KiB
Current children cumulated memory: 469380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 1.22 0.48 8/270 132999
/proc/meminfo: memFree=116051252/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=633372 memory=614496 CPUtime=25.41 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) R 132931 132935 132774 0 -1 4194304 116823 0 0 0 2511 30 0 0 20 0 1 0 172865829 648572928 153624 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 158343 153624 1888 2102 0 155883 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 633372 KiB
Current children cumulated memory: 614496 KiB
[startup+51.1054 s]
/proc/loadavg: 5.35 1.75 0.67 9/272 133002
/proc/meminfo: memFree=114358100/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2699304 memory=2233148 CPUtime=66.35 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 444654 0 0 0 6523 112 0 0 20 0 3 0 172865829 2764087296 558287 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 674826 558287 2176 2102 0 654525 0
[pid=132935/tid=133000] ppid=132931 vsize=2699304 memory=2241340 CPUtime=15.38 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 133048 0 0 0 1501 37 0 0 20 0 3 0 172869354 2764087296 558287 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2699304 memory=2231096 CPUtime=12.34 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 170611 0 0 0 1200 34 0 0 20 0 3 0 172869354 2764087296 558287 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 66.35 s
Current children cumulated vsize: 2699304 KiB
Current children cumulated memory: 2233148 KiB
[startup+102.3 s]
/proc/loadavg: 6.85 2.71 1.06 9/272 133004
/proc/meminfo: memFree=114124376/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2732952 memory=2491352 CPUtime=166.84 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 834788 0 0 0 16490 194 0 0 20 0 3 0 172865829 2798542848 622838 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 683238 622838 2176 2102 0 652374 0
[pid=132935/tid=133000] ppid=132931 vsize=2732952 memory=2360804 CPUtime=64.49 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 330709 0 0 0 6346 103 0 0 20 0 3 0 172869354 2798542848 622838 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2732952 memory=10752 CPUtime=60.61 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 359444 0 0 0 6012 49 0 0 20 0 3 0 172869354 2798542848 622838 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 166.84 s
Current children cumulated vsize: 2732952 KiB
Current children cumulated memory: 2491352 KiB
[startup+162.3 s]
/proc/loadavg: 6.70 3.46 1.42 7/264 133036
/proc/meminfo: memFree=114156168/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2761272 memory=2513636 CPUtime=286.03 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 996635 0 0 0 28339 264 0 0 20 0 3 0 172865829 2827542528 628409 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 690318 628409 2176 2102 0 659464 0
[pid=132935/tid=133000] ppid=132931 vsize=2761272 memory=0 CPUtime=123.86 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 475939 0 0 0 12214 172 0 0 20 0 3 0 172869354 2827542528 628409 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2761272 memory=2547780 CPUtime=120.43 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 375995 0 0 0 11992 51 0 0 20 0 3 0 172869354 2827542528 628409 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 286.03 s
Current children cumulated vsize: 2761272 KiB
Current children cumulated memory: 2513636 KiB
[startup+222.3 s]
/proc/loadavg: 6.61 4.04 1.75 7/264 133037
/proc/meminfo: memFree=114125412/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2808952 memory=2570568 CPUtime=405.28 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 1107143 0 0 0 40196 332 0 0 20 0 3 0 172865829 2876366848 642642 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 702238 642642 2176 2102 0 671384 0
[pid=132935/tid=133000] ppid=132931 vsize=2808952 memory=2599648 CPUtime=183.26 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 561961 0 0 0 18088 238 0 0 20 0 3 0 172869354 2876366848 642642 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2808952 memory=-7167054131763580010 CPUtime=180.26 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 400441 0 0 0 17974 52 0 0 20 0 3 0 172869354 2876366848 642642 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 405.28 s
Current children cumulated vsize: 2808952 KiB
Current children cumulated memory: 2570568 KiB
[startup+282.3 s]
/proc/loadavg: 6.29 4.41 2.03 7/263 133039
/proc/meminfo: memFree=114103688/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2798392 memory=2582672 CPUtime=524.53 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 1162579 0 0 0 52059 394 0 0 20 0 3 0 172865829 2865553408 645668 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 699598 645668 2176 2102 0 668744 0
[pid=132935/tid=133000] ppid=132931 vsize=2798392 memory=2522092 CPUtime=242.66 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 596093 0 0 0 23968 298 0 0 20 0 3 0 172869354 2865553408 645668 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2798392 memory=-7167054131763580010 CPUtime=240.1 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 421707 0 0 0 23956 54 0 0 20 0 3 0 172869354 2865553408 645668 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 524.53 s
Current children cumulated vsize: 2798392 KiB
Current children cumulated memory: 2582672 KiB
[startup+342.3 s]
/proc/loadavg: 6.18 4.72 2.29 7/262 133041
/proc/meminfo: memFree=113983280/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2931152 memory=2723668 CPUtime=643.56 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 1321535 0 0 0 63889 467 0 0 20 0 3 0 172865829 3001499648 680917 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 732788 680917 2176 2102 0 711650 0
################
# More data... #
################
Current children cumulated memory: 2686428 KiB
[startup+1362.3 s]
/proc/loadavg: 4.11 4.16 3.65 5/256 133123
/proc/meminfo: memFree=113931508/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2801952 memory=2637756 CPUtime=2670.93 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 1952211 0 0 0 265566 1527 0 0 20 0 3 0 172865829 2869198848 659439 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 700488 659439 2176 2102 0 679356 0
[pid=132935/tid=133000] ppid=132931 vsize=2801952 memory=16772 CPUtime=1318.75 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1114786 0 0 0 130480 1395 0 0 20 0 3 0 172869354 2869198848 659439 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2801952 memory=10752 CPUtime=1307.96 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 690468 0 0 0 130715 81 0 0 20 0 3 0 172869354 2869198848 659439 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 2670.93 s
Current children cumulated vsize: 2801952 KiB
Current children cumulated memory: 2637756 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.16 3.68 5/256 133125
/proc/meminfo: memFree=113913296/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2955388 memory=2783944 CPUtime=2790.2 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 1993111 0 0 0 277428 1592 0 0 20 0 3 0 172865829 3026317312 695986 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 738847 695986 2176 2102 0 717715 0
[pid=132935/tid=133000] ppid=132931 vsize=2955388 memory=2795024 CPUtime=1378.58 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1143621 0 0 0 136403 1455 0 0 20 0 3 0 172869354 3026317312 695986 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2955388 memory=2698572 CPUtime=1367.38 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 702500 0 0 0 136652 86 0 0 20 0 3 0 172869354 3026317312 695986 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 2790.2 s
Current children cumulated vsize: 2955388 KiB
Current children cumulated memory: 2783944 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.15 3.71 5/256 133127
/proc/meminfo: memFree=113934744/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2941320 memory=2776020 CPUtime=2909.46 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2024292 0 0 0 289289 1657 0 0 20 0 3 0 172865829 3011911680 694005 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 735330 694005 2176 2102 0 714198 0
[pid=132935/tid=133000] ppid=132931 vsize=2941320 memory=2698572 CPUtime=1438.41 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1168300 0 0 0 142326 1515 0 0 20 0 3 0 172869354 3011911680 694005 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2941320 memory=2790344 CPUtime=1426.8 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 708979 0 0 0 142590 90 0 0 20 0 3 0 172869354 3011911680 694005 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 2909.46 s
Current children cumulated vsize: 2941320 KiB
Current children cumulated memory: 2776020 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.13 3.73 5/255 133129
/proc/meminfo: memFree=113923900/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2942412 memory=2778264 CPUtime=3028.72 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2052197 0 0 0 301149 1723 0 0 20 0 3 0 172865829 3013029888 694566 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 735603 694566 2176 2102 0 714471 0
[pid=132935/tid=133000] ppid=132931 vsize=2942412 memory=16772 CPUtime=1498.23 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1186550 0 0 0 148246 1577 0 0 20 0 3 0 172869354 3013029888 694566 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2942412 memory=2710336 CPUtime=1486.23 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 718611 0 0 0 148530 93 0 0 20 0 3 0 172869354 3013029888 694566 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3028.72 s
Current children cumulated vsize: 2942412 KiB
Current children cumulated memory: 2778264 KiB
[startup+1602.3 s]
/proc/loadavg: 4.15 4.14 3.76 5/255 133132
/proc/meminfo: memFree=113962012/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2950356 memory=2752420 CPUtime=3147.99 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2073171 0 0 0 313010 1789 0 0 20 0 3 0 172865829 3021164544 688105 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 737589 688105 2176 2102 0 710083 0
[pid=132935/tid=133000] ppid=132931 vsize=2950356 memory=2718652 CPUtime=1558.06 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1199796 0 0 0 154168 1638 0 0 20 0 3 0 172869354 3021164544 688105 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2950356 memory=10752 CPUtime=1545.66 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 726289 0 0 0 154468 98 0 0 20 0 3 0 172869354 3021164544 688105 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3147.99 s
Current children cumulated vsize: 2950356 KiB
Current children cumulated memory: 2752420 KiB
[startup+1662.3 s]
/proc/loadavg: 4.11 4.13 3.79 5/255 133135
/proc/meminfo: memFree=114043284/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2818760 memory=2656816 CPUtime=3267.27 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2090155 0 0 0 324879 1848 0 0 20 0 3 0 172865829 2886410240 664204 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 704690 664204 2176 2102 0 683558 0
[pid=132935/tid=133000] ppid=132931 vsize=2818760 memory=2718652 CPUtime=1617.9 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1214372 0 0 0 160094 1696 0 0 20 0 3 0 172869354 2886410240 664204 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2818760 memory=16772 CPUtime=1605.09 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 728673 0 0 0 160411 98 0 0 20 0 3 0 172869354 2886410240 664204 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3267.27 s
Current children cumulated vsize: 2818760 KiB
Current children cumulated memory: 2656816 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.11 3.81 5/255 133137
/proc/meminfo: memFree=113916588/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2955952 memory=2783868 CPUtime=3386.54 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2123424 0 0 0 336729 1925 0 0 20 0 3 0 172865829 3026894848 695967 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 738988 695967 2176 2102 0 717856 0
[pid=132935/tid=133000] ppid=132931 vsize=2955952 memory=2718652 CPUtime=1677.73 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1232269 0 0 0 166012 1761 0 0 20 0 3 0 172869354 3026894848 695967 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2955952 memory=2706296 CPUtime=1664.5 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 743997 0 0 0 166341 109 0 0 20 0 3 0 172869354 3026894848 695967 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3386.54 s
Current children cumulated vsize: 2955952 KiB
Current children cumulated memory: 2783868 KiB
[startup+1782.3 s]
/proc/loadavg: 4.13 4.12 3.83 5/255 133150
/proc/meminfo: memFree=113928708/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2951296 memory=2765132 CPUtime=3505.8 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2135048 0 0 0 348592 1988 0 0 20 0 3 0 172865829 3022127104 691283 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 737824 691283 2176 2102 0 716692 0
[pid=132935/tid=133000] ppid=132931 vsize=2951296 memory=2793708 CPUtime=1737.57 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1243295 0 0 0 171933 1824 0 0 20 0 3 0 172869354 3022127104 691283 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2951296 memory=2731636 CPUtime=1723.93 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 744562 0 0 0 172283 110 0 0 20 0 3 0 172869354 3022127104 691283 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3505.8 s
Current children cumulated vsize: 2951296 KiB
Current children cumulated memory: 2765132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1829.7 s]
/proc/loadavg: 4.12 4.12 3.85 5/256 133159
/proc/meminfo: memFree=113904496/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2960716 memory=2798104 CPUtime=3600.02 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2144872 0 0 0 357970 2032 0 0 20 0 3 0 172865829 3031773184 699526 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 740179 699526 2176 2102 0 719047 0
[pid=132935/tid=133000] ppid=132931 vsize=2960716 memory=2766692 CPUtime=1784.83 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1251513 0 0 0 176616 1867 0 0 20 0 3 0 172869354 3031773184 699526 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2960716 memory=2763504 CPUtime=1770.88 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 746167 0 0 0 176978 110 0 0 20 0 3 0 172869354 3031773184 699526 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2960716 KiB
Current children cumulated memory: 2798104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1829.73 s]
# the end of solver process 132935 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.72 s, system=20.3559 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1829.7 s]
/proc/loadavg: 4.12 4.12 3.85 5/256 133159
/proc/meminfo: memFree=113904496/131249996 swapFree=33010684/33010684
[pid=132935] ppid=132931 vsize=2960716 memory=2798104 CPUtime=3600.02 cores=4,6
/proc/132935/stat : 132935 (cp_sat_runner) S 132931 132935 132774 0 -1 4194304 2144872 0 0 0 357970 2032 0 0 20 0 3 0 172865829 3031773184 699526 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
/proc/132935/statm: 740179 699526 2176 2102 0 719047 0
[pid=132935/tid=133000] ppid=132931 vsize=2960716 memory=2766692 CPUtime=1784.83 cores=4,6
/proc/132935/task/133000/stat : 133000 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 1251513 0 0 0 176616 1867 0 0 20 0 3 0 172869354 3031773184 699526 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
[pid=132935/tid=133001] ppid=132931 vsize=2960716 memory=2763504 CPUtime=1770.88 cores=4,6
/proc/132935/task/133001/stat : 133001 (cp_sat_runner) R 132931 132935 132774 0 -1 4194368 746167 0 0 0 176978 110 0 0 20 0 3 0 172869354 3031773184 699526 18446744073709551615 4198400 12806697 140734061722928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 21676032 140734061730069 140734061730273 140734061730273 140734061735879 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2960716 KiB
Current children cumulated memory: 2798104 KiB
Child status: 0
Real time (s): 1829.73
CPU time (s): 3600.07
CPU user time (s): 3579.72
CPU system time (s): 20.3559
CPU usage (%): 196.754
Max. virtual memory (cumulated for all children) (KiB): 3036600
Max. memory (cumulated for all children) (KiB): 2834724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.72
system time used= 20.3559
maximum resident set size= 2834724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2144878
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= 19246
involuntary context switches= 56218
# summary of solver processes directly reported to runsolver:
# pid: 132935
# total CPU time (s): 3600.07
# total CPU user time (s): 3579.72
# total CPU system time (s): 20.3559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07504 second user time and 8.77391 second system time
The end
Begin job on nodeC024 at 2025-07-15 11:31:18 IDJOB=4529468 IDBENCH=143890 IDSOLVER=3387 FILE ID=nodeC024/4529468-1752571876 RUNJOBID= nodeC024-1752571843-132791 SLURM_JOB_ID= 9683893 Free space on /tmp= 432768 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub2_wcsp.wbo COMMAND LINE= cp_sat_runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529468-1752571876/watcher-4529468-1752571876 -o /tmp/evaluation-result-4529468-1752571876/solver-4529468-1752571876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752571843-132791 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529468-1752571876.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b293c70ef0b1b0b4ae40fd7d560d8ea RANDOM SEED=482937223 nodeC024 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 : 0xb00002a cpu MHz : 3599.703 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3599.704 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3599.679 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3599.672 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3601.254 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3600.298 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3599.664 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a cpu MHz : 3603.592 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 116714508 kB MemAvailable: 129642932 kB Buffers: 2144 kB Cached: 13691968 kB SwapCached: 0 kB Active: 727424 kB Inactive: 13111348 kB Active(anon): 162688 kB Inactive(anon): 36 kB Active(file): 564736 kB Inactive(file): 13111312 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20240 kB Writeback: 4 kB AnonPages: 147796 kB Mapped: 124224 kB Shmem: 18064 kB KReclaimable: 182832 kB Slab: 282856 kB SReclaimable: 182832 kB SUnreclaim: 100024 kB KernelStack: 4304 kB PageTables: 3280 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 504788 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432864 MiB End job on nodeC024 at 2025-07-15 12:01:49