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-4531931-1752683065.opb'
0.39/0.50 c read 30.33MB (489.60ms)
0.39/0.50 c [cnf: #variables 641998 #clauses 12001 #duplicates 0 #arr 2561998]
0.39/0.50 c output proof to '/tmp/proof-4531931-1752683065'
0.39/0.51 c
0.39/0.51 c make graph and approximate orbits
1.07/1.12 c [group: #orbits ~= 20000] (614.30ms)
1.07/1.12 c
1.07/1.12 c detect special group actions
1.07/1.12 c exceeded limit
1.07/1.12 c (0.00ms)
1.07/1.12 c
1.07/1.12 c detect symmetries on remainder
1.07/1.12 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
1.07/1.12 c
1.07/1.12 c finalize break order and special generators
1.07/1.16 c
1.07/1.16 c generation finished
1.07/1.16 c [sbp: #constraints 0 #add_vars 0]
1.07/1.17 c
1.07/1.17 c write result to 'HOME/instance-4531931-1752683065.opb.pre'
1.16/1.23 c wrote 30.33MB (65.78ms)
1.16/1.23 c ------------------------------------------------------------------
1.16/1.23 c 614.30ms 50.37% approx_orbits
1.16/1.23 c 489.60ms 40.15% parse
1.16/1.23 c 65.78ms 5.39% output
1.16/1.23 c 32.00ms 2.62% finalize_order
1.16/1.23 c 17.84ms 1.46% other
1.16/1.23 c 0.01ms 0.00% detect_generic
1.16/1.23 c 0.00ms 0.00% detect_special
1.16/1.23 c ───────────────────────────────────────────────
1.16/1.23 c 1219.54ms 100% total
1.16/1.23 c ------------------------------------------------------------------
1.16/1.26 c RoundingSat 2
1.16/1.26 c branch pb25
1.16/1.26 c commit 0f876b3
2.95/3.05 c #variables 641998 #constraints 14000
2.95/3.05 c objective is ce32
29.46/29.68 c initial watched CF 32, 64, 128, Arb: 1998 , 0 , 0 , 0
29.46/29.68 c initial counting CF 32, 64, 128, Arb: 1999 , 0 , 0 , 0
29.46/29.68 c bounds 37442581 >= 0 @ 28.098
30.45/30.67 c rational objective 9542
654.77/656.68 c #Conflicts: 1000 | #Constraints: 15025
654.77/656.68 c #Conflicts: 2000 | #Constraints: 16045
654.77/656.68 c INPROCESSING
654.77/656.68 c GARBAGE COLLECT
654.77/656.68 c rational objective 17334
820.31/822.68 c #Conflicts: 3000 | #Constraints: 16163
820.31/822.68 c #Conflicts: 4000 | #Constraints: 17205
820.31/822.68 c INPROCESSING
820.31/822.68 c GARBAGE COLLECT
820.31/822.68 c rational objective 30591
960.34/963.11 c #Conflicts: 5000 | #Constraints: 16564
960.34/963.11 c #Conflicts: 6000 | #Constraints: 17595
960.34/963.11 c bounds 6134953 >= 0 @ 922.856
1094.99/1098.09 c INPROCESSING
1094.99/1098.09 c GARBAGE COLLECT
1094.99/1098.09 c rational objective 32532
1284.74/1288.30 c #Conflicts: 7000 | #Constraints: 16607
1284.74/1288.30 c #Conflicts: 8000 | #Constraints: 17661
1284.74/1288.30 c #Conflicts: 9000 | #Constraints: 18683
1284.74/1288.30 c INPROCESSING
1284.74/1288.30 c GARBAGE COLLECT
1284.74/1288.30 c rational objective 33773
1777.41/1782.31 c #Conflicts: 10000 | #Constraints: 17380
1777.41/1782.31 c #Conflicts: 11000 | #Constraints: 18409
1777.41/1782.31 c #Conflicts: 12000 | #Constraints: 19444
1777.41/1782.31 c INPROCESSING
1777.41/1782.31 c GARBAGE COLLECT
1777.41/1782.31 c rational objective 35169.5
1970.96/1976.49 c #Conflicts: 13000 | #Constraints: 17923
1970.96/1976.49 c #Conflicts: 14000 | #Constraints: 18951
1970.96/1976.49 c #Conflicts: 15000 | #Constraints: 20237
1970.96/1976.49 c INPROCESSING
1970.96/1976.49 c GARBAGE COLLECT
1970.96/1976.49 c rational objective 37036
1983.03/1988.57 c bounds 553001 >= 0 @ 1897.86
3487.68/3497.68 terminate called after throwing an instance of 'std::bad_alloc'
3487.68/3497.68 what(): std::bad_alloc
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (43159 MiB free)
memory of node 1: 64507 MiB (50577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531931-1752683065/watcher-4531931-1752683065 -o /tmp/evaluation-result-4531931-1752683065/solver-4531931-1752683065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752683038-140338 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531931-1752683065.opb /tmp/proof-4531931-1752683065
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=140484, runsolver pid=140481
[startup+0.100072 s]*
/proc/loadavg: 1.43 0.40 0.19 5/253 140486
/proc/meminfo: memFree=95944840/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140486] ppid=140484 vsize=53684 memory=42096 CPUtime=0.08 cores=0,2
/proc/140486/stat : 140486 (pbsuma) R 140484 140484 140321 0 -1 4194304 4601 0 0 0 6 2 0 0 20 0 1 0 183986268 54972416 10524 18446744073709551615 4210688 4653049 140729096641552 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 8052736 140729096644871 140729096645168 140729096645168 140729096650735 0
/proc/140486/statm: 13421 10524 928 108 0 10829 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 45040 KiB
[startup+0.215312 s]*
/proc/loadavg: 1.43 0.40 0.19 5/251 140490
/proc/meminfo: memFree=95975780/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140486] ppid=140484 vsize=88500 memory=66092 CPUtime=0.19 cores=0,2
/proc/140486/stat : 140486 (pbsuma) R 140484 140484 140321 0 -1 4194304 6465 0 0 0 15 4 0 0 20 0 1 0 183986268 90624000 16523 18446744073709551615 4210688 4653049 140729096641552 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8052736 140729096644871 140729096645168 140729096645168 140729096650735 0
/proc/140486/statm: 22125 16523 960 108 0 19533 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92692 KiB
Current children cumulated memory: 69036 KiB
[startup+0.314055 s]*
/proc/loadavg: 1.63 0.46 0.22 4/252 140495
/proc/meminfo: memFree=96053928/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140486] ppid=140484 vsize=124272 memory=101036 CPUtime=0.29 cores=0,2
/proc/140486/stat : 140486 (pbsuma) R 140484 140484 140321 0 -1 4194304 12648 0 0 0 24 5 0 0 20 0 1 0 183986268 127254528 25259 18446744073709551615 4210688 4653049 140729096641552 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8052736 140729096644871 140729096645168 140729096645168 140729096650735 0
/proc/140486/statm: 31068 25259 960 108 0 28476 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 128464 KiB
Current children cumulated memory: 103980 KiB
[startup+0.700411 s]
/proc/loadavg: 1.63 0.46 0.22 5/257 140507
/proc/meminfo: memFree=95978196/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140486] ppid=140484 vsize=423060 memory=314624 CPUtime=0.66 cores=0,2
/proc/140486/stat : 140486 (pbsuma) R 140484 140484 140321 0 -1 4194304 21699 0 0 0 55 11 0 0 20 0 1 0 183986268 433213440 78656 18446744073709551615 4210688 4653049 140729096641552 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8052736 140729096644871 140729096645168 140729096645168 140729096650735 0
/proc/140486/statm: 105765 78656 992 108 0 103173 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 427252 KiB
Current children cumulated memory: 317568 KiB
[startup+1.50035 s]
/proc/loadavg: 1.63 0.46 0.22 5/257 140507
/proc/meminfo: memFree=95563824/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.11423 s]
/proc/loadavg: 1.63 0.46 0.22 5/257 140509
/proc/meminfo: memFree=95310072/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=556296 memory=498180 CPUtime=1.84 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 65969 0 0 0 162 22 0 0 20 0 1 0 183986392 569647104 124545 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 139074 124545 2304 1147 0 126500 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 560488 KiB
Current children cumulated memory: 501124 KiB
[startup+6.30042 s]
/proc/loadavg: 1.82 0.52 0.24 5/257 140509
/proc/meminfo: memFree=95029284/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=556296 memory=498180 CPUtime=5.01 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 66004 0 0 0 479 22 0 0 20 0 1 0 183986392 569647104 124545 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 139074 124545 2304 1147 0 126500 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 560488 KiB
Current children cumulated memory: 501124 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 0.60 0.26 5/257 140509
/proc/meminfo: memFree=94423632/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=556296 memory=498180 CPUtime=11.4 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 66030 0 0 0 1118 22 0 0 20 0 1 0 183986392 569647104 124545 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 139074 124545 2304 1147 0 126500 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 560488 KiB
Current children cumulated memory: 501124 KiB
[startup+25.5004 s]
/proc/loadavg: 2.45 0.72 0.31 5/253 140537
/proc/meminfo: memFree=93427096/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=556296 memory=498180 CPUtime=24.16 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 66033 0 0 0 2394 22 0 0 20 0 1 0 183986392 569647104 124545 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 139074 124545 2304 1147 0 126500 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 560488 KiB
Current children cumulated memory: 501124 KiB
[startup+51.1144 s]
/proc/loadavg: 3.25 1.09 0.44 5/257 140559
/proc/meminfo: memFree=90486912/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=1382800 memory=1297052 CPUtime=49.71 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 152038 0 0 0 4843 128 0 0 20 0 1 0 183986392 1415987200 324263 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 345700 324263 2400 1147 0 333126 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1386992 KiB
Current children cumulated memory: 1299996 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 1.61 0.66 5/261 140565
/proc/meminfo: memFree=84616588/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=2523344 memory=2253736 CPUtime=100.76 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 302373 0 0 0 9852 224 0 0 20 0 1 0 183986392 2583904256 563434 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 630836 563434 2400 1147 0 618262 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2527536 KiB
Current children cumulated memory: 2256680 KiB
[startup+162.3 s]
/proc/loadavg: 4.58 2.22 0.93 5/261 140567
/proc/meminfo: memFree=76859960/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=4558648 memory=4393208 CPUtime=160.6 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 709171 0 0 0 15650 410 0 0 20 0 1 0 183986392 4668055552 1098302 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 1139662 1098302 2400 1147 0 1127088 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 4562840 KiB
Current children cumulated memory: 4396152 KiB
[startup+222.303 s]
/proc/loadavg: 4.61 2.65 1.16 5/264 140572
/proc/meminfo: memFree=69772296/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=6189208 memory=5961996 CPUtime=220.44 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 973280 0 0 0 21475 569 0 0 20 0 1 0 183986392 6337748992 1490499 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 1547302 1490499 2400 1147 0 1534728 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 6193400 KiB
Current children cumulated memory: 5964940 KiB
################
# More data... #
################
/proc/meminfo: memFree=1066764/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=22485872 memory=20043096 CPUtime=3152.07 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 4031244 0 1 0 304836 10371 0 0 20 0 1 0 183986392 23025532928 5010774 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 5621468 5010774 2496 1147 0 5608894 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 22490064 KiB
Current children cumulated memory: 20046040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.58 4.70 4.58 5/260 140744
/proc/meminfo: memFree=1073948/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=23020532 memory=20865616 CPUtime=3211.9 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 4167368 0 1 0 310683 10507 0 0 20 0 1 0 183986392 23573024768 5216404 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 5755133 5216404 2496 1147 0 5742559 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 23024724 KiB
Current children cumulated memory: 20868560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.65 4.70 4.58 5/258 140746
/proc/meminfo: memFree=1130524/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=24066092 memory=22239724 CPUtime=3271.75 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 4397254 0 1 0 316538 10637 0 0 20 0 1 0 183986392 24643678208 5559931 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 6016523 5559931 2496 1147 0 6003949 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 24070284 KiB
Current children cumulated memory: 22242668 KiB
[startup+3342.3 s]
/proc/loadavg: 4.77 4.71 4.59 5/258 140748
/proc/meminfo: memFree=1255532/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=24187280 memory=22809464 CPUtime=3331.59 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 4471737 0 1 0 322393 10766 0 0 20 0 1 0 183986392 24767774720 5702366 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 6046820 5702366 2496 1147 0 6034246 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 24191472 KiB
Current children cumulated memory: 22812408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.75 4.71 4.60 5/256 140750
/proc/meminfo: memFree=1237896/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=25637324 memory=24105240 CPUtime=3391.42 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 4721301 0 1 0 328212 10930 0 0 20 0 1 0 183986392 26252619776 6026310 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 6409331 6026310 2496 1147 0 6396757 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 25641516 KiB
Current children cumulated memory: 24108184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.70 4.70 4.61 5/257 140754
/proc/meminfo: memFree=1141576/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=30394152 memory=25278608 CPUtime=3451.27 cores=0,2
/proc/140508/stat : 140508 (roundingsat) R 140484 140484 140321 0 -1 4194304 4909537 0 1 0 334078 11049 0 0 20 0 1 0 183986392 31123611648 6319652 18446744073709551615 4227072 8923577 140730018971792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 0
/proc/140508/statm: 7598538 6319652 2496 1147 0 7585964 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 30398344 KiB
Current children cumulated memory: 25281552 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+3497.7 s]
/proc/loadavg: 4.68 4.70 4.61 5/257 140755
/proc/meminfo: memFree=1321516/131382112 swapFree=33010416/33010684
[pid=140484] ppid=140481 vsize=4192 memory=2944 CPUtime=1.21 cores=0,2
/proc/140484/stat : 140484 (run-opt-ls-log.) S 140481 140484 140321 0 -1 4194304 239 29835 0 0 0 0 100 21 20 0 1 0 183986267 4292608 736 18446744073709551615 94914824876032 94914825770565 140720900630704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94914826009616 94914826057360 94914858172416 140720900639039 140720900639199 140720900639199 140720900644803 0
/proc/140484/statm: 1048 736 672 219 0 110 0
[pid=140508] ppid=140484 vsize=31795128 memory=26503608 CPUtime=3486.56 cores=0,2
/proc/140508/stat : 140508 (roundingsat) S 140484 140484 140321 0 -1 4195840 5140796 0 1 0 337523 11133 0 0 20 0 1 0 183986392 32558211072 6625902 18446744073709551615 4227072 8923577 140730018971792 140730018968448 139775187663468 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 6
/proc/140508/statm: 7948782 6625902 2560 1147 0 7936208 0
Current children cumulated CPU time: 3487.77 s
Current children cumulated vsize: 31799320 KiB
Current children cumulated memory: 26506552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3497.71 s]
# the end of solver process 140484 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.01064 s, system=0.213819 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3501.2 s]
# the end of solver process 140508 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3376.25 s, system=114.198 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3498.4 s]
/proc/loadavg: 4.68 4.70 4.61 5/258 140758
/proc/meminfo: memFree=1244436/131382112 swapFree=33010416/33010684
[pid=140508] ppid=140481 vsize=31795128 memory=26503608 CPUtime=3487.18 cores=0,2
/proc/140508/stat : 140508 (roundingsat) D 140481 140484 140321 0 -1 4195840 5140796 0 1 0 337523 11195 0 0 20 0 1 0 183986392 32558211072 6625902 18446744073709551615 4227072 8923577 140730018971792 140730018968448 139775187663468 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 6
/proc/140508/statm: 7948782 6625902 2560 1147 0 7936208 0
Current cumulated CPU time of completed processes: 1.22446 s
Current children cumulated CPU time: 3487.18 s
Current children cumulated vsize: 31795128 KiB
Current children cumulated memory: 26503608 KiB
[startup+3499.2 s]
/proc/loadavg: 4.68 4.70 4.61 5/258 140758
/proc/meminfo: memFree=1282768/131382112 swapFree=33010416/33010684
[pid=140508] ppid=140481 vsize=31795128 memory=26503608 CPUtime=3487.73 cores=0,2
/proc/140508/stat : 140508 (roundingsat) S 140481 140484 140321 0 -1 4195840 5140796 0 1 0 337523 11250 0 0 20 0 1 0 183986392 32558211072 6625902 18446744073709551615 4227072 8923577 140730018971792 140730018968448 139775187663468 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 6
/proc/140508/statm: 7948782 6625902 2560 1147 0 7936208 0
Current cumulated CPU time of completed processes: 1.22446 s
Current children cumulated CPU time: 3487.73 s
Current children cumulated vsize: 31795128 KiB
Current children cumulated memory: 26503608 KiB
[startup+3499.6 s]
/proc/loadavg: 4.68 4.70 4.61 5/258 140758
/proc/meminfo: memFree=1282768/131382112 swapFree=33010416/33010684
[pid=140508] ppid=140481 vsize=31795128 memory=26503608 CPUtime=3487.73 cores=0,2
/proc/140508/stat : 140508 (roundingsat) S 140481 140484 140321 0 -1 4195840 5140796 0 1 0 337523 11250 0 0 20 0 1 0 183986392 32558211072 6625902 18446744073709551615 4227072 8923577 140730018971792 140730018968448 139775187663468 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 6
/proc/140508/statm: 7948782 6625902 2560 1147 0 7936208 0
Current cumulated CPU time of completed processes: 1.22446 s
Current children cumulated CPU time: 3487.73 s
Current children cumulated vsize: 31795128 KiB
Current children cumulated memory: 26503608 KiB
[startup+3499.7 s]
/proc/loadavg: 4.68 4.70 4.61 5/258 140758
/proc/meminfo: memFree=1282768/131382112 swapFree=33010416/33010684
[pid=140508] ppid=140481 vsize=31795128 memory=26503608 CPUtime=3487.73 cores=0,2
/proc/140508/stat : 140508 (roundingsat) S 140481 140484 140321 0 -1 4195840 5140796 0 1 0 337523 11250 0 0 20 0 1 0 183986392 32558211072 6625902 18446744073709551615 4227072 8923577 140730018971792 140730018968448 139775187663468 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9827200 9836688 38027264 140730018973978 140730018974246 140730018974246 140730018979818 6
/proc/140508/statm: 7948782 6625902 2560 1147 0 7936208 0
Current cumulated CPU time of completed processes: 1.22446 s
Current children cumulated CPU time: 3487.73 s
Current children cumulated vsize: 31795128 KiB
Current children cumulated memory: 26503608 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3501.2
CPU time (s): 3490.44
CPU user time (s): 3376.25
CPU system time (s): 114.198
CPU usage (%): 99.6927
Max. virtual memory (cumulated for all children) (KiB): 31799320
Max. memory (cumulated for all children) (KiB): 26506552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3376.25
system time used= 114.198
maximum resident set size= 26503608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5170870
page faults= 1
swaps= 0
block input operations= 4032
block output operations= 153175904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 636
involuntary context switches= 7886
# summary of solver processes directly reported to runsolver:
# pid: 140484,140508
# total CPU time (s): 3490.44
# total CPU user time (s): 3376.25
# total CPU system time (s): 114.198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7926 second user time and 37.048 second system time
The end
Begin job on nodeC012 at 2025-07-16 18:24:26
IDJOB=4531931
IDBENCH=148722
IDSOLVER=3392
FILE ID=nodeC012/4531931-1752683065
RUNJOBID= nodeC012-1752683038-140338
SLURM_JOB_ID= 9686907
Free space on /tmp= 431172 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__64.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531931-1752683065/watcher-4531931-1752683065 -o /tmp/evaluation-result-4531931-1752683065/solver-4531931-1752683065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752683038-140338 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531931-1752683065.opb /tmp/proof-4531931-1752683065
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6d0bcc2b57c04c2d4d51edf27892ab0d
RANDOM SEED=581247084
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.699
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.516
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.684
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.451
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.146
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.034
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 95991484 kB
MemAvailable: 129806796 kB
Buffers: 2136 kB
Cached: 34584316 kB
SwapCached: 16 kB
Active: 839472 kB
Inactive: 33891412 kB
Active(anon): 165680 kB
Inactive(anon): 4948 kB
Active(file): 673792 kB
Inactive(file): 33886464 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 889520 kB
Writeback: 0 kB
AnonPages: 147608 kB
Mapped: 118400 kB
Shmem: 26136 kB
KReclaimable: 188980 kB
Slab: 281764 kB
SReclaimable: 188980 kB
SUnreclaim: 92784 kB
KernelStack: 4092 kB
PageTables: 3404 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 471960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 188592 MiB
End job on nodeC012 at 2025-07-16 19:22:47