0.00/0.00 c initialize IPBHS solver
0.00/0.00 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.00/0.04 c limit for coefficient in constraints and objective to 1000000000
0.00/0.04 c will solve HOME/instance-4509594-1751527275.opb
0.00/0.04 c [0] will start solving
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61989 MiB free)
memory of node 1: 64465 MiB (60324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509594-1751527275/watcher-4509594-1751527275 -o /tmp/evaluation-result-4509594-1751527275/solver-4509594-1751527275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74116 --watchdog 3760 ./ipbhs_scip HOME/instance-4509594-1751527275.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74583, runsolver pid=74580
[startup+0.100061 s]*
/proc/loadavg: 4.22 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125249976/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=52880 memory=28216 CPUtime=0.09 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 3744 0 0 0 7 2 0 0 20 0 1 0 68404109 54149120 7054 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 13220 7054 3488 2790 0 6645 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52880 KiB
Current children cumulated memory: 28216 KiB
[startup+0.205385 s]*
/proc/loadavg: 4.22 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125245880/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=52880 memory=28344 CPUtime=0.19 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 3787 0 0 0 17 2 0 0 20 0 1 0 68404109 54149120 7086 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 13220 7086 3488 2790 0 6645 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52880 KiB
Current children cumulated memory: 28344 KiB
[startup+0.30516 s]*
/proc/loadavg: 4.22 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125245880/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=53808 memory=29368 CPUtime=0.29 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 4056 0 0 0 27 2 0 0 20 0 1 0 68404109 55099392 7342 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 13452 7342 3488 2790 0 6877 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53808 KiB
Current children cumulated memory: 29368 KiB
[startup+0.700101 s]
/proc/loadavg: 4.22 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125239012/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=58136 memory=33932 CPUtime=0.68 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 4690 0 0 0 64 4 0 0 20 0 1 0 68404109 59531264 8483 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 14534 8483 3488 2790 0 7959 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58136 KiB
Current children cumulated memory: 33932 KiB
[startup+1.50018 s]
/proc/loadavg: 4.20 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125218664/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=75336 memory=46548 CPUtime=1.48 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 7307 0 0 0 142 6 0 0 20 0 1 0 68404109 77144064 11637 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 18834 11637 3488 2790 0 12259 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75336 KiB
Current children cumulated memory: 46548 KiB
[startup+3.10524 s]
/proc/loadavg: 4.20 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125171280/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=90324 memory=67396 CPUtime=3.08 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 11524 0 0 0 297 11 0 0 20 0 1 0 68404109 92491776 16849 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 22581 16849 3488 2790 0 16006 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90324 KiB
Current children cumulated memory: 67396 KiB
[startup+6.30012 s]
/proc/loadavg: 4.19 4.21 4.10 5/264 74584
/proc/meminfo: memFree=125119496/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=113188 memory=85384 CPUtime=6.26 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 14491 0 0 0 608 18 0 0 20 0 1 0 68404109 115904512 21346 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 28297 21346 3488 2790 0 21722 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 85384 KiB
[startup+12.7001 s]
/proc/loadavg: 4.25 4.23 4.11 5/264 74584
/proc/meminfo: memFree=125022284/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=175636 memory=150076 CPUtime=12.65 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 25546 0 0 0 1237 28 0 0 20 0 1 0 68404109 179851264 37519 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 43909 37519 3488 2790 0 37334 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 175636 KiB
Current children cumulated memory: 150076 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.22 4.11 5/264 74584
/proc/meminfo: memFree=124895680/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=248464 memory=193176 CPUtime=25.41 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 35821 0 0 0 2496 45 0 0 20 0 1 0 68404109 254427136 48294 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 62116 48294 3488 2790 0 55541 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 248464 KiB
Current children cumulated memory: 193176 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.20 4.10 5/264 74584
/proc/meminfo: memFree=124741572/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=301944 memory=245624 CPUtime=50.93 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 48422 0 0 0 5007 86 0 0 20 0 1 0 68404109 309190656 61406 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 75486 61406 3488 2790 0 68911 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 301944 KiB
Current children cumulated memory: 245624 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.20 4.10 5/264 74586
/proc/meminfo: memFree=124487700/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=419588 memory=345468 CPUtime=101.97 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 64200 0 0 0 10052 145 0 0 20 0 1 0 68404109 429658112 86367 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 104897 86367 3488 2790 0 98322 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 419588 KiB
Current children cumulated memory: 345468 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.10 5/264 74588
/proc/meminfo: memFree=124270844/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=454584 memory=375548 CPUtime=161.78 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 71707 0 0 0 15986 192 0 0 20 0 1 0 68404109 465494016 93887 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 113646 93887 3488 2790 0 107071 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 454584 KiB
Current children cumulated memory: 375548 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.10 5/264 74590
/proc/meminfo: memFree=124166328/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=470016 memory=391276 CPUtime=221.59 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 75136 0 0 0 21897 262 0 0 20 0 1 0 68404109 481296384 97819 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 117504 97819 3488 2790 0 110929 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 470016 KiB
Current children cumulated memory: 391276 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/264 74592
/proc/meminfo: memFree=124036544/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=492012 memory=413380 CPUtime=281.4 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 80181 0 0 0 27813 327 0 0 20 0 1 0 68404109 503820288 103345 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 123003 103345 3488 2790 0 116428 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 492012 KiB
Current children cumulated memory: 413380 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/263 74595
/proc/meminfo: memFree=123776796/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=564300 memory=498500 CPUtime=341.21 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 95327 0 0 0 33767 354 0 0 20 0 1 0 68404109 577843200 124625 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 141075 124625 3488 2790 0 134500 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 564300 KiB
Current children cumulated memory: 498500 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/263 74597
/proc/meminfo: memFree=123580280/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=635064 memory=564788 CPUtime=401.02 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 110365 0 0 0 39727 375 0 0 20 0 1 0 68404109 650305536 141197 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 158766 141197 3488 2790 0 152191 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 635064 KiB
Current children cumulated memory: 564788 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/263 74599
/proc/meminfo: memFree=123367836/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=730256 memory=578100 CPUtime=460.83 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 113707 0 0 0 45644 439 0 0 20 0 1 0 68404109 747782144 144525 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 182564 144525 3488 2790 0 175989 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 1688688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 74731
/proc/meminfo: memFree=120311148/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=1949800 memory=1848864 CPUtime=2913.29 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 290016 0 0 0 289691 1638 0 0 20 0 1 0 68404109 1996595200 462216 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 487450 462216 3488 2790 0 480875 0
Current children cumulated CPU time: 2913.29 s
Current children cumulated vsize: 1949800 KiB
Current children cumulated memory: 1848864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 74734
/proc/meminfo: memFree=120192568/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=1971412 memory=1890644 CPUtime=2973.12 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 293404 0 0 0 295653 1659 0 0 20 0 1 0 68404109 2018725888 472661 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 492853 472661 3488 2790 0 486278 0
Current children cumulated CPU time: 2973.12 s
Current children cumulated vsize: 1971412 KiB
Current children cumulated memory: 1890644 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 74745
/proc/meminfo: memFree=119849244/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=1994744 memory=1944404 CPUtime=3032.95 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 296794 0 0 0 301620 1675 0 0 20 0 1 0 68404109 2042617856 486101 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 498686 486101 3488 2790 0 492111 0
Current children cumulated CPU time: 3032.95 s
Current children cumulated vsize: 1994744 KiB
Current children cumulated memory: 1944404 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 74747
/proc/meminfo: memFree=119663636/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2003440 memory=1970388 CPUtime=3092.79 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 298101 0 0 0 307588 1691 0 0 20 0 1 0 68404109 2051522560 492597 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 500860 492597 3488 2790 0 494285 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 2003440 KiB
Current children cumulated memory: 1970388 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 74749
/proc/meminfo: memFree=119471568/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2039988 memory=1994580 CPUtime=3152.61 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 304219 0 0 0 313554 1707 0 0 20 0 1 0 68404109 2088947712 498645 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 509997 498645 3488 2790 0 503422 0
Current children cumulated CPU time: 3152.61 s
Current children cumulated vsize: 2039988 KiB
Current children cumulated memory: 1994580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 74751
/proc/meminfo: memFree=119348148/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2148416 memory=2077524 CPUtime=3212.43 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 325044 0 0 0 319521 1722 0 0 20 0 1 0 68404109 2199977984 519381 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 537104 519381 3488 2790 0 530529 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 2148416 KiB
Current children cumulated memory: 2077524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/265 74753
/proc/meminfo: memFree=119339524/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2148744 memory=2078164 CPUtime=3272.28 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 325214 0 0 0 325500 1728 0 0 20 0 1 0 68404109 2200313856 519541 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 537186 519541 3488 2790 0 530611 0
Current children cumulated CPU time: 3272.28 s
Current children cumulated vsize: 2148744 KiB
Current children cumulated memory: 2078164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 74756
/proc/meminfo: memFree=119331340/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2149312 memory=2078676 CPUtime=3332.12 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 325443 0 0 0 331479 1733 0 0 20 0 1 0 68404109 2200895488 519669 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 537328 519669 3488 2790 0 530753 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 2149312 KiB
Current children cumulated memory: 2078676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 74758
/proc/meminfo: memFree=119315332/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2160848 memory=2085844 CPUtime=3391.97 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 327276 0 0 0 337455 1742 0 0 20 0 1 0 68404109 2212708352 521461 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 540212 521461 3488 2790 0 533637 0
Current children cumulated CPU time: 3391.97 s
Current children cumulated vsize: 2160848 KiB
Current children cumulated memory: 2085844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 74760
/proc/meminfo: memFree=119267424/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2196616 memory=2110676 CPUtime=3451.82 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 333518 0 0 0 343430 1752 0 0 20 0 1 0 68404109 2249334784 527669 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 549154 527669 3488 2790 0 542579 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 2196616 KiB
Current children cumulated memory: 2110676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 74762
/proc/meminfo: memFree=119121808/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2366236 memory=2217044 CPUtime=3511.66 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 360361 0 0 0 349402 1764 0 0 20 0 1 0 68404109 2423025664 554261 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 591559 554261 3488 2790 0 584984 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 2366236 KiB
Current children cumulated memory: 2217044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 74764
/proc/meminfo: memFree=118967884/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2392864 memory=2260692 CPUtime=3571.51 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 370291 0 0 0 355378 1773 0 0 20 0 1 0 68404109 2450292736 565173 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 598216 565173 3488 2790 0 591641 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 2392864 KiB
Current children cumulated memory: 2260692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 74907
/proc/meminfo: memFree=122505004/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2762084 memory=2312600 CPUtime=3600.03 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 376111 0 0 0 358225 1778 0 0 20 0 1 0 68404109 2828374016 578150 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 690521 578150 3488 2790 0 683946 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2762084 KiB
Current children cumulated memory: 2312600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.93 s]
# the end of solver process 74583 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3582.26 s, system=17.8094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 74907
/proc/meminfo: memFree=122505004/131250000 swapFree=33010672/33010684
[pid=74583] ppid=74580 vsize=2762084 memory=2312600 CPUtime=3600.03 cores=5,7
/proc/74583/stat : 74583 (ipbhs_scip) R 74580 74583 74103 0 -1 4194304 376111 0 0 0 358225 1778 0 0 20 0 1 0 68404109 2828374016 578150 18446744073709551615 94891370872832 94891382299229 140728668501840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94891384434904 94891384479922 94891417706496 140728668510610 140728668510729 140728668510729 140728668516331 0
/proc/74583/statm: 690521 578150 3488 2790 0 683946 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2762084 KiB
Current children cumulated memory: 2312600 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.93
CPU time (s): 3600.07
CPU user time (s): 3582.26
CPU system time (s): 17.8094
CPU usage (%): 99.6992
Max. virtual memory (cumulated for all children) (KiB): 2762084
Max. memory (cumulated for all children) (KiB): 2312600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.26
system time used= 17.8094
maximum resident set size= 2312600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291
involuntary context switches= 3334
# summary of solver processes directly reported to runsolver:
# pid: 74583
# total CPU time (s): 3600.07
# total CPU user time (s): 3582.26
# total CPU system time (s): 17.8094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9618 second user time and 9.03427 second system time
The end
Begin job on nodeC014 at 2025-07-03 09:21:15
IDJOB=4509594
IDBENCH=158625
IDSOLVER=3335
FILE ID=nodeC014/4509594-1751527275
RUNJOBID= nodeC014-1751523662-74116
SLURM_JOB_ID= 9598651
Free space on /tmp= 430332 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509594-1751527275/watcher-4509594-1751527275 -o /tmp/evaluation-result-4509594-1751527275/solver-4509594-1751527275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74116 --watchdog 3760 ./ipbhs_scip HOME/instance-4509594-1751527275.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=141765789
nodeC014 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 : 3600.135
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 : 7000.23
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 : 3600.102
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 : 7000.23
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 : 3601.774
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 : 7000.23
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 : 3600.106
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 : 7000.23
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 : 3600.100
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 : 7000.23
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 : 3700.000
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 : 7000.23
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 : 3700.000
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 : 7000.23
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 : 3600.110
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125249912 kB
MemAvailable: 127334164 kB
Buffers: 2508 kB
Cached: 2879444 kB
SwapCached: 4 kB
Active: 2881420 kB
Inactive: 2321252 kB
Active(anon): 2334940 kB
Inactive(anon): 3852 kB
Active(file): 546480 kB
Inactive(file): 2317400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 280768 kB
Writeback: 0 kB
AnonPages: 2324132 kB
Mapped: 136704 kB
Shmem: 18064 kB
KReclaimable: 119224 kB
Slab: 209792 kB
SReclaimable: 119224 kB
SUnreclaim: 90568 kB
KernelStack: 4256 kB
PageTables: 7640 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2699768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2189312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430264 MiB
End job on nodeC014 at 2025-07-03 10:21:26