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
8.56/8.64 c limit for coefficient in constraints and objective to 1000000000
8.56/8.64 c will solve HOME/instance-4523870-1751600641.opb
8.56/8.64 c [0.89] 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: 63837 MiB (62548 MiB free)
memory of node 1: 64465 MiB (60971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523870-1751600641/watcher-4523870-1751600641 -o /tmp/evaluation-result-4523870-1751600641/solver-4523870-1751600641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81656 --watchdog 3760 ./ipbhs_scip HOME/instance-4523870-1751600641.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=82669, runsolver pid=82666
[startup+0.100102 s]*
/proc/loadavg: 4.07 4.10 4.09 5/251 82670
/proc/meminfo: memFree=126452308/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=85880 memory=51144 CPUtime=0.1 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 7087 0 0 0 8 2 0 0 20 0 1 0 75742974 87941120 12786 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 21470 12786 1568 2790 0 14895 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 85880 KiB
Current children cumulated memory: 51144 KiB
[startup+0.213057 s]*
/proc/loadavg: 4.07 4.10 4.09 5/251 82670
/proc/meminfo: memFree=126438636/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=105280 memory=69248 CPUtime=0.21 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 10930 0 0 0 19 2 0 0 20 0 1 0 75742974 107806720 17312 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 26320 17312 1568 2790 0 19745 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 69248 KiB
[startup+0.312985 s]*
/proc/loadavg: 4.07 4.10 4.09 5/251 82670
/proc/meminfo: memFree=126428744/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=110324 memory=76364 CPUtime=0.31 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 12873 0 0 0 28 3 0 0 20 0 1 0 75742974 112971776 19091 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 27581 19091 1568 2790 0 21006 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 110324 KiB
Current children cumulated memory: 76364 KiB
[startup+0.700325 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 82670
/proc/meminfo: memFree=126384260/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=179284 memory=120104 CPUtime=0.68 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 20457 0 0 0 63 5 0 0 20 0 1 0 75742974 183586816 30026 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 44821 30026 1568 2790 0 38246 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179284 KiB
Current children cumulated memory: 120104 KiB
[startup+1.50034 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 82670
/proc/meminfo: memFree=126343936/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=285104 memory=217264 CPUtime=1.48 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 30414 0 0 0 140 8 0 0 20 0 1 0 75742974 291946496 54316 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 71276 54316 1568 2790 0 64701 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 285104 KiB
Current children cumulated memory: 217264 KiB
[startup+3.11369 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 82670
/proc/meminfo: memFree=125973924/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=576156 memory=526664 CPUtime=3.09 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 56147 0 0 0 268 41 0 0 20 0 1 0 75742974 589983744 131666 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 144039 131666 1664 2790 0 137464 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 576156 KiB
Current children cumulated memory: 526664 KiB
[startup+6.30033 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 82670
/proc/meminfo: memFree=125449604/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=1145884 memory=1040936 CPUtime=6.27 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 88796 0 0 0 500 127 0 0 20 0 1 0 75742974 1173385216 260234 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 286471 260234 1664 2790 0 279896 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1145884 KiB
Current children cumulated memory: 1040936 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.13 4.10 5/250 82670
/proc/meminfo: memFree=121223260/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=5402044 memory=5241652 CPUtime=12.65 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1038449 0 0 0 973 292 0 0 20 0 1 0 75742974 5531693056 1310413 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1350511 1310413 3392 2790 0 1343936 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 5402044 KiB
Current children cumulated memory: 5241652 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.12 4.10 5/250 82670
/proc/meminfo: memFree=121163032/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=5496320 memory=5329952 CPUtime=25.41 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1042146 0 0 0 2247 294 0 0 20 0 1 0 75742974 5628231680 1332488 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1374080 1332488 3424 2790 0 1367505 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 5496320 KiB
Current children cumulated memory: 5329952 KiB
[startup+51.1126 s]
/proc/loadavg: 4.17 4.13 4.10 5/249 82671
/proc/meminfo: memFree=120617544/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5796492 CPUtime=50.96 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087002 0 0 0 4789 307 0 0 20 0 1 0 75742974 6175367168 1449123 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449123 3424 2790 0 1501083 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5796492 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/250 82674
/proc/meminfo: memFree=120614196/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5796492 CPUtime=102.05 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087010 0 0 0 9898 307 0 0 20 0 1 0 75742974 6175367168 1449123 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449123 3424 2790 0 1501083 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5796492 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/250 82676
/proc/meminfo: memFree=120544656/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5796620 CPUtime=161.95 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087061 0 0 0 15887 308 0 0 20 0 1 0 75742974 6175367168 1449155 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449155 3456 2790 0 1501083 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5796620 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 82678
/proc/meminfo: memFree=120507512/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5796620 CPUtime=221.85 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087134 0 0 0 21876 309 0 0 20 0 1 0 75742974 6175367168 1449155 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449155 3456 2790 0 1501083 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5796620 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/250 82680
/proc/meminfo: memFree=120534100/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5797388 CPUtime=281.75 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087209 0 0 0 27866 309 0 0 20 0 1 0 75742974 6175367168 1449347 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449347 3456 2790 0 1501083 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5797388 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 82682
/proc/meminfo: memFree=120509788/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5798284 CPUtime=341.65 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087267 0 0 0 33856 309 0 0 20 0 1 0 75742974 6175367168 1449571 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449571 3456 2790 0 1501083 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5798284 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 82687
/proc/meminfo: memFree=120467804/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5798284 CPUtime=401.55 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087345 0 0 0 39845 310 0 0 20 0 1 0 75742974 6175367168 1449571 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449571 3456 2790 0 1501083 0
Current children cumulated CPU time: 401.55 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5798284 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 82690
/proc/meminfo: memFree=120469384/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5798284 CPUtime=461.46 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1087412 0 0 0 45835 311 0 0 20 0 1 0 75742974 6175367168 1449571 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1449571 3456 2790 0 1501083 0
Current children cumulated CPU time: 461.46 s
################
# More data... #
################
Current children cumulated memory: 5808012 KiB
[startup+2862.3 s]
/proc/loadavg: 4.04 4.09 4.14 5/251 82860
/proc/meminfo: memFree=122202080/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5808012 CPUtime=2857.13 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1091369 0 0 0 285392 321 0 0 20 0 1 0 75742974 6175367168 1452003 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1452003 3456 2790 0 1501083 0
Current children cumulated CPU time: 2857.13 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5808012 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.12 4.14 5/250 82907
/proc/meminfo: memFree=121264156/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5808012 CPUtime=2916.98 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1091520 0 0 0 291377 321 0 0 20 0 1 0 75742974 6175367168 1452003 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1452003 3456 2790 0 1501083 0
Current children cumulated CPU time: 2916.98 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5808012 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/250 82909
/proc/meminfo: memFree=121167400/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5808268 CPUtime=2976.87 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1091663 0 0 0 297366 321 0 0 20 0 1 0 75742974 6175367168 1452067 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1452067 3456 2790 0 1501083 0
Current children cumulated CPU time: 2976.87 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5808268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/250 82915
/proc/meminfo: memFree=121100676/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5813516 CPUtime=3036.76 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1091779 0 0 0 303355 321 0 0 20 0 1 0 75742974 6175367168 1453379 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1453379 3456 2790 0 1501083 0
Current children cumulated CPU time: 3036.76 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5813516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/250 82917
/proc/meminfo: memFree=121017888/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5813516 CPUtime=3096.66 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1091923 0 0 0 309345 321 0 0 20 0 1 0 75742974 6175367168 1453379 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1453379 3456 2790 0 1501083 0
Current children cumulated CPU time: 3096.66 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5813516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/249 82919
/proc/meminfo: memFree=120993664/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5816460 CPUtime=3156.56 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092086 0 0 0 315335 321 0 0 20 0 1 0 75742974 6175367168 1454115 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1454115 3456 2790 0 1501083 0
Current children cumulated CPU time: 3156.56 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5816460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.13 5/249 82920
/proc/meminfo: memFree=120947344/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5817100 CPUtime=3216.45 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092184 0 0 0 321324 321 0 0 20 0 1 0 75742974 6175367168 1454275 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1454275 3456 2790 0 1501083 0
Current children cumulated CPU time: 3216.45 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5817100 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 82922
/proc/meminfo: memFree=120928008/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5817996 CPUtime=3276.35 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092313 0 0 0 327314 321 0 0 20 0 1 0 75742974 6175367168 1454499 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1454499 3456 2790 0 1501083 0
Current children cumulated CPU time: 3276.35 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5817996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/250 82925
/proc/meminfo: memFree=120920684/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5822092 CPUtime=3336.24 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092461 0 0 0 333303 321 0 0 20 0 1 0 75742974 6175367168 1455523 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1455523 3456 2790 0 1501083 0
Current children cumulated CPU time: 3336.24 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5822092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.12 5/250 82971
/proc/meminfo: memFree=120295348/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5822092 CPUtime=3396.14 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092526 0 0 0 339293 321 0 0 20 0 1 0 75742974 6175367168 1455523 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1455523 3456 2790 0 1501083 0
Current children cumulated CPU time: 3396.14 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5822092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.14 4.12 5/251 82976
/proc/meminfo: memFree=120261300/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5822092 CPUtime=3456.03 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092603 0 0 0 345282 321 0 0 20 0 1 0 75742974 6175367168 1455523 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1455523 3456 2790 0 1501083 0
Current children cumulated CPU time: 3456.03 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5822092 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/251 82978
/proc/meminfo: memFree=120231624/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5827340 CPUtime=3515.93 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092722 0 0 0 351272 321 0 0 20 0 1 0 75742974 6175367168 1456835 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1456835 3456 2790 0 1501083 0
Current children cumulated CPU time: 3515.93 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5827340 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/251 82980
/proc/meminfo: memFree=120206836/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5829132 CPUtime=3575.82 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092767 0 0 0 357261 321 0 0 20 0 1 0 75742974 6175367168 1457283 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1457283 3456 2790 0 1501083 0
Current children cumulated CPU time: 3575.82 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5829132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.6 s]
/proc/loadavg: 4.16 4.12 4.11 5/251 82982
/proc/meminfo: memFree=120198392/131382120 swapFree=33010416/33010684
[pid=82669] ppid=82666 vsize=6030632 memory=5830668 CPUtime=3600.08 cores=4,6
/proc/82669/stat : 82669 (ipbhs_scip) R 82666 82669 81645 0 -1 4194304 1092865 0 0 0 359687 321 0 0 20 0 1 0 75742974 6175367168 1457667 18446744073709551615 94707666268160 94707677694557 140735030797712 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94707679830232 94707679875250 94707700047872 140735030802834 140735030802953 140735030802953 140735030808555 0
/proc/82669/statm: 1507658 1457667 3456 2790 0 1501083 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6030632 KiB
Current children cumulated memory: 5830668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.62 s]
# the end of solver process 82669 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.87 s, system=3.23052 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3606.62
CPU time (s): 3600.11
CPU user time (s): 3596.87
CPU system time (s): 3.23052
CPU usage (%): 99.8194
Max. virtual memory (cumulated for all children) (KiB): 6030632
Max. memory (cumulated for all children) (KiB): 5830668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.87
system time used= 3.23052
maximum resident set size= 5830668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1092865
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= 83
involuntary context switches= 959
# summary of solver processes directly reported to runsolver:
# pid: 82669
# total CPU time (s): 3600.11
# total CPU user time (s): 3596.87
# total CPU system time (s): 3.23052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7881 second user time and 32.8541 second system time
The end
Begin job on nodeC002 at 2025-07-04 05:44:01
IDJOB=4523870
IDBENCH=180377
IDSOLVER=3335
FILE ID=nodeC002/4523870-1751600641
RUNJOBID= nodeC002-1751595922-81656
SLURM_JOB_ID= 9598862
Free space on /tmp= 432428 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523870-1751600641/watcher-4523870-1751600641 -o /tmp/evaluation-result-4523870-1751600641/solver-4523870-1751600641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81656 --watchdog 3760 ./ipbhs_scip HOME/instance-4523870-1751600641.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360
RANDOM SEED=1707739848
nodeC002 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 : 3662.875
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.81
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 : 3691.482
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.81
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.686
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.81
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 : 1197.517
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.81
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 : 3491.911
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.81
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 : 3691.392
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.81
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.81
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126483732 kB
MemAvailable: 127554192 kB
Buffers: 2128 kB
Cached: 1874884 kB
SwapCached: 28 kB
Active: 2757148 kB
Inactive: 1571788 kB
Active(anon): 2463456 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 1565384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 113124 kB
Writeback: 0 kB
AnonPages: 2451500 kB
Mapped: 134076 kB
Shmem: 17932 kB
KReclaimable: 102024 kB
Slab: 187512 kB
SReclaimable: 102024 kB
SUnreclaim: 85488 kB
KernelStack: 4080 kB
PageTables: 7988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2876412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1843200 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432336 MiB
End job on nodeC002 at 2025-07-04 06:44:09