0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4503064-1751482520.opb'
0.57/0.60 c read 49.48MB (588.96ms)
0.57/0.60 c [cnf: #variables 15008 #clauses 65281 #duplicates 0 #arr 5388960]
0.57/0.60 c
0.57/0.60 c make graph and approximate orbits
0.86/0.91 c [group: #orbits ~= 328] (300.78ms)
0.86/0.91 c
0.86/0.91 c detect special group actions
0.86/0.91 c probe for Johnson action (limit=64)
1.17/1.21 c probe for row-column symmetry (limit=64, splits=16.78M)
1.37/1.43 c probe for row symmetry (limit=64, splits=16.78M)
5.45/5.53 c (4626.02ms)
5.45/5.53 c
5.45/5.53 c detect symmetries on remainder
5.45/5.53 c [graph: #vertices 110305 #edges 10837952]
5.45/5.55 c dejavu (support_limit=2048.00MB, budget_limit=64)
6.74/6.88 c [group: #symmetries 2.56*10^2 #generators 8] (1345.07ms)
6.74/6.88 c
6.74/6.88 c optimize generators (opt_passes=64, conjugate_limit=256)
6.74/6.88 c (0.07ms)
6.74/6.88 c
6.74/6.88 c finalize break order and special generators
6.74/6.88 c
6.74/6.88 c add generic predicates (break_depth=20)
6.74/6.88 c added predicates for 8 generators (4.23ms)
6.74/6.88 c
6.74/6.88 c generation finished
6.74/6.88 c [sbp: #constraints 464 #add_vars 152]
6.74/6.88 c
6.74/6.88 c write result to 'HOME/instance-4503064-1751482520.opb.pre'
6.85/6.99 c wrote 49.56MB (106.13ms)
6.85/6.99 c ------------------------------------------------------------------
6.85/6.99 c 4626.02ms 66.33% detect_special
6.85/6.99 c 1345.07ms 19.28% detect_generic
6.85/6.99 c 588.96ms 8.44% parse
6.85/6.99 c 300.78ms 4.31% approx_orbits
6.85/6.99 c 106.13ms 1.52% output
6.85/6.99 c 4.23ms 0.06% break_generic
6.85/6.99 c 2.08ms 0.03% other
6.85/6.99 c 1.42ms 0.02% finalize_order
6.85/6.99 c 0.07ms 0.00% optimize_gens
6.85/6.99 c ───────────────────────────────────────────────
6.85/6.99 c 6974.75ms 100% total
6.85/6.99 c ------------------------------------------------------------------
6.95/7.03 c RoundingSat 2
6.95/7.03 c branch pb25
6.95/7.03 c commit 63f22ad
8.62/8.72 c #variables 15160 #constraints 65744
8.62/8.72 c objective is ce32
8.62/8.72 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
8.62/8.72 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
8.62/8.72 c bounds - >= 0 @ 1.52581
30.15/30.33 c bounds 1408 >= 0 @ 22.8519
30.15/30.34 c bounds 1408 >= 1 @ 22.8563
30.15/30.34 c bounds 1408 >= 2 @ 22.8603
30.15/30.35 c bounds 1408 >= 3 @ 22.8635
30.15/30.36 c bounds 1408 >= 4 @ 22.8675
30.15/30.37 c bounds 1408 >= 5 @ 22.8736
30.15/30.38 c bounds 1408 >= 6 @ 22.8766
30.15/30.39 c bounds 1408 >= 7 @ 22.8816
30.25/30.40 c bounds 1408 >= 8 @ 22.886
30.25/30.41 c bounds 1408 >= 9 @ 22.8889
30.25/30.42 c bounds 1408 >= 10 @ 22.8918
30.25/30.43 c bounds 1408 >= 11 @ 22.8965
30.25/30.44 c bounds 1408 >= 12 @ 22.902
30.25/30.45 c bounds 1408 >= 13 @ 22.9069
30.25/30.46 c bounds 1408 >= 14 @ 22.9125
30.25/30.48 c bounds 1408 >= 15 @ 22.918
30.25/30.49 c bounds 1408 >= 16 @ 22.924
30.36/30.50 c bounds 1408 >= 17 @ 22.9317
30.36/30.51 c bounds 1408 >= 18 @ 22.9369
30.36/30.52 c bounds 1408 >= 19 @ 22.9423
30.36/30.53 c bounds 1408 >= 20 @ 22.9512
30.36/30.55 c bounds 1408 >= 21 @ 22.956
30.36/30.56 c bounds 1408 >= 22 @ 22.9615
30.36/30.58 c bounds 1408 >= 23 @ 22.9712
30.46/30.60 c bounds 1408 >= 24 @ 22.9822
30.46/30.62 c bounds 1408 >= 25 @ 22.9947
30.46/30.65 c bounds 1408 >= 26 @ 23.0117
30.46/30.66 c bounds 1408 >= 27 @ 23.0182
30.46/30.68 c bounds 1408 >= 28 @ 23.0336
30.75/30.98 c bounds 1407 >= 28 @ 23.3025
30.85/31.03 c bounds 1407 >= 29 @ 23.3452
31.25/31.46 c bounds 1407 >= 30 @ 23.7361
31.35/31.50 c bounds 1406 >= 30 @ 23.77
31.35/31.54 c bounds 1405 >= 30 @ 23.7985
31.35/31.57 c bounds 1404 >= 30 @ 23.8216
31.45/31.60 c bounds 1403 >= 30 @ 23.8441
31.45/31.65 c bounds 1402 >= 30 @ 23.8828
31.45/31.68 c bounds 1401 >= 30 @ 23.9006
31.55/31.71 c bounds 1400 >= 30 @ 23.9204
31.55/31.74 c bounds 1399 >= 30 @ 23.9458
31.55/31.77 c bounds 1398 >= 30 @ 23.9641
31.65/31.80 c bounds 1397 >= 30 @ 23.984
31.65/31.84 c bounds 1396 >= 30 @ 24.0066
31.65/31.86 c bounds 1395 >= 30 @ 24.0251
31.65/31.89 c bounds 1394 >= 30 @ 24.0366
31.75/31.91 c bounds 1393 >= 30 @ 24.0545
31.75/31.94 c bounds 1392 >= 30 @ 24.0688
31.75/31.97 c bounds 1391 >= 30 @ 24.0921
31.85/32.00 c bounds 1390 >= 30 @ 24.1107
31.85/32.04 c bounds 1389 >= 30 @ 24.1327
31.85/32.07 c bounds 1388 >= 30 @ 24.1514
31.85/32.09 c bounds 1387 >= 30 @ 24.1651
31.96/32.11 c bounds 1386 >= 30 @ 24.1796
31.96/32.14 c bounds 1385 >= 30 @ 24.2009
31.96/32.17 c bounds 1384 >= 30 @ 24.2172
32.05/32.20 c bounds 1383 >= 30 @ 24.2384
32.05/32.22 c bounds 1382 >= 30 @ 24.2571
32.05/32.24 c bounds 1381 >= 30 @ 24.2724
32.05/32.27 c bounds 1380 >= 30 @ 24.2897
32.05/32.29 c bounds 1379 >= 30 @ 24.3075
32.14/32.32 c bounds 1378 >= 30 @ 24.3221
32.14/32.34 c bounds 1377 >= 30 @ 24.3354
32.14/32.37 c bounds 1376 >= 30 @ 24.3543
32.14/32.40 c bounds 1375 >= 30 @ 24.3753
32.25/32.42 c bounds 1374 >= 30 @ 24.3887
32.25/32.45 c bounds 1373 >= 30 @ 24.4095
32.25/32.47 c bounds 1372 >= 30 @ 24.422
32.34/32.50 c bounds 1371 >= 30 @ 24.4423
32.34/32.53 c bounds 1370 >= 30 @ 24.4582
32.34/32.55 c bounds 1369 >= 30 @ 24.4743
32.34/32.58 c bounds 1368 >= 30 @ 24.4953
32.45/32.61 c bounds 1367 >= 30 @ 24.5156
32.45/32.63 c bounds 1366 >= 30 @ 24.5319
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 (60897 MiB free)
memory of node 1: 64465 MiB (63328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503064-1751482520/watcher-4503064-1751482520 -o /tmp/evaluation-result-4503064-1751482520/solver-4503064-1751482520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82010 --watchdog 3760 run-opt-break.sh HOME/instance-4503064-1751482520.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82323, runsolver pid=82320
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.11 3.85 5/270 82325
/proc/meminfo: memFree=127188716/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=39516 memory=30852 CPUtime=0.07 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 5835 0 0 0 6 1 0 0 20 0 1 0 63929577 40464384 7713 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 9879 7713 928 108 0 7287 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 33924 KiB
[startup+0.205845 s]*
/proc/loadavg: 4.13 4.11 3.85 5/270 82325
/proc/meminfo: memFree=127158788/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=67036 memory=54692 CPUtime=0.17 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 10477 0 0 0 15 2 0 0 20 0 1 0 63929577 68644864 13673 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 16759 13673 928 108 0 14167 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 71228 KiB
Current children cumulated memory: 57764 KiB
[startup+0.305928 s]*
/proc/loadavg: 4.13 4.11 3.85 5/270 82325
/proc/meminfo: memFree=127139152/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=88808 memory=75596 CPUtime=0.28 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 14477 0 0 0 25 3 0 0 20 0 1 0 63929577 90939392 18899 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 22202 18899 928 108 0 19610 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93000 KiB
Current children cumulated memory: 78668 KiB
[startup+0.700206 s]
/proc/loadavg: 4.13 4.11 3.85 5/270 82325
/proc/meminfo: memFree=127117352/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=212260 memory=179260 CPUtime=0.67 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 29517 0 0 0 59 8 0 0 20 0 1 0 63929577 217354240 44815 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 53065 44815 960 108 0 50473 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 216452 KiB
Current children cumulated memory: 182332 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 3.85 5/270 82325
/proc/meminfo: memFree=126983268/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=229456 memory=203592 CPUtime=1.47 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 32878 0 0 0 137 10 0 0 20 0 1 0 63929577 234962944 50898 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 57364 50898 992 108 0 54772 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 233648 KiB
Current children cumulated memory: 206664 KiB
[startup+3.10598 s]
/proc/loadavg: 4.12 4.11 3.85 5/270 82325
/proc/meminfo: memFree=126983268/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=229456 memory=203592 CPUtime=3.07 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 32898 0 0 0 297 10 0 0 20 0 1 0 63929577 234962944 50898 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 57364 50898 992 108 0 54772 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 233648 KiB
Current children cumulated memory: 206664 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 3.85 5/270 82325
/proc/meminfo: memFree=126912728/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82325] ppid=82323 vsize=384636 memory=311896 CPUtime=6.25 cores=5,7
/proc/82325/stat : 82325 (pbsuma) R 82323 82323 81997 0 -1 4194304 39532 0 0 0 613 12 0 0 20 0 1 0 63929577 393867264 77974 18446744073709551615 4210688 4653049 140736345621024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29925376 140736345622883 140736345623090 140736345623090 140736345628655 0
/proc/82325/statm: 96159 77974 992 108 0 93567 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 388828 KiB
Current children cumulated memory: 314968 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 3.85 5/270 82326
/proc/meminfo: memFree=126630512/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=424324 memory=344120 CPUtime=5.65 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 61130 0 0 0 530 35 0 0 20 0 1 0 63930278 434507776 86030 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 106081 86030 2336 1147 0 93508 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 428516 KiB
Current children cumulated memory: 347192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 3.85 5/270 82326
/proc/meminfo: memFree=126779476/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=424324 memory=344120 CPUtime=18.4 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 61211 0 0 0 1804 36 0 0 20 0 1 0 63930278 434507776 86030 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 106081 86030 2336 1147 0 93508 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 428516 KiB
Current children cumulated memory: 347192 KiB
[startup+51.1059 s]
/proc/loadavg: 4.05 4.09 3.86 5/270 82327
/proc/meminfo: memFree=126588376/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=691832 memory=570852 CPUtime=43.94 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 89116 0 0 0 4277 117 0 0 20 0 1 0 63930278 708435968 142713 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 172958 142713 2400 1147 0 160385 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 696024 KiB
Current children cumulated memory: 573924 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 3.87 5/269 82329
/proc/meminfo: memFree=126341196/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=829276 memory=690344 CPUtime=94.97 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 90978 0 0 0 9377 120 0 0 20 0 1 0 63930278 849178624 172586 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 207319 172586 2400 1147 0 194746 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 833468 KiB
Current children cumulated memory: 693416 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 3.90 5/269 82334
/proc/meminfo: memFree=126187776/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=926020 memory=786912 CPUtime=154.79 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 93785 0 0 0 15352 127 0 0 20 0 1 0 63930278 948244480 196728 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 231505 196728 2400 1147 0 218932 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 930212 KiB
Current children cumulated memory: 789984 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 3.91 5/269 82336
/proc/meminfo: memFree=126054876/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=1038264 memory=901840 CPUtime=214.64 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 97891 0 0 0 21331 133 0 0 20 0 1 0 63930278 1063182336 225460 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 259566 225460 2400 1147 0 246993 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/271 82700
/proc/meminfo: memFree=124336596/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=2143044 memory=2009200 CPUtime=3325.39 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 184431 0 0 0 332269 270 0 0 20 0 1 0 63930278 2194477056 502300 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 535761 502300 2400 1147 0 523188 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 2147236 KiB
Current children cumulated memory: 2012272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/270 82702
/proc/meminfo: memFree=124239572/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=2532328 memory=2030436 CPUtime=3385.18 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 188377 0 0 0 338240 278 0 0 20 0 1 0 63930278 2593103872 507609 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 633082 507609 2400 1147 0 620509 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 2536520 KiB
Current children cumulated memory: 2033508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/269 82704
/proc/meminfo: memFree=124163260/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=2532328 memory=2030436 CPUtime=3444.99 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 188377 0 0 0 344221 278 0 0 20 0 1 0 63930278 2593103872 507609 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 633082 507609 2400 1147 0 620509 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 2536520 KiB
Current children cumulated memory: 2033508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/270 82711
/proc/meminfo: memFree=123905708/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=2532328 memory=2030436 CPUtime=3504.81 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 188377 0 0 0 350203 278 0 0 20 0 1 0 63930278 2593103872 507609 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 633082 507609 2400 1147 0 620509 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 2536520 KiB
Current children cumulated memory: 2033508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 82713
/proc/meminfo: memFree=122613296/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=2602096 memory=2102804 CPUtime=3564.63 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 190257 0 0 0 356174 289 0 0 20 0 1 0 63930278 2664546304 525701 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 650524 525701 2400 1147 0 637951 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 2606288 KiB
Current children cumulated memory: 2105876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 82713
/proc/meminfo: memFree=122592628/131250000 swapFree=33010160/33010684
[pid=82323] ppid=82320 vsize=4192 memory=3072 CPUtime=6.96 cores=5,7
/proc/82323/stat : 82323 (run-opt-break.s) S 82320 82323 81997 0 -1 4194304 236 39879 0 0 0 0 681 15 20 0 1 0 63929576 4292608 768 18446744073709551615 94006658289664 94006659184197 140721247508400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94006659423248 94006659470992 94006664712192 140721247512929 140721247513058 140721247513058 140721247518660 0
/proc/82323/statm: 1048 768 704 219 0 110 0
[pid=82326] ppid=82323 vsize=2614424 memory=2125856 CPUtime=3593.11 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82323 82323 81997 0 -1 4194304 192464 0 0 0 359020 291 0 0 20 0 1 0 63930278 2677170176 531464 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 653606 531464 2400 1147 0 641033 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2618616 KiB
Current children cumulated memory: 2128928 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.9 s]
# the end of solver process 82323 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=6.81628 s, system=0.158618 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.92 s]
# the end of solver process 82326 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.02 s, system=3.08605 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 82713
/proc/meminfo: memFree=122592628/131250000 swapFree=33010160/33010684
[pid=82326] ppid=82320 vsize=2614456 memory=2126112 CPUtime=3593.41 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82320 82323 81997 0 -1 4194304 192509 0 0 0 359050 291 0 0 20 0 1 0 63930278 2677202944 531528 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 653614 531528 2400 1147 0 641041 0
Current cumulated CPU time of completed processes: 6.9749 s
Current children cumulated CPU time: 3593.41 s
Current children cumulated vsize: 2614456 KiB
Current children cumulated memory: 2126112 KiB
[startup+3612 s]*
/proc/loadavg: 4.13 4.12 4.09 5/268 82713
/proc/meminfo: memFree=122592628/131250000 swapFree=33010160/33010684
[pid=82326] ppid=82320 vsize=2614784 memory=2126112 CPUtime=3594.22 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82320 82323 81997 0 -1 4194304 192532 0 0 0 359131 291 0 0 20 0 1 0 63930278 2677538816 531528 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 653696 531528 2400 1147 0 641123 0
Current cumulated CPU time of completed processes: 6.9749 s
Current children cumulated CPU time: 3594.22 s
Current children cumulated vsize: 2614784 KiB
Current children cumulated memory: 2126112 KiB
[startup+3612.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 82713
/proc/meminfo: memFree=122592628/131250000 swapFree=33010160/33010684
[pid=82326] ppid=82320 vsize=2614976 memory=2126368 CPUtime=3594.61 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82320 82323 81997 0 -1 4194304 192600 0 0 0 359170 291 0 0 20 0 1 0 63930278 2677735424 531592 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 653744 531592 2400 1147 0 641171 0
Current cumulated CPU time of completed processes: 6.9749 s
Current children cumulated CPU time: 3594.61 s
Current children cumulated vsize: 2614976 KiB
Current children cumulated memory: 2126368 KiB
[startup+3612.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 82713
/proc/meminfo: memFree=122592628/131250000 swapFree=33010160/33010684
[pid=82326] ppid=82320 vsize=2615236 memory=2126624 CPUtime=3595.01 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82320 82323 81997 0 -1 4194304 192650 0 0 0 359210 291 0 0 20 0 1 0 63930278 2678001664 531656 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 653809 531656 2400 1147 0 641236 0
Current cumulated CPU time of completed processes: 6.9749 s
Current children cumulated CPU time: 3595.01 s
Current children cumulated vsize: 2615236 KiB
Current children cumulated memory: 2126624 KiB
[startup+3612.9 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 82713
/proc/meminfo: memFree=122592628/131250000 swapFree=33010160/33010684
[pid=82326] ppid=82320 vsize=2615236 memory=2126624 CPUtime=3595.11 cores=5,7
/proc/82326/stat : 82326 (roundingsat) R 82320 82323 81997 0 -1 4194304 192650 0 0 0 359220 291 0 0 20 0 1 0 63930278 2678001664 531656 18446744073709551615 4227072 8923433 140720851696032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36872192 140720851700068 140720851700264 140720851700264 140720851705834 0
/proc/82326/statm: 653809 531656 2400 1147 0 641236 0
Current cumulated CPU time of completed processes: 6.9749 s
Current children cumulated CPU time: 3595.11 s
Current children cumulated vsize: 2615236 KiB
Current children cumulated memory: 2126624 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.92
CPU time (s): 3602.1
CPU user time (s): 3599.02
CPU system time (s): 3.08605
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 2911176
Max. memory (cumulated for all children) (KiB): 2355652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 3.08605
maximum resident set size= 2401732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 1707
# summary of solver processes directly reported to runsolver:
# pid: 82323,82326
# total CPU time (s): 3602.1
# total CPU user time (s): 3599.02
# total CPU system time (s): 3.08605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77405 second user time and 16.887 second system time
The end
Begin job on nodeC016 at 2025-07-02 20:55:20
IDJOB=4503064
IDBENCH=155404
IDSOLVER=3359
FILE ID=nodeC016/4503064-1751482520
RUNJOBID= nodeC016-1751481177-82010
SLURM_JOB_ID= 9598526
Free space on /tmp= 432696 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503064-1751482520/watcher-4503064-1751482520 -o /tmp/evaluation-result-4503064-1751482520/solver-4503064-1751482520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82010 --watchdog 3760 run-opt-break.sh HOME/instance-4503064-1751482520.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=360343254
nodeC016 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.710
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.48
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.735
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.48
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 : 3607.170
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
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.48
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.739
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.48
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 : 3543.564
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.48
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 : 3528.817
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.726
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127207384 kB
MemAvailable: 127384748 kB
Buffers: 2144 kB
Cached: 946352 kB
SwapCached: 28 kB
Active: 3002788 kB
Inactive: 326576 kB
Active(anon): 2393624 kB
Inactive(anon): 5288 kB
Active(file): 609164 kB
Inactive(file): 321288 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55476 kB
Writeback: 56 kB
AnonPages: 2382676 kB
Mapped: 117968 kB
Shmem: 18044 kB
KReclaimable: 172304 kB
Slab: 264572 kB
SReclaimable: 172304 kB
SUnreclaim: 92268 kB
KernelStack: 4352 kB
PageTables: 7940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2870840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1853440 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432648 MiB
End job on nodeC016 at 2025-07-02 21:55:33