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.59/0.60 c limit for coefficient in constraints and objective to 1000000000
0.59/0.60 c will solve HOME/instance-4509272-1751523662.opb
0.59/0.60 c [0] will start solving
1.68/1.78 c [1.17] solve iteration 1, LB=0, UB=129
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: 63708 MiB (61980 MiB free)
memory of node 1: 64465 MiB (62277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509272-1751523662/watcher-4509272-1751523662 -o /tmp/evaluation-result-4509272-1751523662/solver-4509272-1751523662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74116 --watchdog 3760 ./ipbhs_scip HOME/instance-4509272-1751523662.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
solver pid=74172, runsolver pid=74165
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.28 3.25 3.80 5/265 74173
/proc/meminfo: memFree=125915460/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=86900 memory=49708 CPUtime=0.09 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 6401 0 0 0 7 2 0 0 20 0 1 0 68042788 88985600 12427 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 21725 12427 1600 2790 0 15150 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86900 KiB
Current children cumulated memory: 49708 KiB
[startup+0.205866 s]*
/proc/loadavg: 1.28 3.25 3.80 5/265 74173
/proc/meminfo: memFree=124869476/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=96032 memory=58028 CPUtime=0.19 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 8480 0 0 0 17 2 0 0 20 0 1 0 68042788 98336768 14507 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 24008 14507 1600 2790 0 17433 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96032 KiB
Current children cumulated memory: 58028 KiB
[startup+0.305707 s]*
/proc/loadavg: 1.28 3.25 3.80 5/265 74173
/proc/meminfo: memFree=123982224/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=120776 memory=83664 CPUtime=0.29 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 13221 0 0 0 26 3 0 0 20 0 1 0 68042788 123674624 20916 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 30194 20916 1728 2790 0 23619 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 120776 KiB
Current children cumulated memory: 83664 KiB
[startup+0.700167 s]
/proc/loadavg: 1.28 3.25 3.80 5/265 74173
/proc/meminfo: memFree=123172244/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=189516 memory=161224 CPUtime=0.68 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 25450 0 0 0 62 6 0 0 20 0 1 0 68042788 194064384 40306 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 47379 40306 3232 2790 0 40804 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189516 KiB
Current children cumulated memory: 161224 KiB
[startup+1.5001 s]
/proc/loadavg: 1.28 3.25 3.80 5/265 74173
/proc/meminfo: memFree=123044028/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=189516 memory=161224 CPUtime=1.48 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 25450 0 0 0 142 6 0 0 20 0 1 0 68042788 194064384 40306 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 47379 40306 3232 2790 0 40804 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189516 KiB
Current children cumulated memory: 161224 KiB
[startup+3.10533 s]
/proc/loadavg: 1.28 3.25 3.80 5/265 74173
/proc/meminfo: memFree=122998936/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=209692 memory=180808 CPUtime=3.08 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 29850 0 0 0 291 17 0 0 20 0 1 0 68042788 214724608 45202 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 52423 45202 3744 2790 0 45848 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 209692 KiB
Current children cumulated memory: 180808 KiB
[startup+6.30015 s]
/proc/loadavg: 1.50 3.26 3.80 5/265 74173
/proc/meminfo: memFree=122957252/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=214112 memory=185744 CPUtime=6.26 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 30579 0 0 0 609 17 0 0 20 0 1 0 68042788 219250688 46436 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 53528 46436 3744 2790 0 46953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 214112 KiB
Current children cumulated memory: 185744 KiB
[startup+12.7001 s]
/proc/loadavg: 1.70 3.28 3.80 5/265 74173
/proc/meminfo: memFree=122866716/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=234264 memory=205996 CPUtime=12.64 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 31576 0 0 0 1230 34 0 0 20 0 1 0 68042788 239886336 51499 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 58566 51499 3744 2790 0 51991 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 234264 KiB
Current children cumulated memory: 205996 KiB
[startup+25.5002 s]
/proc/loadavg: 2.34 3.34 3.82 5/265 74173
/proc/meminfo: memFree=122677420/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=287060 memory=233824 CPUtime=25.42 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 33401 0 0 0 2506 36 0 0 20 0 1 0 68042788 293949440 58456 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 71765 58456 3744 2790 0 65190 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 287060 KiB
Current children cumulated memory: 233824 KiB
[startup+51.1055 s]
/proc/loadavg: 2.99 3.41 3.83 5/264 74174
/proc/meminfo: memFree=122272452/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=342492 memory=287312 CPUtime=50.96 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 35041 0 0 0 5054 42 0 0 20 0 1 0 68042788 350711808 71828 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 85623 71828 3744 2790 0 79048 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 342492 KiB
Current children cumulated memory: 287312 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 3.52 3.84 5/264 74175
/proc/meminfo: memFree=121847668/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=431628 memory=344100 CPUtime=102.02 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 37503 0 0 0 10153 49 0 0 20 0 1 0 68042788 441987072 86025 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 107907 86025 3744 2790 0 101332 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 431628 KiB
Current children cumulated memory: 344100 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.63 3.86 5/265 74178
/proc/meminfo: memFree=121249876/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=591728 memory=437148 CPUtime=161.86 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 44961 0 0 0 16114 72 0 0 20 0 1 0 68042788 605929472 109287 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 147932 109287 3744 2790 0 141357 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 591728 KiB
Current children cumulated memory: 437148 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.71 3.88 5/265 74180
/proc/meminfo: memFree=120869024/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=627864 memory=488968 CPUtime=221.7 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 53845 0 0 0 22067 103 0 0 20 0 1 0 68042788 642932736 122242 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 156966 122242 3744 2790 0 150391 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 627864 KiB
Current children cumulated memory: 488968 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.80 3.90 5/264 74182
/proc/meminfo: memFree=120433240/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=743928 memory=617284 CPUtime=281.53 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 82869 0 0 0 27954 199 0 0 20 0 1 0 68042788 761782272 154321 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 185982 154321 3744 2790 0 179407 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 743928 KiB
Current children cumulated memory: 617284 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.85 3.91 5/264 74185
/proc/meminfo: memFree=120049632/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=901964 memory=775236 CPUtime=341.34 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 122338 0 0 0 33810 324 0 0 20 0 1 0 68042788 923611136 193809 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 225491 193809 3744 2790 0 218916 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 901964 KiB
Current children cumulated memory: 775236 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.91 3.93 5/264 74187
/proc/meminfo: memFree=119658392/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=1045912 memory=916804 CPUtime=401.16 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 157726 0 0 0 39676 440 0 0 20 0 1 0 68042788 1071013888 229201 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 261478 229201 3744 2790 0 254903 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1045912 KiB
Current children cumulated memory: 916804 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.95 3.94 5/263 74189
/proc/meminfo: memFree=119376940/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=1097176 memory=967876 CPUtime=460.96 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 170521 0 0 0 45458 638 0 0 20 0 1 0 68042788 1123508224 241969 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 274294 241969 3744 2790 0 267719 0
################
# More data... #
################
/proc/74172/statm: 862536 812294 3744 2790 0 855961 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 3450144 KiB
Current children cumulated memory: 3249176 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/265 74319
/proc/meminfo: memFree=110707424/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3565908 memory=3350296 CPUtime=2913.61 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 694551 0 0 0 288425 2936 0 0 20 0 1 0 68042788 3651489792 837574 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 891477 837574 3744 2790 0 884902 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 3565908 KiB
Current children cumulated memory: 3350296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.09 4.04 5/265 74321
/proc/meminfo: memFree=110465920/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3683400 memory=3452824 CPUtime=2973.43 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 720395 0 0 0 294386 2957 0 0 20 0 1 0 68042788 3771801600 863206 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 920850 863206 3744 2790 0 914275 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 3683400 KiB
Current children cumulated memory: 3452824 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 74329
/proc/meminfo: memFree=110247692/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3743628 memory=3503384 CPUtime=3033.23 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 733039 0 0 0 300359 2964 0 0 20 0 1 0 68042788 3833475072 875846 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 935907 875846 3744 2790 0 929332 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 3743628 KiB
Current children cumulated memory: 3503384 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.03 5/263 74331
/proc/meminfo: memFree=109961556/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3783420 memory=3545880 CPUtime=3093.05 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 743736 0 0 0 306334 2971 0 0 20 0 1 0 68042788 3874222080 886470 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 945855 886470 3744 2790 0 939280 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 3783420 KiB
Current children cumulated memory: 3545880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/262 74333
/proc/meminfo: memFree=109568056/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3847312 memory=3594008 CPUtime=3152.87 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 755927 0 0 0 312305 2982 0 0 20 0 1 0 68042788 3939647488 898502 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 961828 898502 3744 2790 0 955253 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 3847312 KiB
Current children cumulated memory: 3594008 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.04 5/263 74336
/proc/meminfo: memFree=109097988/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3877024 memory=3622552 CPUtime=3212.7 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 763055 0 0 0 318285 2985 0 0 20 0 1 0 68042788 3970072576 905638 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 969256 905638 3744 2790 0 962681 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 3877024 KiB
Current children cumulated memory: 3622552 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/263 74338
/proc/meminfo: memFree=108805148/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=3931728 memory=3673752 CPUtime=3272.52 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 775875 0 0 0 324264 2988 0 0 20 0 1 0 68042788 4026089472 918438 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 982932 918438 3744 2790 0 976357 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 3931728 KiB
Current children cumulated memory: 3673752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 74341
/proc/meminfo: memFree=108649748/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=4043428 memory=3775768 CPUtime=3332.35 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 801523 0 0 0 330240 2995 0 0 20 0 1 0 68042788 4140470272 943942 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 1010857 943942 3744 2790 0 1004282 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 4043428 KiB
Current children cumulated memory: 3775768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 74343
/proc/meminfo: memFree=108326352/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=4614480 memory=4047868 CPUtime=3392.18 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 847081 0 0 0 336210 3008 0 0 20 0 1 0 68042788 4725227520 1011967 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 1153620 1011967 3744 2790 0 1147045 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 4614480 KiB
Current children cumulated memory: 4047868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.36 4.15 4.07 5/264 74345
/proc/meminfo: memFree=107966984/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=4694164 memory=4269516 CPUtime=3452.01 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 871888 0 0 0 342182 3019 0 0 20 0 1 0 68042788 4806823936 1067379 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 1173541 1067379 3744 2790 0 1166966 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 4694164 KiB
Current children cumulated memory: 4269516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.60 4.25 4.11 5/263 74347
/proc/meminfo: memFree=107593136/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=4866368 memory=4545996 CPUtime=3511.83 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 910492 0 0 0 348151 3032 0 0 20 0 1 0 68042788 4983160832 1136499 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 1216592 1136499 3744 2790 0 1210017 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 4866368 KiB
Current children cumulated memory: 4545996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.37 4.25 4.11 5/263 74349
/proc/meminfo: memFree=107301668/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=5567572 memory=4759396 CPUtime=3571.66 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 936961 0 0 0 354125 3041 0 0 20 0 1 0 68042788 5701193728 1189849 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 1391893 1189849 3744 2790 0 1385318 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 5567572 KiB
Current children cumulated memory: 4759396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.22 4.22 4.11 2/251 74382
/proc/meminfo: memFree=122612900/131250000 swapFree=33010672/33010684
[pid=74172] ppid=74165 vsize=5761544 memory=4937424 CPUtime=3600.08 cores=5,7
/proc/74172/stat : 74172 (ipbhs_scip) R 74165 74172 74103 0 -1 4194304 969218 0 0 0 356960 3048 0 0 20 0 1 0 68042788 5899821056 1234356 18446744073709551615 94734077677568 94734089103965 140731204114336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94734091239640 94734091284658 94734116007936 140731204118930 140731204119049 140731204119049 140731204124651 0
/proc/74172/statm: 1440386 1234356 3744 2790 0 1433811 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 5761544 KiB
Current children cumulated memory: 4937424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.96 s]
# the end of solver process 74172 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3569.6 s, system=30.6413 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]*
/proc/loadavg: 4.22 4.22 4.11 3/252 74460
/proc/meminfo: memFree=125428392/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.96
CPU time (s): 3600.24
CPU user time (s): 3569.6
CPU system time (s): 30.6413
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 5761544
Max. memory (cumulated for all children) (KiB): 4937424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.6
system time used= 30.6413
maximum resident set size= 4937424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 969218
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= 70
involuntary context switches= 4034
# summary of solver processes directly reported to runsolver:
# pid: 74172
# total CPU time (s): 3600.24
# total CPU user time (s): 3569.6
# total CPU system time (s): 30.6413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62621 second user time and 16.9133 second system time
The end
Begin job on nodeC014 at 2025-07-03 08:21:02
IDJOB=4509272
IDBENCH=158606
IDSOLVER=3335
FILE ID=nodeC014/4509272-1751523662
RUNJOBID= nodeC014-1751523662-74116
SLURM_JOB_ID= 9598651
Free space on /tmp= 430392 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509272-1751523662/watcher-4509272-1751523662 -o /tmp/evaluation-result-4509272-1751523662/solver-4509272-1751523662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74116 --watchdog 3760 ./ipbhs_scip HOME/instance-4509272-1751523662.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=558135765
nodeC014 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.644
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.23
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.897
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.23
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.354
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.23
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 : 3600.152
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.23
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.040
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.23
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 : 3700.000
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.23
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 : 3600.182
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.23
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 : 3600.102
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127663576 kB
MemAvailable: 129761940 kB
Buffers: 2508 kB
Cached: 2893892 kB
SwapCached: 4 kB
Active: 636156 kB
Inactive: 2335404 kB
Active(anon): 89696 kB
Inactive(anon): 3852 kB
Active(file): 546460 kB
Inactive(file): 2331552 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 296784 kB
Writeback: 0 kB
AnonPages: 79008 kB
Mapped: 104048 kB
Shmem: 18064 kB
KReclaimable: 119180 kB
Slab: 209804 kB
SReclaimable: 119180 kB
SUnreclaim: 90624 kB
KernelStack: 4024 kB
PageTables: 2720 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 349624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430256 MiB
End job on nodeC014 at 2025-07-03 09:21:13