runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62673 MiB free)
memory of node 1: 64465 MiB (63958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486503-1751317047/watcher-4486503-1751317047 -o /tmp/evaluation-result-4486503-1751317047/solver-4486503-1751317047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41925 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486503-1751317047.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=42356, runsolver pid=42353
[startup+0.100056 s]*
/proc/loadavg: 7.80 8.08 7.56 5/265 42357
/proc/meminfo: memFree=129668448/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=0.09 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 9 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+0.205077 s]*
/proc/loadavg: 7.80 8.08 7.56 5/265 42357
/proc/meminfo: memFree=129668372/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=0.19 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 19 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+0.304691 s]*
/proc/loadavg: 7.80 8.08 7.56 5/265 42357
/proc/meminfo: memFree=129668372/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=0.28 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 28 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+0.700098 s]
/proc/loadavg: 7.80 8.08 7.56 4/260 42358
/proc/meminfo: memFree=129868160/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=0.67 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 67 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+1.50011 s]
/proc/loadavg: 7.80 8.08 7.56 6/260 42394
/proc/meminfo: memFree=129848192/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=1.47 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 147 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+3.10532 s]
/proc/loadavg: 7.80 8.08 7.56 6/263 42404
/proc/meminfo: memFree=129804628/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=3.07 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 307 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+6.3001 s]
/proc/loadavg: 7.49 8.01 7.54 6/265 42449
/proc/meminfo: memFree=129794692/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=43412 memory=9088 CPUtime=6.26 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 1214 0 0 0 626 0 0 0 20 0 1 0 47382162 44453888 2272 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 10853 2272 1216 6655 0 1088 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 9088 KiB
[startup+12.7002 s]
/proc/loadavg: 7.29 7.96 7.53 8/267 42452
/proc/meminfo: memFree=129636880/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=143084 memory=52756 CPUtime=15.24 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 9698 0 0 0 1523 1 0 0 20 0 2 0 47382162 146518016 13189 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 35771 13189 3520 6655 0 11469 0
[pid=42356/tid=42451] ppid=42353 vsize=143084 memory=51860 CPUtime=2.59 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 2090 0 0 0 259 0 0 0 20 0 2 0 47383163 146518016 13189 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 15.24 s
Current children cumulated vsize: 143084 KiB
Current children cumulated memory: 52756 KiB
[startup+25.5002 s]
/proc/loadavg: 7.38 7.95 7.53 9/268 42453
/proc/meminfo: memFree=129429564/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=152492 memory=77204 CPUtime=40.69 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 27136 0 0 0 4066 3 0 0 20 0 2 0 47382162 156151808 19301 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 38123 19301 3520 6655 0 17600 0
[pid=42356/tid=42451] ppid=42353 vsize=152492 memory=65684 CPUtime=15.27 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 10905 0 0 0 1526 1 0 0 20 0 2 0 47383163 156151808 19301 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 40.69 s
Current children cumulated vsize: 152492 KiB
Current children cumulated memory: 77204 KiB
[startup+51.1058 s]
/proc/loadavg: 7.59 7.95 7.55 9/268 42453
/proc/meminfo: memFree=129354528/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=171888 memory=96716 CPUtime=91.19 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 58967 0 0 0 9113 6 0 0 20 0 2 0 47382162 176013312 24179 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 42972 24179 3520 6655 0 23141 0
[pid=42356/tid=42451] ppid=42353 vsize=171888 memory=96716 CPUtime=40.33 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 21263 0 0 0 4031 2 0 0 20 0 2 0 47383163 176013312 24179 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 91.19 s
Current children cumulated vsize: 171888 KiB
Current children cumulated memory: 96716 KiB
[startup+102.3 s]
/proc/loadavg: 7.87 7.97 7.58 9/267 42455
/proc/meminfo: memFree=129250960/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=189488 memory=134732 CPUtime=192.97 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 82064 0 0 0 19288 9 0 0 20 0 2 0 47382162 194035712 33683 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 47372 33683 3520 6655 0 32641 0
[pid=42356/tid=42451] ppid=42353 vsize=189488 memory=134732 CPUtime=91.05 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 34117 0 0 0 9101 4 0 0 20 0 2 0 47383163 194035712 33683 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 192.97 s
Current children cumulated vsize: 189488 KiB
Current children cumulated memory: 134732 KiB
[startup+162.3 s]
/proc/loadavg: 8.05 8.01 7.62 9/266 42457
/proc/meminfo: memFree=129112808/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=212428 memory=178252 CPUtime=312.24 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 106214 0 0 0 31212 12 0 0 20 0 2 0 47382162 217526272 44563 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 53107 44563 3520 6655 0 43197 0
[pid=42356/tid=42451] ppid=42353 vsize=212428 memory=178252 CPUtime=150.49 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 47006 0 0 0 15044 5 0 0 20 0 2 0 47383163 217526272 44563 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 312.24 s
Current children cumulated vsize: 212428 KiB
Current children cumulated memory: 178252 KiB
[startup+222.3 s]
/proc/loadavg: 8.07 8.02 7.65 9/266 42470
/proc/meminfo: memFree=128959536/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=306192 memory=226912 CPUtime=431.53 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 124607 0 0 0 43138 15 0 0 20 0 2 0 47382162 313540608 56728 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 76548 56728 3520 6655 0 55403 0
[pid=42356/tid=42451] ppid=42353 vsize=306192 memory=196064 CPUtime=209.92 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 53843 0 0 0 20986 6 0 0 20 0 2 0 47383163 313540608 56728 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 431.53 s
Current children cumulated vsize: 306192 KiB
Current children cumulated memory: 226912 KiB
[startup+282.3 s]
/proc/loadavg: 8.02 8.02 7.67 8/266 42472
/proc/meminfo: memFree=128683760/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=335500 memory=290144 CPUtime=550.82 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 141756 0 0 0 55064 18 0 0 20 0 2 0 47382162 343552000 72536 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 83875 72536 3520 6655 0 71269 0
[pid=42356/tid=42451] ppid=42353 vsize=335500 memory=266720 CPUtime=269.38 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 62878 0 0 0 26930 8 0 0 20 0 2 0 47383163 343552000 72536 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 550.82 s
Current children cumulated vsize: 335500 KiB
Current children cumulated memory: 290144 KiB
[startup+342.3 s]
/proc/loadavg: 8.03 8.01 7.70 9/266 42474
/proc/meminfo: memFree=128471380/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=435068 memory=357904 CPUtime=670.14 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 173747 0 0 0 66990 24 0 0 20 0 2 0 47382162 445509632 89476 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 108767 89476 3520 6655 0 88104 0
[pid=42356/tid=42451] ppid=42353 vsize=435068 memory=266720 CPUtime=328.84 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 79887 0 0 0 32874 10 0 0 20 0 2 0 47383163 445509632 89476 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 670.14 s
Current children cumulated vsize: 435068 KiB
Current children cumulated memory: 357904 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 312304 0 0 0 133878 56 0 0 20 0 2 0 47383163 1782013952 410684 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 2697.91 s
Current children cumulated vsize: 1740248 KiB
Current children cumulated memory: 1642736 KiB
[startup+1422.3 s]
/proc/loadavg: 8.09 8.09 8.00 9/267 42527
/proc/meminfo: memFree=126040564/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=1776328 memory=1715696 CPUtime=2817.21 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 666787 0 0 0 281606 115 0 0 20 0 2 0 47382162 1818959872 428924 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 444082 428924 3520 6655 0 427538 0
[pid=42356/tid=42451] ppid=42353 vsize=1776328 memory=1566064 CPUtime=1398.8 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 327802 0 0 0 139821 59 0 0 20 0 2 0 47383163 1818959872 428924 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 2817.21 s
Current children cumulated vsize: 1776328 KiB
Current children cumulated memory: 1715696 KiB
[startup+1482.3 s]
/proc/loadavg: 8.13 8.10 8.01 9/268 42541
/proc/meminfo: memFree=125804200/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=1885008 memory=1813900 CPUtime=2936.47 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 707093 0 0 0 293523 124 0 0 20 0 2 0 47382162 1930248192 453475 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 471252 453475 3520 6655 0 452069 0
[pid=42356/tid=42451] ppid=42353 vsize=1885008 memory=1753328 CPUtime=1458.24 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 349552 0 0 0 145761 63 0 0 20 0 2 0 47383163 1930248192 453475 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 2936.47 s
Current children cumulated vsize: 1885008 KiB
Current children cumulated memory: 1813900 KiB
[startup+1542.3 s]
/proc/loadavg: 8.22 8.13 8.02 9/268 42543
/proc/meminfo: memFree=125559484/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=1922628 memory=1879564 CPUtime=3055.72 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 737868 0 0 0 305440 132 0 0 20 0 2 0 47382162 1968771072 469891 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 480657 469891 3520 6655 0 468450 0
[pid=42356/tid=42451] ppid=42353 vsize=1922628 memory=1878668 CPUtime=1517.7 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 362940 0 0 0 151701 69 0 0 20 0 2 0 47383163 1968771072 469891 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 3055.72 s
Current children cumulated vsize: 1922628 KiB
Current children cumulated memory: 1879564 KiB
[startup+1602.3 s]
/proc/loadavg: 8.12 8.12 8.02 9/268 42545
/proc/meminfo: memFree=125315060/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2045540 memory=1988620 CPUtime=3174.98 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 787049 0 0 0 317356 142 0 0 20 0 2 0 47382162 2094632960 497155 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 511385 497155 3520 6655 0 495943 0
[pid=42356/tid=42451] ppid=42353 vsize=2045540 memory=1880332 CPUtime=1577.14 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 387548 0 0 0 157640 74 0 0 20 0 2 0 47383163 2094632960 497155 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 3174.98 s
Current children cumulated vsize: 2045540 KiB
Current children cumulated memory: 1988620 KiB
[startup+1662.3 s]
/proc/loadavg: 8.15 8.12 8.03 9/269 42554
/proc/meminfo: memFree=125149056/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2054424 memory=2007436 CPUtime=3294.24 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 828452 0 0 0 329278 146 0 0 20 0 2 0 47382162 2103730176 501859 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 513606 501859 3520 6655 0 500693 0
[pid=42356/tid=42451] ppid=42353 vsize=2054424 memory=1880332 CPUtime=1636.6 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 396359 0 0 0 163584 76 0 0 20 0 2 0 47383163 2103730176 501859 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 3294.24 s
Current children cumulated vsize: 2054424 KiB
Current children cumulated memory: 2007436 KiB
[startup+1722.3 s]
/proc/loadavg: 8.11 8.12 8.03 9/269 42556
/proc/meminfo: memFree=124902888/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2162192 memory=2093068 CPUtime=3413.5 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 865232 0 0 0 341196 154 0 0 20 0 2 0 47382162 2214084608 523267 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 540548 523267 3520 6655 0 521845 0
[pid=42356/tid=42451] ppid=42353 vsize=2162192 memory=1880332 CPUtime=1696.05 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 413450 0 0 0 169526 79 0 0 20 0 2 0 47383163 2214084608 523267 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 3413.5 s
Current children cumulated vsize: 2162192 KiB
Current children cumulated memory: 2093068 KiB
[startup+1782.3 s]
/proc/loadavg: 8.16 8.12 8.03 9/267 42558
/proc/meminfo: memFree=124692184/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2271340 memory=2180264 CPUtime=3532.77 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 911712 0 0 0 353115 162 0 0 20 0 2 0 47382162 2325852160 545066 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 567835 545066 3520 6655 0 543710 0
[pid=42356/tid=42451] ppid=42353 vsize=2271340 memory=14848 CPUtime=1755.51 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 437657 0 0 0 175467 84 0 0 20 0 2 0 47383163 2325852160 545066 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 3532.77 s
Current children cumulated vsize: 2271340 KiB
Current children cumulated memory: 2180264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.2 s]
/proc/loadavg: 7.94 8.08 8.02 8/267 42608
/proc/meminfo: memFree=127186328/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2291392 memory=2219944 CPUtime=3600.16 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) R 42353 42356 41913 0 -1 4194304 940678 0 0 0 359850 166 0 0 20 0 2 0 47382162 2346385408 554986 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 572848 554986 3520 6655 0 553584 0
[pid=42356/tid=42451] ppid=42353 vsize=2291392 memory=9856 CPUtime=1789.1 cores=1,3
/proc/42356/task/42451/stat : 42451 (LSIPExact) R 42353 42356 41913 0 -1 4194368 452863 0 0 0 178824 86 0 0 20 0 2 0 47383163 2346385408 554986 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 2291392 KiB
Current children cumulated memory: 2219944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1818.29 s]
# the end of solver process 42356 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3600.39 s, system=1.83145 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 7.94 8.08 8.02 7/267 42610
/proc/meminfo: memFree=127208704/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2291392 memory=2196588 CPUtime=3600.33 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) S 42353 42356 41913 0 -1 4194304 1066003 229 0 0 359860 173 0 0 20 0 1 0 47382162 2346385408 549147 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 572848 549147 3584 6655 0 553584 0
[pid=42610] ppid=42356 vsize=37976 memory=20448 CPUtime=1.19 cores=1,3
/proc/42610/stat : 42610 (Exact) R 42356 42610 42610 0 -1 4194304 3742 0 0 0 118 1 0 0 20 0 1 0 47563800 38887424 5112 18446744073709551615 4198400 8335837 140721122441056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29528064 140721122449588 140721122449949 140721122449949 140721122455503 0
/proc/42610/statm: 9494 5112 1120 1011 0 8261 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 2329368 KiB
Current children cumulated memory: 2217036 KiB
[startup+1818 s]*
/proc/loadavg: 7.94 8.08 8.02 7/267 42610
/proc/meminfo: memFree=127208980/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2291392 memory=2196588 CPUtime=3600.33 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) S 42353 42356 41913 0 -1 4194304 1066003 229 0 0 359860 173 0 0 20 0 1 0 47382162 2346385408 549147 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 572848 549147 3584 6655 0 553584 0
[pid=42610] ppid=42356 vsize=40444 memory=22752 CPUtime=1.59 cores=1,3
/proc/42610/stat : 42610 (Exact) R 42356 42610 42610 0 -1 4194304 4288 0 0 0 158 1 0 0 20 0 1 0 47563800 41414656 5688 18446744073709551615 4198400 8335837 140721122441056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29528064 140721122449588 140721122449949 140721122449949 140721122455503 0
/proc/42610/statm: 10111 5688 1120 1011 0 8878 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 2331836 KiB
Current children cumulated memory: 2219340 KiB
[startup+1818.2 s]
/proc/loadavg: 7.94 8.08 8.02 7/267 42610
/proc/meminfo: memFree=127208980/131249996 swapFree=33010416/33010684
[pid=42356] ppid=42353 vsize=2291392 memory=2196588 CPUtime=3600.33 cores=1,3
/proc/42356/stat : 42356 (LSIPExact) S 42353 42356 41913 0 -1 4194304 1066003 229 0 0 359860 173 0 0 20 0 1 0 47382162 2346385408 549147 18446744073709551615 94624419835904 94624447092305 140731357624384 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94624455595144 94624456026752 94624478982144 140731357632858 140731357633034 140731357633034 140731357638636 0
/proc/42356/statm: 572848 549147 3584 6655 0 553584 0
[pid=42610] ppid=42356 vsize=40880 memory=25188 CPUtime=1.78 cores=1,3
/proc/42610/stat : 42610 (Exact) R 42356 42610 42610 0 -1 4194304 4390 0 0 0 177 1 0 0 20 0 1 0 47563800 41861120 6297 18446744073709551615 4198400 8335837 140721122441056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29528064 140721122449588 140721122449949 140721122449949 140721122455503 0
/proc/42610/statm: 10220 6297 1120 1011 0 8987 0
Current children cumulated CPU time: 3602.11 s
Current children cumulated vsize: 2332272 KiB
Current children cumulated memory: 2221776 KiB
Child status: 0
Real time (s): 1818.29
CPU time (s): 3602.22
CPU user time (s): 3600.39
CPU system time (s): 1.83145
CPU usage (%): 198.111
Max. virtual memory (cumulated for all children) (KiB): 2332272
Max. memory (cumulated for all children) (KiB): 2221776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.39
system time used= 1.83146
maximum resident set size= 2220200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1070632
page faults= 0
swaps= 0
block input operations= 400
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 588
involuntary context switches= 73326
# summary of solver processes directly reported to runsolver:
# pid: 42356
# total CPU time (s): 3602.22
# total CPU user time (s): 3600.39
# total CPU system time (s): 1.83145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67512 second user time and 7.91526 second system time
The end
Begin job on nodeC015 at 2025-06-30 22:57:27
IDJOB=4486503
IDBENCH=147022
IDSOLVER=3336
FILE ID=nodeC015/4486503-1751317047
RUNJOBID= nodeC015-1751315214-41925
SLURM_JOB_ID= 9594330
Free space on /tmp= 432884 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_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-4486503-1751317047/watcher-4486503-1751317047 -o /tmp/evaluation-result-4486503-1751317047/solver-4486503-1751317047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41925 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486503-1751317047.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=451008688
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.080
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.093
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.626
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129672164 kB
MemAvailable: 129463484 kB
Buffers: 2128 kB
Cached: 580420 kB
SwapCached: 24 kB
Active: 613928 kB
Inactive: 277264 kB
Active(anon): 306612 kB
Inactive(anon): 20084 kB
Active(file): 307316 kB
Inactive(file): 257180 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44908 kB
Writeback: 12 kB
AnonPages: 309780 kB
Mapped: 125280 kB
Shmem: 18052 kB
KReclaimable: 132128 kB
Slab: 220520 kB
SReclaimable: 132128 kB
SUnreclaim: 88392 kB
KernelStack: 4272 kB
PageTables: 3624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 696264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432840 MiB
End job on nodeC015 at 2025-06-30 23:27:45