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.03/25.11 c Converting 11162 PB-constraints to clauses...
27.52/27.65 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
662.79/664.58 c Out of memery in converting constraints: std::bad_alloc
662.79/664.58 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 (62223 MiB free)
memory of node 1: 64507 MiB (63115 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512001-1751198431/watcher-4512001-1751198431 -o /tmp/evaluation-result-4512001-1751198431/solver-4512001-1751198431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25880 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4512001-1751198431.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26935, runsolver pid=26932
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 26936
/proc/meminfo: memFree=128323276/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=41864 memory=25656 CPUtime=0.09 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 5574 0 0 0 8 1 0 0 20 0 1 0 35523506 42868736 6414 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 10466 6414 1120 3139 0 6754 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 25656 KiB
[startup+0.205788 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 26936
/proc/meminfo: memFree=128303556/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=61984 memory=44584 CPUtime=0.19 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 10060 0 0 0 18 1 0 0 20 0 1 0 35523506 63471616 11146 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 15496 11146 1120 3139 0 11784 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61984 KiB
Current children cumulated memory: 44584 KiB
[startup+0.305556 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 26936
/proc/meminfo: memFree=128283332/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=72048 memory=52264 CPUtime=0.3 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 11976 0 0 0 28 2 0 0 20 0 1 0 35523506 73777152 13066 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 18012 13066 1120 3139 0 14300 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72048 KiB
Current children cumulated memory: 52264 KiB
[startup+0.700185 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 26936
/proc/meminfo: memFree=128157500/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=128092 memory=106612 CPUtime=0.68 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 21498 0 0 0 65 3 0 0 20 0 1 0 35523506 131166208 26653 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 32023 26653 1120 3139 0 28311 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128092 KiB
Current children cumulated memory: 106612 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 26936
/proc/meminfo: memFree=128019732/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=332332 memory=284232 CPUtime=1.49 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 37800 0 0 0 140 9 0 0 20 0 1 0 35523506 340307968 71058 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 83083 71058 1120 3139 0 79371 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 332332 KiB
Current children cumulated memory: 284232 KiB
[startup+3.10547 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 26936
/proc/meminfo: memFree=127268524/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=637956 memory=589628 CPUtime=3.08 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 61089 0 0 0 290 18 0 0 20 0 1 0 35523506 653266944 147407 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 159489 147407 1120 3139 0 155777 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 637956 KiB
Current children cumulated memory: 589628 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 26936
/proc/meminfo: memFree=126162848/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=1230072 memory=1144160 CPUtime=6.27 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 104912 0 0 0 592 35 0 0 20 0 1 0 35523506 1259593728 286040 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 307518 286040 1120 3139 0 303806 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1230072 KiB
Current children cumulated memory: 1144160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 26936
/proc/meminfo: memFree=125441180/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=1654128 memory=1567052 CPUtime=12.66 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 203106 0 0 0 1215 51 0 0 20 0 1 0 35523506 1693827072 391763 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 413532 391763 1120 3139 0 409820 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1654128 KiB
Current children cumulated memory: 1567052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 26936
/proc/meminfo: memFree=122072608/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=2765124 memory=2577784 CPUtime=25.43 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 436005 0 0 0 2447 96 0 0 20 0 1 0 35523506 2831486976 644446 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 691281 644446 1120 3139 0 687569 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2765124 KiB
Current children cumulated memory: 2577784 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 26948
/proc/meminfo: memFree=115809060/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=6427868 memory=6166912 CPUtime=50.96 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1102861 0 0 0 4817 279 0 0 20 0 1 0 35523506 6582136832 1541728 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 1606967 1541728 2688 3139 0 1603255 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 6427868 KiB
Current children cumulated memory: 6166912 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 26950
/proc/meminfo: memFree=112628868/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=8512892 memory=7813060 CPUtime=102.03 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1261925 0 0 0 9862 341 0 0 20 0 1 0 35523506 8717201408 1953265 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 2128223 1953265 2688 3139 0 2124511 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 8512892 KiB
Current children cumulated memory: 7813060 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 26957
/proc/meminfo: memFree=109936240/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=9614608 memory=9395784 CPUtime=161.88 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1370549 0 0 0 15782 406 0 0 20 0 1 0 35523506 9845358592 2348946 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 2403652 2348946 2688 3139 0 2399940 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 9614608 KiB
Current children cumulated memory: 9395784 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 26959
/proc/meminfo: memFree=108289448/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=10782740 memory=10182620 CPUtime=221.72 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1464040 0 0 0 21731 441 0 0 20 0 1 0 35523506 11041525760 2545655 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 2695685 2545655 2688 3139 0 2691973 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 10782740 KiB
Current children cumulated memory: 10182620 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 26963
/proc/meminfo: memFree=103106232/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=13755796 memory=13452080 CPUtime=281.57 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1531253 0 0 0 27637 520 0 0 20 0 1 0 35523506 14085935104 3363020 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3438949 3363020 2688 3139 0 3435237 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 13755796 KiB
Current children cumulated memory: 13452080 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 26967
/proc/meminfo: memFree=103270788/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=13839940 memory=12607336 CPUtime=341.42 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1593829 0 0 0 33595 547 0 0 20 0 1 0 35523506 14172098560 3151834 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3459985 3151834 2688 3139 0 3456273 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 13839940 KiB
Current children cumulated memory: 12607336 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 26969
/proc/meminfo: memFree=102158184/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14090420 memory=13134260 CPUtime=401.26 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1657335 0 0 0 39553 573 0 0 20 0 1 0 35523506 14428590080 3283565 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3522605 3283565 2688 3139 0 3518893 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 14090420 KiB
Current children cumulated memory: 13134260 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 26971
/proc/meminfo: memFree=101534780/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14313076 memory=13613280 CPUtime=461.1 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1716749 0 0 0 45515 595 0 0 20 0 1 0 35523506 14656589824 3403320 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3578269 3403320 2688 3139 0 3574557 0
Current children cumulated CPU time: 461.1 s
Current children cumulated vsize: 14313076 KiB
Current children cumulated memory: 13613280 KiB
[startup+522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 26973
/proc/meminfo: memFree=101401944/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14370432 memory=13736136 CPUtime=520.95 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1735825 0 0 0 51492 603 0 0 20 0 1 0 35523506 14715322368 3434034 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3592608 3434034 2688 3139 0 3588896 0
Current children cumulated CPU time: 520.95 s
Current children cumulated vsize: 14370432 KiB
Current children cumulated memory: 13736136 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 27019
/proc/meminfo: memFree=108611348/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14372472 memory=13740328 CPUtime=580.8 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1739980 0 0 0 57474 606 0 0 20 0 1 0 35523506 14717411328 3435082 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3593118 3435082 2688 3139 0 3589406 0
Current children cumulated CPU time: 580.8 s
Current children cumulated vsize: 14372472 KiB
Current children cumulated memory: 13740328 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 27023
/proc/meminfo: memFree=105477200/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14377128 memory=13744808 CPUtime=640.65 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1744579 0 0 0 63456 609 0 0 20 0 1 0 35523506 14722179072 3436202 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3594282 3436202 2688 3139 0 3590570 0
Current children cumulated CPU time: 640.65 s
Current children cumulated vsize: 14377128 KiB
Current children cumulated memory: 13744808 KiB
[startup+664.831 s]
# the end of solver process 26935 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=656.77 s, system=6.36607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 27025
/proc/meminfo: memFree=106005548/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14378476 memory=13746216 CPUtime=651.12 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1745403 0 0 0 64503 609 0 0 20 0 1 0 35523506 14723559424 3436554 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3594619 3436554 2688 3139 0 3590907 0
Current children cumulated CPU time: 651.12 s
Current children cumulated vsize: 14378476 KiB
Current children cumulated memory: 13746216 KiB
[startup+659.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 27025
/proc/meminfo: memFree=105871156/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14379496 memory=13747368 CPUtime=657.51 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1745741 0 0 0 65140 611 0 0 20 0 1 0 35523506 14724603904 3436842 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3594874 3436842 2688 3139 0 3591162 0
Current children cumulated CPU time: 657.51 s
Current children cumulated vsize: 14379496 KiB
Current children cumulated memory: 13747368 KiB
[startup+662.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 27025
/proc/meminfo: memFree=105822388/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14380116 memory=13747880 CPUtime=660.7 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1746131 0 0 0 65459 611 0 0 20 0 1 0 35523506 14725238784 3436970 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3595029 3436970 2688 3139 0 3591317 0
Current children cumulated CPU time: 660.7 s
Current children cumulated vsize: 14380116 KiB
Current children cumulated memory: 13747880 KiB
[startup+664 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 27025
/proc/meminfo: memFree=105785780/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14381096 memory=13748776 CPUtime=662.3 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1746506 0 0 0 65619 611 0 0 20 0 1 0 35523506 14726242304 3437194 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3595274 3437194 2688 3139 0 3591562 0
Current children cumulated CPU time: 662.3 s
Current children cumulated vsize: 14381096 KiB
Current children cumulated memory: 13748776 KiB
[startup+664.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 27025
/proc/meminfo: memFree=105785780/131250000 swapFree=33010684/33010684
[pid=26935] ppid=26932 vsize=14381096 memory=13748776 CPUtime=662.69 cores=5,7
/proc/26935/stat : 26935 (uwrmaxsat-scip) R 26932 26935 25867 0 -1 4194304 1746506 0 0 0 65658 611 0 0 20 0 1 0 35523506 14726242304 3437194 18446744073709551615 4198400 17051741 140725079877712 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40591360 140725079882042 140725079882212 140725079882212 140725079887814 0
/proc/26935/statm: 3595274 3437194 2688 3139 0 3591562 0
Current children cumulated CPU time: 662.69 s
Current children cumulated vsize: 14381096 KiB
Current children cumulated memory: 13748776 KiB
[startup+664.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 27025
/proc/meminfo: memFree=106624516/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): 664.831
CPU time (s): 663.136
CPU user time (s): 656.77
CPU system time (s): 6.36607
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 14381096
Max. memory (cumulated for all children) (KiB): 13748776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 656.77
system time used= 6.36606
maximum resident set size= 13748776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1746635
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= 20
involuntary context switches= 814
# summary of solver processes directly reported to runsolver:
# pid: 26935
# total CPU time (s): 663.136
# total CPU user time (s): 656.77
# total CPU system time (s): 6.36607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39475 second user time and 2.93166 second system time
The end
Begin job on nodeC013 at 2025-06-29 14:00:32
IDJOB=4512001
IDBENCH=160489
IDSOLVER=3373
FILE ID=nodeC013/4512001-1751198431
RUNJOBID= nodeC013-1751194426-25880
SLURM_JOB_ID= 9587597
Free space on /tmp= 432776 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm95p-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-4512001-1751198431/watcher-4512001-1751198431 -o /tmp/evaluation-result-4512001-1751198431/solver-4512001-1751198431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25880 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4512001-1751198431.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b485ff0024704468ace87f8a9b2f8459
RANDOM SEED=1025116700
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.978
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.803
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 : 3686.128
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 : 3596.551
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.465
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 : 3670.641
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.804
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 : 3599.618
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: 128347168 kB
MemAvailable: 128493520 kB
Buffers: 3280 kB
Cached: 950028 kB
SwapCached: 0 kB
Active: 1532508 kB
Inactive: 741200 kB
Active(anon): 1333688 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 741200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 270432 kB
Writeback: 0 kB
AnonPages: 1323504 kB
Mapped: 129460 kB
Shmem: 13284 kB
KReclaimable: 90740 kB
Slab: 176728 kB
SReclaimable: 90740 kB
SUnreclaim: 85988 kB
KernelStack: 4256 kB
PageTables: 5432 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1668272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1153024 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= 432740 MiB
End job on nodeC013 at 2025-06-29 14:11:38