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: 64096 MiB (59171 MiB free)
memory of node 1: 64473 MiB (61549 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441906-1721293774/watcher-4441906-1721293774 -o /tmp/evaluation-result-4441906-1721293774/solver-4441906-1721293774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721293765-949556 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=355787610 HOME/instance-4441906-1721293774.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=950224, runsolver pid=950219
[startup+0.100435 s]*
/proc/loadavg: 3.73 4.15 4.17 4/241 950231
/proc/meminfo: memFree=123609740/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=33172 memory=12456 CPUtime=0.1 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 1872 0 0 0 10 0 0 0 20 0 1 0 181536227 33968128 3114 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 8293 3114 884 1005 0 7056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 12456 KiB
[startup+0.213064 s]*
/proc/loadavg: 3.73 4.15 4.17 5/240 950252
/proc/meminfo: memFree=123591448/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=62924 memory=42728 CPUtime=0.21 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 8675 0 0 0 20 1 0 0 20 0 1 0 181536227 64434176 10682 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 15731 10682 1044 1005 0 14494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62924 KiB
Current children cumulated memory: 42728 KiB
[startup+0.31305 s]*
/proc/loadavg: 3.73 4.15 4.17 5/240 950259
/proc/meminfo: memFree=123584024/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=62924 memory=42728 CPUtime=0.31 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 8675 0 0 0 29 2 0 0 20 0 1 0 181536227 64434176 10682 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 15731 10682 1044 1005 0 14494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 62924 KiB
Current children cumulated memory: 42728 KiB
[startup+0.700283 s]
/proc/loadavg: 3.73 4.15 4.17 6/244 950263
/proc/meminfo: memFree=123547508/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=62924 memory=42728 CPUtime=0.68 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 8675 0 0 0 66 2 0 0 20 0 1 0 181536227 64434176 10682 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 15731 10682 1044 1005 0 14494 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62924 KiB
Current children cumulated memory: 42728 KiB
[startup+1.50034 s]
/proc/loadavg: 3.75 4.14 4.17 4/242 950263
/proc/meminfo: memFree=123580392/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=62924 memory=46824 CPUtime=1.48 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 8684 0 0 0 145 3 0 0 20 0 1 0 181536227 64434176 11706 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 15731 11706 1044 1005 0 14494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62924 KiB
Current children cumulated memory: 46824 KiB
[startup+3.1126 s]
/proc/loadavg: 3.75 4.14 4.17 4/241 950323
/proc/meminfo: memFree=123563676/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=69028 memory=61280 CPUtime=3.09 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 10227 0 0 0 306 3 0 0 20 0 1 0 181536227 70684672 15320 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 17257 15320 1108 1005 0 16020 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69028 KiB
Current children cumulated memory: 61280 KiB
[startup+6.30033 s]
/proc/loadavg: 3.77 4.14 4.17 5/244 950357
/proc/meminfo: memFree=123508144/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=72996 memory=65144 CPUtime=6.26 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 11222 0 0 0 623 3 0 0 20 0 1 0 181536227 74747904 16286 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 18249 16286 1108 1005 0 17012 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 72996 KiB
Current children cumulated memory: 65144 KiB
[startup+12.7003 s]
/proc/loadavg: 3.95 4.17 4.18 5/244 950679
/proc/meminfo: memFree=123768656/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=78096 memory=72260 CPUtime=12.65 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 12483 0 0 0 1260 5 0 0 20 0 1 0 181536227 79970304 18065 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 19524 18065 1140 1005 0 18287 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 78096 KiB
Current children cumulated memory: 72260 KiB
[startup+25.5003 s]
/proc/loadavg: 3.88 4.15 4.17 5/244 951280
/proc/meminfo: memFree=123716528/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=84564 memory=78788 CPUtime=25.42 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 14120 0 0 0 2535 7 0 0 20 0 1 0 181536227 86593536 19697 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 21141 19697 1140 1005 0 19904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84564 KiB
Current children cumulated memory: 78788 KiB
[startup+51.1127 s]
/proc/loadavg: 3.93 4.14 4.16 5/244 951283
/proc/meminfo: memFree=123616420/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=104456 memory=88252 CPUtime=50.96 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 16223 0 0 0 5084 12 0 0 20 0 1 0 181536227 106962944 22063 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 26114 22063 1140 1005 0 24877 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 104456 KiB
Current children cumulated memory: 88252 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/246 951296
/proc/meminfo: memFree=123531164/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=118284 memory=103636 CPUtime=102 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 19605 0 0 0 10183 17 0 0 20 0 1 0 181536227 121122816 25909 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 29571 25909 1140 1005 0 28334 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 118284 KiB
Current children cumulated memory: 103636 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/245 951351
/proc/meminfo: memFree=124099784/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=123888 memory=111400 CPUtime=161.84 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 21042 0 0 0 16162 22 0 0 20 0 1 0 181536227 126861312 27850 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 30972 27850 1140 1005 0 29735 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 123888 KiB
Current children cumulated memory: 111400 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/245 951362
/proc/meminfo: memFree=124065556/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=131068 memory=119416 CPUtime=221.64 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 22884 0 0 0 22135 29 0 0 20 0 1 0 181536227 134213632 29854 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 32767 29854 1140 1005 0 31530 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 131068 KiB
Current children cumulated memory: 119416 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/244 951372
/proc/meminfo: memFree=124032180/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=137636 memory=126932 CPUtime=281.47 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 24612 0 0 0 28111 36 0 0 20 0 1 0 181536227 140939264 31733 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 34409 31733 1140 1005 0 33172 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 137636 KiB
Current children cumulated memory: 126932 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/243 951383
/proc/meminfo: memFree=124014632/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=141452 memory=130684 CPUtime=341.31 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 25591 0 0 0 34088 43 0 0 20 0 1 0 181536227 144846848 32671 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 35363 32671 1140 1005 0 34126 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 141452 KiB
Current children cumulated memory: 130684 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/241 951532
/proc/meminfo: memFree=123686796/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=146624 memory=135760 CPUtime=401.15 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 26936 0 0 0 40065 50 0 0 20 0 1 0 181536227 150142976 33940 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 36656 33940 1140 1005 0 35419 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 146624 KiB
Current children cumulated memory: 135760 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.15 4.15 6/241 951542
/proc/meminfo: memFree=123638952/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=154160 memory=144456 CPUtime=460.99 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 28655 0 0 0 46044 55 0 0 20 0 1 0 181536227 157859840 36114 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 38540 36114 1140 1005 0 37303 0
################
# More data... #
################
/proc/loadavg: 4.28 4.18 4.17 5/241 951552
/proc/meminfo: memFree=123610472/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=155372 memory=145836 CPUtime=520.82 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 29019 0 0 0 52021 61 0 0 20 0 1 0 181536227 159100928 36459 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 38843 36459 1140 1005 0 37606 0
Current children cumulated CPU time: 520.82 s
Current children cumulated vsize: 155372 KiB
Current children cumulated memory: 145836 KiB
[startup+582.3 s]
/proc/loadavg: 4.20 4.18 4.17 5/241 951655
/proc/meminfo: memFree=123383300/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=161532 memory=151956 CPUtime=580.66 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 30649 0 0 0 57994 72 0 0 20 0 1 0 181536227 165408768 37989 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 40383 37989 1140 1005 0 39146 0
Current children cumulated CPU time: 580.66 s
Current children cumulated vsize: 161532 KiB
Current children cumulated memory: 151956 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/241 951665
/proc/meminfo: memFree=123297580/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=161868 memory=152480 CPUtime=640.5 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 30785 0 0 0 63974 76 0 0 20 0 1 0 181536227 165752832 38120 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 40467 38120 1140 1005 0 39230 0
Current children cumulated CPU time: 640.5 s
Current children cumulated vsize: 161868 KiB
Current children cumulated memory: 152480 KiB
[startup+702.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/244 951682
/proc/meminfo: memFree=123246048/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=165080 memory=155496 CPUtime=700.33 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 31640 0 0 0 69950 83 0 0 20 0 1 0 181536227 169041920 38874 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 41270 38874 1140 1005 0 40033 0
Current children cumulated CPU time: 700.33 s
Current children cumulated vsize: 165080 KiB
Current children cumulated memory: 155496 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/244 951693
/proc/meminfo: memFree=123177980/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=168776 memory=159244 CPUtime=760.17 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 32619 0 0 0 75929 88 0 0 20 0 1 0 181536227 172826624 39811 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 42194 39811 1140 1005 0 40957 0
Current children cumulated CPU time: 760.17 s
Current children cumulated vsize: 168776 KiB
Current children cumulated memory: 159244 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/244 951704
/proc/meminfo: memFree=123007908/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=173188 memory=163784 CPUtime=820.01 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 33779 0 0 0 81908 93 0 0 20 0 1 0 181536227 177344512 40946 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 43297 40946 1140 1005 0 42060 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 173188 KiB
Current children cumulated memory: 163784 KiB
[startup+882.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/244 951714
/proc/meminfo: memFree=122851532/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=175920 memory=166480 CPUtime=879.85 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34514 0 0 0 87885 100 0 0 20 0 1 0 181536227 180142080 41620 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 43980 41620 1140 1005 0 42743 0
Current children cumulated CPU time: 879.85 s
Current children cumulated vsize: 175920 KiB
Current children cumulated memory: 166480 KiB
[startup+927.026 s]
# the end of solver process 950224 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=923.416 s, system=1.04073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.17 4.14 4.15 5/244 951718
/proc/meminfo: memFree=122851268/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176068 memory=166480 CPUtime=893.52 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34551 0 0 0 89251 101 0 0 20 0 1 0 181536227 180293632 41620 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44017 41620 1140 1005 0 42780 0
Current children cumulated CPU time: 893.52 s
Current children cumulated vsize: 176068 KiB
Current children cumulated memory: 166480 KiB
[startup+908.8 s]
/proc/loadavg: 4.23 4.16 4.16 5/244 951719
/proc/meminfo: memFree=122850000/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176068 memory=166480 CPUtime=906.27 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34551 0 0 0 90524 103 0 0 20 0 1 0 181536227 180293632 41620 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44017 41620 1140 1005 0 42780 0
Current children cumulated CPU time: 906.27 s
Current children cumulated vsize: 176068 KiB
Current children cumulated memory: 166480 KiB
[startup+915.2 s]
/proc/loadavg: 4.21 4.15 4.15 5/244 951721
/proc/meminfo: memFree=122836556/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176068 memory=166744 CPUtime=912.65 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34566 0 0 0 91162 103 0 0 20 0 1 0 181536227 180293632 41686 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44017 41686 1140 1005 0 42780 0
Current children cumulated CPU time: 912.65 s
Current children cumulated vsize: 176068 KiB
Current children cumulated memory: 166744 KiB
[startup+921.6 s]
/proc/loadavg: 4.25 4.16 4.16 5/244 951721
/proc/meminfo: memFree=122835836/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176264 memory=166908 CPUtime=919.03 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34648 0 0 0 91800 103 0 0 20 0 1 0 181536227 180494336 41727 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44066 41727 1140 1005 0 42829 0
Current children cumulated CPU time: 919.03 s
Current children cumulated vsize: 176264 KiB
Current children cumulated memory: 166908 KiB
[startup+924.8 s]
/proc/loadavg: 4.25 4.16 4.16 5/244 951721
/proc/meminfo: memFree=122835640/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176468 memory=167064 CPUtime=922.22 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34703 0 0 0 92119 103 0 0 20 0 1 0 181536227 180703232 41766 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44117 41766 1140 1005 0 42880 0
Current children cumulated CPU time: 922.22 s
Current children cumulated vsize: 176468 KiB
Current children cumulated memory: 167064 KiB
[startup+926.4 s]
/proc/loadavg: 4.31 4.18 4.16 5/244 951723
/proc/meminfo: memFree=122835464/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176468 memory=167064 CPUtime=923.82 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34712 0 0 0 92279 103 0 0 20 0 1 0 181536227 180703232 41766 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44117 41766 1140 1005 0 42880 0
Current children cumulated CPU time: 923.82 s
Current children cumulated vsize: 176468 KiB
Current children cumulated memory: 167064 KiB
[startup+926.8 s]
/proc/loadavg: 4.31 4.18 4.16 5/244 951723
/proc/meminfo: memFree=122835464/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176468 memory=167064 CPUtime=924.22 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34712 0 0 0 92319 103 0 0 20 0 1 0 181536227 180703232 41766 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44117 41766 1140 1005 0 42880 0
Current children cumulated CPU time: 924.22 s
Current children cumulated vsize: 176468 KiB
Current children cumulated memory: 167064 KiB
[startup+927 s]*
/proc/loadavg: 4.31 4.18 4.16 5/244 951723
/proc/meminfo: memFree=122835528/131655788 swapFree=131071996/131071996
[pid=950224] ppid=950219 vsize=176468 memory=167064 CPUtime=924.43 cores=5,7
/proc/950224/stat : 950224 (Exact) R 950219 950224 949543 0 -1 4194304 34712 0 0 0 92340 103 0 0 20 0 1 0 181536227 180703232 41766 134679101440 4194304 8309489 140729220326432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 43884544 140729220334526 140729220334695 140729220334695 140729220341711 0
/proc/950224/statm: 44117 41766 1140 1005 0 42880 0
Current children cumulated CPU time: 924.43 s
Current children cumulated vsize: 176468 KiB
Current children cumulated memory: 167064 KiB
Child status: 30
Real time (s): 927.026
CPU time (s): 924.456
CPU user time (s): 923.416
CPU system time (s): 1.04073
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 176468
Max. memory (cumulated for all children) (KiB): 167064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 923.416
system time used= 1.04073
maximum resident set size= 167064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34713
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= 35
involuntary context switches= 755
# summary of solver processes directly reported to runsolver:
# pid: 950224
# total CPU time (s): 924.456
# total CPU user time (s): 923.416
# total CPU system time (s): 1.04073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95121 second user time and 8.46125 second system time
The end
Begin job on nodeC005 at 2024-07-18 11:09:46
IDJOB=4441906
IDBENCH=147756
IDSOLVER=3060
FILE ID=nodeC005/4441906-1721293774
RUNJOBID= nodeC005-1721293765-949556
SLURM_JOB_ID= 7542597
Free space on /tmp= 723736 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.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-4441906-1721293774/watcher-4441906-1721293774 -o /tmp/evaluation-result-4441906-1721293774/solver-4441906-1721293774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721293765-949556 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=355787610 HOME/instance-4441906-1721293774.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=355787610
nodeC005.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 : 0xb00001f
cpu MHz : 3508.985
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3601.854
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.185
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.197
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3572.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3491.782
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.490
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.179
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123619020 kB
MemAvailable: 128912460 kB
Buffers: 470692 kB
Cached: 5598364 kB
SwapCached: 0 kB
Active: 1040116 kB
Inactive: 6306068 kB
Active(anon): 3424 kB
Inactive(anon): 1311412 kB
Active(file): 1036692 kB
Inactive(file): 4994656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56024 kB
Writeback: 0 kB
AnonPages: 1276296 kB
Mapped: 115660 kB
Shmem: 37704 kB
KReclaimable: 204580 kB
Slab: 322664 kB
SReclaimable: 204580 kB
SUnreclaim: 118084 kB
KernelStack: 3936 kB
PageTables: 11816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1601224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 684032 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC005 at 2024-07-18 11:25:13