0.00/0.00 c initialize IPBHS solver
0.00/0.00 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00 c optimizer = "gurobi"
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 enable explicit+compact SCL
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
2.48/2.55 c limit for coefficient in constraints and objective to 1000000000
2.48/2.55 c will solve HOME/instance-4521063-1751536271.opb
2.48/2.55 Searching graph automorphisms with time limit: 99
36.61/36.70 c [34.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 (60161 MiB free)
memory of node 1: 64507 MiB (55456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521063-1751536271/watcher-4521063-1751536271 -o /tmp/evaluation-result-4521063-1751536271/solver-4521063-1751536271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751530924-80966 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4521063-1751536271.opb --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83616, runsolver pid=83613
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.09 5/269 83617
/proc/meminfo: memFree=118382720/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=84504 memory=20508 CPUtime=0.09 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 3920 0 0 0 9 0 0 0 20 0 1 0 69304959 86532096 5127 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 21126 5127 1632 641 0 5883 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84504 KiB
Current children cumulated memory: 20508 KiB
[startup+0.205504 s]*
/proc/loadavg: 4.13 4.12 4.09 5/269 83617
/proc/meminfo: memFree=118372892/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=98996 memory=34968 CPUtime=0.19 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 6782 0 0 0 18 1 0 0 20 0 1 0 69304959 101371904 8742 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 24749 8742 1632 641 0 9506 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98996 KiB
Current children cumulated memory: 34968 KiB
[startup+0.305452 s]*
/proc/loadavg: 4.13 4.12 4.09 5/269 83617
/proc/meminfo: memFree=118365080/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=117948 memory=47652 CPUtime=0.3 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 9455 0 0 0 28 2 0 0 20 0 1 0 69304959 120778752 11913 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 29487 11913 1632 641 0 14244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117948 KiB
Current children cumulated memory: 47652 KiB
[startup+0.700155 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 83617
/proc/meminfo: memFree=118344920/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=150360 memory=89920 CPUtime=0.68 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 16859 0 0 0 50 18 0 0 20 0 1 0 69304959 153968640 22480 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 37590 22480 1728 641 0 22347 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150360 KiB
Current children cumulated memory: 89920 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 83617
/proc/meminfo: memFree=118319216/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=223348 memory=159532 CPUtime=1.48 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 25069 0 0 0 96 52 0 0 20 0 1 0 69304959 228708352 39883 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 55837 39883 1728 641 0 40594 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 223348 KiB
Current children cumulated memory: 159532 KiB
[startup+3.10546 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 83620
/proc/meminfo: memFree=118462560/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=503316 memory=411052 CPUtime=3.08 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 81788 0 0 0 243 65 0 0 20 0 2 0 69304959 515395584 102763 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 125829 102763 2368 641 0 108312 0
[pid=83616/tid=83618] ppid=83613 vsize=503316 memory=198340509722 CPUtime=0 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 69305120 515395584 102763 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 503316 KiB
Current children cumulated memory: 411052 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 83620
/proc/meminfo: memFree=118511804/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=503316 memory=413100 CPUtime=6.27 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 93011 0 0 0 561 66 0 0 20 0 2 0 69304959 515395584 103275 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 125829 103275 2368 641 0 108312 0
[pid=83616/tid=83618] ppid=83613 vsize=503316 memory=412588 CPUtime=0 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 69305120 515395584 103275 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 503316 KiB
Current children cumulated memory: 413100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 83620
/proc/meminfo: memFree=118738968/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=503316 memory=414764 CPUtime=12.66 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 114276 0 0 0 1198 68 0 0 20 0 2 0 69304959 515395584 103691 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 125829 103691 2368 641 0 108312 0
[pid=83616/tid=83618] ppid=83613 vsize=503316 memory=414636 CPUtime=0 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 69305120 515395584 103691 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 503316 KiB
Current children cumulated memory: 414764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 83620
/proc/meminfo: memFree=118840300/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=503316 memory=415148 CPUtime=25.43 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 137049 0 0 0 2473 70 0 0 20 0 2 0 69304959 515395584 103787 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 125829 103787 2368 641 0 108312 0
[pid=83616/tid=83618] ppid=83613 vsize=503316 memory=415020 CPUtime=0 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 69305120 515395584 103787 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 503316 KiB
Current children cumulated memory: 415148 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.10 4.09 5/269 83620
/proc/meminfo: memFree=117476320/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1143668 memory=761840 CPUtime=50.99 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 337874 0 0 0 4964 135 0 0 20 0 2 0 69304959 1171116032 190460 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 285917 190460 3488 641 0 268400 0
[pid=83616/tid=83618] ppid=83613 vsize=1143668 memory=761840 CPUtime=0.01 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 16 0 0 0 0 1 0 0 20 0 2 0 69305120 1171116032 190460 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1143668 KiB
Current children cumulated memory: 761840 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 83622
/proc/meminfo: memFree=117744104/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1538640 memory=858700 CPUtime=102.07 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 596116 0 0 0 10019 188 0 0 20 0 2 0 69304959 1575567360 214675 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 384660 214675 3744 641 0 367143 0
[pid=83616/tid=83618] ppid=83613 vsize=1538640 memory=856652 CPUtime=0.03 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 22 0 0 0 1 2 0 0 20 0 2 0 69305120 1575567360 214675 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 1538640 KiB
Current children cumulated memory: 858700 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 83624
/proc/meminfo: memFree=116864536/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1538640 memory=858700 CPUtime=161.93 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 613974 0 0 0 16002 191 0 0 20 0 2 0 69304959 1575567360 214675 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 384660 214675 3744 641 0 367143 0
[pid=83616/tid=83618] ppid=83613 vsize=1538640 memory=858700 CPUtime=0.06 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 22 0 0 0 2 4 0 0 20 0 2 0 69305120 1575567360 214675 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 1538640 KiB
Current children cumulated memory: 858700 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 83626
/proc/meminfo: memFree=116879744/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1538640 memory=860792 CPUtime=221.79 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 627703 0 0 0 21986 193 0 0 20 0 2 0 69304959 1575567360 215198 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 384660 215198 3744 641 0 367143 0
[pid=83616/tid=83618] ppid=83613 vsize=1538640 memory=16448 CPUtime=0.09 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 22 0 0 0 3 6 0 0 20 0 2 0 69305120 1575567360 215198 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 1538640 KiB
Current children cumulated memory: 860792 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 83628
/proc/meminfo: memFree=117703988/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1538640 memory=861304 CPUtime=281.66 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 627844 0 0 0 27971 195 0 0 20 0 2 0 69304959 1575567360 215326 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 384660 215326 3744 641 0 367143 0
[pid=83616/tid=83618] ppid=83613 vsize=1538640 memory=860920 CPUtime=0.11 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 22 0 0 0 4 7 0 0 20 0 2 0 69305120 1575567360 215326 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 1538640 KiB
Current children cumulated memory: 861304 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 83631
/proc/meminfo: memFree=116911292/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1538640 memory=863556 CPUtime=341.51 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 642560 0 0 0 33953 198 0 0 20 0 2 0 69304959 1575567360 215889 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 384660 215889 3744 641 0 367143 0
[pid=83616/tid=83618] ppid=83613 vsize=1538640 memory=863556 CPUtime=0.15 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 24 0 0 0 6 9 0 0 20 0 2 0 69305120 1575567360 215889 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 341.51 s
################
# More data... #
################
/proc/meminfo: memFree=124682260/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3034.68 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1343629 0 8 0 303079 389 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=16448 CPUtime=1.54 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 69 0 0 0 54 100 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 84334
/proc/meminfo: memFree=124682172/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3094.52 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1343663 0 8 0 309059 393 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.58 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 69 0 0 0 55 103 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 84336
/proc/meminfo: memFree=124682276/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3154.37 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1357689 0 8 0 315040 397 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.62 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 73 0 0 0 57 105 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 84338
/proc/meminfo: memFree=124686576/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3214.22 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1359664 0 8 0 321022 400 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.65 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 73 0 0 0 58 107 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/267 84341
/proc/meminfo: memFree=124662304/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3274.06 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1373235 0 8 0 327000 406 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.68 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 74 0 0 0 58 110 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/267 84343
/proc/meminfo: memFree=124668812/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3333.91 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1375208 0 8 0 332980 411 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.71 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 74 0 0 0 59 112 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/267 84345
/proc/meminfo: memFree=124653328/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3393.75 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1388701 0 8 0 338959 416 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.74 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 74 0 0 0 60 114 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/267 84347
/proc/meminfo: memFree=124699720/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3453.61 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1390781 0 8 0 344940 421 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.78 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 75 0 0 0 62 116 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/268 84352
/proc/meminfo: memFree=124686072/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3513.46 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1404396 0 8 0 350920 426 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.82 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 77 0 0 0 63 119 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/269 84360
/proc/meminfo: memFree=124699108/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3573.32 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1405865 0 8 0 356902 430 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=16448 CPUtime=1.86 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 79 0 0 0 64 122 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 84361
/proc/meminfo: memFree=124678192/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3600.05 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1405877 0 8 0 359574 431 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.86 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 79 0 0 0 64 122 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.13 s]
# the end of solver process 83616 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3595.75 s, system=4.34049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 84361
/proc/meminfo: memFree=124678192/131250000 swapFree=33010416/33010684
[pid=83616] ppid=83613 vsize=1802544 memory=917628 CPUtime=3600.05 cores=4,6
/proc/83616/stat : 83616 (ipbhs_gurobi) R 83613 83616 80955 0 -1 4194304 1405877 0 8 0 359574 431 0 0 20 0 2 0 69304959 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
/proc/83616/statm: 450636 229407 3872 641 0 433119 0
[pid=83616/tid=83618] ppid=83613 vsize=1802544 memory=917628 CPUtime=1.86 cores=4,6
/proc/83616/task/83618/stat : 83618 (ipbhs_gurobi) S 83613 83616 80955 0 -1 4194368 79 0 0 0 64 122 0 0 20 0 2 0 69305120 1845805056 229407 18446744073709551615 94104997683200 94105000308253 140736314938336 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94105000927128 94105000960090 94105012867072 140736314943883 140736314944007 140736314944007 140736314949609 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1802544 KiB
Current children cumulated memory: 917628 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.13
CPU time (s): 3600.09
CPU user time (s): 3595.75
CPU system time (s): 4.34049
CPU usage (%): 99.7495
Max. virtual memory (cumulated for all children) (KiB): 2017336
Max. memory (cumulated for all children) (KiB): 1038364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.34049
maximum resident set size= 1038364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405877
page faults= 8
swaps= 0
block input operations= 1080
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358797
involuntary context switches= 1804
# summary of solver processes directly reported to runsolver:
# pid: 83616
# total CPU time (s): 3600.09
# total CPU user time (s): 3595.75
# total CPU system time (s): 4.34049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7582 second user time and 16.0919 second system time
The end
Begin job on nodeC018 at 2025-07-03 11:51:11
IDJOB=4521063
IDBENCH=178219
IDSOLVER=3334
FILE ID=nodeC018/4521063-1751536271
RUNJOBID= nodeC018-1751530924-80966
SLURM_JOB_ID= 9598674
Free space on /tmp= 432748 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521063-1751536271/watcher-4521063-1751536271 -o /tmp/evaluation-result-4521063-1751536271/solver-4521063-1751536271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751530924-80966 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4521063-1751536271.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=444039511
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
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.66
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.820
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.66
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.645
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.66
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 : 3631.698
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.66
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.66
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.839
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.66
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.816
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.66
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 : 3700.000
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 118392848 kB
MemAvailable: 118792188 kB
Buffers: 2128 kB
Cached: 1164192 kB
SwapCached: 32 kB
Active: 11298412 kB
Inactive: 691908 kB
Active(anon): 10841756 kB
Inactive(anon): 288 kB
Active(file): 456656 kB
Inactive(file): 691620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 73036 kB
Writeback: 24 kB
AnonPages: 10773492 kB
Mapped: 120464 kB
Shmem: 18044 kB
KReclaimable: 180204 kB
Slab: 270756 kB
SReclaimable: 180204 kB
SUnreclaim: 90552 kB
KernelStack: 4332 kB
PageTables: 24388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 19707148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7378944 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC018 at 2025-07-03 12:51:20