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
3.47/3.58 c limit for coefficient in constraints and objective to 1000000000
3.47/3.58 c will solve HOME/instance-4506214-1751495941.opb
3.47/3.58 c [0.29] will start solving
214.49/215.06 c [157.68] solve iteration 1, LB=-596093810, UB=1
214.49/215.06 c [178.14] solve iteration 2, LB=-568116, UB=0
214.49/215.06 c [192.19] solve iteration 3, LB=-568116, UB=-177487
214.49/215.06 c [207.57] solve iteration 4, LB=-568116, UB=-177487
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 (62397 MiB free)
memory of node 1: 64507 MiB (63316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506214-1751495941/watcher-4506214-1751495941 -o /tmp/evaluation-result-4506214-1751495941/solver-4506214-1751495941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751495940-67815 --watchdog 3760 ./ipbhs_scip HOME/instance-4506214-1751495941.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=67873, runsolver pid=67857
[startup+0.100063 s]*
/proc/loadavg: 1.17 3.07 3.72 6/264 67874
/proc/meminfo: memFree=127747720/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=232656 memory=197712 CPUtime=0.08 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 5342 0 0 0 4 4 0 0 20 0 1 0 65273721 238239744 49428 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 58164 49428 1568 2790 0 51589 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 232656 KiB
Current children cumulated memory: 197712 KiB
[startup+0.20551 s]*
/proc/loadavg: 1.17 3.07 3.72 6/264 67874
/proc/meminfo: memFree=126883628/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=255056 memory=217736 CPUtime=0.19 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 9057 0 0 0 14 5 0 0 20 0 1 0 65273721 261177344 54434 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 63764 54434 1568 2790 0 57189 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 255056 KiB
Current children cumulated memory: 217736 KiB
[startup+0.304533 s]*
/proc/loadavg: 1.17 3.07 3.72 6/264 67874
/proc/meminfo: memFree=126700520/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=286512 memory=236924 CPUtime=0.28 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 12758 0 0 0 22 6 0 0 20 0 1 0 65273721 293388288 59231 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 71628 59231 1568 2790 0 65053 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 286512 KiB
Current children cumulated memory: 236924 KiB
[startup+0.700123 s]
/proc/loadavg: 1.17 3.07 3.72 6/264 67874
/proc/meminfo: memFree=126585348/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=322748 memory=272848 CPUtime=0.67 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 17638 0 0 0 60 7 0 0 20 0 1 0 65273721 330493952 68212 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 80687 68212 1568 2790 0 74112 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 322748 KiB
Current children cumulated memory: 272848 KiB
[startup+1.50012 s]
/proc/loadavg: 1.17 3.07 3.72 6/264 67874
/proc/meminfo: memFree=126369488/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=463712 memory=419400 CPUtime=1.47 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 32210 0 0 0 129 18 0 0 20 0 1 0 65273721 474841088 104850 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 115928 104850 1664 2790 0 109353 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 463712 KiB
Current children cumulated memory: 419400 KiB
[startup+3.10527 s]
/proc/loadavg: 1.17 3.07 3.72 6/264 67874
/proc/meminfo: memFree=124649304/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=780328 memory=722164 CPUtime=3.07 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 85650 0 0 0 239 68 0 0 20 0 1 0 65273721 799055872 180541 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 195082 180541 3168 2790 0 188507 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 780328 KiB
Current children cumulated memory: 722164 KiB
[startup+6.30009 s]
/proc/loadavg: 1.47 3.10 3.72 6/264 67874
/proc/meminfo: memFree=122274472/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=1417996 memory=1358992 CPUtime=6.27 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 242318 0 0 0 536 91 0 0 20 0 1 0 65273721 1452027904 339748 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 354499 339748 3168 2790 0 347924 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1417996 KiB
Current children cumulated memory: 1358992 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 3.11 3.72 6/264 67874
/proc/meminfo: memFree=121496312/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=1417996 memory=1358992 CPUtime=12.65 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 242318 0 0 0 1174 91 0 0 20 0 1 0 65273721 1452027904 339748 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 354499 339748 3168 2790 0 347924 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1417996 KiB
Current children cumulated memory: 1358992 KiB
[startup+25.5001 s]
/proc/loadavg: 2.19 3.16 3.73 6/264 67874
/proc/meminfo: memFree=120970216/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=1417996 memory=1358992 CPUtime=25.42 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 242321 0 0 0 2451 91 0 0 20 0 1 0 65273721 1452027904 339748 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 354499 339748 3168 2790 0 347924 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1417996 KiB
Current children cumulated memory: 1358992 KiB
[startup+51.1044 s]
/proc/loadavg: 2.95 3.26 3.75 6/264 67875
/proc/meminfo: memFree=120937472/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=1417996 memory=1358992 CPUtime=50.97 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 242324 0 0 0 5006 91 0 0 20 0 1 0 65273721 1452027904 339748 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 354499 339748 3168 2790 0 347924 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1417996 KiB
Current children cumulated memory: 1358992 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 3.39 3.77 6/265 67878
/proc/meminfo: memFree=120851428/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=1417996 memory=1358992 CPUtime=102.06 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 242327 0 0 0 10115 91 0 0 20 0 1 0 65273721 1452027904 339748 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 354499 339748 3168 2790 0 347924 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1417996 KiB
Current children cumulated memory: 1358992 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 3.52 3.79 6/264 67885
/proc/meminfo: memFree=118934824/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=2008116 memory=1934640 CPUtime=161.94 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 380650 0 0 0 16081 113 0 0 20 0 1 0 65273721 2056310784 483660 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 502029 483660 3488 2790 0 495454 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 2008116 KiB
Current children cumulated memory: 1934640 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.64 3.82 6/264 67887
/proc/meminfo: memFree=117890168/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=2755060 memory=2661852 CPUtime=221.76 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 562357 0 0 0 22014 162 0 0 20 0 1 0 65273721 2821181440 665463 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 688765 665463 3680 2790 0 682190 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 2755060 KiB
Current children cumulated memory: 2661852 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.73 3.84 6/265 67890
/proc/meminfo: memFree=117288424/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=2821176 memory=2732088 CPUtime=281.61 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 590803 0 0 0 27991 170 0 0 20 0 1 0 65273721 2888884224 683022 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 705294 683022 3680 2790 0 698719 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2821176 KiB
Current children cumulated memory: 2732088 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.81 3.86 6/265 67892
/proc/meminfo: memFree=117011328/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=2821176 memory=2732088 CPUtime=341.45 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 590811 0 0 0 33975 170 0 0 20 0 1 0 65273721 2888884224 683022 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 705294 683022 3680 2790 0 698719 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 2821176 KiB
Current children cumulated memory: 2732088 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.88 3.88 6/265 67895
/proc/meminfo: memFree=116954048/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=2821176 memory=2732088 CPUtime=401.3 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 590824 0 0 0 39960 170 0 0 20 0 1 0 65273721 2888884224 683022 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 705294 683022 3680 2790 0 698719 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 2821176 KiB
Current children cumulated memory: 2732088 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.92 3.90 6/265 67898
/proc/meminfo: memFree=116853948/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=2821176 memory=2732088 CPUtime=461.15 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 590824 0 0 0 45945 170 0 0 20 0 1 0 65273721 2888884224 683022 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 705294 683022 3680 2790 0 698719 0
Current children cumulated CPU time: 461.15 s
################
# More data... #
################
Current children cumulated memory: 2839692 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/262 68032
/proc/meminfo: memFree=114685240/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2843788 CPUtime=2855.94 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593365 0 0 0 285396 198 0 0 20 0 1 0 65273721 3074498560 710947 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 710947 3680 2790 0 744035 0
Current children cumulated CPU time: 2855.94 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2843788 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/263 68037
/proc/meminfo: memFree=114637756/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2847884 CPUtime=2915.82 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593371 0 0 0 291384 198 0 0 20 0 1 0 65273721 3074498560 711971 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 711971 3680 2790 0 744035 0
Current children cumulated CPU time: 2915.82 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2847884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.04 6/263 68039
/proc/meminfo: memFree=114598740/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2854028 CPUtime=2975.7 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593401 0 0 0 297372 198 0 0 20 0 1 0 65273721 3074498560 713507 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 713507 3680 2790 0 744035 0
Current children cumulated CPU time: 2975.7 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2854028 KiB
[startup+3042.3 s]
/proc/loadavg: 4.49 4.18 4.06 6/264 68042
/proc/meminfo: memFree=114567636/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2856076 CPUtime=3035.58 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593455 0 0 0 303360 198 0 0 20 0 1 0 65273721 3074498560 714019 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 714019 3680 2790 0 744035 0
Current children cumulated CPU time: 3035.58 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2856076 KiB
[startup+3102.3 s]
/proc/loadavg: 4.51 4.25 4.10 6/264 68044
/proc/meminfo: memFree=114561932/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2864268 CPUtime=3095.47 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593498 0 0 0 309332 215 0 0 20 0 1 0 65273721 3074498560 716067 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 716067 3680 2790 0 744035 0
Current children cumulated CPU time: 3095.47 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2864268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.58 4.35 4.14 6/264 68050
/proc/meminfo: memFree=114536456/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2870412 CPUtime=3155.36 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593529 0 0 0 315304 232 0 0 20 0 1 0 65273721 3074498560 717603 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 717603 3680 2790 0 744035 0
Current children cumulated CPU time: 3155.36 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2870412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.30 4.14 6/264 68052
/proc/meminfo: memFree=114511136/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2876556 CPUtime=3215.24 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593535 0 0 0 321292 232 0 0 20 0 1 0 65273721 3074498560 719139 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 719139 3680 2790 0 744035 0
Current children cumulated CPU time: 3215.24 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2876556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.27 4.14 6/264 68053
/proc/meminfo: memFree=114492496/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2884748 CPUtime=3275.13 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593575 0 0 0 327280 233 0 0 20 0 1 0 65273721 3074498560 721187 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 721187 3680 2790 0 744035 0
Current children cumulated CPU time: 3275.13 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2884748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.24 4.13 6/263 68055
/proc/meminfo: memFree=114488556/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2890892 CPUtime=3335.01 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593605 0 0 0 333268 233 0 0 20 0 1 0 65273721 3074498560 722723 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 722723 3680 2790 0 744035 0
Current children cumulated CPU time: 3335.01 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2890892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.21 4.12 6/263 68057
/proc/meminfo: memFree=114466816/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2897036 CPUtime=3394.9 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593645 0 0 0 339256 234 0 0 20 0 1 0 65273721 3074498560 724259 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 724259 3680 2790 0 744035 0
Current children cumulated CPU time: 3394.9 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2897036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.12 6/263 68059
/proc/meminfo: memFree=114438720/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2903180 CPUtime=3454.78 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593662 0 0 0 345244 234 0 0 20 0 1 0 65273721 3074498560 725795 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 725795 3680 2790 0 744035 0
Current children cumulated CPU time: 3454.78 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2903180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.12 6/263 68063
/proc/meminfo: memFree=114420684/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2907276 CPUtime=3514.67 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593679 0 0 0 351232 235 0 0 20 0 1 0 65273721 3074498560 726819 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 726819 3680 2790 0 744035 0
Current children cumulated CPU time: 3514.67 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2907276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.12 6/262 68065
/proc/meminfo: memFree=114393204/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3002440 memory=2915468 CPUtime=3574.55 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 593709 0 0 0 357220 235 0 0 20 0 1 0 65273721 3074498560 728867 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 750610 728867 3680 2790 0 744035 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 3002440 KiB
Current children cumulated memory: 2915468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.8 s]
/proc/loadavg: 4.10 4.16 4.11 6/262 68066
/proc/meminfo: memFree=114367824/131249996 swapFree=33010416/33010684
[pid=67873] ppid=67857 vsize=3134700 memory=2919564 CPUtime=3600 cores=0,2
/proc/67873/stat : 67873 (ipbhs_scip) R 67857 67873 67805 0 -1 4194304 594222 0 0 0 359764 236 0 0 20 0 1 0 65273721 3209932800 729891 18446744073709551615 94888860999680 94888872426077 140733521880752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94888874561752 94888874606770 94888895172608 140733521885586 140733521885705 140733521885705 140733521891307 0
/proc/67873/statm: 783675 729891 3680 2790 0 777100 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3134700 KiB
Current children cumulated memory: 2919564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.88 s]
# the end of solver process 67873 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.64 s, system=2.43773 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): 3607.88
CPU time (s): 3600.08
CPU user time (s): 3597.64
CPU system time (s): 2.43773
CPU usage (%): 99.7839
Max. virtual memory (cumulated for all children) (KiB): 3134700
Max. memory (cumulated for all children) (KiB): 2919564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.43773
maximum resident set size= 2919564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594222
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= 80
involuntary context switches= 7836
# summary of solver processes directly reported to runsolver:
# pid: 67873
# total CPU time (s): 3600.08
# total CPU user time (s): 3597.64
# total CPU system time (s): 2.43773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92631 second user time and 11.4983 second system time
The end
Begin job on nodeC030 at 2025-07-03 00:39:01
IDJOB=4506214
IDBENCH=157926
IDSOLVER=3335
FILE ID=nodeC030/4506214-1751495941
RUNJOBID= nodeC030-1751495940-67815
SLURM_JOB_ID= 9598569
Free space on /tmp= 432392 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506214-1751495941/watcher-4506214-1751495941 -o /tmp/evaluation-result-4506214-1751495941/solver-4506214-1751495941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751495940-67815 --watchdog 3760 ./ipbhs_scip HOME/instance-4506214-1751495941.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbf34b7abc88a78c4f9cfedcb1385de8
RANDOM SEED=1329133158
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 : 3602.453
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.325
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 : 3600.302
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.338
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.324
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: 128735208 kB
MemAvailable: 129732884 kB
Buffers: 2564 kB
Cached: 1789828 kB
SwapCached: 16 kB
Active: 505488 kB
Inactive: 1346376 kB
Active(anon): 72988 kB
Inactive(anon): 4548 kB
Active(file): 432500 kB
Inactive(file): 1341828 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 396656 kB
Writeback: 16 kB
AnonPages: 62544 kB
Mapped: 103268 kB
Shmem: 18048 kB
KReclaimable: 124772 kB
Slab: 214172 kB
SReclaimable: 124772 kB
SUnreclaim: 89400 kB
KernelStack: 4016 kB
PageTables: 2732 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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= 432120 MiB
End job on nodeC030 at 2025-07-03 01:39:09