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: 63665 MiB (62848 MiB free)
memory of node 1: 64507 MiB (63039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498246-1751268244/watcher-4498246-1751268244 -o /tmp/evaluation-result-4498246-1751268244/solver-4498246-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751268232-37159 --watchdog 3760 HOME/opbsolver HOME/instance-4498246-1751268244.opb 3600 31000 HOME HOME
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
Starting watchdog threadLinux
5.14.0-503.14.1.el9_5.x86_64
Starting watchdog threadLinux
5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=37370, runsolver pid=37365
[startup+0.100059 s]*
/proc/loadavg: 0.79 0.24 0.14 3/264 37380
/proc/meminfo: memFree=128905040/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=20932 memory=9984 CPUtime=0 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 678 0 0 0 0 0 0 0 20 0 1 0 42502234 21434368 2496 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 5233 2496 2016 2826 0 1845 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25124 KiB
Current children cumulated memory: 12928 KiB
[startup+0.20537 s]*
/proc/loadavg: 0.79 0.24 0.14 4/269 37388
/proc/meminfo: memFree=128866692/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=45372 memory=33060 CPUtime=0.1 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 6144 0 0 0 9 1 0 0 20 0 1 0 42502234 46460928 8265 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 11343 8265 2656 2826 0 7955 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49564 KiB
Current children cumulated memory: 36004 KiB
[startup+0.30555 s]*
/proc/loadavg: 0.79 0.24 0.14 5/269 37389
/proc/meminfo: memFree=128830908/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=48048 memory=35620 CPUtime=0.2 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 6815 0 0 0 19 1 0 0 20 0 1 0 42502234 49201152 8905 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 12012 8905 2656 2826 0 8624 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52240 KiB
Current children cumulated memory: 38564 KiB
[startup+0.700143 s]
/proc/loadavg: 0.79 0.24 0.14 5/269 37389
/proc/meminfo: memFree=128810496/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=57220 memory=44324 CPUtime=0.58 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 8986 0 0 0 57 1 0 0 20 0 1 0 42502234 58593280 11081 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 14305 11081 2656 2826 0 10917 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 47268 KiB
[startup+1.50014 s]
/proc/loadavg: 0.79 0.24 0.14 5/269 37389
/proc/meminfo: memFree=128765640/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=67996 memory=53796 CPUtime=1.39 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 11360 0 0 0 137 2 0 0 20 0 1 0 42502234 69627904 13449 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 16999 13449 2656 2826 0 13611 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 56740 KiB
[startup+3.10559 s]
/proc/loadavg: 1.04 0.30 0.16 5/269 37389
/proc/meminfo: memFree=128733700/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=84304 memory=67492 CPUtime=2.98 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 14766 0 0 0 296 2 0 0 20 0 1 0 42502234 86327296 16873 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 21076 16873 2656 2826 0 17688 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 88496 KiB
Current children cumulated memory: 70436 KiB
[startup+6.30014 s]
/proc/loadavg: 1.04 0.30 0.16 5/269 37389
/proc/meminfo: memFree=128715968/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=92520 memory=73412 CPUtime=6.17 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 17855 0 0 0 614 3 0 0 20 0 1 0 42502234 94740480 18353 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 23130 18353 2656 2826 0 19742 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 96712 KiB
Current children cumulated memory: 76356 KiB
[startup+12.7002 s]
/proc/loadavg: 1.28 0.36 0.18 5/269 37389
/proc/meminfo: memFree=128697416/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=114484 memory=91972 CPUtime=12.55 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 22509 0 0 0 1252 3 0 0 20 0 1 0 42502234 117231616 22993 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 28621 22993 2656 2826 0 25233 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 118676 KiB
Current children cumulated memory: 94916 KiB
[startup+25.5002 s]
/proc/loadavg: 1.96 0.56 0.25 5/269 37389
/proc/meminfo: memFree=128573124/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=155144 memory=126412 CPUtime=25.31 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 35405 0 0 0 2526 5 0 0 20 0 1 0 42502234 158867456 31603 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 38786 31603 2656 2826 0 35398 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 129356 KiB
[startup+51.1055 s]
/proc/loadavg: 2.66 0.83 0.35 5/270 37391
/proc/meminfo: memFree=128416384/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=159452 memory=129420 CPUtime=50.84 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 36620 0 0 0 5079 5 0 0 20 0 1 0 42502234 163278848 32355 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 39863 32355 2656 2826 0 36475 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 163644 KiB
Current children cumulated memory: 132364 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.32 0.54 5/270 37392
/proc/meminfo: memFree=128193980/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=178508 memory=150764 CPUtime=101.89 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 42172 0 0 0 10183 6 0 0 20 0 1 0 42502234 182792192 37691 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 44627 37691 2656 2826 0 41239 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 182700 KiB
Current children cumulated memory: 153708 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.84 0.77 5/271 37395
/proc/meminfo: memFree=128099088/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=179188 memory=152428 CPUtime=161.72 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 42318 0 0 0 16166 6 0 0 20 0 1 0 42502234 183488512 38107 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 44797 38107 2976 2826 0 41409 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 183380 KiB
Current children cumulated memory: 155372 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 2.34 1.01 5/270 37397
/proc/meminfo: memFree=127987460/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=221.55 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47299 0 0 0 22148 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+268.636 s]
# the end of solver process 37370 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=267.669 s, system=0.087294 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.23 2.40 1.05 5/270 37398
/proc/meminfo: memFree=127978072/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=229.63 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47300 0 0 0 22956 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 229.63 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+256 s]*
/proc/loadavg: 4.21 2.54 1.13 5/270 37399
/proc/meminfo: memFree=127958184/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=255.16 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 25509 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 255.16 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+262.4 s]
/proc/loadavg: 4.20 2.57 1.15 5/270 37399
/proc/meminfo: memFree=127950120/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=261.53 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 26146 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 261.53 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+265.6 s]
/proc/loadavg: 4.18 2.59 1.16 5/270 37399
/proc/meminfo: memFree=127935000/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=264.73 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 26466 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 264.73 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+267.2 s]
/proc/loadavg: 4.18 2.59 1.16 5/270 37399
/proc/meminfo: memFree=127935000/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=266.32 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 26625 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 266.32 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+268 s]*
/proc/loadavg: 4.16 2.62 1.18 5/270 37399
/proc/meminfo: memFree=127935000/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=267.12 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 26705 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 267.12 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+268.4 s]
/proc/loadavg: 4.16 2.62 1.18 5/270 37399
/proc/meminfo: memFree=127935000/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=267.52 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 26745 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 267.52 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
[startup+268.6 s]
/proc/loadavg: 4.16 2.62 1.18 5/270 37399
/proc/meminfo: memFree=127935000/131249996 swapFree=33010684/33010684
[pid=37370] ppid=37365 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/37370/stat : 37370 (opbsolver) S 37365 37370 37143 0 -1 4194304 261 231 0 0 0 0 0 0 20 0 1 0 42502224 4292608 736 18446744073709551615 94844489920512 94844490815045 140723463916128 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94844491054096 94844491101840 94844502372352 140723463919902 140723463920105 140723463920105 140723463925707 0
/proc/37370/statm: 1048 736 672 219 0 110 0
[pid=37380] ppid=37370 vsize=200944 memory=172396 CPUtime=267.72 cores=0,2
/proc/37380/stat : 37380 (pbcpreprocessor) R 37370 37370 37143 0 -1 4194304 47301 0 0 0 26765 7 0 0 20 0 1 0 42502234 205766656 43099 18446744073709551615 4198400 15773533 140733492322496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 17968456 18061744 51077120 140733492324676 140733492324830 140733492324830 140733492330437 0
/proc/37380/statm: 50236 43099 2976 2826 0 46848 0
Current children cumulated CPU time: 267.72 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 175340 KiB
Child status: 0
Real time (s): 268.636
CPU time (s): 267.756
CPU user time (s): 267.669
CPU system time (s): 0.087294
CPU usage (%): 99.6726
Max. virtual memory (cumulated for all children) (KiB): 205136
Max. memory (cumulated for all children) (KiB): 175340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.669
system time used= 0.087294
maximum resident set size= 172396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 405
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 37370
# total CPU time (s): 267.756
# total CPU user time (s): 267.669
# total CPU system time (s): 0.087294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.526135 second user time and 1.21442 second system time
The end
Begin job on nodeC022 at 2025-06-30 09:24:04
IDJOB=4498246
IDBENCH=148580
IDSOLVER=3374
FILE ID=nodeC022/4498246-1751268244
RUNJOBID= nodeC022-1751268232-37159
SLURM_JOB_ID= 9594189
Free space on /tmp= 433044 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498246-1751268244/watcher-4498246-1751268244 -o /tmp/evaluation-result-4498246-1751268244/solver-4498246-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751268232-37159 --watchdog 3760 HOME/opbsolver HOME/instance-4498246-1751268244.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ddedb73bef771d6a1c994e2b60000f2
RANDOM SEED=1630340455
nodeC022 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.927
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.44
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.710
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.44
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.716
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.44
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 : 3597.492
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.44
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.712
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.44
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 : 3597.407
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.44
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.334
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.44
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.040
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128933284 kB
MemAvailable: 129706596 kB
Buffers: 3280 kB
Cached: 1576720 kB
SwapCached: 0 kB
Active: 418184 kB
Inactive: 1328356 kB
Active(anon): 184604 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 1328356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61880 kB
Writeback: 4 kB
AnonPages: 169644 kB
Mapped: 113576 kB
Shmem: 18060 kB
KReclaimable: 100832 kB
Slab: 187248 kB
SReclaimable: 100832 kB
SUnreclaim: 86416 kB
KernelStack: 4160 kB
PageTables: 3176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 481988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC022 at 2025-06-30 09:28:33