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: 64059 MiB (62847 MiB free)
memory of node 1: 64510 MiB (63379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458466-1722994588/watcher-4458466-1722994588 -o /tmp/evaluation-result-4458466-1722994588/solver-4458466-1722994588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722994588-351073 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458466-1722994588.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=351137, runsolver pid=351130
[startup+0.100623 s]*
/proc/loadavg: 2.98 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129241628/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=22816 memory=15732 CPUtime=0.09 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 1181 0 0 0 9 0 0 0 20 0 1 0 65829484 23363584 3933 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 5704 3933 2465 2753 0 2357 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41408 KiB
Current children cumulated memory: 19448 KiB
[startup+0.215147 s]*
/proc/loadavg: 2.98 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129215096/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=31208 memory=24184 CPUtime=0.2 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 2987 0 0 0 19 1 0 0 20 0 1 0 65829484 31956992 6046 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 7802 6046 2817 2753 0 4455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49800 KiB
Current children cumulated memory: 27900 KiB
[startup+0.314486 s]*
/proc/loadavg: 2.98 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129186740/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=35484 memory=28628 CPUtime=0.31 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 4459 0 0 0 29 2 0 0 20 0 1 0 65829484 36335616 7157 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 8871 7157 2833 2753 0 5524 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 32344 KiB
[startup+0.700433 s]
/proc/loadavg: 2.98 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129183048/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=35852 memory=28888 CPUtime=0.68 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 4562 0 0 0 66 2 0 0 20 0 1 0 65829484 36712448 7222 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 8963 7222 2833 2753 0 5616 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54444 KiB
Current children cumulated memory: 32604 KiB
[startup+1.50045 s]
/proc/loadavg: 2.98 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129155448/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=51600 memory=42880 CPUtime=1.46 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 8035 0 0 0 144 2 0 0 20 0 1 0 65829484 52838400 10720 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 12900 10720 2833 2753 0 9553 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 70192 KiB
Current children cumulated memory: 46596 KiB
[startup+3.11323 s]
/proc/loadavg: 3.07 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129125456/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=52424 memory=44724 CPUtime=3.08 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 8526 0 0 0 305 3 0 0 20 0 1 0 65829484 53682176 11181 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 13106 11181 2833 2753 0 9759 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71016 KiB
Current children cumulated memory: 48440 KiB
[startup+6.30041 s]
/proc/loadavg: 3.07 4.10 4.23 7/248 351149
/proc/meminfo: memFree=129116340/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=66972 memory=57916 CPUtime=6.25 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 11809 0 0 0 622 3 0 0 20 0 1 0 65829484 68579328 14479 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 16743 14479 2833 2753 0 13396 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 85564 KiB
Current children cumulated memory: 61632 KiB
[startup+12.7004 s]
/proc/loadavg: 3.28 4.11 4.23 7/248 351149
/proc/meminfo: memFree=129076688/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=104084 memory=93344 CPUtime=12.62 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 22253 0 0 0 1258 4 0 0 20 0 1 0 65829484 106582016 23336 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 26021 23336 2833 2753 0 22674 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 122676 KiB
Current children cumulated memory: 97060 KiB
[startup+25.5005 s]
/proc/loadavg: 3.39 4.11 4.23 7/248 351152
/proc/meminfo: memFree=129072680/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=108456 memory=97896 CPUtime=25.39 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 23689 0 0 0 2534 5 0 0 20 0 1 0 65829484 111058944 24474 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 27114 24474 2849 2753 0 23767 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 127048 KiB
Current children cumulated memory: 101612 KiB
[startup+51.1132 s]
/proc/loadavg: 3.67 4.12 4.22 7/248 351155
/proc/meminfo: memFree=129055060/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 685 607 264 0 134 0
[pid=351145] ppid=351137 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/351145/stat : 351145 (timeout) S 351137 351145 351061 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65829484 8867840 244 134679101440 93856170233856 93856170268872 140723226522464 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93856172366288 93856172368420 93856173580288 140723226526765 140723226526881 140723226526881 140723226533863 0
/proc/351145/statm: 2165 244 220 9 0 87 0
[pid=351147] ppid=351145 vsize=125900 memory=114096 CPUtime=50.9 cores=1,3
/proc/351147/stat : 351147 (LS-MabSP) R 351145 351145 351061 0 -1 4194304 27744 0 0 0 5085 5 0 0 20 0 1 0 65829484 128921600 28524 134679101440 4194304 15467897 140735200711600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 42881024 140735200719936 140735200720039 140735200720039 140735200727021 0
/proc/351147/statm: 31475 28524 2849 2753 0 28128 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 144492 KiB
Current children cumulated memory: 117812 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.12 4.22 7/248 351163
/proc/meminfo: memFree=129030684/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 685 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
################
# More data... #
################
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.22 4.20 5/249 353245
/proc/meminfo: memFree=128557488/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1660.4 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25441 0 0 0 166031 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3453.97 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.20 4.19 5/249 353255
/proc/meminfo: memFree=128557020/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1720.26 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25466 0 0 0 172017 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.19 5/246 353267
/proc/meminfo: memFree=128556924/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1780.13 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 178004 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3596.04 s]
# the end of solver process 351137 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3390.1 s, system=197.336 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.25 4.22 4.20 5/246 353269
/proc/meminfo: memFree=128556868/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1781.84 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 178175 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3575.41 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.21 4.20 5/246 353269
/proc/meminfo: memFree=128556816/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1788.21 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 178812 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3581.78 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.21 4.19 5/246 353270
/proc/meminfo: memFree=128556736/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1791.4 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 179131 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3584.97 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3595.2 s]
/proc/loadavg: 4.21 4.21 4.19 5/246 353271
/proc/meminfo: memFree=128556672/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1793 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 179291 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3595.6 s]
/proc/loadavg: 4.21 4.21 4.19 5/246 353271
/proc/meminfo: memFree=128556672/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1793.4 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 179331 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
[startup+3596 s]*
/proc/loadavg: 4.21 4.21 4.19 5/246 353271
/proc/meminfo: memFree=128556700/131655788 swapFree=131071472/131071996
[pid=351137] ppid=351130 vsize=9932 memory=2788 CPUtime=1793.57 cores=1,3
/proc/351137/stat : 351137 (Hybrid-LSMabSP+) S 351130 351137 351061 0 -1 4194304 267 131459 0 0 0 0 159635 19722 20 0 1 0 65829483 10170368 697 134679101440 94741964611584 94741965690904 140732433020112 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94741967789360 94741967836548 94741990875136 140732433028076 140732433028222 140732433028222 140732433035233 0
/proc/351137/statm: 2483 697 607 264 0 134 0
[pid=352057] ppid=351137 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/352057/stat : 352057 (timeout) S 351137 352057 351061 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66009285 8867840 256 134679101440 94470920433664 94470920468680 140735463630304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94470922566096 94470922568228 94470923677696 140735463638008 140735463638177 140735463638177 140735463645159 0
/proc/352057/statm: 2165 256 232 9 0 87 0
[pid=352059] ppid=352057 vsize=74404 memory=59088 CPUtime=1793.81 cores=1,3
/proc/352059/stat : 352059 (Exact) R 352057 352057 351061 0 -1 4194304 25491 0 0 0 179372 9 0 0 20 0 1 0 66009285 76189696 14772 134679101440 4194304 7210733 140724958654640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43491328 140724958659604 140724958659754 140724958659754 140724958666736 0
/proc/352059/statm: 18601 14772 748 737 0 17689 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 62900 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3587.44
CPU user time (s): 3390.1
CPU system time (s): 197.336
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 502716
Max. memory (cumulated for all children) (KiB): 478396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3390.1
system time used= 197.336
maximum resident set size= 484612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 238
involuntary context switches= 2410
# summary of solver processes directly reported to runsolver:
# pid: 351137
# total CPU time (s): 3587.44
# total CPU user time (s): 3390.1
# total CPU system time (s): 197.336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.802 second user time and 35.7736 second system time
The end
Begin job on nodeC008 at 2024-08-07 03:36:28
IDJOB=4458466
IDBENCH=177485
IDSOLVER=3070
FILE ID=nodeC008/4458466-1722994588
RUNJOBID= nodeC008-1722994588-351073
SLURM_JOB_ID= 8259125
Free space on /tmp= 723780 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458466-1722994588/watcher-4458466-1722994588 -o /tmp/evaluation-result-4458466-1722994588/solver-4458466-1722994588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722994588-351073 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458466-1722994588.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=2046898439
nodeC008.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 : 0xb00001f
cpu MHz : 1197.384
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.367
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 1197.501
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.831
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 1197.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129262700 kB
MemAvailable: 130052044 kB
Buffers: 356640 kB
Cached: 1281444 kB
SwapCached: 72 kB
Active: 648488 kB
Inactive: 1275084 kB
Active(anon): 1376 kB
Inactive(anon): 321608 kB
Active(file): 647112 kB
Inactive(file): 953476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 83500 kB
Writeback: 0 kB
AnonPages: 285792 kB
Mapped: 99668 kB
Shmem: 37488 kB
KReclaimable: 57576 kB
Slab: 143744 kB
SReclaimable: 57576 kB
SUnreclaim: 86168 kB
KernelStack: 3600 kB
PageTables: 9624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 719236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 269128 kB
DirectMap2M: 22704128 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC008 at 2024-08-07 04:36:24