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: 63931 MiB (59642 MiB free)
memory of node 1: 64510 MiB (53137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458144-1721865481/watcher-4458144-1721865481 -o /tmp/evaluation-result-4458144-1721865481/solver-4458144-1721865481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218441 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1056533996 HOME/instance-4458144-1721865481.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=219594, runsolver pid=219591
[startup+0.100344 s]*
/proc/loadavg: 4.09 3.02 1.45 5/257 219595
/proc/meminfo: memFree=115469080/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=42812 memory=20636 CPUtime=0.1 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 4978 0 0 0 10 0 0 0 20 0 1 0 23071728 43839488 5159 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 10703 5159 1060 1005 0 9466 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42812 KiB
Current children cumulated memory: 20636 KiB
[startup+0.205519 s]*
/proc/loadavg: 4.09 3.02 1.45 5/257 219595
/proc/meminfo: memFree=115467748/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=43252 memory=21664 CPUtime=0.2 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 5201 0 0 0 20 0 0 0 20 0 1 0 23071728 44290048 5416 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 10813 5416 1124 1005 0 9576 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43252 KiB
Current children cumulated memory: 21664 KiB
[startup+0.305432 s]*
/proc/loadavg: 4.09 3.02 1.45 5/257 219595
/proc/meminfo: memFree=115467412/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=43252 memory=21928 CPUtime=0.3 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 5287 0 0 0 30 0 0 0 20 0 1 0 23071728 44290048 5482 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 10813 5482 1124 1005 0 9576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43252 KiB
Current children cumulated memory: 21928 KiB
[startup+0.7002 s]
/proc/loadavg: 4.09 3.02 1.45 5/257 219595
/proc/meminfo: memFree=115463852/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=43784 memory=24500 CPUtime=0.69 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 5416 0 0 0 69 0 0 0 20 0 1 0 23071728 44834816 6125 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 10946 6125 1124 1005 0 9709 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 24500 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 3.02 1.45 5/257 219595
/proc/meminfo: memFree=115463824/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=43784 memory=26812 CPUtime=1.48 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 5443 0 0 0 148 0 0 0 20 0 1 0 23071728 44834816 6703 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 10946 6703 1124 1005 0 9709 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 26812 KiB
[startup+3.10526 s]
/proc/loadavg: 4.09 3.02 1.45 5/257 219764
/proc/meminfo: memFree=115457320/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=45084 memory=29900 CPUtime=3.09 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 5746 0 0 0 308 1 0 0 20 0 1 0 23071728 46166016 7475 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 11271 7475 1124 1005 0 10034 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45084 KiB
Current children cumulated memory: 29900 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 3.04 1.47 5/257 219764
/proc/meminfo: memFree=115451096/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=47224 memory=36116 CPUtime=6.27 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 6216 0 0 0 626 1 0 0 20 0 1 0 23071728 48357376 9029 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 11806 9029 1140 1005 0 10569 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47224 KiB
Current children cumulated memory: 36116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 3.06 1.48 5/257 219764
/proc/meminfo: memFree=115443940/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=49164 memory=42240 CPUtime=12.65 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 6788 0 0 0 1263 2 0 0 20 0 1 0 23071728 50343936 10560 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 12291 10560 1140 1005 0 11054 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 42240 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 3.12 1.53 5/257 219767
/proc/meminfo: memFree=115425736/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=66688 memory=51348 CPUtime=25.42 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 8775 0 0 0 2535 7 0 0 20 0 1 0 23071728 68288512 12837 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 16672 12837 1140 1005 0 15435 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 66688 KiB
Current children cumulated memory: 51348 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 3.19 1.59 5/257 219770
/proc/meminfo: memFree=115394180/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=74020 memory=65008 CPUtime=50.95 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 10627 0 0 0 5082 13 0 0 20 0 1 0 23071728 75796480 16252 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 18505 16252 1198 1005 0 17268 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74020 KiB
Current children cumulated memory: 65008 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.33 1.73 5/257 219779
/proc/meminfo: memFree=115380204/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=78796 memory=73708 CPUtime=102.01 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 11802 0 0 0 10176 25 0 0 20 0 1 0 23071728 80687104 18427 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 19699 18427 1198 1005 0 18462 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 78796 KiB
Current children cumulated memory: 73708 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 3.52 1.89 5/257 219793
/proc/meminfo: memFree=115364208/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=109944 memory=84328 CPUtime=161.85 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 14327 0 0 0 16138 47 0 0 20 0 1 0 23071728 112582656 21082 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 27486 21082 1198 1005 0 26249 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 109944 KiB
Current children cumulated memory: 84328 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.61 2.03 5/257 219816
/proc/meminfo: memFree=115351220/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=117692 memory=91828 CPUtime=221.7 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 16212 0 0 0 22103 67 0 0 20 0 1 0 23071728 120516608 22957 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 29423 22957 1198 1005 0 28186 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 117692 KiB
Current children cumulated memory: 91828 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.71 2.17 5/257 219828
/proc/meminfo: memFree=115309336/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=118684 memory=92752 CPUtime=281.55 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 16492 0 0 0 28067 88 0 0 20 0 1 0 23071728 121532416 23188 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 29671 23188 1198 1005 0 28434 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 118684 KiB
Current children cumulated memory: 92752 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.80 2.29 5/255 219839
/proc/meminfo: memFree=115301016/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=123492 memory=99688 CPUtime=341.4 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 17756 0 0 0 34037 103 0 0 20 0 1 0 23071728 126455808 24922 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 30873 24922 1198 1005 0 29636 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 123492 KiB
Current children cumulated memory: 99688 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.85 2.41 5/255 219895
/proc/meminfo: memFree=115446228/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=128616 memory=110968 CPUtime=401.23 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 19081 0 0 0 39994 129 0 0 20 0 1 0 23071728 131702784 27742 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 32154 27742 1198 1005 0 30917 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 128616 KiB
Current children cumulated memory: 110968 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.90 2.52 5/254 219905
/proc/meminfo: memFree=115420392/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=131060 memory=117512 CPUtime=461.04 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 19700 0 0 0 45964 140 0 0 20 0 1 0 23071728 134205440 29378 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 32765 29378 1198 1005 0 31528 0
################
# More data... #
################
Current children cumulated memory: 173800 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.14 4.03 5/254 220957
/proc/meminfo: memFree=115146012/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=216040 memory=173800 CPUtime=2854.69 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 33669 0 0 0 284543 926 0 0 20 0 1 0 23071728 221224960 43450 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54010 43450 1198 1005 0 52773 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 173800 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/254 220967
/proc/meminfo: memFree=115143784/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=216040 memory=173800 CPUtime=2914.54 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 33730 0 0 0 290498 956 0 0 20 0 1 0 23071728 221224960 43450 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54010 43450 1198 1005 0 52773 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 173800 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/256 220982
/proc/meminfo: memFree=115140112/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=216040 memory=173800 CPUtime=2974.39 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 33776 0 0 0 296461 978 0 0 20 0 1 0 23071728 221224960 43450 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54010 43450 1198 1005 0 52773 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 173800 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.14 4.04 5/256 220992
/proc/meminfo: memFree=115129220/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=216040 memory=173800 CPUtime=3034.23 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 33812 0 0 0 302380 1043 0 0 20 0 1 0 23071728 221224960 43450 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54010 43450 1198 1005 0 52773 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 173800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/256 221002
/proc/meminfo: memFree=115126520/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=216040 memory=173800 CPUtime=3094.05 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 33917 0 0 0 308345 1060 0 0 20 0 1 0 23071728 221224960 43450 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54010 43450 1198 1005 0 52773 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 173800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/258 221017
/proc/meminfo: memFree=115123508/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=218376 memory=176136 CPUtime=3153.88 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 34475 0 0 0 314328 1060 0 0 20 0 1 0 23071728 223617024 44034 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54594 44034 1198 1005 0 53357 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 218376 KiB
Current children cumulated memory: 176136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.06 5/259 221028
/proc/meminfo: memFree=115119224/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=218376 memory=176136 CPUtime=3213.73 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 34546 0 0 0 320313 1060 0 0 20 0 1 0 23071728 223617024 44034 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54594 44034 1198 1005 0 53357 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 218376 KiB
Current children cumulated memory: 176136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/257 221039
/proc/meminfo: memFree=115116104/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=219160 memory=176512 CPUtime=3273.59 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 34774 0 0 0 326295 1064 0 0 20 0 1 0 23071728 224419840 44128 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 54790 44128 1198 1005 0 53553 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 219160 KiB
Current children cumulated memory: 176512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/257 221142
/proc/meminfo: memFree=115272916/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=223580 memory=181448 CPUtime=3333.44 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 36019 0 0 0 332264 1080 0 0 20 0 1 0 23071728 228945920 45362 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 55895 45362 1198 1005 0 54658 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 223580 KiB
Current children cumulated memory: 181448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 221153
/proc/meminfo: memFree=115234060/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=224108 memory=181692 CPUtime=3393.29 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 36193 0 0 0 338238 1091 0 0 20 0 1 0 23071728 229486592 45423 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 56027 45423 1198 1005 0 54790 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 224108 KiB
Current children cumulated memory: 181692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/256 221549
/proc/meminfo: memFree=115315136/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=226344 memory=184120 CPUtime=3453.15 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 36843 0 0 0 344209 1106 0 0 20 0 1 0 23071728 231776256 46030 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 56586 46030 1198 1005 0 55349 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 226344 KiB
Current children cumulated memory: 184120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.40 4.20 4.09 5/255 221604
/proc/meminfo: memFree=115411832/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=226344 memory=196408 CPUtime=3513 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 36942 0 0 0 350187 1113 0 0 20 0 1 0 23071728 231776256 49102 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 56586 49102 1198 1005 0 55349 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 226344 KiB
Current children cumulated memory: 196408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/255 221615
/proc/meminfo: memFree=115395964/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=226904 memory=196724 CPUtime=3572.85 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 37145 0 0 0 356151 1134 0 0 20 0 1 0 23071728 232349696 49181 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 56726 49181 1198 1005 0 55489 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 226904 KiB
Current children cumulated memory: 196724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.20 4.17 4.09 5/257 221791
/proc/meminfo: memFree=115391160/131524600 swapFree=131056796/131071996
[pid=219594] ppid=219591 vsize=226904 memory=196724 CPUtime=3600.09 cores=5,7
/proc/219594/stat : 219594 (Exact) R 219591 219594 218428 0 -1 4194304 37149 0 0 0 358870 1139 0 0 20 0 1 0 23071728 232349696 49181 134679101440 4194304 8309489 140737472130800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36737024 140737472132030 140737472132200 140737472132200 140737472139215 0
/proc/219594/statm: 56726 49181 1198 1005 0 55489 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 226904 KiB
Current children cumulated memory: 196724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 219594 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3588.71 s, system=11.3953 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.61
CPU time (s): 3600.1
CPU user time (s): 3588.71
CPU system time (s): 11.3953
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 226904
Max. memory (cumulated for all children) (KiB): 196724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.71
system time used= 11.3953
maximum resident set size= 216812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37150
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= 41
involuntary context switches= 3066
# summary of solver processes directly reported to runsolver:
# pid: 219594
# total CPU time (s): 3600.1
# total CPU user time (s): 3588.71
# total CPU system time (s): 11.3953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17159 second user time and 13.5922 second system time
The end
Begin job on nodeC032 at 2024-07-25 01:58:01
IDJOB=4458144
IDBENCH=177166
IDSOLVER=3060
FILE ID=nodeC032/4458144-1721865481
RUNJOBID= nodeC032-1721865115-218441
SLURM_JOB_ID= 8089190
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458144-1721865481/watcher-4458144-1721865481 -o /tmp/evaluation-result-4458144-1721865481/solver-4458144-1721865481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218441 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1056533996 HOME/instance-4458144-1721865481.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f787a6cdbf9022e9105f9cdbff614d2d
RANDOM SEED=1056533996
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3663.708
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
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 : 3670.513
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3600.049
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
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 : 3599.807
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3663.791
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
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 : 3660.474
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.683
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
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 : 3660.494
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115485896 kB
MemAvailable: 129348576 kB
Buffers: 269624 kB
Cached: 14380928 kB
SwapCached: 140 kB
Active: 2575492 kB
Inactive: 12782308 kB
Active(anon): 2208 kB
Inactive(anon): 757764 kB
Active(file): 2573284 kB
Inactive(file): 12024544 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 5860 kB
Writeback: 0 kB
AnonPages: 705824 kB
Mapped: 129216 kB
Shmem: 53052 kB
KReclaimable: 208996 kB
Slab: 327760 kB
SReclaimable: 208996 kB
SUnreclaim: 118764 kB
KernelStack: 4140 kB
PageTables: 10980 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1223344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 499712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC032 at 2024-07-25 02:58:11