0.00/0.00 c initialize IPBHS solver
0.00/0.00 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.09/0.15 c limit for coefficient in constraints and objective to 1000000000
0.09/0.15 c will solve HOME/instance-4507892-1751499754.opb
0.09/0.15 c [0] will start solving
2285.97/2291.55 c [0.01] solve iteration 1, LB=0, UB=212
2285.97/2291.55 c [2258.05] solve iteration 2, LB=0, UB=211
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: 63665 MiB (60586 MiB free)
memory of node 1: 64507 MiB (61928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507892-1751499754/watcher-4507892-1751499754 -o /tmp/evaluation-result-4507892-1751499754/solver-4507892-1751499754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751495940-67818 --watchdog 3760 ./ipbhs_scip HOME/instance-4507892-1751499754.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68302, runsolver pid=68299
[startup+0.100059 s]*
/proc/loadavg: 4.12 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125442780/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=52184 memory=23044 CPUtime=0.09 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 3519 0 0 0 7 2 0 0 20 0 1 0 65654971 53436416 5761 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 13046 5761 1728 2790 0 6471 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52184 KiB
Current children cumulated memory: 23044 KiB
[startup+0.205383 s]*
/proc/loadavg: 4.12 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125395404/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=100060 memory=74756 CPUtime=0.18 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 14744 0 0 0 12 6 0 0 20 0 1 0 65654971 102461440 18689 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25015 18689 3552 2790 0 18440 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 100060 KiB
Current children cumulated memory: 74756 KiB
[startup+0.305398 s]*
/proc/loadavg: 4.12 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125395404/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=100060 memory=74884 CPUtime=0.28 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 14772 0 0 0 20 8 0 0 20 0 1 0 65654971 102461440 18721 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25015 18721 3552 2790 0 18440 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 100060 KiB
Current children cumulated memory: 74884 KiB
[startup+0.700187 s]
/proc/loadavg: 4.12 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125395404/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=101508 memory=78492 CPUtime=0.67 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 15179 0 0 0 58 9 0 0 20 0 1 0 65654971 103944192 19623 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25377 19623 3552 2790 0 18802 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101508 KiB
Current children cumulated memory: 78492 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125395404/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=101772 memory=78748 CPUtime=1.47 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 15240 0 0 0 136 11 0 0 20 0 1 0 65654971 104214528 19687 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25443 19687 3552 2790 0 18868 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 101772 KiB
Current children cumulated memory: 78748 KiB
[startup+3.10521 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125379364/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=102036 memory=79004 CPUtime=3.07 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 15320 0 0 0 294 13 0 0 20 0 1 0 65654971 104484864 19751 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25509 19751 3552 2790 0 18934 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 102036 KiB
Current children cumulated memory: 79004 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125371340/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=102300 memory=79388 CPUtime=6.26 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 15397 0 0 0 606 20 0 0 20 0 1 0 65654971 104755200 19847 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25575 19847 3552 2790 0 19000 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 102300 KiB
Current children cumulated memory: 79388 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.12 4.10 5/264 68303
/proc/meminfo: memFree=125319688/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=102828 memory=79900 CPUtime=12.64 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 15524 0 0 0 1231 33 0 0 20 0 1 0 65654971 105295872 19975 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 25707 19975 3552 2790 0 19132 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 102828 KiB
Current children cumulated memory: 79900 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 68304
/proc/meminfo: memFree=125308484/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=106340 memory=83140 CPUtime=25.41 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 15839 0 0 0 2481 60 0 0 20 0 1 0 65654971 108892160 20785 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 26585 20785 3552 2790 0 20010 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106340 KiB
Current children cumulated memory: 83140 KiB
[startup+51.1046 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 68304
/proc/meminfo: memFree=125193512/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=107396 memory=84164 CPUtime=50.96 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 16091 0 0 0 4980 116 0 0 20 0 1 0 65654971 109973504 21041 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 26849 21041 3552 2790 0 20274 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 107396 KiB
Current children cumulated memory: 84164 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 68307
/proc/meminfo: memFree=125003424/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=114112 memory=87112 CPUtime=102.04 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 18969 0 0 0 9984 220 0 0 20 0 1 0 65654971 116850688 21778 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 28528 21778 3552 2790 0 21953 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 114112 KiB
Current children cumulated memory: 87112 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 68309
/proc/meminfo: memFree=124779444/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=114936 memory=90640 CPUtime=161.9 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 20787 0 0 0 15852 338 0 0 20 0 1 0 65654971 117694464 22660 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 28734 22660 3552 2790 0 22159 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 114936 KiB
Current children cumulated memory: 90640 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 68312
/proc/meminfo: memFree=124696264/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=115556 memory=91792 CPUtime=221.75 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 21065 0 0 0 21731 444 0 0 20 0 1 0 65654971 118329344 22948 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 28889 22948 3552 2790 0 22314 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 115556 KiB
Current children cumulated memory: 91792 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 68315
/proc/meminfo: memFree=124689348/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=123976 memory=94224 CPUtime=281.61 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 21683 0 0 0 27621 540 0 0 20 0 1 0 65654971 126951424 23556 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 30994 23556 3552 2790 0 24419 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 123976 KiB
Current children cumulated memory: 94224 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 68320
/proc/meminfo: memFree=124636888/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=124480 memory=97344 CPUtime=341.47 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 22239 0 0 0 33516 631 0 0 20 0 1 0 65654971 127467520 24336 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 31120 24336 3552 2790 0 24545 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 124480 KiB
Current children cumulated memory: 97344 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 68322
/proc/meminfo: memFree=124584224/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=125480 memory=98240 CPUtime=401.33 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 22489 0 0 0 39413 720 0 0 20 0 1 0 65654971 128491520 24560 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 31370 24560 3552 2790 0 24795 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 125480 KiB
Current children cumulated memory: 98240 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 68324
/proc/meminfo: memFree=124564440/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=126236 memory=99008 CPUtime=461.18 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 22678 0 0 0 45306 812 0 0 20 0 1 0 65654971 129265664 24752 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 31559 24752 3552 2790 0 24984 0
################
# More data... #
################
Current children cumulated memory: 169664 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 68508
/proc/meminfo: memFree=126010016/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=211936 memory=171968 CPUtime=2915.3 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 53856 0 0 0 288149 3381 0 0 20 0 1 0 65654971 217022464 42992 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 52984 42992 3744 2790 0 46409 0
Current children cumulated CPU time: 2915.3 s
Current children cumulated vsize: 211936 KiB
Current children cumulated memory: 171968 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 68514
/proc/meminfo: memFree=125987220/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=213416 memory=173504 CPUtime=2975.16 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 54236 0 0 0 294075 3441 0 0 20 0 1 0 65654971 218537984 43376 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 53354 43376 3744 2790 0 46779 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 213416 KiB
Current children cumulated memory: 173504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 68517
/proc/meminfo: memFree=125979544/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=219756 memory=178872 CPUtime=3035.02 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 56233 0 0 0 299999 3503 0 0 20 0 1 0 65654971 225030144 44718 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 54939 44718 3744 2790 0 48364 0
Current children cumulated CPU time: 3035.02 s
Current children cumulated vsize: 219756 KiB
Current children cumulated memory: 178872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 68519
/proc/meminfo: memFree=125976944/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=220848 memory=180052 CPUtime=3094.88 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 57193 0 0 0 305935 3553 0 0 20 0 1 0 65654971 226148352 45013 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 55212 45013 3744 2790 0 48637 0
Current children cumulated CPU time: 3094.88 s
Current children cumulated vsize: 220848 KiB
Current children cumulated memory: 180052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 68521
/proc/meminfo: memFree=125967992/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=218476 memory=178032 CPUtime=3154.74 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 57362 0 0 0 311878 3596 0 0 20 0 1 0 65654971 223719424 44508 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 54619 44508 3744 2790 0 48044 0
Current children cumulated CPU time: 3154.74 s
Current children cumulated vsize: 218476 KiB
Current children cumulated memory: 178032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 68523
/proc/meminfo: memFree=125955412/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=225372 memory=186916 CPUtime=3214.6 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 60435 0 0 0 317801 3659 0 0 20 0 1 0 65654971 230780928 46729 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 56343 46729 3744 2790 0 49768 0
Current children cumulated CPU time: 3214.6 s
Current children cumulated vsize: 225372 KiB
Current children cumulated memory: 186916 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 68526
/proc/meminfo: memFree=125953520/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=225884 memory=187188 CPUtime=3274.45 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 62753 0 0 0 323732 3713 0 0 20 0 1 0 65654971 231305216 46797 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 56471 46797 3744 2790 0 49896 0
Current children cumulated CPU time: 3274.45 s
Current children cumulated vsize: 225884 KiB
Current children cumulated memory: 187188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 68530
/proc/meminfo: memFree=125945112/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=234112 memory=195324 CPUtime=3334.31 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 66734 0 0 0 329663 3768 0 0 20 0 1 0 65654971 239730688 48831 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 58528 48831 3744 2790 0 51953 0
Current children cumulated CPU time: 3334.31 s
Current children cumulated vsize: 234112 KiB
Current children cumulated memory: 195324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 68531
/proc/meminfo: memFree=125933388/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=242464 memory=203240 CPUtime=3394.17 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 70238 0 0 0 335594 3823 0 0 20 0 1 0 65654971 248283136 50810 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 60616 50810 3744 2790 0 54041 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 242464 KiB
Current children cumulated memory: 203240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 68622
/proc/meminfo: memFree=128433148/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=242720 memory=204164 CPUtime=3454.03 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 71886 0 0 0 341523 3880 0 0 20 0 1 0 65654971 248545280 51041 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 60680 51041 3744 2790 0 54105 0
Current children cumulated CPU time: 3454.03 s
Current children cumulated vsize: 242720 KiB
Current children cumulated memory: 204164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 68624
/proc/meminfo: memFree=128409992/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=249056 memory=215072 CPUtime=3513.87 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 75573 0 0 0 347448 3939 0 0 20 0 1 0 65654971 255033344 53768 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 62264 53768 3744 2790 0 55689 0
Current children cumulated CPU time: 3513.87 s
Current children cumulated vsize: 249056 KiB
Current children cumulated memory: 215072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 68627
/proc/meminfo: memFree=128403512/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=253120 memory=219168 CPUtime=3573.73 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 76589 0 0 0 353375 3998 0 0 20 0 1 0 65654971 259194880 54792 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 63280 54792 3744 2790 0 56705 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 253120 KiB
Current children cumulated memory: 219168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 68634
/proc/meminfo: memFree=128418436/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=251104 memory=217316 CPUtime=3600.06 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 76747 0 0 0 355982 4024 0 0 20 0 1 0 65654971 257130496 54329 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 62776 54329 3744 2790 0 56201 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 251104 KiB
Current children cumulated memory: 217316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 68302 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3559.82 s, system=40.2474 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 68634
/proc/meminfo: memFree=128418436/131249996 swapFree=33010416/33010684
[pid=68302] ppid=68299 vsize=251104 memory=217316 CPUtime=3600.06 cores=5,7
/proc/68302/stat : 68302 (ipbhs_scip) R 68299 68302 67805 0 -1 4194304 76747 0 0 0 355982 4024 0 0 20 0 1 0 65654971 257130496 54329 18446744073709551615 94787748544512 94787759970909 140734391950016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94787762106584 94787762151602 94787796733952 140734391957906 140734391958025 140734391958025 140734391963627 0
/proc/68302/statm: 62776 54329 3744 2790 0 56201 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 251104 KiB
Current children cumulated memory: 217316 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.7
CPU time (s): 3600.07
CPU user time (s): 3559.82
CPU system time (s): 40.2474
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 253120
Max. memory (cumulated for all children) (KiB): 219168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.82
system time used= 40.2474
maximum resident set size= 219808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76747
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= 116
involuntary context switches= 2022
# summary of solver processes directly reported to runsolver:
# pid: 68302
# total CPU time (s): 3600.07
# total CPU user time (s): 3559.82
# total CPU system time (s): 40.2474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69024 second user time and 14.9823 second system time
The end
Begin job on nodeC030 at 2025-07-03 01:42:34
IDJOB=4507892
IDBENCH=158387
IDSOLVER=3335
FILE ID=nodeC030/4507892-1751499754
RUNJOBID= nodeC030-1751495940-67818
SLURM_JOB_ID= 9598569
Free space on /tmp= 432280 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct6.5.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507892-1751499754/watcher-4507892-1751499754 -o /tmp/evaluation-result-4507892-1751499754/solver-4507892-1751499754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751495940-67818 --watchdog 3760 ./ipbhs_scip HOME/instance-4507892-1751499754.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0048c1c5d89c09890e717f6e64ce7569
RANDOM SEED=789131213
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.331
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.284
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.912
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.312
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125454140 kB
MemAvailable: 126363536 kB
Buffers: 2564 kB
Cached: 1701504 kB
SwapCached: 16 kB
Active: 3928144 kB
Inactive: 1258052 kB
Active(anon): 3495628 kB
Inactive(anon): 4548 kB
Active(file): 432516 kB
Inactive(file): 1253504 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70632 kB
Writeback: 0 kB
AnonPages: 3485332 kB
Mapped: 134988 kB
Shmem: 18048 kB
KReclaimable: 124832 kB
Slab: 214196 kB
SReclaimable: 124832 kB
SUnreclaim: 89364 kB
KernelStack: 4320 kB
PageTables: 10084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3923692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2093056 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432232 MiB
End job on nodeC030 at 2025-07-03 02:42:43