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: 63665 MiB (61910 MiB free)
memory of node 1: 64507 MiB (60276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527322-1752232206/watcher-4527322-1752232206 -o /tmp/evaluation-result-4527322-1752232206/solver-4527322-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752232205-113966 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527322-1752232206.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
solver pid=114010, runsolver pid=114002
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.11 0.09 0.09 6/264 114016
/proc/meminfo: memFree=125068996/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=0.09 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 9 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+0.204732 s]*
/proc/loadavg: 0.11 0.09 0.09 6/264 114016
/proc/meminfo: memFree=125044556/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=0.19 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 19 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+0.304608 s]*
/proc/loadavg: 0.11 0.09 0.09 6/262 114016
/proc/meminfo: memFree=125044316/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=0.29 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 29 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+0.700106 s]
/proc/loadavg: 0.11 0.09 0.09 5/265 114021
/proc/meminfo: memFree=125004816/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=0.68 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 68 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+1.5001 s]
/proc/loadavg: 0.11 0.09 0.09 6/267 114026
/proc/meminfo: memFree=124535648/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=1.48 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 148 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+3.1045 s]
/proc/loadavg: 0.11 0.09 0.09 5/267 114026
/proc/meminfo: memFree=123871016/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=3.08 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 308 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+6.30009 s]
/proc/loadavg: 0.42 0.16 0.11 5/267 114026
/proc/meminfo: memFree=123847648/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=43408 memory=8832 CPUtime=6.27 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1208 0 0 0 627 0 0 0 20 0 1 0 138898416 44449792 2208 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 10852 2208 1152 6655 0 1087 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 8832 KiB
[startup+12.7001 s]
/proc/loadavg: 0.71 0.22 0.13 7/265 114037
/proc/meminfo: memFree=122747784/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=142580 memory=51836 CPUtime=15.23 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 9571 0 0 0 1521 2 0 0 20 0 2 0 138898416 146001920 12959 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 35645 12959 3392 6655 0 11302 0
[pid=114010/tid=114027] ppid=114002 vsize=142580 memory=1163412 CPUtime=2.58 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 2078 0 0 0 258 0 0 0 20 0 2 0 138899418 146001920 12959 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 142580 KiB
Current children cumulated memory: 51836 KiB
[startup+25.5002 s]
/proc/loadavg: 1.96 0.52 0.23 7/267 114039
/proc/meminfo: memFree=122222140/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=149176 memory=68732 CPUtime=40.68 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 25129 0 0 0 4064 4 0 0 20 0 2 0 138898416 152756224 17183 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 37294 17183 3392 6655 0 15538 0
[pid=114010/tid=114027] ppid=114002 vsize=149176 memory=67708 CPUtime=15.25 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 8986 0 0 0 1525 0 0 0 20 0 2 0 138899418 152756224 17183 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 40.68 s
Current children cumulated vsize: 149176 KiB
Current children cumulated memory: 68732 KiB
[startup+51.1055 s]
/proc/loadavg: 3.23 0.93 0.38 8/272 114216
/proc/meminfo: memFree=122109828/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=179336 memory=120952 CPUtime=90.5 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 49738 0 0 0 9039 11 0 0 20 0 2 0 138898416 183640064 30238 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 44834 30238 3424 6655 0 29557 0
[pid=114010/tid=114027] ppid=114002 vsize=179336 memory=120952 CPUtime=40.27 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 20220 0 0 0 4022 5 0 0 20 0 2 0 138899418 183640064 30238 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 90.5 s
Current children cumulated vsize: 179336 KiB
Current children cumulated memory: 120952 KiB
[startup+102.3 s]
/proc/loadavg: 5.41 1.89 0.73 8/272 114355
/proc/meminfo: memFree=121607796/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=196896 memory=156280 CPUtime=192.04 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 63663 0 0 0 19178 26 0 0 20 0 2 0 138898416 201621504 39070 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 49224 39070 3424 6655 0 37251 0
[pid=114010/tid=114027] ppid=114002 vsize=196896 memory=20736 CPUtime=90.91 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 29109 0 0 0 9082 9 0 0 20 0 2 0 138899418 201621504 39070 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 192.04 s
Current children cumulated vsize: 196896 KiB
Current children cumulated memory: 156280 KiB
[startup+162.3 s]
/proc/loadavg: 6.86 2.93 1.16 9/272 114358
/proc/meminfo: memFree=120496524/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=322440 memory=268280 CPUtime=311.28 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 98634 0 0 0 31094 34 0 0 20 0 2 0 138898416 330178560 67070 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 80610 67070 3424 6655 0 65456 0
[pid=114010/tid=114027] ppid=114002 vsize=322440 memory=200696 CPUtime=150.31 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 45241 0 0 0 15017 14 0 0 20 0 2 0 138899418 330178560 67070 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 311.28 s
Current children cumulated vsize: 322440 KiB
Current children cumulated memory: 268280 KiB
[startup+222.3 s]
/proc/loadavg: 7.64 3.87 1.60 9/271 114360
/proc/meminfo: memFree=119918576/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=440196 memory=373624 CPUtime=430.52 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 126603 0 0 0 43009 43 0 0 20 0 2 0 138898416 450760704 93406 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 110049 93406 3424 6655 0 91822 0
[pid=114010/tid=114027] ppid=114002 vsize=440196 memory=342264 CPUtime=209.7 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 59585 0 0 0 20951 19 0 0 20 0 2 0 138899418 450760704 93406 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 430.52 s
Current children cumulated vsize: 440196 KiB
Current children cumulated memory: 373624 KiB
[startup+282.3 s]
/proc/loadavg: 7.98 4.66 2.01 9/271 114362
/proc/meminfo: memFree=119760296/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=573632 memory=515448 CPUtime=549.76 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 172392 0 0 0 54920 56 0 0 20 0 2 0 138898416 587399168 128862 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 143408 128862 3424 6655 0 127686 0
[pid=114010/tid=114027] ppid=114002 vsize=573632 memory=458744 CPUtime=269.11 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 80830 0 0 0 26883 28 0 0 20 0 2 0 138899418 587399168 128862 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 549.76 s
Current children cumulated vsize: 573632 KiB
Current children cumulated memory: 515448 KiB
[startup+342.3 s]
/proc/loadavg: 8.09 5.30 2.40 9/268 114365
/proc/meminfo: memFree=119634916/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=702180 memory=636664 CPUtime=669.01 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 205994 0 0 0 66834 67 0 0 20 0 2 0 138898416 719032320 159166 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 175545 159166 3424 6655 0 157468 0
[pid=114010/tid=114027] ppid=114002 vsize=702180 memory=564856 CPUtime=328.52 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 97673 0 0 0 32818 34 0 0 20 0 2 0 138899418 719032320 159166 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 669.01 s
Current children cumulated vsize: 702180 KiB
Current children cumulated memory: 636664 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=114010/tid=114027] ppid=114002 vsize=2800464 memory=2630700 CPUtime=1457.18 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 441706 0 0 0 145534 184 0 0 20 0 2 0 138899418 2867675136 678891 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 2934.32 s
Current children cumulated vsize: 2800464 KiB
Current children cumulated memory: 2715564 KiB
[startup+1542.3 s]
/proc/loadavg: 7.12 7.13 6.01 8/269 114424
/proc/meminfo: memFree=116888864/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=2919852 memory=2822108 CPUtime=3053.57 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 955493 0 0 0 305045 312 0 0 20 0 2 0 138898416 2989928448 705527 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 729963 705527 3424 6655 0 703873 0
[pid=114010/tid=114027] ppid=114002 vsize=2919852 memory=2811692 CPUtime=1516.6 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 460842 0 0 0 151465 195 0 0 20 0 2 0 138899418 2989928448 705527 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 3053.57 s
Current children cumulated vsize: 2919852 KiB
Current children cumulated memory: 2822108 KiB
[startup+1602.3 s]
/proc/loadavg: 7.10 7.12 6.08 8/269 114427
/proc/meminfo: memFree=116769512/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=2972120 memory=2929244 CPUtime=3172.83 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 996467 0 0 0 316960 323 0 0 20 0 2 0 138898416 3043450880 732311 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 743030 732311 3424 6655 0 730657 0
[pid=114010/tid=114027] ppid=114002 vsize=2972120 memory=14824 CPUtime=1576.01 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 480727 0 0 0 157398 203 0 0 20 0 2 0 138899418 3043450880 732311 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 3172.83 s
Current children cumulated vsize: 2972120 KiB
Current children cumulated memory: 2929244 KiB
[startup+1662.3 s]
/proc/loadavg: 7.07 7.11 6.15 8/268 114429
/proc/meminfo: memFree=116601692/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3094076 memory=3040348 CPUtime=3292.07 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1038777 0 0 0 328869 338 0 0 20 0 2 0 138898416 3168333824 760087 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 773519 760087 3424 6655 0 758374 0
[pid=114010/tid=114027] ppid=114002 vsize=3094076 memory=14824 CPUtime=1635.42 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 500331 0 0 0 163330 212 0 0 20 0 2 0 138899418 3168333824 760087 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 3292.07 s
Current children cumulated vsize: 3094076 KiB
Current children cumulated memory: 3040348 KiB
[startup+1722.3 s]
/proc/loadavg: 7.08 7.10 6.21 8/268 114431
/proc/meminfo: memFree=116486596/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3211320 memory=3143900 CPUtime=3411.31 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1078068 0 0 0 340780 351 0 0 20 0 2 0 138898416 3288391680 785975 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 802830 785975 3424 6655 0 784278 0
[pid=114010/tid=114027] ppid=114002 vsize=3211320 memory=14824 CPUtime=1694.83 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 520814 0 0 0 169262 221 0 0 20 0 2 0 138899418 3288391680 785975 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 3411.31 s
Current children cumulated vsize: 3211320 KiB
Current children cumulated memory: 3143900 KiB
[startup+1782.3 s]
/proc/loadavg: 7.07 7.10 6.27 8/268 114433
/proc/meminfo: memFree=116385364/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3329352 memory=3248220 CPUtime=3530.57 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1120384 0 0 0 352692 365 0 0 20 0 2 0 138898416 3409256448 812055 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 832338 812055 3424 6655 0 810432 0
[pid=114010/tid=114027] ppid=114002 vsize=3329352 memory=3240668 CPUtime=1754.24 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 541562 0 0 0 175195 229 0 0 20 0 2 0 138899418 3409256448 812055 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 3530.57 s
Current children cumulated vsize: 3329352 KiB
Current children cumulated memory: 3248220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.3 s]
/proc/loadavg: 7.44 7.18 6.33 8/268 114433
/proc/meminfo: memFree=116313552/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3359312 memory=3308892 CPUtime=3600.12 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1145257 0 0 0 359639 373 0 0 20 0 2 0 138898416 3439935488 827223 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 839828 827223 3424 6655 0 825595 0
[pid=114010/tid=114027] ppid=114002 vsize=3359312 memory=3304540 CPUtime=1788.9 cores=4,6
/proc/114010/task/114027/stat : 114027 (LSIPExact) R 114002 114010 113948 0 -1 4194368 553807 0 0 0 178655 235 0 0 20 0 2 0 138899418 3439935488 827223 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 3359312 KiB
Current children cumulated memory: 3308892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.42 s]
# the end of solver process 114010 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.22 s, system=3.98442 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 7.44 7.18 6.33 8/268 114433
/proc/meminfo: memFree=116313552/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3228240 memory=3184964 CPUtime=3600.43 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) R 114002 114010 113948 0 -1 4194304 1348016 0 0 0 359659 384 0 0 20 0 1 0 138898416 3305717760 796753 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 807060 796241 3456 6655 0 797051 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 3228240 KiB
Current children cumulated memory: 3184964 KiB
[startup+1818.4 s]
/proc/loadavg: 7.44 7.18 6.33 7/268 114435
/proc/meminfo: memFree=116462020/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3228240 memory=3162436 CPUtime=3600.43 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) S 114002 114010 113948 0 -1 4194304 1348020 229 0 0 359659 384 0 0 20 0 1 0 138898416 3305717760 790609 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 807060 790609 3456 6655 0 797051 0
[pid=114435] ppid=114010 vsize=35064 memory=16728 CPUtime=0.73 cores=4,6
/proc/114435/stat : 114435 (Exact) R 114010 114435 114435 0 -1 4194304 3300 0 0 0 72 1 0 0 20 0 1 0 139080180 35905536 4182 18446744073709551615 4198400 8335837 140735087209712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 28024832 140735087216818 140735087217179 140735087217179 140735087222735 0
/proc/114435/statm: 8766 4182 1120 1011 0 7533 0
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 3263304 KiB
Current children cumulated memory: 3179164 KiB
[startup+1818.8 s]
/proc/loadavg: 7.44 7.18 6.33 7/268 114435
/proc/meminfo: memFree=116462020/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3228240 memory=3162436 CPUtime=3600.43 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) S 114002 114010 113948 0 -1 4194304 1348020 229 0 0 359659 384 0 0 20 0 1 0 138898416 3305717760 790609 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 807060 790609 3456 6655 0 797051 0
[pid=114435] ppid=114010 vsize=36788 memory=18264 CPUtime=1.13 cores=4,6
/proc/114435/stat : 114435 (Exact) R 114010 114435 114435 0 -1 4194304 3693 0 0 0 111 2 0 0 20 0 1 0 139080180 37670912 4566 18446744073709551615 4198400 8335837 140735087209712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 28024832 140735087216818 140735087217179 140735087217179 140735087222735 0
/proc/114435/statm: 9197 4566 1120 1011 0 7964 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 3265028 KiB
Current children cumulated memory: 3180700 KiB
[startup+1819.2 s]
/proc/loadavg: 7.44 7.18 6.33 7/268 114435
/proc/meminfo: memFree=116454144/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3228240 memory=3162436 CPUtime=3600.43 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) S 114002 114010 113948 0 -1 4194304 1348020 229 0 0 359659 384 0 0 20 0 1 0 138898416 3305717760 790609 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 807060 790609 3456 6655 0 797051 0
[pid=114435] ppid=114010 vsize=37088 memory=18776 CPUtime=1.53 cores=4,6
/proc/114435/stat : 114435 (Exact) R 114010 114435 114435 0 -1 4194304 3805 0 0 0 151 2 0 0 20 0 1 0 139080180 37978112 4694 18446744073709551615 4198400 8335837 140735087209712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 28024832 140735087216818 140735087217179 140735087217179 140735087222735 0
/proc/114435/statm: 9272 4694 1120 1011 0 8039 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 3265328 KiB
Current children cumulated memory: 3181212 KiB
[startup+1819.3 s]
/proc/loadavg: 7.44 7.18 6.33 7/268 114435
/proc/meminfo: memFree=116454144/131249996 swapFree=33010672/33010684
[pid=114010] ppid=114002 vsize=3228240 memory=3162436 CPUtime=3600.43 cores=4,6
/proc/114010/stat : 114010 (LSIPExact) S 114002 114010 113948 0 -1 4194304 1348020 229 0 0 359659 384 0 0 20 0 1 0 138898416 3305717760 790609 18446744073709551615 94324943556608 94324970813777 140725149680880 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94324979315848 94324979747456 94325001662464 140725149686104 140725149686280 140725149686280 140725149691884 0
/proc/114010/statm: 807060 790609 3456 6655 0 797051 0
[pid=114435] ppid=114010 vsize=37232 memory=18904 CPUtime=1.63 cores=4,6
/proc/114435/stat : 114435 (Exact) R 114010 114435 114435 0 -1 4194304 3837 0 0 0 161 2 0 0 20 0 1 0 139080180 38125568 4726 18446744073709551615 4198400 8335837 140735087209712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 28024832 140735087216818 140735087217179 140735087217179 140735087222735 0
/proc/114435/statm: 9308 4726 1120 1011 0 8075 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 3265472 KiB
Current children cumulated memory: 3181340 KiB
Child status: 0
Real time (s): 1819.42
CPU time (s): 3602.2
CPU user time (s): 3598.22
CPU system time (s): 3.98442
CPU usage (%): 197.986
Max. virtual memory (cumulated for all children) (KiB): 3359312
Max. memory (cumulated for all children) (KiB): 3308892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 3.98442
maximum resident set size= 3309276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1352097
page faults= 0
swaps= 0
block input operations= 408
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 684
involuntary context switches= 64483
# summary of solver processes directly reported to runsolver:
# pid: 114010
# total CPU time (s): 3602.2
# total CPU user time (s): 3598.22
# total CPU system time (s): 3.98442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54394 second user time and 7.35875 second system time
The end
Begin job on nodeC017 at 2025-07-11 13:10:06
IDJOB=4527322
IDBENCH=147020
IDSOLVER=3384
FILE ID=nodeC017/4527322-1752232206
RUNJOBID= nodeC017-1752232205-113966
SLURM_JOB_ID= 9682528
Free space on /tmp= 432464 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527322-1752232206/watcher-4527322-1752232206 -o /tmp/evaluation-result-4527322-1752232206/solver-4527322-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752232205-113966 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527322-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=417534739
nodeC017 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.605
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.12
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 : 3602.612
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.12
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.299
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.12
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.063
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.12
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 : 3700.000
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.12
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 : 3665.889
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.973
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.12
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 : 3600.789
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125143240 kB
MemAvailable: 129717164 kB
Buffers: 1688 kB
Cached: 5340080 kB
SwapCached: 8 kB
Active: 371000 kB
Inactive: 5039808 kB
Active(anon): 71172 kB
Inactive(anon): 15952 kB
Active(file): 299828 kB
Inactive(file): 5023856 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 134760 kB
Writeback: 8 kB
AnonPages: 72160 kB
Mapped: 105708 kB
Shmem: 18072 kB
KReclaimable: 178560 kB
Slab: 272296 kB
SReclaimable: 178560 kB
SUnreclaim: 93736 kB
KernelStack: 4096 kB
PageTables: 2844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 332312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432208 MiB
End job on nodeC017 at 2025-07-11 13:40:26