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 (60916 MiB free)
memory of node 1: 64465 MiB (63853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523407-1751606447/watcher-4523407-1751606447 -o /tmp/evaluation-result-4523407-1751606447/solver-4523407-1751606447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85129 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523407-1751606447.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85761, runsolver pid=85758
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.12 4.15 4.11 5/271 85765
/proc/meminfo: memFree=127760660/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=21460 memory=7020 CPUtime=0.08 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 1262 0 0 0 8 0 0 0 20 0 1 0 76322533 21975040 1755 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 5365 1755 1088 2752 0 2018 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28444 KiB
Current children cumulated memory: 11500 KiB
[startup+0.205081 s]*
/proc/loadavg: 4.12 4.15 4.11 5/271 85765
/proc/meminfo: memFree=127760660/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=27604 memory=9524 CPUtime=0.18 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 1870 0 0 0 18 0 0 0 20 0 1 0 76322533 28266496 2381 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 6901 2381 1088 2752 0 3554 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34588 KiB
Current children cumulated memory: 14004 KiB
[startup+0.305088 s]*
/proc/loadavg: 4.12 4.15 4.11 5/271 85765
/proc/meminfo: memFree=127760660/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=27604 memory=11700 CPUtime=0.28 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 1903 0 0 0 28 0 0 0 20 0 1 0 76322533 28266496 2925 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 6901 2925 1088 2752 0 3554 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34588 KiB
Current children cumulated memory: 16180 KiB
[startup+0.700238 s]
/proc/loadavg: 4.12 4.15 4.11 5/271 85765
/proc/meminfo: memFree=127760660/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=79496 memory=61492 CPUtime=0.67 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 7156 0 0 0 66 1 0 0 20 0 1 0 76322533 81403904 15373 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 19874 15373 1152 2752 0 16527 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86480 KiB
Current children cumulated memory: 65972 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.15 4.11 5/271 85765
/proc/meminfo: memFree=127737040/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=79496 memory=61492 CPUtime=1.47 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 7157 0 0 0 146 1 0 0 20 0 1 0 76322533 81403904 15373 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 19874 15373 1152 2752 0 16527 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86480 KiB
Current children cumulated memory: 65972 KiB
[startup+3.10503 s]
/proc/loadavg: 4.11 4.15 4.11 5/271 85765
/proc/meminfo: memFree=127457756/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=406928 memory=363404 CPUtime=3.07 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 55283 0 0 0 297 10 0 0 20 0 1 0 76322533 416694272 90851 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 101732 90851 2752 2752 0 98385 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 413912 KiB
Current children cumulated memory: 367884 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.15 4.11 5/272 85767
/proc/meminfo: memFree=127326972/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=544336 memory=500204 CPUtime=6.26 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 87119 0 0 0 611 15 0 0 20 0 1 0 76322533 557400064 125051 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 136084 125051 2816 2752 0 132737 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 551320 KiB
Current children cumulated memory: 504684 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.11 5/272 85767
/proc/meminfo: memFree=127214956/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=643468 memory=597568 CPUtime=12.64 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 111493 0 0 0 1245 19 0 0 20 0 1 0 76322533 658911232 149392 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 160867 149392 2848 2752 0 157520 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 650452 KiB
Current children cumulated memory: 602048 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.11 5/271 85767
/proc/meminfo: memFree=127154284/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=670856 memory=626464 CPUtime=25.41 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 124415 0 0 0 2520 21 0 0 20 0 1 0 76322533 686956544 156616 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 167714 156616 2848 2752 0 164367 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 677840 KiB
Current children cumulated memory: 630944 KiB
[startup+51.1052 s]
/proc/loadavg: 4.10 4.14 4.10 5/271 85769
/proc/meminfo: memFree=126928908/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=769848 memory=724276 CPUtime=50.95 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 166564 0 0 0 5068 27 0 0 20 0 1 0 76322533 788324352 181069 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 192462 181069 2848 2752 0 189115 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 776832 KiB
Current children cumulated memory: 728756 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.12 4.09 5/272 85774
/proc/meminfo: memFree=126774504/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=743004 memory=729704 CPUtime=2256.45 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 743111 0 0 0 225523 122 0 0 20 0 1 0 76322533 760836096 182426 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 185751 182426 2848 2752 0 182404 0
Current children cumulated CPU time: 2256.45 s
Current children cumulated vsize: 749988 KiB
Current children cumulated memory: 734184 KiB
[startup+2322.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/272 86001
/proc/meminfo: memFree=121848568/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=743004 memory=729704 CPUtime=2316.28 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 743111 0 0 0 231506 122 0 0 20 0 1 0 76322533 760836096 182426 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 185751 182426 2848 2752 0 182404 0
Current children cumulated CPU time: 2316.28 s
Current children cumulated vsize: 749988 KiB
Current children cumulated memory: 734184 KiB
[startup+2382.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127084964/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=743004 memory=729704 CPUtime=2376.11 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 743127 0 0 0 237489 122 0 0 20 0 1 0 76322533 760836096 182426 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 185751 182426 2848 2752 0 182404 0
Current children cumulated CPU time: 2376.11 s
Current children cumulated vsize: 749988 KiB
Current children cumulated memory: 734184 KiB
[startup+2412.8 s]
# the end of solver process 85761 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2405.21 s, system=1.2836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 4.15 4.15 4.10 5/272 86073
/proc/meminfo: memFree=126867752/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=85764] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85764/stat : 85764 (timeout) S 85761 85764 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76322533 2723840 352 18446744073709551615 94472427446272 94472427462785 140735898799424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94472427477552 94472427479640 94472451276800 140735898802608 140735898802722 140735898802722 140735898808295 0
/proc/85764/statm: 665 352 352 5 0 90 0
[pid=85765] ppid=85764 vsize=743004 memory=729704 CPUtime=2387.37 cores=1,3
/proc/85765/stat : 85765 (NuPBO-DeepOptS+) R 85764 85764 85114 0 -1 4194304 743127 0 0 0 238615 122 0 0 20 0 1 0 76322533 760836096 182426 18446744073709551615 4198400 15468185 140728973700992 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23257088 140728973707708 140728973707809 140728973707809 140728973713382 0
/proc/85765/statm: 185751 182426 2848 2752 0 182404 0
Current children cumulated CPU time: 2387.37 s
Current children cumulated vsize: 749988 KiB
Current children cumulated memory: 734184 KiB
[startup+2406.4 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 86077
/proc/meminfo: memFree=127529824/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=2391.8 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 283 743470 0 0 0 0 239057 123 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=86074] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86074/stat : 86074 (timeout) S 85761 86074 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76562334 2723840 352 18446744073709551615 94308959068160 94308959084673 140725622880384 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94308959099440 94308959101528 94308965670912 140725622884739 140725622884898 140725622884898 140725622890471 0
/proc/86074/statm: 665 352 352 5 0 90 0
[pid=86075] ppid=86074 vsize=95836 memory=68476 CPUtime=8.32 cores=1,3
/proc/86075/stat : 86075 (ExactPR-nols) R 86074 86074 85114 0 -1 4194304 16131 0 0 0 829 3 0 0 20 0 1 0 76562335 98136064 17119 18446744073709551615 93859724828672 93859734128325 140729937963024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93859735914816 93859735953896 93859763040256 140729937967512 140729937967652 140729937967652 140729937973225 0
/proc/86075/statm: 23959 17119 1888 2271 0 18597 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 102820 KiB
Current children cumulated memory: 72956 KiB
[startup+2409.6 s]
/proc/loadavg: 4.12 4.14 4.10 5/272 86077
/proc/meminfo: memFree=127529824/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=2391.8 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 283 743470 0 0 0 0 239057 123 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=86074] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86074/stat : 86074 (timeout) S 85761 86074 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76562334 2723840 352 18446744073709551615 94308959068160 94308959084673 140725622880384 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94308959099440 94308959101528 94308965670912 140725622884739 140725622884898 140725622884898 140725622890471 0
/proc/86074/statm: 665 352 352 5 0 90 0
[pid=86075] ppid=86074 vsize=95836 memory=68476 CPUtime=11.51 cores=1,3
/proc/86075/stat : 86075 (ExactPR-nols) R 86074 86074 85114 0 -1 4194304 16131 0 0 0 1148 3 0 0 20 0 1 0 76562335 98136064 17119 18446744073709551615 93859724828672 93859734128325 140729937963024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93859735914816 93859735953896 93859763040256 140729937967512 140729937967652 140729937967652 140729937973225 0
/proc/86075/statm: 23959 17119 1888 2271 0 18597 0
Current children cumulated CPU time: 2403.31 s
Current children cumulated vsize: 102820 KiB
Current children cumulated memory: 72956 KiB
[startup+2411.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/272 86077
/proc/meminfo: memFree=127534180/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=2391.8 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 283 743470 0 0 0 0 239057 123 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=86074] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86074/stat : 86074 (timeout) S 85761 86074 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76562334 2723840 352 18446744073709551615 94308959068160 94308959084673 140725622880384 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94308959099440 94308959101528 94308965670912 140725622884739 140725622884898 140725622884898 140725622890471 0
/proc/86074/statm: 665 352 352 5 0 90 0
[pid=86075] ppid=86074 vsize=95836 memory=68476 CPUtime=13.11 cores=1,3
/proc/86075/stat : 86075 (ExactPR-nols) R 86074 86074 85114 0 -1 4194304 16132 0 0 0 1308 3 0 0 20 0 1 0 76562335 98136064 17119 18446744073709551615 93859724828672 93859734128325 140729937963024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93859735914816 93859735953896 93859763040256 140729937967512 140729937967652 140729937967652 140729937973225 0
/proc/86075/statm: 23959 17119 1888 2271 0 18597 0
Current children cumulated CPU time: 2404.91 s
Current children cumulated vsize: 102820 KiB
Current children cumulated memory: 72956 KiB
[startup+2412 s]*
/proc/loadavg: 4.12 4.14 4.10 5/272 86077
/proc/meminfo: memFree=127534180/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=2391.8 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 283 743470 0 0 0 0 239057 123 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=86074] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86074/stat : 86074 (timeout) S 85761 86074 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76562334 2723840 352 18446744073709551615 94308959068160 94308959084673 140725622880384 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94308959099440 94308959101528 94308965670912 140725622884739 140725622884898 140725622884898 140725622890471 0
/proc/86074/statm: 665 352 352 5 0 90 0
[pid=86075] ppid=86074 vsize=95836 memory=68476 CPUtime=13.91 cores=1,3
/proc/86075/stat : 86075 (ExactPR-nols) R 86074 86074 85114 0 -1 4194304 16132 0 0 0 1388 3 0 0 20 0 1 0 76562335 98136064 17119 18446744073709551615 93859724828672 93859734128325 140729937963024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93859735914816 93859735953896 93859763040256 140729937967512 140729937967652 140729937967652 140729937973225 0
/proc/86075/statm: 23959 17119 1888 2271 0 18597 0
Current children cumulated CPU time: 2405.71 s
Current children cumulated vsize: 102820 KiB
Current children cumulated memory: 72956 KiB
[startup+2412.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/272 86077
/proc/meminfo: memFree=127534180/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=2391.8 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 283 743470 0 0 0 0 239057 123 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
[pid=86074] ppid=85761 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86074/stat : 86074 (timeout) S 85761 86074 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76562334 2723840 352 18446744073709551615 94308959068160 94308959084673 140725622880384 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94308959099440 94308959101528 94308965670912 140725622884739 140725622884898 140725622884898 140725622890471 0
/proc/86074/statm: 665 352 352 5 0 90 0
[pid=86075] ppid=86074 vsize=95836 memory=68476 CPUtime=14.3 cores=1,3
/proc/86075/stat : 86075 (ExactPR-nols) R 86074 86074 85114 0 -1 4194304 16132 0 0 0 1427 3 0 0 20 0 1 0 76562335 98136064 17119 18446744073709551615 93859724828672 93859734128325 140729937963024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93859735914816 93859735953896 93859763040256 140729937967512 140729937967652 140729937967652 140729937973225 0
/proc/86075/statm: 23959 17119 1888 2271 0 18597 0
Current children cumulated CPU time: 2406.1 s
Current children cumulated vsize: 102820 KiB
Current children cumulated memory: 72956 KiB
[startup+2412.8 s]
/proc/loadavg: 4.12 4.14 4.10 5/272 86077
/proc/meminfo: memFree=127534180/131249996 swapFree=33000896/33010684
[pid=85761] ppid=85758 vsize=4324 memory=3072 CPUtime=2406.49 cores=1,3
/proc/85761/stat : 85761 (Hybrid-NuPBODee) S 85758 85761 85114 0 -1 4194304 461 760679 0 0 0 0 240521 128 20 0 1 0 76322532 4427776 768 18446744073709551615 94225267486720 94225268381253 140726296190288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94225268620304 94225268668048 94225293549568 140726296197467 140726296197619 140726296197619 140726296203221 0
/proc/85761/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2406.49 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 2412.8
CPU time (s): 2406.5
CPU user time (s): 2405.21
CPU system time (s): 1.2836
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 920904
Max. memory (cumulated for all children) (KiB): 877880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2405.21
system time used= 1.2836
maximum resident set size= 873400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 761241
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= 1014
involuntary context switches= 2982
# summary of solver processes directly reported to runsolver:
# pid: 85761
# total CPU time (s): 2406.5
# total CPU user time (s): 2405.21
# total CPU system time (s): 1.2836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.98037 second user time and 11.3396 second system time
The end
Begin job on nodeC023 at 2025-07-04 07:20:47
IDJOB=4523407
IDBENCH=180361
IDSOLVER=3332
FILE ID=nodeC023/4523407-1751606447
RUNJOBID= nodeC023-1751601628-85129
SLURM_JOB_ID= 9598881
Free space on /tmp= 431780 MiB
SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523407-1751606447/watcher-4523407-1751606447 -o /tmp/evaluation-result-4523407-1751606447/solver-4523407-1751606447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85129 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523407-1751606447.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f69e8990d47aa59ed46eeada43b05a2f
RANDOM SEED=678015963
nodeC023 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.885
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.78
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.915
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.78
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 : 3601.118
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.78
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.434
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.78
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.887
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.78
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 : 3599.884
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.78
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 : 3700.000
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.78
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 : 3583.120
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127764632 kB
MemAvailable: 127599760 kB
Buffers: 16 kB
Cached: 578176 kB
SwapCached: 2900 kB
Active: 2238512 kB
Inactive: 438708 kB
Active(anon): 2058184 kB
Inactive(anon): 53368 kB
Active(file): 180328 kB
Inactive(file): 385340 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000896 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31316 kB
Writeback: 176 kB
AnonPages: 2099020 kB
Mapped: 131388 kB
Shmem: 12524 kB
KReclaimable: 217400 kB
Slab: 308912 kB
SReclaimable: 217400 kB
SUnreclaim: 91512 kB
KernelStack: 4368 kB
PageTables: 7452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2464660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1363968 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC023 at 2025-07-04 08:01:00