0.00/0.01 c initialize IPBHS solver
0.00/0.01 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.01 c optimizer = "scip"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.51/0.57 c limit for coefficient in constraints and objective to 1000000000
0.51/0.57 c will solve HOME/instance-4521800-1751573574.opb
0.51/0.57 c [0.01] will start solving
6.36/6.48 c [0.03] solve iteration 1, LB=0, UB=1483
6.36/6.48 c [0.37] solve iteration 2, LB=741, UB=760
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: 63837 MiB (58255 MiB free)
memory of node 1: 64465 MiB (56038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521800-1751573574/watcher-4521800-1751573574 -o /tmp/evaluation-result-4521800-1751573574/solver-4521800-1751573574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89204 --watchdog 3760 ./ipbhs_scip HOME/instance-4521800-1751573574.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=91161, runsolver pid=91158
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 4.15 4.12 4.13 5/252 91162
/proc/meminfo: memFree=116782856/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1628352 memory=302676 CPUtime=0.09 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 689 0 0 0 3 6 0 0 20 0 1 0 73036573 1667432448 75669 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 407088 75669 1568 2790 0 400513 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1628352 KiB
Current children cumulated memory: 302676 KiB
[startup+0.211838 s]*
/proc/loadavg: 4.15 4.12 4.13 5/252 91162
/proc/meminfo: memFree=116446984/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1628352 memory=638548 CPUtime=0.2 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 853 0 0 0 6 14 0 0 20 0 1 0 73036573 1667432448 159637 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 407088 159637 1568 2790 0 400513 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1628352 KiB
Current children cumulated memory: 638548 KiB
[startup+0.311645 s]*
/proc/loadavg: 4.15 4.12 4.13 5/252 91162
/proc/meminfo: memFree=116147976/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1628352 memory=945748 CPUtime=0.31 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 1003 0 0 0 9 22 0 0 20 0 1 0 73036573 1667432448 236437 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 407088 236437 1568 2790 0 400513 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 1628352 KiB
Current children cumulated memory: 945748 KiB
[startup+0.700301 s]
/proc/loadavg: 4.14 4.11 4.12 5/252 91162
/proc/meminfo: memFree=115517192/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1659508 memory=1627220 CPUtime=0.68 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 8123 0 0 0 27 41 0 0 20 0 1 0 73036573 1699336192 406805 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 414877 406805 3552 2790 0 408302 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1659508 KiB
Current children cumulated memory: 1627220 KiB
[startup+1.50029 s]
/proc/loadavg: 4.14 4.11 4.12 5/252 91162
/proc/meminfo: memFree=115392312/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1690156 memory=1658656 CPUtime=1.48 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 18988 0 0 0 105 43 0 0 20 0 1 0 73036573 1730719744 414664 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 422539 414664 3712 2790 0 415964 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1690156 KiB
Current children cumulated memory: 1658656 KiB
[startup+3.11282 s]
/proc/loadavg: 4.14 4.11 4.12 5/252 91162
/proc/meminfo: memFree=115368640/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1697596 memory=1664928 CPUtime=3.08 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 20559 0 0 0 265 43 0 0 20 0 1 0 73036573 1738338304 416232 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 424399 416232 3712 2790 0 417824 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1697596 KiB
Current children cumulated memory: 1664928 KiB
[startup+6.30027 s]
/proc/loadavg: 4.13 4.11 4.12 5/252 91162
/proc/meminfo: memFree=115382180/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1705432 memory=1670560 CPUtime=6.26 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 21966 0 0 0 583 43 0 0 20 0 1 0 73036573 1746362368 417640 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 426358 417640 3712 2790 0 419783 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1705432 KiB
Current children cumulated memory: 1670560 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.12 5/252 91162
/proc/meminfo: memFree=115355416/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1713100 memory=1678104 CPUtime=12.65 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 24256 0 0 0 1221 44 0 0 20 0 1 0 73036573 1754214400 419526 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 428275 419526 3712 2790 0 421700 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1713100 KiB
Current children cumulated memory: 1678104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.12 4.13 5/252 91162
/proc/meminfo: memFree=115353220/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1713780 memory=1678616 CPUtime=25.41 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 24364 0 0 0 2497 44 0 0 20 0 1 0 73036573 1754910720 419654 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 428445 419654 3712 2790 0 421870 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1713780 KiB
Current children cumulated memory: 1678616 KiB
[startup+51.1129 s]
/proc/loadavg: 4.11 4.11 4.12 5/252 91162
/proc/meminfo: memFree=115327032/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1728196 memory=1692056 CPUtime=50.96 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 27749 0 0 0 5051 45 0 0 20 0 1 0 73036573 1769672704 423014 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 432049 423014 3712 2790 0 425474 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1728196 KiB
Current children cumulated memory: 1692056 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/252 91253
/proc/meminfo: memFree=97173436/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1747336 memory=1709592 CPUtime=101.98 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 32163 0 0 0 10149 49 0 0 20 0 1 0 73036573 1789272064 427398 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 436834 427398 3712 2790 0 430259 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1747336 KiB
Current children cumulated memory: 1709592 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/252 91255
/proc/meminfo: memFree=97009120/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1754352 memory=1715296 CPUtime=161.82 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 34937 0 0 0 16132 50 0 0 20 0 1 0 73036573 1796456448 428824 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 438588 428824 3712 2790 0 432013 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1754352 KiB
Current children cumulated memory: 1715296 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/253 91258
/proc/meminfo: memFree=97011648/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1764396 memory=1722080 CPUtime=221.64 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 36641 0 0 0 22114 50 0 0 20 0 1 0 73036573 1806741504 430520 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 441099 430520 3712 2790 0 434524 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1764396 KiB
Current children cumulated memory: 1722080 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 91260
/proc/meminfo: memFree=97010172/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1769432 memory=1726432 CPUtime=281.48 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 37761 0 0 0 28097 51 0 0 20 0 1 0 73036573 1811898368 431608 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 442358 431608 3712 2790 0 435783 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 1769432 KiB
Current children cumulated memory: 1726432 KiB
[startup+342.3 s]
/proc/loadavg: 4.48 4.20 4.13 5/250 91264
/proc/meminfo: memFree=97010704/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1769432 memory=1726432 CPUtime=341.31 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 37803 0 0 0 34080 51 0 0 20 0 1 0 73036573 1811898368 431608 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 442358 431608 3712 2790 0 435783 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1769432 KiB
Current children cumulated memory: 1726432 KiB
[startup+402.3 s]
/proc/loadavg: 4.46 4.26 4.16 5/250 91266
/proc/meminfo: memFree=96998568/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1769432 memory=1726432 CPUtime=401.15 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 37804 0 0 0 40064 51 0 0 20 0 1 0 73036573 1811898368 431608 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 442358 431608 3712 2790 0 435783 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1769432 KiB
Current children cumulated memory: 1726432 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.24 4.16 5/250 91268
/proc/meminfo: memFree=96997580/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1769432 memory=1726432 CPUtime=460.98 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 37806 0 0 0 46047 51 0 0 20 0 1 0 73036573 1811898368 431608 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 442358 431608 3712 2790 0 435783 0
################
# More data... #
################
Current children cumulated memory: 1775840 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 91535
/proc/meminfo: memFree=97103264/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1801924 memory=1775840 CPUtime=2914.29 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45263 0 0 0 291366 63 0 0 20 0 1 0 73036573 1845170176 443960 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450481 443960 3712 2790 0 443906 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 1801924 KiB
Current children cumulated memory: 1775840 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 91537
/proc/meminfo: memFree=97098812/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1801924 memory=1775840 CPUtime=2974.13 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45268 0 0 0 297350 63 0 0 20 0 1 0 73036573 1845170176 443960 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450481 443960 3712 2790 0 443906 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 1801924 KiB
Current children cumulated memory: 1775840 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 91544
/proc/meminfo: memFree=97093160/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1801924 memory=1775840 CPUtime=3033.97 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45268 0 0 0 303334 63 0 0 20 0 1 0 73036573 1845170176 443960 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450481 443960 3712 2790 0 443906 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 1801924 KiB
Current children cumulated memory: 1775840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.49 4.19 4.12 5/251 91546
/proc/meminfo: memFree=97043084/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1802760 memory=1776608 CPUtime=3093.81 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45475 0 0 0 309318 63 0 0 20 0 1 0 73036573 1846026240 444152 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450690 444152 3712 2790 0 444115 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 1802760 KiB
Current children cumulated memory: 1776608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.54 4.27 4.16 5/251 91548
/proc/meminfo: memFree=97039060/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1803428 memory=1777248 CPUtime=3153.65 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45644 0 0 0 315302 63 0 0 20 0 1 0 73036573 1846710272 444312 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450857 444312 3712 2790 0 444282 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 1803428 KiB
Current children cumulated memory: 1777248 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/251 91550
/proc/meminfo: memFree=97016756/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1803428 memory=1777248 CPUtime=3213.5 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45644 0 0 0 321286 64 0 0 20 0 1 0 73036573 1846710272 444312 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450857 444312 3712 2790 0 444282 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 1803428 KiB
Current children cumulated memory: 1777248 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.21 4.15 5/251 91552
/proc/meminfo: memFree=96947456/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1803428 memory=1777248 CPUtime=3273.34 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45644 0 0 0 327270 64 0 0 20 0 1 0 73036573 1846710272 444312 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450857 444312 3712 2790 0 444282 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 1803428 KiB
Current children cumulated memory: 1777248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/252 91557
/proc/meminfo: memFree=96938316/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1803428 memory=1777376 CPUtime=3333.18 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45677 0 0 0 333254 64 0 0 20 0 1 0 73036573 1846710272 444344 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 450857 444344 3712 2790 0 444282 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 1803428 KiB
Current children cumulated memory: 1777376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/251 91559
/proc/meminfo: memFree=96914880/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1804644 memory=1778656 CPUtime=3393.02 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 45976 0 0 0 339238 64 0 0 20 0 1 0 73036573 1847955456 444664 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 451161 444664 3712 2790 0 444586 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 1804644 KiB
Current children cumulated memory: 1778656 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/250 91561
/proc/meminfo: memFree=96917432/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1805004 memory=1779424 CPUtime=3452.86 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 46176 0 0 0 345222 64 0 0 20 0 1 0 73036573 1848324096 444856 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 451251 444856 3712 2790 0 444676 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 1805004 KiB
Current children cumulated memory: 1779424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/251 91564
/proc/meminfo: memFree=96907964/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1805540 memory=1782240 CPUtime=3512.7 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 46316 0 0 0 351206 64 0 0 20 0 1 0 73036573 1848872960 445560 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 451385 445560 3712 2790 0 444810 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 1805540 KiB
Current children cumulated memory: 1782240 KiB
[startup+3582.3 s]
/proc/loadavg: 3.89 4.08 4.11 4/245 91597
/proc/meminfo: memFree=98919664/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1806840 memory=1783264 CPUtime=3572.51 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 46553 0 0 0 357184 67 0 0 20 0 1 0 73036573 1850204160 445816 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 451710 445816 3712 2790 0 445135 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 1806840 KiB
Current children cumulated memory: 1783264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.64 4.01 4.08 4/245 91597
/proc/meminfo: memFree=98908404/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1806840 memory=1783264 CPUtime=3600.03 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 46553 0 0 0 359936 67 0 0 20 0 1 0 73036573 1850204160 445816 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 451710 445816 3712 2790 0 445135 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1806840 KiB
Current children cumulated memory: 1783264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 91161 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.36 s, system=0.681259 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.64 4.01 4.08 4/245 91597
/proc/meminfo: memFree=98908404/131382112 swapFree=33005784/33010684
[pid=91161] ppid=91158 vsize=1806840 memory=1783264 CPUtime=3600.03 cores=1,3
/proc/91161/stat : 91161 (ipbhs_scip) R 91158 91161 89192 0 -1 4194304 46553 0 0 0 359936 67 0 0 20 0 1 0 73036573 1850204160 445816 18446744073709551615 94516640440320 94516651866717 140726441770528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94516654002392 94516654047410 94516675362816 140726441777554 140726441777673 140726441777673 140726441783275 0
/proc/91161/statm: 451710 445816 3712 2790 0 445135 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1806840 KiB
Current children cumulated memory: 1783264 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.91
CPU time (s): 3600.05
CPU user time (s): 3599.36
CPU system time (s): 0.681259
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 1806840
Max. memory (cumulated for all children) (KiB): 1783264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.681259
maximum resident set size= 1783264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46553
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= 97
involuntary context switches= 1692
# summary of solver processes directly reported to runsolver:
# pid: 91161
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.36
# total CPU system time (s): 0.681259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.989 second user time and 34.5575 second system time
The end
Begin job on nodeC007 at 2025-07-03 22:12:54
IDJOB=4521800
IDBENCH=178473
IDSOLVER=3335
FILE ID=nodeC007/4521800-1751573574
RUNJOBID= nodeC007-1751566271-89204
SLURM_JOB_ID= 9598776
Free space on /tmp= 430836 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521800-1751573574/watcher-4521800-1751573574 -o /tmp/evaluation-result-4521800-1751573574/solver-4521800-1751573574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89204 --watchdog 3760 ./ipbhs_scip HOME/instance-4521800-1751573574.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39e993bb96de7a4bf1916cc2a0bf9eab
RANDOM SEED=1941932004
nodeC007 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 : 3591.746
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.68
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.314
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.68
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.780
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.68
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 : 1396.736
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.68
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 : 3691.501
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.68
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 : 3662.314
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.68
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 : 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 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.68
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 : 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 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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 117036640 kB
MemAvailable: 123884380 kB
Buffers: 16 kB
Cached: 7516264 kB
SwapCached: 252 kB
Active: 6222148 kB
Inactive: 7250004 kB
Active(anon): 5921660 kB
Inactive(anon): 47716 kB
Active(file): 300488 kB
Inactive(file): 7202288 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69884 kB
Writeback: 4 kB
AnonPages: 5958724 kB
Mapped: 130628 kB
Shmem: 13504 kB
KReclaimable: 369184 kB
Slab: 458688 kB
SReclaimable: 369184 kB
SUnreclaim: 89504 kB
KernelStack: 4064 kB
PageTables: 14872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6392992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5263360 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430728 MiB
End job on nodeC007 at 2025-07-03 23:13:05