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
25.42/25.52 c limit for coefficient in constraints and objective to 1000000000
25.42/25.52 c will solve HOME/instance-4505386-1751459045.opb
25.42/25.52 c [0.83] will start solving
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60958 MiB free)
memory of node 1: 64507 MiB (57460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505386-1751459045/watcher-4505386-1751459045 -o /tmp/evaluation-result-4505386-1751459045/solver-4505386-1751459045 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751451826-69889 --watchdog 3760 ./ipbhs_scip HOME/instance-4505386-1751459045.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
Starting watchdog thread
solver pid=70699, runsolver pid=70696
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.08 4.08 4.09 4/261 70704
/proc/meminfo: memFree=120872244/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=1377448 memory=424660 CPUtime=0.09 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2028 0 0 0 1 8 0 0 20 0 1 0 61584946 1410506752 106165 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 344362 106165 1600 2790 0 337787 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1377448 KiB
Current children cumulated memory: 424660 KiB
[startup+0.205996 s]*
/proc/loadavg: 4.08 4.08 4.09 5/263 70709
/proc/meminfo: memFree=120286992/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=1377448 memory=887508 CPUtime=0.2 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2254 0 0 0 3 17 0 0 20 0 1 0 61584946 1410506752 221877 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 344362 221877 1600 2790 0 337787 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1377448 KiB
Current children cumulated memory: 887508 KiB
[startup+0.305612 s]*
/proc/loadavg: 4.08 4.08 4.09 5/263 70709
/proc/meminfo: memFree=119824652/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=1377448 memory=1331924 CPUtime=0.29 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2471 0 0 0 4 25 0 0 20 0 1 0 61584946 1410506752 332981 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 344362 332981 1600 2790 0 337787 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 1377448 KiB
Current children cumulated memory: 1331924 KiB
[startup+0.700156 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 70709
/proc/meminfo: memFree=119694408/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=1506424 memory=1398688 CPUtime=0.69 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 13593 0 0 0 39 30 0 0 20 0 1 0 61584946 1542578176 349672 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 376606 349672 1600 2790 0 370031 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1506424 KiB
Current children cumulated memory: 1398688 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.08 4.09 4/259 70717
/proc/meminfo: memFree=120652388/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=1593368 memory=1481272 CPUtime=1.48 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 27079 0 0 0 115 33 0 0 20 0 1 0 61584946 1631608832 370318 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 398342 370318 1600 2790 0 391767 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1593368 KiB
Current children cumulated memory: 1481272 KiB
[startup+3.10524 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 70744
/proc/meminfo: memFree=120091988/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=1795104 memory=1666880 CPUtime=3.08 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 59013 0 0 0 267 41 0 0 20 0 1 0 61584946 1838186496 416720 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 448776 416720 1600 2790 0 442201 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1795104 KiB
Current children cumulated memory: 1666880 KiB
[startup+6.30014 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 70754
/proc/meminfo: memFree=119079212/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=2059184 memory=1943204 CPUtime=6.27 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 105177 0 0 0 574 53 0 0 20 0 1 0 61584946 2108604416 485801 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 514796 485801 1600 2790 0 508221 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2059184 KiB
Current children cumulated memory: 1943204 KiB
[startup+12.7001 s]
/proc/loadavg: 4.23 4.11 4.10 5/263 70754
/proc/meminfo: memFree=116186328/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=3225796 memory=2918164 CPUtime=12.65 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 162123 0 0 0 1029 236 0 0 20 0 1 0 61584946 3303215104 729541 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 806449 729541 1728 2790 0 799874 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3225796 KiB
Current children cumulated memory: 2918164 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.11 4.10 5/263 70754
/proc/meminfo: memFree=111700000/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=5993320 memory=5524028 CPUtime=25.42 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 665678 0 0 0 1750 792 0 0 20 0 1 0 61584946 6137159680 1381007 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 1498330 1381007 3200 2790 0 1491755 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5993320 KiB
Current children cumulated memory: 5524028 KiB
[startup+51.1054 s]
/proc/loadavg: 4.26 4.13 4.10 5/263 70755
/proc/meminfo: memFree=94175196/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=10697000 memory=10171068 CPUtime=50.98 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 1684712 0 0 0 3540 1558 0 0 20 0 1 0 61584946 10953728000 2542767 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 2674250 2542767 3456 2790 0 2667675 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 10697000 KiB
Current children cumulated memory: 10171068 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/263 70758
/proc/meminfo: memFree=85917128/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=14258884 memory=13158008 CPUtime=101.99 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 1748771 0 0 0 8578 1621 0 0 20 0 1 0 61584946 14601097216 3289502 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 3564721 3289502 3552 2790 0 3558146 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 14258884 KiB
Current children cumulated memory: 13158008 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 70760
/proc/meminfo: memFree=78112700/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=16736716 memory=15460932 CPUtime=161.79 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2201999 0 0 0 14425 1754 0 0 20 0 1 0 61584946 17138397184 3865233 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 4184179 3865233 3712 2790 0 4177604 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 16736716 KiB
Current children cumulated memory: 15460932 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 70762
/proc/meminfo: memFree=73790708/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=18224968 memory=16907520 CPUtime=221.6 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2372349 0 0 0 20363 1797 0 0 20 0 1 0 61584946 18662367232 4226880 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 4556242 4226880 3712 2790 0 4549667 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 18224968 KiB
Current children cumulated memory: 16907520 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 70765
/proc/meminfo: memFree=73808116/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=18224968 memory=16907776 CPUtime=281.37 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2372748 0 0 0 26339 1798 0 0 20 0 1 0 61584946 18662367232 4226944 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 4556242 4226944 3712 2790 0 4549667 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 18224968 KiB
Current children cumulated memory: 16907776 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 70767
/proc/meminfo: memFree=73738720/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=18244488 memory=16924756 CPUtime=341.13 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2373349 0 0 0 32313 1800 0 0 20 0 1 0 61584946 18682355712 4231189 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 4561122 4231189 3712 2790 0 4554547 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 18244488 KiB
Current children cumulated memory: 16924756 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 70769
/proc/meminfo: memFree=73727472/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=18244488 memory=16926804 CPUtime=400.9 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2373809 0 0 0 38288 1802 0 0 20 0 1 0 61584946 18682355712 4231701 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 4561122 4231701 3712 2790 0 4554547 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 18244488 KiB
Current children cumulated memory: 16926804 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 70776
/proc/meminfo: memFree=73708256/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=18244488 memory=16926804 CPUtime=460.67 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2374326 0 0 0 44262 1805 0 0 20 0 1 0 61584946 18682355712 4231701 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 4561122 4231701 3712 2790 0 4554547 0
Current children cumulated CPU time: 460.67 s
################
# More data... #
################
/proc/meminfo: memFree=63008636/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22568600 memory=20759980 CPUtime=2908.76 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2943340 0 0 0 288844 2032 0 0 20 0 1 0 61584946 23110246400 5189995 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5642150 5189995 3712 2790 0 5635575 0
Current children cumulated CPU time: 2908.76 s
Current children cumulated vsize: 22568600 KiB
Current children cumulated memory: 20759980 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 70951
/proc/meminfo: memFree=62998288/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22569624 memory=20761004 CPUtime=2968.52 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2944159 0 0 0 294818 2034 0 0 20 0 1 0 61584946 23111294976 5190251 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5642406 5190251 3712 2790 0 5635831 0
Current children cumulated CPU time: 2968.52 s
Current children cumulated vsize: 22569624 KiB
Current children cumulated memory: 20761004 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 70953
/proc/meminfo: memFree=62992116/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22569624 memory=20761004 CPUtime=3028.29 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2944802 0 0 0 300793 2036 0 0 20 0 1 0 61584946 23111294976 5190251 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5642406 5190251 3712 2790 0 5635831 0
Current children cumulated CPU time: 3028.29 s
Current children cumulated vsize: 22569624 KiB
Current children cumulated memory: 20761004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 70958
/proc/meminfo: memFree=62992064/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22571292 memory=20762796 CPUtime=3088.06 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2945757 0 0 0 306768 2038 0 0 20 0 1 0 61584946 23113003008 5190699 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5642823 5190699 3712 2790 0 5636248 0
Current children cumulated CPU time: 3088.06 s
Current children cumulated vsize: 22571292 KiB
Current children cumulated memory: 20762796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 70960
/proc/meminfo: memFree=62988308/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22572892 memory=20764332 CPUtime=3147.83 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2946687 0 0 0 312744 2039 0 0 20 0 1 0 61584946 23114641408 5191083 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5643223 5191083 3712 2790 0 5636648 0
Current children cumulated CPU time: 3147.83 s
Current children cumulated vsize: 22572892 KiB
Current children cumulated memory: 20764332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 70962
/proc/meminfo: memFree=62977528/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22573916 memory=20766764 CPUtime=3207.6 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2947636 0 0 0 318719 2041 0 0 20 0 1 0 61584946 23115689984 5191691 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5643479 5191691 3712 2790 0 5636904 0
Current children cumulated CPU time: 3207.6 s
Current children cumulated vsize: 22573916 KiB
Current children cumulated memory: 20766764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 70965
/proc/meminfo: memFree=62978224/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22576156 memory=20769068 CPUtime=3267.37 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2948777 0 0 0 324694 2043 0 0 20 0 1 0 61584946 23117983744 5192267 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5644039 5192267 3712 2790 0 5637464 0
Current children cumulated CPU time: 3267.37 s
Current children cumulated vsize: 22576156 KiB
Current children cumulated memory: 20769068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 70967
/proc/meminfo: memFree=62979284/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22576476 memory=20769324 CPUtime=3327.14 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2949343 0 0 0 330669 2045 0 0 20 0 1 0 61584946 23118311424 5192331 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5644119 5192331 3712 2790 0 5637544 0
Current children cumulated CPU time: 3327.14 s
Current children cumulated vsize: 22576476 KiB
Current children cumulated memory: 20769324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 70969
/proc/meminfo: memFree=62969488/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22578140 memory=20770988 CPUtime=3386.92 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2950289 0 0 0 336645 2047 0 0 20 0 1 0 61584946 23120015360 5192747 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5644535 5192747 3712 2790 0 5637960 0
Current children cumulated CPU time: 3386.92 s
Current children cumulated vsize: 22578140 KiB
Current children cumulated memory: 20770988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 70976
/proc/meminfo: memFree=62970092/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22579740 memory=20772652 CPUtime=3446.69 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2951285 0 0 0 342620 2049 0 0 20 0 1 0 61584946 23121653760 5193163 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5644935 5193163 3712 2790 0 5638360 0
Current children cumulated CPU time: 3446.69 s
Current children cumulated vsize: 22579740 KiB
Current children cumulated memory: 20772652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 70979
/proc/meminfo: memFree=62955092/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22581084 memory=20773932 CPUtime=3506.47 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2952194 0 0 0 348596 2051 0 0 20 0 1 0 61584946 23123030016 5193483 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5645271 5193483 3712 2790 0 5638696 0
Current children cumulated CPU time: 3506.47 s
Current children cumulated vsize: 22581084 KiB
Current children cumulated memory: 20773932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 70981
/proc/meminfo: memFree=62953116/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22583324 memory=20776236 CPUtime=3566.25 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2953316 0 0 0 354572 2053 0 0 20 0 1 0 61584946 23125323776 5194059 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5645831 5194059 3712 2790 0 5639256 0
Current children cumulated CPU time: 3566.25 s
Current children cumulated vsize: 22583324 KiB
Current children cumulated memory: 20776236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.2 s]
/proc/loadavg: 4.08 4.09 4.09 4/260 70991
/proc/meminfo: memFree=82438816/131250000 swapFree=33010684/33010684
[pid=70699] ppid=70696 vsize=22583324 memory=20776236 CPUtime=3600.02 cores=4,6
/proc/70699/stat : 70699 (ipbhs_scip) R 70696 70699 69878 0 -1 4194304 2953638 0 0 0 357948 2054 0 0 20 0 1 0 61584946 23125323776 5194059 18446744073709551615 94353087070208 94353098496605 140732759383088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94353100632280 94353100677298 94353138348032 140732759390610 140732759390729 140732759390729 140732759396331 0
/proc/70699/statm: 5645831 5194059 3712 2790 0 5639256 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 22583324 KiB
Current children cumulated memory: 20776236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3616.51 s]
# the end of solver process 70699 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3579.49 s, system=20.8497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3616.41 s]
/proc/loadavg: 4.08 4.09 4.09 4/262 70997
/proc/meminfo: memFree=89207780/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3616.5 s]
/proc/loadavg: 4.08 4.09 4.09 4/262 70997
/proc/meminfo: memFree=89207780/131250000 swapFree=33010684/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): 3616.51
CPU time (s): 3600.34
CPU user time (s): 3579.49
CPU system time (s): 20.8497
CPU usage (%): 99.5528
Max. virtual memory (cumulated for all children) (KiB): 22583324
Max. memory (cumulated for all children) (KiB): 20776236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.49
system time used= 20.8497
maximum resident set size= 20776236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2953638
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= 82
involuntary context switches= 1897
# summary of solver processes directly reported to runsolver:
# pid: 70699
# total CPU time (s): 3600.34
# total CPU user time (s): 3579.49
# total CPU system time (s): 20.8497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19516 second user time and 16.3068 second system time
The end
Begin job on nodeC013 at 2025-07-02 14:24:07
IDJOB=4505386
IDBENCH=155756
IDSOLVER=3335
FILE ID=nodeC013/4505386-1751459045
RUNJOBID= nodeC013-1751451826-69889
SLURM_JOB_ID= 9598435
Free space on /tmp= 432016 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505386-1751459045/watcher-4505386-1751459045 -o /tmp/evaluation-result-4505386-1751459045/solver-4505386-1751459045 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751451826-69889 --watchdog 3760 ./ipbhs_scip HOME/instance-4505386-1751459045.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=1183594606
nodeC013 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 : 3599.743
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 : 6999.67
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 : 3599.860
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 : 6999.67
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 : 3700.000
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 : 6999.67
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 : 3599.650
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 : 6999.67
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 : 3597.294
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 : 6999.67
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 : 3599.825
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 : 6999.67
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 : 3599.829
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 : 6999.67
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.290
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121261128 kB
MemAvailable: 122875360 kB
Buffers: 3280 kB
Cached: 2412884 kB
SwapCached: 0 kB
Active: 7170680 kB
Inactive: 2167964 kB
Active(anon): 6935764 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 2167964 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 567588 kB
Writeback: 0 kB
AnonPages: 6925600 kB
Mapped: 121452 kB
Shmem: 13284 kB
KReclaimable: 100784 kB
Slab: 189812 kB
SReclaimable: 100784 kB
SUnreclaim: 89028 kB
KernelStack: 4192 kB
PageTables: 16776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 7591664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1765376 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431960 MiB
End job on nodeC013 at 2025-07-02 15:24:24