runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61986 MiB free)
memory of node 1: 64465 MiB (55751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527696-1752235957/watcher-4527696-1752235957 -o /tmp/evaluation-result-4527696-1752235957/solver-4527696-1752235957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752232205-121541 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527696-1752235957.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122634, runsolver pid=122631
[startup+0.100063 s]*
/proc/loadavg: 6.72 7.62 7.63 7/266 122635
/proc/meminfo: memFree=120564680/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=0.09 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 980 0 0 0 9 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+0.205621 s]*
/proc/loadavg: 6.72 7.62 7.63 7/266 122635
/proc/meminfo: memFree=120564680/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=0.19 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 980 0 0 0 19 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+0.305448 s]*
/proc/loadavg: 6.72 7.62 7.63 7/266 122635
/proc/meminfo: memFree=120564680/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=0.29 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 980 0 0 0 29 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700158 s]
/proc/loadavg: 6.72 7.62 7.63 7/266 122635
/proc/meminfo: memFree=120564680/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=0.68 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 981 0 0 0 68 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+1.50015 s]
/proc/loadavg: 6.72 7.62 7.63 7/266 122635
/proc/meminfo: memFree=120564680/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=1.48 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 981 0 0 0 148 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+3.1054 s]
/proc/loadavg: 6.72 7.62 7.63 7/266 122635
/proc/meminfo: memFree=120563184/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=3.08 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 981 0 0 0 308 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30014 s]
/proc/loadavg: 6.66 7.59 7.62 7/266 122635
/proc/meminfo: memFree=120563688/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=42552 memory=8064 CPUtime=6.27 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) R 122631 122634 121522 0 -1 4194304 981 0 0 0 627 0 0 0 20 0 1 0 139274484 43573248 2016 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 10638 2016 1184 6655 0 873 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7001 s]
/proc/loadavg: 6.61 7.56 7.61 6/267 122639
/proc/meminfo: memFree=120525912/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=30952 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 7738 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 7738 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=38620 memory=21644 CPUtime=2.48 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 4033 0 0 0 246 2 0 0 20 0 1 0 139275502 39546880 5411 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 9655 5411 1120 1011 0 8422 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 166740 KiB
Current children cumulated memory: 52596 KiB
[startup+25.5002 s]
/proc/loadavg: 6.25 7.44 7.57 6/267 122639
/proc/meminfo: memFree=120478676/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=30952 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 7738 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 7738 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=44936 memory=38092 CPUtime=15.25 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 5606 0 0 0 1517 8 0 0 20 0 1 0 139275502 46014464 9523 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 11234 9523 1120 1011 0 10001 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 173056 KiB
Current children cumulated memory: 69044 KiB
[startup+51.1055 s]
/proc/loadavg: 5.90 7.26 7.50 6/267 122640
/proc/meminfo: memFree=120415780/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=30952 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 7738 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 7738 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=54484 memory=49100 CPUtime=40.79 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 8365 0 0 0 4059 20 0 0 20 0 1 0 139275502 55791616 12275 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 13621 12275 1152 1011 0 12388 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 182604 KiB
Current children cumulated memory: 80052 KiB
[startup+102.3 s]
/proc/loadavg: 5.46 6.92 7.38 6/267 122641
/proc/meminfo: memFree=120379032/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=30952 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 7738 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 7738 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=73256 memory=61888 CPUtime=91.86 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 10276 0 0 0 9149 37 0 0 20 0 1 0 139275502 75014144 15472 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 18314 15472 1152 1011 0 17081 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 201376 KiB
Current children cumulated memory: 92840 KiB
[startup+162.3 s]
/proc/loadavg: 5.22 6.58 7.23 6/267 122689
/proc/meminfo: memFree=120269000/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=79996 memory=70688 CPUtime=151.71 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 11940 0 0 0 15109 62 0 0 20 0 1 0 139275502 81915904 17672 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 19999 17672 1152 1011 0 18766 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 208116 KiB
Current children cumulated memory: 104968 KiB
[startup+222.3 s]
/proc/loadavg: 5.79 6.49 7.16 7/267 122691
/proc/meminfo: memFree=120130088/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=86772 memory=77344 CPUtime=211.57 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 13529 0 0 0 21074 83 0 0 20 0 1 0 139275502 88854528 19336 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 21693 19336 1152 1011 0 20460 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 214892 KiB
Current children cumulated memory: 111624 KiB
[startup+282.3 s]
/proc/loadavg: 5.98 6.42 7.08 7/267 122693
/proc/meminfo: memFree=120112620/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=89272 memory=79776 CPUtime=271.42 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 14170 0 0 0 27042 100 0 0 20 0 1 0 139275502 91414528 19944 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 22318 19944 1152 1011 0 21085 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 114056 KiB
[startup+342.3 s]
/proc/loadavg: 6.04 6.35 7.02 7/267 122695
/proc/meminfo: memFree=120047388/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
################
# More data... #
################
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 18439 0 0 0 50900 171 0 0 20 0 1 0 139275502 131215360 25871 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 32035 25871 1152 1011 0 30802 0
Current children cumulated CPU time: 520.85 s
Current children cumulated vsize: 256260 KiB
Current children cumulated memory: 137764 KiB
[startup+582.3 s]
/proc/loadavg: 4.44 5.61 6.58 5/260 122734
/proc/meminfo: memFree=120189680/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=137120 memory=114868 CPUtime=570.52 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 20767 0 0 0 56870 182 0 0 20 0 1 0 139275502 140410880 28717 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 34280 28717 1152 1011 0 33047 0
Current children cumulated CPU time: 580.66 s
Current children cumulated vsize: 265240 KiB
Current children cumulated memory: 149148 KiB
[startup+642.3 s]
/proc/loadavg: 4.16 5.31 6.42 5/262 122744
/proc/meminfo: memFree=120118440/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=144324 memory=128664 CPUtime=630.36 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 22560 0 0 0 62840 196 0 0 20 0 1 0 139275502 147787776 32166 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36081 32166 1152 1011 0 34848 0
Current children cumulated CPU time: 640.5 s
Current children cumulated vsize: 272444 KiB
Current children cumulated memory: 162944 KiB
[startup+702.3 s]
/proc/loadavg: 4.16 5.10 6.27 5/262 122747
/proc/meminfo: memFree=120031252/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=690.22 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 68798 224 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 700.36 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+749.101 s]
# the end of solver process 122634 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=744.729 s, system=2.33942 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.12 5.04 6.24 5/262 122748
/proc/meminfo: memFree=120004704/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=704.68 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 70244 224 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 714.82 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+729.6 s]
/proc/loadavg: 4.09 4.99 6.20 5/262 122750
/proc/meminfo: memFree=119990152/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=717.45 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 71521 224 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 727.59 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+742.4 s]
/proc/loadavg: 4.15 4.98 6.18 5/262 122750
/proc/meminfo: memFree=119966212/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=730.22 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 72795 227 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 740.36 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+745.6 s]
/proc/loadavg: 4.14 4.96 6.17 5/262 122750
/proc/meminfo: memFree=119966212/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=733.42 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 73113 229 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 743.56 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+747.2 s]
/proc/loadavg: 4.14 4.96 6.17 5/262 122750
/proc/meminfo: memFree=119959156/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=735.01 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 73272 229 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 745.15 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+748 s]*
/proc/loadavg: 4.14 4.96 6.17 5/262 122750
/proc/meminfo: memFree=119959156/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=147500 memory=131608 CPUtime=735.81 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23321 0 0 0 73352 229 0 0 20 0 1 0 139275502 151040000 32902 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 36875 32902 1152 1011 0 35642 0
Current children cumulated CPU time: 745.95 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 165888 KiB
[startup+748.8 s]
/proc/loadavg: 4.14 4.96 6.17 5/262 122750
/proc/meminfo: memFree=119959156/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=149072 memory=133144 CPUtime=736.61 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23714 0 0 0 73432 229 0 0 20 0 1 0 139275502 152649728 33286 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 37268 33286 1152 1011 0 36035 0
Current children cumulated CPU time: 746.75 s
Current children cumulated vsize: 277192 KiB
Current children cumulated memory: 167424 KiB
[startup+749 s]*
/proc/loadavg: 4.13 4.94 6.16 5/262 122750
/proc/meminfo: memFree=119951092/131249992 swapFree=33010160/33010684
[pid=122634] ppid=122631 vsize=128120 memory=34280 CPUtime=10.14 cores=5,7
/proc/122634/stat : 122634 (LSIPExact) S 122631 122634 121522 0 -1 4194304 4606 229 0 0 1013 1 0 0 20 0 1 0 139274484 131194880 8570 18446744073709551615 94311947542528 94311974799697 140727015940032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94311983301768 94311983733376 94311986741248 140727015942488 140727015942664 140727015942664 140727015948268 0
/proc/122634/statm: 32030 8570 3488 6655 0 6840 0
[pid=122638] ppid=122634 vsize=149072 memory=133144 CPUtime=736.81 cores=5,7
/proc/122638/stat : 122638 (Exact) R 122634 122638 122638 0 -1 4194304 23714 0 0 0 73450 231 0 0 20 0 1 0 139275502 152649728 33286 18446744073709551615 4198400 8335837 140728991190528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 41955328 140728991193266 140728991193627 140728991193627 140728991199183 0
/proc/122638/statm: 37268 33286 1152 1011 0 36035 0
Current children cumulated CPU time: 746.95 s
Current children cumulated vsize: 277192 KiB
Current children cumulated memory: 167424 KiB
Child status: 0
Real time (s): 749.101
CPU time (s): 747.068
CPU user time (s): 744.729
CPU system time (s): 2.33942
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 277192
Max. memory (cumulated for all children) (KiB): 167424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 744.729
system time used= 2.33942
maximum resident set size= 133144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28552
page faults= 0
swaps= 0
block input operations= 192
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 460
involuntary context switches= 716
# summary of solver processes directly reported to runsolver:
# pid: 122634
# total CPU time (s): 747.068
# total CPU user time (s): 744.729
# total CPU system time (s): 2.33942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42235 second user time and 3.48596 second system time
The end
Begin job on nodeC025 at 2025-07-11 14:12:37
IDJOB=4527696
IDBENCH=177132
IDSOLVER=3384
FILE ID=nodeC025/4527696-1752235957
RUNJOBID= nodeC025-1752232205-121541
SLURM_JOB_ID= 9682536
Free space on /tmp= 432848 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527696-1752235957/watcher-4527696-1752235957 -o /tmp/evaluation-result-4527696-1752235957/solver-4527696-1752235957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752232205-121541 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527696-1752235957.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d7b5082e0c8210cd1db8ac24c14853d2
RANDOM SEED=133869697
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.822
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.823
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.843
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.439
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.692
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.859
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120563752 kB
MemAvailable: 129505992 kB
Buffers: 2128 kB
Cached: 9688496 kB
SwapCached: 200 kB
Active: 616108 kB
Inactive: 9330960 kB
Active(anon): 257240 kB
Inactive(anon): 17060 kB
Active(file): 358868 kB
Inactive(file): 9313900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44684 kB
Writeback: 36 kB
AnonPages: 257304 kB
Mapped: 144960 kB
Shmem: 17856 kB
KReclaimable: 217420 kB
Slab: 310552 kB
SReclaimable: 217420 kB
SUnreclaim: 93132 kB
KernelStack: 4284 kB
PageTables: 3832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 629748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 102400 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432844 MiB
End job on nodeC025 at 2025-07-11 14:25:06