runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (54873 MiB free)
memory of node 1: 64510 MiB (61105 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449839-1722992482/watcher-4449839-1722992482 -o /tmp/evaluation-result-4449839-1722992482/solver-4449839-1722992482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722985288-359055 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4449839-1722992482.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
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=363392, runsolver pid=363389
[startup+0.100098 s]*
/proc/loadavg: 4.13 4.20 4.17 5/267 363396
/proc/meminfo: memFree=118751040/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=28256 memory=15004 CPUtime=0.09 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 2752 0 0 0 9 0 0 0 20 0 1 0 65846132 28934144 3751 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 7064 3751 1105 2753 0 3717 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46848 KiB
Current children cumulated memory: 18712 KiB
[startup+0.20567 s]*
/proc/loadavg: 4.13 4.20 4.17 5/267 363396
/proc/meminfo: memFree=118727080/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=53296 memory=45232 CPUtime=0.19 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 8781 0 0 0 19 0 0 0 20 0 1 0 65846132 54575104 11308 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 13324 11308 2689 2753 0 9977 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71888 KiB
Current children cumulated memory: 48940 KiB
[startup+0.305736 s]*
/proc/loadavg: 4.13 4.20 4.17 5/267 363396
/proc/meminfo: memFree=118687196/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=95520 memory=79888 CPUtime=0.29 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 15926 0 0 0 28 1 0 0 20 0 1 0 65846132 97812480 19972 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 23880 19972 2737 2753 0 20533 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114112 KiB
Current children cumulated memory: 83596 KiB
[startup+0.700206 s]
/proc/loadavg: 4.12 4.19 4.17 5/267 363396
/proc/meminfo: memFree=118650808/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=131932 memory=116404 CPUtime=0.68 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 22848 0 0 0 65 3 0 0 20 0 1 0 65846132 135098368 29101 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 32983 29101 2849 2753 0 29636 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150524 KiB
Current children cumulated memory: 120112 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.19 4.17 5/267 363396
/proc/meminfo: memFree=118643752/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=143164 memory=123200 CPUtime=1.48 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 24545 0 0 0 145 3 0 0 20 0 1 0 65846132 146599936 30800 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 35791 30800 2849 2753 0 32444 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 161756 KiB
Current children cumulated memory: 126908 KiB
[startup+3.10583 s]
/proc/loadavg: 4.12 4.19 4.17 5/268 363468
/proc/meminfo: memFree=121165476/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=187260 memory=155932 CPUtime=3.08 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 32728 0 0 0 304 4 0 0 20 0 1 0 65846132 191754240 38983 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 46815 38983 2849 2753 0 43468 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 205852 KiB
Current children cumulated memory: 159640 KiB
[startup+6.30029 s]
/proc/loadavg: 4.11 4.19 4.17 5/268 363468
/proc/meminfo: memFree=120858712/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=190032 memory=159988 CPUtime=6.26 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 34377 0 0 0 622 4 0 0 20 0 1 0 65846132 194592768 39997 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 47508 39997 2849 2753 0 44161 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 208624 KiB
Current children cumulated memory: 163696 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.18 4.17 5/268 363531
/proc/meminfo: memFree=120784848/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=214116 memory=179576 CPUtime=12.64 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 44197 0 0 0 1258 6 0 0 20 0 1 0 65846132 219254784 44894 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 53529 44894 2849 2753 0 50182 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 232708 KiB
Current children cumulated memory: 183284 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.18 4.17 5/268 363532
/proc/meminfo: memFree=120644156/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=232156 memory=196180 CPUtime=25.41 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 48344 0 0 0 2534 7 0 0 20 0 1 0 65846132 237727744 49045 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 58039 49045 2849 2753 0 54692 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 250748 KiB
Current children cumulated memory: 199888 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.17 4.17 5/268 363537
/proc/meminfo: memFree=120580328/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 671 593 264 0 134 0
[pid=363395] ppid=363392 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/363395/stat : 363395 (timeout) S 363392 363395 359042 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65846132 8867840 256 134679101440 94764994658304 94764994693320 140722269344000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94764996790736 94764996792868 94765011431424 140722269353001 140722269353117 140722269353117 140722269360103 0
/proc/363395/statm: 2165 256 231 9 0 87 0
[pid=363396] ppid=363395 vsize=270404 memory=232108 CPUtime=50.94 cores=5,7
/proc/363396/stat : 363396 (LS-MabSP) R 363395 363395 359042 0 -1 4194304 57003 0 0 0 5086 8 0 0 20 0 1 0 65846132 276893696 58027 134679101440 4194304 15467897 140723352636800 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46538752 140723352638524 140723352638627 140723352638627 140723352645613 0
/proc/363396/statm: 67601 58027 3195 2753 0 64254 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288996 KiB
Current children cumulated memory: 235816 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/268 363547
/proc/meminfo: memFree=120393200/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 238 99 0 0 0 0 0 0 20 0 1 0 65846132 10170368 671 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
################
# More data... #
################
/proc/364479/statm: 11839 9232 748 737 0 10927 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 65948 KiB
Current children cumulated memory: 40616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/265 365420
/proc/meminfo: memFree=121313932/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47388 memory=36816 CPUtime=1660.07 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 182999 0 0 0 165976 31 0 0 20 0 1 0 66025933 48525312 9204 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11847 9204 748 737 0 10935 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 40504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/265 365430
/proc/meminfo: memFree=121311952/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47676 memory=37144 CPUtime=1719.93 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 190208 0 0 0 171961 32 0 0 20 0 1 0 66025933 48820224 9286 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11919 9286 748 737 0 11007 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 66268 KiB
Current children cumulated memory: 40832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/265 365454
/proc/meminfo: memFree=121311360/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47148 memory=36968 CPUtime=1779.8 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 192370 0 0 0 177947 33 0 0 20 0 1 0 66025933 48279552 9242 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11787 9242 748 737 0 10875 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 65740 KiB
Current children cumulated memory: 40656 KiB
[startup+3596.03 s]
# the end of solver process 363392 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.97 s, system=25.8164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.17 4.13 5/265 365454
/proc/meminfo: memFree=121311080/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47820 memory=37228 CPUtime=1781.5 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 192494 0 0 0 178117 33 0 0 20 0 1 0 66025933 48967680 9307 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11955 9307 748 737 0 11043 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 66412 KiB
Current children cumulated memory: 40916 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.17 4.13 5/265 365457
/proc/meminfo: memFree=121311408/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47212 memory=37032 CPUtime=1787.88 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 193641 0 0 0 178755 33 0 0 20 0 1 0 66025933 48345088 9258 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11803 9258 748 737 0 10891 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 65804 KiB
Current children cumulated memory: 40720 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.17 4.13 5/265 365457
/proc/meminfo: memFree=121311400/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47212 memory=37032 CPUtime=1791.07 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 194381 0 0 0 179074 33 0 0 20 0 1 0 66025933 48345088 9258 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11803 9258 748 737 0 10891 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 65804 KiB
Current children cumulated memory: 40720 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.17 4.13 5/265 365457
/proc/meminfo: memFree=121311400/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47212 memory=37032 CPUtime=1792.67 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 194634 0 0 0 179234 33 0 0 20 0 1 0 66025933 48345088 9258 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11803 9258 748 737 0 10891 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 65804 KiB
Current children cumulated memory: 40720 KiB
[startup+3595.6 s]
/proc/loadavg: 4.09 4.17 4.13 5/265 365457
/proc/meminfo: memFree=121311400/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47212 memory=37032 CPUtime=1793.07 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 194634 0 0 0 179274 33 0 0 20 0 1 0 66025933 48345088 9258 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11803 9258 748 737 0 10891 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 65804 KiB
Current children cumulated memory: 40720 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.17 4.13 4/256 365510
/proc/meminfo: memFree=121382752/131524600 swapFree=131071472/131071996
[pid=363392] ppid=363389 vsize=9932 memory=2732 CPUtime=1793.26 cores=5,7
/proc/363392/stat : 363392 (Hybrid-LSMabSP+) S 363389 363392 359042 0 -1 4194304 271 202580 0 0 0 0 176780 2546 20 0 1 0 65846132 10170368 683 134679101440 94274802225152 94274803304472 140725863424880 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94274805402928 94274805450116 94274812284928 140725863429096 140725863429242 140725863429242 140725863436257 0
/proc/363392/statm: 2483 683 593 264 0 134 0
[pid=364478] ppid=363392 vsize=8660 memory=956 CPUtime=0 cores=5,7
/proc/364478/stat : 364478 (timeout) S 363392 364478 359042 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66025933 8867840 239 134679101440 94314693451776 94314693486792 140737343843424 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94314695584208 94314695586340 94314701946880 140737343849460 140737343849629 140737343849629 140737343856615 0
/proc/364478/statm: 2165 239 214 9 0 87 0
[pid=364479] ppid=364478 vsize=47212 memory=37032 CPUtime=1793.47 cores=5,7
/proc/364479/stat : 364479 (Exact) R 364478 364478 359042 0 -1 4194304 194886 0 0 0 179314 33 0 0 20 0 1 0 66025933 48345088 9258 134679101440 4194304 7210733 140730998731392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 23592960 140730998739984 140730998740134 140730998740134 140730998747120 0
/proc/364479/statm: 11803 9258 748 737 0 10891 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 65804 KiB
Current children cumulated memory: 40720 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3586.78
CPU user time (s): 3560.97
CPU system time (s): 25.8164
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 681760
Max. memory (cumulated for all children) (KiB): 650644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.97
system time used= 25.8164
maximum resident set size= 646936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400742
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= 158
involuntary context switches= 2960
# summary of solver processes directly reported to runsolver:
# pid: 363392
# total CPU time (s): 3586.78
# total CPU user time (s): 3560.97
# total CPU system time (s): 25.8164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40757 second user time and 16.0062 second system time
The end
Begin job on nodeC020 at 2024-08-07 03:01:22
IDJOB=4449839
IDBENCH=176148
IDSOLVER=3070
FILE ID=nodeC020/4449839-1722992482
RUNJOBID= nodeC020-1722985288-359055
SLURM_JOB_ID= 8259112
Free space on /tmp= 890020 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 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+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449839-1722992482/watcher-4449839-1722992482 -o /tmp/evaluation-result-4449839-1722992482/solver-4449839-1722992482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722985288-359055 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4449839-1722992482.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=495698155
nodeC020.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 : 3674.717
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 : 7000.38
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 : 3680.758
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 : 7007.00
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.409
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 : 7000.38
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.526
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 : 7007.00
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 : 3674.686
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 : 7000.38
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 : 3679.319
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.691
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 : 7000.38
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 : 3665.212
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118762848 kB
MemAvailable: 127020628 kB
Buffers: 366844 kB
Cached: 8714988 kB
SwapCached: 28 kB
Active: 682012 kB
Inactive: 11509508 kB
Active(anon): 1900 kB
Inactive(anon): 3145496 kB
Active(file): 680112 kB
Inactive(file): 8364012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 42372 kB
Writeback: 0 kB
AnonPages: 3107700 kB
Mapped: 125140 kB
Shmem: 37668 kB
KReclaimable: 106604 kB
Slab: 200684 kB
SReclaimable: 106604 kB
SUnreclaim: 94080 kB
KernelStack: 4240 kB
PageTables: 15296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3754336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 28192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2516992 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: 287444 kB
DirectMap2M: 27797504 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC020 at 2024-08-07 04:01:18