0.00/0.08 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.08 c Do: 140732208149976 140732208149984
0.00/0.08 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.11/0.12 c Starting SCIP solver (with time-limit = 1800s) ...
685.62/688.02 c SCIP optimum (rounded): -2197
685.62/688.02 o -2197
685.62/688.02 s OPTIMUM FOUND
685.62/688.02 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
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: 63837 MiB (63084 MiB free)
memory of node 1: 64465 MiB (63745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517925-1751538785/watcher-4517925-1751538785 -o /tmp/evaluation-result-4517925-1751538785/solver-4517925-1751538785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751538785-75287 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517925-1751538785.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=75331, runsolver pid=75327
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 0.56 1.10 2.18 5/252 75346
/proc/meminfo: memFree=129848956/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=31332 memory=22016 CPUtime=0.11 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 3756 0 0 0 9 2 0 0 20 0 1 0 69557669 32083968 5504 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 7833 5504 2272 2593 0 4726 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 31332 KiB
Current children cumulated memory: 22016 KiB
[startup+0.214198 s]*
/proc/loadavg: 0.56 1.10 2.18 5/252 75346
/proc/meminfo: memFree=129803112/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=52028 memory=41984 CPUtime=0.21 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 8526 0 0 0 18 3 0 0 20 0 1 0 69557669 53276672 10496 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 13007 10496 2496 2593 0 9900 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52028 KiB
Current children cumulated memory: 41984 KiB
[startup+0.314062 s]*
/proc/loadavg: 0.56 1.10 2.18 5/252 75346
/proc/meminfo: memFree=129795048/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=61436 memory=51456 CPUtime=0.32 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 10898 0 0 0 27 5 0 0 20 0 1 0 69557669 62910464 12864 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 15359 12864 2496 2593 0 12252 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 61436 KiB
Current children cumulated memory: 51456 KiB
[startup+0.700237 s]
/proc/loadavg: 0.56 1.10 2.18 5/252 75346
/proc/meminfo: memFree=129782704/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=66004 memory=55936 CPUtime=0.68 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 11989 0 0 0 63 5 0 0 20 0 1 0 69557669 67588096 13984 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 16501 13984 2528 2593 0 13394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66004 KiB
Current children cumulated memory: 55936 KiB
[startup+1.50034 s]
/proc/loadavg: 0.56 1.10 2.18 5/252 75346
/proc/meminfo: memFree=129782704/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=102364 memory=89872 CPUtime=1.48 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 20908 0 0 0 140 8 0 0 20 0 1 0 69557669 104820736 22468 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 25591 22468 2624 2593 0 22484 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 102364 KiB
Current children cumulated memory: 89872 KiB
[startup+3.11303 s]
/proc/loadavg: 0.83 1.14 2.19 5/252 75346
/proc/meminfo: memFree=129289416/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=103772 memory=91152 CPUtime=3.09 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 21240 0 0 0 301 8 0 0 20 0 1 0 69557669 106262528 22788 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 25943 22788 2624 2593 0 22836 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103772 KiB
Current children cumulated memory: 91152 KiB
[startup+6.30031 s]
/proc/loadavg: 0.83 1.14 2.19 5/252 75346
/proc/meminfo: memFree=128544908/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=118556 memory=100388 CPUtime=6.26 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 23916 0 0 0 618 8 0 0 20 0 1 0 69557669 121401344 25097 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 29639 25097 2624 2593 0 26532 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 118556 KiB
Current children cumulated memory: 100388 KiB
[startup+12.7003 s]
/proc/loadavg: 1.17 1.21 2.21 5/252 75347
/proc/meminfo: memFree=126860016/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=166096 memory=129828 CPUtime=12.65 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 31251 0 0 0 1254 11 0 0 20 0 1 0 69557669 170082304 32457 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 41524 32457 2624 2593 0 38417 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 166096 KiB
Current children cumulated memory: 129828 KiB
[startup+25.5003 s]
/proc/loadavg: 1.79 1.35 2.24 5/252 75347
/proc/meminfo: memFree=125306796/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=188544 memory=148312 CPUtime=25.4 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 36577 0 0 0 2528 12 0 0 20 0 1 0 69557669 193069056 37078 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 47136 37078 2624 2593 0 44029 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 188544 KiB
Current children cumulated memory: 148312 KiB
[startup+51.113 s]
/proc/loadavg: 2.55 1.56 2.28 5/251 75347
/proc/meminfo: memFree=125366668/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=219936 memory=169048 CPUtime=50.92 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 41793 0 0 0 5080 12 0 0 20 0 1 0 69557669 225214464 42262 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 54984 42262 2624 2593 0 51877 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 219936 KiB
Current children cumulated memory: 169048 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.97 2.39 5/251 75349
/proc/meminfo: memFree=125285964/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=269872 memory=175832 CPUtime=101.94 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 43526 0 0 0 10181 13 0 0 20 0 1 0 69557669 276348928 43958 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 67468 43958 2624 2593 0 64361 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 269872 KiB
Current children cumulated memory: 175832 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.37 2.50 5/250 75351
/proc/meminfo: memFree=125209904/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=346936 memory=227408 CPUtime=161.73 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 57485 0 0 0 16157 16 0 0 20 0 1 0 69557669 355262464 56852 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 86734 56852 2624 2593 0 83627 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 346936 KiB
Current children cumulated memory: 227408 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.67 2.60 5/250 75353
/proc/meminfo: memFree=125201892/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=381904 memory=235504 CPUtime=221.52 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 59018 0 0 0 22135 17 0 0 20 0 1 0 69557669 391069696 58876 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 95476 58876 2624 2593 0 92369 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 381904 KiB
Current children cumulated memory: 235504 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.95 2.70 5/250 75355
/proc/meminfo: memFree=125195544/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=398812 memory=248688 CPUtime=281.31 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 62329 0 0 0 28114 17 0 0 20 0 1 0 69557669 408383488 62172 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 99703 62172 2624 2593 0 96596 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 398812 KiB
Current children cumulated memory: 248688 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.17 2.79 5/250 75362
/proc/meminfo: memFree=125145256/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=419412 memory=269040 CPUtime=341.1 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 67477 0 0 0 34092 18 0 0 20 0 1 0 69557669 429477888 67260 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 104853 67260 2624 2593 0 101746 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 419412 KiB
Current children cumulated memory: 269040 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.34 2.88 5/250 75364
/proc/meminfo: memFree=125119460/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=419528 memory=268208 CPUtime=400.9 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 68015 0 0 0 40071 19 0 0 20 0 1 0 69557669 429596672 67052 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 104882 67052 2624 2593 0 101775 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 419528 KiB
Current children cumulated memory: 268208 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.48 2.96 5/250 75366
/proc/meminfo: memFree=125082188/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=469068 memory=278576 CPUtime=460.69 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 70331 0 0 0 46050 19 0 0 20 0 1 0 69557669 480325632 69644 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 117267 69644 2912 2593 0 114160 0
Current children cumulated CPU time: 460.69 s
Current children cumulated vsize: 469068 KiB
Current children cumulated memory: 278576 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 3.59 3.03 5/250 75368
/proc/meminfo: memFree=125067792/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=493860 memory=281136 CPUtime=520.48 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 70980 0 0 0 52029 19 0 0 20 0 1 0 69557669 505712640 70284 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 123465 70284 2912 2593 0 120358 0
Current children cumulated CPU time: 520.48 s
Current children cumulated vsize: 493860 KiB
Current children cumulated memory: 281136 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 3.70 3.10 5/250 75370
/proc/meminfo: memFree=125046924/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=516032 memory=284080 CPUtime=580.28 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 71709 0 0 0 58008 20 0 0 20 0 1 0 69557669 528416768 71020 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 129008 71020 2912 2593 0 125901 0
Current children cumulated CPU time: 580.28 s
Current children cumulated vsize: 516032 KiB
Current children cumulated memory: 284080 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 3.77 3.17 5/250 75374
/proc/meminfo: memFree=125017700/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=533768 memory=294448 CPUtime=640.06 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74297 0 0 0 63986 20 0 0 20 0 1 0 69557669 546578432 73612 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 133442 73612 2912 2593 0 130335 0
Current children cumulated CPU time: 640.06 s
Current children cumulated vsize: 533768 KiB
Current children cumulated memory: 294448 KiB
[startup+688.051 s]
# the end of solver process 75331 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=685.432 s, system=0.224956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 4.14 3.81 3.20 5/250 75375
/proc/meminfo: memFree=124994336/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=536224 memory=295600 CPUtime=663.29 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74597 0 0 0 66308 21 0 0 20 0 1 0 69557669 549093376 73900 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134056 73900 2912 2593 0 130949 0
Current children cumulated CPU time: 663.29 s
Current children cumulated vsize: 536224 KiB
Current children cumulated memory: 295600 KiB
[startup+678.4 s]
/proc/loadavg: 4.11 3.82 3.21 5/250 75375
/proc/meminfo: memFree=124988020/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=539132 memory=295856 CPUtime=676.04 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74651 0 0 0 67583 21 0 0 20 0 1 0 69557669 552071168 73964 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134783 73964 2912 2593 0 131676 0
Current children cumulated CPU time: 676.04 s
Current children cumulated vsize: 539132 KiB
Current children cumulated memory: 295856 KiB
[startup+684.8 s]
/proc/loadavg: 4.10 3.82 3.21 5/250 75375
/proc/meminfo: memFree=124999676/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=539292 memory=295984 CPUtime=682.42 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74690 0 0 0 68221 21 0 0 20 0 1 0 69557669 552235008 73996 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134823 73996 2912 2593 0 131716 0
Current children cumulated CPU time: 682.42 s
Current children cumulated vsize: 539292 KiB
Current children cumulated memory: 295984 KiB
[startup+686.4 s]
/proc/loadavg: 4.10 3.82 3.21 5/250 75375
/proc/meminfo: memFree=124999424/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=539292 memory=295984 CPUtime=684.02 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74692 0 0 0 68381 21 0 0 20 0 1 0 69557669 552235008 73996 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134823 73996 2912 2593 0 131716 0
Current children cumulated CPU time: 684.02 s
Current children cumulated vsize: 539292 KiB
Current children cumulated memory: 295984 KiB
[startup+687.2 s]
/proc/loadavg: 4.10 3.82 3.21 5/250 75375
/proc/meminfo: memFree=124999424/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=539292 memory=295984 CPUtime=684.81 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74692 0 0 0 68460 21 0 0 20 0 1 0 69557669 552235008 73996 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134823 73996 2912 2593 0 131716 0
Current children cumulated CPU time: 684.81 s
Current children cumulated vsize: 539292 KiB
Current children cumulated memory: 295984 KiB
[startup+687.6 s]
/proc/loadavg: 4.10 3.82 3.21 5/250 75375
/proc/meminfo: memFree=124999424/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=539292 memory=295984 CPUtime=685.21 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74692 0 0 0 68500 21 0 0 20 0 1 0 69557669 552235008 73996 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134823 73996 2912 2593 0 131716 0
Current children cumulated CPU time: 685.21 s
Current children cumulated vsize: 539292 KiB
Current children cumulated memory: 295984 KiB
[startup+688 s]*
/proc/loadavg: 4.09 3.82 3.22 5/250 75376
/proc/meminfo: memFree=125002492/131382120 swapFree=33010160/33010684
[pid=75331] ppid=75327 vsize=539292 memory=295984 CPUtime=685.62 cores=0,2
/proc/75331/stat : 75331 (CASHWMaxSAT-Dis) R 75327 75331 75274 0 -1 4194304 74692 0 0 0 68541 21 0 0 20 0 1 0 69557669 552235008 73996 18446744073709551615 4198400 14817773 140732208152384 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 28561408 140732208159082 140732208159197 140732208159197 140732208164799 0
/proc/75331/statm: 134823 73996 2912 2593 0 131716 0
Current children cumulated CPU time: 685.62 s
Current children cumulated vsize: 539292 KiB
Current children cumulated memory: 295984 KiB
Child status: 30
Real time (s): 688.051
CPU time (s): 685.657
CPU user time (s): 685.432
CPU system time (s): 0.224956
CPU usage (%): 99.652
Max. virtual memory (cumulated for all children) (KiB): 539292
Max. memory (cumulated for all children) (KiB): 295984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 685.432
system time used= 0.224956
maximum resident set size= 295984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74692
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= 4
involuntary context switches= 1542
# summary of solver processes directly reported to runsolver:
# pid: 75331
# total CPU time (s): 685.657
# total CPU user time (s): 685.432
# total CPU system time (s): 0.224956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.33658 second user time and 6.85654 second system time
The end
Begin job on nodeC008 at 2025-07-03 12:33:05
IDJOB=4517925
IDBENCH=176209
IDSOLVER=3322
FILE ID=nodeC008/4517925-1751538785
RUNJOBID= nodeC008-1751538785-75287
SLURM_JOB_ID= 9598695
Free space on /tmp= 432824 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517925-1751538785/watcher-4517925-1751538785 -o /tmp/evaluation-result-4517925-1751538785/solver-4517925-1751538785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751538785-75287 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517925-1751538785.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b60ee656cbac4e016beb5894e27d34cb
RANDOM SEED=1154883381
nodeC008 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.621
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.72
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.222
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.72
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.207
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.72
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.391
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.72
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.212
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.72
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 : 3700.000
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.72
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.361
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.72
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.211
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129874416 kB
MemAvailable: 129924652 kB
Buffers: 2128 kB
Cached: 845816 kB
SwapCached: 16 kB
Active: 591832 kB
Inactive: 327004 kB
Active(anon): 52404 kB
Inactive(anon): 36408 kB
Active(file): 539428 kB
Inactive(file): 290596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 54756 kB
Writeback: 0 kB
AnonPages: 73988 kB
Mapped: 103456 kB
Shmem: 17920 kB
KReclaimable: 119676 kB
Slab: 203548 kB
SReclaimable: 119676 kB
SUnreclaim: 83872 kB
KernelStack: 3900 kB
PageTables: 2344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432772 MiB
End job on nodeC008 at 2025-07-03 12:44:34