PB'25 competition WBO competition: execution trace

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

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: 63794 MiB (62968 MiB free)
  memory of node 1: 64507 MiB (63569 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524541-1751615013/watcher-4524541-1751615013 -o /tmp/evaluation-result-4524541-1751615013/solver-4524541-1751615013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751615013-86635 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 231549117 HOME/instance-4524541-1751615013.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100067 s]*
/proc/loadavg: 0.60 1.06 1.37 9/254 86697
/proc/meminfo: memFree=129564088/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=79172 memory=4736 CPUtime=0.18 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 649 0 0 0 18 0 0 0 20 0 2 0 77181041 81072128 1184 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 19793 1184 672 633 0 2658 0
[pid=86684/tid=86686] ppid=86675 vsize=79172 memory=4026532124 CPUtime=0.08 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 38 0 0 0 8 0 0 0 20 0 2 0 77181041 81072128 1184 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79172 KiB
Current children cumulated memory: 4736 KiB

[startup+0.216005 s]*
/proc/loadavg: 0.60 1.06 1.37 9/254 86697
/proc/meminfo: memFree=129515336/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=79464 memory=4844 CPUtime=0.35 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 727 0 0 0 35 0 0 0 20 0 2 0 77181041 81371136 1211 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 19866 1211 672 633 0 2731 0
[pid=86684/tid=86686] ppid=86675 vsize=79464 memory=5983648042466672924 CPUtime=0.15 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 38 0 0 0 15 0 0 0 20 0 2 0 77181041 81371136 1211 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 4844 KiB

[startup+0.312728 s]*
/proc/loadavg: 0.60 1.06 1.37 8/254 86697
/proc/meminfo: memFree=129507272/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=79464 memory=4972 CPUtime=0.52 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 753 0 0 0 51 1 0 0 20 0 2 0 77181041 81371136 1243 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 19866 1243 672 633 0 2731 0
[pid=86684/tid=86686] ppid=86675 vsize=79464 memory=7971520351121916528 CPUtime=0.22 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 38 0 0 0 22 0 0 0 20 0 2 0 77181041 81371136 1243 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 4972 KiB

[startup+0.70031 s]
/proc/loadavg: 0.60 1.06 1.37 7/254 86697
/proc/meminfo: memFree=129458888/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=80076 memory=5440 CPUtime=1.18 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 934 0 0 0 116 2 0 0 20 0 2 0 77181041 81997824 1360 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20019 1360 672 633 0 2884 0
[pid=86684/tid=86686] ppid=86675 vsize=80076 memory=18560 CPUtime=0.53 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 38 0 0 0 53 0 0 0 20 0 2 0 77181041 81997824 1360 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 80076 KiB
Current children cumulated memory: 5440 KiB

[startup+1.50019 s]
/proc/loadavg: 0.60 1.06 1.37 8/254 86697
/proc/meminfo: memFree=129334208/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=80208 memory=5824 CPUtime=2.76 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 1689 0 0 0 271 5 0 0 20 0 2 0 77181041 82132992 1456 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20052 1456 672 633 0 2917 0
[pid=86684/tid=86686] ppid=86675 vsize=80208 memory=18560 CPUtime=1.31 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 99 0 0 0 130 1 0 0 20 0 2 0 77181041 82132992 1456 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 5824 KiB

[startup+3.10588 s]
/proc/loadavg: 0.60 1.06 1.37 9/254 86697
/proc/meminfo: memFree=129149456/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=80372 memory=5952 CPUtime=5.94 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 2472 0 0 0 584 10 0 0 20 0 2 0 77181041 82300928 1488 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20093 1488 672 633 0 2958 0
[pid=86684/tid=86686] ppid=86675 vsize=80372 memory=14848 CPUtime=2.89 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 268 0 0 0 287 2 0 0 20 0 2 0 77181041 82300928 1488 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 80372 KiB
Current children cumulated memory: 5952 KiB

[startup+6.30016 s]
/proc/loadavg: 1.03 1.14 1.39 8/254 86697
/proc/meminfo: memFree=129150344/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=81144 memory=6276 CPUtime=12.18 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 3491 0 0 0 1200 18 0 0 20 0 2 0 77181041 83091456 1569 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20286 1569 672 633 0 3151 0
[pid=86684/tid=86686] ppid=86675 vsize=81144 memory=5952 CPUtime=5.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 542 0 0 0 591 5 0 0 20 0 2 0 77181041 83091456 1569 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 81144 KiB
Current children cumulated memory: 6276 KiB

[startup+12.7002 s]
/proc/loadavg: 1.43 1.22 1.41 8/254 86697
/proc/meminfo: memFree=129172432/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=81432 memory=6532 CPUtime=24.61 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 4421 0 0 0 2429 32 0 0 20 0 2 0 77181041 83386368 1633 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20358 1633 672 633 0 3223 0
[pid=86684/tid=86686] ppid=86675 vsize=81432 memory=7970957401168560496 CPUtime=12.03 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 956 0 0 0 1193 10 0 0 20 0 2 0 77181041 83386368 1633 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 24.61 s
Current children cumulated vsize: 81432 KiB
Current children cumulated memory: 6532 KiB

[startup+25.5002 s]
/proc/loadavg: 2.51 1.47 1.49 8/254 86697
/proc/meminfo: memFree=129172912/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=81572 memory=6916 CPUtime=49.22 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 6113 0 0 0 4867 55 0 0 20 0 2 0 77181041 83529728 1729 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20393 1729 672 633 0 3258 0
[pid=86684/tid=86686] ppid=86675 vsize=81572 memory=6788 CPUtime=23.92 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 1615 0 0 0 2375 17 0 0 20 0 2 0 77181041 83529728 1729 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 49.22 s
Current children cumulated vsize: 81572 KiB
Current children cumulated memory: 6916 KiB

[startup+51.1057 s]
/proc/loadavg: 3.76 1.85 1.62 9/255 86699
/proc/meminfo: memFree=129167560/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=81844 memory=7300 CPUtime=98.18 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 6950 0 0 0 9716 102 0 0 20 0 2 0 77181041 83808256 1825 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20461 1825 672 633 0 3326 0
[pid=86684/tid=86686] ppid=86675 vsize=81844 memory=14848 CPUtime=47.46 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 1727 0 0 0 4715 31 0 0 20 0 2 0 77181041 83808256 1825 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 98.18 s
Current children cumulated vsize: 81844 KiB
Current children cumulated memory: 7300 KiB

[startup+102.3 s]
/proc/loadavg: 6.16 2.78 1.95 9/255 86701
/proc/meminfo: memFree=129117088/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=81984 memory=7556 CPUtime=195.02 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 9516 0 0 0 19320 182 0 0 20 0 2 0 77181041 83951616 1889 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20496 1889 672 633 0 3361 0
[pid=86684/tid=86686] ppid=86675 vsize=81984 memory=14848 CPUtime=93.42 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 2470 0 0 0 9286 56 0 0 20 0 2 0 77181041 83951616 1889 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 195.02 s
Current children cumulated vsize: 81984 KiB
Current children cumulated memory: 7556 KiB

[startup+162.3 s]
/proc/loadavg: 7.02 3.67 2.31 8/255 86703
/proc/meminfo: memFree=129102716/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=81984 memory=7684 CPUtime=307.97 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 11834 0 0 0 30525 272 0 0 20 0 2 0 77181041 83951616 1921 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20496 1921 672 633 0 3361 0
[pid=86684/tid=86686] ppid=86675 vsize=81984 memory=7684 CPUtime=146.77 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 2913 0 0 0 14592 85 0 0 20 0 2 0 77181041 83951616 1921 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 307.97 s
Current children cumulated vsize: 81984 KiB
Current children cumulated memory: 7684 KiB

[startup+222.3 s]
/proc/loadavg: 6.72 4.19 2.58 9/255 86705
/proc/meminfo: memFree=129102380/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=82132 memory=7684 CPUtime=420.96 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 11874 0 0 0 41727 369 0 0 20 0 2 0 77181041 84103168 1921 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20533 1921 672 633 0 3398 0
[pid=86684/tid=86686] ppid=86675 vsize=82132 memory=3200 CPUtime=200.14 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 2917 0 0 0 19898 116 0 0 20 0 2 0 77181041 84103168 1921 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 420.96 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 7684 KiB

[startup+282.3 s]
/proc/loadavg: 6.82 4.68 2.85 9/255 86708
/proc/meminfo: memFree=129118616/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=82132 memory=7684 CPUtime=533.89 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 12258 0 0 0 52933 456 0 0 20 0 2 0 77181041 84103168 1921 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20533 1921 672 633 0 3398 0
[pid=86684/tid=86686] ppid=86675 vsize=82132 memory=7684 CPUtime=253.47 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 2923 0 0 0 25204 143 0 0 20 0 2 0 77181041 84103168 1921 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 533.89 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 7684 KiB

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

/proc/meminfo: memFree=129064460/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83552 memory=8044 CPUtime=2563.45 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 19818 0 0 0 254328 2017 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20888 2011 672 633 0 3753 0
[pid=86684/tid=86686] ppid=86675 vsize=83552 memory=14848 CPUtime=1210.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 4539 0 0 0 120460 636 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 2563.45 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 8044 KiB

[startup+1422.3 s]
/proc/loadavg: 5.98 5.96 5.12 8/255 86772
/proc/meminfo: memFree=129064712/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83552 memory=8044 CPUtime=2676.04 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 19833 0 0 0 265508 2096 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20888 2011 672 633 0 3753 0
[pid=86684/tid=86686] ppid=86675 vsize=83552 memory=8044 CPUtime=1263.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 4540 0 0 0 125736 660 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 2676.04 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 8044 KiB

[startup+1482.3 s]
/proc/loadavg: 6.04 5.98 5.18 8/255 86774
/proc/meminfo: memFree=129064580/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83552 memory=8044 CPUtime=2788.62 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 19835 0 0 0 276686 2176 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20888 2011 672 633 0 3753 0
[pid=86684/tid=86686] ppid=86675 vsize=83552 memory=8044 CPUtime=1316.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 4540 0 0 0 131011 685 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 2788.62 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 8044 KiB

[startup+1542.3 s]
/proc/loadavg: 5.95 5.97 5.23 8/255 86776
/proc/meminfo: memFree=129064400/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83552 memory=8044 CPUtime=2901.19 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 20634 0 0 0 287860 2259 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20888 2011 672 633 0 3753 0
[pid=86684/tid=86686] ppid=86675 vsize=83552 memory=8044 CPUtime=1370 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 4820 0 0 0 136288 712 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 2901.19 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 8044 KiB

[startup+1602.3 s]
/proc/loadavg: 5.94 5.96 5.28 8/255 86778
/proc/meminfo: memFree=129066116/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83552 memory=8044 CPUtime=3013.77 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 21431 0 0 0 299030 2347 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20888 2011 672 633 0 3753 0
[pid=86684/tid=86686] ppid=86675 vsize=83552 memory=8044 CPUtime=1422.98 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5066 0 0 0 141561 737 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3013.77 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 8044 KiB

[startup+1662.3 s]
/proc/loadavg: 6.10 6.00 5.33 8/255 86781
/proc/meminfo: memFree=129065452/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83552 memory=8044 CPUtime=3126.31 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 22235 0 0 0 310199 2432 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20888 2011 672 633 0 3753 0
[pid=86684/tid=86686] ppid=86675 vsize=83552 memory=8044 CPUtime=1475.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5238 0 0 0 146832 764 0 0 20 0 2 0 77181041 85557248 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3126.31 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 8044 KiB

[startup+1722.3 s]
/proc/loadavg: 6.02 6.00 5.38 7/254 86783
/proc/meminfo: memFree=129066064/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83684 memory=8044 CPUtime=3238.83 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 23043 0 0 0 321367 2516 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20921 2011 672 633 0 3786 0
[pid=86684/tid=86686] ppid=86675 vsize=83684 memory=8044 CPUtime=1528.88 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5515 0 0 0 152100 788 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3238.83 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 8044 KiB

[startup+1782.3 s]
/proc/loadavg: 6.00 6.00 5.42 8/253 86791
/proc/meminfo: memFree=129073692/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83684 memory=8044 CPUtime=3351.41 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 23045 0 0 0 332542 2599 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20921 2011 672 633 0 3786 0
[pid=86684/tid=86686] ppid=86675 vsize=83684 memory=14848 CPUtime=1581.92 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5515 0 0 0 157379 813 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3351.41 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 8044 KiB

[startup+1842.3 s]
/proc/loadavg: 6.02 6.00 5.46 8/253 86839
/proc/meminfo: memFree=129070776/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83684 memory=8044 CPUtime=3463.9 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 23854 0 0 0 343711 2679 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20921 2011 672 633 0 3786 0
[pid=86684/tid=86686] ppid=86675 vsize=83684 memory=8044 CPUtime=1634.83 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) S 86675 86684 86624 0 -1 4194368 5524 0 0 0 162644 839 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3463.9 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 8044 KiB

[startup+1902.3 s]
/proc/loadavg: 5.99 6.00 5.49 7/253 86841
/proc/meminfo: memFree=129075740/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83684 memory=8044 CPUtime=3576.44 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 23859 0 0 0 354884 2760 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20921 2011 672 633 0 3786 0
[pid=86684/tid=86686] ppid=86675 vsize=83684 memory=8044 CPUtime=1687.83 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5524 0 0 0 167919 864 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3576.44 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 8044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1914.9 s]
/proc/loadavg: 5.99 6.00 5.50 7/253 86841
/proc/meminfo: memFree=129077956/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83684 memory=8044 CPUtime=3600.08 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 23859 0 0 0 357234 2774 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20921 2011 672 633 0 3786 0
[pid=86684/tid=86686] ppid=86675 vsize=83684 memory=8044 CPUtime=1698.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5524 0 0 0 169027 869 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 8044 KiB

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

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

# cumulated CPU time of all completed processes:  user=3572.36 s, system=27.7469 s

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

[startup+1914.9 s]
/proc/loadavg: 5.99 6.00 5.50 7/253 86841
/proc/meminfo: memFree=129077956/131382112 swapFree=33010416/33010684
[pid=86684] ppid=86675 vsize=83684 memory=8044 CPUtime=3600.08 cores=4,6
/proc/86684/stat : 86684 (pb_competition_) R 86675 86684 86624 0 -1 4194304 23859 0 0 0 357234 2774 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
/proc/86684/statm: 20921 2011 672 633 0 3786 0
[pid=86684/tid=86686] ppid=86675 vsize=83684 memory=8044 CPUtime=1698.96 cores=4,6
/proc/86684/task/86686/stat : 86686 (pb_competition_) R 86675 86684 86624 0 -1 4194368 5524 0 0 0 169027 869 0 0 20 0 2 0 77181041 85692416 2011 18446744073709551615 4198400 6788177 140732736492256 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31162368 140732736493912 140732736494038 140732736494038 140732736499642 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 8044 KiB

Child status: 0

Real time (s): 1914.91
CPU time (s): 3600.11
CPU user time (s): 3572.36
CPU system time (s): 27.7469
CPU usage (%): 188.004
Max. virtual memory (cumulated for all children) (KiB): 83684
Max. memory (cumulated for all children) (KiB): 8044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.36
system time used= 27.7469
maximum resident set size= 8964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23903
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= 117491
involuntary context switches= 33256


# summary of solver processes directly reported to runsolver:
#   pid: 86684
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3572.36
#   total CPU system time (s): 27.7469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7738 second user time and 8.3938 second system time

The end

Begin job on nodeC012 at 2025-07-04 09:43:33
IDJOB=4524541
IDBENCH=143127
IDSOLVER=3379
FILE ID=nodeC012/4524541-1751615013
RUNJOBID= nodeC012-1751615013-86635
SLURM_JOB_ID= 9598918
Free space on /tmp= 431864 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.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-4524541-1751615013/watcher-4524541-1751615013 -o /tmp/evaluation-result-4524541-1751615013/solver-4524541-1751615013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751615013-86635 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 231549117 HOME/instance-4524541-1751615013.wbo

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

MD5SUM BENCH= f4fc3ffba48e986bbe8a03138b243a62
RANDOM SEED=231549117

nodeC012 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	: 0xb00001f
cpu MHz		: 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.677
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.868
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.151
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.153
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.083
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129576688 kB
MemAvailable:   129885980 kB
Buffers:            2136 kB
Cached:          1109068 kB
SwapCached:           16 kB
Active:           686568 kB
Inactive:         488856 kB
Active(anon):      77216 kB
Inactive(anon):     4948 kB
Active(file):     609352 kB
Inactive(file):   483908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             24016 kB
Writeback:             8 kB
AnonPages:         67284 kB
Mapped:           103616 kB
Shmem:             17944 kB
KReclaimable:     110936 kB
Slab:             196892 kB
SReclaimable:     110936 kB
SUnreclaim:        85956 kB
KernelStack:        3824 kB
PageTables:         2848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     329916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431840 MiB
End job on nodeC012 at 2025-07-04 10:15:29

Name	PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM	f4fc3ffba48e986bbe8a03138b243a62
Bench Category	SOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmark	MOPT
Best cost obtained on this benchmark	2
Best CPU time to get the best result obtained on this benchmark	0.076513
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	840
Total number of constraints	82
Number of soft constraints	82
Number of constraints which are clauses	42
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	21
Top cost	4216
Min constraint cost	1
Max constraint cost	98
Sum of constraints costs	4215
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	22
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 4524541

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