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.09/0.12 c limit for coefficient in constraints and objective to 1000000000
0.09/0.12 c will solve HOME/instance-4504788-1751453688.opb
0.09/0.12 c [0.01] will start solving
0.88/0.92 c [0.04] solve iteration 1, LB=-15, UB=2280923847
86.66/86.97 c [62.38] solve iteration 2, LB=354103, UB=2435284
213.18/213.74 c [180.29] solve iteration 3, LB=1279685, UB=2435284
408.72/409.77 c [360.63] solve iteration 4, LB=1279685, UB=2435284
606.03/607.55 c [544.78] solve iteration 5, LB=1512566, UB=2379586
964.15/966.58 c [881.55] solve iteration 6, LB=1561520, UB=2379586
1259.20/1262.40 c [1160.07] solve iteration 7, LB=1561520, UB=2379586
1713.15/1717.47 c [1588.39] solve iteration 8, LB=1561520, UB=2379586
2812.92/2820.19 c [2511.26] solve iteration 9, LB=1561520, UB=2379586
3163.44/3171.53 c [2849.64] solve iteration 10, LB=1561520, UB=2219228
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 (62360 MiB free)
memory of node 1: 64507 MiB (56756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504788-1751453688/watcher-4504788-1751453688 -o /tmp/evaluation-result-4504788-1751453688/solver-4504788-1751453688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751453688-69814 --watchdog 3760 ./ipbhs_scip HOME/instance-4504788-1751453688.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=69846, runsolver pid=69842
[startup+0.100065 s]*
/proc/loadavg: 0.77 1.23 2.37 5/265 69870
/proc/meminfo: memFree=121943060/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=52320 memory=22584 CPUtime=0.09 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 3438 0 0 0 6 3 0 0 20 0 1 0 61046714 53575680 5646 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 13080 5646 1696 2790 0 6505 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52320 KiB
Current children cumulated memory: 22584 KiB
[startup+0.205536 s]*
/proc/loadavg: 0.77 1.23 2.37 5/265 69870
/proc/meminfo: memFree=121414948/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=105120 memory=80184 CPUtime=0.19 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 16163 0 0 0 12 7 0 0 20 0 1 0 61046714 107642880 20046 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 26280 20046 3488 2790 0 19705 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 105120 KiB
Current children cumulated memory: 80184 KiB
[startup+0.305492 s]*
/proc/loadavg: 0.77 1.23 2.37 6/265 69870
/proc/meminfo: memFree=121022428/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=118780 memory=88604 CPUtime=0.28 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 18330 0 0 0 21 7 0 0 20 0 1 0 61046714 121630720 22151 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 29695 22151 3584 2790 0 23120 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 118780 KiB
Current children cumulated memory: 88604 KiB
[startup+0.700133 s]
/proc/loadavg: 0.77 1.23 2.37 6/265 69870
/proc/meminfo: memFree=120912172/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=149892 memory=118644 CPUtime=0.67 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 26964 0 0 0 59 8 0 0 20 0 1 0 61046714 153489408 29661 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 37473 29661 3712 2790 0 30898 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 149892 KiB
Current children cumulated memory: 118644 KiB
[startup+1.50013 s]
/proc/loadavg: 0.77 1.23 2.37 5/265 69870
/proc/meminfo: memFree=120533916/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=186636 memory=148468 CPUtime=1.47 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 34400 0 0 0 130 17 0 0 20 0 1 0 61046714 191115264 37117 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 46659 37117 3744 2790 0 40084 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 186636 KiB
Current children cumulated memory: 148468 KiB
[startup+3.10533 s]
/proc/loadavg: 0.77 1.23 2.37 5/265 69870
/proc/meminfo: memFree=119233216/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=186636 memory=148468 CPUtime=3.07 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 34401 0 0 0 267 40 0 0 20 0 1 0 61046714 191115264 37117 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 46659 37117 3744 2790 0 40084 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 186636 KiB
Current children cumulated memory: 148468 KiB
[startup+6.30017 s]
/proc/loadavg: 1.11 1.29 2.38 5/264 69870
/proc/meminfo: memFree=118573260/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=186636 memory=150708 CPUtime=6.26 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 34425 0 0 0 538 88 0 0 20 0 1 0 61046714 191115264 37677 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 46659 37677 3744 2790 0 40084 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 186636 KiB
Current children cumulated memory: 150708 KiB
[startup+12.7001 s]
/proc/loadavg: 1.34 1.33 2.39 5/265 69871
/proc/meminfo: memFree=118368076/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=189356 memory=153064 CPUtime=12.64 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 34528 0 0 0 1096 168 0 0 20 0 1 0 61046714 193900544 38266 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 47339 38266 3744 2790 0 40764 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 189356 KiB
Current children cumulated memory: 153064 KiB
[startup+25.5002 s]
/proc/loadavg: 1.75 1.42 2.41 5/266 69873
/proc/meminfo: memFree=117997264/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=193776 memory=158680 CPUtime=25.41 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 35422 0 0 0 2236 305 0 0 20 0 1 0 61046714 198426624 39670 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 48444 39670 3744 2790 0 41869 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 193776 KiB
Current children cumulated memory: 158680 KiB
[startup+51.1054 s]
/proc/loadavg: 3.04 1.77 2.49 5/266 69873
/proc/meminfo: memFree=117672452/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=207388 memory=174128 CPUtime=50.96 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 37732 0 0 0 4600 496 0 0 20 0 1 0 61046714 212365312 43532 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 51847 43532 3744 2790 0 45272 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 207388 KiB
Current children cumulated memory: 174128 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.13 2.58 5/266 69876
/proc/meminfo: memFree=116676544/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=1264540 memory=1137036 CPUtime=102.03 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 242663 0 0 0 9474 729 0 0 20 0 1 0 61046714 1294888960 284259 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 316135 284259 3744 2790 0 309560 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1264540 KiB
Current children cumulated memory: 1137036 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.49 2.68 5/265 69878
/proc/meminfo: memFree=116673580/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=1264540 memory=1144296 CPUtime=161.9 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 243046 0 0 0 15000 1190 0 0 20 0 1 0 61046714 1294888960 286074 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 316135 286074 3744 2790 0 309560 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1264540 KiB
Current children cumulated memory: 1144296 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 2.85 2.79 5/265 69880
/proc/meminfo: memFree=115285344/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=2588872 memory=2355480 CPUtime=221.77 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 463698 0 0 0 20733 1444 0 0 20 0 1 0 61046714 2651004928 588870 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 647218 588870 3744 2790 0 640643 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 2588872 KiB
Current children cumulated memory: 2355480 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.09 2.88 5/265 69882
/proc/meminfo: memFree=115458212/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=2553992 memory=2321036 CPUtime=281.61 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 464030 0 0 0 26643 1518 0 0 20 0 1 0 61046714 2615287808 580259 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 638498 580259 3744 2790 0 631923 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2553992 KiB
Current children cumulated memory: 2321036 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 3.29 2.96 5/264 69885
/proc/meminfo: memFree=115436368/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=2553992 memory=2321292 CPUtime=341.48 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 464105 0 0 0 32296 1852 0 0 20 0 1 0 61046714 2615287808 580323 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 638498 580323 3744 2790 0 631923 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 2553992 KiB
Current children cumulated memory: 2321292 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.43 3.03 5/264 69905
/proc/meminfo: memFree=114625196/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=3240900 memory=3024640 CPUtime=401.34 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 615828 0 0 0 38005 2129 0 0 20 0 1 0 61046714 3318681600 756160 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 810225 756160 3744 2790 0 803650 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 3240900 KiB
Current children cumulated memory: 3024640 KiB
[startup+462.3 s]
/proc/loadavg: 4.37 3.62 3.12 5/264 69907
/proc/meminfo: memFree=114349848/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=3604684 memory=3381128 CPUtime=461.18 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 731929 0 0 0 43963 2155 0 0 20 0 1 0 61046714 3691196416 845282 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 901171 845282 3744 2790 0 894596 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
/proc/69846/statm: 2176921 2142610 3744 2790 0 2170346 0
Current children cumulated CPU time: 2855.02 s
Current children cumulated vsize: 8707684 KiB
Current children cumulated memory: 8570440 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/265 70032
/proc/meminfo: memFree=96397180/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8707684 memory=8572744 CPUtime=2914.88 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2193492 0 0 0 285880 5608 0 0 20 0 1 0 61046714 8916668416 2143186 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2176921 2143186 3744 2790 0 2170346 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 8707684 KiB
Current children cumulated memory: 8572744 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/265 70035
/proc/meminfo: memFree=96405148/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8673684 memory=8564688 CPUtime=2974.72 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2204648 0 0 0 291861 5611 0 0 20 0 1 0 61046714 8881852416 2141172 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2168421 2141172 3744 2790 0 2161846 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 8673684 KiB
Current children cumulated memory: 8564688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/265 70037
/proc/meminfo: memFree=96402164/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569284 CPUtime=3034.56 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2206057 0 0 0 297844 5612 0 0 20 0 1 0 61046714 8892936192 2142321 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142321 3744 2790 0 2164552 0
Current children cumulated CPU time: 3034.56 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569284 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 70039
/proc/meminfo: memFree=96403068/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569284 CPUtime=3094.41 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2206432 0 0 0 303828 5613 0 0 20 0 1 0 61046714 8892936192 2142321 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142321 3744 2790 0 2164552 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/263 70041
/proc/meminfo: memFree=96398068/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569284 CPUtime=3154.26 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2206709 0 0 0 309812 5614 0 0 20 0 1 0 61046714 8892936192 2142321 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142321 3744 2790 0 2164552 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/263 70043
/proc/meminfo: memFree=96395344/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569412 CPUtime=3214.1 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2206909 0 0 0 315795 5615 0 0 20 0 1 0 61046714 8892936192 2142353 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142353 3744 2790 0 2164552 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/263 70045
/proc/meminfo: memFree=96394448/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569412 CPUtime=3273.92 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2207586 0 0 0 321775 5617 0 0 20 0 1 0 61046714 8892936192 2142353 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142353 3744 2790 0 2164552 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 70049
/proc/meminfo: memFree=96387196/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569412 CPUtime=3333.77 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2207709 0 0 0 327759 5618 0 0 20 0 1 0 61046714 8892936192 2142353 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142353 3744 2790 0 2164552 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/265 70058
/proc/meminfo: memFree=96383376/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569412 CPUtime=3393.6 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2208022 0 0 0 333741 5619 0 0 20 0 1 0 61046714 8892936192 2142353 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142353 3744 2790 0 2164552 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/265 70059
/proc/meminfo: memFree=96351108/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569540 CPUtime=3453.45 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2208325 0 0 0 339724 5621 0 0 20 0 1 0 61046714 8892936192 2142385 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142385 3744 2790 0 2164552 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/265 70061
/proc/meminfo: memFree=96348848/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569540 CPUtime=3513.3 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2208456 0 0 0 345709 5621 0 0 20 0 1 0 61046714 8892936192 2142385 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142385 3744 2790 0 2164552 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 70063
/proc/meminfo: memFree=96345396/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569540 CPUtime=3573.16 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2208951 0 0 0 351693 5623 0 0 20 0 1 0 61046714 8892936192 2142385 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142385 3744 2790 0 2164552 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.07 4.08 4.04 5/259 70135
/proc/meminfo: memFree=100204248/131249996 swapFree=33010684/33010684
[pid=69846] ppid=69842 vsize=8684508 memory=8569540 CPUtime=3600 cores=5,7
/proc/69846/stat : 69846 (ipbhs_scip) R 69842 69846 69801 0 -1 4194304 2208969 0 0 0 354377 5623 0 0 20 0 1 0 61046714 8892936192 2142385 18446744073709551615 93959292055552 93959303481949 140725433383280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93959305617624 93959305662642 93959325720576 140725433387410 140725433387529 140725433387529 140725433393131 0
/proc/69846/statm: 2171127 2142385 3744 2790 0 2164552 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8684508 KiB
Current children cumulated memory: 8569540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.45 s]
# the end of solver process 69846 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3543.77 s, system=56.481 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.41 s]
/proc/loadavg: 4.07 4.08 4.04 5/255 70135
/proc/meminfo: memFree=103617284/131249996 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): 3609.45
CPU time (s): 3600.25
CPU user time (s): 3543.77
CPU system time (s): 56.481
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 9229856
Max. memory (cumulated for all children) (KiB): 8812560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.77
system time used= 56.481
maximum resident set size= 8931060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2208969
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= 102
involuntary context switches= 2130
# summary of solver processes directly reported to runsolver:
# pid: 69846
# total CPU time (s): 3600.25
# total CPU user time (s): 3543.77
# total CPU system time (s): 56.481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50598 second user time and 15.4301 second system time
The end
Begin job on nodeC024 at 2025-07-02 12:54:48
IDJOB=4504788
IDBENCH=155687
IDSOLVER=3335
FILE ID=nodeC024/4504788-1751453688
RUNJOBID= nodeC024-1751453688-69814
SLURM_JOB_ID= 9598442
Free space on /tmp= 432348 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504788-1751453688/watcher-4504788-1751453688 -o /tmp/evaluation-result-4504788-1751453688/solver-4504788-1751453688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751453688-69814 --watchdog 3760 ./ipbhs_scip HOME/instance-4504788-1751453688.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=5074224
nodeC024 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 : 3601.114
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.36
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.676
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.36
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.689
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.36
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.36
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 : 3700.000
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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.681
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.36
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.650
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121975576 kB
MemAvailable: 129691604 kB
Buffers: 3280 kB
Cached: 8484180 kB
SwapCached: 0 kB
Active: 325608 kB
Inactive: 8225888 kB
Active(anon): 82100 kB
Inactive(anon): 0 kB
Active(file): 243508 kB
Inactive(file): 8225888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 308896 kB
Writeback: 8 kB
AnonPages: 65084 kB
Mapped: 103808 kB
Shmem: 18064 kB
KReclaimable: 171340 kB
Slab: 263232 kB
SReclaimable: 171340 kB
SUnreclaim: 91892 kB
KernelStack: 4032 kB
PageTables: 2804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 337764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 431888 MiB
End job on nodeC024 at 2025-07-02 13:54:58