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
24.93/25.01 c limit for coefficient in constraints and objective to 1000000000
24.93/25.01 c will solve HOME/instance-4505478-1751459049.opb
24.93/25.01 c [0.85] 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 (60083 MiB free)
memory of node 1: 64507 MiB (56963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505478-1751459049/watcher-4505478-1751459049 -o /tmp/evaluation-result-4505478-1751459049/solver-4505478-1751459049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751451826-69888 --watchdog 3760 ./ipbhs_scip HOME/instance-4505478-1751459049.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70753, runsolver pid=70750
[startup+0.100064 s]*
/proc/loadavg: 4.08 4.08 4.09 5/263 70754
/proc/meminfo: memFree=119607128/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=246796 memory=143116 CPUtime=0.09 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 4870 0 0 0 5 4 0 0 20 0 1 0 61585302 252719104 35779 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 61699 35779 1536 2790 0 55124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 246796 KiB
Current children cumulated memory: 143116 KiB
[startup+0.205648 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 70754
/proc/meminfo: memFree=119576132/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=268560 memory=162892 CPUtime=0.2 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 7742 0 0 0 15 5 0 0 20 0 1 0 61585302 275005440 40723 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 67140 40723 1536 2790 0 60565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 268560 KiB
Current children cumulated memory: 162892 KiB
[startup+0.305555 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 70754
/proc/meminfo: memFree=119560004/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=278624 memory=175040 CPUtime=0.29 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 9252 0 0 0 24 5 0 0 20 0 1 0 61585302 285310976 43760 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 69656 43760 1536 2790 0 63081 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 278624 KiB
Current children cumulated memory: 175040 KiB
[startup+0.700166 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 70754
/proc/meminfo: memFree=119519688/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=329964 memory=229976 CPUtime=0.68 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 17893 0 0 0 60 8 0 0 20 0 1 0 61585302 337883136 57494 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 82491 57494 1536 2790 0 75916 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 329964 KiB
Current children cumulated memory: 229976 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 70754
/proc/meminfo: memFree=119447112/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=422148 memory=310040 CPUtime=1.47 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 33325 0 0 0 137 10 0 0 20 0 1 0 61585302 432279552 77510 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 105537 77510 1536 2790 0 98962 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 422148 KiB
Current children cumulated memory: 310040 KiB
[startup+3.1055 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 70754
/proc/meminfo: memFree=118974380/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=605724 memory=494020 CPUtime=3.08 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 62774 0 0 0 289 19 0 0 20 0 1 0 61585302 620261376 123505 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 151431 123505 1536 2790 0 144856 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 605724 KiB
Current children cumulated memory: 494020 KiB
[startup+6.30015 s]
/proc/loadavg: 4.23 4.11 4.10 5/263 70754
/proc/meminfo: memFree=117095768/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=1036548 memory=767268 CPUtime=6.27 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 110322 0 0 0 592 35 0 0 20 0 1 0 61585302 1061425152 191817 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 259137 191817 1536 2790 0 252562 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1036548 KiB
Current children cumulated memory: 767268 KiB
[startup+12.7001 s]
/proc/loadavg: 4.21 4.11 4.10 5/263 70754
/proc/meminfo: memFree=115604044/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=2015824 memory=1725600 CPUtime=12.65 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 161433 0 0 0 1029 236 0 0 20 0 1 0 61585302 2064203776 431400 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 503956 431400 1664 2790 0 497381 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2015824 KiB
Current children cumulated memory: 1725600 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.11 4.10 5/263 70754
/proc/meminfo: memFree=107393420/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=4783316 memory=4316424 CPUtime=25.42 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 668208 0 0 0 1767 775 0 0 20 0 1 0 61585302 4898115584 1079106 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 1195829 1079106 3168 2790 0 1189254 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4783316 KiB
Current children cumulated memory: 4316424 KiB
[startup+51.1058 s]
/proc/loadavg: 4.24 4.13 4.10 5/263 70755
/proc/meminfo: memFree=93991764/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=9490488 memory=8970100 CPUtime=50.97 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 1687531 0 0 0 3554 1543 0 0 20 0 1 0 61585302 9718259712 2242525 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 2372622 2242525 3456 2790 0 2366047 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 9490488 KiB
Current children cumulated memory: 8970100 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/263 70758
/proc/meminfo: memFree=84393940/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=13052116 memory=12171352 CPUtime=101.97 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 1752622 0 0 0 8588 1609 0 0 20 0 1 0 61585302 13365366784 3042838 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 3263029 3042838 3488 2790 0 3256454 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 13052116 KiB
Current children cumulated memory: 12171352 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 70760
/proc/meminfo: memFree=77467312/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=15606484 memory=14335208 CPUtime=161.77 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2218532 0 0 0 14439 1738 0 0 20 0 1 0 61585302 15981039616 3583802 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 3901621 3583802 3680 2790 0 3895046 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 15606484 KiB
Current children cumulated memory: 14335208 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 70762
/proc/meminfo: memFree=73786620/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=16992636 memory=15689908 CPUtime=221.57 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2376092 0 0 0 20381 1776 0 0 20 0 1 0 61585302 17400459264 3922477 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 4248159 3922477 3680 2790 0 4241584 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 16992636 KiB
Current children cumulated memory: 15689908 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 70765
/proc/meminfo: memFree=73808216/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=16992636 memory=15689908 CPUtime=281.34 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2376384 0 0 0 26357 1777 0 0 20 0 1 0 61585302 17400459264 3922477 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 4248159 3922477 3680 2790 0 4241584 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 16992636 KiB
Current children cumulated memory: 15689908 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 70767
/proc/meminfo: memFree=73734876/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=17012156 memory=15707836 CPUtime=341.11 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2377081 0 0 0 32332 1779 0 0 20 0 1 0 61585302 17420447744 3926959 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 4253039 3926959 3680 2790 0 4246464 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 17012156 KiB
Current children cumulated memory: 15707836 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 70769
/proc/meminfo: memFree=73727432/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=17012156 memory=15707836 CPUtime=400.87 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2377456 0 0 0 38307 1780 0 0 20 0 1 0 61585302 17420447744 3926959 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 4253039 3926959 3680 2790 0 4246464 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 17012156 KiB
Current children cumulated memory: 15707836 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 70776
/proc/meminfo: memFree=73708508/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=17012156 memory=15707836 CPUtime=460.63 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2377836 0 0 0 44282 1781 0 0 20 0 1 0 61585302 17420447744 3926959 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 4253039 3926959 3680 2790 0 4246464 0
################
# More data... #
################
/proc/meminfo: memFree=62992504/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21348464 memory=19538520 CPUtime=2908.62 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2947552 0 0 0 288864 1998 0 0 20 0 1 0 61585302 21860827136 4884630 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5337116 4884630 3680 2790 0 5330541 0
Current children cumulated CPU time: 2908.62 s
Current children cumulated vsize: 21348464 KiB
Current children cumulated memory: 19538520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 70951
/proc/meminfo: memFree=62996380/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21348748 memory=19538776 CPUtime=2968.38 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2947889 0 0 0 294838 2000 0 0 20 0 1 0 61585302 21861117952 4884694 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5337187 4884694 3680 2790 0 5330612 0
Current children cumulated CPU time: 2968.38 s
Current children cumulated vsize: 21348748 KiB
Current children cumulated memory: 19538776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 70953
/proc/meminfo: memFree=62992368/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21349068 memory=19539032 CPUtime=3028.14 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2948209 0 0 0 300812 2002 0 0 20 0 1 0 61585302 21861445632 4884758 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5337267 4884758 3680 2790 0 5330692 0
Current children cumulated CPU time: 3028.14 s
Current children cumulated vsize: 21349068 KiB
Current children cumulated memory: 19539032 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 70958
/proc/meminfo: memFree=62992316/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21350732 memory=19540696 CPUtime=3087.9 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2948808 0 0 0 306787 2003 0 0 20 0 1 0 61585302 21863149568 4885174 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5337683 4885174 3680 2790 0 5331108 0
Current children cumulated CPU time: 3087.9 s
Current children cumulated vsize: 21350732 KiB
Current children cumulated memory: 19540696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 70960
/proc/meminfo: memFree=62988820/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21352656 memory=19542616 CPUtime=3147.66 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2949491 0 0 0 312761 2005 0 0 20 0 1 0 61585302 21865119744 4885654 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5338164 4885654 3680 2790 0 5331589 0
Current children cumulated CPU time: 3147.66 s
Current children cumulated vsize: 21352656 KiB
Current children cumulated memory: 19542616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 70962
/proc/meminfo: memFree=62977780/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21354320 memory=19544280 CPUtime=3207.43 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2950150 0 0 0 318736 2007 0 0 20 0 1 0 61585302 21866823680 4886070 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5338580 4886070 3680 2790 0 5332005 0
Current children cumulated CPU time: 3207.43 s
Current children cumulated vsize: 21354320 KiB
Current children cumulated memory: 19544280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 70965
/proc/meminfo: memFree=62976576/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21355920 memory=19545944 CPUtime=3267.2 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2950757 0 0 0 324711 2009 0 0 20 0 1 0 61585302 21868462080 4886486 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5338980 4886486 3680 2790 0 5332405 0
Current children cumulated CPU time: 3267.2 s
Current children cumulated vsize: 21355920 KiB
Current children cumulated memory: 19545944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 70967
/proc/meminfo: memFree=62977820/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21356240 memory=19546200 CPUtime=3326.98 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2951031 0 0 0 330687 2011 0 0 20 0 1 0 61585302 21868789760 4886550 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5339060 4886550 3680 2790 0 5332485 0
Current children cumulated CPU time: 3326.98 s
Current children cumulated vsize: 21356240 KiB
Current children cumulated memory: 19546200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 70969
/proc/meminfo: memFree=62971964/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21357904 memory=19547864 CPUtime=3386.74 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2951653 0 0 0 336661 2013 0 0 20 0 1 0 61585302 21870493696 4886966 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5339476 4886966 3680 2790 0 5332901 0
Current children cumulated CPU time: 3386.74 s
Current children cumulated vsize: 21357904 KiB
Current children cumulated memory: 19547864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 70976
/proc/meminfo: memFree=62970448/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21359824 memory=19549784 CPUtime=3446.51 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2952387 0 0 0 342636 2015 0 0 20 0 1 0 61585302 21872459776 4887446 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5339956 4887446 3680 2790 0 5333381 0
Current children cumulated CPU time: 3446.51 s
Current children cumulated vsize: 21359824 KiB
Current children cumulated memory: 19549784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 70979
/proc/meminfo: memFree=62955352/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21361488 memory=19551448 CPUtime=3506.29 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2953012 0 0 0 348612 2017 0 0 20 0 1 0 61585302 21874163712 4887862 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5340372 4887862 3680 2790 0 5333797 0
Current children cumulated CPU time: 3506.29 s
Current children cumulated vsize: 21361488 KiB
Current children cumulated memory: 19551448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 70981
/proc/meminfo: memFree=62953368/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21363088 memory=19553112 CPUtime=3566.06 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2953612 0 0 0 354587 2019 0 0 20 0 1 0 61585302 21875802112 4888278 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5340772 4888278 3680 2790 0 5334197 0
Current children cumulated CPU time: 3566.06 s
Current children cumulated vsize: 21363088 KiB
Current children cumulated memory: 19553112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.4 s]
/proc/loadavg: 3.99 4.07 4.08 3/252 71045
/proc/meminfo: memFree=103798872/131250000 swapFree=33010684/33010684
[pid=70753] ppid=70750 vsize=21363408 memory=19553368 CPUtime=3600.03 cores=0,2
/proc/70753/stat : 70753 (ipbhs_scip) R 70750 70753 69878 0 -1 4194304 2953842 0 0 0 357983 2020 0 0 20 0 1 0 61585302 21876129792 4888342 18446744073709551615 94884448100352 94884459526749 140721748921920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94884461662424 94884461707442 94884475281408 140721748928914 140721748929033 140721748929033 140721748934635 0
/proc/70753/statm: 5340852 4888342 3680 2790 0 5334277 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 21363408 KiB
Current children cumulated memory: 19553368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3616.8 s]
# the end of solver process 70753 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3579.83 s, system=20.6034 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3616.61 s]
/proc/loadavg: 3.99 4.07 4.08 3/252 71045
/proc/meminfo: memFree=107303876/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.7 s]
/proc/loadavg: 3.99 4.07 4.08 3/252 71045
/proc/meminfo: memFree=107303876/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.8
CPU time (s): 3600.44
CPU user time (s): 3579.83
CPU system time (s): 20.6034
CPU usage (%): 99.5476
Max. virtual memory (cumulated for all children) (KiB): 21363408
Max. memory (cumulated for all children) (KiB): 19553368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.83
system time used= 20.6034
maximum resident set size= 19553368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2953842
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= 4605
# summary of solver processes directly reported to runsolver:
# pid: 70753
# total CPU time (s): 3600.44
# total CPU user time (s): 3579.83
# total CPU system time (s): 20.6034
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96129 second user time and 18.2716 second system time
The end
Begin job on nodeC013 at 2025-07-02 14:24:10
IDJOB=4505478
IDBENCH=155759
IDSOLVER=3335
FILE ID=nodeC013/4505478-1751459049
RUNJOBID= nodeC013-1751451826-69888
SLURM_JOB_ID= 9598435
Free space on /tmp= 431744 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505478-1751459049/watcher-4505478-1751459049 -o /tmp/evaluation-result-4505478-1751459049/solver-4505478-1751459049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751451826-69888 --watchdog 3760 ./ipbhs_scip HOME/instance-4505478-1751459049.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
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 : 3605.530
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.762
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 : 3599.827
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 : 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 : 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 : 3599.878
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.898
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 : 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 : 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 : 3599.893
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: 119873428 kB
MemAvailable: 121698044 kB
Buffers: 3280 kB
Cached: 2622972 kB
SwapCached: 0 kB
Active: 8275564 kB
Inactive: 2378044 kB
Active(anon): 8040648 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 2378044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 859064 kB
Writeback: 0 kB
AnonPages: 8030468 kB
Mapped: 115708 kB
Shmem: 13284 kB
KReclaimable: 101388 kB
Slab: 190356 kB
SReclaimable: 101388 kB
SUnreclaim: 88968 kB
KernelStack: 4240 kB
PageTables: 18972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8927056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3301376 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= 432244 MiB
End job on nodeC013 at 2025-07-02 15:24:27