runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (52159 MiB free)
memory of node 1: 64465 MiB (46577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512079-1751191434/watcher-4512079-1751191434 -o /tmp/evaluation-result-4512079-1751191434/solver-4512079-1751191434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751182426-22221 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4512079-1751191434.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
solver pid=24643, runsolver pid=24640
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 24644
/proc/meminfo: memFree=101088896/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=42724 memory=23484 CPUtime=0.09 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 5326 0 0 0 9 0 0 0 20 0 1 0 34820167 43749376 5871 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 10681 5871 736 2416 0 7783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42724 KiB
Current children cumulated memory: 23484 KiB
[startup+0.205407 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 24644
/proc/meminfo: memFree=101072516/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=60336 memory=39300 CPUtime=0.19 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 9453 0 0 0 19 0 0 0 20 0 1 0 34820167 61784064 9825 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 15084 9825 736 2416 0 12186 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60336 KiB
Current children cumulated memory: 39300 KiB
[startup+0.305376 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 24644
/proc/meminfo: memFree=101056640/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=77904 memory=54592 CPUtime=0.3 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 13603 0 0 0 29 1 0 0 20 0 1 0 34820167 79773696 13648 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 19476 13648 736 2416 0 16578 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77904 KiB
Current children cumulated memory: 54592 KiB
[startup+0.700171 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24645
/proc/meminfo: memFree=101004104/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=145360 memory=117532 CPUtime=0.69 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 28535 0 0 0 65 4 0 0 20 0 1 0 34820167 148848640 29383 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 36340 29383 736 2416 0 33442 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 145360 KiB
Current children cumulated memory: 117532 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24645
/proc/meminfo: memFree=100930644/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=288320 memory=237968 CPUtime=1.48 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 55056 0 0 0 140 8 0 0 20 0 1 0 34820167 295239680 59492 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 72080 59492 736 2416 0 69182 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 237968 KiB
[startup+3.1052 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24645
/proc/meminfo: memFree=100577940/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=597484 memory=464004 CPUtime=3.08 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 92183 0 0 0 292 16 0 0 20 0 1 0 34820167 611823616 116001 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 149371 116001 736 2416 0 146473 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 597484 KiB
Current children cumulated memory: 464004 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 24645
/proc/meminfo: memFree=100067856/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=1115556 memory=908456 CPUtime=6.28 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 144028 0 0 0 597 31 0 0 20 0 1 0 34820167 1142329344 227114 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 278889 227114 736 2416 0 275991 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1115556 KiB
Current children cumulated memory: 908456 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 24645
/proc/meminfo: memFree=99522480/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=1730096 memory=1281324 CPUtime=12.66 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 202853 0 0 0 1222 44 0 0 20 0 1 0 34820167 1771618304 320331 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 432524 320331 736 2416 0 429626 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1730096 KiB
Current children cumulated memory: 1281324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 24645
/proc/meminfo: memFree=98599212/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=2610448 memory=1946284 CPUtime=25.42 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 369113 0 0 0 2465 77 0 0 20 0 1 0 34820167 2673098752 486539 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 652612 486571 736 2416 0 649714 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2610448 KiB
Current children cumulated memory: 1946284 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24645
/proc/meminfo: memFree=96566116/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=4101212 memory=3404624 CPUtime=50.97 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 520154 0 0 0 4971 126 0 0 20 0 1 0 34820167 4199641088 851156 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 1025303 851156 768 2416 0 1022405 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4101212 KiB
Current children cumulated memory: 3404624 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24692
/proc/meminfo: memFree=102950184/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=7520228 memory=6366504 CPUtime=102.02 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 676082 0 0 0 9989 213 0 0 20 0 1 0 34820167 7700713472 1591626 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 1880057 1591626 768 2416 0 1877159 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 7520228 KiB
Current children cumulated memory: 6366504 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 24699
/proc/meminfo: memFree=97421268/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=7272188 memory=6600368 CPUtime=161.86 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 782715 0 0 0 15933 253 0 0 20 0 1 0 34820167 7446720512 1650092 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 1818047 1650092 768 2416 0 1815149 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 7272188 KiB
Current children cumulated memory: 6600368 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 24745
/proc/meminfo: memFree=103315528/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=8451620 memory=7392468 CPUtime=221.7 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 873052 0 0 0 21887 283 0 0 20 0 1 0 34820167 8654458880 1848117 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 2112905 1848117 768 2416 0 2110007 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 8451620 KiB
Current children cumulated memory: 7392468 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 24748
/proc/meminfo: memFree=95568548/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=11396324 memory=10620068 CPUtime=281.53 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 937157 0 0 0 27797 356 0 0 20 0 1 0 34820167 11669835776 2655017 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 2849081 2655017 768 2416 0 2846183 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 11396324 KiB
Current children cumulated memory: 10620068 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/264 24752
/proc/meminfo: memFree=93682156/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=11496816 memory=9812932 CPUtime=341.36 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1002587 0 0 0 33759 377 0 0 20 0 1 0 34820167 11772739584 2453233 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 2874204 2453233 768 2416 0 2871306 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 11496816 KiB
Current children cumulated memory: 9812932 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 24754
/proc/meminfo: memFree=91669828/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=11745632 memory=10337520 CPUtime=401.19 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1064543 0 0 0 39720 399 0 0 20 0 1 0 34820167 12027527168 2584380 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 2936408 2584380 768 2416 0 2933510 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 11745632 KiB
Current children cumulated memory: 10337520 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 24757
/proc/meminfo: memFree=88743848/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=11967108 memory=10812896 CPUtime=461.03 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1121374 0 0 0 45683 420 0 0 20 0 1 0 34820167 12254318592 2703224 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 2991777 2703224 768 2416 0 2988879 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 11967108 KiB
Current children cumulated memory: 10812896 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/263 24803
/proc/meminfo: memFree=97250836/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=12004984 memory=10892624 CPUtime=520.86 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1132231 0 0 0 51661 425 0 0 20 0 1 0 34820167 12293103616 2723156 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 3001246 2723156 1024 2416 0 2998348 0
Current children cumulated CPU time: 520.86 s
Current children cumulated vsize: 12004984 KiB
Current children cumulated memory: 10892624 KiB
[startup+582.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/263 24850
/proc/meminfo: memFree=108120004/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=12008132 memory=10895824 CPUtime=580.7 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1135144 0 0 0 57644 426 0 0 20 0 1 0 34820167 12296327168 2723956 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 3002033 2723956 1024 2416 0 2999135 0
Current children cumulated CPU time: 580.7 s
Current children cumulated vsize: 12008132 KiB
Current children cumulated memory: 10895824 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/262 24852
/proc/meminfo: memFree=107869336/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=12015060 memory=10903632 CPUtime=640.54 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1138818 0 0 0 63626 428 0 0 20 0 1 0 34820167 12303421440 2725908 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 3003765 2725908 1024 2416 0 3000867 0
Current children cumulated CPU time: 640.54 s
Current children cumulated vsize: 12015060 KiB
Current children cumulated memory: 10903632 KiB
[startup+645.852 s]
# the end of solver process 24643 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=639.635 s, system=4.45533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+643.2 s]
/proc/loadavg: 4.10 4.11 4.09 6/262 24852
/proc/meminfo: memFree=107869352/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=12015380 memory=10904016 CPUtime=641.44 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1138898 0 0 0 63716 428 0 0 20 0 1 0 34820167 12303749120 2726004 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 3003845 2726004 1024 2416 0 3000947 0
Current children cumulated CPU time: 641.44 s
Current children cumulated vsize: 12015380 KiB
Current children cumulated memory: 10904016 KiB
[startup+644.8 s]
/proc/loadavg: 4.09 4.10 4.09 6/262 24852
/proc/meminfo: memFree=107869620/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=12015824 memory=10904400 CPUtime=643.04 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1139013 0 0 0 63876 428 0 0 20 0 1 0 34820167 12304203776 2726100 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 3003956 2726100 1024 2416 0 3001058 0
Current children cumulated CPU time: 643.04 s
Current children cumulated vsize: 12015824 KiB
Current children cumulated memory: 10904400 KiB
[startup+645.6 s]
/proc/loadavg: 4.09 4.10 4.09 6/262 24852
/proc/meminfo: memFree=107869368/131250000 swapFree=33010684/33010684
[pid=24643] ppid=24640 vsize=12016520 memory=10905168 CPUtime=643.83 cores=0,2
/proc/24643/stat : 24643 (CASHWMaxSAT-Dis) R 24640 24643 22211 0 -1 4194304 1139198 0 0 0 63955 428 0 0 20 0 1 0 34820167 12304916480 2726292 18446744073709551615 4198400 14093885 140721646053696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41488384 140721646061930 140721646062045 140721646062045 140721646067647 0
/proc/24643/statm: 3004130 2726292 1024 2416 0 3001232 0
Current children cumulated CPU time: 643.83 s
Current children cumulated vsize: 12016520 KiB
Current children cumulated memory: 10905168 KiB
[startup+645.805 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 24852
/proc/meminfo: memFree=108750844/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 645.852
CPU time (s): 644.091
CPU user time (s): 639.635
CPU system time (s): 4.45533
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 12016520
Max. memory (cumulated for all children) (KiB): 10905168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 639.635
system time used= 4.45533
maximum resident set size= 10905168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1139200
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= 7
involuntary context switches= 871
# summary of solver processes directly reported to runsolver:
# pid: 24643
# total CPU time (s): 644.091
# total CPU user time (s): 639.635
# total CPU system time (s): 4.45533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21462 second user time and 2.74029 second system time
The end
Begin job on nodeC014 at 2025-06-29 12:03:56
IDJOB=4512079
IDBENCH=160492
IDSOLVER=3323
FILE ID=nodeC014/4512079-1751191434
RUNJOBID= nodeC014-1751182426-22221
SLURM_JOB_ID= 9587559
Free space on /tmp= 432460 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512079-1751191434/watcher-4512079-1751191434 -o /tmp/evaluation-result-4512079-1751191434/solver-4512079-1751191434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751182426-22221 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4512079-1751191434.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=1173285121
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3549.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3590.730
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.212
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 101107028 kB
MemAvailable: 101645644 kB
Buffers: 3280 kB
Cached: 1348000 kB
SwapCached: 0 kB
Active: 28324608 kB
Inactive: 1138492 kB
Active(anon): 28129928 kB
Inactive(anon): 0 kB
Active(file): 194680 kB
Inactive(file): 1138492 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 145872 kB
Writeback: 0 kB
AnonPages: 28114960 kB
Mapped: 113176 kB
Shmem: 18068 kB
KReclaimable: 89368 kB
Slab: 175284 kB
SReclaimable: 89368 kB
SUnreclaim: 85916 kB
KernelStack: 4288 kB
PageTables: 60312 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 31189948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11466752 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432740 MiB
End job on nodeC014 at 2025-06-29 12:14:42