PB'25 competition WBO competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
PRINTEMPS 2025-05-28	MSAT (TO)	3600.75	2134.97

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 (55256 MiB free)
  memory of node 1: 64465 MiB (52295 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525765-1751628615/watcher-4525765-1751628615 -o /tmp/evaluation-result-4525765-1751628615/solver-4525765-1751628615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751628612-89816 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1012595256 HOME/instance-4525765-1751628615.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=90057, runsolver pid=90054
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 1.12 1.25 2.23 5/270 90059
/proc/meminfo: memFree=110010724/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=137784 memory=62364 CPUtime=0.15 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 10522 0 0 0 13 2 0 0 20 0 2 0 78540143 141090816 15591 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 34446 15591 576 633 0 19252 0
[pid=90057/tid=90059] ppid=90054 vsize=137784 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 1976 0 0 0 5 0 0 0 20 0 2 0 78540147 141090816 15591 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 137784 KiB
Current children cumulated memory: 62364 KiB

[startup+0.205898 s]*
/proc/loadavg: 1.12 1.25 2.23 6/270 90059
/proc/meminfo: memFree=109954148/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=153888 memory=92956 CPUtime=0.35 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 18185 0 0 0 32 3 0 0 20 0 2 0 78540143 157581312 23239 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 38472 23239 576 633 0 26913 0
[pid=90057/tid=90059] ppid=90054 vsize=153888 memory=664958721904869660 CPUtime=0.14 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 5611 0 0 0 13 1 0 0 20 0 2 0 78540147 157581312 23239 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 153888 KiB
Current children cumulated memory: 92956 KiB

[startup+0.305814 s]*
/proc/loadavg: 1.12 1.25 2.23 5/270 90059
/proc/meminfo: memFree=109929956/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=160860 memory=101480 CPUtime=0.49 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 22053 0 0 0 45 4 0 0 20 0 2 0 78540143 164720640 25370 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 40215 25370 608 633 0 30736 0
[pid=90057/tid=90059] ppid=90054 vsize=160992 memory=7970673701298388586 CPUtime=0.2 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 7691 0 0 0 19 1 0 0 20 0 2 0 78540147 164855808 25402 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 160860 KiB
Current children cumulated memory: 101480 KiB

[startup+0.700219 s]
/proc/loadavg: 1.12 1.25 2.23 5/270 90059
/proc/meminfo: memFree=109825248/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=461052 memory=339216 CPUtime=0.88 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 60509 0 0 0 75 13 0 0 20 0 2 0 78540143 472117248 84772 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 115263 84804 608 633 0 105784 0
[pid=90057/tid=90059] ppid=90054 vsize=461052 memory=18560 CPUtime=0.2 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 7691 0 0 0 19 1 0 0 20 0 2 0 78540147 472117248 84804 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 461052 KiB
Current children cumulated memory: 339216 KiB

[startup+1.50023 s]
/proc/loadavg: 1.35 1.29 2.24 7/270 90059
/proc/meminfo: memFree=109532640/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=655960 memory=581464 CPUtime=2.02 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 100154 0 0 0 181 21 0 0 20 0 2 0 78540143 671703040 145366 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 163990 145366 608 633 0 146906 0
[pid=90057/tid=90059] ppid=90054 vsize=655960 memory=18560 CPUtime=0.56 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 16473 0 0 0 53 3 0 0 20 0 2 0 78540147 671703040 145366 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 655960 KiB
Current children cumulated memory: 581464 KiB

[startup+3.10596 s]
/proc/loadavg: 1.35 1.29 2.24 6/270 90059
/proc/meminfo: memFree=108798016/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=842764 memory=763680 CPUtime=3.61 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 223851 0 0 0 327 34 0 0 20 0 2 0 78540143 862990336 190920 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 210691 190920 672 633 0 193607 0
[pid=90057/tid=90059] ppid=90054 vsize=842764 memory=581720 CPUtime=0.56 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 16473 0 0 0 53 3 0 0 20 0 2 0 78540147 862990336 190920 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 842764 KiB
Current children cumulated memory: 763680 KiB

[startup+6.3002 s]
/proc/loadavg: 1.72 1.37 2.26 7/270 90059
/proc/meminfo: memFree=108385484/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1242664 memory=1166992 CPUtime=6.79 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 372028 0 0 0 627 52 0 0 20 0 2 0 78540143 1272487936 291748 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 310666 291748 672 633 0 293582 0
[pid=90057/tid=90059] ppid=90054 vsize=1242664 memory=18560 CPUtime=0.56 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 16473 0 0 0 53 3 0 0 20 0 2 0 78540147 1272487936 291748 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 1242664 KiB
Current children cumulated memory: 1166992 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 1.45 2.28 8/271 90061
/proc/meminfo: memFree=107773776/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1532504 memory=1456976 CPUtime=13.55 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 570529 0 0 0 1287 68 0 0 20 0 2 0 78540143 1569284096 364244 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 383126 364244 672 633 0 366042 0
[pid=90057/tid=90059] ppid=90054 vsize=1532504 memory=1456976 CPUtime=1.06 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 17893 0 0 0 103 3 0 0 20 0 2 0 78540147 1569284096 364244 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 1532504 KiB
Current children cumulated memory: 1456976 KiB

[startup+25.5002 s]
/proc/loadavg: 2.67 1.60 2.32 6/271 90061
/proc/meminfo: memFree=107773776/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1532504 memory=1456976 CPUtime=30.5 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 699644 0 0 0 2975 75 0 0 20 0 2 0 78540143 1569284096 364244 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 383126 364244 672 633 0 366042 0
[pid=90057/tid=90059] ppid=90054 vsize=1532504 memory=1456976 CPUtime=5.98 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 20064 0 0 0 594 4 0 0 20 0 2 0 78540147 1569284096 364244 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 30.5 s
Current children cumulated vsize: 1532504 KiB
Current children cumulated memory: 1456976 KiB

[startup+51.106 s]
/proc/loadavg: 4.50 2.15 2.48 7/271 90061
/proc/meminfo: memFree=107637184/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1597468 memory=1521932 CPUtime=71.81 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 962230 0 0 0 7087 94 0 0 20 0 2 0 78540143 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399367 380483 672 633 0 382283 0
[pid=90057/tid=90059] ppid=90054 vsize=1597468 memory=18560 CPUtime=22.05 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 24075 0 0 0 2200 5 0 0 20 0 2 0 78540147 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 71.81 s
Current children cumulated vsize: 1597468 KiB
Current children cumulated memory: 1521932 KiB

[startup+102.3 s]
/proc/loadavg: 5.33 2.76 2.67 7/271 90064
/proc/meminfo: memFree=107628644/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1597468 memory=1521932 CPUtime=150.13 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 1196812 0 0 0 14906 107 0 0 20 0 2 0 78540143 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399367 380483 672 633 0 382283 0
[pid=90057/tid=90059] ppid=90054 vsize=1597468 memory=18560 CPUtime=49.68 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 27129 0 0 0 4961 7 0 0 20 0 2 0 78540147 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 150.13 s
Current children cumulated vsize: 1597468 KiB
Current children cumulated memory: 1521932 KiB

[startup+162.3 s]
/proc/loadavg: 5.83 3.38 2.89 6/270 90066
/proc/meminfo: memFree=107591928/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1597468 memory=1521932 CPUtime=260.71 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 1373198 0 0 0 25951 120 0 0 20 0 2 0 78540143 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399367 380483 672 633 0 382283 0
[pid=90057/tid=90059] ppid=90054 vsize=1597468 memory=1521932 CPUtime=101.17 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 32007 0 0 0 10107 10 0 0 20 0 2 0 78540147 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 260.71 s
Current children cumulated vsize: 1597468 KiB
Current children cumulated memory: 1521932 KiB

[startup+222.3 s]
/proc/loadavg: 5.77 3.81 3.07 7/271 90073
/proc/meminfo: memFree=107560524/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1597468 memory=1521932 CPUtime=370.94 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 1490510 0 0 0 36965 129 0 0 20 0 2 0 78540143 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399367 380483 672 633 0 382283 0
[pid=90057/tid=90059] ppid=90054 vsize=1597468 memory=18560 CPUtime=152.22 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 35093 0 0 0 15210 12 0 0 20 0 2 0 78540147 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 370.94 s
Current children cumulated vsize: 1597468 KiB
Current children cumulated memory: 1521932 KiB

[startup+282.3 s]
/proc/loadavg: 5.83 4.19 3.26 7/271 90077
/proc/meminfo: memFree=107551180/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1597468 memory=1521932 CPUtime=481.6 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 1611354 0 0 0 48021 139 0 0 20 0 2 0 78540143 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399367 380483 672 633 0 382283 0
[pid=90057/tid=90059] ppid=90054 vsize=1597468 memory=1521932 CPUtime=203.71 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 38256 0 0 0 20356 15 0 0 20 0 2 0 78540147 1635807232 380483 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 481.6 s
Current children cumulated vsize: 1597468 KiB

################
# More data... #
################

/proc/meminfo: memFree=107547272/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522700 CPUtime=2823.73 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4031629 0 0 0 282041 332 0 0 20 0 2 0 78540143 1636753408 380675 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380675 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=16496 CPUtime=1181.59 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 66366 0 0 0 118111 48 0 0 20 0 2 0 78540147 1636753408 380675 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 2823.73 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522700 KiB

[startup+1722.3 s]
/proc/loadavg: 5.39 5.55 5.17 6/268 90147
/proc/meminfo: memFree=107503696/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522700 CPUtime=2924.03 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4155459 0 0 0 292061 342 0 0 20 0 2 0 78540143 1636753408 380675 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380675 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=16496 CPUtime=1222.59 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 67762 0 0 0 122210 49 0 0 20 0 2 0 78540147 1636753408 380675 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 2924.03 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522700 KiB

[startup+1782.3 s]
/proc/loadavg: 5.29 5.51 5.18 9/267 90149
/proc/meminfo: memFree=107509828/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3022.54 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4300643 0 0 0 301900 354 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=1522700 CPUtime=1261.83 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 69108 0 0 0 126132 51 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3022.54 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

[startup+1842.3 s]
/proc/loadavg: 5.65 5.57 5.22 7/267 90151
/proc/meminfo: memFree=107497492/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3122.21 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4311704 0 0 0 311862 359 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=1522828 CPUtime=1302.23 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 69311 0 0 0 130171 52 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3122.21 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

[startup+1902.3 s]
/proc/loadavg: 5.74 5.61 5.25 8/267 90164
/proc/meminfo: memFree=107509992/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3217.91 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4440925 0 0 0 321422 369 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=1522828 CPUtime=1338.65 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 71475 0 0 0 133811 54 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3217.91 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

[startup+1962.3 s]
/proc/loadavg: 5.79 5.65 5.29 7/268 90167
/proc/meminfo: memFree=107514364/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3321.55 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4486594 0 0 0 331779 376 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=1522828 CPUtime=1383.09 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 73597 0 0 0 138253 56 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3321.55 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

[startup+2022.3 s]
/proc/loadavg: 5.47 5.59 5.29 6/269 90175
/proc/meminfo: memFree=107520936/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3418.57 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4538627 0 0 0 341474 383 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=16496 CPUtime=1420.81 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 73831 0 0 0 142023 58 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3418.57 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

[startup+2082.3 s]
/proc/loadavg: 5.58 5.60 5.31 7/269 90179
/proc/meminfo: memFree=107531712/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3514.58 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4568948 0 0 0 351071 387 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=1522828 CPUtime=1457.55 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 73976 0 0 0 145695 60 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3514.58 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2134.3 s]
/proc/loadavg: 5.58 5.60 5.33 6/269 90181
/proc/meminfo: memFree=107531816/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3600.07 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4613815 0 0 0 359615 392 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=1522828 CPUtime=1491.65 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) R 90054 90057 89805 0 -1 4194368 74270 0 0 0 149104 61 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2134.97 s]
# the end of solver process 90057 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3596.74 s, system=4.01256 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2134.4 s]
/proc/loadavg: 5.58 5.60 5.33 6/269 90181
/proc/meminfo: memFree=107531816/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1598392 memory=1522828 CPUtime=3600.18 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4624069 0 0 0 359625 393 0 0 20 0 2 0 78540143 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 399598 380707 672 633 0 382514 0
[pid=90057/tid=90059] ppid=90054 vsize=1598392 memory=11136 CPUtime=1491.65 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 74270 0 0 0 149104 61 0 0 20 0 2 0 78540147 1636753408 380707 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1598392 KiB
Current children cumulated memory: 1522828 KiB

[startup+2134.8 s]
/proc/loadavg: 5.58 5.60 5.33 6/269 90181
/proc/meminfo: memFree=107531816/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1427268 memory=1351824 CPUtime=3600.57 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4681323 0 0 0 359662 395 0 0 20 0 2 0 78540143 1461522432 337956 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 356817 337956 672 633 0 339733 0
[pid=90057/tid=90059] ppid=90054 vsize=1427268 memory=16496 CPUtime=1491.65 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 74270 0 0 0 149104 61 0 0 20 0 2 0 78540147 1461522432 337956 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3600.57 s
Current children cumulated vsize: 1427268 KiB
Current children cumulated memory: 1351824 KiB

[startup+2134.9 s]
/proc/loadavg: 5.58 5.60 5.33 6/269 90181
/proc/meminfo: memFree=107531816/131249996 swapFree=33010160/33010684
[pid=90057] ppid=90054 vsize=1409716 memory=1334272 CPUtime=3600.67 cores=4,6
/proc/90057/stat : 90057 (pb_competition_) R 90054 90057 89805 0 -1 4194304 4688603 0 0 0 359671 396 0 0 20 0 2 0 78540143 1443549184 333568 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
/proc/90057/statm: 352429 333568 672 633 0 335345 0
[pid=90057/tid=90059] ppid=90054 vsize=1409716 memory=1522828 CPUtime=1491.65 cores=4,6
/proc/90057/task/90059/stat : 90059 (pb_competition_) S 90054 90057 89805 0 -1 4194368 74270 0 0 0 149104 61 0 0 20 0 2 0 78540147 1443549184 333568 18446744073709551615 4198400 6788177 140720773248576 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37785600 140720773253463 140720773253590 140720773253590 140720773259194 0
Current children cumulated CPU time: 3600.67 s
Current children cumulated vsize: 1409716 KiB
Current children cumulated memory: 1334272 KiB

Child status: 0

Real time (s): 2134.97
CPU time (s): 3600.75
CPU user time (s): 3596.74
CPU system time (s): 4.01256
CPU usage (%): 168.656
Max. virtual memory (cumulated for all children) (KiB): 1598392
Max. memory (cumulated for all children) (KiB): 1522828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.74
system time used= 4.01256
maximum resident set size= 1522828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4701709
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= 52673
involuntary context switches= 29328


# summary of solver processes directly reported to runsolver:
#   pid: 90057
#   total CPU time (s): 3600.75
#   total CPU user time (s): 3596.74
#   total CPU system time (s): 4.01256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44015 second user time and 10.8408 second system time

The end

Begin job on nodeC032 at 2025-07-04 13:30:15
IDJOB=4525765
IDBENCH=143890
IDSOLVER=3379
FILE ID=nodeC032/4525765-1751628615
RUNJOBID= nodeC032-1751628612-89816
SLURM_JOB_ID= 9598962
Free space on /tmp= 429016 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub2_wcsp.wbo
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525765-1751628615/watcher-4525765-1751628615 -o /tmp/evaluation-result-4525765-1751628615/solver-4525765-1751628615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751628612-89816 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1012595256 HOME/instance-4525765-1751628615.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 3b293c70ef0b1b0b4ae40fd7d560d8ea
RANDOM SEED=1012595256

nodeC032 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.005
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.456
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.69
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.785
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.69
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		: 3648.518
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.060
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.69
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.847
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.69
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		: 3554.100
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.69
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		: 3602.355
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        110178000 kB
MemAvailable:   128248312 kB
Buffers:            2728 kB
Cached:         18747696 kB
SwapCached:           20 kB
Active:          1855048 kB
Inactive:       18378200 kB
Active(anon):    1497748 kB
Inactive(anon):     3124 kB
Active(file):     357300 kB
Inactive(file): 18375076 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             41560 kB
Writeback:             0 kB
AnonPages:       1485824 kB
Mapped:           112444 kB
Shmem:             18048 kB
KReclaimable:     354348 kB
Slab:             449260 kB
SReclaimable:     354348 kB
SUnreclaim:        94912 kB
KernelStack:        4332 kB
PageTables:         5520 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1852496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429012 MiB
End job on nodeC032 at 2025-07-04 14:05:50

Name	PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub2_wcsp.wbo
MD5SUM	3b293c70ef0b1b0b4ae40fd7d560d8ea
Bench Category	PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark	MOPT
Best cost obtained on this benchmark	2746
Best CPU time to get the best result obtained on this benchmark	33.6702
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	688
Total number of constraints	280826
Number of soft constraints	280810
Number of constraints which are clauses	280810
Number of constraints which are cardinality constraints (but not clauses)	16
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	44
Top cost	52140
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	37167130
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	45
Number of bits of the biggest sum of numbers	6
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4525765

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data