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 | OPTIMUM | 137.159 | 69.5209 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo |
| MD5SUM | d25a68a1d5200623f56e252cb600ce8e |
| 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 | 2842 |
| Best CPU time to get the best result obtained on this benchmark | 0.776528 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1026 |
| Total number of constraints | 22742 |
| Number of soft constraints | 22470 |
| Number of constraints which are clauses | 22470 |
| Number of constraints which are cardinality constraints (but not clauses) | 272 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 83979 |
| Min constraint cost | 1 |
| Max constraint cost | 83979 |
| Sum of constraints costs | 1846191905 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.69/0.78 o 26457804 0.85/0.81 o 14280497 1.64/1.29 o 8651506 2.23/1.56 o 5040033 3.03/1.98 o 2856816 3.43/2.18 o 337476 4.21/2.56 o 253396 4.41/2.67 o 253244 6.60/3.74 o 253131 7.20/4.04 o 169544 8.58/4.72 o 86396 20.68/10.88 o 86288 32.58/16.88 o 86038 99.64/50.61 o 2954 101.02/51.38 o 2842 137.12/69.51 s OPTIMUM FOUND 137.12/69.51 v -x1 x2 -x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 137.12/69.51 v -x19 -x20 x21 -x22 x23 -x24 -x25 x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 137.12/69.51 v -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 x50 137.12/69.51 v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 x66 137.12/69.51 v -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80 -x81 -x82 137.12/69.51 v x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x97 -x98 137.12/69.51 v -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 137.12/69.51 v -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 x124 137.12/69.51 v -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 137.12/69.51 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 137.12/69.51 v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 137.12/69.51 v -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 x176 137.12/69.51 v -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 137.12/69.51 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 137.12/69.51 v -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 x215 137.12/69.51 v -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 137.12/69.51 v x229 -x230 -x231 -x232 -x233 x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 137.12/69.51 v -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 137.12/69.51 v -x256 x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 -x267 -x268 137.12/69.51 v -x269 -x270 x271 -x272 -x273 x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 137.12/69.51 v x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 137.12/69.51 v x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 137.12/69.51 v x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 137.12/69.51 v -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 137.12/69.51 v x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 137.12/69.51 v -x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 137.12/69.51 v -x360 x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 x370 -x371 -x372 137.12/69.51 v -x373 -x374 x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 137.12/69.51 v -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 -x398 137.12/69.51 v -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 137.12/69.51 v x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 137.12/69.51 v -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 137.12/69.51 v -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 137.12/69.51 v -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 x460 -x461 x462 -x463 x464 137.12/69.51 v -x465 x466 -x467 x468 -x469 x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 137.12/69.51 v -x479 x480 -x481 -x482 x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 137.12/69.51 v -x493 -x494 -x495 -x496 x497 -x498 -x499 x500 -x501 -x502 x503 -x504 -x505 137.12/69.51 v -x506 x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 -x516 -x517 -x518 137.12/69.51 v x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 x531 -x532 137.12/69.51 v -x533 x534 -x535 -x536 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 137.12/69.51 v x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 137.12/69.51 v -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 x571 137.12/69.51 v -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 137.12/69.51 v -x585 -x586 -x587 x588 -x589 x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 137.12/69.51 v -x598 x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 137.12/69.51 v -x611 x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 137.12/69.51 v -x624 x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 x634 -x635 -x636 137.12/69.51 v -x637 -x638 x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 x648 -x649 137.12/69.51 v -x650 -x651 -x652 x653 -x654 -x655 -x656 x657 -x658 -x659 x660 -x661 -x662 137.12/69.51 v -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 137.12/69.51 v -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 137.12/69.51 v -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 x700 -x701 137.12/69.51 v x702 -x703 x704 -x705 x706 -x707 x708 -x709 x710 -x711 x712 -x713 x714 -x715 137.12/69.51 v x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 -x725 x726 -x727 x728 -x729 137.12/69.51 v x730 -x731 -x732 x733 -x734 x735 x736 -x737 x738 -x739 x740 -x741 x742 -x743 137.12/69.51 v x744 -x745 x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 -x755 -x756 -x757 137.12/69.51 v x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 x770 -x771 137.12/69.51 v -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 137.12/69.51 v -x785 x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 137.12/69.51 v x798 -x799 -x800 -x801 -x802 x803 -x804 x805 -x806 -x807 -x808 x809 -x810 -x811 137.12/69.51 v -x812 x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 x821 -x822 x823 -x824 -x825 137.12/69.51 v x826 -x827 -x828 x829 -x830 -x831 x832 -x833 -x834 -x835 x836 -x837 x838 x839 137.12/69.51 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 137.12/69.51 v -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 137.12/69.51 v -x866 x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 x876 -x877 x878 -x879 137.12/69.51 v x880 -x881 x882 -x883 x884 -x885 x886 -x887 x888 -x889 x890 -x891 x892 -x893 137.12/69.51 v x894 -x895 x896 -x897 x898 -x899 x900 -x901 x902 -x903 -x904 -x905 x906 x907 137.12/69.51 v -x908 -x909 x910 -x911 x912 -x913 x914 -x915 -x916 x917 -x918 -x919 -x920 x921 137.12/69.51 v -x922 x923 -x924 -x925 x926 -x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 137.12/69.51 v x936 -x937 -x938 x939 -x940 x941 -x942 -x943 x944 -x945 -x946 -x947 x948 -x949 137.12/69.51 v -x950 x951 -x952 x953 x954 -x955 -x956 -x957 x958 x959 -x960 -x961 -x962 x963 137.12/69.51 v -x964 x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 x974 -x975 -x976 137.12/69.51 v -x977 -x978 x979 -x980 x981 -x982 x983 -x984 x985 -x986 x987 -x988 -x989 x990 137.12/69.51 v x991 -x992 x993 -x994 x995 -x996 x997 -x998 -x999 x1000 -x1001 x1002 x1003 137.12/69.51 v -x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 137.12/69.51 v x1016 x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026
OK 2842
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 (61870 MiB free)
memory of node 1: 64465 MiB (61869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526016-1751625656/watcher-4526016-1751625656 -o /tmp/evaluation-result-4526016-1751625656/solver-4526016-1751625656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89351 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2012309529 --competition_mode --input HOME/instance-4526016-1751625656.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=90498, runsolver pid=90495
[startup+0.100063 s]*
/proc/loadavg: 6.50 3.46 3.41 8/273 90499
/proc/meminfo: memFree=126757380/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=37608 memory=31288 CPUtime=0.09 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) R 90495 90498 89339 0 -1 4194304 7081 0 0 0 8 1 0 0 20 0 1 0 78243449 38510592 7822 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 9402 7822 1536 2102 0 6942 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37608 KiB
Current children cumulated memory: 31288 KiB
[startup+0.205699 s]*
/proc/loadavg: 6.50 3.46 3.41 8/273 90499
/proc/meminfo: memFree=126753600/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=54404 memory=48364 CPUtime=0.2 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) R 90495 90498 89339 0 -1 4194304 12572 0 0 0 18 2 0 0 20 0 1 0 78243449 55709696 12091 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 13601 12091 1760 2102 0 11141 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54404 KiB
Current children cumulated memory: 48364 KiB
[startup+0.305677 s]*
/proc/loadavg: 6.50 3.46 3.41 8/273 90499
/proc/meminfo: memFree=126742032/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=54428 memory=49180 CPUtime=0.3 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) R 90495 90498 89339 0 -1 4194304 14495 0 0 0 28 2 0 0 20 0 1 0 78243449 55734272 12295 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 13607 12295 1888 2102 0 11147 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54428 KiB
Current children cumulated memory: 49180 KiB
[startup+0.7002 s]
/proc/loadavg: 6.50 3.46 3.41 8/273 90499
/proc/meminfo: memFree=126685004/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=59888 memory=56032 CPUtime=0.69 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) R 90495 90498 89339 0 -1 4194304 18896 0 0 0 66 3 0 0 20 0 1 0 78243449 61325312 14008 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 14972 14008 1888 2102 0 12512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59888 KiB
Current children cumulated memory: 56032 KiB
[startup+1.50022 s]
/proc/loadavg: 6.50 3.46 3.41 9/275 90501
/proc/meminfo: memFree=126551560/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=287280 memory=185232 CPUtime=2.23 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 46193 0 0 0 215 8 0 0 20 0 3 0 78243449 294174720 46308 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 71820 46308 2176 2102 0 52983 0
[pid=90498/tid=90500] ppid=90495 vsize=287280 memory=0 CPUtime=0.76 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 17442 0 0 0 74 2 0 0 20 0 3 0 78243520 294174720 46308 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=287280 memory=14156 CPUtime=0.75 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 9132 0 0 0 73 2 0 0 20 0 3 0 78243521 294174720 46308 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 185232 KiB
[startup+3.10593 s]
/proc/loadavg: 6.62 3.53 3.43 9/275 90501
/proc/meminfo: memFree=126495316/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=287280 memory=234612 CPUtime=5.42 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 76393 0 0 0 530 12 0 0 20 0 3 0 78243449 294174720 58653 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 71820 58653 2176 2102 0 63625 0
[pid=90498/tid=90500] ppid=90495 vsize=287280 memory=14156 CPUtime=2.32 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 39218 0 0 0 227 5 0 0 20 0 3 0 78243520 294174720 58653 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=287280 memory=185360 CPUtime=2.35 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 17510 0 0 0 232 3 0 0 20 0 3 0 78243521 294174720 58653 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 234612 KiB
[startup+6.30022 s]
/proc/loadavg: 6.62 3.53 3.43 9/275 90501
/proc/meminfo: memFree=126372192/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=371948 memory=317308 CPUtime=11.75 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 109484 0 0 0 1158 17 0 0 20 0 3 0 78243449 380874752 79327 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 92987 79327 2176 2102 0 87972 0
[pid=90498/tid=90500] ppid=90495 vsize=371948 memory=234996 CPUtime=5.48 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 61865 0 0 0 539 9 0 0 20 0 3 0 78243520 380874752 79327 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=371948 memory=14336 CPUtime=5.52 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 27920 0 0 0 548 4 0 0 20 0 3 0 78243521 380874752 79327 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 11.75 s
Current children cumulated vsize: 371948 KiB
Current children cumulated memory: 317308 KiB
[startup+12.7002 s]
/proc/loadavg: 6.81 3.62 3.46 9/275 90501
/proc/meminfo: memFree=126411756/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=374240 memory=337244 CPUtime=24.45 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 141424 0 0 0 2424 21 0 0 20 0 3 0 78243449 383221760 84311 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 93560 84311 2176 2102 0 91021 0
[pid=90498/tid=90500] ppid=90495 vsize=374240 memory=234612 CPUtime=11.8 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 83088 0 0 0 1169 11 0 0 20 0 3 0 78243520 383221760 84311 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=374240 memory=336628 CPUtime=11.89 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 38598 0 0 0 1184 5 0 0 20 0 3 0 78243521 383221760 84311 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 24.45 s
Current children cumulated vsize: 374240 KiB
Current children cumulated memory: 337244 KiB
[startup+25.5003 s]
/proc/loadavg: 7.07 3.84 3.53 9/275 90501
/proc/meminfo: memFree=126346308/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=352188 CPUtime=49.83 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 171880 0 0 0 4958 25 0 0 20 0 3 0 78243449 451801088 88047 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88047 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=-8183429159419481790 CPUtime=24.44 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 100935 0 0 0 2431 13 0 0 20 0 3 0 78243520 451801088 88047 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=10624 CPUtime=24.63 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 51166 0 0 0 2456 7 0 0 20 0 3 0 78243521 451801088 88047 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 49.83 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 352188 KiB
[startup+51.1057 s]
/proc/loadavg: 7.47 4.19 3.66 9/275 90502
/proc/meminfo: memFree=126218116/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=100.63 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 212707 0 0 0 10032 31 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=353520 CPUtime=49.73 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 120025 0 0 0 4958 15 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=353520 CPUtime=50.13 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 72817 0 0 0 5002 11 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 100.63 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+69.5209 s]
# the end of solver process 90498 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=136.767 s, system=0.391988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 7.47 4.19 3.66 9/275 90502
/proc/meminfo: memFree=126218116/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=100.82 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 212707 0 0 0 10051 31 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=353516 CPUtime=49.83 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 120025 0 0 0 4968 15 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=352188 CPUtime=50.22 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 72817 0 0 0 5011 11 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 100.82 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+57.6002 s]
/proc/loadavg: 7.51 4.25 3.68 9/275 90502
/proc/meminfo: memFree=126207128/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=113.52 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 220855 0 0 0 11320 32 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=14336 CPUtime=56.16 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 127737 0 0 0 5600 16 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=10624 CPUtime=56.6 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 73251 0 0 0 5648 12 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 113.52 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+64.0002 s]*
/proc/loadavg: 7.58 4.38 3.73 9/275 90503
/proc/meminfo: memFree=125954836/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=126.23 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 222015 0 0 0 12589 34 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=-8183429159419481790 CPUtime=62.48 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 128869 0 0 0 6232 16 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=-8183429159419481790 CPUtime=62.97 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 73279 0 0 0 6284 13 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 126.23 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+67.2002 s]
/proc/loadavg: 7.58 4.38 3.73 9/275 90503
/proc/meminfo: memFree=125963468/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=132.56 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 225922 0 0 0 13220 36 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=-8183429159419481790 CPUtime=65.63 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 128900 0 0 0 6547 16 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=363504 CPUtime=66.15 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 77155 0 0 0 6600 15 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 132.56 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+68.8002 s]
/proc/loadavg: 7.62 4.44 3.75 9/275 90503
/proc/meminfo: memFree=125938956/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=135.74 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 226336 0 0 0 13538 36 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=5632 CPUtime=67.22 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 129267 0 0 0 6706 16 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=353520 CPUtime=67.75 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 77202 0 0 0 6759 16 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 135.74 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+69.2002 s]
/proc/loadavg: 7.62 4.44 3.75 9/275 90503
/proc/meminfo: memFree=126020228/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=441212 memory=353520 CPUtime=136.53 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 226538 0 0 0 13617 36 0 0 20 0 3 0 78243449 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 110303 88380 2176 2102 0 94291 0
[pid=90498/tid=90500] ppid=90495 vsize=441212 memory=353520 CPUtime=67.61 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 129467 0 0 0 6745 16 0 0 20 0 3 0 78243520 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=441212 memory=14336 CPUtime=68.15 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 77204 0 0 0 6799 16 0 0 20 0 3 0 78243521 451801088 88380 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 136.53 s
Current children cumulated vsize: 441212 KiB
Current children cumulated memory: 353520 KiB
[startup+69.4002 s]
/proc/loadavg: 7.62 4.44 3.75 9/275 90503
/proc/meminfo: memFree=126020228/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=447680 memory=359244 CPUtime=136.93 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) S 90495 90498 89339 0 -1 4194304 237677 0 0 0 13656 37 0 0 20 0 3 0 78243449 458424320 89811 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 111920 89811 2176 2102 0 95908 0
[pid=90498/tid=90500] ppid=90495 vsize=447680 memory=245635481903 CPUtime=67.8 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 137763 0 0 0 6764 16 0 0 20 0 3 0 78243520 458424320 89811 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=447680 memory=53013654012657 CPUtime=68.34 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 77940 0 0 0 6818 16 0 0 20 0 3 0 78243521 458424320 89811 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 136.93 s
Current children cumulated vsize: 447680 KiB
Current children cumulated memory: 359244 KiB
[startup+69.5002 s]
/proc/loadavg: 7.62 4.44 3.75 9/275 90503
/proc/meminfo: memFree=126020228/131249996 swapFree=33000896/33010684
[pid=90498] ppid=90495 vsize=436216 memory=351884 CPUtime=137.12 cores=1,3
/proc/90498/stat : 90498 (cp-sat-runner) R 90495 90498 89339 0 -1 4194304 239229 0 0 0 13675 37 0 0 20 0 3 0 78243449 446685184 87971 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
/proc/90498/statm: 109054 87971 2176 2102 0 93042 0
[pid=90498/tid=90500] ppid=90495 vsize=436216 memory=360688 CPUtime=67.88 cores=1,3
/proc/90498/task/90500/stat : 90500 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 137898 0 0 0 6772 16 0 0 20 0 3 0 78243520 446685184 87971 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
[pid=90498/tid=90501] ppid=90495 vsize=436216 memory=-8183429159419481790 CPUtime=68.44 cores=1,3
/proc/90498/task/90501/stat : 90501 (cp-sat-runner) R 90495 90498 89339 0 -1 4194368 77947 0 0 0 6828 16 0 0 20 0 3 0 78243521 446685184 87971 18446744073709551615 4198400 12805993 140722375007520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 14970880 140722375014678 140722375014883 140722375014883 140722375020487 0
Current children cumulated CPU time: 137.12 s
Current children cumulated vsize: 436216 KiB
Current children cumulated memory: 351884 KiB
Child status: 10
Real time (s): 69.5209
CPU time (s): 137.159
CPU user time (s): 136.767
CPU system time (s): 0.391988
CPU usage (%): 197.291
Max. virtual memory (cumulated for all children) (KiB): 506748
Max. memory (cumulated for all children) (KiB): 374236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.767
system time used= 0.391988
maximum resident set size= 374236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243115
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= 978
involuntary context switches= 6836
# summary of solver processes directly reported to runsolver:
# pid: 90498
# total CPU time (s): 137.159
# total CPU user time (s): 136.767
# total CPU system time (s): 0.391988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.15855 second user time and 0.375183 second system time
The end
Begin job on nodeC023 at 2025-07-04 12:40:56 IDJOB=4526016 IDBENCH=143943 IDSOLVER=3378 FILE ID=nodeC023/4526016-1751625656 RUNJOBID= nodeC023-1751625557-89351 SLURM_JOB_ID= 9598950 Free space on /tmp= 431824 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog04cc_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-4526016-1751625656/watcher-4526016-1751625656 -o /tmp/evaluation-result-4526016-1751625656/solver-4526016-1751625656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89351 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2012309529 --competition_mode --input HOME/instance-4526016-1751625656.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d25a68a1d5200623f56e252cb600ce8e RANDOM SEED=2012309529 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 : 3599.537 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 : 3493.227 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 : 3599.882 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.916 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 : 3599.989 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 : 3599.848 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.865 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.856 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: 126709340 kB MemAvailable: 126537480 kB Buffers: 16 kB Cached: 570840 kB SwapCached: 2904 kB Active: 3347340 kB Inactive: 427336 kB Active(anon): 3162988 kB Inactive(anon): 53364 kB Active(file): 184352 kB Inactive(file): 373972 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13308 kB Writeback: 52 kB AnonPages: 3202196 kB Mapped: 124176 kB Shmem: 12532 kB KReclaimable: 218112 kB Slab: 310644 kB SReclaimable: 218112 kB SUnreclaim: 92532 kB KernelStack: 4400 kB PageTables: 9388 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3709348 kB VmallocTotal: 34359738367 kB VmallocUsed: 150648 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1107968 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= 431812 MiB End job on nodeC023 at 2025-07-04 12:42:06