0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
2.27/2.37 c [STEP] preprocessing with Papilo
5.77/5.86 c [STEP] solving with SCIP
309.29/310.12 c [STEP] preprocessing done, loading into solver
309.89/310.71 c [STEP] solving
309.89/310.71 c #variables 227846 #constraints 229003
309.89/310.71 c SMALL=int, LARGE=long long
309.89/310.72 d SCIPUB 85145318
309.89/310.72 c bounds - >= -85145317 @ 308.711
309.89/310.72 c stratification level: 287
484.12/485.44 c bounds - >= -766787 @ 410.068
484.12/485.44 c bounds - >= -766287 @ 410.539
484.12/485.44 c bounds - >= -765787 @ 410.561
484.12/485.44 c bounds - >= -765287 @ 410.581
484.12/485.44 c bounds - >= -764787 @ 410.601
484.12/485.44 c bounds - >= -763787 @ 410.623
484.12/485.44 c bounds - >= -763287 @ 410.659
484.12/485.44 c bounds - >= -762787 @ 410.708
484.12/485.44 c bounds - >= -762287 @ 410.73
484.12/485.44 c bounds - >= -761787 @ 410.764
484.12/485.44 c bounds - >= -761287 @ 410.794
484.12/485.44 c bounds - >= -760787 @ 410.83
484.12/485.44 c bounds - >= -760287 @ 410.854
484.12/485.44 c bounds - >= -759787 @ 410.881
484.12/485.44 c bounds - >= -759287 @ 410.918
484.12/485.44 c bounds - >= -758787 @ 410.95
484.12/485.44 c bounds - >= -758287 @ 410.995
484.12/485.44 c bounds - >= -757787 @ 411.038
484.12/485.44 c bounds - >= -757287 @ 411.066
484.12/485.44 c bounds - >= -756787 @ 411.111
484.12/485.44 c bounds - >= -756287 @ 411.14
484.12/485.44 c bounds - >= -755787 @ 411.247
484.12/485.44 c bounds - >= -755287 @ 411.318
484.12/485.44 c bounds - >= -754787 @ 411.492
484.12/485.44 c bounds - >= -754287 @ 411.54
484.12/485.44 c bounds - >= -753787 @ 411.588
484.12/485.44 c bounds - >= -753287 @ 411.706
484.12/485.44 c bounds - >= -752787 @ 411.861
484.12/485.44 c bounds - >= -752287 @ 411.923
484.12/485.44 c #Conflicts: 1000 | #Constraints: 232919
484.12/485.44 c bounds - >= -751787 @ 413.025
484.12/485.44 c bounds - >= -751287 @ 413.213
484.12/485.44 c bounds - >= -750787 @ 413.283
484.12/485.44 c bounds - >= -750287 @ 413.719
484.12/485.44 c #Conflicts: 2000 | #Constraints: 233923
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c bounds - >= -749787 @ 414.64
484.12/485.44 c bounds - >= -749287 @ 415.384
484.12/485.44 c #Conflicts: 3000 | #Constraints: 231174
484.12/485.44 c #Conflicts: 4000 | #Constraints: 232174
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c bounds - >= -748787 @ 417.846
484.12/485.44 c bounds - >= -748287 @ 418.275
484.12/485.44 c #Conflicts: 5000 | #Constraints: 231630
484.12/485.44 c bounds - >= -747787 @ 419.311
484.12/485.44 c bounds - >= -747287 @ 419.717
484.12/485.44 c #Conflicts: 6000 | #Constraints: 232632
484.12/485.44 c bounds - >= -746787 @ 421.457
484.12/485.44 c bounds - >= -746287 @ 421.828
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 7000 | #Constraints: 231678
484.12/485.44 c bounds - >= -745787 @ 422.994
484.12/485.44 c bounds - >= -745287 @ 423.281
484.12/485.44 c bounds - >= -744787 @ 423.526
484.12/485.44 c #Conflicts: 8000 | #Constraints: 232681
484.12/485.44 c bounds - >= -744287 @ 424.377
484.12/485.44 c bounds - >= -743787 @ 425.322
484.12/485.44 c #Conflicts: 9000 | #Constraints: 233683
484.12/485.44 c bounds - >= -743287 @ 425.647
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 10000 | #Constraints: 232433
484.12/485.44 c bounds - >= -742787 @ 428.999
484.12/485.44 c #Conflicts: 11000 | #Constraints: 233434
484.12/485.44 c #Conflicts: 12000 | #Constraints: 234434
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c bounds - >= -742287 @ 431.57
484.12/485.44 c #Conflicts: 13000 | #Constraints: 232915
484.12/485.44 c #Conflicts: 14000 | #Constraints: 233915
484.12/485.44 c bounds - >= -741787 @ 434.213
484.12/485.44 c #Conflicts: 15000 | #Constraints: 234916
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 16000 | #Constraints: 233192
484.12/485.44 c bounds - >= -741287 @ 437.663
484.12/485.44 c #Conflicts: 17000 | #Constraints: 234193
484.12/485.44 c #Conflicts: 18000 | #Constraints: 235193
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 19000 | #Constraints: 233227
484.12/485.44 c #Conflicts: 20000 | #Constraints: 234227
484.12/485.44 c #Conflicts: 21000 | #Constraints: 235227
484.12/485.44 c bounds - >= -740787 @ 447.728
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 22000 | #Constraints: 233031
484.12/485.44 c #Conflicts: 23000 | #Constraints: 234031
484.12/485.44 c #Conflicts: 24000 | #Constraints: 235031
484.12/485.44 c #Conflicts: 25000 | #Constraints: 236031
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 26000 | #Constraints: 233677
484.12/485.44 c #Conflicts: 27000 | #Constraints: 234677
484.12/485.44 c #Conflicts: 28000 | #Constraints: 235677
484.12/485.44 c #Conflicts: 29000 | #Constraints: 236677
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 30000 | #Constraints: 234093
484.12/485.44 c bounds - >= -740287 @ 466.535
484.12/485.44 c #Conflicts: 31000 | #Constraints: 235094
484.12/485.44 c bounds - >= -739787 @ 466.687
484.12/485.44 c bounds - >= -739287 @ 467.505
484.12/485.44 c bounds - >= -738787 @ 468.074
484.12/485.44 c #Conflicts: 32000 | #Constraints: 236097
484.12/485.44 c #Conflicts: 33000 | #Constraints: 237097
484.12/485.44 c INPROCESSING
484.12/485.44 c GARBAGE COLLECT
484.12/485.44 c #Conflicts: 34000 | #Constraints: 234297
484.12/485.44 c bounds - >= -738287 @ 474.682
484.12/485.44 c #Conflicts: 35000 | #Constraints: 235298
484.12/485.44 c #Conflicts: 36000 | #Constraints: 236298
484.12/485.44 c #Conflicts: 37000 | #Constraints:
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: 63708 MiB (62461 MiB free)
memory of node 1: 64465 MiB (50256 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529144-1752261215/watcher-4529144-1752261215 -o /tmp/evaluation-result-4529144-1752261215/solver-4529144-1752261215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117730 --watchdog 3760 mixed-bag HOME/instance-4529144-1752261215.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118241, runsolver pid=118238
[startup+0.100067 s]*
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=115343288/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=183000 memory=90096 CPUtime=0.09 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 14128 0 0 0 7 2 0 0 20 0 1 0 141796100 187392000 22524 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 45750 22524 2176 2834 0 28502 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 183000 KiB
Current children cumulated memory: 90096 KiB
[startup+0.20552 s]*
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=115327412/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=186944 memory=99128 CPUtime=0.2 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 18996 0 0 0 17 3 0 0 20 0 1 0 141796100 191430656 24782 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 46736 24782 2176 2834 0 29488 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 186944 KiB
Current children cumulated memory: 99128 KiB
[startup+0.305413 s]*
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=115319348/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=211520 memory=118152 CPUtime=0.29 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 20174 0 0 0 26 3 0 0 20 0 1 0 141796100 216596480 29538 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 52880 29538 2176 2834 0 35632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 211520 KiB
Current children cumulated memory: 118152 KiB
[startup+0.700176 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=115290676/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=211564 memory=124320 CPUtime=0.68 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 20668 0 0 0 64 4 0 0 20 0 1 0 141796100 216641536 31080 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 52891 31080 2176 2834 0 35643 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 211564 KiB
Current children cumulated memory: 124320 KiB
[startup+1.50017 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=115262004/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=244332 memory=163388 CPUtime=1.48 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 21780 0 0 0 142 6 0 0 20 0 1 0 141796100 250195968 40847 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 61083 40847 2176 2834 0 43835 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 244332 KiB
Current children cumulated memory: 163388 KiB
[startup+3.10533 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=114830088/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=650436 memory=513372 CPUtime=3.08 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 45905 0 0 0 286 22 0 0 20 0 1 0 141796100 666046464 128343 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 162609 128343 2368 2834 0 144814 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 650436 KiB
Current children cumulated memory: 513372 KiB
[startup+6.30017 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 118242
/proc/meminfo: memFree=114753576/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=1004880 memory=874376 CPUtime=6.26 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 167288 0 0 0 585 41 0 0 20 0 1 0 141796100 1028997120 218562 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 251220 218594 4000 2834 0 233425 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1004880 KiB
Current children cumulated memory: 874376 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.11 4.10 5/263 118242
/proc/meminfo: memFree=116460120/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=1720936 memory=1575300 CPUtime=12.65 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 304579 0 0 0 1198 67 0 0 20 0 1 0 141796100 1762238464 393825 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 430234 393825 4096 2834 0 412439 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1720936 KiB
Current children cumulated memory: 1575300 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.09 5/262 118242
/proc/meminfo: memFree=116469324/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=1975484 memory=1828732 CPUtime=25.4 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 344675 0 0 0 2465 75 0 0 20 0 1 0 141796100 2022895616 457183 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 493871 457183 4096 2834 0 476076 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1975484 KiB
Current children cumulated memory: 1828732 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 118243
/proc/meminfo: memFree=116318900/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=1981628 memory=1835132 CPUtime=50.93 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 346311 0 0 0 5018 75 0 0 20 0 1 0 141796100 2029187072 458783 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 495407 458783 4096 2834 0 477612 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1981628 KiB
Current children cumulated memory: 1835132 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/262 118245
/proc/meminfo: memFree=115478980/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=2846548 memory=2625500 CPUtime=101.98 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 450145 0 0 0 10100 98 0 0 20 0 1 0 141796100 2914865152 656375 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 711637 656375 4192 2834 0 693842 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2846548 KiB
Current children cumulated memory: 2625500 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 118248
/proc/meminfo: memFree=115197568/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=3012740 memory=2758128 CPUtime=161.84 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 474904 0 0 0 16081 103 0 0 20 0 1 0 141796100 3085045760 689532 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 753185 689532 4288 2834 0 735390 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3012740 KiB
Current children cumulated memory: 2758128 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 118249
/proc/meminfo: memFree=114915984/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=3035496 memory=2780512 CPUtime=221.69 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 477461 0 0 0 22065 104 0 0 20 0 1 0 141796100 3108347904 695128 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 758874 695128 4288 2834 0 741079 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 3035496 KiB
Current children cumulated memory: 2780512 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 118254
/proc/meminfo: memFree=114823388/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=3035496 memory=2782788 CPUtime=281.54 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 477542 0 0 0 28050 104 0 0 20 0 1 0 141796100 3108347904 695697 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 758874 695697 4288 2834 0 741079 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 3035496 KiB
Current children cumulated memory: 2782788 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 118260
/proc/meminfo: memFree=113519400/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=4191348 memory=4121472 CPUtime=341.41 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 869854 0 0 0 33942 199 0 0 20 0 1 0 141796100 4291940352 1030336 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 1047837 1030336 4448 2834 0 1030042 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 4191348 KiB
Current children cumulated memory: 4121472 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 118262
/proc/meminfo: memFree=108639588/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=9039480 memory=8969512 CPUtime=401.24 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 2077606 0 0 0 39702 422 0 0 20 0 1 0 141796100 9256427520 2242378 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 2259870 2242378 4448 2834 0 2242075 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 9039480 KiB
Current children cumulated memory: 8969512 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 118264
/proc/meminfo: memFree=107177292/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=10445548 memory=10350200 CPUtime=461.08 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 2405881 0 0 0 45584 524 0 0 20 0 1 0 141796100 10696241152 2587550 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 2611387 2587550 4480 2834 0 2593592 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 118397
/proc/meminfo: memFree=95763416/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18568832 CPUtime=3154.5 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3766544 0 0 0 312581 2869 0 0 20 0 1 0 141796100 20636372992 4642208 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4642208 4480 2834 0 5020382 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18568832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 118399
/proc/meminfo: memFree=95763004/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18568832 CPUtime=3214.34 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3766569 0 0 0 318555 2879 0 0 20 0 1 0 141796100 20636372992 4642208 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4642208 4480 2834 0 5020382 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18568832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 118403
/proc/meminfo: memFree=95763084/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18568832 CPUtime=3274.2 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3766902 0 0 0 324390 3030 0 0 20 0 1 0 141796100 20636372992 4642208 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4642208 4480 2834 0 5020382 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18568832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 118589
/proc/meminfo: memFree=104352652/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18568832 CPUtime=3333.98 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3767039 0 0 0 329910 3488 0 0 20 0 1 0 141796100 20636372992 4642208 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4642208 4480 2834 0 5020382 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18568832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 118771
/proc/meminfo: memFree=105010644/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18568832 CPUtime=3393.74 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3767321 0 0 0 335868 3506 0 0 20 0 1 0 141796100 20636372992 4642208 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4642208 4480 2834 0 5020382 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18568832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.64 4.27 4.15 5/263 118817
/proc/meminfo: memFree=104283376/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18695060 CPUtime=3453.53 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3787105 0 0 0 341786 3567 0 0 20 0 1 0 141796100 20636372992 4673765 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4673765 4480 2834 0 5020382 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18695060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.28 4.23 4.14 5/263 118819
/proc/meminfo: memFree=104146132/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770048 CPUtime=3513.35 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3798479 0 0 0 347718 3617 0 0 20 0 1 0 141796100 20636372992 4692512 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692512 4480 2834 0 5020382 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/263 118821
/proc/meminfo: memFree=104130228/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770048 CPUtime=3573.17 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3798625 0 0 0 353682 3635 0 0 20 0 1 0 141796100 20636372992 4692512 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692512 4480 2834 0 5020382 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.18 4.20 4.14 4/259 118875
/proc/meminfo: memFree=107039696/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770048 CPUtime=3600.09 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3798764 0 0 0 356312 3697 0 0 20 0 1 0 141796100 20636372992 4692512 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692512 4480 2834 0 5020382 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.87 s]
# the end of solver process 118241 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3565.1 s, system=37.5592 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.18 4.20 4.14 4/259 118875
/proc/meminfo: memFree=107039696/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770432 CPUtime=3600.39 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3799802 0 0 0 356341 3698 0 0 20 0 1 0 141796100 20636372992 4692608 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692608 4576 2834 0 5020382 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770432 KiB
[startup+3610.4 s]
/proc/loadavg: 4.18 4.20 4.14 5/261 118887
/proc/meminfo: memFree=106987600/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770432 CPUtime=3601.18 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3800240 0 0 0 356420 3698 0 0 20 0 1 0 141796100 20636372992 4692608 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692608 4576 2834 0 5020382 0
Current children cumulated CPU time: 3601.18 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770432 KiB
[startup+3610.8 s]
/proc/loadavg: 4.18 4.20 4.14 5/261 118887
/proc/meminfo: memFree=106987600/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770432 CPUtime=3601.58 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3800284 0 0 0 356460 3698 0 0 20 0 1 0 141796100 20636372992 4692608 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692608 4576 2834 0 5020382 0
Current children cumulated CPU time: 3601.58 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770432 KiB
[startup+3611.2 s]
/proc/loadavg: 4.18 4.20 4.14 5/263 118912
/proc/meminfo: memFree=106845488/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770432 CPUtime=3601.98 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3801230 0 0 0 356500 3698 0 0 20 0 1 0 141796100 20636372992 4692608 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692608 4576 2834 0 5020382 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770432 KiB
[startup+3611.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/263 118912
/proc/meminfo: memFree=106845488/131249992 swapFree=33009392/33010684
[pid=118241] ppid=118238 vsize=20152708 memory=18770432 CPUtime=3602.08 cores=4,6
/proc/118241/stat : 118241 (mixed-bag) R 118238 118241 117714 0 -1 4194304 3801245 0 0 0 356510 3698 0 0 20 0 1 0 141796100 20636372992 4692608 18446744073709551615 4235264 15840557 140736736457200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48459776 140736736459162 140736736459239 140736736459239 140736736464843 0
/proc/118241/statm: 5038177 4692608 4576 2834 0 5020382 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 20152708 KiB
Current children cumulated memory: 18770432 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.87
CPU time (s): 3602.66
CPU user time (s): 3565.1
CPU system time (s): 37.5592
CPU usage (%): 99.745
Max. virtual memory (cumulated for all children) (KiB): 20152708
Max. memory (cumulated for all children) (KiB): 18770432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.1
system time used= 37.5592
maximum resident set size= 18770432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3801245
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= 100
involuntary context switches= 4061
# summary of solver processes directly reported to runsolver:
# pid: 118241
# total CPU time (s): 3602.66
# total CPU user time (s): 3565.1
# total CPU system time (s): 37.5592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11989 second user time and 15.937 second system time
The end
Begin job on nodeC035 at 2025-07-11 21:13:36
IDJOB=4529144
IDBENCH=157280
IDSOLVER=3386
FILE ID=nodeC035/4529144-1752261215
RUNJOBID= nodeC035-1752257288-117730
SLURM_JOB_ID= 9682607
Free space on /tmp= 432464 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529144-1752261215/watcher-4529144-1752261215 -o /tmp/evaluation-result-4529144-1752261215/solver-4529144-1752261215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117730 --watchdog 3760 mixed-bag HOME/instance-4529144-1752261215.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66a4099c9f952e1d32ed00e151115e68
RANDOM SEED=969752049
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.763
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3625.528
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.743
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 115423872 kB
MemAvailable: 118585268 kB
Buffers: 664 kB
Cached: 3909060 kB
SwapCached: 332 kB
Active: 11471272 kB
Inactive: 3594204 kB
Active(anon): 11152428 kB
Inactive(anon): 21028 kB
Active(file): 318844 kB
Inactive(file): 3573176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63076 kB
Writeback: 4 kB
AnonPages: 11158576 kB
Mapped: 138604 kB
Shmem: 17700 kB
KReclaimable: 217228 kB
Slab: 311076 kB
SReclaimable: 217228 kB
SUnreclaim: 93848 kB
KernelStack: 4256 kB
PageTables: 25300 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 11892700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3575808 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432544 MiB
End job on nodeC035 at 2025-07-11 22:13:48