PB'25 competition WBO competition: execution trace

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

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62313 MiB free)
  memory of node 1: 64507 MiB (63660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526836-1751637016/watcher-4526836-1751637016 -o /tmp/evaluation-result-4526836-1751637016/solver-4526836-1751637016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751637016-98577 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1145652119 HOME/instance-4526836-1751637016.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=98620, runsolver pid=98607

[startup+0.100063 s]*
/proc/loadavg: 1.08 1.08 1.10 6/261 98622
/proc/meminfo: memFree=128923820/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=120700 memory=52044 CPUtime=0.15 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 9883 0 0 0 14 1 0 0 20 0 2 0 79379487 123596800 13011 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 30175 13011 608 633 0 14529 0
[pid=98620/tid=98622] ppid=98607 vsize=120700 memory=4026531959 CPUtime=0.05 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 1527 0 0 0 5 0 0 0 20 0 2 0 79379488 123596800 13011 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 120700 KiB
Current children cumulated memory: 52044 KiB

[startup+0.20544 s]*
/proc/loadavg: 1.08 1.08 1.10 6/261 98622
/proc/meminfo: memFree=128870148/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=140872 memory=72268 CPUtime=0.26 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 14927 0 0 0 24 2 0 0 20 0 2 0 79379487 144252928 18067 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 35218 18067 640 633 0 19579 0
[pid=98620/tid=98622] ppid=98607 vsize=140872 memory=3472328299600569883 CPUtime=0.05 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 1534 0 0 0 5 0 0 0 20 0 2 0 79379488 144252928 18067 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 140872 KiB
Current children cumulated memory: 72268 KiB

[startup+0.305543 s]*
/proc/loadavg: 1.08 1.08 1.10 7/261 98622
/proc/meminfo: memFree=128870148/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=141388 memory=72652 CPUtime=0.36 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 15029 0 0 0 34 2 0 0 20 0 2 0 79379487 144781312 18163 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 35347 18163 640 633 0 19708 0
[pid=98620/tid=98622] ppid=98607 vsize=141388 memory=7971512654573943664 CPUtime=0.05 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 1534 0 0 0 5 0 0 0 20 0 2 0 79379488 144781312 18163 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 141388 KiB
Current children cumulated memory: 72652 KiB

[startup+0.700194 s]
/proc/loadavg: 1.08 1.08 1.10 6/261 98622
/proc/meminfo: memFree=128821764/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=183972 memory=115404 CPUtime=0.75 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 25714 0 0 0 72 3 0 0 20 0 2 0 79379487 188387328 28851 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 45993 28851 640 633 0 30354 0
[pid=98620/tid=98622] ppid=98607 vsize=183972 memory=18816 CPUtime=0.06 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 1534 0 0 0 6 0 0 0 20 0 2 0 79379488 188387328 28851 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 183972 KiB
Current children cumulated memory: 115404 KiB

[startup+1.50021 s]
/proc/loadavg: 1.08 1.08 1.10 8/261 98622
/proc/meminfo: memFree=128821264/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=183972 memory=115404 CPUtime=1.98 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 44369 0 0 0 193 5 0 0 20 0 2 0 79379487 188387328 28851 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 45993 28851 640 633 0 30354 0
[pid=98620/tid=98622] ppid=98607 vsize=183972 memory=18816 CPUtime=0.49 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 1795 0 0 0 49 0 0 0 20 0 2 0 79379488 188387328 28851 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 183972 KiB
Current children cumulated memory: 115404 KiB

[startup+3.10524 s]
/proc/loadavg: 1.08 1.08 1.10 8/261 98622
/proc/meminfo: memFree=128821520/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=183972 memory=115404 CPUtime=4.73 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 59009 0 0 0 467 6 0 0 20 0 2 0 79379487 188387328 28851 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 45993 28851 640 633 0 30354 0
[pid=98620/tid=98622] ppid=98607 vsize=183972 memory=115404 CPUtime=1.65 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 1999 0 0 0 165 0 0 0 20 0 2 0 79379488 188387328 28851 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 183972 KiB
Current children cumulated memory: 115404 KiB

[startup+6.30019 s]
/proc/loadavg: 1.40 1.15 1.12 7/261 98622
/proc/meminfo: memFree=128813996/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=121932 CPUtime=10.17 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 82909 0 0 0 1009 8 0 0 20 0 2 0 79379487 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30483 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=121932 CPUtime=3.91 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 2204 0 0 0 391 0 0 0 20 0 2 0 79379488 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 10.17 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 121932 KiB

[startup+12.7002 s]
/proc/loadavg: 1.77 1.23 1.14 8/261 98622
/proc/meminfo: memFree=128814020/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=121932 CPUtime=20.85 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 101138 0 0 0 2076 9 0 0 20 0 2 0 79379487 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30483 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=121932 CPUtime=8.23 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 2358 0 0 0 823 0 0 0 20 0 2 0 79379488 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 20.85 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 121932 KiB

[startup+25.5002 s]
/proc/loadavg: 2.64 1.45 1.22 7/261 98623
/proc/meminfo: memFree=128814200/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=121932 CPUtime=42.35 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 119816 0 0 0 4222 13 0 0 20 0 2 0 79379487 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30483 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=16360 CPUtime=17.02 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 2733 0 0 0 1701 1 0 0 20 0 2 0 79379488 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 42.35 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 121932 KiB

[startup+51.1053 s]
/proc/loadavg: 3.30 1.70 1.31 8/261 98624
/proc/meminfo: memFree=128797428/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=121932 CPUtime=85.95 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 173512 0 0 0 8575 20 0 0 20 0 2 0 79379487 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30483 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=16360 CPUtime=35.17 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 3688 0 0 0 3516 1 0 0 20 0 2 0 79379488 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 85.95 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 121932 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 2.24 1.51 8/263 98631
/proc/meminfo: memFree=128782128/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=121932 CPUtime=172.73 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 210465 0 0 0 17241 32 0 0 20 0 2 0 79379487 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30483 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=16360 CPUtime=71.06 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 4252 0 0 0 7103 3 0 0 20 0 2 0 79379488 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 172.73 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 121932 KiB

[startup+162.3 s]
/proc/loadavg: 4.54 2.70 1.72 9/263 98633
/proc/meminfo: memFree=128780548/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=121932 CPUtime=273.46 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 222531 0 0 0 27306 40 0 0 20 0 2 0 79379487 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30483 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=121932 CPUtime=112.18 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4309 0 0 0 11214 4 0 0 20 0 2 0 79379488 195002368 30483 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 273.46 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 121932 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 3.09 1.92 7/263 98636
/proc/meminfo: memFree=128779112/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=375.67 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 223918 0 0 0 37520 47 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=16360 CPUtime=154.74 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4338 0 0 0 15469 5 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 375.67 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+282.3 s]
/proc/loadavg: 4.83 3.43 2.11 7/264 98639
/proc/meminfo: memFree=128779416/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=478.88 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 224884 0 0 0 47834 54 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=198.3 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4397 0 0 0 19823 7 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 478.88 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

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

/proc/meminfo: memFree=128788232/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=2643.84 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 232129 0 0 0 264184 200 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1110.93 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4576 0 0 0 111045 48 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 2643.84 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1602.3 s]
/proc/loadavg: 5.14 5.02 4.32 8/260 98715
/proc/meminfo: memFree=128788512/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=2745.71 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 233094 0 0 0 274362 209 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1153.13 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4647 0 0 0 115263 50 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 2745.71 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1662.3 s]
/proc/loadavg: 5.12 5.03 4.37 8/260 98717
/proc/meminfo: memFree=128789064/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=2846.84 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 233500 0 0 0 284468 216 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1194.6 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4647 0 0 0 119408 52 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 2846.84 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1722.3 s]
/proc/loadavg: 5.23 5.08 4.43 7/260 98719
/proc/meminfo: memFree=128788416/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=2950.4 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 233508 0 0 0 294817 223 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1238.56 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4647 0 0 0 123802 54 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 2950.4 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1782.3 s]
/proc/loadavg: 4.91 5.01 4.45 7/260 98721
/proc/meminfo: memFree=128788640/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3053.09 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 233508 0 0 0 305079 230 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1281.66 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4647 0 0 0 128110 56 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3053.09 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1842.3 s]
/proc/loadavg: 4.67 4.93 4.45 6/261 98725
/proc/meminfo: memFree=128788724/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3154.56 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 234886 0 0 0 315220 236 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1323.49 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4764 0 0 0 132291 58 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1902.3 s]
/proc/loadavg: 4.57 4.84 4.45 7/262 98730
/proc/meminfo: memFree=128788212/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3257.66 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 234886 0 0 0 325524 242 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1366.92 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 4764 0 0 0 136633 59 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3257.66 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+1962.3 s]
/proc/loadavg: 4.50 4.76 4.45 6/262 98732
/proc/meminfo: memFree=128788224/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3360.26 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 235851 0 0 0 335778 248 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1409.88 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4977 0 0 0 140927 61 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3360.26 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+2022.3 s]
/proc/loadavg: 4.66 4.75 4.47 8/262 98734
/proc/meminfo: memFree=128788016/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3462.09 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 236266 0 0 0 345955 254 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1452.08 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) S 98607 98620 98328 0 -1 4194368 4981 0 0 0 145145 63 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3462.09 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

[startup+2082.3 s]
/proc/loadavg: 4.97 4.83 4.51 7/262 98736
/proc/meminfo: memFree=128788388/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3566.35 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 236266 0 0 0 356374 261 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1496.72 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 4981 0 0 0 149607 65 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3566.35 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2101.9 s]
/proc/loadavg: 4.98 4.84 4.52 8/262 98736
/proc/meminfo: memFree=128788460/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3600.1 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 237637 0 0 0 359747 263 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1510.99 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 5091 0 0 0 151034 65 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.53 s, system=2.63603 s

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

[startup+2101.9 s]
/proc/loadavg: 4.98 4.84 4.52 8/262 98736
/proc/meminfo: memFree=128788460/131250000 swapFree=33010416/33010684
[pid=98620] ppid=98607 vsize=190432 memory=122956 CPUtime=3600.1 cores=5,7
/proc/98620/stat : 98620 (pb_competition_) R 98607 98620 98328 0 -1 4194304 237637 0 0 0 359747 263 0 0 20 0 2 0 79379487 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
/proc/98620/statm: 47608 30739 640 633 0 31969 0
[pid=98620/tid=98622] ppid=98607 vsize=190432 memory=122956 CPUtime=1510.99 cores=5,7
/proc/98620/task/98622/stat : 98622 (pb_competition_) R 98607 98620 98328 0 -1 4194368 5091 0 0 0 151034 65 0 0 20 0 2 0 79379488 195002368 30739 18446744073709551615 4198400 6788177 140725968629984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 27078656 140725968632151 140725968632278 140725968632278 140725968637882 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 122956 KiB

Child status: 0

Real time (s): 2101.95
CPU time (s): 3600.17
CPU user time (s): 3597.53
CPU system time (s): 2.63603
CPU usage (%): 171.277
Max. virtual memory (cumulated for all children) (KiB): 190432
Max. memory (cumulated for all children) (KiB): 122956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.63603
maximum resident set size= 122956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238799
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= 50077
involuntary context switches= 31758


# summary of solver processes directly reported to runsolver:
#   pid: 98620
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3597.53
#   total CPU system time (s): 2.63603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09068 second user time and 9.34466 second system time

The end

Begin job on nodeC018 at 2025-07-04 15:50:16
IDJOB=4526836
IDBENCH=144160
IDSOLVER=3379
FILE ID=nodeC018/4526836-1751637016
RUNJOBID= nodeC018-1751637016-98577
SLURM_JOB_ID= 9598975
Free space on /tmp= 432576 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/normalized-zenotravel04cc_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-4526836-1751637016/watcher-4526836-1751637016 -o /tmp/evaluation-result-4526836-1751637016/solver-4526836-1751637016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751637016-98577 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1145652119 HOME/instance-4526836-1751637016.wbo

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

MD5SUM BENCH= 7d71283e624e6f956950e14b99d75b7d
RANDOM SEED=1145652119

nodeC018 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		: 1919.130
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.66
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		: 3600.156
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.66
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		: 3601.240
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.66
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		: 3600.596
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.66
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.053
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.66
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.850
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128998300 kB
MemAvailable:   129723824 kB
Buffers:            2128 kB
Cached:          1488756 kB
SwapCached:           32 kB
Active:           541452 kB
Inactive:        1013812 kB
Active(anon):      82136 kB
Inactive(anon):      288 kB
Active(file):     459316 kB
Inactive(file):  1013524 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16768 kB
Writeback:             0 kB
AnonPages:         67484 kB
Mapped:           104136 kB
Shmem:             18044 kB
KReclaimable:     183448 kB
Slab:             274136 kB
SReclaimable:     183448 kB
SUnreclaim:        90688 kB
KernelStack:        4032 kB
PageTables:         2820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432560 MiB
End job on nodeC018 at 2025-07-04 16:25:19

Name	PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04cc_wcsp.wbo
MD5SUM	7d71283e624e6f956950e14b99d75b7d
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	1555
Best CPU time to get the best result obtained on this benchmark	1.08404
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	878
Total number of constraints	26204
Number of soft constraints	25965
Number of constraints which are clauses	25965
Number of constraints which are cardinality constraints (but not clauses)	239
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	24
Top cost	51934
Min constraint cost	1
Max constraint cost	51934
Sum of constraints costs	1333456227
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	25
Number of bits of the biggest sum of numbers	5
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 4526836

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