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 (58905 MiB free)
memory of node 1: 64510 MiB (61631 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443626-1721315824/watcher-4443626-1721315824 -o /tmp/evaluation-result-4443626-1721315824/solver-4443626-1721315824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443626-1721315824.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=962330, runsolver pid=962327
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 3.20 2.29 3.17 5/248 962334
/proc/meminfo: memFree=123303872/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=143976 memory=128300 CPUtime=0.09 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 3121 0 0 0 6 3 0 0 20 0 1 0 183741257 147431424 32075 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 35994 32075 922 2726 0 32742 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 162568 KiB
Current children cumulated memory: 132240 KiB
[startup+0.207556 s]*
/proc/loadavg: 3.20 2.29 3.17 5/248 962334
/proc/meminfo: memFree=123300784/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=146024 memory=130776 CPUtime=0.19 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 3738 0 0 0 16 3 0 0 20 0 1 0 183741257 149528576 32694 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 36506 32694 922 2726 0 33254 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164616 KiB
Current children cumulated memory: 134716 KiB
[startup+0.307269 s]*
/proc/loadavg: 3.20 2.29 3.17 5/248 962334
/proc/meminfo: memFree=123296660/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=150120 memory=134888 CPUtime=0.3 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 4242 0 0 0 26 4 0 0 20 0 1 0 183741257 153722880 33722 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 37530 33722 922 2726 0 34278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168712 KiB
Current children cumulated memory: 138828 KiB
[startup+0.700498 s]
/proc/loadavg: 3.20 2.29 3.17 5/248 962334
/proc/meminfo: memFree=123292536/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=174828 memory=145176 CPUtime=0.68 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 5293 0 0 0 64 4 0 0 20 0 1 0 183741257 179023872 36294 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 43707 36294 922 2726 0 40455 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193420 KiB
Current children cumulated memory: 149116 KiB
[startup+1.50046 s]
/proc/loadavg: 3.20 2.29 3.17 5/248 962334
/proc/meminfo: memFree=123275760/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=207596 memory=175932 CPUtime=1.48 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 5850 0 0 0 142 6 0 0 20 0 1 0 183741257 212578304 43983 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 51899 43983 922 2726 0 48647 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 226188 KiB
Current children cumulated memory: 179872 KiB
[startup+3.11301 s]
/proc/loadavg: 3.20 2.29 3.17 5/244 962356
/proc/meminfo: memFree=123028256/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=404336 memory=266156 CPUtime=3.08 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 7077 0 0 0 296 12 0 0 20 0 1 0 183741257 414040064 66539 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 101084 66539 922 2726 0 97832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 422928 KiB
Current children cumulated memory: 270096 KiB
[startup+6.30048 s]
/proc/loadavg: 3.43 2.35 3.19 5/252 962370
/proc/meminfo: memFree=121684292/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=1301760 memory=1278348 CPUtime=6.26 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 22761 0 0 0 571 55 0 0 20 0 1 0 183741257 1333002240 319587 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 325440 319587 954 2726 0 322188 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1320352 KiB
Current children cumulated memory: 1282288 KiB
[startup+12.7005 s]
/proc/loadavg: 3.55 2.39 3.20 5/252 962370
/proc/meminfo: memFree=120425720/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=1500408 memory=1472324 CPUtime=12.65 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 25822 0 0 0 1206 59 0 0 20 0 1 0 183741257 1536417792 368081 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 375102 368081 1002 2726 0 371850 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1519000 KiB
Current children cumulated memory: 1476264 KiB
[startup+25.5005 s]
/proc/loadavg: 3.95 2.54 3.23 5/252 962424
/proc/meminfo: memFree=116948548/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=3048764 memory=3019148 CPUtime=25.4 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 493401 0 0 0 2410 130 0 0 20 0 1 0 183741257 3121934336 754787 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 762191 754787 1034 2726 0 758939 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3067356 KiB
Current children cumulated memory: 3023088 KiB
[startup+39.1647 s]
# the end of solver process 962330 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=36.9275 s, system=2.11104 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 3.95 2.54 3.23 5/252 962424
/proc/meminfo: memFree=116948548/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=3068996 memory=3039212 CPUtime=25.5 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 498451 0 0 0 2419 131 0 0 20 0 1 0 183741257 3142651904 759803 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 767249 759803 1034 2726 0 763997 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 3087588 KiB
Current children cumulated memory: 3043152 KiB
[startup+32.0004 s]*
/proc/loadavg: 3.95 2.56 3.24 5/248 962491
/proc/meminfo: memFree=114783004/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=4505972 memory=4399452 CPUtime=31.89 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 639375 0 0 0 3016 173 0 0 20 0 1 0 183741257 4614115328 1099863 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 1126493 1099863 1066 2726 0 1123241 0
Current children cumulated CPU time: 31.89 s
Current children cumulated vsize: 4524564 KiB
Current children cumulated memory: 4403392 KiB
[startup+35.2004 s]
/proc/loadavg: 3.96 2.59 3.24 5/252 962528
/proc/meminfo: memFree=113425040/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=4829700 memory=4682648 CPUtime=35.07 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 657140 0 0 0 3323 184 0 0 20 0 1 0 183741257 4945612800 1170662 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 1207425 1170662 1338 2726 0 1204173 0
Current children cumulated CPU time: 35.07 s
Current children cumulated vsize: 4848292 KiB
Current children cumulated memory: 4686588 KiB
[startup+36.8004 s]
/proc/loadavg: 3.96 2.59 3.24 5/252 962528
/proc/meminfo: memFree=112994048/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=4974064 memory=4771280 CPUtime=36.66 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 658838 0 0 0 3479 187 0 0 20 0 1 0 183741257 5093441536 1192820 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 1243516 1192820 1338 2726 0 1240264 0
Current children cumulated CPU time: 36.66 s
Current children cumulated vsize: 4992656 KiB
Current children cumulated memory: 4775220 KiB
[startup+38.4004 s]
/proc/loadavg: 3.96 2.59 3.24 5/252 962528
/proc/meminfo: memFree=112611144/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=4636688 memory=4439128 CPUtime=38.26 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 660945 0 0 0 3636 190 0 0 20 0 1 0 183741257 4747968512 1109782 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 1159172 1109782 1418 2726 0 1155920 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 4655280 KiB
Current children cumulated memory: 4443068 KiB
[startup+38.8004 s]
/proc/loadavg: 3.96 2.59 3.24 5/252 962528
/proc/meminfo: memFree=112611144/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=4644880 memory=4444012 CPUtime=38.66 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 661166 0 0 0 3676 190 0 0 20 0 1 0 183741257 4756357120 1111003 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 1161220 1111003 1418 2726 0 1157968 0
Current children cumulated CPU time: 38.66 s
Current children cumulated vsize: 4663472 KiB
Current children cumulated memory: 4447952 KiB
[startup+39.0004 s]*
/proc/loadavg: 3.96 2.59 3.24 5/252 962528
/proc/meminfo: memFree=111849092/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
[pid=962334] ppid=962333 vsize=5033860 memory=4833000 CPUtime=38.87 cores=0,2
/proc/962334/stat : 962334 (CASHWMaxSAT-Dis) R 962333 962333 961560 0 -1 4194304 667103 0 0 0 3690 197 0 0 20 0 1 0 183741257 5154672640 1208250 134679101440 4194304 15356333 140734565838736 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41721856 140734565848066 140734565848212 140734565848212 140734565855199 0
/proc/962334/statm: 1258465 1208250 1418 2726 0 1255213 0
Current children cumulated CPU time: 38.87 s
Current children cumulated vsize: 5052452 KiB
Current children cumulated memory: 4836940 KiB
[startup+39.1135 s]
/proc/loadavg: 3.96 2.59 3.24 5/252 962528
/proc/meminfo: memFree=111849092/131655788 swapFree=131071996/131071996
[pid=962330] ppid=962327 vsize=9932 memory=2924 CPUtime=0 cores=0,2
/proc/962330/stat : 962330 (Hybrid-CASHWMax) S 962327 962330 961560 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 183741257 10170368 731 134679101440 94833877798912 94833878878232 140737428330112 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94833880976688 94833881023876 94833899962368 140737428333517 140737428333676 140737428333676 140737428340692 0
/proc/962330/statm: 2483 731 638 264 0 134 0
[pid=962333] ppid=962330 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/962333/stat : 962333 (timeout) S 962330 962333 961560 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183741257 8867840 254 134679101440 94352164610048 94352164645064 140723537844784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94352166742480 94352166744612 94352192589824 140723537851389 140723537851548 140723537851548 140723537858535 0
/proc/962333/statm: 2165 254 230 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3940 KiB
Child status: 0
Real time (s): 39.1648
CPU time (s): 39.0385
CPU user time (s): 36.9275
CPU system time (s): 2.11104
CPU usage (%): 99.6775
Max. virtual memory (cumulated for all children) (KiB): 5052452
Max. memory (cumulated for all children) (KiB): 4836940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.9275
system time used= 2.11104
maximum resident set size= 4836792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 265
# summary of solver processes directly reported to runsolver:
# pid: 962330
# total CPU time (s): 39.0385
# total CPU user time (s): 36.9275
# total CPU system time (s): 2.11104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.235212 second user time and 0.479658 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:17:17
IDJOB=4443626
IDBENCH=147880
IDSOLVER=3072
FILE ID=nodeC006/4443626-1721315824
RUNJOBID= nodeC006-1721315784-961570
SLURM_JOB_ID= 7542651
Free space on /tmp= 723600 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443626-1721315824/watcher-4443626-1721315824 -o /tmp/evaluation-result-4443626-1721315824/solver-4443626-1721315824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443626-1721315824.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c3eb140254e3e729b39242302ead7012
RANDOM SEED=770358731
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.618
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.94
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 : 3661.293
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.26
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 : 2394.666
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.94
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.642
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.26
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 : 3669.488
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.94
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 : 3660.813
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.26
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.515
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.94
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.271
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123429956 kB
MemAvailable: 129785860 kB
Buffers: 496744 kB
Cached: 6620308 kB
SwapCached: 0 kB
Active: 998796 kB
Inactive: 6505088 kB
Active(anon): 1500 kB
Inactive(anon): 423032 kB
Active(file): 997296 kB
Inactive(file): 6082056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 161560 kB
Writeback: 0 kB
AnonPages: 385216 kB
Mapped: 115092 kB
Shmem: 37704 kB
KReclaimable: 233164 kB
Slab: 351408 kB
SReclaimable: 233164 kB
SUnreclaim: 118244 kB
KernelStack: 3984 kB
PageTables: 10304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 686548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723408 MiB
End job on nodeC006 at 2024-07-18 17:17:57