0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
25.63/25.78 c Converting 11664 PB-constraints to clauses...
28.22/28.38 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
651.64/653.37 c Out of memery in converting constraints: std::bad_alloc
651.64/653.37 s UNKNOWN
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: 63665 MiB (62341 MiB free)
memory of node 1: 64507 MiB (49705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512109-1751198963/watcher-4512109-1751198963 -o /tmp/evaluation-result-4512109-1751198963/solver-4512109-1751198963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4512109-1751198963.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27018, runsolver pid=27015
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 27019
/proc/meminfo: memFree=114719884/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=42384 memory=25892 CPUtime=0.09 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 5637 0 0 0 9 0 0 0 20 0 1 0 35576726 43401216 6473 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 10596 6473 1120 3139 0 6884 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42384 KiB
Current children cumulated memory: 25892 KiB
[startup+0.205443 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 27019
/proc/meminfo: memFree=114704260/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=61800 memory=45252 CPUtime=0.19 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 10223 0 0 0 18 1 0 0 20 0 1 0 35576726 63283200 11313 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 15450 11313 1120 3139 0 11738 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61800 KiB
Current children cumulated memory: 45252 KiB
[startup+0.305338 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 27019
/proc/meminfo: memFree=114696196/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=72840 memory=56724 CPUtime=0.3 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 12578 0 0 0 28 2 0 0 20 0 1 0 35576726 74588160 14181 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 18210 14181 1120 3139 0 14498 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72840 KiB
Current children cumulated memory: 56724 KiB
[startup+0.700164 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 27019
/proc/meminfo: memFree=114664064/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=153288 memory=111888 CPUtime=0.68 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 23313 0 0 0 64 4 0 0 20 0 1 0 35576726 156966912 27972 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 38322 27972 1120 3139 0 34610 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153288 KiB
Current children cumulated memory: 111888 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 27019
/proc/meminfo: memFree=114574788/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=331360 memory=287632 CPUtime=1.49 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 38146 0 0 0 139 10 0 0 20 0 1 0 35576726 339312640 71908 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 82840 71908 1120 3139 0 79128 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 331360 KiB
Current children cumulated memory: 287632 KiB
[startup+3.10524 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 27019
/proc/meminfo: memFree=114196280/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=636356 memory=560724 CPUtime=3.09 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 58461 0 0 0 291 18 0 0 20 0 1 0 35576726 651628544 140181 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 159089 140181 1120 3139 0 155377 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 636356 KiB
Current children cumulated memory: 560724 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 27019
/proc/meminfo: memFree=113621944/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=1239636 memory=1134624 CPUtime=6.28 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 104579 0 0 0 591 37 0 0 20 0 1 0 35576726 1269387264 283656 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 309909 283656 1120 3139 0 306197 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1239636 KiB
Current children cumulated memory: 1134624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.12 4.10 5/263 27019
/proc/meminfo: memFree=113310136/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=1735580 memory=1426540 CPUtime=12.66 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 154484 0 0 0 1217 49 0 0 20 0 1 0 35576726 1777233920 356635 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 433895 356635 1120 3139 0 430183 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1735580 KiB
Current children cumulated memory: 1426540 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 27019
/proc/meminfo: memFree=112552120/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=2641976 memory=2194028 CPUtime=25.43 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 346527 0 0 0 2460 83 0 0 20 0 1 0 35576726 2705383424 548507 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 660494 548507 1120 3139 0 656782 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2641976 KiB
Current children cumulated memory: 2194028 KiB
[startup+51.1053 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 27019
/proc/meminfo: memFree=108595220/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=6696508 memory=6141816 CPUtime=50.98 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1087826 0 0 0 4819 279 0 0 20 0 1 0 35576726 6857224192 1535454 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 1674127 1535454 2688 3139 0 1670415 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 6696508 KiB
Current children cumulated memory: 6141816 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 27023
/proc/meminfo: memFree=106901716/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=8808960 memory=7842160 CPUtime=102.04 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1253316 0 0 0 9864 340 0 0 20 0 1 0 35576726 9020375040 1960540 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 2202240 1960540 2688 3139 0 2198528 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 8808960 KiB
Current children cumulated memory: 7842160 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 27070
/proc/meminfo: memFree=115831296/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=9917292 memory=9437316 CPUtime=161.9 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1363225 0 0 0 15789 401 0 0 20 0 1 0 35576726 10155307008 2359329 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 2479323 2359329 2688 3139 0 2475611 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 9917292 KiB
Current children cumulated memory: 9437316 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 27075
/proc/meminfo: memFree=113176548/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=11088536 memory=10229320 CPUtime=221.76 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1457431 0 0 0 21741 435 0 0 20 0 1 0 35576726 11354660864 2557330 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 2772134 2557330 2688 3139 0 2768422 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 11088536 KiB
Current children cumulated memory: 10229320 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 27077
/proc/meminfo: memFree=108879252/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14065404 memory=13506776 CPUtime=281.61 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1525008 0 0 0 27651 510 0 0 20 0 1 0 35576726 14402973696 3376694 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3516351 3376694 2688 3139 0 3512639 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 14065404 KiB
Current children cumulated memory: 13506776 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/264 27081
/proc/meminfo: memFree=108919868/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14153316 memory=12670548 CPUtime=341.46 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1588717 0 0 0 33611 535 0 0 20 0 1 0 35576726 14492995584 3167637 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3538329 3167637 2688 3139 0 3534617 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 14153316 KiB
Current children cumulated memory: 12670548 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 27085
/proc/meminfo: memFree=106549864/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14401860 memory=13196468 CPUtime=401.31 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1651065 0 0 0 39573 558 0 0 20 0 1 0 35576726 14747504640 3299117 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3600465 3299117 2688 3139 0 3596753 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 14401860 KiB
Current children cumulated memory: 13196468 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 27131
/proc/meminfo: memFree=106181744/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14624816 memory=13673384 CPUtime=461.14 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1710239 0 0 0 45532 582 0 0 20 0 1 0 35576726 14975811584 3418346 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3656204 3418346 2688 3139 0 3652492 0
Current children cumulated CPU time: 461.14 s
Current children cumulated vsize: 14624816 KiB
Current children cumulated memory: 13673384 KiB
[startup+522.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/263 27133
/proc/meminfo: memFree=105478684/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14674100 memory=13778016 CPUtime=520.99 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1725433 0 0 0 51509 590 0 0 20 0 1 0 35576726 15026278400 3444504 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3668525 3444504 2720 3139 0 3664813 0
Current children cumulated CPU time: 520.99 s
Current children cumulated vsize: 14674100 KiB
Current children cumulated memory: 13778016 KiB
[startup+582.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 27180
/proc/meminfo: memFree=115460796/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14676608 memory=13780576 CPUtime=580.83 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1728901 0 0 0 57490 593 0 0 20 0 1 0 35576726 15028846592 3445144 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3669152 3445144 2720 3139 0 3665440 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 14676608 KiB
Current children cumulated memory: 13780576 KiB
[startup+642.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 27182
/proc/meminfo: memFree=115397688/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14682640 memory=13786848 CPUtime=640.68 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1733252 0 0 0 63471 597 0 0 20 0 1 0 35576726 15035023360 3446712 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3670660 3446712 2720 3139 0 3666948 0
Current children cumulated CPU time: 640.68 s
Current children cumulated vsize: 14682640 KiB
Current children cumulated memory: 13786848 KiB
[startup+653.629 s]
# the end of solver process 27018 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=645.758 s, system=6.22591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 27182
/proc/meminfo: memFree=115397688/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14683568 memory=13787744 CPUtime=644.76 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1733538 0 0 0 63879 597 0 0 20 0 1 0 35576726 15035973632 3446936 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3670892 3446936 2720 3139 0 3667180 0
Current children cumulated CPU time: 644.76 s
Current children cumulated vsize: 14683568 KiB
Current children cumulated memory: 13787744 KiB
[startup+649.6 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 27182
/proc/meminfo: memFree=115395428/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14684348 memory=13788512 CPUtime=647.95 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1733702 0 0 0 64198 597 0 0 20 0 1 0 35576726 15036772352 3447128 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3671087 3447128 2720 3139 0 3667375 0
Current children cumulated CPU time: 647.95 s
Current children cumulated vsize: 14684348 KiB
Current children cumulated memory: 13788512 KiB
[startup+651.2 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 27182
/proc/meminfo: memFree=115395428/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14684612 memory=13788768 CPUtime=649.55 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1733795 0 0 0 64358 597 0 0 20 0 1 0 35576726 15037042688 3447192 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3671153 3447192 2720 3139 0 3667441 0
Current children cumulated CPU time: 649.55 s
Current children cumulated vsize: 14684612 KiB
Current children cumulated memory: 13788768 KiB
[startup+652.8 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 27182
/proc/meminfo: memFree=115395428/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14685780 memory=13789920 CPUtime=651.14 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1734113 0 0 0 64517 597 0 0 20 0 1 0 35576726 15038238720 3447480 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3671445 3447480 2720 3139 0 3667733 0
Current children cumulated CPU time: 651.14 s
Current children cumulated vsize: 14685780 KiB
Current children cumulated memory: 13789920 KiB
[startup+653.2 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 27182
/proc/meminfo: memFree=115395428/131250000 swapFree=33010684/33010684
[pid=27018] ppid=27015 vsize=14685780 memory=13789920 CPUtime=651.54 cores=4,6
/proc/27018/stat : 27018 (uwrmaxsat-scip) R 27015 27018 25867 0 -1 4194304 1734113 0 0 0 64557 597 0 0 20 0 1 0 35576726 15038238720 3447480 18446744073709551615 4198400 17051741 140727435990528 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56348672 140727435999546 140727435999716 140727435999716 140727436005318 0
/proc/27018/statm: 3671445 3447480 2720 3139 0 3667733 0
Current children cumulated CPU time: 651.54 s
Current children cumulated vsize: 14685780 KiB
Current children cumulated memory: 13789920 KiB
[startup+653.6 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 27182
/proc/meminfo: memFree=116177804/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): 653.629
CPU time (s): 651.984
CPU user time (s): 645.758
CPU system time (s): 6.22591
CPU usage (%): 99.7483
Max. virtual memory (cumulated for all children) (KiB): 14685780
Max. memory (cumulated for all children) (KiB): 13789920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 645.758
system time used= 6.22591
maximum resident set size= 13789920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1734116
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= 2
involuntary context switches= 893
# summary of solver processes directly reported to runsolver:
# pid: 27018
# total CPU time (s): 651.984
# total CPU user time (s): 645.758
# total CPU system time (s): 6.22591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69101 second user time and 2.24931 second system time
The end
Begin job on nodeC013 at 2025-06-29 14:09:25
IDJOB=4512109
IDBENCH=160492
IDSOLVER=3373
FILE ID=nodeC013/4512109-1751198963
RUNJOBID= nodeC013-1751194426-25878
SLURM_JOB_ID= 9587597
Free space on /tmp= 432756 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512109-1751198963/watcher-4512109-1751198963 -o /tmp/evaluation-result-4512109-1751198963/solver-4512109-1751198963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4512109-1751198963.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=1090986495
nodeC013 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 : 3599.800
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 : 6999.67
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 : 3599.812
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 : 6999.67
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.092
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 : 6999.67
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 : 3600.255
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 : 6999.67
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 : 3599.836
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 : 6999.67
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 : 3599.817
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 : 6999.67
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 : 3599.030
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 : 6999.67
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 : 3581.945
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 114736012 kB
MemAvailable: 114910980 kB
Buffers: 3280 kB
Cached: 978640 kB
SwapCached: 0 kB
Active: 15095344 kB
Inactive: 769816 kB
Active(anon): 14896524 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 769816 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 149932 kB
Writeback: 4 kB
AnonPages: 14886276 kB
Mapped: 135804 kB
Shmem: 13284 kB
KReclaimable: 90744 kB
Slab: 176780 kB
SReclaimable: 90744 kB
SUnreclaim: 86036 kB
KernelStack: 4256 kB
PageTables: 32380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 15842736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7079936 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432860 MiB
End job on nodeC013 at 2025-06-29 14:20:19