0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4502832-1751440849.opb'
0.48/0.58 c read 49.16MB (568.78ms)
0.48/0.58 c [cnf: #variables 15312 #clauses 65281 #duplicates 0 #arr 5323728]
0.48/0.58 c
0.48/0.58 c make graph and approximate orbits
0.77/0.86 c [group: #orbits ~= 324] (279.90ms)
0.77/0.86 c
0.77/0.86 c detect special group actions
0.77/0.86 c probe for Johnson action (limit=64)
1.08/1.18 c probe for row-column symmetry (limit=64, splits=16.78M)
1.47/1.58 c probe for row symmetry (limit=64, splits=16.78M)
4.36/4.49 c (3632.04ms)
4.36/4.49 c
4.36/4.49 c detect symmetries on remainder
4.36/4.49 c [graph: #vertices 111217 #edges 10708704]
4.46/4.50 c dejavu (support_limit=2048.00MB, budget_limit=64)
5.66/5.77 c [group: #symmetries 2.56*10^2 #generators 8] (1283.19ms)
5.66/5.77 c
5.66/5.77 c optimize generators (opt_passes=64, conjugate_limit=256)
5.66/5.77 c (0.05ms)
5.66/5.77 c
5.66/5.77 c finalize break order and special generators
5.66/5.77 c
5.66/5.77 c add generic predicates (break_depth=20)
5.66/5.78 c added predicates for 8 generators (4.44ms)
5.66/5.78 c
5.66/5.78 c generation finished
5.66/5.78 c [sbp: #constraints 464 #add_vars 152]
5.66/5.78 c
5.66/5.78 c write result to 'HOME/instance-4502832-1751440849.opb.pre'
5.76/5.88 c wrote 49.25MB (103.31ms)
5.76/5.88 c ------------------------------------------------------------------
5.76/5.88 c 3632.04ms 61.82% detect_special
5.76/5.88 c 1283.19ms 21.84% detect_generic
5.76/5.88 c 568.77ms 9.68% parse
5.76/5.88 c 279.90ms 4.76% approx_orbits
5.76/5.88 c 103.31ms 1.76% output
5.76/5.88 c 4.44ms 0.08% break_generic
5.76/5.88 c 2.00ms 0.03% other
5.76/5.88 c 1.42ms 0.02% finalize_order
5.76/5.88 c 0.05ms 0.00% optimize_gens
5.76/5.88 c ───────────────────────────────────────────────
5.76/5.88 c 5875.13ms 100% total
5.76/5.88 c ------------------------------------------------------------------
0.00/5.91 c RoundingSat 2
0.00/5.91 c branch pb25
0.00/5.91 c commit 63f22ad
7.63/7.71 c #variables 15464 #constraints 65744
7.63/7.71 c objective is ce32
25.29/25.42 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
25.29/25.42 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
25.29/25.42 c bounds 268 >= 0 @ 19.2442
35.66/35.89 c bounds 267 >= 0 @ 29.4448
35.77/35.91 c bounds 267 >= 1 @ 29.4599
35.77/35.92 c bounds 267 >= 2 @ 29.4639
35.77/35.93 c bounds 267 >= 3 @ 29.4713
35.77/35.95 c bounds 267 >= 4 @ 29.4772
35.77/35.96 c bounds 267 >= 5 @ 29.4825
35.77/35.97 c bounds 267 >= 6 @ 29.4852
35.77/35.98 c bounds 267 >= 7 @ 29.4897
35.77/35.99 c bounds 267 >= 8 @ 29.4947
35.77/36.00 c bounds 267 >= 9 @ 29.5004
35.87/36.01 c bounds 267 >= 10 @ 29.5039
35.87/36.02 c bounds 267 >= 11 @ 29.5081
35.87/36.03 c bounds 267 >= 12 @ 29.5128
35.87/36.05 c bounds 267 >= 13 @ 29.5178
35.87/36.06 c bounds 267 >= 14 @ 29.5234
35.87/36.08 c bounds 267 >= 15 @ 29.541
35.97/36.11 c bounds 266 >= 15 @ 29.5588
35.97/36.13 c bounds 266 >= 16 @ 29.5664
35.97/36.18 c bounds 265 >= 16 @ 29.6069
36.06/36.20 c bounds 265 >= 17 @ 29.6212
36.06/36.22 c bounds 265 >= 18 @ 29.6268
36.06/36.23 c bounds 265 >= 19 @ 29.6358
36.06/36.25 c bounds 265 >= 20 @ 29.6417
36.06/36.26 c bounds 265 >= 21 @ 29.6496
36.06/36.28 c bounds 265 >= 22 @ 29.6567
36.06/36.29 c bounds 265 >= 23 @ 29.6607
36.16/36.34 c bounds 264 >= 23 @ 29.6984
36.16/36.36 c bounds 264 >= 24 @ 29.7122
36.27/36.41 c bounds 264 >= 25 @ 29.7539
36.36/36.52 c bounds 263 >= 25 @ 29.8431
36.76/36.95 c bounds 263 >= 26 @ 30.2383
36.76/36.98 c bounds 262 >= 26 @ 30.2637
36.87/37.01 c bounds 261 >= 26 @ 30.2738
36.87/37.03 c bounds 260 >= 26 @ 30.2874
36.87/37.05 c bounds 259 >= 26 @ 30.3003
36.87/37.07 c bounds 258 >= 26 @ 30.3195
36.97/37.10 c bounds 257 >= 26 @ 30.3375
36.97/37.14 c bounds 256 >= 26 @ 30.3711
36.97/37.17 c bounds 255 >= 26 @ 30.3891
37.06/37.20 c bounds 254 >= 26 @ 30.4098
37.06/37.22 c bounds 253 >= 26 @ 30.4269
37.06/37.24 c bounds 252 >= 26 @ 30.4395
37.06/37.27 c bounds 251 >= 26 @ 30.4547
37.06/37.29 c bounds 250 >= 26 @ 30.4666
37.16/37.32 c bounds 249 >= 26 @ 30.4924
37.16/37.36 c bounds 248 >= 26 @ 30.5216
37.16/37.39 c bounds 247 >= 26 @ 30.5451
37.26/37.42 c bounds 246 >= 26 @ 30.5628
37.26/37.46 c bounds 245 >= 26 @ 30.5938
37.26/37.48 c bounds 244 >= 26 @ 30.6094
37.36/37.51 c bounds 243 >= 26 @ 30.6351
37.36/37.54 c bounds 242 >= 26 @ 30.6594
37.36/37.57 c bounds 241 >= 26 @ 30.6789
37.46/37.62 c bounds 240 >= 26 @ 30.7165
37.46/37.64 c bounds 239 >= 26 @ 30.7323
37.46/37.66 c bounds 238 >= 26 @ 30.7474
37.46/37.69 c bounds 237 >= 26 @ 30.7679
37.56/37.71 c bounds 236 >= 26 @ 30.7832
37.56/37.73 c bounds 235 >= 26 @ 30.7966
37.56/37.75 c bounds 234 >= 26 @ 30.8114
37.56/37.77 c bounds 233 >= 26 @ 30.8295
37.56/37.79 c bounds 232 >= 26 @ 30.8516
37.66/37.82 c bounds 231 >= 26 @ 30.8739
37.66/37.84 c bounds 230 >= 26 @ 30.891
37.66/37.87 c bounds 229 >= 26 @ 30.9131
37.76/37.90 c bounds 228 >= 26 @ 30.9331
37.76/37.97 c bounds 227 >= 26 @ 30.9977
37.87/38.05 c bounds 226 >= 26 @ 31.0641
37.96/38.11 c bounds 225 >= 26 @ 31.1212
37.96/38.19 c bounds 224 >= 26 @ 31.2046
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 (56236 MiB free)
memory of node 1: 64465 MiB (56006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502832-1751440849/watcher-4502832-1751440849 -o /tmp/evaluation-result-4502832-1751440849/solver-4502832-1751440849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62655 --watchdog 3760 run-opt-ls.sh HOME/instance-4502832-1751440849.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62811, runsolver pid=62808
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.90 1.03 1.07 5/268 62813
/proc/meminfo: memFree=114900648/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62813] ppid=62811 vsize=43852 memory=34888 CPUtime=0.08 cores=1,3
/proc/62813/stat : 62813 (pbsuma) R 62811 62811 62643 0 -1 4194304 7590 0 0 0 7 1 0 0 20 0 1 0 59763619 44904448 8722 18446744073709551615 4210688 4653049 140734696795248 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 14921728 140734696802659 140734696802866 140734696802866 140734696808431 0
/proc/62813/statm: 10963 8722 960 108 0 8371 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48044 KiB
Current children cumulated memory: 37960 KiB
[startup+0.205766 s]*
/proc/loadavg: 0.90 1.03 1.07 5/268 62813
/proc/meminfo: memFree=114876076/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62813] ppid=62811 vsize=69132 memory=58264 CPUtime=0.19 cores=1,3
/proc/62813/stat : 62813 (pbsuma) R 62811 62811 62643 0 -1 4194304 12347 0 0 0 17 2 0 0 20 0 1 0 59763619 70791168 14566 18446744073709551615 4210688 4653049 140734696795248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14921728 140734696802659 140734696802866 140734696802866 140734696808431 0
/proc/62813/statm: 17283 14566 960 108 0 14691 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73324 KiB
Current children cumulated memory: 61336 KiB
[startup+0.305752 s]*
/proc/loadavg: 0.90 1.03 1.07 5/268 62813
/proc/meminfo: memFree=114855412/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62813] ppid=62811 vsize=93356 memory=81608 CPUtime=0.28 cores=1,3
/proc/62813/stat : 62813 (pbsuma) R 62811 62811 62643 0 -1 4194304 17020 0 0 0 25 3 0 0 20 0 1 0 59763619 95596544 20402 18446744073709551615 4210688 4653049 140734696795248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14921728 140734696802659 140734696802866 140734696802866 140734696808431 0
/proc/62813/statm: 23339 20402 960 108 0 20747 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97548 KiB
Current children cumulated memory: 84680 KiB
[startup+0.700209 s]
/proc/loadavg: 0.90 1.03 1.07 5/268 62813
/proc/meminfo: memFree=114816284/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62813] ppid=62811 vsize=212484 memory=187840 CPUtime=0.68 cores=1,3
/proc/62813/stat : 62813 (pbsuma) R 62811 62811 62643 0 -1 4194304 31279 0 0 0 60 8 0 0 20 0 1 0 59763619 217583616 46960 18446744073709551615 4210688 4653049 140734696795248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14921728 140734696802659 140734696802866 140734696802866 140734696808431 0
/proc/62813/statm: 53121 46960 960 108 0 50529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216676 KiB
Current children cumulated memory: 190912 KiB
[startup+1.50019 s]
/proc/loadavg: 0.90 1.03 1.07 5/268 62813
/proc/meminfo: memFree=114698720/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62813] ppid=62811 vsize=229836 memory=203772 CPUtime=1.47 cores=1,3
/proc/62813/stat : 62813 (pbsuma) R 62811 62811 62643 0 -1 4194304 34454 0 0 0 138 9 0 0 20 0 1 0 59763619 235352064 50943 18446744073709551615 4210688 4653049 140734696795248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14921728 140734696802659 140734696802866 140734696802866 140734696808431 0
/proc/62813/statm: 57459 50943 992 108 0 54867 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 234028 KiB
Current children cumulated memory: 206844 KiB
[startup+3.10559 s]
/proc/loadavg: 0.90 1.03 1.07 5/268 62813
/proc/meminfo: memFree=114683028/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62813] ppid=62811 vsize=229836 memory=204028 CPUtime=3.07 cores=1,3
/proc/62813/stat : 62813 (pbsuma) R 62811 62811 62643 0 -1 4194304 34549 0 0 0 298 9 0 0 20 0 1 0 59763619 235352064 51007 18446744073709551615 4210688 4653049 140734696795248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14921728 140734696802659 140734696802866 140734696802866 140734696808431 0
/proc/62813/statm: 57459 51007 992 108 0 54867 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 234028 KiB
Current children cumulated memory: 207100 KiB
[startup+6.30014 s]
/proc/loadavg: 1.15 1.08 1.08 5/268 62814
/proc/meminfo: memFree=114733384/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=97384 memory=53060 CPUtime=0.37 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 10974 0 0 0 34 3 0 0 20 0 1 0 59764209 99721216 13265 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 24346 13265 2016 1147 0 11773 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 101576 KiB
Current children cumulated memory: 56132 KiB
[startup+12.7002 s]
/proc/loadavg: 1.38 1.13 1.10 5/268 62860
/proc/meminfo: memFree=114318016/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=465192 memory=383032 CPUtime=6.76 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 85063 0 0 0 655 21 0 0 20 0 1 0 59764209 476356608 95758 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 116298 95758 2336 1147 0 103725 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 469384 KiB
Current children cumulated memory: 386104 KiB
[startup+25.5002 s]
/proc/loadavg: 1.96 1.27 1.15 5/268 62862
/proc/meminfo: memFree=114122592/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=537516 memory=455412 CPUtime=19.53 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 87123 0 0 0 1929 24 0 0 20 0 1 0 59764209 550416384 113853 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 134379 113853 2336 1147 0 121806 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 541708 KiB
Current children cumulated memory: 458484 KiB
[startup+51.1058 s]
/proc/loadavg: 2.72 1.50 1.23 5/268 62862
/proc/meminfo: memFree=113554956/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=845268 memory=747244 CPUtime=45.08 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 101761 0 0 0 4398 110 0 0 20 0 1 0 59764209 865554432 186811 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 211317 186811 2432 1147 0 198744 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 849460 KiB
Current children cumulated memory: 750316 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.91 1.38 5/269 62912
/proc/meminfo: memFree=109826008/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=987380 memory=853256 CPUtime=96.14 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 104015 0 0 0 9501 113 0 0 20 0 1 0 59764209 1011077120 213314 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 246845 213314 2432 1147 0 234272 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 991572 KiB
Current children cumulated memory: 856328 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.33 1.56 5/270 62919
/proc/meminfo: memFree=108682728/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=1085996 memory=959828 CPUtime=156 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 107103 0 0 0 15482 118 0 0 20 0 1 0 59764209 1112059904 239957 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 271499 239957 2432 1147 0 258926 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1090188 KiB
Current children cumulated memory: 962900 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.65 1.72 5/270 62921
/proc/meminfo: memFree=108550312/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=1180892 memory=1077748 CPUtime=215.84 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 112506 0 0 0 21461 123 0 0 20 0 1 0 59764209 1209233408 269437 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 295223 269437 2432 1147 0 282650 0
################
# More data... #
################
/proc/meminfo: memFree=98609892/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2658496 memory=2288968 CPUtime=3268.25 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 207257 0 0 0 326586 239 0 0 20 0 1 0 59764209 2722299904 572242 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 664624 572242 2432 1147 0 652051 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 2662688 KiB
Current children cumulated memory: 2292040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.06 5/270 63095
/proc/meminfo: memFree=98590592/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2658496 memory=2288968 CPUtime=3328.11 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 207257 0 0 0 332572 239 0 0 20 0 1 0 59764209 2722299904 572242 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 664624 572242 2432 1147 0 652051 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 2662688 KiB
Current children cumulated memory: 2292040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/269 63097
/proc/meminfo: memFree=98552976/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2658496 memory=2288968 CPUtime=3387.96 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 207262 0 0 0 338557 239 0 0 20 0 1 0 59764209 2722299904 572242 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 664624 572242 2432 1147 0 652051 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 2662688 KiB
Current children cumulated memory: 2292040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.22 4.09 5/269 63100
/proc/meminfo: memFree=98533892/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2666932 memory=2301892 CPUtime=3447.82 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 209426 0 0 0 344533 249 0 0 20 0 1 0 59764209 2730938368 575473 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 666733 575473 2432 1147 0 654160 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 2671124 KiB
Current children cumulated memory: 2304964 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.19 4.09 5/269 63103
/proc/meminfo: memFree=98471520/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2681968 memory=2334132 CPUtime=3507.66 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 212877 0 0 0 350516 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 2686160 KiB
Current children cumulated memory: 2337204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/270 63108
/proc/meminfo: memFree=98438164/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2681968 memory=2334132 CPUtime=3567.51 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 212877 0 0 0 356501 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 2686160 KiB
Current children cumulated memory: 2337204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.10 4.16 4.09 5/270 63154
/proc/meminfo: memFree=98445948/131249996 swapFree=33010160/33010684
[pid=62811] ppid=62808 vsize=4192 memory=3072 CPUtime=5.86 cores=1,3
/proc/62811/stat : 62811 (run-opt-ls.sh) S 62808 62811 62643 0 -1 4194304 238 41711 0 0 0 0 572 14 20 0 1 0 59763619 4292608 768 18446744073709551615 93925123956736 93925124851269 140731241122448 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925125090320 93925125138064 93925150633984 140731241130343 140731241130469 140731241130469 140731241136071 0
/proc/62811/statm: 1048 768 704 219 0 110 0
[pid=62814] ppid=62811 vsize=2681968 memory=2334132 CPUtime=3594.15 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62811 62811 62643 0 -1 4194304 212881 0 0 0 359165 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2686160 KiB
Current children cumulated memory: 2337204 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.01 s]
# the end of solver process 62811 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=5.72448 s, system=0.15102 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.02 s]
# the end of solver process 62814 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.37 s, system=2.67573 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+3609.6 s]
/proc/loadavg: 4.10 4.16 4.09 6/269 63154
/proc/meminfo: memFree=98445948/131249996 swapFree=33010160/33010684
[pid=62814] ppid=62808 vsize=2681968 memory=2334132 CPUtime=3594.74 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62808 62811 62643 0 -1 4194304 212881 0 0 0 359224 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current cumulated CPU time of completed processes: 5.8755 s
Current children cumulated CPU time: 3594.74 s
Current children cumulated vsize: 2681968 KiB
Current children cumulated memory: 2334132 KiB
[startup+3610.4 s]
/proc/loadavg: 4.25 4.19 4.10 5/269 63154
/proc/meminfo: memFree=98445476/131249996 swapFree=33010160/33010684
[pid=62814] ppid=62808 vsize=2681968 memory=2334132 CPUtime=3595.54 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62808 62811 62643 0 -1 4194304 212881 0 0 0 359304 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current cumulated CPU time of completed processes: 5.8755 s
Current children cumulated CPU time: 3595.54 s
Current children cumulated vsize: 2681968 KiB
Current children cumulated memory: 2334132 KiB
[startup+3610.8 s]
/proc/loadavg: 4.25 4.19 4.10 5/269 63154
/proc/meminfo: memFree=98445476/131249996 swapFree=33010160/33010684
[pid=62814] ppid=62808 vsize=2681968 memory=2334132 CPUtime=3595.94 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62808 62811 62643 0 -1 4194304 212881 0 0 0 359344 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current cumulated CPU time of completed processes: 5.8755 s
Current children cumulated CPU time: 3595.94 s
Current children cumulated vsize: 2681968 KiB
Current children cumulated memory: 2334132 KiB
[startup+3611 s]*
/proc/loadavg: 4.25 4.19 4.10 5/269 63154
/proc/meminfo: memFree=98443956/131249996 swapFree=33010160/33010684
[pid=62814] ppid=62808 vsize=2681968 memory=2334132 CPUtime=3596.14 cores=1,3
/proc/62814/stat : 62814 (roundingsat) R 62808 62811 62643 0 -1 4194304 212881 0 0 0 359364 250 0 0 20 0 1 0 59764209 2746335232 583533 18446744073709551615 4227072 8923433 140735413774768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35090432 140735413778758 140735413778984 140735413778984 140735413784554 0
/proc/62814/statm: 670492 583533 2432 1147 0 657919 0
Current cumulated CPU time of completed processes: 5.8755 s
Current children cumulated CPU time: 3596.14 s
Current children cumulated vsize: 2681968 KiB
Current children cumulated memory: 2334132 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.02
CPU time (s): 3602.05
CPU user time (s): 3599.37
CPU system time (s): 2.67573
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 2871404
Max. memory (cumulated for all children) (KiB): 2337204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.37
system time used= 2.67573
maximum resident set size= 2334132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237
involuntary context switches= 1815
# summary of solver processes directly reported to runsolver:
# pid: 62811,62814
# total CPU time (s): 3602.05
# total CPU user time (s): 3599.37
# total CPU system time (s): 2.67573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73588 second user time and 16.8956 second system time
The end
Begin job on nodeC032 at 2025-07-02 09:20:50
IDJOB=4502832
IDBENCH=155399
IDSOLVER=3355
FILE ID=nodeC032/4502832-1751440849
RUNJOBID= nodeC032-1751440844-62655
SLURM_JOB_ID= 9598402
Free space on /tmp= 431036 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502832-1751440849/watcher-4502832-1751440849 -o /tmp/evaluation-result-4502832-1751440849/solver-4502832-1751440849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62655 --watchdog 3760 run-opt-ls.sh HOME/instance-4502832-1751440849.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=1872573068
nodeC032 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.835
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.69
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.406
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.69
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 : 3569.110
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.69
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 : 3620.958
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.69
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.843
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.69
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.834
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.591
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.69
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 : 3244.786
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114937352 kB
MemAvailable: 129552076 kB
Buffers: 2728 kB
Cached: 15294872 kB
SwapCached: 20 kB
Active: 536540 kB
Inactive: 14927704 kB
Active(anon): 181424 kB
Inactive(anon): 3268 kB
Active(file): 355116 kB
Inactive(file): 14924436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68652 kB
Writeback: 140 kB
AnonPages: 169872 kB
Mapped: 117076 kB
Shmem: 18048 kB
KReclaimable: 348824 kB
Slab: 441724 kB
SReclaimable: 348824 kB
SUnreclaim: 92900 kB
KernelStack: 4336 kB
PageTables: 3548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 518108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429728 MiB
End job on nodeC032 at 2025-07-02 10:21:01