0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4515464-1751236011.opb>
0.08/0.14 c original problem has 22684 variables (22684 bin, 0 int, 0 impl, 0 cont) and 5672 constraints
0.08/0.14 c problem read in 0.12
0.08/0.14 c No objective function, only one solution is needed.
0.20/0.27 c presolving:
0.20/0.32 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.29/0.39 c (0.4s) running MILP presolver
0.39/0.48 c (0.5s) MILP presolver (2 rounds): 0 aggregations, 4 fixings, 0 bound changes
0.49/0.60 c (round 2, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 5546 upgd conss, 0 impls, 0 clqs
0.57/0.65 c (round 3, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 5631 upgd conss, 0 impls, 0 clqs
0.57/0.66 c (round 4, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 5671 upgd conss, 0 impls, 0 clqs
0.85/0.98 c (1.0s) probing: 51/22680 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.85/0.98 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.97/1.02 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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: 63794 MiB (63142 MiB free)
memory of node 1: 64507 MiB (63892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515464-1751236011/watcher-4515464-1751236011 -o /tmp/evaluation-result-4515464-1751236011/solver-4515464-1751236011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751236011-35718 --watchdog 3760 pbscip -f HOME/instance-4515464-1751236011.opb -t 3600 -j 2 -m 31000
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
Current StackSize limit: 8192 KiB
solver pid=35772, runsolver pid=35764
[startup+0.100072 s]*
/proc/loadavg: 1.61 2.34 2.84 6/252 35777
/proc/meminfo: memFree=130024672/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=67504 memory=39936 CPUtime=0.08 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 7047 0 0 0 6 2 0 0 20 0 1 0 39280869 69124096 9984 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 16876 9984 3232 3530 0 8327 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67504 KiB
Current children cumulated memory: 39936 KiB
[startup+0.217349 s]*
/proc/loadavg: 1.61 2.34 2.84 7/252 35777
/proc/meminfo: memFree=129953164/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=98604 memory=71936 CPUtime=0.2 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 14841 0 0 0 15 5 0 0 20 0 1 0 39280869 100970496 17984 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 24651 17984 3520 3530 0 16102 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 98604 KiB
Current children cumulated memory: 71936 KiB
[startup+0.314544 s]*
/proc/loadavg: 1.61 2.34 2.84 6/252 35777
/proc/meminfo: memFree=129921164/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=114336 memory=82816 CPUtime=0.29 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 17557 0 0 0 23 6 0 0 20 0 1 0 39280869 117080064 20704 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 28584 20704 3584 3530 0 20035 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114336 KiB
Current children cumulated memory: 82816 KiB
[startup+0.70034 s]
/proc/loadavg: 1.61 2.34 2.84 6/252 35777
/proc/meminfo: memFree=129897224/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=147644 memory=117764 CPUtime=0.66 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 28931 0 0 0 56 10 0 0 20 0 1 0 39280869 151187456 29441 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 36911 29441 3712 3530 0 28362 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 147644 KiB
Current children cumulated memory: 117764 KiB
[startup+1.50028 s]
/proc/loadavg: 1.61 2.34 2.84 5/248 35785
/proc/meminfo: memFree=129828332/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=261624 memory=190340 CPUtime=1.45 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 46109 0 0 0 130 15 0 0 20 0 1 0 39280869 267902976 47585 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 65406 47585 3744 3530 0 56857 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 261624 KiB
Current children cumulated memory: 190340 KiB
[startup+3.11305 s]
/proc/loadavg: 1.61 2.34 2.84 6/248 35818
/proc/meminfo: memFree=129515016/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=392664 memory=321412 CPUtime=3.06 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 78853 0 0 0 282 24 0 0 20 0 1 0 39280869 402087936 80353 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 98166 80353 3744 3530 0 89617 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 392664 KiB
Current children cumulated memory: 321412 KiB
[startup+6.30029 s]
/proc/loadavg: 1.80 2.37 2.85 6/252 35822
/proc/meminfo: memFree=129065472/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=448332 memory=381788 CPUtime=6.24 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 92942 0 0 0 597 27 0 0 20 0 1 0 39280869 459091968 95447 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 112083 95447 3744 3530 0 103534 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 448332 KiB
Current children cumulated memory: 381788 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 2.39 2.86 6/252 35868
/proc/meminfo: memFree=128211468/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=485548 memory=422696 CPUtime=12.62 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 102645 0 0 0 1234 28 0 0 20 0 1 0 39280869 497201152 105674 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 121387 105674 3744 3530 0 112838 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 485548 KiB
Current children cumulated memory: 422696 KiB
[startup+25.5003 s]
/proc/loadavg: 2.43 2.47 2.88 6/252 35868
/proc/meminfo: memFree=127402136/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=531624 memory=468904 CPUtime=25.39 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 114192 0 0 0 2509 30 0 0 20 0 1 0 39280869 544382976 117226 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 132906 117226 3744 3530 0 124357 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 531624 KiB
Current children cumulated memory: 468904 KiB
[startup+51.1133 s]
/proc/loadavg: 2.96 2.60 2.91 6/252 35868
/proc/meminfo: memFree=127073068/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=592768 memory=529832 CPUtime=50.94 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 129435 0 0 0 5061 33 0 0 20 0 1 0 39280869 606994432 132458 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 148192 132458 3744 3530 0 139643 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 592768 KiB
Current children cumulated memory: 529832 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.85 2.98 6/253 35876
/proc/meminfo: memFree=126835656/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637964 memory=575400 CPUtime=101.99 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140821 0 0 0 10165 34 0 0 20 0 1 0 39280869 653275136 143850 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159491 143850 3744 3530 0 150942 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 637964 KiB
Current children cumulated memory: 575400 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 3.08 3.05 6/252 35878
/proc/meminfo: memFree=126877056/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637968 memory=575400 CPUtime=161.84 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140822 0 0 0 16150 34 0 0 20 0 1 0 39280869 653279232 143850 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159492 143850 3744 3530 0 150943 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 637968 KiB
Current children cumulated memory: 575400 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.26 3.12 6/252 35880
/proc/meminfo: memFree=126852100/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637976 memory=575400 CPUtime=221.69 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140824 0 0 0 22134 35 0 0 20 0 1 0 39280869 653287424 143850 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159494 143850 3744 3530 0 150945 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 637976 KiB
Current children cumulated memory: 575400 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.41 3.18 6/253 35885
/proc/meminfo: memFree=126856348/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637980 memory=575400 CPUtime=281.54 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140825 0 0 0 28119 35 0 0 20 0 1 0 39280869 653291520 143850 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159495 143850 3744 3530 0 150946 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 637980 KiB
Current children cumulated memory: 575400 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.54 3.24 6/252 35887
/proc/meminfo: memFree=126863152/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637984 memory=575400 CPUtime=341.38 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140826 0 0 0 34103 35 0 0 20 0 1 0 39280869 653295616 143850 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159496 143850 3744 3530 0 150947 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 637984 KiB
Current children cumulated memory: 575400 KiB
[startup+402.3 s]
/proc/loadavg: 4.69 3.78 3.34 6/251 35889
/proc/meminfo: memFree=126865176/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637988 memory=577960 CPUtime=401.24 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140833 0 0 0 40089 35 0 0 20 0 1 0 39280869 653299712 144490 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159497 144490 3744 3530 0 150948 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 637988 KiB
Current children cumulated memory: 577960 KiB
[startup+462.3 s]
/proc/loadavg: 5.05 4.09 3.48 6/251 35891
/proc/meminfo: memFree=126856816/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=637992 memory=580008 CPUtime=461.11 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 140839 0 0 0 46076 35 0 0 20 0 1 0 39280869 653303808 145002 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159498 145002 3744 3530 0 150949 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
Current children cumulated memory: 586536 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.17 4.10 6/252 36023
/proc/meminfo: memFree=126828484/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638068 memory=586536 CPUtime=2915.23 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141192 0 0 0 291487 36 0 0 20 0 1 0 39280869 653381632 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159517 146634 3744 3530 0 150968 0
Current children cumulated CPU time: 2915.23 s
Current children cumulated vsize: 638068 KiB
Current children cumulated memory: 586536 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.16 4.09 6/251 36025
/proc/meminfo: memFree=126827972/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638072 memory=586536 CPUtime=2975.08 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141193 0 0 0 297472 36 0 0 20 0 1 0 39280869 653385728 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159518 146634 3744 3530 0 150969 0
Current children cumulated CPU time: 2975.08 s
Current children cumulated vsize: 638072 KiB
Current children cumulated memory: 586536 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.17 4.10 6/250 36027
/proc/meminfo: memFree=126827588/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638072 memory=586536 CPUtime=3034.92 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141244 0 0 0 303456 36 0 0 20 0 1 0 39280869 653385728 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159518 146634 3744 3530 0 150969 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 638072 KiB
Current children cumulated memory: 586536 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.09 6/252 36035
/proc/meminfo: memFree=126829684/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638072 memory=586536 CPUtime=3094.77 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141245 0 0 0 309441 36 0 0 20 0 1 0 39280869 653385728 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159518 146634 3744 3530 0 150969 0
Current children cumulated CPU time: 3094.77 s
Current children cumulated vsize: 638072 KiB
Current children cumulated memory: 586536 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.09 6/252 36037
/proc/meminfo: memFree=126829304/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638076 memory=586536 CPUtime=3154.62 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141246 0 0 0 315426 36 0 0 20 0 1 0 39280869 653389824 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159519 146634 3744 3530 0 150970 0
Current children cumulated CPU time: 3154.62 s
Current children cumulated vsize: 638076 KiB
Current children cumulated memory: 586536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/251 36039
/proc/meminfo: memFree=126829908/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638076 memory=586536 CPUtime=3214.47 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141246 0 0 0 321411 36 0 0 20 0 1 0 39280869 653389824 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159519 146634 3744 3530 0 150970 0
Current children cumulated CPU time: 3214.47 s
Current children cumulated vsize: 638076 KiB
Current children cumulated memory: 586536 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/251 36043
/proc/meminfo: memFree=126828652/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638076 memory=586536 CPUtime=3274.32 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141247 0 0 0 327396 36 0 0 20 0 1 0 39280869 653389824 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159519 146634 3744 3530 0 150970 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 638076 KiB
Current children cumulated memory: 586536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/251 36045
/proc/meminfo: memFree=126827532/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638080 memory=586536 CPUtime=3334.16 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141248 0 0 0 333380 36 0 0 20 0 1 0 39280869 653393920 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159520 146634 3744 3530 0 150971 0
Current children cumulated CPU time: 3334.16 s
Current children cumulated vsize: 638080 KiB
Current children cumulated memory: 586536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 36047
/proc/meminfo: memFree=126828180/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638080 memory=586536 CPUtime=3394.01 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141248 0 0 0 339365 36 0 0 20 0 1 0 39280869 653393920 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159520 146634 3744 3530 0 150971 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 638080 KiB
Current children cumulated memory: 586536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.09 6/251 36049
/proc/meminfo: memFree=126826780/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638080 memory=586536 CPUtime=3453.85 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141249 0 0 0 345349 36 0 0 20 0 1 0 39280869 653393920 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159520 146634 3744 3530 0 150971 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 638080 KiB
Current children cumulated memory: 586536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/251 36051
/proc/meminfo: memFree=126829284/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638080 memory=586536 CPUtime=3513.7 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141303 0 0 0 351334 36 0 0 20 0 1 0 39280869 653393920 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159520 146634 3744 3530 0 150971 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 638080 KiB
Current children cumulated memory: 586536 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/251 36053
/proc/meminfo: memFree=126828640/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638084 memory=586536 CPUtime=3573.55 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141304 0 0 0 357319 36 0 0 20 0 1 0 39280869 653398016 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159521 146634 3744 3530 0 150972 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 638084 KiB
Current children cumulated memory: 586536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.10 4.10 4.09 4/247 36061
/proc/meminfo: memFree=127277524/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638084 memory=586536 CPUtime=3600.08 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141305 0 0 0 359972 36 0 0 20 0 1 0 39280869 653398016 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159521 146634 3744 3530 0 150972 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 638084 KiB
Current children cumulated memory: 586536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 35772 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.73 s, system=0.363445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.10 4.10 4.09 4/247 36061
/proc/meminfo: memFree=127277524/131382116 swapFree=33010684/33010684
[pid=35772] ppid=35764 vsize=638084 memory=586536 CPUtime=3600.08 cores=4,6
/proc/35772/stat : 35772 (pbscip) R 35764 35772 31357 0 -1 4194304 141305 0 0 0 359972 36 0 0 20 0 1 0 39280869 653398016 146634 18446744073709551615 4235264 18693293 140733706973056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57061376 140733706975625 140733706975724 140733706975724 140733706981326 0
/proc/35772/statm: 159521 146634 3744 3530 0 150972 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 638084 KiB
Current children cumulated memory: 586536 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.9
CPU time (s): 3600.09
CPU user time (s): 3599.73
CPU system time (s): 0.363445
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 638084
Max. memory (cumulated for all children) (KiB): 586536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.73
system time used= 0.363445
maximum resident set size= 586536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141305
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= 97
involuntary context switches= 1174
# summary of solver processes directly reported to runsolver:
# pid: 35772
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.73
# total CPU system time (s): 0.363445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0029 second user time and 35.3721 second system time
The end
Begin job on nodeC011 at 2025-06-30 00:26:51
IDJOB=4515464
IDBENCH=165259
IDSOLVER=3365
FILE ID=nodeC011/4515464-1751236011
RUNJOBID= nodeC011-1751236011-35718
SLURM_JOB_ID= 9587684
Free space on /tmp= 433052 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515464-1751236011/watcher-4515464-1751236011 -o /tmp/evaluation-result-4515464-1751236011/solver-4515464-1751236011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751236011-35718 --watchdog 3760 pbscip -f HOME/instance-4515464-1751236011.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8532f997584288657d51f2d7727e9fb5
RANDOM SEED=2107041022
nodeC011 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 : 0xb00001f
cpu MHz : 1197.273
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.303
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.277
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.274
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.793
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.267
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.291
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.322
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130061200 kB
MemAvailable: 129925240 kB
Buffers: 3280 kB
Cached: 673532 kB
SwapCached: 0 kB
Active: 369676 kB
Inactive: 374676 kB
Active(anon): 85500 kB
Inactive(anon): 0 kB
Active(file): 284176 kB
Inactive(file): 374676 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 75700 kB
Writeback: 32 kB
AnonPages: 70704 kB
Mapped: 101940 kB
Shmem: 17960 kB
KReclaimable: 89244 kB
Slab: 169320 kB
SReclaimable: 89244 kB
SUnreclaim: 80076 kB
KernelStack: 3820 kB
PageTables: 2580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 335960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC011 at 2025-06-30 01:27:01