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.31/0.39 c limit for coefficient in constraints and objective to 1000000000
0.31/0.39 c will solve HOME/instance-4523824-1751600384.opb
0.31/0.39 c [0.01] 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 (60986 MiB free)
memory of node 1: 64465 MiB (61103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523824-1751600384/watcher-4523824-1751600384 -o /tmp/evaluation-result-4523824-1751600384/solver-4523824-1751600384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81658 --watchdog 3760 ./ipbhs_scip HOME/instance-4523824-1751600384.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=82612, runsolver pid=82609
[startup+0.100066 s]*
/proc/loadavg: 4.08 4.11 4.10 6/252 82613
/proc/meminfo: memFree=125012200/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=44912 memory=11008 CPUtime=0.09 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 1361 0 0 0 9 0 0 0 20 0 1 0 75717268 45989888 2752 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 11228 2752 1600 2790 0 4653 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44912 KiB
Current children cumulated memory: 11008 KiB
[startup+0.21295 s]*
/proc/loadavg: 4.08 4.11 4.10 5/252 82613
/proc/meminfo: memFree=125012452/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=50528 memory=19660 CPUtime=0.21 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 2935 0 0 0 20 1 0 0 20 0 1 0 75717268 51740672 4915 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 12632 4915 1696 2790 0 6057 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50528 KiB
Current children cumulated memory: 19660 KiB
[startup+0.312923 s]*
/proc/loadavg: 4.08 4.11 4.10 5/252 82613
/proc/meminfo: memFree=125008356/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=56468 memory=27788 CPUtime=0.31 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 4460 0 0 0 29 2 0 0 20 0 1 0 75717268 57823232 6947 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 14117 6947 1696 2790 0 7542 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56468 KiB
Current children cumulated memory: 27788 KiB
[startup+0.700305 s]
/proc/loadavg: 4.08 4.11 4.10 5/252 82613
/proc/meminfo: memFree=124998780/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=73696 memory=54008 CPUtime=0.68 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 8749 0 0 0 64 4 0 0 20 0 1 0 75717268 75464704 13502 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 18424 13502 3552 2790 0 11849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73696 KiB
Current children cumulated memory: 54008 KiB
[startup+1.50031 s]
/proc/loadavg: 4.08 4.11 4.10 5/252 82613
/proc/meminfo: memFree=124996764/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=73960 memory=54904 CPUtime=1.48 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 8975 0 0 0 143 5 0 0 20 0 1 0 75717268 75735040 13726 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 18490 13726 3552 2790 0 11915 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73960 KiB
Current children cumulated memory: 54904 KiB
[startup+3.11269 s]
/proc/loadavg: 4.08 4.11 4.10 5/252 82613
/proc/meminfo: memFree=124985176/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=76944 memory=56184 CPUtime=3.09 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 9292 0 0 0 302 7 0 0 20 0 1 0 75717268 78790656 14046 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 19236 14046 3552 2790 0 12661 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 76944 KiB
Current children cumulated memory: 56184 KiB
[startup+6.30027 s]
/proc/loadavg: 4.07 4.11 4.10 5/252 82613
/proc/meminfo: memFree=124982404/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=81636 memory=59256 CPUtime=6.27 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 10079 0 0 0 619 8 0 0 20 0 1 0 75717268 83595264 14814 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 20409 14814 3552 2790 0 13834 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81636 KiB
Current children cumulated memory: 59256 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.11 4.10 5/252 82613
/proc/meminfo: memFree=124975220/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=81916 memory=61780 CPUtime=12.65 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 10180 0 0 0 1255 10 0 0 20 0 1 0 75717268 83881984 15445 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 20479 15445 3552 2790 0 13904 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 81916 KiB
Current children cumulated memory: 61780 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.10 4.09 5/252 82613
/proc/meminfo: memFree=124972700/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=91520 memory=65876 CPUtime=25.42 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 11212 0 0 0 2522 20 0 0 20 0 1 0 75717268 93716480 16469 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 22880 16469 3552 2790 0 16305 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 91520 KiB
Current children cumulated memory: 65876 KiB
[startup+51.1128 s]
/proc/loadavg: 4.03 4.09 4.09 5/252 82614
/proc/meminfo: memFree=124968416/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=94876 memory=71628 CPUtime=50.97 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 12141 0 0 0 5052 45 0 0 20 0 1 0 75717268 97153024 17907 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 23719 17907 3552 2790 0 17144 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 94876 KiB
Current children cumulated memory: 71628 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 82616
/proc/meminfo: memFree=124936500/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=109772 memory=83020 CPUtime=102.03 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 13444 0 0 0 10125 78 0 0 20 0 1 0 75717268 112406528 20755 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 27443 20755 3552 2790 0 20868 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 109772 KiB
Current children cumulated memory: 83020 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/251 82617
/proc/meminfo: memFree=124926264/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=113888 memory=90452 CPUtime=161.89 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 14313 0 0 0 16072 117 0 0 20 0 1 0 75717268 116621312 22613 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 28472 22613 3552 2790 0 21897 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 113888 KiB
Current children cumulated memory: 90452 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 82619
/proc/meminfo: memFree=124879644/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=115056 memory=91348 CPUtime=221.73 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 14537 0 0 0 22011 162 0 0 20 0 1 0 75717268 117817344 22837 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 28764 22837 3552 2790 0 22189 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 115056 KiB
Current children cumulated memory: 91348 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/250 82670
/proc/meminfo: memFree=121163032/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=116300 memory=94656 CPUtime=281.58 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 14841 0 0 0 27971 187 0 0 20 0 1 0 75717268 119091200 23664 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 29075 23664 3552 2790 0 22500 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 116300 KiB
Current children cumulated memory: 94656 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/249 82672
/proc/meminfo: memFree=120613420/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=118676 memory=96704 CPUtime=341.38 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 15377 0 0 0 33902 236 0 0 20 0 1 0 75717268 121524224 24176 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 29669 24176 3552 2790 0 23094 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 118676 KiB
Current children cumulated memory: 96704 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/250 82675
/proc/meminfo: memFree=120549044/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=138744 memory=100800 CPUtime=401.18 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 16006 0 0 0 39837 281 0 0 20 0 1 0 75717268 142073856 25200 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 34686 25200 3552 2790 0 28111 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 138744 KiB
Current children cumulated memory: 100800 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/250 82677
/proc/meminfo: memFree=120520752/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=139164 memory=108776 CPUtime=461.02 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 16128 0 0 0 45783 319 0 0 20 0 1 0 75717268 142503936 27194 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 34791 27194 3552 2790 0 28216 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 154600 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/252 82848
/proc/meminfo: memFree=122297840/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=188900 memory=155112 CPUtime=2855.14 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21255 0 0 0 284212 1302 0 0 20 0 1 0 75717268 193433600 38778 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47225 38778 3552 2790 0 40650 0
Current children cumulated CPU time: 2855.14 s
Current children cumulated vsize: 188900 KiB
Current children cumulated memory: 155112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/252 82850
/proc/meminfo: memFree=122264480/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=188900 memory=155112 CPUtime=2914.97 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21259 0 0 0 290172 1325 0 0 20 0 1 0 75717268 193433600 38778 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47225 38778 3552 2790 0 40650 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 188900 KiB
Current children cumulated memory: 155112 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/252 82852
/proc/meminfo: memFree=122214804/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=189096 memory=155368 CPUtime=2974.81 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21333 0 0 0 296134 1347 0 0 20 0 1 0 75717268 193634304 38842 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47274 38842 3552 2790 0 40699 0
Current children cumulated CPU time: 2974.81 s
Current children cumulated vsize: 189096 KiB
Current children cumulated memory: 155368 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/252 82854
/proc/meminfo: memFree=122218164/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=189416 memory=155624 CPUtime=3034.64 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21438 0 0 0 302100 1364 0 0 20 0 1 0 75717268 193961984 38906 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47354 38906 3552 2790 0 40779 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 189416 KiB
Current children cumulated memory: 155624 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/251 82859
/proc/meminfo: memFree=122203524/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=189548 memory=155880 CPUtime=3094.48 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21474 0 0 0 308063 1385 0 0 20 0 1 0 75717268 194097152 38970 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47387 38970 3552 2790 0 40812 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 189548 KiB
Current children cumulated memory: 155880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.14 5/246 82869
/proc/meminfo: memFree=122409716/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=189808 memory=156136 CPUtime=3154.31 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21541 0 0 0 314029 1402 0 0 20 0 1 0 75717268 194363392 39034 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47452 39034 3552 2790 0 40877 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 189808 KiB
Current children cumulated memory: 156136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.14 4.15 5/250 82907
/proc/meminfo: memFree=121232468/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=189808 memory=168432 CPUtime=3214.15 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21553 0 0 0 320000 1415 0 0 20 0 1 0 75717268 194363392 42108 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47452 42108 3552 2790 0 40877 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 189808 KiB
Current children cumulated memory: 168432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 82909
/proc/meminfo: memFree=121110624/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=189808 memory=168432 CPUtime=3274.01 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 21553 0 0 0 325975 1426 0 0 20 0 1 0 75717268 194363392 42108 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 47452 42108 3552 2790 0 40877 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 189808 KiB
Current children cumulated memory: 168432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 82915
/proc/meminfo: memFree=121051516/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=242872 memory=196768 CPUtime=3333.84 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 23848 0 0 0 331940 1444 0 0 20 0 1 0 75717268 248700928 49192 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 60718 49192 3680 2790 0 54143 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 242872 KiB
Current children cumulated memory: 196768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/249 82917
/proc/meminfo: memFree=121003964/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=243200 memory=197664 CPUtime=3393.67 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 24088 0 0 0 337906 1461 0 0 20 0 1 0 75717268 249036800 49416 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 60800 49416 3680 2790 0 54225 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 197664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/249 82919
/proc/meminfo: memFree=120944096/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=243200 memory=197664 CPUtime=3453.51 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 24090 0 0 0 343875 1476 0 0 20 0 1 0 75717268 249036800 49416 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 60800 49416 3680 2790 0 54225 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 197664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/249 82921
/proc/meminfo: memFree=120937564/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=243200 memory=197664 CPUtime=3513.34 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 24092 0 0 0 349841 1493 0 0 20 0 1 0 75717268 249036800 49416 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 60800 49416 3680 2790 0 54225 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 197664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/250 82924
/proc/meminfo: memFree=120915080/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=243200 memory=197664 CPUtime=3573.18 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 24092 0 0 0 355814 1504 0 0 20 0 1 0 75717268 249036800 49416 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 60800 49416 3680 2790 0 54225 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 197664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.12 4.10 4.11 5/250 82926
/proc/meminfo: memFree=120922956/131382120 swapFree=33010416/33010684
[pid=82612] ppid=82609 vsize=243524 memory=198048 CPUtime=3600 cores=5,7
/proc/82612/stat : 82612 (ipbhs_scip) R 82609 82612 81645 0 -1 4194304 24173 0 0 0 358490 1510 0 0 20 0 1 0 75717268 249368576 49512 18446744073709551615 94505576001536 94505587427933 140730068409344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94505589563608 94505589608626 94505626083328 140730068412818 140730068412937 140730068412937 140730068418539 0
/proc/82612/statm: 60881 49512 3680 2790 0 54306 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 243524 KiB
Current children cumulated memory: 198048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 82612 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3584.9 s, system=15.1114 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): 3609.2
CPU time (s): 3600.01
CPU user time (s): 3584.9
CPU system time (s): 15.1114
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 243524
Max. memory (cumulated for all children) (KiB): 198048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.9
system time used= 15.1114
maximum resident set size= 198048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24173
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= 100
involuntary context switches= 1952
# summary of solver processes directly reported to runsolver:
# pid: 82612
# total CPU time (s): 3600.01
# total CPU user time (s): 3584.9
# total CPU system time (s): 15.1114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3308 second user time and 34.2105 second system time
The end
Begin job on nodeC002 at 2025-07-04 05:39:44
IDJOB=4523824
IDBENCH=180376
IDSOLVER=3335
FILE ID=nodeC002/4523824-1751600384
RUNJOBID= nodeC002-1751595922-81658
SLURM_JOB_ID= 9598862
Free space on /tmp= 432468 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523824-1751600384/watcher-4523824-1751600384 -o /tmp/evaluation-result-4523824-1751600384/solver-4523824-1751600384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81658 --watchdog 3760 ./ipbhs_scip HOME/instance-4523824-1751600384.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e
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 : 3661.815
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 : 3689.838
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.592
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 : 3700.000
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 : 3661.793
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 : 1596.929
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 : 1197.484
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 : 1197.469
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: 125020076 kB
MemAvailable: 126049908 kB
Buffers: 2128 kB
Cached: 1834252 kB
SwapCached: 28 kB
Active: 4210184 kB
Inactive: 1531160 kB
Active(anon): 3916492 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 1524756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 72600 kB
Writeback: 8 kB
AnonPages: 3904592 kB
Mapped: 135012 kB
Shmem: 17932 kB
KReclaimable: 102020 kB
Slab: 187240 kB
SReclaimable: 102020 kB
SUnreclaim: 85220 kB
KernelStack: 4060 kB
PageTables: 11044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4368236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2967552 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= 432332 MiB
End job on nodeC002 at 2025-07-04 06:39:54