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 | MSAT (TO) | 3600.19 | 1827.93 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo |
| MD5SUM | 4332859c61197d8e78afa6b8b48bb73c |
| 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 | 2669 |
| Best CPU time to get the best result obtained on this benchmark | 28.4538 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 241978 |
| Number of soft constraints | 241964 |
| Number of constraints which are clauses | 241964 |
| 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 | 44 |
| Top cost | 48694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 34489736 |
| 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 |
27.70/27.47 o 10657 33.25/30.20 o 10078 35.05/31.29 o 9057 67.74/47.75 o 8350 67.95/47.81 o 5729 131.37/79.82 o 5728 131.37/79.86 o 5727 136.52/82.48 o 4926 136.72/82.53 o 4726 160.74/94.61 o 4474 161.34/94.90 o 4269 202.24/115.55 o 4234 205.81/117.36 o 4221 222.29/125.64 o 4101 222.49/125.72 o 4078 235.39/132.29 o 4077 1348.95/693.68 o 4076 1623.36/831.93 o 4075 2308.04/1176.95 o 4066 2308.04/1176.97 o 4065 3383.02/1718.53 o 4064 3492.16/1773.50 o 4054 3600.14/1827.90 s SATISFIABLE 3600.14/1827.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.14/1827.90 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.14/1827.90 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.14/1827.90 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 3600.14/1827.90 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 3600.14/1827.90 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.14/1827.90 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.14/1827.90 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 3600.14/1827.90 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 3600.14/1827.90 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 3600.14/1827.90 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.14/1827.90 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 3600.14/1827.90 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 3600.14/1827.90 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.14/1827.90 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 3600.14/1827.90 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 3600.14/1827.90 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 3600.14/1827.90 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.14/1827.90 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.14/1827.90 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.14/1827.90 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.14/1827.90 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 3600.14/1827.90 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.14/1827.90 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.14/1827.90 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 3600.14/1827.90 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 3600.14/1827.90 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 3600.14/1827.90 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 3600.14/1827.90 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 3600.14/1827.90 v -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.14/1827.90 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.14/1827.90 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 3600.14/1827.90 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 3600.14/1827.90 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 3600.14/1827.90 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 3600.14/1827.90 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.14/1827.90 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 3600.14/1827.90 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 3600.14/1827.90 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.14/1827.90 v -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 3600.14/1827.90 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 3600.14/1827.90 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 3600.14/1827.90 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.14/1827.90 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 3600.14/1827.90 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 3600.14/1827.90 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 3600.14/1827.90 v x615 -x616
OK 4054
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: 63708 MiB (62888 MiB free)
memory of node 1: 64465 MiB (63908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525782-1751625557/watcher-4525782-1751625557 -o /tmp/evaluation-result-4525782-1751625557/solver-4525782-1751625557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89352 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1850294381 --competition_mode --input HOME/instance-4525782-1751625557.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=89409, runsolver pid=89392
[startup+0.100061 s]*
/proc/loadavg: 1.13 1.84 2.94 4/261 89412
/proc/meminfo: memFree=129787632/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=45776 memory=36948 CPUtime=0.09 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 8267 0 0 0 8 1 0 0 20 0 1 0 78233563 46874624 9237 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 11444 9237 1088 2102 0 8984 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45776 KiB
Current children cumulated memory: 36948 KiB
[startup+0.20465 s]*
/proc/loadavg: 1.13 1.84 2.94 4/257 89428
/proc/meminfo: memFree=129702516/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=140208 memory=132468 CPUtime=0.2 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 31636 0 0 0 15 5 0 0 20 0 1 0 78233563 143572992 33117 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 35052 33117 1088 2102 0 32592 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 140208 KiB
Current children cumulated memory: 132468 KiB
[startup+0.305407 s]*
/proc/loadavg: 1.13 1.84 2.94 4/259 89430
/proc/meminfo: memFree=129675320/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=149160 memory=143408 CPUtime=0.3 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 35960 0 0 0 24 6 0 0 20 0 1 0 78233563 152739840 35852 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 37290 35852 1344 2102 0 34830 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149160 KiB
Current children cumulated memory: 143408 KiB
[startup+0.700167 s]
/proc/loadavg: 1.13 1.84 2.94 5/259 89430
/proc/meminfo: memFree=129526512/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=243544 memory=235888 CPUtime=0.68 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 55408 0 0 0 59 9 0 0 20 0 1 0 78233563 249389056 58972 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 60886 58972 1472 2102 0 58426 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 243544 KiB
Current children cumulated memory: 235888 KiB
[startup+1.50015 s]
/proc/loadavg: 1.44 1.89 2.95 2/257 89450
/proc/meminfo: memFree=129569796/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=271212 memory=258796 CPUtime=1.48 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 66085 0 0 0 137 11 0 0 20 0 1 0 78233563 277721088 64699 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 67803 64699 1536 2102 0 65343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 271212 KiB
Current children cumulated memory: 258796 KiB
[startup+3.10541 s]
/proc/loadavg: 1.44 1.89 2.95 6/267 89646
/proc/meminfo: memFree=129288888/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=390524 memory=376080 CPUtime=3.08 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 83128 0 0 0 294 14 0 0 20 0 1 0 78233563 399896576 94020 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 97631 94020 1568 2102 0 95171 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 390524 KiB
Current children cumulated memory: 376080 KiB
[startup+6.30018 s]
/proc/loadavg: 1.88 1.97 2.97 7/269 89695
/proc/meminfo: memFree=128599712/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=403248 memory=388396 CPUtime=6.27 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 85718 0 0 0 612 15 0 0 20 0 1 0 78233563 412925952 97099 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 100812 97099 1568 2102 0 98352 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 403248 KiB
Current children cumulated memory: 388396 KiB
[startup+12.7002 s]
/proc/loadavg: 2.21 2.04 2.99 7/265 89733
/proc/meminfo: memFree=128326612/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=467716 memory=450120 CPUtime=12.64 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 93912 0 0 0 1244 20 0 0 20 0 1 0 78233563 478941184 112530 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 116929 112530 1856 2102 0 114469 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 467716 KiB
Current children cumulated memory: 450120 KiB
[startup+25.5001 s]
/proc/loadavg: 2.79 2.17 3.02 7/265 90128
/proc/meminfo: memFree=128245448/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=561052 memory=556732 CPUtime=25.4 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) R 89392 89409 89339 0 -1 4194304 121548 0 0 0 2510 30 0 0 20 0 1 0 78233563 574517248 139183 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 140263 139183 1888 2102 0 137803 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 561052 KiB
Current children cumulated memory: 556732 KiB
[startup+51.1056 s]
/proc/loadavg: 4.73 2.70 3.17 9/273 90404
/proc/meminfo: memFree=126115984/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2258328 memory=2065684 CPUtime=74.5 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 453694 0 0 0 7338 112 0 0 20 0 3 0 78233563 2312527872 516421 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 564582 516421 2176 2102 0 539993 0
[pid=89409/tid=90188] ppid=89392 vsize=2258328 memory=1980316 CPUtime=21.37 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 191010 0 0 0 2104 33 0 0 20 0 3 0 78236260 2312527872 516421 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2258328 memory=1958952 CPUtime=23.6 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 140637 0 0 0 2312 48 0 0 20 0 3 0 78236260 2312527872 516421 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 74.5 s
Current children cumulated vsize: 2258328 KiB
Current children cumulated memory: 2065684 KiB
[startup+102.3 s]
/proc/loadavg: 6.62 3.53 3.43 9/275 90501
/proc/meminfo: memFree=126487124/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2253424 memory=2076712 CPUtime=176.03 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 671865 0 0 0 17425 178 0 0 20 0 3 0 78233563 2307506176 519178 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 563356 519178 2176 2102 0 539685 0
[pid=89409/tid=90188] ppid=89392 vsize=2253424 memory=2013208 CPUtime=71.79 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 356603 0 0 0 7135 44 0 0 20 0 3 0 78236260 2307506176 519178 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2253424 memory=190 CPUtime=73.85 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 193183 0 0 0 7283 102 0 0 20 0 3 0 78236260 2307506176 519178 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 176.03 s
Current children cumulated vsize: 2253424 KiB
Current children cumulated memory: 2076712 KiB
[startup+162.3 s]
/proc/loadavg: 7.58 4.38 3.73 9/275 90503
/proc/meminfo: memFree=125971212/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2406540 memory=2201584 CPUtime=294.85 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 792757 0 0 0 29233 252 0 0 20 0 3 0 78233563 2464296960 550396 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 601635 550396 2176 2102 0 580388 0
[pid=89409/tid=90188] ppid=89392 vsize=2406540 memory=4624 CPUtime=130.56 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 428584 0 0 0 13004 52 0 0 20 0 3 0 78236260 2464296960 550396 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2406540 memory=2113756 CPUtime=132.89 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 242065 0 0 0 13121 168 0 0 20 0 3 0 78236260 2464296960 550396 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 294.85 s
Current children cumulated vsize: 2406540 KiB
Current children cumulated memory: 2201584 KiB
[startup+222.3 s]
/proc/loadavg: 7.77 5.01 3.99 9/275 90739
/proc/meminfo: memFree=124965252/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2289872 memory=2136116 CPUtime=413.94 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 851096 0 0 0 41077 317 0 0 20 0 3 0 78233563 2344828928 534029 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 572468 534029 2176 2102 0 551221 0
[pid=89409/tid=90188] ppid=89392 vsize=2289872 memory=2261624 CPUtime=189.77 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 443305 0 0 0 18923 54 0 0 20 0 3 0 78236260 2344828928 534029 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2289872 memory=2247208 CPUtime=192.15 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 285661 0 0 0 18986 229 0 0 20 0 3 0 78236260 2344828928 534029 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 413.94 s
Current children cumulated vsize: 2289872 KiB
Current children cumulated memory: 2136116 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 5.59 4.25 9/274 90741
/proc/meminfo: memFree=124769648/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2357424 memory=2203668 CPUtime=532.98 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 886804 0 0 0 52915 383 0 0 20 0 3 0 78233563 2414002176 550917 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 589356 550917 2176 2102 0 568109 0
[pid=89409/tid=90188] ppid=89392 vsize=2357424 memory=2250840 CPUtime=249.51 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 448621 0 0 0 24897 54 0 0 20 0 3 0 78236260 2414002176 550917 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2357424 memory=2229756 CPUtime=251.43 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 316040 0 0 0 24848 295 0 0 20 0 3 0 78236260 2414002176 550917 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 532.98 s
Current children cumulated vsize: 2357424 KiB
Current children cumulated memory: 2203668 KiB
[startup+342.3 s]
/proc/loadavg: 8.07 6.04 4.50 9/272 90743
/proc/meminfo: memFree=124672724/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2399384 memory=2195956 CPUtime=652.03 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 962085 0 0 0 64759 444 0 0 20 0 3 0 78233563 2456969216 548989 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 599846 548989 2176 2102 0 578599 0
################
# More data... #
################
Current children cumulated memory: 2263868 KiB
[startup+1362.3 s]
/proc/loadavg: 8.12 8.03 6.93 9/272 91369
/proc/meminfo: memFree=124259064/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2306372 memory=2162500 CPUtime=2676.05 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1700671 0 0 0 266097 1508 0 0 20 0 3 0 78233563 2361724928 540625 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 576593 540625 2176 2102 0 555346 0
[pid=89409/tid=90188] ppid=89392 vsize=2306372 memory=14336 CPUtime=1325.15 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 955850 0 0 0 132423 92 0 0 20 0 3 0 78236260 2361724928 540625 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2306372 memory=14336 CPUtime=1318.52 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 622459 0 0 0 130478 1374 0 0 20 0 3 0 78236260 2361724928 540625 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 2676.05 s
Current children cumulated vsize: 2306372 KiB
Current children cumulated memory: 2162500 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.04 7.00 9/272 91371
/proc/meminfo: memFree=124169332/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2421412 memory=2275492 CPUtime=2795.14 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1719040 0 0 0 277948 1566 0 0 20 0 3 0 78233563 2479525888 568873 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 605353 568873 2176 2102 0 584106 0
[pid=89409/tid=90188] ppid=89392 vsize=2421412 memory=14336 CPUtime=1384.92 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 966392 0 0 0 138399 93 0 0 20 0 3 0 78236260 2479525888 568873 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2421412 memory=14336 CPUtime=1377.83 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 630280 0 0 0 136352 1431 0 0 20 0 3 0 78236260 2479525888 568873 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 2795.14 s
Current children cumulated vsize: 2421412 KiB
Current children cumulated memory: 2275492 KiB
[startup+1482.3 s]
/proc/loadavg: 8.11 8.04 7.07 9/273 91374
/proc/meminfo: memFree=124186256/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2424956 memory=2281084 CPUtime=2914.23 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1738491 0 0 0 289791 1632 0 0 20 0 3 0 78233563 2483154944 570271 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 606239 570271 2176 2102 0 584992 0
[pid=89409/tid=90188] ppid=89392 vsize=2424956 memory=14156 CPUtime=1444.68 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 974908 0 0 0 144375 93 0 0 20 0 3 0 78236260 2483154944 570271 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2424956 memory=2225376 CPUtime=1437.14 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 641210 0 0 0 142219 1495 0 0 20 0 3 0 78236260 2483154944 570271 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 2424956 KiB
Current children cumulated memory: 2281084 KiB
[startup+1542.3 s]
/proc/loadavg: 8.09 8.05 7.14 9/273 91376
/proc/meminfo: memFree=124218636/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2387280 memory=2229072 CPUtime=3033.32 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1761192 0 0 0 301641 1691 0 0 20 0 3 0 78233563 2444574720 557268 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 596820 557268 2176 2102 0 575573 0
[pid=89409/tid=90188] ppid=89392 vsize=2387280 memory=2282836 CPUtime=1504.45 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 986242 0 0 0 150351 94 0 0 20 0 3 0 78236260 2444574720 557268 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2387280 memory=-8183432457970552519 CPUtime=1496.43 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 652569 0 0 0 148091 1552 0 0 20 0 3 0 78236260 2444574720 557268 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 2387280 KiB
Current children cumulated memory: 2229072 KiB
[startup+1602.3 s]
/proc/loadavg: 8.08 8.05 7.20 9/273 91378
/proc/meminfo: memFree=124159656/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2429348 memory=2285476 CPUtime=3152.41 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1790852 0 0 0 313491 1750 0 0 20 0 3 0 78233563 2487652352 571369 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 607337 571369 2176 2102 0 586090 0
[pid=89409/tid=90188] ppid=89392 vsize=2429348 memory=14156 CPUtime=1564.22 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 996877 0 0 0 156326 96 0 0 20 0 3 0 78236260 2487652352 571369 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2429348 memory=2260900 CPUtime=1555.74 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 671589 0 0 0 153965 1609 0 0 20 0 3 0 78236260 2487652352 571369 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 2429348 KiB
Current children cumulated memory: 2285476 KiB
[startup+1662.3 s]
/proc/loadavg: 8.06 8.06 7.26 9/273 91380
/proc/meminfo: memFree=124173720/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2409964 memory=2266092 CPUtime=3271.5 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1810215 0 0 0 325336 1814 0 0 20 0 3 0 78233563 2467803136 566523 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 602491 566523 2176 2102 0 581244 0
[pid=89409/tid=90188] ppid=89392 vsize=2409964 memory=14156 CPUtime=1623.99 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 1007295 0 0 0 162302 97 0 0 20 0 3 0 78236260 2467803136 566523 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2409964 memory=14156 CPUtime=1615.04 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 680530 0 0 0 159832 1672 0 0 20 0 3 0 78236260 2467803136 566523 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3271.5 s
Current children cumulated vsize: 2409964 KiB
Current children cumulated memory: 2266092 KiB
[startup+1722.3 s]
/proc/loadavg: 8.07 8.06 7.31 9/272 91382
/proc/meminfo: memFree=124179312/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2375852 memory=2243644 CPUtime=3390.55 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1830070 0 0 0 337180 1875 0 0 20 0 3 0 78233563 2432872448 560911 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 593963 560911 2176 2102 0 575614 0
[pid=89409/tid=90188] ppid=89392 vsize=2375852 memory=14156 CPUtime=1683.72 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 1019412 0 0 0 168274 98 0 0 20 0 3 0 78236260 2432872448 560911 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2375852 memory=5632 CPUtime=1674.35 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 688264 0 0 0 165704 1731 0 0 20 0 3 0 78236260 2432872448 560911 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3390.55 s
Current children cumulated vsize: 2375852 KiB
Current children cumulated memory: 2243644 KiB
[startup+1782.3 s]
/proc/loadavg: 8.14 8.08 7.37 9/272 91385
/proc/meminfo: memFree=124131096/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2416672 memory=2287836 CPUtime=3509.63 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1854962 0 0 0 349027 1936 0 0 20 0 3 0 78233563 2474672128 571959 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 604168 571959 2176 2102 0 585819 0
[pid=89409/tid=90188] ppid=89392 vsize=2416672 memory=2237484 CPUtime=1743.48 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 1032677 0 0 0 174248 100 0 0 20 0 3 0 78236260 2474672128 571959 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2416672 memory=2281328 CPUtime=1733.65 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 699884 0 0 0 171576 1789 0 0 20 0 3 0 78236260 2474672128 571959 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3509.63 s
Current children cumulated vsize: 2416672 KiB
Current children cumulated memory: 2287836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1827.9 s]
/proc/loadavg: 8.15 8.08 7.41 9/270 91433
/proc/meminfo: memFree=125778444/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2425556 memory=2237328 CPUtime=3600.14 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1867426 0 0 0 358030 1984 0 0 20 0 3 0 78233563 2483769344 559332 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 606389 559332 2176 2102 0 588040 0
[pid=89409/tid=90188] ppid=89392 vsize=2425556 memory=14336 CPUtime=1788.89 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 1037988 0 0 0 178789 100 0 0 20 0 3 0 78236260 2483769344 559332 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2425556 memory=2268860 CPUtime=1778.72 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 707031 0 0 0 176035 1837 0 0 20 0 3 0 78236260 2483769344 559332 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 2425556 KiB
Current children cumulated memory: 2237328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1827.93 s]
# the end of solver process 89409 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.32 s, system=19.8708 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1827.9 s]
/proc/loadavg: 8.15 8.08 7.41 9/270 91433
/proc/meminfo: memFree=125778444/131249996 swapFree=33000896/33010684
[pid=89409] ppid=89392 vsize=2425556 memory=2237328 CPUtime=3600.14 cores=5,7
/proc/89409/stat : 89409 (cp-sat-runner) S 89392 89409 89339 0 -1 4194304 1867426 0 0 0 358030 1984 0 0 20 0 3 0 78233563 2483769344 559332 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
/proc/89409/statm: 606389 559332 2176 2102 0 588040 0
[pid=89409/tid=90188] ppid=89392 vsize=2425556 memory=14336 CPUtime=1788.89 cores=5,7
/proc/89409/task/90188/stat : 90188 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 1037988 0 0 0 178789 100 0 0 20 0 3 0 78236260 2483769344 559332 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
[pid=89409/tid=90189] ppid=89392 vsize=2425556 memory=2268860 CPUtime=1778.72 cores=5,7
/proc/89409/task/90189/stat : 90189 (cp-sat-runner) R 89392 89409 89339 0 -1 4194368 707031 0 0 0 176035 1837 0 0 20 0 3 0 78236260 2483769344 559332 18446744073709551615 4198400 12805993 140734613007952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 44355584 140734613010710 140734613010915 140734613010915 140734613016519 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 2425556 KiB
Current children cumulated memory: 2237328 KiB
Child status: 0
Real time (s): 1827.93
CPU time (s): 3600.19
CPU user time (s): 3580.32
CPU system time (s): 19.8708
CPU usage (%): 196.954
Max. virtual memory (cumulated for all children) (KiB): 2533512
Max. memory (cumulated for all children) (KiB): 2348240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.32
system time used= 19.8708
maximum resident set size= 2348240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1867431
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= 19108
involuntary context switches= 121567
# summary of solver processes directly reported to runsolver:
# pid: 89409
# total CPU time (s): 3600.19
# total CPU user time (s): 3580.32
# total CPU system time (s): 19.8708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04947 second user time and 8.70462 second system time
The end
Begin job on nodeC023 at 2025-07-04 12:39:17 IDJOB=4525782 IDBENCH=143893 IDSOLVER=3378 FILE ID=nodeC023/4525782-1751625557 RUNJOBID= nodeC023-1751625557-89352 SLURM_JOB_ID= 9598950 Free space on /tmp= 431864 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1_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-4525782-1751625557/watcher-4525782-1751625557 -o /tmp/evaluation-result-4525782-1751625557/solver-4525782-1751625557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89352 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1850294381 --competition_mode --input HOME/instance-4525782-1751625557.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4332859c61197d8e78afa6b8b48bb73c RANDOM SEED=1850294381 nodeC023 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 : 3600.196 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.78 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 : 3598.520 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.022 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.78 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.952 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.78 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 : 3600.662 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.78 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.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 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.78 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.838 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.78 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 : 3599.886 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129845276 kB MemAvailable: 129668948 kB Buffers: 16 kB Cached: 566172 kB SwapCached: 2904 kB Active: 222840 kB Inactive: 422956 kB Active(anon): 38504 kB Inactive(anon): 53364 kB Active(file): 184336 kB Inactive(file): 369592 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56912 kB Writeback: 0 kB AnonPages: 79464 kB Mapped: 97556 kB Shmem: 12532 kB KReclaimable: 217968 kB Slab: 310292 kB SReclaimable: 217968 kB SUnreclaim: 92324 kB KernelStack: 4192 kB PageTables: 2916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 343296 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431808 MiB End job on nodeC023 at 2025-07-04 13:09:45