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
3.67/3.77 c limit for coefficient in constraints and objective to 1000000000
3.67/3.77 c will solve HOME/instance-4506120-1751500560.opb
3.67/3.77 c [0.31] 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 (62636 MiB free)
memory of node 1: 64465 MiB (63604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506120-1751500560/watcher-4506120-1751500560 -o /tmp/evaluation-result-4506120-1751500560/solver-4506120-1751500560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751500560-72369 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4506120-1751500560.opb --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72420, runsolver pid=72416
[startup+0.100078 s]*
/proc/loadavg: 1.71 2.73 3.50 6/251 72425
/proc/meminfo: memFree=128826568/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=85616 memory=22228 CPUtime=0.1 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 4572 0 0 0 9 1 0 0 20 0 1 0 65735502 87670784 5525 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 21404 5525 1664 641 0 6161 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 85616 KiB
Current children cumulated memory: 22228 KiB
[startup+0.21391 s]*
/proc/loadavg: 1.71 2.73 3.50 5/251 72425
/proc/meminfo: memFree=128255716/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=99960 memory=35544 CPUtime=0.21 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 6914 0 0 0 19 2 0 0 20 0 1 0 65735502 102359040 8886 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 24990 8886 1664 641 0 9747 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 99960 KiB
Current children cumulated memory: 35544 KiB
[startup+0.314044 s]*
/proc/loadavg: 1.71 2.73 3.50 5/251 72425
/proc/meminfo: memFree=127897352/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=120924 memory=52704 CPUtime=0.31 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 9158 0 0 0 28 3 0 0 20 0 1 0 65735502 123826176 13176 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 30231 13176 1664 641 0 14988 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 120924 KiB
Current children cumulated memory: 52704 KiB
[startup+0.700336 s]
/proc/loadavg: 1.71 2.73 3.50 5/251 72425
/proc/meminfo: memFree=127381012/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=144636 memory=76300 CPUtime=0.68 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 14021 0 0 0 64 4 0 0 20 0 1 0 65735502 148107264 19075 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 36159 19075 1664 641 0 20916 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144636 KiB
Current children cumulated memory: 76300 KiB
[startup+1.50031 s]
/proc/loadavg: 1.71 2.73 3.50 5/251 72425
/proc/meminfo: memFree=127149156/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=237296 memory=163680 CPUtime=1.48 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 24555 0 0 0 138 10 0 0 20 0 1 0 65735502 242991104 40920 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 59324 40920 1760 641 0 44081 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 237296 KiB
Current children cumulated memory: 163680 KiB
[startup+3.11276 s]
/proc/loadavg: 1.89 2.75 3.51 5/251 72425
/proc/meminfo: memFree=126200424/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=438928 memory=344764 CPUtime=3.08 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 44316 0 0 0 246 62 0 0 20 0 1 0 65735502 449462272 86191 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 109732 86191 1760 641 0 94489 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 438928 KiB
Current children cumulated memory: 344764 KiB
[startup+6.30027 s]
/proc/loadavg: 1.89 2.75 3.51 5/255 72429
/proc/meminfo: memFree=125515560/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=634048 memory=524856 CPUtime=6.27 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 75787 0 0 0 556 71 0 0 20 0 2 0 65735502 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 158512 131214 2336 641 0 140995 0
[pid=72420/tid=72426] ppid=72416 vsize=634048 memory=19072 CPUtime=0 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 65735844 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 634048 KiB
Current children cumulated memory: 524856 KiB
[startup+12.7003 s]
/proc/loadavg: 2.22 2.79 3.51 5/255 72429
/proc/meminfo: memFree=125515616/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=634048 memory=524856 CPUtime=12.66 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 77909 0 0 0 1194 72 0 0 20 0 2 0 65735502 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 158512 131214 2336 641 0 140995 0
[pid=72420/tid=72426] ppid=72416 vsize=634048 memory=524856 CPUtime=0 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 65735844 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 634048 KiB
Current children cumulated memory: 524856 KiB
[startup+25.5003 s]
/proc/loadavg: 2.57 2.85 3.52 5/255 72429
/proc/meminfo: memFree=125089728/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=634048 memory=524856 CPUtime=25.43 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 80034 0 0 0 2470 73 0 0 20 0 2 0 65735502 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 158512 131214 2336 641 0 140995 0
[pid=72420/tid=72426] ppid=72416 vsize=634048 memory=179720 CPUtime=0.01 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 9 0 0 0 0 1 0 0 20 0 2 0 65735844 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 634048 KiB
Current children cumulated memory: 524856 KiB
[startup+51.1127 s]
/proc/loadavg: 3.12 2.96 3.54 5/256 72432
/proc/meminfo: memFree=125080128/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=634048 memory=524856 CPUtime=51.02 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 80040 0 0 0 5026 76 0 0 20 0 2 0 65735502 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 158512 131214 2336 641 0 140995 0
[pid=72420/tid=72426] ppid=72416 vsize=634048 memory=524856 CPUtime=0.04 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 10 0 0 0 1 3 0 0 20 0 2 0 65735844 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 634048 KiB
Current children cumulated memory: 524856 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 3.15 3.58 5/258 72436
/proc/meminfo: memFree=124881400/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=634048 memory=524856 CPUtime=102.14 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 80076 0 0 0 10133 81 0 0 20 0 2 0 65735502 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 158512 131214 2336 641 0 140995 0
[pid=72420/tid=72426] ppid=72416 vsize=634048 memory=14720 CPUtime=0.1 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 11 0 0 0 2 8 0 0 20 0 2 0 65735844 649265152 131214 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 634048 KiB
Current children cumulated memory: 524856 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.32 3.61 5/257 72443
/proc/meminfo: memFree=124459916/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=835936 memory=736356 CPUtime=162.06 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 300683 0 2 0 16050 156 0 0 20 0 2 0 65735502 855998464 184089 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 208984 184089 3456 641 0 191467 0
[pid=72420/tid=72426] ppid=72416 vsize=835936 memory=524856 CPUtime=0.17 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 17 0 0 0 4 13 0 0 20 0 2 0 65735844 855998464 184089 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 162.06 s
Current children cumulated vsize: 835936 KiB
Current children cumulated memory: 736356 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.46 3.64 5/257 72445
/proc/meminfo: memFree=123956252/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=838332 memory=737380 CPUtime=222 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 304279 0 2 0 22036 164 0 0 20 0 2 0 65735502 858451968 184345 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 209583 184345 3456 641 0 192066 0
[pid=72420/tid=72426] ppid=72416 vsize=838332 memory=736356 CPUtime=0.27 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 22 0 0 0 6 21 0 0 20 0 2 0 65735844 858451968 184345 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 222 s
Current children cumulated vsize: 838332 KiB
Current children cumulated memory: 737380 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.58 3.67 5/257 72447
/proc/meminfo: memFree=123862324/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=838332 memory=737380 CPUtime=281.94 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 309325 0 2 0 28021 173 0 0 20 0 2 0 65735502 858451968 184345 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 209583 184345 3456 641 0 192066 0
[pid=72420/tid=72426] ppid=72416 vsize=838332 memory=737380 CPUtime=0.39 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 25 0 0 0 11 28 0 0 20 0 2 0 65735844 858451968 184345 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 281.94 s
Current children cumulated vsize: 838332 KiB
Current children cumulated memory: 737380 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.67 3.70 5/257 72464
/proc/meminfo: memFree=123544928/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=838332 memory=737380 CPUtime=341.88 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 309543 0 2 0 34006 182 0 0 20 0 2 0 65735502 858451968 184345 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 209583 184345 3456 641 0 192066 0
[pid=72420/tid=72426] ppid=72416 vsize=838332 memory=737380 CPUtime=0.49 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 26 0 0 0 15 34 0 0 20 0 2 0 65735844 858451968 184345 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 341.88 s
Current children cumulated vsize: 838332 KiB
################
# More data... #
################
/proc/meminfo: memFree=120443424/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1295848 memory=1186308 CPUtime=2979.35 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 637805 0 2 0 297416 519 0 0 20 0 2 0 65735502 1326948352 296577 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 323962 296577 3456 641 0 306445 0
[pid=72420/tid=72426] ppid=72416 vsize=1295848 memory=1182212 CPUtime=4.39 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 51 0 0 0 126 313 0 0 20 0 2 0 65735844 1326948352 296577 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 2979.35 s
Current children cumulated vsize: 1295848 KiB
Current children cumulated memory: 1186308 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.19 4.20 5/254 72588
/proc/meminfo: memFree=120378540/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1295848 memory=1192452 CPUtime=3039.31 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 662206 0 2 0 303405 526 0 0 20 0 2 0 65735502 1326948352 298113 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 323962 298113 3456 641 0 306445 0
[pid=72420/tid=72426] ppid=72416 vsize=1295848 memory=14720 CPUtime=4.45 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 52 0 0 0 127 318 0 0 20 0 2 0 65735844 1326948352 298113 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3039.31 s
Current children cumulated vsize: 1295848 KiB
Current children cumulated memory: 1192452 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.20 4.20 5/254 72590
/proc/meminfo: memFree=120217448/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1428108 memory=1199748 CPUtime=3099.26 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 662569 0 2 0 309395 531 0 0 20 0 2 0 65735502 1462382592 299937 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 357027 299937 3456 641 0 339510 0
[pid=72420/tid=72426] ppid=72416 vsize=1428108 memory=1198724 CPUtime=4.52 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 52 0 0 0 129 323 0 0 20 0 2 0 65735844 1462382592 299937 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3099.26 s
Current children cumulated vsize: 1428108 KiB
Current children cumulated memory: 1199748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.19 5/253 72596
/proc/meminfo: memFree=120126212/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1430904 memory=1207536 CPUtime=3159.22 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 704315 0 2 0 315382 540 0 0 20 0 2 0 65735502 1465245696 301884 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 357726 301884 3456 641 0 340209 0
[pid=72420/tid=72426] ppid=72416 vsize=1430904 memory=1198724 CPUtime=4.58 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 53 0 0 0 130 328 0 0 20 0 2 0 65735844 1465245696 301884 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3159.22 s
Current children cumulated vsize: 1430904 KiB
Current children cumulated memory: 1207536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/253 72598
/proc/meminfo: memFree=120020964/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1430904 memory=1213684 CPUtime=3219.18 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 775985 0 2 0 321368 550 0 0 20 0 2 0 65735502 1465245696 303421 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 357726 303421 3456 641 0 340209 0
[pid=72420/tid=72426] ppid=72416 vsize=1430904 memory=1198724 CPUtime=4.65 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 55 0 0 0 132 333 0 0 20 0 2 0 65735844 1465245696 303421 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3219.18 s
Current children cumulated vsize: 1430904 KiB
Current children cumulated memory: 1213684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/253 72600
/proc/meminfo: memFree=120016924/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1431876 memory=1220796 CPUtime=3279.14 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 796674 0 2 0 327356 558 0 0 20 0 2 0 65735502 1466241024 305199 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 357969 305199 3456 641 0 340452 0
[pid=72420/tid=72426] ppid=72416 vsize=1431876 memory=1220796 CPUtime=4.71 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 56 0 0 0 134 337 0 0 20 0 2 0 65735844 1466241024 305199 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3279.14 s
Current children cumulated vsize: 1431876 KiB
Current children cumulated memory: 1220796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/253 72601
/proc/meminfo: memFree=120006292/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1431876 memory=1226940 CPUtime=3339.09 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 804863 0 2 0 333344 565 0 0 20 0 2 0 65735502 1466241024 306735 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 357969 306735 3456 641 0 340452 0
[pid=72420/tid=72426] ppid=72416 vsize=1431876 memory=14720 CPUtime=4.78 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 56 0 0 0 135 343 0 0 20 0 2 0 65735844 1466241024 306735 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3339.09 s
Current children cumulated vsize: 1431876 KiB
Current children cumulated memory: 1226940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/253 72603
/proc/meminfo: memFree=119992844/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1431876 memory=1231036 CPUtime=3399.06 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 856777 0 2 0 339333 573 0 0 20 0 2 0 65735502 1466241024 307759 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 357969 307759 3456 641 0 340452 0
[pid=72420/tid=72426] ppid=72416 vsize=1431876 memory=1231036 CPUtime=4.85 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 58 0 0 0 137 348 0 0 20 0 2 0 65735844 1466241024 307759 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3399.06 s
Current children cumulated vsize: 1431876 KiB
Current children cumulated memory: 1231036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/254 72608
/proc/meminfo: memFree=119952764/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1454028 memory=1263428 CPUtime=3459.01 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 929887 0 2 0 345317 584 0 0 20 0 2 0 65735502 1488924672 315857 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 363507 315857 3456 641 0 345990 0
[pid=72420/tid=72426] ppid=72416 vsize=1454028 memory=1231036 CPUtime=4.91 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 60 0 0 0 138 353 0 0 20 0 2 0 65735844 1488924672 315857 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3459.01 s
Current children cumulated vsize: 1454028 KiB
Current children cumulated memory: 1263428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.17 5/254 72610
/proc/meminfo: memFree=119920520/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1470000 memory=1285584 CPUtime=3518.97 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 964887 0 2 0 351305 592 0 0 20 0 2 0 65735502 1505280000 321396 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 367500 321396 3456 641 0 349983 0
[pid=72420/tid=72426] ppid=72416 vsize=1470000 memory=1265484 CPUtime=4.98 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 62 0 0 0 139 359 0 0 20 0 2 0 65735844 1505280000 321396 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3518.97 s
Current children cumulated vsize: 1470000 KiB
Current children cumulated memory: 1285584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/255 72613
/proc/meminfo: memFree=119860396/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1510768 memory=1332456 CPUtime=3578.92 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 1059028 0 2 0 357287 605 0 0 20 0 2 0 65735502 1547026432 333114 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 377692 333114 3456 641 0 360175 0
[pid=72420/tid=72426] ppid=72416 vsize=1510768 memory=1332456 CPUtime=5.05 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 62 0 0 0 140 365 0 0 20 0 2 0 65735844 1547026432 333114 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3578.92 s
Current children cumulated vsize: 1510768 KiB
Current children cumulated memory: 1332456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.4 s]
/proc/loadavg: 4.21 4.15 4.17 5/255 72614
/proc/meminfo: memFree=119844156/131382112 swapFree=33010416/33010684
[pid=72420] ppid=72416 vsize=1510768 memory=1336556 CPUtime=3600.01 cores=5,7
/proc/72420/stat : 72420 (ipbhs_gurobi) R 72416 72420 72356 0 -1 4194304 1059036 0 2 0 359394 607 0 0 20 0 2 0 65735502 1547026432 334139 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
/proc/72420/statm: 377692 334139 3456 641 0 360175 0
[pid=72420/tid=72426] ppid=72416 vsize=1510768 memory=1336556 CPUtime=5.07 cores=5,7
/proc/72420/task/72426/stat : 72426 (ipbhs_gurobi) S 72416 72420 72356 0 -1 4194368 62 0 0 0 141 366 0 0 20 0 2 0 65735844 1547026432 334139 18446744073709551615 94033560346624 94033562971677 140722054741136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94033563590552 94033563623514 94033586876416 140722054744479 140722054744583 140722054744583 140722054750185 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1510768 KiB
Current children cumulated memory: 1336556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.44 s]
# the end of solver process 72420 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3593.95 s, system=6.11064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3603.44
CPU time (s): 3600.06
CPU user time (s): 3593.95
CPU system time (s): 6.11064
CPU usage (%): 99.9063
Max. virtual memory (cumulated for all children) (KiB): 1510768
Max. memory (cumulated for all children) (KiB): 1336556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.95
system time used= 6.11064
maximum resident set size= 1336556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059036
page faults= 2
swaps= 0
block input operations= 256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356434
involuntary context switches= 1925
# summary of solver processes directly reported to runsolver:
# pid: 72420
# total CPU time (s): 3600.06
# total CPU user time (s): 3593.95
# total CPU system time (s): 6.11064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7423 second user time and 33.0189 second system time
The end
Begin job on nodeC005 at 2025-07-03 01:56:01
IDJOB=4506120
IDBENCH=157841
IDSOLVER=3333
FILE ID=nodeC005/4506120-1751500560
RUNJOBID= nodeC005-1751500560-72369
SLURM_JOB_ID= 9598583
Free space on /tmp= 429256 MiB
SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506120-1751500560/watcher-4506120-1751500560 -o /tmp/evaluation-result-4506120-1751500560/solver-4506120-1751500560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751500560-72369 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4506120-1751500560.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b14a0a898e5e623e09f97d156db7ef84
RANDOM SEED=2083621824
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.518
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.90
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 : 1795.891
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.90
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 : 1795.858
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
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.90
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.380
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.90
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 : 1796.087
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.90
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 : 1597.492
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.90
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.301
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129500636 kB
MemAvailable: 129915588 kB
Buffers: 2128 kB
Cached: 1204272 kB
SwapCached: 24 kB
Active: 756064 kB
Inactive: 557860 kB
Active(anon): 122304 kB
Inactive(anon): 3164 kB
Active(file): 633760 kB
Inactive(file): 554696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 354472 kB
Writeback: 0 kB
AnonPages: 110640 kB
Mapped: 107684 kB
Shmem: 17936 kB
KReclaimable: 132248 kB
Slab: 219708 kB
SReclaimable: 132248 kB
SUnreclaim: 87460 kB
KernelStack: 3952 kB
PageTables: 3004 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1932604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429140 MiB
End job on nodeC005 at 2025-07-03 02:56:05