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: 63968 MiB (62355 MiB free)
memory of node 1: 64473 MiB (62428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449838-1722985547/watcher-4449838-1722985547 -o /tmp/evaluation-result-4449838-1722985547/solver-4449838-1722985547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722981917-352359 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4449838-1722985547.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=355190, runsolver pid=355187
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 355194
/proc/meminfo: memFree=127765668/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=29880 memory=15644 CPUtime=0.09 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 3322 0 0 0 9 0 0 0 20 0 1 0 65153726 30597120 3911 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 7470 3911 782 2417 0 4572 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48472 KiB
Current children cumulated memory: 19320 KiB
[startup+0.205699 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 355194
/proc/meminfo: memFree=127764464/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=31544 memory=16820 CPUtime=0.19 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 3593 0 0 0 19 0 0 0 20 0 1 0 65153726 32301056 4205 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 7886 4205 814 2417 0 4988 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50136 KiB
Current children cumulated memory: 20496 KiB
[startup+0.305484 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 355194
/proc/meminfo: memFree=127763652/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=31544 memory=17612 CPUtime=0.29 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 3765 0 0 0 29 0 0 0 20 0 1 0 65153726 32301056 4403 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 7886 4403 814 2417 0 4988 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50136 KiB
Current children cumulated memory: 21288 KiB
[startup+0.700238 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 355194
/proc/meminfo: memFree=127763428/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=33208 memory=19076 CPUtime=0.69 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 4925 0 0 0 68 1 0 0 20 0 1 0 65153726 34004992 4769 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 8302 4769 814 2417 0 5404 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51800 KiB
Current children cumulated memory: 22752 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 355195
/proc/meminfo: memFree=127806820/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=40448 memory=26628 CPUtime=1.48 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 5414 0 0 0 147 1 0 0 20 0 1 0 65153726 41418752 6657 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 10112 6657 814 2417 0 7214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59040 KiB
Current children cumulated memory: 30304 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 355195
/proc/meminfo: memFree=127800488/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=40448 memory=26628 CPUtime=3.08 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 5417 0 0 0 307 1 0 0 20 0 1 0 65153726 41418752 6657 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 10112 6657 814 2417 0 7214 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59040 KiB
Current children cumulated memory: 30304 KiB
[startup+6.30027 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 355195
/proc/meminfo: memFree=127804712/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=40448 memory=26660 CPUtime=6.27 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 5668 0 0 0 626 1 0 0 20 0 1 0 65153726 41418752 6665 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 10112 6665 814 2417 0 7214 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59040 KiB
Current children cumulated memory: 30336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 355197
/proc/meminfo: memFree=127753044/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=54880 memory=39220 CPUtime=12.66 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 6322 0 0 0 1264 2 0 0 20 0 1 0 65153726 56197120 9805 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 13720 9805 814 2417 0 10822 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 73472 KiB
Current children cumulated memory: 42896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 355198
/proc/meminfo: memFree=127749492/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=54880 memory=41056 CPUtime=25.43 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 6748 0 0 0 2541 2 0 0 20 0 1 0 65153726 56197120 10264 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 13720 10264 814 2417 0 10822 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 73472 KiB
Current children cumulated memory: 44732 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 355203
/proc/meminfo: memFree=127710304/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 661 581 264 0 134 0
[pid=355193] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355193/stat : 355193 (timeout) S 355190 355193 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65153726 8867840 258 134679101440 93965658738688 93965658773704 140730680401584 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93965660871120 93965660873252 93965665210368 140730680407065 140730680407197 140730680407197 140730680414183 0
/proc/355193/statm: 2165 258 233 9 0 87 0
[pid=355194] ppid=355193 vsize=66684 memory=52780 CPUtime=50.98 cores=4,6
/proc/355194/stat : 355194 (CASHWMaxSAT-Dis) R 355193 355193 352348 0 -1 4194304 7173 0 0 0 5096 2 0 0 20 0 1 0 65153726 68284416 13195 134679101440 4194304 14093885 140722659770384 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28983296 140722659779615 140722659779734 140722659779734 140722659786720 0
/proc/355194/statm: 16671 13195 814 2417 0 13773 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 85276 KiB
Current children cumulated memory: 56456 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 355212
/proc/meminfo: memFree=127680356/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 65153726 10170368 661 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
################
# More data... #
################
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3394.42 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 357009
/proc/meminfo: memFree=126173524/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1660.16 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192263 0 0 0 163760 2256 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3454.31 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 357020
/proc/meminfo: memFree=126173156/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1720.06 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192267 0 0 0 169580 2426 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3514.21 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357243
/proc/meminfo: memFree=127053136/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1779.94 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 175400 2594 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3574.09 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3596.03 s]
# the end of solver process 355190 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.45 s, system=27.3681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.03 4.08 4.08 5/266 357244
/proc/meminfo: memFree=127055128/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1781.65 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 175566 2599 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3575.8 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3590.4 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357244
/proc/meminfo: memFree=127043428/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1788.02 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 176185 2617 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3582.17 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3593.6 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357246
/proc/meminfo: memFree=127028668/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1791.22 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 176495 2627 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3595.2 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357246
/proc/meminfo: memFree=127023264/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1792.81 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 176649 2632 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3595.6 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357246
/proc/meminfo: memFree=127023264/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1793.21 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 176688 2633 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
[startup+3596 s]*
/proc/loadavg: 4.02 4.08 4.08 5/266 357246
/proc/meminfo: memFree=127023232/131524600 swapFree=131071728/131071996
[pid=355190] ppid=355187 vsize=9932 memory=2740 CPUtime=1794.15 cores=4,6
/proc/355190/stat : 355190 (Hybrid-LSMabSP+) S 355187 355190 352348 0 -1 4194304 267 78254 0 0 0 0 179315 100 20 0 1 0 65153726 10170368 685 134679101440 93991205982208 93991207061528 140730636975360 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93991209159984 93991209207172 93991212244992 140730636977102 140730636977261 140730636977261 140730636984276 0
/proc/355190/statm: 2483 685 596 264 0 134 0
[pid=356138] ppid=355190 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/356138/stat : 356138 (timeout) S 355190 356138 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65333527 8867840 258 134679101440 94899699236864 94899699271880 140725796176272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94899701369296 94899701371428 94899705221120 140725796181033 140725796181149 140725796181149 140725796188135 0
/proc/356138/statm: 2165 258 233 9 0 87 0
[pid=356139] ppid=356138 vsize=453840 memory=449244 CPUtime=1793.62 cores=4,6
/proc/356139/stat : 356139 (LS-MabSP) R 356138 356138 352348 0 -1 4194304 192271 0 0 0 176727 2635 0 0 20 0 1 0 65333527 464732160 112311 134679101440 4194304 15467897 140730075725392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48795648 140730075731004 140730075731107 140730075731107 140730075738093 0
/proc/356139/statm: 113460 112311 3195 2753 0 110113 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 472432 KiB
Current children cumulated memory: 453016 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3587.82
CPU user time (s): 3560.45
CPU system time (s): 27.3681
CPU usage (%): 99.7718
Max. virtual memory (cumulated for all children) (KiB): 661936
Max. memory (cumulated for all children) (KiB): 599960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.45
system time used= 27.3681
maximum resident set size= 597244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 5112
# summary of solver processes directly reported to runsolver:
# pid: 355190
# total CPU time (s): 3587.82
# total CPU user time (s): 3560.45
# total CPU system time (s): 27.3681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73162 second user time and 16.7215 second system time
The end
Begin job on nodeC024 at 2024-08-07 01:05:47
IDJOB=4449838
IDBENCH=176148
IDSOLVER=3069
FILE ID=nodeC024/4449838-1722985547
RUNJOBID= nodeC024-1722981917-352359
SLURM_JOB_ID= 8259086
Free space on /tmp= 889996 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449838-1722985547/watcher-4449838-1722985547 -o /tmp/evaluation-result-4449838-1722985547/solver-4449838-1722985547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722981917-352359 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4449838-1722985547.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=202747401
nodeC024.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 : 3663.570
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.90
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 : 3686.938
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 : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.000
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.383
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 : 7005.73
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 : 3655.008
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.90
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 : 3686.969
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 : 7005.73
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 : 3664.694
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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 : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127779492 kB
MemAvailable: 129558700 kB
Buffers: 345784 kB
Cached: 2276356 kB
SwapCached: 36 kB
Active: 617300 kB
Inactive: 2601160 kB
Active(anon): 1608 kB
Inactive(anon): 632384 kB
Active(file): 615692 kB
Inactive(file): 1968776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 50628 kB
Writeback: 20604 kB
AnonPages: 591136 kB
Mapped: 108436 kB
Shmem: 37676 kB
KReclaimable: 69124 kB
Slab: 161876 kB
SReclaimable: 69124 kB
SUnreclaim: 92752 kB
KernelStack: 4192 kB
PageTables: 10704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 911484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 380928 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: 269012 kB
DirectMap2M: 14184448 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC024 at 2024-08-07 02:05:43