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 (62382 MiB free)
memory of node 1: 64510 MiB (59944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462178-1722992004/watcher-4462178-1722992004 -o /tmp/evaluation-result-4462178-1722992004/solver-4462178-1722992004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345100 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4462178-1722992004.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
solver pid=350119, runsolver pid=350116
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.25 4.26 4.18 5/247 350123
/proc/meminfo: memFree=125257308/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=26980 memory=8560 CPUtime=0.09 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 1440 0 0 0 9 0 0 0 20 0 1 0 65797350 27627520 2140 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 6745 2140 782 2417 0 3847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45572 KiB
Current children cumulated memory: 12228 KiB
[startup+0.2134 s]*
/proc/loadavg: 4.25 4.26 4.18 5/247 350123
/proc/meminfo: memFree=125253740/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=31448 memory=12260 CPUtime=0.21 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 2671 0 0 0 20 1 0 0 20 0 1 0 65797350 32202752 3065 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 7862 3065 798 2417 0 4964 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50040 KiB
Current children cumulated memory: 15928 KiB
[startup+0.313325 s]*
/proc/loadavg: 4.25 4.26 4.18 5/247 350123
/proc/meminfo: memFree=125247312/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=34292 memory=17568 CPUtime=0.3 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 3815 0 0 0 29 1 0 0 20 0 1 0 65797350 35115008 4392 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 8573 4392 798 2417 0 5675 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52884 KiB
Current children cumulated memory: 21236 KiB
[startup+0.700483 s]
/proc/loadavg: 4.25 4.26 4.18 5/247 350123
/proc/meminfo: memFree=125240448/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=49548 memory=32880 CPUtime=0.67 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 7632 0 0 0 65 2 0 0 20 0 1 0 65797350 50737152 8220 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 12387 8220 798 2417 0 9489 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68140 KiB
Current children cumulated memory: 36548 KiB
[startup+1.50051 s]
/proc/loadavg: 4.25 4.26 4.18 5/247 350124
/proc/meminfo: memFree=125214180/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=67580 memory=50832 CPUtime=1.48 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 12127 0 0 0 144 4 0 0 20 0 1 0 65797350 69201920 12708 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 16895 12708 798 2417 0 13997 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86172 KiB
Current children cumulated memory: 54500 KiB
[startup+3.11308 s]
/proc/loadavg: 4.25 4.26 4.18 5/247 350124
/proc/meminfo: memFree=125203428/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=64876 memory=49032 CPUtime=3.08 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 12367 0 0 0 304 4 0 0 20 0 1 0 65797350 66433024 12258 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 16219 12258 798 2417 0 13321 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83468 KiB
Current children cumulated memory: 52700 KiB
[startup+6.30048 s]
/proc/loadavg: 4.23 4.26 4.18 5/247 350124
/proc/meminfo: memFree=125203576/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=66192 memory=50468 CPUtime=6.27 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 12739 0 0 0 622 5 0 0 20 0 1 0 65797350 67780608 12617 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 16548 12617 830 2417 0 13650 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84784 KiB
Current children cumulated memory: 54136 KiB
[startup+12.7005 s]
/proc/loadavg: 4.21 4.25 4.17 5/247 350126
/proc/meminfo: memFree=124977424/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=314192 memory=298624 CPUtime=12.65 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 74741 0 0 0 1248 17 0 0 20 0 1 0 65797350 321732608 74656 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 78548 74656 830 2417 0 75650 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 332784 KiB
Current children cumulated memory: 302292 KiB
[startup+25.5005 s]
/proc/loadavg: 4.16 4.24 4.17 5/247 350127
/proc/meminfo: memFree=124400940/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=816032 memory=800864 CPUtime=25.41 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 200323 0 0 0 2501 40 0 0 20 0 1 0 65797350 835616768 200216 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 204008 200216 830 2417 0 201110 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 834624 KiB
Current children cumulated memory: 804532 KiB
[startup+51.1131 s]
/proc/loadavg: 4.18 4.24 4.17 5/247 350132
/proc/meminfo: memFree=123727236/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 664 586 264 0 134 0
[pid=350122] ppid=350119 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/350122/stat : 350122 (timeout) S 350119 350122 345088 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65797349 8867840 253 134679101440 94398023880704 94398023915720 140725670159632 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94398026013136 94398026015268 94398038773760 140725670167581 140725670167713 140725670167713 140725670174695 0
/proc/350122/statm: 2165 253 229 9 0 87 0
[pid=350123] ppid=350122 vsize=1532224 memory=1516492 CPUtime=50.96 cores=1,3
/proc/350123/stat : 350123 (CASHWMaxSAT-Dis) R 350122 350122 345088 0 -1 4194304 379267 0 0 0 5016 80 0 0 20 0 1 0 65797350 1568997376 379123 134679101440 4194304 14093885 140729971525824 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28594176 140729971528739 140729971528858 140729971528858 140729971535840 0
/proc/350123/statm: 383056 379123 830 2417 0 380158 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1550816 KiB
Current children cumulated memory: 1520160 KiB
[startup+102.301 s]
/proc/loadavg: 4.14 4.21 4.17 5/247 350140
/proc/meminfo: memFree=122780912/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 65797349 10170368 664 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
################
# More data... #
################
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.81 2.96 2/222 352107
/proc/meminfo: memFree=126593556/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1660.99 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10394 0 0 0 157088 9011 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.67 2.84 2/222 352117
/proc/meminfo: memFree=126593224/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1720.9 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10400 0 0 0 162757 9333 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.58 2.73 2/222 352128
/proc/meminfo: memFree=126592980/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1780.8 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10406 0 0 0 168429 9651 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3596.1 s]
# the end of solver process 350119 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3485.76 s, system=101.098 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.13 1.57 2.72 2/222 352128
/proc/meminfo: memFree=126592980/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1782.51 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10406 0 0 0 168591 9660 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3590.4 s]
/proc/loadavg: 1.12 1.56 2.72 2/222 352128
/proc/meminfo: memFree=126592984/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1788.89 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10412 0 0 0 169194 9695 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3581.13 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3593.6 s]
/proc/loadavg: 1.12 1.56 2.72 2/222 352129
/proc/meminfo: memFree=126592928/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1792.08 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10412 0 0 0 169496 9712 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3595.2 s]
/proc/loadavg: 1.11 1.55 2.71 2/222 352129
/proc/meminfo: memFree=126592928/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1793.68 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10412 0 0 0 169647 9721 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3595.6 s]
/proc/loadavg: 1.11 1.55 2.71 2/222 352129
/proc/meminfo: memFree=126592928/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1794.08 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10412 0 0 0 169684 9724 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3586.32 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
[startup+3596 s]*
/proc/loadavg: 1.11 1.55 2.71 2/222 352129
/proc/meminfo: memFree=126592956/131655788 swapFree=131071996/131071996
[pid=350119] ppid=350116 vsize=9932 memory=2704 CPUtime=1792.24 cores=1,3
/proc/350119/stat : 350119 (Hybrid-LSMabSP+) S 350116 350119 345088 0 -1 4194304 263 1151620 0 0 0 0 178844 380 20 0 1 0 65797349 10170368 676 134679101440 94049516199936 94049517279256 140721250665456 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94049519377712 94049519424900 94049548697600 140721250673618 140721250673777 140721250673777 140721250680788 0
/proc/350119/statm: 2483 676 586 264 0 134 0
[pid=351035] ppid=350119 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/351035/stat : 351035 (timeout) S 350119 351035 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65977157 8867840 262 134679101440 94671859236864 94671859271880 140722514831712 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94671861369296 94671861371428 94671872815104 140722514834477 140722514834593 140722514834593 140722514841575 0
/proc/351035/statm: 2165 262 238 9 0 87 0
[pid=351036] ppid=351035 vsize=45324 memory=39848 CPUtime=1794.49 cores=1,3
/proc/351036/stat : 351036 (LS-MabSP) R 351035 351035 345088 0 -1 4194304 10412 0 0 0 169723 9726 0 0 20 0 1 0 65977157 46411776 9962 134679101440 4194304 15467897 140736206925792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55926784 140736206931008 140736206931111 140736206931111 140736206938093 0
/proc/351036/statm: 11331 9962 2817 2753 0 7984 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 43600 KiB
Child status: 0
Real time (s): 3596.1
CPU time (s): 3586.86
CPU user time (s): 3485.76
CPU system time (s): 101.098
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 4721100
Max. memory (cumulated for all children) (KiB): 4627128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3485.76
system time used= 101.098
maximum resident set size= 4633700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1165347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 588
involuntary context switches= 2370
# summary of solver processes directly reported to runsolver:
# pid: 350119
# total CPU time (s): 3586.86
# total CPU user time (s): 3485.76
# total CPU system time (s): 101.098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5992 second user time and 36.8539 second system time
The end
Begin job on nodeC010 at 2024-08-07 02:53:24
IDJOB=4462178
IDBENCH=178879
IDSOLVER=3069
FILE ID=nodeC010/4462178-1722992004
RUNJOBID= nodeC010-1722984204-345100
SLURM_JOB_ID= 8259101
Free space on /tmp= 723684 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_250_005.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462178-1722992004/watcher-4462178-1722992004 -o /tmp/evaluation-result-4462178-1722992004/solver-4462178-1722992004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345100 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4462178-1722992004.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=821886961
nodeC010.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 : 3514.745
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 : 6983.21
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.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.33
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.163
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 : 6983.21
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.128
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.33
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 : 3500.033
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 : 6983.21
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 : 3589.433
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.33
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.286
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 : 6983.21
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.302
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125263676 kB
MemAvailable: 128737600 kB
Buffers: 361344 kB
Cached: 3963268 kB
SwapCached: 0 kB
Active: 666848 kB
Inactive: 5237608 kB
Active(anon): 2012 kB
Inactive(anon): 1623716 kB
Active(file): 664836 kB
Inactive(file): 3613892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29332 kB
Writeback: 0 kB
AnonPages: 1578644 kB
Mapped: 112744 kB
Shmem: 45888 kB
KReclaimable: 70456 kB
Slab: 157148 kB
SReclaimable: 70456 kB
SUnreclaim: 86692 kB
KernelStack: 3936 kB
PageTables: 12684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1978672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24768 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1218560 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC010 at 2024-08-07 03:53:21