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.08/0.15 c limit for coefficient in constraints and objective to 1000000000
0.08/0.15 c will solve HOME/instance-4507846-1751499552.opb
0.08/0.15 c [0.01] will start solving
1514.22/1518.54 c [0.01] solve iteration 1, LB=0, UB=212
1514.22/1518.54 c [1494.3] solve iteration 2, LB=0, UB=211
1552.40/1556.84 c [1531.34] solve iteration 3, LB=22, UB=131
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 (60682 MiB free)
memory of node 1: 64507 MiB (61298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507846-1751499552/watcher-4507846-1751499552 -o /tmp/evaluation-result-4507846-1751499552/solver-4507846-1751499552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751495940-67816 --watchdog 3760 ./ipbhs_scip HOME/instance-4507846-1751499552.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68246, runsolver pid=68243
[startup+0.100061 s]*
/proc/loadavg: 3.93 4.12 4.10 5/263 68247
/proc/meminfo: memFree=124888852/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=52048 memory=22772 CPUtime=0.08 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 3473 0 0 0 6 2 0 0 20 0 1 0 65634762 53297152 5693 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 13012 5693 1696 2790 0 6437 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 52048 KiB
Current children cumulated memory: 22772 KiB
[startup+0.205464 s]*
/proc/loadavg: 3.93 4.12 4.10 5/263 68247
/proc/meminfo: memFree=124833032/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=97828 memory=72564 CPUtime=0.2 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 14182 0 0 0 14 6 0 0 20 0 1 0 65634762 100175872 18141 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 24457 18141 3552 2790 0 17882 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 72564 KiB
[startup+0.305388 s]*
/proc/loadavg: 3.93 4.12 4.10 5/263 68247
/proc/meminfo: memFree=124824260/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=97828 memory=72692 CPUtime=0.29 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 14206 0 0 0 23 6 0 0 20 0 1 0 65634762 100175872 18173 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 24457 18173 3552 2790 0 17882 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 72692 KiB
[startup+0.700115 s]
/proc/loadavg: 3.93 4.12 4.10 5/263 68247
/proc/meminfo: memFree=124764844/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=99264 memory=76468 CPUtime=0.68 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 14638 0 0 0 60 8 0 0 20 0 1 0 65634762 101646336 19117 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 24816 19117 3552 2790 0 18241 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99264 KiB
Current children cumulated memory: 76468 KiB
[startup+1.5001 s]
/proc/loadavg: 3.93 4.12 4.10 5/263 68247
/proc/meminfo: memFree=124409764/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=99596 memory=76852 CPUtime=1.48 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 14741 0 0 0 138 10 0 0 20 0 1 0 65634762 101986304 19213 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 24899 19213 3552 2790 0 18324 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99596 KiB
Current children cumulated memory: 76852 KiB
[startup+3.10521 s]
/proc/loadavg: 3.93 4.12 4.10 5/263 68247
/proc/meminfo: memFree=124214092/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=99860 memory=77108 CPUtime=3.08 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 14826 0 0 0 295 13 0 0 20 0 1 0 65634762 102256640 19277 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 24965 19277 3552 2790 0 18390 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99860 KiB
Current children cumulated memory: 77108 KiB
[startup+6.30011 s]
/proc/loadavg: 3.94 4.12 4.10 5/263 68247
/proc/meminfo: memFree=123370048/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=100388 memory=77620 CPUtime=6.27 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 14935 0 0 0 608 19 0 0 20 0 1 0 65634762 102797312 19405 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 25097 19405 3552 2790 0 18522 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100388 KiB
Current children cumulated memory: 77620 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 4.13 4.11 5/263 68247
/proc/meminfo: memFree=123369880/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=100784 memory=78132 CPUtime=12.65 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 15062 0 0 0 1234 31 0 0 20 0 1 0 65634762 103202816 19533 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 25196 19533 3552 2790 0 18621 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 78132 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.14 4.11 5/263 68247
/proc/meminfo: memFree=123335400/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=104428 memory=79540 CPUtime=25.42 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 15433 0 0 0 2484 58 0 0 20 0 1 0 65634762 106934272 19885 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 26107 19885 3552 2790 0 19532 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 104428 KiB
Current children cumulated memory: 79540 KiB
[startup+51.1052 s]
/proc/loadavg: 4.06 4.13 4.10 5/263 68248
/proc/meminfo: memFree=123195888/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=105484 memory=81972 CPUtime=50.97 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 16031 0 0 0 4993 104 0 0 20 0 1 0 65634762 108015616 20493 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 26371 20493 3552 2790 0 19796 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 105484 KiB
Current children cumulated memory: 81972 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/263 68249
/proc/meminfo: memFree=122756792/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=110736 memory=86172 CPUtime=102.03 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 18203 0 0 0 10014 189 0 0 20 0 1 0 65634762 113393664 21543 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 27684 21543 3552 2790 0 21109 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 110736 KiB
Current children cumulated memory: 86172 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 68256
/proc/meminfo: memFree=121950076/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=113188 memory=88396 CPUtime=161.89 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 19635 0 0 0 15903 286 0 0 20 0 1 0 65634762 115904512 22099 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 28297 22099 3552 2790 0 21722 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 88396 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 68303
/proc/meminfo: memFree=125336000/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=114288 memory=90572 CPUtime=221.74 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 20173 0 0 0 21801 373 0 0 20 0 1 0 65634762 117030912 22643 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 28572 22643 3552 2790 0 21997 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 114288 KiB
Current children cumulated memory: 90572 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 68305
/proc/meminfo: memFree=125064848/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=115456 memory=91784 CPUtime=281.59 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 21110 0 0 0 27701 458 0 0 20 0 1 0 65634762 118226944 22946 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 28864 22946 3552 2790 0 22289 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 115456 KiB
Current children cumulated memory: 91784 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 68308
/proc/meminfo: memFree=124846252/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=115396 memory=92380 CPUtime=341.44 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 21906 0 0 0 33608 536 0 0 20 0 1 0 65634762 118165504 23095 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 28849 23095 3552 2790 0 22274 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 115396 KiB
Current children cumulated memory: 92380 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 68310
/proc/meminfo: memFree=124707288/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=123704 memory=96152 CPUtime=401.28 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 22329 0 0 0 39511 617 0 0 20 0 1 0 65634762 126672896 24038 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 30926 24038 3552 2790 0 24351 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 123704 KiB
Current children cumulated memory: 96152 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 68314
/proc/meminfo: memFree=124700344/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=123600 memory=96064 CPUtime=461.12 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 22897 0 0 0 45414 698 0 0 20 0 1 0 65634762 126566400 24016 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 30900 24016 3552 2790 0 24325 0
################
# More data... #
################
Current children cumulated memory: 300508 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 68494
/proc/meminfo: memFree=126059896/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=359032 memory=303676 CPUtime=2854.38 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 89076 0 0 0 280687 4751 0 0 20 0 1 0 65634762 367648768 75919 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 89758 75919 3744 2790 0 83183 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 359032 KiB
Current children cumulated memory: 303676 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 68496
/proc/meminfo: memFree=126055100/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=362360 memory=305748 CPUtime=2914.23 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 91119 0 0 0 286627 4796 0 0 20 0 1 0 65634762 371056640 76437 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 90590 76437 3744 2790 0 84015 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 362360 KiB
Current children cumulated memory: 305748 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 68501
/proc/meminfo: memFree=126038560/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=362360 memory=330340 CPUtime=2974.09 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 94960 0 0 0 292453 4956 0 0 20 0 1 0 65634762 371056640 82585 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 90590 82585 3744 2790 0 84015 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 362360 KiB
Current children cumulated memory: 330340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 68503
/proc/meminfo: memFree=126027596/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=366408 memory=334132 CPUtime=3033.94 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 98139 0 0 0 298268 5126 0 0 20 0 1 0 65634762 375201792 83533 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 91602 83533 3744 2790 0 85027 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 366408 KiB
Current children cumulated memory: 334132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 68506
/proc/meminfo: memFree=126018672/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=367760 memory=335540 CPUtime=3093.8 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 98502 0 0 0 304075 5305 0 0 20 0 1 0 65634762 376586240 83885 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 91940 83885 3744 2790 0 85365 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 367760 KiB
Current children cumulated memory: 335540 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 68508
/proc/meminfo: memFree=125990156/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=375768 memory=343092 CPUtime=3153.65 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 100402 0 0 0 309969 5396 0 0 20 0 1 0 65634762 384786432 85773 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 93942 85773 3744 2790 0 87367 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 375768 KiB
Current children cumulated memory: 343092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 68515
/proc/meminfo: memFree=125979032/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=376292 memory=343860 CPUtime=3213.51 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 100568 0 0 0 315757 5594 0 0 20 0 1 0 65634762 385323008 85965 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 94073 85965 3744 2790 0 87498 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 376292 KiB
Current children cumulated memory: 343860 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 68517
/proc/meminfo: memFree=125978128/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=382152 memory=349236 CPUtime=3273.37 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 101909 0 0 0 321607 5730 0 0 20 0 1 0 65634762 391323648 87309 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 95538 87309 3744 2790 0 88963 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 382152 KiB
Current children cumulated memory: 349236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 68519
/proc/meminfo: memFree=125968196/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=385240 memory=352308 CPUtime=3333.22 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 102681 0 0 0 327448 5874 0 0 20 0 1 0 65634762 394485760 88077 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 96310 88077 3744 2790 0 89735 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 385240 KiB
Current children cumulated memory: 352308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 68521
/proc/meminfo: memFree=125962520/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=388688 memory=355764 CPUtime=3393.08 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 103578 0 0 0 333370 5938 0 0 20 0 1 0 65634762 398016512 88941 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 97172 88941 3744 2790 0 90597 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 388688 KiB
Current children cumulated memory: 355764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 68523
/proc/meminfo: memFree=125955244/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=392992 memory=360264 CPUtime=3452.94 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 106094 0 0 0 339263 6031 0 0 20 0 1 0 65634762 402423808 90066 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 98248 90066 3744 2790 0 91673 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 392992 KiB
Current children cumulated memory: 360264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 68526
/proc/meminfo: memFree=125953108/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=396036 memory=363080 CPUtime=3512.79 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 106803 0 0 0 345074 6205 0 0 20 0 1 0 65634762 405540864 90770 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 99009 90770 3744 2790 0 92434 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 396036 KiB
Current children cumulated memory: 363080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 68530
/proc/meminfo: memFree=125944932/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=396916 memory=363976 CPUtime=3572.65 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 107043 0 0 0 350922 6343 0 0 20 0 1 0 65634762 406441984 90994 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 99229 90994 3744 2790 0 92654 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 396916 KiB
Current children cumulated memory: 363976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.11 4.09 4/259 68540
/proc/meminfo: memFree=128219164/131249996 swapFree=33010416/33010684
[pid=68246] ppid=68243 vsize=397132 memory=364360 CPUtime=3600.09 cores=4,6
/proc/68246/stat : 68246 (ipbhs_scip) R 68243 68246 67805 0 -1 4194304 107126 0 0 0 353565 6444 0 0 20 0 1 0 65634762 406663168 91090 18446744073709551615 94487585923072 94487597349469 140732510519728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94487599485144 94487599530162 94487627292672 140732510525842 140732510525961 140732510525961 140732510531563 0
/proc/68246/statm: 99283 91090 3744 2790 0 92708 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 397132 KiB
Current children cumulated memory: 364360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 68246 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3535.65 s, system=64.4471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.81
CPU time (s): 3600.1
CPU user time (s): 3535.65
CPU system time (s): 64.4471
CPU usage (%): 99.7311
Max. virtual memory (cumulated for all children) (KiB): 397132
Max. memory (cumulated for all children) (KiB): 364360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3535.65
system time used= 64.4471
maximum resident set size= 364360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107126
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= 125
involuntary context switches= 2486
# summary of solver processes directly reported to runsolver:
# pid: 68246
# total CPU time (s): 3600.1
# total CPU user time (s): 3535.65
# total CPU system time (s): 64.4471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72647 second user time and 14.5274 second system time
The end
Begin job on nodeC030 at 2025-07-03 01:39:12
IDJOB=4507846
IDBENCH=158386
IDSOLVER=3335
FILE ID=nodeC030/4507846-1751499552
RUNJOBID= nodeC030-1751495940-67816
SLURM_JOB_ID= 9598569
Free space on /tmp= 432220 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep5.5.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507846-1751499552/watcher-4507846-1751499552 -o /tmp/evaluation-result-4507846-1751499552/solver-4507846-1751499552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751495940-67816 --watchdog 3760 ./ipbhs_scip HOME/instance-4507846-1751499552.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57020c0b0c1558ae6f18629e32faebb8
RANDOM SEED=690368083
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.362
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.315
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 : 3603.653
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.321
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.649
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 : 3600.318
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: 124908636 kB
MemAvailable: 125880120 kB
Buffers: 2564 kB
Cached: 1763600 kB
SwapCached: 16 kB
Active: 4398448 kB
Inactive: 1320140 kB
Active(anon): 3965932 kB
Inactive(anon): 4548 kB
Active(file): 432516 kB
Inactive(file): 1315592 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 364352 kB
Writeback: 0 kB
AnonPages: 3955552 kB
Mapped: 118752 kB
Shmem: 18048 kB
KReclaimable: 124832 kB
Slab: 214204 kB
SReclaimable: 124832 kB
SUnreclaim: 89372 kB
KernelStack: 4224 kB
PageTables: 10248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4344852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3749888 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:39:22