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: 63931 MiB (61445 MiB free)
memory of node 1: 64510 MiB (62359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450785-1721415774/watcher-4450785-1721415774 -o /tmp/evaluation-result-4450785-1721415774/solver-4450785-1721415774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721410353-1045502 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4450785-1721415774.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1048812, runsolver pid=1048809
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.15 4.17 4.12 5/265 1048816
/proc/meminfo: memFree=126765564/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=27344 memory=14056 CPUtime=0.09 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2477 0 0 0 9 0 0 0 20 0 1 0 193739298 28000256 3514 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 6836 3514 1105 2753 0 3489 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45936 KiB
Current children cumulated memory: 17800 KiB
[startup+0.205972 s]*
/proc/loadavg: 4.15 4.17 4.12 5/265 1048816
/proc/meminfo: memFree=126765396/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=27344 memory=14056 CPUtime=0.2 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2477 0 0 0 20 0 0 0 20 0 1 0 193739298 28000256 3514 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 6836 3514 1105 2753 0 3489 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45936 KiB
Current children cumulated memory: 17800 KiB
[startup+0.305423 s]*
/proc/loadavg: 4.15 4.17 4.12 5/265 1048816
/proc/meminfo: memFree=126765228/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=27344 memory=14056 CPUtime=0.3 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2477 0 0 0 30 0 0 0 20 0 1 0 193739298 28000256 3514 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 6836 3514 1105 2753 0 3489 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45936 KiB
Current children cumulated memory: 17800 KiB
[startup+0.700206 s]
/proc/loadavg: 4.15 4.17 4.12 5/265 1048816
/proc/meminfo: memFree=126765088/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=27344 memory=14056 CPUtime=0.69 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2477 0 0 0 69 0 0 0 20 0 1 0 193739298 28000256 3514 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 6836 3514 1105 2753 0 3489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45936 KiB
Current children cumulated memory: 17800 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.17 4.12 5/265 1048816
/proc/meminfo: memFree=126764968/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=28268 memory=15028 CPUtime=1.49 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2714 0 0 0 146 3 0 0 20 0 1 0 193739298 28946432 3757 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 7067 3757 1153 2753 0 3720 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 18772 KiB
[startup+3.10524 s]
/proc/loadavg: 4.15 4.17 4.12 5/265 1048816
/proc/meminfo: memFree=126763252/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=28268 memory=15028 CPUtime=3.09 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2714 0 0 0 292 17 0 0 20 0 1 0 193739298 28946432 3757 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 7067 3757 1153 2753 0 3720 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 18772 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.17 4.12 5/265 1048819
/proc/meminfo: memFree=126753876/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=28268 memory=15028 CPUtime=6.28 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2714 0 0 0 583 45 0 0 20 0 1 0 193739298 28946432 3757 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 7067 3757 1153 2753 0 3720 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 18772 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.17 4.12 5/265 1048819
/proc/meminfo: memFree=126749408/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=28268 memory=15028 CPUtime=12.66 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2714 0 0 0 1169 97 0 0 20 0 1 0 193739298 28946432 3757 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 7067 3757 1153 2753 0 3720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 18772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 1048821
/proc/meminfo: memFree=126739664/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=28268 memory=15028 CPUtime=25.44 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2714 0 0 0 2333 211 0 0 20 0 1 0 193739298 28946432 3757 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 7067 3757 1153 2753 0 3720 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 18772 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.16 4.12 5/265 1048827
/proc/meminfo: memFree=126723392/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
[pid=1048815] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1048815/stat : 1048815 (timeout) S 1048812 1048815 1045489 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 193739298 8867840 243 134679101440 94859306450944 94859306485960 140725043558144 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94859308583376 94859308585508 94859325431808 140725043561505 140725043561627 140725043561627 140725043568615 0
/proc/1048815/statm: 2165 243 219 9 0 87 0
[pid=1048816] ppid=1048815 vsize=28268 memory=15212 CPUtime=50.99 cores=5,7
/proc/1048816/stat : 1048816 (LS-MabP) R 1048815 1048815 1045489 0 -1 4194304 2735 0 0 0 4661 438 0 0 20 0 1 0 193739298 28946432 3803 134679101440 4194304 15467897 140730356976048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26574848 140730356978741 140730356978850 140730356978850 140730356985838 0
/proc/1048816/statm: 7067 3803 1153 2753 0 3720 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 18956 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/265 1048837
/proc/meminfo: memFree=126700908/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2772 CPUtime=0 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 193739297 10170368 693 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 693 615 264 0 134 0
################
# More data... #
################
/proc/1049940/statm: 15742 12467 820 745 0 14807 0
Current children cumulated CPU time: 2017.42 s
Current children cumulated vsize: 81560 KiB
Current children cumulated memory: 53660 KiB
[startup+2082.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/262 1049990
/proc/meminfo: memFree=126747540/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=65300 memory=56272 CPUtime=283.55 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10362 0 0 0 28353 2 0 0 20 0 1 0 193919098 66867200 14068 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16325 14068 820 745 0 15390 0
Current children cumulated CPU time: 2077.28 s
Current children cumulated vsize: 83892 KiB
Current children cumulated memory: 60064 KiB
[startup+2142.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/262 1050000
/proc/meminfo: memFree=126746012/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=66464 memory=57516 CPUtime=343.42 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10686 0 0 0 34340 2 0 0 20 0 1 0 193919098 68059136 14379 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16616 14379 820 745 0 15681 0
Current children cumulated CPU time: 2137.15 s
Current children cumulated vsize: 85056 KiB
Current children cumulated memory: 61308 KiB
[startup+2159.8 s]
# the end of solver process 1048812 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1998.6 s, system=156.031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2150.4 s]
/proc/loadavg: 4.17 4.17 4.13 5/263 1050003
/proc/meminfo: memFree=126745568/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=66884 memory=58040 CPUtime=351.5 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10777 0 0 0 35148 2 0 0 20 0 1 0 193919098 68489216 14510 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16721 14510 820 745 0 15786 0
Current children cumulated CPU time: 2145.23 s
Current children cumulated vsize: 85476 KiB
Current children cumulated memory: 61832 KiB
[startup+2153.6 s]
/proc/loadavg: 4.17 4.17 4.13 5/263 1050003
/proc/meminfo: memFree=126745112/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=67336 memory=58304 CPUtime=354.7 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10890 0 0 0 35467 3 0 0 20 0 1 0 193919098 68952064 14576 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16834 14576 820 745 0 15899 0
Current children cumulated CPU time: 2148.43 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62096 KiB
[startup+2156.8 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 1050004
/proc/meminfo: memFree=126745036/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=67336 memory=58304 CPUtime=357.89 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10890 0 0 0 35786 3 0 0 20 0 1 0 193919098 68952064 14576 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16834 14576 820 745 0 15899 0
Current children cumulated CPU time: 2151.62 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62096 KiB
[startup+2158.4 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 1050004
/proc/meminfo: memFree=126745028/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=67336 memory=58304 CPUtime=359.49 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10890 0 0 0 35946 3 0 0 20 0 1 0 193919098 68952064 14576 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16834 14576 820 745 0 15899 0
Current children cumulated CPU time: 2153.22 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62096 KiB
[startup+2159.2 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 1050004
/proc/meminfo: memFree=126745036/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=67336 memory=58304 CPUtime=360.29 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10890 0 0 0 36026 3 0 0 20 0 1 0 193919098 68952064 14576 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16834 14576 820 745 0 15899 0
Current children cumulated CPU time: 2154.02 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62096 KiB
[startup+2159.6 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 1050004
/proc/meminfo: memFree=126745036/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=67336 memory=58304 CPUtime=360.69 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10890 0 0 0 36066 3 0 0 20 0 1 0 193919098 68952064 14576 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16834 14576 820 745 0 15899 0
Current children cumulated CPU time: 2154.42 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62096 KiB
[startup+2159.7 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 1050004
/proc/meminfo: memFree=126745036/131524600 swapFree=131071996/131071996
[pid=1048812] ppid=1048809 vsize=9932 memory=2820 CPUtime=1793.73 cores=5,7
/proc/1048812/stat : 1048812 (Hybrid-LSMabP+E) S 1048809 1048812 1045489 0 -1 4194304 268 3060 0 0 0 0 163774 15599 20 0 1 0 193739297 10170368 705 134679101440 94319437836288 94319438915608 140734016341680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94319441014064 94319441061252 94319467315200 140734016345064 140734016345209 140734016345209 140734016352226 0
/proc/1048812/statm: 2483 705 615 264 0 134 0
[pid=1049939] ppid=1048812 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/1049939/stat : 1049939 (timeout) S 1048812 1049939 1045489 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 193919098 8867840 243 134679101440 94573952172032 94573952207048 140735449606256 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94573954304464 94573954306596 94573956866048 140735449609202 140735449609371 140735449609371 140735449616359 0
/proc/1049939/statm: 2165 243 219 9 0 87 0
[pid=1049940] ppid=1049939 vsize=67336 memory=58304 CPUtime=360.79 cores=5,7
/proc/1049940/stat : 1049940 (Exact) R 1049939 1049939 1045489 0 -1 4194304 10890 0 0 0 36076 3 0 0 20 0 1 0 193919098 68952064 14576 134679101440 4194304 7243121 140722424758608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 30609408 140722424763406 140722424763556 140722424763556 140722424770544 0
/proc/1049940/statm: 16834 14576 820 745 0 15899 0
Current children cumulated CPU time: 2154.52 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62096 KiB
Child status: 0
Real time (s): 2159.8
CPU time (s): 2154.63
CPU user time (s): 1998.6
CPU system time (s): 156.031
CPU usage (%): 99.7607
Max. virtual memory (cumulated for all children) (KiB): 85928
Max. memory (cumulated for all children) (KiB): 62096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1998.6
system time used= 156.031
maximum resident set size= 58304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15286
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 936
# summary of solver processes directly reported to runsolver:
# pid: 1048812
# total CPU time (s): 2154.63
# total CPU user time (s): 1998.6
# total CPU system time (s): 156.031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17318 second user time and 9.45063 second system time
The end
Begin job on nodeC017 at 2024-07-19 21:03:07
IDJOB=4450785
IDBENCH=162276
IDSOLVER=3071
FILE ID=nodeC017/4450785-1721415774
RUNJOBID= nodeC017-1721410353-1045502
SLURM_JOB_ID= 7545462
Free space on /tmp= 890020 MiB
SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round21-4.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450785-1721415774/watcher-4450785-1721415774 -o /tmp/evaluation-result-4450785-1721415774/solver-4450785-1721415774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721410353-1045502 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4450785-1721415774.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f504409cca969bd8c5b41a512643c0a3
RANDOM SEED=799581311
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3664.503
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3668.156
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3599.968
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3603.332
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3664.569
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3666.047
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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.685
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3668.908
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126776444 kB
MemAvailable: 129633800 kB
Buffers: 572492 kB
Cached: 3106056 kB
SwapCached: 0 kB
Active: 1265324 kB
Inactive: 2815356 kB
Active(anon): 1584 kB
Inactive(anon): 446452 kB
Active(file): 1263740 kB
Inactive(file): 2368904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21256 kB
Writeback: 0 kB
AnonPages: 402080 kB
Mapped: 118404 kB
Shmem: 45912 kB
KReclaimable: 128720 kB
Slab: 245004 kB
SReclaimable: 128720 kB
SUnreclaim: 116284 kB
KernelStack: 4256 kB
PageTables: 10176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 826152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 305876 kB
DirectMap2M: 43507712 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC017 at 2024-07-19 21:39:07