PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
CASHWMaxSAT-DisjCad-SP 2024-07-10	SAT (TO)	18	3600.02	3610.7

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449738-1721399503/watcher-4449738-1721399503 -o /tmp/evaluation-result-4449738-1721399503/solver-4449738-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721399515-1008145 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449738-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
Current StackSize limit: 8192 KiB

solver pid=1008206, runsolver pid=1008203

[startup+0.101022 s]*
/proc/loadavg: 0.10 0.12 0.09 5/246 1008207
/proc/meminfo: memFree=128427320/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=26696 memory=11000 CPUtime=0.09 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 2415 0 0 0 9 0 0 0 20 0 1 0 192107284 27336704 2750 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 6674 2750 922 2726 0 3422 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26696 KiB
Current children cumulated memory: 11000 KiB

[startup+0.213347 s]*
/proc/loadavg: 0.10 0.12 0.09 5/246 1008207
/proc/meminfo: memFree=128416432/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=30792 memory=15100 CPUtime=0.21 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 2932 0 0 0 20 1 0 0 20 0 1 0 192107284 31531008 3775 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 7698 3775 922 2726 0 4446 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30792 KiB
Current children cumulated memory: 15100 KiB

[startup+0.313405 s]*
/proc/loadavg: 0.10 0.12 0.09 5/246 1008207
/proc/meminfo: memFree=128400360/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=54444 memory=37852 CPUtime=0.3 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 5076 0 0 0 28 2 0 0 20 0 1 0 192107284 55750656 9463 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 13611 9463 922 2726 0 10359 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54444 KiB
Current children cumulated memory: 37852 KiB

[startup+0.700288 s]
/proc/loadavg: 0.10 0.12 0.09 5/246 1008207
/proc/meminfo: memFree=128372772/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=67028 memory=51740 CPUtime=0.68 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 10011 0 0 0 63 5 0 0 20 0 1 0 192107284 68636672 12935 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 16757 12935 1034 2726 0 13505 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67028 KiB
Current children cumulated memory: 51740 KiB

[startup+1.50036 s]
/proc/loadavg: 0.10 0.12 0.09 5/246 1008207
/proc/meminfo: memFree=128274080/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=225256 memory=213500 CPUtime=1.47 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 48950 0 0 0 134 13 0 0 20 0 1 0 192107284 230662144 53375 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 56314 53375 2634 2726 0 53062 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 225256 KiB
Current children cumulated memory: 213500 KiB

[startup+3.11324 s]
/proc/loadavg: 0.41 0.19 0.11 4/243 1008211
/proc/meminfo: memFree=127512648/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=482060 memory=456628 CPUtime=3.08 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 99052 0 0 0 286 22 0 0 20 0 1 0 192107284 493629440 114157 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 120515 114157 2746 2726 0 117263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 482060 KiB
Current children cumulated memory: 456628 KiB

[startup+6.30031 s]
/proc/loadavg: 0.41 0.19 0.11 5/246 1008255
/proc/meminfo: memFree=127111416/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=482060 memory=456628 CPUtime=6.26 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 99077 0 0 0 604 22 0 0 20 0 1 0 192107284 493629440 114157 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 120515 114157 2746 2726 0 117263 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 482060 KiB
Current children cumulated memory: 456628 KiB

[startup+12.7003 s]
/proc/loadavg: 1.05 0.33 0.16 5/246 1008255
/proc/meminfo: memFree=127071508/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=482060 memory=456628 CPUtime=12.65 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 99088 0 0 0 1242 23 0 0 20 0 1 0 192107284 493629440 114157 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 120515 114157 2746 2726 0 117263 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 482060 KiB
Current children cumulated memory: 456628 KiB

[startup+25.5003 s]
/proc/loadavg: 1.58 0.47 0.21 5/246 1008256
/proc/meminfo: memFree=127015324/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=498496 memory=456876 CPUtime=25.42 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 99123 0 0 0 2519 23 0 0 20 0 1 0 192107284 510459904 114219 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 124624 114219 2778 2726 0 121372 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 498496 KiB
Current children cumulated memory: 456876 KiB

[startup+51.1133 s]
/proc/loadavg: 2.56 0.79 0.32 5/246 1008261
/proc/meminfo: memFree=126846188/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=622120 memory=534368 CPUtime=50.96 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 123258 0 0 0 5070 26 0 0 20 0 1 0 192107284 637050880 133592 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 155530 133592 2778 2726 0 152278 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 622120 KiB
Current children cumulated memory: 534368 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.35 0.54 5/246 1008270
/proc/meminfo: memFree=126503540/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=738844 memory=636232 CPUtime=101.96 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 166684 0 0 0 10164 32 0 0 20 0 1 0 192107284 756576256 159058 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 184711 159058 2778 2726 0 181459 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 738844 KiB
Current children cumulated memory: 636232 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.85 0.76 5/244 1008281
/proc/meminfo: memFree=126204456/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=841476 memory=701400 CPUtime=161.77 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 182508 0 0 0 16142 35 0 0 20 0 1 0 192107284 861671424 175350 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 210369 175350 2778 2726 0 207117 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 841476 KiB
Current children cumulated memory: 701400 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.26 0.97 5/244 1008292
/proc/meminfo: memFree=125992816/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=933264 memory=793220 CPUtime=221.57 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 205529 0 0 0 22119 38 0 0 20 0 1 0 192107284 955662336 198305 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 233316 198305 2778 2726 0 230064 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 933264 KiB
Current children cumulated memory: 793220 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.60 1.18 5/242 1008302
/proc/meminfo: memFree=125845284/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=937360 memory=797444 CPUtime=281.36 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 206566 0 0 0 28097 39 0 0 20 0 1 0 192107284 959856640 199361 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 234340 199361 2778 2726 0 231088 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 937360 KiB
Current children cumulated memory: 797444 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.88 1.36 5/241 1008315
/proc/meminfo: memFree=125674644/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=964144 memory=823436 CPUtime=341.12 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 232552 0 0 0 34069 43 0 0 20 0 1 0 192107284 987283456 205859 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 241036 205859 2778 2726 0 237784 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 964144 KiB
Current children cumulated memory: 823436 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.11 1.54 5/241 1008325
/proc/meminfo: memFree=125579404/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=977012 memory=823436 CPUtime=400.93 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 232564 0 0 0 40050 43 0 0 20 0 1 0 192107284 1000460288 205859 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 244253 205859 2778 2726 0 241001 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 977012 KiB
Current children cumulated memory: 823436 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.29 1.70 5/241 1008335
/proc/meminfo: memFree=125464524/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=989496 memory=836104 CPUtime=460.74 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 245811 0 0 0 46028 46 0 0 20 0 1 0 192107284 1013243904 209026 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 247374 209026 2778 2726 0 244122 0

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

Current children cumulated memory: 1070852 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.01 5/241 1009391
/proc/meminfo: memFree=123986168/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=2913.36 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 532473 0 0 0 291225 111 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 2913.36 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.02 5/243 1009407
/proc/meminfo: memFree=124168712/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=2973.21 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 532651 0 0 0 297210 111 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/243 1009417
/proc/meminfo: memFree=124159820/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3033.06 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 532780 0 0 0 303195 111 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.02 5/244 1009428
/proc/meminfo: memFree=124090456/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3092.92 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 532898 0 0 0 309180 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3092.92 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/244 1009439
/proc/meminfo: memFree=124218808/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3152.76 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533048 0 0 0 315164 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/244 1009450
/proc/meminfo: memFree=123922228/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3212.61 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533179 0 0 0 321149 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/244 1009843
/proc/meminfo: memFree=123811928/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3272.46 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533334 0 0 0 327134 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3342.3 s]
/proc/loadavg: 4.64 4.25 4.08 5/244 1009854
/proc/meminfo: memFree=124144392/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3332.3 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533492 0 0 0 333118 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.32 4.11 5/243 1009864
/proc/meminfo: memFree=123804596/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3392.15 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533599 0 0 0 339103 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.29 4.11 5/243 1010042
/proc/meminfo: memFree=123760044/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3451.99 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533738 0 0 0 345087 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.25 4.11 5/243 1010052
/proc/meminfo: memFree=123694512/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3511.84 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533869 0 0 0 351072 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

[startup+3582.3 s]
/proc/loadavg: 4.71 4.38 4.16 5/243 1010121
/proc/meminfo: memFree=123656760/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3571.68 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 533980 0 0 0 357056 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.79 4.44 4.19 5/243 1010126
/proc/meminfo: memFree=123635728/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3600.01 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 534061 0 0 0 359889 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.89 s, system=1.13174 s

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

[startup+3610.7 s]
/proc/loadavg: 4.79 4.44 4.19 5/243 1010126
/proc/meminfo: memFree=123635728/131655788 swapFree=131071996/131071996
[pid=1008206] ppid=1008203 vsize=1238644 memory=1070852 CPUtime=3600.01 cores=1,3
/proc/1008206/stat : 1008206 (CASHWMaxSAT-Dis) R 1008203 1008206 1008133 0 -1 4194304 534061 0 0 0 359889 112 0 0 20 0 1 0 192107284 1268371456 267713 134679101440 4194304 15356333 140737114455008 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 43900928 140737114461153 140737114461269 140737114461269 140737114468286 0
/proc/1008206/statm: 309661 267713 2826 2726 0 306409 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1238644 KiB
Current children cumulated memory: 1070852 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.02
CPU user time (s): 3598.89
CPU system time (s): 1.13174
CPU usage (%): 99.7042
Max. virtual memory (cumulated for all children) (KiB): 1658336
Max. memory (cumulated for all children) (KiB): 1358196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.13174
maximum resident set size= 1358196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534061
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= 78
involuntary context switches= 1709


# summary of solver processes directly reported to runsolver:
#   pid: 1008206
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.13174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0884 second user time and 34.0219 second system time

The end

Begin job on nodeC012 at 2024-07-19 16:31:56
IDJOB=4449738
IDBENCH=176097
IDSOLVER=3074
FILE ID=nodeC012/4449738-1721399503
RUNJOBID= nodeC012-1721399515-1008145
SLURM_JOB_ID= 7545441
Free space on /tmp= 723728 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 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-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449738-1721399503/watcher-4449738-1721399503 -o /tmp/evaluation-result-4449738-1721399503/solver-4449738-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721399515-1008145 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4449738-1721399503.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=1818638320

nodeC012.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.322
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	: 6984.37
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.321
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.32
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.391
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	: 6984.37
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.458
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.32
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.383
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	: 6984.37
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.326
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.32
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.322
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	: 6984.37
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.334
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128471148 kB
MemAvailable:   129924324 kB
Buffers:          528136 kB
Cached:          1769564 kB
SwapCached:            0 kB
Active:          1075864 kB
Inactive:        1555380 kB
Active(anon):       1380 kB
Inactive(anon):   378056 kB
Active(file):    1074484 kB
Inactive(file):  1177324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             64976 kB
Writeback:             0 kB
AnonPages:        333652 kB
Mapped:           106984 kB
Shmem:             45896 kB
KReclaimable:      82796 kB
Slab:             184732 kB
SReclaimable:      82796 kB
SUnreclaim:       101936 kB
KernelStack:        3808 kB
PageTables:         9916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     661580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60480 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      312136 kB
DirectMap2M:    33146880 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC012 at 2024-07-19 17:32:07

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 4449738

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