PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
CASHWMaxSAT-DisjCad-S 2024-07-10	SAT (TO)	18	3600.04	3610.12

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: 64059 MiB (60344 MiB free)
  memory of node 1: 64510 MiB (61535 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449739-1721399503/watcher-4449739-1721399503 -o /tmp/evaluation-result-4449739-1721399503/solver-4449739-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721399515-1015926 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449739-1721399503.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1015982, runsolver pid=1015979
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 0.18 0.14 0.10 7/248 1015989
/proc/meminfo: memFree=124779336/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=24996 memory=10556 CPUtime=0.1 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 1892 0 0 0 10 0 0 0 20 0 1 0 192109044 25595904 2639 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 6249 2639 878 2594 0 3142 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24996 KiB
Current children cumulated memory: 10556 KiB

[startup+0.214083 s]*
/proc/loadavg: 0.18 0.14 0.10 8/248 1015989
/proc/meminfo: memFree=124759424/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=31512 memory=17156 CPUtime=0.22 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 3551 0 0 0 21 1 0 0 20 0 1 0 192109044 32268288 4289 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 7878 4289 878 2594 0 4771 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 31512 KiB
Current children cumulated memory: 17156 KiB

[startup+0.313499 s]*
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124747408/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=37368 memory=22964 CPUtime=0.31 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 5006 0 0 0 30 1 0 0 20 0 1 0 192109044 38264832 5741 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 9342 5741 878 2594 0 6235 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37368 KiB
Current children cumulated memory: 22964 KiB

[startup+0.70031 s]
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124718200/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=69196 memory=54644 CPUtime=0.68 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 12900 0 0 0 65 3 0 0 20 0 1 0 192109044 70856704 13661 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 17299 13661 878 2594 0 14192 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69196 KiB
Current children cumulated memory: 54644 KiB

[startup+1.50035 s]
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124577128/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=203760 memory=193076 CPUtime=1.48 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 51154 0 0 0 136 12 0 0 20 0 1 0 192109044 208650240 48269 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 50940 48269 2542 2594 0 47833 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203760 KiB
Current children cumulated memory: 193076 KiB

[startup+3.11304 s]
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=123926884/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=456532 memory=430624 CPUtime=3.09 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 102679 0 0 0 287 22 0 0 20 0 1 0 192109044 467488768 107656 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 114133 107656 2638 2594 0 111026 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 456532 KiB
Current children cumulated memory: 430624 KiB

[startup+6.30025 s]
/proc/loadavg: 0.49 0.20 0.12 5/248 1016037
/proc/meminfo: memFree=123565784/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=449416 memory=424164 CPUtime=6.27 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 102854 0 0 0 605 22 0 0 20 0 1 0 192109044 460201984 106041 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 112354 106041 2670 2594 0 109247 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 449416 KiB
Current children cumulated memory: 424164 KiB

[startup+12.7002 s]
/proc/loadavg: 0.77 0.26 0.14 5/248 1016037
/proc/meminfo: memFree=123514520/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=449416 memory=424348 CPUtime=12.65 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 102915 0 0 0 1243 22 0 0 20 0 1 0 192109044 460201984 106087 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 112354 106087 2670 2594 0 109247 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 449416 KiB
Current children cumulated memory: 424348 KiB

[startup+25.5003 s]
/proc/loadavg: 1.48 0.45 0.20 5/248 1016040
/proc/meminfo: memFree=123466648/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=469640 memory=423836 CPUtime=25.42 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 103528 0 0 0 2519 23 0 0 20 0 1 0 192109044 480911360 105959 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 117410 105959 2670 2594 0 114303 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 469640 KiB
Current children cumulated memory: 423836 KiB

[startup+51.1134 s]
/proc/loadavg: 2.42 0.75 0.31 5/248 1016043
/proc/meminfo: memFree=123289608/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=591860 memory=504712 CPUtime=50.96 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 123815 0 0 0 5069 27 0 0 20 0 1 0 192109044 606064640 126178 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 147965 126178 2670 2594 0 144858 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 591860 KiB
Current children cumulated memory: 504712 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.51 5/248 1016051
/proc/meminfo: memFree=122986860/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=656572 memory=558380 CPUtime=101.95 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 172119 0 0 0 10160 35 0 0 20 0 1 0 192109044 672329728 139595 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 164143 139595 2670 2594 0 161036 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 656572 KiB
Current children cumulated memory: 558380 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 1.81 0.75 5/246 1016063
/proc/meminfo: memFree=122703316/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=810996 memory=621732 CPUtime=161.76 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 188005 0 0 0 16139 37 0 0 20 0 1 0 192109044 830459904 155433 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 202749 155433 2670 2594 0 199642 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 810996 KiB
Current children cumulated memory: 621732 KiB

[startup+222.3 s]
/proc/loadavg: 4.43 2.33 0.99 5/246 1016074
/proc/meminfo: memFree=122498288/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=899168 memory=708248 CPUtime=221.55 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 213531 0 0 0 22114 41 0 0 20 0 1 0 192109044 920748032 177062 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 224792 177062 2670 2594 0 221685 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 899168 KiB
Current children cumulated memory: 708248 KiB

[startup+282.3 s]
/proc/loadavg: 4.55 2.76 1.23 5/243 1016085
/proc/meminfo: memFree=122272572/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=908932 memory=721956 CPUtime=281.3 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 216170 0 0 0 28088 42 0 0 20 0 1 0 192109044 930746368 180489 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 227233 180489 2670 2594 0 224126 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 908932 KiB
Current children cumulated memory: 721956 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 3.01 1.41 5/241 1016096
/proc/meminfo: memFree=122132716/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=934248 memory=750872 CPUtime=341.08 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 244212 0 0 0 34061 47 0 0 20 0 1 0 192109044 956669952 187718 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 233562 187718 2670 2594 0 230455 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 934248 KiB
Current children cumulated memory: 750872 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 3.22 1.58 5/242 1016107
/proc/meminfo: memFree=122012604/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=940308 memory=772380 CPUtime=400.91 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 244327 0 0 0 40043 48 0 0 20 0 1 0 192109044 962875392 193095 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 235077 193095 2670 2594 0 231970 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 940308 KiB
Current children cumulated memory: 772380 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.38 1.74 5/242 1016117
/proc/meminfo: memFree=121871924/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=982268 memory=814780 CPUtime=460.74 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 274775 0 0 0 46020 54 0 0 20 0 1 0 192109044 1005842432 203695 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 245567 203695 2670 2594 0 242460 0

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

Current children cumulated memory: 906272 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/242 1017181
/proc/meminfo: memFree=120997120/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=2914.04 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507180 0 0 0 291297 107 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.02 5/245 1017196
/proc/meminfo: memFree=120663724/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=2973.89 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507272 0 0 0 297281 108 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/245 1017208
/proc/meminfo: memFree=120896644/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3033.72 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507362 0 0 0 303264 108 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.03 5/244 1017218
/proc/meminfo: memFree=120515760/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3093.57 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507446 0 0 0 309248 109 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.15 4.04 5/246 1017233
/proc/meminfo: memFree=120486292/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3153.41 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507532 0 0 0 315232 109 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/246 1017243
/proc/meminfo: memFree=120422660/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3213.25 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507562 0 0 0 321216 109 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.21 4.07 5/244 1017636
/proc/meminfo: memFree=120395712/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3273.09 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507656 0 0 0 327200 109 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.07 5/244 1017646
/proc/meminfo: memFree=120330720/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3332.93 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507746 0 0 0 333184 109 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.07 5/244 1017656
/proc/meminfo: memFree=120312028/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=906272 CPUtime=3392.77 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507835 0 0 0 339168 109 0 0 20 0 1 0 192109044 1147121664 226568 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 226568 2718 2594 0 276952 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 906272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.08 5/246 1017837
/proc/meminfo: memFree=120258048/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=910296 CPUtime=3452.61 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507940 0 0 0 345152 109 0 0 20 0 1 0 192109044 1147121664 227574 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 227574 2718 2594 0 276952 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 910296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.08 5/248 1017907
/proc/meminfo: memFree=120197644/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=926412 CPUtime=3512.45 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 507953 0 0 0 351135 110 0 0 20 0 1 0 192109044 1147121664 231603 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 231603 2718 2594 0 276952 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 926412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/247 1017917
/proc/meminfo: memFree=120110012/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=926412 CPUtime=3572.29 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 508060 0 0 0 357119 110 0 0 20 0 1 0 192109044 1147121664 231603 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 231603 2718 2594 0 276952 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 926412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.09 4.14 4.09 5/247 1017922
/proc/meminfo: memFree=119819148/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=926412 CPUtime=3600.03 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 508145 0 0 0 359893 110 0 0 20 0 1 0 192109044 1147121664 231603 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 231603 2718 2594 0 276952 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 926412 KiB

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

[startup+3610.12 s]
# the end of solver process 1015982 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.94 s, system=1.10443 s

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

[startup+3610.11 s]
/proc/loadavg: 4.09 4.14 4.09 5/247 1017922
/proc/meminfo: memFree=119819148/131655788 swapFree=131071996/131071996
[pid=1015982] ppid=1015979 vsize=1120236 memory=926412 CPUtime=3600.03 cores=1,3
/proc/1015982/stat : 1015982 (CASHWMaxSAT-Dis) R 1015979 1015982 1015914 0 -1 4194304 508145 0 0 0 359893 110 0 0 20 0 1 0 192109044 1147121664 231603 134679101440 4194304 14817773 140721032685840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50880512 140721032688611 140721032688726 140721032688726 140721032695743 0
/proc/1015982/statm: 280059 231603 2718 2594 0 276952 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1120236 KiB
Current children cumulated memory: 926412 KiB

Child status: 10

Real time (s): 3610.12
CPU time (s): 3600.04
CPU user time (s): 3598.94
CPU system time (s): 1.10443
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 1626900
Max. memory (cumulated for all children) (KiB): 1408996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.10443
maximum resident set size= 1408996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508146
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= 83
involuntary context switches= 1331


# summary of solver processes directly reported to runsolver:
#   pid: 1015982
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.94
#   total CPU system time (s): 1.10443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3644 second user time and 36.1837 second system time

The end

Begin job on nodeC006 at 2024-07-19 16:31:55
IDJOB=4449739
IDBENCH=176097
IDSOLVER=3075
FILE ID=nodeC006/4449739-1721399503
RUNJOBID= nodeC006-1721399515-1015926
SLURM_JOB_ID= 7545435
Free space on /tmp= 723744 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449739-1721399503/watcher-4449739-1721399503 -o /tmp/evaluation-result-4449739-1721399503/solver-4449739-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721399515-1015926 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4449739-1721399503.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=1818638320

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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.291
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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.247
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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.253
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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.420
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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.297
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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.247
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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.252
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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.383
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124809924 kB
MemAvailable:   129856632 kB
Buffers:          540004 kB
Cached:          5293184 kB
SwapCached:            0 kB
Active:          1021580 kB
Inactive:        5136560 kB
Active(anon):       1356 kB
Inactive(anon):   369488 kB
Active(file):    1020224 kB
Inactive(file):  4767072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             61872 kB
Writeback:             0 kB
AnonPages:        324972 kB
Mapped:           106160 kB
Shmem:             45896 kB
KReclaimable:     198888 kB
Slab:             314060 kB
SReclaimable:     198888 kB
SUnreclaim:       115172 kB
KernelStack:        3696 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     747516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC006 at 2024-07-19 17:32:06

Name	PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb
MD5SUM	06b87d46bf38d4b028e9a0f41f22c2e8
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	49.4743
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	650
Total number of constraints	72640
Number of constraints which are clauses	72620
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	21
Number of terms in the objective function	20
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	20
Number of bits of the sum of numbers in the objective function	5
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
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 4449739

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