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 (62298 MiB free)
memory of node 1: 64510 MiB (62709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443745-1721308350/watcher-4443745-1721308350 -o /tmp/evaluation-result-4443745-1721308350/solver-4443745-1721308350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972506 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443745-1721308350.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
Current StackSize limit: 8192 KiB
solver pid=974805, runsolver pid=974802
[startup+0.100799 s]*
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127879504/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=142452 memory=129896 CPUtime=0.09 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 2519 0 0 0 7 2 0 0 20 0 1 0 183003293 145870848 32474 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 35613 32474 1073 2753 0 32266 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161044 KiB
Current children cumulated memory: 133508 KiB
[startup+0.205742 s]*
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127874768/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=146036 memory=132200 CPUtime=0.2 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 3477 0 0 0 18 2 0 0 20 0 1 0 183003293 149540864 33050 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 36509 33050 1073 2753 0 33162 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 135812 KiB
[startup+0.305178 s]*
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127868572/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=150132 memory=136308 CPUtime=0.29 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 3943 0 0 0 27 2 0 0 20 0 1 0 183003293 153735168 34077 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 37533 34077 1073 2753 0 34186 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 168724 KiB
Current children cumulated memory: 139920 KiB
[startup+0.700208 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127860184/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=158456 memory=144516 CPUtime=0.68 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 4469 0 0 0 66 2 0 0 20 0 1 0 183003293 162258944 36129 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 39614 36129 1073 2753 0 36267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177048 KiB
Current children cumulated memory: 148128 KiB
[startup+1.50025 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127836984/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=174840 memory=160920 CPUtime=1.48 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 5004 0 0 0 145 3 0 0 20 0 1 0 183003293 179036160 40230 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 43710 40230 1073 2753 0 40363 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 193432 KiB
Current children cumulated memory: 164532 KiB
[startup+3.10596 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127430768/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=207608 memory=193716 CPUtime=3.08 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 5578 0 0 0 304 4 0 0 20 0 1 0 183003293 212590592 48429 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 51902 48429 1073 2753 0 48555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226200 KiB
Current children cumulated memory: 197328 KiB
[startup+6.30029 s]
/proc/loadavg: 4.25 4.16 4.10 5/266 974809
/proc/meminfo: memFree=127324828/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=273144 memory=259308 CPUtime=6.27 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 6205 0 0 0 618 9 0 0 20 0 1 0 183003293 279699456 64827 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 68286 64827 1073 2753 0 64939 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 291736 KiB
Current children cumulated memory: 262920 KiB
[startup+12.7003 s]
/proc/loadavg: 4.31 4.17 4.11 5/266 974810
/proc/meminfo: memFree=127158260/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=733336 memory=711248 CPUtime=12.65 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 8976 0 0 0 1247 18 0 0 20 0 1 0 183003293 750936064 177812 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 183334 177812 1073 2753 0 179987 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 751928 KiB
Current children cumulated memory: 714860 KiB
[startup+25.5003 s]
/proc/loadavg: 4.39 4.19 4.12 4/262 974814
/proc/meminfo: memFree=126685380/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1420100 memory=1392224 CPUtime=25.43 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 26631 0 0 0 2488 55 0 0 20 0 1 0 183003293 1454182400 348056 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 355025 348056 1105 2753 0 351678 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1395836 KiB
[startup+51.1058 s]
/proc/loadavg: 4.59 4.26 4.14 5/266 974969
/proc/meminfo: memFree=126330308/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1500088 memory=1472496 CPUtime=50.97 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 27581 0 0 0 5040 57 0 0 20 0 1 0 183003293 1536090112 368124 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 375022 368124 1153 2753 0 371675 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1476108 KiB
[startup+85.9665 s]
# the end of solver process 974805 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=84.7834 s, system=0.967358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.59 4.26 4.14 5/266 974969
/proc/meminfo: memFree=126330308/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1500088 memory=1472496 CPUtime=51.06 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 27581 0 0 0 5049 57 0 0 20 0 1 0 183003293 1536090112 368124 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 375022 368124 1153 2753 0 371675 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1476108 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.46 4.25 4.14 5/266 974971
/proc/meminfo: memFree=125230804/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1500088 memory=1472496 CPUtime=63.84 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 27815 0 0 0 6327 57 0 0 20 0 1 0 183003293 1536090112 368124 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 375022 368124 1153 2753 0 371675 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1476108 KiB
[startup+76.8003 s]
/proc/loadavg: 4.39 4.24 4.13 5/266 974973
/proc/meminfo: memFree=125066696/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1420100 memory=1392508 CPUtime=76.6 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 27935 0 0 0 7603 57 0 0 20 0 1 0 183003293 1454182400 348127 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 355025 348127 1153 2753 0 351678 0
Current children cumulated CPU time: 76.6 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1396120 KiB
[startup+80.0003 s]*
/proc/loadavg: 4.36 4.23 4.13 5/266 974975
/proc/meminfo: memFree=125064800/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1420100 memory=1392508 CPUtime=79.79 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 27954 0 0 0 7922 57 0 0 20 0 1 0 183003293 1454182400 348127 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 355025 348127 1153 2753 0 351678 0
Current children cumulated CPU time: 79.79 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1396120 KiB
[startup+83.2003 s]
/proc/loadavg: 4.36 4.23 4.13 5/266 974975
/proc/meminfo: memFree=125306740/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=1653140 memory=1239960 CPUtime=82.98 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 56165 0 0 0 8234 64 0 0 20 0 1 0 183003293 1692815360 309990 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 413285 309990 1153 2753 0 409938 0
Current children cumulated CPU time: 82.98 s
Current children cumulated vsize: 1671732 KiB
Current children cumulated memory: 1243572 KiB
[startup+84.8003 s]
/proc/loadavg: 4.33 4.23 4.13 5/266 974975
/proc/meminfo: memFree=124799092/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=2063788 memory=1886604 CPUtime=84.57 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 165729 0 0 0 8373 84 0 0 20 0 1 0 183003293 2113318912 471651 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 515947 471651 1153 2753 0 512600 0
Current children cumulated CPU time: 84.57 s
Current children cumulated vsize: 2082380 KiB
Current children cumulated memory: 1890216 KiB
[startup+85.6003 s]
/proc/loadavg: 4.33 4.23 4.13 5/266 974975
/proc/meminfo: memFree=124561372/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=2455740 memory=2294192 CPUtime=85.37 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 173259 0 0 0 8444 93 0 0 20 0 1 0 183003293 2514677760 573548 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 613935 573548 1153 2753 0 610588 0
Current children cumulated CPU time: 85.37 s
Current children cumulated vsize: 2474332 KiB
Current children cumulated memory: 2297804 KiB
[startup+85.8003 s]
/proc/loadavg: 4.33 4.23 4.13 5/266 974975
/proc/meminfo: memFree=124561372/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=2455740 memory=2294192 CPUtime=85.57 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 173259 0 0 0 8464 93 0 0 20 0 1 0 183003293 2514677760 573548 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 613935 573548 1153 2753 0 610588 0
Current children cumulated CPU time: 85.57 s
Current children cumulated vsize: 2474332 KiB
Current children cumulated memory: 2297804 KiB
[startup+85.9003 s]
/proc/loadavg: 4.33 4.23 4.13 5/266 974975
/proc/meminfo: memFree=124561372/131524600 swapFree=131071996/131071996
[pid=974805] ppid=974802 vsize=9932 memory=2596 CPUtime=0 cores=5,7
/proc/974805/stat : 974805 (Hybrid-LSMabP+E) S 974802 974805 972493 0 -1 4194304 232 102 0 0 0 0 0 0 20 0 1 0 183003292 10170368 649 134679101440 94699566194688 94699567274008 140727099719536 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94699569372464 94699569419652 94699585826816 140727099728873 140727099729018 140727099729018 140727099736034 0
/proc/974805/statm: 2483 649 568 264 0 134 0
[pid=974808] ppid=974805 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/974808/stat : 974808 (timeout) S 974805 974808 972493 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183003293 8867840 254 134679101440 94101693026304 94101693061320 140727956567184 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94101695158736 94101695160868 94101709344768 140727956571170 140727956571292 140727956571292 140727956578279 0
/proc/974808/statm: 2165 254 230 9 0 87 0
[pid=974809] ppid=974808 vsize=2094024 memory=1932700 CPUtime=85.67 cores=5,7
/proc/974809/stat : 974809 (LS-MabP) R 974808 974808 972493 0 -1 4194304 173259 0 0 0 8474 93 0 0 20 0 1 0 183003293 2144280576 483175 134679101440 4194304 15467897 140731107198240 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53833728 140731107206198 140731107206307 140731107206307 140731107213294 0
/proc/974809/statm: 523506 483175 1153 2753 0 520159 0
Current children cumulated CPU time: 85.67 s
Current children cumulated vsize: 2112616 KiB
Current children cumulated memory: 1936312 KiB
Child status: 0
Real time (s): 85.9665
CPU time (s): 85.7508
CPU user time (s): 84.7834
CPU system time (s): 0.967358
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 2474332
Max. memory (cumulated for all children) (KiB): 2297804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.7834
system time used= 0.967358
maximum resident set size= 2294192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173976
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= 24
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 974805
# total CPU time (s): 85.7508
# total CPU user time (s): 84.7834
# total CPU system time (s): 0.967358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.194503 second user time and 0.465824 second system time
The end
Begin job on nodeC031 at 2024-07-18 15:12:43
IDJOB=4443745
IDBENCH=147884
IDSOLVER=3071
FILE ID=nodeC031/4443745-1721308350
RUNJOBID= nodeC031-1721304762-972506
SLURM_JOB_ID= 7542625
Free space on /tmp= 889884 MiB
SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443745-1721308350/watcher-4443745-1721308350 -o /tmp/evaluation-result-4443745-1721308350/solver-4443745-1721308350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972506 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443745-1721308350.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=1452965259
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 : 3675.930
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.607
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 : 3599.804
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.959
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 : 3675.932
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 : 3690.041
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 : 3599.847
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 : 3664.564
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: 128008940 kB
MemAvailable: 129275268 kB
Buffers: 462780 kB
Cached: 1634964 kB
SwapCached: 0 kB
Active: 975728 kB
Inactive: 1921112 kB
Active(anon): 1584 kB
Inactive(anon): 835228 kB
Active(file): 974144 kB
Inactive(file): 1085884 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 164620 kB
Writeback: 4 kB
AnonPages: 797384 kB
Mapped: 116760 kB
Shmem: 37720 kB
KReclaimable: 91896 kB
Slab: 202824 kB
SReclaimable: 91896 kB
SUnreclaim: 110928 kB
KernelStack: 4240 kB
PageTables: 11072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1419344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 522240 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= 889812 MiB
End job on nodeC031 at 2024-07-18 15:14:09