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 (62313 MiB free)
memory of node 1: 64465 MiB (63479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499735-1751410866/watcher-4499735-1751410866 -o /tmp/evaluation-result-4499735-1751410866/solver-4499735-1751410866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751406746-52554 --watchdog 3760 HOME/opbsolver HOME/instance-4499735-1751410866.opb 3600 31000 HOME HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=53483, runsolver pid=53480
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.10 4.09 4.06 5/268 53487
/proc/meminfo: memFree=128767956/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=62952 memory=52224 CPUtime=0.07 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 11038 0 0 0 5 2 0 0 20 0 1 0 56764145 64462848 13056 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 15738 13056 2336 2826 0 12350 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67144 KiB
Current children cumulated memory: 55168 KiB
[startup+0.205912 s]*
/proc/loadavg: 4.10 4.09 4.06 5/268 53487
/proc/meminfo: memFree=128759920/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=78160 memory=66816 CPUtime=0.17 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 14611 0 0 0 15 2 0 0 20 0 1 0 56764145 80035840 16704 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 19540 16704 2400 2826 0 16152 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82352 KiB
Current children cumulated memory: 69760 KiB
[startup+0.30575 s]*
/proc/loadavg: 4.10 4.09 4.06 5/268 53487
/proc/meminfo: memFree=128751856/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=80388 memory=68416 CPUtime=0.28 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 15759 0 0 0 25 3 0 0 20 0 1 0 56764145 82317312 17104 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 20097 17104 2400 2826 0 16709 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 84580 KiB
Current children cumulated memory: 71360 KiB
[startup+0.700211 s]
/proc/loadavg: 4.10 4.09 4.06 5/268 53487
/proc/meminfo: memFree=128717836/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=117812 memory=104316 CPUtime=0.67 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 26028 0 0 0 63 4 0 0 20 0 1 0 56764145 120639488 26079 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 29453 26079 2656 2826 0 26065 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122004 KiB
Current children cumulated memory: 107260 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.09 4.06 5/268 53487
/proc/meminfo: memFree=128784436/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=119368 memory=105340 CPUtime=1.46 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 26285 0 0 0 142 4 0 0 20 0 1 0 56764145 122232832 26335 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 29842 26335 2656 2826 0 26454 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 123560 KiB
Current children cumulated memory: 108284 KiB
[startup+3.10569 s]
/proc/loadavg: 4.09 4.08 4.06 5/263 53497
/proc/meminfo: memFree=128780100/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=119368 memory=105340 CPUtime=3.06 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 26297 0 0 0 302 4 0 0 20 0 1 0 56764145 122232832 26335 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 29842 26335 2656 2826 0 26454 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 123560 KiB
Current children cumulated memory: 108284 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.08 4.06 5/268 53537
/proc/meminfo: memFree=128568884/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=119368 memory=105468 CPUtime=6.25 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 26300 0 0 0 621 4 0 0 20 0 1 0 56764145 122232832 26367 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 29842 26367 2688 2826 0 26454 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 123560 KiB
Current children cumulated memory: 108412 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.06 5/269 53538
/proc/meminfo: memFree=128525288/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=137452 memory=121196 CPUtime=12.64 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 30498 0 0 0 1259 5 0 0 20 0 1 0 56764145 140750848 30299 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 34363 30299 2688 2826 0 30975 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 141644 KiB
Current children cumulated memory: 124140 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.06 5/269 53588
/proc/meminfo: memFree=128828344/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=181968 memory=156012 CPUtime=25.39 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 39222 0 0 0 2532 7 0 0 20 0 1 0 56764145 186335232 39003 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 45492 39003 2688 2826 0 42104 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 186160 KiB
Current children cumulated memory: 158956 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.09 4.06 5/270 53590
/proc/meminfo: memFree=128715876/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=239944 memory=195376 CPUtime=50.93 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 48377 0 0 0 5084 9 0 0 20 0 1 0 56764145 245702656 48844 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 59986 48844 2688 2826 0 56598 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 244136 KiB
Current children cumulated memory: 198320 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/270 53592
/proc/meminfo: memFree=128661572/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=254908 memory=209784 CPUtime=101.98 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 48806 0 0 0 10189 9 0 0 20 0 1 0 56764145 261025792 52446 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 63727 52446 2688 2826 0 60339 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 259100 KiB
Current children cumulated memory: 212728 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/270 53594
/proc/meminfo: memFree=128641160/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=282560 memory=263800 CPUtime=161.84 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 55404 0 0 0 16173 11 0 0 20 0 1 0 56764145 289341440 65950 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 70640 65950 2688 2826 0 67252 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 286752 KiB
Current children cumulated memory: 266744 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.06 5/270 53596
/proc/meminfo: memFree=128603268/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=282560 memory=265208 CPUtime=221.7 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 55495 0 0 0 22159 11 0 0 20 0 1 0 56764145 289341440 66302 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 70640 66302 2688 2826 0 67252 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 55507 0 0 0 28145 11 0 0 20 0 1 0 56764145 289341440 66302 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 70640 66302 2688 2826 0 67252 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 286752 KiB
Current children cumulated memory: 268152 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.11 4.08 5/267 53601
/proc/meminfo: memFree=128599868/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=304692 memory=275540 CPUtime=341.41 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 57769 0 0 0 34130 11 0 0 20 0 1 0 56764145 312004608 68885 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 76173 68885 2688 2826 0 72785 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 308884 KiB
Current children cumulated memory: 278484 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/267 53603
/proc/meminfo: memFree=128584080/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=333244 memory=290772 CPUtime=401.26 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 61593 0 0 0 40114 12 0 0 20 0 1 0 56764145 341241856 72693 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 83311 72693 2688 2826 0 79923 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 337436 KiB
Current children cumulated memory: 293716 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/268 53608
/proc/meminfo: memFree=128526284/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=370240 memory=312660 CPUtime=461.12 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 67063 0 0 0 46098 14 0 0 20 0 1 0 56764145 379125760 78165 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 92560 78165 2688 2826 0 89172 0
Current children cumulated CPU time: 461.12 s
Current children cumulated vsize: 374432 KiB
Current children cumulated memory: 315604 KiB
[startup+504.997 s]
# the end of solver process 53483 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=503.509 s, system=0.196487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.12 4.11 4.08 5/268 53608
/proc/meminfo: memFree=128541452/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=371108 memory=313684 CPUtime=485.16 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 67385 0 0 0 48502 14 0 0 20 0 1 0 56764145 380014592 78421 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 92777 78421 2688 2826 0 89389 0
Current children cumulated CPU time: 485.16 s
Current children cumulated vsize: 375300 KiB
Current children cumulated memory: 316628 KiB
[startup+492.8 s]
/proc/loadavg: 4.11 4.11 4.08 5/268 53608
/proc/meminfo: memFree=128529416/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=371108 memory=313684 CPUtime=491.55 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 67392 0 0 0 49141 14 0 0 20 0 1 0 56764145 380014592 78421 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 92777 78421 2688 2826 0 89389 0
Current children cumulated CPU time: 491.55 s
Current children cumulated vsize: 375300 KiB
Current children cumulated memory: 316628 KiB
[startup+499.2 s]
/proc/loadavg: 4.10 4.10 4.08 5/268 53608
/proc/meminfo: memFree=128485004/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53487] ppid=53483 vsize=389748 memory=331696 CPUtime=497.92 cores=4,6
/proc/53487/stat : 53487 (pbcpreprocessor) R 53483 53483 52543 0 -1 4194304 73258 0 0 0 49778 14 0 0 20 0 1 0 56764145 399101952 82924 18446744073709551615 4198400 15773533 140731858609968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 40054784 140731858614596 140731858614750 140731858614750 140731858620357 0
/proc/53487/statm: 97437 82924 2688 2826 0 94049 0
Current children cumulated CPU time: 497.92 s
Current children cumulated vsize: 393940 KiB
Current children cumulated memory: 334640 KiB
[startup+502.4 s]
/proc/loadavg: 4.10 4.10 4.08 5/268 53613
/proc/meminfo: memFree=128840336/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=499.07 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 407 75856 0 0 0 0 49889 18 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53613] ppid=53483 vsize=14912 memory=11048 CPUtime=2.03 cores=4,6
/proc/53613/stat : 53613 (wmaxcdcl) R 53483 53483 52543 0 -1 4194304 3126 0 0 0 203 0 0 0 20 0 1 0 56814178 15269888 2762 18446744073709551615 4198400 5932793 140726785884496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 18096128 140726785890651 140726785890796 140726785890796 140726785896396 0
/proc/53613/statm: 3728 2762 448 424 0 3183 0
Current children cumulated CPU time: 501.1 s
Current children cumulated vsize: 19104 KiB
Current children cumulated memory: 13992 KiB
[startup+504 s]*
/proc/loadavg: 4.09 4.10 4.08 5/268 53613
/proc/meminfo: memFree=128840336/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=499.07 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 407 75856 0 0 0 0 49889 18 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53613] ppid=53483 vsize=15928 memory=12072 CPUtime=3.63 cores=4,6
/proc/53613/stat : 53613 (wmaxcdcl) R 53483 53483 52543 0 -1 4194304 3395 0 0 0 363 0 0 0 20 0 1 0 56814178 16310272 3018 18446744073709551615 4198400 5932793 140726785884496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 18096128 140726785890651 140726785890796 140726785890796 140726785896396 0
/proc/53613/statm: 3982 3018 448 424 0 3437 0
Current children cumulated CPU time: 502.7 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 15016 KiB
[startup+504.4 s]
/proc/loadavg: 4.09 4.10 4.08 5/268 53613
/proc/meminfo: memFree=128840336/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=499.07 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 407 75856 0 0 0 0 49889 18 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53613] ppid=53483 vsize=15928 memory=12072 CPUtime=4.02 cores=4,6
/proc/53613/stat : 53613 (wmaxcdcl) R 53483 53483 52543 0 -1 4194304 3395 0 0 0 402 0 0 0 20 0 1 0 56814178 16310272 3018 18446744073709551615 4198400 5932793 140726785884496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 18096128 140726785890651 140726785890796 140726785890796 140726785896396 0
/proc/53613/statm: 3982 3018 448 424 0 3437 0
Current children cumulated CPU time: 503.09 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 15016 KiB
[startup+504.8 s]
/proc/loadavg: 4.09 4.10 4.08 5/268 53613
/proc/meminfo: memFree=128840336/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=499.07 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 407 75856 0 0 0 0 49889 18 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53613] ppid=53483 vsize=15928 memory=12072 CPUtime=4.42 cores=4,6
/proc/53613/stat : 53613 (wmaxcdcl) R 53483 53483 52543 0 -1 4194304 3395 0 0 0 442 0 0 0 20 0 1 0 56814178 16310272 3018 18446744073709551615 4198400 5932793 140726785884496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 18096128 140726785890651 140726785890796 140726785890796 140726785896396 0
/proc/53613/statm: 3982 3018 448 424 0 3437 0
Current children cumulated CPU time: 503.49 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 15016 KiB
[startup+504.9 s]
/proc/loadavg: 4.09 4.10 4.08 5/268 53613
/proc/meminfo: memFree=128840336/131250000 swapFree=33007332/33010684
[pid=53483] ppid=53480 vsize=4192 memory=2944 CPUtime=499.07 cores=4,6
/proc/53483/stat : 53483 (opbsolver) S 53480 53483 52543 0 -1 4194304 407 75856 0 0 0 0 49889 18 20 0 1 0 56764142 4292608 736 18446744073709551615 94609832779776 94609833674309 140730327831696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94609833913360 94609833961104 94609838968832 140730327841054 140730327841257 140730327841257 140730327846859 0
/proc/53483/statm: 1048 736 672 219 0 110 0
[pid=53613] ppid=53483 vsize=15928 memory=12328 CPUtime=4.52 cores=4,6
/proc/53613/stat : 53613 (wmaxcdcl) R 53483 53483 52543 0 -1 4194304 3432 0 0 0 452 0 0 0 20 0 1 0 56814178 16310272 3082 18446744073709551615 4198400 5932793 140726785884496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 18096128 140726785890651 140726785890796 140726785890796 140726785896396 0
/proc/53613/statm: 3982 3082 448 424 0 3437 0
Current children cumulated CPU time: 503.59 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 15272 KiB
Child status: 0
Real time (s): 504.997
CPU time (s): 503.705
CPU user time (s): 503.509
CPU system time (s): 0.196487
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 393940
Max. memory (cumulated for all children) (KiB): 334640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 503.509
system time used= 0.196487
maximum resident set size= 337108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 490
involuntary context switches= 343
# summary of solver processes directly reported to runsolver:
# pid: 53483
# total CPU time (s): 503.705
# total CPU user time (s): 503.509
# total CPU system time (s): 0.196487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11653 second user time and 2.35802 second system time
The end
Begin job on nodeC019 at 2025-07-02 01:01:06
IDJOB=4499735
IDBENCH=148790
IDSOLVER=3374
FILE ID=nodeC019/4499735-1751410866
RUNJOBID= nodeC019-1751406746-52554
SLURM_JOB_ID= 9598300
Free space on /tmp= 432948 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499735-1751410866/watcher-4499735-1751410866 -o /tmp/evaluation-result-4499735-1751410866/solver-4499735-1751410866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751406746-52554 --watchdog 3760 HOME/opbsolver HOME/instance-4499735-1751410866.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 978367cd1c9fef669a4594b21e9c8b5c
RANDOM SEED=396906628
nodeC019 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.772
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.37
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.678
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.37
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 : 3600.832
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.37
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.721
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.37
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.678
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.37
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.705
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.37
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 : 3623.225
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128812556 kB
MemAvailable: 128650408 kB
Buffers: 904 kB
Cached: 644436 kB
SwapCached: 440 kB
Active: 1257712 kB
Inactive: 509592 kB
Active(anon): 1109368 kB
Inactive(anon): 27792 kB
Active(file): 148344 kB
Inactive(file): 481800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21396 kB
Writeback: 0 kB
AnonPages: 1122736 kB
Mapped: 108776 kB
Shmem: 15192 kB
KReclaimable: 93896 kB
Slab: 180628 kB
SReclaimable: 93896 kB
SUnreclaim: 86732 kB
KernelStack: 4284 kB
PageTables: 5548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1593896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 780288 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC019 at 2025-07-02 01:09:31