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 (62331 MiB free)
memory of node 1: 64510 MiB (62593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444075-1721308494/watcher-4444075-1721308494 -o /tmp/evaluation-result-4444075-1721308494/solver-4444075-1721308494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972503 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4444075-1721308494.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=975084, runsolver pid=975081
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.20 4.21 4.13 5/266 975088
/proc/meminfo: memFree=127885404/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=54016 memory=41160 CPUtime=0.09 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 3176 0 0 0 9 0 0 0 20 0 1 0 183017666 55312384 10290 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 13504 10290 1073 2753 0 10157 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72608 KiB
Current children cumulated memory: 44996 KiB
[startup+0.205957 s]*
/proc/loadavg: 4.20 4.21 4.13 5/266 975088
/proc/meminfo: memFree=127883216/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=56064 memory=43180 CPUtime=0.2 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 3699 0 0 0 19 1 0 0 20 0 1 0 183017666 57409536 10795 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 14016 10795 1073 2753 0 10669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74656 KiB
Current children cumulated memory: 47016 KiB
[startup+0.305849 s]*
/proc/loadavg: 4.20 4.21 4.13 5/266 975088
/proc/meminfo: memFree=127879540/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=60160 memory=46492 CPUtime=0.3 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 3972 0 0 0 29 1 0 0 20 0 1 0 183017666 61603840 11623 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 15040 11623 1073 2753 0 11693 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78752 KiB
Current children cumulated memory: 50328 KiB
[startup+0.700295 s]
/proc/loadavg: 4.20 4.21 4.13 5/266 975088
/proc/meminfo: memFree=127875276/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=68352 memory=52640 CPUtime=0.69 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 4492 0 0 0 68 1 0 0 20 0 1 0 183017666 69992448 13160 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 17088 13160 1073 2753 0 13741 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86944 KiB
Current children cumulated memory: 56476 KiB
[startup+1.50029 s]
/proc/loadavg: 4.20 4.21 4.13 5/267 975089
/proc/meminfo: memFree=127867032/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=84736 memory=69028 CPUtime=1.48 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 5021 0 0 0 146 2 0 0 20 0 1 0 183017666 86769664 17257 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 21184 17257 1073 2753 0 17837 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103328 KiB
Current children cumulated memory: 72864 KiB
[startup+3.10568 s]
/proc/loadavg: 4.20 4.21 4.13 5/267 975090
/proc/meminfo: memFree=127829420/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=117504 memory=97704 CPUtime=3.08 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 5575 0 0 0 304 4 0 0 20 0 1 0 183017666 120324096 24426 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 29376 24426 1073 2753 0 26029 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136096 KiB
Current children cumulated memory: 101540 KiB
[startup+6.30028 s]
/proc/loadavg: 4.18 4.21 4.13 5/267 975090
/proc/meminfo: memFree=127773752/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=183040 memory=157100 CPUtime=6.27 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 6179 0 0 0 620 7 0 0 20 0 1 0 183017666 187432960 39275 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 45760 39275 1073 2753 0 42413 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201632 KiB
Current children cumulated memory: 160936 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.21 4.13 5/267 975090
/proc/meminfo: memFree=127289516/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=606620 memory=590520 CPUtime=12.65 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 23402 0 0 0 1240 25 0 0 20 0 1 0 183017666 621178880 147630 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 151655 147630 1153 2753 0 148308 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 625212 KiB
Current children cumulated memory: 594356 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.21 4.13 5/265 975094
/proc/meminfo: memFree=127273640/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=606620 memory=590704 CPUtime=25.41 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 23494 0 0 0 2516 25 0 0 20 0 1 0 183017666 621178880 147676 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 151655 147676 1153 2753 0 148308 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 625212 KiB
Current children cumulated memory: 594540 KiB
[startup+47.7136 s]
# the end of solver process 975084 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=47.1069 s, system=0.463269 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.21 4.21 4.13 5/265 975094
/proc/meminfo: memFree=127273640/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=606620 memory=590704 CPUtime=25.51 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 23494 0 0 0 2526 25 0 0 20 0 1 0 183017666 621178880 147676 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 151655 147676 1153 2753 0 148308 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 625212 KiB
Current children cumulated memory: 594540 KiB
[startup+38.4003 s]
/proc/loadavg: 4.18 4.21 4.13 5/265 975095
/proc/meminfo: memFree=127079096/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=804904 memory=756596 CPUtime=38.27 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 91328 0 0 0 3789 38 0 0 20 0 1 0 183017666 824221696 189149 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 201226 189149 1153 2753 0 197879 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 823496 KiB
Current children cumulated memory: 760432 KiB
[startup+41.6003 s]
/proc/loadavg: 4.16 4.20 4.13 5/265 975095
/proc/meminfo: memFree=127078696/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=804904 memory=756596 CPUtime=41.46 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 91328 0 0 0 4107 39 0 0 20 0 1 0 183017666 824221696 189149 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 201226 189149 1153 2753 0 197879 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 823496 KiB
Current children cumulated memory: 760432 KiB
[startup+44.8003 s]
/proc/loadavg: 4.16 4.20 4.13 5/265 975097
/proc/meminfo: memFree=127078536/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=804904 memory=756596 CPUtime=44.66 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 91331 0 0 0 4425 41 0 0 20 0 1 0 183017666 824221696 189149 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 201226 189149 1153 2753 0 197879 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 823496 KiB
Current children cumulated memory: 760432 KiB
[startup+46.4003 s]
/proc/loadavg: 4.15 4.20 4.13 5/265 975097
/proc/meminfo: memFree=127075568/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=804904 memory=756596 CPUtime=46.25 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 91331 0 0 0 4584 41 0 0 20 0 1 0 183017666 824221696 189149 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 201226 189149 1153 2753 0 197879 0
Current children cumulated CPU time: 46.25 s
Current children cumulated vsize: 823496 KiB
Current children cumulated memory: 760432 KiB
[startup+47.2003 s]
/proc/loadavg: 4.15 4.20 4.13 5/265 975097
/proc/meminfo: memFree=127075568/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=804904 memory=756596 CPUtime=47.04 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 91331 0 0 0 4663 41 0 0 20 0 1 0 183017666 824221696 189149 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 201226 189149 1153 2753 0 197879 0
Current children cumulated CPU time: 47.04 s
Current children cumulated vsize: 823496 KiB
Current children cumulated memory: 760432 KiB
[startup+47.6003 s]
/proc/loadavg: 4.15 4.20 4.13 5/265 975097
/proc/meminfo: memFree=127075568/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=953372 memory=904936 CPUtime=47.44 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 98343 0 0 0 4700 44 0 0 20 0 1 0 183017666 976252928 226234 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 238343 226234 1153 2753 0 234996 0
Current children cumulated CPU time: 47.44 s
Current children cumulated vsize: 971964 KiB
Current children cumulated memory: 908772 KiB
[startup+47.7002 s]
/proc/loadavg: 4.15 4.20 4.13 5/265 975097
/proc/meminfo: memFree=127075568/131524600 swapFree=131071996/131071996
[pid=975084] ppid=975081 vsize=9932 memory=2816 CPUtime=0 cores=0,2
/proc/975084/stat : 975084 (Hybrid-LSMabP+E) S 975081 975084 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183017665 10170368 704 134679101440 94542786789376 94542787868696 140731137662416 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94542789967152 94542790014340 94542819811328 140731137663977 140731137664122 140731137664122 140731137671138 0
/proc/975084/statm: 2483 704 627 264 0 134 0
[pid=975087] ppid=975084 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/975087/stat : 975087 (timeout) S 975084 975087 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183017666 8867840 255 134679101440 94086652309504 94086652344520 140722924540816 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94086654441936 94086654444068 94086679781376 140722924545058 140722924545180 140722924545180 140722924552167 0
/proc/975087/statm: 2165 255 231 9 0 87 0
[pid=975088] ppid=975087 vsize=580440 memory=443728 CPUtime=47.54 cores=0,2
/proc/975088/stat : 975088 (LS-MabP) R 975087 975087 972493 0 -1 4194304 98343 0 0 0 4709 45 0 0 20 0 1 0 183017666 594370560 110932 134679101440 4194304 15467897 140722370479616 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29081600 140722370487350 140722370487459 140722370487459 140722370494446 0
/proc/975088/statm: 145110 110932 1153 2753 0 141763 0
Current children cumulated CPU time: 47.54 s
Current children cumulated vsize: 599032 KiB
Current children cumulated memory: 447564 KiB
Child status: 0
Real time (s): 47.7137
CPU time (s): 47.5702
CPU user time (s): 47.1069
CPU system time (s): 0.463269
CPU usage (%): 99.6993
Max. virtual memory (cumulated for all children) (KiB): 971964
Max. memory (cumulated for all children) (KiB): 908772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.1069
system time used= 0.463269
maximum resident set size= 904936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99036
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= 25
involuntary context switches= 333
# summary of solver processes directly reported to runsolver:
# pid: 975084
# total CPU time (s): 47.5702
# total CPU user time (s): 47.1069
# total CPU system time (s): 0.463269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093327 second user time and 0.286018 second system time
The end
Begin job on nodeC031 at 2024-07-18 15:15:07
IDJOB=4444075
IDBENCH=147895
IDSOLVER=3071
FILE ID=nodeC031/4444075-1721308494
RUNJOBID= nodeC031-1721304762-972503
SLURM_JOB_ID= 7542625
Free space on /tmp= 889964 MiB
SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l6_n1500.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444075-1721308494/watcher-4444075-1721308494 -o /tmp/evaluation-result-4444075-1721308494/solver-4444075-1721308494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972503 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4444075-1721308494.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 324936182855f4056c83f943259e6646
RANDOM SEED=1421675284
nodeC031.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.915
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.55
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 : 3688.124
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.11
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 : 3671.484
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.55
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 : 3599.999
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.11
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 : 3670.776
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.55
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 : 3688.122
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.11
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.850
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.55
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 : 3599.959
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127923696 kB
MemAvailable: 129114568 kB
Buffers: 462956 kB
Cached: 1560292 kB
SwapCached: 0 kB
Active: 956812 kB
Inactive: 2027268 kB
Active(anon): 1592 kB
Inactive(anon): 996956 kB
Active(file): 955220 kB
Inactive(file): 1030312 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 61320 kB
Writeback: 0 kB
AnonPages: 959088 kB
Mapped: 117132 kB
Shmem: 37720 kB
KReclaimable: 89976 kB
Slab: 200908 kB
SReclaimable: 89976 kB
SUnreclaim: 110932 kB
KernelStack: 4320 kB
PageTables: 11404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1511428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 737280 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC031 at 2024-07-18 15:15:55