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 (61475 MiB free)
memory of node 1: 64465 MiB (63328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527479-1752232519/watcher-4527479-1752232519 -o /tmp/evaluation-result-4527479-1752232519/solver-4527479-1752232519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752232205-119016 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527479-1752232519.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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
Starting watchdog thread
solver pid=119907, runsolver pid=119904
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759592/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=0.09 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9812 0 0 0 8 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+0.205585 s]*
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759592/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=0.2 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9812 0 0 0 19 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+0.305529 s]*
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759592/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=0.3 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9812 0 0 0 29 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+0.700177 s]
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759592/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=0.69 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9813 0 0 0 68 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+1.50017 s]
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759592/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=1.48 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9813 0 0 0 147 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+3.10529 s]
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759892/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=3.09 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9813 0 0 0 308 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+6.30017 s]
/proc/loadavg: 6.83 4.59 2.07 7/268 119909
/proc/meminfo: memFree=127756616/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=77804 memory=43392 CPUtime=6.27 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 9813 0 0 0 626 1 0 0 20 0 1 0 138929414 79671296 10848 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 19451 10848 1184 6655 0 9686 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77804 KiB
Current children cumulated memory: 43392 KiB
[startup+12.7002 s]
/proc/loadavg: 6.76 4.61 2.09 8/269 119910
/proc/meminfo: memFree=127628020/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=270304 memory=182556 CPUtime=14.63 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 43446 0 0 0 1455 8 0 0 20 0 2 0 138929414 276791296 45639 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 67576 45639 3392 6655 0 46540 0
[pid=119907/tid=119910] ppid=119904 vsize=270304 memory=182428 CPUtime=1.96 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 3873 0 0 0 196 0 0 0 20 0 2 0 138930424 276791296 45639 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 270304 KiB
Current children cumulated memory: 182556 KiB
[startup+25.5002 s]
/proc/loadavg: 6.81 4.73 2.17 8/269 119910
/proc/meminfo: memFree=127466468/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=357692 memory=308720 CPUtime=40.05 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 95025 0 0 0 3989 16 0 0 20 0 2 0 138929414 366276608 77180 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 89423 77180 3456 6655 0 79591 0
[pid=119907/tid=119910] ppid=119904 vsize=357692 memory=347676 CPUtime=14.62 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 17255 0 0 0 1459 3 0 0 20 0 2 0 138930424 366276608 77180 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 40.05 s
Current children cumulated vsize: 357692 KiB
Current children cumulated memory: 308720 KiB
[startup+51.1055 s]
/proc/loadavg: 6.95 4.93 2.30 8/268 119910
/proc/meminfo: memFree=127431440/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=365880 memory=322248 CPUtime=90.9 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 115807 0 0 0 9073 17 0 0 20 0 2 0 138929414 374661120 80562 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 91470 80562 3488 6655 0 81638 0
[pid=119907/tid=119910] ppid=119904 vsize=365880 memory=322248 CPUtime=39.95 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 24043 0 0 0 3992 3 0 0 20 0 2 0 138930424 374661120 80562 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 90.9 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 322248 KiB
[startup+102.3 s]
/proc/loadavg: 7.44 5.36 2.59 9/268 119912
/proc/meminfo: memFree=127076736/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=365880 memory=323272 CPUtime=192.58 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 145356 0 0 0 19239 19 0 0 20 0 2 0 138929414 374661120 80818 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 91470 80818 3488 6655 0 81638 0
[pid=119907/tid=119910] ppid=119904 vsize=365880 memory=323272 CPUtime=90.59 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 37643 0 0 0 9055 4 0 0 20 0 2 0 138930424 374661120 80818 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 192.58 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 323272 KiB
[startup+162.3 s]
/proc/loadavg: 7.85 5.86 2.93 9/268 119914
/proc/meminfo: memFree=127014608/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=365880 memory=323272 CPUtime=311.77 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 147023 0 0 0 31157 20 0 0 20 0 2 0 138929414 374661120 80818 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 91470 80818 3488 6655 0 81638 0
[pid=119907/tid=119910] ppid=119904 vsize=365880 memory=323272 CPUtime=149.96 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 39150 0 0 0 14991 5 0 0 20 0 2 0 138930424 374661120 80818 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 311.77 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 323272 KiB
[startup+222.3 s]
/proc/loadavg: 7.99 6.27 3.26 9/267 119916
/proc/meminfo: memFree=126956368/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=365880 memory=323400 CPUtime=430.94 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 177221 0 0 0 43072 22 0 0 20 0 2 0 138929414 374661120 80850 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 91470 80850 3488 6655 0 81638 0
[pid=119907/tid=119910] ppid=119904 vsize=365880 memory=323400 CPUtime=209.31 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 56200 0 0 0 20925 6 0 0 20 0 2 0 138930424 374661120 80850 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 430.94 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 323400 KiB
[startup+282.3 s]
/proc/loadavg: 8.05 6.60 3.56 9/267 119918
/proc/meminfo: memFree=126901128/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=365880 memory=325448 CPUtime=550.11 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 190452 0 0 0 54988 23 0 0 20 0 2 0 138929414 374661120 81362 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 91470 81362 3488 6655 0 81638 0
[pid=119907/tid=119910] ppid=119904 vsize=365880 memory=323400 CPUtime=268.67 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 56845 0 0 0 26861 6 0 0 20 0 2 0 138930424 374661120 81362 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 550.11 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 325448 KiB
[startup+342.3 s]
/proc/loadavg: 8.06 6.87 3.85 9/267 119927
/proc/meminfo: memFree=126841072/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=365880 memory=325576 CPUtime=669.29 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 222155 0 0 0 66903 26 0 0 20 0 2 0 138929414 374661120 81394 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 91470 81394 3488 6655 0 81638 0
[pid=119907/tid=119910] ppid=119904 vsize=365880 memory=325576 CPUtime=328.02 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 71048 0 0 0 32795 7 0 0 20 0 2 0 138930424 374661120 81394 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 669.29 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 325576 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 123960 0 0 0 133672 16 0 0 20 0 2 0 138930424 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 2694.83 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 346172 KiB
[startup+1422.3 s]
/proc/loadavg: 8.24 8.15 6.81 9/267 120017
/proc/meminfo: memFree=124633876/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=346172 CPUtime=2813.99 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 351220 0 0 0 281359 40 0 0 20 0 2 0 138929414 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 86543 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346172 CPUtime=1396.22 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 125496 0 0 0 139606 16 0 0 20 0 2 0 138930424 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 2813.99 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 346172 KiB
[startup+1482.3 s]
/proc/loadavg: 7.90 8.09 6.87 8/267 120019
/proc/meminfo: memFree=124520192/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=346172 CPUtime=2933.14 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 355601 0 0 0 293274 40 0 0 20 0 2 0 138929414 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 86543 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346172 CPUtime=1455.57 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 129820 0 0 0 145540 17 0 0 20 0 2 0 138930424 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 2933.14 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 346172 KiB
[startup+1542.3 s]
/proc/loadavg: 7.38 7.90 6.89 8/267 120067
/proc/meminfo: memFree=123088340/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=346172 CPUtime=3052.29 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 357214 0 0 0 305189 40 0 0 20 0 2 0 138929414 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 86543 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346172 CPUtime=1514.92 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 129845 0 0 0 151475 17 0 0 20 0 2 0 138930424 441769984 86543 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 3052.29 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 346172 KiB
[startup+1602.3 s]
/proc/loadavg: 7.85 7.94 6.97 8/268 120078
/proc/meminfo: memFree=122575124/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=337780 CPUtime=3171.46 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 360969 0 0 0 317105 41 0 0 20 0 2 0 138929414 441769984 84445 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 84445 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346172 CPUtime=1574.27 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 133592 0 0 0 157410 17 0 0 20 0 2 0 138930424 441769984 84445 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 3171.46 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 337780 KiB
[startup+1662.3 s]
/proc/loadavg: 7.98 7.95 7.04 9/267 120125
/proc/meminfo: memFree=123228940/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=338804 CPUtime=3290.77 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 362788 0 0 0 329035 42 0 0 20 0 2 0 138929414 441769984 84701 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 84701 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346172 CPUtime=1633.74 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 134491 0 0 0 163356 18 0 0 20 0 2 0 138930424 441769984 84701 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 3290.77 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 338804 KiB
[startup+1722.3 s]
/proc/loadavg: 7.55 7.85 7.06 8/269 120270
/proc/meminfo: memFree=123851944/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=340468 CPUtime=3409.95 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 369130 0 0 0 340953 42 0 0 20 0 2 0 138929414 441769984 85117 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 85117 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346172 CPUtime=1693.1 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 135575 0 0 0 169292 18 0 0 20 0 2 0 138930424 441769984 85117 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 3409.95 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 340468 KiB
[startup+1782.3 s]
/proc/loadavg: 7.93 7.91 7.13 9/269 120272
/proc/meminfo: memFree=123085388/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=346100 CPUtime=3529.17 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 377376 0 0 0 352874 43 0 0 20 0 2 0 138929414 441769984 86525 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 86525 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=346100 CPUtime=1752.46 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 143808 0 0 0 175227 19 0 0 20 0 2 0 138930424 441769984 86525 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 3529.17 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 346100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818 s]*
/proc/loadavg: 8.04 7.94 7.17 9/269 120272
/proc/meminfo: memFree=122989464/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=431416 memory=346100 CPUtime=3600.12 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) R 119904 119907 118997 0 -1 4194304 377469 0 0 0 359969 43 0 0 20 0 2 0 138929414 441769984 86525 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 107854 86525 3488 6655 0 88588 0
[pid=119907/tid=119910] ppid=119904 vsize=431416 memory=-7808294779764112768 CPUtime=1787.79 cores=5,7
/proc/119907/task/119910/stat : 119910 (LSIPExact) R 119904 119907 118997 0 -1 4194368 143842 0 0 0 178760 19 0 0 20 0 2 0 138930424 441769984 86525 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 431416 KiB
Current children cumulated memory: 346100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1820.02 s]
# the end of solver process 119907 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3601.66 s, system=0.485735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1819.2 s]
/proc/loadavg: 8.04 7.94 7.17 8/269 120274
/proc/meminfo: memFree=123028208/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=333440 memory=248432 CPUtime=3600.22 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) S 119904 119907 118997 0 -1 4194304 381660 227 0 0 359978 44 0 0 20 0 1 0 138929414 341442560 62108 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 83360 62108 3520 6655 0 73528 0
[pid=120274] ppid=119907 vsize=79048 memory=63208 CPUtime=1.08 cores=5,7
/proc/120274/stat : 120274 (Exact) R 119907 120274 120274 0 -1 4194304 12420 0 0 0 105 3 0 0 20 0 1 0 139111223 80945152 15802 18446744073709551615 4198400 8335837 140728925897920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 16613376 140728925907122 140728925907483 140728925907483 140728925913039 0
/proc/120274/statm: 19762 15802 1120 1011 0 18529 0
Current children cumulated CPU time: 3601.3 s
Current children cumulated vsize: 412488 KiB
Current children cumulated memory: 311640 KiB
[startup+1819.6 s]
/proc/loadavg: 8.04 7.94 7.17 8/269 120274
/proc/meminfo: memFree=123028208/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=333440 memory=248432 CPUtime=3600.22 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) S 119904 119907 118997 0 -1 4194304 381660 227 0 0 359978 44 0 0 20 0 1 0 138929414 341442560 62108 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 83360 62108 3520 6655 0 73528 0
[pid=120274] ppid=119907 vsize=81996 memory=66024 CPUtime=1.48 cores=5,7
/proc/120274/stat : 120274 (Exact) R 119907 120274 120274 0 -1 4194304 13109 0 0 0 145 3 0 0 20 0 1 0 139111223 83963904 16506 18446744073709551615 4198400 8335837 140728925897920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 16613376 140728925907122 140728925907483 140728925907483 140728925913039 0
/proc/120274/statm: 20499 16506 1120 1011 0 19266 0
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 415436 KiB
Current children cumulated memory: 314456 KiB
[startup+1820 s]*
/proc/loadavg: 7.95 7.92 7.17 8/269 120274
/proc/meminfo: memFree=123028224/131249996 swapFree=33006296/33010684
[pid=119907] ppid=119904 vsize=333440 memory=248432 CPUtime=3600.22 cores=5,7
/proc/119907/stat : 119907 (LSIPExact) S 119904 119907 118997 0 -1 4194304 381660 227 0 0 359978 44 0 0 20 0 1 0 138929414 341442560 62108 18446744073709551615 93827491733504 93827518990673 140725801762672 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93827527492744 93827527924352 93827535065088 140725801765208 140725801765384 140725801765384 140725801770988 0
/proc/119907/statm: 83360 62108 3520 6655 0 73528 0
[pid=120274] ppid=119907 vsize=81996 memory=66024 CPUtime=1.88 cores=5,7
/proc/120274/stat : 120274 (Exact) R 119907 120274 120274 0 -1 4194304 13125 0 0 0 185 3 0 0 20 0 1 0 139111223 83963904 16506 18446744073709551615 4198400 8335837 140728925897920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 16613376 140728925907122 140728925907483 140728925907483 140728925913039 0
/proc/120274/statm: 20499 16506 1120 1011 0 19266 0
Current children cumulated CPU time: 3602.1 s
Current children cumulated vsize: 415436 KiB
Current children cumulated memory: 314456 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1820.02
CPU time (s): 3602.14
CPU user time (s): 3601.66
CPU system time (s): 0.485735
CPU usage (%): 197.917
Max. virtual memory (cumulated for all children) (KiB): 470672
Max. memory (cumulated for all children) (KiB): 347676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.66
system time used= 0.485735
maximum resident set size= 347676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399637
page faults= 0
swaps= 0
block input operations= 4056
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 460
involuntary context switches= 79981
# summary of solver processes directly reported to runsolver:
# pid: 119907
# total CPU time (s): 3602.14
# total CPU user time (s): 3601.66
# total CPU system time (s): 0.485735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.5134 second user time and 8.51242 second system time
The end
Begin job on nodeC015 at 2025-07-11 13:15:19
IDJOB=4527479
IDBENCH=148788
IDSOLVER=3384
FILE ID=nodeC015/4527479-1752232519
RUNJOBID= nodeC015-1752232205-119016
SLURM_JOB_ID= 9682526
Free space on /tmp= 432280 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527479-1752232519/watcher-4527479-1752232519 -o /tmp/evaluation-result-4527479-1752232519/solver-4527479-1752232519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752232205-119016 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527479-1752232519.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c3694be7b858a71700b5bf3fbc64c46e
RANDOM SEED=291300059
nodeC015 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 : 3600.037
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 : 7000.14
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 : 3600.073
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 : 7000.14
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 : 3600.074
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 : 7000.14
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 : 3600.072
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 : 7000.14
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 : 3600.071
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 : 7000.14
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 : 3600.068
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 : 7000.14
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 : 3648.657
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 : 7000.14
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127798836 kB
MemAvailable: 128809968 kB
Buffers: 1508 kB
Cached: 1790664 kB
SwapCached: 3880 kB
Active: 1213144 kB
Inactive: 1541248 kB
Active(anon): 927648 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1492524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46676 kB
Writeback: 0 kB
AnonPages: 961528 kB
Mapped: 138988 kB
Shmem: 14152 kB
KReclaimable: 144704 kB
Slab: 238548 kB
SReclaimable: 144704 kB
SUnreclaim: 93844 kB
KernelStack: 4304 kB
PageTables: 5044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1357060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432188 MiB
End job on nodeC015 at 2025-07-11 13:45:39