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 (48854 MiB free)
memory of node 1: 64473 MiB (59659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436868-1722975329/watcher-4436868-1722975329 -o /tmp/evaluation-result-4436868-1722975329/solver-4436868-1722975329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722971683-348677 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436868-1722975329.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=352390, runsolver pid=352387
[startup+0.100888 s]*
/proc/loadavg: 4.95 4.59 4.29 5/244 352394
/proc/meminfo: memFree=111076088/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=27560 memory=8864 CPUtime=0.1 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 1588 0 0 0 10 0 0 0 20 0 1 0 64129947 28221440 2216 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 6890 2216 750 2417 0 3992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46152 KiB
Current children cumulated memory: 12684 KiB
[startup+0.212937 s]*
/proc/loadavg: 4.95 4.59 4.29 5/252 352407
/proc/meminfo: memFree=111050252/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=36384 memory=17576 CPUtime=0.2 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 3766 0 0 0 20 0 0 0 20 0 1 0 64129947 37257216 4394 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 9096 4394 750 2417 0 6198 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54976 KiB
Current children cumulated memory: 21396 KiB
[startup+0.313214 s]*
/proc/loadavg: 4.95 4.59 4.29 5/252 352407
/proc/meminfo: memFree=111032276/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=44200 memory=25496 CPUtime=0.3 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 5725 0 0 0 29 1 0 0 20 0 1 0 64129947 45260800 6374 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 11050 6374 750 2417 0 8152 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62792 KiB
Current children cumulated memory: 29316 KiB
[startup+0.700475 s]
/proc/loadavg: 4.95 4.59 4.29 5/252 352407
/proc/meminfo: memFree=110991100/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=77504 memory=58384 CPUtime=0.68 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 13971 0 0 0 66 2 0 0 20 0 1 0 64129947 79364096 14596 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 19427 14596 750 2417 0 16529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 62204 KiB
[startup+1.50048 s]
/proc/loadavg: 4.95 4.59 4.29 5/252 352407
/proc/meminfo: memFree=110881068/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=156476 memory=136560 CPUtime=1.47 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 33497 0 0 0 142 5 0 0 20 0 1 0 64129947 160231424 34140 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 39119 34140 750 2417 0 36221 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 175068 KiB
Current children cumulated memory: 140380 KiB
[startup+3.11302 s]
/proc/loadavg: 4.95 4.59 4.29 5/249 352444
/proc/meminfo: memFree=124631660/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=319840 memory=298108 CPUtime=3.08 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 73861 0 0 0 295 13 0 0 20 0 1 0 64129947 327516160 74527 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 79960 74527 750 2417 0 77062 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 338432 KiB
Current children cumulated memory: 301928 KiB
[startup+6.30046 s]
/proc/loadavg: 4.95 4.59 4.29 5/249 352446
/proc/meminfo: memFree=124021220/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=483208 memory=458644 CPUtime=6.26 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 113734 0 0 0 604 22 0 0 20 0 1 0 64129947 494804992 114661 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 120802 114661 814 2417 0 117904 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 501800 KiB
Current children cumulated memory: 462464 KiB
[startup+12.7005 s]
/proc/loadavg: 4.88 4.58 4.29 5/249 352446
/proc/meminfo: memFree=123217912/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=513640 memory=493324 CPUtime=12.64 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 119071 0 0 0 1239 25 0 0 20 0 1 0 64129947 525967360 123331 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 128410 123331 814 2417 0 125512 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 532232 KiB
Current children cumulated memory: 497144 KiB
[startup+25.5005 s]
/proc/loadavg: 4.98 4.62 4.30 5/253 352484
/proc/meminfo: memFree=122305804/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=520304 memory=496628 CPUtime=25.41 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 122164 0 0 0 2513 28 0 0 20 0 1 0 64129947 532791296 124157 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 130076 124157 814 2417 0 127178 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 538896 KiB
Current children cumulated memory: 500448 KiB
[startup+51.114 s]
/proc/loadavg: 4.84 4.62 4.31 5/251 352488
/proc/meminfo: memFree=119521992/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 710 635 264 0 134 0
[pid=352393] ppid=352390 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/352393/stat : 352393 (timeout) S 352390 352393 348665 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64129947 8867840 245 134679101440 93836710621184 93836710656200 140720580770512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93836712753616 93836712755748 93836716466176 140720580776985 140720580777117 140720580777117 140720580784103 0
/proc/352393/statm: 2165 245 221 9 0 87 0
[pid=352394] ppid=352393 vsize=520304 memory=496704 CPUtime=50.96 cores=1,3
/proc/352394/stat : 352394 (CASHWMaxSAT-Dis) R 352393 352393 348665 0 -1 4194304 124630 0 0 0 5065 31 0 0 20 0 1 0 64129947 532791296 124176 134679101440 4194304 14093885 140726537841920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40148992 140726537843743 140726537843862 140726537843862 140726537850848 0
/proc/352394/statm: 130076 124176 814 2417 0 127178 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 538896 KiB
Current children cumulated memory: 500524 KiB
[startup+102.301 s]
/proc/loadavg: 4.68 4.61 4.33 5/251 352496
/proc/meminfo: memFree=116614352/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2840 CPUtime=0 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 64129946 10170368 710 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
################
# More data... #
################
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1659.34 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260751 0 0 0 165711 223 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.17 5/252 354327
/proc/meminfo: memFree=106438796/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1719.17 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260761 0 0 0 171688 229 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/249 354374
/proc/meminfo: memFree=123356448/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1779 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260780 0 0 0 177666 234 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3571.56 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3596.12 s]
# the end of solver process 352390 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.34 s, system=4.03621 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.16 5/249 354376
/proc/meminfo: memFree=123356456/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1780.71 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260780 0 0 0 177836 235 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.13 4.16 5/249 354376
/proc/meminfo: memFree=123356364/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1787.08 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260781 0 0 0 178472 236 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3579.64 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.13 4.16 5/249 354376
/proc/meminfo: memFree=123356364/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1790.27 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260781 0 0 0 178791 236 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3582.83 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.13 4.16 5/249 354377
/proc/meminfo: memFree=123356224/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1791.87 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260781 0 0 0 178951 236 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3595.6 s]
/proc/loadavg: 4.16 4.13 4.16 5/249 354377
/proc/meminfo: memFree=123356224/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1792.27 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260781 0 0 0 178991 236 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3584.83 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3596 s]*
/proc/loadavg: 4.16 4.13 4.16 5/249 354377
/proc/meminfo: memFree=123356252/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2900 CPUtime=1792.56 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 267 224988 0 0 0 0 179094 162 20 0 1 0 64129946 10170368 725 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 725 635 264 0 134 0
[pid=353429] ppid=352390 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/353429/stat : 353429 (timeout) S 352390 353429 348665 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64309748 8867840 259 134679101440 94801975328768 94801975363784 140722686263600 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94801977461200 94801977463332 94801986908160 140722686268457 140722686268573 140722686268573 140722686275559 0
/proc/353429/statm: 2165 259 234 9 0 87 0
[pid=353430] ppid=353429 vsize=1203872 memory=1128144 CPUtime=1792.68 cores=1,3
/proc/353430/stat : 353430 (LS-MabSP) R 353429 353429 348665 0 -1 4194304 260781 0 0 0 179032 236 0 0 20 0 1 0 64309748 1232764928 282036 134679101440 4194304 15467897 140725219228176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34156544 140725219230780 140725219230883 140725219230883 140725219237869 0
/proc/353430/statm: 300968 282036 2849 2753 0 297621 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 1222464 KiB
Current children cumulated memory: 1132080 KiB
[startup+3596.11 s]
/proc/loadavg: 4.16 4.13 4.16 5/249 354377
/proc/meminfo: memFree=123356252/131655788 swapFree=131071996/131071996
[pid=352390] ppid=352387 vsize=9932 memory=2924 CPUtime=3585.36 cores=1,3
/proc/352390/stat : 352390 (Hybrid-LSMabSP+) S 352387 352390 348665 0 -1 4194304 403 488594 0 0 0 0 358133 403 20 0 1 0 64129946 10170368 731 134679101440 94585446944768 94585448024088 140733346371008 0 0 0 0 4 65536 0 0 0 17 3 0 0 0 0 0 94585450122544 94585450169732 94585472204800 140733346374606 140733346374765 140733346374765 140733346381780 0
/proc/352390/statm: 2483 731 635 264 0 134 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2924 KiB
Child status: 0
Real time (s): 3596.12
CPU time (s): 3585.38
CPU user time (s): 3581.34
CPU system time (s): 4.03621
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 2398104
Max. memory (cumulated for all children) (KiB): 2147180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.34
system time used= 4.03621
maximum resident set size= 2163616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158
involuntary context switches= 2515
# summary of solver processes directly reported to runsolver:
# pid: 352390
# total CPU time (s): 3585.38
# total CPU user time (s): 3581.34
# total CPU system time (s): 4.03621
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8745 second user time and 40.2518 second system time
The end
Begin job on nodeC005 at 2024-08-06 22:15:29
IDJOB=4436868
IDBENCH=155403
IDSOLVER=3069
FILE ID=nodeC005/4436868-1722975329
RUNJOBID= nodeC005-1722971683-348677
SLURM_JOB_ID= 8259071
Free space on /tmp= 722852 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436868-1722975329/watcher-4436868-1722975329 -o /tmp/evaluation-result-4436868-1722975329/solver-4436868-1722975329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722971683-348677 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436868-1722975329.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=350714615
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 : 1496.512
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.72
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 : 3491.864
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.37
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.383
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.72
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.218
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.37
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 : 3674.042
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.72
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 : 3664.238
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.37
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.402
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.72
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.296
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111122704 kB
MemAvailable: 112579224 kB
Buffers: 351752 kB
Cached: 1937040 kB
SwapCached: 0 kB
Active: 1085524 kB
Inactive: 18907284 kB
Active(anon): 1480 kB
Inactive(anon): 17740252 kB
Active(file): 1084044 kB
Inactive(file): 1167032 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 95656 kB
Writeback: 64 kB
AnonPages: 17704100 kB
Mapped: 113984 kB
Shmem: 37704 kB
KReclaimable: 91284 kB
Slab: 180508 kB
SReclaimable: 91284 kB
SUnreclaim: 89224 kB
KernelStack: 3852 kB
PageTables: 43888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 18426732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4052992 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 722980 MiB
End job on nodeC005 at 2024-08-06 23:15:26