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...
14.15/14.22 c Converting 7000 PB-constraints to clauses...
578.34/579.84 c Out of memery in clausifying constraints: std::bad_alloc
578.34/579.84 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: 63708 MiB (59449 MiB free)
memory of node 1: 64465 MiB (50362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498905-1751402099/watcher-4498905-1751402099 -o /tmp/evaluation-result-4498905-1751402099/solver-4498905-1751402099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751398701-58041 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4498905-1751402099.opb -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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58768, runsolver pid=58765
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.14 4.09 5/264 58769
/proc/meminfo: memFree=112409544/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=44728 memory=43256 CPUtime=0.1 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 10943 0 0 0 8 2 0 0 20 0 1 0 55889417 45801472 10814 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 11182 10814 448 484 0 10593 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44728 KiB
Current children cumulated memory: 43256 KiB
[startup+0.205649 s]*
/proc/loadavg: 4.13 4.14 4.09 5/264 58769
/proc/meminfo: memFree=112373316/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=87560 memory=85000 CPUtime=0.2 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 17809 0 0 0 17 3 0 0 20 0 1 0 55889417 89661440 21250 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 21890 21250 448 484 0 21301 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87560 KiB
Current children cumulated memory: 85000 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.13 4.14 4.09 5/264 58769
/proc/meminfo: memFree=112300352/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=152048 memory=146772 CPUtime=0.29 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 23542 0 0 0 25 4 0 0 20 0 1 0 55889417 155697152 36693 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 38012 36693 448 484 0 37423 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152048 KiB
Current children cumulated memory: 146772 KiB
[startup+0.700179 s]
/proc/loadavg: 4.13 4.14 4.09 6/264 58769
/proc/meminfo: memFree=112194492/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=320488 memory=315336 CPUtime=0.69 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 33002 0 0 0 60 9 0 0 20 0 1 0 55889417 328179712 78834 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 80122 78834 448 484 0 79533 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 320488 KiB
Current children cumulated memory: 315336 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 58769
/proc/meminfo: memFree=111933120/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=636428 memory=613812 CPUtime=1.49 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 63681 0 0 0 131 18 0 0 20 0 1 0 55889417 651702272 153453 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 159107 153453 448 484 0 158518 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 636428 KiB
Current children cumulated memory: 613812 KiB
[startup+3.1055 s]
/proc/loadavg: 4.20 4.16 4.10 5/264 58769
/proc/meminfo: memFree=111793604/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=697536 memory=629208 CPUtime=3.09 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 67074 0 0 0 290 19 0 0 20 0 1 0 55889417 714276864 157302 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 174384 157302 448 484 0 173795 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 697536 KiB
Current children cumulated memory: 629208 KiB
[startup+6.30017 s]
/proc/loadavg: 4.20 4.16 4.10 5/264 58769
/proc/meminfo: memFree=111641328/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=902720 memory=806828 CPUtime=6.27 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 111057 0 0 0 600 27 0 0 20 0 1 0 55889417 924385280 201707 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 225680 201707 448 484 0 225091 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 902720 KiB
Current children cumulated memory: 806828 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.10 5/264 58769
/proc/meminfo: memFree=111205700/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=1426028 memory=1258668 CPUtime=12.66 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 224062 0 0 0 1221 45 0 0 20 0 1 0 55889417 1460252672 314667 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 356507 314667 448 484 0 355918 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1426028 KiB
Current children cumulated memory: 1258668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.09 5/264 58769
/proc/meminfo: memFree=109914352/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=2640004 memory=2411604 CPUtime=25.43 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 341871 0 0 0 2460 83 0 0 20 0 1 0 55889417 2703364096 602901 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 660001 602901 480 484 0 659412 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2640004 KiB
Current children cumulated memory: 2411604 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 58770
/proc/meminfo: memFree=108839284/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=4111728 memory=3585052 CPUtime=50.97 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 438780 0 0 0 4970 127 0 0 20 0 1 0 55889417 4210409472 896263 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 1027932 896263 480 484 0 1027343 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4111728 KiB
Current children cumulated memory: 3585052 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/264 58776
/proc/meminfo: memFree=107278328/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=5708636 memory=5147704 CPUtime=102.04 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 537091 0 0 0 10017 187 0 0 20 0 1 0 55889417 5845643264 1286926 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 1427159 1286926 480 484 0 1426570 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 5708636 KiB
Current children cumulated memory: 5147704 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 58780
/proc/meminfo: memFree=106530552/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=6830800 memory=5921816 CPUtime=161.89 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 616762 0 0 0 15968 221 0 0 20 0 1 0 55889417 6994739200 1480454 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 1707700 1480454 480 484 0 1707111 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 6830800 KiB
Current children cumulated memory: 5921816 KiB
[startup+222.3 s]
/proc/loadavg: 4.51 4.22 4.13 5/266 58872
/proc/meminfo: memFree=105886068/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=7077396 memory=6522836 CPUtime=221.74 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 679381 0 0 0 21924 250 0 0 20 0 1 0 55889417 7247253504 1630709 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 1769349 1630709 480 484 0 1768760 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 7077396 KiB
Current children cumulated memory: 6522836 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/266 58874
/proc/meminfo: memFree=104386840/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=7294108 memory=7028784 CPUtime=281.59 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 730608 0 0 0 27884 275 0 0 20 0 1 0 55889417 7469166592 1757196 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 1823527 1757196 480 484 0 1822938 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 7294108 KiB
Current children cumulated memory: 7028784 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/266 58876
/proc/meminfo: memFree=103703032/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=9984820 memory=8722508 CPUtime=341.43 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 769708 0 0 0 33796 347 0 0 20 0 1 0 55889417 10224455680 2180627 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 2496205 2180627 480 484 0 2495616 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 9984820 KiB
Current children cumulated memory: 8722508 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/265 58878
/proc/meminfo: memFree=103187280/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=10226744 memory=9240916 CPUtime=401.29 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 833030 0 0 0 39759 370 0 0 20 0 1 0 55889417 10472185856 2310229 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 2556686 2310229 480 484 0 2556097 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 10226744 KiB
Current children cumulated memory: 9240916 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 58880
/proc/meminfo: memFree=102717904/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=10444412 memory=9706264 CPUtime=461.14 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 890736 0 0 0 45721 393 0 0 20 0 1 0 55889417 10695077888 2426566 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 2611103 2426566 480 484 0 2610514 0
Current children cumulated CPU time: 461.14 s
Current children cumulated vsize: 10444412 KiB
Current children cumulated memory: 9706264 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 58884
/proc/meminfo: memFree=102594832/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=10508668 memory=9842236 CPUtime=520.98 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 909054 0 0 0 51698 400 0 0 20 0 1 0 55889417 10760876032 2460559 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 2627167 2460559 480 484 0 2626578 0
Current children cumulated CPU time: 520.98 s
Current children cumulated vsize: 10508668 KiB
Current children cumulated memory: 9842236 KiB
[startup+580.34 s]
# the end of solver process 58768 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=567.491 s, system=11.4005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 58885
/proc/meminfo: memFree=101331220/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=12050860 memory=11199032 CPUtime=536.24 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 964697 0 0 0 53195 429 0 0 20 0 1 0 55889417 12340080640 2799758 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 3012715 2799758 480 484 0 3012126 0
Current children cumulated CPU time: 536.24 s
Current children cumulated vsize: 12050860 KiB
Current children cumulated memory: 11199032 KiB
[startup+563.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 58885
/proc/meminfo: memFree=90560572/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=23236872 memory=21911888 CPUtime=561.78 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 2198255 0 0 0 55363 815 0 0 20 0 1 0 55889417 23794556928 5477972 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 5809218 5477972 480 484 0 5808629 0
Current children cumulated CPU time: 561.78 s
Current children cumulated vsize: 23236872 KiB
Current children cumulated memory: 21911888 KiB
[startup+569.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 58885
/proc/meminfo: memFree=88422588/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=25645828 memory=23837376 CPUtime=568.16 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 2543041 0 0 0 55926 890 0 0 20 0 1 0 55889417 26261327872 5959344 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 6411457 5959344 480 484 0 6410868 0
Current children cumulated CPU time: 568.16 s
Current children cumulated vsize: 25645828 KiB
Current children cumulated memory: 23837376 KiB
[startup+576 s]*
/proc/loadavg: 4.10 4.12 4.09 5/265 58885
/proc/meminfo: memFree=86570696/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=27073276 memory=25832092 CPUtime=574.56 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 2895648 0 0 0 56500 956 0 0 20 0 1 0 55889417 27723034624 6458023 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 6768319 6458023 480 484 0 6767730 0
Current children cumulated CPU time: 574.56 s
Current children cumulated vsize: 27073276 KiB
Current children cumulated memory: 25832092 KiB
[startup+577.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 58886
/proc/meminfo: memFree=86254392/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=28185452 memory=26324180 CPUtime=576.15 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 2981466 0 0 0 56643 972 0 0 20 0 1 0 55889417 28861902848 6581045 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 7046363 6581045 480 484 0 7045774 0
Current children cumulated CPU time: 576.15 s
Current children cumulated vsize: 28185452 KiB
Current children cumulated memory: 26324180 KiB
[startup+579.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 58886
/proc/meminfo: memFree=82850024/131250000 swapFree=33009904/33010684
[pid=58768] ppid=58765 vsize=30862336 memory=28544208 CPUtime=577.74 cores=4,6
/proc/58768/stat : 58768 (uwrmaxsat) R 58765 58768 58030 0 -1 4194304 2999165 0 0 0 56728 1046 0 0 20 0 1 0 55889417 31603032064 7136052 18446744073709551615 4198400 6176925 140734456590688 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38395904 140734456592746 140734456592873 140734456592873 140734456598475 0
/proc/58768/statm: 7715584 7136052 480 484 0 7714995 0
Current children cumulated CPU time: 577.74 s
Current children cumulated vsize: 30862336 KiB
Current children cumulated memory: 28544208 KiB
[startup+580.005 s]*
/proc/loadavg: 4.10 4.12 4.09 5/265 58886
/proc/meminfo: memFree=86605620/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+580.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 58886
/proc/meminfo: memFree=86605620/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+580.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 58886
/proc/meminfo: memFree=86605620/131250000 swapFree=33009904/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): 580.34
CPU time (s): 578.891
CPU user time (s): 567.491
CPU system time (s): 11.4005
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 31517696
Max. memory (cumulated for all children) (KiB): 29547728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 567.491
system time used= 11.4005
maximum resident set size= 29678800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3002767
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= 778
# summary of solver processes directly reported to runsolver:
# pid: 58768
# total CPU time (s): 578.891
# total CPU user time (s): 567.491
# total CPU system time (s): 11.4005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17318 second user time and 2.5854 second system time
The end
Begin job on nodeC033 at 2025-07-01 22:35:00
IDJOB=4498905
IDBENCH=148753
IDSOLVER=3372
FILE ID=nodeC033/4498905-1751402099
RUNJOBID= nodeC033-1751398701-58041
SLURM_JOB_ID= 9598283
Free space on /tmp= 432364 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__256.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498905-1751402099/watcher-4498905-1751402099 -o /tmp/evaluation-result-4498905-1751402099/solver-4498905-1751402099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751398701-58041 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4498905-1751402099.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc12bbc0c0c11924170106d57f91cade
RANDOM SEED=1401314258
nodeC033 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.113
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.13
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.100
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.13
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 : 3601.772
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.13
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 : 3700.000
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.13
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 : 3618.279
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.13
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.067
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.13
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 : 3600.286
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.13
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.309
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 112447344 kB
MemAvailable: 112332192 kB
Buffers: 2128 kB
Cached: 682392 kB
SwapCached: 68 kB
Active: 17619520 kB
Inactive: 443116 kB
Active(anon): 17371656 kB
Inactive(anon): 24488 kB
Active(file): 247864 kB
Inactive(file): 418628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63284 kB
Writeback: 0 kB
AnonPages: 17380628 kB
Mapped: 110820 kB
Shmem: 18028 kB
KReclaimable: 115188 kB
Slab: 203960 kB
SReclaimable: 115188 kB
SUnreclaim: 88772 kB
KernelStack: 4272 kB
PageTables: 37100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 18896620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11347968 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432376 MiB
End job on nodeC033 at 2025-07-01 22:44:41