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...
142.97/143.30 c Converting 7000 PB-constraints to clauses...
731.95/733.78 c Out of memery in converting constraints: std::bad_alloc
731.95/733.78 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 (62375 MiB free)
memory of node 1: 64465 MiB (61895 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498583-1751399166/watcher-4498583-1751399166 -o /tmp/evaluation-result-4498583-1751399166/solver-4498583-1751399166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751398701-58041 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4498583-1751399166.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
Starting watchdog thread
solver pid=58303, runsolver pid=58300
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.06 3.47 2.44 5/264 58304
/proc/meminfo: memFree=127206648/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=44860 memory=43592 CPUtime=0.09 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 10499 0 0 0 8 1 0 0 20 0 1 0 55596369 45936640 10898 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 11215 10898 448 484 0 10626 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44860 KiB
Current children cumulated memory: 43592 KiB
[startup+0.205604 s]*
/proc/loadavg: 4.06 3.47 2.44 5/264 58304
/proc/meminfo: memFree=127166624/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=87824 memory=85700 CPUtime=0.2 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 17963 0 0 0 17 3 0 0 20 0 1 0 55596369 89931776 21425 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 21956 21425 448 484 0 21367 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 85700 KiB
[startup+0.305561 s]*
/proc/loadavg: 4.06 3.47 2.44 5/264 58304
/proc/meminfo: memFree=127089564/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=152048 memory=146816 CPUtime=0.29 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 23044 0 0 0 25 4 0 0 20 0 1 0 55596369 155697152 36704 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 38012 36704 448 484 0 37423 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152048 KiB
Current children cumulated memory: 146816 KiB
[startup+0.700185 s]
/proc/loadavg: 4.06 3.47 2.44 5/264 58304
/proc/meminfo: memFree=126979736/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=320488 memory=310828 CPUtime=0.69 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 33912 0 0 0 59 10 0 0 20 0 1 0 55596369 328179712 77707 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 80122 77707 448 484 0 79533 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 320488 KiB
Current children cumulated memory: 310828 KiB
[startup+1.50018 s]
/proc/loadavg: 4.06 3.47 2.44 6/264 58304
/proc/meminfo: memFree=126714008/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=656332 memory=640240 CPUtime=1.49 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 45751 0 0 0 131 18 0 0 20 0 1 0 55596369 672083968 160060 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 164083 160060 448 484 0 163494 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 656332 KiB
Current children cumulated memory: 640240 KiB
[startup+3.10543 s]
/proc/loadavg: 4.13 3.50 2.46 6/264 58304
/proc/meminfo: memFree=125984644/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=1312392 memory=1275608 CPUtime=3.09 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 87054 0 0 0 271 38 0 0 20 0 1 0 55596369 1343889408 318902 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 328098 318902 448 484 0 327509 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1312392 KiB
Current children cumulated memory: 1275608 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 3.50 2.46 6/264 58304
/proc/meminfo: memFree=124763236/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=2584508 memory=2549344 CPUtime=6.28 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 186053 0 0 0 544 84 0 0 20 0 1 0 55596369 2646536192 637336 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 646127 637336 448 484 0 645538 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2584508 KiB
Current children cumulated memory: 2549344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 3.52 2.47 6/264 58304
/proc/meminfo: memFree=122385292/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=5000296 memory=4739088 CPUtime=12.66 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 447708 0 0 0 1096 170 0 0 20 0 1 0 55596369 5120303104 1184772 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 1250074 1184772 448 484 0 1249485 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 5000296 KiB
Current children cumulated memory: 4739088 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 3.55 2.50 6/264 58305
/proc/meminfo: memFree=122047816/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=5434444 memory=5060952 CPUtime=25.43 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 528766 0 0 0 2360 183 0 0 20 0 1 0 55596369 5564870656 1265238 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 1358611 1265238 448 484 0 1358022 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 5434444 KiB
Current children cumulated memory: 5060952 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 3.60 2.54 6/264 58305
/proc/meminfo: memFree=121231492/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=6479516 memory=5871392 CPUtime=50.98 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 731024 0 0 0 4881 217 0 0 20 0 1 0 55596369 6635024384 1467848 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 1619879 1467848 448 484 0 1619290 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 6479516 KiB
Current children cumulated memory: 5871392 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.68 2.63 6/264 58307
/proc/meminfo: memFree=118206824/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=9750588 memory=8891040 CPUtime=102.06 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 1486652 0 0 0 9870 336 0 0 20 0 1 0 55596369 9984602112 2222760 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 2437647 2222760 448 484 0 2437058 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 9750588 KiB
Current children cumulated memory: 8891040 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.74 2.72 6/265 58310
/proc/meminfo: memFree=114477280/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=14273952 memory=12455088 CPUtime=161.93 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2287218 0 0 0 15710 483 0 0 20 0 1 0 55596369 14616526848 3113772 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 3568488 3113772 480 484 0 3567899 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 14273952 KiB
Current children cumulated memory: 12455088 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.82 2.81 6/264 58312
/proc/meminfo: memFree=113332192/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=16014000 memory=13893804 CPUtime=221.79 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2401926 0 0 0 21641 538 0 0 20 0 1 0 55596369 16398336000 3473451 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 4003500 3473451 480 484 0 4002911 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 16014000 KiB
Current children cumulated memory: 13893804 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.87 2.89 6/264 58314
/proc/meminfo: memFree=111883396/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=17633924 memory=15358556 CPUtime=281.65 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2508511 0 0 0 27567 598 0 0 20 0 1 0 55596369 18057138176 3839639 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 4408481 3839639 480 484 0 4407892 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 17633924 KiB
Current children cumulated memory: 15358556 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.91 2.97 6/264 58316
/proc/meminfo: memFree=111038896/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=18047772 memory=16202168 CPUtime=341.5 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2614292 0 0 0 33518 632 0 0 20 0 1 0 55596369 18480918528 4050542 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 4511943 4050542 480 484 0 4511354 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 18047772 KiB
Current children cumulated memory: 16202168 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.95 3.04 6/264 58318
/proc/meminfo: memFree=110306420/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=19191920 memory=16910716 CPUtime=401.36 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2703258 0 0 0 39474 662 0 0 20 0 1 0 55596369 19652526080 4227679 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 4797980 4227679 480 484 0 4797391 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 19191920 KiB
Current children cumulated memory: 16910716 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.97 3.11 6/264 58320
/proc/meminfo: memFree=108477308/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=20764612 memory=18716976 CPUtime=461.22 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2765550 0 0 0 45385 737 0 0 20 0 1 0 55596369 21262962688 4679244 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5191153 4679244 480 484 0 5190564 0
Current children cumulated CPU time: 461.22 s
Current children cumulated vsize: 20764612 KiB
Current children cumulated memory: 18716976 KiB
[startup+522.3 s]
/proc/loadavg: 4.07 4.00 3.17 6/263 58325
/proc/meminfo: memFree=107901724/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22247944 memory=19301020 CPUtime=521.07 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2841226 0 0 0 51344 763 0 0 20 0 1 0 55596369 22781894656 4825255 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5561986 4825255 480 484 0 5561397 0
Current children cumulated CPU time: 521.07 s
Current children cumulated vsize: 22247944 KiB
Current children cumulated memory: 19301020 KiB
[startup+582.3 s]
/proc/loadavg: 4.06 4.01 3.23 6/265 58333
/proc/meminfo: memFree=107401964/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22506268 memory=19830424 CPUtime=580.93 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2911416 0 0 0 57307 786 0 0 20 0 1 0 55596369 23046418432 4957606 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5626567 4957606 480 484 0 5625978 0
Current children cumulated CPU time: 580.93 s
Current children cumulated vsize: 22506268 KiB
Current children cumulated memory: 19830424 KiB
[startup+642.3 s]
/proc/loadavg: 4.06 4.02 3.29 5/265 58379
/proc/meminfo: memFree=105524004/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22750580 memory=20324296 CPUtime=640.76 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 2975169 0 0 0 63269 807 0 0 20 0 1 0 55596369 23296593920 5081074 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5687645 5081074 480 484 0 5687056 0
Current children cumulated CPU time: 640.76 s
Current children cumulated vsize: 22750580 KiB
Current children cumulated memory: 20324296 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.04 3.35 5/265 58381
/proc/meminfo: memFree=98201488/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22917208 memory=20667168 CPUtime=700.62 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 3022850 0 0 0 69238 824 0 0 20 0 1 0 55596369 23467220992 5166792 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5729302 5166792 480 484 0 5728713 0
Current children cumulated CPU time: 700.62 s
Current children cumulated vsize: 22917208 KiB
Current children cumulated memory: 20667168 KiB
[startup+734.214 s]
# the end of solver process 58303 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=723.79 s, system=8.6754 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.10 4.04 3.36 5/265 58382
/proc/meminfo: memFree=92847112/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22917208 memory=20667168 CPUtime=715.09 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 3024431 0 0 0 70684 825 0 0 20 0 1 0 55596369 23467220992 5166792 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5729302 5166792 480 484 0 5728713 0
Current children cumulated CPU time: 715.09 s
Current children cumulated vsize: 22917208 KiB
Current children cumulated memory: 20667168 KiB
[startup+723.2 s]
/proc/loadavg: 4.08 4.04 3.37 5/265 58382
/proc/meminfo: memFree=93407336/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22917208 memory=20667168 CPUtime=721.47 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 3024600 0 0 0 71322 825 0 0 20 0 1 0 55596369 23467220992 5166792 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5729302 5166792 480 484 0 5728713 0
Current children cumulated CPU time: 721.47 s
Current children cumulated vsize: 22917208 KiB
Current children cumulated memory: 20667168 KiB
[startup+729.6 s]
/proc/loadavg: 4.08 4.04 3.37 5/265 58382
/proc/meminfo: memFree=93294976/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22917208 memory=20667168 CPUtime=727.86 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 3025758 0 0 0 71961 825 0 0 20 0 1 0 55596369 23467220992 5166792 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5729302 5166792 480 484 0 5728713 0
Current children cumulated CPU time: 727.86 s
Current children cumulated vsize: 22917208 KiB
Current children cumulated memory: 20667168 KiB
[startup+732.8 s]
/proc/loadavg: 4.08 4.04 3.37 5/265 58382
/proc/meminfo: memFree=93312892/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22917820 memory=20667808 CPUtime=731.05 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 3025976 0 0 0 72280 825 0 0 20 0 1 0 55596369 23467847680 5166952 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5729455 5166952 480 484 0 5728866 0
Current children cumulated CPU time: 731.05 s
Current children cumulated vsize: 22917820 KiB
Current children cumulated memory: 20667808 KiB
[startup+733.6 s]
/proc/loadavg: 4.07 4.04 3.37 5/265 58382
/proc/meminfo: memFree=93331440/131250000 swapFree=33009904/33010684
[pid=58303] ppid=58300 vsize=22917820 memory=20667808 CPUtime=731.85 cores=4,6
/proc/58303/stat : 58303 (uwrmaxsat) R 58300 58303 58030 0 -1 4194304 3025984 0 0 0 72360 825 0 0 20 0 1 0 55596369 23467847680 5166952 18446744073709551615 4198400 6176925 140727482631552 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19173376 140727482636650 140727482636777 140727482636777 140727482642379 0
/proc/58303/statm: 5729455 5166952 480 484 0 5728866 0
Current children cumulated CPU time: 731.85 s
Current children cumulated vsize: 22917820 KiB
Current children cumulated memory: 20667808 KiB
[startup+734 s]*
/proc/loadavg: 4.07 4.04 3.37 5/265 58382
/proc/meminfo: memFree=100188156/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+734.2 s]
/proc/loadavg: 4.07 4.04 3.37 5/265 58382
/proc/meminfo: memFree=100188156/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): 734.214
CPU time (s): 732.466
CPU user time (s): 723.79
CPU system time (s): 8.6754
CPU usage (%): 99.7619
Max. virtual memory (cumulated for all children) (KiB): 22917820
Max. memory (cumulated for all children) (KiB): 20667808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 723.79
system time used= 8.6754
maximum resident set size= 20667808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3025986
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= 17
involuntary context switches= 952
# summary of solver processes directly reported to runsolver:
# pid: 58303
# total CPU time (s): 732.466
# total CPU user time (s): 723.79
# total CPU system time (s): 8.6754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30142 second user time and 3.3823 second system time
The end
Begin job on nodeC033 at 2025-07-01 21:46:10
IDJOB=4498583
IDBENCH=148705
IDSOLVER=3372
FILE ID=nodeC033/4498583-1751399166
RUNJOBID= nodeC033-1751398701-58041
SLURM_JOB_ID= 9598283
Free space on /tmp= 431952 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__2048.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498583-1751399166/watcher-4498583-1751399166 -o /tmp/evaluation-result-4498583-1751399166/solver-4498583-1751399166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751398701-58041 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4498583-1751399166.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 760396d2ac3ca07c4585eda9e150afe7
RANDOM SEED=1895972250
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.079
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 : 3599.982
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 : 3590.477
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 : 3597.916
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 : 3600.065
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 : 3601.212
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 : 3616.768
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 : 3656.884
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: 127254700 kB
MemAvailable: 127559200 kB
Buffers: 2128 kB
Cached: 1102096 kB
SwapCached: 68 kB
Active: 2473112 kB
Inactive: 862820 kB
Active(anon): 2225248 kB
Inactive(anon): 24488 kB
Active(file): 247864 kB
Inactive(file): 838332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 510216 kB
Writeback: 324 kB
AnonPages: 2234420 kB
Mapped: 110656 kB
Shmem: 18028 kB
KReclaimable: 115084 kB
Slab: 203920 kB
SReclaimable: 115084 kB
SUnreclaim: 88836 kB
KernelStack: 4272 kB
PageTables: 7356 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2718476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1378304 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= 431920 MiB
End job on nodeC033 at 2025-07-01 21:58:24