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 (62437 MiB free)
memory of node 1: 64507 MiB (63218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499597-1751410792/watcher-4499597-1751410792 -o /tmp/evaluation-result-4499597-1751410792/solver-4499597-1751410792 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751406746-62668 --watchdog 3760 HOME/opbsolver HOME/instance-4499597-1751410792.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
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
Current StackSize limit: 8192 KiB
solver pid=63225, runsolver pid=63222
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128626492/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=51652 memory=39980 CPUtime=0.07 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 8282 0 0 0 6 1 0 0 20 0 1 0 56759442 52891648 9995 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 12913 9995 2016 2826 0 9525 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 55844 KiB
Current children cumulated memory: 42924 KiB
[startup+0.205607 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128562484/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=116880 memory=105316 CPUtime=0.18 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 24461 0 0 0 14 4 0 0 20 0 1 0 56759442 119685120 26329 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 29220 26329 2400 2826 0 25832 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 121072 KiB
Current children cumulated memory: 108260 KiB
[startup+0.30552 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128562484/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=120568 memory=107876 CPUtime=0.28 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 25115 0 0 0 24 4 0 0 20 0 1 0 56759442 123461632 26969 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 30142 26969 2400 2826 0 26754 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 124760 KiB
Current children cumulated memory: 110820 KiB
[startup+0.700199 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128530480/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=143124 memory=131888 CPUtime=0.66 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 34156 0 0 0 61 5 0 0 20 0 1 0 56759442 146558976 32972 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 35781 32972 2432 2826 0 32393 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 147316 KiB
Current children cumulated memory: 134832 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128530480/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=228596 memory=212448 CPUtime=1.47 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57228 0 0 0 138 9 0 0 20 0 1 0 56759442 234082304 53112 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57149 53112 2656 2826 0 53761 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 232788 KiB
Current children cumulated memory: 215392 KiB
[startup+3.10541 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128473832/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=228596 memory=213344 CPUtime=3.07 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57472 0 0 0 298 9 0 0 20 0 1 0 56759442 234082304 53336 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57149 53336 2656 2826 0 53761 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 232788 KiB
Current children cumulated memory: 216288 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 63229
/proc/meminfo: memFree=128465516/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=229520 memory=213856 CPUtime=6.25 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57604 0 0 0 616 9 0 0 20 0 1 0 56759442 235028480 53464 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57380 53464 2656 2826 0 53992 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 233712 KiB
Current children cumulated memory: 216800 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 63229
/proc/meminfo: memFree=128448312/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=215008 CPUtime=12.63 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57857 0 0 0 1254 9 0 0 20 0 1 0 56759442 235999232 53752 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 53752 2688 2826 0 54229 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 217952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 63230
/proc/meminfo: memFree=128436700/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=215008 CPUtime=25.39 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57857 0 0 0 2530 9 0 0 20 0 1 0 56759442 235999232 53752 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 53752 2688 2826 0 54229 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 217952 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 63230
/proc/meminfo: memFree=128395400/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=215008 CPUtime=50.92 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57857 0 0 0 5083 9 0 0 20 0 1 0 56759442 235999232 53752 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 53752 2688 2826 0 54229 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 217952 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 63366
/proc/meminfo: memFree=128623452/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=216672 CPUtime=101.95 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57882 0 0 0 10186 9 0 0 20 0 1 0 56759442 235999232 54168 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 54168 2688 2826 0 54229 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 219616 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 63368
/proc/meminfo: memFree=128597484/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=221408 CPUtime=161.76 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57904 0 0 0 16167 9 0 0 20 0 1 0 56759442 235999232 55352 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 55352 2688 2826 0 54229 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 224352 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 63370
/proc/meminfo: memFree=128555020/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=221664 CPUtime=221.59 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57933 0 0 0 22150 9 0 0 20 0 1 0 56759442 235999232 55416 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 55416 2688 2826 0 54229 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 224608 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 63372
/proc/meminfo: memFree=128546288/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=230468 memory=221664 CPUtime=281.42 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 57962 0 0 0 28133 9 0 0 20 0 1 0 56759442 235999232 55416 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 57617 55416 2688 2826 0 54229 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 234660 KiB
Current children cumulated memory: 224608 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 63374
/proc/meminfo: memFree=128518568/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=253952 memory=233644 CPUtime=341.22 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 61517 0 0 0 34111 11 0 0 20 0 1 0 56759442 260046848 58411 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 63488 58411 2688 2826 0 60100 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 258144 KiB
Current children cumulated memory: 236588 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 63376
/proc/meminfo: memFree=128473576/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=267956 memory=241868 CPUtime=401.01 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 63696 0 0 0 40090 11 0 0 20 0 1 0 56759442 274386944 60467 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 66989 60467 2688 2826 0 63601 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 272148 KiB
Current children cumulated memory: 244812 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 63379
/proc/meminfo: memFree=128449040/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=284336 memory=252748 CPUtime=460.81 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 66461 0 0 0 46069 12 0 0 20 0 1 0 56759442 291160064 63187 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 71084 63187 2688 2826 0 67696 0
Current children cumulated CPU time: 460.81 s
Current children cumulated vsize: 288528 KiB
Current children cumulated memory: 255692 KiB
[startup+506.431 s]
# the end of solver process 63225 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=504.58 s, system=0.194493 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.24 4.13 4.10 5/267 63379
/proc/meminfo: memFree=128428256/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=284336 memory=252748 CPUtime=484.83 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 66461 0 0 0 48471 12 0 0 20 0 1 0 56759442 291160064 63187 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 71084 63187 2688 2826 0 67696 0
Current children cumulated CPU time: 484.83 s
Current children cumulated vsize: 288528 KiB
Current children cumulated memory: 255692 KiB
[startup+499.2 s]
/proc/loadavg: 4.44 4.17 4.12 5/268 63385
/proc/meminfo: memFree=128473856/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 260 232 0 0 0 0 0 0 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63229] ppid=63225 vsize=284336 memory=252748 CPUtime=497.58 cores=0,2
/proc/63229/stat : 63229 (pbcpreprocessor) R 63225 63225 62658 0 -1 4194304 66485 0 0 0 49746 12 0 0 20 0 1 0 56759442 291160064 63187 18446744073709551615 4198400 15773533 140720989643120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 24047616 140720989645124 140720989645278 140720989645278 140720989650885 0
/proc/63229/statm: 71084 63187 2688 2826 0 67696 0
Current children cumulated CPU time: 497.58 s
Current children cumulated vsize: 288528 KiB
Current children cumulated memory: 255692 KiB
[startup+502.4 s]
/proc/loadavg: 4.48 4.19 4.12 5/268 63390
/proc/meminfo: memFree=128669152/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=498.77 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 406 71100 0 0 0 0 49860 17 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63390] ppid=63225 vsize=23440 memory=19356 CPUtime=1.97 cores=0,2
/proc/63390/stat : 63390 (wmaxcdcl) R 63225 63225 62658 0 -1 4194304 4479 0 0 0 197 0 0 0 20 0 1 0 56809481 24002560 4839 18446744073709551615 4198400 5932793 140723008406144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 24674304 140723008407899 140723008408044 140723008408044 140723008413644 0
/proc/63390/statm: 5860 4839 448 424 0 5315 0
Current children cumulated CPU time: 500.74 s
Current children cumulated vsize: 27632 KiB
Current children cumulated memory: 22300 KiB
[startup+504 s]*
/proc/loadavg: 4.48 4.19 4.12 5/268 63390
/proc/meminfo: memFree=128669152/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=498.77 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 406 71100 0 0 0 0 49860 17 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63390] ppid=63225 vsize=23440 memory=19356 CPUtime=3.57 cores=0,2
/proc/63390/stat : 63390 (wmaxcdcl) R 63225 63225 62658 0 -1 4194304 4480 0 0 0 357 0 0 0 20 0 1 0 56809481 24002560 4839 18446744073709551615 4198400 5932793 140723008406144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 24674304 140723008407899 140723008408044 140723008408044 140723008413644 0
/proc/63390/statm: 5860 4839 448 424 0 5315 0
Current children cumulated CPU time: 502.34 s
Current children cumulated vsize: 27632 KiB
Current children cumulated memory: 22300 KiB
[startup+505.6 s]
/proc/loadavg: 4.44 4.18 4.12 5/268 63390
/proc/meminfo: memFree=128669404/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=498.77 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 406 71100 0 0 0 0 49860 17 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63390] ppid=63225 vsize=26232 memory=21788 CPUtime=5.16 cores=0,2
/proc/63390/stat : 63390 (wmaxcdcl) R 63225 63225 62658 0 -1 4194304 5113 0 0 0 516 0 0 0 20 0 1 0 56809481 26861568 5447 18446744073709551615 4198400 5932793 140723008406144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 24674304 140723008407899 140723008408044 140723008408044 140723008413644 0
/proc/63390/statm: 6558 5447 448 424 0 6013 0
Current children cumulated CPU time: 503.93 s
Current children cumulated vsize: 30424 KiB
Current children cumulated memory: 24732 KiB
[startup+506 s]*
/proc/loadavg: 4.44 4.18 4.12 5/269 63392
/proc/meminfo: memFree=128669404/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=498.77 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 406 71100 0 0 0 0 49860 17 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
[pid=63390] ppid=63225 vsize=26232 memory=21788 CPUtime=5.56 cores=0,2
/proc/63390/stat : 63390 (wmaxcdcl) R 63225 63225 62658 0 -1 4194304 5113 0 0 0 556 0 0 0 20 0 1 0 56809481 26861568 5447 18446744073709551615 4198400 5932793 140723008406144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 24674304 140723008407899 140723008408044 140723008408044 140723008413644 0
/proc/63390/statm: 6558 5447 448 424 0 6013 0
Current children cumulated CPU time: 504.33 s
Current children cumulated vsize: 30424 KiB
Current children cumulated memory: 24732 KiB
[startup+506.4 s]
/proc/loadavg: 4.44 4.18 4.12 5/269 63392
/proc/meminfo: memFree=128669404/131250000 swapFree=33010684/33010684
[pid=63225] ppid=63222 vsize=4192 memory=2944 CPUtime=504.7 cores=0,2
/proc/63225/stat : 63225 (opbsolver) S 63222 63225 62658 0 -1 4194304 434 76454 0 0 0 0 50452 18 20 0 1 0 56759441 4292608 736 18446744073709551615 94748793389056 94748794283589 140733444055296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94748794522640 94748794570384 94748800020480 140733444061470 140733444061673 140733444061673 140733444067275 0
/proc/63225/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 504.7 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 506.431
CPU time (s): 504.774
CPU user time (s): 504.58
CPU system time (s): 0.194493
CPU usage (%): 99.6728
Max. virtual memory (cumulated for all children) (KiB): 288528
Max. memory (cumulated for all children) (KiB): 255692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 504.58
system time used= 0.194493
maximum resident set size= 252748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 477
involuntary context switches= 666
# summary of solver processes directly reported to runsolver:
# pid: 63225
# total CPU time (s): 504.774
# total CPU user time (s): 504.58
# total CPU system time (s): 0.194493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.816618 second user time and 2.50099 second system time
The end
Begin job on nodeC013 at 2025-07-02 00:59:52
IDJOB=4499597
IDBENCH=148784
IDSOLVER=3374
FILE ID=nodeC013/4499597-1751410792
RUNJOBID= nodeC013-1751406746-62668
SLURM_JOB_ID= 9598299
Free space on /tmp= 432864 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499597-1751410792/watcher-4499597-1751410792 -o /tmp/evaluation-result-4499597-1751410792/solver-4499597-1751410792 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751406746-62668 --watchdog 3760 HOME/opbsolver HOME/instance-4499597-1751410792.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 244d2960852ad966f69f423720fc1906
RANDOM SEED=396906628
nodeC013 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.162
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.827
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.833
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.819
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.839
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 : 3599.878
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 : 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.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 : 3597.472
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: 131250000 kB
MemFree: 128672104 kB
MemAvailable: 129078260 kB
Buffers: 3280 kB
Cached: 1205904 kB
SwapCached: 0 kB
Active: 1029908 kB
Inactive: 961096 kB
Active(anon): 795104 kB
Inactive(anon): 0 kB
Active(file): 234804 kB
Inactive(file): 961096 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22596 kB
Writeback: 32 kB
AnonPages: 784996 kB
Mapped: 132092 kB
Shmem: 13284 kB
KReclaimable: 98592 kB
Slab: 186712 kB
SReclaimable: 98592 kB
SUnreclaim: 88120 kB
KernelStack: 4320 kB
PageTables: 4984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1278472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 358400 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432840 MiB
End job on nodeC013 at 2025-07-02 01:08:18