PB'25 competition WBO competition: execution trace

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525729-1751628612/watcher-4525729-1751628612 -o /tmp/evaluation-result-4525729-1751628612/solver-4525729-1751628612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751628612-89818 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 439720652 HOME/instance-4525729-1751628612.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=89871, runsolver pid=89867

[startup+0.100058 s]*
/proc/loadavg: 1.12 1.25 2.23 4/263 89877
/proc/meminfo: memFree=111427156/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=141552 memory=68544 CPUtime=0.15 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 11062 0 0 0 13 2 0 0 20 0 2 0 78539865 144949248 17136 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 35388 17136 576 633 0 20292 0
[pid=89871/tid=89877] ppid=89867 vsize=141552 memory=4026531959 CPUtime=0.04 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 2075 0 0 0 4 0 0 0 20 0 2 0 78539870 144949248 17136 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 141552 KiB
Current children cumulated memory: 68544 KiB

[startup+0.205068 s]*
/proc/loadavg: 1.12 1.25 2.23 4/260 89893
/proc/meminfo: memFree=111374816/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=156864 memory=99520 CPUtime=0.36 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 18782 0 0 0 32 4 0 0 20 0 2 0 78539865 160628736 24880 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 39216 24880 576 633 0 28005 0
[pid=89871/tid=89877] ppid=89867 vsize=156864 memory=3472328300254212635 CPUtime=0.15 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 5963 0 0 0 14 1 0 0 20 0 2 0 78539870 160628736 24880 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 156864 KiB
Current children cumulated memory: 99520 KiB

[startup+0.305593 s]*
/proc/loadavg: 1.12 1.25 2.23 3/260 89893
/proc/meminfo: memFree=111324352/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=168612 memory=122432 CPUtime=0.52 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 24506 0 0 0 48 4 0 0 20 0 2 0 78539865 172658688 30608 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 42153 30608 576 633 0 33730 0
[pid=89871/tid=89877] ppid=89867 vsize=168612 memory=-6000919481363358567 CPUtime=0.23 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 8747 0 0 0 22 1 0 0 20 0 2 0 78539870 172658688 30608 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 168612 KiB
Current children cumulated memory: 122432 KiB

[startup+0.70018 s]
/proc/loadavg: 1.12 1.25 2.23 3/260 89893
/proc/meminfo: memFree=111177736/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=500548 memory=345984 CPUtime=0.91 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 64819 0 0 0 80 11 0 0 20 0 2 0 78539865 512561152 86496 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 125137 86496 608 633 0 116714 0
[pid=89871/tid=89877] ppid=89867 vsize=500548 memory=18560 CPUtime=0.23 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 8747 0 0 0 22 1 0 0 20 0 2 0 78539870 512561152 86496 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 500548 KiB
Current children cumulated memory: 345984 KiB

[startup+1.50018 s]
/proc/loadavg: 1.12 1.25 2.23 4/264 89905
/proc/meminfo: memFree=110771776/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=706368 memory=640976 CPUtime=2.09 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 130169 0 0 0 188 21 0 0 20 0 2 0 78539865 723320832 160244 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 176592 160244 608 633 0 161772 0
[pid=89871/tid=89877] ppid=89867 vsize=706500 memory=18560 CPUtime=0.64 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 18737 0 0 0 61 3 0 0 20 0 2 0 78539870 723456000 160244 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 0 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 706368 KiB
Current children cumulated memory: 640976 KiB

[startup+3.10585 s]
/proc/loadavg: 1.12 1.25 2.23 7/270 90059
/proc/meminfo: memFree=109938020/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=933904 memory=868816 CPUtime=3.69 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 306860 0 0 0 333 36 0 0 20 0 2 0 78539865 956317696 217204 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 233476 217204 672 633 0 218656 0
[pid=89871/tid=89877] ppid=89867 vsize=933904 memory=7971519260250423410 CPUtime=0.64 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 18737 0 0 0 61 3 0 0 20 0 2 0 78539870 956317696 217204 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 933904 KiB
Current children cumulated memory: 868816 KiB

[startup+6.3002 s]
/proc/loadavg: 1.35 1.29 2.24 7/270 90059
/proc/meminfo: memFree=108798016/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1380544 memory=1312120 CPUtime=6.87 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 481887 0 0 0 629 58 0 0 20 0 2 0 78539865 1413677056 328030 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 345136 328030 672 633 0 330316 0
[pid=89871/tid=89877] ppid=89867 vsize=1380544 memory=16496 CPUtime=0.64 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 18737 0 0 0 61 3 0 0 20 0 2 0 78539870 1413677056 328030 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 6.87 s
Current children cumulated vsize: 1380544 KiB
Current children cumulated memory: 1312120 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 1.37 2.26 7/270 90059
/proc/meminfo: memFree=108385488/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1645608 memory=1577188 CPUtime=13.25 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 665761 0 0 0 1251 74 0 0 20 0 2 0 78539865 1685102592 394297 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 411402 394297 672 633 0 396582 0
[pid=89871/tid=89877] ppid=89867 vsize=1645608 memory=1312120 CPUtime=0.64 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 18737 0 0 0 61 3 0 0 20 0 2 0 78539870 1685102592 394297 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 13.25 s
Current children cumulated vsize: 1645608 KiB
Current children cumulated memory: 1577188 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=89871] ppid=89867 vsize=1709916 memory=1641572 CPUtime=26.89 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 833320 0 0 0 2604 85 0 0 20 0 2 0 78539865 1750953984 410393 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 427479 410393 672 633 0 412659 0
[pid=89871/tid=89877] ppid=89867 vsize=1709916 memory=16496 CPUtime=1.75 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 24728 0 0 0 171 4 0 0 20 0 2 0 78539870 1750953984 410393 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 26.89 s
Current children cumulated vsize: 1709916 KiB
Current children cumulated memory: 1641572 KiB

[startup+51.1059 s]
/proc/loadavg: 4.29 2.07 2.46 8/271 90061
/proc/meminfo: memFree=107637184/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1784688 memory=1716252 CPUtime=59.51 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 1163686 0 0 0 5844 107 0 0 20 0 2 0 78539865 1827520512 429063 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446172 429063 672 633 0 431352 0
[pid=89871/tid=89877] ppid=89867 vsize=1784688 memory=1716252 CPUtime=8.94 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 29055 0 0 0 889 5 0 0 20 0 2 0 78539870 1827520512 429063 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 59.51 s
Current children cumulated vsize: 1784688 KiB
Current children cumulated memory: 1716252 KiB

[startup+102.3 s]
/proc/loadavg: 5.28 2.70 2.65 7/271 90064
/proc/meminfo: memFree=107628644/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1784688 memory=1716380 CPUtime=137.61 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 1422691 0 0 0 13634 127 0 0 20 0 2 0 78539865 1827520512 429095 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446172 429095 672 633 0 431352 0
[pid=89871/tid=89877] ppid=89867 vsize=1784688 memory=1716380 CPUtime=36.26 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 34583 0 0 0 3617 9 0 0 20 0 2 0 78539870 1827520512 429095 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 137.61 s
Current children cumulated vsize: 1784688 KiB
Current children cumulated memory: 1716380 KiB

[startup+162.3 s]
/proc/loadavg: 5.81 3.33 2.88 8/270 90066
/proc/meminfo: memFree=107591408/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1784820 memory=1716380 CPUtime=226.04 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 1628226 0 0 0 22460 144 0 0 20 0 2 0 78539865 1827655680 429095 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446205 429095 672 633 0 431385 0
[pid=89871/tid=89877] ppid=89867 vsize=1784820 memory=1716380 CPUtime=65.13 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 39317 0 0 0 6501 12 0 0 20 0 2 0 78539870 1827655680 429095 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 226.04 s
Current children cumulated vsize: 1784820 KiB
Current children cumulated memory: 1716380 KiB

[startup+222.3 s]
/proc/loadavg: 5.75 3.77 3.06 6/271 90073
/proc/meminfo: memFree=107560020/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1785612 memory=1717276 CPUtime=307.96 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 1779072 0 0 0 30639 157 0 0 20 0 2 0 78539865 1828466688 429319 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446403 429319 672 633 0 431583 0
[pid=89871/tid=89877] ppid=89867 vsize=1785612 memory=164 CPUtime=87.5 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 42352 0 0 0 8735 15 0 0 20 0 2 0 78539870 1828466688 429319 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 307.96 s
Current children cumulated vsize: 1785612 KiB
Current children cumulated memory: 1717276 KiB

[startup+282.3 s]
/proc/loadavg: 5.82 4.16 3.24 8/271 90077
/proc/meminfo: memFree=107550660/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1785612 memory=1717276 CPUtime=388.42 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 1936812 0 0 0 38670 172 0 0 20 0 2 0 78539865 1828466688 429319 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446403 429319 672 633 0 431583 0
[pid=89871/tid=89877] ppid=89867 vsize=1785612 memory=16496 CPUtime=108.38 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 44557 0 0 0 10821 17 0 0 20 0 2 0 78539870 1828466688 429319 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 388.42 s
Current children cumulated vsize: 1785612 KiB
Current children cumulated memory: 1717276 KiB

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

Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2442.3 s]
/proc/loadavg: 5.05 5.30 5.27 7/269 90240
/proc/meminfo: memFree=109077952/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3038.93 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3414460 0 0 0 303550 343 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=1719324 CPUtime=611.62 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 61698 0 0 0 61095 67 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3038.93 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2502.3 s]
/proc/loadavg: 5.11 5.29 5.27 6/268 90242
/proc/meminfo: memFree=109078856/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3114.07 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3424269 0 0 0 311061 346 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=16496 CPUtime=627.12 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 61720 0 0 0 62644 68 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3114.07 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2562.3 s]
/proc/loadavg: 5.04 5.22 5.24 6/267 90244
/proc/meminfo: memFree=109087808/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3187.48 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3432959 0 0 0 318400 348 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=16496 CPUtime=640.89 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 61736 0 0 0 64020 69 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3187.48 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2622.3 s]
/proc/loadavg: 5.07 5.19 5.23 5/270 90253
/proc/meminfo: memFree=109089764/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3260.07 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3437417 0 0 0 325657 350 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=1719324 CPUtime=653.81 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 61793 0 0 0 65311 70 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3260.07 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2682.3 s]
/proc/loadavg: 4.95 5.12 5.20 7/270 90258
/proc/meminfo: memFree=109090220/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3332.66 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3446356 0 0 0 332913 353 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=16496 CPUtime=666.72 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 61848 0 0 0 66601 71 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2742.3 s]
/proc/loadavg: 4.99 5.12 5.20 6/270 90305
/proc/meminfo: memFree=109372764/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3407.71 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3454059 0 0 0 340416 355 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=1719324 CPUtime=682.06 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 61966 0 0 0 68134 72 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3407.71 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2802.3 s]
/proc/loadavg: 4.89 5.07 5.17 5/270 90398
/proc/meminfo: memFree=109685936/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3479.84 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3460773 0 0 0 347627 357 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=1719324 CPUtime=694.45 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 61999 0 0 0 69372 73 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3479.84 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2862.3 s]
/proc/loadavg: 4.86 5.02 5.15 6/271 90401
/proc/meminfo: memFree=109690256/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3552.99 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3464487 0 0 0 354940 359 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=1719324 CPUtime=707.88 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) R 89867 89871 89805 0 -1 4194368 62023 0 0 0 70714 74 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3552.99 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2897.8 s]
/proc/loadavg: 5.09 5.05 5.15 6/271 90401
/proc/meminfo: memFree=109686168/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3600.07 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3469996 0 0 0 359646 361 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=16496 CPUtime=719.67 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 62054 0 0 0 71892 75 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.12 s, system=3.69543 s

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

[startup+2898 s]*
/proc/loadavg: 5.09 5.05 5.15 6/271 90401
/proc/meminfo: memFree=109686168/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1786140 memory=1719324 CPUtime=3600.28 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3496201 0 0 0 359666 362 0 0 20 0 2 0 78539865 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 446535 429831 672 633 0 431715 0
[pid=89871/tid=89877] ppid=89867 vsize=1786140 memory=7970396637253026413 CPUtime=719.68 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 62054 0 0 0 71893 75 0 0 20 0 2 0 78539870 1829007360 429831 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 1786140 KiB
Current children cumulated memory: 1719324 KiB

[startup+2898.4 s]
/proc/loadavg: 5.09 5.05 5.15 6/271 90401
/proc/meminfo: memFree=109686168/131249996 swapFree=33010160/33010684
[pid=89871] ppid=89867 vsize=1591492 memory=1524784 CPUtime=3600.68 cores=5,7
/proc/89871/stat : 89871 (pb_competition_) R 89867 89871 89805 0 -1 4194304 3541166 0 0 0 359704 364 0 0 20 0 2 0 78539865 1629687808 381196 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
/proc/89871/statm: 397873 381196 672 633 0 383053 0
[pid=89871/tid=89877] ppid=89867 vsize=1591492 memory=1719324 CPUtime=719.68 cores=5,7
/proc/89871/task/89877/stat : 89877 (pb_competition_) S 89867 89871 89805 0 -1 4194368 62054 0 0 0 71893 75 0 0 20 0 2 0 78539870 1629687808 381196 18446744073709551615 4198400 6788177 140721461340640 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 10928128 140721461344600 140721461344726 140721461344726 140721461350330 0
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 1591492 KiB
Current children cumulated memory: 1524784 KiB

[startup+2898.5 s]*
/proc/loadavg: 5.09 5.05 5.15 7/270 90401
/proc/meminfo: memFree=110386144/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 2898.52
CPU time (s): 3600.81
CPU user time (s): 3597.12
CPU system time (s): 3.69543
CPU usage (%): 124.229
Max. virtual memory (cumulated for all children) (KiB): 1786140
Max. memory (cumulated for all children) (KiB): 1719324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.12
system time used= 3.69543
maximum resident set size= 1719324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3558056
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= 78717
involuntary context switches= 41874


# summary of solver processes directly reported to runsolver:
#   pid: 89871
#   total CPU time (s): 3600.81
#   total CPU user time (s): 3597.12
#   total CPU system time (s): 3.69543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32459 second user time and 13.9798 second system time

The end

Begin job on nodeC032 at 2025-07-04 13:30:12
IDJOB=4525729
IDBENCH=143882
IDSOLVER=3379
FILE ID=nodeC032/4525729-1751628612
RUNJOBID= nodeC032-1751628612-89818
SLURM_JOB_ID= 9598962
Free space on /tmp= 429020 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_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-4525729-1751628612/watcher-4525729-1751628612 -o /tmp/evaluation-result-4525729-1751628612/solver-4525729-1751628612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751628612-89818 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 439720652 HOME/instance-4525729-1751628612.wbo

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

MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3
RANDOM SEED=439720652

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.182
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.971
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.984
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		: 3583.104
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.103
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.848
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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		: 3599.894
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		: 3618.622
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:        111579224 kB
MemAvailable:   129650676 kB
Buffers:            2728 kB
Cached:         18748840 kB
SwapCached:           20 kB
Active:           437460 kB
Inactive:       18379360 kB
Active(anon):      80176 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 18376236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             43124 kB
Writeback:            12 kB
AnonPages:         68452 kB
Mapped:           103756 kB
Shmem:             18048 kB
KReclaimable:     354344 kB
Slab:             449204 kB
SReclaimable:     354344 kB
SUnreclaim:        94860 kB
KernelStack:        4144 kB
PageTables:         2908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429024 MiB
End job on nodeC032 at 2025-07-04 14:18:31

Name	PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub3_wcsp.wbo
MD5SUM	25adf5b940a77273e2a5bcad45fe6bb3
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	3079
Best CPU time to get the best result obtained on this benchmark	43.3589
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	776
Total number of constraints	319436
Number of soft constraints	319418
Number of constraints which are clauses	319418
Number of constraints which are cardinality constraints (but not clauses)	18
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	58724
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	41665382
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 4525729

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