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...
31.98/32.11 c Converting 14000 PB-constraints to clauses...
33.98/34.14 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
553.95/555.79 c Out of memery in converting constraints: std::bad_alloc
553.95/555.79 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 (57320 MiB free)
memory of node 1: 64507 MiB (47468 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498860-1751390755/watcher-4498860-1751390755 -o /tmp/evaluation-result-4498860-1751390755/solver-4498860-1751390755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751381293-49911 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4498860-1751390755.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=52793, runsolver pid=52790
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 52794
/proc/meminfo: memFree=107269216/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=62160 memory=45668 CPUtime=0.09 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 9901 0 0 0 8 1 0 0 20 0 1 0 54755151 63651840 11417 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 15540 11417 1120 3139 0 11828 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62160 KiB
Current children cumulated memory: 45668 KiB
[startup+0.2059 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 52794
/proc/meminfo: memFree=107236956/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=104728 memory=87576 CPUtime=0.2 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 14225 0 0 0 17 3 0 0 20 0 1 0 54755151 107241472 21894 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 26182 21894 1120 3139 0 22470 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104728 KiB
Current children cumulated memory: 87576 KiB
[startup+0.305653 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 52794
/proc/meminfo: memFree=107175856/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=169876 memory=149676 CPUtime=0.3 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 17518 0 0 0 25 5 0 0 20 0 1 0 54755151 173953024 37419 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 42469 37419 1120 3139 0 38757 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 169876 KiB
Current children cumulated memory: 149676 KiB
[startup+0.700188 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 52794
/proc/meminfo: memFree=107061932/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=338320 memory=315264 CPUtime=0.68 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 28250 0 0 0 58 10 0 0 20 0 1 0 54755151 346439680 78816 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 84580 78816 1120 3139 0 80868 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 338320 KiB
Current children cumulated memory: 315264 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 52794
/proc/meminfo: memFree=106804904/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=674164 memory=641656 CPUtime=1.49 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 43432 0 0 0 129 20 0 0 20 0 1 0 54755151 690343936 160414 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 168541 160414 1120 3139 0 164829 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 674164 KiB
Current children cumulated memory: 641656 KiB
[startup+3.10542 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 52794
/proc/meminfo: memFree=106104732/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=1280012 memory=1203596 CPUtime=3.08 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 97708 0 0 0 269 39 0 0 20 0 1 0 54755151 1310732288 300899 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 320003 300899 1120 3139 0 316291 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1280012 KiB
Current children cumulated memory: 1203596 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 52794
/proc/meminfo: memFree=106064664/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=1380636 memory=1240460 CPUtime=6.27 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 107037 0 0 0 586 41 0 0 20 0 1 0 54755151 1413771264 310115 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 345159 310115 1120 3139 0 341447 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1380636 KiB
Current children cumulated memory: 1240460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 52794
/proc/meminfo: memFree=105897496/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=1685548 memory=1468684 CPUtime=12.64 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 164181 0 0 0 1211 53 0 0 20 0 1 0 54755151 1726001152 367171 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 421387 367171 1120 3139 0 417675 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1685548 KiB
Current children cumulated memory: 1468684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.12 4.10 5/263 52794
/proc/meminfo: memFree=105002336/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=2587228 memory=2332684 CPUtime=25.4 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 380306 0 0 0 2449 91 0 0 20 0 1 0 54755151 2649321472 583171 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 646807 583171 1120 3139 0 643095 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2587228 KiB
Current children cumulated memory: 2332684 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 52795
/proc/meminfo: memFree=100777892/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=6906408 memory=6361132 CPUtime=50.93 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1181307 0 0 0 4790 303 0 0 20 0 1 0 54755151 7072161792 1590283 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 1726602 1590283 2688 3139 0 1722890 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 6906408 KiB
Current children cumulated memory: 6361132 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 4/261 52811
/proc/meminfo: memFree=102421248/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=8650532 memory=8112656 CPUtime=101.95 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1347362 0 0 0 9819 376 0 0 20 0 1 0 54755151 8858144768 2028164 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 2162633 2028164 2688 3139 0 2158921 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 8650532 KiB
Current children cumulated memory: 8112656 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 52844
/proc/meminfo: memFree=96070456/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=10243540 memory=9632752 CPUtime=161.74 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1445966 0 0 0 15730 444 0 0 20 0 1 0 54755151 10489384960 2408188 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 2560885 2408188 2688 3139 0 2557173 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 10243540 KiB
Current children cumulated memory: 9632752 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 52846
/proc/meminfo: memFree=93709564/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=11372752 memory=10363368 CPUtime=221.53 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1527905 0 0 0 21675 478 0 0 20 0 1 0 54755151 11645698048 2590842 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 2843188 2590842 2688 3139 0 2839476 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 11372752 KiB
Current children cumulated memory: 10363368 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 52851
/proc/meminfo: memFree=92413908/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=11633496 memory=10952984 CPUtime=281.33 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1595194 0 0 0 27619 514 0 0 20 0 1 0 54755151 11912699904 2738246 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 2908374 2738246 2688 3139 0 2904662 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 11633496 KiB
Current children cumulated memory: 10952984 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 52853
/proc/meminfo: memFree=89999456/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=13138392 memory=12659848 CPUtime=341.14 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1633372 0 0 0 33527 587 0 0 20 0 1 0 54755151 13453713408 3164962 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3284598 3164962 2688 3139 0 3280886 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 13138392 KiB
Current children cumulated memory: 12659848 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 52855
/proc/meminfo: memFree=89029168/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14526672 memory=13121052 CPUtime=400.97 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1684729 0 0 0 39488 609 0 0 20 0 1 0 54755151 14875312128 3280263 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3631668 3280263 2688 3139 0 3627956 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 14526672 KiB
Current children cumulated memory: 13121052 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 52857
/proc/meminfo: memFree=86889300/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14698560 memory=13536732 CPUtime=460.81 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1730789 0 0 0 45454 627 0 0 20 0 1 0 54755151 15051325440 3384183 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3674640 3384183 2688 3139 0 3670928 0
Current children cumulated CPU time: 460.81 s
Current children cumulated vsize: 14698560 KiB
Current children cumulated memory: 13536732 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 52864
/proc/meminfo: memFree=85975472/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14853836 memory=13913312 CPUtime=520.64 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1773150 0 0 0 51418 646 0 0 20 0 1 0 54755151 15210328064 3478328 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3713459 3478328 2688 3139 0 3709747 0
Current children cumulated CPU time: 520.64 s
Current children cumulated vsize: 14853836 KiB
Current children cumulated memory: 13913312 KiB
[startup+556.057 s]
# the end of solver process 52793 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=547.548 s, system=6.76078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 52865
/proc/meminfo: memFree=85770044/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14879960 memory=13976260 CPUtime=535.89 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1780604 0 0 0 52940 649 0 0 20 0 1 0 54755151 15237079040 3494065 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3719990 3494065 2720 3139 0 3716278 0
Current children cumulated CPU time: 535.89 s
Current children cumulated vsize: 14879960 KiB
Current children cumulated memory: 13976260 KiB
[startup+544 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 52865
/proc/meminfo: memFree=85700172/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14879960 memory=13976260 CPUtime=542.29 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1780662 0 0 0 53579 650 0 0 20 0 1 0 54755151 15237079040 3494065 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3719990 3494065 2720 3139 0 3716278 0
Current children cumulated CPU time: 542.29 s
Current children cumulated vsize: 14879960 KiB
Current children cumulated memory: 13976260 KiB
[startup+550.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 52865
/proc/meminfo: memFree=85654248/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14879960 memory=13976260 CPUtime=548.66 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1781057 0 0 0 54216 650 0 0 20 0 1 0 54755151 15237079040 3494065 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3719990 3494065 2720 3139 0 3716278 0
Current children cumulated CPU time: 548.66 s
Current children cumulated vsize: 14879960 KiB
Current children cumulated memory: 13976260 KiB
[startup+553.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 52865
/proc/meminfo: memFree=85629928/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14879960 memory=13976260 CPUtime=551.85 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1781441 0 0 0 54535 650 0 0 20 0 1 0 54755151 15237079040 3494065 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3719990 3494065 2720 3139 0 3716278 0
Current children cumulated CPU time: 551.85 s
Current children cumulated vsize: 14879960 KiB
Current children cumulated memory: 13976260 KiB
[startup+555.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 52865
/proc/meminfo: memFree=85613672/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14879960 memory=13976260 CPUtime=553.45 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1781569 0 0 0 54695 650 0 0 20 0 1 0 54755151 15237079040 3494065 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3719990 3494065 2720 3139 0 3716278 0
Current children cumulated CPU time: 553.45 s
Current children cumulated vsize: 14879960 KiB
Current children cumulated memory: 13976260 KiB
[startup+555.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 52865
/proc/meminfo: memFree=85613672/131249996 swapFree=33010416/33010684
[pid=52793] ppid=52790 vsize=14879960 memory=13976260 CPUtime=553.85 cores=1,3
/proc/52793/stat : 52793 (uwrmaxsat-scip) R 52790 52793 49899 0 -1 4194304 1781697 0 0 0 54735 650 0 0 20 0 1 0 54755151 15237079040 3494065 18446744073709551615 4198400 17051741 140727912653552 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33726464 140727912655162 140727912655332 140727912655332 140727912660934 0
/proc/52793/statm: 3719990 3494065 2720 3139 0 3716278 0
Current children cumulated CPU time: 553.85 s
Current children cumulated vsize: 14879960 KiB
Current children cumulated memory: 13976260 KiB
[startup+556 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 52865
/proc/meminfo: memFree=92403952/131249996 swapFree=33010416/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): 556.057
CPU time (s): 554.309
CPU user time (s): 547.548
CPU system time (s): 6.76078
CPU usage (%): 99.6857
Max. virtual memory (cumulated for all children) (KiB): 14879960
Max. memory (cumulated for all children) (KiB): 13976260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.548
system time used= 6.76078
maximum resident set size= 13976260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1781697
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= 19
involuntary context switches= 736
# summary of solver processes directly reported to runsolver:
# pid: 52793
# total CPU time (s): 554.309
# total CPU user time (s): 547.548
# total CPU system time (s): 6.76078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07086 second user time and 2.49505 second system time
The end
Begin job on nodeC030 at 2025-07-01 19:25:56
IDJOB=4498860
IDBENCH=148738
IDSOLVER=3373
FILE ID=nodeC030/4498860-1751390755
RUNJOBID= nodeC030-1751381293-49911
SLURM_JOB_ID= 9598222
Free space on /tmp= 432820 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__256.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-4498860-1751390755/watcher-4498860-1751390755 -o /tmp/evaluation-result-4498860-1751390755/solver-4498860-1751390755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751381293-49911 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4498860-1751390755.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8bad1bf25970951ec859260299ab11f4
RANDOM SEED=1658770217
nodeC030 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.326
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.62
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.296
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.62
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 : 3626.434
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.62
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 : 3644.571
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.62
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.122
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.62
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.252
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.62
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 : 3700.000
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.62
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 : 3600.492
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.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 107304124 kB
MemAvailable: 107302640 kB
Buffers: 2564 kB
Cached: 791864 kB
SwapCached: 16 kB
Active: 22886680 kB
Inactive: 359392 kB
Active(anon): 22465144 kB
Inactive(anon): 4548 kB
Active(file): 421536 kB
Inactive(file): 354844 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 142128 kB
Writeback: 4 kB
AnonPages: 22452432 kB
Mapped: 140704 kB
Shmem: 18048 kB
KReclaimable: 122348 kB
Slab: 211188 kB
SReclaimable: 122348 kB
SUnreclaim: 88840 kB
KernelStack: 4256 kB
PageTables: 47124 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 24053680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9791488 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432752 MiB
End job on nodeC030 at 2025-07-01 19:35:12