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 (60883 MiB free)
memory of node 1: 64510 MiB (62910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443774-1721307881/watcher-4443774-1721307881 -o /tmp/evaluation-result-4443774-1721307881/solver-4443774-1721307881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721305162-973803 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443774-1721307881.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=976556, runsolver pid=976553
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.12 4.13 4.06 5/263 976560
/proc/meminfo: memFree=126637276/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=142964 memory=130152 CPUtime=0.09 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 3168 0 0 0 6 3 0 0 20 0 1 0 182952318 146395136 32538 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 35741 32538 1073 2753 0 32394 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161556 KiB
Current children cumulated memory: 133848 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.12 4.13 4.06 5/263 976560
/proc/meminfo: memFree=126633684/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=146036 memory=133324 CPUtime=0.19 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 4217 0 0 0 16 3 0 0 20 0 1 0 182952318 149540864 33331 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 36509 33331 1073 2753 0 33162 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 137020 KiB
[startup+0.305637 s]*
/proc/loadavg: 4.12 4.13 4.06 5/263 976560
/proc/meminfo: memFree=126631100/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=150132 memory=135384 CPUtime=0.3 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 4735 0 0 0 26 4 0 0 20 0 1 0 182952318 153735168 33846 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 37533 33846 1073 2753 0 34186 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168724 KiB
Current children cumulated memory: 139080 KiB
[startup+0.700279 s]
/proc/loadavg: 4.12 4.13 4.06 5/263 976560
/proc/meminfo: memFree=126626164/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=158456 memory=143592 CPUtime=0.68 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 5261 0 0 0 64 4 0 0 20 0 1 0 182952318 162258944 35898 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 39614 35898 1073 2753 0 36267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177048 KiB
Current children cumulated memory: 147288 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.13 4.06 5/263 976560
/proc/meminfo: memFree=126613880/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=174840 memory=159996 CPUtime=1.48 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 5796 0 0 0 143 5 0 0 20 0 1 0 182952318 179036160 39999 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 43710 39999 1073 2753 0 40363 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 193432 KiB
Current children cumulated memory: 163692 KiB
[startup+3.10588 s]
/proc/loadavg: 4.19 4.15 4.07 5/263 976560
/proc/meminfo: memFree=126566228/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=207608 memory=192792 CPUtime=3.08 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 6368 0 0 0 301 7 0 0 20 0 1 0 182952318 212590592 48198 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 51902 48198 1073 2753 0 48555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226200 KiB
Current children cumulated memory: 196488 KiB
[startup+6.30027 s]
/proc/loadavg: 4.19 4.15 4.07 5/263 976560
/proc/meminfo: memFree=126504512/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=273144 memory=258388 CPUtime=6.27 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 6997 0 0 0 617 10 0 0 20 0 1 0 182952318 279699456 64597 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 68286 64597 1073 2753 0 64939 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 291736 KiB
Current children cumulated memory: 262084 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.14 4.07 5/263 976561
/proc/meminfo: memFree=126366984/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=733336 memory=712348 CPUtime=12.65 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 8733 0 0 0 1243 22 0 0 20 0 1 0 182952318 750936064 178087 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 183334 178087 1073 2753 0 179987 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 751928 KiB
Current children cumulated memory: 716044 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.15 4.07 5/263 976623
/proc/meminfo: memFree=125172284/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=1420100 memory=1395160 CPUtime=25.42 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 24253 0 0 0 2485 57 0 0 20 0 1 0 182952318 1454182400 348790 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 355025 348790 1105 2753 0 351678 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1398856 KiB
[startup+51.1055 s]
/proc/loadavg: 4.28 4.17 4.08 5/255 976716
/proc/meminfo: memFree=125321320/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=1500088 memory=1475344 CPUtime=50.95 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 25206 0 0 0 5036 59 0 0 20 0 1 0 182952318 1536090112 368836 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 375022 368836 1153 2753 0 371675 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1479040 KiB
[startup+86.6763 s]
# the end of solver process 976556 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=85.4192 s, system=1.01559 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.28 4.17 4.08 5/255 976716
/proc/meminfo: memFree=125321320/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=1500088 memory=1475344 CPUtime=51.05 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 25206 0 0 0 5046 59 0 0 20 0 1 0 182952318 1536090112 368836 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 375022 368836 1153 2753 0 371675 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1479040 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.22 4.16 4.08 5/263 976732
/proc/meminfo: memFree=124216864/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=1500088 memory=1475344 CPUtime=63.82 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 25437 0 0 0 6323 59 0 0 20 0 1 0 182952318 1536090112 368836 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 375022 368836 1153 2753 0 371675 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1479040 KiB
[startup+76.8003 s]
/proc/loadavg: 4.18 4.16 4.08 5/263 976784
/proc/meminfo: memFree=124919920/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=1420100 memory=1395356 CPUtime=76.58 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 25570 0 0 0 7599 59 0 0 20 0 1 0 182952318 1454182400 348839 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 355025 348839 1153 2753 0 351678 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1399052 KiB
[startup+83.2003 s]
/proc/loadavg: 4.16 4.15 4.08 5/263 976786
/proc/meminfo: memFree=125009112/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=1125900 memory=1091172 CPUtime=82.96 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 28231 0 0 0 8233 63 0 0 20 0 1 0 182952318 1152921600 272793 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 281475 272793 1153 2753 0 278128 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 1144492 KiB
Current children cumulated memory: 1094868 KiB
[startup+84.8002 s]
/proc/loadavg: 4.16 4.15 4.08 5/263 976786
/proc/meminfo: memFree=124983384/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=2036068 memory=1667672 CPUtime=84.55 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 150412 0 0 0 8371 84 0 0 20 0 1 0 182952318 2084933632 416918 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 509017 416918 1153 2753 0 505670 0
Current children cumulated CPU time: 84.55 s
Current children cumulated vsize: 2054660 KiB
Current children cumulated memory: 1671368 KiB
[startup+85.6003 s]
/proc/loadavg: 4.16 4.15 4.08 5/263 976786
/proc/meminfo: memFree=124636580/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=2063812 memory=1895200 CPUtime=85.35 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 163371 0 0 0 8445 90 0 0 20 0 1 0 182952318 2113343488 473800 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 515953 473800 1153 2753 0 512606 0
Current children cumulated CPU time: 85.35 s
Current children cumulated vsize: 2082404 KiB
Current children cumulated memory: 1898896 KiB
[startup+86.4003 s]
/proc/loadavg: 4.16 4.15 4.08 5/263 976786
/proc/meminfo: memFree=124369916/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=2455744 memory=2295288 CPUtime=86.14 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 170046 0 0 0 8517 97 0 0 20 0 1 0 182952318 2514681856 573822 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 613936 573822 1153 2753 0 610589 0
Current children cumulated CPU time: 86.14 s
Current children cumulated vsize: 2474336 KiB
Current children cumulated memory: 2298984 KiB
[startup+86.6003 s]
/proc/loadavg: 4.16 4.15 4.08 5/263 976786
/proc/meminfo: memFree=124369916/131524600 swapFree=131071996/131071996
[pid=976556] ppid=976553 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/976556/stat : 976556 (Hybrid-LSMabSP+) S 976553 976556 973793 0 -1 4194304 232 104 0 0 0 0 0 0 20 0 1 0 182952317 10170368 663 134679101440 94206845526016 94206846605336 140722502848512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94206848703792 94206848750980 94206873743360 140722502857703 140722502857849 140722502857849 140722502864865 0
/proc/976556/statm: 2483 663 585 264 0 134 0
[pid=976559] ppid=976556 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/976559/stat : 976559 (timeout) S 976556 976559 973793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 182952317 8867840 261 134679101440 94439063019520 94439063054536 140727193543088 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439065151952 94439065154084 94439089258496 140727193551912 140727193552028 140727193552028 140727193559015 0
/proc/976559/statm: 2165 261 236 9 0 87 0
[pid=976560] ppid=976559 vsize=2094028 memory=1933892 CPUtime=86.35 cores=0,2
/proc/976560/stat : 976560 (LS-MabSP) R 976559 976559 973793 0 -1 4194304 170046 0 0 0 8537 98 0 0 20 0 1 0 182952318 2144284672 483473 134679101440 4194304 15467897 140729848843104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24805376 140729848845371 140729848845474 140729848845474 140729848852461 0
/proc/976560/statm: 523507 483473 1153 2753 0 520160 0
Current children cumulated CPU time: 86.35 s
Current children cumulated vsize: 2112620 KiB
Current children cumulated memory: 1937588 KiB
Child status: 0
Real time (s): 86.6763
CPU time (s): 86.4348
CPU user time (s): 85.4192
CPU system time (s): 1.01559
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 2474336
Max. memory (cumulated for all children) (KiB): 2298984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.4192
system time used= 1.01559
maximum resident set size= 2295288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 608
# summary of solver processes directly reported to runsolver:
# pid: 976556
# total CPU time (s): 86.4348
# total CPU user time (s): 85.4192
# total CPU system time (s): 1.01559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153029 second user time and 0.495209 second system time
The end
Begin job on nodeC022 at 2024-07-18 15:04:54
IDJOB=4443774
IDBENCH=147885
IDSOLVER=3070
FILE ID=nodeC022/4443774-1721307881
RUNJOBID= nodeC022-1721305162-973803
SLURM_JOB_ID= 7542631
Free space on /tmp= 889936 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443774-1721307881/watcher-4443774-1721307881 -o /tmp/evaluation-result-4443774-1721307881/solver-4443774-1721307881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721305162-973803 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443774-1721307881.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=1197957748
nodeC022.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 : 3655.419
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.66
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 : 3690.689
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 : 7006.96
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 : 3676.566
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.66
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 : 3600.134
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 : 7006.96
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 : 3675.676
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.66
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 : 3690.696
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 : 7006.96
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.856
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126764912 kB
MemAvailable: 129323120 kB
Buffers: 471708 kB
Cached: 2913200 kB
SwapCached: 0 kB
Active: 1163140 kB
Inactive: 2950264 kB
Active(anon): 1604 kB
Inactive(anon): 772808 kB
Active(file): 1161536 kB
Inactive(file): 2177456 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 109356 kB
Writeback: 0 kB
AnonPages: 727652 kB
Mapped: 125320 kB
Shmem: 45912 kB
KReclaimable: 117724 kB
Slab: 232556 kB
SReclaimable: 117724 kB
SUnreclaim: 114832 kB
KernelStack: 4224 kB
PageTables: 11120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1109604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 434176 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC022 at 2024-07-18 15:06:21