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.86 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo |
| MD5SUM | daf2f1ed087a94b78160429ad112bf14 |
| 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 | 142640 |
| Best CPU time to get the best result obtained on this benchmark | 27.4485 |
| 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 | 249748 |
| Number of soft constraints | 249734 |
| Number of constraints which are clauses | 249734 |
| 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 | 39275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 19104596930 |
| 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 |
26.40/25.94 o 5342729 59.37/42.70 o 4392829 59.58/42.84 o 3392729 61.56/43.82 o 1352542 66.32/46.23 o 1332236 83.79/55.09 o 1282136 199.91/113.93 o 1262139 217.37/122.76 o 1252442 321.56/175.29 o 363951 321.76/175.38 o 333641 341.59/185.31 o 313944 341.59/185.38 o 283542 462.05/246.10 o 273442 483.46/256.87 o 253541 491.80/261.05 o 243544 492.00/261.12 o 243441 519.58/275.02 o 243340 523.54/277.04 o 233340 524.53/277.56 o 233240 531.48/281.08 o 213343 531.68/281.14 o 213142 3210.74/1631.44 o 213042 3404.27/1729.14 o 212942 3600.11/1827.80 s SATISFIABLE 3600.11/1827.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.11/1827.80 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.11/1827.80 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.11/1827.80 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.11/1827.80 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.11/1827.80 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.11/1827.80 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.11/1827.80 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 3600.11/1827.80 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 3600.11/1827.80 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.11/1827.80 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.11/1827.80 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 3600.11/1827.80 v -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 3600.11/1827.80 v -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.11/1827.80 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 3600.11/1827.80 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 3600.11/1827.80 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 3600.11/1827.80 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.11/1827.80 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 3600.11/1827.80 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.11/1827.80 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.11/1827.80 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.11/1827.80 v -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.11/1827.80 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.11/1827.80 v -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 3600.11/1827.80 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 3600.11/1827.80 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 3600.11/1827.80 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 3600.11/1827.80 v -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 3600.11/1827.80 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.11/1827.80 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.11/1827.80 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 3600.11/1827.80 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 3600.11/1827.80 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 3600.11/1827.80 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 3600.11/1827.80 v -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.11/1827.80 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 3600.11/1827.80 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 3600.11/1827.80 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.11/1827.80 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 3600.11/1827.80 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 3600.11/1827.80 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 3600.11/1827.80 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.11/1827.80 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 3600.11/1827.80 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 3600.11/1827.80 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 3600.11/1827.80 v -x615 -x616
OK 212942
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 (58409 MiB free)
memory of node 1: 64507 MiB (62006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525746-1751624255/watcher-4525746-1751624255 -o /tmp/evaluation-result-4525746-1751624255/solver-4525746-1751624255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89464 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:531285753 --competition_mode --input HOME/instance-4525746-1751624255.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=89510, runsolver pid=89504
[startup+0.100062 s]*
/proc/loadavg: 2.31 3.64 3.94 5/265 89523
/proc/meminfo: memFree=123174980/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=44984 memory=34516 CPUtime=0.09 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 8174 0 0 0 8 1 0 0 20 0 1 0 78103262 46063616 8629 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 11246 8629 1088 2102 0 8786 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44984 KiB
Current children cumulated memory: 34516 KiB
[startup+0.205677 s]*
/proc/loadavg: 2.31 3.64 3.94 6/265 89523
/proc/meminfo: memFree=122972544/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=125804 memory=117332 CPUtime=0.19 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 27840 0 0 0 15 4 0 0 20 0 1 0 78103262 128823296 29333 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 31451 29333 1088 2102 0 28991 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 125804 KiB
Current children cumulated memory: 117332 KiB
[startup+0.305769 s]*
/proc/loadavg: 2.31 3.64 3.94 5/265 89523
/proc/meminfo: memFree=122799356/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=142588 memory=137128 CPUtime=0.3 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 34481 0 0 0 24 6 0 0 20 0 1 0 78103262 146010112 34282 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 35647 34282 1344 2102 0 33187 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 142588 KiB
Current children cumulated memory: 137128 KiB
[startup+0.700162 s]
/proc/loadavg: 2.31 3.64 3.94 5/265 89523
/proc/meminfo: memFree=122614384/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=248248 memory=242844 CPUtime=0.68 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 56720 0 0 0 59 9 0 0 20 0 1 0 78103262 254205952 60711 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 62062 60711 1472 2102 0 59602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248248 KiB
Current children cumulated memory: 242844 KiB
[startup+1.50017 s]
/proc/loadavg: 2.31 3.64 3.94 5/265 89523
/proc/meminfo: memFree=122485228/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=306020 memory=295752 CPUtime=1.48 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 66322 0 0 0 137 11 0 0 20 0 1 0 78103262 313364480 73938 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 76505 73938 1504 2102 0 74045 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 306020 KiB
Current children cumulated memory: 295752 KiB
[startup+3.10551 s]
/proc/loadavg: 2.31 3.64 3.94 6/267 89525
/proc/meminfo: memFree=121689288/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=400036 memory=388528 CPUtime=3.08 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 86845 0 0 0 293 15 0 0 20 0 1 0 78103262 409636864 97132 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 100009 97132 1568 2102 0 97549 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 400036 KiB
Current children cumulated memory: 388528 KiB
[startup+6.30017 s]
/proc/loadavg: 2.53 3.66 3.95 7/269 89527
/proc/meminfo: memFree=120927528/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=410548 memory=398640 CPUtime=6.27 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 89389 0 0 0 611 16 0 0 20 0 1 0 78103262 420401152 99660 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 102637 99660 1568 2102 0 100177 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 410548 KiB
Current children cumulated memory: 398640 KiB
[startup+12.7002 s]
/proc/loadavg: 2.80 3.70 3.96 7/269 89527
/proc/meminfo: memFree=120200992/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=479652 memory=466084 CPUtime=12.64 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) R 89504 89510 89454 0 -1 4194304 99061 0 0 0 1243 21 0 0 20 0 1 0 78103262 491163648 116521 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 119913 116521 1856 2102 0 117453 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 479652 KiB
Current children cumulated memory: 466084 KiB
[startup+25.5002 s]
/proc/loadavg: 3.51 3.82 3.99 7/269 89528
/proc/meminfo: memFree=119898376/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=998080 memory=881028 CPUtime=25.6 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 160025 0 0 0 2520 40 0 0 20 0 3 0 78103262 1022033920 220257 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 249520 220257 1920 2102 0 232702 0
Current children cumulated CPU time: 25.6 s
Current children cumulated vsize: 998080 KiB
Current children cumulated memory: 881028 KiB
[startup+51.1059 s]
/proc/loadavg: 5.00 4.14 4.09 9/273 89532
/proc/meminfo: memFree=116730256/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2263792 memory=2022276 CPUtime=76.05 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 461215 0 0 0 7491 114 0 0 20 0 3 0 78103262 2318123008 505569 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 565948 505569 2144 2102 0 544539 0
[pid=89510/tid=89529] ppid=89504 vsize=2263792 memory=1939148 CPUtime=22.77 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 173096 0 0 0 2246 31 0 0 20 0 3 0 78105790 2318123008 505569 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2263792 memory=1820968 CPUtime=25.06 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 157033 0 0 0 2456 50 0 0 20 0 3 0 78105790 2318123008 505569 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 76.05 s
Current children cumulated vsize: 2263792 KiB
Current children cumulated memory: 2022276 KiB
[startup+102.3 s]
/proc/loadavg: 6.79 4.76 4.31 9/273 89534
/proc/meminfo: memFree=116262476/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2433628 memory=2270660 CPUtime=176.89 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 736223 0 0 0 17502 187 0 0 20 0 3 0 78103262 2492035072 567665 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 608407 567665 2144 2102 0 591696 0
[pid=89510/tid=89529] ppid=89504 vsize=2433628 memory=2390676 CPUtime=70.83 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 368039 0 0 0 7034 49 0 0 20 0 3 0 78105790 2492035072 567665 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2433628 memory=14592 CPUtime=74.7 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 234153 0 0 0 7367 103 0 0 20 0 3 0 78105790 2492035072 567665 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 176.89 s
Current children cumulated vsize: 2433628 KiB
Current children cumulated memory: 2270660 KiB
[startup+162.3 s]
/proc/loadavg: 7.61 5.36 4.54 9/273 89536
/proc/meminfo: memFree=116390888/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2530736 memory=2360536 CPUtime=295.95 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 831510 0 0 0 29350 245 0 0 20 0 3 0 78103262 2591473664 590134 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 632684 590134 2144 2102 0 616667 0
[pid=89510/tid=89529] ppid=89504 vsize=2530736 memory=10752 CPUtime=130.59 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 439782 0 0 0 13004 55 0 0 20 0 3 0 78105790 2591473664 590134 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2530736 memory=2345300 CPUtime=134 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 257682 0 0 0 13245 155 0 0 20 0 3 0 78105790 2591473664 590134 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 295.95 s
Current children cumulated vsize: 2530736 KiB
Current children cumulated memory: 2360536 KiB
[startup+222.3 s]
/proc/loadavg: 7.90 5.86 4.77 9/271 89542
/proc/meminfo: memFree=116197052/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2510160 memory=2329720 CPUtime=415.02 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 914994 0 0 0 41200 302 0 0 20 0 3 0 78103262 2570403840 582430 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 627540 582430 2144 2102 0 611523 0
[pid=89510/tid=89529] ppid=89504 vsize=2510160 memory=2273668 CPUtime=190.34 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 513992 0 0 0 18973 61 0 0 20 0 3 0 78105790 2570403840 582430 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2510160 memory=14592 CPUtime=193.31 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 266948 0 0 0 19126 205 0 0 20 0 3 0 78105790 2570403840 582430 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 415.02 s
Current children cumulated vsize: 2510160 KiB
Current children cumulated memory: 2329720 KiB
[startup+282.3 s]
/proc/loadavg: 8.02 6.27 4.98 9/271 89544
/proc/meminfo: memFree=116227932/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2524168 memory=2327676 CPUtime=534.05 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 1007607 0 0 0 53042 363 0 0 20 0 3 0 78103262 2584748032 581919 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 631042 581919 2144 2102 0 615108 0
[pid=89510/tid=89529] ppid=89504 vsize=2524168 memory=2360080 CPUtime=250.04 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 563088 0 0 0 24939 65 0 0 20 0 3 0 78105790 2584748032 581919 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2524168 memory=2377032 CPUtime=252.62 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 310443 0 0 0 25001 261 0 0 20 0 3 0 78105790 2584748032 581919 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 534.05 s
Current children cumulated vsize: 2524168 KiB
Current children cumulated memory: 2327676 KiB
[startup+342.3 s]
/proc/loadavg: 8.05 6.60 5.18 9/270 89546
/proc/meminfo: memFree=116115600/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2563668 memory=2403984 CPUtime=653.08 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 1098120 0 0 0 64889 419 0 0 20 0 3 0 78103262 2625196032 600996 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 640917 600996 2144 2102 0 624987 0
[pid=89510/tid=89529] ppid=89504 vsize=2563668 memory=2368252 CPUtime=309.75 cores=0,2
################
# More data... #
################
Current children cumulated memory: 2470948 KiB
[startup+1302.3 s]
/proc/loadavg: 8.15 8.06 7.10 9/271 89592
/proc/meminfo: memFree=115860928/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2659600 memory=2465920 CPUtime=2557.67 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2335252 0 0 0 254330 1437 0 0 20 0 3 0 78103262 2723430400 616480 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 664900 616480 2144 2102 0 649133 0
[pid=89510/tid=89529] ppid=89504 vsize=2659600 memory=2477268 CPUtime=1260.17 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 963631 0 0 0 125812 205 0 0 20 0 3 0 78105790 2723430400 616480 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2659600 memory=14592 CPUtime=1265.73 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1236801 0 0 0 125386 1187 0 0 20 0 3 0 78105790 2723430400 616480 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 2557.67 s
Current children cumulated vsize: 2659600 KiB
Current children cumulated memory: 2465920 KiB
[startup+1362.3 s]
/proc/loadavg: 8.11 8.06 7.17 9/272 89595
/proc/meminfo: memFree=115817500/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2699208 memory=2485052 CPUtime=2676.73 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2396209 0 0 0 266178 1495 0 0 20 0 3 0 78103262 2763988992 621263 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 674802 621263 2144 2102 0 659035 0
[pid=89510/tid=89529] ppid=89504 vsize=2699208 memory=2477268 CPUtime=1319.48 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 972714 0 0 0 131740 208 0 0 20 0 3 0 78105790 2763988992 621263 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2699208 memory=10752 CPUtime=1325.46 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1288635 0 0 0 131304 1242 0 0 20 0 3 0 78105790 2763988992 621263 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 2676.73 s
Current children cumulated vsize: 2699208 KiB
Current children cumulated memory: 2485052 KiB
[startup+1422.3 s]
/proc/loadavg: 8.08 8.06 7.23 9/272 89602
/proc/meminfo: memFree=115815220/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2674604 memory=2501408 CPUtime=2795.8 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2424510 0 0 0 278029 1551 0 0 20 0 3 0 78103262 2738794496 625352 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 668651 625352 2144 2102 0 652884 0
[pid=89510/tid=89529] ppid=89504 vsize=2674604 memory=2477268 CPUtime=1378.79 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 985697 0 0 0 137665 214 0 0 20 0 3 0 78105790 2738794496 625352 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2674604 memory=2493216 CPUtime=1385.2 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1303950 0 0 0 137230 1290 0 0 20 0 3 0 78105790 2738794496 625352 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 2795.8 s
Current children cumulated vsize: 2674604 KiB
Current children cumulated memory: 2501408 KiB
[startup+1482.3 s]
/proc/loadavg: 8.13 8.08 7.29 9/273 89605
/proc/meminfo: memFree=115804396/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2663240 memory=2496192 CPUtime=2914.87 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2485407 0 0 0 289871 1616 0 0 20 0 3 0 78103262 2727157760 624048 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 665810 624048 2144 2102 0 650043 0
[pid=89510/tid=89529] ppid=89504 vsize=2663240 memory=14592 CPUtime=1438.11 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 997094 0 0 0 143584 227 0 0 20 0 3 0 78105790 2727157760 624048 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2663240 memory=2472572 CPUtime=1444.94 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1353425 0 0 0 143151 1343 0 0 20 0 3 0 78105790 2727157760 624048 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 2914.87 s
Current children cumulated vsize: 2663240 KiB
Current children cumulated memory: 2496192 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.08 7.34 9/273 89607
/proc/meminfo: memFree=115851708/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2694000 memory=2471656 CPUtime=3033.93 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2516174 0 0 0 301714 1679 0 0 20 0 3 0 78103262 2758656000 617914 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 673500 617914 2144 2102 0 657733 0
[pid=89510/tid=89529] ppid=89504 vsize=2694000 memory=2508348 CPUtime=1497.41 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1004005 0 0 0 149508 233 0 0 20 0 3 0 78105790 2758656000 617914 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2694000 memory=2491228 CPUtime=1504.68 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1377277 0 0 0 149069 1399 0 0 20 0 3 0 78105790 2758656000 617914 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 2694000 KiB
Current children cumulated memory: 2471656 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.09 7.39 9/273 89609
/proc/meminfo: memFree=115758700/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2699200 memory=2507580 CPUtime=3153 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2559412 0 0 0 313563 1737 0 0 20 0 3 0 78103262 2763980800 626895 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 674800 626895 2144 2102 0 659033 0
[pid=89510/tid=89529] ppid=89504 vsize=2699200 memory=2486772 CPUtime=1556.73 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1012167 0 0 0 155434 239 0 0 20 0 3 0 78105790 2763980800 626895 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2699200 memory=2471656 CPUtime=1564.42 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1412349 0 0 0 154991 1451 0 0 20 0 3 0 78105790 2763980800 626895 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 2699200 KiB
Current children cumulated memory: 2507580 KiB
[startup+1662.3 s]
/proc/loadavg: 8.11 8.09 7.44 9/272 89613
/proc/meminfo: memFree=115886672/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2702708 memory=2451696 CPUtime=3272.05 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2618108 0 0 0 325417 1788 0 0 20 0 3 0 78103262 2767572992 612924 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 675677 612924 2144 2102 0 659910 0
[pid=89510/tid=89529] ppid=89504 vsize=2702708 memory=2486772 CPUtime=1616.03 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1019677 0 0 0 161363 240 0 0 20 0 3 0 78105790 2767572992 612924 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2702708 memory=2471656 CPUtime=1624.15 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1463509 0 0 0 160914 1501 0 0 20 0 3 0 78105790 2767572992 612924 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 2702708 KiB
Current children cumulated memory: 2451696 KiB
[startup+1722.3 s]
/proc/loadavg: 8.08 8.09 7.48 9/271 89615
/proc/meminfo: memFree=115624372/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2754008 memory=2597156 CPUtime=3390.76 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2690248 0 0 0 337225 1851 0 0 20 0 3 0 78103262 2820104192 649289 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 688502 649289 2144 2102 0 672735 0
[pid=89510/tid=89529] ppid=89504 vsize=2754008 memory=2486772 CPUtime=1673.84 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1078489 0 0 0 167135 249 0 0 20 0 3 0 78105790 2820104192 649289 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2754008 memory=2471656 CPUtime=1683.35 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1476648 0 0 0 166780 1555 0 0 20 0 3 0 78105790 2820104192 649289 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 3390.76 s
Current children cumulated vsize: 2754008 KiB
Current children cumulated memory: 2597156 KiB
[startup+1782.3 s]
/proc/loadavg: 8.13 8.10 7.53 9/270 89617
/proc/meminfo: memFree=115670224/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2762416 memory=2568700 CPUtime=3509.84 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2747140 0 0 0 349071 1913 0 0 20 0 3 0 78103262 2828713984 642175 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 690604 642175 2144 2102 0 674837 0
[pid=89510/tid=89529] ppid=89504 vsize=2762416 memory=2544124 CPUtime=1733.16 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1090618 0 0 0 173066 250 0 0 20 0 3 0 78105790 2828713984 642175 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2762416 memory=14592 CPUtime=1743.09 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1521386 0 0 0 172694 1615 0 0 20 0 3 0 78105790 2828713984 642175 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 3509.84 s
Current children cumulated vsize: 2762416 KiB
Current children cumulated memory: 2568700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1827.8 s]
/proc/loadavg: 8.12 8.10 7.56 9/271 89714
/proc/meminfo: memFree=117443264/131249996 swapFree=33003468/33010684
[pid=89510] ppid=89504 vsize=2640796 memory=2483944 CPUtime=3600.11 cores=0,2
/proc/89510/stat : 89510 (cp-sat-runner) S 89504 89510 89454 0 -1 4194304 2758333 0 0 0 358052 1959 0 0 20 0 3 0 78103262 2704175104 620986 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
/proc/89510/statm: 660199 620986 2144 2102 0 644432 0
[pid=89510/tid=89529] ppid=89504 vsize=2640796 memory=14592 CPUtime=1778.29 cores=0,2
/proc/89510/task/89529/stat : 89529 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1094997 0 0 0 177576 253 0 0 20 0 3 0 78105790 2704175104 620986 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
[pid=89510/tid=89530] ppid=89504 vsize=2640796 memory=10752 CPUtime=1788.22 cores=0,2
/proc/89510/task/89530/stat : 89530 (cp-sat-runner) R 89504 89510 89454 0 -1 4194368 1528175 0 0 0 177164 1658 0 0 20 0 3 0 78105790 2704175104 620986 18446744073709551615 4198400 12805993 140730343834400 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 40665088 140730343840023 140730343840227 140730343840227 140730343845831 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 2640796 KiB
Current children cumulated memory: 2483944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1827.86 s]
# the end of solver process 89510 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.54 s, system=19.6504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1827.86
CPU time (s): 3600.19
CPU user time (s): 3580.54
CPU system time (s): 19.6504
CPU usage (%): 196.962
Max. virtual memory (cumulated for all children) (KiB): 2779196
Max. memory (cumulated for all children) (KiB): 2622344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.54
system time used= 19.6504
maximum resident set size= 2622344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2758341
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= 18955
involuntary context switches= 140261
# summary of solver processes directly reported to runsolver:
# pid: 89510
# total CPU time (s): 3600.19
# total CPU user time (s): 3580.54
# total CPU system time (s): 19.6504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82176 second user time and 9.07418 second system time
The end
Begin job on nodeC021 at 2025-07-04 12:17:36 IDJOB=4525746 IDBENCH=143884 IDSOLVER=3378 FILE ID=nodeC021/4525746-1751624255 RUNJOBID= nodeC021-1751624255-89464 SLURM_JOB_ID= 9598947 Free space on /tmp= 430936 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-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-4525746-1751624255/watcher-4525746-1751624255 -o /tmp/evaluation-result-4525746-1751624255/solver-4525746-1751624255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89464 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:531285753 --competition_mode --input HOME/instance-4525746-1751624255.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14 RANDOM SEED=531285753 nodeC021 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.256 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.56 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.160 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.56 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.816 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.56 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.785 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.56 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.130 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.56 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 : 3598.601 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.166 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.56 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.784 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 123307560 kB MemAvailable: 129699272 kB Buffers: 1056 kB Cached: 7124984 kB SwapCached: 32 kB Active: 537364 kB Inactive: 6662176 kB Active(anon): 46464 kB Inactive(anon): 40812 kB Active(file): 490900 kB Inactive(file): 6621364 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33003468 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 69660 kB Writeback: 0 kB AnonPages: 76920 kB Mapped: 99036 kB Shmem: 13452 kB KReclaimable: 236976 kB Slab: 328472 kB SReclaimable: 236976 kB SUnreclaim: 91496 kB KernelStack: 4040 kB PageTables: 2716 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 348020 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3808 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430880 MiB End job on nodeC021 at 2025-07-04 12:48:04