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: 63794 MiB (62898 MiB free)
memory of node 1: 64507 MiB (61282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527607-1752234040/watcher-4527607-1752234040 -o /tmp/evaluation-result-4527607-1752234040/solver-4527607-1752234040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752232205-108166 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527607-1752234040.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=108708, runsolver pid=108703
[startup+0.100101 s]*
/proc/loadavg: 7.53 7.92 6.97 6/247 108713
/proc/meminfo: memFree=127109084/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=136628 memory=73256 CPUtime=0.08 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 13253 0 0 0 2 6 0 0 20 0 1 0 139083511 139907072 18282 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 34157 18282 1120 6655 0 24392 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 136628 KiB
Current children cumulated memory: 73256 KiB
[startup+0.212342 s]*
/proc/loadavg: 7.53 7.92 6.97 6/247 108713
/proc/meminfo: memFree=127011932/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=201304 memory=158084 CPUtime=0.2 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 30350 0 0 0 8 12 0 0 20 0 1 0 139083511 206135296 39521 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 50326 39521 1120 6655 0 40561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 201304 KiB
Current children cumulated memory: 158084 KiB
[startup+0.313791 s]*
/proc/loadavg: 7.53 7.92 6.97 6/247 108713
/proc/meminfo: memFree=127002104/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=207608 memory=163460 CPUtime=0.3 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 31695 0 0 0 17 13 0 0 20 0 1 0 139083511 212590592 40865 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 51902 40865 1120 6655 0 42137 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 207608 KiB
Current children cumulated memory: 163460 KiB
[startup+0.70035 s]
/proc/loadavg: 7.53 7.92 6.97 6/247 108713
/proc/meminfo: memFree=126964304/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=321980 memory=286296 CPUtime=0.67 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 51085 0 0 0 47 20 0 0 20 0 1 0 139083511 329707520 71574 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 80495 71574 1152 6655 0 70730 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 321980 KiB
Current children cumulated memory: 286296 KiB
[startup+1.50034 s]
/proc/loadavg: 7.53 7.92 6.97 6/247 108713
/proc/meminfo: memFree=126681548/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=499816 memory=463064 CPUtime=1.47 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 95275 0 0 0 116 31 0 0 20 0 1 0 139083511 511811584 115766 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 124954 115766 1152 6655 0 115189 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 499816 KiB
Current children cumulated memory: 463064 KiB
[startup+3.11336 s]
/proc/loadavg: 7.53 7.92 6.97 6/254 108738
/proc/meminfo: memFree=125307324/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=513264 memory=476504 CPUtime=3.08 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 98692 0 0 0 276 32 0 0 20 0 1 0 139083511 525582336 119126 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 128316 119126 1152 6655 0 118551 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 513264 KiB
Current children cumulated memory: 476504 KiB
[startup+6.30031 s]
/proc/loadavg: 7.49 7.91 6.97 6/254 108738
/proc/meminfo: memFree=120765892/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=514332 memory=477528 CPUtime=6.25 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 99002 0 0 0 593 32 0 0 20 0 1 0 139083511 526675968 119382 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 128583 119382 1152 6655 0 118818 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 514332 KiB
Current children cumulated memory: 477528 KiB
[startup+12.7004 s]
/proc/loadavg: 7.29 7.86 6.96 6/255 108739
/proc/meminfo: memFree=118007264/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=1154988 memory=1035496 CPUtime=12.63 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 181838 0 0 0 1214 49 0 0 20 0 2 0 139083511 1182707712 258874 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 288747 258874 2880 6655 0 262630 0
[pid=108708/tid=108739] ppid=108703 vsize=1154988 memory=1004804 CPUtime=0 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) S 108703 108708 108148 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139084636 1182707712 258874 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1154988 KiB
Current children cumulated memory: 1035496 KiB
[startup+25.5004 s]
/proc/loadavg: 6.85 7.73 6.93 6/257 108742
/proc/meminfo: memFree=109433364/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=1438876 memory=1306320 CPUtime=25.4 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 267493 0 0 0 2475 65 0 0 20 0 2 0 139083511 1473409024 326580 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 359719 326580 3008 6655 0 333602 0
[pid=108708/tid=108739] ppid=108703 vsize=1438876 memory=1490436 CPUtime=0 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) S 108703 108708 108148 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139084636 1473409024 326580 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1438876 KiB
Current children cumulated memory: 1306320 KiB
[startup+51.1133 s]
/proc/loadavg: 6.56 7.59 6.90 6/257 108742
/proc/meminfo: memFree=107589612/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=2816372 memory=2554972 CPUtime=64.03 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 479501 0 0 0 6261 142 0 0 20 0 2 0 139083511 2883964928 638743 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 704093 638743 3360 6655 0 683354 0
[pid=108708/tid=108739] ppid=108703 vsize=2816372 memory=20352 CPUtime=13.34 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) S 108703 108708 108148 0 -1 4194368 90338 0 0 0 1300 34 0 0 20 0 2 0 139084636 2883964928 638743 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 64.03 s
Current children cumulated vsize: 2816372 KiB
Current children cumulated memory: 2554972 KiB
[startup+102.3 s]
/proc/loadavg: 6.12 7.30 6.84 6/256 108792
/proc/meminfo: memFree=101293704/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=3539008 memory=3344280 CPUtime=150.93 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 689350 0 0 0 14900 193 0 0 20 0 2 0 139083511 3623944192 836070 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 884752 836070 3456 6655 0 864573 0
[pid=108708/tid=108739] ppid=108703 vsize=3539008 memory=14304 CPUtime=49.19 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 127505 0 0 0 4875 44 0 0 20 0 2 0 139084636 3623944192 836070 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 150.93 s
Current children cumulated vsize: 3539008 KiB
Current children cumulated memory: 3344280 KiB
[startup+162.3 s]
/proc/loadavg: 5.88 7.00 6.76 7/256 108932
/proc/meminfo: memFree=102518144/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=3559704 memory=3400412 CPUtime=270.15 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 821975 0 0 0 26799 216 0 0 20 0 2 0 139083511 3645136896 850103 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 889926 850103 3456 6655 0 869747 0
[pid=108708/tid=108739] ppid=108703 vsize=3559704 memory=3400412 CPUtime=108.6 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 185245 0 0 0 10811 49 0 0 20 0 2 0 139084636 3645136896 850103 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 270.15 s
Current children cumulated vsize: 3559704 KiB
Current children cumulated memory: 3400412 KiB
[startup+222.3 s]
/proc/loadavg: 5.63 6.70 6.67 8/258 109074
/proc/meminfo: memFree=96777344/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=3780480 memory=3613028 CPUtime=382.17 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 932544 0 0 0 37971 246 0 0 20 0 2 0 139083511 3871211520 903257 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 945120 903257 3456 6655 0 912754 0
[pid=108708/tid=108739] ppid=108703 vsize=3780480 memory=3233036 CPUtime=161.06 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 222167 0 0 0 16042 64 0 0 20 0 2 0 139084636 3871211520 903257 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 382.17 s
Current children cumulated vsize: 3780480 KiB
Current children cumulated memory: 3613028 KiB
[startup+282.3 s]
/proc/loadavg: 7.14 6.94 6.76 9/257 109076
/proc/meminfo: memFree=85589436/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=3802576 memory=3636216 CPUtime=501.24 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 1009283 0 0 0 49865 259 0 0 20 0 2 0 139083511 3893837824 909054 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 950644 909054 3456 6655 0 918278 0
[pid=108708/tid=108739] ppid=108703 vsize=3802576 memory=3636216 CPUtime=220.4 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 246396 0 0 0 21974 66 0 0 20 0 2 0 139084636 3893837824 909054 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 501.24 s
Current children cumulated vsize: 3802576 KiB
Current children cumulated memory: 3636216 KiB
[startup+342.3 s]
/proc/loadavg: 6.87 6.92 6.76 7/257 109079
/proc/meminfo: memFree=90087400/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=3767584 memory=3597624 CPUtime=620.36 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 1092360 0 0 0 61764 272 0 0 20 0 2 0 139083511 3858006016 899406 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 941896 899406 3456 6655 0 909530 0
[pid=108708/tid=108739] ppid=108703 vsize=3767584 memory=3636348 CPUtime=279.76 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 286064 0 0 0 27907 69 0 0 20 0 2 0 139084636 3858006016 899406 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 620.36 s
Current children cumulated vsize: 3767584 KiB
Current children cumulated memory: 3597624 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=108708] ppid=108703 vsize=7628764 memory=7499728 CPUtime=3001.58 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2495805 0 0 0 299152 1006 0 0 20 0 2 0 139083511 7811854336 1874932 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1907191 1874932 3456 6655 0 1879933 0
[pid=108708/tid=108739] ppid=108703 vsize=7628764 memory=7493832 CPUtime=1466.64 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 736787 0 0 0 146303 361 0 0 20 0 2 0 139084636 7811854336 1874932 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3001.58 s
Current children cumulated vsize: 7628764 KiB
Current children cumulated memory: 7499728 KiB
[startup+1602.3 s]
/proc/loadavg: 8.25 8.04 7.50 9/253 109148
/proc/meminfo: memFree=73120492/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=7826348 memory=7677292 CPUtime=3120.61 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2602217 0 0 0 311016 1045 0 0 20 0 2 0 139083511 8014180352 1919323 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1956587 1919323 3456 6655 0 1926891 0
[pid=108708/tid=108739] ppid=108703 vsize=7826348 memory=7573364 CPUtime=1526.37 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 802136 0 0 0 152248 389 0 0 20 0 2 0 139084636 8014180352 1919323 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3120.61 s
Current children cumulated vsize: 7826348 KiB
Current children cumulated memory: 7677292 KiB
[startup+1662.3 s]
/proc/loadavg: 7.65 7.93 7.50 7/253 109150
/proc/meminfo: memFree=72773192/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=7891884 memory=7709260 CPUtime=3230.41 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2651577 0 0 0 321981 1060 0 0 20 0 2 0 139083511 8081289216 1927315 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1972971 1927315 3456 6655 0 1942934 0
[pid=108708/tid=108739] ppid=108703 vsize=7891884 memory=7573364 CPUtime=1576.79 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) S 108703 108708 108148 0 -1 4194368 838245 0 0 0 157277 402 0 0 20 0 2 0 139084636 8081289216 1927315 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3230.41 s
Current children cumulated vsize: 7891884 KiB
Current children cumulated memory: 7709260 KiB
[startup+1722.3 s]
/proc/loadavg: 7.62 7.84 7.49 9/254 109153
/proc/meminfo: memFree=72111076/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=7321980 memory=7208284 CPUtime=3340.72 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2717071 0 0 0 333004 1068 0 0 20 0 2 0 139083511 7497707520 1802071 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1830495 1802071 3456 6655 0 1803919 0
[pid=108708/tid=108739] ppid=108703 vsize=7321980 memory=7573364 CPUtime=1627.83 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 853280 0 0 0 162378 405 0 0 20 0 2 0 139084636 7497707520 1802071 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3340.72 s
Current children cumulated vsize: 7321980 KiB
Current children cumulated memory: 7208284 KiB
[startup+1782.3 s]
/proc/loadavg: 7.90 7.89 7.53 9/255 109156
/proc/meminfo: memFree=73065260/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=7321980 memory=7208284 CPUtime=3459.7 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2744939 0 0 0 344898 1072 0 0 20 0 2 0 139083511 7497707520 1802071 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1830495 1802071 3456 6655 0 1803919 0
[pid=108708/tid=108739] ppid=108703 vsize=7321980 memory=7208284 CPUtime=1687.54 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 869940 0 0 0 168348 406 0 0 20 0 2 0 139084636 7497707520 1802071 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3459.7 s
Current children cumulated vsize: 7321980 KiB
Current children cumulated memory: 7208284 KiB
[startup+1842.3 s]
/proc/loadavg: 8.05 7.94 7.57 9/257 109166
/proc/meminfo: memFree=72931968/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=7417416 memory=7303804 CPUtime=3578.69 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2784227 0 0 0 356789 1080 0 0 20 0 2 0 139083511 7595433984 1825951 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1854354 1825951 3456 6655 0 1827778 0
[pid=108708/tid=108739] ppid=108703 vsize=7417416 memory=7208284 CPUtime=1747.25 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 881619 0 0 0 174316 409 0 0 20 0 2 0 139084636 7595433984 1825951 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3578.69 s
Current children cumulated vsize: 7417416 KiB
Current children cumulated memory: 7303804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1853.11 s]
/proc/loadavg: 8.04 7.94 7.58 9/257 109166
/proc/meminfo: memFree=72931768/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=7417416 memory=7303804 CPUtime=3600.11 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) R 108703 108708 108148 0 -1 4194304 2785710 0 0 0 358931 1080 0 0 20 0 2 0 139083511 7595433984 1825951 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1854354 1825951 3456 6655 0 1827778 0
[pid=108708/tid=108739] ppid=108703 vsize=7417416 memory=7208284 CPUtime=1758 cores=4,6
/proc/108708/task/108739/stat : 108739 (LSIPExact) R 108703 108708 108148 0 -1 4194368 882152 0 0 0 175391 409 0 0 20 0 2 0 139084636 7595433984 1825951 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 7417416 KiB
Current children cumulated memory: 7303804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1855.23 s]
# the end of solver process 108708 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3589.46 s, system=10.9847 s
[startup+1855.23 s]
# the end of solver process 109168 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3591.04 s, system=11.1408 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1854.4 s]
/proc/loadavg: 7.96 7.93 7.57 8/257 109168
/proc/meminfo: memFree=74494564/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=5536156 memory=5435112 CPUtime=3600.32 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) S 108703 108708 108148 0 -1 4194304 2873464 229 0 0 358945 1087 0 0 20 0 1 0 139083511 5669023744 1358778 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1384039 1358778 3488 6655 0 1360106 0
[pid=109168] ppid=108708 vsize=312848 memory=305288 CPUtime=1.01 cores=4,6
/proc/109168/stat : 109168 (Exact) R 108708 109168 109168 0 -1 4194304 48272 0 0 0 90 11 0 0 20 0 1 0 139268844 320356352 76322 18446744073709551615 4198400 8335837 140727790687392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18329600 140727790696626 140727790696987 140727790696987 140727790702543 0
/proc/109168/statm: 78212 76322 960 1011 0 76979 0
Current children cumulated CPU time: 3601.33 s
Current children cumulated vsize: 5849004 KiB
Current children cumulated memory: 5740400 KiB
[startup+1854.8 s]
/proc/loadavg: 7.96 7.93 7.57 8/257 109168
/proc/meminfo: memFree=74494564/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=5536156 memory=5435112 CPUtime=3600.32 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) S 108703 108708 108148 0 -1 4194304 2873464 229 0 0 358945 1087 0 0 20 0 1 0 139083511 5669023744 1358778 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1384039 1358778 3488 6655 0 1360106 0
[pid=109168] ppid=108708 vsize=364116 memory=348184 CPUtime=1.41 cores=4,6
/proc/109168/stat : 109168 (Exact) R 108708 109168 109168 0 -1 4194304 58187 0 0 0 128 13 0 0 20 0 1 0 139268844 372854784 87046 18446744073709551615 4198400 8335837 140727790687392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18329600 140727790696626 140727790696987 140727790696987 140727790702543 0
/proc/109168/statm: 91029 87046 960 1011 0 89796 0
Current children cumulated CPU time: 3601.73 s
Current children cumulated vsize: 5900272 KiB
Current children cumulated memory: 5783296 KiB
[startup+1855 s]*
/proc/loadavg: 7.96 7.93 7.57 8/257 109168
/proc/meminfo: memFree=74429920/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=5536156 memory=5435112 CPUtime=3600.32 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) S 108703 108708 108148 0 -1 4194304 2873464 229 0 0 358945 1087 0 0 20 0 1 0 139083511 5669023744 1358778 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1384039 1358778 3488 6655 0 1360106 0
[pid=109168] ppid=108708 vsize=365700 memory=352020 CPUtime=1.62 cores=4,6
/proc/109168/stat : 109168 (Exact) R 108708 109168 109168 0 -1 4194304 58637 0 0 0 148 14 0 0 20 0 1 0 139268844 374476800 88005 18446744073709551615 4198400 8335837 140727790687392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18329600 140727790696626 140727790696987 140727790696987 140727790702543 0
/proc/109168/statm: 91425 88005 960 1011 0 90192 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 5901856 KiB
Current children cumulated memory: 5787132 KiB
[startup+1855.11 s]
/proc/loadavg: 7.96 7.93 7.57 8/257 109168
/proc/meminfo: memFree=74429920/131382120 swapFree=33010416/33010684
[pid=108708] ppid=108703 vsize=5536156 memory=5435112 CPUtime=3600.32 cores=4,6
/proc/108708/stat : 108708 (LSIPExact) S 108703 108708 108148 0 -1 4194304 2873464 229 0 0 358945 1087 0 0 20 0 1 0 139083511 5669023744 1358778 18446744073709551615 94242745028608 94242772285777 140726408203136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94242780787848 94242781219456 94242793906176 140726408206680 140726408206856 140726408206856 140726408212460 0
/proc/108708/statm: 1384039 1358778 3488 6655 0 1360106 0
[pid=109168] ppid=108708 vsize=366228 memory=354548 CPUtime=1.72 cores=4,6
/proc/109168/stat : 109168 (Exact) R 108708 109168 109168 0 -1 4194304 58774 0 0 0 158 14 0 0 20 0 1 0 139268844 375017472 88637 18446744073709551615 4198400 8335837 140727790687392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18329600 140727790696626 140727790696987 140727790696987 140727790702543 0
/proc/109168/statm: 91557 88637 960 1011 0 90324 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 5902384 KiB
Current children cumulated memory: 5789660 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1855.23
CPU time (s): 3602.18
CPU user time (s): 3591.04
CPU system time (s): 11.1408
CPU usage (%): 194.164
Max. virtual memory (cumulated for all children) (KiB): 7931692
Max. memory (cumulated for all children) (KiB): 7709260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.04
system time used= 11.1408
maximum resident set size= 7725768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2932468
page faults= 0
swaps= 0
block input operations= 48456
block output operations= 3736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 654
involuntary context switches= 65712
# summary of solver processes directly reported to runsolver:
# pid: 108708,109168
# total CPU time (s): 3602.18
# total CPU user time (s): 3591.04
# total CPU system time (s): 11.1408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89032 second user time and 9.44579 second system time
The end
Begin job on nodeC006 at 2025-07-11 13:40:41
IDJOB=4527607
IDBENCH=155666
IDSOLVER=3384
FILE ID=nodeC006/4527607-1752234040
RUNJOBID= nodeC006-1752232205-108166
SLURM_JOB_ID= 9682517
Free space on /tmp= 431848 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527607-1752234040/watcher-4527607-1752234040 -o /tmp/evaluation-result-4527607-1752234040/solver-4527607-1752234040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752232205-108166 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527607-1752234040.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c375d9eec0e7448397e2587af216396
RANDOM SEED=1101230875
nodeC006 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.132
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.32
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 : 1197.146
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
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.32
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.150
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.32
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.226
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.32
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 : 3591.351
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.32
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 : 1396.667
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.32
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 : 3591.134
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127073000 kB
MemAvailable: 129488716 kB
Buffers: 2128 kB
Cached: 3178312 kB
SwapCached: 12 kB
Active: 910736 kB
Inactive: 2709716 kB
Active(anon): 446968 kB
Inactive(anon): 10992 kB
Active(file): 463768 kB
Inactive(file): 2698724 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70364 kB
Writeback: 4 kB
AnonPages: 440072 kB
Mapped: 117916 kB
Shmem: 17948 kB
KReclaimable: 185316 kB
Slab: 274152 kB
SReclaimable: 185316 kB
SUnreclaim: 88836 kB
KernelStack: 4016 kB
PageTables: 3856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 770592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 286720 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431384 MiB
End job on nodeC006 at 2025-07-11 14:11:37