0.00/0.01 c initialize IPBHS solver
0.00/0.01 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.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.68/0.78 c limit for coefficient in constraints and objective to 1000000000
0.68/0.78 c will solve HOME/instance-4523822-1751603196.opb
0.68/0.78 c [0] 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: 63837 MiB (62909 MiB free)
memory of node 1: 64465 MiB (62184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523822-1751603196/watcher-4523822-1751603196 -o /tmp/evaluation-result-4523822-1751603196/solver-4523822-1751603196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751599585-88079 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4523822-1751603196.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=89053, runsolver pid=89050
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.17 4.24 4.16 5/253 89054
/proc/meminfo: memFree=127924852/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1589152 memory=291796 CPUtime=0.1 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 993 0 0 0 3 7 0 0 20 0 1 0 75998777 1627291648 72949 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 397288 72949 1632 641 0 382045 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 1589152 KiB
Current children cumulated memory: 291796 KiB
[startup+0.213541 s]*
/proc/loadavg: 4.17 4.24 4.16 5/253 89054
/proc/meminfo: memFree=127588980/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1589152 memory=629716 CPUtime=0.21 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 1158 0 0 0 6 15 0 0 20 0 1 0 75998777 1627291648 157429 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 397288 157429 1632 641 0 382045 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 1589152 KiB
Current children cumulated memory: 629716 KiB
[startup+0.313687 s]*
/proc/loadavg: 4.17 4.24 4.16 5/253 89054
/proc/meminfo: memFree=127240820/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1589152 memory=979924 CPUtime=0.31 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 1329 0 0 0 8 23 0 0 20 0 1 0 75998777 1627291648 244981 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 397288 244981 1632 641 0 382045 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 1589152 KiB
Current children cumulated memory: 979924 KiB
[startup+0.700307 s]
/proc/loadavg: 4.17 4.24 4.16 5/253 89054
/proc/meminfo: memFree=126637892/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1601256 memory=1543660 CPUtime=0.68 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 5204 0 0 0 32 36 0 0 20 0 1 0 75998777 1639686144 385915 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 400314 385915 1760 641 0 385071 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1601256 KiB
Current children cumulated memory: 1543660 KiB
[startup+1.50035 s]
/proc/loadavg: 4.17 4.24 4.16 4/249 89063
/proc/meminfo: memFree=126621980/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1628488 memory=1564280 CPUtime=1.48 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 8006 0 0 0 110 38 0 0 20 0 2 0 75998777 1667571712 391070 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 407122 391070 3296 641 0 389605 0
[pid=89053/tid=89063] ppid=89050 vsize=1628488 memory=0 CPUtime=0 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 75998855 1667571712 391070 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1628488 KiB
Current children cumulated memory: 1564280 KiB
[startup+3.11287 s]
/proc/loadavg: 4.17 4.24 4.16 5/250 89090
/proc/meminfo: memFree=126660400/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1631604 memory=1565688 CPUtime=3.09 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 11330 0 0 0 268 41 0 0 20 0 2 0 75998777 1670762496 391422 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 407901 391422 3296 641 0 390384 0
[pid=89053/tid=89063] ppid=89050 vsize=1631604 memory=1564408 CPUtime=0 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 75998855 1670762496 391422 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1631604 KiB
Current children cumulated memory: 1565688 KiB
[startup+6.3003 s]
/proc/loadavg: 4.15 4.23 4.15 5/253 89100
/proc/meminfo: memFree=126422384/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1636292 memory=1568632 CPUtime=6.28 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 18246 0 0 0 585 43 0 0 20 0 2 0 75998777 1675563008 392158 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 409073 392158 3296 641 0 391556 0
[pid=89053/tid=89063] ppid=89050 vsize=1636292 memory=1564408 CPUtime=0 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 75998855 1675563008 392158 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1636292 KiB
Current children cumulated memory: 1568632 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.23 4.15 5/253 89100
/proc/meminfo: memFree=125549224/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1636568 memory=1571240 CPUtime=12.66 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 28764 0 0 0 1220 46 0 0 20 0 2 0 75998777 1675845632 392810 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 409142 392810 3296 641 0 391625 0
[pid=89053/tid=89063] ppid=89050 vsize=1636568 memory=1571240 CPUtime=0 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 75998855 1675845632 392810 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1636568 KiB
Current children cumulated memory: 1571240 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.23 4.16 5/254 89147
/proc/meminfo: memFree=124365408/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1646184 memory=1575336 CPUtime=25.44 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 39799 0 0 0 2485 59 0 0 20 0 2 0 75998777 1685692416 393834 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 411546 393834 3296 641 0 394029 0
[pid=89053/tid=89063] ppid=89050 vsize=1646184 memory=1574952 CPUtime=0.02 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 12 0 0 0 1 1 0 0 20 0 2 0 75998855 1685692416 393834 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1646184 KiB
Current children cumulated memory: 1575336 KiB
[startup+51.1129 s]
/proc/loadavg: 4.25 4.25 4.16 5/254 89148
/proc/meminfo: memFree=124125048/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1649456 memory=1581040 CPUtime=51 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 44804 0 0 0 5012 88 0 0 20 0 2 0 75998777 1689042944 395260 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 412364 395260 3296 641 0 394847 0
[pid=89053/tid=89063] ppid=89050 vsize=1649456 memory=18560 CPUtime=0.05 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 13 0 0 0 2 3 0 0 20 0 2 0 75998855 1689042944 395260 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1649456 KiB
Current children cumulated memory: 1581040 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.22 4.16 5/254 89150
/proc/meminfo: memFree=124120704/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1664392 memory=1590464 CPUtime=102.11 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 46188 0 0 0 10080 131 0 0 20 0 2 0 75998777 1704337408 397616 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 416098 397616 3296 641 0 398581 0
[pid=89053/tid=89063] ppid=89050 vsize=1664392 memory=14080 CPUtime=0.11 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 13 0 0 0 4 7 0 0 20 0 2 0 75998855 1704337408 397616 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 1664392 KiB
Current children cumulated memory: 1590464 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/253 89152
/proc/meminfo: memFree=124102820/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1668672 memory=1600444 CPUtime=162.01 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 47780 0 0 0 16027 174 0 0 20 0 2 0 75998777 1708720128 400111 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 417168 400111 3296 641 0 399651 0
[pid=89053/tid=89063] ppid=89050 vsize=1668672 memory=1600444 CPUtime=0.18 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 14 0 0 0 6 12 0 0 20 0 2 0 75998855 1708720128 400111 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 1668672 KiB
Current children cumulated memory: 1600444 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.17 4.15 6/253 89153
/proc/meminfo: memFree=124110652/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1669800 memory=1601468 CPUtime=221.95 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 48116 0 0 0 21970 225 0 0 20 0 2 0 75998777 1709875200 400367 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 417450 400367 3296 641 0 399933 0
[pid=89053/tid=89063] ppid=89050 vsize=1669800 memory=1601340 CPUtime=0.25 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 15 0 0 0 8 17 0 0 20 0 2 0 75998855 1709875200 400367 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 221.95 s
Current children cumulated vsize: 1669800 KiB
Current children cumulated memory: 1601468 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/254 89161
/proc/meminfo: memFree=124102304/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1670900 memory=1604576 CPUtime=281.88 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 48430 0 0 0 27935 253 0 0 20 0 2 0 75998777 1711001600 401144 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 417725 401144 3296 641 0 400208 0
[pid=89053/tid=89063] ppid=89050 vsize=1670900 memory=1604576 CPUtime=0.32 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 15 0 0 0 10 22 0 0 20 0 2 0 75998855 1711001600 401144 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 281.88 s
Current children cumulated vsize: 1670900 KiB
Current children cumulated memory: 1604576 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/254 89163
/proc/meminfo: memFree=124094256/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1672824 memory=1606240 CPUtime=341.81 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 50475 0 0 0 33872 309 0 0 20 0 2 0 75998777 1712971776 401560 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 418206 401560 3296 641 0 400689 0
[pid=89053/tid=89063] ppid=89050 vsize=1672824 memory=1604832 CPUtime=0.39 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=123916844/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1742940 memory=1663376 CPUtime=3038.11 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 247816 0 0 0 301797 2014 0 0 20 0 2 0 75998777 1784770560 415844 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 435735 415844 3296 641 0 418218 0
[pid=89053/tid=89063] ppid=89050 vsize=1742940 memory=1663120 CPUtime=4.09 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 48 0 0 0 127 282 0 0 20 0 2 0 75998855 1784770560 415844 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3038.11 s
Current children cumulated vsize: 1742940 KiB
Current children cumulated memory: 1663376 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 89349
/proc/meminfo: memFree=123851216/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1743264 memory=1663760 CPUtime=3098.03 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 253642 0 0 0 307751 2052 0 0 20 0 2 0 75998777 1785102336 415940 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 435816 415940 3296 641 0 418299 0
[pid=89053/tid=89063] ppid=89050 vsize=1743264 memory=14080 CPUtime=4.17 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 48 0 0 0 129 288 0 0 20 0 2 0 75998855 1785102336 415940 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3098.03 s
Current children cumulated vsize: 1743264 KiB
Current children cumulated memory: 1663760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/254 89351
/proc/meminfo: memFree=123843048/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1743264 memory=1663760 CPUtime=3157.94 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 258655 0 0 0 313709 2085 0 0 20 0 2 0 75998777 1785102336 415940 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 435816 415940 3296 641 0 418299 0
[pid=89053/tid=89063] ppid=89050 vsize=1743264 memory=14080 CPUtime=4.25 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 48 0 0 0 131 294 0 0 20 0 2 0 75998855 1785102336 415940 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3157.94 s
Current children cumulated vsize: 1743264 KiB
Current children cumulated memory: 1663760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/254 89353
/proc/meminfo: memFree=123809012/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1743396 memory=1663888 CPUtime=3217.86 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 263388 0 0 0 319667 2119 0 0 20 0 2 0 75998777 1785237504 415972 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 435849 415972 3296 641 0 418332 0
[pid=89053/tid=89063] ppid=89050 vsize=1743396 memory=1663888 CPUtime=4.33 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 49 0 0 0 133 300 0 0 20 0 2 0 75998855 1785237504 415972 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3217.86 s
Current children cumulated vsize: 1743396 KiB
Current children cumulated memory: 1663888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 89355
/proc/meminfo: memFree=123758368/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1743656 memory=1664272 CPUtime=3277.78 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 272269 0 0 0 325631 2147 0 0 20 0 2 0 75998777 1785503744 416068 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 435914 416068 3296 641 0 418397 0
[pid=89053/tid=89063] ppid=89050 vsize=1743656 memory=1664272 CPUtime=4.42 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 50 0 0 0 136 306 0 0 20 0 2 0 75998855 1785503744 416068 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3277.78 s
Current children cumulated vsize: 1743656 KiB
Current children cumulated memory: 1664272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 89362
/proc/meminfo: memFree=123740536/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1743656 memory=1665552 CPUtime=3337.67 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 277058 0 0 0 331592 2175 0 0 20 0 2 0 75998777 1785503744 416388 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 435914 416388 3296 641 0 418397 0
[pid=89053/tid=89063] ppid=89050 vsize=1743656 memory=1664784 CPUtime=4.5 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 52 0 0 0 139 311 0 0 20 0 2 0 75998855 1785503744 416388 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3337.67 s
Current children cumulated vsize: 1743656 KiB
Current children cumulated memory: 1665552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 89364
/proc/meminfo: memFree=123735008/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1744044 memory=1665808 CPUtime=3397.62 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 277503 0 0 0 337560 2202 0 0 20 0 2 0 75998777 1785901056 416452 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 436011 416452 3296 641 0 418494 0
[pid=89053/tid=89063] ppid=89050 vsize=1744044 memory=1665808 CPUtime=4.58 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 52 0 0 0 141 317 0 0 20 0 2 0 75998855 1785901056 416452 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3397.62 s
Current children cumulated vsize: 1744044 KiB
Current children cumulated memory: 1665808 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 89367
/proc/meminfo: memFree=123727020/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1744044 memory=1678120 CPUtime=3457.57 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 279670 0 0 0 343535 2222 0 0 20 0 2 0 75998777 1785901056 419530 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 436011 419530 3296 641 0 418494 0
[pid=89053/tid=89063] ppid=89050 vsize=1744044 memory=1665808 CPUtime=4.65 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 53 0 0 0 143 322 0 0 20 0 2 0 75998855 1785901056 419530 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3457.57 s
Current children cumulated vsize: 1744044 KiB
Current children cumulated memory: 1678120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 89372
/proc/meminfo: memFree=123723256/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1744044 memory=1678120 CPUtime=3517.51 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 281114 0 0 0 349514 2237 0 0 20 0 2 0 75998777 1785901056 419530 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 436011 419530 3296 641 0 418494 0
[pid=89053/tid=89063] ppid=89050 vsize=1744044 memory=1678120 CPUtime=4.73 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 55 0 0 0 145 328 0 0 20 0 2 0 75998855 1785901056 419530 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3517.51 s
Current children cumulated vsize: 1744044 KiB
Current children cumulated memory: 1678120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 89374
/proc/meminfo: memFree=123705564/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1794132 memory=1701856 CPUtime=3577.44 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 282826 0 0 0 355489 2255 0 0 20 0 2 0 75998777 1837191168 425464 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 448533 425464 3296 641 0 431016 0
[pid=89053/tid=89063] ppid=89050 vsize=1794132 memory=14080 CPUtime=4.81 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 56 0 0 0 148 333 0 0 20 0 2 0 75998855 1837191168 425464 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3577.44 s
Current children cumulated vsize: 1794132 KiB
Current children cumulated memory: 1701856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.9 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 89375
/proc/meminfo: memFree=123706572/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1796380 memory=1705108 CPUtime=3600.01 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 284077 0 0 0 357733 2268 0 0 20 0 2 0 75998777 1839493120 426277 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 449095 426277 3328 641 0 431578 0
[pid=89053/tid=89063] ppid=89050 vsize=1796380 memory=1701856 CPUtime=4.83 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 58 0 0 0 148 335 0 0 20 0 2 0 75998855 1839493120 426277 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1796380 KiB
Current children cumulated memory: 1705108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.91 s]
# the end of solver process 89053 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3577.34 s, system=22.6921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3604.9 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 89375
/proc/meminfo: memFree=123706572/131382116 swapFree=33009904/33010684
[pid=89053] ppid=89050 vsize=1796380 memory=1705108 CPUtime=3600.01 cores=4,6
/proc/89053/stat : 89053 (ipbhs_gurobi) R 89050 89053 88068 0 -1 4194304 284077 0 0 0 357733 2268 0 0 20 0 2 0 75998777 1839493120 426277 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
/proc/89053/statm: 449095 426277 3328 641 0 431578 0
[pid=89053/tid=89063] ppid=89050 vsize=1796380 memory=1701856 CPUtime=4.83 cores=4,6
/proc/89053/task/89063/stat : 89063 (ipbhs_gurobi) S 89050 89053 88068 0 -1 4194368 58 0 0 0 148 335 0 0 20 0 2 0 75998855 1839493120 426277 18446744073709551615 94671210500096 94671213125149 140722837399984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94671213744024 94671213776986 94671224172544 140722837408159 140722837408263 140722837408263 140722837413865 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1796380 KiB
Current children cumulated memory: 1705108 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3604.91
CPU time (s): 3600.03
CPU user time (s): 3577.34
CPU system time (s): 22.6921
CPU usage (%): 99.8647
Max. virtual memory (cumulated for all children) (KiB): 1796380
Max. memory (cumulated for all children) (KiB): 1705108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.34
system time used= 22.6921
maximum resident set size= 1705108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284077
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= 357052
involuntary context switches= 3142
# summary of solver processes directly reported to runsolver:
# pid: 89053
# total CPU time (s): 3600.03
# total CPU user time (s): 3577.34
# total CPU system time (s): 22.6921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3745 second user time and 35.5011 second system time
The end
Begin job on nodeC004 at 2025-07-04 06:26:36
IDJOB=4523822
IDBENCH=180376
IDSOLVER=3333
FILE ID=nodeC004/4523822-1751603196
RUNJOBID= nodeC004-1751599585-88079
SLURM_JOB_ID= 9598874
Free space on /tmp= 431492 MiB
SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523822-1751603196/watcher-4523822-1751603196 -o /tmp/evaluation-result-4523822-1751603196/solver-4523822-1751603196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751599585-88079 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4523822-1751603196.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e
RANDOM SEED=1079357524
nodeC004 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 : 3662.890
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 : 6983.74
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 : 3491.834
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 : 6983.74
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.523
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 : 6983.74
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 : 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 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 : 6983.74
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.123
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 : 6983.74
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 : 3491.862
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 : 6983.74
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.388
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 : 6983.74
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.381
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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128097200 kB
MemAvailable: 129183828 kB
Buffers: 2128 kB
Cached: 1835556 kB
SwapCached: 32 kB
Active: 1304696 kB
Inactive: 1241196 kB
Active(anon): 715412 kB
Inactive(anon): 10736 kB
Active(file): 589284 kB
Inactive(file): 1230460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 187044 kB
Writeback: 0 kB
AnonPages: 711300 kB
Mapped: 117536 kB
Shmem: 17932 kB
KReclaimable: 213020 kB
Slab: 299660 kB
SReclaimable: 213020 kB
SUnreclaim: 86640 kB
KernelStack: 4080 kB
PageTables: 4564 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1081736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431380 MiB
End job on nodeC004 at 2025-07-04 07:26:41