runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62906 MiB free)
memory of node 1: 64465 MiB (58588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519409-1751508647/watcher-4519409-1751508647 -o /tmp/evaluation-result-4519409-1751508647/solver-4519409-1751508647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69281 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4519409-1751508647.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=74029, runsolver pid=74026
[startup+0.10007 s]*
/proc/loadavg: 5.11 5.22 5.90 6/253 74030
/proc/meminfo: memFree=124387496/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=68812 memory=25856 CPUtime=0.08 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 5492 0 0 0 6 2 0 0 20 0 1 0 66543499 70463488 6464 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 17203 6464 1120 6655 0 7438 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68812 KiB
Current children cumulated memory: 25856 KiB
[startup+0.217533 s]*
/proc/loadavg: 5.11 5.22 5.90 6/253 74030
/proc/meminfo: memFree=124379432/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=79504 memory=36480 CPUtime=0.2 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 8168 0 0 0 17 3 0 0 20 0 1 0 66543499 81412096 9120 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 19876 9120 1120 6655 0 10111 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79504 KiB
Current children cumulated memory: 36480 KiB
[startup+0.313155 s]*
/proc/loadavg: 5.11 5.22 5.90 6/253 74030
/proc/meminfo: memFree=124363556/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=88348 memory=45312 CPUtime=0.29 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 10387 0 0 0 25 4 0 0 20 0 1 0 66543499 90468352 11328 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 22087 11328 1120 6655 0 12322 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88348 KiB
Current children cumulated memory: 45312 KiB
[startup+0.700278 s]
/proc/loadavg: 5.11 5.22 5.90 6/253 74030
/proc/meminfo: memFree=124181012/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=325584 memory=290808 CPUtime=0.66 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 36477 0 0 0 50 16 0 0 20 0 1 0 66543499 333398016 72670 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 81396 72702 1120 6655 0 71631 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 325584 KiB
Current children cumulated memory: 290808 KiB
[startup+1.50035 s]
/proc/loadavg: 5.11 5.22 5.90 6/253 74030
/proc/meminfo: memFree=123983268/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=651204 memory=615360 CPUtime=1.46 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 110489 0 0 0 114 32 0 0 20 0 1 0 66543499 666832896 153840 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 162801 153840 1120 6655 0 153036 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 651204 KiB
Current children cumulated memory: 615360 KiB
[startup+3.11306 s]
/proc/loadavg: 5.11 5.22 5.90 6/253 74030
/proc/meminfo: memFree=123805856/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=651204 memory=615360 CPUtime=3.07 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 110565 0 0 0 275 32 0 0 20 0 1 0 66543499 666832896 153840 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 162801 153840 1120 6655 0 153036 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 651204 KiB
Current children cumulated memory: 615360 KiB
[startup+6.30036 s]
/proc/loadavg: 5.10 5.22 5.89 6/253 74030
/proc/meminfo: memFree=123806124/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=651204 memory=615360 CPUtime=6.26 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 110653 0 0 0 593 33 0 0 20 0 1 0 66543499 666832896 153840 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 162801 153840 1120 6655 0 153036 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 651204 KiB
Current children cumulated memory: 615360 KiB
[startup+12.7004 s]
/proc/loadavg: 5.09 5.22 5.89 6/254 74031
/proc/meminfo: memFree=123192552/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=2061364 memory=1753052 CPUtime=12.63 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 213046 0 0 0 1196 67 0 0 20 0 2 0 66543499 2110836736 438263 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 515341 438263 2880 6655 0 489224 0
[pid=74029/tid=74031] ppid=74026 vsize=2061364 memory=6248 CPUtime=0 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) S 74026 74029 69270 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 66544593 2110836736 438263 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2061364 KiB
Current children cumulated memory: 1753052 KiB
[startup+25.5004 s]
/proc/loadavg: 5.15 5.22 5.88 6/254 74031
/proc/meminfo: memFree=122314308/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=2464084 memory=2099436 CPUtime=25.41 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 284532 0 0 0 2450 91 0 0 20 0 2 0 66543499 2523222016 524859 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 616021 524859 3168 6655 0 589904 0
[pid=74029/tid=74031] ppid=74026 vsize=2464084 memory=2096492 CPUtime=0 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) S 74026 74029 69270 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 66544593 2523222016 524859 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2464084 KiB
Current children cumulated memory: 2099436 KiB
[startup+51.1131 s]
/proc/loadavg: 5.10 5.20 5.85 6/254 74032
/proc/meminfo: memFree=122280556/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=2495236 memory=2133048 CPUtime=50.96 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 301299 0 0 0 5003 93 0 0 20 0 2 0 66543499 2555121664 533262 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 623809 533262 3168 6655 0 597692 0
[pid=74029/tid=74031] ppid=74026 vsize=2495236 memory=2133048 CPUtime=0 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) S 74026 74029 69270 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 66544593 2555121664 533262 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2495236 KiB
Current children cumulated memory: 2133048 KiB
[startup+102.301 s]
/proc/loadavg: 5.09 5.18 5.81 6/254 74033
/proc/meminfo: memFree=122268988/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=2495236 memory=2133176 CPUtime=102.03 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 305801 0 0 0 10109 94 0 0 20 0 2 0 66543499 2555121664 533294 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 623809 533294 3168 6655 0 597692 0
[pid=74029/tid=74031] ppid=74026 vsize=2495236 memory=16624 CPUtime=0 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) S 74026 74029 69270 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 66544593 2555121664 533294 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2495236 KiB
Current children cumulated memory: 2133176 KiB
[startup+162.3 s]
/proc/loadavg: 5.35 5.23 5.79 7/254 74035
/proc/meminfo: memFree=120464484/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=4360768 memory=3834736 CPUtime=184.53 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 615842 0 0 0 18257 196 0 0 20 0 2 0 66543499 4465426432 958684 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1090192 958684 3392 6655 0 1071320 0
[pid=74029/tid=74031] ppid=74026 vsize=4360768 memory=2761132 CPUtime=27.93 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 73011 0 0 0 2763 30 0 0 20 0 2 0 66544593 4465426432 958684 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 184.53 s
Current children cumulated vsize: 4360768 KiB
Current children cumulated memory: 3834736 KiB
[startup+222.3 s]
/proc/loadavg: 5.82 5.39 5.81 7/254 74038
/proc/meminfo: memFree=120337100/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=4569440 memory=4064644 CPUtime=303.71 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 684270 0 0 0 30156 215 0 0 20 0 2 0 66543499 4679106560 1016161 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1142360 1016161 3392 6655 0 1123488 0
[pid=74029/tid=74031] ppid=74026 vsize=4569440 memory=4063364 CPUtime=87.74 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 105402 0 0 0 8740 34 0 0 20 0 2 0 66544593 4679106560 1016161 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 303.71 s
Current children cumulated vsize: 4569440 KiB
Current children cumulated memory: 4064644 KiB
[startup+282.3 s]
/proc/loadavg: 6.04 5.53 5.83 7/254 74040
/proc/meminfo: memFree=120072212/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=4797928 memory=4314772 CPUtime=422.87 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 756527 0 0 0 42045 242 0 0 20 0 2 0 66543499 4913078272 1078693 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1199482 1078693 3392 6655 0 1181923 0
[pid=74029/tid=74031] ppid=74026 vsize=4797928 memory=4180312 CPUtime=147.53 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 157879 0 0 0 14698 55 0 0 20 0 2 0 66544593 4913078272 1078693 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 422.87 s
Current children cumulated vsize: 4797928 KiB
Current children cumulated memory: 4314772 KiB
[startup+342.3 s]
/proc/loadavg: 6.45 5.73 5.88 8/254 74042
/proc/meminfo: memFree=114999648/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=5301200 memory=4814296 CPUtime=542.01 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 831732 0 0 0 53896 305 0 0 20 0 2 0 66543499 5428428800 1203574 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1325300 1203574 3392 6655 0 1307741 0
[pid=74029/tid=74031] ppid=74026 vsize=5301200 memory=4180312 CPUtime=207.31 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 217620 0 0 0 20622 109 0 0 20 0 2 0 66544593 5428428800 1203574 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 542.01 s
Current children cumulated vsize: 5301200 KiB
Current children cumulated memory: 4814296 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=74029] ppid=74026 vsize=7872168 memory=7728660 CPUtime=3150.96 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 3056778 0 0 0 313975 1121 0 0 20 0 2 0 66543499 8061100032 1932165 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1968042 1932165 3456 6655 0 1950476 0
[pid=74029/tid=74031] ppid=74026 vsize=7872168 memory=7679884 CPUtime=1448.66 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 1105420 0 0 0 144138 728 0 0 20 0 2 0 66544593 8061100032 1932165 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3150.96 s
Current children cumulated vsize: 7872168 KiB
Current children cumulated memory: 7728660 KiB
[startup+1782.3 s]
/proc/loadavg: 7.00 6.81 6.69 7/253 75278
/proc/meminfo: memFree=102423752/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=7872168 memory=7728660 CPUtime=3269.94 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 3077276 0 0 0 325871 1123 0 0 20 0 2 0 66543499 8061100032 1932165 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1968042 1932165 3456 6655 0 1950476 0
[pid=74029/tid=74031] ppid=74026 vsize=7872168 memory=16624 CPUtime=1507.95 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 1125907 0 0 0 150066 729 0 0 20 0 2 0 66544593 8061100032 1932165 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3269.94 s
Current children cumulated vsize: 7872168 KiB
Current children cumulated memory: 7728660 KiB
[startup+1842.3 s]
/proc/loadavg: 5.31 6.39 6.56 3/241 75328
/proc/meminfo: memFree=121404404/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=7943636 memory=7798424 CPUtime=3379.54 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3296172 0 0 0 336807 1147 0 0 20 0 2 0 66543499 8134283264 1949606 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1985909 1949606 3456 6655 0 1968343 0
[pid=74029/tid=74031] ppid=74026 vsize=7943636 memory=7728660 CPUtime=1560.88 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 1186788 0 0 0 155345 743 0 0 20 0 2 0 66544593 8134283264 1949606 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3379.54 s
Current children cumulated vsize: 7943636 KiB
Current children cumulated memory: 7798424 KiB
[startup+1902.3 s]
/proc/loadavg: 3.33 5.63 6.29 3/241 75330
/proc/meminfo: memFree=121624768/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=7907580 memory=7772636 CPUtime=3441.66 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 3383342 0 0 0 342973 1193 0 0 20 0 2 0 66543499 8097361920 1943159 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1976895 1943159 3456 6655 0 1959329 0
[pid=74029/tid=74031] ppid=74026 vsize=7907580 memory=7728660 CPUtime=1582.91 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) S 74026 74029 69270 0 -1 4194368 1225578 0 0 0 157509 782 0 0 20 0 2 0 66544593 8097361920 1943159 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3441.66 s
Current children cumulated vsize: 7907580 KiB
Current children cumulated memory: 7772636 KiB
[startup+1962.3 s]
/proc/loadavg: 2.60 5.00 6.03 3/241 75332
/proc/meminfo: memFree=121904996/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=7943640 memory=7798456 CPUtime=3502.47 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3469724 0 0 0 348980 1267 0 0 20 0 2 0 66543499 8134287360 1949614 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1985910 1949614 3456 6655 0 1968344 0
[pid=74029/tid=74031] ppid=74026 vsize=7943640 memory=7798456 CPUtime=1619.05 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 1265343 0 0 0 161054 851 0 0 20 0 2 0 66544593 8134287360 1949614 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3502.47 s
Current children cumulated vsize: 7943640 KiB
Current children cumulated memory: 7798456 KiB
[startup+2022.3 s]
/proc/loadavg: 2.28 4.46 5.78 3/241 75334
/proc/meminfo: memFree=121934132/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=7907580 memory=7772636 CPUtime=3563.58 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) R 74026 74029 69270 0 -1 4194304 3554412 0 0 0 355007 1351 0 0 20 0 2 0 66543499 8097361920 1943159 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1976895 1943159 3456 6655 0 1959329 0
[pid=74029/tid=74031] ppid=74026 vsize=7907580 memory=16624 CPUtime=1659.65 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 1321124 0 0 0 165035 930 0 0 20 0 2 0 66544593 8097361920 1943159 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3563.58 s
Current children cumulated vsize: 7907580 KiB
Current children cumulated memory: 7772636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2058.1 s]
/proc/loadavg: 2.23 4.21 5.64 3/240 75334
/proc/meminfo: memFree=121912772/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=7943640 memory=7798456 CPUtime=3600.08 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3598505 0 0 0 358608 1400 0 0 20 0 2 0 66543499 8134287360 1949614 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1985910 1949614 3456 6655 0 1968344 0
[pid=74029/tid=74031] ppid=74026 vsize=7943640 memory=7772636 CPUtime=1681.44 cores=4,6
/proc/74029/task/74031/stat : 74031 (LSIPExact) R 74026 74029 69270 0 -1 4194368 1342360 0 0 0 167168 976 0 0 20 0 2 0 66544593 8134287360 1949614 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7943640 KiB
Current children cumulated memory: 7798456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2060.25 s]
# the end of solver process 74029 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.42 s, system=14.2265 s
[startup+2060.25 s]
# the end of solver process 75336 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3587.61 s, system=14.6432 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+2059.2 s]
/proc/loadavg: 2.21 4.17 5.62 3/240 75336
/proc/meminfo: memFree=122606688/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=6733744 memory=6565052 CPUtime=3600.5 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3641542 227 0 0 358641 1409 0 0 20 0 1 0 66543499 6895353856 1641263 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1683436 1641263 3488 6655 0 1665870 0
[pid=75336] ppid=74029 vsize=610972 memory=591044 CPUtime=0.67 cores=4,6
/proc/75336/stat : 75336 (Exact) R 74029 75336 75336 0 -1 4194304 35772 0 0 0 43 24 0 0 20 0 1 0 66749348 625635328 147729 18446744073709551615 4198400 8335837 140732053973904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19030016 140732053977268 140732053977629 140732053977629 140732053983183 0
/proc/75336/statm: 152743 147729 960 1011 0 151510 0
Current children cumulated CPU time: 3601.17 s
Current children cumulated vsize: 7344716 KiB
Current children cumulated memory: 7156096 KiB
[startup+2059.6 s]
/proc/loadavg: 2.21 4.17 5.62 3/240 75336
/proc/meminfo: memFree=122606688/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=6733744 memory=6565052 CPUtime=3600.5 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3641542 227 0 0 358641 1409 0 0 20 0 1 0 66543499 6895353856 1641263 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1683436 1641263 3488 6655 0 1665870 0
[pid=75336] ppid=74029 vsize=743028 memory=725100 CPUtime=1.06 cores=4,6
/proc/75336/stat : 75336 (Exact) R 74029 75336 75336 0 -1 4194304 68800 0 0 0 77 29 0 0 20 0 1 0 66749348 760860672 181275 18446744073709551615 4198400 8335837 140732053973904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19030016 140732053977268 140732053977629 140732053977629 140732053983183 0
/proc/75336/statm: 185757 181275 960 1011 0 184524 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 7476772 KiB
Current children cumulated memory: 7290152 KiB
[startup+2060 s]*
/proc/loadavg: 2.21 4.17 5.62 3/240 75336
/proc/meminfo: memFree=122236748/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=6733744 memory=6565052 CPUtime=3600.5 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3641542 227 0 0 358641 1409 0 0 20 0 1 0 66543499 6895353856 1641263 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1683436 1641263 3488 6655 0 1665870 0
[pid=75336] ppid=74029 vsize=907416 memory=891440 CPUtime=1.47 cores=4,6
/proc/75336/stat : 75336 (Exact) R 74029 75336 75336 0 -1 4194304 109349 0 0 0 110 37 0 0 20 0 1 0 66749348 929193984 222860 18446744073709551615 4198400 8335837 140732053973904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19030016 140732053977268 140732053977629 140732053977629 140732053983183 0
/proc/75336/statm: 226854 222860 960 1011 0 225621 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 7641160 KiB
Current children cumulated memory: 7456492 KiB
[startup+2060.11 s]
/proc/loadavg: 2.21 4.17 5.62 3/240 75336
/proc/meminfo: memFree=122236748/131382120 swapFree=33010416/33010684
[pid=74029] ppid=74026 vsize=6733744 memory=6565052 CPUtime=3600.5 cores=4,6
/proc/74029/stat : 74029 (LSIPExact) S 74026 74029 69270 0 -1 4194304 3641542 227 0 0 358641 1409 0 0 20 0 1 0 66543499 6895353856 1641263 18446744073709551615 94406671138816 94406698395217 140730031892048 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94406706898056 94406707329664 94406730588160 140730031896922 140730031897098 140730031897098 140730031902700 0
/proc/74029/statm: 1683436 1641263 3488 6655 0 1665870 0
[pid=75336] ppid=74029 vsize=947808 memory=933936 CPUtime=1.58 cores=4,6
/proc/75336/stat : 75336 (Exact) R 74029 75336 75336 0 -1 4194304 119459 0 0 0 119 39 0 0 20 0 1 0 66749348 970555392 233452 18446744073709551615 4198400 8335837 140732053973904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19030016 140732053977268 140732053977629 140732053977629 140732053983183 0
/proc/75336/statm: 236952 233484 960 1011 0 235719 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 7681552 KiB
Current children cumulated memory: 7498988 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2060.25
CPU time (s): 3602.25
CPU user time (s): 3587.61
CPU system time (s): 14.6432
CPU usage (%): 174.845
Max. virtual memory (cumulated for all children) (KiB): 8416024
Max. memory (cumulated for all children) (KiB): 7870400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.61
system time used= 14.6432
maximum resident set size= 7871960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761240
page faults= 0
swaps= 0
block input operations= 44240
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 917
involuntary context switches= 28610
# summary of solver processes directly reported to runsolver:
# pid: 74029,75336
# total CPU time (s): 3602.25
# total CPU user time (s): 3587.61
# total CPU system time (s): 14.6432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08647 second user time and 11.6238 second system time
The end
Begin job on nodeC003 at 2025-07-03 04:10:48
IDJOB=4519409
IDBENCH=177254
IDSOLVER=3336
FILE ID=nodeC003/4519409-1751508647
RUNJOBID= nodeC003-1751500320-69281
SLURM_JOB_ID= 9598582
Free space on /tmp= 431812 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519409-1751508647/watcher-4519409-1751508647 -o /tmp/evaluation-result-4519409-1751508647/solver-4519409-1751508647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69281 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4519409-1751508647.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8850f77d674f2f3b7ac0e06d3d8c373
RANDOM SEED=555860570
nodeC003 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 : 3661.344
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.44
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 : 3591.496
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.44
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.551
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.44
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 : 3591.477
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.44
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 : 1995.263
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.721
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.44
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 : 3700.000
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.44
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 : 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 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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124411148 kB
MemAvailable: 124622504 kB
Buffers: 2736 kB
Cached: 1008600 kB
SwapCached: 36 kB
Active: 5863920 kB
Inactive: 516564 kB
Active(anon): 5379464 kB
Inactive(anon): 7608 kB
Active(file): 484456 kB
Inactive(file): 508956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66768 kB
Writeback: 0 kB
AnonPages: 5369820 kB
Mapped: 142496 kB
Shmem: 17924 kB
KReclaimable: 115140 kB
Slab: 200192 kB
SReclaimable: 115140 kB
SUnreclaim: 85052 kB
KernelStack: 4080 kB
PageTables: 13844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6590744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3475456 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431912 MiB
End job on nodeC003 at 2025-07-03 04:45:09