0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
20.97/21.15 c #variables 10240998 #constraints 7000
21.05/21.21 c objective is ce32
26.84/27.10 c initial watched CF 32, 64, 128, Arb: 998 , 0 , 0 , 0
26.84/27.10 c initial counting CF 32, 64, 128, Arb: 999 , 0 , 0 , 0
26.84/27.10 c GLOBAL bounds - >= 0 @ 23.5427
46.05/46.37 c GLOBAL bounds - >= 0 @ 35.2442
62.79/63.13 c GLOBAL bounds - >= 0 @ 46.9154
81.70/82.14 c GLOBAL bounds - >= 0 @ 60.6474
105.20/105.77 c GLOBAL bounds - >= 0 @ 77.4931
147.52/148.27 c GLOBAL bounds - >= 0 @ 108.982
467.88/469.94 terminate called after throwing an instance of 'std::bad_alloc'
467.88/469.94 what(): std::bad_alloc
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: 63837 MiB (440 MiB free)
memory of node 1: 64465 MiB (21168 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498569-1751403611/watcher-4498569-1751403611 -o /tmp/evaluation-result-4498569-1751403611/solver-4498569-1751403611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66778 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4498569-1751403611.opb PROOFDIR/proof-4498569-1751403611
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=67764, runsolver pid=67761
[startup+0.100064 s]*
/proc/loadavg: 4.45 4.22 4.19 5/258 67766
/proc/meminfo: memFree=21930880/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=841716 memory=206924 CPUtime=0.04 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 456 0 0 0 0 4 0 0 20 0 1 0 56040765 861917184 51731 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 210429 51731 1888 1147 0 197856 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 845908 KiB
Current children cumulated memory: 209868 KiB
[startup+0.205844 s]*
/proc/loadavg: 4.45 4.22 4.19 5/258 67766
/proc/meminfo: memFree=21500688/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=841716 memory=632908 CPUtime=0.14 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 664 0 0 0 2 12 0 0 20 0 1 0 56040765 861917184 158227 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 210429 158227 1888 1147 0 197856 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 845908 KiB
Current children cumulated memory: 635852 KiB
[startup+0.305793 s]*
/proc/loadavg: 4.45 4.22 4.19 5/258 67766
/proc/meminfo: memFree=21329100/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=841716 memory=794444 CPUtime=0.24 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 1210 0 0 0 8 16 0 0 20 0 1 0 56040765 861917184 198611 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 210429 198611 1888 1147 0 197856 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 845908 KiB
Current children cumulated memory: 797388 KiB
[startup+0.7003 s]
/proc/loadavg: 4.45 4.22 4.19 5/258 67766
/proc/meminfo: memFree=21329100/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=1212816 memory=1028724 CPUtime=0.63 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 3039 0 0 0 42 21 0 0 20 0 1 0 56040765 1241923584 257181 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 303204 257181 1888 1147 0 290631 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1217008 KiB
Current children cumulated memory: 1031668 KiB
[startup+1.50037 s]
/proc/loadavg: 4.45 4.22 4.19 6/258 67766
/proc/meminfo: memFree=20621196/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=2154012 memory=2079948 CPUtime=1.42 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 10482 0 0 0 90 52 0 0 20 0 1 0 56040765 2205708288 519987 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 538503 519987 1920 1147 0 525930 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 2158204 KiB
Current children cumulated memory: 2082892 KiB
[startup+3.11367 s]
/proc/loadavg: 4.45 4.22 4.19 6/258 67766
/proc/meminfo: memFree=18964360/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=3424228 memory=2954176 CPUtime=3.03 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 18194 0 0 0 207 96 0 0 20 0 1 0 56040765 3506409472 738544 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 856057 738544 1920 1147 0 843484 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 3428420 KiB
Current children cumulated memory: 2957120 KiB
[startup+6.30037 s]
/proc/loadavg: 4.41 4.22 4.19 6/259 67767
/proc/meminfo: memFree=19638912/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=2448348 memory=2360980 CPUtime=6.22 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 41872 0 0 0 515 107 0 0 20 0 1 0 56040765 2507108352 590245 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 612087 590245 1952 1147 0 599514 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2452540 KiB
Current children cumulated memory: 2363924 KiB
[startup+12.7004 s]
/proc/loadavg: 4.38 4.21 4.19 6/259 67767
/proc/meminfo: memFree=18864760/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=3106512 memory=3005052 CPUtime=12.59 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 132068 0 0 0 1129 130 0 0 20 0 1 0 56040765 3181068288 751263 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 776628 751263 1952 1147 0 764055 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 3110704 KiB
Current children cumulated memory: 3007996 KiB
[startup+25.5004 s]
/proc/loadavg: 4.29 4.20 4.18 6/259 67768
/proc/meminfo: memFree=13325136/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=8332364 memory=8057360 CPUtime=25.33 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 729425 0 0 0 2209 324 0 0 20 0 1 0 56040765 8532340736 2014340 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 2083091 2014340 2304 1147 0 2070518 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 8336556 KiB
Current children cumulated memory: 8060304 KiB
[startup+51.1139 s]
/proc/loadavg: 4.19 4.19 4.18 6/259 67779
/proc/meminfo: memFree=10153788/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=10813116 memory=9972936 CPUtime=50.85 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 844364 0 0 0 3700 1385 0 0 20 0 1 0 56040765 11072630784 2493234 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 2703279 2493234 2336 1147 0 2690706 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 10817308 KiB
Current children cumulated memory: 9975880 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.18 6/262 67784
/proc/meminfo: memFree=4499468/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=13968416 memory=12383276 CPUtime=101.81 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 1170792 0 0 0 7504 2677 0 0 20 0 1 0 56040765 14303657984 3095819 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 3492104 3095819 2336 1147 0 3479531 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 13972608 KiB
Current children cumulated memory: 12386220 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.21 4.18 5/263 67841
/proc/meminfo: memFree=46513276/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=17789248 memory=15487044 CPUtime=161.56 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 1581185 0 0 0 12252 3904 0 0 20 0 1 0 56040765 18216189952 3871761 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 4447312 3871761 2336 1147 0 4434739 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 17793440 KiB
Current children cumulated memory: 15489988 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/269 67851
/proc/meminfo: memFree=36746188/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=21410356 memory=18892104 CPUtime=221.29 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 2274228 0 0 0 17994 4135 0 0 20 0 1 0 56040765 21924204544 4723026 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 5352589 4723026 2336 1147 0 5340016 0
Current children cumulated CPU time: 221.29 s
Current children cumulated vsize: 21414548 KiB
Current children cumulated memory: 18895048 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/269 67853
/proc/meminfo: memFree=26676652/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=23712700 memory=21898792 CPUtime=281.05 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 2857680 0 0 0 23764 4341 0 0 20 0 1 0 56040765 24281804800 5474698 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 5928175 5474698 2336 1147 0 5915602 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 23716892 KiB
Current children cumulated memory: 21901736 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/269 67856
/proc/meminfo: memFree=19088968/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=27599608 memory=24992836 CPUtime=340.81 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 3482734 0 0 0 29485 4596 0 0 20 0 1 0 56040765 28261998592 6248209 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 6899902 6248209 2336 1147 0 6887329 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 27603800 KiB
Current children cumulated memory: 24995780 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.21 4.19 5/269 67858
/proc/meminfo: memFree=10950272/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=27599608 memory=25698964 CPUtime=400.56 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 3542963 0 0 0 35321 4735 0 0 20 0 1 0 56040765 28261998592 6424741 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 6899902 6424741 2336 1147 0 6887329 0
Current children cumulated CPU time: 400.56 s
Current children cumulated vsize: 27603800 KiB
Current children cumulated memory: 25701908 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/267 67864
/proc/meminfo: memFree=3696536/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=30985548 memory=27284532 CPUtime=460.33 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 4229952 0 0 0 41084 4949 0 0 20 0 1 0 56040765 31729201152 6821133 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 7746387 6821133 2336 1147 0 7733814 0
Current children cumulated CPU time: 460.33 s
Current children cumulated vsize: 30989740 KiB
Current children cumulated memory: 27287476 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+469.9 s]
/proc/loadavg: 4.19 4.20 4.18 4/267 67864
/proc/meminfo: memFree=2829248/131382112 swapFree=33010416/33010684
[pid=67764] ppid=67761 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67764/stat : 67764 (run-opt-log.sh) S 67761 67764 66766 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56040762 4292608 736 18446744073709551615 94121428148224 94121429042757 140724050109552 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94121429281808 94121429329552 94121437990912 140724050118945 140724050119140 140724050119140 140724050124742 0
/proc/67764/statm: 1048 736 672 219 0 110 0
[pid=67766] ppid=67764 vsize=31769100 memory=28207112 CPUtime=467.88 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67764 67764 66766 0 -1 4194304 4489883 0 0 0 41768 5020 0 0 20 0 1 0 56040765 32531558400 7051778 18446744073709551615 4227072 8923433 140732494672240 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 0
/proc/67766/statm: 7942275 7051778 2336 1147 0 7929702 0
Current children cumulated CPU time: 467.88 s
Current children cumulated vsize: 31773292 KiB
Current children cumulated memory: 28210056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+469.905 s]
# the end of solver process 67764 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001712 s, system=0.003185 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+479.955 s]
# the end of solver process 67766 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=417.759 s, system=53.2589 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+470.404 s]
/proc/loadavg: 4.26 4.21 4.19 5/268 67867
/proc/meminfo: memFree=2317696/131382112 swapFree=33010416/33010684
[pid=67766] ppid=67761 vsize=31795104 memory=28233736 CPUtime=468.27 cores=1,3
/proc/67766/stat : 67766 (roundingsat) S 67761 67764 66766 0 -1 4195840 4496403 0 0 0 41771 5056 0 0 20 0 1 0 56040765 32558186496 7058434 18446744073709551615 4227072 8923433 140732494672240 140732494667968 140300488587884 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 6
/proc/67766/statm: 7948776 7058434 2464 1147 0 7936203 0
Current cumulated CPU time of completed processes: 0.004897 s
Current children cumulated CPU time: 468.27 s
Current children cumulated vsize: 31795104 KiB
Current children cumulated memory: 28233736 KiB
[startup+471.2 s]
/proc/loadavg: 4.26 4.21 4.19 5/268 67867
/proc/meminfo: memFree=1408804/131382112 swapFree=33010416/33010684
[pid=67766] ppid=67761 vsize=31795104 memory=28233736 CPUtime=469.06 cores=1,3
/proc/67766/stat : 67766 (roundingsat) R 67761 67764 66766 0 -1 4195840 4496403 0 0 0 41771 5135 0 0 20 0 1 0 56040765 32558186496 7058434 18446744073709551615 4227072 8923433 140732494672240 140732494667968 140300488587884 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 6
/proc/67766/statm: 7948776 7058434 2464 1147 0 7936203 0
Current cumulated CPU time of completed processes: 0.004897 s
Current children cumulated CPU time: 469.06 s
Current children cumulated vsize: 31795104 KiB
Current children cumulated memory: 28233736 KiB
[startup+471.6 s]
/proc/loadavg: 4.26 4.21 4.19 5/268 67867
/proc/meminfo: memFree=1408804/131382112 swapFree=33010416/33010684
[pid=67766] ppid=67761 vsize=31795104 memory=28233736 CPUtime=469.11 cores=1,3
/proc/67766/stat : 67766 (roundingsat) S 67761 67764 66766 0 -1 4195840 4496403 0 0 0 41771 5140 0 0 20 0 1 0 56040765 32558186496 7058434 18446744073709551615 4227072 8923433 140732494672240 140732494667968 140300488587884 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 6
/proc/67766/statm: 7948776 7058434 2464 1147 0 7936203 0
Current cumulated CPU time of completed processes: 0.004897 s
Current children cumulated CPU time: 469.11 s
Current children cumulated vsize: 31795104 KiB
Current children cumulated memory: 28233736 KiB
[startup+471.801 s]
/proc/loadavg: 4.26 4.21 4.19 5/268 67867
/proc/meminfo: memFree=1408804/131382112 swapFree=33010416/33010684
[pid=67766] ppid=67761 vsize=31795104 memory=28233736 CPUtime=469.11 cores=1,3
/proc/67766/stat : 67766 (roundingsat) S 67761 67764 66766 0 -1 4195840 4496403 0 0 0 41771 5140 0 0 20 0 1 0 56040765 32558186496 7058434 18446744073709551615 4227072 8923433 140732494672240 140732494667968 140300488587884 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 6
/proc/67766/statm: 7948776 7058434 2464 1147 0 7936203 0
Current cumulated CPU time of completed processes: 0.004897 s
Current children cumulated CPU time: 469.11 s
Current children cumulated vsize: 31795104 KiB
Current children cumulated memory: 28233736 KiB
[startup+471.901 s]
/proc/loadavg: 4.26 4.21 4.19 5/268 67867
/proc/meminfo: memFree=1408804/131382112 swapFree=33010416/33010684
[pid=67766] ppid=67761 vsize=31795104 memory=28233736 CPUtime=469.11 cores=1,3
/proc/67766/stat : 67766 (roundingsat) S 67761 67764 66766 0 -1 4195840 4496403 0 0 0 41771 5140 0 0 20 0 1 0 56040765 32558186496 7058434 18446744073709551615 4227072 8923433 140732494672240 140732494667968 140300488587884 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32456704 140732494674258 140732494674472 140732494674472 140732494680042 6
/proc/67766/statm: 7948776 7058434 2464 1147 0 7936203 0
Current cumulated CPU time of completed processes: 0.004897 s
Current children cumulated CPU time: 469.11 s
Current children cumulated vsize: 31795104 KiB
Current children cumulated memory: 28233736 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 479.955
CPU time (s): 471.018
CPU user time (s): 417.759
CPU system time (s): 53.2589
CPU usage (%): 98.138
Max. virtual memory (cumulated for all children) (KiB): 31795104
Max. memory (cumulated for all children) (KiB): 28233736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 417.759
system time used= 53.2589
maximum resident set size= 28233736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4496612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21498256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129823
involuntary context switches= 1706
# summary of solver processes directly reported to runsolver:
# pid: 67764,67766
# total CPU time (s): 471.018
# total CPU user time (s): 417.759
# total CPU system time (s): 53.2589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55294 second user time and 5.03341 second system time
The end
Begin job on nodeC007 at 2025-07-01 23:00:16
IDJOB=4498569
IDBENCH=148705
IDSOLVER=3351
FILE ID=nodeC007/4498569-1751403611
RUNJOBID= nodeC007-1751396901-66778
SLURM_JOB_ID= 9598273
Free space on /tmp= 432356 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__2048.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498569-1751403611/watcher-4498569-1751403611 -o /tmp/evaluation-result-4498569-1751403611/solver-4498569-1751403611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66778 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4498569-1751403611.opb PROOFDIR/proof-4498569-1751403611
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 760396d2ac3ca07c4585eda9e150afe7
RANDOM SEED=1329903866
nodeC007 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 : 0xb00001f
cpu MHz : 3661.915
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.291
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3592.113
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3662.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3658.778
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.785
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 22128240 kB
MemAvailable: 104283944 kB
Buffers: 2736 kB
Cached: 82860900 kB
SwapCached: 28 kB
Active: 25977524 kB
Inactive: 82378232 kB
Active(anon): 25504796 kB
Inactive(anon): 5344 kB
Active(file): 472728 kB
Inactive(file): 82372888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3833684 kB
Writeback: 0 kB
AnonPages: 25492960 kB
Mapped: 113192 kB
Shmem: 17932 kB
KReclaimable: 299428 kB
Slab: 489244 kB
SReclaimable: 299428 kB
SUnreclaim: 189816 kB
KernelStack: 4144 kB
PageTables: 54440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 29268948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 516096 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430044 MiB
End job on nodeC007 at 2025-07-01 23:08:16