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-4502835-1751425112.opb'
0.48/0.56 c read 49.16MB (549.01ms)
0.48/0.56 c [cnf: #variables 15312 #clauses 65281 #duplicates 0 #arr 5323728]
0.48/0.58 c output proof to 'PROOFDIR/proof-4502835-1751425112'
0.48/0.58 c
0.48/0.58 c make graph and approximate orbits
0.76/0.84 c [group: #orbits ~= 324] (264.83ms)
0.76/0.84 c
0.76/0.84 c detect special group actions
0.76/0.84 c probe for Johnson action (limit=64)
1.06/1.14 c probe for row-column symmetry (limit=64, splits=16.78M)
1.45/1.51 c probe for row symmetry (limit=64, splits=16.78M)
4.05/4.18 c (3335.63ms)
4.05/4.18 c
4.05/4.18 c detect symmetries on remainder
4.05/4.18 c [graph: #vertices 111217 #edges 10708704]
4.05/4.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
5.34/5.41 c [group: #symmetries 2.56*10^2 #generators 8] (1231.51ms)
5.34/5.41 c
5.34/5.41 c optimize generators (opt_passes=64, conjugate_limit=256)
5.34/5.41 c (0.04ms)
5.34/5.41 c
5.34/5.41 c finalize break order and special generators
5.34/5.41 c
5.34/5.41 c add generic predicates (break_depth=20)
5.34/5.41 c added predicates for 8 generators (0.75ms)
5.34/5.41 c
5.34/5.41 c generation finished
5.34/5.41 c [sbp: #constraints 0 #add_vars 0]
5.34/5.42 c
5.34/5.42 c write result to 'HOME/instance-4502835-1751425112.opb.pre'
5.44/5.52 c wrote 49.23MB (103.40ms)
5.44/5.52 c ------------------------------------------------------------------
5.44/5.52 c 3335.63ms 60.56% detect_special
5.44/5.52 c 1231.51ms 22.36% detect_generic
5.44/5.52 c 549.00ms 9.97% parse
5.44/5.52 c 264.83ms 4.81% approx_orbits
5.44/5.52 c 103.40ms 1.88% output
5.44/5.52 c 21.21ms 0.39% other
5.44/5.52 c 1.42ms 0.03% finalize_order
5.44/5.52 c 0.75ms 0.01% break_generic
5.44/5.52 c 0.04ms 0.00% optimize_gens
5.44/5.52 c ───────────────────────────────────────────────
5.44/5.52 c 5507.80ms 100% total
5.44/5.52 c ------------------------------------------------------------------
5.44/5.55 c RoundingSat 2
5.44/5.55 c branch pb25
5.44/5.55 c commit 63f22ad
7.71/7.88 c #variables 15312 #constraints 65280
7.71/7.88 c objective is ce32
7.71/7.88 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
7.71/7.88 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
7.71/7.88 c bounds - >= 0 @ 2.17033
17.38/17.50 c bounds 1184 >= 0 @ 11.5267
17.38/17.51 c bounds 1184 >= 1 @ 11.5344
17.38/17.52 c bounds 1184 >= 2 @ 11.5427
17.38/17.54 c bounds 1184 >= 3 @ 11.5487
17.38/17.55 c bounds 1184 >= 4 @ 11.5547
17.38/17.56 c bounds 1184 >= 5 @ 11.5636
17.38/17.58 c bounds 1184 >= 6 @ 11.5708
17.38/17.59 c bounds 1184 >= 7 @ 11.5807
17.48/17.60 c bounds 1184 >= 8 @ 11.5875
17.48/17.62 c bounds 1184 >= 9 @ 11.5947
17.48/17.63 c bounds 1184 >= 10 @ 11.6028
17.48/17.64 c bounds 1184 >= 11 @ 11.6099
17.48/17.66 c bounds 1184 >= 12 @ 11.616
17.48/17.67 c bounds 1184 >= 13 @ 11.6206
17.48/17.68 c bounds 1184 >= 14 @ 11.6282
17.58/17.70 c bounds 1184 >= 15 @ 11.6363
17.58/17.72 c bounds 1184 >= 16 @ 11.6454
17.58/17.73 c bounds 1184 >= 17 @ 11.6541
17.58/17.75 c bounds 1184 >= 18 @ 11.6634
17.58/17.77 c bounds 1184 >= 19 @ 11.6769
17.58/17.78 c bounds 1184 >= 20 @ 11.6851
17.67/17.80 c bounds 1184 >= 21 @ 11.6908
17.67/17.82 c bounds 1184 >= 22 @ 11.6975
17.67/17.84 c bounds 1184 >= 23 @ 11.711
17.67/17.86 c bounds 1184 >= 24 @ 11.7242
17.78/17.90 c bounds 1184 >= 25 @ 11.7556
17.78/17.98 c bounds 1184 >= 26 @ 11.8244
18.47/18.61 c bounds 1183 >= 26 @ 12.4245
19.37/19.54 c bounds 1183 >= 27 @ 13.2969
19.37/19.58 c bounds 1182 >= 27 @ 13.3371
19.47/19.62 c bounds 1181 >= 27 @ 13.3668
19.47/19.65 c bounds 1180 >= 27 @ 13.3955
19.47/19.69 c bounds 1179 >= 27 @ 13.4206
19.57/19.74 c bounds 1178 >= 27 @ 13.4645
19.57/19.77 c bounds 1177 >= 27 @ 13.4877
19.67/19.82 c bounds 1176 >= 27 @ 13.5202
19.67/19.87 c bounds 1175 >= 27 @ 13.5563
19.77/19.90 c bounds 1174 >= 27 @ 13.5788
19.77/19.93 c bounds 1173 >= 27 @ 13.6049
19.77/19.96 c bounds 1172 >= 27 @ 13.6201
19.77/19.99 c bounds 1171 >= 27 @ 13.6408
19.88/20.02 c bounds 1170 >= 27 @ 13.6693
19.88/20.05 c bounds 1169 >= 27 @ 13.692
19.88/20.08 c bounds 1168 >= 27 @ 13.7164
19.97/20.10 c bounds 1167 >= 27 @ 13.7324
19.97/20.12 c bounds 1166 >= 27 @ 13.7451
19.97/20.15 c bounds 1165 >= 27 @ 13.7587
19.97/20.17 c bounds 1164 >= 27 @ 13.7718
19.97/20.19 c bounds 1163 >= 27 @ 13.7866
20.07/20.21 c bounds 1162 >= 27 @ 13.8012
20.07/20.23 c bounds 1161 >= 27 @ 13.8136
20.07/20.25 c bounds 1160 >= 27 @ 13.8245
20.07/20.27 c bounds 1159 >= 27 @ 13.8415
20.07/20.29 c bounds 1158 >= 27 @ 13.856
20.17/20.32 c bounds 1157 >= 27 @ 13.8767
20.17/20.36 c bounds 1156 >= 27 @ 13.9015
20.17/20.39 c bounds 1155 >= 27 @ 13.9201
20.27/20.41 c bounds 1154 >= 27 @ 13.9394
20.27/20.45 c bounds 1153 >= 27 @ 13.9684
20.27/20.49 c bounds 1152 >= 27 @ 14.0002
20.37/20.53 c bounds 1151 >= 27 @ 14.0292
20.37/20.57 c bounds 1150 >= 27 @ 14.0675
20.47/20.61 c bounds 1149 >= 27 @ 14.092
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62768 MiB free)
memory of node 1: 64507 MiB (63878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502835-1751425112/watcher-4502835-1751425112 -o /tmp/evaluation-result-4502835-1751425112/solver-4502835-1751425112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751421462-58343 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502835-1751425112.opb PROOFDIR/proof-4502835-1751425112
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58876, runsolver pid=58873
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 3.09 3.10 3.09 4/266 58878
/proc/meminfo: memFree=129658168/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58878] ppid=58876 vsize=43588 memory=34096 CPUtime=0.07 cores=0,2
/proc/58878/stat : 58878 (pbsuma) R 58876 58876 58306 0 -1 4194304 7446 0 0 0 6 1 0 0 20 0 1 0 58191170 44634112 8524 18446744073709551615 4210688 4653049 140728751208448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7733248 140728751216867 140728751217202 140728751217202 140728751222767 0
/proc/58878/statm: 10897 8524 928 108 0 8305 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 47780 KiB
Current children cumulated memory: 37168 KiB
[startup+0.205588 s]*
/proc/loadavg: 3.09 3.10 3.09 4/266 58878
/proc/meminfo: memFree=129638336/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58878] ppid=58876 vsize=69648 memory=58596 CPUtime=0.18 cores=0,2
/proc/58878/stat : 58878 (pbsuma) R 58876 58876 58306 0 -1 4194304 12453 0 0 0 15 3 0 0 20 0 1 0 58191170 71319552 14649 18446744073709551615 4210688 4653049 140728751208448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7733248 140728751216867 140728751217202 140728751217202 140728751222767 0
/proc/58878/statm: 17412 14649 928 108 0 14820 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73840 KiB
Current children cumulated memory: 61668 KiB
[startup+0.305538 s]*
/proc/loadavg: 3.09 3.10 3.09 4/266 58878
/proc/meminfo: memFree=129614584/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58878] ppid=58876 vsize=93888 memory=81692 CPUtime=0.28 cores=0,2
/proc/58878/stat : 58878 (pbsuma) R 58876 58876 58306 0 -1 4194304 17088 0 0 0 25 3 0 0 20 0 1 0 58191170 96141312 20423 18446744073709551615 4210688 4653049 140728751208448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7733248 140728751216867 140728751217202 140728751217202 140728751222767 0
/proc/58878/statm: 23472 20423 928 108 0 20880 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 98080 KiB
Current children cumulated memory: 84764 KiB
[startup+0.700194 s]
/proc/loadavg: 3.09 3.10 3.09 4/266 58878
/proc/meminfo: memFree=129574448/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58878] ppid=58876 vsize=212504 memory=187308 CPUtime=0.65 cores=0,2
/proc/58878/stat : 58878 (pbsuma) R 58876 58876 58306 0 -1 4194304 31143 0 0 0 58 7 0 0 20 0 1 0 58191170 217604096 46827 18446744073709551615 4210688 4653049 140728751208448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7733248 140728751216867 140728751217202 140728751217202 140728751222767 0
/proc/58878/statm: 53126 46827 960 108 0 50534 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 216696 KiB
Current children cumulated memory: 190380 KiB
[startup+1.5002 s]
/proc/loadavg: 3.09 3.10 3.09 4/266 58878
/proc/meminfo: memFree=129455044/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58878] ppid=58876 vsize=229852 memory=203244 CPUtime=1.45 cores=0,2
/proc/58878/stat : 58878 (pbsuma) R 58876 58876 58306 0 -1 4194304 34317 0 0 0 136 9 0 0 20 0 1 0 58191170 235368448 50811 18446744073709551615 4210688 4653049 140728751208448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7733248 140728751216867 140728751217202 140728751217202 140728751222767 0
/proc/58878/statm: 57463 50811 992 108 0 54871 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 234044 KiB
Current children cumulated memory: 206316 KiB
[startup+3.1054 s]
/proc/loadavg: 3.09 3.10 3.09 4/266 58878
/proc/meminfo: memFree=129433128/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58878] ppid=58876 vsize=229852 memory=203500 CPUtime=3.05 cores=0,2
/proc/58878/stat : 58878 (pbsuma) R 58876 58876 58306 0 -1 4194304 34412 0 0 0 296 9 0 0 20 0 1 0 58191170 235368448 50875 18446744073709551615 4210688 4653049 140728751208448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7733248 140728751216867 140728751217202 140728751217202 140728751222767 0
/proc/58878/statm: 57463 50875 992 108 0 54871 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 234044 KiB
Current children cumulated memory: 206572 KiB
[startup+6.30012 s]
/proc/loadavg: 3.09 3.10 3.09 4/266 58879
/proc/meminfo: memFree=129451196/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=67604 memory=22896 CPUtime=0.74 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 3013 0 0 0 70 4 0 0 20 0 1 0 58191723 69226496 5724 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 16901 5724 1952 1147 0 4328 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 25968 KiB
[startup+12.7002 s]
/proc/loadavg: 3.08 3.10 3.09 3/266 58879
/proc/meminfo: memFree=128990660/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=404708 memory=357080 CPUtime=7.12 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 46775 0 0 0 676 36 0 0 20 0 1 0 58191723 414420992 89270 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 101177 89270 2304 1147 0 88604 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 408900 KiB
Current children cumulated memory: 360152 KiB
[startup+25.5002 s]
/proc/loadavg: 3.14 3.11 3.09 5/267 58929
/proc/meminfo: memFree=128572960/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=592208 memory=534472 CPUtime=19.88 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 74819 0 0 0 1881 107 0 0 20 0 1 0 58191723 606420992 133618 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 148052 133618 2368 1147 0 135479 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 596400 KiB
Current children cumulated memory: 537544 KiB
[startup+51.1057 s]
/proc/loadavg: 3.09 3.10 3.09 5/267 58929
/proc/meminfo: memFree=128206268/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=717824 memory=638728 CPUtime=45.4 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 81465 0 0 0 4428 112 0 0 20 0 1 0 58191723 735051776 159682 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 179456 159682 2368 1147 0 166883 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 722016 KiB
Current children cumulated memory: 641800 KiB
[startup+102.3 s]
/proc/loadavg: 3.09 3.10 3.09 5/267 58931
/proc/meminfo: memFree=127895240/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=839728 memory=728368 CPUtime=96.45 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 84378 0 0 0 9527 118 0 0 20 0 1 0 58191723 859881472 182092 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 209932 182092 2368 1147 0 197359 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 843920 KiB
Current children cumulated memory: 731440 KiB
[startup+162.3 s]
/proc/loadavg: 3.10 3.09 3.09 5/267 58944
/proc/meminfo: memFree=127528092/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=975888 memory=893052 CPUtime=156.26 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 88735 0 0 0 15501 125 0 0 20 0 1 0 58191723 999309312 223263 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 243972 223263 2368 1147 0 231399 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 980080 KiB
Current children cumulated memory: 896124 KiB
[startup+222.3 s]
/proc/loadavg: 3.09 3.09 3.09 5/265 58946
/proc/meminfo: memFree=127222116/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=1108080 memory=979788 CPUtime=216.09 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 92525 0 0 0 21477 132 0 0 20 0 1 0 58191723 1134673920 244947 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 277020 244947 2368 1147 0 264447 0
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 3.15 3.11 3.09 5/262 59105
/proc/meminfo: memFree=123033868/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=2324744 memory=2051028 CPUtime=3326.73 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 198785 0 0 0 332337 336 0 0 20 0 1 0 58191723 2380537856 512757 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 581186 512757 2368 1147 0 568613 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 2328936 KiB
Current children cumulated memory: 2054100 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.10 3.09 5/262 59107
/proc/meminfo: memFree=123027284/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=2324744 memory=2051028 CPUtime=3386.56 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 198785 0 0 0 338320 336 0 0 20 0 1 0 58191723 2380537856 512757 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 581186 512757 2368 1147 0 568613 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 2328936 KiB
Current children cumulated memory: 2054100 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.10 3.09 5/263 59114
/proc/meminfo: memFree=122994984/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=2324744 memory=2051028 CPUtime=3446.39 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 198942 0 0 0 344303 336 0 0 20 0 1 0 58191723 2380537856 512757 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 581186 512757 2368 1147 0 568613 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 2328936 KiB
Current children cumulated memory: 2054100 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.11 3.09 5/263 59116
/proc/meminfo: memFree=122940524/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=2340816 memory=2071172 CPUtime=3506.21 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 201682 0 0 0 350275 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 2345008 KiB
Current children cumulated memory: 2074244 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.10 3.09 5/263 59118
/proc/meminfo: memFree=122876896/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=2340816 memory=2071172 CPUtime=3566.05 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 201682 0 0 0 356259 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 2345008 KiB
Current children cumulated memory: 2074244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 3.06 3.09 3.09 5/263 59118
/proc/meminfo: memFree=122861352/131250000 swapFree=33010416/33010684
[pid=58876] ppid=58873 vsize=4192 memory=3072 CPUtime=5.48 cores=0,2
/proc/58876/stat : 58876 (run-opt-break-l) S 58873 58876 58306 0 -1 4194304 239 43090 0 0 0 0 535 13 20 0 1 0 58191169 4292608 768 18446744073709551615 94553279946752 94553280841285 140736310132944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553281080336 94553281128080 94553299447808 140736310135061 140736310135262 140736310135262 140736310140864 0
/proc/58876/statm: 1048 768 704 219 0 110 0
[pid=58879] ppid=58876 vsize=2340816 memory=2071172 CPUtime=3594.57 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58876 58876 58306 0 -1 4194304 201682 0 0 0 359111 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2345008 KiB
Current children cumulated memory: 2074244 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.9 s]
# the end of solver process 58876 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=5.35175 s, system=0.141365 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.91 s]
# the end of solver process 58879 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.46 s, system=3.61415 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: 3.06 3.09 3.09 4/262 59118
/proc/meminfo: memFree=122861100/131250000 swapFree=33010416/33010684
[pid=58879] ppid=58873 vsize=2340816 memory=2071172 CPUtime=3594.87 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58873 58876 58306 0 -1 4194304 201682 0 0 0 359141 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current cumulated CPU time of completed processes: 5.49311 s
Current children cumulated CPU time: 3594.87 s
Current children cumulated vsize: 2340816 KiB
Current children cumulated memory: 2071172 KiB
[startup+3612 s]*
/proc/loadavg: 3.06 3.09 3.09 5/262 59118
/proc/meminfo: memFree=122861100/131250000 swapFree=33010416/33010684
[pid=58879] ppid=58873 vsize=2340816 memory=2071172 CPUtime=3595.67 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58873 58876 58306 0 -1 4194304 201682 0 0 0 359221 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current cumulated CPU time of completed processes: 5.49311 s
Current children cumulated CPU time: 3595.67 s
Current children cumulated vsize: 2340816 KiB
Current children cumulated memory: 2071172 KiB
[startup+3612.4 s]
/proc/loadavg: 3.06 3.09 3.09 5/262 59118
/proc/meminfo: memFree=122861100/131250000 swapFree=33010416/33010684
[pid=58879] ppid=58873 vsize=2340816 memory=2071172 CPUtime=3596.06 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58873 58876 58306 0 -1 4194304 201682 0 0 0 359260 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current cumulated CPU time of completed processes: 5.49311 s
Current children cumulated CPU time: 3596.06 s
Current children cumulated vsize: 2340816 KiB
Current children cumulated memory: 2071172 KiB
[startup+3612.8 s]
/proc/loadavg: 3.06 3.09 3.09 5/262 59118
/proc/meminfo: memFree=122861100/131250000 swapFree=33010416/33010684
[pid=58879] ppid=58873 vsize=2340816 memory=2071172 CPUtime=3596.46 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58873 58876 58306 0 -1 4194304 201682 0 0 0 359300 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current cumulated CPU time of completed processes: 5.49311 s
Current children cumulated CPU time: 3596.46 s
Current children cumulated vsize: 2340816 KiB
Current children cumulated memory: 2071172 KiB
[startup+3612.9 s]
/proc/loadavg: 3.06 3.09 3.09 5/262 59118
/proc/meminfo: memFree=122861100/131250000 swapFree=33010416/33010684
[pid=58879] ppid=58873 vsize=2340816 memory=2071172 CPUtime=3596.56 cores=0,2
/proc/58879/stat : 58879 (roundingsat) R 58873 58876 58306 0 -1 4194304 201682 0 0 0 359310 346 0 0 20 0 1 0 58191723 2396995584 517793 18446744073709551615 4227072 8923433 140722445256576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38318080 140722445261076 140722445261352 140722445261352 140722445266922 0
/proc/58879/statm: 585204 517793 2368 1147 0 572631 0
Current cumulated CPU time of completed processes: 5.49311 s
Current children cumulated CPU time: 3596.56 s
Current children cumulated vsize: 2340816 KiB
Current children cumulated memory: 2071172 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.91
CPU time (s): 3602.07
CPU user time (s): 3598.46
CPU system time (s): 3.61415
CPU usage (%): 99.7
Max. virtual memory (cumulated for all children) (KiB): 2409276
Max. memory (cumulated for all children) (KiB): 2074244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.46
system time used= 3.61415
maximum resident set size= 2071172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 297200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271
involuntary context switches= 7956
# summary of solver processes directly reported to runsolver:
# pid: 58876,58879
# total CPU time (s): 3602.07
# total CPU user time (s): 3598.46
# total CPU system time (s): 3.61415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0737 second user time and 13.546 second system time
The end
Begin job on nodeC027 at 2025-07-02 04:58:33
IDJOB=4502835
IDBENCH=155399
IDSOLVER=3360
FILE ID=nodeC027/4502835-1751425112
RUNJOBID= nodeC027-1751421462-58343
SLURM_JOB_ID= 9598350
Free space on /tmp= 431224 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502835-1751425112/watcher-4502835-1751425112 -o /tmp/evaluation-result-4502835-1751425112/solver-4502835-1751425112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751421462-58343 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502835-1751425112.opb PROOFDIR/proof-4502835-1751425112
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=1249402194
nodeC027 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.659
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.29
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.639
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.29
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 : 3608.272
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.29
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 : 3601.479
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.29
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 : 3700.000
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.29
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.634
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.29
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.461
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.29
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 : 3700.000
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129686708 kB
MemAvailable: 129637908 kB
Buffers: 2488 kB
Cached: 752660 kB
SwapCached: 12 kB
Active: 683856 kB
Inactive: 212960 kB
Active(anon): 156940 kB
Inactive(anon): 2792 kB
Active(file): 526916 kB
Inactive(file): 210168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 128984 kB
Writeback: 0 kB
AnonPages: 144740 kB
Mapped: 113620 kB
Shmem: 18056 kB
KReclaimable: 106308 kB
Slab: 196872 kB
SReclaimable: 106308 kB
SUnreclaim: 90564 kB
KernelStack: 4304 kB
PageTables: 3284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 463148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431112 MiB
End job on nodeC027 at 2025-07-02 05:58:46